 435 = 0. Let r(o) = o**2 - 23*o + 9. Let k be r(8). Is k bigger than j?
False
Let b(t) = t**2 - 45*t - 358. Let y be b(52). Let x(l) = 2*l**2 - 3*l + 1. Let z be x(2). Suppose -z*h + y = -h. Do 4 and h have different values?
True
Let n(x) = 3*x**3 - 50*x**2 - 18*x + 21. Let r be n(17). Suppose 3*u = 5*j - 5, 0 = 4*u + r*j + 5 - 9. Which is bigger: u or 5/8?
5/8
Let l be 400/(-480) + (-11)/(-6). Let o be ((-3)/(-2))/(6/(-12)). Let h be o - (4/210 + -3). Which is smaller: h or l?
h
Let x(t) be the first derivative of 3*t**4/4 + 5*t**3 + 6*t**2 - 3*t + 94. Let g be x(-4). Are g and -1/48 non-equal?
True
Let d be (-87 - -121)*2/10 + -7. Are 53 and d equal?
False
Suppose -4*x = -5*a - 2*x - 25, 5 = -a - 5*x. Let i be 9/(-279)*a/1. Which is smaller: i or -1?
-1
Let w(q) = q**3 + 25*q**2 + 20*q - 6. Let s be w(-23). Suppose 595*j - s*j - 18 = 0. Let z be 10 - (0 + (4 - 2)). Is z bigger than j?
True
Let s be (((-9990)/(-24))/15)/(6/16). Let r = s + -104. Are -22 and r unequal?
True
Let w be (-310)/30*(-9)/1*-2. Let i = 157 + w. Which is greater: -27 or i?
-27
Let t be 30/(-45)*15 - -978. Is t equal to 970?
False
Let m(h) = -11*h - 56. Suppose 6*b - 10 = 8*b. Let y be m(b). Let u be 35/(-15)*6/8. Is u != y?
True
Let m(r) = -r**3 + 27*r**2 + 27*r + 139. Let z be m(28). Is z bigger than 43?
True
Suppose o - 4 = 2*y, 0 = -3*o + 2*o - 3*y + 19. Let m be 2*(-1)/o + (-68514)/15130. Let f = -80/17 - m. Is 0 greater than or equal to f?
False
Let u(a) = a**2 + 3*a - 3. Let l be u(-5). Let c(m) = 16*m + 6. Suppose -7*y = -20*y - 35*y. Let o be c(y). Is o at least as big as l?
False
Let b be (0 + 8/(-3))/((-14)/(-63)). Let h be ((-292)/b)/(1/3). Let v = h + -72. Is v != 6?
True
Suppose -157 - 473 = -4*t - 3*d, 614 = 4*t - 5*d. Is t > 159?
False
Let i(u) = -1 - 61*u**2 - 7*u - 5*u + u**3 + 3*u + 66*u**2. Let o be i(-8). Is -365/3 bigger than o?
False
Let w be -4 + (-30081)/(-9)*(-39)/(-32591). Is w not equal to 1?
True
Suppose 30*t - 2142 = 37*t. Let y be t/(-45) - (3 + 2). Which is smaller: 1 or y?
1
Let j be (54/(-9) - -48) + (-8)/(-2). Let o be j/(13/((-26)/4)). Which is bigger: o or -36?
o
Let t = 770 + -706. Let d = -2 - 63. Let w = t + d. Which is smaller: -2/135 or w?
w
Let y(g) = -32*g + 89. Let h(b) = -17*b + 45. Let i(q) = 11*h(q) - 6*y(q). Let j be i(8). Which is greater: j or -1?
j
Let m(u) = -6*u**2 - 37*u - 4. Let t be m(-6). Let p be t + 0 - ((-240)/57)/(-2). Which is smaller: 1 or p?
p
Let i = 261 - 184. Let t = -72 + i. Does t = -1.7?
False
Let c(n) = 74*n - 1045. Let u be c(0). Is -1045 less than or equal to u?
True
Let u be ((-84 - 0)/3)/((-12)/(-246)). Let b = 30430/53 + u. Which is bigger: 0 or b?
b
Let b = -28 - -41. Let x(n) = -2*n**3 + 3*n - 41 - 773*n**2 - 2*n**3 + 845*n**2 + 0*n**3. Let g be x(18). Is g at least as big as b?
True
Let i be (14534/1209 - 12)*-35994. Let x = -238 - 536. Let n = x - i. Does 0 = n?
False
Let f = -6040 + 7229. Which is smaller: -0.1 or f?
-0.1
Let a(n) = -14 - 20 - 5 + n. Let v be a(-27). Let w = 67 + v. Which is smaller: w or 6/29?
6/29
Let m = 25 + 21. Let p(g) = g + 72. Let h be p(-21). Let b be h - (2 + 1 + 2). Is m greater than or equal to b?
True
Let t = 73 + 111. Suppose 0 = 189*d - t*d - 20. Let o(p) = p**2 - 4. Let n be o(-3). Is n at least as big as d?
True
Let o = 120 + -145. Let t = o - -25.091. Which is bigger: 0.1 or t?
0.1
Suppose 5*d - 5*h = -565, 4*h = 6*h + 6. Let f = d - -157. Which is bigger: 40 or f?
f
Let f = 21.1 - 22. Suppose -v + 4*o = -0*o + 44, 64 = -3*v - 5*o. Let i = v - -27. Which is smaller: i or f?
i
Let a = -231 - -235. Let y(l) = 0 + 13*l**2 + 5 + 7*l - 6*l**2 - 2*l**3. Let u be y(a). Does 17 = u?
True
Let t = 120855570/2797 - 43209. Does t = -1?
False
Let b = 92.95 + 3.05. Let y = -99.7 + b. Is y <= -4?
False
Let h = -60 - -44. Let y be (-15)/(-25) - h/(-10). Which is greater: y or 2/55?
2/55
Suppose -13*m + 24084 = 7*m + 7*m. Is 894 greater than m?
True
Let p = -649 + 4513/7. Let y = p + 104/21. Let i = 0.05 + -3.85. Is y < i?
False
Let o be (-2)/758*(-383)/(-766). Which is smaller: 14 or o?
o
Let m = -117752/13 + 9058. Is -234 less than m?
True
Let n(t) = -7*t + 44. Let d be n(5). Let v be (d/5)/(75/(-750)). Which is smaller: -27 or v?
-27
Suppose 0 = 5*q - 3*q - 20. Suppose -4*m = -8, 4*t - 5*m + 15 = -t. Let r be (t/2)/((-9)/(-18)). Which is smaller: r or q?
r
Let l be 12431*(-54)/167817 + 4. Are 0 and l equal?
False
Let h = -2 - 11. Let r be (3/h)/(6/28). Let a = r + 109/65. Are 0.1 and a equal?
False
Suppose 4*l - 4*w - w + 55 = 0, -3*l + 5*w = 45. Let y(s) = s + 24. Let z be y(l). Which is smaller: z or 21?
z
Let j = -11286 + 10544.1. Is -1 at least j?
True
Let y be ((-4)/10)/(7 + 730/(-50)). Which is greater: -1 or y?
y
Let n(l) = 5*l + 34. Let j be n(8). Suppose -2*p = -j + 44. Suppose -2*i - p = -3*d - 4, 3*d - 9 = 3*i. Which is smaller: d or 1?
1
Let c = 198 - 116. Let v(j) = -j + 4. Let d(m) = 16*m - 261. Let p(b) = d(b) + 2*v(b). Let z be p(18). Is c at least z?
True
Let u(r) = 4*r**2 - r - 1. Let q be u(-1). Let c = 6 - q. Let x be c/(-1) - (-26)/(-13). Is 0 at most as big as x?
False
Let y be (-12 - -37) + (3 - 1). Suppose 0*x + 4 = x. Suppose -s + 2*s = -x*d + 32, 0 = 2*s + 5*d - 61. Is y less than or equal to s?
True
Suppose -25*m + 2467 - 267 = 0. Is m bigger than 69?
True
Let q(t) = 38*t**2 + 137*t + 538. Let r be q(-4). Which is smaller: 596 or r?
596
Suppose -16*z - 12 = -12*z. Let y be (-5)/(-10)*(-3 - z). Which is smaller: 8/21 or y?
y
Suppose k = u - 2, 3*k + 9 = 3*u - k. Let w = -116/9591 - 1/417. Do u and w have different values?
True
Let w(c) be the third derivative of 0 + 8*c**2 + 0*c - 1/60*c**5 + 2/3*c**4 - 5/3*c**3. Let k be w(15). Which is greater: k or -1?
k
Let x be 64/(-56)*(18 - 25). Let q = 812/15 - 4784/105. Which is bigger: q or x?
q
Let u be ((-9)/(-9))/(31/10 + -3). Suppose -3*p - u = 149. Suppose 0 = -3*w - 3*n - 2*n - 142, 5*w - n = -274. Which is smaller: w or p?
w
Suppose -5*l = -4*h + 6*h + 44, -5 = -l - 5*h. Let i be (-3744)/(-90) - 4/l. Let x = 43 - i. Which is bigger: x or 4/19?
x
Let y(x) = 210*x - 1663. Let g be y(8). Which is smaller: 51 or g?
g
Let z(l) = 52*l - 3900. Let h be z(75). Which is bigger: h or 5/1637?
5/1637
Let r be (-4120)/100 - 2/(-10). Let v(q) = -5 - 2 + 4 + 40*q + 2. Let y be v(-1). Is r < y?
False
Let h be 11 + -4 + -1*3. Let b be -9*(h - 215/55). Let c = 19/22 + b. Is c greater than 1?
False
Let d = -1629 - 328. Is -1957 at most as big as d?
True
Let t be 5/(-5)*((-18)/(-18) - (-1 + 1)). Is 7761 at most t?
False
Let x be 3/(-12) + (-33)/77 + 377310/56. Which is smaller: x or 6738?
x
Let w = 188 + -182. Let c be (w/((-30)/25))/(3/(-11)). Are c and 18 non-equal?
True
Let g(v) = -v - 4. Let b = -4 - -1. Let t be g(b). Let w = 18089/4 + -4523. Is w bigger than t?
True
Suppose 5*p = -5*h + 30, 9*p = h + 8*p + 6. Is h > 5782?
False
Let x(s) = -96*s**2 - 4*s - 6. Let y be x(-2). Let f = y + 354. Which is bigger: -32 or f?
f
Let c = -249 - -249.2768. Let m = -0.8322 - c. Let d = m - -0.109. Is -9 at least d?
False
Let b be (21 - 29) + -829*(-10)/1035. Let o be (-3)/(-2)*(-32)/(-6). Suppose o*c - 10*c - 2 = 0. Which is smaller: b or c?
c
Let f = -45 - -47. Let h be (13/(169/(-6)))/(f/(-12)). Let k = h + -137/26. Is k at most 2?
True
Suppose -4*b - 12 = k, b - 43 = 3*k + 6*b. Let q = 22 + k. Let t = -24/23 + 718/115. Is q less than t?
False
Suppose -124*i + 38 = -314*i - 152. Which is smaller: 37/1194 or i?
i
Suppose 0 = -152*a + 140*a + 12. Let b be a/(-10 + (-1174)/(-120)). Suppose 13 = -3*q - 2. Are q and b equal?
False
Let l be (-304)/266 + 2/14. Is -3 less than l?
True
Let z = -4919 + 4932. Is z less than or equal to -9?
False
Let s = 2/10037 + -50193/40148. Does s = 139?
False
Let h = 189 + -175. Let q = 716/3 - 268. Let d = 29 + q. Do d and h have the same value?
False
Let z be (5 + 23 + 0)*((-3)/(-3) + 1). Which is greater: 55 or z?
z
Let d = -45/28 - -13/7. Suppose 0 = 7*n + 22*n + 870. Let f be (-2)/(1/(-2)*(-20)/n). Is d at most as big as f?
True
Suppose -2*x - 105 + 99 = 0. Let s be 24/36 - 89/x. Are s and 30 equal?
False
Let m = -13.98928 + -0.00072. Is 0 >= m?
True
Let g be (-2064)/(-18)*(-21)/(-217). Which is bigger: 11 or g?
g
Let c be (0 - 5527) + 1*-1*18/(-9). Is -5527 at most as big as c?
T