
Let b(s) = -s**3 - 2*s**2 - s. Let o be b(-2). Let h = 3 + -1. Let p be 3*(4/h + -1). Is p at most as big as o?
False
Let k = -23 + 25. Is k < -0.9?
False
Let l(a) = a**2 - 3*a - 2. Let u be l(4). Let f be (-14 + 11)/((-1)/5). Let i be ((f - 3)/u)/(-2). Which is bigger: i or 1?
1
Let j(u) = 9*u - 12. Let f be j(2). Is f smaller than 8?
True
Suppose 5*r = -55 + 195. Let w = r + -55/2. Which is bigger: 0.6 or w?
0.6
Suppose -3*v + 6*v = -24. Let r = -19/2 - v. Let f be -1 + -1 + (0 - 1). Which is bigger: f or r?
r
Let f = -31 + 56. Let v = -24.9 + f. Which is smaller: 0.13 or v?
v
Let w(x) = -73 - x**2 + 4*x + 7 - 3*x. Let u be w(0). Let k be 34/u - 2/(-11). Which is greater: k or 2/5?
2/5
Let g = 15.04 - 0.04. Let j = -14 + g. Is j < -0.1?
False
Suppose -5*a = -3*n - 10*a + 37, -5*a = 4*n - 41. Is n != -1/2?
True
Suppose 4*c - 2 = 10. Suppose -2*h = c*h + 15. Is h at least -2?
False
Let t = -134 + 148. Which is smaller: 27/2 or t?
27/2
Let l(q) = 2*q - 1. Suppose -3*j = 6 - 3. Let g be l(j). Which is smaller: g or -8/5?
g
Let u = 44/29 + -1657/1073. Is u less than 1?
True
Suppose -12*z = -11*z. Are -1 and z equal?
False
Let g be ((-3)/((-9)/(-12)))/(-2). Is 2 equal to g?
True
Let m be (-7)/21*(-114)/32 - 1. Is -1 at most as big as m?
True
Let x be ((-1)/(-3))/(5/(-2)). Suppose -4*b - 5*p = -7, -4*b + 11 = p - 0. Suppose -5*g = 3*v - 8*v + 10, -2*v + b*g = -6. Which is bigger: x or v?
v
Suppose -3*s + 2*s = -3*v - 4, -v + 2*s - 8 = 0. Let w be 7/((-924)/18)*3/(-9). Is w < v?
False
Let p = -219 - -138. Which is greater: 0 or p?
0
Suppose 3*v = 5*j - 19, -j = v - 6*v - 17. Let y = 372 - 1495/4. Is v equal to y?
False
Let g(b) = -2*b**2 - 3*b - 1. Let q be g(-2). Let c(m) = m**2 - 15*m + 4*m + 1 - 2*m**2 - 13. Let h be c(-10). Is h at least as big as q?
True
Let m = -59 - -179/3. Let u(p) = 3 + 0*p + 5 + p. Let k be u(-7). Which is smaller: k or m?
m
Let o(c) = 14*c - 2. Let p be o(1). Which is smaller: p or 11?
11
Let m(t) = -t**3 + 4*t - 6. Let j be m(3). Is -19 >= j?
True
Let h = 17 + -11. Let i = 8.2 + -1.2. Let o = h - i. Is o not equal to 0?
True
Let r = -22/39 - -47/429. Which is smaller: r or -1?
-1
Suppose 3*g + 2 = 8. Suppose -4*c + 3*t = 4*t - 8, g*t = 2*c + 6. Suppose -4*u = -5*l + 16, -2*l = 2*l - 16. Is u at most c?
True
Let j = 6.052 + -0.052. Are j and 0.2 non-equal?
True
Let h = 0.23 + -1.53. Let l = h - -0.3. Let q = l - -2. Which is bigger: -2 or q?
q
Suppose -4 = -5*g + 11. Let x be (2/16)/(g/(-4)). Let r be (-1)/(-6 - -4 - -1). Do x and r have different values?
True
Let d(u) = -u + 3. Let v be d(3). Suppose -351 - 199 = 5*r. Let h = -988/9 - r. Which is greater: v or h?
h
Let y be -2*2/(-4) + -1. Let x(d) = -4*d + 6. Let f be x(0). Which is smaller: f or y?
y
Suppose -q = -n, 0 = 3*q + 5*n - 10 - 6. Which is bigger: q or -0.06?
q
Suppose 6*r = 3*r. Is r less than or equal to 0?
True
Let h = -80 + -226. Let m be (-2)/(-4) + h/20. Let l = m - -15. Which is greater: -1 or l?
l
Let h = -0.06 + 0.16. Let b = h - -0.1. Which is smaller: 1 or b?
b
Let v be 2/14*(-3)/2. Does 1 = v?
False
Let c be 289/170 + (-1)/5. Let l = 0.8 - 1. Let h = 0.3 + l. Is h less than or equal to c?
True
Suppose 2*f + 10 = -3*f. Let n(q) = -q**3 + q**2 - 1. Let k be n(-1). Let a = f + k. Is a smaller than 0?
True
Suppose -3*g - b + 171 = 0, 4*b + 212 = 3*g + g. Let h be ((-4)/(-6))/(g/12). Does -1 = h?
False
Let i = -13 - 2. Is i >= -15?
True
Let t = -9 + 9.4. Is t less than 0.1?
False
Suppose -3*j - 113 = -2*d - 0*d, 2*d + 5*j = 89. Is 52 not equal to d?
False
Suppose -3 - 1 = -4*v. Let z = 6 - v. Suppose -z*f = -2*f + 6. Is -2 at least f?
True
Let q = -103/410 - 2/41. Which is bigger: -7 or q?
q
Let u be 5/(-12) - 11/(-22). Are 1 and u unequal?
True
Let t(s) = s**3 + 9*s**2 - 12*s + 8. Let y be t(-10). Suppose 0*g + y = 4*g. Which is smaller: g or 6?
6
Suppose d = -0*z - 2*z - 10, -4*d = 2*z + 22. Let t be (-34)/24 + 1/(-4). Does t = z?
False
Suppose -s = -0*s + 5*m - 6, -5*m = -5. Let l be (-2 + 0 - s) + -11. Is -13 < l?
False
Suppose -2*k + 3*k = 12. Let y be (3950/65)/5 + (-2)/13. Is k < y?
False
Let r(w) = -w + 1. Let o be r(5). Suppose 3*p - 2*k + 9 = k, 2*p + 4*k + 12 = 0. Is o at most as big as p?
True
Suppose -5*j - 6 - 4 = 0. Suppose x - 9 = 2*f, f = -3*f - 5*x - 11. Is j < f?
False
Let v(i) = -i**3 + 8*i**2 - 9*i - 6. Let w be v(7). Let l be w/(-25)*(-1 - -6). Is l at least 4?
True
Let x(p) = 5*p**2 + 2*p - 1. Let n be x(-2). Suppose 10*u - n*u - 35 = 0. Is u > -7?
False
Suppose -2*d = g + 2*d - 4, -3 = -d. Is g at least -9?
True
Let u = -4 + 0. Let p be 48/70 + u/14. Which is greater: -1 or p?
p
Let p = 45 - 319/7. Is p greater than or equal to -1?
True
Let q be (-6)/(-4)*2/(-3). Is q not equal to -1?
False
Suppose 271 = 4*m - 1549. Let d = m + -4091/9. Which is smaller: d or 0?
0
Suppose -h - 4*b + 1 = 0, -h + 6 = -2*b + b. Is h bigger than 34/9?
True
Let b = -3 - -25/9. Let x = -31 - -22. Let l = x - -8. Which is smaller: l or b?
l
Let n = -436 + 438.89. Let f = n - -0.11. Which is smaller: f or 4?
f
Let o = -2.7 + -0.5. Let d = o + 3. Which is smaller: -8 or d?
-8
Let j = 761/7 - 109. Let k(d) = -2*d - 13. Let p be k(-10). Suppose 5*m - p = 3. Is m greater than or equal to j?
True
Let w = 0.13 + -5.13. Let h = -147 + 150. Let t = h + w. Is t <= 2/9?
True
Let v = 78 + -78. Do 2/57 and v have the same value?
False
Suppose -278*u - 4 = -276*u. Suppose -r - 1 - 2 = 0, -4 = -5*t + 3*r. Is u > t?
False
Let y = -0.16 + -0.04. Let t = 5 + -4.7. Let g = y + t. Which is greater: g or -0.3?
g
Suppose 2*v - 3 - 3 = -3*f, 0 = 5*v - 15. Let w(j) be the third derivative of -j**4/24 + j**3 + 8*j**2. Let o be w(4). Which is smaller: o or f?
f
Suppose -3*g = 2*b - 53, 3*b - 6*g - 105 = -2*g. Let w = -2/5 - -466/15. Let c = b - w. Which is greater: -1/8 or c?
c
Let q be 6/10*17/(136/80). Let n(y) = y**2 + 6*y - 2. Let h(m) = 2*m - 1. Let u be h(-3). Let i be n(u). Is q not equal to i?
True
Let p(c) = -c**2 - 4*c. Let m be p(-2). Let l be m/(-12) - 39/(-63). Which is bigger: -1 or l?
l
Suppose 6 + 232 = -7*z. Is z less than -33?
True
Suppose 5*l + 60 = -0*l. Let t = 7 + l. Is -5 greater than or equal to t?
True
Let x = 2 + 0. Which is greater: 1 or x?
x
Suppose -c - 48 = 5*k - 3*c, 5*k = 3*c - 47. Let z be k/15*(-6)/10. Which is smaller: z or 3?
z
Let x = 0.5 - 2.5. Let h = 0.18 - 2.28. Let w = h + 2. Is x less than w?
True
Let f = 24.46 - 24. Let i = f - 1. Let n = i - -0.04. Is n not equal to -2/7?
True
Let m = 35 + -23. Which is smaller: m or 0?
0
Let o be (-5)/2*8/(-7). Let w = 33/14 - o. Let j(d) = -d**3 + d**2 + d. Let m be j(2). Is m < w?
True
Let u = 95/203 + 3/29. Is u bigger than 2?
False
Let b(p) = -p**2 + 0*p + 3 - 4 + 6*p. Let c be b(6). Let l be 0/(c + 1 - 1). Which is greater: 2 or l?
2
Let j(m) = 3*m**2 + 3*m + 1. Let o be j(-2). Let c = o - 3. Which is bigger: c or 5?
5
Let w = 0.5 - 0.51. Let g = -0.29 + w. Is 0 greater than g?
True
Let q(k) = k + 14. Let t(i) = -2*i - 29. Let b(m) = 13*q(m) + 6*t(m). Let p be b(-8). Which is smaller: -3/7 or p?
-3/7
Let n = -112 - -1569/14. Which is bigger: n or 1?
1
Let y be 168/(-30) - 2/5. Let n be -8 + -2*1/(-2). Are n and y nonequal?
True
Let u be 9/2*2/3. Suppose l = -6*t + 2*t + 18, -4 = -t. Is l equal to u?
False
Let d(g) = g**2 - 3. Suppose 4 + 11 = -5*c. Let p be d(c). Let y = p - 7. Which is bigger: y or 0?
0
Let o be 5 - 5 - (1 + -4). Let r = 28 + -7. Suppose 2*b + 0*j + 4*j = 22, -r = 4*b - 5*j. Are b and o equal?
False
Suppose 0 = -3*j - 42 + 15. Which is bigger: j or -8?
-8
Let n(t) = -t**2 - 10*t - 7. Let i be n(-9). Suppose 4*f + 21 = 5*v, -12 = -i*f - 0*f - 2*v. Let x = -4/19 - -13/152. Which is bigger: x or f?
f
Let g be (-6)/4 + (-2751)/24. Let f = g - -116. Is f > 0?
False
Let g be 75/(-2)*(-1)/5. Are g and 7 unequal?
True
Let o = -12 + 11.88. Let d = 0.72 + o. Do -1 and d have the same value?
False
Let o be ((-128)/48)/(-1*58/6). Which is greater: -1 or o?
o
Let z be 3 - (-3 - (-1 - -9)). Suppose 3*p + 2 = z. Let b be (-1)/p*16/(-42). Which is greater: b or 0?
b
Suppose 2*n = 3*g + 20, -10 = -0*n - n - 4*g. Let h be n/14 + 6/21. Let y be (4/(-10))/(13/5). Are h and y equal?
False
Let x = -0.055 + 0.055. Is x greater than 2/49?
False
Let r(x) = -x**3 - 8*x**2 + 9*x. Let m(i) = i**2 +