Suppose 0 = 8*o - 24. Suppose 127 - o = 4*y. Which is greater: m or y?
y
Let z = -286 - 68. Is -354 smaller than z?
False
Let y = -1 - -1. Let j(b) = b**2 + 34*b - 64. Let l be j(-28). Let t = l - -231. Is y at least t?
True
Let m(p) = p**3 - 4*p**2 + 6*p - 21. Let s be m(4). Suppose -s*w = 69 + 168. Which is smaller: w or -78?
w
Suppose -85*z + 144*z = -118*z. Is 7/2624 < z?
False
Let m(o) = 1 - 2 - 27*o - 2*o**2 + 19 + 6. Let y be m(-14). Suppose -4*i + y = 6*i. Which is smaller: i or 1/81?
1/81
Let t = 4453/8 - 396385/712. Do t and 0 have the same value?
False
Let z = -1.57 - -412.57. Are 1 and z unequal?
True
Let u = -2/4571 - -18546/598801. Let q = 52185 - 52185. Which is smaller: u or q?
q
Let d be (0 + 12/9)/((-8)/(-420)). Let m = 84 - d. Suppose 7*b + 7 = m. Is -2/67 < b?
True
Suppose 7*j + 12 = 11*j. Let s(u) = j*u**2 - 27*u**3 + 2 + 18*u**3 + 10*u**3. Let q be s(-2). Which is greater: 2 or q?
q
Let a be (-24)/16 + 102/4. Suppose -a = -6*u + 48. Let k be (-3)/(((-1)/4)/(3/u)). Is 42/13 greater than or equal to k?
True
Let f be (-40)/(-336) + 1/6. Let n = -940 + 913. Is n greater than or equal to f?
False
Let y = 2.878 + 0.122. Let h be (3/6)/((-55)/(-10)). Is h greater than y?
False
Suppose -26*i + 3725 - 580 = 11*i. Is i > 85?
False
Suppose 5*u = -f + 8*u + 946, -f = -2*u - 941. Are 929 and f nonequal?
True
Let c = -91108 - -275746/3. Is c not equal to 806?
True
Let f(y) = y**3 + 16*y**2 + 16*y + 18. Let g be f(-15). Let l be -2 - (468/(-4) - g). Which is smaller: l or 1/3?
1/3
Let q be 7/(-49) - (-2647)/7. Let x = 422 - q. Which is smaller: 136/3 or x?
x
Let n be ((-213)/1775)/(6*(-1)/146). Which is smaller: n or 2?
2
Let v = -1841/2 + 901. Let f(d) = -16*d + 73. Let m(j) = -31*j + 144. Let a(w) = -7*f(w) + 4*m(w). Let p be a(7). Is v bigger than p?
False
Suppose 0 = 22*a - 18*a - 4*b - 584, 4*a - 592 = 2*b. Is a smaller than 161?
True
Let o(z) = 50 - 3*z - 68*z**2 + z**3 + 18*z**2 + 35*z**2. Let k be o(15). Which is smaller: k or 49/11?
49/11
Let m = -3740 - -3744. Is -222 equal to m?
False
Let f = 220 - 225. Let j(h) = 2*h**3 + 3*h**2 - 11*h - 16. Let z be j(f). Is z < -136?
False
Let u(t) = -25*t + 3145. Let i be u(68). Is 1447 at least as big as i?
True
Let b be (-936)/390*(-10)/56 + 29560/(-14). Which is greater: -4219/2 or b?
-4219/2
Suppose 0 = 2*d + 3*d - 3*m - 95, 2*d + m = 27. Suppose 4*w + 5*z - 1 = d, -5*w = 3*z - 18. Suppose 3 = w*n - y, -y = y. Which is smaller: n or -28?
-28
Suppose 63 - 59 = -4*p. Let z be ((-1)/(1/14))/p. Which is greater: z or 16?
16
Let c = 27139 - 27285. Do -74 and c have the same value?
False
Let v = -3604/7 + 219802/427. Let w(p) = -p**3 - 20*p**2 - 53*p - 38. Let j be w(-17). Let f(t) = -96*t - 384. Let n be f(j). Is v at most as big as n?
True
Let h be -12 - (-6)/(-4)*(-356)/48. Which is smaller: h or -111?
-111
Let u = -9792 - -9791.9. Which is smaller: -47.4 or u?
-47.4
Let t = -73/14 + 54/7. Let h = 193.71 - 193. Let w = h - 0.21. Which is greater: t or w?
t
Suppose -3*c - 583 = 3827. Is c != -1470?
False
Let f be (-18 - -15) + (-1 - 15743/(-4944)). Let s = f - -1/309. Are s and -0.1 non-equal?
True
Let w(y) = -y**2 + 9*y - 5. Let s be w(5). Let b be -7 + 16/4 + 4. Let r be -3*(s/(-540))/(1/b). Is r smaller than -1?
False
Suppose j - 9 = -3*u - 2*j, -j + 8 = 2*u. Suppose u*q + 0*q = -55. Suppose -2*f + 10*o = 14*o + 10, -4*f + 3*o = 42. Is f at most q?
False
Suppose 76 = 2*c + 2*c. Let q(f) = 13*f + 126. Let h be q(7). Let p = h - 197. Do c and p have the same value?
False
Suppose -212*a = -219*a + 3143. Which is bigger: 444 or a?
a
Let u be ((-344)/6)/(9*12/(-20250)). Is 10749 less than or equal to u?
True
Let z be (-48)/((-88)/(-11)) + 5. Which is smaller: z or -68/385?
z
Let j(v) = 7*v**2 + 14*v + 59. Let p(r) = 4*r**2 + 6*r + 29. Let o(f) = 3*j(f) - 5*p(f). Let a be o(-8). Is a smaller than -1/89?
False
Let h = 2176 - 2175.49. Which is greater: 16 or h?
16
Let o be 10*15/54 - 3. Let a = 561.2 - 566. Which is smaller: o or a?
a
Let f(y) = y**3 - 2*y**2 + 1. Let l be f(1). Let b be (1 + l)/((-4)/(-296)). Let i = b + -57. Which is bigger: i or 18?
18
Let r(m) = -17*m**2 + 48*m - 4. Let w be r(5). Let h = w + 183. Is 0.007 greater than or equal to h?
True
Let l(i) = 4*i - 154. Let q(j) = j - 3. Let k(v) = l(v) + q(v). Let o be k(30). Which is bigger: o or -19?
o
Let r be (-8)/96*-4*15. Let z = 4 - -2. Are z and r equal?
False
Suppose -56*m - 43363 = -32835. Which is bigger: m or -159?
-159
Let k be -7 + (-1)/(-65)*(4 + (-10950)/(-24)). Is k not equal to -1?
True
Let w = -131071 + 1046873/8. Is w greater than -211?
False
Suppose 0*p = -p - 6. Let m = 83 + -78. Suppose 0 = -2*j - 0*h - m*h - 7, -5*j + 4*h = 34. Is j != p?
False
Suppose 6*q - 42 = -30. Suppose 0 = -7*l + 26 + q. Let j be 18/81 + l/(3456/(-273)). Is j at most as big as -0.1?
False
Let i(t) = 25*t + 2559. Let n be i(-85). Is 434 equal to n?
True
Let l = -301 + 213. Let n = 82.485 + 4.515. Let y = l + n. Is -50 less than y?
True
Let f(m) = -m**3 - 17*m**2 - 22*m + 34. Let n(l) = -3*l**3 - 34*l**2 - 45*l + 67. Let b(g) = -5*f(g) + 2*n(g). Let y be b(18). Does 2/59 = y?
False
Let o(n) = 18*n**2 - 2*n + 4. Let j be o(3). Let v = 639 + -479. Is v at most j?
True
Suppose 22 + 68 = -15*f. Let a be 16/(7/((-21)/f)). Which is greater: a or -2?
a
Let d be (-4)/(-182) + (-2)/(-7). Suppose -13*j = 4*j - 51. Suppose -j*g + 0*g - 4*p + 20 = 0, p = 3*g + 5. Which is smaller: d or g?
g
Let r be (-11 + 4)/7 + 22/3 + 4. Suppose 4*v = 2*v + 22. Which is smaller: v or r?
r
Let s(x) be the second derivative of x**5/20 - x**4/4 - 7*x**3/6 + 5*x**2/2 + 12*x. Let n be s(4). Let z(j) = 2*j + 6. Let c be z(-5). Is c < n?
False
Suppose -g - v + 879 = 3*v, -5*g - 4*v = -4379. Let d be 622/4*(-28)/g - -5. Is d <= -1?
False
Let a = 3874 + -5797. Is a less than -1924?
False
Let r(y) = -29 - y - 8 + 6*y - 2*y - 94. Let n be r(42). Let i = -56/5 + 5. Is n at least i?
True
Let r(b) = -516*b - 3096. Let l be r(-6). Is 3/9664 greater than l?
True
Suppose 0 = 2*v - 8*v. Suppose v = -2*d + 4. Suppose 2*h + 4*l = 18, 6*h = 3*h - d*l + 19. Are 0.4 and h equal?
False
Let q(a) = -1005*a - 2009. Let b be q(-2). Is 148/63 greater than or equal to b?
True
Let y(r) = 39*r - 376. Let k be y(31). Is 832 > k?
False
Suppose 26 = -4*j + 6. Let g be 47/(-2)*(-20)/j*-1. Which is smaller: g or -0.2?
-0.2
Suppose 0 = 4*f - 5*q + 12860, 12860 = 18*f - 22*f - q. Is f equal to -3215?
True
Let t = 5515 - 5867. Is t < -4586/13?
False
Let j(u) = 8*u + 31. Let h be j(-9). Let b(m) = -m**2 - 10*m - 44. Let i be b(-10). Is i smaller than h?
True
Let h = 24.174 + -24.8161. Is h bigger than -1?
True
Let f = -0.4 + 0.3. Suppose 4*s + 5*i + 320 = 0, -80 = s + i - 5*i. Let n = s + 116. Is n smaller than f?
False
Let v(f) = -2*f**2 + 11*f + 10. Suppose 4 = -2*n + 4*n, -2*q = -n - 80. Let a = q - 35. Let c be v(a). Are -2 and c nonequal?
True
Let h = 1918 + -1918. Are h and 3/1034 non-equal?
True
Let h = 422.1 - 421.4. Which is bigger: h or -2/323?
h
Suppose -p - 4 = -5*p. Let k(v) = 2*v**2 - 14*v + 12. Let s be k(7). Suppose 5*u + 44 = 4*b, -u + 20*b - s = 16*b. Which is smaller: u or p?
u
Let i(l) = l**3 + 12*l**2 + 6*l + 72. Let g be i(-12). Which is smaller: g or -5/253?
-5/253
Let u = -19379 - -19253. Suppose 3*y + 4 = -3*h - 377, -2*h = -2*y - 254. Which is smaller: y or u?
y
Let p = 229 + -236. Let g = 3 - p. Which is bigger: 13 or g?
13
Let r = -5393 - -5101. Is -2624/9 equal to r?
False
Let g(q) = q**3 - 8*q**2 - 3*q + 7. Let m be g(7). Let i(y) = y**3 + 22*y**2 + y + 24. Let t be i(-22). Suppose -6*c = -t*c + 252. Is m >= c?
True
Let q be 3/((6 - 3)*3/9). Let x be ((-18)/q)/(4/(-12)). Which is bigger: 12 or x?
x
Let f = -105/16 - -1379/176. Let r be (2/1)/2*(-4 - -4). Suppose r*h + h + x = 0, -3*h - 4 = 5*x. Which is smaller: h or f?
f
Let h = -3560 + 3561. Which is smaller: 2/2925 or h?
2/2925
Suppose 13*m - 85 + 4358 = -43. Is m bigger than -4332/13?
True
Let j(h) = -h**2 + 29*h - 111. Let t(p) = p - 1. Let x(l) = -j(l) - t(l). Let m be x(19). Which is greater: m or -95?
-95
Let q(p) = -18*p + 1961. Let w be q(109). Do 77/179 and w have different values?
True
Let t(n) = -4*n + 86. Let o be t(1). Which is bigger: 45 or o?
o
Let s = 18.61 - -0.39. Let f = 6422.2 + -6441. Let h = f +