n or -1?
-1
Let x = 0.3 + -0.3. Let g = -0.2 - -0.5. Let y = x - g. Which is greater: 0 or y?
0
Let n = -3 - -2. Let b = 1 - n. Let d = 127/5 - 123/5. Is d at least as big as b?
False
Suppose 43 + 30 = -3*y + 5*t, 2*t + 54 = -2*y. Let b = y - -14. Let d be b/50*(-5)/2. Is d bigger than 2?
False
Let o be 0/(-2) - (-3 + 5). Suppose 4*n + 20 = -0*g - 4*g, 5*n = -2*g - 25. Is g at least as big as o?
True
Let b(y) = -y + 9. Let j be b(5). Let p = -2 + j. Do 2 and p have the same value?
True
Let r = 7/2 + -37/10. Let d be (-4)/((-8)/(-3))*(-14)/(-21). Which is smaller: d or r?
d
Let n = -1 + 2. Suppose 0 = 3*v + u - 6*u + 11, v + 5*u = 23. Let z = -2 + v. Do n and z have the same value?
True
Suppose -13 - 5 = -3*t. Suppose -3*o - 7 = -y + 8, y + 4*o + t = 0. Suppose -5*j + 0*c + c = -28, 0 = 4*j + 4*c - 32. Is y < j?
False
Suppose 0 = -f + 2*y - 9, -3*y = -1 - 5. Which is bigger: f or -2?
-2
Let d = -0.1 - -0.5. Let a = d + -1.4. Let w = -7 - -7.1. Is a smaller than w?
True
Let y be (0 + -3)*2/(-9). Suppose -9 = -5*g + 21. Let t = -4 + g. Is t less than or equal to y?
False
Let y = 35 - 19. Suppose 7*i - 3*i = -y. Is i greater than or equal to -4?
True
Let r(a) = -a**3 + 2*a**2 - 3*a + 8. Let d be r(3). Is 0.1 less than d?
False
Let v = 0.2 - 0.5. Let r = v - -3.3. Let k = -26 + 27. Are k and r non-equal?
True
Let b = 9 + 3. Suppose 3*v - 3*f + 15 = 0, 3*v - 5*f + b = -f. Let g = v - -11. Is 3 <= g?
True
Let p be (1/(-3))/((-10)/390). Which is smaller: p or 12?
12
Let l = -3 - -5. Let k be -1 + (-5)/(-15)*2. Is k bigger than l?
False
Let a = 569 + -6253/11. Let i be (4/20)/((-12)/15). Is a at most as big as i?
False
Let x(k) = k - 9. Let g be x(-4). Is -12 bigger than g?
True
Suppose t + 2 = 0, 10 + 0 = -4*v - 5*t. Suppose 3 + 9 = 4*a. Which is bigger: a or v?
a
Let p be (-1 - 1)/((-2)/8). Let o = p - 9. Which is greater: 0 or o?
0
Let l = -8 - -11. Let r be (-2 - 1)/l + -1. Which is smaller: r or -3?
-3
Let l(o) = -2*o + 5. Let g be (-2)/(-4)*-2 + 5. Let d be l(g). Is -2 at least as big as d?
True
Let q(b) = b**3 + 7*b**2 - 7*b + 3. Let g be (4/3)/((-1)/6). Let a be q(g). Is a bigger than -5?
False
Suppose 0 = -4*v + 2*v + 6. Suppose -f + v = -3*u - 2, 3*f - 15 = 5*u. Suppose 0 = -i - 2*i + 15. Are f and i equal?
True
Suppose -5*k + 16 = -9*k. Are k and -8 nonequal?
True
Let l = -0.6 - -1. Let i = 0.15 + -4.15. Let d = 2 + i. Is l at least as big as d?
True
Let j be -1 + (-1 - 4/(-1)). Let a(n) = n**2 - 3*n + 1. Let b be a(j). Let o(p) = -p**2 - p + 19. Let g be o(-5). Is b at least g?
True
Suppose -9 = 3*k + 5*b, -3*b = -5*k + b - 15. Let r = 1 - k. Suppose r = 3*v - 2. Is 1/2 != v?
True
Let c = 2 + 0. Is c greater than 23/3?
False
Let g be (11/(-2))/11*254. Is -128 < g?
True
Let p = -40.1 - -44. Let o = -0.1 - p. Is -2/3 equal to o?
False
Let u = -0.5 - -0.3. Suppose -1 = 5*x + 2*w, 3*w + 3 = -4*x + 5. Are u and x non-equal?
True
Let o = -25 + 4. Let v be 19/7 - 6/o. Do 3 and v have the same value?
True
Let x be (-278)/(-312) + 2/8. Let v = 5/6 - x. Which is bigger: v or 1?
1
Let i be ((-8)/6)/((-3)/9). Let h be (0 + -2)*2/i. Is h greater than -2/11?
False
Let h(l) = 4*l**3 + l - 5*l**2 - 8*l + 7 - 3*l**3. Let t be h(6). Is 0 at most t?
True
Let k = -11 - -34. Let m = 24.1 - k. Let t = m - 0.1. Is 1 not equal to t?
False
Let c(t) = 0*t**2 - 2*t - 5*t**2 + 0*t - 1. Let h be c(-1). Let u be h/(-16) + 1/(-20). Which is bigger: 1 or u?
1
Suppose -7*q + 113 = -3*q - y, 3*q - 84 = y. Let z = q - 88/3. Suppose -5*n = 3*l - 4*l + 2, 5*n = 4*l - 8. Which is smaller: n or z?
z
Let q = 1.3 - -1.7. Which is smaller: q or 2/15?
2/15
Let m = -0.59 + -0.01. Let w = 1.2 - 0.8. Let r = m - w. Is -1 at least as big as r?
True
Let i = 1394/7 - 200. Is -1 <= i?
True
Suppose -13*w + 15*w = -46. Is w at most as big as -22?
True
Let i = 2/11 + -19/44. Which is greater: 1 or i?
1
Let f be (1 - -1)*(1 + 4). Suppose 0 = 5*b - 3*v - 85, -2*b - 2*b + v + 61 = 0. Let a be 0 + (b/f - 1). Which is smaller: a or 0?
0
Let x = -30 + 20. Let i = -11 - x. Which is smaller: 1/5 or i?
i
Suppose 14 = 4*k + 2. Suppose k*y = y. Suppose 16 = -q + 4*o, y = 5*q - o - 0*o + 4. Which is bigger: q or -2?
q
Suppose -o = 12 - 3. Let s be (-4)/(-9) - (-2)/o. Is 0 greater than or equal to s?
False
Let l(t) = -t**2 + 4*t - 3. Let b be l(2). Is b < -4/17?
False
Suppose -7*m + 3*m - 4*o - 8 = 0, -4*m - 2*o = -2. Suppose w = 4, -m*w + 4*w = 4*t - 8. Let x be 2/2 + (t - 3). Which is bigger: x or -0.2?
x
Let k = -35 - 43. Is -1/3 <= k?
False
Let d(j) = j**2 - 12*j + 17. Let n be d(9). Are -11 and n unequal?
True
Let q = 10 - 13. Let y be (-1 + -2)*2 - q. Is y > -2?
False
Let t = -19 + 22. Are -1 and t equal?
False
Suppose -2*w = 5*t - 74, 4*t - 3*w - 60 = -5*w. Is t < -1?
False
Let r = 18 - 163/9. Let x(b) = 2*b**2 - 53*b + 26. Let o be x(26). Which is bigger: o or r?
o
Suppose -2*c + 6*c = -28. Is c equal to -6?
False
Suppose 39 = 5*i + 2*m, i = 5*m + 16 + 8. Is 9 less than or equal to i?
True
Let y = -5 - -7. Let n be -3 - (-1 - 5/(15/12)). Is n less than or equal to y?
True
Suppose 3*d + 1 = 46. Suppose -2*x + 0*x = -12. Suppose f - d = x*f. Which is smaller: f or -3/2?
f
Let s be (5 + -1)*11/(-22). Which is bigger: -1 or s?
-1
Let t = -2 + 1. Let a = 5 - 5. Let c be (0 + 1)*a/5. Is t smaller than c?
True
Suppose -5 = h, 0*x - 13 = -2*x - 5*h. Do 19 and x have the same value?
True
Let b(v) = 7*v - 5. Let u(z) = -8*z + 4. Let h(t) = 6*b(t) + 5*u(t). Let k be h(-8). Let g = k + 132/5. Are 1 and g equal?
False
Let b(w) = w**2 + 9*w - 6. Let q be b(-9). Let l be (-17)/(-14) - q/(-4). Which is smaller: -0.4 or l?
-0.4
Let f(q) be the third derivative of q**5/60 - q**4/12 - 2*q**3/3 - q**2. Let g be f(3). Let p = -28 - -29. Which is bigger: g or p?
p
Let q be 0/(2/((-6)/(-3))). Suppose 5*k = -q*m + m + 16, 4*m - 2*k - 8 = 0. Let z be (6/m)/((-6)/8). Is z < -3?
False
Let s(w) = 2*w - 7. Let j be s(-3). Which is greater: j or -14?
j
Suppose 2*s + 5 = -3*s. Let y be 100/6 - 1 - -2. Let d = y - 18. Which is greater: s or d?
d
Let w = 5/3 - 29/12. Let o = -5 - -3. Is w greater than o?
True
Let b = 15 + -7. Suppose -b*y + 24 = -5*y. Let r be (0 - -5) + (0 - -2). Is r greater than y?
False
Let b = 0.59 + -0.65. Is b > -5?
True
Let o = 8 - 6. Which is greater: 0.2 or o?
o
Let t = 28908/7 - 4293. Let b = t - -163. Is b less than or equal to 0?
True
Suppose 0 = -5*d + 4*d - 3. Let i be ((-10)/(-4))/((-1)/2). Is d > i?
True
Let m(f) = f**2 - 10*f - 10. Let d(t) = -t - 1. Let v(y) = 3*d(y) - m(y). Let j = 17 - 9. Let g be v(j). Are -1 and g unequal?
False
Let s = 2 - -112. Let w be 3/(-7) + s/21. Are 3 and w equal?
False
Suppose -r - 30 = 9*r. Let d be 7 + 0 + -1 + -1. Suppose -d*x = 16 - 1. Is x at least as big as r?
True
Let g(p) = 2*p**3 + 3*p**2 - 2*p - 3. Let s be g(-4). Is -2/9 >= s?
True
Let o be (-14)/42*(2 + -17). Suppose -o = -6*d - 11. Let k = 3 + -2. Is k equal to d?
False
Suppose -4*z + z - 24 = 0. Let g be z/(-3)*3/4. Is g at least 0?
True
Let w be ((-14)/(-5) - 3) + (-145)/25. Which is smaller: -1 or w?
w
Let i = -0.6 + 2.6. Let v = 69 - 65. Which is smaller: i or v?
i
Suppose 11*z = 12*z - 17. Is z != 2/5?
True
Suppose -3*m = 2*m - 20. Suppose -m*t = -2*z + 7*z - 21, -5*t + 18 = -2*z. Let u be 2 - (1/1 + z). Is u > -1/3?
True
Suppose -57*z + 52*z = 0. Does -5/29 = z?
False
Let d = -32.52 + 0.52. Is 0.1 != d?
True
Suppose -5*y + 4*c = -70, 2*y - 2*c - 6 = 22. Let i be 2*(26/y + -2). Is i < -0.1?
True
Suppose z + 4*m = 0, -2*z + 2*m = 3*z - 110. Are z and 20 non-equal?
False
Let l = 3 - 6. Let k = 4 - 6. Let t = 3 + k. Is l equal to t?
False
Let m(k) = k. Let l be m(8). Let f be (-3)/8*l/(-12). Are f and 0.3 nonequal?
True
Suppose -s = -5*j - 1184, 3*j - 4*j + 3*s = 248. Let q = -3538/15 - j. Is q at most 1?
True
Suppose o = -2*o + 147. Suppose 0 = -5*z - 3*q + 63, -3*q - 1 = 4*z - o. Let f be 40/z*3/4. Is 0 at most f?
True
Let p be (-7)/(-2) - 5/10. Let v(q) = -q**3 + 6*q**2 + 6*q + 10. Let j be v(7). Is p greater than or equal to j?
True
Let m = -2.2 + 5.2. Let x = 2.05 - 0.05. Is x >= m?
False
Suppose -o + 5*v = 21, 12 = -3*o + 2*v - 12. Is o less than or equal to -4?
True
Let y = 0.2 - 0.2. Let z = -1 + y. Let b = 3 + z. Which is smaller: 0.1 or b?
0.1
Let f = -1577/9 - -175. Is f at most 4?
Tr