v - 100, -y + 2 = -5*v + 22. Let c be 18/y + (-2)/(-5). Is w > c?
False
Let l = -0.42 + 0.12. Let u = -1.3 - l. Which is smaller: u or 11?
u
Let l = -21 + 22. Let p(n) = -n**3 + 6*n**2 - 5*n + 2. Let x be p(5). Let r be 1/x - 0/(-2). Is r < l?
True
Let q = -0.104 + 9.904. Let t = q - 10. Are 1 and t non-equal?
True
Let o = 9 + -9.08. Let b = o + -0.02. Is 1 greater than b?
True
Let n = 30 - 14. Let b = 21 - n. Is 2 bigger than b?
False
Let s = -6 - -10. Let w(h) = h**3 - 4*h**2 + h + 1. Let k be w(4). Suppose 0 = k*l - 4*f - 8, 2*f - 18 = -5*l + 2*l. Is l <= s?
True
Let i(s) = 12*s - 15. Let h be i(4). Is h greater than or equal to 32?
True
Let l(f) = f**3 + 7*f**2 + 5*f - 7. Let p be l(-3). Is 13 at least p?
False
Let d = 5 + -4.8. Let i = 4 + -2. Which is greater: d or i?
i
Let s = -4 + 4. Let r = s + 2. Let j be (r/(-4))/((-3)/(-24)). Do -5 and j have different values?
True
Let x = -1.6 - -1.5. Is x greater than or equal to -2?
True
Suppose -j + 4 = j. Let f = j + -6. Which is smaller: -2 or f?
f
Let l = -4.9 + 5. Let r = 2 + l. Let d = r - 0.1. Is -3 != d?
True
Let j = -48 + 59. Are j and -0.1 nonequal?
True
Let s(l) = l**3 - 4*l**2 - 7*l + 3. Let x be s(5). Let u = 11 + x. Suppose 4 = -u*h - 0. Is -1 less than h?
False
Let q = -1 - 12. Let j = 18 + q. Let n be 4*2/(j - 1). Which is greater: n or 1?
n
Let b = 73/840 + -3/56. Which is smaller: -1 or b?
-1
Let o be (-40)/99 + 10/55. Which is smaller: 0 or o?
o
Let w = -8/259 + -305/15281. Which is bigger: -1 or w?
w
Suppose 1 = 5*g - 2*w, -2*w + 1 - 6 = -g. Are g and 2/11 unequal?
True
Suppose 0*w - 2*w = 10. Let m be ((-1 - w)/(-2))/2. Let f(x) = -3*x**2. Let i be f(m). Is -3 > i?
False
Let b = 89 - 88. Is b at least as big as 1/95?
True
Suppose -10 = -5*v - b, 3*b = -5*v - 2*b + 10. Suppose d + v*t - 1 = 0, -2 = -2*d - 0*t - 3*t. Which is smaller: 2/7 or d?
2/7
Suppose 3*o = -2*o - 5. Is 3/11 > o?
True
Suppose 32 = 4*n - 8*n. Which is greater: n or -9?
n
Let a = 8 + -7.95. Suppose 4*m = 4*w + 8, 3*w = 5*w - 3*m + 7. Is a less than w?
True
Suppose l = -3*l. Suppose -3*t + l*t + 9 = 0. Let v = -4 + t. Is v smaller than -0.3?
True
Let i(z) = 2*z**2 + 2*z - 1. Let w be i(-2). Suppose w*h - h - 2*q = 0, 4*h + 5*q = 36. Is h greater than or equal to 4?
True
Let l(u) be the second derivative of -u**4/12 - u**3/6 + u**2 - 4*u. Let g be l(1). Which is greater: 2/33 or g?
2/33
Let o be 356/35 + (-12)/(-28). Is o bigger than 12?
False
Let g be (-99)/(-12) + (-1)/4. Suppose 5*b = 2*s + 58, 22 = b - 5*s - g. Let d be b/20*4/(-22). Which is greater: d or 1?
1
Suppose 4*f - 4*j = 2*f - 28, 3*f + 34 = 4*j. Which is greater: -7 or f?
f
Let r be -3 + (-1 - 12/(-3)). Suppose 3*p - 4*p = 0. Is p greater than r?
False
Let r be 3*48*4/18. Is r bigger than 31?
True
Suppose 0 = -5*j + 2 + 3. Let w be -12*(-4)/27 - 2. Which is greater: w or j?
j
Suppose -b + 15 = -6*b. Let f be -6*(b/(-9))/(-1). Suppose 2*l = 6*l + 2*h, 2*l + 2*h + 2 = 0. Which is bigger: f or l?
f
Let f be (2 + 116 + -2)/(-10 - -12). Are f and 58 nonequal?
False
Let x = -39 + 5. Is x less than or equal to -33?
True
Let s = 7 - 1. Suppose -v = -s*v + 15. Let d be -1 + 0 + v + -2. Is 0 >= d?
True
Suppose -21 = -3*r - 3*w - 135, 0 = 5*r + w + 170. Is -35 < r?
True
Let a = 4 - 3. Suppose -3*z - 18 = -3*r, 3*r = 3*z + 2*r + 8. Which is smaller: a or z?
z
Let v = -3 + -2. Let g be (62/(-10) - -6)/(2/15). Which is greater: v or g?
g
Let j(v) be the first derivative of v**4/24 + v**3/6 + v**2/2 - 2. Let a(o) be the second derivative of j(o). Let k be a(-1). Is k at least 1?
False
Suppose 3*n + 0*n = -6. Let p = 19 - 9. Suppose -3*f = q + 8, 4*q + 4*f - 3*f = -p. Is q <= n?
True
Suppose -5*z - 35 = -3*k, 0 = z - 0*z + 5*k - 21. Let r be 2 + (z - -2*1). Suppose r*h - 20 = -5*q + 2*h, -5*q - h = -20. Which is smaller: 3 or q?
3
Let w(p) = -p - 6. Let f be w(-10). Suppose o = f*o, -x + 2*o = -10. Does x = 9?
False
Let r = 64 - 62. Let b = 4/45 - -56/45. Is b at most r?
True
Let h = -22 + 39. Are h and 18 unequal?
True
Let t = 19.971 - -0.029. Let h = t + -18. Is 2 greater than h?
False
Let a = 8 - 7. Let j = 1.3 - a. Is j >= -1?
True
Let v be (4 + 15436/(-3856))*4. Let y = -545/5061 - v. Which is greater: -1 or y?
y
Let y be 4/(-30)*1 - (-4)/(-6). Let m = -1 - -2. Let f be (-3 - m/(-1)) + 0. Is f < y?
True
Let s = 0.06 - -0.44. Let r = 0.6 - s. Which is smaller: r or -1/8?
-1/8
Let s = 163/6 - 55/2. Suppose i + 6 = 4*i. Is s greater than or equal to i?
False
Suppose 4*g - 6 + 2 = 0, 5*g = 4*n - 51. Suppose -2*b = 2*l - 14, -l - 1 = l - 3*b. Let s be l/n - 9/7. Which is greater: s or -2?
s
Let u(p) = p - 1. Suppose 1 = 4*n - 3*n. Let r be u(n). Let z be (2 - 1)*(-18)/33. Is z less than r?
True
Let q = 3 - -3. Is -1 <= q?
True
Let v be (4/16*0)/1. Which is greater: 2/15 or v?
2/15
Suppose 6*p + 6 = 3*p. Let u = 8 - 6. Suppose u*r + 5 = -1. Is p <= r?
False
Let u be (-2)/4 + 3/6. Which is greater: u or 1/6?
1/6
Let p = 26 - 30. Is p at least -42/11?
False
Let j(x) = x**2 + 2*x - 1. Let q = -14 - -15. Let a be j(q). Let t be 2/(-8) - (-1)/(-4). Which is greater: a or t?
a
Suppose 0 = -5*z + 3*b + 6, -5*z + 4*b - 3 + 11 = 0. Let h = 15 + -16. Let n be ((-8)/6 - h)*-3. Which is greater: z or n?
n
Let r be (28/(-49))/(2/(-7)). Which is greater: r or 1?
r
Let o = -5 + 5. Let q = -0.2 + o. Which is smaller: q or 0?
q
Suppose 39 = -2*l - 5*h, l + 24 = -6*h + 2*h. Is -11 bigger than l?
True
Let x = -111 + 782/7. Is 2 smaller than x?
False
Let p(y) = -y**3 + 13*y**2 + 3*y - 9. Let q(i) = 5*i**3 - 66*i**2 - 16*i + 46. Let j(m) = 11*p(m) + 2*q(m). Let z be j(11). Is 4 bigger than z?
False
Let y = -24 - -17. Let w be (-8)/(-4 + 8) + 16. Let v = 7 - w. Is y smaller than v?
False
Let d(f) = -10*f - 5. Let n be d(-2). Do n and 15 have different values?
False
Let h = -10.71 - 0.29. Let d = h - -15. Is -0.1 less than or equal to d?
True
Let a = -0.717 + -2.283. Let d = -5 - -4.7. Which is smaller: d or a?
a
Let s = 14 + -12. Let m be (5/((-5)/(-34)))/s. Is 17 bigger than m?
False
Let o = -79/3 + 26. Let v(a) = -a**2 + 8*a. Let q(k) = k**2 + 6*k - 8. Let c be q(-8). Let b be v(c). Which is smaller: b or o?
o
Let v = 94 + -105. Which is smaller: v or -10?
v
Let l(z) = -3 + 2*z + 2 + 4. Let b be l(-2). Let q be 16/((-12)/(-3)) - 4. Is b greater than q?
False
Let f = 8 - 10. Is 2/9 >= f?
True
Let f be (45/(-10))/(6/(-8)). Let o be (2 - -4)*1/2. Suppose 20 = o*p + p. Which is bigger: f or p?
f
Let g = -0.4 + -1.6. Let c = -2 - g. Let z = 12.9 + -13. Which is smaller: z or c?
z
Suppose 3*u = -8*u - 913. Is -83 at most u?
True
Let f = -12 - -41. Which is greater: 30 or f?
30
Let x be (-8)/(-156)*1884/550. Let d = x - -2/325. Let t(v) = -v + 5. Let w be t(4). Does d = w?
False
Let r = -6 + 5. Let h = 2 + r. Let l = -0.9 + h. Is -0.1 equal to l?
False
Suppose v - 5*v = 8, 27 = 5*s - v. Do s and 11/3 have different values?
True
Let z be (-6 - 3)/(-3) - 2. Is -1/5 at most as big as z?
True
Let b be (28/(-15) + 2)*10. Is 2 at most b?
False
Let y(q) = -q**2 + q + 12. Let j be y(0). Suppose -3*p = j, 0 = c - p - p - 10. Let m = -1.009 + 0.009. Is c at most as big as m?
False
Let r be (-76)/(-12) - (-1)/(-3). Suppose j - 4*b = 15, 3 = -5*j + 2*j - 4*b. Suppose y - r = j*y. Which is smaller: y or -2?
y
Let b be (-182)/(-310) - (-2)/(-10). Let f = 30/403 + b. Is 1 smaller than f?
False
Let f be (0/1 - 0)/(-1). Suppose 4 - 2 = -3*v + 4*t, -2*v - 7 = 3*t. Which is smaller: v or f?
v
Let n(j) = -j - 6. Let d be n(0). Let a = -16 + 9. Which is smaller: d or a?
a
Let k = -16 + 21. Let d be ((-2)/(-10))/(1/k). Suppose 2 = -2*w, 4*h - 2*w = 5*h + 1. Is d smaller than h?
False
Let o = 102 - 80. Which is smaller: 21 or o?
21
Let n(z) = -z**2 + 6*z - 1. Let d be n(5). Suppose 2*y - 6*y = d. Let g = 150 + -1048/7. Is g at most y?
False
Let n(l) = 3*l + 9. Let q be n(-6). Let m be (q/(-114))/(6/8). Let b = 1 + -2. Do m and b have different values?
True
Let n be -1 + ((-4)/(-6) - 10/(-18)). Which is greater: 2 or n?
2
Suppose -18 = -2*n - 2*a, 3*n + 3*a - 22 = 5*a. Suppose 0 = 5*u + n - 23. Is 3 less than u?
False
Suppose -8 = -2*c - 24. Let x be 2/(c + 2 + 1). Let y be 0/(1 + 0 - -2). Which is greater: x or y?
y
Let a be 3*(1 - (-12)/(-9)). Let h be 4 - (7 - (a - -4)). Which is greater: h or -1/6?
h
L