
Suppose 0 = -3*i + 9, -5*x - 9*i = -13*i + 1742. Is -346 bigger than x?
False
Let i(u) = u**3 + 3*u**2 - 6*u - 5. Let m be i(-4). Suppose m*g + 4 - 34 = -3*h, 4*g = 4*h + 40. Which is greater: 12 or g?
12
Let j = 69/4 + -17. Suppose 10*g - 6*g = 192. Let q = -52 + g. Is j greater than or equal to q?
True
Let l = 13 - 8. Suppose 5*g + 4*v - 5 = v, -5 = -l*g - 2*v. Which is smaller: -2/9 or g?
-2/9
Let t = -3.19 - -1.05. Let q = 0.27 + t. Let s = 0.13 - q. Which is bigger: s or 0?
s
Let n(k) = -k**3 - 5*k**2 + 26*k - 8. Let i be n(-8). Let g be (1/2)/((-5)/230). Which is bigger: i or g?
g
Suppose 2*v = 5*m - 37 + 6, 0 = 4*m + 4*v - 8. Let y(f) = -f**3 - 11*f**2 - 10*f - 3. Let g be y(-10). Which is smaller: m or g?
g
Let l(t) be the second derivative of -t**5/20 - t**4/12 - t**2 + 6*t. Let r be l(0). Let x(v) = -v**3 + 2*v - 1. Let s be x(r). Which is smaller: s or -2?
-2
Let q(i) = i**3 - 20*i**2 + 14*i + 79. Let y be q(19). Is -54 <= y?
True
Let c be (-2)/6 - ((-6878)/1104)/19. Is 1 bigger than c?
True
Let o(m) = -m**3 + 2*m**2. Let i be o(2). Let q = 51.7 - -22.3. Is i bigger than q?
False
Suppose 5*w - 6 = 6*w - j, -3*w + 12 = 3*j. Let t be (-10)/(-25) + 2/(-5) - w. Which is greater: -3 or t?
t
Let f(t) = -6*t - 3. Let l be f(-6). Let y = 190 + -211. Let h = y + l. Which is smaller: h or 11?
11
Let c(x) = x + 70. Let s be c(0). Suppose 0 = -m + 3*z + 46 + 30, -m + z = -s. Let w be 1 + m/(-14) + 4. Which is greater: 1 or w?
1
Let g = 41/5 + -133/15. Let i = 59/102 + g. Which is smaller: i or 1?
i
Let m be 608/56 - (-32)/28. Is m smaller than 112/9?
True
Let c = -6 - -6. Let z be 3/(c/(-1) + 3). Do -1 and z have the same value?
False
Let g = -21.979 + 22. Let x = -0.121 + g. Which is smaller: x or 41?
x
Suppose t - 3*v = -5 + 17, -4*v - 16 = -3*t. Which is greater: -4/11 or t?
t
Let n = -6.5 - -6.9. Which is greater: n or 2/13?
n
Let h = 147 + 168. Let n be 1 + 0 + h/21. Is n greater than 16?
False
Let a(z) = 7*z + 97. Let j be a(-14). Which is bigger: 4/195 or j?
4/195
Suppose 0 = -4*m + 18 + 2. Let b(x) = -m*x + 0*x + 4*x. Let n be b(1). Which is bigger: 0 or n?
0
Let x(g) = 70*g**2 + 8*g + 8. Let h be x(-1). Which is bigger: 2 or h?
h
Let w = 9.7 - 9.5. Which is smaller: w or -1.93?
-1.93
Let d be (1/2)/((-21)/56)*3. Let b be 1/(22*-3)*d. Is 0 at most b?
True
Let v = 360 + -1079/3. Let z be (-3)/(-12) + 9/(-4). Let y be -1 - 0/(-1 - z). Is v at most as big as y?
False
Suppose 0 = 20*j - 72*j - 104. Is j != -30/53?
True
Let d = -494 + 294. Let r be d/(-80)*56/10. Which is greater: -0.1 or r?
r
Let q = 17 - 14. Suppose -l - 15 = 4*c, 0*l - 40 = 5*c - q*l. Which is greater: c or -3?
-3
Suppose 2*g + 2*a - 206 = 0, -g + 61 + 50 = -3*a. Suppose 36*y - 41*y = -g. Let f = 0 + -1. Is y at least f?
True
Suppose -15*u - 3*j - 11 = -16*u, 4*u = -j + 18. Let v = 0 - 1. Which is smaller: v or u?
v
Let q be 0/2*(-4 - -3). Let h be (-3 - -10) + 0 + q. Let j be 1/(-15)*-7 + (-42)/(-210). Is h >= j?
True
Let j(g) = -2*g. Let a be j(2). Let t be -3*(1 - a/(-6)). Let q be -24 + 17 + 190/22. Is q >= t?
True
Let r = -0.24 + -0.04. Let o = 30.28 + r. Are o and -0.1 non-equal?
True
Let q = -1 - 0. Let f be (-1)/(735/(-1480)) - (3 + q). Which is smaller: -1 or f?
-1
Let i = 16 + -30. Let t be ((i/(-52))/(-7))/(3/(-4)). Which is smaller: t or -1?
-1
Let i = 2/5953395 + -340666689/587401640. Let b = i - 1/296. Does 0 = b?
False
Let b = 45 - 47. Which is greater: 61 or b?
61
Let b = 119 - 109. Suppose 0 = -5*v - b, 21 = y + 4*v - 5*v. Is 59/3 > y?
True
Suppose -4*m - 245 = 7. Let p = m - -821/13. Let q(n) = n**3 + 9*n**2 - 9*n + 10. Let o be q(-10). Is p <= o?
False
Let p = 62 - 30. Let w = p + -25. Suppose 8*k = w*k. Which is smaller: 1 or k?
k
Let r = -32 + 33. Suppose 28 = 4*a - 5*h, 0 = 5*a + 5*h + r + 9. Suppose 2*o = 5*o, 0 = -a*c + 2*o + 6. Is 3 less than c?
False
Let j be (-2 - 1)*20/(-12). Let x = -30 + 54. Suppose -3*f + 8*f + 18 = 3*t, 4*t = -j*f + x. Is 0 greater than t?
False
Let r = -532/13 - -51682/1261. Which is bigger: -1 or r?
r
Let r(w) = -5*w + 4*w**2 + 2*w + 2*w. Suppose 9 + 7 = 16*j. Let a be r(j). Is -1 less than a?
True
Suppose -7*t - 272 - 239 = 0. Let a = -368/5 - t. Does 0 = a?
False
Let n(k) = 3*k**3 + 7*k**2 + 5*k + 3. Let l be n(-4). Let i = 80 + l. Do i and -19 have the same value?
False
Let m = 12 - 7. Suppose u = -m*s + 4*u + 110, 120 = 5*s - 5*u. Let v = 22 - s. Is 4 >= v?
True
Let m be 3*(-9770)/(-29250) + -1. Does m = 1?
False
Let g = 312 - 405. Which is smaller: -0.1 or g?
g
Let p(m) = -7*m**3 + 11*m**2 - 3*m - 9. Let x(d) = 3*d**3 - 5*d**2 + d + 4. Let f(w) = -2*p(w) - 5*x(w). Let b be f(3). Is b greater than or equal to 3/25?
True
Let v be 21/(-14)*(-10)/3. Suppose b = -5*c + 2 + 3, 5*c - v = -5*b. Let m be (10/15)/(25/3). Which is smaller: c or m?
m
Let w = -1.5 - -1.46. Which is smaller: w or 6/7?
w
Suppose 0 = 5*q - 5*x - 9 - 31, 4*q - 2*x - 34 = 0. Let l be -1 - q/(36/56). Is -15 less than l?
False
Let b = 387 + -386.1. Which is bigger: b or 0.053?
b
Let o be (-200)/120*132/14. Let a be 3/2 - (-105)/(-6). Is o greater than a?
True
Suppose 0 = -i + 5*i + 4*k - 24, 0 = -2*i + 3*k - 3. Let b be (-6)/i + 1 + 2. Let l = 2 + -3/2. Is b < l?
False
Let a = 7 - 13. Let k = a - -21. Let h be (3/k)/(2/(-5)). Which is smaller: 0 or h?
h
Let u = 6.34 - 5.987. Let f = -0.053 + u. Which is smaller: 14 or f?
f
Let m = 1597/11 + -145. Let d = -13.14 + 16.14. Which is smaller: m or d?
m
Let f = 172/7 - 2594/105. Suppose 5*n = -5*s + 15, n + 1 = 5*s + 16. Let c be (n/(-1 + -4))/1. Which is bigger: c or f?
f
Let d = 2.653 - -0.047. Let v = -3.3 + d. Let g = -0.3 - v. Which is smaller: -5 or g?
-5
Let f(j) = -25*j**3 + j. Let x be f(1). Let d be (-9)/(-6) + x/16. Suppose 3*c = -3*g + 54, d = -2*g - 3*g + 5*c + 100. Which is smaller: g or -0.1?
-0.1
Let t be (380/(-29) - -6) + 7. Is 1 >= t?
True
Let p = 6 - 2. Let c be ((-6)/(-4))/((-2)/p). Let u be (-14)/(-6) - (-1)/c. Which is smaller: 3/2 or u?
3/2
Let j be ((-3)/(36/(-6))*0)/(-1). Is 1/1375 greater than j?
True
Let h = 4.7 + -5. Let w = -0.02583 - -6.02583. Is h smaller than w?
True
Let a be 6 - (12/(-3195))/(10/(-16020)). Is 1 bigger than a?
True
Suppose 129 = -4*s - 3*d, 0 = 3*s - 4*s + d - 27. Is s equal to -34?
False
Let z(u) = 8*u. Let i be z(14). Suppose -5*b + 157 = 3*f, 4*b = 3*f - 0*f - i. Suppose 2*y + 5*c = f, -y + 0*c + 28 = 4*c. Which is greater: 13 or y?
13
Suppose 3*n + 23 = -10. Let i(q) = q**3 + 10*q**2 - 10*q + 5. Let j be i(n). Let v be 3 - 5/((-10)/j). Is -2/13 less than v?
True
Let z = 6.13 + -6.28. Which is smaller: 18 or z?
z
Let j be (-27344)/3 - 9/27. Let w = j - -81929/9. Let f = w + 476/45. Which is smaller: f or -1?
f
Suppose 229*j = 226*j. Is 1/481 at most j?
False
Let w = 66 - 65. Does w = -0.0019?
False
Let z = -90 + 65. Which is smaller: -24 or z?
z
Let f = -71.8 - -72. Let k = -11 - -11.9. Is k greater than or equal to f?
True
Let u be 0*(4 - (-12)/(-4)). Suppose u = -2*r + 2 - 4. Which is bigger: 4/13 or r?
4/13
Suppose -2350*z = -2323*z - 27. Let t be 0 + 2 + (-40)/23. Do t and z have the same value?
False
Suppose -3*z + 17 = 5. Let l = 16 - z. Suppose 0*h + l = 3*h. Is 8/3 at least as big as h?
False
Let d be 1 - 1 - (-4)/88 - 0. Let w = d + -1/14. Which is smaller: w or -1?
-1
Let z be (-3 - -4)*-3 - (-1 + -16). Suppose g = -3*g - 4, 4*g - 11 = -p. Do z and p have the same value?
False
Suppose t - 4 = -t. Suppose -2 = 4*f - t*q, 0*f + f = -2*q - 3. Let v be (-16)/(-12) - f/6. Which is bigger: 2/7 or v?
v
Suppose -t + 5*b = -11, 2*b = -3*t + 7 - 25. Let w be ((-8)/(-22))/(t/6). Is w less than 1?
True
Let d be ((108/20)/(-3) - 5) + 6. Are -0.88 and d non-equal?
True
Let j be 1*12/(-9)*6/(-4). Let r(t) = 2*t**2 - t. Let h be r(-1). Suppose y = 5*p - h*y + 39, 0 = -5*p + j*y - 37. Is p not equal to -7?
False
Let v = -836 + 42638/51. Is v at most -4?
False
Let w(c) be the third derivative of -c**5/30 - 5*c**4/12 + 2*c**3 + 9*c**2. Let g be w(-6). Is 6/19 >= g?
True
Let o be (224/(-16))/(12/3). Let t(q) = q**3 + q**2 - 2*q + 1. Let i be t(-3). Let h = i - -6. Which is bigger: o or h?
o
Let y = -14073/1387 + 192/19. Let l = y - 283/219. Let t(v) = -v**3 + 3*v**2 - 3*v. Let m be t(2). Is l not equal to m?
True
Let a = 501.244 + -491. Let k = a + -0.144. Let 