2 or s?
s
Let v = 0.042 - 0.042. Are v and 93 non-equal?
True
Let z be 18/12*(2 + -6). Is z greater than -6?
False
Let z = 25 - 13. Suppose 4*b + 2*g - 2 - z = 0, 4*g = -3*b + 23. Which is smaller: b or -2/5?
-2/5
Suppose -1 = h + 1, -3*i + 5*h - 89 = 0. Which is bigger: -34 or i?
i
Let m be (2 - (13 - 2))*1. Let a be (m/(-6))/((-6)/(-8)). Suppose 0*q = -a*q. Do 1 and q have different values?
True
Let a be (-2)/(-3) - 28/(-12). Suppose 5*s - 3*r - 9 = s, -2*s - a*r + 9 = 0. Suppose -s*m - 5*z = 2*m, -3*m = -5*z. Which is bigger: -3/7 or m?
m
Let l = 108 + -32. Let n = l + -530/7. Let s = -22 + 21. Which is bigger: n or s?
n
Let z = 142 - 148.3. Let y = -6 - z. Which is bigger: y or 0.2?
y
Let i(b) = -b**3 - b**2 + 4. Let c be i(0). Suppose -15 = -w - c*w. Which is greater: w or 0?
w
Suppose 119 = -z - 6*z. Do 1/2 and z have the same value?
False
Let d = -24 - -24. Is -1 smaller than d?
True
Let r = 526 + -528. Suppose -5*u + 3*u + 4 = 0. Which is greater: r or u?
u
Let l = 2.99 - -0.01. Let x = l + -6. Let s = 2 + -2. Which is smaller: s or x?
x
Let l = 7 + -18. Let v = l + 8. Let m be (v + 4)*(-1 + 2). Does 0 = m?
False
Let b = 17 + -2. Suppose 4*u = -4*m - 12, -b - 8 = -3*m + 5*u. Are m and 8 nonequal?
True
Suppose 0 = 4*a - 3*h - 31, 3 + 2 = -h. Let d(w) = -3*w - 13. Let t be d(-6). Suppose 4*x - 25 = -3*r, -2*r - x - t = -5*r. Which is smaller: a or r?
r
Let l = 8 - 10. Let p be -3 + 4 + l + 0. Is -2 less than p?
True
Let v be -2*(6/(-4) + 1). Suppose v + 5 = 3*x - 2*w, 4*w + 12 = -2*x. Which is greater: x or -1/3?
x
Let p = 52 + -33. Suppose -168 = -6*h - 48. Which is greater: p or h?
h
Suppose 6*x + 2*q - 11 = 3*x, -4*x = q - 18. Let o(v) = -v + 7. Let l be o(x). Suppose l*p = -p. Is p greater than or equal to -2?
True
Let g = -23/5 + 64/15. Let o = -20 + 20. Is o smaller than g?
False
Suppose -3*b + 92 = -5*a, -2*b - a = 3*a - 32. Is 22 not equal to b?
True
Let g = 9451/8514 - -1/946. Is g at most 2?
True
Let m = 38 - 20. Suppose -2 = -4*k - m. Which is smaller: -5 or k?
-5
Let y = 33 - 23. Let z(a) = a**2 - 11*a + 8. Let j be z(y). Are -2 and j equal?
True
Suppose 2*y = 4*l + 188, 4*l - l + 96 = y. Let x be (-196)/y - 6/27. Which is smaller: x or -3?
-3
Let h be -3 + -2*12/(-4). Which is greater: h or 8/5?
h
Suppose 2*d - 5 = -z + 1, d - 2 = 0. Suppose -4 = 2*b - 2*l, z*l + 0 - 3 = b. Is -2 at least b?
False
Let u be 4 + -2 - (4 + -6). Suppose -b = 4*b - 15. Suppose -3 - 6 = -b*a. Is a at least u?
False
Let g = 309/1057 + -1/151. Which is greater: -4 or g?
g
Suppose -2 = -u - 3*p, u + 2*p + 8 = -2*u. Let b = 0.1 + 0.9. Is b greater than or equal to u?
True
Let c(f) = f**2 - 6*f + 4. Let j be c(3). Suppose -2*x = x + 6. Which is greater: x or j?
x
Let y be (1 - (-26)/(-8))*16. Let v be (12/15)/(y/(-50)). Is 1 at least v?
False
Let s = 212/45 + -37/9. Which is bigger: s or 4?
4
Let i = 12.6 + -18. Are i and 0 equal?
False
Let s be (-8)/(-28) - 314/168. Let f = -4/3 - s. Let l = -4.1 + 4. Is f at least as big as l?
True
Let j be ((-4)/18)/(12/(-63)). Let l = 9 + -8. Is j at most as big as l?
False
Suppose 19 = -d - t + 6*t, -3*d = -t - 13. Let m = d + -9. Which is smaller: -4 or m?
-4
Let v(k) = -k - 2. Let a be v(0). Let s = -329/12 + 77/3. Which is greater: s or a?
s
Let a(j) = 10*j. Let u be a(-1). Which is greater: -9 or u?
-9
Let q(c) = -c**2 - 9*c - 19. Let u be q(-4). Is u smaller than 3?
True
Let s = -1 + 1. Let d be 12/(-54) + (-20)/(-9). Which is smaller: d or s?
s
Suppose -3*w + 40 = 2*w. Suppose -w*m = -9*m - 1. Is 2/15 equal to m?
False
Suppose 0 = 3*p - 2*p + s + 7, 0 = -2*s + 10. Suppose -b + 11 = -2*b. Is b < p?
False
Let d be (-1)/((3/(-62))/(-3)). Is d > -61?
False
Let p(v) = 31*v - 3. Let j be p(-1). Which is greater: j or -36?
j
Suppose -97 = 4*z + 651. Let q = -1307/7 - z. Let r = -0.04 + 0. Which is smaller: q or r?
r
Suppose -v + 0*v = -3*i - 3668, -i + v - 1226 = 0. Let c be (-3)/6 - i/(-12). Let a = c + 103. Which is bigger: 2 or a?
2
Let j = -319 - -4783/15. Let v(f) = 6*f + 0 + 6*f - 2*f + f**2 - 1. Let d be v(-10). Is j < d?
False
Let d be (-2)/4 - (-45)/6. Let f be d/12 - 1/3. Are -1 and f unequal?
True
Let s = 0.06 - 1.26. Let o = -0.5 - s. Which is greater: o or 0?
o
Let g be 2 - (-16)/2 - 3. Suppose 3*t - 2*b = 20, -2*b = -2*t - 6*b + 8. Is t smaller than g?
True
Let s(p) = 2*p + 0 - p**3 - 8*p**2 + 5 + 3*p**3 - 3*p**3. Let g be s(-8). Is g at least -12?
True
Suppose -5*c + 57 = -63. Suppose -2*u - u - c = 0. Let b = u - -11. Which is bigger: b or 0.2?
b
Let a = -2.93 + 3. Let f = 2.07 - a. Which is smaller: f or -0.1?
-0.1
Let q be (-1810)/35 + ((-8)/28)/1. Which is smaller: -53 or q?
-53
Let c = -92060/67 - -1374. Which is bigger: -1 or c?
c
Let b(y) = 2*y + 16. Let c be b(-8). Let q = 7 + c. Are 6 and q non-equal?
True
Let v(q) = q**2 - q - 2. Let i be v(-2). Suppose 5*y - i = 3*y. Is y < 2?
False
Let c be (-9 - -91)/(2 - (1 - 0)). Does c = 83?
False
Let w be (-12)/10*20/(-6). Suppose w*y = -y + 3*r - 10, -6 = 3*y - r. Which is smaller: -7/5 or y?
y
Let h be 1 - 0 - 1/4. Suppose -2*c + 14 = 4*n, 3*c + 4*n = 10 + 15. Suppose 2*i + 2*d + 10 = 0, 31 = -i - 4*d + c. Is i less than or equal to h?
True
Let w(n) be the first derivative of -n**2/2 - 6*n - 7. Let l be w(-6). Let i = -13 + 92/7. Which is greater: i or l?
i
Suppose 7*h - m = 4*h + 36, -2*m = -4*h + 50. Is 11 >= h?
True
Let b(t) = -t**2 - 1. Let s(g) = 4*g**2 - 8*g + 7. Let h(d) = -3*b(d) - s(d). Let c be h(8). Are -4 and c nonequal?
False
Let k(p) = -p**3 + 6*p**2 + 8*p - 8. Let f(s) = s**3 + 8*s**2 - 2*s - 9. Let t be f(-8). Let r be k(t). Let m = 61/4 - 15. Which is bigger: r or m?
m
Suppose 0 = n - 0*n + 1. Let a(v) = -6*v**2 + v**2 + 7*v + 7 + 6*v**2. Let p be a(-6). Which is smaller: n or p?
n
Suppose 2 = z + 6. Which is greater: 0 or z?
0
Suppose -5*b = 49 - 139. Let z = b + -13. Which is smaller: 6 or z?
z
Suppose -a + 8 = -g + 3, -a + 7 = -2*g. Let l be (-1)/(2/(-92)*2). Suppose 0 = -2*m - 4*t + l + 3, 0 = 5*m - 5*t + 10. Is a smaller than m?
False
Let h be (0 + -1)*(-1)/4. Let o(f) = 6*f + 17. Let m be o(-3). Which is bigger: m or h?
h
Let b be (-1)/4 + 2/8. Let v = -307/5 - -61. Is v greater than or equal to b?
False
Let i be 1/((-2)/(-4)) - 4. Is 2 at least as big as i?
True
Let b = -8198 - -32561/4. Let o = b - -2549/44. Which is smaller: o or -1?
-1
Let l be (-6)/21 + 16/7. Let a be l*(-3)/42*-1. Which is smaller: 0 or a?
0
Suppose -3*k = 3*g - 4*g - 5, -3*k - g = 5. Suppose 5*x + 28 = -4*u, x = -u - 5 - 1. Is k less than u?
False
Let i(n) = -n**3 - 4*n**2 + 5*n + 4. Let b be i(-5). Let a(z) = -z**3 + 3*z**2 - 1. Let y be a(2). Is y equal to b?
False
Let j = -11 + 6. Let a = j + 7. Suppose 0 = -a*f + f + 1. Which is bigger: f or -1/6?
f
Let d(y) = -y**3 - 6*y**2 - 5*y - 4. Let f be d(-5). Let v(p) = p - 15. Let g be v(7). Let b = -12 - g. Is f less than or equal to b?
True
Let n be (-4)/10 - (-6)/15. Suppose v = -n*v. Suppose -z + 4*z - o - 1 = v, 5*z - 11 = 4*o. Is z > -2/7?
False
Let j be (-4)/(-2) + 48/(-21). Is j less than or equal to 8?
True
Suppose -11 = 4*z - 7. Let w be (33/42 + z)*2. Which is smaller: w or 2?
w
Let z = -578/7 - -82. Which is smaller: 0.4 or z?
z
Suppose 4*a = 4*u + 24, 16 = 5*a - 9. Is 6/13 less than u?
False
Let r(t) = -2*t - 4. Let s be r(3). Let c be ((-8)/50)/(s/25). Is -2 > c?
False
Let x = -9 + 8.9. Let m = 0.6 - 0.7. Let n = m - -3.1. Which is smaller: n or x?
x
Let n = 25.3 - 25. Is n >= 0.04?
True
Let l = -31 + 29. Which is smaller: l or -1?
l
Let x(l) = 12 + 0*l - l - 2. Let a be x(8). Let k be (-15)/(-18)*a/5. Which is smaller: 0.3 or k?
0.3
Let q be 1 + 2/(-2) - -2. Let h be -3 + q + 21/3. Suppose -15 = -3*m + h*m. Is -5 not equal to m?
False
Suppose 5 = 3*u - c - 1, 3*c - 8 = -4*u. Suppose -s = -2, -s + 3*s + 6 = u*i. Suppose 1 = -2*g + 3*w + 12, i*g - w - 8 = 0. Which is smaller: g or 3?
g
Let z = 8.7 + -4.7. Is z equal to -19?
False
Let s be 1/1 - 0 - 2. Let w = -1.07 + 0.17. Let p = -3.1 + w. Which is smaller: p or s?
p
Let d be (-8)/(-2)*(-6)/8. Suppose -4*i - 2*p + 8 = 0, -3*p - 2 = -2*i + 2. Let x = d + i. Is x greater than -2/15?
False
Let u = 33 + -8. Let a = 20 - u. Which is bigger: -0.1 or a?
-0.1
Let v be 2 + -1 + 1 + 1. Suppose 5 = v*d + 14. Let z = d - -2. Are z and 0 non-equal?
