et t(a) = -a**3 + 4*a**2 + 4*a + 5. Let j be t(o). Is h >= j?
True
Suppose -3 - 5 = -g. Suppose 0*n - g = -4*n - 4*k, -n = -2*k + 7. Is n greater than 1/6?
False
Let r(v) = 2 - 2 - v + 0*v + 8. Let z be r(8). Is 3 at most z?
False
Let v(o) = -o**2 + o + 9. Let a be v(4). Let d = a + -4. Let y = -8 - -2. Which is smaller: d or y?
d
Let a = -8.186 - -0.086. Let u = a - -8. Let b = -0.5 - -0.53. Which is smaller: u or b?
u
Let s be 0 - (-1 - -2 - 5). Suppose -2*t = 2*c - 4, s*t - 4*c + c + 13 = 0. Which is bigger: -3/10 or t?
-3/10
Suppose 3*k - 36 = -k. Suppose -5*d + 5*q - 5 = 0, -3*q - k = 5*d - 4. Let o = -6 - -4. Are d and o unequal?
True
Suppose 2*q + 2 - 31 = 5*p, 3*q + 16 = -p. Which is bigger: p or -31/4?
p
Let c(y) = -y**3 - 8*y**2 - 8*y - 3. Let v be c(-7). Suppose v = -k - 8. Is -12 <= k?
True
Let z be (-1*-1*1)/(-1). Suppose 0 = n + 3 - 4. Let d be (n*0/(-3))/z. Do 1/5 and d have the same value?
False
Suppose -4*j - 5 = j. Let l = 2 + j. Let m = 5/6 + -71/78. Which is greater: m or l?
l
Let g(a) = a**2 + 6*a + 3. Let x be g(-6). Let n = -5 + x. Let z = -39 + 35. Is n at least as big as z?
True
Let a be 3/1 - (-4)/1. Which is bigger: 8 or a?
8
Let u = -0.201 - -1.171. Let j = -0.06 + 0.03. Let m = j - u. Are 0 and m non-equal?
True
Let s be 0/((2 - 0)*-1). Let x be (1 - 0 - s) + -4. Let f be (-1 - x)*(-3)/6. Is f != -2?
True
Let i = 15 - 8. Let q = i - -1. Suppose q + 12 = -5*r. Does r = -5?
False
Suppose -23 = 3*j - 26. Suppose 3*b - 3 = 3. Is b less than or equal to j?
False
Suppose -7*x + 4*x - 57 = 0. Is x < -20?
False
Let o(v) = v**2 - 2*v - 3. Let h be o(4). Suppose i = h*i + 4. Is -2 >= i?
False
Let b = 1602 + -17596/11. Are b and 2 non-equal?
True
Let w = 0.01 + -0.1. Let z = 0.01 - 0. Let a = z - w. Which is greater: 4 or a?
4
Suppose 4*b - 3*b = 2. Let m be (58/24 - 2) + (-2)/(-8). Is b bigger than m?
True
Suppose -1 = 2*w - y - 4, 0 = -y - 3. Suppose -5*t + 2*t - 3 = w. Is t at most as big as 1?
True
Let a = 2662/849 - 3/1415. Let b = a + -14/5. Which is smaller: b or 0?
0
Suppose 2*g = 3*g + 2*g. Which is bigger: 9 or g?
9
Let z be -1 + 0 - 3/1. Let s(m) = -m - 1. Let c be s(z). Which is bigger: c or -2/5?
c
Let f = -269/3045 + -1/145. Suppose -8*i - 15 = 3*y - 3*i, 4*y - 9 = 3*i. Is f > y?
False
Let f = -78 - -48. Is -28 greater than f?
True
Let j = 2.3 - 0.3. Let b be (-4)/30*3 + 32/(-120). Which is smaller: j or b?
b
Suppose 0 = -5*n + 5*u, 2*u + 0 = -n - 9. Suppose 3*q = 3*k + 12, 2*q - q - 4*k - 19 = 0. Which is bigger: q or n?
q
Let f = 0.063 - 0.024. Which is greater: f or 0.1?
0.1
Let v be -18*((-32)/36)/((-4)/(-12)). Is v bigger than 48?
False
Let r = 91.7 - 92. Is -14 less than r?
True
Let p = 13 + -17. Let k be (-3 - -4)*(1 - 6). Which is smaller: k or p?
k
Suppose -j = 4*h - 2 - 5, 0 = 5*h. Let l = -11 + j. Let o = 4 + l. Which is smaller: 1 or o?
o
Let l = -9.51 - -2.56. Let u = l - -7. Let n = u - 0.05. Which is smaller: n or 0.3?
n
Let d be (0 - (1 - 0)) + 3. Suppose o + d = 3*o. Suppose -2*s + v = 2*v - 3, -s - 1 = -2*v. Is o bigger than s?
False
Suppose 6 = -2*a - f, f + 4 - 2 = 0. Which is smaller: a or -10?
-10
Suppose v - 13 = -5*b, 9 = 2*v + 3*v - 3*b. Suppose -5*n = -3*l - 20, -v*n - 5*l = -6*n + 28. Let r = -4.6 - -0.6. Is n less than or equal to r?
False
Suppose 5*a - 6*a + 21 = 0. Suppose -4*g + 27 = -a. Which is bigger: g or 11?
g
Let d(i) = i**2 - 2*i - 3. Let m be d(3). Let w = 65 + -39. Let j = w + -26. Is m at most j?
True
Suppose 0 = -0*c + 3*c - f + 11, 20 = -5*c + 2*f. Is c at most as big as -2?
True
Let f = 4 - 8. Does f = -0.1?
False
Let o = 1/4 - 1/2. Which is greater: 0.06 or o?
0.06
Let q(r) = -r + 11. Let g be q(8). Let h(b) = -b**2 + 2*b + 4. Let j be h(g). Are 1 and j equal?
True
Let j(r) = r + 4. Let t be j(0). Let v be 39/26*(1 + 2/6). Does v = t?
False
Let k = 18 + -29. Let t be -4 + -1 - (10 + k). Which is smaller: t or -5?
-5
Let o = -2 + 2. Which is smaller: 3 or o?
o
Suppose -2*c - 4 = -g, -c - 5*g = -2*c + 7. Let x be c/3 - 16/(-12). Is -0.3 equal to x?
False
Let m = -15 + 5. Let y be ((-3)/m)/(12/(-10)). Let r be 12/3 + -7 - -3. Is r at least as big as y?
True
Let g(j) = -j**3 + 7*j**2 - 6*j - 7. Let u be g(6). Let p be (-36)/(-15)*(-10)/3. Does p = u?
False
Let x = -3 + 0. Let a = 11 - 7. Suppose a*q + 0*q + 8 = 0. Is x at most as big as q?
True
Let o be (-14)/(-49) + 24/14. Which is bigger: 1 or o?
o
Let q(l) = l**2 - 7*l + 1. Suppose 0 = a, 3*i + 2*a - 21 = 7*a. Let c be q(i). Let h = c - 2. Is -1 < h?
False
Let s(b) = -b**2 + 9*b + 9. Let c be s(10). Which is smaller: 12 or c?
c
Let u be 3/615*5 - 0. Is u equal to 1?
False
Let c = -3/523 - 4139/7845. Let p = -2/15 - c. Let g = 16 - 15.9. Which is greater: g or p?
p
Let h be ((-3)/9)/((-1)/(-6)). Which is smaller: h or -23/8?
-23/8
Let d = 4/25 + 6/25. Which is smaller: -28 or d?
-28
Let n(l) = -l**2 + 9. Let o(b) = b**2 - 8. Let j(r) = -5*n(r) - 6*o(r). Let h be j(-3). Let g = 5 + h. Which is smaller: -2 or g?
-2
Let a = 15 + -30. Let u be (-24)/15 - 9/a. Which is bigger: 1/8 or u?
1/8
Let v = 1006/7 - 144. Suppose 8*d - 7 = d. Is d != v?
True
Let r = 36/352189 + 109789260/916747967. Let h = r + -2/137. Are -1 and h non-equal?
True
Let y = 19.7 - 18. Which is bigger: 0 or y?
y
Let f(s) = s**3 - 6*s**2 + s - 1. Let d(i) = -i**3 - 2*i**2 + 2*i + 3. Let u be d(-3). Let r be f(u). Which is greater: r or 1?
r
Let n = -4/225 + 6/25. Is 0 != n?
True
Let r = 12 + -13. Let x = r - 0. Let k be 1*-2 - (-12)/5. Which is smaller: x or k?
x
Let k = 3.97 + 0.03. Let x = -5 + k. Which is bigger: -0.1 or x?
-0.1
Let h = 305/114 + -17/6. Suppose 3*q = -5*a + 12, -2*a - 2*q + 8 = -4*a. Which is bigger: h or a?
a
Let f(h) = -h + 1. Let c be f(0). Which is smaller: 3 or c?
c
Let i(l) = l. Let o be i(-8). Let j be (-21)/12 + 2/o. Let b be 0 + j + 32/18. Is 1 greater than b?
True
Let v = -22 + 19. Does -2 = v?
False
Suppose -4*l = -9 - 11. Suppose -5*x + 9 = -6*k + 4*k, -k + 3 = l*x. Which is bigger: -1/11 or x?
x
Let y = 0.71 - 0.36. Which is greater: 0 or y?
y
Suppose 25 = 2*j + 3*j. Suppose 0 = 3*z + j + 10. Which is greater: z or -4?
-4
Let r = 0 + -1. Let s = -5 - -13. Let u = -12 + s. Which is smaller: u or r?
u
Suppose -3*a - 4*y = -2 + 3, 0 = 3*y + 3. Suppose x - 9 + 5 = 0. Suppose -2*f + 2 = -3*l - 0*f, -4*f + 24 = x*l. Is a greater than l?
False
Let u = 2 + -1.9. Let k = -37/4 + 193/20. Is u greater than k?
False
Let a(p) = p - 2. Let g be a(4). Let v(f) = -3*f - 24. Let u be v(0). Let s = 49/2 + u. Which is smaller: g or s?
s
Let t(l) be the first derivative of -l**3 + l**2 - l + 5. Let k be t(1). Suppose 8*n + 10 = 2*q + 4*n, 20 = -5*n. Is k less than or equal to q?
False
Let w(f) = -f**3 - 10*f**2 + f + 12. Let n be w(-10). Which is greater: 4 or n?
4
Let s(o) = -o**2 - 8*o - 9. Let c be s(-6). Let j(w) = -5*w**3 - 1. Let a be j(-1). Let h = a + 1. Is h at least c?
True
Suppose 4 = 4*o - 8*z + 3*z, -2*z = 0. Are o and -2/47 non-equal?
True
Let b be ((10/(-3))/5)/((-2)/3). Let g = 129/1540 + 1/140. Are b and g equal?
False
Let z(y) = -11*y**3 + 3*y**2 - 5*y. Let s(b) = 5*b**3 - 2*b**2 + 3*b. Let x(q) = -9*s(q) - 4*z(q). Let l be x(5). Does l = -10?
True
Let b = 46/17 + -6888/2533. Let c = b - -316/1341. Let h be 15/20 + 7/(-4). Is h at least as big as c?
False
Let t be (-36)/(-15) - 8/20. Suppose -x - 4*a - a = -21, -t*x - 2*a = -10. Which is smaller: x or 3/10?
3/10
Let g = 1 - 2. Let m(w) = w**2 + 9*w + 8. Let t be m(-8). Let y be -1 + 1*(-1 - t). Which is smaller: y or g?
y
Let x be (-30)/(-8) - 3/(-12). Suppose u = -x*u. Which is bigger: 2 or u?
2
Let u be ((-1)/(-4))/((-3)/(-8)). Suppose -5*g - 3 = -3*v, -3 + 4 = 5*g + v. Suppose -t = -g*t - 2. Is u greater than or equal to t?
False
Let s be (1 + 2)*(-4)/(-42). Suppose 4*o + 13 = -3*z, -5*o + 0*z + 2*z = -1. Is o <= s?
True
Suppose 44 = -5*a + 3*a. Do -23 and a have the same value?
False
Let w = 7.1 + 1.9. Let z = 9.1 - w. Which is bigger: 2/17 or z?
2/17
Let q be 5 - 7 - 19/(-10). Which is bigger: 0 or q?
0
Let w = 21 + -16.5. Let c = -1.5 + w. Is c >= 2/5?
True
Let u = 1.2 + 3.8. Let s = u + -3. Let h = 3.2 - 3. Is s equal to h?
False
Let i = 2.9 - 3. Let b = 0.4 + i. Let z = 0.2 + -0.1. Does b = z?
False
Let c(a) = -a**3 - 9*a**2 + 8*a - 1. Let u be c(-10). Is 20 > u?