) = -i**2 + 16*i + 36. Let a be p(18). Let s be -30 + 35 + ((-274)/64 - 1). Which is greater: a or s?
a
Let i = -0.11074 + 47.81774. Let c = -1.193 - i. Let y = -49 - c. Which is smaller: 14 or y?
y
Let d = -0.07551 + -716.62449. Let b = d - -717. Which is greater: -4.9 or b?
b
Let r = -13/201 + 55703/402. Let o = -125 + -6. Let i = o + r. Which is smaller: i or 8?
i
Let w = 8227 + -287951/35. Which is bigger: w or 10?
10
Let p = -925 + -511. Let u = -11525/8 - p. Is u greater than or equal to -0.1?
False
Let t be (20/5)/(4/6). Suppose t = -3*u + 12. Let p be (30/4 + u)*2. Are p and 18 non-equal?
True
Suppose -o + 132 = 5*d, 2*o - 284 = -0*o - 5*d. Suppose 3*n = 8*n - 4*h - 217, -4*n - 4*h + o = 0. Is 127/3 < n?
False
Let d be (-27231680)/1433264 + (-19)/(-1). Do d and -1 have different values?
True
Let d = 12289/35 + -1757/5. Is d less than or equal to 3903?
True
Let j = 35.5 - 34.01. Let p = -0.99 + j. Let m = -18 + 28. Which is smaller: p or m?
p
Let s(j) = -10*j**3 - 21*j**2 - 35*j + 3. Let q(c) = -3*c**3 - 7*c**2 - 12*c + 1. Let a(u) = 7*q(u) - 2*s(u). Let l be a(-3). Which is greater: l or 4?
l
Let n = -15198.9 + 15199. Which is bigger: n or 76.47?
76.47
Let m be 2*6/30 + (-7272)/(-45). Is -0.1 less than m?
True
Let t = 1784 + -1759. Let x = 70 - 43. Which is greater: x or t?
x
Let l = 19265 - 19267. Which is smaller: l or -3049?
-3049
Let w(z) = -28*z + 60. Let a(t) = 27*t - 61. Let d(y) = -3*a(y) - 4*w(y). Let r be d(4). Is 68 not equal to r?
True
Suppose -p = 0, -5*r + 6*p - 2*p + 25 = 0. Suppose 0 = r*x - 24 + 59. Let n = 13 + x. Which is smaller: n or 20/3?
n
Suppose -53*w = -33*w - 260. Let q = 2 + -14. Let s = w + q. Is 2 at least as big as s?
True
Let h(x) be the third derivative of 41/6*x**3 + 0*x + 19*x**2 - 1/4*x**4 + 0. Let n be h(6). Which is greater: n or 21/4?
21/4
Suppose -4*b = 3*g - 16 - 71, -3*g = -5*b - 60. Let a = -6403 + 6434. Is g > a?
False
Let p(x) = x**3 + 30*x**2 + 84*x - 68. Let o be p(-27). Which is smaller: -1328/9 or o?
o
Let a = -2/5519 + -286978/27595. Is a < -11?
False
Let z(p) = 5*p**2 + 4*p - 16. Let i be z(10). Suppose 622 - i = 7*r. Is r not equal to 91/6?
True
Let k be (-96)/12*5/10. Let d = -0.48 - 1.32. Is k not equal to d?
True
Suppose -3*g = 5*h - 11, -4*h = 20 - 0. Suppose g*y - 54 = 9*y. Let b be ((-76)/(-6))/((-4)/(-6)). Which is smaller: y or b?
y
Let j = -0.3 - 2.7. Let c = -274.45 - -1.45. Let o = -277 - c. Which is smaller: j or o?
o
Suppose -13*a - 6 = -10*a, 5*j - a + 8 = 0. Do 0.631 and j have the same value?
False
Let l be -5 + 7 + -2 + 10. Let i(u) = -u**2 + u + 48. Let g be i(l). Are g and -41 non-equal?
True
Let w(h) = 3*h + 50. Let x be w(20). Let z be 30/8*(7 - 1407/(-63)). Is x at most as big as z?
True
Let b = 34 - 29. Let f(m) = -m**2 + 4*m + 6. Let q be f(b). Let w be 16/(-462)*(3 + (-30)/8). Is w greater than q?
False
Suppose 48*h + 34190 = 34142. Let j = 48/5 + -482/45. Is j > h?
False
Let c(r) = -26*r - 177. Let p be c(-7). Which is smaller: 106/25 or p?
106/25
Suppose -i = 3, 3*a + 0*i + 2*i + 54 = 0. Let w be ((-330)/(-385))/(a/(-7)). Is -3 smaller than w?
True
Let a(v) = -v + 9. Let x = 22 + -10. Let j be a(x). Let w be (((-6)/(-28))/j)/(2/4). Which is smaller: w or 3/4?
w
Let g be 4606907/575868 + 3*48/(-18). Which is greater: g or 1?
1
Let u = 715 + -1373. Which is smaller: -660 or u?
-660
Suppose 37 - 51 = -a + 2*p, -a = 3*p - 29. Suppose 3*n - 3*o + 45 = 0, -30 = n + 4*n + 4*o. Let c be (-54)/a - 2/n. Is -3/5 >= c?
True
Suppose -12*d - 38 = 22. Let t = 554 - 379. Let x be ((-245)/t)/((-4)/(-10) - 0). Which is smaller: d or x?
d
Suppose -143*q = -183*q - 62720. Is q >= -1568?
True
Let n(t) = -2*t**2 - 13*t - 3. Let h(w) = -3*w**2 - 20*w - 4. Let p(k) = -5*h(k) + 7*n(k). Let u be p(-9). Let b = 68 + -1361/20. Which is bigger: u or b?
b
Let d = 0.131 - -0.479. Let r = 1.61 - d. Is r less than or equal to -1/55?
False
Let c = 427.4 - 354.4. Which is smaller: 0.9 or c?
0.9
Let v be (-3 + (-196)/(-65))/(36/2178420). Let i = 931 - v. Which is bigger: i or 0.1?
0.1
Let h(k) = -k**2 - 77*k - 750. Let j be h(-10). Do j and -83 have different values?
True
Suppose 3*a - 105 = -0*a. Let y = 3835 - 3795. Is y < a?
False
Let g = -3 + 10. Suppose -5*q - 2396 = -4*f, -8*f + 3*f = -5*q - 2990. Let y = f + -586. Are y and g non-equal?
True
Let g be -11 - (14/(-7) + 1177). Which is smaller: -4743/4 or g?
g
Let q(v) = -188*v**2 - v + 1. Let k be q(-1). Suppose 0 = 2*a - 9*a - 1302. Is k greater than a?
False
Let x = -24599/72 - -3238/9. Let k = x + -5937/328. Let l be (-2)/4 - (-5)/10. Which is bigger: k or l?
k
Suppose -6*g + 789 = -3*g. Suppose -g*c - 136 = -261*c. Which is smaller: -70 or c?
-70
Let n = -1.4054 - 332.5846. Let j = n + 335. Is j smaller than 0.1?
False
Let n = 335.0087 - 0.0087. Is -2 > n?
False
Let v be ((-14)/(-6) - 1) + -2. Let x = 0.0787 - -778.0213. Let z = -775 + x. Is z bigger than v?
True
Let y = 43478 - 43624. Suppose 740 = -7*o + 2*o. Which is greater: o or y?
y
Let a = 78/47 + -56069/33417. Is a less than or equal to -1?
False
Let r = 5 + -9. Suppose -2*x = -3*s + 1, 4*s = -3*x + 4*x - 2. Let l be 5/s - (-75)/105. Is r smaller than l?
False
Suppose 15*r = 15836 - 18311. Let z be ((-9)/3)/(-3) + -165. Is z less than or equal to r?
False
Let r(s) = -s**3 + 16*s**2 + s - 19. Let z = 47 + -31. Let l be r(z). Let m = l - -2. Are m and -1/53 nonequal?
True
Let v = -75579123/1865 - -40525. Is v equal to 1?
False
Let i(h) be the third derivative of -19/6*h**3 + 4*h**2 + 0 - 1/8*h**4 + 0*h. Let b be i(-6). Which is bigger: b or 2/5?
2/5
Suppose -3 = -5*s - 23, 836 = -4*k - 5*s. Let u = 203 + k. Are u and -1/17 equal?
False
Let h be 0 + (-94367)/21 - 19/(399/(-14)). Is -4496 != h?
True
Let s = 11992 - 11978. Is 399/31 at least as big as s?
False
Suppose -921 = -3*x - 3*w, -2*x = 164*w - 163*w - 612. Which is bigger: x or 290?
x
Let x = 333705/2 + -3679693/22. Suppose -4*q + 1609 = 3*h, 4*q + 0*q - h - 1629 = 0. Let v = x + q. Which is smaller: 1 or v?
v
Let p be ((-4)/6*9)/(-4 - -1). Let c be 1/(-3) - 88/6. Let v = c - p. Are v and -16 nonequal?
True
Let g(f) = -8*f**2 - 131*f + 42. Let s be g(-19). Is -1075/3 bigger than s?
False
Suppose 0 = v - g + 441, 0 = -13*v + 9*v + g - 1752. Let m be (-1 - 436) + -1 + 0. Is m >= v?
False
Suppose 636 = -170*n + 174*n. Let s = 218 - n. Is 59 less than s?
False
Let w = 27220 - 27980. Is 6 at most as big as w?
False
Let b = -154087 - -16641539/108. Let p = 1/108 + b. Which is greater: -1 or p?
p
Let k be 192/13 + -7 + -4 - 16/4. Let p be 4/6 - (-4)/(-6). Is p at least k?
True
Let n be (-4)/18 - 6891/(-27). Let c = n - 254. Is 1/77 > c?
False
Suppose 4*t + 12 = 8*t. Suppose -r + 1 = -t, 3*r = -2*m - 340. Does m = -176?
True
Let o = 10.15 + -3.15. Is 1.017 smaller than o?
True
Let s = 2.9 - 3. Let p = -0.8 - s. Let g = p + 35.7. Is -0.1 >= g?
False
Let l = -11 + 92. Let y = l + -27. Let a = y + -55. Is a at most -1/90?
True
Let v be ((-191)/2)/(658/188). Which is greater: -27 or v?
-27
Let k(a) = a**2 + 2*a. Let b be k(-2). Let l be ((2 - 153/78)/(-1))/((-48)/36). Which is greater: b or l?
l
Suppose 3*u + v - 14 = 0, 4*v - 8 - 6 = 2*u. Suppose -47 = u*t - 4*f, 5*f = -5*t + 3*f - 61. Is t smaller than -14?
False
Suppose p = 2*p + 1, 2*p = 4*w - 10. Suppose -d + 2*a = -11, -5 = -d - w*a + 6. Let j = d + -22. Is -10 != j?
True
Let u be 8/(-36) + 169/(-9). Let n be (-15)/20 + (-10)/8. Let z(l) = 5*l - 8. Let d be z(n). Which is smaller: u or d?
u
Suppose 4*z = 12*z + 32. Let d be (26/z)/(-13)*(-44)/17. Are d and 0 unequal?
True
Let j be 1528/573*(-246)/8. Which is greater: j or -579/7?
j
Let p = 16859 + -12185. Is p less than or equal to 4674?
True
Suppose 15171 = -61*i + 208724. Is i > 3172?
True
Let i be 1/(35/30) + (-11)/(-77)*-10576. Is i greater than -4529/3?
False
Let i = 280 - 129. Suppose 39 = -5*f - i. Suppose 5*b - 39 + 229 = 0. Are f and b equal?
True
Let i(v) = 5*v**3 + 41*v - 15*v**2 - 6*v**3 - 5*v**2 + 0*v**2 - 9. Let a be i(-22). Which is bigger: a or 56?
a
Let u(t) = -t**2 - 44*t + 6. Let w be u(-14). Let n = w + -442. Which is bigger: n or -22?
n
Let g be ((-1)/(-6) - (-260)/(-312))/((-86056)/(-24)). Is g greater than -1?
True
Let z = -0.9235 + -0.0765. Are -2680 and z equal?
False
Let x be (18/(-12))/(2/(-4)). Su