*d - 18 = 0, -d + 3 = -3*f + 4*f. Let n(b) = f*b + 2*b - 7*b. Let s be n(6). Which is smaller: s or -7?
-7
Let h(m) = m**2 + 8*m - 6. Let j be h(-9). Suppose j*i - 8 - 10 = 0. Let o be -2*2*(-3)/i. Which is smaller: 1 or o?
1
Let h(i) be the second derivative of -i**5/20 + 5*i**4/12 - 5*i**3/6 + 5*i**2/2 + i. Let l be h(4). Let n be (-26)/42 + 4/14. Is l smaller than n?
False
Let l = 22 + -23. Let y be (-77)/(-4)*-10 - l. Let b = y + 17231/90. Which is smaller: b or 0?
b
Let w = 735/134 - -1/67. Let q = 5 - w. Is 0 not equal to q?
True
Let l be 93/5 - 8/(-20) - 1. Let p be (l - 21)*((-13)/(-15) + -1). Is p != 0?
True
Let p(r) = 5*r. Let g(u) = -9*u. Let l(w) = -4*g(w) - 7*p(w). Let y be l(0). Let s = 2/291 + -2342/2037. Is y at most as big as s?
False
Let f(j) be the second derivative of j**3/3 - 3*j**2 - 49*j. Suppose -4*l + 32 = -5*r, 4 = l - 5*r - 19. Let t be f(l). Which is smaller: 1 or t?
t
Let o be 2/8 + 1/(-44). Let t(u) = -u**3 - u**2 + 111*u - 9. Let p be t(10). Is p greater than o?
True
Suppose w - 46 = 16. Let h = w - 59. Let l = 54 + -105/2. Which is smaller: l or h?
l
Suppose 3*j - 3*h + 12 = 2*h, -2*j - h + 5 = 0. Let v be 2*(2/(-10))/j. Is v <= -16?
False
Let k(u) = -u**3 - 7*u**2 - 9*u + 7. Let z be k(-7). Suppose r - z = -4*r. Suppose f - r = -f. Is f <= 6?
False
Let i = 7 - -4. Suppose 13*b + 12 = i*b. Is b not equal to -6?
False
Let w = -481 + 485. Which is bigger: 92 or w?
92
Let d be (-22215)/(-2)*(-32)/684. Let r = d + 43163465/83049. Let j = r + -1/47. Is -1 < j?
True
Let x = 30 - 29.94. Let q = -0.058 - -0.048. Which is bigger: x or q?
x
Let p = -0.31 - -0.21. Let f = -1.7 - -1.88. Let k = -7.82 - f. Which is smaller: p or k?
k
Let m = -26 + 17. Let f = 1.15 + 52.85. Let d = f + -53.9. Which is smaller: d or m?
m
Let r(l) = -l**2 + 15*l + 20. Let p be r(12). Suppose 0 = -3*c - c - p. Do c and -13 have the same value?
False
Let b = 82 - 84. Let w be (35/(-5) - -7)*1/b. Is w less than or equal to -1/40?
False
Let u(y) = y. Let s be u(-4). Let c(d) = 35*d - 249. Let q be c(7). Are s and q equal?
True
Let s = -30 - -38. Let d = s - 6. Which is smaller: -11 or d?
-11
Let i = 15.1 - 15. Let d = 2265/4 + -564. Is d at least as big as i?
True
Let o = -0.142 + -0.258. Which is smaller: 32 or o?
o
Let r(g) = -g**3 - 8*g**2 - 13*g - 42. Let y be r(-7). Which is smaller: y or 10/819?
y
Let v be ((-78)/455)/((-8)/220). Are v and 4 non-equal?
True
Suppose -29*y + 9658 = 552. Is y bigger than 319?
False
Let q be 48/80 - (-216)/(-10) - -4. Which is greater: q or -89/5?
q
Let v(n) be the second derivative of -n**5/20 - n**4/12 + n**3/6 + 3*n**2/2 - 3*n. Let m be v(0). Suppose 3*t = -0*t - m. Which is bigger: t or 0?
0
Let u be ((-18)/14)/(6/21). Let s = -23 + 20. Are u and s non-equal?
True
Let c = -11 + 0. Is 2/3 bigger than c?
True
Suppose -4*m + 3*r + 292 = 0, -5*r - 12 = -2*r. Are m and -8 nonequal?
True
Let b = -1153/2 + 566. Let z(w) = -w**3 + 12*w**2 - 12*w + 1. Let r be z(11). Is r less than or equal to b?
False
Let l be 1 + 42006/651 + 0. Let w = l + -458/7. Which is smaller: 0 or w?
0
Suppose -5*c = 3*u - 47, -1 = c - 2*u - 0. Suppose -c*o - 2*o + 9 = 0. Which is greater: 9/7 or o?
9/7
Let q = 267315/49 - 5455. Is -1 smaller than q?
True
Suppose -3*b + 5 = -2*k + 66, -97 = -3*k - b. Let w = 45 - k. Which is bigger: 14 or w?
14
Suppose -229 = -6*j - 61. Let x be 15/(-4)*j/(-770). Is x equal to 1?
False
Let b(u) = 52 - 77*u - 9 + 9 + 81*u. Let i be b(-13). Which is greater: 4/39 or i?
4/39
Suppose -15*y = -4*v - 10*y - 212, 2*v + 3*y = -106. Is v bigger than -4?
False
Let m be 1/(-2) - (5 - 1638/276). Which is greater: -1 or m?
m
Let p = 34 + -101/3. Let c = -57 + 75. Let z = -18 + c. Is p >= z?
True
Suppose -2*y + 5*h = -41, 4*y - 5*h - 3 - 54 = 0. Suppose 6*n = 7*n - 5. Let k be n + 6/(-8)*8/(-3). Which is bigger: y or k?
y
Let n(l) = l + 6. Let i be n(-5). Let f be (-3 + 3)/(i*2). Which is smaller: 0.6 or f?
f
Let o(s) = -s**3 + 17*s**2 + 18*s + 2. Let b be o(18). Let g(h) = -8*h - 1. Let a be g(b). Which is smaller: a or -15?
a
Let g be (-228)/14 - 12/(-42). Let d be (-2)/g*-2*9. Which is smaller: -1 or d?
d
Let x = -0.021 + 0.046. Is 2 not equal to x?
True
Let v = 22 - 27. Let m be ((-6)/(-15))/(v/(-50)). Which is smaller: 14/5 or m?
14/5
Let m = 35769258/1285 + -27836. Are m and 0 non-equal?
True
Suppose 23*d = 47*d + 13752. Is -574 less than or equal to d?
True
Let i = -1996 - -2007. Are i and 1/30 nonequal?
True
Let m(k) = -k**3 + 36*k**2 + 39*k - 104. Let l be m(37). Which is greater: l or -24?
-24
Suppose 4*h - 3*r = -0*h + 19, -2*h + 12 = -2*r. Let n(w) = w**3 + 4*w**2 + 3*w + 1. Let c be n(-2). Which is greater: h or c?
c
Suppose 0 = -s + 2 + 8. Let g(p) = -3*p + 31. Let y be g(s). Which is smaller: 2/165 or y?
2/165
Let v(y) = -2*y - 6. Let f be v(-3). Suppose 2*j - 10 = -f*j. Suppose -k + 5*q = -12, 3*k + 5*q = -j + 1. Is 4/5 greater than or equal to k?
False
Let c be (-1)/(2*(-1)/6). Suppose 30 = -c*s + 6*s. Let o = 12 - s. Do 3 and o have the same value?
False
Suppose 0*r + 4*r = 3*h, 5*r - 5 = 5*h. Let t be h/(-11)*(-14)/(-168). Which is smaller: 1 or t?
t
Let b(y) = -17*y**3 - 10*y**2 - 19*y + 2. Let m be b(-2). Is m smaller than 136?
False
Let c = 2098 + -2092. Do -98 and c have the same value?
False
Let o = 0.08 + -0.28. Is o <= 1?
True
Let o be 24/(-16) + (-3)/((-6)/4). Let l(k) = -k**3 - 2*k**2 + 1. Let b be l(-2). Suppose i - 3 = -b. Are o and i equal?
False
Let w = -2 + -2. Let u(g) be the second derivative of -g**5/20 + 3*g**4/4 + 3*g**3/2 + 4*g**2 - 8*g. Let x be u(10). Which is smaller: x or w?
w
Let i be 3/(-20)*2 - (-11271)/1170. Which is greater: 60 or i?
60
Let t be (0 + 2)/((-10)/(-220)*-1). Which is smaller: t or 0?
t
Let c = 555 + -545. Which is bigger: 122/13 or c?
c
Suppose -3*o - 5*m + 22 - 92 = 0, 128 = -5*o + 3*m. Which is smaller: o or -22?
o
Suppose 8*x - 12 = 4*w + 3*x, -3*w + 26 = 5*x. Suppose 0 = -0*s + w*s - 6. Let b be 3/((-32)/12 + s). Is b at most as big as 7?
False
Suppose 5*h + 3*z - 44 = 5*z, 28 = 4*h - 4*z. Let t be 6/(-9)*(-6)/7. Which is smaller: t or h?
t
Let x(p) = -12 + 3 + p + 5 - 2*p. Let o be x(-6). Suppose -o*s - 10 + 12 = 0. Which is smaller: -2/37 or s?
-2/37
Suppose -2*i = 3*q - 3, -5*q = -0*q - 3*i - 24. Is q less than 15?
True
Let d = 485 - 484. Suppose -5*j + 48 = 4*n, 6*j - 72 = j + 4*n. Let o be 332/j - (-1)/3. Is o less than d?
False
Suppose 11*m + 6 = 13*m. Suppose -3*k - 42 = -5*b + 13, m*b = -2*k - 24. Is -15 != k?
False
Suppose 1 = -9*m + 37. Let x = 277 + -1097/4. Is x less than or equal to m?
True
Let g(d) = d + 18. Let i = -41 - -24. Let m be g(i). Let b be m/5 + (-27)/(-15). Is -1/4 at most as big as b?
True
Let z = -11 + 20. Suppose -3 = k + a - 0, -3*k + 2*a = z. Let v = -178/51 + -3/17. Which is smaller: v or k?
v
Let m be -4 - 10788/2694 - -8. Which is greater: -0.2 or m?
m
Let f be -2 - (-3 - (2 - (1 + 3))). Which is smaller: f or -2/1119?
f
Let m(u) be the second derivative of u**4/12 + u**3 - 11*u**2/2 + 9*u. Let n be m(-8). Suppose -n*b - 21 = 2*f, b - f - f = 3. Which is greater: b or -6?
b
Suppose 30*q + 568 = 38*q. Which is smaller: 2/21 or q?
2/21
Let n be (7 - 16)*2/(-6). Suppose -2*l + 6 = -0*l, -6 = n*u - 3*l. Does u = 5/14?
False
Suppose 24 = -8*v + 3*v - 2*h, -2*v = h + 10. Let t be (25/(-5) - v)/(1 + 0). Are -24/17 and t equal?
False
Let b = 1/20 + -23/300. Which is smaller: b or 1?
b
Let r = -12.4 - -12.407. Let m = r - 0.107. Are 8 and m equal?
False
Suppose -3*s + 4*c = 2*c - 23, -4*s = 5*c - 23. Suppose -2 = -5*a - s. Which is greater: 4/13 or a?
4/13
Let k = 41 + -38. Let d be 99/45 + (-4)/(-30)*k. Let f = 0 + 3. Is d less than f?
True
Let u(w) = -w**3 - 11*w**2 - 5*w - 8. Let n be u(-7). Does n = -169?
True
Suppose -2*v - y + 6 = -6, -v + 4*y = -6. Suppose -o - 110 = -v*o. Suppose 4*x = -o + 10. Is x < -5/3?
True
Let m = -25 + 30. Suppose -m*y = b - 5*b - 42, -33 = -4*y + 3*b. Let z be y + -2 - 4*1. Is 4 < z?
False
Let x = -0.12534 - -63.21534. Let k = x + -63. Which is smaller: -1 or k?
-1
Let s = -2 - -32. Let l = s + -29. Let x be 3/(-10) + (-3)/(-6). Which is greater: l or x?
l
Let o = -1301 - -1300.968. Is o equal to -1?
False
Let l be -13 - (-4 - -5)/(3/(-6)). Which is bigger: l or -13?
l
Let h(z) = -65*z - 545. Let 