b + 18. Let a be h(45). Let d = -43 - -15. Which is greater: a or d?
a
Let u(n) = 103*n**3 - n**2 + 2*n + 2. Let x be u(-1). Is x at most -107?
False
Suppose 0*i = 5*i. Let y(r) = -r**3 - 5*r**2 - 4*r - 67. Let a be ((-4)/6)/((-20)/(-180)). Let j be y(a). Is j <= i?
True
Suppose 220*g + 80*g - 95100 = 0. Let r = 653 - 334. Which is smaller: r or g?
g
Let p be 45/37 - (1 - 0). Let b(i) be the first derivative of -18*i**2 + 215*i + 331. Let j be b(6). Which is smaller: j or p?
j
Let o = -3.89 - 208.11. Let a = 204 + o. Are -1/10 and a equal?
False
Let m = -10877 - -10996. Is m greater than or equal to 3?
True
Let d = -29579/11813196 - -7/2572. Which is smaller: 1 or d?
d
Let m = -27103 + 238985/9. Which is smaller: -550 or m?
-550
Let y = 30 + -31. Let l be (y + -3)/((-2)/5). Suppose 2*g + l = d - 5*d, 0 = 3*d + 3. Is -21/5 bigger than g?
False
Let l be 5*(-1 - (-18)/10). Suppose -l*t = -8*t - 32. Suppose -2*d = 4*x + 10, -2*d = 25 - 35. Are t and x non-equal?
True
Let i be (-3 - -4)/(2/(-14)). Let u be (-78)/195*(-10)/2. Let p be 930/(-70) - u/i. Do p and -13 have different values?
False
Let j(b) = 32*b - 69. Let k be j(3). Suppose k - 117 = 9*o. Is o bigger than -12?
True
Suppose -10*h + 5*h - w = 3151, 4*h + 5*w + 2504 = 0. Is -630 smaller than h?
False
Suppose 4*g + 25 = -4*w - 43, 3*w = -2*g - 53. Let k be w/4 - 1/4*1. Let f be 2*(0 + 9/(-2)). Which is greater: k or f?
k
Let i = -56.934 + 57. Let x = -40.934 - i. Let u = -41.1 - x. Which is smaller: 8/5 or u?
u
Let v(i) = i**2 + 7*i + 3. Let f be v(-6). Let w(s) = s**2 + 650*s - 25387. Let b be w(37). Is b < f?
False
Let x be (-6)/(-15)*4/(-36). Let t = -193 - -185. Let w be 6/8 + (2 - (-22)/t). Is w less than or equal to x?
False
Let f = 135935 - 2310882/17. Let c = -1 - -1. Is c at least f?
False
Suppose 4*c + 3 = c. Let a = -14 - -12. Let t be a/(-1 - 1*11/3). Is c at most as big as t?
True
Let b(p) = p**2 + 51*p + 57. Suppose -5*c - 2832 = 54*c. Let m be b(c). Suppose 0 = 5*h + 4 + 431. Is m != h?
False
Let y be (2 + (-5)/3)*(-14)/238. Let n(d) = d**2 - d. Let b be n(0). Suppose b = h + 2*h + 3. Which is smaller: y or h?
h
Let s(m) = -m**2 + 7*m + 13. Let y be s(9). Let x(t) = 2*t**3 + 6*t**2 - t + 2. Let v be x(y). Which is smaller: -91 or v?
v
Suppose -9*t = -6 - 30. Suppose -t*n = 2*k - 3*k + 60, -3*n + 2*k - 50 = 0. Let a be 62/n - -5 - 118/280. Which is smaller: a or 0?
0
Let f(o) = o**3 - 22*o**2 - o + 13. Let j be f(22). Which is smaller: -218/21 or j?
-218/21
Suppose -4*u - 20 = 4*h, -4*h = u - 171 + 185. Which is smaller: 633 or h?
h
Suppose 0 = -3*r - 2*r - 540. Let k = r - -176. Which is bigger: k or 66?
k
Let h = -23/3 - -170/21. Let w = 18.8 - 21.1. Are h and w non-equal?
True
Let l = -5163 + 5162.9. Which is greater: l or 39/7?
39/7
Suppose 73*b = 5*r + 78*b - 5, -2*r + 2*b = 10. Which is smaller: r or -370/119?
-370/119
Let y(v) = v**3 + 9*v**2 - 10*v - 1. Let s be y(-10). Suppose -126*u = 1144 + 1376. Is s < u?
False
Let h be 3/(-6)*7*-4. Suppose h = 4*x + 2. Suppose 3*l - x = -24. Which is greater: l or -22/3?
l
Let u = -43261 - -43248.783. Does 0 = u?
False
Suppose -7*k - 10*k = -68. Suppose -r - k*t - 88 = 0, 0*t = r - 3*t + 109. Which is greater: -1 or r?
-1
Suppose -11256 = 5*p + 3*v, 7*p - 12*p + 2*v - 11221 = 0. Is p greater than -2248?
True
Let g = -2325 - -2650. Which is smaller: g or -4?
-4
Suppose 0 = 5*p + 186 - 16. Suppose 0 = 5*d + 3*v + 129, 2*d + 62 = -57*v + 55*v. Which is bigger: d or p?
d
Let z be 9659*19/9633 - 19. Let t be (-2*(-1 + 2))/(-2). Is z <= t?
True
Let n(a) = -2*a - 25. Let p be n(-9). Let c(i) = 2*i**2 + 15*i + 6. Let d be c(p). Let u(t) = 33*t**3 - 2*t**2 - t + 1. Let f be u(d). Is -34 at least f?
False
Suppose 4*z + 56 = 5*y, -3*z + 2*z = -4*y + 36. Let n be y/92 - (-415)/(-805). Is -4 != n?
True
Let i = 225.7 - 225.8. Let g(y) = 4*y + 7. Let j(a) = a**3 - 3*a**2 - a - 7. Let u be j(4). Let n be g(u). Which is greater: i or n?
n
Suppose -2*g - 2*g + 5*f + 56 = 0, -88 = -4*g - 3*f. Let w(o) = o**3 - 16*o**2 + 11*o + 90. Let l be w(16). Let v = -249 + l. Which is smaller: g or v?
v
Let n = -2/1235 - 92611/8645. Let s(i) = i**2 - 3*i - 67. Let c be s(10). Suppose 3*v - c*k + 13 = -20, 3*v + 25 = -5*k. Which is smaller: v or n?
n
Let x be (-742)/4 + 10*(-7)/(-14). Let k = x + 180. Suppose 0 = a + a. Is a < k?
False
Let t be (-2)/(-4) - ((-21)/(-6) + -3). Suppose t = 2*l + 3*l - 485. Let m = l + -94. Which is smaller: m or 21/8?
21/8
Let i = -928.86 + 928. Is i less than or equal to -0.08?
True
Suppose 153*b + 2310 = -129*b + 72*b. Is b <= -91/8?
False
Let p = -0.198 - -0.288. Let m = p - -0.01. Which is bigger: 75/7 or m?
75/7
Let q = 2570/7 - 63382/175. Which is bigger: 4 or q?
q
Suppose l + 2*t - 4*t + 112 = 0, -5*t = -2*l - 222. Let p = 108 + l. Are -4 and p unequal?
True
Let u = 2669/5904 + -5/656. Are u and 3 non-equal?
True
Suppose -21 - 393 = -9*d. Suppose 36*x + 10 = d*x. Do -11/47 and x have different values?
True
Let o = -12434 - -12023. Is -0.08 > o?
True
Let i(j) = j**2 - 4*j + 4. Let x = 1 + 4. Let d be i(x). Let t = 91/6 + -29/6. Which is smaller: t or d?
d
Let t = -10.058 + -284.222. Let p = -295 - t. Is p smaller than 0?
True
Let j be (-2521818)/27840307 + 1/11*1. Is 6 at most as big as j?
False
Let d(n) = -n**3 - n**2 + 9*n + 5. Let c be d(-6). Suppose 0 = 2*t - c - 211. Let q = t + -859/5. Is -2 bigger than q?
False
Let y = 35489/3 + -12099. Let i = -57362/213 - y. Is i equal to 0.4?
False
Let n(k) = -k**2 - 12*k - 4. Let j(h) = 4*h**2 + 49*h + 17. Let y(r) = -2*j(r) - 9*n(r). Let l be y(-10). Let f be (1/(-1)*l)/33. Which is greater: f or 1?
1
Let x = 12 + 1. Let f(q) = 2*q**2 - 3*q + 11. Let l be 41 - 36 - (0 - -5). Let c be f(l). Which is smaller: x or c?
c
Suppose 3*p - 12 = 0, m - 2*p = -m - 14. Let b(d) = -3*d**2 - 2*d + 160. Let j be b(7). Is j greater than m?
True
Let h = 1.375 - 147.383. Let x = 146 + h. Is 0 at least x?
True
Let s = 15.12 + -0.12. Let h = -15.3 + s. Let k = 287 - 287.1. Which is bigger: k or h?
k
Let m = 1 - 1. Let h be 9/(14 + 2 - 1394/68). Which is smaller: m or h?
h
Suppose 0 = -2*n - 1 + 5. Let o = n + -3. Suppose 96 = 81*i - 129*i. Which is smaller: o or i?
i
Let x = 7183 + -7312. Which is bigger: -96 or x?
-96
Let v = -19 + 108.32. Let b = v + -89. Is -1 != b?
True
Let q(f) = -11*f - 85 + 5*f + f - 5*f. Let m be q(-9). Let v be (-51)/(-9) + 0 + 0. Is m >= v?
False
Let p = -295 + 906. Let h = p - 569. Is -4 less than or equal to h?
True
Let t = -0.34666 - -0.21266. Suppose -i + 2 - 1 = 0. Which is smaller: t or i?
t
Let j(l) = 2095*l**3 + 2*l**2 - 8*l - 9. Let u be j(-1). Which is greater: -2092 or u?
-2092
Suppose -4*y = 2*x - 96, 0 = -3*x + 3*y + 124 - 25. Let l = x + -51. Let k = 58/15 - 68/15. Are k and l nonequal?
True
Let l(d) = 4*d + 3. Let n be l(4). Let s be 4 + (592/20)/2 + (-29 - -30). Is s at least n?
True
Let s = -60483/35 + 1728. Is s less than 1?
True
Let g be 1/(-3) - 28/(-3). Suppose g*p - 5*p + 20 = 0. Let r be -1 - -1 - p/(-20). Which is greater: r or 3?
3
Suppose -4*q - 1851 = 3*k, 36*k - 31*k + 3075 = -5*q. Which is greater: -2/3 or k?
-2/3
Let j = 100 - 95. Suppose -15*g + 9 = -12*g. Which is smaller: j or g?
g
Let o = 1.18 - 18.18. Let r = o + 4.1. Which is greater: 1 or r?
1
Suppose -4*y - 68 = 2*g, -156*y + 155*y = 3*g + 27. Which is smaller: 191 or y?
y
Let u be 4/(-138)*15/(-8). Suppose -49*y - 23 = 6 + 20. Does y = u?
False
Let z be (-10)/40*1298/(-53513). Which is bigger: 1 or z?
1
Let b(a) be the second derivative of -5*a**4/6 - 23*a**3/6 - 5*a**2/2 - 175*a. Let u be b(-2). Which is greater: 1/20 or u?
u
Suppose 856 = -160*f + 2616. Let i(h) = h**3 - 9*h**2 + 10*h - 11. Let m be i(8). Let c = m + 7. Which is smaller: c or f?
f
Let o = -68 + 69.25. Let i = o + -0.47. Which is smaller: -1 or i?
-1
Let a(v) = v**2 + 56*v - 469. Let f be a(-64). Let c be (-2 + 1)*-11*4. Do f and c have different values?
True
Let v(i) = i**2 + 30*i + 28. Let r be v(-27). Let b be r + ((-7)/1)/7. Which is bigger: -50 or b?
-50
Let x = 42.2 - 3.9. Let p = x - -14.7. Suppose 0 = 3*f + f. Are f and p non-equal?
True
Let m be (20/(-6))/(1/3). Let g be -3 + (-14)/m + 2. Let q = -12.4 + 2.4. Which is smaller: g or q?
q
Let o = -5956 - -125285/21. Which is greater: 11 or o?
11
Let o be (