- 21 = 0. Is -3 greater than or equal to y?
True
Let n(h) = h**3 + 8*h**2. Let z be n(-8). Are 1/5 and z equal?
False
Suppose 0 = 4*z - 16, -5*y = -0*z + 5*z - 30. Suppose -5*w + 4*u - 1 = y*u, -2*u - 6 = 2*w. Which is greater: w or -3/7?
-3/7
Suppose -4*d = 13 - 33. Suppose -v + 3 = -2. Suppose -5*q - v = -2*r, 2*q - 2*r + d*r + 21 = 0. Is q less than -5?
False
Suppose 3*w + 3 = -3. Let l(k) = -k**3 - 7*k**2 + 2*k - 3. Let g(h) = -h**3 - 8*h**2 + 3*h - 3. Let v(y) = -4*g(y) + 5*l(y). Let t be v(-2). Is t equal to w?
False
Let a be (-2)/(-7) - (-96)/(-140). Let g = -2.7 + 3. Is g > a?
True
Let a(c) = -c**3 - 7*c**2 - 8*c - 9. Let l be a(-6). Let n be 5 + (l + -1)/2. Let u be 1 - (8/n - 1). Which is smaller: u or 0.3?
0.3
Let i = 48 + -34. Let v = i - 14.07. Which is smaller: -1 or v?
-1
Suppose -4*t - 14 = 3*n - n, -n + 2*t - 3 = 0. Let j(x) = x**3 - x**2 - 2*x - 2. Let s be j(-2). Let v = s - -6. Which is smaller: v or n?
n
Suppose x = 4*b - 1, -3*b - b + 2*x = -2. Let r = 684/5 - 136. Is r smaller than b?
False
Suppose -5 - 3 = -b - 3*i, 2*b - 2 = i. Suppose -r = b*r. Let s = 0 - r. Which is smaller: 2/5 or s?
s
Let b = -3076907/63 + 48838. Let j = 11/9 + b. Which is greater: -2 or j?
j
Let f = -6 + 8. Let a be 6/(-9)*(24 + 0). Let o be (-10)/12*a/(-40). Which is smaller: o or f?
o
Let m be (1 - 0) + (-4)/(-1). Suppose -4*o + 4*s + 17 + 3 = 0, 2*o + 4*s - 4 = 0. Which is bigger: m or o?
m
Suppose -5*i + 25 = 5*y, 16 = 3*i + i. Which is bigger: y or -1?
y
Let u be (0 + 0 + 3)/1. Suppose -u*d = d. Suppose 0*v + v = d. Which is smaller: -1 or v?
-1
Let g = -5 + 5. Let z be -1 + 3 - g - 3. Which is greater: z or -5/4?
z
Let j = 3 + -1. Suppose j*p - 1 = 4*q + 5, 4*q = -p - 15. Is -5 equal to q?
False
Let v be ((-6)/(-11))/(-1) + -7 + 7. Which is smaller: -2 or v?
-2
Let j = -155 + 154. Do j and -1/17 have different values?
True
Suppose h + 4*h + 2*a - 36 = 0, -30 = -3*h - 4*a. Let n be (-12)/8*16/h. Let k(l) = l**3 - 4*l**2 + l + 1. Let f be k(2). Does f = n?
False
Suppose 2*k - 16 = -2*t - 0, 2*k - 4 = 2*t. Suppose 0 = 3*p - t*z - 2*z, 4*p - 29 = -3*z. Is p at least 6?
False
Let u = -293/546 + 7/39. Let q = u + 11/70. Which is smaller: q or -5?
-5
Let y = 16.5 - 16.5. Which is greater: -4.3 or y?
y
Let z = 67/55 + -7/5. Does z = 0?
False
Let y = -13 - -19. Suppose -3*v = -3*z - 6, 5*v + 2*z + y = 16. Let i be (v + -4)*(-2)/4. Is i at least -1?
True
Let n = -0.5 + -71.5. Which is smaller: 0.1 or n?
n
Let p(s) = -s**2 + 15*s - 47. Let t be p(8). Does t = 7?
False
Let k(i) = -i**3 + 11. Let h be k(0). Suppose 2*t = -t + 30. Is h != t?
True
Let a = 4.1 - 4. Let k = -3.2 - -1.2. Is k < a?
True
Suppose 4*x - 5 = 4*b - x, b = -3*x + 3. Suppose b = 4*q - 6*q. Is 1/6 at least q?
True
Let w = 1 + -1. Let u = -50 + 51. Which is smaller: u or w?
w
Let y be (4/6)/(304/(-18)). Let i = -319/380 - y. Which is smaller: i or -2?
-2
Let v = -16 + 16. Is v != 35?
True
Suppose t + t - 50 = 0. Let k = t + -15. Suppose -4*h + k = h. Which is smaller: h or 3?
h
Let x be 2/(-4)*2*5. Suppose 5*d = -5*z - 5, 11 = 5*z - 4*z + 4*d. Is x not equal to z?
False
Let u be -3 + (2 - (-250)/3). Let r = u - 83. Which is greater: r or 0.1?
0.1
Let r = 1 + 0.4. Let a = 3.6 - r. Let i = a - 2. Is 1 at least as big as i?
True
Suppose -4*h = 2*f + 50, -4*f - 3*h - 43 = 52. Do -24 and f have different values?
True
Suppose -3*l - 23 = 5*c + 39, -2*c - 36 = 4*l. Which is greater: c or -12?
c
Let r(w) = -w**3 - 24*w**2 - 24*w - 24. Let u be r(-23). Let q = 0.2 - 0. Let c = 0.3 - q. Is u equal to c?
False
Suppose -5*g = -5*i - 10, -3*g - 2 = i - 8. Let m = -2 + g. Let n be -1*(-2 - -2) + 0. Is m greater than or equal to n?
True
Suppose -8 = -2*x + 2, 2*h = -4*x + 26. Let k be (0 - 1/h)*-3. Let d be 0*(-1 - -2) + -1. Which is smaller: d or k?
d
Let v = 12.9 + -12. Let j = 0.81 + 0.19. Let y = v - j. Which is smaller: y or 1/4?
y
Let y = -474621/10 + 47347. Let j = y + 115. Is 0 less than j?
False
Let h = -505/1139 - -10/67. Is 0 <= h?
False
Suppose 2*n + 4*i + 202 = 0, -n - 61 - 38 = 3*i. Let y = 1363/13 + n. Let q(a) = -a + 4. Let d be q(3). Which is greater: y or d?
d
Let l(a) = -3*a**3 - a**2. Let u be l(-1). Suppose u*t = -3*t + 30. Let c be (-26)/12 - (-1)/t. Is c less than 0.2?
True
Suppose -2*g = -4*g. Let a be ((-3)/(-32))/((-1)/(-4)). Which is smaller: a or g?
g
Suppose r + 5 = 4*p - 7*p, -2*p - 4 = 0. Let b = 142 + -707/5. Which is smaller: r or b?
b
Let q(v) = -v**2 + v - 1. Let w(s) = -s + 2. Let h be w(0). Suppose -4*m = -z - 1 - 4, h*z = -2. Let b be q(m). Which is bigger: b or -4/3?
b
Let p be (-2)/11 - 18/(-99). Which is smaller: p or 1?
p
Let n = 13/18 + -2/9. Let d be (-31)/(-5) + 2/(-10). Let r = d - 5. Is r bigger than n?
True
Suppose 2*p + 27 = 5*p. Let y = -6 + p. Let d be -5*-1*(y + -2). Is 6 not equal to d?
True
Let p = -5.2 + 5. Let y = 29 - 32. Which is greater: y or p?
p
Let w = 8 + -4.6. Let o = w - -0.6. Let b = o + -1. Does 0.1 = b?
False
Let c be -16 - -18 - 38/22. Is c >= 1?
False
Let r = 1 + 0. Suppose 3*n = -8 + 2. Let y be 0 + (n/2)/(-14). Which is greater: y or r?
r
Let r = 0 - -4. Let i = 3.9 - r. Are -2/5 and i equal?
False
Let l(j) = j - 9. Let d be l(9). Let s = d - 2/13. Which is smaller: s or -1?
-1
Let i = 5 + -5. Suppose -9*x + 4*x - 10 = i. Let a = 0.01 + 0.19. Is x smaller than a?
True
Suppose f - 9 = 4*f. Let p = 8 + -6. Suppose h - p*h + 5 = -2*n, 5*h - 25 = -2*n. Is n greater than f?
True
Let q(r) = -r + 9. Let d be q(8). Which is smaller: -18 or d?
-18
Suppose 3*o + 11 - 32 = -2*a, 2*o = 2*a + 4. Is a not equal to 0.02?
True
Let y(g) = -4*g - 3. Let u be y(-2). Is u bigger than 5?
False
Let a(w) = w**3 - 4*w**2 - 6*w + 8. Let g be a(5). Let v be (-4)/2 + (-85)/(-20). Is g at least v?
True
Let n = 986/15105 - 8/265. Which is smaller: -1 or n?
-1
Suppose -2*q - q = 3*s, s + 4 = q. Let c be (-6)/(-4)*q*1. Is 3 > c?
False
Let j be (-84)/(-18)*(-2)/(-4). Is j greater than or equal to 3?
False
Let r = -23/21 - -3/7. Let f = -4 + 3. Which is smaller: r or f?
f
Let x be (-11)/60 + (-6)/15. Is -2 less than x?
True
Let b be (4/28)/((-12)/(-14)). Let g be 2/6*(-3)/1. Which is greater: b or g?
b
Let g be (-2)/5 + 4/10. Let n(b) = -10*b**2 + 6*b - 10. Let u(z) = 3*z**2 - 2*z + 3. Let m(i) = -2*n(i) - 7*u(i). Let y be m(1). Is g > y?
False
Let s be 3 + 0*2/(-2). Do 3 and s have different values?
False
Let x be (60/150)/(8/(-5)). Is x smaller than 11?
True
Let g(k) = -1. Let t(n) = 4*n - 5. Let b(q) = -4*g(q) + t(q). Let f be b(1). Let r(y) = y**3 - 3*y**2 - y + 2. Let x be r(f). Which is greater: x or 1?
1
Let a = -3.022 + 0.022. Which is smaller: a or 0.05?
a
Let h = -1464784371/13634358694 + -75/1591126. Let u = 1/451 + h. Suppose -8 = 10*b - 2*b. Which is bigger: b or u?
u
Let j = -0.096 + 0.196. Is 8 at least as big as j?
True
Let o(r) = r**2 + r - 38. Let n be o(0). Let g = -112/3 - n. Let t = -0.01 + 0.31. Which is bigger: t or g?
g
Let h be 0/(2 + -4) - 3. Let s(a) = a + 4. Let u be s(h). Is -1/9 at least u?
False
Let d = 7.1 + -7. Which is smaller: 14 or d?
d
Let k be ((-2)/3)/(9/(-81)). Is 5 bigger than k?
False
Let l = -2/7 - 3/14. Which is smaller: l or 0.7?
l
Let v(d) = 7*d + 9. Let t(x) = 6*x + 9. Let j(s) = 6*t(s) - 5*v(s). Let b be j(-8). Is b less than 1/10?
False
Let w be (-1)/4 + 10/8. Let o = -2 + w. Is -3 at least o?
False
Let y = 3.98 + 0.02. Let i = y - 4.1. Is i less than -1?
False
Let j be ((-12)/30)/(4/5). Is -0.7 smaller than j?
True
Let n(q) = q**2 + 8*q - 12. Let i be n(-9). Let x be (i/10)/((-4)/8). Suppose 5*h = 6 + 4. Which is bigger: x or h?
h
Let w = -1.96 + -0.04. Let d = -2.5 - w. Let z = 0.5 - d. Is -0.1 >= z?
False
Let c = -3/64 + 213/448. Suppose -x = 4*x + 5. Is c > x?
True
Suppose -3*m - 564 = -3*y, 5*m - y + 939 = 3*y. Is m != -186?
True
Let m be 6/(-39) + (-660)/(-741). Which is smaller: 0 or m?
0
Let d = 28 + -47. Do -18 and d have the same value?
False
Let b = 8 - -2. Let j = 10 - b. Are -0.06 and j equal?
False
Let d be 0 + (-3 - 0) + 15. Is d bigger than 11?
True
Let y = 14 + -8. Suppose -y*r + 4 = -4*r. Are r and -0.07 non-equal?
True
Suppose -4*r = -r. Let y = 8 - 7. Which is smaller: r or y?
r
Let i = 0.9 + -5.9. Let c = -5.1 - i. Are c and 4 nonequal?
True
Suppose 3*c = -5*d + 6 + 5, -4*d - 3*c + 10 = 