r equal to m?
False
Let o = 5 - 11/3. Is o >= 0?
True
Let s = 17.44 - 3.34. Let a = s + -14. Which is smaller: 11 or a?
a
Let a(m) be the first derivative of -m**4/4 + 11*m**3/3 - m**2/2 + 4*m - 4. Let u be a(11). Let t = u + 9. Is t > 2?
False
Let v = 45 + -35. Is 11 > v?
True
Let t(d) = -d**3 + 7*d**2 + 2*d - 12. Let q be t(7). Is q bigger than 3?
False
Suppose -f + 5*f - 32 = 0. Suppose -2*k + b + 1 = 0, k - 4*b - 3 = f. Which is greater: 0 or k?
0
Let p = -1.8 - -8.8. Which is greater: p or -4?
p
Let n = -12 - -11. Is 2/37 bigger than n?
True
Let m = 72 - 57. Which is bigger: 72/5 or m?
m
Suppose 2*t + 27 = -5*z, -z - 6 = -0*t + t. Is 2 less than t?
False
Suppose 9*q = 13*q. Let v be 2*((-1)/13 - 0). Which is smaller: q or v?
v
Suppose r + 5*g + 13 = -0*r, r + 7 = -3*g. Let d = 22 - 21. Is r != d?
True
Let w = -1 + -3. Let f = w + 5. Suppose -z = -4*d + 18, 2*z + 10 = -3*z + 4*d. Which is smaller: z or f?
f
Let z = -6.8 + 0.8. Let b = z + 14. Is -1/3 smaller than b?
True
Let l be (18 - 2)/(12 - 1). Is 0 > l?
False
Let t = 1.94 + 0.06. Let x = 6.81 + 0.19. Let b = t - x. Which is greater: 0.1 or b?
0.1
Let m = 75 - 107. Let l = m - -4. Let y be 2*(-2)/l*6. Which is smaller: y or 1?
y
Let t be (-2)/(-6) + 22/(-3). Let i(j) = -j**2 - 6*j + 6. Let a be i(t). Let s be ((-1)/(-3))/((-12)/8). Which is smaller: s or a?
a
Let w = -10 - -13. Let m(v) = v**2 + 7*v + 8. Let j be m(-6). Which is smaller: j or w?
j
Let m be 2 - (3 + 141/(-1)). Let c be (-17)/7 + (-80)/m. Is c equal to -4?
False
Let v = 51 + -51. Which is smaller: 1/5 or v?
v
Let s be ((-6)/8)/(4/(-176)). Let r be (s/22)/(3/14). Is 6 greater than r?
False
Let p = 0.6 + -0.1. Let g = -0.86 + 0.46. Let f = p + g. Is f greater than 1/2?
False
Let s = -82.07 + 82. Do -3 and s have the same value?
False
Let b = -14 - -6. Suppose 5*t + 53 = o + 3*o, -5*t = 25. Let f = o + b. Do f and 1 have the same value?
False
Let a be (-6)/(-27)*-1*(4 - -110). Which is greater: a or -25?
-25
Suppose 0 = -4*g + 3*q + 2*q + 10, 0 = -3*g - 2*q + 19. Suppose 0 = -2*x + g*x - 5*v + 4, -4*x + 2*v = 10. Is -2 greater than or equal to x?
True
Let i be 4/1 + -2 + -2. Suppose -15 = -3*r - i. Is 5 <= r?
True
Suppose -3*y - 5 = -4*c - 0*c, -4 = -4*c + 4*y. Which is smaller: c or 5?
c
Let j(x) = x**2 - 2*x + 1. Let h = 5 + -3. Suppose -4 = -2*u - h. Let t be j(u). Is -2/11 bigger than t?
False
Let p = 515 + -350. Let v be (6/p)/((-2)/(-10)). Which is greater: 0 or v?
v
Suppose -3 = -f, 3*x + 0 - 63 = -f. Let c be 19*(0 + 0 + 1). Which is bigger: x or c?
x
Let m = 10 - 8. Suppose -z - 19 = -4*z + 4*j, -m*j = 8. Is 4/5 <= z?
True
Let y = 0.18 - 0.05. Let z = y - 0.1. Let c = z - 0.23. Which is greater: 0.2 or c?
0.2
Suppose 60 = 2*j + j. Let v = j + -125. Let l be (321/v - -3)*5. Which is greater: l or 0?
0
Suppose -5 = -2*k + 3. Suppose 0 = -0*h - k*h + 4. Which is smaller: h or 4?
h
Let v(x) = -x**3 - 2*x**2 + 2*x - 2. Let u be v(-3). Is 2/9 less than u?
True
Suppose -q + 2*q + 2*m = -2, 4*q + 5*m + 8 = 0. Let b be 2/(-1 - (q + 2)). Let j = b + 2. Which is smaller: 2/13 or j?
j
Suppose 0 = 5*o - 2*n - 2 - 9, 2*n + 5 = 3*o. Suppose 7*p + 2*p - 18 = 0. Suppose -7 = -p*a - o. Is a smaller than 4?
True
Suppose 8 = j + 3*j. Let g be 2 + -5 + j + 4. Let a be g/(-3)*(12 - 4). Is a < -8?
False
Suppose 0 = -5*q - 3*o + 15, -2*o - 2*o + 20 = 0. Is 3/44 >= q?
True
Let q be 308/(-90) + 20/90. Is q > -4?
True
Let o be 4/10 - 572/55. Which is greater: o or -11?
o
Suppose -4*q - 3*s = -0*s - 33, 4*q - s = 21. Let j be ((-8)/(-6))/((-10)/q). Is 0 <= j?
False
Let g = -2467 - -160351/65. Is 1 < g?
False
Let n = 2/157 - 167/785. Let i = -1.97 - -2. Which is bigger: n or i?
i
Let z = 17 - 15. Suppose z*f = 4*k + 34, 3*k - 18 = -4*f + k. Is f less than 7?
False
Let s = 200 + -2213/11. Which is greater: 0 or s?
0
Let j(i) = i**2 + i - 19. Let d be j(-5). Which is bigger: d or 1/2?
d
Suppose 0 = -3*d - b + 9, 0 = -4*d + 3*b + 14 - 2. Suppose 0*h - 2*h + q + 4 = 0, -3*h = -d*q. Suppose 2*f = k, f - 3*k = -h - 1. Is f less than 1?
False
Let r(k) = -k**3 - k**2 + k + 1. Let q be r(-2). Suppose w + 4*l - 13 = -q, -34 = 5*w - l. Is -5 > w?
True
Let n = -15 - -45. Which is smaller: 31 or n?
n
Suppose -p - p + 6 = -g, 0 = 5*p - 2*g - 15. Let z(k) = -4*k + 1. Let t be z(-1). Suppose -t*v = -p*x + 15, 2*v - 2*x = 2*x - 20. Is v at least 0?
True
Let s = 0.059 - 0.469. Which is smaller: s or -0.1?
s
Let n(c) = 5*c**2 + c - 4. Let l be n(2). Do 33/2 and l have the same value?
False
Suppose 4*w + 2*g - 12 = 0, 0 = 3*w - 3*g + 9. Is w at least 2/69?
True
Let o = -1.14 + 0.54. Which is greater: o or 1?
1
Let u = 0.1 - -1.9. Is u < -1?
False
Let f be (-11)/(-2) - 5/10. Let q be 28/5 - (-2)/f. Suppose l = q*l. Is -1/3 < l?
True
Let m(b) = 25*b + 21. Let f be m(-2). Which is greater: -121/4 or f?
f
Let v be ((-3)/1)/(2 + -7). Suppose -3*l - a + 4 = 0, 2*l + 6 = a - 6*a. Which is greater: l or v?
l
Let g = 0.4 + 3.6. Let b = -0.02 + 1.42. Let h = 0.4 - b. Are h and g unequal?
True
Suppose -4*j = j + 30. Let u = 7 + j. Are -0.05 and u non-equal?
True
Let g(l) = -l**2 + 4*l + 2. Let j be g(3). Suppose n - j*n = -4. Let b be ((-2)/(-12))/((-1)/(-3)). Is n at least b?
True
Let m(y) = -y**3 - 4*y**2 + 4*y + 1. Let g be m(-5). Suppose 0 = -2*v - v + g. Suppose 3*u - 4 = 4*x, -v*x = u + 4*u + 28. Does x = -4?
True
Suppose n = 1, 0*t - 2*t + 2*n - 78 = 0. Which is smaller: t or -37?
t
Let s = -3 - -4. Let u = -25 - -20.6. Let y = u - 0.6. Are y and s nonequal?
True
Let l = -4/13991 + -7317265/97937. Let f = -75 - l. Let g = 1 - 1.2. Is f > g?
False
Let r = 0.5 - 0.53. Let d = -80 - -80. Which is greater: d or r?
d
Let u be 6 + 2/(-4)*6. Suppose -5*m = 3*x - 13, -3*m + 0*x + 9 = 3*x. Which is bigger: m or u?
u
Let t = 17/12 - 35/4. Which is greater: -6 or t?
-6
Let d(b) = -b - 4. Let f be d(6). Is f > -9?
False
Let v be (-1)/110*4*-15. Do v and 1/4 have different values?
True
Let z = -1 - -4. Let q(d) = 3*d**z - 7 - 6*d**3 - 7*d**2 + 2*d**3 - d. Let c be q(-7). Which is smaller: c or -2?
-2
Suppose 0*y - 7*y + 224 = 0. Is 30 at most as big as y?
True
Suppose 5 - 1 = -l. Is l greater than -1?
False
Let p = -0.21 + -2.79. Which is smaller: -2/5 or p?
p
Let a(f) = 2*f - 11. Suppose 2*x = 5*y + 41, 0 = y - 5 + 10. Let s be a(x). Suppose k - 4*v + 9 = -v, -5*k + 15 = s*v. Are k and 1 nonequal?
True
Let b = -14 + 6. Let c = 4 + b. Let s be (-3)/(-6) - 6/c. Do s and 4 have different values?
True
Let j = -6 - -1. Which is smaller: j or -3/4?
j
Let a be 2/6 + (-3)/9. Suppose 0 = o + 3 - 1. Let l be 2/(-4) - o/(-4). Is a greater than or equal to l?
True
Suppose 4*o = 6*o - 4*c + 32, -15 = -5*c. Do o and -14 have the same value?
False
Suppose 2*i = -i + 45. Which is smaller: i or -1?
-1
Let m = 0.01 + -0.08. Let h = m + 0.08. Which is smaller: 0 or h?
0
Let q be 146/(-37) - (14 - 18). Which is greater: q or 1?
1
Let o = 2 - 2. Suppose o = -2*c + c. Let i = 1.3 + -1.1. Which is bigger: c or i?
i
Let m = 872/11 - 79. Which is bigger: m or -1?
m
Let i = -6 - -9. Suppose -i*j + 38 = 11. Are j and 10 unequal?
True
Let y(g) = -g**3 - 7*g**2 + g + 8. Let o(v) = -5*v. Let j be o(-1). Suppose 0 = -j*s - 35. Let m be y(s). Which is smaller: -1 or m?
-1
Let s = 40 + -32. Which is greater: s or 5?
s
Let c = -25 - -21. Let u be 1/4 + (-3)/12. Let v = u + -5. Is c at most v?
False
Let j = 122 - 123. Which is smaller: 1/112 or j?
j
Let c = -2.6 - -1.6. Is -0.14 greater than or equal to c?
True
Let c(h) = -h**2 + 2*h + 1. Let o be c(2). Let s(l) = -l**3 - 3*l**2 - l - 4. Let n be s(-3). Is o less than or equal to n?
False
Let n be 0 + (-1)/(-6) + 0. Let x = -6 + 6.7. Let g = -0.6 + x. Which is smaller: g or n?
g
Let b = 5.3 + -26.3. Let t = b + 21.02. Which is smaller: -0.1 or t?
-0.1
Suppose -2*p + 2 - 34 = 0. Let j be (6/4)/((-40)/p). Is j less than 0?
False
Let a = -156 + 157.91. Let s = a - 2. Let h = -0.31 + s. Which is smaller: h or 0.1?
h
Suppose 2*c - y = 4*c, -c = -2*y + 10. Which is smaller: c or -1?
c
Let v = -0.06 + -1.94. Let q = v - -3. Let r = q - 1. Which is greater: r or 1/6?
1/6
Let u = -10 - -12. Let n = -0.01 + 2.01. Are u and n non-equal?
False
Let f be (-22)/(-55) + 4/(-5). Let x = -17/4 + 4. Which is smaller: f or x?
f
Suppose 5 = -2*b + 9. Suppose -5*k - 3*g - 19 = -7