= -5*o**2 + o**3 + o + 2*o + 3 - 12*o. Let x be m(6). Is -15 bigger than x?
False
Let o be ((-12)/(-16))/(4/(-16)). Let z be 85/4 + -2*o/(-24). Suppose -160 + 50 = -5*h. Are h and z nonequal?
True
Suppose -4*v - 24 = -4*b, b + 2 = -2*v - v. Suppose x - 2*m + 8 - 21 = 0, -6 = 2*x + b*m. Let y be ((-4)/30 + 53/60)*8. Which is greater: y or x?
y
Let v be (-1)/((-4)/(-120)*6) - -6. Is 24/17 smaller than v?
False
Let s be -3*2/(-138)*(-105)/(-7). Which is smaller: s or 2?
s
Let a be ((-2)/(-66))/(3/107) - 1. Which is smaller: a or 1?
a
Let p be -3 - -1 - (-1)/(-7). Let c(r) = -4*r + 11. Let d be c(3). Which is bigger: d or p?
d
Suppose -3*l + 3*k - 30 = -6*l, -l + 2*k = -7. Which is bigger: 8 or l?
l
Let u = 10.9 + -6.1. Let f = u - 4. Is 0 bigger than f?
False
Let i be 10 + (-4)/220*549. Are 1 and i equal?
False
Suppose n - 2*l = -3*l + 7, 2*n + l - 9 = 0. Suppose 6*b = n*b + 108. Let s = -27 + b. Is s less than or equal to -12/11?
False
Suppose 0 = -7*h + 5*h - 4. Which is bigger: h or -15?
h
Let y(h) be the third derivative of -h**5/60 + 7*h**4/24 - h**3/6 + 5*h**2. Let a be y(7). Let u = 1 - a. Are 1 and u nonequal?
True
Let n(u) = -u. Suppose 4*y - 16 = -3*h, -5*y = -4*h - 0 + 11. Let m be n(y). Let t be ((-2)/6)/(m/(-3)). Is t at most as big as -1?
True
Let l be -1*-4*(-3)/2. Let a(j) be the third derivative of j**4/24 + 7*j**3/6 - 71*j**2. Let w be a(l). Are 7/4 and w unequal?
True
Let f = -2573/1368 - -1/171. Suppose 1 = -2*a + a. Which is bigger: a or f?
a
Let z be (-186)/(-8) + (-3)/(-4). Suppose n + 2*n = -z. Suppose -20*a = -17*a + 24. Is a smaller than n?
False
Suppose 15 = -18*h - 3. Let r(j) = 0*j + j**2 + 3*j - 4*j. Let o be r(h). Is o at least as big as 8/3?
False
Let w(t) = -t**3 - 7*t**2 + 5. Let n be w(-7). Suppose -n*d = -3*d - 4*j - 58, -j = 2*d - 48. Let o = d + -30. Which is bigger: -23/4 or o?
o
Let j = 213 - -405. Let d be (-418)/j - 22/(-33). Does -1 = d?
False
Let g = -64 - -89. Let d = 23 - g. Which is smaller: 2 or d?
d
Let u = -9 - 0. Let o(v) = -v**2 - 9*v. Let n be o(u). Suppose 0 = -n*z - z. Which is bigger: -2 or z?
z
Let x be 4056/1326 + (-2)/(2/3). Is x at least 0.7?
False
Let f = 14 + -11. Let d(x) = 12*x**2 + 4*x**3 - 2*x**2 + 4 - f*x**3 - 11*x + 5. Let l be d(-11). Is 8 at least l?
False
Let a = 70 + -146. Let v = 76 + a. Let o be 4/(-10) - 13/5. Which is smaller: v or o?
o
Suppose -2*f = 5*j - 0*f + 18, j + 3*f + 14 = 0. Suppose 9 = -3*k + 84. Suppose -5*u = -k, d - 2*d + 1 = u. Which is smaller: d or j?
d
Suppose -11*d + 2*d = 0. Suppose d = -4*t + p - 0*p + 10, 5*p = -3*t - 4. Suppose -7*r + 2*r + 5*w - 20 = 0, t*r = -3*w + 17. Are 3/7 and r non-equal?
True
Let m be 29 + (12/3 - 5). Let i = 43 - m. Is 16 greater than i?
True
Let s(r) = -r + 3. Let l be s(3). Is l at least -1/105?
True
Let b(h) = -h**2 + 12*h - 19. Let n be b(10). Is 2/151 > n?
False
Let g = -51 - -58. Suppose 3 - g = -2*l. Which is greater: l or 5?
5
Let y be (-3)/(8 + (-31260)/3912). Is -325 >= y?
True
Let i be 344/(-80) - 6/(-2). Let g = 4/5 + i. Let w(s) = s**2 - 10*s - 11. Let h be w(11). Which is smaller: g or h?
g
Let b be 8/(-16) - (-23)/54. Suppose -k - 10 = -3*k. Suppose -k*t = -2*t - 3. Which is bigger: b or t?
t
Suppose 11*t - 183 = -5*z + 8*t, -177 = -5*z + 3*t. Is z greater than 41?
False
Let b = -1662 + 1690. Which is greater: 8 or b?
b
Let n = -18 - -12. Suppose 0 = 5*a - 20, -5*y + 6 = 4*a + 5. Let m be y - ((2 - (-2)/(-1)) + -5). Which is smaller: m or n?
n
Let r = 0.44 + -0.7. Let k = r - -0.36. Which is greater: 5 or k?
5
Let i(x) = 33928*x - 5. Let j be i(-6). Let w = j - -2242605/11. Let z = w - 300. Are 1 and z unequal?
True
Let m be (1 - 611060/132) + 2. Let v = -4627 - m. Let l = 1/11 + v. Which is smaller: -4/5 or l?
-4/5
Let m = 1411.17 - 1413. Which is smaller: m or -1?
m
Let c(j) be the first derivative of -j**4/4 + 2*j**3/3 + j**2 + j - 6. Let x be c(3). Let a be x/3 + (-2)/(-3). Is a not equal to 2/11?
True
Suppose 0 = n + 3*u + 12 + 27, 3*u = n + 15. Let w be (-83)/(-9) + 6/n. Suppose 21 = -3*l + 6*l. Which is bigger: l or w?
w
Let d = 0.77 - -36.23. Let g = d + -36.8. Is g > 0.08?
True
Let v(b) = -15*b**3 + 13*b + 13 - 17*b**2 + 2*b + 16*b**3. Let x be v(16). Which is bigger: x or -20/7?
-20/7
Let j = -1/695 - -1411/14595. Which is smaller: 0 or j?
0
Let a = -21 + 23. Let c be (a - (5 + -2))*-1. Let v(y) = -33*y + 4. Let b be v(c). Is -29 smaller than b?
False
Let p(w) = -w**3 + 2*w**2 + 13*w. Let y be p(0). Which is bigger: 2/1975 or y?
2/1975
Let n = 376 + -377. Is 2/315 less than n?
False
Let o(r) = -r + 2. Let s be o(-4). Let g be 23/2 - 8 - (-3)/(-2). Is g greater than or equal to s?
False
Suppose -3*w + 4*w - 31 = -5*u, -8 = 2*w - 4*u. Let k be w - 3 - 41/15. Do 1 and k have the same value?
False
Let d = -12 + 23. Let r = -11.2 + d. Suppose 1 = -5*z - 9. Which is greater: r or z?
r
Suppose 25 = -3*q + 4*y, -50*q = -56*q + 4*y - 34. Suppose 0*d = d + 44. Let r be d/30 + (-2)/6. Are r and q non-equal?
True
Let r be -63 + 2 - -8*5/10. Let b = r + 50. Does -7 = b?
True
Let k be 5/(-1) - (0 + (-366)/75). Is k bigger than 1?
False
Let k be (231/(-14))/(-11)*(-2)/3. Is k < -24/29?
True
Suppose 0 = -0*b + 3*b + 66. Let f be b/(-4) + 1/(-2). Which is bigger: 4 or f?
f
Let c be (3/6)/(6/(-183)). Is -16 less than c?
True
Let r be (-12)/(-10) + (0 - 1). Let w be (-30)/(-4)*8/(-12) - -1. Let h(i) = i**3 + 3*i**2 - 3*i + 3. Let g be h(w). Which is bigger: r or g?
r
Suppose 3*i - 30 = -5*o, 4*i - o + 0*o = 17. Suppose -i*y = -0*y - 3*m - 30, 4 = -2*y - 2*m. Is y at most -0.2?
False
Let b(f) = 7*f - 3. Let n be b(-3). Let l(u) = -u**2 + 1. Let t be l(5). Is t != n?
False
Let b(n) = n**3 - 19*n**2 + 63*n - 45. Let z be b(15). Let k be 7/12*(-10)/(-14). Are k and z unequal?
True
Let b = 434.9 + -434.72. Let r = -1.8 - -2. Is b < r?
True
Let i = 5 - 2. Suppose -2*b - 7*j + 2*j + 9 = 0, 2*b + 3*j + 1 = 0. Let w = b + i. Are w and -4 equal?
False
Let y = -116.73 + 118. Let d = -0.27 + y. Which is bigger: -0.09 or d?
d
Suppose 0 = 2*y + 5*c - 17, -4*y = -5*c + 20 + 21. Suppose -6*g + 1 = 19. Let f(v) = -14*v - 45. Let w be f(g). Which is smaller: w or y?
y
Let a = -10 - -15. Suppose 0 = -5*j, j = q - 4*j + 78. Let g = q - -83. Are g and a unequal?
False
Let m = 9 + -8.86. Let a = m + -1.84. Is a < -0.1?
True
Let x = 2/159 - 658/1749. Let s(n) be the second derivative of n**3/6 + 9*n**2 - 6*n. Let g be s(-18). Which is greater: x or g?
g
Suppose 0 = -m + 3*f + 32, -2*m - 2*f + 48 = -0*m. Is m not equal to 25?
True
Let q be (-12)/(-9)*84/(-392). Which is greater: q or -178?
q
Let b = -31 + 31.021. Let i = b - 0.141. Which is bigger: i or -2?
i
Let q(j) = j**2 - 5*j. Let y be q(5). Let o be 10 - (2256/(-30))/(-8). Which is smaller: y or o?
y
Let i = 1.34 - 1.24. Let f be (1/8)/(2/(-4)). Which is greater: i or f?
i
Suppose -2*s - 36 = -44. Which is smaller: 9 or s?
s
Let c = -186001/125 + 1488. Is c < 1?
True
Let t = 292 + -289. Suppose -3 = -j + 4. Which is smaller: t or j?
t
Let t(y) = y**3 - 46*y**2. Let a be t(46). Which is smaller: a or 5/84?
a
Suppose 3*n - 5 = -5*u, 5*u - 8*n + 6*n + 20 = 0. Which is bigger: -4 or u?
u
Let s = -279 - -294. Is -1 greater than s?
False
Suppose -25*u = -24*u - 374. Is 374 at least as big as u?
True
Suppose 4*t - 30 = -t. Suppose t*f + 70 = f. Is f < -14?
False
Let w be ((-2)/3)/((-2)/(-33)). Let m = w - -5. Let x(j) = -7*j**2 + j + 1. Let t be x(-1). Are t and m equal?
False
Let a = -1002 - -1086. Is a > 1/3?
True
Let y be 16/72 + 16/(-18)*223. Let s be (4/155)/((y/15)/(-11)). Which is smaller: s or 0?
0
Let u = 260 + -389. Which is smaller: u or -128?
u
Suppose 0 = -j + 4*p + 132, -2*j = 3*j + 4*p - 684. Let q = j - 140. Is q less than -2?
True
Let x = -14425/6 - -66467/30. Let v = 188 + x. Which is greater: v or -6?
v
Suppose 3*d - 11 = -5. Suppose -d = -u - 1. Suppose -u = 2*z - 3. Is 1 less than z?
False
Let t be (-1)/(-2) + 207/18 + -4. Let p be (-5 + 6)/(t*-1). Let s be (0*(-1)/(-2))/2. Which is bigger: p or s?
s
Suppose -45 = -3*l - 0*l. Suppose -t + l = 3*y, -3*t + 16 = 4*y - 4. Which is bigger: 3/23 or t?
3/23
Suppose -5*q = 2*r + 12, 0 = 5*r + q - 2 + 9. Let h be ((-2)/5)/(r/5). Let v = h - 22. Is v < -19?
True
Let x = -46 - -41. Let b = 1 - -2. Let g = b + -7. Which is great