ose -5*a + 4 + 1 = 0. Is a < 6/11?
False
Suppose 0 = 5*m + 66 - 11. Which is greater: -10 or m?
-10
Suppose -o - 8 = o. Let r = -2 + o. Let s be (4/r)/((-2)/6). Is s at most as big as 1?
False
Let x = 18 - 20. Suppose -t - 15 = 4*t + 5*k, -3*k = -2*t + 9. Suppose -5*c = -t*c + 10. Are c and x non-equal?
False
Suppose -11*d + 6*d = 145. Which is smaller: d or -27?
d
Let z be 1/(-2) - (-4125)/372. Let q = z - 150/31. Let u = q - 6. Is 1 < u?
False
Let g(f) = -3*f + 51. Let k be g(0). Suppose 4*m + k = -t, -5*t = -5*m - 0*t - 70. Is m at least -13?
True
Let l = 0.2 + -0.2. Let q = -0.93 + -0.07. Let o = q + 7. Is o less than l?
False
Let q = 2417/5 + -481. Are 3 and q nonequal?
True
Let x = 1144/5 + -230. Is x less than -1?
True
Let j(i) = -i**3 - i**2 - i - 2. Let z be j(0). Let a(x) = x**3 + 7*x**2 + 6*x - 3. Let k be -2 - (-4)/((-1)/1). Let p be a(k). Which is bigger: p or z?
z
Let h = 573.2 + -601.21. Let z = h - -29. Let y = z - -0.01. Which is greater: y or 2/5?
y
Suppose -5*r + 97 = 3*u, u = 3*r - 0*u - 47. Let j = r + -19. Is j > -1?
False
Let n = 525 + -3666/7. Which is greater: n or 0?
n
Let h be (-6)/(-14) - (-302)/14. Are h and 25 unequal?
True
Let o be (-1)/1 - 1/4. Suppose 0 = -4*j - 0*j. Which is smaller: j or o?
o
Let h be 134/(-14) + (-6)/(-21). Let d = h - -67/7. Let x = -2 - -3. Which is smaller: d or x?
d
Let n(c) = -c**3 - 24*c**2 - 22*c + 22. Let s be n(-23). Which is bigger: 2/11 or s?
2/11
Let i be 20/15 + (-2)/(-3). Is i greater than or equal to -2?
True
Let a = 7/15 - -14/15. Is a greater than or equal to 2?
False
Let i = 67/46 - -1/23. Let q be 1*0/(-2)*1. Suppose 0 = -q*x - 2*x - 5*b, 0 = -5*x + b. Which is smaller: i or x?
x
Suppose 10*g = -104 - 306. Is -39 < g?
False
Let h = 9 + -14. Let j = 0.093 + -1.093. Which is smaller: h or j?
h
Let r = 11 - 8. Let x be r + (-7 - (-2 + 1)). Is x at least as big as -1/4?
False
Let s = 43 + -46. Which is bigger: 3 or s?
3
Let n(i) = i + 6. Let o be n(-3). Suppose -9 = -2*q - 1. Suppose -q*u - 7 = -o. Does 3/10 = u?
False
Let r = 2.35 + -1.09. Let o = -1.4 + r. Which is smaller: -2/7 or o?
-2/7
Suppose -6*h + 6 = -3*h. Let q be 3 + 0 - 0/(-3). Which is smaller: h or q?
h
Suppose 0 = 2*z - 10. Is 5 at least z?
True
Suppose -4*h + 13 = -b, -4 = 2*h - 5*h - 5*b. Let l be (4 + -7)/(3/(-2)). Which is smaller: l or h?
l
Let r(w) = w + 4. Let z be r(-3). Suppose -d - 1 = 5*s, 2*d = -5*s - 0 - 2. Suppose -6*i + i = s. Is i not equal to z?
True
Let k(u) = 7*u**3 + 7*u**2 - 6*u + 1. Let q(z) = 6*z**3 + 6*z**2 - 5*z + 1. Let t(p) = 5*k(p) - 6*q(p). Let v be t(-2). Suppose 3 = g - 0. Is g <= v?
True
Let m = 1.3 - 2. Let q = 65 + -65.8. Let w = q - m. Which is smaller: w or 5?
w
Suppose 0 = 74*d - 78*d + 4. Which is bigger: d or 2/45?
d
Let z = 2361/5 + -474. Are -1 and z unequal?
True
Let j = 8 + -12. Which is smaller: j or -3?
j
Let g be 0*(0/(-2) - (-3)/(-9)). Which is greater: g or 2/13?
2/13
Let u(j) = 15*j**2 - 2*j + 1. Let d be u(1). Which is bigger: d or 13?
d
Let g = -3.1 - -3.2. Let c = g + -0.1. Let s be 4/(-10) - (-6)/(-10). Is c != s?
True
Let r = -179 - -152. Do 0 and r have different values?
True
Suppose -3*z = 2*z + 35. Which is smaller: z or -6?
z
Let r(h) = h**2 - 7. Let x be r(0). Is x smaller than -7?
False
Suppose 2*n - 8 + 0 = 0. Suppose 0 = -3*d - d - n. Which is greater: d or 3/8?
3/8
Let s(i) = i + 4. Let p be s(-3). Let k = 361 - 1457/4. Let d = 19/4 + k. Which is greater: d or p?
d
Let k = 4 - 5. Is k < -10/9?
False
Let r be (-2)/(-6) - (35/(-25))/(-7). Which is bigger: r or 1?
1
Let w(h) = 6*h - 24. Let a be w(3). Is a equal to -6?
True
Suppose 2*y = m + 10, -2*y - y + 4*m + 20 = 0. Suppose -1 = -y*c + 3. Are -8 and c nonequal?
True
Let q be (2 + 0)/((-2)/4). Let c be (-2)/q + 2/(-4). Let x = -2/43 - -55/258. Is x smaller than c?
False
Let l = 9 - 6. Suppose -4*c = -9 - l. Is c bigger than 9/5?
True
Suppose 0 = 4*n + n. Suppose -2 - 10 = -4*d. Let s = 3 - d. Is n < s?
False
Let v = 87 + -183/2. Suppose -5 = -5*b, -20 = 3*o - 4*b + 2*b. Is o at least as big as v?
False
Let h be (-683)/(-30) + (-8)/12. Let g = -45/2 + h. Let v be (1 - 0)*(1 - 0). Is v > g?
True
Suppose -2*a + 6*a = 0. Suppose 8*i - 4*i - 8 = a. Suppose -d = d - i. Are d and -2/13 non-equal?
True
Suppose 3*b = 4 + 2. Suppose 0 = -b*u - u + 3. Is u less than or equal to -1/3?
False
Suppose 4*x = 3*x. Suppose x = g - 2*g. Suppose -d - n + 2*n = -2, 0 = 5*d - n - 6. Which is smaller: g or d?
g
Let s = -12.9718 - 0.0982. Let k = s + 13. Which is greater: -1/2 or k?
k
Suppose 14 = 3*m - 5*v - 9, v + 8 = 4*m. Let o(x) = -3*x - 3. Let p be o(-6). Suppose 3*h + 0*d = 3*d + p, 15 = -3*d. Which is bigger: m or h?
m
Suppose -3*y + 2 = -y. Let l(u) = u + 3. Let i be l(0). Suppose -i*o + 0*o = 0. Is y at most o?
False
Suppose 0 = 3*s + 6, -4*h - 2*s = 3*s + 14. Suppose -q = 3*a - 13, 56 = 5*a - 3*q + 11. Let o = a + h. Is 4 at least as big as o?
False
Suppose 3*n = -3*k - 2*n - 132, -3*k - n - 120 = 0. Is -39 >= k?
True
Let b = 3 + -1. Let n be b/(-3) - 2/(-6). Is 1 less than or equal to n?
False
Let g = -2495/9 + 278. Are g and 2 equal?
False
Let o = 18 - 21. Which is smaller: -4 or o?
-4
Let v be (-2 - 28/(-9))/(6/3). Which is bigger: 2 or v?
2
Let q be 2/(-1) - 3*(-7 - -3). Which is bigger: q or 11?
11
Let k(f) = f**3 + f**2 - f + 18. Let g be k(0). Let d be -1 + g/(2 + -5). Which is bigger: -5 or d?
-5
Let u = 3 + -2. Let s = 1 - u. Let h = -33 + 33.1. Which is bigger: s or h?
h
Suppose -j = 4*j - x - 8, -4*j + 3*x = -2. Suppose 4 - 6 = -j*c. Is c < -0.1?
False
Suppose -3*b - 15 = r, -2*r - 4*b - b - 25 = 0. Suppose r = -p - p + 2. Which is greater: -1/6 or p?
p
Let m be (-2 - -4)*(-2)/1. Let i = -2 - -2. Suppose -3*w - 7 + 1 = i. Is w at least m?
True
Let w(n) = -n + 8. Let j be w(-8). Suppose 4*p + j = 0, 3*k - 4*p = -2*k + 46. Suppose -6 = -4*h + k. Which is bigger: h or 4?
4
Suppose 2*p - 37 + 13 = 0. Let s = 86/7 - p. Which is greater: -1 or s?
s
Let c = 12 + -121/10. Let w = c + 3/5. Which is smaller: w or 2?
w
Let q be (-2)/(-6) - 28/(-6). Let i = 0 + q. Does 5 = i?
True
Let a(o) = -o**2 + 2*o - 1. Let g(u) = 3*u**2 - 7*u + 2. Let y(h) = 11*a(h) + 4*g(h). Let m be y(6). Let c be (0 - -1)/(m/(-9)). Which is bigger: c or 4?
4
Let t = 1.4 + -1.5. Let m(u) = u + 1. Let b be m(-3). Let f be (0 - 1)/(-3)*b. Is t at least f?
True
Let j(r) = r**3 + 3*r**2 + r + 1. Let o be j(-3). Let i be (-14)/(-7) + 0/o. Suppose 0 = -2*s - 4*p + 12, 5*s = -5*p - i + 22. Which is greater: 1 or s?
s
Suppose x = 2*n - 0*x - 12, 0 = n - 4*x - 13. Suppose n*o = 5*a, 0*o = -3*a - 3*o - 6. Is a smaller than -1?
False
Suppose -3*y - 27 = -3*l, y - 5*l + 12 = -9. Let j = -11 - y. Let p(v) = -v - 2. Let r be p(2). Which is bigger: r or j?
r
Let x be 1 + -2 + 6/9. Let n = 1 + -2. Which is bigger: x or n?
x
Let g(v) = -v**3 + v - 2. Let p be g(2). Let m(i) = -i - 1. Let b be m(p). Is 6 smaller than b?
True
Let a = -224/3 + 74. Which is smaller: a or -1?
-1
Suppose -3*i + v - 7 = 0, -3*v + 2*v + 13 = -5*i. Which is greater: 1 or i?
1
Let p = -2 + 1.97. Let w = p - -0.06. Is 1 less than or equal to w?
False
Let d be ((-2)/(-10))/(8/30). Let m(a) = -a**3 - 5*a**2. Let z be m(-5). Let s = 0 + z. Which is smaller: d or s?
s
Suppose 53 = 2*p + 9. Suppose 2*j - 12 = -2*c - 0*c, 4*j = -5*c + p. Let x = -18 + 26. Is j at most as big as x?
True
Let g be -1*(-5 - (0 + -10)). Let p = -5/8 + -39/8. Which is greater: p or g?
g
Let n = -36 - -36.4. Do -0.1 and n have different values?
True
Suppose r = 4*r - 9. Suppose 34 = 5*z - 4*v, -1 = z + 4*v - r. Suppose -f - f = z. Is f greater than or equal to -3?
True
Suppose -o + 15 - 7 = 0. Do 9 and o have the same value?
False
Let n = 2.6 - 3.7. Let i = -0.09 - 0.91. Let b = i - n. Which is bigger: 1/4 or b?
1/4
Suppose 2*m - 5*w - 21 = -2*m, -5*m - 10 = w. Are m and -3/19 equal?
False
Suppose -3*p + 2 = -p. Suppose d - 4*d - 2 = -2*x, 5*d + p = x. Which is greater: d or 4?
4
Let b = 31/60 + -4/15. Which is smaller: -1 or b?
-1
Let u = 22 + -32. Which is smaller: -8 or u?
u
Let q be (-10)/(-25) + (-28)/(-5). Suppose r = -r + q. Let f be (0 - r)*(-1)/(-5). Are -1 and f equal?
False
Let x(i) = i**3 - 10*i**2 + 8*i + 10. Let s be x(9). Let n = s - 3. Does n = -0.1?
False
Let f be (-96)/(-189) + 4/(-14). Wh