?
False
Let z(k) = 6*k**2 + 9*k - 10. Let o(g) = 5*g**2 + 9*g - 16. Let f(l) = -2*o(l) + 3*z(l). Let q be f(-1). Do 36/79 and q have the same value?
False
Suppose 15*p - 9154 + 229 = 0. Let o = -598 + p. Which is smaller: o or -17?
-17
Let z be 2/(6/(-15)) + (-951)/(-66). Is z bigger than 9?
True
Let c = 740366/37 - 20010. Let h be 2/(-6)*(-2 + 0). Which is bigger: h or c?
h
Suppose -w + 217 = -219*a + 220*a, a + 8*w - 210 = 0. Which is bigger: a or 199?
a
Let u(q) = q**3 - q**2 + q + 3. Let f be u(0). Suppose 0 = 6*y - 15 + f. Is 17/13 <= y?
True
Suppose 3*g - 4*f - 12 = 0, 0 = 5*g + 5*f - f + 12. Suppose g = h + 19 - 54. Suppose -2*m = -2*k + 20, 4*m - 3*k + h = 2*k. Is m smaller than -15?
False
Let s be 9*6/36*2/(-3). Is s greater than or equal to 1/6813?
False
Let z = -63.763 - 17.647. Let r = z + 0.41. Is 2 bigger than r?
True
Let x = 8301 - 8294. Let a = -0.1 + 0.09. Let g = a + -0.19. Is x less than g?
False
Let o = -76658 - -843958/11. Is o < 66?
True
Let m = -162.29 + 1.29. Let u be 5 + (310/(-25) - -7). Which is smaller: u or m?
m
Let a = -17541 + 17540.07. Is a < -29?
False
Let w = 756.96492 - -0.03508. Which is smaller: w or -1?
-1
Let y(a) = -a**3 - 15*a**2 - 28*a - 5. Let j be y(-13). Let p(v) = v - 18. Let m be p(j). Let k be (-13)/(20/5 - m). Which is greater: k or -11?
-11
Let i = 1.16 - 0.16. Let z = 212.4 + -208.9. Is z not equal to i?
True
Let o = 5 + -26. Let c = -18.7 - o. Let w = 9.3 - c. Which is greater: w or -1?
w
Let r be 7/((-665)/25)*(-10)/525*-18. Let g be 51/34*2/(-3). Which is bigger: r or g?
r
Let f = 18202 - 17569. Which is smaller: 4432/7 or f?
f
Let d be (-1 - (-19*(-2 - -3) - -9))/(-1). Which is bigger: d or -5?
-5
Suppose 2*j + 2*q - 2 = 0, -86*j + 89*j = 7*q - 7. Let n = 9006/7595 - 6/245. Which is bigger: n or j?
n
Suppose 238 = -526*j + 540*j. Let o = -3.6 + 1.3. Let q = -1.7 + o. Are q and j nonequal?
True
Let t(s) = 20*s - 35. Let b be t(2). Suppose -4*c + 50 = c + b*p, 4*c = 2*p + 28. Which is smaller: c or 33/5?
33/5
Let l = -2661 - -117. Is -2545 at most l?
True
Let h(t) = 5*t + 40. Let i(k) = -5*k - 39. Let c(w) = -5*h(w) - 6*i(w). Let b be c(-6). Let j be b/(-2)*(-35)/20*-2. Which is smaller: -8 or j?
-8
Let n(d) = -107 - 7077*d**2 + 7076*d**2 + 3*d - 25*d. Let a be n(-27). Which is smaller: -241 or a?
a
Let o(j) = -j - 4. Let q be o(0). Let i(s) = 2*s**3 + 22*s**2 - 29*s + 30. Let m be i(16). Let t be (-1)/2*-5 - m/1820. Is q not equal to t?
True
Let u = 435 + 82. Let b = 519 - u. Is b at least 0.327?
True
Suppose 2*z - 5*l - 21 = 0, -z - 3*l = -5*l - 9. Suppose -z*n - 5 = 4*v + 10, 5*n = 3*v - 25. Let d = -4/143 - -2/11. Is d != v?
True
Let y = -141 + 141.92. Let g = 2.92 - y. Which is smaller: g or -1?
-1
Let d = -156008/5 - -31305. Is d less than or equal to 103?
False
Suppose 68558 = 854*d - 847*d. Is 9793 < d?
True
Let u be (152/(-57))/((-6)/(-603)). Is u less than or equal to -265?
True
Let r = 0.208 - 25.108. Let x = -24.4 - r. Let c be 0/(-2) + 2/(-5). Is x less than or equal to c?
False
Suppose -2619*y + 2601*y = -4644. Are y and 252 non-equal?
True
Let j = -249 + 37.8. Let x = 211 + j. Which is bigger: 1/5 or x?
1/5
Let f be (15/((-75)/(-20)) - 16)*7/(-28). Let l(o) = 4*o**2 + 7*o - 5. Let k be l(4). Let g = k - 259/3. Which is bigger: g or f?
f
Let f = 5 - 3. Suppose 5*w - 158 = -4*v, 3*v - 126 = -5*w + w. Suppose 84*z = 90*z - w. Are z and f nonequal?
True
Let d(v) = 21*v**3 + 19*v - 8*v**3 - 12*v**3 + 1 + 19*v**2. Let y be d(-18). Is y at least -19?
True
Let l = -36 - -36.32. Let z = 497.9 + -498. Which is greater: z or l?
l
Suppose h - 4*t + 12 = 5*h, -5*h = -3*t - 15. Suppose 5*g - 5*j = -320, 4*j = h*g + 170 + 18. Is -69 < g?
True
Let c = -3/3364 - 6719/10092. Let i = 41.7 - 48. Does c = i?
False
Let y = -923 - -969.06. Let c = 101 + -55. Let j = c - y. Which is greater: j or -1?
j
Suppose -m + 2*m = 4*o + 50, -2*m + 100 = -5*o. Let i = -330 - -402. Let r = m - i. Which is smaller: r or -21?
r
Let v(p) = -2*p + 21. Let b be v(8). Let a(d) = 2*d**2 - 4*d + 12. Let x be a(b). Let y = -41 + x. Which is smaller: y or 0?
0
Let u = 3909 - 3903.922. Let l = -0.078 + u. Is -0.09 smaller than l?
True
Suppose -7*m + 3*m - 650 = -5*i, -3*m = 4*i - 520. Suppose 0 = 2*n + i - 96. Is n > -2/17?
False
Let u be ((-198)/1)/3*(10 + 1). Let k be -3 + ((-11050)/u)/5. Let d = 28015/1452 - k. Is 19 < d?
True
Suppose 19465 + 625 = 37*c - 10324. Do 818 and c have different values?
True
Let b = 17 + -10. Let o(l) = l**3 - 8*l**2 + 3*l + 4. Let n be o(b). Let v be 6/n + (-25)/(-36). Which is greater: v or -1?
v
Let b = 11977 - 12184. Which is bigger: b or -159?
-159
Suppose 7*l + 5*y + 13 = 3*l, 3*y + 11 = -4*l. Suppose 0 = 38*p + 313 + 29. Let n(h) = h**3 + 5*h**2 - 36*h - 6. Let z be n(p). Which is greater: l or z?
l
Let r(s) = 56*s - 1244. Let u be r(30). Which is smaller: 434 or u?
434
Suppose d - 4*k = -35, -4*d + 5*k - 95 = 12. Let v = 50 - 26. Let o = v + d. Which is bigger: -2/25 or o?
o
Let z be (-10)/(-4)*(-5232)/(-60). Let g be z/(-9) - (2 + (-40)/18). Which is smaller: -23 or g?
g
Let v be 1/(-2) + 45/(-6). Let j be (7/4)/(10/v). Let k = 1249 - 1251. Is j less than k?
False
Let t = -2329 - -3835. Which is smaller: 1509 or t?
t
Let y = -119.1 + 114. Let v = -0.045 - -3.445. Let c = v + y. Is c != -1?
True
Let b = 107.9 + -72. Let l = -33 + b. Let g = -2.9 + l. Which is greater: g or 2/7?
2/7
Let d = -2757596 - -35867402/13. Let m = d + -1432. Is 3 smaller than m?
False
Let w be 18/(-96)*(-532)/42. Suppose -y = h + 2, -5*h - 16 = -2*y - 2*h. Which is bigger: y or w?
w
Let a = -1.8 + -35.4. Let v = -2.86 - 34.14. Let i = a - v. Which is greater: -4 or i?
i
Let l = 432.33084 - 0.03084. Let s = -433 + l. Which is smaller: -30 or s?
-30
Let c = -136/143 - -15775/2002. Let b = 274/35 - c. Let k(y) = y**2 - y. Let n be k(1). Which is bigger: n or b?
b
Let d = 4078 - 4085. Which is smaller: -60 or d?
-60
Let y = 5 - 10. Let w = -185 + 212. Suppose -w*v + 174 = 2*v. Is v greater than or equal to y?
True
Let r(p) = p**2 + 2*p - 12. Let a be r(-5). Suppose 0 = 5*u + y + 211, 5*y = -a*u + u - 66. Is -42 at least u?
True
Suppose 55*v - 411270 = -77530. Is 6066 smaller than v?
True
Let f(p) = -4*p**3 - 75*p**2 - 6*p - 31. Let r be f(-19). Let i = 119 - r. Is -324 bigger than i?
True
Let n(i) = i**2 - 2*i - 5. Let y be n(5). Suppose 146 = -269*m + 2938 + 436. Is m at most y?
False
Suppose 19*p + 27 - 11 = -3. Which is smaller: p or -3/83?
p
Let y = -201092 + 201104. Let k = 19 - 5. Is y less than k?
True
Let p = -2608722093 - -1033925182. Let q = p - -1752748676683/1113. Let f = -1794/7 - q. Which is greater: f or 1?
1
Suppose 8*g - 12*g + 309 = -x, -3*x - g = 901. Let f = x + 301. Are 5 and f non-equal?
True
Let z = -4523/33 - -137. Let c = 419.6 - 372. Let r = c - 47.6. Which is bigger: r or z?
r
Let f = 24 - 24. Suppose f = 38*u - 37*u - 5. Suppose u*h = -4*l - 10, -l - 2 = h + 4*l. Which is greater: 2 or h?
2
Let x = -2.77 - -1.95. Let r = -194.82 - x. Are 2/5 and r nonequal?
True
Let x = 13.9 + 2.1. Let a = -0.0829 - -24.0829. Let o = a + x. Which is greater: 1/4 or o?
o
Let p be (7 - 2933/413)/((-12)/(-16)). Suppose 0 = -5*r - 3*c - 10 + 25, 0 = -3*r + 4*c - 20. Which is smaller: r or p?
p
Let h be (3 - 4)*(-34 + 1). Suppose -12*j + h = -39. Let l be (296/j)/(2/3) + 2. Which is bigger: 77 or l?
77
Let i be 30/4 + 44/(-88). Let z be (-7)/(i/(-70)*-5). Is -29/2 smaller than z?
True
Let a = 4989 - 4990. Let x = 11819 - 614687/52. Let w = -24547/12948 - x. Which is bigger: a or w?
w
Let u be 649/(-4444)*-3*(-372)/(-1). Let b = 163 - u. Which is smaller: b or 1?
b
Suppose -110 = 4*v - 338. Let r(y) = 2 - 3 - 6*y + 12 + 10. Let z be r(-6). Is v <= z?
True
Suppose 59 = 2*y + d, y + y + 5*d = 79. Suppose -6*f + f + 300 = 0. Let p be ((-36)/10)/((-8)/f). Is p != y?
False
Let q = -0.16 + -20.84. Let y = 19 + q. Which is smaller: 0.1 or y?
y
Suppose w - 8*i = 23, -32*i + 1 = -4*w - 31*i. Are -3327 and w nonequal?
True
Let f = 116 - 241. Let z = -114 - f. Is -2/15 > z?
False
Suppose -6*t = -t. Suppose 0 = h - v - 1, t*h - h = v - 1. Let b be 2*(14/(-4) + h). Is b less than -7?
False
Let a(o) = 33*o - 905. Let q be a(26). Let y(h) be the first derivative of -2*h**3/3 - 11*h**2/2 - 6*h - 1. Let k be y(-8). Which