et g(s) = -12*s + 11*s - 2 - 1 - 3. Let r be g(-10). Let f be 2/8 - 34/40. Which is bigger: f or r?
r
Let c be (33/(-15) + 1)/((-1)/10). Let t be 40/(-3)*c/(-5). Which is smaller: 34 or t?
t
Let c = 10 - 8. Suppose -3*f = -d + c, 3*d + 8 = d. Let g be ((-30)/(-27))/5 + 22/(-18). Which is greater: g or f?
g
Let r(l) = -19 + 3*l + l - 4*l + 5*l. Let z be r(5). Which is greater: 5 or z?
z
Let m be ((-4)/12)/((-5)/6). Suppose 138*w = 52*w. Is m at most w?
False
Suppose -20 = 5*g + 2*u, 19 = -g - 4*u - 3. Let n = -2.58 - -2.68. Which is bigger: n or g?
n
Let y be 4/6*18/258. Let d be (-2)/7 + 120/28. Suppose 2*f = v + d, -v = 4*f - 3*f + 4. Which is smaller: f or y?
f
Let r(j) = j + 1. Suppose -g + 3*n - 16 = 0, 0 = -3*g + n - 4 - 4. Let h be r(g). Let y be ((-23)/253)/(2/(-22)). Which is smaller: y or h?
h
Let v be ((-36)/(-30))/(1/5). Suppose -v*b + 60 = -3*b. Suppose 4*s = -s - b. Is -5 >= s?
False
Suppose 30*c = 38*c + 120. Which is greater: c or -19?
c
Let a(n) = 3*n + 59. Let p be a(-18). Let l be (10/p + -1)*39. Which is smaller: 38 or l?
38
Suppose -3*x + 3*c = -6, 4*x + 13 = 2*c - 5*c. Let k(o) = -4*o**2 - 2*o - 2. Let q be k(x). Let s be (q + 0 - -2) + 1. Which is bigger: -2/11 or s?
-2/11
Let z(q) = 70*q**2. Let h be z(-1). Let w(u) = -u**2 - 14*u + 38. Let s be w(-11). Does s = h?
False
Let l = 108.9 + -108.92. Is 5 greater than l?
True
Let i(z) = -2*z**3 - 41*z**2 - 21*z - 52. Let w be i(-20). Is -46 > w?
False
Let j be (1*-12)/(-4) + (10 - 3). Let d = 14 - 10. Let i = -4 + d. Which is greater: i or j?
j
Let l be 1*(11 - (-16188)/(-1464)). Is 0 >= l?
True
Suppose 0 = -5*b - 24 - 16. Let c be ((-1)/(-6))/(b/36). Let f be (9 + 5)/((-4)/(-2)) - 7. Which is smaller: f or c?
c
Let a(i) = -i**2 - 4*i - 1. Let b be a(-3). Let r be 0/1 + -3 + 6. Do b and r have the same value?
False
Let v = 11 + -9. Suppose -2*h = 2 - 0, -18 = v*z + 2*h. Suppose -3*l + 3*g - 6 = 0, 4*l + 4*g = -6 + 22. Is z equal to l?
False
Let s be (7/(-2) + -1)*(-4)/6. Suppose 5*w - 15 = -3*c, -s*w = -0*w. Is c less than 0?
False
Let v be (-1)/(928/3710) - -4. Let h = v + -9291/5104. Are h and -2 unequal?
True
Suppose 4*p - 2*t + 4 = 0, 5*t - t = 2*p + 14. Let s be 2 + (-2 + 0)/(3 + -1). Let n be (-14)/28 - (p - s). Does -1/4 = n?
False
Let n = 5 - 5. Is n != 2/1297?
True
Let c(b) = 2*b**2 - 17*b - 9. Let y be (-1)/3*-2*54/4. Let z be c(y). Which is greater: 2/109 or z?
2/109
Let s = -3803/100 + 38. Is s < 1?
True
Suppose -62 = 4*u + 94. Let y be -3 - (3 - u/(-24)). Let l = y + 1101/248. Which is smaller: l or -1?
-1
Let q(y) = y**2 - 9*y - 37. Let n be q(12). Suppose 2*o = -o + 3. Let b be (12/(-8))/(o/(-12)). Which is smaller: n or b?
n
Let z be 3/4*((-4)/(-3) + -3). Which is smaller: z or 1?
z
Let v(h) = -h**3 - h**2 + 13*h + 4. Let i be v(-4). Is 1/378 != i?
True
Let j(o) = o**2 - 13*o + 22. Let m be j(10). Suppose -4*k + 3 + 5 = 0. Suppose 4*l + y = -37, -k*l - 25 = 2*y - 5. Is l at most m?
True
Let q(p) = -9*p**2 - 5. Let x be q(-3). Is x >= -84?
False
Let r be (-1494)/90 - 13/1. Is -31 greater than or equal to r?
False
Let x(a) = -3*a**2 - 77*a + 51. Let u be x(-27). Is -66 equal to u?
False
Let t = -2/2159 - -21616/28067. Suppose -13*s - 2 = -15. Which is greater: s or t?
s
Let p = 0.1267 + -0.0267. Which is smaller: p or -5/93?
-5/93
Let y = -1.7 - -1.1. Let a = y + 0.8. Is a not equal to 2/11?
True
Let p = -64534/73 + 884. Let r = -0.204 - -0.004. Are p and r unequal?
True
Let x = -535 - -535. Is 3/65 > x?
True
Suppose 25 = -5*m - p, 0*p + 2*p - 10 = 2*m. Suppose -k - 3*n - 8 = 0, 2*k + 20 = 4*k - 3*n. Let h be ((-3)/k)/((-5)/(-40)). Which is bigger: m or h?
m
Let w = 21 + -15. Let s be (8/w)/((-4)/6). Let u(m) = -m**3 - m**2 + m - 2. Let d be u(s). Is d < 2/37?
True
Let w be 1/((-2)/(-7))*(-43)/(-301). Which is greater: -0.073 or w?
w
Let g = -2.51 + 0.01. Let r = 0.5 + g. Let k be 18/(-7) - 62250/(-17430). Which is bigger: k or r?
k
Let q(z) = -z**2 + 9*z - 12. Let d be q(5). Let v(u) = -u**2 + 9*u - 8. Let h be v(d). Which is smaller: -1/9 or h?
-1/9
Suppose -2 = -3*i + x - 105, -3*i - 109 = 2*x. Which is bigger: -27 or i?
-27
Suppose -4*k + 4*v + 34 + 6 = 0, 0 = -5*v. Let q(c) = c**2 - 8*c - 21. Let s be q(k). Which is greater: s or 2/29?
2/29
Let w = -15 - -15. Suppose -14 = 4*p - w*p - 2*y, -5*p - 5*y = 10. Let s = -141/2 - -69. Which is smaller: p or s?
p
Suppose 22*o - 15 = -5*z + 26*o, -14 = 4*z + 2*o. Let t be (3 - 2)*0 + 1. Is z equal to t?
False
Let z = -41 - -32. Let h = 9 + z. Does h = -2?
False
Let v be 9 + ((-2)/4)/(1/4). Suppose -5*m = v + 3. Is m at least as big as 11?
False
Let y be (5 - 6)*-1 + 645/(-33). Which is smaller: -20 or y?
-20
Suppose z = -4*l + 29, 5*z = -l - 9 + 2. Suppose l = -2*t + t. Which is smaller: 2/7 or t?
t
Let f be (33/(-12)*11)/((-1)/4). Which is smaller: 604/5 or f?
604/5
Let f = 1 + 14. Let a = -14.91 + f. Let h = -2.09 + a. Which is smaller: 0.1 or h?
h
Let r = -806 - -872. Is -0.6 smaller than r?
True
Let r be 2/(-12) + (-4820)/(-120). Suppose -6 + r = -g. Which is smaller: g or -67/2?
g
Suppose -11 = -35*q + 34*q. Let o = -31 + q. Which is greater: -19 or o?
-19
Suppose 0 = s + 2*v - 2, 4*v - 19 = -5*s + 3*v. Suppose s*h = 5*h - 2. Which is smaller: h or 12/5?
h
Let m(p) = 20*p**3 - 2*p**2 - 3*p + 15. Let f be m(-3). Are -533 and f non-equal?
True
Let m be 4/(-6) + (-168)/396. Let u be 0*((-9)/6 + 2). Which is smaller: u or m?
m
Let f(r) = r**3 - 6*r**2 + r - 12. Let y be f(6). Let g be (4/12 - 0)*y. Which is smaller: g or -1?
g
Suppose -414 - 1661 = -25*y. Which is smaller: y or 0.1?
0.1
Suppose 0 = 2*y + 4 - 22. Suppose -37 = -i + 4*k, -3*i - k = -i - 47. Suppose 0 = 2*u - 5*j - i, 2*u + 6 = -3*j - y. Which is smaller: 2 or u?
u
Let n = 39 + -39.084. Let d = -0.184 - n. Which is smaller: 15 or d?
d
Suppose 0 = -7*a - 393 - 76. Let k = 74 + a. Suppose 0 = -6*i + i. Is k less than i?
False
Let z be (-306)/89896*2/(-3). Which is bigger: z or 0?
z
Suppose -v = -6*v. Let y be ((-312)/(-45))/(4/(-6)). Let i = y - -166/15. Which is greater: v or i?
i
Let z = -360970/57 + 6333. Is z at least 0?
True
Let h(t) = -22*t**2. Let s be h(-2). Which is smaller: -90 or s?
-90
Let v be (-3 + (-14)/(-4))*(-1800)/130. Are v and -6 non-equal?
True
Let z = -12.9 + 0.9. Let j = -154 - -152. Is j > z?
True
Let y = -0.227 + 0.162. Is y greater than -1?
True
Let v = 11.7 - 2.7. Which is smaller: v or -14?
-14
Let k be 56/8*2/7. Which is greater: k or 31/28?
k
Let u = -2.931 - -0.031. Let z = 3 + u. Is 7/2 smaller than z?
False
Let g(s) = 3*s - 4*s - 6 - s. Let w be g(-4). Let o be (-1 + 3/w)*16. Which is smaller: o or 5?
5
Let f be (-97)/(-6)*(-6)/28. Let h be (-6)/21*13 - 0. Let l = f - h. Which is bigger: -1 or l?
l
Let o = 661 + -161. Is o at most as big as 500?
True
Let r = -40 - -40. Let y = r - 2. Let j be ((-1)/(-3))/((-2)/(-6)). Is y at most as big as j?
True
Let c = 26 - 22. Suppose 12 = c*d, -47 = -2*h + 6*h - 5*d. Is 0 != h?
True
Let c(l) = -l**3 + 2*l**2 + 9*l - 20. Let h be c(6). Is h less than -112?
False
Let v = -175384262/47 + 3731065. Let z = v + 515. Is 0 at most z?
False
Let g = -9 + 17. Suppose n + 3*n - o = -133, 102 = -3*n + 3*o. Let b be 1*(-2)/11 + (-270)/n. Is g >= b?
True
Suppose -6 = 8*m - 6*m, -5*t + 3*m = -2134. Which is bigger: t or 424?
t
Suppose -6*v + v = 4*b - 56, v = 3*b - 61. Are b and 8 non-equal?
True
Let x = -5.11 + 0.11. Let v = -9 - x. Let u be 6/12*((-4)/(-6))/1. Is u equal to v?
False
Let o be 12/90 - (-89)/(-690). Is 1 at least as big as o?
True
Let y be 3/9*(-4 + -8). Let o be (20/(-4) - y) + 1. Is o greater than or equal to -9/8?
True
Let v = -2.7 + 1.1. Let c = v - -0.6. Which is smaller: 28 or c?
c
Let i = -0.8 + -0.2. Let d(w) = 2*w**2 + 8*w - 1. Let j be d(6). Let s = 835/7 - j. Which is smaller: i or s?
i
Let f(k) = k**3 + 8*k**2 + k + 32. Let i be f(-8). Is 6 greater than i?
False
Let l be 13/(195/(-55))*(-6)/8. Is 2 at most as big as l?
True
Let g(c) = c**2 - 8*c + 27. Let m(q) = -q**2 + 9*q - 26. Let h(v) = 3*g(v) + 4*m(v). Let o be h(13). Is o bigger than -2?
False
Let r be ((-34)/(-57306))/((-1)/3). Let o = 1009941/1384895 - r. Let b = 2/29 + o. Is 0 less than or equal to b?
True
Let y(c) = 2*c - 6. Let g be y(3). Let r = 9 + -12. Is r at least as big as g?
False
Let o(a) be the t