 -42?
False
Let s = 89 - 127. Let b = -116488 - -116487.9. Are b and s equal?
False
Let w be (-3699 - -1)*22/(-16) - (-6)/(-8). Is 5082 greater than w?
False
Let p(o) = -o**2 + 23*o + 123. Let d be p(26). Suppose k = -4*l, -3*l - 43*k + d*k = 0. Is 10/121 <= l?
False
Suppose -321*k - 1407*k - 1335983 - 117265 = 0. Let c(m) = -30*m**3 - 4*m**2 + 2*m - 1. Let q be c(3). Do k and q have different values?
False
Let c(g) = 1325*g**2 + 645*g - 2. Let u be c(-4). Is 18617 greater than u?
False
Let g = 4503 - 4627. Suppose 0 = 2*j - 5*x + 265, 0 = -3*j - x + 6*x - 390. Is j at most g?
True
Let v = -1255 + 1253. Is -53/34 != v?
True
Let b = -40101964/3379 + 11868. Which is smaller: 0 or b?
0
Let y = -1.1 - -0.1. Let c be (-141)/48 - (3 + 0)/(-1). Is y at most c?
True
Suppose 218288 - 1405648 = 80*s. Is s > -14843?
True
Let u(i) = -i**2 + 13*i - 30. Suppose n - 10 = -0*n. Let z be u(n). Which is bigger: 2/67 or z?
2/67
Suppose 0*v - 27*v = -243. Let p = 297/10 + -101/5. Do p and v have the same value?
False
Let x = 10 - 8. Let i(h) = -h**3 - 5*h**2 - 3*h - 5. Let v be i(-4). Let c be (v/21)/((-2)/7). Which is bigger: x or c?
x
Let y = -45 + 44. Let j be y + 4 + -3 + 3. Suppose 0 = -b - j + 4. Which is smaller: b or -2/91?
-2/91
Suppose 3*w - 9 = 3*j, 0 = -5*w - 2*j + 7 + 22. Suppose w*n - 25 = -5*i, 3*i - 9 = -2*i + 3*n. Suppose -x - i*x - 4 = 0. Is -4/17 equal to x?
False
Suppose 0 = -z + 6*z - 85. Let i = -7 + 89. Suppose -11*o = -i - 94. Is o >= z?
False
Let t(v) = -v**3 + 13*v**2 + 2*v - 11. Let r be t(13). Suppose -z - w = w - 6, 0 = -5*z + 5*w + r. Let p be 4*z/(-8) + 1. Is p >= -1?
True
Let b(j) = j**2 - 25. Let s be (-16)/24 + (-2)/(-3). Let i be (2 - s) + (-2 - (-1 + -4)). Let n be b(i). Which is smaller: n or 3/37?
n
Let h = -5793 - -5668. Which is bigger: h or -1373/11?
-1373/11
Let r = -18881 + 18880.9. Let a = 253 - 10883/43. Which is smaller: a or r?
r
Let a = -0.101 + 12.101. Let c = a - -49. Let x = c + -72. Which is smaller: x or 0.1?
x
Let c be 3/((-90)/322234) + (-4)/6. Let j = c - -10803. Is 61 > j?
False
Let u = -351 + 351. Suppose 3*j = -15, u = c - 0*c + 5*j + 27. Is -3/4 less than c?
False
Let f(r) = r**3 + 3*r**2 + r + 3. Let c be f(-3). Suppose c = 2*k - 7 - 13. Suppose 44 = v + k. Is 34 at least as big as v?
True
Let j(g) = 21 - 9*g + 0*g**2 + 5*g + 15*g + 5*g**2 - 4*g**2. Suppose 7 + 11 = -2*w. Let y be j(w). Which is smaller: 13 or y?
y
Let i = -215 - -218. Let q be (5301/4)/(-9) - i/4. Is q greater than -147?
False
Let x(g) be the third derivative of -2*g**4 + 22*g**3/3 + 179*g**2. Let v be x(1). Is v equal to 2?
False
Let v = 44 - 40. Let f be (-50)/20 + (-6)/v. Let l = -3 - -2.8. Is f greater than l?
False
Suppose -5*l = 5*u + 160, -l = 6*u - 7*u + 32. Does -55 = l?
False
Let q(p) = 3*p**2 - 102*p + 20. Let w be q(34). Let h be -1 + 0 + -2 + 22. Suppose -5*r - 4*o + h = -4*r, 5*r = 5*o + 95. Do r and w have different values?
True
Let t = -6.31 - -25.31. Is t at least as big as -0.7?
True
Let a be (90/75)/(1 + (-2263)/2260). Let z be ((-52)/(-39))/((a/(-6))/(-2)). Which is smaller: -1 or z?
-1
Let p = 0.76833 - -0.23167. Which is smaller: p or 19/17?
p
Let t = -311 - -241. Let q = 28 + t. Is -42 at most q?
True
Let t = 919.3 + -16.3. Is 4 less than or equal to t?
True
Let m(h) = -2*h + 3*h**2 + 13*h + 14*h**3 + 9*h**3 - 24*h**3 - 4. Let f be m(5). Suppose 0*d - f = -3*d + a, -6 = -3*a. Is -2 equal to d?
False
Suppose -35*d - 14891 = -118*d + 13827. Is d at least as big as 3792/11?
True
Let s = -33 + 47. Let l = -31 + s. Let n be (-24)/(-140) - 4/7. Is n <= l?
False
Let t be 0 + ((-408)/(-108) - 6/(-27)). Let h be 17 + (4 - t - 5). Which is smaller: h or 67/6?
67/6
Let f(h) = 82 - 163 - 11*h - 61. Let r be f(-13). Which is bigger: r or -12/13?
r
Let s be (5 - (-1 + 5))*99. Let u = -38 + 140. Which is greater: s or u?
u
Suppose 66*r - 504 = 59*r. Suppose r*u - 64 = 64*u. Let m(y) = y**2 + y + 4. Let q be m(0). Is q equal to u?
False
Suppose 12*q + 19400 = -36*q - 49*q. Is q != -202?
True
Let j(q) = 4*q - 27. Let k be j(8). Suppose 4*y = y - k*f + 5, -3*y + 5*f - 35 = 0. Is -39/7 bigger than y?
False
Let a be (((-8)/2)/4)/(-9 - -8). Suppose 16 = 3*n - n. Let q be 1/n*(-16)/(-36). Which is smaller: q or a?
q
Let g(x) = 2*x**3 - 31*x**2 + 39*x + 79. Let v be g(14). Is -3/112 at least v?
False
Let f = -631 + 633. Suppose f = -4*l - 2*a + 6, -3*l - 2*a = -3. Which is smaller: 1/129 or l?
1/129
Let o = 9.4 - 9.6. Let n = -130 + 761/6. Which is smaller: o or n?
n
Let a be (16/40)/(-5 + (-201)/(-45)). Which is greater: -302 or a?
a
Suppose 0 = r + 5 - 12. Suppose -r = -4*w + 13. Let i be w - 2 - -16*4/(-3). Is i greater than -17?
False
Let o = -0.6508 - 393.3492. Which is greater: 3/4 or o?
3/4
Suppose 89 = 3*r - 61. Let n be 2 + -6 - (-196)/r. Let u = 369 + -368. Is u less than or equal to n?
False
Let q = 317/1441 - 5/131. Let j be (-3 - 32)*(-1 + 0). Let m = j - 36. Is q != m?
True
Let s = -18158 - -1252966/69. Is 2 equal to s?
False
Let d = -185.2 + -14.8. Let w = -177 - d. Let m = -25 - -24.9. Which is smaller: m or w?
m
Let k = 10 + -9.1. Let d = k - 1. Let t = 434 - 434.02. Is d less than t?
True
Let r = 211.079 - -111.8465. Let p = 0.0745 + r. Which is bigger: -1/3 or p?
p
Let x = 1.355 - 2. Let w = x - -0.6. Let p = 0.015 + w. Is p equal to 1?
False
Let g = 0.04 + -5.04. Let m = 947 - 956. Which is bigger: m or g?
g
Let h be 6/9*6/10. Let v be 55*(-3)/(-10)*28/3. Let g = 1698/11 - v. Which is bigger: h or g?
h
Let w = 15 - 6. Suppose -4*g - 2*n = 34, w = -4*g - n + 4*n. Let j be (-230)/20 - 9/g. Which is bigger: -9 or j?
-9
Let t = -98.5233 - 1.5717. Let g = t + 0.095. Let m = g + 79. Which is smaller: 0 or m?
m
Suppose m - 5*u = -2*u - 10, 0 = 5*m - 4*u + 50. Let g be (-118)/(-15) - m/75. Let p = g - -4. Which is smaller: p or 9?
9
Let n = 3425 + -3457. Let g = -11/40 + 3/40. Which is bigger: n or g?
g
Let t(w) = 16*w + 200. Let m be t(-12). Let v be (20/m - 6) + (-5)/(-2). Which is greater: 1/104 or v?
1/104
Let j(c) be the second derivative of 11*c**5/20 - 7*c**4/12 + 4*c**3/3 - 6*c**2 - 193*c. Let g be j(3). Do g and 247 have the same value?
False
Let u(y) = 8769*y - 4366. Let m be u(-1). Is -13133 at most m?
False
Let r(a) = -a**2 - 9*a - 12. Let k be r(-2). Suppose 0*u = -4*o - u + 23, 0 = -o + 3*u - 4. Suppose o*f - 87 = k*p, 2*p = 4*p - f + 75. Are -35 and p nonequal?
True
Let o(n) = 9*n - 19. Suppose 2*d - 4*i - 6 = -6*i, -2*d + 5*i - 1 = 0. Let f be o(d). Which is smaller: f or -4/117?
f
Let j = -24 - -29. Let u = j - -4. Let l = u - -8. Which is smaller: l or 0.1?
0.1
Let y(z) = -6*z**3 + 3*z**2 - 3*z + 1. Let s be y(1). Let i be (2 + s)*(-2 - -88)/(-2). Let x = 1679/13 - i. Which is greater: 5/2 or x?
5/2
Let u = -1579 - -1612. Suppose -150 = -5*m + 5. Is u bigger than m?
True
Suppose -2*d - 3*j + 24 = 0, -5*d + 2*j + 55 = 7*j. Suppose -3*z + 7*v = 2*v + 2, 34 = 5*z + v. Let f be (-92)/z*2/(-4). Is f < d?
True
Let y = -29.4425 + 28.4425. Let p = -15 + 53. Are y and p nonequal?
True
Let w = 32103 + -28797. Which is smaller: 3307 or w?
w
Suppose 0 = -4*b - 12, 1 = -2*q - 2*q - 3*b. Suppose 0 = -3*k + q*k. Let v be (-9)/225 - (k - 0). Which is smaller: v or 1?
v
Suppose 4 = -3*m + w, -386*w - 16 = -3*m - 390*w. Is 23/44 greater than or equal to m?
True
Suppose -792 = -4*p + 5*k - 9*k, -196 = -p - 2*k. Which is smaller: p or 2188/11?
2188/11
Let w be (1161/(-33) - -2) + (-28)/(-154). Let d be (-50)/(-6)*4/((-44)/w). Are -2/9 and d nonequal?
True
Let g = 40654 - 203273/5. Let t = 34.988 - -0.012. Which is greater: t or g?
t
Let r(l) = -826*l + 10738. Let j be r(13). Which is smaller: j or 4/10475?
j
Suppose -2*o + 68 = -8. Suppose 2*n - 3*n - o = 0. Let w = n - -59. Is 21 > w?
False
Suppose -36*k - 90 = -30*k. Let p(o) = 7*o + 14. Let v be p(k). Which is smaller: v or -92?
-92
Let g(s) = -s**2 + 3*s + 1. Let n be g(2). Let t be 8 - (0 - (-24 + 6)). Let l be (-4)/t*(-4 + n)*-10. Which is greater: 1 or l?
l
Let d = -299 + 365. Suppose 7*s + d = -11. Do s and 8/5 have different values?
True
Let d be 6/(-56)*-6 + 0. Suppose 0 = 9*b + 47*b + 560. Let l be 4 + b/3 + 10/(-15). Which is smaller: l or d?
l
Let l(t) = -17*t + 1619. Let v be l(84). Is v smaller than 193?
True
Let g(f) = 2*f - 20. Suppose 27 = 3*t - 0. Let 