 -4?
-4
Let f = 3307285/2629 - 1258. Are -2/5 and f nonequal?
True
Let l be 1*2*(-7)/14. Let g be (9 - -1)*(310/2346 + 38/(-323)). Does g = l?
False
Let p = 80.403 - 80. Let i = -0.703 + p. Is -97 < i?
True
Let p = -395/306 - -21/17. Let b = 87 + -84. Suppose 2*h - 6 = 4*d, 0 = -d + h + b*h - 5. Which is smaller: d or p?
d
Suppose 21*k = 24*k + 588. Let n be (-3)/4 - 85015/k. Which is smaller: 432 or n?
432
Let c(p) be the third derivative of -p**5/60 + 13*p**4/24 + p**3/2 + 18*p**2. Let o be c(6). Suppose w = i - 13, -2*w - 3*i = w + o. Is w < -14?
False
Suppose -669 - 65 - 783 = 37*s. Let c = 15 - 6. Which is smaller: s or c?
s
Suppose 2*u - 5*t = 7*u + 10560, u - 3*t = -2120. Let i = 167000/79 + u. Is i != 1?
True
Let w(s) = 2*s**2 - 2*s + 45. Let p be w(11). Suppose -4*k + r = 432, 2*k + p = 4*r + 49. Do -108 and k have the same value?
True
Suppose 15*q + 784 = 18*q - r, 2*r = 4*q - 1042. Suppose -261*m = -q*m. Is m >= -1/77?
True
Let b(c) = c**3 + 7*c**2 + 4*c - 9. Let r be b(-6). Let d(x) = -4*x + 45. Let h be d(r). Let k = -18 - -52. Which is bigger: k or h?
k
Let o(i) = -13*i**2 + 17*i + 10. Let y(a) = -6*a**2 + 8*a + 5. Let l(q) = 4*o(q) - 9*y(q). Let h be l(4). Let x be (-8 - -24) + (-3 + 2)*5. Is h >= x?
True
Suppose x + 18 = 45. Let p(h) = 9*h**2 - 88*h + 159. Let o be p(7). Let j be (3/4)/(x/o). Is 1 smaller than j?
False
Let w be 4/(-3)*78/346684. Are w and 2/7 non-equal?
True
Suppose 3*c = 7*c + 2*c. Suppose c*r + 136 = 3*o + r, o + 5*r = 50. Suppose 10*h - o = h. Which is bigger: 4 or h?
h
Let a = -23 + 25. Suppose 3*r + a*l + 10 = 6*r, 5*l = 2*r - 3. Let i(t) = 3*t - 4. Let g be i(r). Is 9 < g?
False
Let s = 13739.1 - 13195. Let x = s + -520. Let j = -24 + x. Is 14 less than j?
False
Suppose -684*u + 659*u = 14350. Is -572 < u?
False
Suppose x = -21 + 22. Let q be 16*7 + (-4)/x. Let w be ((-4)/6)/(24/q). Which is bigger: w or -4?
w
Let b be (-59220207)/(-42) + (15/(-6) - -2). Let p = b - 1407413. Let l = p - 2587. Which is smaller: 3 or l?
3
Let d = 29 + -28. Let b(o) = 81*o - 70*o - 12 - d - o**2. Let x be b(4). Is 15 at most as big as x?
True
Let i be 3*(0 + -1)*(-8)/12. Suppose -7 = -m - i. Suppose 5*z - 40 = -m. Is z > 27/4?
True
Let x(h) = 3*h**2 - 13*h - 10. Let y = 11 - 3. Let u be x(y). Suppose -3*q = -9*q + u. Is 15 at most as big as q?
False
Let h be ((-4)/(24/(-2133)) + 4)*-4. Let a be h/180 + 3 - (-20)/4. Is 3 bigger than a?
True
Let l = -2767906037131/530 + 5222458610. Let a = -5611 - l. Is a greater than 0?
True
Let i(w) = w**3 - 2. Let k be i(0). Let j = 18.053116 + -0.053116. Which is greater: k or j?
j
Let q = 7868 + -7335. Is 535 > q?
True
Let q be (-4 - 486/(-117)) + 76002/(-26). Let o be q/148 + (-2)/8. Which is bigger: o or -19?
-19
Let m = -2888 - -2888.2. Are 2506 and m unequal?
True
Let h = -2876 - -261720/91. Is h greater than or equal to 1/3?
False
Let v = -35 - -29. Let q be (-938)/49 - (-1)/7. Let r be 3/9*q - 0. Which is smaller: r or v?
r
Let x(m) = m + 25. Let j be x(-21). Suppose -c + 2*n - 13 = 0, -n = j*c - 2*n + 87. Which is smaller: -45/2 or c?
c
Let o be (-1)/((-5 + 13 - 14) + (-3326)/(-554)). Which is smaller: o or 1.8?
o
Let k = 1108901/135 + -8214. Which is smaller: k or 0?
0
Let j = 13349 + -13349. Which is bigger: j or -2/4255?
j
Let h = 5.063 + -15.063. Is 99 less than h?
False
Let h = 103/386 - -45/193. Which is bigger: h or -74.44?
h
Let v = -3641 - -3642. Is -4347 greater than or equal to v?
False
Let t(x) = 51*x + 41. Let y be t(-3). Let j = y - -338/3. Is j <= -4/15?
False
Let f be -2 - (-38 - 6) - -1. Suppose f*r = 38*r - 50. Which is smaller: r or 4?
r
Let u = 228 - 127. Suppose -77 = -m + 3*q, 0 = -2*q + 979 - 963. Is m at least as big as u?
True
Let g(p) = -2*p + 7. Let k(l) = -l + 13. Let u be k(5). Let y be g(u). Let h be -18 + 24 - (18 - 1). Which is smaller: y or h?
h
Let y = -14448 + 11742. Which is bigger: -2704 or y?
-2704
Let j = 5 + -2. Suppose -j*r - 3*b + 24 = 0, 0 = -r - 5*b + 3*b + 13. Suppose 21 = 2*t - 3*h, -4*t - 2*h - 99 = -85. Is t equal to r?
False
Let c = -46/15 - -8/3. Let g be (6/4*-14)/20. Let a = g + 459/380. Is c > a?
False
Suppose -b - 5*o = -189, 24*o - 25*o - 777 = -4*b. Is b < -10?
False
Let f = 2124 + -91330/43. Which is smaller: -93 or f?
-93
Let z be (-104)/40 - -3 - (-357)/(-5). Let h be -2 + -188*3/(-6). Let r = h + z. Do -2 and r have different values?
True
Let b = -145 + 262. Let w = 116.9 - b. Is w less than 10/9?
True
Suppose 0 = 4*t - 4*n + 40, -n = -147*t + 142*t - 14. Which is greater: 1161 or t?
1161
Let a = -6.3 - 42.7. Let c = a - -49.047. Let x = 0.847 - c. Which is greater: 1/3 or x?
x
Suppose 159*n = -1023 - 1006242. Is -6335 bigger than n?
False
Let o = -0.1 + 0. Let n = 0.7453 + 0.2247. Does n = o?
False
Suppose s + 5*d = 20, -d + 0 + 4 = -2*s. Which is greater: s or -97/218?
s
Suppose 5*k - 15 = 5*r, -5*k = -4*r + 6 - 19. Let f = -50 + 49. Let b be (24/(-42))/(-1*f/4). Which is greater: b or r?
r
Let u = -9896 + 9839. Let s(x) = -x**3 - 5*x**2 + 6*x + 2. Let y be s(-6). Which is greater: y or u?
y
Let k be (-2)/(1 - (-64)/(-60)). Suppose k*a = 34*a - 204. Is 49 greater than a?
False
Let j = 1.5 - 2.3. Suppose -3*d = -4*g - 5, 5*d = g + 2*g - 10. Let w = -2 - d. Which is smaller: j or w?
j
Let p = 253/10 - 49/2. Let l = 3.5 + 1. Do l and p have different values?
True
Suppose 8 = -g + 3*h, -2*g + 17 = -0*g + 5*h. Let d be (-274)/(-69) - (17 - 13). Is g not equal to d?
True
Let m(b) = 2*b**2 - b - 29. Let w be m(4). Let u = 9728/825 - 130/11. Which is smaller: w or u?
w
Let l be 67 + 2/((-4)/6). Let c be l/(-40) - (-4)/2. Let i = -0.121 + 0.121. Which is bigger: c or i?
c
Suppose -12*w - 7 + 67 = 0. Suppose 2*r - f = 18, 2*r + w*f = r + 20. Let s(y) = -y**3 + 5*y**2 + 8*y. Let u be s(6). Is u at most r?
False
Let f(l) = 62*l**2 + 24*l + 18. Let c be f(-7). Suppose -232 = 2896*j - c*j. Which is greater: -4 or j?
-4
Let x = 45/7 + -267/35. Let u = -0.067 + 0.167. Let n = u + 0. Is n <= x?
False
Let w be (-4 + -119)/((-30)/110). Which is greater: 2252/5 or w?
w
Let t = 0.15 - 0.1. Let u(i) = -17*i**2 + 4*i - 11. Let s be u(3). Let z be (-112)/(-1071) + s/36 + 4. Are t and z equal?
False
Let g be 28/6906*(82/164)/((-1)/3). Which is bigger: g or 1?
1
Let x be 10 + -4 - 2067/371. Is x smaller than -846?
False
Let t = -12475334/173 - -72112. Which is bigger: 1 or t?
1
Let j be (-760)/8*-6*7/(-210). Let y(s) = 28*s**3 - s. Let h be y(-1). Which is smaller: h or j?
h
Let n = -265.2 - -207.7. Which is smaller: 1 or n?
n
Let u = 125.6 - 1112.6. Let g = u - -986. Let y = -1138/9 - -126. Which is smaller: y or g?
g
Suppose 3*h = 5*d - 510, 2071*h = 2070*h. Which is smaller: d or 100?
100
Let m = 53 + -39. Suppose -8*g = 7 + 9. Let f be ((-4)/(-10))/(g/(-70)). Do m and f have different values?
False
Let g = 284.4 + -257.4. Let z = -6.3 + -19.7. Let w = z + g. Which is greater: 0 or w?
w
Let m = 38.125 + 1.765. Let o = -2.71 - m. Let c = o - -1.6. Is 1/4 smaller than c?
False
Suppose 2*x - 15*v - 2192 = -10*v, 0 = -5*x - 3*v + 5449. Is 1091 greater than or equal to x?
True
Let g = -57.7 + -6.6. Let s = g + -17.7. Which is greater: -0.3 or s?
-0.3
Let y = 294988631/4696 + -62817. Is 1 equal to y?
False
Suppose -6*q + 17*q + 24*q - 26040 = 0. Which is greater: q or 1485/2?
q
Let t = 15 + 2. Let i(c) = 3*c**3 - 42*c**2 - 43*c - 12. Let g be i(15). Is g less than or equal to t?
False
Let o = -90.41 - -107.41. Let u = -1412/369 - -34/9. Which is bigger: u or o?
o
Let a = 386 + -314. Suppose 10*m - m + a = 0. Which is bigger: -2.4 or m?
-2.4
Let g be (45/(-20))/(3/8). Let c be 11*g/15*-5. Let j be -2*(-15)/(-10) + 27. Which is smaller: c or j?
c
Let n(l) = -2 + 6*l**3 - l**3 - 13*l**3 - 10*l**2 - 8*l**3. Let o be n(-3). Suppose -r = -3*h + o - 56, -r = -2*h + 190. Which is bigger: h or 95?
95
Suppose 2*z = -10, -10*z - 198 = -3*i - 7*z. Suppose -30 = 62*k - i*k. Let m = 40 - 70. Is m bigger than k?
False
Suppose v = r + 4*r - 5, -4*v - 20 = -2*r. Let w(j) = -j**3 + 26*j**2 - 22*j - 79. Let x be w(25). Which is smaller: r or x?
x
Let w be 1*1/(334/6). Let o = w + 471/1670. Let m be (-152)/57 - (-5)/3. Is o greater than or equal to m?
True
Let l = -8653885 - -25139537571/2905. Let o = l - -2/415. Are 14 and o equal?
False
Suppose 4*g = -4*w - 92, 