*b(i) + 6*q(i). Let f be l(-5). Which is greater: -1 or f?
-1
Let t be 6/10 + (-118)/5. Let u = -23 - t. Are u and 2/5 non-equal?
True
Suppose 168 = 2*n + n. Suppose -u + n = 3*g, 0 = -g - 4*u + 2 + 2. Let x be 0/(-1) + g/(-70). Is x < -0.2?
True
Let h(w) = -w + 2. Let r be h(0). Suppose 6*j = r*j + 12. Let k be (-10)/(-1) - 112/(-1 - -17). Is j > k?
False
Suppose 5*o - 1431 = 2*d, -17*o = -5*d - 18*o - 3537. Which is smaller: d or -710?
-710
Suppose -964 = -v - s, 4*v - 3*s - 2979 - 891 = 0. Is 968 < v?
False
Let f = -4.1 + 9.1. Is f <= 59?
True
Let f(d) = -17*d + 8. Let q be f(2). Let w(g) = g**3 + 26*g**2 + g + 26. Let s be w(q). Which is smaller: s or -8/7?
-8/7
Let r = 21 - 18. Let z(f) = -f + 5. Let d be z(r). Which is smaller: -10 or d?
-10
Let c = -15.25 + 16.25. Are -0.0317 and c unequal?
True
Let v = 421 + -760. Which is bigger: v or -338?
-338
Suppose 67 = 5*i + 5*k - 4*k, -4*i - 4*k + 44 = 0. Let x(q) = q**3 + 5*q**2 - 4. Let l be x(-4). Which is greater: i or l?
i
Let y = 36063/32 + -1127. Let g = -2 + 1. Which is bigger: g or y?
y
Let n = 0.0155 - -88.6845. Let v = 88 - n. Which is smaller: -11 or v?
-11
Suppose t + 12 = 14. Suppose -b + 5 = 1, 17 = 3*p + t*b. Suppose -5 = 5*a + 5*d, p*a - d + 7 = 2*a. Are a and 0 non-equal?
True
Let v = 342.7 - -29.3. Which is bigger: 1 or v?
v
Let a = -0.33 - -167.33. Does 0.1 = a?
False
Let l = 40 - 28. Let w be l*((-46)/(-18) - 3). Suppose 3*o + 18 = -2*s, 5*o + 2 + 38 = -5*s. Which is bigger: w or s?
w
Let m = 50 + -47. Let j = m + -2. Which is bigger: j or 18?
18
Let h be (8/(-8) - 0) + (-7441)/13. Let p = 572 + h. Which is smaller: p or 0?
p
Suppose -204 = -11*a - 215. Are a and -25 nonequal?
True
Let v(t) = -2*t**3 - 13*t**2 + 5*t - 13. Let h be v(-7). Let g be (h + 0)*5/(-5). Suppose -2*s = -4*c + 10, -2*s = 3*c - 2*c + 10. Which is smaller: c or g?
g
Let o = -10 + 8. Let m = -12 - o. Is 0 at least as big as m?
True
Let n be -14*(-4)/(12 - 4). Suppose 8*h - n*h = 0. Let v = 10 - 1. Is h < v?
True
Let r = -1/258 - 2557/5934. Let u be 339/(-18)*(-4)/(-138). Let t = u - r. Which is greater: 1 or t?
1
Let q(y) = -8 + 3*y - y + 2*y - 8*y. Let x be q(-3). Does 6 = x?
False
Suppose 4*r = 1 - 9. Let j(n) = n - 12. Let g(c) = 1. Let s(q) = r*j(q) - 18*g(q). Let a be s(4). Is a equal to -2?
True
Suppose 0 = -6*q + 51 - 129. Is q less than -12?
True
Let h = -0.051 - 8.949. Which is smaller: 3 or h?
h
Let c = -202/3 - -3205/48. Is 4 < c?
False
Let d be (4*-1)/(-4)*19. Let f = -18 + d. Let v = -4 + f. Is v greater than or equal to -1?
False
Let j = 3 - 2. Let p = -50 - -62.8. Let d = p - 11.8. Is d >= j?
True
Let z = -1 - 0. Let a = -13 + 19. Let b = -7 + a. Are b and z non-equal?
False
Suppose 18*c = 11*c + 1883. Is 1/3 smaller than c?
True
Suppose -5*v - 18 = -m - 23, 0 = -3*m. Let f = 5 - 2. Suppose -13 = -2*n - f*b, -n + 2*b - 1 = b. Is v > n?
False
Suppose 2*m = -3*m + 25. Let p be 3 - (2 - 3 - 0). Is m != p?
True
Let j = -86 - -86.95. Let n = j + -0.85. Which is smaller: n or 64?
n
Suppose -388*w + 382*w - 6 = 0. Which is greater: 1/228 or w?
1/228
Let h = 346.01 + -346. Which is greater: 3/26 or h?
3/26
Let x = 86 - 111. Let c = 3 + 21. Let m = x + c. Is 1 less than m?
False
Suppose c = 4*x - 8 - 19, 5*x = -2*c + 24. Suppose -x*f = -2*f. Which is bigger: f or 1?
1
Suppose -5*q = 4*d + 53, -3*d - 14 = 4*q + 27. Let s = -1051 + 8345/8. Does d = s?
False
Let j(m) = -m**3 + 8*m**2 - 5*m + 1. Let p be j(7). Suppose 4*h + 1 - p = -5*f, 0 = -5*f + 2*h + 38. Which is bigger: f or -0.1?
f
Let n = 649 - 648.9. Let m be ((-3)/2 - -1)*5. Which is smaller: n or m?
m
Let b = -2.38 + 11.78. Which is smaller: -1 or b?
-1
Let z = -4580 - -4584. Let p = -7 - -14. Is z at least p?
False
Suppose 4*k - 4*y = 96, 0*y = -4*k - y + 106. Suppose k = 4*b + 2. Let n be -2 + (-24)/((-6)/2). Is n less than b?
False
Let z(u) = 17899*u**2 + u. Let x be z(1). Let h = 107077/6 - x. Let b = h + 54. Which is greater: b or 1?
1
Let l(v) = -v**3 - 13*v**2 - 13*v - 23. Let t(k) = k**3 - 7*k**2 - 3*k + 9. Let b be t(7). Let p be l(b). Let a = -25 - -15. Is a at most p?
False
Let p(l) = -l + 16. Suppose -4 = -13*h + 12*h. Let z be p(h). Which is bigger: 11 or z?
z
Suppose 2*i - 2 = 8. Suppose 8*g = 3 + i. Suppose 0 = 2*s - 3 + 11, 4*u = -4*s - 12. Is u < g?
False
Let d be 3/4*-14*(-40)/(-60). Let p(k) = -k**3 - 7*k**2 - k - 4. Let v be p(-7). Let g = -1 - v. Which is greater: d or g?
g
Let x = -5541.129 + 5564.1. Let b = x + 0.029. Let j = 23 - b. Which is smaller: -0.18 or j?
-0.18
Suppose -4*c - 40 = 5*z, -4*z + 13*c - 41 = 18*c. Are -10 and z nonequal?
True
Let r = 13/2 - 35/6. Is r smaller than -183?
False
Suppose 5*y - 238 = 237. Let g = y - 38. Which is greater: g or 58?
58
Suppose -g = 5, -3*g - 27 = -3*d - 0. Let w be (-5 - 13/(676/(-256)))/1. Are w and d equal?
False
Suppose -599 = -q + 416. Let j = -47703/47 + q. Which is bigger: j or 1?
1
Let b be (-4 - 13/(-3)) + 0. Is 51 less than b?
False
Let i(s) = 12*s - 29. Let k be i(4). Which is greater: 9 or k?
k
Suppose -3410 = 5*w - 16*w. Are w and 309 equal?
False
Let c = -33 + 127/4. Let o(y) = -y**3 + y**2 + 6*y. Let t be -1*(-2 + 5)*-1. Let i be o(t). Is c > i?
False
Suppose 17*r - 3 = 20*r. Which is smaller: r or -5/184?
r
Suppose 0 = -0*f - f - 5*j + 10, -4*j = f - 9. Suppose -20 - 22 = -7*y. Is y less than f?
False
Let j = 1479 - 1262. Which is smaller: 215 or j?
215
Let n = 337229/2111418 - -1/5722. Let x = -2/41 + n. Is 1 greater than x?
True
Let h(v) = -v**2 + 78*v - 32. Let a be h(11). Is 705 equal to a?
True
Let p be (-25 + 26)/((-34)/4). Which is smaller: p or 0.2?
p
Let y(v) be the second derivative of -v**4/12 + 7*v**3/6 + v**2 + 58*v. Let z be 204/28 + (-4)/14. Let f be y(z). Is f greater than 9?
False
Let a = -0.023 - 0.057. Which is smaller: a or -1/4?
-1/4
Let y(t) = -4*t - 97. Let g be y(-25). Suppose 0 = -5*x - 1 - 4. Let o be x*g - (0 - 2). Which is bigger: o or 2/7?
2/7
Let s = 29.44 + -29. Let n = -0.088 - -0.148. Let x = n + s. Which is smaller: x or -2?
-2
Suppose 0*h - h + 5*l = -6, -2*h - 24 = -l. Suppose i - 7 = -2*a - 19, 0 = 4*i + 3*a + 58. Which is greater: h or i?
h
Suppose 54 = -2*l - 0. Let j = -141 + 115. Are l and j nonequal?
True
Let q(n) = 4*n**3 - 9*n**2 + 13*n + 7. Let p(a) = 11*a**3 - 28*a**2 + 38*a + 20. Let j(v) = 3*p(v) - 8*q(v). Let g be j(11). Which is bigger: -5 or g?
-5
Suppose -3 + 2 = -q. Is q equal to 3/134?
False
Let j = 24 - 21. Let o(q) = -q + 12. Let k be o(8). Suppose 2*g + 11 = k*c - 17, -3*c - 3*g = -3. Which is bigger: j or c?
c
Let u(s) = -36*s - 12. Let d be u(2). Let o = 98 + d. Are o and 13 unequal?
True
Let l be (-3)/4*2*2. Let n be ((-2)/(-1 - l))/1. Let a be 11/3*6*(-33)/330. Is n < a?
False
Let q = 0.83 + -5.73. Let w = 6 + q. Let g = w - -0.9. Is -5 at most as big as g?
True
Let x(p) = -3*p**3 + 2*p - 2. Let y be x(4). Let j be (-16)/(-24)*y/(-4). Suppose -5*q - 4*s - j = 0, -4*s = -2*q - s - 17. Which is smaller: q or -6?
q
Let m(h) = h**2 - 6*h - 5. Let k be m(8). Suppose 6*d = k*d + 25. Let n be 1 - d/(15/(-9)). Which is greater: n or -7/4?
-7/4
Suppose 3*l = -5*h + 726, 3*l + 744 = -2*h + 7*h. Let w = h - 445/3. Which is greater: -1/5 or w?
-1/5
Let r = 3 - 1. Suppose 2 = -r*h - 0. Let l = -3117 + 3117. Is h greater than l?
False
Let p be 79/2 + (-39)/26. Let d = 39 - p. Let b be -10 + 5 + 2/d. Is b equal to -3?
True
Let x be -2 - (-4 - 230/35). Which is smaller: 9 or x?
x
Let p = 94/7 + -1236/91. Suppose -h - 3 = -4. Suppose -4*a + 3*r - 2*r + 2 = 0, 0 = 3*a - 2*r + h. Which is greater: a or p?
a
Let g = 750 - 780. Is g bigger than -204/7?
False
Let o = -31 + 29. Let k = o + 2.8. Which is greater: k or 5?
5
Let c be (21/(-6))/((-4)/(-40)). Is c greater than -35?
False
Let w = 496 - 497. Which is smaller: w or -2/685?
w
Let j be (-21)/(-35) + (1 - (-106)/(-65)). Do j and 1 have the same value?
False
Let j(h) = h**3 + 19*h**2 - 20*h - 1. Let p be j(-20). Do 1/1745 and p have the same value?
False
Let k be 7 + -2 - (-6)/(-3). Let r be k*1/(0 + 3). Suppose 2*a - 4*a = 8. Is r != a?
True
Let p = 98 - 60. Which is smaller: 1 or p?
1
Let v = -0.33 + 0.23. Let d = -2 + 22. Is v smaller than d?
True
Suppose -4*x = -0*d - d + 69, 3*x + 5*d + 69 = 0. Suppose -l - 2*j + 100 - 125 = 0, 0 = -j - 4. Which is bigger