-14 + 9. Let i(o) = -o**3 - 9*o**2 - 4*o + 2. Let s be i(y). Let g = 236/3 + s. Which is smaller: g or 0?
0
Let y = 46 + -36. Suppose 12*l = 10*l + y. Suppose -k + 3*k - r + 7 = 0, l*k = -r. Is 5 less than k?
False
Let q = 383 + -383.2. Is q at least as big as 135?
False
Let r be 52/6*(-6)/(-2). Suppose 29*y + 72 = 23*y. Let k be r/y + 8/48. Is k not equal to -6/7?
True
Let m = -1299 - -1300. Which is smaller: -15/407 or m?
-15/407
Let u(w) = w**3 - w**2 + w - 1. Let d be u(0). Let i = 42 - 253/6. Which is greater: i or d?
i
Suppose 0 = 2*w + 3*w. Suppose 6 + w = -v. Let z = 20 + -27. Which is bigger: z or v?
v
Let h = -7 - -38. Let o = -30 + h. Is o at most 2?
True
Let k be (-719)/620 - 216/(-180). Is k less than 1?
True
Let i be (-61364)/20460 - (-1 + -2). Let h = i - 291979/542190. Let y = h + 2/53. Is y > 2?
False
Suppose 10*x - 241 = -5*c + 6*x, 0 = 3*c - 4*x - 119. Suppose 0 = -5*t - 5*a + c, 2*t - 3*a + 0*a - 3 = 0. Is t >= 7?
False
Let f be (-119)/(-34) + 6/(-4). Suppose -f*j - 3*x = j, 2*j + 28 = 5*x. Suppose -w = 4*w + 20. Is j at most as big as w?
True
Suppose k - 3 = -0. Let m be 16/(-12)*k/(-2). Suppose -7 = -m*b + 1, o = 4*b - 18. Which is smaller: -3/5 or o?
o
Let n(p) = -23*p**2 - 4*p + 3. Let t be n(2). Let u = t - -159. Is u bigger than 61?
True
Let m = 11 - 46. Let h = 12 - 22. Let y = m - h. Which is bigger: y or -26?
y
Let m = -0.341 + 5.111. Let s = m + -5. Which is bigger: -2 or s?
s
Suppose 5*p + 7 = m - 4*m, -5*m = -5*p - 55. Suppose 2*u = -2*u + 5*g + 42, -g = u - m. Which is smaller: 20/3 or u?
20/3
Suppose 0 = 4*c - c + 3*w + 144, -4*c + 2*w - 198 = 0. Is c > -48?
False
Let b(w) = w**3 + 4*w**2 + 2*w - 2. Let m be b(-3). Suppose 5*n - m - 14 = 0. Which is smaller: n or 0.4?
0.4
Let c = -8232 + 8204. Suppose -2*n - 29 = 29. Which is smaller: c or n?
n
Let l = 44 + -29. Suppose -14*k = -l*k. Which is greater: 1/2 or k?
1/2
Let d be (-12)/8 + (-1)/(-2). Let s = 117/38 + -31631/10298. Which is smaller: s or d?
d
Let b = -8 - -6. Let j = -2.121 + 0.121. Is j less than or equal to b?
True
Let l be 2/(-4) - (-6)/4. Let s be (21/30 + -1)*(-12)/171. Which is greater: l or s?
l
Let w = -2/595 + 146/85. Are -4 and w equal?
False
Let t(b) = b**3 + 6*b**2 + 2*b + 7. Let c be t(-5). Let u be 20/3 - c/33. Suppose -5*j + 1 - u = 0. Which is smaller: j or -3/10?
j
Let b(a) = a**3 + a**2 + 2*a - 2. Let f be b(0). Let t = -10 - -8. Do t and f have the same value?
True
Suppose -m + w = 13 + 1, m + 3*w + 14 = 0. Let f(z) = z**2 + 18*z + 30. Let c be f(-15). Is m less than c?
False
Let k be (12/18)/((-4)/6). Let j be (2/(-19)*-1)/(-1). Is k equal to j?
False
Let g = 1 + 44. Suppose g = q + 7. Which is smaller: 39 or q?
q
Let a(r) = -2*r - 5*r - 10 + 9*r. Let x be a(7). Let b be 1/((-1)/((-8)/x)). Which is smaller: 14/5 or b?
b
Let v = -62 + 29.8. Let y = v - -32. Which is smaller: y or 6/5?
y
Suppose 0 = 5*a - 8*a - 2*w + 71, w = -5*a + 123. Let y be 1 - (0 + 15/a). Let u = -4 + 4. Which is smaller: y or u?
u
Let o = -0.034 + 19.034. Let r = o - 18. Are r and 1/8 non-equal?
True
Let w = -0.033 - -6.033. Let b = -17 + 21. Which is greater: w or b?
w
Let f(o) = -2*o**3 + 9*o**2 + 19*o - 70. Let u be f(5). Is -12/161 at least u?
False
Let m be (-16*1)/((-1)/4). Suppose 5*k = 2*w - 151, -2*k + 6*k + 20 = 0. Is m equal to w?
False
Suppose -9 = -39*r + 36*r. Let s be (-46)/(-14) - (-4)/(-14). Suppose -4 = -2*c - 2*g, 0*c - r*g + 6 = -s*c. Is c <= -1/12?
False
Let p = -56 + 68. Let c = 27 - p. Which is greater: 0 or c?
c
Let n be 8/((-912)/318) + 5. Is 3 less than n?
False
Let r be (-160)/(-25)*(-4 + -1). Let j be ((-7)/(-2))/((-4)/r). Do j and 28 have the same value?
True
Let r(p) = -10*p + 28. Let o be r(3). Let w(j) be the third derivative of j**5/30 + j**4/8 + j**3/3 - 2*j**2. Let i be w(o). Which is smaller: i or 5?
i
Let o = -3069/4 + 757. Which is smaller: o or -9?
o
Let t(p) = 3*p**2 - 21*p + 54. Let x be t(3). Let a = -3 - -22. Is a > x?
True
Let s = -9 - -12. Let x be -2 - ((3 - s) + -3). Let u = 1175/7 - 167. Which is smaller: x or u?
u
Suppose 298 = 44*a - 42*a. Let p = -150 + a. Is p > -2/7?
False
Let g be ((-2)/(-2))/((-4)/16). Let t(m) = -10*m**2 + 2*m + m**3 - 5*m - m + 3*m + 9. Let l be t(10). Is l >= g?
True
Let a(v) = v**3 + 13*v**2 - 9*v + 69. Let y be a(-14). Is -12/245 < y?
False
Let c = -66 - -64. Which is greater: c or -4/7?
-4/7
Let y(r) = 6*r - 7 - 5*r - 2*r. Let m be y(5). Let g be (m/45)/((-3)/9). Which is smaller: g or 2/5?
2/5
Suppose -d = d - 74. Suppose d*h - 29*h = -88. Is -11 greater than h?
False
Let k = 81 - 49. Let u = -33 + k. Which is greater: 2 or u?
2
Let o be 3/(-7) + (-56)/98. Let r be (-2)/(1*(-3 - -1)/o). Is r not equal to -3?
True
Suppose -s - 3*r = -21, -31*s + 2*r + 2 = -29*s. Is s equal to 47/9?
False
Suppose 3*p + 36 = 5*s, 5*s - 5*p - 24 = 16. Suppose -3*l + s = 0, -5*y - 5*l + 20 = -0*l. Suppose -5*i - y + 32 = 0. Which is smaller: 9 or i?
i
Let p = 231.31 + -248.4. Let b = 17 + p. Let d = -0.39 - b. Are -2 and d unequal?
True
Let z = -218 + 150. Is -208/3 greater than or equal to z?
False
Let t = 5 + -7. Let b = 1.6 + t. Let d(k) = k**2 - 32*k + 232. Let m be d(11). Is m < b?
False
Let i be 424/(2 - 0) - 1. Let q = -151 + i. Let k be 2/(-3) + 76/q. Which is smaller: k or 1?
k
Let k = 87 - -16. Let p = k + -106.4. Are 1 and p equal?
False
Let a = 0.065 + -0.125. Let y = -0.06 - a. Are y and 1 equal?
False
Suppose -4*r - 31 = 6*o - 3*o, r + 19 = 3*o. Let a be -14*r/(-22) + 4/2. Which is greater: -4 or a?
-4
Let q = -3 + 6. Let b(u) = 3*u + 4. Let k be b(0). Which is smaller: q or k?
q
Suppose 3*o = -o - 3*z - 398, -3*o = z + 296. Let g = o + -108. Let t = -623/3 - g. Is -1 > t?
True
Suppose 163 = 2*w + 171. Let r be (36/75)/((-1)/10). Are w and r unequal?
True
Suppose 5*n + 3*k - 2 = 14, 2*k = 2*n. Let l = -83 + 84. Let z be l*(-2 - (-2)/1). Is n > z?
True
Let d(x) = -40*x - 31. Let s be d(13). Let m = 30307/55 + s. Which is greater: m or -1?
m
Let m(i) = 0*i**2 - i**2 + 2*i**2 - 1234*i + 1232*i + 1. Let q be m(0). Is q > 2/309?
True
Let c = 18.41 - -10.59. Is -1 >= c?
False
Let t be (6 - -19) + (-1 - 4). Which is bigger: 96/5 or t?
t
Let z = 260 + -259. Let f = 0 - -0.05. Let x = 5.05 - f. Is z smaller than x?
True
Let v be (16/10)/((-230)/45). Let t = 159 - 3655/23. Let z = t - v. Is 0 > z?
False
Let g = -4569181231/1407 + 3247464. Let j = g - 2/201. Is 1 <= j?
False
Let g be (-219 - 800) + (-2)/((-2)/5). Is -1015 equal to g?
False
Let a = -3.79 + -0.21. Let d = 21 + -21. Is a bigger than d?
False
Suppose 290 + 234 = -4*v - 4*d, 5*v + 3*d + 665 = 0. Which is smaller: v or -134?
v
Suppose 2*r - 3 = -5*q, -2*r = -9*q + 6*q - 11. Which is smaller: q or -4/127?
q
Let x be -1*((0 - 96/4) + -2). Suppose 24*u - x*u - 2 = 0. Let y = -31/70 + -5/14. Is u not equal to y?
True
Let j be 2/10 + 33/(-15). Let s be 12/27*1/j. Is -1 not equal to s?
True
Let y = -1.87 - -1.16. Let w = -0.61 - y. Is -2.9 less than w?
True
Let z be -4 - ((-10)/(-14))/1. Are z and -1/4 equal?
False
Let y(q) = -q**3 + 9*q**2 - 7*q - 5. Let l be y(8). Suppose 5*v - l + 53 = 0. Which is bigger: -43/5 or v?
-43/5
Suppose -4*o + 7 - 3 = 0. Is o at least -6/19?
True
Let x = 55 - 52.5. Let g = -4.5 + x. Let z be ((-1)/3)/(6/4). Which is bigger: g or z?
z
Suppose 0 = -3*z + 5*h + 21, 3*z + 0*h = -2*h. Suppose -16 = -q + 4*r, 2*r + z = -q - 0. Suppose -8*g = -q*g - 16, t + 2*g - 12 = 0. Which is smaller: t or 2?
2
Let r = 687 + -699. Is 2/23 equal to r?
False
Let h(n) = 3*n**2 + 92*n - 51. Let o be h(-24). Is -532 <= o?
True
Let d(n) = 6*n**2 - 11*n + 9. Let w = 52 + -48. Let a be d(w). Are a and 60 unequal?
True
Let n(q) = 7*q + 1. Let a be n(-3). Let p be 60/(-32)*8/a. Which is smaller: p or 2?
p
Let t be (3/(-18))/((-2)/(-8)). Let o be (2 + -3)*(24 - (-6)/(-3)). Is o at most as big as t?
True
Let w = -394 + 394. Is -1/111 greater than w?
False
Let g = -28 + 28.17. Let f be ((-189)/(-28))/(-9) + (-10)/(-8). Which is smaller: g or f?
g
Let r be (36/21)/((-1)/14). Suppose 0 = -39*s + 47*s + 192. Is s at least as big as r?
True
Suppose 8*u = 7*u - 1. Let f be (1 - (2 - 0))*(0 + u). Which is smaller: -1/49 or f?
-1/49
Let y(x) = -15*x + 28. Let f be y(-7). Do f and 133 have the same value?
True
Let r = -30.932 - -31. Let l = -1.432 - 