t d(a) = -8*a**2 + 5*a - 8. Let g be d(2). Let j(h) = h**3 + 9*h**2 + 21*h - 10. Let p be j(-6). Which is bigger: p or g?
p
Let d = -568.1 - -696. Let b = -128 + d. Is -2 < b?
True
Let b = -212.931 + 94.045. Let v = b + 119. Let c = 0.014 - v. Which is smaller: c or -3?
-3
Suppose -51 = -71*q - 50*q + 1280. Suppose 4*t + 1 + 0 = f, -2*f + 14 = 4*t. Let m(s) = 8*s**2 - s + 1. Let l be m(t). Which is smaller: q or l?
l
Let p = 34113 + -35852767/1051. Is p at least -1?
True
Let n = -5470 + 5480.7. Which is smaller: -5.1 or n?
-5.1
Suppose r + 4*t = 36, -2*r - 3827*t - 45 = -3832*t. Which is greater: r or -44946?
r
Let p be (120/(-28) + 4)*-7. Suppose -p*c - 10 = 10. Let o be (-6)/((-9)/(45/c)). Is -17/5 greater than o?
False
Let k(u) = u**3 + u**2 - 3*u + 56. Let x be k(4). Which is bigger: x or 110?
x
Suppose -5*c + 5*y - 975 = -0*y, -3*c = 2*y + 595. Let a = c + 245. Is 48 >= a?
True
Suppose -2*h - 5*i + 62 = 0, -i = 2*h - 15 - 39. Suppose 1836 = -h*m + 9*m. Are 0.2 and m non-equal?
True
Let z = 28 - 21. Let t = -13 - -19. Let l be (11/2 - t)*(-1 + -15). Which is smaller: z or l?
z
Suppose 17*d + 7303 = -10666. Let y be 2 + -5 + (-2269365)/d. Let q = y - 2144. Which is smaller: q or 1?
q
Let h = -6055 - -6055.2. Is h > 6/25?
False
Let g = -1823 - -1824. Which is smaller: g or 1/393?
1/393
Let u = 95671/168 - 3986/7. Is u <= -8?
False
Let l be (-2 - 21885917)*7/(-3262). Let i = l + -46966. Let b = i + 2/233. Which is smaller: b or -14?
-14
Let m(r) = -r**2 + 31*r - 236. Let n be m(17). Which is bigger: 17/30 or n?
n
Let v(j) = 7*j**3 + 3*j**2 + 57*j + 79. Let w be v(-7). Is w at least -2568?
False
Suppose 120*v - 115 = 5. Is 0.0577 not equal to v?
True
Suppose 14 = 20*i + 154. Let b(f) = -f**2 - 22*f - 35. Let u be b(i). Do u and 72 have the same value?
False
Let t(v) = 23*v + 176. Let x be t(-15). Let h be 6*3/(-6) + (-509)/x. Which is greater: h or 1/4?
1/4
Let g be 626/(-96) + 1313/202. Let w = -3.4 + 4. Let k = 0.7 - w. Is g greater than k?
False
Let c = 359228/25 + -14364. Which is smaller: c or 6?
c
Suppose -2274 = -13*g + 716. Let l = -248 + g. Let k = -48 + 33. Which is smaller: k or l?
l
Let t(j) = -j**2 + 22*j - 65. Let i be t(13). Let r = 7/2 - i. Which is smaller: -50 or r?
-50
Let r = -678473/1434 - -1426/239. Which is greater: r or -468?
r
Let o be 112490/(-16) + ((-7)/(-35))/((-96)/180). Is 0.1 >= o?
True
Let j = -8903/4 - -8698243/3908. Do j and 2/15 have the same value?
False
Let r(u) = u - 16. Let m be r(19). Let s be -5 + 1 + (-3 - -6). Let l = m + s. Which is greater: 3 or l?
3
Suppose -o = -5 + 9. Let z(i) = -i**2 - 4*i. Let r be z(o). Suppose -2*c = r, 4*y = -c - 6 - 26. Is -20/3 > y?
True
Suppose -23 = 3*l + 598. Let h = 230 + l. Are h and 16 equal?
False
Let z be 282/14 + 26/(-182). Let r(b) = 10*b - 156. Let m be r(z). Which is smaller: m or 223/5?
m
Suppose 36*m = -2*j + 32*m - 20, -4*j + 4*m + 20 = 0. Suppose j = -5*v - 4*g + 1500, 0*g + 306 = v + 2*g. Is v less than 297?
True
Let n(r) be the first derivative of -5*r**2 + 25*r - 6. Let s be n(6). Let z be 195/s - (-4)/7. Is -5 greater than z?
False
Let m be (-330)/(-88)*(-8)/(-5). Let p = m + -5. Let o = 1/86 - -169/258. Is o > p?
False
Let q = -5913.1 + 5913. Which is greater: 19065 or q?
19065
Let h be 1/(-5) - 157/(-10). Let q = -463 + 479. Is q at most as big as h?
False
Let p = -1.4459 + -0.7541. Is p >= 3.2?
False
Let r = 2 + 0. Suppose 0*k + 12 = 2*k - 5*f, -r*f - 5 = -k. Let j be (-2)/((-4)/2) + (-713)/744. Which is bigger: j or k?
k
Let k = 311404203/1148 + -271258. Which is smaller: k or -1?
-1
Suppose -5*p + 26 = 2*u, 3*p = -2*u + 14 + 12. Suppose -2 = o + 3*m - 0, u = o - 2*m. Suppose -8*a = -o*a - 11. Are a and 11 non-equal?
False
Let g be ((-4)/6)/(20/(-1770)). Let y = 69 - g. Let r be -3*y + (-4 - -7). Is -27 less than or equal to r?
True
Suppose 0 = -3*m + 3, -2*h + 8*m = 9*m + 1433. Is -2 bigger than h?
True
Let q = 1270.9 - 1258. Let s = q - 8.9. Let g = -1 + 1.1. Is g not equal to s?
True
Let f = -78 + 81. Let d be f/1 - 7335/570. Let a = 9/76 + d. Which is greater: a or -9?
-9
Let o be ((-54)/10 - -4) + (-18816)/160. Is -124 at most as big as o?
True
Let q(i) = i**2 + 47*i - 8. Let u be q(-9). Are -351 and u non-equal?
True
Let d = 51 - 51. Suppose 0 = 5*z - 2*n + 320, d = 3*z + 3*n + 53 + 160. Let s be z/(-42) - 2/1. Is -1 > s?
False
Let t = -0.00854 - 0.39146. Which is greater: 4/469 or t?
4/469
Suppose 5*j = 6*n - 4*n + 28, 38 = -4*n + j. Let l be (-13)/3380*(-6)/n. Which is greater: 0 or l?
0
Let r = 5933/231 + -180/7. Suppose 6*y + 27 = 9*y. Let w be (-3)/y + 6/(-9). Is r < w?
False
Let j = 6073 + -6078. Is j bigger than -264/49?
True
Let g = -388913/5 - -77783. Let m = 5 - 10. Is g smaller than m?
False
Let z = 12 + -2. Let o(f) be the second derivative of -f**5/20 + f**4/3 - 3*f**2/2 + 11*f. Let b be o(3). Which is smaller: b or z?
b
Let i = -250898 - -2666794844/10629. Is -1 at most as big as i?
True
Let d = 2673 - 2426. Which is smaller: d or 248?
d
Suppose 3 = 3*r + i - 6*i, 4*r = 4*i + 12. Let z be (1 + 4/r)*(31 + -34). Let u = 67/8 - 97/8. Is u > z?
True
Let a = -9396 - -2132887/227. Is 1 less than a?
False
Suppose -13 = 3*v + 5. Suppose 14 = -2*i - m, 4*i - 9*i - 2*m - 36 = 0. Which is smaller: v or i?
i
Let t = 58 - 58.1. Suppose -5*h + 134 = 2*w, 2*h - 2*w - 2*w = 44. Which is smaller: t or h?
t
Suppose -19*n + 17*n = 138. Let c = n + 208/3. Which is smaller: c or 2/311?
2/311
Suppose -2*l - 1319 = 5*r - 8*r, -r + 418 = -5*l. Let w = 75754/171 - r. Is w < -1?
False
Let g(m) = 3*m - 13. Let l be g(3). Let j(a) = -4*a**2 + 3*a - 8. Let r be j(l). Does r = -84?
True
Let x = 37332 + -37331. Which is smaller: x or 7.395?
x
Suppose -2*r - 4*n + 58 = 0, 2*n = -2*n + 12. Let s be (-9 - -10 - 5) + 1*r. Which is bigger: s or 18?
s
Let h = 1208549/5 + -240096. Let m = h - 1590. Do m and 23 have the same value?
False
Let h be 0 + (16/16 - ((-18)/(-14) - 0)). Which is greater: -17 or h?
h
Let v(j) = 7*j**2 + j + 4. Let g be v(-2). Suppose k = -q - 0*q, 3*k = 3*q + g. Let h be q + 6 + 2/(-2). Which is bigger: -3 or h?
h
Let s be ((-29)/(290/450))/(3 - 11). Is 5 smaller than s?
True
Suppose 5*d + 5*m = -135, 2*m + 147 = -5*d + 21. Let y = -0.04 - 0.16. Is y greater than or equal to d?
True
Let v = 138 + -84. Suppose -31 = -13*s + 11*s + 5*p, 4*p + 32 = 4*s. Suppose 5*i - 4 = -w, w - 2*i - v = s*i. Is w <= 29?
True
Let y = -400 + 433. Suppose 5*n = a + y, -117 = 7*a - 2*a - n. Is -24 at least a?
False
Let j(h) = 30 - 16 - 13*h - 14*h**2 + 16 + 3*h**3 - 4*h**3. Let v be j(-13). Let n be -1*4/v + (-12 - -12). Is n greater than 0.2?
False
Let g(y) = -y**2 + 9*y. Let r be g(8). Let s = 4078.1 + -4077. Which is greater: s or r?
r
Suppose f + 162 = 5*r, -9*r + 8*r + 5*f = -18. Suppose r*t + 657 = 24*t. Which is smaller: -2 or t?
t
Suppose 0 = 195*k - 194*k - 13. Suppose k*u - 16*u - 81 = 0. Is -1 >= u?
True
Let q = 4.2 + -8. Let v = q + 3.38. Let i = -0.52 - v. Are i and 1/4 equal?
False
Suppose -1078*f + 1114*f = 362 + 70. Does 1 = f?
False
Let d = 107.9 - 47.2. Let l = d - 19.7. Which is smaller: l or -0.1?
-0.1
Let k = -31 - -27. Let f = -5993/1548 + -3/172. Which is greater: f or k?
f
Let p = -1473.99 + 1481. Let j = 36.11 - p. Let c = j + -29. Are -0.093 and c equal?
False
Let v = -1.06 + -13.74. Let z = -8.2 + v. Is 0.1 at least z?
True
Suppose -13*p + 938 = 3798. Is p less than or equal to -1978/9?
True
Let n(h) = -5*h**2 + 2*h + 5. Let q(j) = -9*j**2 + 3*j + 9. Let o(x) = 7*n(x) - 4*q(x). Let z be o(-2). Let f be (0 + z)*(1 - (-3)/1). Is -3 less than f?
False
Let n = 2393 + -557570/233. Let i = 226/1631 - n. Is i at least -2/15?
True
Let a be 34/187 - (-3304)/(-22). Let t be ((-90)/a)/((-246)/(-20)). Which is greater: -1 or t?
t
Suppose y = -g + 361, -5*y = -3*g - 2*g - 1845. Let u = y - 731/2. Is -0.34 at most as big as u?
False
Let v = 3287 - 3389. Which is smaller: -109 or v?
-109
Let o(n) = 5*n**2 + 16*n - 157. Let g be o(6). Suppose -g*h - 5 = -114*h. Which is smaller: -16/81 or h?
h
Let t = -137 - -96. Suppose 1472*r - 28120 = 2212*r. Which is smaller: r or t?
t
Let l = 2963763/61 - 48585. Is l less than or equal to 0?
False
Let g(z) be the third derivative of -z**5/30 - z**4/2 + 13*z**3/6 + 52*z**2 - 9. Let k(h) = -h - 4. Let d be k(3).