greater than o?
False
Let y be 12/(-63)*((-135)/(-10))/(-9). Is -99 greater than or equal to y?
False
Let n = 8.79 + -9. Let t = -5 - -5.01. Let z = n + t. Is z bigger than -2/3?
True
Let g = 12 - 7. Suppose 5*y - 154 + 24 = 0. Suppose 5*w - 1 + y = 5*o, 25 = w + g*o. Which is bigger: -2/13 or w?
w
Let s be (((-77)/(-14))/11)/((-1)/(-6)). Suppose 0 = -4*p - w + 10, -5*p + 5*w = -0*w - 25. Are s and p unequal?
False
Suppose 4*q = 10 + 10. Let u be (8/q)/((-12)/30). Let r = 1 + -4. Which is bigger: u or r?
r
Let t = -300 + 309. Which is greater: 15/4 or t?
t
Let k(c) = 49*c**3 - 1. Let a be k(-1). Let f = -2 - a. Does 49 = f?
False
Suppose -u - 2*f = -5*u + 36, -2*f + 12 = 2*u. Let r be 2*(-2)/u - 1. Suppose -19 = 18*n - 1. Is r greater than or equal to n?
False
Let z = -0.364 + 0.064. Is z greater than or equal to -34?
True
Suppose 0*x + 4*x + 64 = 0. Suppose -o = 5*y + 94, 3*y = 5*y - 2*o + 28. Are y and x nonequal?
True
Let z be 125*752/560 - (-1)/7. Which is smaller: 166 or z?
166
Let d = -113.893 - 0.107. Let c = d + 103. Which is smaller: c or 4?
c
Let r be (6 - -1 - 2) + -44 + 40. Is r > 8/85?
True
Suppose -7*s = -18*s - 44. Which is bigger: s or -5?
s
Let n(k) = k**2 - 22*k - 68. Let d be n(25). Is -1 at most as big as d?
True
Suppose 0 = q + 5*g - 520, 4*g + 0*g + 2542 = 5*q. Is q equal to 508?
False
Let y = 463 + -8800/19. Let q = y - -147/209. Let r = -30 - -32. Which is smaller: q or r?
q
Let g(v) = -4 + 3*v**2 - 32*v + 27*v - 3*v**3 + 4*v**3 - 1. Let h = 5 + -9. Let d be g(h). Is d != -5/4?
True
Let j = 504/1235 - 2/247. Let w = -43 + 63. Let z be (-19)/(-4) + 5/w. Which is smaller: z or j?
j
Let c = -1.31 - 1.79. Is c < -1/3?
True
Let r = 89 - 80. Let v = 10 - r. Which is bigger: 1/10 or v?
v
Let n = 101 - 91. Suppose 0 = -n*j + 4*j - 36. Which is smaller: -7 or j?
-7
Let l(p) = 2*p**2 - 35*p - 35. Let x be l(20). Which is bigger: x or 63?
x
Let i = 3919 - 82283/21. Which is bigger: 2 or i?
2
Let o(s) = 57*s**3 - 2*s**2. Let y be o(2). Let x be y/(-24)*12/(-65). Let g = x - 18/5. Which is bigger: g or 1?
1
Let d = 34 - 33.7. Let s = 0.35 - d. Let u = -0.2 - -0.3. Which is smaller: u or s?
s
Suppose 4*m - 18 = 14. Suppose m = -3*w + 5. Is w less than or equal to -2/3?
True
Suppose 89*f = -2*m + 93*f + 20, -3*m = -3*f - 27. Let s be (160/(-100))/((-2)/10). Does m = s?
True
Let n = 0.1 - -0.1. Let c = -17.962 + 18. Let y = 0.018 - c. Are n and y equal?
False
Let s = 6.9 + -4.9. Suppose -5*j = -0*i + i + 5, -j = 4*i + 20. Is s at least as big as i?
True
Let t = 1 + 16. Let f(x) = -x**2 + 20*x - 35. Let n be f(t). Which is smaller: 2 or n?
2
Let v = -1711 + 1706. Which is greater: v or -12?
v
Let b(o) = -4*o - 9. Let z be 56/12*(-12)/8. Let t be b(z). Suppose -4 = -d - 5*j + j, -t = -3*d - 5*j. Is d not equal to 9?
True
Let g = -51/4 - -475/36. Let z(u) = -u**3 - 2*u**2 + 2*u - 4. Let r be z(-3). Is r >= g?
False
Let r be -2 - -7*(3 + 555/(-205)). Is 1 less than or equal to r?
False
Suppose 121*k - 122*k = -170. Is k less than 173?
True
Let y(m) = 16*m - 117. Let p be y(13). Is p >= 91?
True
Let t = -0.803 + 0.554. Let s = t + -0.051. Is -0.6 smaller than s?
True
Let b(c) = -c - 4. Let a be b(-3). Let o be 0/((-7)/((-21)/(-6))). Let k be -1 + -1 - o/(-2). Is a < k?
False
Let z = 9 + 22. Let f = z - 30. Which is bigger: 3/19 or f?
f
Let f(h) = -86*h + 525. Let v be f(6). Suppose 12 = -3*t + 5*t. Do v and t have different values?
True
Let z be 2 + (3 - 1)*2. Suppose -z*t + 2*t = -588. Let k be 4 + 4/((-156)/t). Which is greater: -1 or k?
k
Let i = 650 + -572. Which is bigger: i or 392/5?
392/5
Let v(c) = -3*c**2 - 54*c + 13. Let u be v(-23). Is u at least as big as -333?
True
Let u = 34 - 24. Suppose 8*c = 6*c + u. Let k be 5*(0 + c + -4). Is 5 greater than k?
False
Let i = -0.17 - -0.37. Let g = -43/6 - -7. Which is smaller: g or i?
g
Let v(u) = u + 1. Let a be v(-6). Suppose 189 = 249*m - 276*m. Which is smaller: m or a?
m
Let r be 4 + (-2 - -2) - -80. Suppose 5*y = -3*x - r, 43 = -x - y + 13. Suppose 10 = 2*c + 78. Is x less than c?
False
Let g = -14/801 + 9005/469386. Which is greater: 0 or g?
g
Let g(y) = 7*y + 5. Let a(l) = 6*l**2 - 4*l + 6. Let c be a(1). Let d be g(c). Which is smaller: d or 63?
d
Let k be 48/80 + (-12936)/(-15). Is 863 <= k?
True
Suppose t - 12 = -11*w + 8*w, 0 = -4*t - 3*w + 12. Which is greater: t or -420?
t
Suppose -51 = -3*u - 0. Is 26 bigger than u?
True
Let n(d) = d**3 + 3*d**2 + 4. Let o be n(-3). Suppose 0*g = -4*g - o. Let k be (-2)/13 - (-3 - 640/(-65)). Which is greater: k or g?
g
Suppose 15 = 5*f, 117 = b + 2*f - 6*f. Let l = b + -162. Is -32 greater than or equal to l?
True
Let w = -2458/57 + 547429/12540. Let b be 24/396*(-18)/(-16). Let t = b + w. Which is smaller: t or 0?
0
Let b = 135/4 + -33. Suppose 15*f - 10 - 5 = 0. Is b bigger than f?
False
Let v be (-5720)/198 - 1/9. Which is greater: v or -11?
-11
Suppose -b - 809 - 346 = -4*a, -5*a - b = -1455. Which is smaller: a or 289?
289
Let o = -448 - -20159/45. Which is smaller: 0.3 or o?
o
Let l = -0.01 - 0.06. Let u = 1.13 - l. Let d = u + -4.2. Is 2/13 greater than or equal to d?
True
Let k = 2 - 2. Let x be (-5 - -36) + (-12)/(-3). Suppose -q = -8*q + x. Which is smaller: q or k?
k
Let r = -1465/4 + 36613/100. Is r != -1?
True
Let z(x) be the third derivative of x**4/12 - 4*x**3 - 11*x**2. Let j be z(11). Which is smaller: -4 or j?
-4
Let v = -13 + 16. Let b be (4 - v) + 21/(-27). Are b and -1/21 equal?
False
Let a be 2/(-4 - 63/(-15)). Let o(i) = 5*i - 14 - a*i - 6 + 6*i. Let h be o(8). Is -13 less than h?
True
Let u = 0.59 + 2.31. Let i = -0.91 - 0.19. Let n = u - i. Which is greater: n or -1?
n
Let k = 693 - 704. Let x be 1*-14*(-2)/4. Let a = -4 - x. Is k less than or equal to a?
True
Let r = -1439 - -15849/11. Which is greater: r or 1?
r
Let t(m) = -m**3 + 12*m**2 - 5*m - 58. Let q be t(11). Which is smaller: 84/11 or q?
84/11
Let s = -59/282 + 2/47. Let t(g) = -2*g**2 + 5*g - 19. Let j(q) = -q**2 + 2*q - 10. Let x(v) = -7*j(v) + 4*t(v). Let u be x(5). Which is smaller: s or u?
u
Suppose 0 = -3*b + 4*p + 69 + 366, p + 295 = 2*b. Is b bigger than 149?
False
Suppose o - 5*h - 12 = 5*o, 4*h - 6 = 2*o. Suppose 2*k + 2*q + 94 = q, -186 = 4*k + q. Let w be (284/k)/(-2) + o. Does -1 = w?
False
Let n = 149 + -146.8. Which is bigger: n or 0.1?
n
Suppose -q = -2*r - 0*r - 17, 22 = q - 3*r. Let m(g) = g**2 + 10*g + 12. Let s be m(-11). Let c = -17 + s. Is c bigger than q?
False
Let z be (-6)/9 + -139*2. Let g = z - -321. Are g and 43 unequal?
True
Let n = 127/10 - 63/5. Which is bigger: 0 or n?
n
Let h(m) = -6*m - 7 - 3 + 4*m - 1. Let r be h(-3). Is -26/7 at most as big as r?
False
Let c be (-10)/(-34)*-52*(-1)/(-10). Are c and -1 non-equal?
True
Let q = 11 + -7. Suppose 0*o - q = -4*o. Let g(l) = -2*l**3 + l - 1. Let p be g(o). Which is smaller: p or -1?
p
Let u = 83 + -301. Is u < 1/4?
True
Suppose -4*p - p = w - 18, w - 6 = -2*p. Suppose 0 = 7*o + p + 3. Is o <= 6/65?
True
Suppose -3*x - 4*b + 28 = 0, -2*b + 5 = 3*b. Suppose -2*y = 2*i - 4*i - x, y = -5*i - 14. Suppose 4*t + 13 - y = 0. Is 1 bigger than t?
True
Let a = -91 - -142. Is 46 <= a?
True
Let u be (-4)/(-18) - (-50)/18. Suppose 4*i - 32 = -t, -3*i + 14 - u = 4*t. Let n be -1*(-2 - (-17)/i). Are n and 1 non-equal?
True
Let q = 811/138 - 35/6. Suppose 5*a = 2*f - 6, 2*a + 12 = -0*a + 4*f. Let x = 1 + a. Is q at least as big as x?
False
Suppose 4*a = -16, -2*n + n + 5*a = -94. Which is greater: n or 816/11?
816/11
Let b(h) = h**3 - 23*h**2 + 44*h - 29. Let n be b(21). Is 81/7 greater than n?
False
Let p = -45 + 773/17. Let o = 142 - 142. Which is smaller: p or o?
o
Let k be 5 + ((-3395)/10)/((-814)/(-12)). Is 1 bigger than k?
True
Suppose 5 = -3*s - 2*s. Suppose -8*j = 9*j + 68. Which is greater: s or j?
s
Let p = 34601 - 241418/7. Let y = -113 + p. Let b = 17/35 + y. Is b not equal to 0?
True
Let b = -1/5 - 3/35. Let p(m) = 7*m - 3. Let s be p(1). Let z be s/11*(-1)/2. Are z and b non-equal?
True
Let t = 39 - 38. Let j be 54/9*(1 + t/(-2)). Which is smaller: -1 or j?
-1
Let b(u) = 4*u - 10. Let t be b(4). Let r be (-16)/24 - (-28)/t. Suppose -20 = -r*p, 2*z - 34 = -5*p - 9. Is -1.4 > z?
False
Let n = -1.1 - -0.9. Let k = 9 - 6. Is n bigger than k?
False
Let r(u) = -20*u - 11. Let h be 