 equal to g?
False
Suppose -5*l + 3*w + 4 = -3, -3*w - 12 = 0. Let r be (3 - (-3 + 8)) + l. Which is bigger: r or -2?
-2
Suppose -2*o + 15 = 3*i, 4*i - 20 = 2*o + 3*o. Let q be -1 + o + 3/(-3). Which is greater: -3 or q?
q
Let j = 7 + -6.71. Let s = 0.01 + j. Which is smaller: s or -0.1?
-0.1
Suppose -4*k + 3 = -3*k, 3*x - 3*k + 9 = 0. Suppose -f + 3*f - 2 = 4*m, x = 2*m - 2*f + 2. Which is smaller: m or -0.1?
-0.1
Suppose 5*b - 20 = 0, -7*b + 91 = 5*l - 3*b. Suppose 11 - 3 = 4*g. Suppose -l = 5*x - 3*p + g*p, -p = 5. Are -5 and x unequal?
True
Let u(v) = 3*v - 44. Let o be u(13). Is o less than -5?
False
Suppose 0 = 2*c - i + 2, -i + 6*i = c + 10. Which is smaller: 1 or c?
c
Let u(a) = -a**3 + 6*a**2 + 6*a + 7. Let z be u(7). Which is greater: -1/35 or z?
z
Suppose t + u + 3*u - 1 = 0, 2*u = -4*t + 32. Suppose t = -8*g + 5*g. Let k = 1 - 4. Is k <= g?
True
Let n = -10 + 5. Let p(x) = x**3 + x**2 - 5. Let q be p(0). Let c = n - q. Which is smaller: c or 3/7?
c
Let t = -30039276 + 175489450969/5842. Let r = t + -3/254. Is r smaller than 0.1?
True
Let a(u) = -u**2 + 3*u - 2. Let z be a(1). Is z greater than or equal to 7/26?
False
Let s be (-1)/1 - 0 - 0. Let y(v) = 5*v - 140. Let x be y(28). Which is smaller: s or x?
s
Let t = 48 - 33. Let r be (-40)/51 + 10/t. Are 0 and r unequal?
True
Suppose 0 = -m + 4 + 6. Let n = m - 6. Suppose -n = 5*l - 2*i, 4*i + 1 + 1 = 5*l. Do -3 and l have different values?
True
Suppose -2*a + 25 = 7. Let w = a + -8. Let l be ((-2)/(-4))/((-5)/(-2)). Which is smaller: w or l?
l
Let a = 16/3 + -6. Let v(d) = d**2 - 1. Let x be v(0). Which is greater: a or x?
a
Let m = -0.06 + 0.16. Which is bigger: 8 or m?
8
Let f = -0.25 + -0.05. Let q = f + 1.3. Let m = 3 - 5. Which is greater: m or q?
q
Let q(j) = 2*j**2 + 2*j - 2. Let c be q(-2). Let r be (-1)/(c/10*-1). Is r >= 2/3?
True
Let q be ((-4)/(-10))/(28/1400). Is 16 at least q?
False
Let z be 2/12*(-4 - -7). Let m(b) = -b**2 + 12*b - 11. Let d be m(11). Is z at least as big as d?
True
Let b be ((-768)/393 - -2)/(-4). Let i = 683/13886 + b. Which is bigger: i or -1?
i
Let m(n) = -n**2 - 10*n - 6. Let o be m(-9). Let b(r) = -4*r + 1. Let c be b(-1). Suppose 2*u = -2*t + 10, -c*t - 2*u = -9 - 10. Is o at least as big as t?
True
Let f(c) = -c - 1. Let p be f(-5). Suppose 3*i - 4*i = p. Is -4 < i?
False
Let c = 4 - -2. Let o be c/(-8)*(-8)/27. Which is bigger: o or -3?
o
Let p = -17.14 - -17. Let g = p - 0.06. Is -2/3 <= g?
True
Let t be 6 - (2 - (4 - 3)). Suppose 3*x + x = -3*s - 5, -s = -t. Which is bigger: x or -6?
x
Let p = 11 + -10. Let u be p/(-4) - 5/(-10). Does u = 5?
False
Let c = 6 - 9. Is -3 not equal to c?
False
Let i be 24/10 + (-8)/20. Suppose 14 - 16 = -i*c. Do c and 1/14 have different values?
True
Let n = 24.8 - 48.7. Let u = n + 27.82. Let o = -0.08 - u. Which is smaller: o or -1?
o
Suppose t + 0*t = 0. Suppose 4*z - 2 - 6 = t. Suppose z*p + 14 = 4*d, 5*p - 3*p = -d + 1. Is p equal to 1?
False
Let k be (1 + -4)/(-4 + 3). Let x be 1*10*(-20)/(-50). Is k at most as big as x?
True
Suppose 5*b + 33 + 4 = 2*j, 0 = -b + j - 5. Is -7 at most b?
False
Suppose 3*v = -5*h - 4, 5*h + 5*v = -11 + 1. Let i = 253 + -2275/9. Is i greater than or equal to h?
False
Let z(b) = -b**2 - 4*b - 1. Let t be z(-4). Suppose -p - 49 = -193. Let s = -1010/7 + p. Which is greater: t or s?
s
Let g be -34 + 4/(-18) + 60/27. Is g less than -32?
False
Let h = 129/4 + -32. Let k(s) = s**3 + 1. Let v be k(-1). Is h < v?
False
Let p be 1/((-3)/((-5)/(20/(-12)))). Let c(j) = -j + 7. Let v be c(6). Are p and v non-equal?
True
Suppose -408 = 10*t + 2*t. Which is greater: t or -35?
t
Let z = 16 - 19. Is z > -11/6?
False
Suppose 10 = -5*f + 30. Let j be f/(-3)*1/(-2). Which is smaller: 0 or j?
0
Let z be 16/(-12)*(-78)/4. Suppose 4*q = 8*q - 4*r - 36, -4*r = -2*q + z. Let c = -2 + q. Is c < 2?
False
Let x = 23 + -35. Is -1 < x?
False
Let n be 4 - 2 - 92/48*3. Is -5 bigger than n?
False
Suppose i = 3*i + 2*i. Which is greater: -10/7 or i?
i
Let m(k) = -k - 9. Let w be m(-8). Let o = w - -5. Suppose -l - 2 = -7. Which is smaller: l or o?
o
Suppose 0*f = -3*f + 39. Is f less than or equal to 13?
True
Let p(u) = -u**3 - 7*u**2 - 6*u - 2. Let k be p(-6). Let q = 2 + k. Which is greater: q or 2?
2
Let h = 17 + -17. Is h at least 1?
False
Let c = 1.45 - 0.05. Is c <= 1?
False
Suppose 1 = -f - 3*r + 6, 4*r = -2*f + 8. Suppose -f*a = 2 + 2. Let c be 18/(-6)*a/2. Is 3 smaller than c?
False
Let w = 7.8 + -6.8. Is w less than -0.25?
False
Suppose 3*w = -3*g - 12, -1 = -3*g + 4*w + 22. Let s be 10/(-6) - (-2)/3. Let t be (-1 - (s - 0))*g. Is 1 greater than t?
True
Let m be 18/(-3) - 6/(-3). Let a = 1 + m. Are a and -4 equal?
False
Let z(l) = l - 3. Let b = -7 - -11. Suppose -b*y + s = -2 - 2, -3*s = 2*y - 16. Let d be z(y). Which is smaller: -2 or d?
-2
Let p be 11 + -15 + 6*(-2)/(-3). Are p and 8 nonequal?
True
Suppose 0 = u + 2*u. Suppose u - 16 = -4*b. Let v(l) = l - 1. Let t be v(b). Is t smaller than 4?
True
Let o(s) = 2*s + 1. Let k be o(1). Suppose -f = -k*f. Let d be (1 - f)*(-1 + 1). Which is smaller: d or -2?
-2
Let b = 9 + -8. Is 0 less than b?
True
Let q be -1 + (0 + 1 - -3). Let f be 2/(26/40 - 4/16). Which is greater: f or q?
f
Let y(v) = v**2 + 4*v - 1. Let f be y(-2). Let z = -6 - f. Is z at most as big as 2/3?
True
Let d = -9 - 5. Let w = 13 + d. Is -3/10 < w?
False
Let v = -1636 + 22915/14. Is 1 not equal to v?
True
Let v = -27 + 27. Is v < 6?
True
Suppose 3*y + 25 = 2*y - 5*b, -4*y + 4*b = -20. Suppose 0 = -3*n - 9, -2*n - 14 = -c - y*c. Is 9 < c?
False
Suppose -30 = -5*n + 3*n. Suppose -n - 15 = -3*h. Is 10 at least h?
True
Let o = 4897/1722 - 3/287. Let a = 11/3 - o. Is a bigger than 1?
False
Suppose l + 12 = 5*b + 72, 3*l + 4*b - 123 = 0. Which is greater: 2/3 or l?
l
Let d = 5 - 9. Let j(q) = -q - 1. Let p be j(d). Which is greater: p or 1?
p
Let f be 4/(-17*6/(-9)). Is -0.1 < f?
True
Suppose -4*c - 10 = c. Let l be 9/(-6)*c/(-6). Which is smaller: l or 3?
l
Let q = 0.1 - -0.7. Let j = -1 + q. Let i = -1.22 - -0.22. Is i equal to j?
False
Let f = 156 - 154.06. Let w = f - -0.06. Let r = w + -4. Which is greater: r or -0.3?
-0.3
Suppose -1 = -5*m - 26. Let z = m - -3. Are z and 0 equal?
False
Let x = 13 + -19. Is x at least -6?
True
Suppose 3*g = -2*g. Let w(k) be the first derivative of k**2/2 - 7*k + 1. Let j be w(5). Which is smaller: j or g?
j
Let j(r) = -11*r**3 - 3*r**2 - 3*r - 1. Let o be j(-1). Is 12 less than o?
False
Suppose -51*b + 55*b - 4 = 0. Which is bigger: -2/23 or b?
b
Let o = -3.96 + 4. Let c = -8.04 + o. Which is greater: c or 1?
1
Let y be 3 - 1 - (3 + -1). Suppose -2*c + 2 = 3*d - d, y = -2*c + 2. Let n be 2/3*(-5)/20. Which is smaller: n or d?
n
Let m(f) = f**2 + f + 4. Let y be m(0). Let o = y + -10. Let u be (o/(-15))/(9/5). Are u and 0 unequal?
True
Let m be -1 + (-4)/(72/(-22)). Is m greater than or equal to -0.1?
True
Let v = 0.5 - 0.3. Let t = 0.7 - 0.4. Is v greater than t?
False
Let s = 2 - 1.99. Let m = -0.41 + s. Let d = m + 0.4. Which is bigger: 3/5 or d?
3/5
Let v(d) = d**3 - 13*d**2 - 14*d - 18. Let z be v(14). Is z at most as big as -17?
True
Let f be ((-11)/(-33))/(1/66). Which is smaller: f or 23?
f
Let q(l) = -4*l - 45. Let b(m) = -m - 11. Let r(t) = -9*b(t) + 2*q(t). Let d(s) = 1. Let c(x) = -4*d(x) + r(x). Let o be c(-4). Which is bigger: -1 or o?
o
Let o be ((-9)/(-6))/((-159)/4). Is 1 greater than or equal to o?
True
Let n(f) = 2*f + f**3 - 3 - 1 - 6*f - 5*f**2 - 4. Let x be n(6). Suppose x*b = 5 + 11. Is b >= 4?
True
Suppose o + 5*g = -4*o - 20, 3*o + 2*g + 9 = 0. Suppose -3*j = 2*j - 5. Suppose x - 3 - j = 0, 3*c - 3*x = -12. Which is greater: o or c?
c
Let d be 8/(-20)*(-62)/(-40). Let u = d - -3/25. Is 1 >= u?
True
Let k = 0.34 - 0.54. Is k at most -3/5?
False
Let t = -2773/7 - -395. Let d = -3 + 3. Is d less than or equal to t?
False
Let a be 5*-1*4/10. Let z = -19 - -22. Let v = z + a. Is v > 1?
False
Let o be 3*(-1 - -3)/(-2). Which is greater: -15/4 or o?
o
Let x = 2/5 + 7/5. Is x greater than or equal to 1?
True
Let z = 0.3 + 0.2. Let q = -3.5 - -5. Let n = q + z. Is -1 not equal to n?
True
Let a = 65 - 66. Which is greater: 1/53 or a?
1/53
Suppose 0 = -u - 4*n - 3, -4*u - 6*n + 3*n = -14. Which is smaller: u or 4?
4
Suppose 0*h =