?
b
Let m = -4 - -4.1. Let f = -0.3 + m. Are -1 and f nonequal?
True
Suppose -4*t - t = -5. Let g be 2/(t - 7/3). Suppose 0 = -5*d - 3 - 2. Which is bigger: g or d?
d
Let x = 0.2 + 7.3. Let o = x - -1.5. Is o != 0.2?
True
Let u be (-3)/(-10 - 2)*4. Which is bigger: 0 or u?
u
Let c = -59/2 + 645/22. Which is bigger: 1 or c?
1
Let g be -1 + 4 - 0 - (-7)/(-2). Is -30 > g?
False
Let k(o) = o**2 - 5*o + 2. Let d(q) = -q**3 - 9*q**2 + 4. Let r = -22 - -13. Let c be d(r). Let j be k(c). Which is bigger: j or -3?
j
Suppose 13*z = 22*z + 45. Is 10 greater than or equal to z?
True
Let q be 12/9*4/2. Which is greater: q or 3?
3
Let g = 2 - -1. Suppose 3*x - 18 = -g. Let c be 2/(((-5)/2)/x). Is c less than or equal to -5?
False
Suppose 2*x + 4 = -2. Let o = -10 + 7. Does o = x?
True
Suppose 0*y = y - 12. Suppose 0 = v - 4*k - 9, -5*v - k + 2*k - y = 0. Is v greater than or equal to -5/2?
False
Let h = -19 - -7. Are -12 and h non-equal?
False
Let v(c) = -c - 1. Let r be v(-1). Let d = 1247/7 + -178. Is d <= r?
False
Suppose 3*s + 4 = 3*g - 7*g, g = 5*s - 1. Suppose -4*a - 32 = -12. Let q = a - -5. Is q smaller than s?
False
Let o(j) = -j**3 + j + 2. Let s be o(0). Suppose 0 = -4*m, 3*m + 0 = -s*y + 14. Is 6 bigger than y?
False
Let s = 56.06 + -40. Let g = s - 16. Which is bigger: -0.1 or g?
g
Let w(g) = -g**2 + 5*g. Let m be w(5). Let n(a) = -6*a + 3*a**3 + 6*a**2 + 2 - 4*a**3 + 3. Let q be n(5). Is m bigger than q?
False
Let j be (-20)/(-110) + (-282)/(-22). Is 13 greater than j?
False
Let l be (-24267)/(-5) - (-3)/5. Let m be l/35 - (-9)/15. Let q = -139 + m. Is q at most 2?
True
Let b = 24 + -42. Let r be (-12)/b + 7/12. Are 0 and r equal?
False
Let u(t) = t + 8. Let b be u(-6). Which is greater: b or -1/3?
b
Let l be 0/(1*(-1 - 0)). Let u = l + 1. Are u and 6/5 non-equal?
True
Let f = -2.88 - -3. Let s = f + 0.08. Which is bigger: s or -1?
s
Let l be 0*(1 + ((-7)/2 - -3)). Do l and -2/135 have the same value?
False
Suppose 0 = 4*q - 2*q. Suppose 4*t + 48 = 2*a, 5*t + 3*a + 107 - 25 = 0. Let j be (12/t)/(q + 2). Which is bigger: j or 0?
0
Let h = 1.1 - 9.1. Let c = 7.96 + h. Which is smaller: 0 or c?
c
Let d = 0.5 + -2.5. Let y = -0.03 + 4.03. Let s = d + y. Is s less than or equal to -1?
False
Suppose -7*x = -3*x. Suppose 5*f - 19 - 6 = x. Suppose 0*j = -f*j. Which is greater: j or 1/4?
1/4
Let o(a) = a - 3. Let i be o(3). Suppose -3 = x - i*x. Let p(n) = n - 14. Let t be p(11). Do x and t have the same value?
True
Let f = -21 - -20.9. Is 11 smaller than f?
False
Suppose -3*c - 14 = 22. Let y be (-40)/(-18) + c/54. Which is bigger: y or 1/2?
y
Let j = 82 - 82.1. Is 30 greater than j?
True
Let h = 3 - 2. Let n = -21/5 + 283/65. Is n at least as big as h?
False
Suppose -18 + 3 = -5*v. Suppose v*b = -12 + 3. Is b bigger than -4?
True
Suppose -5*i = -0*i - 10. Let h be (1/i)/(2/(-52)). Which is greater: h or 0?
0
Let k = -5.45 + 5.5. Are k and 0.5 unequal?
True
Let q(h) = h**3 + 2*h**2. Let s be q(-2). Suppose 0 = -2*w, -2*w = 3*y - s*w. Let z be (-1)/(-2) + 6/(-28). Are y and z nonequal?
True
Let v = -7/55 + 317/330. Suppose 0 = z - 0*z. Which is bigger: v or z?
v
Suppose 0 = 5*t - 30. Let j = t + -9. Which is smaller: -4 or j?
-4
Let b be (-3)/5 + 280/175. Do b and -1 have the same value?
False
Suppose 2*n - 8 = -2. Suppose n*c + 12 = -c. Which is greater: -2 or c?
-2
Let d(h) = -h**2 - h - 1. Let q be d(0). Do -5/11 and q have the same value?
False
Let f be 2*((-18)/4 - -1). Let y = -5 - f. Suppose -3*n = y*n - 15. Which is bigger: n or -2?
n
Suppose -6*s = -5*s + 180. Let n = 3/2486 + 2247329/12430. Let w = s + n. Is w greater than or equal to 0?
True
Let o = 43 - 39. Let k = 6 + -3. Suppose -o*b = -t + 1, -2*b - 3*b - 3 = -k*t. Is b at least as big as 3/4?
False
Let y be 6/(-90)*(-1 + 2) - 0. Is y >= 0.2?
False
Let q = 575 - 22427/39. Let c = 142/273 - q. Which is bigger: 2 or c?
2
Let u(n) = n**2 - n - 5. Let y be u(-4). Let h be y/(-10)*4/6. Is h greater than or equal to -4/5?
False
Suppose -2*o + 1 + 1 = 0. Suppose 0 = -f + 2*r - o - 3, -2*f + r - 2 = 0. Suppose 2*z - 10 = 5*q, -2*z + 1 = -9. Is q greater than or equal to f?
True
Suppose 90 = 4*h - 5*p, h - 8*p - 28 = -4*p. Let j be -1*(h/(-8))/(-5). Which is bigger: j or 5?
5
Let n be 322/(-207)*3*(0 + -1). Is n at most 6?
True
Suppose 0 = -22*t + 15*t - 343. Do t and -47 have the same value?
False
Suppose -20 = -4*x - 2*n, -n = -2 - 2. Is x at least as big as -13?
True
Suppose -5*a = -3*z - 69, 1 = -5*z - 14. Let o be 11/3 + (-8)/a. Suppose -4 = o*x + 2. Does x = -1?
False
Let y = 11 - 38. Let v be (12/(-14))/((-165)/y). Let q = v + -8/55. Which is bigger: q or -1?
q
Suppose 5*q = 15, -4*t = -q + 55 + 264. Is -78 at most t?
False
Let o = -11 - -18. Let g = o - 7. Let v = g + -0.4. Is 0 < v?
False
Suppose 0 = 9*n - 7*n. Are n and 12 equal?
False
Let h be -2*5*(-1)/2. Suppose -h = -2*c + 3*c. Let a = -4 - c. Which is greater: a or -2/7?
a
Let k = -45 - -46. Is k at least as big as 15?
False
Let a(q) = q + 1. Let g be a(-1). Suppose z = -g*z + 1. Is z greater than 3?
False
Let w be 2*10*(-2)/(-4). Suppose 3*h + w = 2*h - 2*p, -4*h + p = -5. Is h != 1/2?
True
Let o be 2*(1 + 17/(-10)). Does 0 = o?
False
Suppose -2*k - 9 - 3 = 0. Let l be (-3)/3 + k/2. Is -4 >= l?
True
Suppose -15 = -5*t - 2*q, 4*t - 2*q = 5*t - 11. Let x = 1.57 + 0.13. Let b = -0.3 - x. Which is greater: b or t?
t
Let v be (4/10)/((-16)/24)*5. Is v at least as big as 5?
False
Let u be (-51955)/119 + (-2)/7. Let m = u + 437. Which is smaller: 0 or m?
0
Let x be (-2)/(-6) + (-26)/6. Let p(h) = h**2 - 8*h + 5*h**3 - 6*h**3 + 6*h**2 + 8. Let u be p(6). Are u and x equal?
True
Let x be (-2)/(-2)*2*1. Suppose 4 = -x*z - 2*z. Is -2 equal to z?
False
Suppose 0 = 3*c - 0*c - 9. Suppose c*v - 4 = v. Which is bigger: v or 3/2?
v
Let o(d) = 2*d - 3*d**2 + d + 1 + 4*d**2 + 0. Let y be o(-1). Is y less than or equal to 3?
True
Suppose 0 = 4*l - l + 66. Let m = -8 - l. Suppose 0 = -4*x - 3*w - 9, -3*x = -8*x - w - m. Is x at least as big as -4?
True
Let j be (-21)/28 - (-15)/(-12). Suppose -3*t = 6, 2*i + 3*t = 5*i - 3. Which is bigger: i or j?
i
Suppose 0 = 4*a - 0*a + s - 3, 0 = 4*a + 4*s + 12. Suppose 0 = j - 3*l - 12, 0 = j + l - a*l - 2. Do 0.3 and j have the same value?
False
Suppose 3*u = -29 + 83. Which is smaller: 20 or u?
u
Let h(y) = y**2 + 2*y + 1. Let u be h(-4). Let n be ((-1)/(-2))/(u/6). Is -0.3 smaller than n?
True
Suppose -2*p + 4*p = -60. Let w be (1 - -1)/(8/p). Let k = 73/10 + w. Is 1 bigger than k?
True
Let o be (-3 + 6)*(0 + 1). Suppose -o*w - g = -7*w + 4, g - 10 = -3*w. Suppose -w*k = -7*k. Is k at most as big as -1?
False
Let o = 0.07 + 0.96. Let s = 7 - 6.97. Let b = o - s. Which is greater: 5 or b?
5
Let c(a) = -a**2 + 1. Let x be c(1). Suppose 2*l - 11 = -1. Suppose 4*s + l - 1 = x. Is s at least as big as -1?
True
Let z = 4 - 0. Suppose z + 0 = -m. Which is smaller: -5 or m?
-5
Let a(c) = 17*c**2 + 3*c - 3. Let b be a(-3). Do b and 142 have the same value?
False
Let b be ((-2)/(-8))/((-21)/(-12)). Is b != 1?
True
Let z(j) = 2*j - 6. Let k be (-5)/(-4)*(1 - -3). Let i be z(k). Let m be i/(-18)*9/(-12). Which is smaller: m or 0?
0
Suppose -6*c + 0*c = 18. Is -3 greater than or equal to c?
True
Let l(k) = -2*k - 5. Let o(u) = -5*u - 11. Let n(d) = 9*l(d) - 4*o(d). Let c be n(2). Let h = 0.22 - 0.12. Is h less than c?
True
Let m = 20 + -20. Which is greater: m or -1/4?
m
Let u be 44/84 - 3/(-21). Which is bigger: u or 0?
u
Let i = 19042/35 + -544. Is 1 != i?
True
Let t be 9/(-2)*8/6. Suppose 3*l = 3 - 0. Let v be (4 - l)/((-63)/t). Which is smaller: v or 1?
v
Let u = 3 + 11. Which is smaller: 0.1 or u?
0.1
Suppose -v - 3*d = -0*d - 6, -2*d - 21 = -v. Suppose z + z = 5*r - 10, 2*r + v = -3*z. Which is smaller: -4 or z?
z
Let i = 43 + -24. Is 19 at most as big as i?
True
Let i = -7 + 6. Let t be ((-1 - i) + 4)/14. Let w = 0.2 - 0.2. Which is smaller: w or t?
w
Suppose 4*d = 172 - 4. Let w be (1/(-15))/(3/d). Let t = -3/5 - w. Which is smaller: t or 1?
t
Let t = -68146438/2789 + 24434. Let v = -103853/153395 - t. Let a = v - -3/11. Is 1 < a?
False
Let v = -305 - -314.87. Let h = v - -0.23. Let c = 10 - h. Is 6/7 smaller than c?
False
Let j(l) = l**2 + 4*l + 3. Let w be j(-3). Suppose w = -5*q + 2 + 18. Let v(x) = -x - 2