 i be o(16). Suppose 0 = -11*a - i + 90. Is a at least as big as -48?
True
Let t = 24326 + -24748. Is -2962/7 less than or equal to t?
True
Suppose 2*r - 169 = 3*u, 2*u = -5*r + 10 + 441. Let c(w) = -23195*w - 46303. Let i be c(-2). Which is smaller: r or i?
i
Let u = -8273/4 + 16799/8. Is 31 less than or equal to u?
True
Let y be (-1 - 1*6/(-10))/(9/2205). Is -98 at least y?
True
Let v = -41.27 - -42.27. Do -439 and v have the same value?
False
Suppose 3*x = -21*x + 168. Suppose -n - 17 = 3*a, 4*a - 97 = 5*n + x*a. Suppose -y - 54 = 2*y. Which is greater: n or y?
y
Let g = 146 - 167. Let o(f) = f**3 - 5*f**2 + f + 1. Let s be o(5). Suppose n = s*n + 110. Are n and g equal?
False
Suppose -r - 57*r = -406493 + 30421. Which is greater: 0.2 or r?
r
Suppose 12348 = 88*m + 59*m. Is 256/3 at most as big as m?
False
Let v = 0.241 - 5.141. Let h = v + 4.8. Is h greater than -1?
True
Let u = 4709 - 9405/2. Let i be (2/(-3))/(6/(-9)). Let q(t) = 6*t**2. Let p be q(i). Is p at most u?
True
Let v = 11571 + -11649. Which is greater: -475/6 or v?
v
Let c be ((-68)/51)/(-2 + 32/15). Let g(m) = 2*m**2 + 15*m. Let x be g(c). Let h = -49 + x. Which is greater: 2/37 or h?
h
Suppose 683*f = 688*f + 65. Let g = 984 + -4981/5. Which is greater: f or g?
g
Let p(n) = -56*n - 1. Let h be p(-1). Let s be -8*-21*14/42. Which is smaller: s or h?
h
Let w = 91893 + -62741. Which is smaller: 29153 or w?
w
Suppose 717*k = 721*k - 2040. Is k less than 505?
False
Let f(c) = 5 + 8*c - c**3 + c - 1 + 6*c**2. Let i be f(7). Suppose -17*v + i = -16*v. Do v and 17 have the same value?
False
Let q be (1/19)/(2/4). Let g = 1231 + -1231. Which is smaller: g or q?
g
Let l(w) = -w**2 - 8*w + 21. Let z = -13 + 40. Let f be 1/(((-9)/z)/((-10)/(-3))). Let m be l(f). Which is smaller: m or 1/73?
1/73
Let h = 394 + -255. Suppose 32 = 3*l + 20, 5*l = 3*y - h. Is y > 53?
False
Suppose -1085 = 13*a + 631. Let m = a + 104. Is -1 less than m?
False
Let p = 290 + -207. Let t = -117 + p. Let z = t - -38. Which is smaller: -1/2 or z?
-1/2
Let f = 3217 + -3216. Is f not equal to 3858/5?
True
Let p(b) = b**3 + 7*b**2 - 16*b - 25. Let s be (35/(-15) + -1)/(2/6). Let t be p(s). Is t greater than or equal to 1/2?
False
Let d(f) = -100*f - 1325. Let u be d(-22). Which is smaller: 873 or u?
873
Let w be (7 + 1251/(-180))/(3/17218). Let y = 287 - w. Is 1 greater than y?
True
Let b = -325/15006 - -1/41. Let d(i) = -i**3 + 3*i**2 + 3*i + 5. Let f be d(4). Is b at least as big as f?
False
Let k be (-4)/(-10) - 32/30. Suppose 0 = -m + 3*u + 321, 634 = 2*m - 15*u + 13*u. Let o be 1/m*9*(0 + 6). Which is smaller: o or k?
k
Let o be ((-40131)/312)/((-79)/(-3324)). Let r = -5412 - o. Which is bigger: 1 or r?
1
Suppose j = 5, -23*j + 152 = -3*m - 19*j. Let g be (-1 - 1)*(-7)/((-14)/m). Is g >= 41?
True
Suppose 9*f + 10 + 3 = 4. Which is smaller: 3/3170 or f?
f
Suppose -15 = -20*w + 9 - 4. Is -2/2003 bigger than w?
False
Let g be ((-9)/(-3))/21 - (-353)/273. Let u = g - 10/13. Which is smaller: u or -98?
-98
Suppose 4*x + 20 = 0, 27*x - 4 = o + 32*x. Suppose 2*f = 5*j - 10, -2*f = -o*j + 20*j + 10. Let d be (-6)/(-16)*(-3)/(-18). Which is smaller: d or j?
j
Let q be -69*((-14)/4 + 4/8). Let d = q + -339. Is -133 greater than d?
False
Suppose 3*u + 5*i + 775 = 0, 3*u + 36*i - 32*i + 779 = 0. Is -270 smaller than u?
True
Let s = -4.977 + 4.909. Which is smaller: s or 5?
s
Let s be (-2)/((-6)/15) - (25 + -11)/(-2). Let j be 62/5 - (-2)/(-5). Is s smaller than j?
False
Suppose 7*v - 43 + 8 = 0. Suppose -4*n - 5*m + 50 = -12, 4*n - v*m - 42 = 0. Are n and 14 non-equal?
True
Suppose -30*b - 84663 = 55077. Which is smaller: -4659 or b?
-4659
Let k be 3*(4 - 3) + 0 + -3. Let f be k - (9/(-3))/30*1. Let u = 3 - 2. Which is greater: u or f?
u
Let d be 50/18 + 2/9. Suppose 0 + d = 3*n, -6 = -a - 5*n. Let k = 132 + -523/4. Is k less than a?
False
Let l be -92 + 0/1 + 1/(-1). Let v(g) = g**3 - 14*g**2 + 4*g - 4. Let z be v(3). Let b = z - l. Which is greater: b or 1?
b
Let i be (-3)/12*(-40)/5740. Is -2/7 at most as big as i?
True
Let j = 144892/93 - 1558. Which is bigger: -6 or j?
j
Suppose 101 = -r + 103. Suppose 3*s - 3*l = -7 + 1, -3*s = r*l - 9. Let i = 14 + -28. Are i and s equal?
False
Let p be (-1 + (-63)/14 - -5)*-10. Let n be (((-5)/4)/p)/((-1)/(-4)). Is -7/12 > n?
True
Suppose 2*u = -5*f + 16, 4*u + u = -4*f + 23. Let m = -22 - -25. Let o be (5/4 - 7/28)*m. Is f > o?
False
Let x be (-17 - -20)/((-3)/10*2) - -5. Which is greater: 1/4244 or x?
1/4244
Let z be -2*1/(6 - 4)*-5. Suppose 5*k = s + 6, k + 2 = -s + 14. Suppose s = z*f + 4. Which is smaller: -2/87 or f?
-2/87
Let l(p) = -p**3 - p**2 - 4*p + 7. Let a(d) = d**2 - 2*d - 3. Let k be a(3). Let w be l(k). Let f be -2 - ((-23)/w - -1). Which is smaller: 0 or f?
0
Let k = 7.269 - -0.251. Let h = 20.52 - k. Which is greater: h or -8?
h
Let p = -1539.89 - -1569. Let g = p - 29. Let v(z) = -12*z**2 + 72*z - 2. Let f be v(6). Which is smaller: g or f?
f
Let h be 19/(399/1561) + 14/(-6). Are 43 and h equal?
False
Let c = 483 + -372. Let y be 22/(-8) + c/148. Let x = -685 + 3414/5. Is x < y?
True
Let l = 0.021 + 0.979. Let c = 10 + 27. Let o = -33 + c. Is o greater than l?
True
Suppose 4*j = 14 + 18. Suppose -4*a + 0*h = 5*h - 20, -5*a + 4*h + 25 = 0. Suppose 0 = -a*y + j - 13. Which is smaller: -2/5 or y?
y
Let a(b) = -b**3 + 5*b**2 - 6*b + 11. Let l be a(2). Let j be l/33 - (-111)/(-327). Are j and 0.2 equal?
False
Suppose -2831 = 4*n - 606 + 4687. Is -1728 equal to n?
True
Suppose 107 = 4*j + 63. Suppose -3*v + j*v - 408 = 0. Is v less than or equal to 50?
False
Suppose 5*d = 14*r - 13*r - 9, 0 = -5*r + 20. Let s = 31848 - 12038713/378. Let h = s - -1/54. Do d and h have different values?
True
Suppose 7*u - 2*u = 0. Let b(j) = -2*j + 3. Let o be b(u). Let n(t) = 6*t - 46. Let v be n(8). Which is greater: v or o?
o
Let j be (-24)/108 - 32756/18. Let y be 2/10 + 2324/j. Which is smaller: -2 or y?
-2
Let t be (-328)/(-545382)*3*3. Which is bigger: 1 or t?
1
Let n = 828 - 727.8. Let f = n - 108. Let g = f + 8.8. Is g at least 2/3?
True
Let c = -9797 + 9778. Let v be (-1204)/65 + 4/(-10). Let t = v - c. Are -1 and t unequal?
True
Let h = 0.03 - 107.03. Let z = -106.9 - h. Let u = -21.023 - -0.023. Is u >= z?
False
Let s = 582 + -467. Is 110 at most as big as s?
True
Let i = -1.8 + 1.56. Let p = i + -14.7. Let q = p + -0.06. Is 2 at most as big as q?
False
Let s be (33/(-27) - -1) + (-3701170)/(-1179). Let g = s - 3139. Which is greater: g or 1?
1
Let d be 8/(-14) - (256/(-56) - -4). Which is smaller: d or 18/173?
d
Suppose 0 = -5*q - 4*x - 813, q + 0*q + 5*x + 150 = 0. Let k = 173 + q. Let a = 17 + -14. Do a and k have the same value?
False
Let g = -0.1707 + 0.1707. Is g less than -2.6?
False
Suppose -10 = 4*d - 2*r, 5*d - d + 3*r = 5. Which is greater: d or 7/117?
7/117
Let l = 6.4 + -22.6. Let g = 15.2 + l. Which is greater: g or -12?
g
Let r = 48.366 - 0.666. Let g = -47.4 + r. Is g < -2/7?
False
Suppose -5*r = 4*v + 1274, -47*r + 52*r + 1282 = -2*v. Which is greater: r or -252?
-252
Suppose -3*r + 7*r = -72. Let z be (-20)/186*r/15. Let c = z + -225/62. Are c and -5 unequal?
True
Let q = -179 - -299. Let w = q - 463. Which is greater: -342 or w?
-342
Let x be (146/(-438))/(1/(-51)) + -9. Let t be (360/(-25))/(1/5). Let r be t/(-20)*(-5)/(-2). Which is smaller: r or x?
x
Let w(m) = -3*m**3 - 42*m**2 + 9*m - 2. Let n be w(-17). Do 17128/7 and n have different values?
True
Let f be (-8)/6*1581/(-124). Let g(j) = -21*j**3 - 3*j**2 - 4*j - 2. Let m be g(-1). Is f != m?
True
Let t = -376 + 11634/31. Let r = -208 + 206. Which is greater: r or t?
t
Suppose -2*y = 4*x, 2*y = 2*x - 4*x + 4. Let o be 11 + (-3 - 0) - (-2)/x. Suppose -o = -4*w - 3. Which is smaller: 3/22 or w?
3/22
Let w = -6 - -22. Suppose -w*a - 2281 = -137. Are -133 and a non-equal?
True
Suppose 0 = -23*z + 28*z + 55. Let d be z/((-33)/(-12)) - (-72)/17. Which is bigger: d or -1?
d
Let g = 458 + -461. Is g != -2.5?
True
Let y(k) = 1 + 16 - k + 2*k. Let r be 56/(-7) + 91/(-13). Let q be y(r). Which is bigger: -3 or q?
q
Let h(p) be the first derivative of -p**3/3 - 11*p**2/2 - p - 8. Let g = -66 - -55. Let y be h(g). Is y greater than -6/11?
False
Let m(w) = -w**3 - 19*w**2 + 21*w + 26. Let o be m(-20). Suppose 