s 566 smaller than a?
False
Let u = -9.5413 + 9.6. Is 1/4 less than or equal to u?
False
Let s = -9.06 + 0.06. Let a = s + 8. Let r = -63 - -68. Is a < r?
True
Let n(l) = -4*l**3 + 35*l**2 - 17*l - 10. Let i be n(8). Is i smaller than 39?
False
Let s = 22 + -22.25. Let f = 19 - 19.3. Which is smaller: f or s?
f
Let f(n) = n - 4. Let y be f(4). Suppose 0 = -y*q + 5*q. Suppose -3*w = -5*i - 43, q*i + i - 7 = -2*w. Which is smaller: 7 or w?
w
Suppose 5*i + 10 = 0, -i - 132 = 5*b - 35. Is b < -7?
True
Let b = 112 - 116. Let p be (b/(16/(-2)))/(316/48). Is 0 at least p?
False
Let w = 735 - 304. Is 431 >= w?
True
Let h(j) = j**3 + 3*j**2 - 6*j - 3. Let r be h(-4). Suppose 4*q + 2*b = -6, 0*q + r*q - 5*b + 15 = 0. Is -2 > q?
False
Let y = 3184 + -35053/11. Which is greater: y or -2?
-2
Suppose -5*w = -5, 0 = -2*d + 5*w - 24 - 9. Is d <= -108/7?
False
Suppose 0 = 6*c - 11*c - 120. Let h = 38 - 21. Let m = c + h. Is m less than -6?
True
Suppose 4 = -14*c - 10. Suppose 4*f - f = -4*q - 32, 0 = 2*f + 3*q + 22. Let w be 0 + f + 3 + 3. Is c at most w?
False
Suppose 8 = 4*u - 4*f, -3*u - 19 = f - 5. Let y(i) = -6*i - 17. Let k be y(u). Is k at least as big as -2?
True
Let q = 10/21 + -16/21. Which is bigger: 679 or q?
679
Let y(m) = 10*m**3 - m**2 + m. Let u be y(1). Let p be u/15 - 14/(-6). Let q = -4 + p. Which is smaller: -2/9 or q?
q
Let m = -1 + -2. Let a be -4 - (-1 + (m - -1)). Let k be (4 - (4 - 8))*a. Is k at least -8?
True
Let r(s) be the second derivative of s**5/4 - s**4/12 - s**3/6 + s**2/2 + 3*s. Let p be r(1). Let m = p + -5. Which is smaller: 1/9 or m?
m
Let t = 19 - 17. Suppose 4*c - 4 = -3*u, -5*c - t*u + 6*u = -5. Is c < 3/17?
False
Let f be ((-3)/((-15)/2))/((-9)/(-5)). Let x = f + 4/9. Is 54 smaller than x?
False
Let h be (1*-1)/((-25)/(-470)). Let u = h + 97/5. Which is smaller: 1 or u?
u
Let z = 6.2 + -6. Let f = 6 - 5.7. Let l = f + -0.3. Which is smaller: z or l?
l
Suppose -6*p = -3*p - 3*t - 1818, 6 = -2*t. Which is bigger: p or 604?
604
Let b = -66 + 58. Which is bigger: b or 29?
29
Let o(a) be the first derivative of a**4/4 - 2*a**3/3 - 2*a**2 + 3*a + 7. Let c be o(3). Is c less than -1/5?
False
Let x be (7 - 7)/(((-1)/1)/1). Let t = 72 + -218/3. Which is greater: x or t?
x
Suppose -5*q - 22 = -p, 0 = -p - 3*q - 2*q - 18. Let x = 60 - 63. Is x at most p?
True
Let f(b) = b**3 + 7*b**2 + 5*b - 4. Let p be f(-6). Let c = p - 5. Let h be c - (0 - 57/21). Which is bigger: h or 0.2?
0.2
Let t be 42161/(-1197) - (-4)/18. Which is bigger: -10 or t?
-10
Let s = 815 - 813. Let g(k) = -3*k**3 + k - 2. Let o be g(-2). Which is bigger: o or s?
o
Let s(l) = -l**2 + 7*l - 13. Let k be s(7). Let f = k + 66/5. Are -1 and f equal?
False
Let j be (-4499)/28072 - 12/(-66). Is j at most 0?
False
Let o(t) be the second derivative of -t**5/20 + 7*t**4/12 - t**3/6 + 7*t**2/2 + 7*t. Let w be o(7). Let a be 18/70 + 4/(-10). Are a and w nonequal?
True
Suppose 44*j - 24 = 56*j. Is 1/8 equal to j?
False
Let i = -22 - -24. Let l be (-1)/3 + 21/9. Is i not equal to l?
False
Let z = 43954/41 - 1072. Let j(h) = -h**2 + 5*h - 3. Let o be j(4). Which is smaller: z or o?
z
Let r be ((-2)/(-3))/((-10)/(-15)). Let s be 1/(-3) + 518/1302. Which is smaller: r or s?
s
Let n(i) = i**2 - 4. Let l be n(3). Suppose 2*h - 7*h + 21 = 4*v, 22 = 3*v + l*h. Is v at least as big as 2/99?
False
Suppose -t + 3*f - 212 = 0, -5*t + 2*f = -0*t + 1021. Does -203 = t?
True
Let w = 1.88 - 1.896. Which is greater: w or 0?
0
Let n be ((-15)/(-10))/(2/4). Suppose 3*d + n = z, 1 + 4 = -3*z - 5*d. Which is greater: 14/17 or z?
14/17
Let w be 3/(-8)*2 - (-215)/20. Suppose 7*m - w*m - 12 = 0. Which is smaller: -3 or m?
m
Suppose 3*d + 10 = -2*d. Let a = d - -5. Let k = -1206/7 + 172. Which is smaller: k or a?
k
Let m(v) = -2*v**2 + 2*v - 4. Let j be m(-4). Let a = j + 41. Suppose 4*u - 1 = -9. Which is smaller: a or u?
a
Suppose 8 + 42 = 2*b. Let l be 2 - ((-3)/(-5) - (-60)/b). Is l not equal to 1/9?
True
Suppose -2*c - 30 = 5*i + 3*c, -3*c - 12 = i. Which is smaller: i or -21/10?
i
Let s be 11928/(-4312) + 12/14. Is 1/3 >= s?
True
Let r(f) = f**3 + 8*f**2 - f - 9. Let n = -78 - -70. Let q be r(n). Is q smaller than -1/15?
True
Let x(l) = -l**2 - 13. Let w be x(0). Let a(g) = -g**3 + 9*g**2 - 2*g + 9. Let r be a(9). Which is bigger: w or r?
r
Let t be (-6 + (-180)/(-27))*3/5. Which is bigger: 9 or t?
9
Let q be (-11 - 42774/(-2376)) + (-8 - -1). Which is bigger: 0 or q?
q
Let d(l) = l**3 - 2*l**2 + l - 3. Let f be d(2). Is 2/21 at least as big as f?
True
Let q = 420 - 420. Let t(j) = -j + 1. Let v be t(3). Which is smaller: v or q?
v
Let q = 5.5 - 2.9. Let i = 13.4 + q. Let d = 16.2 - i. Which is smaller: 5 or d?
d
Let a be 9/(2 + (-6 - -3)). Let m = 12 + a. Let k(l) = l**3 - 2*l**2 - 4*l. Let b be k(m). Which is smaller: -9/5 or b?
b
Let x(p) = -4*p - 18. Let k(d) = -d**3 + 11*d**2 - d + 5. Let c be k(11). Let f be x(c). Let i be -5*1/((-10)/8). Which is greater: f or i?
f
Let c = 21/1292 - 20413/1096908. Is 1 != c?
True
Let g = -1811/265224 - 5/1032. Is g < -1?
False
Suppose 0 = -3*v + 4*d + 31, 6*v = 2*v - d + 16. Let p be (30/4 + 1)*-20. Let i be (-5)/(-4)*(-476)/p. Is v greater than or equal to i?
True
Let u = -2080 - -1389. Which is bigger: -690 or u?
-690
Let x = 26838 - 6307054/235. Let m = x - -6/47. Let b = 12 - 10. Which is bigger: m or b?
b
Let x = -370/537 + 4/179. Is x less than 0.166?
True
Let f = -12589/41 + 307. Let u = -72459 + 14854064/205. Let z = f + u. Is -1 bigger than z?
False
Let j be (-8)/20 - (-4)/10. Suppose 2*t = 5*b - 40, j = -b + 4*t + 2 + 6. Let u be 3*((-32)/12)/(-1). Is b bigger than u?
False
Suppose -4 - 46 = -5*v. Suppose -5*h - v = -7*h. Suppose 0 = h*x - 1 - 19. Is x > -0.1?
True
Let n = -541 - -541. Which is smaller: -74 or n?
-74
Let w(p) = -2*p**3 + 12*p**2 - 8*p - 15. Let y(a) = -a**3 + 6*a**2 - 4*a - 8. Let g(n) = -3*w(n) + 5*y(n). Let x be g(5). Which is greater: x or -7/27?
x
Suppose 6*y - 98 = 13*y. Let k be 3 + y/4 - (-105)/170. Which is smaller: k or -1?
-1
Let v(b) = -2*b**2 - 8*b - 1. Suppose 1 - 9 = 2*x. Let g be v(x). Are g and -2 nonequal?
True
Let y(v) = 8*v - 9*v + 5*v - 45 + 2. Let h be y(11). Is 1 < h?
False
Let r(y) = -30*y - 249. Let g be r(-9). Suppose l + 44 = 3*l. Is g > l?
False
Suppose 4*f + 10 = 54. Suppose f*g + 5 = 6*g. Is g at least as big as -6/67?
False
Let o(q) = -q**3 - 11*q**2 + 13*q + 14. Suppose -3*g - i - 30 = 2, 2*g + 36 = 3*i. Let b be o(g). Is b equal to 5?
False
Let c be 2/(-7) - 183/(-28). Suppose -5*h = 0, -2*n + 3*h - 1 + 11 = 0. Which is greater: n or c?
c
Let k(p) = 2*p - 2. Let g be k(10). Suppose -7*q + 10*q - g = 0. Let d be (-9)/27 + (-4)/q. Does -2 = d?
False
Let i(v) = -3*v**3 + 3*v**2 - 1. Let t be i(0). Which is greater: t or -8/9?
-8/9
Suppose -5*o + 591 = 1651. Let f = o - -1916/9. Is -2/7 greater than f?
False
Let z be (-50)/(-675) - (-212)/54. Is -6 greater than or equal to z?
False
Let v = 73 + -71. Suppose -2*o = 3*o + v*m - 13, -m = -4. Is o equal to 4/3?
False
Let v = -324 - -857. Is v greater than 1?
True
Suppose -4*m = 3*f + 70, 5*m + 5*f + 1 = -89. Suppose 11 = -v + 3*s, 5*v = 4*s + 16 - 49. Let d be -4 - ((-1)/v + 192/15). Do d and m have the same value?
False
Let x be 1592/40 + -4 - (9 + -6). Which is greater: 32 or x?
x
Let t = -1606 + 407. Is -1200 greater than or equal to t?
False
Let q(m) = 4*m**2 + m + 1. Let u be q(3). Let h be ((-6)/(-21))/(u/(-212)). Let o = 1/70 + h. Which is smaller: -2 or o?
-2
Let f be ((-10)/(-35) - 0) + (-18)/14. Is f bigger than -0.485?
False
Let w(t) = -12*t**2 - t - 3 - t + 2 + 2. Let y be w(1). Let u = y + 85/6. Is u not equal to 1?
True
Let d = -149 + 179. Is 31 at least as big as d?
True
Let j = 18.85 - 45.85. Is j at most as big as 2.7?
True
Let g be (-1*8)/(-4) + -32. Let d be 1/6 + (-55)/g. Suppose -d*a = -3*a. Is -4/3 equal to a?
False
Let f = -189 - -566/3. Which is smaller: f or 6.5?
f
Let r = 54 + -26. Which is smaller: r or 1?
1
Let f = -447 - -446.983. Let r be 15/(-20) + 2 - 1. Which is greater: f or r?
r
Suppose -u - 11 = -2*t, -3*u - t + 2*t - 53 = 0. Let g = u + 21. Suppose k + 6 = -g*k, 2*q = -2*k - 8. Is q at most as big as 3?
True
Let a = 9 - 8. Let w be 119/126 + a/(-6). Which is greater: w or 2?
2
Let o(h) = 4*h + 31. Let l be o(-7