lues?
True
Let m = 5 - 5. Suppose 2*x = -m*x. Let t be ((1 - -3) + -7)/(656/(-2) + 1). Which is smaller: x or t?
x
Let u = 21594308/1149 + -18794. Let q(a) = -a**2 - 15*a - 36. Let r be q(-3). Is u at most r?
False
Let k = -116 + 1. Let n = -229 - k. Which is smaller: n or -113?
n
Suppose -13*r + 9*r + d = 404, 4*r + 2*d = -404. Suppose 3*x + 140 = -2*w - 67, -3*w + x - 305 = 0. Is r <= w?
False
Let l = -80708.183 - -80649. Let v = l - -59. Are v and -2/3 unequal?
True
Let r = -15389 - -12666. Is -2723 at most as big as r?
True
Let z = 1093 - 1341. Which is greater: z or -1?
-1
Let g = 73 + 98. Let o = -166 + g. Is 14 at least o?
True
Let h = -21.4 + 1.6. Let g = 14 + h. Let s = g - -6. Is s smaller than 17?
True
Let w = -432 + 673. Let c = 242 - w. Let k = 5 + 1. Are k and c unequal?
True
Let j(p) = -p**3 - 11*p**2 + 17*p + 50. Let u be j(-12). Let y be ((-6)/(-5))/(u/(-25)). Let f be ((-3)/(-2))/((-9)/(-12)). Which is greater: y or f?
y
Let s(u) = -u - 14. Let i be s(-9). Let c(k) be the second derivative of k**4/6 + 11*k**3/6 - 7*k**2/2 - 193*k. Let j be c(i). Which is bigger: j or -13?
j
Suppose 3*c - 5*m - 148 = -45, -c + 35 = -m. Let l be (c/(-7))/(21/490*5). Suppose 17 = n + 42. Which is smaller: n or l?
n
Suppose 5*a = 11*a - 96. Let m be (0 + a/3)*135/36. Let y(g) = -3*g + 50. Let w be y(m). Is w bigger than -2?
False
Let j(d) be the first derivative of -d**3 - 5*d**2/2 + d - 77. Let o be j(-2). Which is bigger: -11/5 or o?
o
Suppose 294 = -59719*v + 59712*v. Which is bigger: -528/13 or v?
-528/13
Suppose -2*c = c + 69. Suppose -17*n + 2286 = -103*n - 36. Do n and c have the same value?
False
Let a = 0.06 - 0.03. Let f = 139.83 + 0.17. Let v = 139.8 - f. Does v = a?
False
Let r = -219 - -238. Let o(s) = 4*s - 4. Let d be o(6). Let j = d - r. Is 0 > j?
False
Let v(j) = -2*j - 2. Suppose k + 2*k - 12 = -x, 3*k = -3*x + 18. Let o be v(k). Let q be ((-69)/230)/((-6)/o). Is q not equal to -38?
True
Suppose -7*f - 10 = -10. Let b be -4 + 3 + f + 46. Let h be (0 - 2)/((-7)/154). Which is smaller: b or h?
h
Suppose v = 4*n - 8, 4*v - v = 3*n - 6. Suppose 3*s = -z - n*s + 64, z = s + 64. Let t be -1 - (-65)/(2 - 1). Is t >= z?
True
Let k be 2/624*(-6 - -329). Let h = 7/78 + k. Are 0.07 and h equal?
False
Let d = 320 + -623. Let g = d - -336. Which is greater: g or 2?
g
Let s be (18/30)/(7209/135). Which is bigger: s or 6/5?
6/5
Suppose 23*y + 4*y = 13*y + 73920. Which is greater: y or 5283?
5283
Let n = 8 - 47. Suppose 117 = -l + 2*y, 0 = -4*l + 8*y - 6*y - 486. Let z = l - -84. Is n not equal to z?
False
Let v = 42964 - 43070.963. Let c = 107 + v. Let l = -36.963 - c. Which is smaller: -2 or l?
l
Let g = 2934 - 842056/287. Let b = 0.00242 + -0.00242. Is b > g?
False
Let n(c) = c**3 - 51*c**2 + 55*c - 252. Let j be n(50). Which is smaller: j or -36/31?
j
Let z(p) = -2575*p + 105571. Let k be z(41). Suppose d + v = -v - 7, 3*v + 18 = -3*d. Is d > k?
False
Let z = -22 + 70. Suppose 5*g + z = 93. Suppose -5*h = -g*h - 72. Is -19 <= h?
True
Let m = 280 + -298. Let y be (18/108)/(16/42)*m. Do y and -8 have different values?
True
Let w = -419.41 + 419.4. Are 10.6 and w equal?
False
Let w = 6 - -10. Let d = 25 - w. Let l = d - 11. Which is bigger: l or -1/19?
-1/19
Suppose 0 = -4*x - x + 45. Suppose x*r = 4*r. Let d be -1*(462/(-275))/14. Which is smaller: r or d?
r
Let y(k) be the second derivative of -k**3/3 + 36*k**2 - 166*k. Let x be y(13). Do x and 43 have the same value?
False
Let a(p) = -p**2 + p - 21. Let i = 289 + -289. Let t be a(i). Is -79/4 > t?
True
Let v = -585/209 + -430751/2090. Which is smaller: v or -209?
-209
Let f(j) = j**3 - 33*j**2 - 8*j + 70. Let k be f(34). Suppose 2*x + 688 = k. Is x equal to 133?
True
Let t be 1959/(-72) + 18/(-27). Let z = 239223459/454808 + -226524/409. Let w = t - z. Which is bigger: w or 0?
0
Suppose 4*f = t + 93, -5*t - 204 = -3*t - 2*f. Let l be (t/350)/((-1)/5). Does l = -4?
False
Let z(g) = g**3 + 8*g**2 + 12*g + 4. Let n be z(-6). Suppose 0 = 3*j + 5*h - 81, n*j + h = -2*h + 97. Is 19 bigger than j?
False
Suppose 0 = 2*q - 4*q. Let c be 0 - (-2 + 2) - q. Let i be ((-3600)/1080)/(14/3). Is i at most c?
True
Let l(p) = 3*p**2 + 9*p - 4. Let x be l(-4). Suppose -3*n = -g + 21, -5*n = -n + x. Suppose 2*t + 5*k = -22, -t + 6 = 2*k + g. Does -1/5 = t?
False
Suppose -7*o - 7 + 238 = 0. Let i = o - 34. Let h = -17/4 + 2. Is h greater than i?
False
Let h = -66 + 55. Suppose -2*r = -3*o + 20, -2*r - r = -2*o + 25. Which is smaller: r or h?
h
Let x be (126/72)/((-142)/(-1704)). Let d = 5309/5 + -1041. Is d != x?
True
Let u = -15226 - -15229. Let q = -10 + 3. Let w = q - -12. Is u bigger than w?
False
Let d(z) = 24*z**3 - z. Suppose -3 = -28*x + 25*x. Let s be d(x). Let o = 32 - s. Is o at most as big as 9?
True
Suppose 2*y - 2*r = -138, 3*r = -0*r + 18. Do y and -64 have the same value?
False
Let r be (-16990 + 4 - 3/3)/(-24). Let x = r - 708. Is -1/2 smaller than x?
True
Let r = -110 + 110. Let s = 109/91611 - -1/243. Which is greater: s or r?
s
Let b = -813.6 + 820. Let i = 6.3 - b. Let x = -0.3 - -0.5. Is x bigger than i?
True
Let n be (1 + -7 + 5)*(6 + 31/(-5)). Which is smaller: 4/241 or n?
4/241
Let r = -29 + 28.98. Let g be (-3 + 29/6 - 2) + (-61)/(-42). Is g less than r?
False
Let a = -4064.387 + 4064. Which is smaller: a or 0?
a
Suppose 5*f - 8 = 2. Let p be (-27)/18 + 1299/f. Suppose 2*t - p = -6*t. Which is greater: 0 or t?
t
Let q be (-1 + 47/(-5))*(7 - 156/8). Which is bigger: 3 or q?
q
Let r(v) = -157*v + 1313. Let a be r(3). Which is bigger: a or 0?
a
Let d be (-11)/(31746/(-28848)) - 10. Let w be 10/(-20)*(0 + -2). Which is smaller: d or w?
d
Let b(l) = -l. Let w be b(-5). Suppose 3*x - 2 = -2*z, -z = -x + w - 6. Let r = -1302 - -1304. Is r < z?
False
Let x = -0.04 - 0.06. Let f = 0.1 + x. Suppose -92*v + 7*v - 1348 = 1202. Which is smaller: f or v?
v
Let t be ((-13)/(-28))/(((-136)/(-612))/((-21)/(-81))). Which is bigger: 1 or t?
1
Let h = -4686 - -89036/19. Do -306/11 and h have different values?
True
Suppose 6*v + 69 = 51. Let y be ((-948)/(-108))/(1/v). Which is smaller: y or -27?
-27
Let n(a) = -a**2 + 8*a - 15. Let p be n(3). Suppose -4*l - 4*l = p. Which is greater: -3/146 or l?
l
Suppose 0 = -3*v - 6 - 0. Let s be 8 + -3 - (75 + 2). Let h be (0 - -21)*-4*(-6)/s. Which is smaller: v or h?
h
Suppose 0 = 3*o + j + 31, -5*o + 4*j - 7 = 22. Let y be ((-4986)/(-506))/o + (-2)/(-11). Is y <= -1?
False
Let d = 131 + -145.3. Let j = 14.4 + d. Which is bigger: j or 163?
163
Let z = 14257895/3339896 - -149/11096. Let j = 29/7 - z. Let o = j + -68/129. Is o <= 10?
True
Let k(u) = 38*u**2 + 118*u + 23. Let t(i) = -12*i**2 - 39*i - 8. Let b(o) = -2*k(o) - 7*t(o). Let c be b(-4). Is -10 greater than c?
False
Let h = -1675 - -1801. Suppose 5*r = 4 + 1. Let i be 27/h*((-5)/(-3) + r). Which is smaller: i or 0?
0
Suppose 80 = 4*n - 60. Suppose 4*m = -5*b + 525, -20*b + 4*m + 384 = -16*b. Suppose -8*q - b = n. Do -16 and q have different values?
True
Let m = -46020105 + 7087020251/154. Let q = m + 493. Is 1 less than or equal to q?
False
Let s(k) = -8*k**2 + 6*k + 8. Let y be s(-10). Let d be y/28 + (-15)/(-35) + 1. Is -26 smaller than d?
False
Let d(m) be the second derivative of -23*m**3/6 + 11*m**2/2 - 43*m. Let a be d(6). Let h = a - -19813/156. Do h and 0 have the same value?
False
Let b = -0.8 + 1. Let v = 0.06 + -30.06. Let d = -31 - v. Which is smaller: d or b?
d
Let t(y) = -2*y**3 - 25*y**2 + 11*y - 22. Let n be t(-13). Let f = -147 + 206. Suppose -n*q + 57 = -3*k + 8, 4*q - k = f. Which is smaller: q or -0.1?
-0.1
Suppose -10 + 26 = -2*n. Let v = n + 20. Suppose z + 642 = -g + 652, 5*g = z - 40. Does v = g?
False
Let r(t) = 2*t**2 - 51*t - 50. Let a be r(-22). Suppose -37*s - 18828 = a. Is s at least -565?
True
Let y be ((-2)/(-8))/(((-78)/(-48))/13). Let d be (-372)/(-94) + -6 + y. Is d at least as big as 0?
False
Let x = -2855 + 570999/200. Let a be -3 + -3 - ((-80)/15 - 1). Are x and a unequal?
True
Let b = -39.47 - -39.67. Which is greater: b or 364?
364
Let t be ((248/32)/31)/((-12)/(-32)). Is -3802 > t?
False
Let q = 862 - 815.38. Let f = q + -0.62. Do -2 and f have different values?
True
Let v be 8781/39 + 2/(-39)*3. Let d = v + -224. Is d > -4/167?
True
Suppose 0 = 43*v + 93 + 165. I