. Which is greater: k or 2/83?
2/83
Let u be ((-4)/8)/((-2)/120). Let t = u + -21. Let n be (t - 9)*(-1)/(-2). Is n smaller than 1/28?
True
Let o = -58 - -1. Which is smaller: -59 or o?
-59
Let h = -7.01 + -0.19. Let p = -0.6 + -6.4. Let n = p - h. Which is smaller: n or -3?
-3
Let m = 0.28 + -21.28. Let o = -21.06 - m. Which is bigger: 0 or o?
0
Let d = 45975/4 - 11400. Suppose 3*b - k - 287 = -2*k, 2*b - 3*k - 184 = 0. Let m = b - d. Which is greater: 2/3 or m?
m
Let p = 3 - 2. Let f = -0.388 - 13.562. Let m = f - -14. Which is smaller: m or p?
m
Let c(u) = -u**2 - 14*u + 2. Let w be c(-13). Let z be (-6)/w - (238/(-40))/(-7). Which is greater: -2 or z?
z
Let m(t) = 5*t - 13. Let j be m(-2). Is j at most -97/4?
False
Suppose 5*t = -16 - 764. Let b = 138 + t. Is -19 at most as big as b?
True
Let i be ((-5)/(-25))/(2/(-11)). Let w = 3/5 + i. Are 0 and w equal?
False
Let q be ((-6 - 80/(-25)) + 3)*951. Which is smaller: 191 or q?
q
Let y = 24 + -2. Is y <= -1?
False
Let j = -1951 - -72192/37. Which is smaller: j or 1?
j
Let n = 3/4 - 1/4. Let o = 18 + -12. Let z = -5.2 + o. Is n smaller than z?
True
Suppose 5*v - 28 - 37 = 0. Suppose o = -u + 4, -2*u = 3*o - 8*o + v. Is 2/61 not equal to u?
True
Let g = 13.05 + -0.05. Let o = -13 + g. Is -6 smaller than o?
True
Let c = 10.02 - 2.02. Which is greater: c or 1?
c
Let g be 58/(-120)*-2 + -1. Let z(b) = -b**3 + 11*b**2 - 14*b - 30. Let x(k) = -2*k**2 - k - 1. Let v(y) = -2*x(y) + z(y). Let i be v(14). Does i = g?
False
Suppose -5 + 1 = -x. Suppose -6*o = 3*v - 4*o + 24, 2*o = x*v + 32. Let n(c) = -c**3 + 3*c**2 - 2*c - 2. Let p be n(3). Do v and p have different values?
False
Let w be (-1)/2 - -1 - 25/(-2). Let d = w - 9. Is d greater than or equal to 5?
False
Let z be (0 + (-6)/4)/3. Let h be (-1)/(-28)*35/(-30). Let l = h - 7/24. Is l at least z?
True
Let t(a) = -9*a + 140. Let u be t(14). Is u at most as big as -19?
False
Let m = 42 + -40. Let r(v) = -3*v**m + 2 + 20*v**3 - 37*v**3 + 18*v**3. Let u be r(3). Which is bigger: u or 4?
4
Suppose -5*x + 41 = -2*g - 91, g - 4*x + 72 = 0. Is g <= -56?
True
Suppose -23*z = -8*z. Is z equal to 4/459?
False
Suppose 0 = 43*g + 816 + 3527. Does -102 = g?
False
Let w = -89 - -800/9. Let q = 14/45 + w. Which is smaller: -2/3 or q?
-2/3
Suppose -4*x - 30 = 46. Suppose 10*b = -4 - 186. Is b < x?
False
Let j be 2 - (3/18 - 1935/(-702)). Let q be 12/(-9) - (-2)/(-3). Is q <= j?
True
Let z = -93 + 148. Which is smaller: z or -2/5?
-2/5
Let i be ((-21128)/(-18))/(-4) - 0. Let p = -649 + 356. Let g = p - i. Is g at most as big as 1?
True
Let n = 29584/172165 + -2/4919. Let q be (-12)/((5145/(-14))/7). Let z = q + n. Is z smaller than -3?
False
Suppose -3*w - 5*b + 77 = 0, 2*w + 4*b = 6*b + 78. Let x = w - 18. Is 15 greater than x?
False
Let k(g) = g**2 + 6*g + 4. Suppose -2*o = 11 + 1. Let y be k(o). Let z be (y + 0)*(-2 - -3). Is -1 != z?
True
Let u be (-2)/(-4) + (-10014)/28. Let d = -358 - u. Let f = d - -32/21. Is 3 greater than f?
True
Let y be -81 - (-6 + 16 - 11). Which is smaller: y or -13?
y
Suppose 0 = -g + 2*i + 3, -g = -0*g + 3*i - 8. Let c(q) = 23*q - 32. Let j be c(g). Is 83 < j?
False
Suppose -3*m = 5*q + 2, -2*q = -6*m + 4*m - 12. Suppose -4*h + 59 - 25 = q*d, 5*h = 5*d + 65. Let l be h/35 - 16/7. Which is greater: -9/5 or l?
-9/5
Let j = -0.562 + 1.562. Which is bigger: 957 or j?
957
Let n = 89 + -74. Let f = n + -19. Is 3/4 >= f?
True
Let c = 0.47 - 0.57. Let n = 3214/19 + -169. Is c at most n?
True
Suppose -m - 44 = -3*p + m, m = -3*p + 32. Suppose p*l = 18*l - 12. Is 1 bigger than l?
False
Let a be ((-6)/(-64))/((-1)/(-4)). Let o = -321 - -340.9. Let i = 20 - o. Is i equal to a?
False
Let i be (5/(-15))/((-90)/8694). Which is bigger: -0.3 or i?
i
Let a = -13.46 + 13.66. Which is smaller: -4/117 or a?
-4/117
Suppose 5*l - 3*t = -31, -l - l - t = 8. Let c(n) = n**3 + 9*n**2 - 8*n + 3. Let d be c(-10). Let y be (-2)/(-5)*(d + 2). Which is bigger: y or l?
l
Let y = 172 + -530. Is y greater than or equal to -357?
False
Let f = -5 + 5.3. Let a be (-420)/(-13671) - (-6)/(-63). Is a greater than f?
False
Let c = -66 - -69. Suppose 13*y = c*y - 150. Which is greater: -12 or y?
-12
Let f = 1722.9221 + -1723. Which is smaller: f or 0.1?
f
Let h(l) = l**2 + 6*l - 129. Let f be h(9). Is 27/4 at least f?
True
Let o = 1/530 + -3741/16430. Let m = -265/62 + o. Which is greater: -6 or m?
m
Suppose 5*m - 2*m = -48. Let h be ((-9)/(-6) + -1)*m. Is -8 less than h?
False
Let x(s) = 40*s**2 - 38*s - 1. Let y be x(1). Let c = 3 - 1. Let t be 4 - c - (y - -2). Are t and -3/10 equal?
False
Suppose 2*w = 6*w + 20. Let l be 11/w - (-24)/(-30). Is l != -1?
True
Let x = -86 - -81. Suppose 4*k - 2*d - 22 = 0, d = -4*k + k + 14. Suppose j + k = -5*t - 14, -5*j = 5*t + 35. Are j and x nonequal?
True
Suppose -141*l + 142*l = 0. Which is smaller: 8 or l?
l
Let z = 2.402 + -2.202. Let t be (-1 - (-183)/186)*-12. Which is greater: z or t?
z
Let b(l) = -l**2 + 15*l + 7. Let u be b(12). Suppose 2*m = m - 4*c - 4, -5*m + c = -u. Suppose -2*i = -3*i - m. Which is greater: -6 or i?
-6
Let t = -0.31 + -17.69. Let w = 566 + -583. Let p = w - t. Is p at least -12?
True
Let c = 0.1402 + -7.1402. Is c greater than or equal to 0.16?
False
Let u = 0.83 + -1.53. Which is greater: u or 4/7?
4/7
Let x(j) = j**3 + 3*j**2 - 1. Suppose 0 = -5*h + 3*c - 6, 0*h + 5*c + 6 = 3*h. Let u be x(h). Which is greater: u or -0.8?
-0.8
Let p = 1/8 - -1. Let x be (8 - (-4 + 8)) + -4. Is x at least as big as p?
False
Let g = -57 + 56. Which is greater: g or -36/31?
g
Let q(g) = -13*g - 1. Let j be q(1). Let d be (-2)/(-5)*(-10)/j. Suppose -2*f + 4*f + 2 = 0. Which is smaller: d or f?
f
Suppose 2*k + 6 = -5*x, 5*k + 15 = -3*x + 8*x. Which is bigger: -1/511 or x?
x
Let x be 2 - (32 + (-3)/1). Let n = x + 49. Is n > 21?
True
Let v = -1656.8 + 1657. Which is bigger: v or -0.0233?
v
Suppose 0 = -3*v + 375 + 1341. Suppose 2*z + v = 6*z. Are z and 143 nonequal?
False
Let b = -1 - 0. Let j = 266/31 - 2332/279. Is j less than or equal to b?
False
Let m = -10 - -15. Suppose -5*j - 5*c - 35 = 0, 9 = m*j - 2*c + 23. Let v = j + -3. Which is smaller: -1 or v?
v
Suppose 5*s + 13 = -2. Let o be s/6*1*0. Let x be 1/(o + 3/3). Which is smaller: -5/4 or x?
-5/4
Let h(z) = z + 5. Let q be h(-7). Let a(y) = -9*y**2 - 3*y - 3. Let o be a(q). Let x = -13 - o. Is x at least as big as 20?
True
Suppose -h - 10*s - 48 = 21, -3*h - 25 = 4*s. Let p be 49/51 + 4/(-6). Is h less than or equal to p?
False
Suppose 4*t - 298 + 294 = 0. Suppose 3*s + 4*o - 20 = 0, 4*s + 5*o - 25 = 3*s. Let u be (0 - -1 - s)/11. Are t and u nonequal?
True
Let r be (344/(-12))/((-2)/3). Suppose r*h = 40*h - 18. Which is smaller: 2 or h?
h
Let m = -34 + 72. Let h = 17 - m. Is h bigger than -20?
False
Let c = -41510 - -41470.094. Let n = -0.094 + c. Are n and 1/4 non-equal?
True
Let d = -53 + 79. Let y = 229 + -202. Which is smaller: y or d?
d
Suppose 2*o - 1 = -13. Let w be ((-4)/o)/((-1)/(-3)). Suppose 0 = -h - 5*s - 7, 2*h - 5*s = 2 - 1. Which is bigger: h or w?
w
Let n = -5470 - -32747/6. Is -11 greater than n?
True
Suppose 6 = -3*y + 3*b, -4*b = -9*y + 11*y - 8. Let h = -18893/897 - -274/13. Which is bigger: y or h?
h
Let y be (-4)/(-14) + (-1328)/532. Are y and -1 unequal?
True
Let f = -611 - -240. Let m = f + 23001/62. Does -1 = m?
False
Suppose 6 = 5*j - 3*d - 6, -2*j + 16 = -4*d. Does -6/449 = j?
False
Suppose 11 = 3*k + x, -2*k + 1 = -5*x + 22. Let z(u) = 2 + 2 + u - 3*u. Let b be z(k). Is b bigger than -6?
True
Let t = -2 - -7. Suppose 4*c + 17 = t*c. Suppose -4*h + 20 = 4*k, c = 2*h - 0*h - 5*k. Which is bigger: 7 or h?
7
Suppose 7 = 5*t + 2. Suppose 5*v + 4*u = 153, v + 4*u - 17 = 20. Let s = 28 - v. Which is bigger: t or s?
t
Let p be 3*(-904)/72 + (-1)/3. Suppose w = -4*w - 195. Is w greater than p?
False
Let d = -45 - -45.6. Let j = 6 - 5.4. Let t = j - d. Which is bigger: t or 3?
3
Let p(c) = c + 0*c + 2*c - 5 - c. Let o be p(6). Let z = 7 - o. Which is greater: z or -2/17?
z
Suppose -2*x = 4*l + 2*x + 2508, 4*l + 2503 = -3*x. Is l greater than or equal to -622?
True
Let w = 0.039 + -1.539. Is -3 smaller than w?
True
Let w be -2 + 16 - 0/3. Suppose -a = -w + 13. Which is smaller: 2/31 or a?
2/31
Let o(c) = 13*c + 8*c + 16*c + 11 - 34*c. Let z be 