-8 = -3*g + 19. Suppose -g = -4*z - 1. Is 1 < z?
True
Let g(a) = -a**3 - a. Let f be g(2). Let n = f - -7. Which is greater: -0.1 or n?
-0.1
Let o = 399/5 - 159/2. Are o and 6 unequal?
True
Suppose -4*y - 16 = -3*y + 4*k, -k - 4 = y. Let n(z) be the third derivative of z**6/120 + z**5/12 - 5*z**4/24 + z**3 + z**2. Let b be n(-6). Is y less than b?
False
Let k = 1528/10101 + 2/777. Which is greater: k or 2/7?
2/7
Let z = -0.61 + 0.6. Let g = -0.03 + z. Is g at most as big as -2/5?
False
Let z = 30 - 3. Let k = -16 + z. Which is smaller: k or 19/2?
19/2
Suppose g - 4 = -4*l, -3*g + 12 = -l - 0*l. Let n = g + -6. Is n at most as big as -3?
False
Let l be (-250)/24*3/(-15). Let o = 11/12 - l. Suppose 4*k = s + 13, 0 = 3*s - s + 5*k - 13. Which is smaller: o or s?
o
Let o be (-3 - (-28)/6)*9. Let s be (-6)/o - (-48)/70. Let l(r) = -r - 7. Let x be l(-7). Is s >= x?
True
Suppose -2*d - 14 = t, -52 = -2*t + 5*t - 4*d. Is t equal to -17?
False
Suppose -6*c - i = -c, c - 26 = 5*i. Let w(h) = 4*h**2 + h + 1. Let p be w(-2). Suppose -p = -3*n + g + 2*g, -n + 4*g = -17. Is c at least n?
True
Let r = -2 + 2.04. Suppose 0*i - i + 11 = z, 0 = z + 5*i - 31. Let s = -6 + z. Which is smaller: s or r?
s
Let a = 16251/4 - 3955. Let u = -107 + a. Let h(f) = 3*f - 3. Let g be h(1). Is u < g?
False
Let p be (-5)/(-10)*2/(-1). Which is greater: -4/13 or p?
-4/13
Suppose -3*f - 13 - 2 = 0. Let t = -4 - f. Let u be (8/(-3))/(-2) + -1. Which is smaller: t or u?
u
Suppose 25 = 5*p, -7*p + 11*p = -4*t + 40. Let k = 17 + -12. Is t at least k?
True
Let f = -14 + 16. Let j be (-1 - (-30)/27)*f. Is -5 >= j?
False
Let q = -3 - -1. Let l = 18 + -7. Let b = l - 11.4. Which is smaller: q or b?
q
Let p(m) = -m + 6. Let s be p(4). Is 1 <= s?
True
Let n be (-2)/((6/7)/(-3)). Let d be (-8)/28 - (-2)/n. Suppose d = -4*q + 4 + 4. Is q equal to 2?
True
Suppose -2*l - 3 - 1 = 0. Let p(m) = -3*m**3 - 2*m**2 + 1. Let x be p(-1). Suppose -g + 6*g - 10 = 0, x*i = -g. Are l and i nonequal?
True
Let o = -63 - -317/5. Let f = 19/21 + -4/7. Is f not equal to o?
True
Let b = 70.8 + -65. Let v = -6 + b. Is -0.1 > v?
True
Suppose 2*d - 2*o - 53 = o, -2*o = 3*d - 47. Is d > 19?
False
Suppose -4*i = -3*r + 125, 5*i = r - 5*r - 195. Let v be (12/(-10))/(7/i). Which is smaller: v or 16/3?
16/3
Suppose -3*y + 35 = 2*j - 20, 0 = -2*y + 10. Is j at least 16?
True
Let u be (4 + (-123)/30)/((-12)/15). Let w = 0 - 1. Is w at most u?
True
Let c be (-8)/(-70)*(3 - 8)*1. Which is greater: c or -1?
c
Let o be 136/(-365) - (-18)/45. Is o at least -1?
True
Let l = -420168/11 + 18562184555/485958. Let o = -5/398 - l. Let a = o + -24/37. Which is smaller: a or -2?
-2
Let x = 4 - 6. Let l = x + 2. Let r = -0.34 + 0.54. Which is bigger: r or l?
r
Let w(n) = -2*n**2 + 24*n - 1. Let m be w(12). Suppose c = -4*j + 10, -2*c + 4*j = -j + 19. Let d be m/(6 + -1 + c). Are d and 0 nonequal?
True
Suppose -8*g + 4*g + 204 = 0. Let u be 3/((-93)/g + 2). Does 16 = u?
False
Let t be (2/(-14))/(3/(-2)). Let m(a) = 2*a**3 - 5 - a**3 - 2*a - 2*a + 0*a - 4*a**2. Let i be m(5). Which is greater: i or t?
t
Let b(r) = r**3 + 4*r**2 + 5*r + 3. Let h be b(-3). Let p = h + 4. Is p greater than 0?
True
Let h(a) be the second derivative of -a**6/720 + 3*a**5/40 - a**4/6 + a. Let q(u) be the third derivative of h(u). Let y be q(6). Which is greater: 5 or y?
5
Let y be -2*(2 + -6 + 3). Let t be 4/8*(-16)/y. Which is greater: -3 or t?
-3
Let a = -31399/13 - -2413. Which is smaller: -2 or a?
a
Suppose -n - 30 = 4*s, 5*n - 2*s = -5*s - 65. Which is bigger: -43/5 or n?
-43/5
Suppose 28 = -3*k + 58. Which is smaller: k or 12?
k
Let i = -27 + 31. Suppose -i*o = -o - 18. Which is smaller: o or 4?
4
Let f = -108.34 + 107. Let j = 0.24 + f. Let g = -1 - j. Which is bigger: 2 or g?
2
Let t be 2*(-5)/(-30)*-3. Is 4/17 less than or equal to t?
False
Suppose 3*v + 1 = -5*h + 3*h, 2*v + 2 = 0. Suppose -2*k - 3*l = -1, k - 3*k + 2*l = 14. Let b(u) = -u**2 - 3*u + 3. Let o be b(k). Which is bigger: h or o?
h
Let d = 0 + 0. Let l be d/(((-2)/(-1))/(-1)). Let j = 22 - 21. Which is greater: j or l?
j
Let n = 144.95 + -145. Which is smaller: n or 9?
n
Let m(o) = -o**3 - 10*o**2 + 10*o - 6. Let d be m(-11). Suppose -4*q - d*c + 11 = -3*q, 2*q - 4 = -c. Let h be (3 + -1 + 0)/q. Is -0.2 <= h?
True
Let t = -12 - -18. Let m = t - 11. Is -5 != m?
False
Let u be 0/((-1 - 1)/1). Is -2/5 >= u?
False
Suppose 0 = -5*i - 5*m - 5, 0 - 2 = 3*i + 4*m. Is -4 at most as big as i?
True
Let t = -52.96 + 51. Let g = -2 - t. Let f = 0.24 + g. Which is bigger: -2/5 or f?
f
Let u = -3 + 5. Suppose 4*v = u*o + 4, -o = -6*o - 2*v + 26. Suppose -2*j = r - 3*j, -6 = r - o*j. Is 2 bigger than r?
False
Let r(o) = o + 12. Let z be r(-5). Let w be 2/z + 7/147. Let s(u) = -u + 1. Let j be s(3). Which is bigger: j or w?
w
Let i = 0.8 - 0. Which is greater: -0.2 or i?
i
Suppose -5*a + 6 = -x, 5*x = -a + 4*x. Are -1/7 and a unequal?
True
Let w = -1.3 - -1. Is w less than 2/9?
True
Let y(u) = u + 1. Let s be y(1). Let t(h) = -2*h**2 + 12*h - 9. Let f be t(5). Which is greater: f or s?
s
Suppose m - 9 = -2*m. Which is smaller: m or 4?
m
Suppose -3*s + 29 = -f, -4*f - 63 - 8 = -3*s. Let m be 6/(-15) - f/10. Let y = m + -1. Is y greater than or equal to 0?
True
Suppose -p + 95 = -3*v + p, 2*p = -4*v - 150. Let z be (-88)/(-10) - 7/v. Is z at most 9?
True
Let d be (56/21)/(38/3). Is 0 bigger than d?
False
Let w be (-8)/28 + (-214)/(-115). Let o = 4/161 + w. Which is greater: o or 1?
o
Let z = 5/4 - -1/4. Is z at most 1?
False
Let d(r) = -45*r**2 + r + 1. Let u be d(-1). Let s be -3*((-51)/u - 1). Which is smaller: s or 1?
s
Let f(t) = -t**3 + 5*t**2 - 4*t + 4. Let h be f(4). Suppose -4*a + 4*c = 71 + 49, h*a - 5*c + 120 = 0. Let b = a + 152/5. Is b < -2?
False
Let q(o) = 3 + 0*o - 2*o + 4*o**2 - o**3 - o**2. Let c = 7 + -4. Let g be q(c). Which is smaller: -2 or g?
g
Let b = 10.3 + -1.3. Let r = b - 8. Let u = 0.1 - 0.1. Which is greater: r or u?
r
Suppose 4*f = 2*u - 2 - 6, -3*f = -3*u + 12. Which is bigger: 3 or u?
u
Let t(k) = k**3 + 23*k**2 + 21*k - 27. Let o be t(-22). Is -11 at most o?
True
Suppose -2*g + u = -11, -12 = -g + 3*u - 4. Let i = g + -7. Let k be (1/1)/(-1)*3. Which is smaller: i or k?
k
Let y be 1/(1*4/(-8)). Do -3 and y have the same value?
False
Let m(l) = -l**3 - 2*l**2 + l + 2. Let h be m(2). Let u be h*(-3)/9*1. Suppose -3*p + 3*d + 7 = -4*p, 0 = p - 2*d - 8. Is p at most u?
True
Let k = -14 - -21. Let h be (-10)/k*(-6)/(-15). Is h not equal to -2?
True
Let j = -4 + -8. Let l = -12 - j. Do l and 3 have different values?
True
Suppose 0*a = a. Suppose -133 = -4*f - 5*s, 4*s - 20 = -a. Which is bigger: f or 28?
28
Suppose -11 = -4*f + 13. Let p(g) = f*g - 3*g - 4*g + 11. Let x be p(9). Which is smaller: 0 or x?
0
Let z be (-10 - -1)/(-3) + 0. Let g be 6/(-2) - (-24)/z. Let x be ((-6)/(-9))/((-2)/(-12)). Is x less than g?
True
Suppose 0 = l + l - 14. Which is smaller: l or -2/19?
-2/19
Let z = -18 - -17. Suppose 3*m - 7*m = -2*b, -5 = 5*m. Which is greater: z or b?
z
Let k be -3 - (-1 - -1 - 1). Let h be 9/4 - (4 + k). Which is bigger: h or -2?
h
Let o = 9/13 - 1/39. Which is bigger: -0.1 or o?
o
Let k = 0 + 2. Suppose -k*a - 3*a - 5 = 0. Let u = -71/7 + 10. Which is smaller: a or u?
a
Let y be 9/3*(1 - 0). Suppose 8*k - y*k + 30 = 0. Let g be k/30 + 2/10. Is -0.2 at most as big as g?
True
Let o = 5 + -3. Suppose o*a = 3 - 9. Let n be (a/(-5))/((-1)/(-5)). Is n smaller than 2?
False
Let a = 3 - 2.5. Let y = -16 + 17. Is y at most a?
False
Let w = -1.4 + -0.6. Let i = 2.1 + w. Is -0.9 less than i?
True
Suppose 0 = 2*o + 2*z - 1 - 1, 15 = -3*z. Let a = o - 1. Suppose 3*b + 21 = 3*g, g + a*b + 23 = -0*g. Do g and -3 have the same value?
False
Let k be (1 + 1)*(-13)/(-2). Let n be (8/k)/(-4)*1. Let d be 0 - 3/(42/(-4)). Which is smaller: n or d?
n
Let b = -0.17 - -8.17. Let c = b + -10. Is -0.1 not equal to c?
True
Let u = 18 - 17.4. Does u = -0.1?
False
Suppose -2*i + 6*i = -16. Let x = 8 + -6. Let n be (x/28)/(i/16). Which is greater: n or -1?
n
Let w = 2.4 - 0.4. Let l = -1.2 + 0.2. Which is greater: w or l?
w
Let r = -1 + 3. Suppose r*m + 0*m - 52 = 0. Suppose -4*v - 10 = -4*u - m, 4*v = -4*u. Is -2 at least as big as u?
True
Let k be 3*(19/15 + -1). Let a(z) be the third deriva