Let c(o) = 8*o**2 - 7*o + 10. Let p(a) = 5*c(a) + 6*s(a). Let y be p(-3). Let k = -32 - y. Which is greater: -9 or k?
k
Let q = 23 - 20. Suppose q*p - 1 = 5*v, -v - 2*v - 3 = -3*p. Let j be -4 + (12 + -4 - p). Do j and 30/11 have the same value?
False
Suppose 0 = -57*o - 399 + 171. Let v be -12 - (2 + (-2 - 2)). Let f = 7 + v. Is o >= f?
False
Let a be ((-64)/15240)/(-4)*(-1 - -26). Do -1 and a have different values?
True
Let c = 3447434/835065 + -18/13255. Which is smaller: 3 or c?
3
Let v = -1.814 + 1.53. Let b = v - 0.116. Which is smaller: b or -42?
-42
Let q(s) = s**3 + 6*s**2 + 2*s - 8. Let x be q(-5). Suppose 0 = 4*n + v - 3*v - 10, v = 4*n - x. Is -1/52 >= n?
False
Let x = 73.029 + -73. Let i = -2460.029 + 2458. Let v = i + x. Which is bigger: 1/13 or v?
1/13
Let r = -664 - -17918/27. Suppose 8*o - 4*o + 4 = 0. Is r bigger than o?
True
Let h be 13/65*3715*(-2)/10. Which is smaller: h or -1?
h
Suppose -121*g - 122 = -35*g + 36*g. Which is smaller: g or -3/103?
g
Let t be 6 + ((-45)/5)/3. Suppose 0 = d - l + 29, 2*l + 17 = t*d + 108. Let m = 48 + d. Is m at most as big as 14?
False
Let u = 13.175 + -13. Let m = -6/647 - 635/1294. Is u greater than or equal to m?
True
Let i = -2395 + 2394.7. Let r = -135 - -128.86. Let v = -0.14 - r. Are i and v non-equal?
True
Suppose -2*n + 5 - 29 = 3*d, 5*d + 4*n = -38. Let a = 4276 + -29994/7. Is a > d?
True
Let r = 19431 - 19424. Is 877 at least r?
True
Let x = 206 + -202. Suppose 9 = 5*m - x*g, 5 = m + 5*g - 9*g. Let r be -3 - -3 - 6/27. Is r at most m?
True
Let g(a) = 4*a - 38. Let x be g(-4). Let f = -154 - -101. Which is smaller: f or x?
x
Let x be (-1766)/(-446) + -8*(-8 - 221/(-26)). Is x equal to -1?
False
Let o = -128 - -130.3. Let a(t) = -t**3 + 6*t**2 + 18*t - 16. Suppose -i = 2*h - 18, -4*i + 8 = -0. Let g be a(h). Which is greater: o or g?
o
Let n = 0.13 + -1.13. Let h = -0.01431 - 0.09469. Is n bigger than h?
False
Let d = -187 - -190. Let c(q) = -q**2 + 5*q - 8. Let r be c(d). Let a be (-17)/5*2/2. Is r equal to a?
False
Let a be (1 - -5)/(54/27). Suppose -5*t - 4*w + 26 = -6*w, -a*t + 18 = -2*w. Suppose 2*p + p - 4*o + 9 = 0, 0 = t*p + 3*o - 13. Which is greater: 6/5 or p?
6/5
Suppose 5*l - 2 = -2*z, 4*l + 5*z = -11 - 1. Let i = -1603/9 + 179. Which is greater: i or l?
l
Let b = -28 + 46. Let r = b + -35. Suppose -20 = q - 21. Are q and r non-equal?
True
Let o = -71 + 73. Suppose -o*x + 61 - 691 = 0. Let t be ((-16)/(-6))/(21/x). Which is greater: t or -39?
-39
Suppose 5*z + 0*s = s + 266, 4*z - 4*s = 216. Let o(y) = 31*y**2 + 1086*y + 90. Let j be o(-35). Does z = j?
False
Let k be (-18)/18924*(-1 - (-3)/(-9)). Let q = 11051/9462 - k. Let g(t) = t - 11. Let n be g(13). Which is smaller: n or q?
q
Let n be 2/(-4) - 1*3/(-2). Let j = -886711 + 58531147/66. Let q = 755/6 - j. Is q less than n?
False
Let d be 6/(-10)*-111 + 6/15. Let k = -112 + d. Let q = 47 + k. Which is smaller: 3 or q?
q
Let q = -0.029 + -0.565. Let y = -0.494 - q. Is y greater than or equal to -6/13?
True
Let g = -162736/501 - -26/167. Which is smaller: g or -325?
-325
Suppose -3*x + 2*j - 646 = 0, -3*j = 5*x - 9*x - 861. Let d be x/(-105) - (-10)/70. Which is smaller: d or 2?
2
Let m = 11351 - 11345. Is m bigger than 2?
True
Suppose -6 = -s + 7*s. Let f(h) = -71*h - 1 + h**3 + 68*h - 1. Let j be f(s). Which is smaller: 1/22 or j?
j
Let u(f) = -3*f**3 - 3*f**2 + 11*f - 30. Let h be u(-3). Is -0.09 at most h?
False
Suppose -2*x = 5*x + 1666. Let v be 175/x - 6/(-8). Suppose 0 = -12*s + 10 - 10. Which is bigger: v or s?
v
Let a = 5387 + -4935. Is a at most 454?
True
Let s = -11.3 + 10.3. Let c = 1.55 + s. Let f = 0.45 + c. Is 0 bigger than f?
False
Let c = 5062 - 5402. Which is bigger: c or -0.4?
-0.4
Let r = -70.8 + 537.8. Let x = 485 - r. Which is bigger: x or 0.2?
x
Let i be 0 - 1/10 - ((-513051)/(-21450) + -24). Is i > 0?
False
Let o be (-2)/195*252/(-56). Suppose -63*s = -61*s - 2. Is s != o?
True
Suppose o = 2*c + 2, 4*o + 3*c - c + 2 = 0. Let z(g) = -g**3 - 2*g + 5. Let d be z(o). Suppose f = d*f - 36. Which is greater: 8 or f?
f
Let t = 22 + -34. Let u be (-28 - 95)*-1*2/6. Let w = -43 + u. Which is bigger: t or w?
w
Suppose 38*l + 3*f + 849 = 36*l, -l = 4*f + 442. Is l at least as big as -425?
True
Let j = -34.02 - 3.68. Let r = 34.07 + 0.93. Let i = j + r. Is -1/4 less than i?
False
Let r = 4153 + -3384. Are 770 and r non-equal?
True
Let j be 25/(-20) + 35/28. Is -2/32987 not equal to j?
True
Let w = -416 + 577. Let l = 4992/31 - w. Is l smaller than 0?
False
Let c(z) = 10*z**2 - 65*z + 31. Let d be c(6). Which is smaller: -13/511 or d?
-13/511
Suppose 0 = 10*o - 17*o - 34 + 6. Suppose 0*l = -3*l - 27. Is l > o?
False
Let c = 3 + -4. Let j = 211837/10231780 - 1/70564. Is c less than or equal to j?
True
Let b = 478 - 475. Suppose -g = -0*g - b*g. Is g at least as big as -5/109?
True
Let v = -1.02 - -0.02. Let p = -0.0509 - -0.7879. Let b = 0.037 - p. Which is greater: b or v?
b
Let b be 31350/114135 + (-6)/(-84)*-4. Which is smaller: b or -2?
-2
Let c be (-44619)/(-7437) - (62/12 + 165/198). Which is smaller: 1 or c?
c
Let w = -4 - -5. Let y be (-5)/(105/2304) - 4. Let x = y - -10390/91. Is w greater than or equal to x?
True
Let f = -345 + 340. Is 63 smaller than f?
False
Let m = -391 + -99. Let q be m + 3/2*(-42)/63. Is -491 not equal to q?
False
Let z be (-16)/48*15 - (0 + -1703). Which is greater: 1699 or z?
1699
Let t be -2 - (14 - (19 - 7))*14/(-4). Let l = -3.3 + 3.51. Is l at most t?
True
Suppose 4*j + 5*a + 4 = 0, 2*j + 3*a + 6 = 4. Let r = 1085.4 + -1141.4. Which is smaller: r or j?
r
Let b = -0.393 - 378.607. Let y = b - -424. Is y > 1/8?
True
Let b be 5/2*(1 + 55/(-25)). Let n be (6/(-8))/b - 0/151. Is n greater than 0.34?
False
Let y = 6.6 + -25.6. Let f = -21 - y. Which is smaller: 1/13 or f?
f
Let b be (-7)/4557*(1 - 0/(-1 - -5)). Which is bigger: b or -1?
b
Let o(n) be the second derivative of n**5/20 + 5*n**4/6 + 11*n**3/6 - 6*n**2 - 10*n. Let p be o(-6). Suppose p*q = 61*q - 40. Is q less than or equal to -1/7?
True
Let z = -30578 + 30234. Is z != -0.3?
True
Let k = -8 - -4. Let v(i) = 4*i**3 - 6*i**2 - 7*i + 9. Let y be v(5). Let n be (y/15)/(-3)*15/33. Which is greater: k or n?
n
Let u be (3 + -1 + (-20)/30)*(-15)/8. Which is smaller: u or -0.052?
u
Let d be 2 + (1 - 6) - 0. Let f = 13.467 + -13.657. Which is greater: d or f?
f
Suppose 0 = -3*j, 0 = -t - 5*j + 48 - 8. Suppose -39*i - 46 = -t*i. Is i greater than 49?
False
Let v = 49 + -95/2. Suppose 6*l = 13*l + 21. Let i be l/((36/8)/(1/3)). Which is smaller: i or v?
i
Let b = -373 + 387. Suppose -9 = 3*c + v - b, -4*c = -5*v + 25. Are -0.15 and c non-equal?
True
Let v = -13 - 319. Let b = v + 334. Is b <= 33?
True
Let y be (-75)/6 + (-27)/9. Let n(q) = q**2 - 10*q. Let v be n(8). Is y > v?
True
Suppose 4*n + 44 = 2*x, -13*x - 4 = n - 17*x. Let o = n + -22. Which is smaller: -2 or o?
o
Let u be 3452/18 + 60/270. Let q = -191 + u. Which is smaller: q or -68?
-68
Let h be ((308/11)/(-14))/6499. Which is smaller: 1 or h?
h
Let i = 347 + -362.3. Let j = i - -16.3. Which is greater: -14/9 or j?
j
Suppose 0 = 5*w + 2*k + 1, -19*w - 4*k - 7 = -14*w. Let y be (-7)/(-14) - (-13)/58. Is y < w?
True
Let s(z) = -z - 15. Let v(q) = q. Let m(u) = 2*s(u) + 6*v(u). Let w be 7/21*14*6/2. Let p be m(w). Is p < 26?
False
Suppose 0 = 20*b - 26*b + 96. Suppose b + 6 = -22*d. Is d at most 21?
True
Let t(u) = u + 26. Let b be t(2). Let m be 7/(-3) - b/42. Is -12/7 less than m?
False
Let f = 137079/4 + -34518. Let o = f + 247. Suppose 5*z - 2*t - 2 + 3 = 0, -3*t = 6. Which is smaller: z or o?
o
Let m(b) = -18*b**2 + 92*b + 844. Let p be m(-16). Is -5236 smaller than p?
False
Let k be (-5)/(10/4) - ((-427)/(-23))/(-7). Which is smaller: 1 or k?
k
Let y(j) be the first derivative of 17*j**3/3 + 38*j**2 - 5*j + 12. Let f be y(-5). Is f smaller than 36?
False
Let f = 5.09 + -888.09. Let v = 881 + f. Which is smaller: v or 43?
v
Let g be 4/564*-811 + 2/3 - -3. Is g > -2?
False
Let p be ((-5)/((-225)/(-18)))/((-2)/650). Let x be 3/((3 + -1)/2). Suppose p = -x*y - 9*s + 4*s, 0 = y - 2*s + 47. Is y at most -44?
True
Let k = 727/104 - 1123711/936. Which is greater: -1194 or k?
k
Let k be (14 + -2)*40198/808. Which is smaller: k or 596?
596
Let k(p) = -74*p - 3283. Let 