
Let z = 0.2 - 0. Let q = 0.28 - z. Let r = -0.28 + q. Is r < 3?
True
Let f = -1.43 - 15.57. Which is smaller: f or -3/2?
f
Let b = -4 + 4. Suppose -m + 2*d = 4, b = -3*d - 8 + 23. Suppose -m*u - 9 = -3*u. Is u greater than -3?
False
Let a = 0 - -4. Suppose -2*t + a = -t. Let i be (2/t*0)/(-2). Is -2/7 greater than or equal to i?
False
Let x = 0.98 + -1.18. Let g = 1.1 - 0.1. Are g and x unequal?
True
Let d = -32 - -31. Is d equal to 3/10?
False
Let p be (-8092)/(-3)*2/(-12). Let r = p + 450. Let o = 272/55 - 50/11. Is o > r?
False
Let j be (1/(-3))/((-8)/848). Let g = -35 + j. Which is bigger: g or 0?
g
Let k be 30/91 - 2/(-7). Let f be (-9)/39*(-2)/(-9). Let j = k - f. Is j != -1/4?
True
Let c be (-44)/154 - (-24)/35. Is -2/5 equal to c?
False
Let m be 28/(-21)*3*(-6)/57. Is 0 >= m?
False
Let s(m) be the second derivative of m**3/6 + 3*m**2 + m. Let a be s(-9). Let i be (a/(-30))/((-2)/4). Which is greater: -2 or i?
i
Let h be (-6)/(-8) - 21/(-4). Suppose -3*s + h - 3 = 0. Let c = 160/231 - 2/77. Which is smaller: c or s?
c
Suppose -5*s + 3*i + 221 = 0, 4*i + 225 = 5*s - i. Which is smaller: 44 or s?
s
Suppose -1 = 4*c - 3*c. Let u be c/6 + 232/(-48). Is -6 at most u?
True
Let o(x) = x**3 + 3*x**2 + 3*x + 1. Let i be o(-2). Which is greater: 1/11 or i?
1/11
Let v(q) = -q + 13. Let t be v(-4). Are t and 16 nonequal?
True
Suppose 5*j + 17 = 2*t, -4*t + j + 29 - 4 = 0. Suppose 0 = -4*u - 2*h + 30, 4*h - 24 = -4. Do u and t have different values?
True
Suppose 2 = 4*q - 5*q. Let x = -1 - q. Do 1 and x have the same value?
True
Let m be 153/(-15)*(-4 - -2). Is m > 20?
True
Let m = -8 + 1. Which is bigger: m or -6?
-6
Let v be (3/2)/(12/32). Which is smaller: v or 11?
v
Let q(j) = -j - 4. Let z be q(-4). Let i(d) = -d**3 - 14. Let g be i(z). Is g > -14?
False
Suppose 5 - 1 = 2*b. Suppose -5*x = -b*p - 3248, x = -2*x + p + 1948. Let q = -4544/7 + x. Which is smaller: -1 or q?
q
Suppose 5*o + 5*n - 40 = -15, 0 = -5*n + 5. Which is smaller: o or 2?
2
Let b be (0 + -4)/(-2 - 156). Are -1 and b nonequal?
True
Let x be -2*(-1)/4*-2. Let u be (2 - (2 + x))*3. Is 5 < u?
False
Let x(h) = h**2 - 2*h. Let n be x(0). Let p = -5/2 - -27/10. Which is bigger: n or p?
p
Suppose -2*g - 53 - 33 = 0. Is -44 greater than or equal to g?
False
Let x be ((-20)/16)/((-16)/(-12)). Is 0 >= x?
True
Let p = 14 + -16. Is p at most as big as -4?
False
Suppose -4*s + 2*s + 6 = -2*u, 0 = 3*s - u - 11. Suppose -2*v = 3*k + 13, -4*k + 2 + 14 = -s*v. Which is smaller: k or -1/15?
k
Let q = -185 + 165. Are -3 and q equal?
False
Let t = 30 - 55. Is t greater than or equal to -26?
True
Let h = -0.09 + -0.31. Which is greater: -1/5 or h?
-1/5
Let l(n) = n**2 + 2*n + 2*n + 1 - 2*n. Suppose 4*c + 7 = 3. Let a be l(c). Is a greater than or equal to -2/3?
True
Let s be (-1)/(((-3)/3)/70). Suppose 0*o = -o + s. Let j be (1 + 1)*(-21)/o. Which is greater: j or -1?
j
Suppose -8*b + 29 = -7*b. Let i = b - 16. Which is smaller: 14 or i?
i
Let v be -2 + 0 + (-6)/3. Let n be (-11)/(-14) + 2/v. Which is smaller: n or -3?
-3
Let h = -3.9 + 4. Are h and -65 nonequal?
True
Suppose -6*i + i = 10. Let r = 13 + -10. Suppose 0 = -5*z - 3*n + r - 26, 4*n - 12 = 4*z. Which is smaller: z or i?
z
Let i be 36/63 - (-54)/(-119). Is i bigger than -1?
True
Suppose 0 - 10 = -5*u. Let f be ((-2)/(0 + u))/(-1). Is f greater than or equal to 1?
True
Let o(m) = -2*m - 9. Let i be o(-12). Suppose 2*k - i = -k. Let x be (-1*1)/(k + -6). Which is greater: x or -1?
x
Let k = 83.9 - 77. Let l = -7 + k. Which is smaller: 0 or l?
l
Suppose -2*r = -5*i + 15, -4*i - 15 = -9*i - 2*r. Let s(d) = d - 2. Let j be s(3). Are j and i nonequal?
True
Let k(u) = -u + 8. Let s be k(7). Let y be s/(-3) + 66/(-18). Which is bigger: y or -5?
y
Let q(a) = -a**2 + 2*a + 48. Let t be q(-6). Let j be (-15)/13 + 0 + 1. Are j and t non-equal?
True
Let z be (5/15)/((-1)/33). Let o = 4 + z. Let i = 3 + o. Is i greater than -5?
True
Let o = -9 - -14. Let g = -13 - -15. Suppose g*j - o = 3. Do j and 3 have the same value?
False
Let c = -70 + 212/3. Is -2/7 < c?
True
Suppose -6*f + 51 = -3*f. Which is bigger: 16 or f?
f
Let o be (0 - 3) + 216/60. Suppose -2*g + 5 = y + 3, 2 = y + 3*g. Let r be 0/((-1)/(y/4)). Is o equal to r?
False
Suppose -3*w = -3 - 0. Which is smaller: w or 1/23?
1/23
Suppose 4*o + 10 = 2. Let f(t) = -t**3 - t**2 + 3. Let q be f(0). Let z be 0/(0 - (q + -1)). Which is bigger: o or z?
z
Suppose 5*q + 5*i - 20 = 0, -3*i = 2*q - 13 + 3. Suppose -4*r - 3*f - 23 = 0, 3*f + 11 = r - q. Which is greater: 0 or r?
0
Let b = -0.2 - -0.2. Let p = 36 - 36.1. Is p greater than b?
False
Let d = -30.4 + 29. Let m = -0.4 - d. Are m and -3/2 unequal?
True
Let w = 136 + -1085/8. Which is smaller: w or 1?
w
Let f = -32 - -14. Let i = f + 12. Which is smaller: 1 or i?
i
Let v = -538/5 + 108. Let i be (-1)/(-2) + (-99)/(-6). Suppose -1 + 5 = 4*r - 4*a, r + i = -5*a. Are r and v non-equal?
True
Let q be 1*9/(0 + 3). Suppose z - q*m = -2*z - 3, 3*z = -5*m - 3. Are z and 0 equal?
False
Let k(h) = 2*h**2 + 17*h + 9. Let z be k(-8). Let i = -2407/13 + 185. Is i >= z?
False
Suppose 32 = -3*v - 0*t - 5*t, 2*t + 20 = -3*v. Let h be (v/(-10))/((-4)/15). Is h >= -1?
False
Let d = -39 + 37. Which is smaller: d or -13/5?
-13/5
Let v(b) = -b**3 - b**2. Let f be v(-1). Suppose f*p = -p. Let a be (-51)/(-15) - (3 - 0). Do p and a have the same value?
False
Let p be (-8)/30*(-25)/(-230). Are -1 and p equal?
False
Suppose 5*d = 3*x - 30, d - 10 = -5*x - 4*d. Suppose -4*c = 2*g - 6, 3 = x*g - 2. Is -0.1 less than c?
True
Let u = -90 - -90.78. Let b = 2.2 - 3. Let r = u + b. Are 0 and r equal?
False
Suppose t - 5*t + 4 = 0. Which is smaller: t or 3?
t
Suppose 0 = 5*r - r. Suppose -1 = 3*j + 4*m, -2*j + 3 = -r*j - m. Which is bigger: j or -3/7?
j
Let c = -0.9 + 1. Is -5 greater than or equal to c?
False
Let f be (-9)/(-7) + (-12)/42. Let g be 4/6 - f/(-3). Is g at least as big as -2?
True
Let m(b) = b**2 - 3*b - 1. Let i be m(3). Suppose -4*z + 22 = 5*o, 0*o = -3*z + 3*o + 3. Suppose r = 2*t + 1, 4*t + 1 = z*r - 0*r. Are i and r equal?
True
Let o = 0.05 + -0.02. Let i = -0.31 + 0.08. Let t = o + i. Is -0.2 smaller than t?
False
Let g be 30/9*(0 + -3). Let a be (0 - 0)/(-11 - g). Which is smaller: a or 1?
a
Let p = -104 + 197. Let t = -149 + p. Let j = -170/3 - t. Which is bigger: j or 3?
3
Let r be 1/1*4*-2. Let a be 4/r - 2/4. Let k = 0.7 - 0.6. Is k smaller than a?
False
Suppose 0*s = -s - 3*b - 8, -s = -b. Let n(k) = 10*k + 76. Let c be n(-8). Which is greater: c or s?
s
Suppose -3*n + 7 + 12 = 5*u, 6 = 2*n. Suppose u*h + 0*h = 10. Is 5 >= h?
True
Suppose -2*k - x - 3 = 0, 0 = -2*k + 4*x - 1 + 13. Suppose k - 1 = p. Is -1/5 less than p?
False
Let w = -72.2 + 74. Which is smaller: w or -2/5?
-2/5
Suppose 3 = -5*z + 2*t - 7, 0 = 5*z + t - 5. Let k = -36 + 36. Is k equal to z?
True
Suppose 1 = -p, -2*p + 7 = 2*x + 3. Let j be (-1 - 2)/(0 - 1). Are x and j nonequal?
False
Suppose 4*t = -4*i - 2 - 6, -2*t = -i - 5. Do t and -6/65 have the same value?
False
Let u = 2/81 + -176/567. Let v = 1/21 - -52/231. Do u and v have the same value?
False
Let u(w) = -w**3 + 7*w**2 + 18*w + 13. Let j be u(9). Suppose 0*g - 13 = -g. Do g and j have the same value?
True
Let u be (-1 + (1 - -1))/(-1). Let p be -1 + -5*(-3)/45. Which is greater: u or p?
p
Let a(r) = -2*r - 1. Let u(x) = -x**2 + 8*x - 10. Let l be u(4). Let y be a(l). Which is greater: -14 or y?
y
Let v = 6.9 + -6. Let q = v - 1. Let d be (-25)/(-68) + (-4)/16. Is d at most as big as q?
False
Suppose 0 = -s + 1 - 3. Let u = -4 - -8. Which is greater: u or s?
u
Let k = 641 - 35895/56. Is k smaller than -1?
False
Suppose -4 = -2*h + 2*r, 0*h + 2*h + 2*r + 8 = 0. Suppose 2*w + 2*w - 8 = 0. Suppose 2*y = 3*d + 3, 5*d = 3*y + w - 7. Is h bigger than d?
False
Let a be 0 - -1 - (2 - 1). Let q(m) = -m - 2. Let f be q(2). Let t be 16/(-56) - f/14. Is t at most as big as a?
True
Let m(t) = -t**3 + 4*t**2 + t - 2. Let r be m(4). Suppose -2*v + 8 = -5*q, -3*v + 10 = -r. Let f be (18/(-45))/((-8)/(-10)). Are f and q unequal?
True
Let n(k) = -k**3 + 9*k**2 + 9*k - 10. Let j be n(10). Is j less than -21?
False
Let k = -29 - -45. Suppose 4*r = -3*w - w + k, -w + 2*r - 8 = 0. Let h be -1 - (-6)/(-4)*-1. Is h != w?
True
Let h be ((-18)/15)