-12 nonequal?
False
Let h = -0.83 + 0.73. Let o = 2.2 + -2. Let x = o - 0.2. Is h less than x?
True
Let o = -6 - -8. Suppose 0 = t + o*k, 0*t + 4*k = -4*t + 8. Which is bigger: t or -1?
t
Suppose 0 = -4*z - 5*x + 20, -5*x + 3 = -17. Which is smaller: z or -2/55?
-2/55
Let q be 46/24 + (-4)/2. Let x be (-28)/(-70) - (1 + (-16)/10). Which is bigger: q or x?
x
Let v = -6 - -10. Suppose -x = v*x - 15. Suppose 0 = -x*u + 4*u - 2. Which is smaller: u or 1?
1
Let r(s) be the first derivative of s**2/2 + s + 1. Let k be r(-2). Which is smaller: -3 or k?
-3
Suppose z + 4*z = -4*n - 50, -5*n - 7 = -3*z. Is z <= -4?
True
Suppose 9*x - 24 + 33 = 0. Which is greater: x or 3/11?
3/11
Let k = -8 + 8. Let c = -1 - k. Do -1 and c have the same value?
True
Let x be 12/(-7) - -2 - (-36)/(-28). Does x = -1/28?
False
Let o(j) = -j**2 - j + 16. Let v be o(0). Suppose -2 - v = -3*t. Suppose 3*i - 4*b - 20 = 0, -5*i - t*b + 12 = -2*b. Is 3 at least as big as i?
False
Let n = 36 - 59. Which is smaller: n or -22?
n
Let j(m) be the second derivative of m**3/6 + m**2 - 3*m. Let o be j(-7). Is -7 < o?
True
Let d = 1/29 - -27/58. Is d at most 7?
True
Suppose h - 4 = -7. Is -13/4 at least as big as h?
False
Let j be (-8)/2 - (-5 + 0). Let d be (-1)/3*(-2 - 3). Does d = j?
False
Let n be (1/(-3))/(4/(-12)). Let x = -2/751 + -2239/5257. Is n > x?
True
Let o = 24 + -10. Let v = -16 + o. Are 0 and v nonequal?
True
Let p be 3/6 - (-7)/(-12). Let c(q) = q**2 + 1. Let o be c(-2). Suppose -4 = 2*m - 3*r, 7 = m + o*r - 2*r. Is m > p?
True
Let s = 10 + 37. Is s < -2/5?
False
Suppose 3*a + 0*j + 25 = -2*j, -13 = 2*a + 5*j. Let f = -59 - -51. Which is greater: a or f?
f
Suppose b + b = 0. Let f = 0 + b. Suppose -2*z + 2*c - 7*c + 16 = 0, f = 2*c - 4. Is z smaller than 3?
False
Let l = -49/2 - -24. Let h be -2*(9/2)/9. Is l greater than h?
True
Let v = 56.1 + -56. Is 12 greater than v?
True
Suppose 4*t - 15 = -3. Suppose -2 - 2 = -2*d. Is t not equal to d?
True
Suppose 2 = 2*t - 2. Suppose 0*w + w + t = 0. Let s be -6*(1 + (-2)/4). Does s = w?
False
Suppose 6*x + 10 = x. Let p be (-4 - x)/(-1*2). Let r = 5/14 + -83/154. Which is bigger: p or r?
p
Let j be (20/12 + -2)/1. Suppose -p = i + 1, 2*p - 3*i - 2 = -i. Which is smaller: j or p?
j
Suppose 24*h + 284 = 28*h. Is 71 less than h?
False
Suppose -3*u + 12 = -24. Let f be (1/u)/((-12)/(-32)). Are f and -1 unequal?
True
Let q = -67 - -67.1. Which is bigger: 22 or q?
22
Let r = 45 + -48. Let w = 3 + -5. Is r < w?
True
Let t = -107/165 + -1/55. Is -2 greater than t?
False
Let h(m) be the second derivative of -m**4/12 + 2*m**3/3 + m**2/2 - m. Let z be h(4). Suppose g - 11 + z = 5*p, 0 = -3*g. Is -2 equal to p?
True
Suppose 5*g = -2*l + 33, 0 = 5*g - 2*g - 3*l - 24. Let p = g + -11. Let o(x) = -x - 3. Let k be o(p). Is 0 less than k?
True
Let r = -0.02 + 0.02. Let y = r - -1. Which is bigger: y or 2/11?
y
Let l(u) = -u**2 - u - 3. Let s be l(0). Let a = -6 - -4. Which is smaller: s or a?
s
Let f = -0.038 - -0.238. Which is bigger: f or -2?
f
Suppose m - 1 = -2. Suppose -2*f + 3*o + 4 = 0, -2*o + 0*o = -f. Suppose 4*k + 6 = 2*k + u, -3*k = -u + f. Do m and k have the same value?
False
Let b = 0.56 - -0.44. Let j = 2.8 - 3. Which is greater: j or b?
b
Suppose -3*k - 6 + 21 = 0. Suppose -5*d = 2*v + 8, k*d - v - 6 = -2. Do 0.1 and d have the same value?
False
Let h = 94 - 37. Is 57 bigger than h?
False
Let t = -0.5 + 0.4. Let z = -2 - -5. Do t and z have different values?
True
Let f be (-74)/(-70) + 1 + -2. Let h be (-1)/(20/(-24) + 2/(-12)). Do f and h have different values?
True
Let h = -14 - -8. Let p = -1 - h. Is p < 6?
True
Let n(r) = r. Let q(k) = -k**2 - 7*k + 4. Let t(m) = 4*n(m) - q(m). Let a be t(-9). Is -22 <= a?
True
Let u be 1/2*(-1)/(-1). Let w = 1/4 - u. Suppose -3*d + 5*r + 23 = 0, 8*r - 3*r + 19 = -d. Is w at least as big as d?
False
Let w be (-22)/(-18)*(-4 - 8). Let g be (-122)/8 - (-1)/3. Let c = w - g. Which is bigger: 0 or c?
c
Let d = -2 - -2. Is -2 < d?
True
Suppose -m = z - 9, -5*m + 28 = 3*z - 9. Let h be 4/(-6)*-9*9/18. Which is smaller: m or h?
h
Let w = 6.4 - 7. Let x = -0.5 - w. Which is bigger: 3 or x?
3
Suppose 2*d + 40 = -3*k + 5*k, -3*k = -2*d - 45. Which is smaller: d or -14?
d
Let f = 0.7 - -3.3. Let r = 4.1 - f. Which is bigger: r or -3?
r
Suppose 0*o = 4*r + 3*o + 5, r = -2*o. Suppose -4 = -7*k + 5*k. Suppose 0*t = k*t + 4. Do r and t have the same value?
True
Suppose 3*k - 30 = 3*p, -5*k + 4*p + 32 = 5*p. Suppose -l - 3 = 2*n, -5*n - k = -l - 2*n. Which is greater: 2/5 or l?
l
Let f = -0.2 + 0.2. Let s = 1 - f. Let m be 2/4*8/(-8). Which is smaller: s or m?
m
Let n be 8/(-6)*48/136. Which is greater: n or 1?
1
Suppose 21*x - 22*x + 2 = 0. Suppose -x*m - 2*m - 40 = 0. Is -11 greater than or equal to m?
False
Let p be 4/18 + 28/18. Let l = 179/10 - 863/45. Let z = p + l. Which is greater: z or 1?
1
Let x = -30 + 21. Is 3 > x?
True
Suppose 17 = 2*w - 5*w + 4*r, 3*w - 28 = -5*r. Are w and 3/14 non-equal?
True
Let g be ((-4)/6)/((-3)/9). Let p be 3/4*-2 + g. Let z = -0.1 - 0. Which is bigger: z or p?
p
Let z be 33/(-7) + (-8)/28. Let q = z + 4. Do q and -1/11 have different values?
True
Let q = 14.5 - 15. Let z = q + 1.5. Which is bigger: -2/5 or z?
z
Let t = 25.08 + -25. Let s = 0.48 - t. Is 2/7 >= s?
False
Let x = -2009/15 + 134. Is x bigger than 0?
True
Let s be -1 + (-2 - (-3)/(-3)). Let a be (-1)/s - 10/8. Is 1 at least a?
True
Suppose 2*b + j = 3*j - 34, 0 = -3*b - 4*j - 37. Are b and -15 nonequal?
False
Let s = -131/5 - -1431/55. Let x = 2 + -9. Let c = x + 6. Which is smaller: c or s?
c
Let l = -3 - -3. Let f = l - 0.2. Is f < -1/2?
False
Suppose -2*t + 4 = 2. Which is greater: -32 or t?
t
Suppose 9 = -j + 13. Which is smaller: 8 or j?
j
Let a(k) = -k**3 + 7*k**2 - 5*k + 1. Suppose 0 = -3*q + 18. Let y be a(q). Is y at most 7?
True
Let q = 3 + -11. Let z = -7.9 - q. Which is bigger: -2/7 or z?
z
Let f be 54/(-3) + (-4)/(-2). Is -16 at most as big as f?
True
Let u be (-27)/(-117)*(-2)/4. Which is smaller: u or 0?
u
Let g = 20 + -20.5. Is g <= 2?
True
Let l be (-4)/(-10) + 0 - -1. Is l at most as big as 0?
False
Let c(f) = f**3 - f - 1. Let k be c(0). Which is smaller: -1/29 or k?
k
Let h be -4 + 2 + (-24)/(-14). Let w = 0 - -4. Suppose 3 = t - w*t. Is t <= h?
True
Suppose -4*h = -4*r - 4, 2*h + 5*r - 3*r - 2 = 0. Let q be ((-8)/10)/(h/(-5)). Let y = q - 4. Is 0 equal to y?
True
Let m = 1/40 + 29/40. Let r(t) = t - 1. Let c be r(4). Let p be (-2)/6 + 1/c. Which is greater: m or p?
m
Let z = 23 + -8. Is 16 smaller than z?
False
Suppose -2*s + 6 = -0. Let y = -4 + 6. Is y at most as big as s?
True
Let r = 0 + 6. Which is smaller: r or 26/5?
26/5
Let d = 26 + -16. Let i = d - 10. Which is smaller: -3/5 or i?
-3/5
Suppose 3*s + 2*s = 50. Let j = 14 - s. Is 3 bigger than j?
False
Suppose 0*m = -4*m. Let l = 9627 + -38193/4. Let o = l + -78. Which is smaller: o or m?
m
Let o be -3*((-8)/(-6) + 0). Let v = o - -6. Let g(m) = m**2 - 3*m - 7. Let s be g(5). Is s less than or equal to v?
False
Let h(a) = -a**2 - 7*a - 4. Suppose 0 = 2*x + 2 - 8. Suppose 0*r - x*r = 3*t + 24, -5*t - 34 = 4*r. Let l be h(r). Is l at least as big as 0?
True
Let o = 0.08 + -0.11. Let d = 6.97 - o. Which is greater: d or 0.1?
d
Let s = 2/7 - 1/7. Let i(u) = u**2 + 4*u - 1. Let y be i(-4). Are s and y equal?
False
Suppose 0*o = 5*o - 160. Let x = -19 + o. Which is smaller: 14 or x?
x
Let n be ((-64)/(-112))/((-4)/(-14)). Is n bigger than 36?
False
Suppose 0 = 4*t + 16, -2*t - 2*t - 10 = -2*n. Let r be (-2)/(-3) - (-4)/3. Let a = n + r. Is a at most as big as -5?
False
Suppose -4*x = -q - 11, 0 = 3*q - 6*x + 5*x - 22. Are q and 33/4 nonequal?
True
Let i(o) = -o**3 - 12*o**2 - 16*o - 25. Let x be i(-11). Is 29 less than x?
True
Suppose 8*m - 24 = -2*o + 4*m, 3*o - 15 = m. Suppose 3 + o = -3*k. Which is greater: -4 or k?
k
Let g(x) = x**3 - 2*x**2 - 4. Let b be g(3). Suppose -5*d + t - 15 = 0, 2*d + 4*t = 11 + b. Suppose 0 = 2*u + 4. Is u != d?
False
Let b(k) be the first derivative of -k**2/2 - 3*k + 2. Let d be b(-5). Suppose 3*p = -s - d, 33 = -2*p - 5*s + 10. Which is smaller: p or 2/7?
2/7
Suppose 0 = -3*f - 3 + 9. Suppose -f + 16 = -2*c. Is -7 <= c?
True
Let o(f) = -f**3 - f**2 + 2*f + 1. Let p be o(-2). Does p = 6/13?
False
Let 