(w) = -w**3 - 11*w**2 - 11*w - 8. Let x be m(-10). Is 9.4 greater than x?
True
Let i(k) = -3*k**2 - 29*k - 21. Let d be i(-9). Let u = -8 - -6. Which is smaller: u or d?
d
Let o be 176/(-6) + (-6)/9. Is -29 <= o?
False
Let v be 1*(-4 - 0)*(-10)/40. Which is greater: v or 1/4?
v
Let m = 0.1 - 0.2. Let k = -19 - -22.6. Let x = k - 0.6. Which is bigger: m or x?
x
Suppose -k + y + 16 = -2*y, -3*k = 4*y + 17. Let v(j) = -j**2 + 6*j - 3. Let t be v(5). Suppose 2*d - 2 = t. Is d less than or equal to k?
False
Let s be (-4)/(-6) + 52/3. Let o be s/14 - (-2)/(-7). Let p = 2 - 2. Which is bigger: p or o?
o
Suppose 0 = -4*v - 4*t, 2*t - 6 = -3*v + 4*v. Let r(z) = z**2 - 4*z + 1. Let j be r(3). Is v at most j?
True
Let k be (10 - 10)/(2*-1). Suppose -2*h + 4 + 2 = k. Suppose -5*b + h = -2*q, -3*b = 3*q - 6*q. Is b not equal to 2/3?
True
Let a = -3.3 + 3. Let l = -0.1 - a. Suppose -3 = -5*r + 2. Which is greater: l or r?
r
Let b(p) = -2*p + 8. Let c be b(8). Let j = -8 - c. Let s = 0.6 + 1.4. Is s bigger than j?
True
Suppose 15 = g + 4*w - 3, -2*g + 2*w = 4. Let b be g*((-15)/(-2))/(-5). Is b less than -5/3?
True
Let j = -30.9 + 31. Let d = -0.2 + 0.2. Let i = d - j. Are -0.2 and i equal?
False
Let x = -23.5 + 24. Which is greater: x or 1/5?
x
Let r = -137/2 - -211/3. Let g = 101/42 - r. Which is greater: 2 or g?
2
Let l(x) = x**2 - 5*x - 2. Let c be l(5). Is c less than or equal to -7/6?
True
Suppose -3*n = -3 - 0. Which is smaller: n or 1/12?
1/12
Let u = -17 - -17.07. Is 1/2 < u?
False
Suppose 5*a = 20 - 5. Suppose 4*p - a*p + 2*l - 12 = 0, 4*l = 16. Suppose 1 = o - 4*z - 3, -4*z = 3*o + p. Which is greater: o or 1/4?
1/4
Suppose 5*p - 13 = 2. Is 2 at least p?
False
Let i = -7 + 9. Which is smaller: -0.3 or i?
-0.3
Let a be (12/(-208))/((-3)/(-12)). Are a and -1 equal?
False
Let o(g) = 10*g**2 + g - 1. Suppose -5*h + 7 = 2. Let y be o(h). Is y > 11?
False
Let k = 1216/7 + -174. Are 2 and k equal?
False
Suppose b = 5*i + 13, -5*i + 0*b - 4*b = -2. Let v = -1784/9 - -198. Is v < i?
False
Let s = 0.2 + 0.8. Let f = s + -0.7. Is f at least 0.1?
True
Suppose 0 = -3*q + 8*q + 145. Let h = q + 41. Suppose -2*l + 1 = r, -l = 2*l - 2*r - h. Is l != 2/3?
True
Suppose 0*a = a - 9. Suppose -a = 4*h - 1. Which is greater: h or -3?
h
Let n be (-22)/(-8)*1 - 3. Is n greater than or equal to 8/15?
False
Let q be (15/(-24))/((-3)/124). Let r = 1693/66 - q. Suppose 0 = -2*m + 2 - 0. Which is bigger: m or r?
m
Let j = 107 - 152. Is j at least -46?
True
Let r = -5 + 3. Let o be (-17)/(-30) + r/3. Which is smaller: 1 or o?
o
Let f = -0.7 - -2.7. Which is greater: f or 1?
f
Let m = -0.14 + 0.03. Which is greater: 1 or m?
1
Suppose 3 = 3*r + 12. Is -4 > r?
False
Let d be 7/(-15) - 1/5. Do -0.044 and d have the same value?
False
Let b = -42491/34 + 1250. Which is smaller: -1 or b?
-1
Let w = 28901/39 - 741. Suppose 0 = 7*z - 2*z. Is z bigger than w?
False
Let y = 0.07 - -0.53. Let v = y + -0.8. Let x = 32/5 + -34/5. Is v not equal to x?
True
Suppose 2*g + 2 = 0, -4*g = -2*o - o + 1. Is -3/5 at least o?
True
Suppose -57 = t - 3*t - 5*c, 2*c = 4*t - 54. Which is greater: t or 11?
t
Suppose 2*o = -1 - 15. Let s be 2/o + (-35)/(-300). Does s = 0?
False
Suppose -4*a + 2*a = -20. Is 10 smaller than a?
False
Let m = 11 + -13. Is m at most as big as -2?
True
Let i be (-16 + 17)/(4 - 1). Suppose -p = -2*z - 1 - 6, 3*p = -4*z + 11. Suppose -p*o + o - 20 = -3*q, -20 = -5*q + 4*o. Which is greater: i or q?
i
Let f be 6/(-14) - (-411)/(-21). Which is smaller: -21 or f?
-21
Let z(g) = -4*g + 12. Let h(n) = 10*n - 30. Let f(p) = 5*h(p) + 12*z(p). Let u be f(5). Suppose 4*v - 10 = -0*o - 2*o, -3*o - 5*v = -14. Is u at least o?
True
Let f = -45/4 - -12. Which is bigger: f or 1?
1
Let r = -41 + 32. Which is bigger: -11 or r?
r
Let y(k) = -k**2 - 8*k + 9. Let n be y(-7). Suppose 0 = 4*x - 5 - 15. Suppose -4*r + 4*a + n = 0, 2*r - 24 + 4 = x*a. Is -2/3 bigger than r?
False
Let d be (5/2)/((-14)/56). Let s be 18/(-54) - d/18. Suppose 3*a - v + 3 = 0, 4*v = -4*a + 2*v + 6. Is s >= a?
True
Let d be ((-1)/(-3))/(24/(-144)). Suppose 0 = 2*l - l. Are d and l equal?
False
Let z = -5 - -9. Suppose -z*a = -a - 3. Let r = 20 + -20. Which is bigger: r or a?
a
Let y be 2/8 + (-27)/(-4). Suppose 0 = -5*r - 7*n + 2*n + 40, 2*n = -r + 12. Which is smaller: y or r?
r
Let d = 0.1 + 0.4. Is d smaller than -1/2?
False
Let s = -2279/4 + 573. Which is greater: s or 2?
s
Let x = 16 + -7. Let f be x/2*(-36)/(-27). Is 6 equal to f?
True
Let m be 2/6 - 14/6. Let y be (-3)/(-5) - m/5. Let i be (-2)/8*3/(-3). Which is smaller: y or i?
i
Let y = -10/41 + 132/205. Is y at most as big as 1/7?
False
Let f be 12/8*(1 + 1). Suppose 0 = f*k + 5*n - 15, 4*k - 2*n = 3 + 17. Is k > 4?
True
Suppose -481 = 8*q - 33. Which is smaller: -55 or q?
q
Let a(o) be the second derivative of -o**3/6 - o**2 + 2*o. Let x be a(-3). Which is greater: -1/7 or x?
x
Suppose 2*y + 25 = -5*w - 2*y, -5 = w - 5*y. Which is greater: -1 or w?
-1
Let x = 0.8 - 0.9. Is -2 not equal to x?
True
Let k(f) = -f**2 + 8*f - 8. Let q be k(6). Is 4 at least q?
True
Let m(v) = -v**3 - 17*v**2 + v + 24. Let u = 0 - 17. Let f be m(u). Which is bigger: 5 or f?
f
Let g be (-3 - -8)*8/(-20). Is -2 smaller than g?
False
Let h = -306/5 - -62. Which is greater: h or -4?
h
Let s = 41/1463 + 10/77. Which is smaller: 1 or s?
s
Let y = -14.13 + -0.37. Let v = 15 + y. Is v < -1?
False
Let h = -9.6 + -0.4. Let u = h - -9.94. Is u smaller than 1/2?
True
Suppose 4 = q + p - 15, 5*p - 35 = -q. Let d be 5/q + (-2)/(-12). Is d >= 2?
False
Let g = 14 - 14.9. Let p = g + 4.9. Let y = p - 4. Which is greater: y or 1?
1
Let k(g) = -g**2 - 7*g - 5. Let p be k(-6). Let z be 0/4 - -1 - 25. Let x be 6/z - (-2)/(-24). Which is smaller: x or p?
x
Let o be ((-40)/14)/((-15)/(-21) - 1). Is o greater than or equal to 8?
True
Let o(n) = -n + 4. Let u be o(0). Let s = 91/6 - 38/3. Which is bigger: u or s?
u
Let t = -0.3 - -0.3. Which is greater: t or 1.4?
1.4
Let o = 2362 + -63766/27. Is o less than or equal to 1?
True
Suppose u = -5*u + 6. Suppose -5*s + 29 = 3*r, r = -5*s - 0*r + 33. Suppose -3*c + 1 + s = -5*i, 4*i + 2 = -2*c. Is u at most c?
True
Let k(f) = f**3 - 3*f**2 + f + 2. Let q be k(2). Let a be 1 - (15/4)/5. Is q at most as big as a?
True
Let y(r) = -1. Let a(q) = 1. Let u(p) = a(p) + 2*y(p). Let w(l) = -l - 6. Let d(n) = 11*u(n) - 2*w(n). Let g be d(-3). Which is greater: g or -4?
-4
Suppose -p - 2*p + 3 = 0. Which is bigger: p or 1/25?
p
Let q = 621571220 + -2413561071726/3883. Let g = 42/353 + q. Let h = g + 384/55. Is h smaller than 1?
True
Let u = 60 - 60. Which is bigger: u or 4?
4
Let z = 0.09 + -0.59. Do -0.1 and z have different values?
True
Let x = 2 - 2.1. Which is smaller: 23 or x?
x
Let b be (1 - -4) + (-8)/2. Which is greater: 0 or b?
b
Suppose 2*w = -2 - 2. Suppose 2 = 3*g + 5, 3*g - 3 = -2*x. Suppose 4*n = x + 5. Is w greater than or equal to n?
False
Let n(j) = -j**2 - 4*j + 2. Let m be n(-5). Let a = 75 - 38. Let v = a + -77/2. Is v > m?
True
Let o be (74/2)/((-7 - -5)/4). Which is greater: -73 or o?
-73
Suppose f = 4*f + 2*o + 2, 4*f - 5*o = 5. Suppose 4*y - y = f. Are 1/3 and y non-equal?
True
Suppose 5*s + 3 - 63 = 0. Let q(t) = -t + 16. Let i be q(s). Is i bigger than 5?
False
Let f = 90 - 37. Which is smaller: f or 54?
f
Suppose 3 = -3*m, -3*x + 5*m = -x + 1. Let r be 2/x*12/(-16). Which is bigger: 1 or r?
1
Let j = -26 - -25. Is 3/16 greater than or equal to j?
True
Let j be 3 + 1 + (-46)/9. Does 0 = j?
False
Let q = 10196264/119 - 85684. Let x = q + 14/17. Which is smaller: -2/3 or x?
-2/3
Let o = 2593 + -54437/21. Let y = o + -6/7. Is y not equal to 1?
True
Let z = -38 - -26. Let h = z - -4. Is h >= -8?
True
Let a(m) = -m**3 + 5*m**2 - 5. Let t be a(4). Suppose -3*g - 4*c - t = 0, -3*c = -5*g + 2*c + 5. Let n be -2*(g/2)/1. Is 7/3 at most n?
False
Let q be -2 + 0 + 0 - -6. Suppose -2*y = 2, -3*w - 5 = 3*y + q. Does w = -3?
False
Let b = -2317 + 2319.969. Let y = -0.069 + b. Let g = 1.1 + y. Is 1/3 smaller than g?
True
Let u = 107/3 + -35. Let b be 117/36 + (-1)/4. Suppose -8 = -x - b*x. Is x smaller than u?
False
Let v = 95/3 + -2381/75. Suppose 3*w + 0 = 3. Let q be (1*-1)/(2 - w). Is q at most as big as v?
True
Let u be 3/12 - 243469/(-5236). Let p = u + -1