r**3 - 7*r**2 + 6*r - 1. Let c be n(-8). Suppose -3*h = -8*h + c. Suppose -y = y - x - h, 3*y + 4*x + 12 = 0. Which is smaller: -2/83 or y?
-2/83
Suppose -u = 4 - 6. Suppose 3*x + 12 = -3*j - 0*x, 4*x = -u*j - 18. Let k = -65/352 + -1/352. Is j smaller than k?
False
Let m be -2*(-3)/12 + 244/(-8). Let k be ((-34)/22 - -1) + (m - -30). Let p = 7 + -5. Which is smaller: k or p?
k
Let q be (-4)/(-1) - 4 - -4 - 7578. Let d = 2567584/339 + q. Is d less than -1?
False
Let r = 92 - 641/7. Is -1/79 less than r?
True
Let j = -601/3822 + 1/294. Let o(m) = 2*m**2 - 4*m - 1. Let y be o(3). Suppose -4*q = -y*q. Which is greater: j or q?
q
Suppose 5*c + 5*s + 35 = 0, -c + 5 - 32 = 5*s. Let i = 98.54 - 3.94. Let d = 95 - i. Is d <= c?
False
Let o = -42 + -1448. Which is bigger: o or -1491?
o
Let j = -18 - -92/5. Let g = 506 - 502. Is j less than or equal to g?
True
Suppose -i = 2*y - 2*i + 13, -2*y + 5*i - 1 = 0. Let a be 5/(-200) - y/20. Is 0.3 greater than a?
False
Let u(d) = d**2 + 4*d + 4. Let a be u(-4). Let k = a + -2. Suppose 4*y - 4*r + 11 = 7*y, k*y = 4*r - 6. Are y and 2/21 equal?
False
Suppose 5*y = 150 - 65. Suppose 2*j - 48 = -2*j. Suppose j*p = y*p. Which is smaller: 0.2 or p?
p
Let z(i) = i**2 + 4*i - 18. Let x be z(4). Let t be (x + -11)*4/(-6). Is t equal to -1?
False
Let g(x) = -x**3 - 19*x**2 + 18*x - 41. Let w be g(-20). Let n(d) = -3*d + 3. Let z be n(2). Let s be 2 + 1 + 7/z. Is s < w?
False
Suppose 2*z - 853 = -5*h, 0*h + h = 4*z + 175. Which is greater: h or 170?
h
Let f be (-8 - 2) + 16 - 9568/1595. Is f != -1?
True
Let d = 115 - 59. Let s = -720 - -776. Are d and s equal?
True
Let a = 45 - -11. Is 56 greater than a?
False
Let k(d) = 4*d - 24. Let n be k(7). Let u be 0*-1*(-2)/n. Suppose 0 = -5*a - u*a. Is a > -6/17?
True
Let u = -575 - -623. Which is greater: u or 50?
50
Let n(j) = j**3 - 146*j + 297*j - 152*j - 5*j**2 + 4. Let i be n(5). Let k = -0.1 - -0.1. Which is greater: i or k?
k
Let n = 6443 + -212653/33. Let v = -15/11 - n. Which is smaller: v or -7?
-7
Let l(c) = -14*c + 25. Let k be l(1). Are -21 and k non-equal?
True
Let j(t) = -31*t + 1. Let s be j(-2). Let u be (-9)/(-12)*28/s. Let o = 0 + -0.2. Is o bigger than u?
False
Let v = 0.057 + 9.143. Let z = -0.8 - v. Let a = 9.9 + z. Which is greater: a or 0?
0
Let i be ((-8)/(-10))/(88/(-3740)). Which is bigger: i or -40?
i
Let u(f) be the second derivative of -f**3/6 - 2*f**2 + 5*f. Let a be u(-8). Let d(t) = 2*t - 6. Let y be d(a). Is y greater than or equal to 3?
False
Let t = 2696/3 - 897. Which is bigger: -15 or t?
t
Let b be 6/8 - (-2)/(288/(-16372)). Let m = b - -113. Suppose 2*y + 22 = 2*q + 3*q, 0 = -3*y - 4*q + 13. Are y and m unequal?
True
Let j = -24 + 27. Suppose 48 = j*f + f. Which is bigger: 11 or f?
f
Let l be (5 + 174/(-30))*10/(-82). Let j = -389/205 + l. Suppose 3*k = k. Which is smaller: k or j?
j
Let s = 420 - 6311/15. Let c = s + 4/3. Is 6 != c?
True
Suppose 0 = 10*d - 690 - 570. Which is bigger: d or 127?
127
Let i(p) = 12*p + 9. Let d(b) = 1. Let o(h) = d(h) - i(h). Let a be o(-5). Suppose a = -2*w + 6*w. Is w at most as big as 13?
True
Let z = 129 + -61. Let l(s) = 329*s + 17834. Let g be l(-54). Is g at least z?
True
Suppose 0 = -2*x + 6 - 2. Suppose 5*j = x*j. Is 2/9 bigger than j?
True
Suppose -2*t + 8 = -0*t. Suppose s + t*s = 15. Let p be (-44)/(-4) + -4 + -3. Does s = p?
False
Let c be 79832/60 + (-12)/(-18). Let v = 1324 - c. Which is greater: v or -6?
-6
Suppose 10*w = 8*w + 156. Let a = w + -268/3. Which is greater: -12 or a?
a
Let q be 32/(-6) - 120/(-20). Which is bigger: -7/5 or q?
q
Let p(t) = 4*t**2 - 22*t + 9. Let b be p(5). Which is bigger: b or 4/395?
4/395
Let t(i) = -i**2 - 9*i + 10. Let b be t(-13). Let p = -43 - b. Which is smaller: p or -4?
-4
Let m be (-92)/(-32) + 8/64. Let u be 734/(-310) - (-1 - -1). Let x = 1/31 - u. Which is smaller: x or m?
x
Let g = -240 + 63. Is g equal to -178?
False
Suppose -5*g + 5*j = -2*g - 3, -g = -4*j - 1. Let l = 28977/27319 + -3/1607. Is l equal to g?
False
Let g = 0.1 + 27.9. Let x = 27 - g. Is x at least 1?
False
Let l = 168 - 1172/7. Which is bigger: l or 5?
5
Let y = 0.01 - 3.01. Let m = y + 2.9. Let d = -15 + 15. Is m less than or equal to d?
True
Suppose -150*p = -145*p. Is p less than 2/359?
True
Suppose 0 = 3*x + 3*g + 85 + 218, -4*g = -20. Let a = x - -743/7. Is a greater than or equal to 0?
True
Let o = -634 - -647. Let t = 6 - 4. Which is smaller: t or o?
t
Let c(u) = u + 16. Let p be c(-18). Let m be -6*p/(-40)*-6. Which is greater: 1 or m?
m
Suppose 0 = -7*j - 29 - 69. Which is smaller: -17 or j?
-17
Let l(h) be the first derivative of h**4/4 - 2*h**3 + 4*h**2 - 5*h - 3. Let z be l(5). Let d be (-24)/z - (-20)/50. Which is smaller: -1 or d?
d
Let t be (-16)/(-6)*((-33)/22 - -3). Is 39/8 >= t?
True
Let y = -44 + 46. Suppose y*q - 143 = 5*q + w, -4*w = 4*q + 204. Which is smaller: -47 or q?
-47
Let r(p) = 30*p + 6. Let s be r(-2). Let b be (-2)/(-3 + -1 + s). Is 1 less than b?
False
Suppose 186 = -0*a - 6*a. Which is smaller: a or -10?
a
Let r be 2730/(-1650) - 2/(-10). Which is bigger: -2 or r?
r
Let p = 49 - 11. Let r = 38.937 - -0.063. Let m = r - p. Which is greater: m or -0.1?
m
Let t(g) = -g**3 - 5*g**2 - 9. Let v be t(-7). Is 91 smaller than v?
False
Let o = -0.0736 - -0.0736. Let s = -121 - -83. Which is smaller: s or o?
s
Let v = -71/20 - -14/5. Suppose 4*g + 16 = 0, u - 6*u - g = 44. Let a(b) = -2*b - 18. Let x be a(u). Which is greater: v or x?
v
Let o = -73 + 289/4. Let w be (12/15)/((-14)/35). Is o at most as big as w?
False
Suppose 207 + 129 = 42*t. Which is bigger: t or -15?
t
Let b be 4 - (-12)/5*(-480)/64. Does b = -15?
False
Suppose -5*q + q + 4 = 0. Let d = 4 + q. Suppose 4*k - 61 = d*x, 6*k - 2*k = 4*x + 64. Which is bigger: 18 or k?
k
Let x = -11 + 22. Suppose 9*z = 12*z - 12. Suppose 5*r = z*k + x, -2*k - 10 = 4*r - 2*r. Is k bigger than -6?
True
Let o = -733 + 650. Is -87 > o?
False
Let t(x) = -4*x**2 + 24*x - 6. Let d be t(6). Which is bigger: 2.9 or d?
2.9
Let l(h) = h**3 + 14*h**2 + 8. Let f be l(-14). Let y be 70/196*f/(-30). Which is greater: -1 or y?
y
Let p = 61/34 + 12/17. Let d = -5 - -7. Let a = 5 - d. Which is bigger: p or a?
a
Let s = 12 + -5. Let k be s/35 + (-284)/(-5). Suppose 5*c - 12 = -k. Which is smaller: c or -8?
c
Let q be (2/5 - (-1314)/(-3060))*11. Which is greater: q or 1?
1
Let r(u) = -u + 9. Let v be r(13). Let c be 2/(2/(v/6)). Let h = 0 - -3. Which is bigger: c or h?
h
Let w = 2536/9 - 282. Let t(d) = d + 3. Let q be ((-36)/15 + 2)*5. Let g be t(q). Is g <= w?
False
Let u = -10 + 16. Let b = u + 30. Let c be (b/(-45))/(2/(-5)). Is c equal to 7?
False
Let u be 0 + 15/(-35) + (-48)/(-14). Let o be 3*(7/(14/8) + u). Is o not equal to 22?
True
Let c be 2085/(-7) - (48/42 - 1). Which is smaller: c or -1/6?
c
Suppose 542*l = 531*l - 2684. Which is greater: -243 or l?
-243
Let l be (-2)/(-5) + 68/(-20) - -6. Which is smaller: 5 or l?
l
Let u be 1/(0 + -1) - 5. Suppose -26*m + 28*m = 40. Suppose 6*i - 11*i = m. Which is smaller: u or i?
u
Let y = 7.994 - -0.006. Let z = 5 - y. Do z and -3 have the same value?
True
Suppose 5*m - 4*v - 44 = 0, 5*m + v - 2*v = 56. Suppose 8*t = 4*t - m. Which is smaller: -4 or t?
-4
Let x = -0.69 + 1.69. Is x <= -41/5?
False
Suppose 1703 = -4*t + 11. Let s = -3793/9 - t. Which is bigger: s or 2?
2
Suppose -5*m + 7*h + 224 = 5*h, 3*m - 141 = -h. Let w be (-8)/48 - m/12. Let j be (-2)/w + (8 - 12). Is -5 at least j?
False
Let l = -103 - -184. Let n be (2/3)/((-9)/(l/(-6))). Is 2/7 < n?
True
Let r be 5 - ((-4)/10)/((-5)/25). Let n = 3 - 6. Is r not equal to n?
True
Suppose -3*y - 8 = -y. Let w(m) = -7*m - 14. Let k be w(y). Is k smaller than 13?
False
Let n = -0.3866 - -0.1866. Let y be (-24)/5*(-15)/2. Is y equal to n?
False
Let w(z) = 2*z**2 + 5*z + 5. Let x be w(-2). Suppose -2*a = a + x. Let d = 5 + a. Is d less than or equal to 4?
True
Let s = 17637 + -12963197/735. Which is smaller: -1 or s?
-1
Let u = -450 + 21147/47. Is u bigger than 0?
False
Let r = 1.7 + 0. Let z = 5.3 + r. Let t = z + -6.96. Is t bigger than -0.1?
True
Let j(q) = -7*q**3 + 2*q + 1. Let k be j(-1). Let f be -7*1/(3/(-6)). Let d = -7 + f. Which is smaller: k or d?
k
Suppose -12 = 4*f - 24. Suppose f = -3*s - 0. Let g be (4/115)/((-6