**2 - 21*u - 4. Let c be i(-10). Is c equal to 21?
False
Let y = 120.59 + -120. Let w = -0.51 - y. Is w bigger than -1?
False
Let c = 637 + -612. Suppose -4*q - 24 = -7*s + 3*s, -2*q + 9 = 5*s. Suppose s*p - 5*n - 19 = c, 3*n + 16 = p. Are p and 14 equal?
False
Suppose -4*t + 8 = 4*c - 2*t, -c + 3*t - 12 = 0. Let r be -6 - (c + (1 - -2)). Let z be (-24)/r*(-12)/(-16). Is 11/5 equal to z?
False
Let f = 0.26 + 2.24. Let t = f + -2.4. Let h = -6.4 - -6. Is h bigger than t?
False
Let m be (-2 - -4)/(20/150). Let c = m - 22. Is -9 smaller than c?
True
Suppose 0 = 4*v - 2*p + 54, -5 = p - 2. Let o be -1*101/100 - (v + 14). Which is smaller: o or 0?
o
Suppose 3*m + 2*u = 3, -2*u = 5*m + 11 - 16. Which is smaller: m or -7/183?
-7/183
Suppose -2*z + 5*k + 2 = -3, -2*z + k = -17. Suppose -o - z = -2. Let g = o + 7. Is 9 less than g?
False
Let l = 166.3 + -158. Let c = -1.3 + l. Let a = -0.3 + 0.2. Which is bigger: a or c?
c
Let l = 1104 + -90523/82. Which is smaller: l or 1?
l
Let m = 52 + -50. Suppose 0 = 3*x - 9 - 0. Suppose -29 = -x*w - 3*c + 4*c, 0 = -m*w - 2*c + 30. Is w at most 10?
False
Let u = -246 - -246. Is u greater than or equal to 3/391?
False
Suppose -157 = -2*v + 1. Let j = v - 113. Is 0.1 >= j?
True
Let o = 141 + -162. Let j = o + 14. Which is bigger: -4 or j?
-4
Let j(y) = 3*y**2 + 45*y + 2. Let i be j(-10). Is -149 bigger than i?
False
Let r = -1763 - -1763. Does r = 11/59?
False
Let c be (-19 - -2) + -4 - 0. Let u be ((-20)/6)/((-4)/c). Is u greater than or equal to -19?
True
Suppose -v + 0 - 9 = 0. Suppose -z + 5*j + 9 = j, -2*z = -3*j + 7. Let a = z - v. Is a greater than 0?
False
Let b = -0.26 + 0.33. Let r = 0.03 + b. Which is smaller: r or -0.1?
-0.1
Suppose -5*y - 1 + 21 = 0. Suppose -y*j - 7 = -19. Which is bigger: j or 5?
5
Suppose 0 = -2*v - k + 6, 5*v - 17 = -4*k + 1. Suppose v*x = -0*x - 840. Let p be 2/7 - 48/x. Is p greater than or equal to -0.4?
True
Let s = 97.568 + -97. Let t = s - -3.222. Let k = t - -0.21. Which is smaller: 0.2 or k?
0.2
Let o = -97 - -96.977. Let c = -0.223 - o. Which is greater: -31 or c?
c
Let d = -1/199 + -1187/1393. Let x = d - -16/35. Is x greater than -1.3?
True
Let k = 499/35 + -24/35. Which is bigger: 14 or k?
14
Let z(v) = -v - 15. Let x be z(-15). Which is greater: x or 81?
81
Suppose 0 = -0*d + 2*d. Let c(b) be the second derivative of -b**4/12 + b**3/6 - b**2/2 + 6*b - 1. Let p be c(d). Does -1 = p?
True
Let t = -35.52 + 35.95. Let x = -0.1 - -0.1. Which is greater: x or t?
t
Let d be 15/10 + (-5)/2. Suppose -z + 212 = -200. Let c = z - 4529/11. Is d less than c?
True
Let r(l) = -6*l + 157. Let m be r(26). Is m != -2/595?
True
Suppose 0 = -3*j - c + 5 + 5, 2*j - 25 = 3*c. Suppose 3*p = 7 + j. Let y be (10/p)/((-1)/2). Is y equal to -5?
True
Let b(a) = a + 28. Let u be b(8). Which is smaller: 39 or u?
u
Let u be -39*(15/(-35))/(6/(-42)). Which is bigger: u or -115?
-115
Let w = -10809 - -21239683/1965. Which is bigger: w or 0?
0
Let n be (6/9)/((-10)/(-450)*15). Suppose -p = 4*h - 2*p - 13, 0 = -4*h - 5*p - 17. Let w be (-10)/(-12) - 1/h. Which is greater: w or n?
n
Let m = 1429/8 - 190. Let j = m + 845/56. Is 5 <= j?
False
Suppose -f - 2*f + 31 = -4*g, -4*f = 2*g - 56. Let o = -102 - -113. Which is smaller: o or f?
o
Suppose -3*g = -5*k - 11, 11*k = 7*k - 2*g - 22. Is -1/4 less than or equal to k?
False
Suppose -3*a = -i + 2, -2*a - a + 2*i = 1. Let b be 5290/12 + 4 + -2. Let s = b + -444. Is a less than or equal to s?
False
Let k(g) = g**2 + 2*g - 1. Let o be k(0). Which is smaller: 16 or o?
o
Let o be 18/(-8)*8/24. Let m = 1 - 3/4. Is o at most m?
True
Let z = -3.88 - -4.18. Which is smaller: -0.06 or z?
-0.06
Suppose 4*g - 4*o + 12 = 0, -4*g + 3*o + 2*o = 15. Suppose 0 = y - 2*u - 2, 4*u + g*u + 4 = 0. Which is greater: -6/23 or y?
y
Let g = 0.09 - 4.09. Let s = 4.5 + g. Let r = s + 2.5. Is -0.3 equal to r?
False
Let t(x) = 6*x - 1. Let u be t(-1). Let n(w) = -w**3 - 7*w**2 - w - 10. Let v be n(u). Let i = -6 - -6. Which is smaller: i or v?
v
Let h(l) = l**3 - 5*l**2 + 5*l + 1. Let f be h(4). Let r = 38 + -53. Let y = -16 - r. Is f bigger than y?
True
Let t(i) = 2*i**2 - 14*i + 12. Let h be t(9). Let c be (-2)/8 + 84/h. Which is smaller: c or 2?
c
Let u be 1 - (-3 + -61)*(-19 - 1). Which is smaller: -1280 or u?
-1280
Let l(d) = 3*d - 32. Suppose 16*v - 13*v - 33 = 0. Let t be l(v). Do t and -3/11 have different values?
True
Let r be ((-2)/9)/((-220)/(-990)). Are r and -14/45 equal?
False
Let m = -61.6 - -61.5. Which is greater: -0.55 or m?
m
Suppose -3*f - 3 = 3. Let j = 1184.63 + -1190. Let a = j + 0.37. Which is bigger: f or a?
f
Let r(c) = 2*c**2 + 57*c + 60. Let k be r(-27). Which is greater: k or -18?
-18
Let d = 0.09 - -8.91. Let p = 102.6 - 103. Is p greater than d?
False
Let c be 23/6 - 2/(-12). Let h be 2/1*1 - c. Let n = -43/22 - h. Are 1 and n nonequal?
True
Let v be ((-4)/(-10))/((-1)/(-15)). Suppose -4*m = 6 + v. Suppose 0 = 5*d + 20, 2*l + d = -4*d - 28. Which is bigger: m or l?
m
Let w = -0.036 - -40.036. Let s = w - 36. Let u = -359/5 + 72. Which is smaller: s or u?
u
Let g = 0.2201 + 8.6799. Are g and 0.08 nonequal?
True
Let w = -615 + 511. Is -110 equal to w?
False
Suppose 3*r - 4*c + 30 = 0, 2*r - 4*c + 16 = -0*r. Let h be 35/(-49)*r/(-36). Is h <= -1?
False
Suppose 3*m - 7 = 20. Let a = -7914 + 7923. Is m bigger than a?
False
Let p = 45 + -45.3. Let q = -0.3 - p. Is 83 at most as big as q?
False
Let q = 25.5 - 24.5. Which is smaller: 13 or q?
q
Suppose 0 = -3*r - 5*t - 23, -2*r + 4*t - 13 - 17 = 0. Let k = 1642.5 + -1642.4. Is k at most r?
False
Let u = -89 + 91. Let v be 7/(35/80) + u. Is v > 17?
True
Let k be (13/(-1846))/((-6)/4). Let j = -433/1491 + k. Is -95 equal to j?
False
Let y be 16785/55 + 3 - (-14)/(-77). Which is smaller: y or 309?
y
Let a(s) = 3*s**3 - 3*s**2 + 19*s - 5. Let l be a(2). Are 416/9 and l non-equal?
True
Let f be 408/(19 + -7)*(-2)/8. Which is greater: f or -0.19?
-0.19
Let t be -6*(2 - -1)/(-3). Let n be 3/t - 3/(-6). Let u be 1 + ((-8)/6 - -1). Which is smaller: u or n?
u
Let r = 1 - 5/3. Let i = -0.37 + -0.63. Which is greater: r or i?
r
Let m(f) be the third derivative of 5*f**4/6 + 17*f**2. Let y be m(2). Is y greater than or equal to 40?
True
Let j = -2 - -15. Let a(s) = s - 13. Let f be a(17). Let v be 12 - (-1)/(f/(1 - -3)). Are v and j unequal?
False
Let l = 14 - 14.14. Let k = l - 0.05. Let c = -0.19 - k. Do 2/9 and c have different values?
True
Suppose 3*v = -6, k - 3*v - 6 = 203. Which is smaller: k or -2?
-2
Let f be ((-20)/18)/(2/(-9)). Is 7 > f?
True
Suppose 39*w - 7*w = 4672. Are 146 and w non-equal?
False
Let a(s) = s**3 - 9*s**2 + 14*s. Let g be a(7). Suppose g = 5*l - 2*l. Suppose 0*m = -2*m + 2. Which is bigger: l or m?
m
Let w(o) = o**3 - 6*o**2 - 8*o + 11. Let r be w(7). Suppose r*v = 5*k - 3, -v - 5*k - 3 + 21 = 0. Which is smaller: 5 or v?
v
Suppose 3*q - 81 = -5*y, -65 - 13 = -3*q - 4*y. Suppose -5*d = -5*l + 9 + 1, 0 = -5*l + d + q. Suppose -25 - 80 = l*t. Which is greater: t or -20?
-20
Suppose -2 = -3*b - 17. Let d = 3 + b. Let y be ((-11)/(-4))/(d/8). Which is bigger: y or -12?
y
Suppose 4*n - 75 = 3*v, -3*n - 4*v = n - 40. Suppose n*r - 18*r - 60 = 0. Is r less than -18?
True
Let c(r) be the first derivative of -r**4/12 - r**3/3 + 9*r**2/2 - 1. Let j(s) be the second derivative of c(s). Let t be j(-2). Is -0.3 != t?
True
Let b = 46.5 - 37.5. Which is greater: b or 2/9?
b
Suppose s = 4, 0 = -2*g + 5*s + 19 - 39. Which is greater: 0.1 or g?
0.1
Let d(t) = 2*t**3 + 23*t**2 + 9*t - 22. Let y be d(-11). Let l = -10 + 5. Let c be (l/(-135))/((-4)/6). Which is greater: c or y?
y
Suppose -6*y - 19*y = -1925. Which is smaller: 75 or y?
75
Let m = 0.197 + -79.197. Let o = -79.05 - m. Is -9 bigger than o?
False
Suppose 17 = 2*k + k + 2*b, 5*k + 3*b = 29. Let y be ((-2)/(-14))/(6/k). Let q(g) = g**2 - 3*g. Let l be q(3). Do y and l have the same value?
False
Let k = 249 + -275. Is -26 greater than or equal to k?
True
Let w = -245 - -12499/51. Which is smaller: w or 2/7?
w
Let c(h) = -h**3 - 7*h**2 + 10*h + 8. Let n be c(-8). Let i be (-66)/14 + (-6)/21. Let j be -1*(-22)/(i + 3). Which is smaller: n or j?
j
Suppose -5*n - 2*m = 3*m + 3305, -5*n - 4*m - 3302 = 0. Let i be 2 - (6/2 - n/(-665)). Which is smaller: 1/3 o