*s**2 + 3*s + 5/6*s**3 - 1/12*s**4. Let i be y(6). Is i less than or equal to 1?
False
Let d(g) = -6*g**3 + 2*g + 1. Let x be d(-1). Suppose 14 = x*z + f, 2*f + 5 = 3. Is 3 at most z?
True
Suppose -2*p + 7 = -5. Let x be (-2 + p)/(-5 + 9). Suppose -a = 2*a. Which is smaller: a or x?
a
Let u = -20 + 14. Let x = u + 8. Which is bigger: x or 0.2?
x
Let s be 2*(3/2 + 0). Suppose 0 = -2*b + 8, -2*b - 7 = 4*l + 5. Let n = l - -7. Is n at least s?
False
Let q be -1 + 2/(-1 - -3). Let g be q + 297/(-6)*-4. Let x be (-64)/g + 4/(-18). Is 0 equal to x?
False
Let w = 3.144 - 0.044. Let x = -3 + w. Does x = 0?
False
Let h be (-1025)/(-35) + 1 + (-4)/14. Which is smaller: 31 or h?
h
Let l be (-1)/(2/(-2)) - 1. Suppose l = -k - 5*h + 16, 3*k + 2*h - 4 = 2*k. Is -4 at least as big as k?
True
Let v = 0.03 - 1.63. Let n = 0.4 - v. Let q = 1.9 - n. Which is smaller: 1 or q?
q
Let s(x) = -x**3 + 4*x**2 + 3*x - 5. Let q be s(4). Let c = 10 - q. Suppose 7 - 1 = -c*d. Which is bigger: 0 or d?
0
Let w = -164/3 - -54. Let q = -0.12 - -0.1. Let j = q - -0.12. Which is greater: w or j?
j
Let x = 4.9 + -5. Is -2/73 greater than or equal to x?
True
Let z = 9 + -6. Let l = 16 - 16. Which is smaller: z or l?
l
Let p = -147/164 - -6/41. Let n be (-1 - -1) + (0 - 2). Which is smaller: p or n?
n
Let t be 9/(27/(-6)) - 20/(-9). Suppose 2*g - 1 = 1. Is g >= t?
True
Suppose a + 14 = 5*x - 4, 3*x = 3*a + 6. Which is greater: 3 or a?
3
Let w(p) = p**2 - 2. Let b be w(0). Let y be 35/(-7)*b/(-2). Let i(a) = -a**3 - 4*a**2 + 5*a - 5. Let x be i(-5). Is y greater than or equal to x?
True
Let q = 3.2006 + -0.0106. Let y = -0.09 + q. Let l = 3 - y. Is -2/7 at most as big as l?
True
Let h(y) = y - 1. Let r be h(-3). Let z(i) = i**3 + 5*i**2 + 3*i - 1. Let w be z(r). Which is smaller: 0.1 or w?
0.1
Suppose 35*i - 110 = 13*i. Is 3 equal to i?
False
Suppose -3*x = -1 + 7. Let g be (-32)/56*14/12. Which is greater: x or g?
g
Let y(h) = h**2 - 7*h + 8. Let l be y(6). Suppose l*p + 3 = -5*b, -5*b + 4*p + 18 = -3. Let m be (-9)/42*-6 - b. Which is smaller: 0 or m?
0
Let c be 0 - 3/2*8/111. Are 1 and c unequal?
True
Let f = -12 + 1. Let u(x) = -x**3 - 11*x**2 + x + 5. Let z be u(f). Do z and -6 have different values?
False
Let c = -0.46 - -0.7. Let w = -0.04 + c. Which is greater: w or 2/17?
w
Let f(d) = -d - 4. Let g be f(0). Let n(c) = -c**3 - 4*c**2 - 3*c - 2. Let o be n(-3). Which is smaller: o or g?
g
Let x be -2 - (47/2 + 4). Is x != -30?
True
Let d be (0 + -8)*70/(-168)*6. Is d != 18?
True
Let s = 0.3 + -0.5. Let u = 77/292 + -1/73. Which is smaller: s or u?
s
Let m = -13.7 + 15.7. Is 3 at most m?
False
Let s = 211959/40103 - -2/5729. Which is bigger: s or 6?
6
Let f be (-2)/10 + (-48)/80. Is f smaller than 0?
True
Let u be ((-7)/6 + (7 - 8))*-2. Is u <= 5?
True
Suppose 0 = q + 2*q. Let x = -18.8 + 19.8. Does q = x?
False
Let n(l) = -l + 7. Let q be n(5). Let d be (27/(-252))/(q/8). Suppose -2*r = -6*r. Are d and r equal?
False
Let u = -8 + 10. Which is smaller: 19 or u?
u
Suppose 2*l = -2*l - 4. Is 0 at most as big as l?
False
Let m(a) be the third derivative of a**6/120 + a**5/60 - a**4/24 - 5*a**3/6 + 2*a**2. Let r be m(0). Let k be (-5 - r) + 2/4. Is k at most as big as 0?
False
Let y(f) = -2*f - 2. Let b be y(-5). Suppose u - 4 = -4*t + 3, -b = -2*u - 5*t. Suppose 4*j - 7 = s + 13, 4*s + 3*j = 15. Do s and u have different values?
True
Let b(d) = d**2 - 8*d - 3. Let c be b(8). Let y(w) = -w**2 - 4*w + 5. Let n be y(-5). Which is greater: n or c?
n
Suppose 20*o + x + 4 = 24*o, -4*o + 2*x + 8 = 0. Is o >= 3/28?
False
Let v(c) = c**2 + 4*c + 5. Let i be 4*((-9)/(-12) - 0). Suppose -i*h + 4*h + 4 = 0. Let g be v(h). Is 2 >= g?
False
Let f = 0.1 - -0.9. Let r = f + -4. Let d = -11.1 + 11. Which is smaller: d or r?
r
Suppose -4*n = 4*l - 4, -n = -4*l - 6*n + 4. Let i be 2/4 + l/(-2). Suppose -3*z = 3*c - 3, 0 = 2*z + 5*c - 5 - 0. Is z less than i?
False
Let r = -0.4 + 0.3. Let d = -30.7 + 32. Let c = -0.3 + d. Which is smaller: c or r?
r
Let w(f) = -2*f - 9. Let i be w(-6). Suppose 0 = 2*j - 5*n, 0*j - i*n = 5*j - 62. Suppose 4*z + 3*c + 17 = -10, -c = -5*z - j. Is z bigger than -3?
False
Let n be 54/(-7) - 4/14. Let k be (n/10)/((-18)/15). Let m(z) = z**3 + 2. Let u be m(0). Are u and k nonequal?
True
Let q(p) = -p - 5. Let a be q(-3). Are -2 and a equal?
True
Suppose -1 = -u + 1. Let y(m) = 2*m**2 + 1. Let x be y(1). Suppose 2*p = h + h, -x*p - 2*h + 5 = 0. Which is greater: u or p?
u
Let g(m) = -2*m + 16. Let x(z) = -3*z + 24. Let p(k) = 7*g(k) - 5*x(k). Let q be p(7). Which is bigger: q or -2?
q
Let v = 17 - 13. Which is smaller: -2/9 or v?
-2/9
Let j = -12 + 12. Suppose 0*k - 1 = k. Is j greater than k?
True
Let s be (15/10)/1 - 1. Do s and -0.14 have different values?
True
Let b = -7 - -4. Which is smaller: -2/9 or b?
b
Let a = -1 + 3. Let n be (a/3)/((-4)/(-18)). Are n and 2 equal?
False
Let w be (24/36)/(2/2). Which is greater: w or 6?
6
Suppose s = -4*x + 4*s - 1, -3*x + 2*s - 2 = 0. Let i = -3 + x. Which is greater: i or -1?
-1
Let g be (-2 - (-4)/2)*1. Let m be g/(-11) + 0/2. Is -2 smaller than m?
True
Suppose 2 = d - 5*k - 7, 5*d = -2*k + 72. Let a = 11 - 8. Suppose 0 = -t - a*f - 12, -t - 4*f = t + d. Which is smaller: 2 or t?
2
Let r be (-3)/(-15) + 3/(-15). Suppose 4*j + 26 = 4*l - l, 0 = 3*l - 3*j - 24. Suppose 3*u + l - 3 = r. Is u less than or equal to -1?
True
Let q(t) = t**2 + 9*t + 11. Let f be q(-8). Suppose -2*u + 3 + 5 = 0. Suppose -u*v + 2 = -f*v. Is 2 != v?
False
Let h = 58 + -100. Do -41 and h have different values?
True
Let f be 1 + (-1)/1 + 1. Let s be -2 - (f + 38/(-12)). Which is greater: 2 or s?
2
Let a be (3/9)/(-2 - -1). Do a and 1 have different values?
True
Suppose 0 = -4*c - 2*c - 126. Which is bigger: c or -19?
-19
Let n be (-4)/(-6) - 40/51. Let a(h) = h**3 + 6*h**2 + 5*h - 1. Let u be a(-5). Which is bigger: n or u?
n
Let z be 1/(-4) + 27/12. Let y = 53/39 - 9/13. Which is smaller: z or y?
y
Let c = -3 - -19. Suppose g - c = 3*g. Are g and -8 equal?
True
Suppose -c + 5*i - 2 = 0, 4*c = -c + i + 38. Let w = c + -14. Which is bigger: w or -7?
w
Let i be 4/74*(49/(-14) - -3). Which is bigger: 1 or i?
1
Let r = 8.8 - -1.2. Let h = -10 + r. Let n = -0.1 + 0.3. Are h and n non-equal?
True
Suppose -5*t - 5*y + 5 = 0, 2*y = 3*t + 3*y + 5. Let d = t - -1. Let q be (-4)/(-45)*3/d. Which is smaller: q or 1?
q
Let a = -12 - -10. Let m be (-3)/4*(-2)/(-6). Do a and m have different values?
True
Let i be 32/(-40)*(-5)/(-9). Which is bigger: -1 or i?
i
Let p = -29 - -26. Let i = -8 - -4. Which is bigger: i or p?
p
Suppose 20 = v - 6*v. Let m(g) be the third derivative of -g**5/60 - g**4/6 + g**3/6 - g**2. Let h be m(v). Do 0.1 and h have different values?
True
Let k = -1061003/6502015 - 1/291135. Let n = -2/67 - k. Is 1 greater than or equal to n?
True
Let h(s) = s - 9. Let a be h(9). Is -3/25 less than a?
True
Let a = 32 - 30. Suppose -54 = -5*u + a*u. Which is smaller: u or 19?
u
Let k = -3 - -7. Which is bigger: k or 0.2?
k
Suppose 0 = i + 5, -3*m + m + 31 = -3*i. Do m and 11 have the same value?
False
Suppose 0 = 15*q - q + 14. Let l = -7 + 10. Is q greater than l?
False
Let i be (-5)/(20/8) + 2. Let j(w) = w**2 + 4*w - 4. Let c be j(-6). Suppose 2*a = 2*q - 4, 3*q - c*q + 2*a + 4 = i. Is q at most as big as -2?
False
Suppose 5*n = 8*n - 3. Is 3 at least as big as n?
True
Let d be ((-1)/(-2))/(-1) + 0. Which is greater: d or 1/4?
1/4
Let l(k) = k + 23. Let b be l(-15). Which is bigger: 6 or b?
b
Suppose 18*n + 9 = 21*n. Is 16 >= n?
True
Let d = 5.4 + -4. Let o = 0.4 - d. Which is bigger: 0.2 or o?
0.2
Let c be 3/((-42)/(-32)) - 2. Suppose 0 = -2*p - 2*m - 14, p - 5*m - 25 = 4*p. Let t = p + 4. Is t <= c?
True
Let r(q) = q - 6. Suppose -2*o + 5*c + 6 = 1, 5*o - 2*c - 2 = 0. Let x be r(o). Let y be -3*2/(x/7). Which is bigger: y or 6?
y
Let f = -10 + 9. Let q = f + -7. Which is smaller: 0.1 or q?
q
Let j be ((-6)/(-27))/((-8)/12). Is j smaller than 0?
True
Let w = -0.3 - -1.3. Let x be -3 - (0 + -1 + 3). Let t be 2/x - 104/(-160). Is w greater than t?
True
Let b = 3930 + -27233/7. Let a(h) = 9*h**2 + 2*h. Let g be a(2). Let q = b - g. Is q less than or equal to -1?
False
Let p = 8 - -3. Let t = p - 10.7. Which is smaller: 0.1 or t?
0.1
Suppose -3*a + 4*a - 