68*b = -11746. Is b less than -839?
False
Let m(b) = 3*b**2 - 8*b**2 + b**3 + 0*b**3 - 2*b + 0*b**2 + 6. Let x be m(5). Is -1/3 greater than x?
True
Let w(s) = -2*s - 22. Let i be w(-25). Let o be (12 + i)*(-2 + 38/18). Which is greater: 4 or o?
o
Let w(h) = -h + 3. Let u be w(13). Let v = u + 8. Let y be (-126)/66 + v/(-2). Is y not equal to -2?
True
Let o be (-6)/(-8) + (-21)/28. Suppose 0*x - 2*x - 18 = o. Let m be (-11 - x)/(4/(-6)). Is 4 less than m?
False
Let v(k) = -2*k**3 + 3*k**2 - 27*k + 106. Let r be v(4). Which is greater: r or -80?
-80
Let p = -133 + 662/5. Which is greater: 0 or p?
0
Let i = -21 + 26. Let r be 5/(i/(-6)) + -1. Is r bigger than -7?
False
Let y(h) = 2*h**3 + 11*h**2 + 8*h - 34. Let v be y(-8). Which is greater: v or -419?
v
Let w be ((-72)/(-15))/(6/20). Let t = w - 22. Let p be 5/(-3) - t/9. Are p and -1 unequal?
False
Suppose -b = 207 + 45. Are -252 and b equal?
True
Let m = -10 + 15. Let x be 1*(-7 - 126/(-12)). Which is bigger: m or x?
m
Let g(q) = -q + 3. Suppose 3*y - 2*j - 8 = 0, 3*y + 2*y - 12 = 4*j. Let m be g(y). Is m >= -9/7?
True
Suppose -3*t - 2*j - 1 = -j, 4*t - j + 13 = 0. Suppose 2*n + 6 - 2 = 0. Is t at least as big as n?
True
Let w be (-2*1)/((-14)/(-259)). Let f = w + 36. Is 1/19 smaller than f?
False
Suppose 0 = 2*r + 2*r. Let g(q) = 8*q**3 - 2*q**2 + 2*q - 1. Let u be g(1). Let d be u/15*(-2)/7. Which is smaller: r or d?
d
Let k(c) = -18*c - 257. Let l be k(-15). Is 9 less than l?
True
Suppose -4 = 8*j - 20. Which is greater: j or 24/17?
j
Let j = 562 + -554. Let i = -0.03 - -0.33. Let b = -0.1 + i. Is j less than b?
False
Let y = -86.3 + 86.2. Which is greater: 261 or y?
261
Suppose 1546*c - 30 = 1561*c. Let u be (-2)/(-6) - 8/(-3). Is u at least as big as c?
True
Let f(g) be the third derivative of -g**5/60 - g**4/6 - g**3/6 + 6*g**2. Let y be f(-4). Let h be 3*(y - (-4 + 8)). Is h less than -14?
True
Let h = -295 - -294. Are h and -1/39 nonequal?
True
Let v = -7 - -9. Let g = v - 2.2. Which is smaller: g or -0.02?
g
Suppose -2*t - 32 = 3*b, 2*b + 6 = -5*t + 3. Let j = 12 + b. Suppose 0 = -5*n - 0 - 5. Which is bigger: j or n?
n
Let t = 2.91 - 1.45. Let d = 0.06 - t. Is 1 >= d?
True
Suppose -6*r - 30 = -9*r. Let z be 2/r*(-80)/(-56). Is z < 0.2?
False
Let s = 4 + 3. Let m = 8 - s. Let a be ((-1)/(-3))/(161/42). Which is bigger: m or a?
m
Let t = 109 + -64. Let f = t + -37. Which is greater: f or 1/2?
f
Let f(j) = 16*j - 7. Let o be f(2). Let k = o - 28. Which is smaller: -2 or k?
k
Suppose 2*g - 2*w = 19 + 13, -5*w = -g + 16. Is g != 12?
True
Suppose -y = 2*s + 2*y - 347, 171 = s + 4*y. Let n be -2 + 2 - 10/s. Let k(l) = -l**3 + 2*l + 1. Let a be k(-1). Which is smaller: n or a?
n
Let v = -1 + -3. Let a be (0 - -3 - 4)*v. Let d be (a/(-50)*-5)/2. Are d and -1 unequal?
True
Let f = 7 + -48. Let j = f + 163/4. Is -1 smaller than j?
True
Let x be 1/(-2)*1*2. Let g be (2/(-37))/(-16 - -17). Which is smaller: x or g?
x
Let s = 51 - 35. Let c = s - 27. Let t = c - -8. Do t and -0.3 have the same value?
False
Suppose -35*u - 12 = -39*u. Let i be 2/(-3) - 16/3. Let y be 20/i*(-9)/6. Which is bigger: u or y?
y
Let r = -75 + 74. Let g be (4 + (-18)/6)*(r - 0). Are 28 and g nonequal?
True
Let c = -2 - -3. Let t = 91850/51 - 1801. Which is smaller: c or t?
t
Let j be ((-12)/15)/((-6)/30). Suppose 3*n = a - n, -j*a + 5*n = -11. Let l be (6/4)/(a/24). Which is smaller: 10 or l?
l
Let m = -16 + 33. Let w = -15 + m. Do -2 and w have different values?
True
Suppose -2*j - 55 = 3*j. Let a(l) = -l + 11. Let p be a(7). Suppose -g = p*z + 41, 3*z + 48 = 6*g - g. Is j at least as big as z?
True
Suppose 26 = -5*l + 36. Let c = 3 - -1. Suppose 14 = -3*h - c*w, h - 6*h - l*w = 0. Is 2 equal to h?
True
Let v = -5771/3 - -1946. Let a = -1306/57 + v. Let w = -115/133 - a. Are w and 0.06 nonequal?
True
Let l(o) = -3*o**2 + o - 6. Let c(z) = -7*z**2 + 2*z - 13. Let b(m) = -4*c(m) + 9*l(m). Let q be b(-3). Let i be ((-2)/q)/(1/(-2)). Is i > 2/19?
True
Let t = 9/16 + -365/656. Is 1 < t?
False
Let b = 3/55 + -713/13475. Which is bigger: 0 or b?
b
Suppose 0 = -11*v + v + 10. Let i = v - 4. Which is smaller: -1 or i?
i
Suppose 2*w = -2*w + 32. Let h be (-9 + -1)/(w + 5). Which is bigger: h or -2?
h
Let t be (-28)/(-20) + 8/(-20). Let o = -1 + t. Let i(u) = -u**2 - 1. Let h be i(0). Which is bigger: h or o?
o
Let k be 518078/233046 + 4/(-18) - 2. Which is smaller: 0 or k?
0
Let h = -36 + 36. Suppose h = 3*x + 3 - 6. Let i(s) = s**2 - 2*s + 1. Let p be i(2). Are x and p unequal?
False
Let s = 359 + -370.2. Which is greater: -1 or s?
-1
Suppose -2*f = -4*w - 32, 4*f = 2*f - w + 17. Let z = -111/11 + f. Let p(c) = c + 7. Let s be p(-6). Which is greater: z or s?
s
Suppose 0 = -5*n - 0*n + 2*q + 5, 7 = -n + 2*q. Suppose -n*m = -5*m + 6. Let v be (-134)/210 - (-2)/m. Which is bigger: v or -1?
v
Suppose -t + 2*k + k - 6 = 0, 0 = 3*t + 5*k - 10. Suppose -3*f = -t*f - 3. Which is bigger: -4/39 or f?
f
Let g = -76 - -96. Let x be g + -23 + 214/70. Let s be 0/(-1 + (-2 - -1)). Is x at most s?
False
Let z = -30 + 17. Is -16 at most z?
True
Let a(w) = 19*w - 57. Let t be a(5). Which is smaller: t or 36?
36
Let d(l) = -l**3 - 2*l**2 + 2*l + 3. Let c(q) = 3*q**3 + 5*q**2 - 6*q - 10. Let t(g) = 2*c(g) + 7*d(g). Let v be t(2). Is -19 equal to v?
True
Let m(x) = -21*x**3 - 3*x**2 - 4*x. Let b be m(3). Let l = b + 7883/13. Which is bigger: -1 or l?
l
Suppose -4*g + 4*h = 200, -h + 4*h = -3*g - 168. Let p be 8 + -5 + g/17. Let s = 4 + -4. Is p at most s?
True
Let s = 3.964 + 0.036. Are s and -30 equal?
False
Suppose i - 4 = -2*y, 2*i = i - 4*y. Let v = i - 6. Suppose v*c = 6*c + 4. Which is smaller: c or 1/11?
c
Let d = 5109 + -408733/80. Which is greater: d or -1?
d
Let l be ((-5)/((-10)/12))/(-2). Let i be l/(3 + 180/(-8)). Which is bigger: i or -2/5?
i
Suppose 3*i - 2 = -x, -2*i = x - 5 + 2. Let v = -1898 + 13316/7. Is x less than or equal to v?
False
Let i = -3337/7 + 483. Let m(g) = -2*g - 12. Let f be m(-9). Is i greater than f?
True
Let c = 35.4 - 33.4. Is c at most -46.2?
False
Let u(h) = 26*h + 71. Let c be u(-11). Is -215 at most as big as c?
True
Let k = -1044 + 1237. Do k and 192 have the same value?
False
Suppose 2*r + 22 = -2*h, 79 = -2*r - 3*r + h. Let o = -107 - -123. Suppose i = m + o, 2*m = -4*i + 2*i - 32. Which is bigger: m or r?
r
Let r = -71.9 + 85. Let m = -0.252 - -13.252. Let u = r - m. Which is bigger: 2/5 or u?
2/5
Let w = 101 + -61. Let o = -35 + w. Is 0.2 <= o?
True
Let j be (-11)/(-330)*1/(2/(-128)). Which is smaller: -2 or j?
j
Suppose 0 = k + 2*k - 9. Suppose -4*g + g - k = 0. Is g less than 8?
True
Let y = -753 + -29. Which is smaller: 1/3 or y?
y
Let t(m) be the first derivative of -m**3/3 - 11*m**2/2 - 8*m + 9. Let x be t(-7). Let a = x - 20. Which is smaller: -1/4 or a?
-1/4
Let q = -1.122 + 0.122. Let h be 52/(-8) - -4 - -4. Which is greater: q or h?
h
Let r(f) = -f - 3. Let j be r(-2). Let p = -1271 + 1252. Is p greater than j?
False
Let v = -0.205 + -0.795. Which is greater: 1/203 or v?
1/203
Suppose -h + 5*h + 4*l = -16, -2*l = 3*h + 8. Suppose u - 2 = h, 2*o = 3*u - 12 - 16. Let s = -11 - o. Are 2/7 and s equal?
False
Let g be (-20 + 11)*(-4)/6. Let y be (-2)/16*(-24)/g. Is y less than -14?
False
Suppose 4*o = -4*b - 28, -2*o - 18 = -0*o + 3*b. Let i be (1/o)/(3/(-54)). Let l(h) = h**2 - 10*h + 13. Let q be l(i). Which is smaller: -19/2 or q?
q
Let i be 6/(1*-3) - -1. Suppose 4*n + 0*n = 204. Let m be 48/n + (-3 - -2). Is i <= m?
True
Let u = 19 - 19.02. Let y = -0.28 + u. Which is greater: -30 or y?
y
Let i = -3.1 - -1.8. Let r = 6.16 - 4.9. Let w = r + i. Which is bigger: 1 or w?
1
Suppose -96*s = -99*s, 2*s = -3*j - 210. Is -71 at most as big as j?
True
Let r = -29 + 25. Let v = r + 14. Which is smaller: v or 31/3?
v
Let g = 0.834 - 16.868. Let t = g + 0.034. Is 3/2 != t?
True
Let y = 245 + -284. Is -39 greater than y?
False
Suppose z = 2*z - 2. Suppose 0*f + 1 = 5*x - f, 0 = -x - z*f + 9. Let a be -3 + 10/(-5) - 111/(-24). Which is smaller: x or a?
a
Suppose 5*y = 4*s, -y + s = 2*s. Which is greater: 22 or y?
22
Let i(l) = 4*l - 3. Let p be i(2). Suppose p*q = q. Let k = 453/140 + -39/20. Is k >= q?
True
Let m(j) = 19*j + 117. Let n be m(-5). Which is greater: 11 or n?
n
Let d = 22 - 21.9. Which is