-25 - r. Is b bigger than 1?
False
Let v = 488/5 - 8298/85. Is -1 less than v?
True
Let y(g) = -g**3 + 8*g**2 - g + 4. Suppose 12 = -f + 2*b + 2*b, 4*b - 20 = 0. Let p be y(f). Is p less than -4?
False
Let o = -6438977/542215 - 270/6379. Let j = -59/5 - o. Let g be 2*(-1)/(-2)*0. Is g at most as big as j?
True
Let c be 2/(-4)*(-16)/60. Let b = 6 - 3. Let i be (-2)/((-2)/b) - 3. Is i >= c?
False
Let w = 0 - 3. Let p be ((-1)/(-1))/((-8)/12). Is w <= p?
True
Let x = -83 - -915/11. Is 0 less than x?
True
Let c = -11 + 9. Is -9 greater than or equal to c?
False
Suppose 5*g = 2*g - 2*i + 38, -3*g = 3*i - 42. Are 9 and g nonequal?
True
Suppose 56 = 5*o + 401. Let w = o + 48. Let f be 0 - ((-48)/w - 2). Which is smaller: f or 1?
f
Let d(m) = -m**3 - 7*m**2 - 8*m - 9. Let g be d(-6). Suppose 5*v = -5*k, 5*k - 2*v = -g*v. Let z be (-3 + 2 - -1)/2. Is z at least as big as k?
True
Suppose -46 = -f - c - 10, -5*c + 75 = 2*f. Let h be 95/f + 2/7. Suppose -g + h*g = -2. Is 3/2 equal to g?
False
Let q be (-8)/6 + (-1 - -2). Let y = -25 - -24.89. Let m = y - 0.09. Which is greater: m or q?
m
Suppose -6 = -3*i - 3. Let n(k) = k**2 - 12*k + 15. Let u be n(11). Suppose -u = -0*h - 4*h. Is h smaller than i?
False
Suppose -3*z + 2*y + 3 = y, 5*y = 5*z - 5. Which is smaller: 0 or z?
0
Suppose -3*c + 22 = -3*y + 2*c, 3*y + 8 = -2*c. Let z be (24/150)/(y/(-10)). Let b be (-10)/8 + 2/8. Which is smaller: b or z?
b
Let k = -167 - -157. Are -12 and k nonequal?
True
Let b be 1/3 - 74/252. Let i = b + 1/14. Which is greater: 1 or i?
1
Let r = 555/182 - 5/26. Is 2 >= r?
False
Suppose 0 = v - 0*v + 1. Let f = 5 + -4. Let n be (-3)/(2 - 20)*f. Is n less than or equal to v?
False
Let q be -2*2/(-4)*(-1 - 0). Is -13 >= q?
False
Let x = 573/5 + -115. Let a = -1.34 - -0.24. Let u = 0.1 + a. Is x != u?
True
Let r = -97/3 - -33. Which is bigger: 1/15 or r?
r
Let f be (-10)/5 + (-9)/(-4). Which is bigger: f or 0?
f
Let x = 3 + -2. Let i = 6.02 - 0.02. Let t = -6 + i. Is x < t?
False
Let n(a) = a**2 - 6*a - 9. Let g = -6 + 13. Let j be n(g). Which is smaller: j or 0?
j
Let d(n) = n - 4. Let k be d(3). Let i(s) = -3*s**2 - 1. Let h be i(k). Is h bigger than -5?
True
Suppose 0 = -3*k, o + 4*k = -o + 8. Suppose o*b + 5*r = 1, 0*b = b + r. Is -1/8 smaller than b?
False
Let z = -0.24 + 0.04. Is 0.3 < z?
False
Let j = -37 - -23. Is -14 equal to j?
True
Suppose -w - 4*w = 10. Let g = -6 - w. Which is smaller: g or 1?
g
Suppose 0 = -5*y - 11 - 4. Let i = 0 + 3. Suppose 0*w + 3*w + 4*b - 10 = 0, w - i*b + 14 = 0. Is y <= w?
True
Let l = -17.93 + 18. Let g = -0.07 + l. Is 2 <= g?
False
Let g be (70/56)/(14/120). Is 12 smaller than g?
False
Let q be 2/14 - (-194)/14. Is q less than 14?
False
Let p(z) = z**2 + 6*z + 2. Let l be p(-5). Which is smaller: l or -2?
l
Suppose -7 = 5*g + 8. Let f = -1 - -4. Suppose 2 = -f*l - 10. Which is smaller: g or l?
l
Let s(q) = -6*q**2 - 4 - q**3 - q**3 + 0 + 3*q. Let d(w) = -5*w**3 - 13*w**2 + 6*w - 9. Let x(j) = 3*d(j) - 7*s(j). Let n be x(2). Is -3/5 at least as big as n?
True
Suppose 2 = 2*k + 3*g + 4, 14 = -3*k + g. Let c be 0 - (9/k + 2). Which is bigger: -1 or c?
c
Let t(l) = -l**3 - 3*l**2 + 3*l - 3. Let x be t(-4). Let b be (-8)/(-6)*(-9)/(-150). Which is smaller: b or x?
b
Let g(b) be the third derivative of -b**5/60 + 13*b**4/24 + b**3/3 + 3*b**2. Let q be g(13). Is 8/3 at most as big as q?
False
Suppose -7*s = -2*s + 3*a + 8, -1 = -s + 2*a. Let h(l) = l**3 + 2*l**2 - 2. Let j be h(-2). Is j at least s?
False
Let r(x) = x**2 + 5. Let t be r(-4). Let k = -149/7 + t. Suppose 5*a - 27 = 4*m, 6*a - a - 21 = 2*m. Is k bigger than m?
True
Let u(k) = k**3 - 6*k**2 + 8*k - 5. Let b be u(5). Suppose 0 = -b*c + 15*c - 20. Suppose -5*y + y = 5*q - 40, -4*q = -y - 11. Is c less than or equal to q?
True
Let v(h) = -h**3 - 5*h**2 - h + 4. Let x be v(-5). Let g = x + -10. Which is greater: -1/13 or g?
-1/13
Let c = -1.7 - 1.3. Is -2 at most c?
False
Let u = -0.82 + -0.18. Which is bigger: -0.1 or u?
-0.1
Suppose -4*v = -3*m + 40, -4*v - 4 - 4 = 5*m. Is v greater than 1?
False
Suppose -4*l + 2 - 6 = 0. Let f = -39/5 - -8. Which is smaller: l or f?
l
Let g(u) = u**3 - 4*u**2 - 4. Let d be g(4). Let a be (6/4)/(39/d). Do 1 and a have different values?
True
Suppose -r - 4 = 5*u + 4, 0 = -2*r - 3*u - 30. Is -18 bigger than r?
False
Suppose 3*z - 4*t - 11 = t, 0 = -2*z + 4*t + 8. Suppose g + j - z = 2*g, -4*j + 12 = -5*g. Which is bigger: -6 or g?
g
Let o(j) = 4*j**3 + 21*j**2 - 11*j + 11. Let y(q) = -5*q**3 - 22*q**2 + 10*q - 10. Let r(n) = -6*o(n) - 5*y(n). Let k be r(15). Which is smaller: 2/55 or k?
k
Let m = 1.8 + -2. Let z be 3/(-20) - 3/12. Which is bigger: m or z?
m
Let b(g) = -g**3 - 3*g**2 - g - 4. Let z be b(-3). Let o = -374/219 + 3/73. Which is greater: z or o?
z
Let o(q) = 20*q + 4. Let x be o(-2). Are -36 and x equal?
True
Let z = -1.99 - 0.01. Which is smaller: -3 or z?
-3
Let a be ((-13)/(-78))/(-1 - -2). Is 0.04 at least a?
False
Suppose -3*q + 16 = v, 0*q + 2*q - v = 4. Suppose 3*c - q*s + 4 = 3, 3*c - 5*s = -2. Which is greater: c or 2/5?
c
Let s = 18071/12 + -1507. Let b = 3/4 + s. Is 2/3 bigger than b?
True
Suppose 3*c - c = -2*f + 14, 2*c - 10 = 0. Let u be (-2)/(-14)*-16 + f. Is 3/7 >= u?
True
Let t be (-2)/15*1680/(-72). Which is greater: 3 or t?
t
Suppose -5*c - 4*y - 18 = 0, -4*c - 32 = -5*y + 7. Which is smaller: -8 or c?
-8
Suppose -3*z = -6 - 0. Suppose w + 3 = 0, z*w + 1 = 2*f + w. Let s = 0 + 0. Which is smaller: f or s?
f
Suppose 0 = 2*h - 3 - 7. Suppose -h*c = -2*c + 3. Let v = -4 + 4. Is v > c?
True
Let r = 88/3 - 29. Let x = 1.9 + -3.9. Is r smaller than x?
False
Let i be (4 - 3) + (1 - 1). Let u be -2*((-3)/2)/3. Is u > i?
False
Let r be 4/(-12) - (-64)/210. Suppose 4*c + 0*c = -4. Is r > c?
True
Let f = 4 - 4. Suppose f = 2*g - g - 2. Suppose -g*a - 5 = -7*a. Is -2/7 bigger than a?
False
Let v(c) = c**2 + 2*c - 20. Let p be v(0). Which is greater: -22 or p?
p
Let m = 0.11 - 0.01. Let t = 28 - 18. Which is bigger: t or m?
t
Let x = -86 + 86.1. Which is smaller: 52 or x?
x
Suppose 4*y - 9 = n, -2*n - 2*y + 2 = -0*n. Is n greater than or equal to 2/111?
False
Let j(o) be the second derivative of o**3/6 - 5*o**2/2 - 3*o. Let v be j(5). Do -1/5 and v have different values?
True
Let i be ((-7)/((-84)/(-40)) - -3)*1. Let g be 1*1*3 + 0. Which is bigger: g or i?
g
Suppose 3*b - 20 = -b. Suppose b*h = 3*h. Which is smaller: -2 or h?
-2
Let r = 117 + -166. Is r > -49?
False
Let a = 22 + -52. Let v be 6/a*(0 - -3). Is -2 != v?
True
Let o be (48/(-200))/((-8)/190). Let l = o + -657/110. Which is smaller: 1 or l?
l
Let x = -119 + 15. Which is smaller: -105 or x?
-105
Let w = 0.95 - 0.65. Which is smaller: -0.08 or w?
-0.08
Let w(o) = -3*o**3 - o**2 - 4*o - 2. Let f be w(-2). Are 25 and f non-equal?
True
Suppose -4 = -3*n + 2. Suppose n*y + 12 = -y. Let l be (y/(-12))/((-2)/6). Is l not equal to 2/5?
True
Suppose 18 + 44 = 4*j + 2*g, 5*j = 4*g + 97. Let n be (-4*(-4)/16)/j. Suppose 2 = 2*o - 4*o. Which is smaller: n or o?
o
Suppose 49 = 5*p - 3*t, -5*t + 5 = 2*p - 27. Let n be (13 - 5) + (-2)/(-1). Which is bigger: n or p?
p
Let i = -13 + 13. Suppose -y + 10 = -2*y. Let n be 2/30 + 4/y. Is i > n?
True
Let i = 41 + -81/2. Is i less than -0.8?
False
Suppose -2*j + 6*j = 8. Let g be 5/15*3/j. Is g smaller than -2/3?
False
Let x = -11 + 11. Suppose -m + 5*m - 8 = x. Suppose 2*b - 5 = -d + b, m*d = 5*b - 4. Which is smaller: d or -0.1?
-0.1
Suppose -2*r + 2*c = 14, 0 = -5*r + 2*c - 5*c + 5. Is -2 greater than r?
False
Let d(u) be the first derivative of u**3/3 - u**2/2 - 2*u - 2. Let s be d(2). Suppose -3*h + 0*h = -3*a, -4 = 4*h. Which is smaller: s or a?
a
Let r = -2 - -1. Are -3/4 and r equal?
False
Suppose 7*u - 2*u = 90. Is u less than 17?
False
Let r(v) = -v**2 - 7*v - 3. Let s(d) = -d**3 - 3*d**2 + d - 4. Let x be s(-3). Let i be r(x). Let p be 6/(-15) + (-36)/10. Is i less than p?
False
Let c = -3132 + 291251/93. Let y be (-1)/((-54)/(-4) + 2). Let z = y + c. Which is greater: 2/7 or z?
2/7
Let q(x) = -5*x**2 - x + 1. Let f be q(1). Let d(g) = 3*g + 11. Let k be d(f). Are k and -5 non-equal?
True
Let u = -21 - -23. Suppose 12 = 3*d, -3*d + 0*d = -u*h. Is 3 at least h?
False
Let z = -12 + 11. Let p = 10 + z. Is p > 9?
False
Let m(h) = h**3