d -2/11 have different values?
True
Suppose 0 = -2*h + 4*r - 5*r + 14, 5*r - 15 = h. Suppose -3*l + 12 = 3*w - 2*w, -h*l + 15 = 0. Let i = 4 - w. Is -1/4 bigger than i?
False
Let z = -1667 + 51683/31. Which is bigger: z or 0?
z
Suppose f = -2*f - 108. Let q be 30/f + (-1)/6. Which is smaller: q or -2?
-2
Let c(v) be the third derivative of -v**4/24 + v**3/3 - v**2. Let d be c(-2). Let q = d + -5. Is q bigger than 2/5?
False
Suppose 0 = -p + 3. Suppose 4*z - h + 11 = 0, z + 5 = -2*h + p*h. Let n = 1 - 3. Is z not equal to n?
False
Let g = -65 + 61.9. Let i = 0.1 + g. Which is smaller: 2 or i?
i
Let p = 205 - 3281/16. Let a be (18 + -14)/(0 + 4). Which is smaller: p or a?
p
Let i = 14.9 - 15.1. Which is bigger: -0.46 or i?
i
Let f(t) be the third derivative of t**4/24 - t**3/3 + t**2. Let l be f(3). Suppose 5 = 3*b - 4. Which is smaller: l or b?
l
Let y = -0.99 - -0.99. Is y != -21/8?
True
Let f = 4 + -11. Let s = -12 - f. Let y = 5 + s. Is 2 at least as big as y?
True
Let z = -50 - -28. Let d = 43/2 + z. Is d smaller than -2?
False
Let b be ((-22)/14 - -2)*2. Suppose -3*j = 10 - 16. Suppose -j*y + 24 = -5*c, -2*y - 2 = 2*c + 2. Is y bigger than b?
True
Suppose 5 = -3*v - 5*d - 0, 3*v = 5*d + 35. Suppose -w = -v*w. Suppose -3*m - 2*m + 20 = w. Is 2 smaller than m?
True
Let u be 0/(4 + -2) - 2. Let b be (1/1)/(u/(-2)). Let j = 883/5 + -176. Is b >= j?
True
Let d = 66 - 66. Which is smaller: -1/32 or d?
-1/32
Suppose 4*p = -0*p + 4. Let j(l) = 3 - p - 1 - l**2. Let o be j(0). Is o <= 1?
True
Let c = 0.94 - 0.04. Is c <= -8?
False
Let u = -1.1 - -0.6. Let b = u + 0.4. Is -5 >= b?
False
Let n = -8/23 + 118/207. Is -27/7 not equal to n?
True
Let x be 11/(-4)*-4*1. Let y = 12 - x. Let j be 5/(-7)*(-4)/(-10). Are j and y equal?
False
Let l be ((-10)/(-6))/((-2)/(-6)). Suppose l*d - 25 = 5*f, 2*f + 12 = 4*d - 2. Which is smaller: -1 or d?
-1
Suppose -3*o = -c - 7, -16 = -5*c - 4*o + 6. Let n be 12/(-5) - (-1 - c). Are 0 and n non-equal?
True
Let z = -2/805 - 1592/7245. Let y = 11/45 - 4/9. Do y and z have different values?
True
Let o(i) = i**3 + 4*i**2 - i. Let s(j) = j**3 + j - 1. Let q(v) = -o(v) + 2*s(v). Let d be q(3). Do d and -2 have different values?
False
Let f = 41 - 45.1. Let u = 7 - 3. Let o = f + u. Which is smaller: o or -1/2?
-1/2
Let s be (-2 - (1 + (0 - 0))) + 2. Does s = 0?
False
Let b = -0.5 + 2.5. Let i = -1 + b. Let n = -236/3 + 80. Which is greater: i or n?
n
Suppose 3*m + 12 = -0. Which is greater: m or 1?
1
Let o = 5.4 + -7. Let b = 1.6 + o. Is b != -3?
True
Suppose 2*a + 2 = -4*q, 4*a - 4*q + 16 = -0*q. Is -3 greater than a?
False
Let t be 3/(-4) + 26/24. Let d be 0 + (-2 - -2) + 2. Is d < t?
False
Let f be 0 + 4/(-4) + 0. Suppose 1 = -4*t + 5. Is f at most t?
True
Suppose -a - 4*a + 5 = 0. Is a greater than 1?
False
Let r = 0.37 - 0.17. Which is smaller: r or -1/3?
-1/3
Suppose -96 = -5*d + 2*d. Suppose 5*i = -3*r + 5*r - 16, 0 = 4*r + 4*i - d. Which is bigger: -1 or r?
r
Let u = 1141 - 14815/13. Is 2 at most as big as u?
False
Let o = 199/1947 + -2/177. Is o at least as big as 1?
False
Suppose 3*v + 2*a - 6 = 5*v, -2 = -a. Is 2/5 at most v?
False
Let q be -2 + (-70)/(-18) - 3. Is q greater than 0?
False
Let n(g) = g - 4. Let c be n(0). Let r(t) = -2*t**2 + 6*t + 1. Let z be r(c). Let m be z/(-19) - (-1 - -4). Is m < 1?
True
Let r(k) = -2*k - 3. Let i be r(-3). Suppose -i - 2 = -5*b. Suppose 3*p - b = -4. Are p and -1 nonequal?
False
Let x = 40 - 70. Let o be (0 - -1) + x/21. Which is bigger: -1 or o?
o
Let y = -5 - -12. Which is bigger: y or 8?
8
Let q = 77/2 - 38. Which is smaller: q or 1?
q
Let j be (0 - 2)*(-1)/(-2). Let l(f) = 6*f + 3. Let p be l(j). Is -5 less than or equal to p?
True
Let v = -11.6 + 12. Is v < 1?
True
Suppose 2 - 4 = t + 2*y, 3*y = 4*t - 36. Is 5 < t?
True
Let g(t) = 13*t. Let b be g(1). Let c = -7 + b. Let a be ((-9)/(-21))/(c/4). Do 2/7 and a have the same value?
True
Let b(o) = 0*o**2 - 3*o + 4*o + o**2 - 3. Let s be b(-3). Is s smaller than 5?
True
Let s(i) = -i**2 + 2 - 8 + 10 - 3*i. Let z be s(-4). Which is smaller: z or 8/7?
z
Let n(f) = 3*f + 6. Let c(p) = -p - 1. Let r(x) = -4*c(x) - n(x). Let m be r(3). Is m smaller than 1?
False
Let a = 12 + -10. Is a at most 2?
True
Let c = 11 - 9. Suppose c*q - 4*j = 6, -q - j = -0*j - 9. Which is greater: q or 6?
q
Let k = -0.2 + 0.2. Let m = -4 + 8. Which is greater: m or k?
m
Let m be 2/9 - 14/(-18). Let g = -10812/23 - -470. Which is greater: g or m?
m
Let c = -4.01 + 0.01. Is 5 bigger than c?
True
Suppose 28 = 7*l - 5*l. Is 15 greater than l?
True
Let g = 87 - 91. Which is bigger: g or 0?
0
Let v = 311 - 922/3. Is v less than 5?
True
Let q(m) = 19*m**2 - 4*m + 4. Let p be q(1). Is 17 at most as big as p?
True
Let v(i) = -5*i**2 + i + 2. Let b be v(4). Let h be (-4)/(-14) + b/112. Which is smaller: 0 or h?
h
Let d = 0.7 + -0.3. Let o = 0.4 - d. Are -0.2 and o nonequal?
True
Let t(i) be the second derivative of i**4/12 - 2*i**3/3 + 2*i**2 + 2*i. Let l be t(4). Suppose -l*x = x. Which is smaller: -4/3 or x?
-4/3
Suppose -5*a = -22 - 18. Let s = 0 - a. Is -7 greater than s?
True
Let z = 22 + -16. Suppose z*w - 2*w = 0. Suppose 4*o + w*o = 0. Is o greater than 1/7?
False
Suppose -h + 23 = 4*o, -3*o = -o + 5*h + 11. Let w = -4 + o. Suppose -z = -w*z - 4. Is z < 1?
True
Let b be (-4)/((-8)/6) + -3. Let v be (b/(-1)*-1)/2. Is v at least as big as 2?
False
Let w = -103/66 + 2/33. Which is smaller: w or -3?
-3
Let m = 0.927 + -0.027. Is m at least 0.1?
True
Let n = 3 + -2. Let d be (-4)/6 - 1/(-3). Which is smaller: n or d?
d
Let r = 3045041/25018 + 1/3574. Let n = 122 - r. Let w = 45 - 46. Are w and n equal?
False
Suppose 0*z + 6 = -2*z, -4*r - 1 = -z. Which is greater: -2/3 or r?
-2/3
Let t = 0.07 - 0.17. Let s = -2.9 + t. Are s and 0.2 nonequal?
True
Let m = -33 - -34. Let x = 1 + 1. Is x at most as big as m?
False
Let p be (-3)/(-4)*(-5 + 1). Is -4 less than p?
True
Let h = -4 + 3. Let l = 2 + h. Suppose 2*w - 6*w = -j - 8, 3*w - 3*j - 6 = 0. Which is greater: w or l?
w
Suppose 3*y = -2 + 20. Is y at least as big as 4?
True
Let l(u) = -u**2 + 20. Let p be l(0). Is p at least as big as 19?
True
Suppose -9 = -4*n - 1. Let i(g) = -2*g + 3. Let u be i(n). Which is smaller: -4/3 or u?
-4/3
Let m = 1 + 6. Let k(g) = g**3 - g**2 + g + 5. Let u be k(0). Suppose 3*r - 3*d = 21, -6 = u*r + 4*d - 32. Does r = m?
False
Let b = -21 + 17. Let w be b/6*(-24)/(-16). Which is greater: 1 or w?
1
Suppose 5*p - s = 70, 3*p - 2*s = 25 + 10. Are p and 68/5 equal?
False
Let f = 0.2 - 0.2. Let g = f + 1. Which is greater: -4/7 or g?
g
Suppose 2*x + 2*w + 3*w - 8 = 0, 0 = -5*w + 20. Let g(v) = 2*v**2 - 2 - 7*v**2 + 2*v + 3. Let c be g(-1). Is c greater than or equal to x?
True
Let y = -71 - -71. Which is bigger: y or -4/19?
y
Let a be 1 - 5/((-15)/6). Suppose 0 = -3*j - 2*j + 40. Suppose 3*z = 3*x - 5 - 4, -j = -5*x - 2*z. Is a > x?
True
Let v = -12.1 + 11.8. Which is greater: -26 or v?
v
Suppose 3*w = -2*f + 13, -3*w + 5 = f - 6. Suppose -3*r = -r + l + 6, 2*r + f*l + 8 = 0. Are r and -3 equal?
False
Let x = -45 + -6. Is x less than -50?
True
Suppose 2*o + 525 = 7*o. Let z be (4/(-10))/(7/o). Which is smaller: -7 or z?
-7
Let j = 7.9 - 6.9. Are j and 1 equal?
True
Let w = 127 + -128. Let d = 69 - 279/4. Which is smaller: w or d?
w
Suppose -2*m + 40 = -4*m + 2*i, -15 = -5*i. Let n be 1/m*(-9 - -3). Let p = n - 53/102. Is p greater than or equal to 0?
False
Let v(g) = -g**2 - g + 1. Let y be v(1). Suppose 3*x + o + 15 = -2*o, 4*x + 6 = 3*o. Is x > y?
False
Let d = -65 + 69. Which is smaller: 0 or d?
0
Let n = -15 + 16. Is 5 smaller than n?
False
Suppose 5*l - 5 = 5. Let i be -2 + 2 - (2 - l). Is 3 bigger than i?
True
Let z(q) = q**3 + 5*q**2 - 8*q - 9. Let x be z(-6). Let g = 0.3 + 0.7. Which is bigger: g or x?
x
Let r = 8 - -1. Suppose 4*f = 5*a - 39, -a = r*f - 4*f + 27. Is -8 greater than f?
False
Let y be 446/(-26) + 4/26. Are y and -1 nonequal?
True
Let m(c) = c**3 + 3*c**2 - 6*c - 8. Let q be m(-4). Let l = 2 + -3. Which is smaller: q or l?
l
Let a = -32 + 33. Let h = -3 - -4. Let k = -2 + h. Which is smaller: k or a?
k
Let s = 6.4 - 0.5. Let v = 5 - s. Does v = -1/4?
False
Let j = 1 + 3. Let d = -3 + j. Is d greater than 1/11?
True
Let n = 38 - 19. Suppose -5*s = -p - 3*p +