-60))*-216. Are n and -5 equal?
False
Let s be -6 + 119054/(-19931) + 12. Which is greater: s or 1?
1
Suppose 0 = 188*i - 4*i + 552. Suppose -286 = -2*c - c + 2*z, 2 = 2*z. Which is smaller: i or c?
i
Let x(y) = 734*y - 30 + 8 - 729*y. Let k be x(5). Suppose 4*f + 11 - k = 0. Which is bigger: 1 or f?
1
Let c be (-398)/(-36) - (-9449)/(-859). Let r = 8.5 - -1.5. Which is greater: r or c?
r
Let s(m) = 18*m - 41. Let i be s(5). Let v = 77 - i. Let a be 24/v*14/3 - 4. Is a greater than -3?
True
Suppose 18*m - 361 = -37. Let l be 4 - m/5 - 126/(-10). Let r be 79/5 - 17/(-85). Is r bigger than l?
True
Let k = -435 - -435. Let j = -18697/16 - -1168. Which is smaller: j or k?
j
Suppose -4*b = -m + 72, 64*b + 18 = 63*b - 3*m. Suppose -3*f = -2*k + 61, -3*f - k - 47 = 4*k. Is b less than f?
False
Let k(n) = -n**3 - 18*n**2 - 8*n + 13. Let c(g) = g**3 + 17*g**2 + 10*g - 12. Let s(r) = 3*c(r) + 2*k(r). Let p be s(-14). Is p at most -10?
True
Let t be (-125932)/54 + 144/1944. Is -2334 at most as big as t?
True
Let x(j) = 15*j**3 - 3*j**2 - 2*j + 2. Let p be x(1). Suppose p*d + 4*b + 36 = 16*d, -2*b = 5*d - 31. Let t = 3/83 + 1897/332. Is d bigger than t?
True
Let m(u) = -2*u**3 - 14*u**2 - 38*u - 18. Let q be m(-10). Does q = 959?
False
Let j(u) = -2*u**3 + 39*u**2 + 42*u - 437. Let q be j(20). Let h = 11677/42 + -278. Which is smaller: q or h?
h
Suppose g - 499 = -0*g. Suppose 0 = -3*w + 4*i - g, 6*i - 3*i - 331 = 2*w. Is w less than -172?
True
Let q(k) = -3*k**2 - 45*k + 162. Let y be q(3). Is y at most as big as -27/172?
False
Suppose -65*g - 31322 - 144828 = 0. Which is smaller: g or -2712?
-2712
Let n = -26 + 9. Suppose 3*u - 7*u + 12 = 0. Suppose -3*d + 8*d = -5, 3*c - u*d = 6. Is n greater than c?
False
Let z be (-5)/(-2) - (-18)/(-132)*11. Is z bigger than -1/5390?
True
Let m = -50 + 4250. Is 4199 greater than or equal to m?
False
Let g = -66.5 + 63.5. Which is greater: g or 550?
550
Let d be ((-12)/8 + 4)*(-32)/(-40) - -85. Which is smaller: 441/5 or d?
d
Let s(j) = -165*j**2 - 27*j + 28. Suppose 0 = -3*u + 228 - 225. Let f be s(u). Which is greater: f or 0?
0
Let z be (-5546)/(-15)*12/(-8). Let f = 555 + z. Let a = 7 - 3. Is f greater than a?
False
Suppose -4*q + 16 = 0, -8*f + 5*q = -4*f - 512. Which is smaller: f or 142?
f
Let c(d) = d**3 + d**2 - 12*d - 12. Let s be c(-3). Let u = -30 - -11. Let l = -18.7 - u. Which is greater: s or l?
s
Let g(p) = 8*p - 85. Let z(c) = -3*c + 29. Let h(s) = -4*g(s) - 11*z(s). Let t be h(-20). Is t <= -170?
False
Let f = -61.4 + 4.4. Let q = f - -57.3. Is q != -29?
True
Suppose 4*y + 36 = 28. Let h be (y + 26/8)*(-30)/175. Suppose 2*a - 3*a + 3*d = 3, 5 = 4*a + 5*d. Are a and h equal?
False
Let x(p) be the third derivative of 7*p**4/24 + 22*p**3/3 - 5*p**2. Let c be x(-6). Which is smaller: c or 1/2?
1/2
Let l = -12367/4 - -3092. Is l greater than -0.0935?
True
Let u = -11363 + 11349. Let d be 20/(-15)*(-3)/(-2). Is u > d?
False
Let h = 1/33 + -106/231. Is h greater than 2/1227?
False
Let o be ((-29)/145)/((-1)/20) - 198. Which is smaller: -201 or o?
-201
Let x be ((12/64)/(-3))/((-19)/(-44)). Let m = x - -1135/228. Which is smaller: 4 or m?
4
Let k = -14286753/886 - -16125. Which is smaller: k or 1?
k
Let a be (-7)/9 - (-4)/(-18). Suppose m - 109 = -4*j, -4*j = m - 8*j - 101. Let h be 204/m - (-4 + 6). Is h greater than a?
True
Let y(i) be the second derivative of 5*i**4/12 - i**3/6 - i**2/2 - 2*i. Let c be y(-1). Suppose -2*p = -c*p + 18. Is p smaller than 7?
True
Suppose -3744 = 681*w + 6470523. Is -9507 greater than w?
False
Let g = -1035113441/80 + 12939575. Let l = -657 + g. Let h(b) = b**2 - 6*b + 6. Let d be h(5). Is l < d?
True
Let w = -3578 + 3624. Is -4/9 greater than or equal to w?
False
Let k(y) = -2*y**3 - 7*y + 3*y**2 + 3*y**3 + 2*y + 3. Let z be k(-4). Suppose -11*f + z*f - 16 = 0. Is f less than -5?
False
Suppose -576*c = -583*c + 6097. Which is greater: c or 875?
875
Let c(s) = -3*s**2 - 9*s + 4. Let j(g) = -14*g**2 - 38*g + 15. Let h(z) = -9*c(z) + 2*j(z). Let b be h(2). Are -7/92 and b unequal?
True
Let x(g) = -g**2 + 17*g - 59. Let c be x(6). Suppose -a - 3*o - 30 = 0, 4*a - 5*o = c*a + 106. Which is smaller: a or -44?
-44
Let c be 5 - 0 - (-3)/(0 - -3). Suppose 0 = -c*m + m + 10. Let d be (8 - m)/(0 - 1). Which is smaller: -7 or d?
-7
Let q = 8020 - 8015. Is q less than or equal to 44/7?
True
Let q = -95978644/1141 + 84118. Is -1 > q?
False
Let t(i) = -i + 14. Let r(k) = k**3 - 4*k**2 + 4*k - 6. Let a be r(4). Let n be t(a). Let o(u) = -2*u**2 + 10*u - 10. Let z be o(n). Which is greater: -7 or z?
z
Let g = -118.84 - -115.84. Does 233/4 = g?
False
Let k(z) = -4*z - 4. Let q be k(-3). Suppose -n + 0*v - 5*v = -1238, -4*v - q = 0. Let c be n/140 - 6/63*-3. Which is smaller: c or 9?
9
Let m(q) = -15*q - 27. Let b be m(-2). Let u(w) = w**3 - 4*w**2 - 7*w + 29. Let d be u(b). Is d <= 43?
True
Let i be (-14124)/84 - (-3 + -4). Let a = i - -160. Which is greater: -0.05 or a?
-0.05
Let t = -77.4 + 14.4. Let x = 67.7 + t. Let p = -5 + x. Is p greater than 3/10?
False
Let d be -1 + 1 - (4 - 0). Let h = -488044 - -488031. Is d at least as big as h?
True
Let a = 817 + -1481. Let p = a + 51125/77. Which is smaller: p or 1?
p
Suppose -30*p + 11*p = -16*p. Which is smaller: p or 15/334?
p
Let s(x) be the first derivative of 2*x**3/3 - x**2/2 - 3*x + 39. Let y be s(2). Suppose 4*z = -5*r + 88, -y*z + 7*z - 5*r = 88. Is 19 > z?
False
Let o = -3.2 + 3.098. Let g = o - -28.502. Let n = 29 - g. Is 0 != n?
True
Let n = -596 - -597. Is n not equal to -6.33?
True
Let m be 267 - (-102)/(-272)*16*1. Is 4 greater than or equal to m?
False
Let m = 154 + -191. Suppose 6 - 16 = -5*z. Let l be (6/z)/(2/(-24)). Which is smaller: l or m?
m
Let z be (-20)/25*50/(-3). Let t(w) be the third derivative of w**5/10 - 5*w**4/24 - w**3/6 - 7*w**2. Let h be t(2). Which is greater: z or h?
z
Suppose 4*q = 1 + 7. Suppose 120 = -q*t + 7*t. Suppose t - 6 = -6*n. Which is smaller: -7/4 or n?
n
Let t be -21 + (-3 - -5 - -1). Suppose s - 3*k + 11 = -13, 2*k = 6. Which is smaller: t or s?
t
Let v(d) = -35*d**3 + 2*d**2 + 3*d + 1. Let a = -146 + 145. Let g be v(a). Which is greater: g or 71/2?
71/2
Let g be 80/30*(-30)/(-8). Suppose -4*v = m + 5, 2*v - 2*m + 0*m = -g. Let q be v*(11/(-2) - 2). Is 14 at least as big as q?
False
Let h = -75 - -84. Let c be 1/(9/(-42)*6/h). Let g(r) = r**3 + 7*r**2 - 4. Let i be g(c). Are i and -21/4 equal?
False
Let u be 36/54 - ((-433)/12)/((-1)/2). Does -72 = u?
False
Let r = -0.32 - -0.17. Let u be (-52)/252 - (-6)/54. Is u <= r?
False
Suppose -5*b - 775 = 3*g, -42*b + 4*g = -47*b - 780. Which is smaller: -767/5 or b?
-767/5
Let s = 9033 + -9036. Which is greater: -25 or s?
s
Let n = -1.31 - -1.27. Let g = n - -0.14. Which is bigger: g or -18?
g
Let j = 13982 + -13982. Let o = 348 - 405418/1165. Which is bigger: o or j?
o
Let t be 14436/35990 + (-68)/170. Is 0 equal to t?
False
Suppose 0 = 19*w - 38*w + 21*w. Are -9/70 and w equal?
False
Let r(z) = z**2 - 30*z + 97. Let b be r(26). Which is greater: b or -26?
b
Let y(m) = 3*m**2 - 5*m + 60. Let j be y(7). Which is smaller: 140 or j?
140
Let w(x) = -2*x**2 - 5*x + 40. Let d be w(-5). Suppose -12*t + d*t = -3*s + 15, 3 = 3*s - t. Which is smaller: 19 or s?
s
Let x be 666/48 - 12/16. Let c = x - 509/40. Is c > -35?
True
Let u = -14471/1860 - -108/155. Is -8 greater than or equal to u?
False
Let m = 1.2273 - 3.7273. Is m <= 2/121?
True
Let i(j) = j**3 - 28*j**2 - 202*j - 66. Let v be i(34). Is v at most 7?
True
Let m = -31.14 + 22.74. Are m and 7 equal?
False
Let z(n) = -98*n**2 + 627*n + 1251. Let p be z(-2). Which is smaller: p or -391?
p
Let m be 15854/9 + 60/135. Is m at least as big as 1764?
False
Let v(u) = 2*u**2 - 3*u - 3. Let s be v(4). Let f(r) = r**3 + 41*r**2 - 2337*r - 56. Let p be f(-73). Is s not equal to p?
False
Suppose c - 5*c = -24. Suppose -c*l + 8*l - 102 = 0. Suppose b + 3*i + 3 = 2, 3*b = 3*i - l. Which is greater: b or 2?
2
Suppose -3*r + 2*y - 10 = 0, 51*r - 10 = 49*r - 2*y. Which is smaller: 2/4095 or r?
r
Let j = 21 - 19. Suppose -20 - j = t. Let z(c) = c**3 - 23*c**2 + 21*c + 1. Let i be z(22). Is t > i?
False
Let f = 28398261/188 - 151055. Which is smaller: 0 or f?
f
Let r = 3/1450 + 44917/15950. Let j = r + -680/253. Is 0 n