to 50?
False
Let w(z) = -z**3 - 8*z**2. Suppose 0 = -2*y - y - 24. Let g be w(y). Let u be g/(2/(-2)*1). Which is bigger: 1/4 or u?
1/4
Let h = 44.23 + -44. Let v = 0.07 + h. Let c(m) = m**3 + m**2 - 2. Let f be c(0). Which is smaller: f or v?
f
Let z be (-3)/(-3) - (-2 + 1). Let k(a) = -2 + z + 2*a + 3*a + 6 + a**2. Let m be k(-4). Which is greater: 1/2 or m?
m
Let o be 121/185 + 6/(-10). Let d(p) = p**3 + 13*p**2 + 11*p - 11. Let f be d(-12). Are f and o equal?
False
Let b(x) = -5 + 4 + 0 - x. Let h be b(-2). Let g be 4/(-3) + -3 + 4. Is h bigger than g?
True
Suppose 16 = l - 4*x - 0, 0 = -3*l + 3*x + 12. Let w = 14 - 23. Let c(t) = t**3 + 9*t**2 - 2*t - 20. Let a be c(w). Is l less than or equal to a?
False
Suppose -2*u - 16 = -2*i + u, 28 = 4*i - 5*u. Let g = i - 1. Let y be 0/((g + 1)/(-1)). Which is smaller: y or -1/2?
-1/2
Let y be (-5 + 4)/(1 - -8). Which is smaller: y or 1?
y
Let w = 0.04 - 2.04. Let p(o) = -o - 7. Let v be p(-11). Which is smaller: w or v?
w
Let o = 1.01 + 0.99. Which is smaller: o or 0.16?
0.16
Suppose -4*h - 2*a - 11 + 27 = 0, -a - 22 = -4*h. Suppose 3*g - 7 = -t - 3, 3*t + 16 = h*g. Let v = 159/44 - 48/11. Which is smaller: v or t?
t
Let m be (-2*(-1)/(-2))/1. Is m less than -8/5?
False
Let i = 2451/11 + -223. Which is greater: i or -1?
i
Let i = 12 - 14. Is -2 != i?
False
Let t be (-1547)/11817 - (-2)/18. Do t and 0 have the same value?
False
Let h(b) = -b**2 + 5*b - 4. Let q be h(5). Let u = -9 - q. Which is smaller: u or 0.1?
u
Let q(a) be the first derivative of -a**4/4 - 10*a**3/3 + a**2/2 + 4*a - 7. Let w be q(-10). Are -6 and w unequal?
False
Let k be 3/((-9)/(-6)) - 3. Let f = -21377/45 - -475. Which is greater: f or k?
f
Let y(b) = -b**3 - 3*b**2 + 2*b - 3. Let x be y(-4). Suppose -3*u - x = 2*u. Which is greater: u or -3?
u
Suppose -8 = -3*q - 50. Which is bigger: -10 or q?
-10
Let n be 2*1*2/4. Is n less than -1/5?
False
Let v be 1 - 1*(2 + 0). Let y be (-3 - -3)/(1 - 0). Let u be -1*(-1)/(-2)*y. Which is smaller: v or u?
v
Let y = 33.3 - 32. Let x = y - 0.5. Is x at most -1/3?
False
Let c(u) = -2*u + 0*u + u - 6. Let w be c(0). Which is greater: -7 or w?
w
Let n(m) = -m**3 + 9*m**2 - 15*m + 1. Let l be n(6). Is l at most 20?
True
Suppose -309 = -4*p + 243. Let f be 570/p + 1 + -5. Is -1 bigger than f?
False
Let n = 1.2 + -0.2. Let q = -109.97 - -108. Let f = -0.03 + q. Do f and n have the same value?
False
Let i be ((-18)/60)/(((-18)/5)/3). Suppose 0 = 2*c - 2. Which is smaller: i or c?
i
Let v = -41/152 + -2/19. Let y be (-1)/((0 - -1) + -2). Which is greater: v or y?
y
Let z(u) = -u**3 - 26*u**2 - 49*u - 25. Let t be z(-24). Is -0.09 <= t?
False
Let q = 13 - 14. Is q less than or equal to -1?
True
Let l be 2/(4/(-4)) - (-2)/(-2). Is l at most as big as -11/4?
True
Let s = -12.6 - 0.4. Let q = s + 13.3. Is -1 at least as big as q?
False
Let r(l) = 7*l - 3. Let i be r(3). Suppose -5*p - 14 = 3*b, i = -5*b - 2*p - p. Let s = 2 - 4. Which is greater: b or s?
s
Let u(w) = -w**3 - 4*w**2 + 2*w - 2. Let f be u(-4). Let z be (f/(-50))/(2/5). Let h be 1*-1 + 3/6. Is h greater than or equal to z?
False
Let z be 4/(-14) - (-180)/483. Let n be (-8)/(-9) + (-8)/12. Is n at least as big as z?
True
Let g be 0/(-3 + 2) + 12. Suppose 0*h = -2*h - g. Let c = -4 - h. Is 1 less than or equal to c?
True
Let l(w) be the second derivative of -w**5/20 + w**4/3 - w**3/6 + 5*w**2/2 - w. Let z(v) = v. Let b be z(4). Let o be l(b). Is o != -0.3?
True
Let g(j) be the first derivative of 4/3*j**3 - 2 + 1/4*j**4 + 1/2*j**2 + 5*j. Let m be g(-4). Which is greater: m or 1/8?
m
Let y be (-13)/91 + 6/10. Let u = -2/5 - y. Which is bigger: u or -2?
u
Let y = 45 - 42. Is y less than -14?
False
Let u = 4.3 - 0.9. Do u and -1/3 have different values?
True
Let f be 4/14 - 3268/7714. Which is smaller: 0 or f?
f
Let q = 109 - 105. Which is greater: q or 3?
q
Let r(c) = -c + 172. Let m be r(0). Let z = 2926/17 - m. Which is bigger: 1 or z?
1
Let d(q) be the second derivative of -q**4/12 - 7*q**3/6 - 3*q**2 - 4*q. Let v be d(-6). Let l be (2 + -1)*(-1)/5. Do l and v have the same value?
False
Let h = 13.36 - 13. Let n = h + 0.04. Let f = n - 0.2. Is f smaller than -0.2?
False
Let q = -2 - -1. Let s be (-3)/(-6)*(3 - q). Let p(t) = -t**3 + 3*t**2 - 2*t + 1. Let a be p(s). Which is greater: a or -1/8?
a
Let j be (-32)/(-1 - (-2 + 2)). Suppose o + j = -3*o. Which is smaller: -7 or o?
o
Let b = 2 - 3. Let x be (b/2)/((-12)/18). Let h be 1/4*1*4. Which is bigger: x or h?
h
Let p = 0 + -1. Suppose f - 4*m = -10, 4*m - 4 = 2*m. Which is smaller: f or p?
f
Let c = 8.01 - 8. Let t = -33.61 + 36.6. Let l = c + t. Is l >= 2/9?
True
Suppose 0 = 5*f - 8*f + 99. Is f at most 32?
False
Let q(r) = -4*r - 4. Let g be q(-2). Are 3 and g non-equal?
True
Let r be (-4)/6*18/33. Which is smaller: -1 or r?
-1
Let j(t) be the second derivative of t**3/6 - 2*t**2 + t. Let g be j(6). Suppose -g*q + 3*q - 2 = 0. Is q less than 2?
False
Let m = 2 + -3. Let l be 1/(m - (-85)/2). Let b = 180/581 - l. Which is greater: 2 or b?
2
Let d be 12/66 + (-31)/(-11). Do d and 3 have the same value?
True
Let n be 5/2 + 18/(-12). Suppose -j + 2*d + 14 = 0, -2*j - j + d = -32. Let y be 2/j - (-3)/5. Is n > y?
True
Let a = 30 - 29. Let z = 0.4 - 0.3. Let t = z + 0.1. Which is bigger: t or a?
a
Suppose -3*d - 222 = 3*d. Is d greater than or equal to -37?
True
Let w = -821/5 + 167. Which is bigger: w or 4?
4
Let l(f) = f - 171. Let g be l(0). Let b = g + 2567/15. Are 0 and b nonequal?
True
Let c = 0.44 + -3.34. Let u = 4 + -1. Let v = c + u. Is -2 at most v?
True
Let n(o) = -4*o**2 - 1 + o**2 + 2*o**2 + 11*o. Let c be n(11). Which is smaller: -4 or c?
-4
Let j = 15 + -16. Which is bigger: -10/9 or j?
j
Let l(z) = -2*z**3 - z. Suppose 3*n = 3 - 0. Let d be l(n). Let a = d - -13/4. Which is smaller: 0 or a?
0
Suppose 3*z + 5*a - 12 = 0, 3*a = -4*z - a + 24. Suppose -21 = -g + z. Suppose k = 6*k + g. Which is greater: k or -5?
-5
Suppose -2*b + 8 = 2*a, -b + 0*b = 5*a. Suppose -4*s = -3*s - v - 4, b*s - 16 = v. Is 4 > s?
True
Let n = -45 - -53. Is 9 smaller than n?
False
Let p = -10 + 6. Let g be (-150)/72 - (-1)/p. Suppose -5*b - 19 = -14. Which is smaller: g or b?
g
Let r = 4973/22 - 226. Which is smaller: r or 0?
0
Let q = -35/22 - -12/11. Let b = -2 - -3. Suppose 2*p + 1 = -b. Does q = p?
False
Let y = -0.7 - 0. Let v = y - -0.2. Is -1 greater than v?
False
Let c = 0.35 - 0.4. Let l = c - -0.05. Is l smaller than 0.4?
True
Let a be -2 + (-3)/(-7) + 1. Let i = 14 + -8. Suppose -x + 3 = q, -3*q - 1 = 2*x - i. Which is smaller: q or a?
q
Let y be 77/(-28) - (-2)/(-8). Suppose 10 = -5*z + i, 0*i = -3*z - 5*i + 22. Which is greater: z or y?
z
Let a = -11292685/40192866 - -20/195111. Let z = -457/51706 - -1/251. Let b = a + z. Is b at most as big as -1?
False
Let u = 69 - 78. Is -25/3 at most u?
False
Let a be (-2)/(-6) + 1/(-3). Let x = 0 - a. Let t = 57/2 - 28. Is t bigger than x?
True
Suppose -m + 3*u = -6*m - 10, -15 = 3*u. Let q = 598 + -26908/45. Which is smaller: m or q?
q
Let d = -28 - -138/5. Let v = 4 + -6. Are v and d unequal?
True
Let y be 0*(-5 + (-18)/(-4)). Which is greater: y or 2/99?
2/99
Let g = -71 - -63.1. Let m = -0.3 - 7.7. Let f = g - m. Is f bigger than 0.2?
False
Suppose 2*p - 5*u = -p - 23, -2*u + 7 = p. Let t = 5/6 + p. Are t and 0 nonequal?
True
Suppose 4*m = 2*m. Let l be (0 - 4/6)/((-10)/(-6)). Is m greater than or equal to l?
True
Let u = 1.1 - 1.1. Which is smaller: -1 or u?
-1
Let k = 11.32 + 1.98. Let u = k - 14. Is u at least as big as 2?
False
Let a(g) = -2*g - 6. Let r be a(-6). Is r > 6?
False
Suppose 4 = 4*o + b + 3*b, -4*b = -o - 19. Let s = -12 + 8. Is o at least as big as s?
True
Let t be 2/(-15) - (-6919)/255. Which is greater: -1 or t?
t
Suppose -2*f - 8 = 4*c, 3 = -2*f - 2*c - 3. Let h = 3 + f. Suppose m + h = -1. Is -2 <= m?
True
Let i(m) = m**3 - 3*m**2 - 2*m - 4. Let v be i(4). Let h = -2 + v. Is 3 bigger than h?
True
Let l(u) = 11*u + 1. Let k be l(-1). Let f = 5 + k. Which is smaller: f or -4?
f
Let a(p) = p**2 + 18*p + 16. Let o be a(-17). Is -2 < o?
True
Let f = 0.18 - -0.82. Do -2/3 and f have the same value?
False
Let w(p) = -p - 1 + 3 + 4. Let v = 15 + -6. Let s be w(v). Which is bigger: -2 or s?
-2
Let d be 9/(-6) + (-264)/16. Which 