(-670)/(-25). Is s >= q?
True
Let c(w) = 3*w**2 - 19*w - 15. Let k be c(7). Is -1/231 less than or equal to k?
False
Let s be (7/274)/(-7)*4. Is s bigger than 1?
False
Let g = 3.2 - 3. Let j(i) = -i**2 + 12*i + 10. Let s be j(12). Let f be (-36)/(-27)*(-3)/s. Which is smaller: g or f?
f
Let v be 2/(-4) - (-26)/12. Let p be (1*-30)/((42/6)/(-7)). Let s be 75/p*4/10. Which is greater: v or s?
v
Let k be (-2)/7 + (-24)/(-182). Let t = 41.7 - 42. Which is bigger: t or k?
k
Let x be (-6 - 2) + (5 - (-1 - -2)). Let z(o) = o**3 + 4*o**2 + o - 4. Let f be z(-3). Let b be (2 + 0)/f + -7. Which is greater: b or x?
x
Suppose -13*r = -11*r - 10. Suppose -r*q = 12 + 13. Which is bigger: q or 4?
4
Let l = -8 - -39. Let a = l + -30.76. Let d = -0.06 - a. Which is smaller: -3 or d?
-3
Let w(i) = 5*i**2 + 3*i + 2. Let s be w(-1). Let n be 2 - s/8 - 63/6. Which is smaller: -11 or n?
-11
Let j = -1628 + 1505. Which is smaller: j or -489/4?
j
Let i = 23 - 3. Suppose -2*g = z - i - 10, -3*g + 3*z + 54 = 0. Is 17 at least g?
True
Let y be 0/(4 + -2 - 4). Suppose a + y*g + g = 7, -2*g + 22 = 4*a. Let o be (-6)/a*(-3)/(-9). Is 0 at least as big as o?
True
Let m be ((-20)/(-6))/(10/5115). Let f be -3 + 4/226*m/10. Which is greater: -1 or f?
f
Let c(d) = 11*d - 18*d**2 - 12 + 12*d**2 + 5*d**2. Let v be c(9). Suppose -4*g + 19 = -9. Is g greater than v?
True
Let l be ((-1)/12)/(-4*(-5)/40). Is l >= -57?
True
Let p = 7168/15587 + 2/1199. Let s(v) = -v**3 - 10*v**2 - 2*v - 20. Suppose -25 = 5*j - 5*k, 0 = -3*k - 3 - 12. Let c be s(j). Are c and p nonequal?
True
Let i be (12/15)/((-4)/(-10)). Suppose 13 = 5*u - i*z, -3*u = -6*u - 3*z + 12. Suppose -10 = -27*b + 22*b. Which is greater: b or u?
u
Let i(y) be the second derivative of -y**5/20 - y**4/2 + 5*y**3/3 + 10*y**2 + y. Let h be i(-7). Do -1.7 and h have the same value?
False
Suppose 2*a + a = -2*a. Which is smaller: a or 1/323?
a
Let v = -5 + 5. Suppose -3*u = 3*c - 51, v = 3*c - 3*u - 28 + 7. Suppose l + 0*l - c = 0. Is l bigger than 11?
True
Let k be 35/(-11) + (-4)/(-22). Let m = k + 8. Suppose q - 34 = m*h, 4*q = 4*h + 5 + 35. Is -3 <= h?
False
Let b = 30.18 + -30. Let x = b - -0.42. Let d = 0.7 - x. Is d smaller than 3?
True
Let p = -1396 + 1018. Are p and -380 equal?
False
Let i be -6*-3*(-4)/(-24). Let c be (3 - i)*1/(-1). Suppose 5*z + 63 + 82 = c. Is z > -29?
False
Let x be ((-333)/370)/(6/4). Which is bigger: 11.1 or x?
11.1
Let o(t) = t**2 + 4*t - 3. Let q be o(-3). Let y = q + -5. Let r be (2/(-5))/(27/270) + -8. Which is bigger: y or r?
y
Let a(l) = l**2 + 14*l + 33. Suppose -8*p = -2*p + 72. Let h be a(p). Which is bigger: h or 11?
11
Let n = 13 - -15. Let b = n - 29. Which is bigger: 2/27 or b?
2/27
Suppose 3*z + 2*z - 140 = 0. Let h be 210/z*(-16)/(-10). Is 8 smaller than h?
True
Let u(m) = -m**3 + 4*m**2 - 2*m - 2. Suppose 0 = 4*y - 26 + 14. Let g be u(y). Let p = -79/4 + 403/20. Do g and p have the same value?
False
Suppose a - c + 10 = -2*a, 14 = -5*a + 3*c. Which is bigger: a or -30?
a
Let y be ((-2)/4)/(2/20). Let l = y + 8. Suppose l*u + 0*u = -3. Is u equal to 2/25?
False
Suppose 232*u = 249*u - 17. Which is smaller: u or -1/1207?
-1/1207
Suppose 5*h - d - 6 = 2*d, -4*d - 8 = 2*h. Suppose 0*j + 18 = 2*j. Suppose 2*m + m + j = h. Which is bigger: m or 0?
0
Let i(z) = 14*z + 5. Let v be i(1). Is -2/5 >= v?
False
Let p be (-1 - (-2 + 1)) + 52/78. Are -19 and p unequal?
True
Let s = 6026/65 + -463/5. Is s > 0?
True
Let n = -590 - -589.597. Let b = -0.283 - n. Let w(k) = k**2 + 4*k - 7. Let h be w(-5). Which is smaller: h or b?
h
Let f = 0.619 + 5.381. Which is smaller: f or -93?
-93
Let r be (-11)/((-55)/50) - 4. Which is bigger: -23 or r?
r
Let p = -37 + 46. Let c = 161.7 + -153. Let w = p - c. Which is greater: w or 2?
2
Let y = 1.96 + -156.96. Is y less than or equal to 1?
True
Let x = -23.2 - -22.2. Let b = -12646/5265 + 2/1053. Which is bigger: b or x?
x
Let o be -5 + 2 + 39/52*128/12. Let a be (0 - -2) + 1 + -4. Let n be (2/(-2) + a)/(-2). Which is smaller: n or o?
n
Suppose 3*h + 2*h + 1235 = -5*w, -3*h = 5*w + 735. Is -1/3 bigger than h?
True
Let s(a) = 11*a**2. Suppose -3 = -33*b + 36*b. Let m be s(b). Do m and 34/3 have different values?
True
Suppose 0 = -5*d - 4*i + 123, 3*d - 78 = -5*i - 12. Suppose q = -m - 4*m + 10, 0 = 2*q + 4*m - 38. Are q and d unequal?
True
Let d be (-24)/(-9)*(-3)/(-2). Let b be (-40)/(-22) + (-8)/(-44) + -2. Let x be (1 + b)/(d/20). Which is smaller: 4 or x?
4
Suppose -5*f - 2*u = -188, 6 = 3*u - 6. Suppose x = -2*n - f, 3*n - 76 = 8*n - x. Which is smaller: n or -17?
-17
Suppose 0*v = 2*v. Let u(k) = -k**2 - k + 3. Let z be u(v). Let j be -3 + z/(171/165). Is j not equal to -1?
True
Let g = -0.56 + 0.24. Let b = 0.06 - g. Let v = -0.28 + b. Which is smaller: -11 or v?
-11
Let o = -529/10 - -53. Let r(z) = -5*z**2 - 3*z + 2. Let b(u) = -14*u**2 - 8*u + 6. Let f(q) = 6*b(q) - 17*r(q). Let m be f(-2). Are o and m equal?
False
Let b(r) = 7*r**3 - 2*r**2 + 5*r - 4. Let y be b(1). Suppose 0 = y*f + 5*f + 198. Is -19 smaller than f?
True
Suppose 0 = 4*f - 1 - 19. Suppose 3*t + f*l + 31 = -t, 4*t + l = -35. Let x = 17/2 + t. Does -0.1 = x?
False
Let j = -268 - -497. Is 229 smaller than j?
False
Let k = -1.02 - -0.02. Suppose 149*q - 174*q - 975 = 0. Is k > q?
True
Suppose 3*z - 4*x - 105 = 0, -2*z + 3*x + 37 = -33. Is 35 bigger than z?
False
Let o = -253/24 - -168197/15960. Which is greater: o or 0?
0
Let w = -0.289 - 0.111. Which is smaller: -2 or w?
-2
Let i = 195896/1001 - 1370/7. Let m = 151/572 + i. Suppose 13 = l - 0*l. Is l at least m?
True
Let m = 472 + -479. Let w = 3 + -5. Let k = w - -3. Is k > m?
True
Let a be (184/(-15))/(-4)*207/(-46). Is -14 < a?
True
Let t(n) = 60*n**3 + n - 1. Let h be t(1). Let b = h - 65. Which is greater: b or -2?
-2
Suppose -5*v = -5*f - 60, 36 = 3*v - 3*f + 2*f. Are 26 and v equal?
False
Let r be (3 + 0)*2156/198. Let l = r - 65/2. Is l at least -1?
True
Let b = -41.04 - -0.04. Let g = -41 - b. Is g <= 10?
True
Suppose u = 2*a - 5*a, -3*u = 0. Suppose 5*k - p - 8 = -a, -17 = -2*k + 5*p. Let f = 1.57 + -0.57. Is k > f?
False
Let y = 1821 - 1823. Which is greater: -60/7 or y?
y
Let x be (-4)/(-22) + (-2973)/924 + 3. Suppose 2*i + 18 = 4*n, 0 = -2*n - 2*n - 3*i + 13. Let g = n - 5. Which is smaller: x or g?
g
Suppose 0 = -3*a - 4*y - 12, 4*y + 0*y = 4*a - 12. Which is smaller: a or 15/11?
a
Let w = 25 - 11. Let t be 14/(-42)*6/w. Which is bigger: t or -1?
t
Let j(i) = 2*i**2 - 11*i + 2. Let r(w) = w. Let m(z) = j(z) + 5*r(z). Let q be m(4). Let b = 44 - 34. Is q greater than b?
False
Let o(v) = -66*v**3 + 4*v**2 - v + 2. Let w be o(3). Let f = w - -19235/11. Which is smaller: 2 or f?
f
Let i = 2/3009 + -684/23069. Is i != -1/3?
True
Let l be 5 + -5 + 2/(-2). Let x be (33 + -34)*(1 + l). Which is smaller: x or 6/13?
x
Let c = -20 + 31. Suppose 35 = 3*z + 2. Is c < z?
False
Let l = -657/52 + 49/26. Let u = l - -309/28. Is u != 0?
True
Let f(t) be the first derivative of t**5/60 - 5*t**4/24 - t**3 + t**2 + 1. Let b(c) be the second derivative of f(c). Let v be b(6). Is -1/8 less than v?
True
Let f be ((-1)/(-5))/((-70)/(-25) - 3). Which is bigger: -1/7 or f?
-1/7
Suppose -2*d + 2 = -2*z, -4*d + 1 - 3 = -z. Let w be (-2)/4*d*96. Suppose 2*o - 5*o - w = 0. Which is smaller: -15 or o?
o
Let n(z) = z + 13. Let s be n(5). Let f be (-81)/s*(-2)/3. Which is smaller: 7 or f?
f
Let f = -5/11 + 29/88. Which is smaller: f or 11?
f
Let r(s) = s. Let g be r(-1). Let b(l) = -2*l**2 + 20*l + 1. Let x be b(10). Which is greater: x or g?
x
Let s = -2 + 3. Let o be -4*1/(-2)*(15 + -13). Suppose -3*z - d = -o*z + 3, 4*z + 4*d = -20. Which is bigger: s or z?
s
Let u be (83 - 99)*1/(-16). Is u less than -22/95?
False
Let f(w) = w + 4. Let a be f(-3). Suppose c + 5 = -2*s + 4, 5*c - a = -4*s. Is 1/15 at least s?
True
Let n = -0.05 - -4.05. Let z = 5.7 + -0.7. Is n bigger than z?
False
Let h = 13 - 11. Let w = 1 + h. Let n = 0.2 + -0.1. Is w greater than or equal to n?
True
Let r = -1/481 + 965/1443. Which is bigger: -0.125 or r?
r
Suppose -7*q - 3850 = -4*q + p, q - 2*p = -1281. Are q and -1284 non-equal?
True
Let s = -11 - -39. Let q = -8 + s. Which is smaller: q or -0.1?
-0.1
Let q = -105 - -102. Let v be -12*(q + 52/17). Which is smaller: -1 or v?
-1
