896/69 + (350 - 362). Is -40 greater than o?
False
Let v be 12/(-2696)*(-111122)/165 - 3. Is 1 equal to v?
False
Let n = -24.142 - -420.142. Is n at least 0.35?
True
Let b = 0.284 - 0.184. Let v = 61.942 + -62. Let o = v + 0.012. Which is bigger: b or o?
b
Let x = 700.8114 - 701. Let t = x - -0.0386. Which is bigger: 4 or t?
4
Let m(b) = 2*b + 10 - 4 - 4 - 10. Let f be m(4). Suppose f = -23*c + 24*c - 12. Which is bigger: c or 13?
13
Suppose q - 442 = -25*r + 20*r, -2*r = -3*q - 170. Is 106 at least as big as r?
True
Suppose 5*y = 3*q + 22, 2*y - 67*q + 16 = -72*q. Which is greater: y or 152/107?
y
Suppose -9 = 1693*t - 1702*t. Which is greater: t or 4/877?
t
Let o(h) = -h**2 - 69*h + 103. Let l be o(-91). Is -1897 < l?
False
Let n(m) = -m**2 + 4*m + 11. Let k be n(6). Which is smaller: 8/1163 or k?
k
Let w be 2 + (-4445)/410 + (-16)/(-2). Is -1 <= w?
True
Suppose 5*j = 42*y - 45*y + 743, 5*j - 4*y - 701 = 0. Is 145 at least as big as j?
True
Suppose -2*s + 3*s - 3*y = -9, s + 5*y - 15 = 0. Suppose 4*x - f = f - 1310, 0 = -2*f - 10. Let q be (-5 + x/(-54))*(-4)/(-5). Are s and q unequal?
True
Suppose 4*o = -27*u + 24*u + 12, 4 = -o + u. Do o and 575 have different values?
True
Let m(u) = u**2 + 9*u + 22. Let f be m(-6). Suppose 49 = -3*a - f*a. Let y = a - -7. Which is smaller: y or 3?
y
Let o(z) = -63*z + 440. Let v be o(7). Which is bigger: v or 9/2563?
9/2563
Let i(r) = -r + 9. Let k be i(4). Suppose 0*h = 3*z + k*h - 28, 3*z - h + 2 = 0. Do 1.3 and z have the same value?
False
Let h(f) = -f**3 - 9*f**2 - 6. Let k be h(-9). Let z = 8.918 - -2.082. Is z smaller than k?
False
Let x = -4550 + 4553. Which is bigger: x or -129?
x
Let k(a) = a**3 + 6*a**2 - 3*a - 13. Let y = -5 - 1. Let z be k(y). Let l = 360 - 359. Is l at most as big as z?
True
Let m(r) = -17*r**2 - 2 + 24*r - 2*r**3 - 14 + r**3 + 2*r**3. Let d be m(16). Let b = -80 + d. Which is smaller: 31 or b?
31
Let x(r) = 7*r**2 + 43*r + 12. Let w be x(-6). Let h = -26 - -15. Which is greater: h or w?
w
Let r = 763 - 758. Let q = -14 - -29.3. Let n = q - 15. Which is bigger: n or r?
r
Let p = 2062.61 - 1973. Let i = -26 + 116. Let y = p - i. Is y less than or equal to 2/3?
True
Let a = 0.6919 - -0.0831. Let d = a + -2.775. Is d >= 256?
False
Let r = -637 + 47. Let d = r + 588. Is 20 not equal to d?
True
Let b = -2412 + 4821/2. Which is greater: b or 243?
243
Let h be ((-8120)/870)/((-1)/(1854/4)). Is h equal to 4325?
False
Let y = -284.4095 - 16493.5735. Let b = 16770 + y. Let l = b + -0.017. Which is smaller: 4/9 or l?
l
Let b be 2/8 - (-13)/20. Let s = -13/10 + b. Suppose 0 = -3*x - 3*l + 27, 6*l = -3*x + 7 + 17. Is x greater than s?
True
Let t be (-2 - (-51)/30)/(84/(-70)). Let k(l) be the second derivative of -l**3/6 - 5*l**2/2 + 5*l. Let p be k(-13). Which is smaller: t or p?
t
Let k be -6 + (-3 - 1253/(-154)). Which is bigger: k or -2?
k
Let i = 41.95 - -0.05. Let s = i - 46.9. Let w = -4.2 - s. Which is bigger: w or 0.5?
w
Let s = 158976/319 + -5466/11. Let g = s + -619/87. Which is bigger: -7 or g?
g
Suppose 0 = 4*c - 3*j + 279, 5*c + 89*j = 84*j - 375. Which is smaller: c or -74?
-74
Suppose -5*d = 4*y + 24, 5*y + d + 3 = -6. Let r be 1*4/y*-1. Let u be ((-4)/(-8))/((-4)/(-20)). Are r and u nonequal?
True
Let d = -617 + 947. Let n = d + -353. Is n greater than -20?
False
Let o be (24/10 - 2) + (-312326)/40. Let b = -7751 - o. Let t = 57 - b. Which is bigger: -2 or t?
t
Let g(h) = 16*h - 698. Let j be g(42). Which is bigger: j or -956/37?
-956/37
Let x be (-60)/760*(210/9)/7. Which is smaller: x or -1?
-1
Let f = 12.83597 - -0.05403. Are f and -1 equal?
False
Let i(h) = 20*h - 38. Let n be i(10). Suppose n = 2*w - 0*r - r, -4*w = r - 318. Which is bigger: w or 79?
w
Let w = -425 - -431. Suppose 0 = w*d + 338 - 344. Is -3/41 greater than or equal to d?
False
Let k(j) = -21*j - 3. Suppose g - 59 = -61. Let l be k(g). Let c = l + -39. Is 2/5 > c?
True
Let a = -554 + 555. Let y(r) = r + 12. Let m be y(-9). Let f be (-4)/((-7 + 2)*m). Is f < a?
True
Suppose -171*i + 103*i + 27 = -95*i. Is -1/7553 > i?
True
Let k be ((0/3)/(-1 - -3))/(-1). Let v be (4 - k)*((-2360)/544 - -5). Which is greater: v or 4?
4
Suppose 70 = 16*o - 58. Let d(c) = -c**2 + 4*c - 7. Let k be d(o). Is k equal to -40?
False
Let p(f) = -f**2 - 6*f + 6. Suppose 3*n = 2*g - 21 + 34, 0 = n - 5. Let a be p(g). Let i be (-39)/(-2) - 2/(-4). Is i > a?
True
Suppose 0 = -2*t + 3*q + 75 - 220, -3*t - 215 = -4*q. Suppose 0 = 16*b - 817 - 143. Let s = t + b. Is -4 bigger than s?
True
Let x be -4 + (-4 - (-6 - -4)). Let k = 64 - x. Let i be (-2)/(-7)*k/400. Is 2 less than i?
False
Let y(a) = -3*a + 66. Let c be y(18). Suppose -9*h + c = -11*h. Which is bigger: -12 or h?
h
Let j = -0.1195 + 205.3195. Let w = -205 + j. Which is bigger: w or -140?
w
Let k = -745.9 + 837. Which is smaller: k or 2?
2
Let y = 0.28208 - -0.41792. Let o be (-50)/(-126) - 2/7. Which is smaller: y or o?
o
Let x = 2.54 + 43.46. Let u = x + -46.2. Is u at most as big as -25?
False
Suppose 4*y - p - 84 - 88 = 0, 68 = 2*y - 5*p. Suppose 5*g - 6*g = -y. Let d = g + -59. Is d greater than -15?
False
Suppose 0 = 2*g - 2*o + 10, -5*g - 2*o + 0 + 17 = 0. Which is smaller: g or -1/9436?
-1/9436
Let v(d) = -d**3 - 8*d**2 - 10*d - 21. Let y be v(-7). Let x be (-20 - -14) + (-571)/(-95). Is x less than y?
False
Let m = 41215 - 41215. Let z be -1 + 1 - 1/241. Is m equal to z?
False
Let w be (3987*-6*1/9)/(12/(-8)). Does 1771 = w?
False
Let w be (13/(312/32))/((-4)/2562). Let l = -828 - w. Is 179/7 less than l?
True
Suppose 7*q - 5*q - 7 = 3*g, 2*g + 18 = 3*q. Suppose -583 = 5*n - 193. Let l = -67 - n. Which is smaller: l or q?
q
Let q = -1390 - -751. Which is smaller: 0 or q?
q
Suppose -140*c + 145*c = 210. Let k(m) = 3*m**2 - 8*m - 8. Let p be k(6). Suppose v = j + c, -4*j - 208 + p = -v. Which is smaller: j or -39?
-39
Suppose 5*i - 1003 = -2*v, -121 + 327 = i - 5*v. Let p be 2 + (201 - 2)/1. Do p and i have the same value?
True
Let t = -1332301/141 + 9449. Suppose -2*g + 21 = 23. Is g >= t?
False
Let a = 1194 + -539. Suppose 0 = -21*l + 26*l - a. Which is greater: l or 130?
l
Let j be ((-3)/(-12))/(-6 - 205/(-40)). Is 94.9 smaller than j?
False
Let h = -1292 - -24554/19. Let u = h + -4/133. Let b = 0.1 - -0.7. Is u at most b?
True
Let n = -11 + 35. Suppose 5*i - 17 = t, 2*i - n = -t - 27. Let p(x) = x**3 + 3*x**2 + 2*x. Let r be p(-3). Which is bigger: r or t?
r
Suppose 3451 = 9*g - 2*g. Let y = 11341/23 - g. Is -1 bigger than y?
False
Let q = 50 + -34. Let c(f) = -235*f + 722. Let y be c(3). Is q < y?
True
Let g(a) = -a**3 - 9*a**2 - 30*a. Let p be g(-3). Let d be (-5)/(-45) - (-1328)/p. Which is smaller: d or 36?
36
Let y = 88 - 86. Let t be (3/y + 63/(-42))/1. Let n = -540 + 13502/25. Which is smaller: t or n?
t
Let z(b) = 4*b**2 - 103*b - 23. Let m be z(26). Suppose 0 = -5*s - 33 + 153. Is m bigger than s?
False
Suppose 394*h - 2373 = 397*h. Let i(v) = -v**3 - 23*v**2 - 56*v + 44. Let y be i(-11). Which is bigger: y or h?
h
Suppose 34344 = -78*z - 81*z. Do z and -208 have different values?
True
Let t be 30 + -31 + -7*1. Let k be t/20 + 656/(-10). Is k < 0.1?
True
Let t = 965 + -962. Suppose -15*f + t = 123. Which is bigger: f or 49?
49
Let v = -1581.1 + 1581. Which is greater: v or 886?
886
Let n = -608 + 612. Suppose -4*s - s = 5*v + 385, 305 = -n*v - 3*s. Do -76 and v have the same value?
False
Let g(j) = -j - 19. Let x be g(-17). Let y be x*(6/(-36))/(376/(-6)). Is -1 at least y?
False
Suppose -2*j - j - 807 = 0. Let m = -26017 - -128736/5. Let o = j - m. Which is smaller: o or 3?
o
Let f = -100.95 - -97. Let r = 10.95 + f. Which is smaller: -0.9 or r?
-0.9
Let p(c) = c**3 + 27 - 16*c + 16*c**2 + 0*c + 9*c**2 - 11*c. Let g be p(-26). Let v = -57 + g. Are -5 and v unequal?
True
Let m = -19.9196 - -3.8206. Let d = m - -0.099. Let r = -0.1 - -0.1. Is d > r?
False
Let h be (15/2)/((-6)/1) + 866/704. Which is bigger: h or 0?
0
Suppose c + 197 = -3*h + 2*c, c = -4*h - 251. Let z = h - -67. Let a be (z/5)/(3/15). Is 3 smaller than a?
False
Let z = -93 - -93. Let p = -46 - -512/11. Let n = -35/44 + p. Which is greater: z or n?
z
Suppose 18*z + 374 = -562. Let o = -41 - z. Which is smaller: o or 4?
4
Suppose -40*v + 16 = -584. Let s be (6/v)/1*35/(-14). Is 2/71 >=