 1617.2 - 1516.2. Which is smaller: s or -39?
-39
Let r be (-38)/20 + (-2904)/(-1210). Which is greater: r or -338?
r
Let b = 1.28 + -1.3. Let p = b + 0.12. Let t = 95 - 95. Which is smaller: t or p?
t
Let a = -641 - -100632/157. Let j = a + 218/11775. Which is smaller: 0 or j?
j
Let k = -56 - -84. Let x = 9 - k. Let u = x - -34. Which is smaller: 0.3 or u?
0.3
Suppose -5*o = 5*k - 110, -5*k + 85 = -5*o - 15. Let s = k + -15. Let p(r) = r**3 - 2*r**2 - 2*r + 2. Let u be p(3). Which is greater: u or s?
s
Let g be 22/(-319)*(-1434)/2636. Let w = 2/659 - g. Which is bigger: w or -8?
w
Let t = 0.03848 - 3.03848. Which is smaller: 1577 or t?
t
Let n = -3728 + 14913/4. Which is smaller: 1725 or n?
n
Let z = 1497 + -1500.245. Let h = -3.2 - z. Let g = h - -0.055. Which is smaller: -1/24 or g?
-1/24
Let k = -22.69 + 24.69. Let h(x) = x**3 + 21*x**2 - 3*x - 114. Let c be h(-21). Which is bigger: c or k?
k
Let w = 61 - 102. Let q be (((-54)/36)/(1 - w))/(-1). Which is smaller: 0.3 or q?
q
Let j be (1/(-2))/(3/(-48)). Let p be (20/j + (-3)/1)*-6. Let b = p + -12. Which is greater: b or -4?
-4
Let q = 47.2217 - 0.1717. Let o = 47 - q. Which is smaller: 1/3 or o?
o
Let a(h) = -11*h + 135. Let z = -130 + 142. Let v be a(z). Are -53 and v equal?
False
Let g = -32 - -47. Let m(v) = 3*v**3 - 21*v**2 + 12*v + 38. Let q be m(6). Suppose g = -3*i - u - 2*u, -q*u - 1 = -i. Which is smaller: -7 or i?
-7
Let n = 2231.89 - 2232. Are n and -6/11 equal?
False
Let d = -205 - -274. Suppose -t = -l + 23, 3*t + l + 3*l = -d. Which is greater: t or -22?
-22
Let v(d) = 19*d**3 - d**2 - 42*d - 233. Let q be v(-5). Which is greater: 0.1 or q?
0.1
Let w be ((-1)/2)/((-2)/(-156)). Let u be (-4)/(-6) + ((-6860)/42)/2. Let q be -38 + 18/(u/9). Which is smaller: w or q?
q
Let n = 24036 + -24037. Is n less than -3455?
False
Let r be (-68)/442 + 27/(-78). Let z = -36 - -21. Let h be -4 + (z/(-7) - 2). Which is greater: r or h?
r
Let l = 4742624/17 - 278693. Let a = 285 - l. Are -1/4 and a nonequal?
True
Let c be 1/2 + (-1)/2. Suppose c = -2*z - 3*t + 93, 2*z + 136 = 6*z - 4*t. Is 40 bigger than z?
True
Let v be 175/(-25) - 3/(16119/(-37605)). Is v greater than or equal to 1?
False
Let j be (6 + 16/(-4))*4. Let y = -41 + 41. Suppose g - t - 8 + 1 = 0, -4*t + 8 = y. Is j != g?
True
Let w(r) be the second derivative of 3/10*r**5 - 5*r + 1/2*r**3 + 0 + r**2 + 1/6*r**4. Let o be w(-2). Is -43 >= o?
True
Suppose -5*x = -10, -3*q - 3 - 7 = 4*x. Let s(v) = -v**3 - 5*v**2 - 5*v + 13. Let u be s(q). Is 79 at least as big as u?
True
Let p(g) = -17*g**3 - 2*g**2 + 64*g + 12. Let h be p(6). Which is smaller: h or -3349?
-3349
Let t be (330/22 + 258/(-18))/((-2)/26328). Which is greater: t or -8775?
-8775
Suppose 0 = -9*d - 6*d + 2*d. Which is bigger: -1/7617 or d?
d
Let h = 380 + -389. Let w be 0/2 - 83/(-1). Let g be w/h + (-54)/(-243). Which is smaller: -11 or g?
-11
Suppose 2*x + 2*x - 28 = 0. Suppose -2*d - 4*i = -12, 0 = -3*d - x*i + 2*i + 16. Suppose -4 = q + d. Which is smaller: -7 or q?
-7
Suppose 0 = g - 4*r + 32, -4*g = 3*r - 5*r + 58. Let z(n) = -4*n - 18. Let x be z(g). Is -3/2 at least x?
False
Let l = -8.7 + 17. Let o = l + -10.3. Let d = -11 + 8. Which is smaller: d or o?
d
Suppose -2*a = 4*m - 0*m + 24, 2*a + 16 = -3*m. Let t(i) = i**2 + 9*i + 1. Let h be t(m). Let d be (-12*(-9)/72)/(6/(-20)). Which is bigger: d or h?
d
Let u(w) = -w**3 + 21*w**2 - 36*w + 8. Let x be u(19). Which is greater: x or 49?
49
Let n be (-9)/3*34/51 - -5. Suppose -z + 7*a - n*a = 7, 0 = 3*z + 3*a - 9. Are z and 13/33 unequal?
True
Let y = -10463/2 + 5231. Are -222/11 and y unequal?
True
Let k be 54/(-21)*(-22)/6. Let b = k - 754/77. Which is smaller: -2/39 or b?
b
Suppose -i = -5*i - 48. Let c(n) = 13*n**2 - 2155*n - 520. Let v be c(166). Which is smaller: v or i?
v
Let n be (-5)/((-55)/(-22)) + -1*17. Let o = -127 - n. Is o <= -108?
True
Let c be (-2)/(-7) - ((-4)/(-14) - 0). Suppose -63 = l - 4*n + 7, l + 56 = -3*n. Let y be 5/(-10) + (-29)/l. Does c = y?
False
Let k(s) = -341*s - 4952. Let n be k(-16). Is n < 515?
True
Let y be -5*1 - ((-24)/4 - 1120). Suppose 0 = -17*h - y - 1922. Is -180 at most h?
True
Let n(s) = 3*s**2 - 2*s**2 - 43 + 43 + 11*s. Let f be n(-10). Let u be (-6)/4 - -2 - f/(-80). Is u <= -1?
False
Let y(m) = 144*m + 85. Let k be y(1). Which is smaller: k or 230?
k
Let m(x) = 4*x**2 + 10*x - 2681. Let b be m(-33). Is 6721/5 <= b?
True
Let f(z) = -75*z - 1019. Let v be f(-13). Is 2 smaller than v?
False
Let f = 427 + -431. Let p = -119 - -108. Which is smaller: f or p?
p
Let k be 181146/342 + ((-1)/(-3))/1. Suppose 0 = 25*x - 180 + k. Suppose -5*n + 0*n - 3*p - 24 = 0, 2*n - 4*p = -20. Which is greater: n or x?
n
Let d be (6/1605)/((-6900)/(-750)). Which is smaller: d or -1?
-1
Let l = -1556 + 1610. Do l and 51 have the same value?
False
Let g = 1/87702 - 306430795/613914. Let o = 500 + g. Is o <= 0?
False
Let r = 1817768/185629 - -4/6401. Is 10 greater than r?
True
Let a(r) = -r**2 - 9*r - 12. Let i be a(-6). Let z be i/(-10)*((-105)/7)/(-3). Let w be 4 - (2 + (z - -6)). Which is greater: w or 10?
10
Suppose 171 - 36 = -h. Let p = 50 + -47. Is p greater than or equal to h?
True
Let j = -8/75 - -2807/300. Let h = 14.3 + 110.8. Let k = h - 125. Is j >= k?
True
Suppose -5*s + 55 = -0. Let y(z) = -z**2 + 18*z + 1. Let d be y(s). Let b = 77 - d. Which is smaller: b or 1/59?
b
Let h = -4112 - -4137. Which is greater: 9 or h?
h
Suppose 4*n - 8*n - 144 = 0. Let g be ((-4)/n)/((-2)/(-12)). Let s = -135 - -271/2. Which is smaller: s or g?
s
Let r = -0.17 - 0.13. Let a = -5570 - -5531. Which is smaller: r or a?
a
Let d be 2 + 5/((-750)/(-202204)). Let p = -1350 + d. Let x = -67/300 - p. Which is greater: x or -5?
x
Let t(w) = -40*w - 5. Suppose 1 = s + 2*m, -m - 2 + 5 = -2*s. Let i be t(s). Is i smaller than 6?
False
Let v be (-6)/16 - (-2750)/(-560). Suppose -3*k - 3*b = 18, -2*b = 2*k - 4*b + 4. Which is bigger: v or k?
k
Let t = 34233 + -33778. Which is bigger: t or 2/3?
t
Suppose -3*r - 714 - 322 = -181. Which is greater: -281 or r?
-281
Suppose -d - 9 = 2*t, 104 = -5*d + 69. Which is smaller: t or -21/122?
t
Let l = 16554 - 4171589/252. Which is bigger: l or -0.1?
l
Let x be (-2674)/(-3 - 1 - (-4 + -5)). Is x bigger than -534?
False
Let p(f) = -6*f + 21. Let n be p(3). Let b be -1*n/(-6)*-2. Which is bigger: 12/31 or b?
12/31
Let r = 298.979 - -3.021. Which is smaller: -1/3 or r?
-1/3
Suppose 5*n = -3*v + 9, -1 = -3*v - n + 8. Let o(y) = 2*y**3 - 3*y**2 + 2*y - 5. Let t be o(v). Let l(w) = 21*w + 88. Let c be l(-3). Which is bigger: c or t?
t
Suppose 11*y = 18*y. Suppose y = 8*i + 50 - 18. Let h be (i/6)/(6/9). Which is smaller: 14 or h?
h
Let p = -17915 - -18035. Which is bigger: -3/2 or p?
p
Let v(u) = 6*u**2 - 8*u + 2*u**3 - 17 - 3*u**3 + 2*u**3. Suppose 2 = -q + 4*m - 21, 0 = q - 3*m + 19. Let o be v(q). Is o > -10?
False
Let n = 8894 + -5892. Which is bigger: 3001 or n?
n
Let k(a) = a + 21. Let u be k(-21). Suppose 104 = -3*v + 2*w, 3*v + v - 3*w + 138 = u. Let o = 45 + v. Which is bigger: 12 or o?
12
Suppose 3*v - 6*q = -q - 993, -3*v - 1014 = 2*q. Let j = v - -136. Is j at least as big as -2/3?
False
Suppose -8*c - 1136 = -0*c. Let x = -52 + c. Which is smaller: x or -195?
-195
Let i = -0.0299 - -2996.0299. Are -1 and i non-equal?
True
Let g = 234 + -237. Let j be (36/(-27))/(2/153*g). Which is greater: 33 or j?
j
Let u be -4 + ((-25178)/(-24) - -1) - (-175)/105. Which is bigger: 1049 or u?
1049
Let n = 26937 - 26780. Do n and 3009/19 have the same value?
False
Let h = -1724 - -1987. Which is bigger: h or 5?
h
Suppose -21*k = -24*k + 9. Suppose -k*z - 26 = 4. Let j be 90*(-5 - 55/z). Which is greater: 46 or j?
46
Let b be (-10)/(2820/(-18))*8570. Let y = 547 - b. Is -2 less than or equal to y?
True
Let b = 4/453 + -275/82446. Let h = -25702 - -25702.1. Is b >= h?
False
Suppose -3*c - 20 = -2*j, -7*c + 5*c - 7 = 5*j. Let q be -8 + (-114)/(-50) - c. Which is bigger: -1 or q?
q
Let m be -10 + 11375/39 - 10. Let o(w) = 2*w**3 - 5*w**2 + 3*w - 9. Let y be o(6). Let l = m - y. Which is bigger: 10 or l?
l
Let y be 0 + 2/115 - 0. Let w = -132907 - -132908. Which is greater: y or w?
w
Let s = -5475 - -5475. Which is smaller: s or -17/87?
-17/87
Let p be (-82)/574 + 2/14 + (-1)/(-1). Does