h**2 + 8*h. Let y(w) = w - 6. Let s be y(13). Let o be v(s). Let j be p(o). Which is greater: -0.1 or j?
j
Let u(f) be the second derivative of -f**4 - f**3/2 + 9*f**2/2 + 145*f + 2. Let l be u(-3). Which is bigger: l or -91?
l
Let t(k) = -3*k - 31. Suppose -26 = 2*r - 3*d, -3*d - 44 + 10 = 4*r. Let f be t(r). Suppose 0 = -9*n - n - 0*n. Which is bigger: f or n?
n
Let o = 41.1192 - 1.9292. Which is greater: o or -4?
o
Suppose 4*w - 4*q - 96 = -20, 5*q = 5. Let t be ((-2)/(-12))/((-115)/w). Let z be (-4 - ((-3)/2 - 3))*(-12 - -14). Which is smaller: z or t?
t
Let s be (172/2236)/(139/13). Which is bigger: -40 or s?
s
Let t(p) = -p**3 - 13*p**2 + 4*p + 63. Suppose -n - 4*n - 5*z = 65, 3*z = 0. Let h be t(n). Suppose -44 = -3*b - b. Is b > h?
False
Suppose -370*j - 6816 + 2376 = 0. Let o be 3*4/24*-30. Is o at least j?
False
Let z = 2490 + -2499. Do z and -187 have the same value?
False
Let h = 86/9 - 83/9. Let x = -19/14 + 3/2. Do h and x have the same value?
False
Let x = 10 - 7. Let t(f) = f**3 - 5*f**2 - 16*f - 6. Let c(j) = j**3 - 5*j**2 - 8*j - 6. Let z(n) = 3*c(n) - 2*t(n). Let m be z(x). Is 2 smaller than m?
False
Let d = 1712942/211 + -1488331105/91996. Let f = d + 8060. Which is smaller: 1 or f?
f
Let s = -27 - -31. Let r(q) = -q**3 + 5*q**2 + 2*q - 6. Let h be r(s). Let v = h - 17. Do -4/17 and v have different values?
True
Suppose -4*c = 2*i + 10, -3*c + 5*i - 9 = -34. Let s = 1600545/158 + -10130. Which is smaller: s or c?
c
Let b be 980/(-1225) + 3462/(-10). Which is greater: b or -1733/5?
-1733/5
Let l = -184 - -184. Suppose l = 6*f + f + 14. Which is bigger: -42/13 or f?
f
Let r = -101 - -167. Suppose u - w = -r, -4*u + 9*w - 13*w - 288 = 0. Is -69 at least u?
True
Let l be (-8)/56 + 64/7. Let q = 14 - l. Let i be (-1 - (-7)/2)/q. Is i equal to 2?
False
Let s(d) = 1204*d - 487. Let c be s(-4). Is c >= -5303?
True
Suppose -5*l = 4*j - 2 + 6, -3*j = -5*l - 32. Let h(r) = 38*r + 7. Let i be h(j). Which is smaller: i or 158?
158
Suppose 20194 + 14918 = -6*o. Let q = 46733/8 + o. Which is bigger: q or -11?
q
Suppose -40*x + 798 = -39*x + 3*l, 3948 = 5*x + l. Do x and 789 have different values?
False
Let d = -7035/16 + 440. Let j = d + -3/112. Which is smaller: 2/3 or j?
j
Suppose -4*f + 3 = 11, 4*f = -5*k - 1803. Let z = k - -467. Is z at most 106?
False
Let z = 4 - 15. Let p be ((-2)/(-1) - -2) + z. Let i = 6 - 3. Is i <= p?
False
Let h be 152/60*-102 + (-12)/(-30). Suppose 3*k + k = -1036. Which is smaller: h or k?
k
Suppose 0 = 3*m - 4 - 2. Let s be (-18)/(-2) - (-11 + 17). Let n be (29/s)/(m/6). Is -1/2 <= n?
True
Let r(m) = -25*m**3 - 3*m**2 + 2*m + 4. Let w be r(2). Which is greater: w or -202?
-202
Let h(b) = 104*b - 625. Let n be h(6). Which is smaller: -5/3417 or n?
n
Let c be ((-2)/(-11))/(259/74). Which is smaller: 0.2 or c?
c
Let k be (-2 - (-22)/10)*-1. Let j = 0.904 - -0.076. Let p = j + -0.88. Which is bigger: p or k?
p
Let j be 19/(-8)*5893 - (1079/(-104))/(-83). Is -13996 not equal to j?
False
Suppose -g + 221 = -5*k, 8*k = 10*k + 4. Is g smaller than 0.4?
False
Let k = 2173.7 - 2136. Which is greater: k or 1?
k
Let y be -64*((-8)/(-28))/(-2)*-14. Is y >= -515/4?
True
Let v = 1530 + -1513. Which is smaller: -2.6 or v?
-2.6
Suppose 5*r - 6 = 29. Suppose 9*t - 12 = 69. Suppose -t*g + 1 = -8*g. Is r bigger than g?
True
Suppose 4*u = -8*u - 5458 - 1922. Which is smaller: -612 or u?
u
Suppose 0 = -q + 265 - 109. Let v be ((-2)/q*2)/((-5)/(-30)). Suppose -12 = 4*n - 0*n. Is n >= v?
False
Let k = -201.8 - -201.5. Is 203 greater than k?
True
Suppose -b - 26 - 41 = 0. Let y be 5/(25/2) + b/5. Let t(g) = g**3 - g**2 - g - 9. Let q be t(0). Which is bigger: q or y?
q
Let g(a) be the third derivative of a**7/5040 - a**6/18 - a**5/4 + 19*a**2. Let r(d) be the third derivative of g(d). Let s be r(27). Are s and -15 unequal?
True
Let p be (-54)/(((-32)/8)/(-16)). Does p = -224?
False
Let p(y) = -13*y - 4 + 12*y + 5*y + 2. Let c be p(4). Suppose -2*j + 1 = 5*a - c, 0 = j + a - 9. Do j and 10 have the same value?
True
Suppose 5*f + 21*f = 10*f. Suppose f = 3*m - q + 16, -m + 6*q - 6 = 5*q. Is -4 bigger than m?
True
Suppose 0 = -5*b - 2*k - 197, -25*b + k = -20*b + 209. Which is bigger: -82 or b?
b
Let g be (-72)/20*10/(-3). Suppose -g*v - 22 = u - 14*v, 3*u + 59 = -v. Is u less than or equal to -15?
True
Suppose 32*v + 356 = 292. Suppose 0 = 5*l, -4*q - q - 2*l = 25. Is v at least q?
True
Let l be (-58 - 12054/(-205))*(-2)/(-4). Are l and -11202 nonequal?
True
Suppose 35*r - 32 + 406 = -116. Is r > 5?
False
Let k(l) = -6*l + 473. Let m be k(11). Is m at most as big as 2039/5?
True
Suppose -2*l = l - 3*g + 15, 4*g = -l - 30. Let i be (l/3)/((-4)/24). Let t be (-21)/(-12)*(-16)/i. Is t not equal to -2?
True
Suppose 0*o = -3*o + g - 129, 5*o - g = -217. Let y = 2/8557 + -1189429/25671. Let k = y - o. Are -2 and k unequal?
True
Suppose 4264 = 216*c - 1784. Suppose 3*h + 48 - 138 = 0. Is c != h?
True
Let f = -1876 - -1912. Let g = 11 + 23. Which is bigger: g or f?
f
Let r be ((-3588)/161 - -23)*-14*2/(-110). Let b = -45671/35 - -1305. Which is smaller: r or b?
b
Suppose -f + 6 = -4*f. Let d be 3/1 + (-2 - f). Let s = 2671/7 - 379. Which is bigger: d or s?
d
Let w = -501 + 509. Suppose 0 = -z - 2*n + 13, -w = 4*z - 5*z - 3*n. Which is greater: 21 or z?
z
Let m = 20 - -113. Suppose -6*p - p = m. Let g = 26 - p. Does 45 = g?
True
Let a = -10642 - -10642. Is 8/149 less than or equal to a?
False
Suppose -4*k = b - 5, -10 - 7 = -4*k + 3*b. Suppose q = 5*x - 410, 3*x - k*q + 0*q = 246. Let g = x + -86. Is -4 equal to g?
True
Suppose 69250 = 15*f - 31475. Is f < 6714?
False
Let p be (-1)/3 + (-410)/(-300). Let i = -13298/15 - -886. Let l = i + p. Which is greater: l or 17/2?
17/2
Let o be 1/((-1)/7) - (-9285)/1305. Which is greater: 0 or o?
o
Suppose 98*y + 78*y = 13*y - 11410. Are y and -93 equal?
False
Suppose 0 = 2*b - 5*b + 78. Suppose 4*f + 72 = 2*n - 7*n, 3*n - 2*f = -30. Let c be ((-8)/n)/(2/78). Is b smaller than c?
False
Let i = -1353 + 2030. Let x = i + -595. Is 81 at least x?
False
Let p = -2/392651 - -1575514/963958205. Is 1 less than p?
False
Suppose 0 = -4025*k + 4029*k - 172. Which is bigger: k or 386/9?
k
Let i = 7.6 + -1.6. Let u = -8.781 - -0.081. Let l = u + 7.7. Is i at least l?
True
Suppose 415*p + 154035 + 279225 = 0. Is -1044 greater than or equal to p?
True
Let n = 765 - 3832/5. Which is smaller: n or 26?
n
Let b = -9.955 - -10. Let u = -0.01698 - 0.03802. Let g = b - u. Which is bigger: 2/47 or g?
g
Let a = -0.04 - 0.16. Suppose 0 = -16*w + 426 + 982. Suppose w = -12*b + 4*b. Is a greater than b?
True
Let n = 54 + -42. Let s(m) = m**3 - 11*m**2 - 18*m - 2. Let r be s(n). Which is smaller: 1/4 or r?
r
Suppose 13 = 2*y - 2*t - 11, -2*y = 4*t - 36. Suppose 2*i + 2*f - 4 = 0, 9*i - y*i = -2*f + 11. Which is bigger: i or 1/321?
1/321
Let n = 142203/50 + -14231/5. Is -3 equal to n?
False
Let m = -193 - -199. Suppose 28 - 4 = m*k. Let b be 4/(-6) - 4/3. Is b > k?
False
Let z be -7 + (33/2)/11*2. Let j be (z/(-10))/((-2632)/(-240) + -11). Is j at most 11?
True
Suppose 4*t - 5*t - 5974 = -3*a, -a = -2*t - 11948. Let r = t + 77705/13. Are r and 2 equal?
False
Let o be 6/104*27/18*8/3. Which is smaller: -92 or o?
-92
Let b be ((-40)/(-18) - 2) + 249/(257715/101200). Let n(c) = 17*c - 2. Let r be n(6). Which is bigger: b or r?
r
Let h(i) = -i**2 - 31*i + 14. Let d be h(-28). Let y = -1285 + 1382. Is d less than or equal to y?
False
Suppose -13 + 5 = 4*a, -x = -2*a - 8. Suppose i + 2 = 3*d - 5, 5*d + x*i - 40 = 0. Let n be d + (3 - 2)*-1 + -5. Is n greater than -2/3?
False
Let a = -57 - 8. Let h = a - -64.968. Let u = 0.042 + h. Which is smaller: u or 2/5?
u
Let y be ((-4)/(-28))/(11/(-33)) - (-11706)/27328. Which is bigger: -1 or y?
y
Let i = 0.04302 + 2.00398. Which is bigger: i or 0.1?
i
Let f(z) = -z**2 - 9*z + 1. Let t(a) = -3*a + 9. Let d be t(6). Let r be f(d). Let x be (1/(-19))/((-47)/(-235)). Which is bigger: r or x?
r
Let i = 136 - -11. Let v = 146.921 - i. Let u = 4.079 + v. Which is bigger: u or -2/27?
u
Let h = -211 - -218. Suppose -h*p = -11*p + 52. Does 6 = p?
False
Let i(p) = p**2 - 7*p - 7. Let a be i(8). Suppose 2*c = c + a. Suppose 3*m - 6*m - 19 = 2*h, 28 = -4*h + 4*m. Is c != h?
True
Let h be (-6 - -55)*4 - 10