*m. Suppose 8*l - 3*l = 0. Let g be o - l*1/(-2). Is 0 bigger than g?
True
Let k = -22.8 + 19. Let w = k - -4. Let s = 0.44 - 0.04. Are s and w equal?
False
Let f(r) = r**3 - 11*r**2 + 10*r - 4. Let y be f(10). Let a be (y/20)/(2/(-4)). Which is smaller: a or -2/3?
-2/3
Let r(l) = -5 + 5 - l + 10 - l. Let v be r(9). Let p be v/(-28) - (-8)/70. Is 1 not equal to p?
True
Suppose -x + 21 = -4*p, -4*p - 2*x - 1 = 5. Let t be (-16)/(-140) + p/(-14). Suppose -7*i + i - 6 = 0. Which is bigger: i or t?
t
Let y = -2/9 + 5/63. Let s = -7.9 - -9. Let q = 0.9 - s. Which is greater: q or y?
y
Let q = 21 + -51. Let k be (-18)/q*5/2. Suppose 2*b + 5*u + 13 = 0, 5*b = u + 2 + 6. Which is smaller: b or k?
b
Suppose -h + m = -3, 0 = -3*h - 2*m - 2*m - 19. Suppose -2*i + 118 = 2*n - 2, -3*i + 4*n = -166. Let r be i/30 + 10/(-5). Which is smaller: r or h?
h
Suppose -m = -0*m - 3. Is m at least as big as 1?
True
Let k = 59 - 55. Which is bigger: k or 10?
10
Let g = -0.107 - -0.177. Let y be 4 + -2 - (-6)/(-2). Which is bigger: y or g?
g
Suppose 2*v + 3*i - 11 = 0, 4*i - 24 - 2 = 3*v. Is v bigger than 7?
False
Suppose -5*c = -29 + 4. Suppose c*p - i - 21 = 0, p + i - 1 = -2*i. Suppose -9 = -3*l, -2*s + 0*l - 2*l = -16. Is p not equal to s?
True
Let j = -82 - -87. Suppose -22 = -4*p - 0*p + c, 0 = 5*p - 5*c - 35. Suppose z = 2*g - 15, -4*g - 4*z - p = z. Is j less than or equal to g?
True
Let y be 8 + (-2)/3*3. Suppose -2*q - 4 = -y*g + 2*g, -5*q = -4*g + 10. Let b be 39/(-65)*(-10)/18. Which is smaller: g or b?
g
Suppose 5*f = -2 - 3. Let v = 4 - 5. Let o = f - v. Which is bigger: o or 1?
1
Suppose -5*g + 57 = 4*h, -25 = -2*h - 3*h + 3*g. Which is greater: h or 9?
9
Suppose -5*w - 3 = -2*f, 2*f = -3*f + w - 4. Which is greater: f or -2/121?
-2/121
Suppose j - 10 - 10 = 4*z, j = -5*z - 25. Let i be -1 - (2 + 2/(-3) + -3). Which is smaller: i or j?
j
Let p be 70/(-9) + 10/(-45). Let m be (-4)/p + (-54)/124. Which is greater: m or -1?
m
Let k = 3.4 + -6.4. Which is greater: k or 2/23?
2/23
Let o be 1*(-2 + 3)*1. Let z be (3/4)/(o/4). Let h be (3 + 0)*z/15. Is 0 equal to h?
False
Suppose 2*b = -2*i + 10, i + 21 = 5*b - 34. Which is smaller: b or 9?
9
Suppose -5*k = -7 - 33. Let f be 274/(-136) - (-2)/k. Let h = -116/85 - f. Is h smaller than -0.2?
False
Let y(u) = u - 4. Let g be y(4). Which is smaller: -7 or g?
-7
Let c = -94 - -93.7. Let f = -0.1 + 1.1. Let m = -1 + f. Which is bigger: m or c?
m
Let j(l) = 2*l - 3. Let d be j(6). Suppose 4*h = -5 + d. Is h at least 2/7?
True
Let x = 253.1 + -253. Let d = -0.3 - -0.4. Is x equal to d?
True
Let u be (8/6 + -1)/3. Does u = -1?
False
Let k(z) = -2*z**3. Let s be k(1). Let y = s - -3. Which is bigger: 3 or y?
3
Let g(b) = -4*b**3 - b**2. Let s(o) = -4*o**3 - o**2. Let z(k) = -3*g(k) + 4*s(k). Let f be z(1). Is f < -5?
False
Suppose 0 = 5*m - r + 2*r + 20, -9 = -2*m + 3*r. Let x = m + 4. Let k = 79 + -78.7. Is x > k?
True
Let c = 2 + -4. Let z = c - 2. Which is smaller: z or 2?
z
Let q be (-2)/(-4) + 3/(-6). Let p = -6 - -10. Suppose 14 = 4*y - x + 5, -11 = p*y + 3*x. Which is smaller: q or y?
q
Let w = -229 + 1158/5. Which is smaller: w or 4?
w
Suppose 0 = -b + 5*b - 8. Let c be -4*2/(-4) + b. Suppose -4*u = -2*z - c, 4*z - 2*u - 3 - 1 = 0. Which is smaller: z or 1/3?
1/3
Suppose g = 2*g - 28. Let p be (-1)/2*g/49. Does -1 = p?
False
Let h(z) = -z + 11. Let s be h(12). Let p = 3 - 3.1. Let b = 0.4 + p. Is s bigger than b?
False
Let y = -15.92 + 16. Which is bigger: y or 1?
1
Let z = 2 - 3. Let n = -0.15 + -6.85. Let k = 5 + n. Which is smaller: k or z?
k
Let l = -84.9 + 85. Which is bigger: -5/6 or l?
l
Let h be (-1*3)/1 - -2. Let w = h + 1. Let f = -1090/13 - -84. Which is bigger: w or f?
f
Let z = 6/5 + -19/20. Which is greater: 0 or z?
z
Suppose 8 = -p + 5*w - 2, -6 = -2*p - 3*w. Suppose -3*j + 4*g - 10 = -p*g, 20 = 5*g. Is -1 != j?
True
Let l = -1 - -2. Let w = 15.1 - 15. Which is greater: w or l?
l
Suppose -4*f = -5*j - 44, 4*f = -3*j - 2*j + 84. Do f and 16 have the same value?
True
Let l = -5 - -5. Suppose 3*g + l*b = 3*b - 9, 2*g + 4*b + 6 = 0. Let p = -5 - -3. Which is smaller: p or g?
g
Suppose 1 = 3*m - 2. Let l be m - 0/(-2*1). Are 0 and l equal?
False
Let s be 3 - (9/(-3) - -6). Let d be 1/(-16)*(-620)/(-15). Let y = -9/4 - d. Is s less than or equal to y?
True
Let s = -33 - -32. Is s bigger than -6/7?
False
Let t = -30 - -30.1. Let s = -6 - -5.6. Is t != s?
True
Let l be (1/(-4))/((-3)/12). Is l at most 1/11?
False
Suppose 0 = 2*n - 5*y + 259, -2*n - 2*y = -n + 116. Is n greater than -121?
False
Let p be 78/(-9) - (0 - (-6)/(-9)). Which is greater: -4 or p?
-4
Suppose 2*j = 7*j - 795. Is 160 <= j?
False
Let q be ((-7)/((-21)/6))/(-18). Is q not equal to -3/5?
True
Let s be -3 - (-12)/(2 + 1). Let v(g) = 4*g**2 + g. Let b be v(s). Is 1 equal to b?
False
Let s(b) = -8*b + 39. Let c be s(5). Is 6/25 greater than c?
True
Suppose 15 = -3*g - 51. Are g and -2 non-equal?
True
Let h = 7 - 3. Let k be ((-40)/(-25))/(h/10). Which is smaller: k or 5?
k
Let t = 0.7 - -0.3. Let d = -24 + 22.7. Let r = -0.3 - d. Is r equal to t?
True
Let n be ((-20)/(-4830))/(3/7). Which is smaller: 1 or n?
n
Suppose -19*m = -6*m - 26. Suppose 5*s = -3*k + 21, 0*s - 9 = -s - 3*k. Let n be (-1)/3*s*-1. Which is smaller: m or n?
n
Let n be ((-6)/9)/(4/6). Let p be (-12)/38*5/15. Let g = -141/76 - p. Is g at most n?
True
Let r = 9.1 - 77.1. Let t = r - -70.9. Let g = -3 + t. Which is smaller: -0.4 or g?
-0.4
Let d(y) = -y**2 + 5*y - 3. Let p be d(2). Is p at most as big as 0?
False
Suppose 2*w = -2, 3*v - 2*v = -2*w + 9. Suppose -v*n - 5 = -6*n. Is n at least as big as -2/3?
False
Suppose 29*h - 31*h = 36. Let j = h - -19. Is 3/7 bigger than j?
False
Let w = 29 + -15. Suppose y + 2*c = -y + w, 2*c - 2 = y. Do y and 2 have different values?
True
Let f be 3/1 - (2 + -1). Suppose -3*l - 12 = -0*l. Let u = -2 - l. Are u and f equal?
True
Suppose -4*p + 2*i = 38, -4*p + 2*i = -3*i + 47. Is -8 != p?
False
Let w = 11 + -16. Let u = 7 + w. Suppose -9 - 3 = -4*a. Which is smaller: a or u?
u
Suppose q = 5 - 1. Let x be q/(-6) - 40/(-6). Suppose 0 = x*m - m + 3*t - 4, 0 = -4*m + 4*t - 16. Are -0.1 and m unequal?
True
Let x be (-234)/(-63) - (-2)/7. Let i be x/8 - (-2)/(-4). Which is bigger: -2/7 or i?
i
Let b be (-60)/45 - 2/3. Which is smaller: 65 or b?
b
Let x = -15 - 1. Let o = x + 16.2. Let u = -1 - -1.1. Are u and o equal?
False
Let d = -3 - -5. Let s be (d + 14/(-6))*-3. Let u = -6 + 9. Are s and u non-equal?
True
Let x(r) = r - 8. Let z(l) = l + 10. Let w be z(-5). Suppose -w*a + 0*a + 30 = 0. Let g be x(a). Is g > -3?
True
Suppose -144 = 8*s - 0*s. Which is greater: s or -1?
-1
Let m be -9 - (14/(-8) + (-6)/24). Which is greater: -13 or m?
m
Let n(f) = -f**3 - 7*f**2 - 6*f - 9. Let r be n(-6). Is r bigger than -7?
False
Suppose 0 = -p - 2*p. Is p < 3/5?
True
Let l be (-16)/12*6/4. Let r(p) = -8*p. Let c be r(l). Let z = c + -74/5. Is 2 < z?
False
Let n be (-19)/5 - 20/(-25). Let y(p) = -p - 8. Let d be y(-5). Is n < d?
False
Let h = 127/9 + -43/3. Let p = 3 - 3. Suppose -u + 2 - 1 = p. Is h at least u?
False
Let r be 6 + (1 - 3) + -1. Let s(k) = -k**3 + k**2 + 3*k + 3. Let w be s(r). Which is smaller: -5 or w?
w
Let o(n) = -n**3 + 7*n**2 - 7*n + 4. Let i be 9/(1 + 1/2). Let j be o(i). Does j = -2?
True
Let o = 135 + -1351/10. Which is bigger: 1 or o?
1
Let t(n) = -n - 14. Let c be t(-13). Let v(x) = x**3 - 6*x**2 + 7*x - 7. Let f be v(5). Suppose -4*r = f + 1. Is r at most as big as c?
True
Let i = -15.1 + 6.8. Let p = i + 8. Which is bigger: 0.3 or p?
0.3
Let v = -18 - -25. Let n = 10 - v. Let l = -1 - -2. Is l at most as big as n?
True
Suppose 9*c + 114 = -75. Which is smaller: -22 or c?
-22
Suppose 0 = 3*p + 2*p + 45. Which is smaller: p or -8?
p
Let x be (-8)/(-4) - (-17)/(-7). Which is smaller: 0 or x?
x
Suppose -u + 5*u - 12 = 0. Let s be (2/4)/(u/6). Is s <= 0?
False
Let s = 17 - 17. Suppose -3*u - 91 = -16. Let t be -1 + s - 10/u. Is t at least as big as 1?
False
Let p = 1 + -1. Suppose -l + 1 + 1 = p. Is l at least 2?
True
Suppose 5 = 2*k - 5*n, 4*n + 5 = -2*k + 1. Let w be 1 - (-190)/12*-1. Let b = -15 - w. Which is smaller: k or b?
b
Let b = 3 + -4. Let m = 2 - 2. Suppose 2*n = -m*n. Which is smaller: n or b?
b
Let k = 22 - 13. 