7 - 163.6. Let y = 2.6 + z. Which is smaller: w or y?
w
Let o = 0.1843 - 0.0943. Which is smaller: o or -0.056?
-0.056
Let x = 25/3 - 8. Let y = 76 + -73. Suppose y*d + 4 = -0*b + b, d - 2*b = -3. Which is bigger: x or d?
x
Suppose -c = -2*b - 3*b + 11, -b = 4*c - 19. Let s = -8683/7 - -1243. Which is smaller: s or c?
s
Let g = -306 - -236. Which is bigger: g or -69?
-69
Suppose 0 = 40*g - 45*g + 345. Which is smaller: 2 or g?
2
Suppose 6 = 3*l - 3*g, -11*l - 16 = -16*l - g. Which is greater: -1/19 or l?
l
Let l be (2/5)/((-2)/80). Let h = l + 19. Do 3 and h have the same value?
True
Suppose -20*n = -2*n + 18. Which is bigger: -2/721 or n?
-2/721
Let s = -7 + -11. Let f = 16 + s. Let r = -1.9 - f. Is r at most -0.5?
False
Let z be (((-24)/(-5))/2)/((-129)/6880). Is -126 less than z?
False
Suppose 3*q + 195*f - 198*f + 24 = 0, -f = -2*q - 10. Suppose 10 = 3*n - 8*n. Let y be (n/5)/(1/3). Which is greater: y or q?
y
Let o(w) be the third derivative of -w**6/120 + w**5/15 + w**4/4 - 5*w**3/6 - w**2. Let s be o(5). Let f be 72/828 - (-200)/(-1242). Is f equal to s?
False
Let j = 0.0842 + 3.5158. Suppose -2*r - 14 = 4*g, -2*r + r + 3*g + 13 = 0. Is j less than or equal to r?
False
Suppose -3*c + 0*c = -9. Suppose 0 = -w - 1 + c. Which is smaller: 3 or w?
w
Let v be (-1 + (-309)/(-297))*(-3)/(-10). Is v equal to 1?
False
Let v(f) = f**2 + 32*f + 247. Let n be v(-13). Let l be (-4)/(-296)*(-8)/2. Which is bigger: l or n?
n
Suppose -6*k - 2*k = -16. Suppose -k = 4*x - 10. Which is greater: 3 or x?
3
Let t = 2/14417 + 28452/2753647. Let z = t + -408/2483. Is z equal to 1?
False
Let m be 154/(-88) + (-22)/(-8). Is m not equal to 2/881?
True
Let o(q) = 0*q - q + 4*q + 21 - q. Let l be o(-10). Is 4/57 less than or equal to l?
True
Let y(t) = -t**3 + 11*t**2 - 19*t + 8. Let b be y(9). Is b < -571?
False
Let m = 12 - 11. Let n be 5/(-15) + (-91)/69. Let v = n + 1877/1150. Is m equal to v?
False
Let a = -4 + 6. Suppose 0 = 3*z - 41 - 4. Let l be -3 + z/2 + -4. Which is smaller: a or l?
l
Let a be (-5 + 2)/(-3)*0. Let n = -133/306 - 1/102. Which is smaller: a or n?
n
Let c(t) be the third derivative of -t**6/120 + 5*t**4/12 + 2*t**3 + 47*t**2. Let z be c(-4). Which is smaller: z or 35?
35
Let p = 2.7 + -1.7. Which is smaller: p or 0.1?
0.1
Let t = 1.2 + -1.3. Suppose 4*c - 14 = -i, -6*i - 5*c + 25 = -i. Suppose -o = 3 - i. Do o and t have the same value?
False
Suppose 2*l - 49 = -w - 6, 109 = 5*l + 3*w. Suppose -5*z + z = l. Which is greater: -8 or z?
z
Suppose -5*w - 3*j = j + 11, w + 4*j = -15. Let p = 1558 - 45177/29. Which is bigger: w or p?
w
Let o(g) = 2*g - 3 - 5*g - 3*g. Let j(m) = -m - 1. Let r(q) = -5*j(q) + o(q). Let t be r(-2). Is t at least 2?
True
Let b = 355 + -354. Which is greater: b or -53/5?
b
Let p = -3851 + 3871. Suppose n - 20 = -4*k, -4*n = -3*k - 8 + 23. Do n and p have the same value?
False
Let m be (-2)/(-8) - 28/(-24). Let f = 7/4 - m. Which is smaller: f or 10?
f
Let n = 1488 - 1492. Is -75/7 >= n?
False
Let s be (-61)/(-366)*(-1 + -2). Is 88 smaller than s?
False
Let x be 4/10*(-1)/2. Let c be ((-15)/3900)/(6/(-48)). Which is greater: c or x?
c
Let f = 276.87 - 279. Let z = -1.3 + 1.43. Let g = f + z. Which is bigger: g or -1/11?
-1/11
Let n = 1890.91 - 1891. Which is greater: n or -15?
n
Let y be 1*(6 + -3) - 0. Suppose -6*r + 9*r + y = 0. Is -3/8 at least as big as r?
True
Let h = -80.4 - -80.1. Which is smaller: -20 or h?
-20
Suppose -3*u - 1 - 2 = 0. Let m be 6/12*(-26)/u. Let f = m + -12. Which is smaller: -1/3 or f?
-1/3
Suppose -4*j + 74 + 26 = 0. Let s be (-770)/j*(-1)/94. Let c = -6/47 + s. Which is smaller: -1 or c?
-1
Let m = 37 - 31. Let c = m + -13. Is c > -2?
False
Let d = 193 + -264. Which is smaller: -70 or d?
d
Let l(f) = -f + 4. Let g be l(-5). Suppose g*s = 2*s - 28. Let p be -7 + s/(-2) + 0. Which is bigger: -4 or p?
-4
Let m = -2449512/365 - -6711. Is 1 less than or equal to m?
False
Suppose -7*x + 48 = -64. Is 18 less than or equal to x?
False
Let g(s) be the second derivative of -s**3/6 - 12*s**2 - 10*s. Let f be g(-11). Let c = f - -14. Is c less than or equal to -2/15?
False
Let k = 48136/15 - 9431/3. Does k = -0.1?
False
Suppose -a + 60 = b + 4*a, -4*b + 172 = 3*a. Let x be 2/3 - -12*b/(-855). Let z be (-2 + 3)/(0 - -1). Which is greater: x or z?
z
Suppose 28*o = 23*o - 5*p - 675, o - 3*p + 143 = 0. Are -139 and o unequal?
True
Let l = 0.0434 + 47.2566. Let d = 47 - l. Is d less than -8?
False
Let b be (3/(-102))/(10/460). Which is greater: b or -2?
b
Let z = -69 + 48. Let q = z - -83/4. Is q less than or equal to 2/39?
True
Let a be 25/3 + ((-2)/6 - 0). Let m(z) = 2*z**2 - z. Let h be m(-1). Which is smaller: h or a?
h
Suppose -4*f - 14 = 5*r, -5*f + 0*r + 4*r = 38. Let w be f/14 + (0 - 0). Let d = -120 + 121. Which is greater: d or w?
d
Suppose -5*b + b + 12 = 0, 5*u + 2*b - 106 = 0. Let t be (-22)/(-10) - u/(-25). Suppose t*r = -19 - 8. Does r = -10?
False
Suppose -3*o = -1 + 4. Let z = -20194/11 - -1835. Is o < z?
True
Suppose -88 = -5*r + 47. Let o be -2 + (-8)/(-6)*r/6. Which is smaller: o or 3?
3
Let m = 48 + -155. Do m and -106 have different values?
True
Let w be 372/(-5) + -14 + 1008/70. Is -79 equal to w?
False
Suppose 4*m + 4*u = 9*u + 10, u + 2 = 0. Is m <= 1/52?
True
Let c = -45 - -113. Suppose 3*d = -1 - c. Which is bigger: d or -21?
-21
Let i be 192/(-2)*(-64)/(-96). Is -18 at least i?
True
Let l = 16/5 - -2. Is 6 at most as big as l?
False
Let m = -6085 - -79059/13. Is -4 less than or equal to m?
True
Let p = 1 + 1. Let x = p - -4. Let k = -530 - -1612/3. Which is bigger: k or x?
k
Suppose -5*o - 215 = 2*p, -23 = 2*o - p + 63. Is o less than or equal to -43?
True
Let f be (-20)/5 - 10 - 6. Which is smaller: -18 or f?
f
Suppose 243 = 2*d - 11*d. Which is greater: d or -3/2?
-3/2
Suppose -3*o - 4*s + 44 = o, -23 = -o + 3*s. Let j = -13 + o. Is j < 3?
True
Let c(l) = -l**3 + 26*l**2 - 46*l + 21. Let z be c(21). Is z at least as big as -0.1?
True
Let n(q) = -74*q + 9. Let b be n(2). Is -140 > b?
False
Let s = -2 + 2. Let r = -3535/52 + 68. Do s and r have different values?
True
Let s = -1.74 - 0.56. Let t = s - -2.3. Which is greater: 7 or t?
7
Let v = -121 + 120. Is 100 > v?
True
Let f(x) be the third derivative of -x**6/120 + x**5/10 - 3*x**3/2 - 15*x**2. Let y be f(6). Is y greater than -9?
False
Suppose 0 = -5*g - 3 + 28. Suppose -2*j + 6*j + p + 2 = 0, -5*p + 15 = -g*j. Is j > -2/61?
False
Suppose -4*i + 21 = 3*i. Let v be (i/2 - 1)/((-3)/6). Let t = 2257/41 - 55. Which is smaller: v or t?
v
Suppose -3*v + 16 = -7*v. Let k = v - 13. Does k = -17?
True
Let c = 62 - 62.5. Let m = 0.5 + c. Which is greater: m or 18?
18
Let p(o) = -o**2 + 13*o + 42. Let w be p(-3). Is -20/3 < w?
True
Let t(r) = -2*r**3 + 57*r**2 - 25*r + 62. Let i be t(28). Is 146 less than or equal to i?
True
Let i be (-26841)/(-184) - (-4)/32. Is i smaller than 149?
True
Let m = -0.144 + -1.056. Let j = -13.8 + 16. Let y = m + j. Is 6 equal to y?
False
Let r(g) = 21*g - 300. Let f be r(27). Is 266 greater than f?
False
Suppose -1380 = d + 9*d. Let q = 140 + d. Is -1 smaller than q?
True
Suppose -2*r + 2*i + 88 + 8 = 0, 3*r + 4*i - 130 = 0. Are r and 33 equal?
False
Let q = -27 - -11. Suppose 32 = -f - 4*x, 699*f = 701*f + x + 8. Which is greater: q or f?
f
Let a = -390 + 1172. Let t = a - 4703/6. Which is smaller: -1 or t?
t
Let n = 43.7 + -0.7. Which is bigger: n or -1?
n
Let n = -4 + 37. Let q = n + -40. Suppose -2*j = 4*z + 18, -2*j - 2*j + z = -9. Which is bigger: q or j?
j
Let a(m) = 3*m. Let p be a(3). Let v be (1/(-3))/(3/p). Let s be 58/208 + (304/52 - 6). Is s smaller than v?
False
Let l(o) = 2*o - 21. Let k be l(10). Let u be k + -1 + 605/308. Is u equal to 1?
False
Suppose -162 = -5*g + 4*t, g - t - 33 = -0*t. Which is bigger: g or 28?
g
Let c = 101.9 + -102. Let y = -9.96 + 10. Which is bigger: y or c?
y
Suppose 3*x - 12 - 30 = 0. Suppose 0*c + x = 2*c. Which is greater: c or 5?
c
Let y = 60 - 241/4. Let f be 2/8*-11 + 4. Which is greater: y or f?
f
Let v be (-9)/(4/(16/3)). Let b(t) = t**3 + 12*t**2 + t + 15. Let m be b(v). Which is smaller: 1.2 or m?
1.2
Let z = -0.26 - -0.25. Let n = -0.11 - z. Which is greater: -6 or n?
n
Let l be (-280)/528*2 + (-4)/(-3). Which is greater: -3/5 or l?
l
Let x = 2 + -2.