 87 - f. Let g = -5.57 + k. Is g < 1?
True
Let t = 1.2 - -6.8. Let b(y) = y**3 + 23*y**2 + 2*y + 44. Let p be b(-23). Let z be (-20)/(-6) - 3 - p/3. Is t at most as big as z?
False
Let y = 38 + -38.6. Let u = y - -0.503. Let z = -0.097 - u. Which is smaller: z or -24?
-24
Let i = 4 - 4.443. Let h = i + 0.343. Which is smaller: h or 0.29?
h
Let h = -300.72 + 159.7. Let k = -143 - h. Let u = -0.12 + k. Which is greater: u or 0.1?
0.1
Let c(t) = -8*t - 42. Let z be c(-9). Let s(i) = 230*i - 2. Let w be s(1). Let v be (-269)/w - z/(-24). Which is smaller: v or 0?
0
Let i = 284 + -1982/7. Let k(q) = -q**2 + 187*q - 4948. Let b be k(32). Which is bigger: b or i?
b
Suppose u = -1, -5*h + 39 = -2*u - 33. Which is smaller: 6 or h?
6
Let n = 3009 + -2882. Is n equal to 251/2?
False
Let o be (11/3)/(52/(-1980) - (-10)/55). Which is bigger: -3 or o?
o
Let n be -6 + (-84)/189 + 40/9. Let g = -39 - -24. Which is greater: n or g?
n
Let d = 7999 + -7579. Which is smaller: d or 418?
418
Let h = 5989/42 + -889/6. Let o be 8/20 - 81/15. Do h and o have the same value?
False
Let y = 17178 - 20548. Which is smaller: y or -3369?
y
Let f = 114 + -74. Let z = 318 - 277.72. Let o = z - f. Is 0 less than o?
True
Let y = 180223.02 - 180223. Let l = 45 - 29. Are l and y non-equal?
True
Let x(i) be the second derivative of -i**5/20 - i**4/12 - i**3/6 - 6*i**2 - 12*i. Let u be x(0). Let n be (-10)/u - 7/(-42). Are -3/38 and n unequal?
True
Let r(b) = 15*b - 222. Let p be r(0). Which is greater: -234 or p?
p
Let i = 3.86 + -4. Let b = -0.326 + -0.174. Let r = b - i. Which is smaller: 0.1 or r?
r
Suppose -4*u + 3*k - 33 = -7*u, 0 = -u + k + 9. Let b be (2125/(-100) - -22) + 93/12. Which is smaller: b or u?
b
Let q be 0 + ((-4)/2 - -4). Suppose 4*i - 10 = q*i. Suppose i*s - 10 = -7*c + 5*c, s = 4*c + 24. Are 5 and s unequal?
True
Suppose -187*r + 4838 - 1697 = -4900. Suppose -144 - 76 = -5*v. Which is smaller: r or v?
r
Let m(l) = -172*l**3 - 4*l**2 - 30*l + 12. Let b be m(-3). Are b and 4709 unequal?
True
Let a be 4*(-8)/(-40)*(-8 - 333/(-36)). Let u = -166 - -36. Which is smaller: a or u?
u
Let x = 5 - -5. Suppose 0 = 8*v + v + 315. Let z be (-20)/v + (-271)/(-28). Does x = z?
False
Suppose 0 = 3*v - 3, 0 = -4*w + 314*v - 318*v + 444. Is -1/6 at least w?
False
Suppose -4*b = -2*g - 61 - 169, -6*g + 2*b - 660 = 0. Which is smaller: -108 or g?
g
Let n(k) = -k**3 + 12*k**2 - 10*k - 11. Let i be (-1)/(-3) + -1 + 3130/15. Let d be i/16 - (1 + 1). Let m be n(d). Which is smaller: m or -6/5?
-6/5
Suppose -2*f + 5*f = 4*h + 42, 0 = -5*h - f - 43. Let q = h - -47. Let j = q + -57. Which is smaller: 1 or j?
j
Let w be (0 - 264/15)/((42/(-405))/14). Is w bigger than 0?
True
Suppose 51*f - 224 = 100*f - 63*f. Is 24 greater than or equal to f?
True
Let i(g) = 4*g**3 - 41*g**2 - 11*g - 80. Let a be i(22). Is 22425 at most a?
True
Let t = 17747/8 - 2217. Suppose 0 = g - 2 + 1. Let f be (-2*(-2)/16)/g. Is t at least f?
True
Let z = -914 - -916. Let j = -1 - 8. Let o = -7 - j. Are z and o non-equal?
False
Let b(m) = -m**3 - 7*m**2 - 10*m + 4. Let r be b(-5). Suppose 3*d - 2*o + 0*o - 36 = 0, -2*d = r*o - 40. Which is greater: d or 19?
19
Let q = -3772 - -3624. Is q < -150?
False
Suppose -4*f - 5 = -t, -4*t + 37 = -3*t + 4*f. Suppose 0 = 4*a - 17 + t. Let q be a/(5/(5/(-1))). Which is smaller: q or 12/7?
q
Let l be ((-15)/(7 - 4) - 25)/(40/(-1060)). Is 798 greater than or equal to l?
True
Let n be 151/(-9) - (-2)/(-9). Suppose -17*u = -16*u - 1, 4*l = -5*u - 43. Which is smaller: n or l?
n
Let j = -383 + 17. Let o be (-1046)/(-22) + j/671. Which is greater: 48 or o?
48
Let p be (-48)/(-42) + (-1)/7. Let q be ((-18)/(14 - -94))/((-188)/6). Is p not equal to q?
True
Let f = -75293/270 - 407/54. Let l = f + 287. Is 1 >= l?
True
Suppose 8 = -2*l, 3*l = -d - 3*d - 316. Suppose -335 = 4*u + 5*n, 2*n = 8*u - 4*u + 314. Let q = u - d. Is q smaller than -4?
False
Let u be ((-1)/(-3)*-3)/((-1)/(-2)). Let y be (-1)/((-4)/8) + -2. Let r be (-3)/(-15)*(y + u). Is r equal to 3/14?
False
Suppose -z + 2*a = -5*z + 4, -z + 4 = 2*a. Suppose 3*u - 20 + 14 = z. Let o be 4/(-4) - (u + -1). Which is smaller: -0.2 or o?
o
Suppose 71*p = -80*p + 479 - 26. Is -679 equal to p?
False
Let r = 5218/21 - -19/14. Let c = r - 242. Let j = c + -553/66. Which is bigger: j or 0?
0
Let y = -8112 + 8263. Are y and 94 non-equal?
True
Let r = -10/31157 + -99048013/280413. Is r > -354?
True
Let o be 6/(-28)*120/54. Let f = 2/63 + o. Suppose -w = -3*w + 3*p - 7, 4*p = 4*w + 8. Which is smaller: f or w?
f
Let j(h) = 5*h**2 + 113*h - 49. Let t be j(-21). Which is bigger: -1088/5 or t?
t
Suppose 51*y - 144 = 49*y. Let j = y - 69. Is j greater than or equal to 11?
False
Let l(z) = z + 26. Let v be l(-23). Let o be 155/(-75)*v + -3. Do o and -10 have different values?
True
Let q = 6797/52 + -1722/13. Let r = 0.49 + -0.19. Which is smaller: r or q?
q
Suppose -3*i + 12 = -4*t, 2*i + 4*t + 9 = -3. Let h be (-70)/175 - 74071/(-127540). Let b = -2/911 + h. Which is greater: b or i?
b
Suppose -51 = -3*b + 102. Let g(l) = -63*l - 3103. Let c be g(-50). Let q = b - c. Is q less than -5?
False
Suppose 4*o + 4*p - 20 = -0*o, 0 = 3*o - p - 27. Let n = -3841342/5 - -768275. Are n and o nonequal?
True
Suppose z = -u + 26, -4*z + u + 0*u + 94 = 0. Suppose z*k - 88 + 568 = 0. Is k less than 0?
True
Let l be 18/(-6) - (1 + -4). Let a be -1 + 1/(-5)*-877. Let t = 175 - a. Do l and t have the same value?
False
Let f be 1*(-70*11)/7 + -6. Suppose -3*s + 571 = -5*r - 2*s, -4*s + 444 = -4*r. Are f and r unequal?
True
Let m be 3/(-4) + (-69)/(-12). Let k = m + -9. Suppose y = 2*i + 11, 10*y - 12*y - 6 = 0. Is i less than or equal to k?
True
Let z = -5 - 0. Let s = z - -32. Let d be (s/14 - 2)/((-108)/(-48)). Are 0 and d equal?
False
Let k be 183*(-2)/(-6) - (-3 + 5). Let w = -145 - -203. Which is smaller: k or w?
w
Let x = -122685887608288/53475 + 2294266248. Let a be ((-20644)/24150)/2 + 114/266. Let m = a - x. Are m and -1/2 equal?
False
Let q(l) = -1047*l + 6283. Let u be q(6). Is 1/14112 > u?
False
Let d(b) = -b + 7. Let c be d(3). Suppose 5*k = k - c. Let a = -150/41 - -3096/779. Which is smaller: k or a?
k
Let t(n) = -n + 30. Let o be t(4). Let p = o + -43. Let a be 0 - (p/39 + 7/(-21)). Is a != 0?
True
Let p(g) = 2*g - 26. Let x be p(18). Suppose -x*r + 160 = -0*r. Suppose 0 = 4*y + r - 0. Do y and -7/2 have different values?
True
Suppose -30*i = -29*i + 882. Let h be 2/(i/30 + -4). Is -1 > h?
False
Let a = -34 - -28. Let c be 39/(-6) + 3/a. Let l(y) = 7*y + 53. Let u be l(c). Which is smaller: 5 or u?
u
Suppose 13*m - 12*m + 2*x - 107 = 0, -m + 122 = -x. Let h be (-5)/(-10)*-28*17/(-2). Is m != h?
True
Suppose -137 = 3*p - 5*n + 135, -2*p - 2*n = 192. Is p != 2/9?
True
Suppose 7*f - 453 - 275 = 0. Let s = f - 103. Which is smaller: s or 12/7?
s
Suppose o + f = 3*o - 8, -f = 3*o - 12. Suppose -5*l = o*b + 292, -l = 5*b + 269 + 75. Let u = -9 + b. Which is smaller: u or -76?
u
Let a = -3829 - -3833. Let h = 50 + -49. Is a less than or equal to h?
False
Let j = -1/549 - 15721/9333. Let a = j + 4/3. Which is bigger: -0.04 or a?
-0.04
Let o(u) be the third derivative of u**6/120 - 2*u**5/15 + u**4/12 + 7*u**3/6 - 21*u**2. Suppose 3*f - 31 + 7 = 0. Let g be o(f). Is g != 23?
False
Suppose -102*m - 14*m + 327 = 327. Let a = 1/144 - 451/23472. Is m > a?
True
Let k be (-36)/1026*50*-9. Is 11 smaller than k?
True
Let g = -1/574 - 559/8610. Suppose 4*w = 3*w - x, 3*x - 3 = -4*w. Suppose 3*r + 9 = -w*v, -6*v = -v - r - 9. Is g less than v?
True
Let k(x) = -x**2 + x + 32. Let m be k(4). Suppose -m*q + 30*q + 400 = 0. Does q = -45?
False
Suppose -x + 2*h = 10, -h - 7 = x - 0. Let g be (-86)/(-120) - 2/x. Let j = -23/10 + g. Are 0 and j nonequal?
True
Let n = 0.64 + -1.3. Let m = n + 0.9. Let h = -18.24 + m. Is 0 <= h?
False
Let m = 42 + -44. Let q be (45/m + 6)*4/6. Let n(x) = x**2 + 13*x + 37. Let g be n(q). Which is smaller: g or 14?
14
Let t be (-2 - -1) + -2 + 4. Let d(h) = -29*h + 9. Let x be d(t). Is x at most as big as -20?
True
Suppose 3*g - 12*d - 69 = 0, 10*g - 4*d - 14 = 12*g. Is 89/53 at most g?
True
Let h be 27/(-18)*(-18)/54. Which is smaller: h or 4887?
h
Suppose 0 = 33133*q - 33132*q + 161. Is q at least as big as 20?
False
Let g = 518 - 479. 