-2). Suppose -d + 42 = 2*h, -y*h = d + 3*d - 42. Suppose -2*l = -33 + h. Is 1/4 equal to l?
False
Let l = 11761 + -11742. Which is bigger: 45 or l?
45
Let w be ((-9)/27)/((-1)/3). Let n be -4 - (9 + w) - 0. Let j = -19 + 21. Which is smaller: j or n?
n
Let c be ((-9)/3)/(-3 + 30/11). Suppose -3*a + c = 8. Let h be a*2/7 - 524/168. Is h at least -4?
True
Let q(p) = -p**3 + p**2 - 19*p + 951. Let b be q(0). Does b = -1/4?
False
Let u(f) = 120*f + 1493. Let x be u(-22). Is -1146 smaller than x?
False
Let c be 51/36 + 75/(-1100)*11. Let k = 4 + 8. Which is smaller: c or k?
c
Let i be ((-1 - -10) + 1)/(-13 - -11). Let b be ((-115)/(-25) + -5)/2*i. Are b and 16 equal?
False
Let m = 484 + -15002/31. Let v = 88/403 - m. Which is smaller: v or 0.13?
0.13
Let o be (52/(-12) - -2)*3. Let y(g) = -11*g + 7. Let q be y(-5). Let i be -1 - (-3 + q/6). Is i <= o?
True
Let a be (-7 + 10 + -4)/(2*4/(-8)). Does -1/2737 = a?
False
Suppose -29651 = 3*w + 4*b, -w - 5*b - 12827 = -2936. Is w at most as big as -9882?
False
Suppose m + 518 = -6*m. Let i(q) be the first derivative of -q**4/2 - 26*q**3/3 + 3*q**2 + 5*q + 25. Let w be i(-13). Which is bigger: w or m?
w
Let g(y) = -2*y + 39. Let o be g(-18). Suppose -28 = 77*n - o*n. Is n != -18?
True
Let r be 298/8 + 45/60. Suppose r = 3*q + 23. Suppose 0 = -z + 7*i - 2*i + 25, q*i + 25 = 5*z. Is z greater than -1/8?
True
Let d = -739 + 782.3. Which is greater: d or 7?
d
Let i(s) = 10*s + 200. Let f be i(-20). Suppose -5*m + 12 = -k, 5*m + f*m - 78 = 4*k. Is 2 greater than or equal to k?
True
Let l = 19528 + -605518/31. Is -5 < l?
True
Let o be (36/252)/(1347/(-21)). Is 2 not equal to o?
True
Let d = -3657 + 3657. Which is bigger: 2/7405 or d?
2/7405
Suppose 40 - 70 = 5*y. Let v(q) = -4*q**2 - 25*q + 2. Let w be v(y). Let h be -3*((-8)/3)/w. Which is greater: 2 or h?
2
Suppose 30*q - 2*i = 34*q - 126, q - 2*i = 29. Let d = -20 + 55. Is d <= q?
False
Let r = 16.7 - 0.7. Let n = r - 13.04. Let t = 3.2 - n. Is t less than or equal to 2?
True
Suppose -2*g = -5*g + 9, -5*z = -4*g + 12. Let t = 529/6 + -88. Let u = t - -1/2. Are u and z nonequal?
True
Let j(h) = 2*h - 18. Let b be j(9). Suppose b = -13*g + 96 - 1461. Let r be ((-2)/6)/(g/90). Which is smaller: r or -0.39?
-0.39
Let n be 2*(3006560/2944 - (2/8)/(-1)). Is 2039 != n?
True
Suppose 1673 = 4*h + 5*u, 178*u = -5*h + 177*u + 2107. Which is smaller: 421 or h?
421
Let x = 2/2791 - 8889/8509759. Let a = 11969/692123 - x. Is 1 > a?
True
Let w = -76670.79 + 77167. Let z = -494 + w. Is z > -1/4?
True
Let n = -6070 - -3395. Which is greater: 2 or n?
2
Let n(m) = m**2 + m + 1. Let g(u) = -2*u**2 - 11*u - 8. Let b(c) = -g(c) - n(c). Let i be b(-9). Let j be ((-3 + 4 + -1)/i)/(-1). Which is bigger: -3/43 or j?
j
Let j(h) = -59*h + 34. Let y be j(-4). Suppose -82 + y = 2*p. Is 94 smaller than p?
False
Suppose 1985 + 8256 = -7*h. Which is smaller: h or -1459?
h
Let a be -14 - -4 - -14 - ((-2720)/(-396) + -3). Which is greater: -1 or a?
a
Suppose 2*p = -9*p + 22. Let d be ((-8)/((-256)/(-88)))/(-1 + p). Which is smaller: -4 or d?
-4
Suppose 0 = -2*n - 2 - 0. Let k = 47840/343 + -176097651/1263269. Let j = k - 1/127. Are j and n equal?
False
Let l be (-1325)/(-100) - 1/4. Let u be (-122)/18 + l/((-1170)/20). Is u equal to -57/8?
False
Let u be 16/18 - (-4)/(-6). Let o = -63.7218 + 63.7. Let q = o + -1.1782. Are q and u equal?
False
Let s be 1/(9/(-2)) + ((-195396)/(-54))/2. Which is smaller: s or 1808?
1808
Let l be -20 + 18 + (10 - 7). Which is smaller: l or 5/5308?
5/5308
Let f be -9 + 12 + (-3 + 4 - 3). Suppose -f = 18*u + 17. Which is smaller: -12/47 or u?
u
Let w = -290 - -202. Let z = -888 + 976. Let f = z + w. Which is smaller: f or 2/73?
f
Let v = -396 + 363. Suppose 3*f + 107 = 2*p, 4*f + 4*p = f - 83. Is f not equal to v?
False
Suppose j - 11 = a, -a = -4*j + 2*a + 43. Let g(f) = -2*f - 11*f + 15 + j. Let m be g(4). Is -1/2 less than m?
False
Let m = 37 - 57. Let k = -3 + m. Let g = k + 21. Which is smaller: g or 11?
g
Suppose -172168 = -83*d - 447479. Is -3317 >= d?
True
Let c = -0.13211 - 242.86789. Which is smaller: -5/4 or c?
c
Suppose -y + w + 2 = -5*y, 0 = -2*y + 2*w + 4. Let k be (y/(-3 - 1))/(-2). Does -3/253 = k?
False
Let y be 13175/186 + (-5)/6. Let z be (-2 + 116/y)/((-4)/10). Which is bigger: z or 5?
5
Suppose l + 2*l + 96 = 5*v, 0 = 2*v + 3*l - 30. Let a = v - 27. Let n(s) = s**2 + 9*s + 4. Let y be n(a). Is 0.05 at least y?
False
Suppose 0 = 5*q + j - 1591, -2*q + 8*j + 632 = 4*j. Let c = 318 - q. Is c at least as big as 10/21?
False
Let p be (4/((-824)/6))/((-18)/(-12)). Which is smaller: p or 0?
p
Let t = 1583 + -1583. Does 30/61 = t?
False
Let v(t) = t**2 - t - 21. Let m(j) = j**3 - 22*j**2 - 22*j - 8. Let h be m(23). Let u be (-2)/(-6) + (-65)/h. Let k be v(u). Is 1/70 greater than k?
True
Let l be 34/4 - 1/2. Let m = l - 5. Let y = 173/14 - 69/7. Is y less than or equal to m?
True
Let r = -2676/5 - -112397/210. Let s = 4 + -5. Which is smaller: r or s?
s
Suppose -2*a + 3*y + 15 = 0, 0 = -3*a + 5*y + 6 + 19. Let q be (-3*448/(-48))/(53 + 1). Is q not equal to a?
True
Let v = 438 - 452. Let c(s) = 2*s + 33. Let w be c(v). Is w greater than 64/11?
False
Let k be 1/4 - (-124758)/9048. Is 15 greater than k?
True
Let u(a) = 13*a + 195. Let h be u(-15). Is h at least -882?
True
Let j be (-508)/(-65)*(-590)/59 - 2/(-13). Is -78 > j?
False
Suppose o + 4*h - 2*h - 141 = 0, -2*o + 5*h + 282 = 0. Let u = 66 - o. Let r = u - -51. Which is greater: r or -23?
-23
Let b = 13.6 + -132.6. Let t = 120 + b. Which is bigger: t or -77?
t
Suppose 0*g - 110 = -5*g. Suppose 5*u - g = 28. Let i be (u - 11)/((-2)/(-14)). Is 1 at most i?
False
Let g = -1/8 - -5/8. Is g less than 0.018?
False
Suppose 25*m - 43*m = -270. Is m <= 654/43?
True
Let t be (16/10)/(5/25). Let c(v) = 4*v - 28. Let n be c(t). Suppose -n*u + 78 = -10*u. Is 0 at least as big as u?
True
Let x(g) = g**3 - g**2 - 3*g - 6. Suppose 0 = -2*k - 0*h + 4*h, 3*h + 2 = 2*k. Let d be x(k). Let n be (-3 - -1)*8*-2. Is n equal to d?
False
Suppose 6*p - 2*p - 16 = 0, p + 6 = 2*x. Suppose 0 = -5*j + w - 193, 3*j + 139 = x*w + 10. Which is bigger: j or -155/4?
j
Let k = 1363 + -1337. Let d be 0 + 4 - (-1)/(-1). Suppose -4*w + d*n = -w - 72, 4*w - n - 105 = 0. Which is greater: k or w?
w
Let i(k) be the second derivative of k**4/12 + 3*k**3 + 12*k**2 + 4*k - 7. Let a be i(-17). Which is smaller: a or 23/3?
a
Let i(p) be the second derivative of p**4/12 + 8*p**3/3 + 21*p**2/2 + 28*p. Let v be i(-5). Suppose -3*j = 3*q + 87, -5*q + 181 = -10*q + 4*j. Is q at least v?
True
Let y = 2706964/55 - 49224. Which is smaller: -7 or y?
-7
Let i(p) be the second derivative of -p**4/12 - 7*p**3/3 + 17*p**2/2 - 51*p. Let q be i(-15). Is q equal to 13?
False
Let d be (0 - -1)*42/(-10). Suppose 18*o + 21*o = 390. Suppose 2*t - o = n, -55*t + 50*t = 5*n + 5. Is d at most n?
True
Let c(r) = -r**3 + 46*r**2 - r + 45. Suppose f - 736 = -15*f. Let s be c(f). Let g = -395/14 + 53/2. Is s greater than g?
True
Suppose 1002*r - 979*r + 23 = 0. Is r greater than -4/21?
False
Let n(u) = 21*u - 24. Let g(h) = 14*h - 16. Let x(p) = 8*g(p) - 5*n(p). Let m be x(1). Let w be (-3)/6*15/42. Which is bigger: w or m?
w
Let o = -15652 + 14954. Is o >= -2?
False
Let y = -48 - -34. Let l = 17 + y. Let p be 0 - (-3 + -1 + 2). Which is smaller: p or l?
p
Let p(o) = 8*o - 24. Let l(v) = -2*v + 5. Let k(r) = -2*l(r) - p(r). Let j be k(16). Is j at most as big as -51?
False
Let u = -7438 + 7437.864. Which is greater: -2.1 or u?
u
Suppose 0 = 18*g - 28*g + 270. Let y(a) = a**2 - 16*a + 51. Let u be y(14). Is g at most as big as u?
False
Let q(i) = -4*i**3 + 3*i**2 - 9*i + 4. Let r(x) = -x**3 - 2*x**2 + 6*x + 13. Let w be r(-3). Let b be q(w). Let d be b/118 + 3 - 1. Which is smaller: d or 0?
d
Let j be (65 + -66)/((-5)/(-2) + 2). Which is bigger: 9.2 or j?
9.2
Let b be (0 - (-95)/10)*6. Suppose 5*f - 55 = 250. Let g = f - b. Which is bigger: g or 14?
14
Let s = -19 + 58/3. Let p = -45.2 + 53. Let t = -7 + p. Is s >= t?
False
Let l = 7870/16977 - 2801585341/1443045. Let x(f) = -5*f**3 + 4*f**2 - 3*f + 9. Let d be x(-7). Let t = l + d. Is t smaller than -1?
False
Let d = -21 + 7. Let n = -18 - -21. Suppose 40 = -4*g - 3*w, n*w + w + 49 = -5*g. Is g < d?
False
Let a = 5