-2. Let c be (-10)/3 - r/(-18). Is c greater than -5?
True
Let r be (4 - 0) + (-5)/((-1000)/(-832)). Let y = 7 - 7. Is r <= y?
True
Suppose 4*q - 40 = y, -3*q - 3*y + 4*y + 31 = 0. Suppose -5*k = -2*k + q. Is -2 > k?
True
Let k = 66 + -329/5. Which is smaller: k or -0.02?
-0.02
Let k(b) = 2*b**3 - b**2. Let j be k(2). Let g be (-2)/j*20/5. Which is greater: g or 0?
0
Let w(k) = 2*k**3 - k - 1. Let f be w(-1). Is f <= 4?
True
Let a = -14 + 14. Let j be (-3)/(-15) - 13/40. Which is greater: j or a?
a
Let g = -4 - -10. Let o(x) = -x - 1. Let d be o(-5). Let p be g/8*d/5. Which is greater: 0 or p?
p
Let x(g) = -g**2 + g + 1. Let m be (0 + 4)*1/(-4). Let q be -2 + 3 + m + 2. Let l be x(q). Do -2/3 and l have the same value?
False
Let i be -21*1/(-44) + 7/(-28). Is 0 < i?
True
Let t be (3/(-6))/1*-4. Let r be (t/35)/(3/15). Is r != -1?
True
Suppose 3*h + 3 = -4*o, 0 - 12 = 2*o - 2*h. Let i = -2 + o. Is -5 <= i?
True
Let w(u) = -u**3 + 10*u**2 - 7*u - 12. Let p be w(9). Is p at most 6?
True
Let a be 2*(3 + 13/(-2)). Let s be (-1 - a) + (-2)/1. Is s greater than 5?
False
Let d(z) = z**2 - z - 15. Let l be d(-5). Do 16 and l have the same value?
False
Suppose -10*k - 15 = -13*k. Suppose -3*h + k = -8*h. Suppose 5*r + 30 - 8 = 3*n, -2*r + 4 = 2*n. Which is smaller: r or h?
r
Suppose 0 = 40*r - 37*r + 3. Which is greater: -1/66 or r?
-1/66
Let q(h) = h**3 + 9*h**2 - 11*h - 11. Let t be q(-10). Let m be (-10)/(-40) + t/(-28). Which is bigger: 2/5 or m?
2/5
Let p(g) = -4*g**2 + g. Let u = -21 + 22. Let c be p(u). Which is smaller: c or -2?
c
Let o(q) = -2*q**2 + 2*q - 3. Let j be o(3). Let r be -3 - (j/9 + -1). Which is bigger: r or 0?
0
Let c = 2/35 + 52/315. Let z be ((-3)/(-3) - -1)/(-2). Is c at most z?
False
Let f = 123 + -123.1. Is f > 2/21?
False
Let h = -32 + 350/11. Let b be -2 - (-1 - -7)/(-2). Which is smaller: h or b?
h
Let l = -3.9 - 0.1. Let u = l + 2. Let c = u + 2. Are 0.2 and c equal?
False
Suppose 0 = -0*v + 4*v + 3*z + 25, 5*z = -15. Let t(p) = -p**3 - 5*p**2 - 5*p - 1. Let c be t(v). Is 3 at least c?
True
Let l = -2.1 + -3.6. Let f = l - -10.6. Let p = f - 5. Which is smaller: p or 0?
p
Let f = -6 + 21. Is f < 15?
False
Let h(f) = f**3 - 2*f. Let o be h(-2). Do -12 and o have the same value?
False
Suppose -1 + 11 = -5*x. Suppose -5*g = -0*g - 3*p + 1, -3*g - 5 = -4*p. Suppose 2*r = -r, r = -k - g. Is k <= x?
False
Suppose 0*f - f + 4 = 0. Suppose -3*i - 9 = -2*c, 2*i = 7*i - f*c + 17. Is i at most as big as 4?
True
Let w = 15 - 11. Suppose w*t - 5*f = -7, -12 = t + 5*f - 4. Which is smaller: t or -4?
-4
Let b = -55 - -55.01. Let o = 8 + -8.06. Let j = o + b. Is j greater than 0.1?
False
Let u be (-2)/9 + (-29)/(-9). Suppose -5*d + a = -27, d + 2*a + 19 = 4*d. Let v be (-2)/d - u/5. Which is greater: v or -1/3?
-1/3
Let w(t) = -t**3 - t**2 + t. Let k be w(1). Is -14/11 at most as big as k?
True
Suppose 0 = 2*g + w - 11, 5*g + 0*g - 10 = w. Let m be 0/(0 - 12/g). Do 0 and m have the same value?
True
Let x = -75 + 529/7. Does x = -1/4?
False
Let x(c) = 17*c - 9*c + 1 - 6*c. Let g be x(4). Is 7 not equal to g?
True
Let w = -0.5 - -0.3. Suppose -d = -5*a + 1, -a - 2 = -3*d - 33. Let x = -9 - d. Which is greater: w or x?
x
Let u be (2/(-1))/(6/(-9)). Is u smaller than 3?
False
Let d = -44433 + 399139/9. Let f = -84 - d. Is f > 1/3?
False
Let k = -6 - 97. Let g = k - -719/7. Is 0 greater than g?
True
Let v be (-1 - 1)*(-2)/(-6). Suppose -5*l = 10 - 0. Which is greater: l or v?
v
Let r = -8.9 - -9. Are r and -1/2 non-equal?
True
Let d = 2 - -6. Let h be (-20)/(-1) - (-2 - -2). Suppose 0*k + 2*k - d = 4*p, 5*k - h = -3*p. Which is smaller: k or 1?
1
Let d = 6 - 14. Is d equal to 0?
False
Let i = -11 - -11.2. Which is bigger: -2/5 or i?
i
Suppose 2*c + 5 = 15. Let b(o) = 2*o + c*o - 3*o - o**2 + 2*o**2. Let v be b(-4). Do 0 and v have the same value?
True
Let p be 274/15*(-21)/(-686). Let w = 2/49 + p. Let n be 0 - (1/1 + -1). Is n greater than or equal to w?
False
Let m = 179/9 - 20. Let t = -1/9 + m. Is t at most -0.03?
True
Let r = 65 - 1104/17. Which is smaller: 1 or r?
r
Let b be (-5)/12 + 2/8. Let y = -0.24 + 0.14. Do b and y have the same value?
False
Suppose m = -x, -3*x + 3*m + 6 = -0*x. Is x not equal to -6/29?
True
Suppose 3*g + 3 = 4*p, 5*g + 4*p = 2*g - 3. Let o(c) = c**2 + 4*c + 9. Let j be o(-6). Let l be (-54)/j - -3 - 1. Is l at most as big as g?
False
Suppose -57 = -5*l + 13. Suppose -4*q + q - h = -l, 4*h - 6 = -2*q. Is q not equal to -0.1?
True
Let c(v) = -v**3 - 4*v**2 - 4*v - 1. Let x be c(-3). Let s(z) = -z**3 + z**2 + z + 2. Let b be s(x). Is -1/5 bigger than b?
False
Suppose 4*j - 4*i - 16 = 0, i = 4*j - i - 22. Suppose d - 5 = 6*d. Which is smaller: j or d?
d
Let t be -5 - (5 - 8) - 4. Which is smaller: -2 or t?
t
Suppose 8 = -4*d, 0 = 5*x - 0*d - 3*d - 1. Is 1/6 at most as big as x?
False
Let m(w) = -w**2 - 9*w + 8. Let q be m(-10). Let x be ((3 - 1)/q)/1. Which is smaller: -3 or x?
-3
Let c be 18/(-21) + (-6)/(-21). Let j = -13 - -21. Suppose -3*b + j = -4*l, 3*l + 10 = -2*l - b. Which is greater: l or c?
c
Let m be 3/(-6) + (-36)/(-8). Suppose 0 = -v - 5*q + 16, 5*q - 17 = -v - v. Which is greater: m or v?
m
Suppose -5*g = -2*g - 18. Are g and 7 equal?
False
Let t = 523 - 5747/11. Which is greater: 1 or t?
1
Let r = -72.5 - -73. Are r and 6 unequal?
True
Suppose -p - p - 3*k = 14, -17 = p + 4*k. Let l be -7 - 1/(p/2). Let r = -5 + 2. Which is smaller: r or l?
l
Let t(r) be the third derivative of r**4/24 + r**3/2 - 3*r**2. Let v be t(-2). Are 2/9 and v nonequal?
True
Let c be (9/(-6))/(9/12). Let r be -3*((-2)/c - -1). Is -5 at least r?
True
Suppose 3*w = a + 20, 0 = -2*w - a - 2 + 12. Suppose h = 0, b + b - h + w = 0. Is b >= -3?
True
Let z be (-4)/(-6)*(-3)/(-12). Suppose 0*w + 4*v - 12 = -w, -3*v + 28 = -4*w. Let d be (2/w)/((-1)/(-2)). Which is smaller: z or d?
d
Let k = -18 - -17. Which is greater: k or -2/15?
-2/15
Let v = -8 + -20. Let s = -32 + v. Let m be 9/s - (-4)/10. Are m and 1 non-equal?
True
Let y = 733/7 - 105. Let u = 1 + -1. Suppose u*s = -3*s + 3. Is s >= y?
True
Let l(y) = -y**3 + 7*y**2 - 1. Suppose 0*j + j = 7. Let k be l(j). Is -2 greater than or equal to k?
False
Let k = -3 + 2.7. Let f = -2 + 1. Which is bigger: k or f?
k
Let q = 239/1133 + -3/103. Let r = -0.8 + 2. Let l = r - 1.2. Which is smaller: l or q?
l
Suppose 3*g + 5*y = 7, 0 = 2*g - 3*g - 5*y + 9. Are g and -2/51 nonequal?
True
Let v be (1 + -2 + 2)*3. Is v at least as big as 5?
False
Let g be -11*(0/(-5) - -1). Which is bigger: g or -88/9?
-88/9
Suppose -8*k - 5 = 35. Which is smaller: -2 or k?
k
Let x be (11 - 1)/(5/(-20)). Which is greater: -42 or x?
x
Let q = -5 - -10. Suppose 0*j = q*j - 20. Suppose 0 = -j*z - 5*r + 10, -5*z = -4*r + 2*r - 29. Are 4 and z non-equal?
True
Let r = -257/7 - -37. Which is smaller: r or -1.1?
-1.1
Let c = -23 + 23. Suppose f + 4*u = -9, -2*u - 3 = 2*f + u. Let v be (2/3)/(f/(-9)). Does c = v?
False
Let u = -4 + 9. Let g = 0.07 - 7.07. Let b = u + g. Is b less than -1?
True
Suppose 2*k + 0*a + 5*a = -31, -k - a - 11 = 0. Which is smaller: k or -9?
-9
Suppose 2*d = 3*d - 15. Let n be 2/12 + 5/d. Which is greater: -2/7 or n?
n
Suppose 5*y = 15, z - 9 = 4*z - 3*y. Suppose 4 = r - 2*r. Let c be (-4 - 0 - r) + -1. Which is greater: z or c?
z
Let y(z) = z - 6. Suppose 8*f = 5*f + 21. Let v be y(f). Which is smaller: v or 1/5?
1/5
Let h be (-3 + (-11)/(-3))*-9. Let q = h + 5. Is q != -12/13?
True
Let b = 5 + -3. Suppose b*s = s. Suppose 0*y - 5*y = s. Is y > 1/10?
False
Let f = -95 + 77. Is f greater than or equal to -20?
True
Let v = 0 - 0. Let m(o) = -34*o - 3. Let q be m(-3). Let a be (-4)/18 + 220/q. Is a < v?
False
Suppose 5*d - h = -13, 2*h = -d - 2*d - 13. Let x be -3 + 2 + -2*1/2. Is x equal to d?
False
Let g be (-3)/(-60) - (1/(-4))/(-1). Is 0 at least as big as g?
True
Suppose -3*b = -d - 5*b + 4, -2*d + b = -3. Which is smaller: d or 4?
d
Let p be (-14)/(-4) - 2/4. Let r = p + -2. Is -1/4 at least r?
False
Suppose -4*u - 14 = 3*y + 4, 2*u = 6. Is y < 0?
True
Let u be (-2)/10*-6*(3 + 2). Let p(k) = k**2 + k. Let z(t) = 7*t**2 + 1. Let w(d) = 6*p(d) - z(d). Let g be w(u). Is -6/11 bigger than g?
True
Let h be (-23)/60 - (-2)/8. Let q be (-2)/7 - 30/(-7). Suppose -q*v + 2*v + 2 = 0. Which is sma