/7?
False
Suppose 2*t + 2 = 0, -j - 3*t = -2*j + 13. Suppose 5*w + j = -0*w. Let m = 13 + -16. Which is smaller: m or w?
m
Suppose -4*f = -5*f + 15. Suppose f = 2*q + q. Suppose 0 = 4*a - 3*v, -q*a - v - 31 = 3*v. Which is smaller: -4 or a?
-4
Suppose -q + 7 = -z, 0*z - 4*z - q - 43 = 0. Let l = -16 - z. Is -6 equal to l?
True
Suppose 5*t + 3 = -0*z + 3*z, -5*z - 5 = -5*t. Let g be t/(-2)*12/9. Let w be g/10 + 28/10. Which is smaller: w or 4?
w
Suppose 0 = -5*a + 3*p - 14, 2*a = -0*a + p - 5. Which is greater: a or 2/25?
2/25
Let s(o) = 2*o**3 - 31*o**2 + 16*o - 17. Let r be s(15). Suppose -3*c - 3 = -0*c. Which is smaller: c or r?
r
Let z = -2.1 + 3. Let m = -0.8 + z. Let c = -2 - -4. Are m and c non-equal?
True
Let j be -2 + 14*(-2)/(-4). Suppose 0*d - 17 = 3*t + 5*d, 2*d = -3*t - j. Let v = -82 - -412/5. Is v greater than t?
False
Let m = 0.51 + 0.09. Let d = m + -0.3. Which is bigger: 2 or d?
2
Suppose -5*x = -h, 0*x + 3*h = 2*x. Which is smaller: x or -0.6?
-0.6
Let x be 4/14 + 38/14. Suppose x*q - 4*d - 17 = -0*d, -3*q - 28 = 5*d. Let s be ((-3)/(-36))/((-6)/16). Is q > s?
False
Let t(y) = -y**2 - 2*y. Suppose 3*j + 2 = -1. Let z be t(j). Let k be (z - (-3)/(-2))/1. Which is bigger: 0 or k?
0
Suppose 2*r = 6*r - 2*c + 10, -r = c + 7. Let q be 2/r - 6/4. Which is bigger: q or -3?
q
Let x = 8 + -6. Let r = 2.5 - x. Let t = -0.2 - -0.3. Is t less than r?
True
Let v be -4 + -2 - 4/(-2). Let u be (v + 1 - -8) + -2. Which is bigger: 4 or u?
4
Let q be -10*(-1 - 51/(-45)). Is 0 < q?
False
Suppose 0 = -47*o + 46*o + 1. Suppose -2*s + 12 = s. Does o = s?
False
Suppose -2*l + l + 3 = 0. Let q be 2 + (-1 + -4)*4/(-10). Which is smaller: q or l?
l
Suppose 0 = -0*y - 4*y - 100. Which is smaller: y or -24?
y
Suppose -5*n = 2*s + 21, -4*n = -n - s + 6. Let c = -17 - -14. Let u be c/15 - (-14)/(-5). Do u and n have different values?
False
Suppose 0 = 3*p - v - 9, -7*p + 2*p - 2*v = -15. Which is bigger: p or 1.5?
p
Let w = -3.91 - 0.09. Let d = 7 + w. Let k = d + -4. Which is smaller: k or -2/7?
k
Let t = 3 + -1. Suppose 4*z + 18 = -v, t*v = z + 3 - 12. Let h be 7/12 - (-2)/v. Which is bigger: h or 1/2?
1/2
Let v = 4.94 + -5. Let j = -0.06 - v. Let y = 0.1 - j. Which is bigger: y or 0.2?
0.2
Let s = -311 + 329.9. Let y = s + -19. Which is smaller: -1 or y?
-1
Let u be (-1 - -3) + 2/(-10). Which is smaller: 2 or u?
u
Suppose 3*h - 32 = -2. Is 10 at most h?
True
Let t = 8 - 8.8. Let p = 2.2 - t. Is -1/3 > p?
False
Suppose -c + 3*c = 0. Suppose -6*u + 2*u + 132 = 0. Let p be (63/u - 2)*-3. Is c greater than p?
False
Let u = 0.04 - 0.14. Which is smaller: u or 0.1?
u
Let v = -0.2 + -0.8. Let y = v - -1.5. Let h = y + -0.4. Is h at least as big as -0.1?
True
Suppose 0*u = -2*u - 6. Is -10/3 at least u?
False
Let o = -2 + 5. Suppose o*p + k - 4 = p, -5*p = -3*k - 10. Let s = -7/13 + 8/39. Which is smaller: p or s?
s
Let l = 169/406 + 9/58. Which is bigger: l or -1/2?
l
Suppose 3*u - 4*i = u + 6, 3*u + 2*i - 1 = 0. Suppose 4*a = -3 - u. Are a and 0 non-equal?
True
Let g(a) = 4*a - 1. Let j be g(-3). Let u = -21 - j. Let t be (u/10)/(4/(-10)). Is t at least 2/5?
True
Let f = 127.8 + -137. Which is greater: f or 1?
1
Suppose -4*v = -4 - 16, 2*v - 12 = -2*s. Does 1 = s?
True
Let v = 3 - 5. Let x = 4 + v. Let j = 9 - 8. Which is smaller: j or x?
j
Let m(t) be the second derivative of -t**3/3 - 3*t**2 - t. Suppose -g + 12 = 4*i, 3*i = 8 + 4. Let o be m(g). Is o >= 2?
True
Suppose -3*d + 2*d = 0. Let s = -13 + 14. Let o be (-2 + s)*(-5)/(-35). Is o equal to d?
False
Suppose 4*v - 3*v - 3 = 0. Let z(q) = q**2 - q - 3. Let k be z(0). Let s be k*v/(234/(-4)). Is 1 bigger than s?
True
Let v(p) = 4*p**2 + p. Let b be v(-1). Let g be 3/(-9) + (-8)/(-6). Let s be g/b - 14/6. Is -0.1 <= s?
False
Let g be 8/26*11/220. Let x = -8/13 + g. Which is smaller: x or 0.1?
x
Suppose 5*y + 4*v - 9 = 0, -v - 4 + 2 = -3*y. Suppose -2*n + 4 = 4*m, -y = -n + m - 5. Let g = -8/3 - -13/6. Are g and n unequal?
True
Let l be 36/60*(-2)/(-3). Is 3 < l?
False
Let t = 83/22 - -8/11. Let k = 23/5 - t. Which is smaller: k or 0?
0
Let w = -5 - 0. Let f = 3 + w. Suppose -3*s = 2*c + 6, s - 2*c = 3*c + 15. Is f greater than s?
False
Suppose -z - 2*n - 5 = -0, 6 = -2*n. Let s = -12 + 8. Let c = 4 + s. Is z at most c?
False
Let t(g) = -9*g**3 - 11*g**2 + 22*g - 29. Let k(h) = -5*h**3 - 5*h**2 + 11*h - 15. Let a(o) = -11*k(o) + 6*t(o). Let v be a(10). Which is smaller: v or 2?
v
Let k be 2/6 + (-16)/12. Which is smaller: k or -2?
-2
Let d be (0 + 1)/(1/1). Let c be 2/(-5) + (-3)/((-1485)/738). Is d > c?
False
Let m(c) = -c**3 + 8*c**2 - 9*c - 5. Let b be m(7). Let y be (b/(-4) - 2) + -2. Let t(o) = o**3 + 5*o**2 - 5*o + 7. Let u be t(-6). Is y at most u?
True
Let t = 0 - -0.04. Let d = 0 - t. Let s = d + 4.04. Does s = -2/5?
False
Suppose 3*a - 8 + 50 = 0. Is -12 greater than a?
True
Let i(b) = b**2 - 4*b - 8. Let m be i(-3). Which is greater: 0 or m?
m
Let k(r) be the first derivative of -r**3/3 + 5*r**2/2 - 6*r - 1. Let y be k(4). Let t = 1269/7 + -182. Which is bigger: y or t?
t
Suppose 0 = c - 2*t + 3 - 0, 10 = 5*t. Which is bigger: c or 2?
2
Let y = 1.95 - 10.05. Let i = 8 + y. Which is smaller: i or -3?
-3
Suppose -5*l + 3 = -2*l. Let t be 1/((-2)/(-1)) - l. Is t less than or equal to 0?
True
Let z = 21.9 - 23. Let y = -0.9 - z. Which is greater: y or -1?
y
Let m = -4 + 9. Let b be -4 + 8 + (-5)/(15/(-6)). Which is greater: m or b?
b
Let r = -6.95 + 7. Which is smaller: r or 0?
0
Suppose -5*a - 3 = -2*a - 3*d, 6 = -a - 4*d. Is a less than 0?
True
Suppose 5*y - 5*m + 2*m = 3, 4 = 5*y - 4*m. Let w be (-4)/(-15) + 3/9. Which is greater: w or y?
w
Suppose k - l - 11 = 0, 3*k - 10*l - 36 = -6*l. Which is smaller: 10 or k?
k
Let n = -15 - -14. Which is greater: -4 or n?
n
Let a = -660 + 50161/76. Which is greater: 0 or a?
a
Let b = -92.77 - -93. Is b bigger than 0.2?
True
Let q be 1*1*(-1 - 0). Let g(f) = -f + 3. Let u(h) = -6*h + 16. Let k(n) = 11*g(n) - 2*u(n). Let o be k(q). Is o not equal to -1/3?
True
Let b be -29 - 2/1*-2. Is -25 greater than or equal to b?
True
Suppose 3 + 3 = -y. Let h be (2/y)/((-1)/9). Which is smaller: h or 2/3?
2/3
Let p = 0.9 + 1.1. Let g = 5 - p. Which is bigger: g or -1?
g
Let z(i) = 3*i**2 - i + 1. Let r be z(1). Suppose 3*t = o - 2*t + 6, -t - 18 = -5*o. Is r at most as big as o?
True
Let z = -0.8 - 1.2. Let n = 2 + z. Which is bigger: 4 or n?
4
Let h = -110 + 110.2. Which is smaller: h or -6?
-6
Let z be (-1 - 0)*(-12)/(-3). Let w be (-1)/6*(-6)/z. Which is smaller: 0 or w?
w
Let h = -98.2 - -98. Let r = 5/3 - 22/15. Is r != h?
True
Suppose 2*u = 3*j - 2, 3*u = -u + 3*j + 2. Suppose -5 = 5*y - 3*d, -3*y - u*d - 3 = 3*d. Do y and -1/25 have the same value?
False
Let z = 4/27 + -5/216. Do z and 0 have different values?
True
Let g(y) = y**3 + 8*y**2 - 10*y - 3. Let j be g(-9). Let n = j - 3. Suppose 6 = h + 2*f, -n*h - 3*f - f + 10 = 0. Which is smaller: h or -4?
-4
Let m be 0 + (-5)/(-1) - 2. Let d be 9/1*4/12. Suppose 0 = 4*j + d*p + 9, 0 = m*j - 4*p - 15 + 3. Which is greater: j or -2/13?
j
Suppose -4*c = -4*w + c - 1, 8 = 3*w + 5*c. Suppose -54 + 21 = -4*o - 5*q, -5*o + 4*q - 10 = 0. Let h be 1*o - 26/12. Is w != h?
True
Let i = 170 - 170.1. Which is bigger: i or 0.04?
0.04
Let v be (-31)/(-7)*11 - (-30)/105. Is v < 148/3?
True
Let q = 5.9 - -13. Let f = 19 - q. Which is smaller: f or -2/9?
-2/9
Let b(c) = -c**3 + 6*c**2 + 13*c - 28. Let m be b(7). Which is smaller: 12 or m?
12
Let n(d) = -d**2 + 11*d + 11. Let m be n(12). Is -1 <= m?
True
Let l(n) = n**3 + 7*n**2 - 8*n + 2. Let v be l(-8). Which is smaller: 1 or v?
1
Let k = -14 + 12.2. Let h = -4.2 + k. Is -2 greater than or equal to h?
True
Let y = -1 + 1. Let g be 1/3 + (-470)/24. Let x = g + 19. Is y <= x?
False
Let f = -11/12 + 5/4. Let h = 5 - 4.7. Let q = h + 0.7. Which is smaller: q or f?
f
Suppose 4*s - 24 = -6*z + 3*z, 0 = z - s - 8. Let b be (-11)/(-13) - (z + -7). Which is greater: b or -1?
b
Suppose -v - 4*r - 21 = 0, 2*r = -v - 0*r - 11. Suppose -5*n = -3*n. Let z = n + v. Is z less than 0?
True
Suppose 0*u + 15 = 5*u. Let q be (u - 2) + (5 - 2). Suppose 5*r = 4*y - 1 - 2, 2*r - 10 = -q*y. Is -2/13 greater than r?
False
Let b = -48 - -68. Suppose -5*m + b + 10 = 2*u, 4*m - 36 = -4*u. Suppose -n - 6