t s be ((-9)/14)/(6/(-12)). Let c = 12/7 - s. Which is smaller: c or 1?
c
Let n(v) = 7*v - 26. Let z be n(-9). Let y = -92 - z. Which is smaller: y or -11/7?
y
Let j be 49/12 + -4 + 5/20. Which is bigger: 0.0336 or j?
j
Let x(y) = -y**3 - 14*y**2 - 3*y - 40. Let z be x(-14). Suppose -4*f + 16 = -2*i - z*i, -4*i + 5*f - 16 = 0. Is -1 greater than i?
True
Let g be 1300/(-140) + -3 + 12. Which is smaller: g or -654?
-654
Let x be 3 - (1 + 3 + 25). Let k = 15 + x. Is -9 bigger than k?
True
Let m(f) = 3*f**2 - 7*f**2 + 5*f**3 - 6*f**2 - 6*f**3 + 5. Let s be m(-10). Suppose s*v - 7*o + 2*o + 5 = 0, -6 = -2*o. Is -1 < v?
True
Let t be (12/30 - (-44)/(-10)) + -1. Is t less than -10?
False
Let g(u) = u + 37. Let i be g(-36). Is -2/449 less than i?
True
Let r be (2 - (-112)/(-54))*-6. Suppose 3*y = 2*y - 1. Is r not equal to y?
True
Let l be 35/60*7960/6. Let k = l + -775. Which is smaller: k or -1?
k
Suppose -66 - 98 = 82*u. Which is smaller: u or -40/51?
u
Let k be (-3)/(-3)*(-4)/4. Let v be 1 - (-2 - k) - 18/(-6). Which is bigger: v or -1?
v
Let t be (4/9)/((-171)/(-399)). Are 1 and t unequal?
True
Let z be 14 + (-7 - 3) - 251. Which is bigger: z or -249?
z
Suppose -36 = 9*n - 27*n. Does -2/15 = n?
False
Let a = 14 + -12. Let j be (0 - 1)*(a + -3). Suppose j = -4*b + 17. Which is smaller: b or 5?
b
Let v = -23.019 - -23. Suppose 6 = 31*l - 29*l + 6. Is v at most as big as l?
True
Suppose -2*l + 0 + 2 = 0. Let q = l + 4. Suppose -3*k = -0*x + 2*x - 1, 3*x = 2*k - q. Is k at most as big as -1?
False
Let o = -147.8 + 164. Let f = -16 + o. Is -12/11 at most f?
True
Suppose 3*z - 2*z + 3*r + 13 = 0, -r = -1. Which is greater: -12 or z?
-12
Suppose 4*k - 35 - 44 = l, 4*l + 31 = k. Suppose k*x = 25*x - 12. Let u = -5 - -8. Is x less than or equal to u?
True
Let n = -117 - -118. Is n > -16/81?
True
Suppose 0 = 5*z + 5*w + 32 + 78, -z = -3*w + 14. Which is smaller: z or -132/7?
z
Suppose 4*q - 4 = 3*z - 1, 0 = 5*q + 2*z + 25. Suppose -3 = -1509*m + 1510*m. Are m and q nonequal?
False
Suppose 266 - 86 = 5*h. Suppose -32 = -2*p - h. Which is smaller: -7 or p?
-7
Let d = 542/3 - 181. Which is smaller: d or -174?
-174
Let f be (0 - 0) + (4764/(-678) - -7). Does f = 1?
False
Suppose 2*w + 2*p = 108, 102 = 4*w - 2*w - p. Is w greater than or equal to -0.14?
True
Let t = 0.3 + -0.5. Let r be 4/5*120/16. Suppose -5*f - r = v + v, 0 = -3*v + 6. Is f < t?
True
Let r = 1148 + -1241. Is -0.1 at least r?
True
Let f = -1953 + 474580/243. Let n = f - 4639/5346. Let m = n + 4/11. Is 0.3 at least as big as m?
True
Let q be (-94861)/(-338) - 6/4. Let z = q + -279. Which is greater: -0.2 or z?
z
Let m = -0.3 + -13.7. Let k = m - -16. Which is greater: -1 or k?
k
Let u be 1*1*(-155 + 3) - -4. Are u and -149 equal?
False
Let a = -0.82 - -1.82. Let q = -0.5 + -0.1. Is q less than a?
True
Let t be (-1)/((15/(-393))/5). Is 133 greater than or equal to t?
True
Suppose 3*x + 2*k - 47 = 0, -k + 34 = 4*x - 32. Is x at least as big as 17?
True
Let d = -32 + 31. Suppose 8 = -h + 4. Let k be (-3)/3*h/(-58). Which is bigger: k or d?
k
Suppose 143 = 24*h + 239. Which is smaller: -13.5 or h?
-13.5
Let x be (357/28)/(33/24 - 1). Are 34 and x nonequal?
False
Let a = 41 + -15. Let i = 24 - a. Let h = 29/92 - 3/46. Which is smaller: i or h?
i
Let h = -1.7 - 136.3. Is 0 < h?
False
Suppose 0 = t - 0*t + 5*o - 3, 2 = t + 4*o. Which is bigger: t or -8/3?
t
Let w = -81 - -83. Suppose -10 = -3*t + t. Suppose -6*u - 4 = -w*u + 3*n, -t*n + 3 = -3*u. Which is greater: -2/17 or u?
-2/17
Suppose 53*i + 33 - 139 = 0. Let p = -8/33 + 188/231. Is p at least i?
False
Let c be (-11)/14 + 2/7. Let a(x) = 2*x - 25. Let f = -32 - -45. Let s be a(f). Is c at most s?
True
Let f = -315 - -314. Let y be 2/6*11 - -1. Let l = y + -19/3. Is l less than f?
True
Suppose -c - 4*c = 0, -2*c = -3*j. Suppose -31 = -2*s - 5*l, -s + 28 = -j*s + 5*l. Is s greater than or equal to 3?
True
Let t = -11 - -10.9. Let x = 20 + -19.6. Which is bigger: x or t?
x
Let u be (8900/(-40))/(1/1). Let g = u - -33379/150. Let a = 28/75 + g. Does 13/3 = a?
False
Let w(f) = -21*f - 2. Let x be w(-1). Let d = x - 11. Which is bigger: 7 or d?
d
Suppose 5*r + 1 = -4. Let o be r + (-9)/(3 + 0). Which is bigger: o or -2?
-2
Suppose -14*o - 22*o + 432 = 0. Which is greater: 22 or o?
22
Let c = 97.874 + 0.126. Let g = 101 - c. Is -3/2 at least g?
False
Suppose -104 = 14*d - 594. Let x be 3 + (-68)/20 - (-384)/d. Which is smaller: x or 12?
x
Suppose 3*w + 3*z + z - 394 = 0, -w + 110 = -4*z. Are 126 and w equal?
True
Suppose 12*u + 3*u - 45 = 0. Suppose -x + 3*a = -14, -x - u*x = 5*a + 29. Is x less than 24?
True
Let v be 36839/(-105) - (-17)/(595/(-10)). Let j = v - -351. Is j smaller than -0.3?
False
Let t = -60 - -55. Let a(s) = s**3 + s**2 - 8*s + 4. Let d be a(t). Which is smaller: 1 or d?
d
Let o = 82 + -81. Which is smaller: 323 or o?
o
Let g(f) = -f - 52. Let w be g(26). Let s = w - -79. Which is bigger: s or 5?
5
Let x be ((-15)/10)/(3/(-8)). Suppose -g - 37 = m + x*m, -4*g = -2*m + 38. Let f be (8/g)/(4/3). Is f less than or equal to 0?
True
Let y = 36 - -14. Let v be (-12)/10*y/(-80). Is 1 at most v?
False
Let o(l) = -11*l + 66. Let d be o(6). Which is smaller: 23.4 or d?
d
Let o = -942 - -945. Is o smaller than 5?
True
Suppose -284*c = -287*c + 114. Which is greater: 41 or c?
41
Suppose 7*p - 32 = 3*p. Suppose 7 - p = j. Let i(r) = r - 4. Let g be i(4). Which is greater: j or g?
g
Suppose 0 = -2*a - 3*y + 11 + 12, -2 = -3*a + 2*y. Let p be -1*1*(-2)/a. Which is bigger: -14 or p?
p
Let s = 14165/117 + -2895/26. Which is greater: s or 11?
11
Let x be 728/40 - 2/10. Suppose 0 = -3*u + 3*m + 6, -u + x = u + 5*m. Suppose d - u*d + 12 = 0. Is 5 > d?
True
Let r be 5*7/(105/9). Let m be (4 - 0)/16 + 2. Which is greater: m or r?
r
Let l(f) = -f**3 - 15*f**2 + 11*f - 14. Let d be l(-14). Let p = 10919/30 + d. Is p <= 1?
True
Let h(f) = f**3 - 41*f**2 + 80*f - 77. Let s be h(39). Which is bigger: s or -4/311?
s
Suppose 4*u + 5*c = 506, -5 + 11 = -3*c. Which is bigger: u or 131?
131
Let y(g) = -2*g**2 + 2*g + 3. Let c be y(3). Let n = -13 - -55. Let t = -49 + n. Is c < t?
True
Suppose 4*g - 18 = -10. Suppose -w = -3*n - 2*n - 15, g*n = 4*w - 6. Suppose -6*b - 1 + 61 = w. Is b < 10?
False
Let p be 0*(-6 - 174/(-30)). Which is greater: p or 1/11?
1/11
Let c be (-14)/3*108/(-14). Let m = c + -36. Is m > 1/2?
False
Let u = 6 - 5. Let l = -96 - -62. Let w = -133/4 - l. Which is greater: u or w?
u
Let r(z) = -z**2 - 19*z + 65. Let u be r(-22). Do u and -3/4 have different values?
True
Let s be 2/(-3) - (8657/(-1056) + 8). Which is smaller: -1 or s?
-1
Let b(d) = d**3 + 14*d**2 - 26*d - 89. Let g be b(-15). Which is smaller: 378/5 or g?
378/5
Let h be 3/4*(2 + 2502/(-1653)). Let j = h - 6/29. Which is bigger: 0.1 or j?
j
Suppose 78 = -3*g - 156. Let l = g + 1013/13. Is l at most -2?
False
Let j = -68 + 74. Let y be (-9)/(j*3/(12/13)). Is 0 equal to y?
False
Let s = 203/76 + -46/19. Let g be (3/8)/(1/(-118)). Let t = -45 - g. Which is bigger: s or t?
s
Let l(n) = n**3 - 3*n**2 + n + 63. Let k be l(0). Let o = 62 - k. Which is greater: o or 2/41?
2/41
Let z = 2138 + -2030. Which is greater: 109 or z?
109
Let m = -13481/30 + 2635/6. Do m and 1 have the same value?
False
Let k(h) = -h**2 + 29*h + 74. Let u be k(32). Is u > -27?
True
Suppose 11 = 8*m - 261. Which is greater: 36 or m?
36
Let y = -1.53 + 3.53. Let f(r) be the first derivative of -r**2/2 + 8*r + 1. Let h be f(6). Is h at most y?
True
Let t = -417 - -417. Do t and -6/41 have different values?
True
Suppose -45*w + 41*w - 3*z - 8 = 0, -2*w + 2*z + 10 = 0. Is -67/4 < w?
True
Let n = 104 - 111.7. Let o = n + -0.3. Let t = -7 - o. Which is smaller: 7 or t?
t
Let j be -5 + 2 + 28/(-1). Let t = -26 - j. Suppose 6*i = i - t. Which is bigger: i or 2?
2
Let w = 0.8 + -2.8. Let f = w - -1.8. Let g = -7.6 + 8. Which is greater: f or g?
g
Let t be ((-6)/4)/((-3)/220). Let m be -4 + 4*115/t. Is m > -1?
True
Suppose -3*n - 4*g - 5 = 0, -g + 0*g + 32 = -4*n. Let s = n - -15. Let t = s - 12. Which is smaller: -5 or t?
-5
Let g = -4 + -124. Let l = g - -509/4. Let y(z) = -z**2 - 5*z + 3. Let m be y(-6). Are m and l nonequal?
True
Let h = -967 - -969. Let m be 1/2 + (-2)/4. Let i(p) = -p**2 + p - 5. Let d be i(m). Is h 