
False
Suppose 0 = -3*v - 2*p - 2, 5*v + 4*p + 2 = 0. Let m be 16/96 + v/12. Which is smaller: 2/35 or m?
m
Let z(t) = -t**3 + 3*t**2 + t. Let h be z(3). Suppose o + d + 5 = -h*d, -3*o + 1 = -4*d. Do o and -2/9 have the same value?
False
Suppose -r = 3*x - 0*x - 23, -4*x - 2*r + 34 = 0. Let u(l) = 3*l**2 + l - x + l**3 + 2 + 4*l - 2*l**3. Let s be u(4). Which is smaller: s or 1?
s
Let q = -27.74 + 28. Which is smaller: -1/3 or q?
-1/3
Let r = 0.13 + 0.57. Let d = r - 0.5. Let v = d - 0.2. Is -1/5 > v?
False
Let k(u) = -3*u**2 - 2*u + 2. Let m be k(-2). Are -1/3 and m equal?
False
Let u = -1399/4630 + 1/463. Which is smaller: 1 or u?
u
Suppose -31 = -2*g + 5*f - 10, 105 = 5*g + 5*f. Is g != 19?
True
Suppose g + g - 5*k - 20 = 0, g = -5*k - 20. Which is smaller: -3/25 or g?
-3/25
Suppose -s + 3 = 4*i - 5, 5 = 3*i + s. Suppose -2*q - 5*p = 2*q + 79, 0 = i*q + p + 51. Let j be 4/18 - q/36. Is 0 >= j?
False
Let q be (-3)/5 - (-14)/(-35). Let w be (-4)/(-22) + (-6261)/132. Let y = w - -47. Is y > q?
True
Let y = 8 + -8. Suppose y + 3 = 3*v. Is -7/5 smaller than v?
True
Let m = 42 + -46. Let r = 1 - 3. Which is smaller: m or r?
m
Let z = 8 + 0. Let b = z + -5. Let y = -4 + b. Which is greater: 0.1 or y?
0.1
Let b = 57.94 + -62. Let h = 4 + b. Is h greater than 0.1?
False
Let s be (-4)/((-752)/750) + (-20)/5. Is s < 1?
True
Let k = 14 - 12.9. Let v = -0.11 + 0.01. Let m = v + k. Which is greater: m or 0?
m
Let b be 2/4*(-2 + 2). Let x be 0 + 4/6 - 1. Is x > b?
False
Let k be (1 - 0) + (-6176)/6112. Is k not equal to 0?
True
Suppose -x = -8*x. Which is greater: x or -2/11?
x
Let d be (-2 - 5)/(-1)*-1. Let q = d - -3. Which is greater: -2/7 or q?
-2/7
Let a = -1/13 + 24/143. Suppose -3*m - 2*h - 3*h = 0, -5*m = 3*h. Is a at least as big as m?
True
Let r = -0.5 + -0.9. Let b = r + 1.3. Which is smaller: b or -1/2?
-1/2
Let v = 6/7 - 5/14. Are -1 and v unequal?
True
Suppose 8*q = 4*q. Which is smaller: q or -0.09?
-0.09
Let w = -2 + 4. Let h = -13 + -19. Let i be (-16)/(-12)*(-30)/h. Is i smaller than w?
True
Suppose 1 + 15 = -4*t - 2*g, -5*g + 26 = -t. Let u be -2*3/t*5. Let r = 2 - u. Is -3 smaller than r?
False
Let p be (2/3)/(-1 + (-22)/(-15)). Are 0 and p equal?
False
Let k = 1/12 + -29/60. Let g be (-5)/(-4) - (-1)/(-4). Let p = g + 1. Is p != k?
True
Suppose -5*r = -0*r + 135. Let b be 1 - 4/((-96)/r). Let d be (3 - 7 - -3)*-1. Are b and d equal?
False
Let t be -1 - -2 - 50/42. Is t equal to 1?
False
Let m(q) = q**3 - 7*q**2 + 7*q - 5. Let f = 0 + 6. Let y be m(f). Let g be -1 - 0 - (-1 + y). Is 2/5 equal to g?
False
Let g(v) be the first derivative of -v**4/4 - 7*v**3/3 - 5*v**2/2 + 5*v + 1. Suppose h - 5*h - 24 = 0. Let b be g(h). Is b >= 1/4?
False
Let f(k) = k**2 - 8*k + 10. Let s(u) = u**3 + u**2 + u + 7. Let w be s(0). Let c be f(w). Let z = 2 - c. Is -1/2 less than or equal to z?
False
Let u = -1 + 1.4. Let l = u + 0. Let m = -0.2 + l. Which is bigger: m or -0.2?
m
Let w be 2/(2 - 2 - -2). Which is bigger: 0 or w?
w
Let j(z) = z**2 - 3*z + 3. Let g be j(3). Suppose 2*m + y = -8, -g*y = -8*m + 3*m + 2. Let t be (-2 - -1) + (-2 - m). Which is smaller: t or 0?
t
Suppose 7*k + 10 = -32. Let j = 2 + -9. Which is greater: k or j?
k
Suppose 3 = -i + 2. Let r = -4/11 + 9/55. Is r smaller than i?
False
Let i = 71/3 + -337/15. Is i <= 1?
False
Let l be 14/(-6)*(-1)/1. Let s = 0.9 - 1. Do l and s have different values?
True
Let r be (0/(0 - -1))/(-2). Let q = 9 + -10. Is r not equal to q?
True
Let v = 3 - 3.1. Let f = 4.4 + -4. Let p = f + -0.3. Which is smaller: v or p?
v
Suppose 0 = 5*k - 3*f - 77, f + f = 5*k - 78. Which is bigger: k or 15?
k
Let v = -32/3 + 10. Let u = 2 - -1. Which is smaller: u or v?
v
Let y = 11 + -13. Suppose -2*u - 1 - 3 = 0. Is u less than y?
False
Let i be (7 + -8)/((-5)/122). Let a(t) = 4*t - 4. Let d be a(-5). Let w = d + i. Is 0.1 greater than w?
False
Let t = -101 + 99. Is t >= -4/5?
False
Let n = -60.1 - -60. Which is bigger: -10/11 or n?
n
Let s be (-24)/(-270) + (-2)/10. Which is smaller: s or -1?
-1
Let b(p) = -p. Let h = 2 - 3. Let n(y) = -7*y + 1. Let r(v) = h*n(v) + 6*b(v). Let x be r(1). Does x = 0?
True
Let u = -45 + 39. Is u equal to 1?
False
Let l(q) = q**3 - 7*q**2 - q + 7. Let r be l(7). Does r = 1/8?
False
Let j be (6/4 + -2)*-8. Let z be 45/20 + (-1)/j. Suppose 0 = 3*o - 2 - 1. Are o and z equal?
False
Let b be 4/(4/17) - 1. Is 16 greater than b?
False
Let q be 115/(-15) - (4/3 - 2). Which is bigger: q or -25/3?
q
Let r = -3 + 0. Let c(g) = -5*g + 9. Let y be c(2). Are y and r nonequal?
True
Let c = 3 - -2. Suppose c*x = 3*x. Is x less than -1?
False
Suppose 5 = -i + a, 2*a + 29 = -3*i + 4. Suppose -5*t - 39 = -9. Which is greater: t or i?
t
Suppose -z + 0*z = s - 18, -27 = -2*s + z. Let t be (-3)/s*15/2. Which is bigger: t or -3?
t
Let q = 0.3 + -0.2. Let k = 1.7 - -1.3. Which is smaller: k or q?
q
Suppose 10 = -0*i + i. Let j = 0.09 + -2.09. Which is bigger: j or i?
i
Let s = 39 + -30. Are s and 9 equal?
True
Let r(b) = -b - 5. Let a be r(8). Which is smaller: a or -14?
-14
Let m be 21/15 + 8/(-20). Is 3 > m?
True
Let n be 3/(-2) + (-2)/4. Let t = n + 2. Let d(p) = -p - 7. Let s be d(-6). Is t smaller than s?
False
Let l = 69 - 480/7. Is 1 less than l?
False
Let z = 2/89 - 93/178. Is z > -3?
True
Let y = -18 + 18. Which is greater: y or 2/11?
2/11
Let m = 62 - 63. Is m at least as big as -28?
True
Suppose 4*h + 15 = 7*h. Let w be 2 - h*4/10. Let t = -19/2 - -41/4. Is t < w?
False
Let y = 211 + -207. Let z = 15 + -11. Suppose 3*c - z*c - 2*l = -5, 0 = 3*c - 2*l - 15. Does c = y?
False
Suppose -t + 2 - 1 = 0. Is t greater than or equal to 0.3?
True
Let a(r) be the third derivative of r**5/60 - r**4/24 + r**3/6 - 2*r**2. Let f be a(1). Let v be (3/15)/(6/(-10)). Which is smaller: v or f?
v
Let q(m) = -2*m**3 + 17*m**2 + 10*m - 2. Let n be (18/2)/(-4 - -5). Let a be q(n). Is 7 at most as big as a?
True
Let b be -2*(0 - -1) - 6. Let h be 1/(-4) + (-82)/b. Suppose -3*w + h = -8*w. Which is bigger: w or -1?
-1
Suppose -2*n + 58 = -z + 4*z, -5*n - 80 = -5*z. Is 33/2 smaller than z?
True
Let v(j) = -j**3 - 5*j**2 + 2*j + 4. Let p be v(-5). Is p != -8?
True
Let g = 18 - 0. Suppose -4*q + q + g = 0. Let p = 14 + -8. Does p = q?
True
Suppose 30 = -4*d - d. Let u(q) = -q + 1. Let i(w) = -w. Let h(c) = -5*i(c) + 4*u(c). Let t be h(d). Which is bigger: t or -3/2?
-3/2
Let p = -8 + 6. Let l be p*-3*(-2)/12. Are l and -3/10 non-equal?
True
Let s = 164 - 89. Let i = s - 223/3. Let a = -27 - -28. Which is smaller: i or a?
i
Let u = -15 - -15. Suppose 5*b + 4 + 71 = u. Which is smaller: -14 or b?
b
Let n(k) = 22*k**3 - 1. Let x be n(1). Which is greater: 20 or x?
x
Suppose 10 = 4*a - 2*w, -4*a - w = -5*w - 16. Let k be (-3)/6 + 3/2. Is k bigger than a?
False
Let y = -56 + 56. Let r(k) = k**2 + 7*k + 9. Let m be r(-6). Which is bigger: y or m?
m
Let l = -46 + 39. Is -15/2 at least l?
False
Suppose -d - 4 = -2. Which is smaller: -4 or d?
-4
Let c = -15 + 13. Let q be c - 0 - (7 + -8). Is 1/15 equal to q?
False
Suppose 0*c = -3*c + 3. Is 2 greater than c?
True
Suppose 5*d = 2*z + 3*z - 5, -2*z = d - 14. Suppose -6 = z*p - 2*p. Which is smaller: 0 or p?
p
Let y(x) = 14*x. Let v be y(1). Let z be (4 + -3)*(-7 - 0). Let l be (-19)/z + 4/v. Is 3 at least l?
True
Let u(y) = -y - 4. Let c be u(-8). Let n be 1/(-2) + (-22)/(-4). Which is greater: c or n?
n
Let j be (-16)/(-19) - (12/(-4) + 4). Is 1 bigger than j?
True
Let w = 2 + -1. Let p = 0.8 + -2.8. Let x = w + p. Is x <= -0.1?
True
Suppose 75 = 10*r - 15*r. Is r >= -3/4?
False
Let w = 0.6 - 2.6. Let h = -1 - w. Is -4 at most h?
True
Let w = 18 + -9. Let m be (-3)/(w/6) + -2. Let k be (-12)/(-45)*(-10)/m. Which is smaller: k or -0.2?
-0.2
Let f be 24/(-9) - (-6)/9. Let i = 6 + f. Suppose x = 4*l - 6, x + 2*x + 2*l = -i. Is x >= -3?
True
Let g = -166/75 + -14/75. Let h(u) = -u + 3. Let r be h(4). Which is greater: g or r?
r
Let s = 0.1 + 0. Suppose 3 - 5 = z. Is s bigger than z?
True
Let f(d) be the first derivative of -d**4/12 - 3*d**3/2 - 11*d**2/2 + 2*d + 3. Let g(a) be the first derivative of f(a). Let o be g(-8). Are o and -2 equal?
False
Let g(a) = -2*a**2 + 6*a + 6. Let x be g(5). Which is smaller: -13 or x?
x
Suppose 0 = -4*y - 0*y. Let g(p) = -4*p**2 + 4*p + 2. Let u