- (16/y - 3). Let n(p) = -p**3 + 6*p**2 + 2. Let z be n(6). Which is greater: g or z?
z
Suppose 0 = 3*m + 10 - 7. Let i(a) = -a**2 + a + 1. Let c be i(-3). Let x = c + m. Is 2/5 at most x?
False
Suppose 4*s = 2*s - 2. Do -21/22 and s have different values?
True
Suppose 3*v = -5*o + 8, 3 - 6 = -3*o. Let s be (-5)/(-2)*(-36)/1215. Which is bigger: v or s?
v
Let j(w) = 2*w - 20. Let r be j(6). Let l(i) be the third derivative of -i**5/60 - i**4/4 + 7*i**3/6 + i**2. Let g be l(r). Is -9 at least as big as g?
True
Let g = 2491 - 291445/117. Which is smaller: g or 1?
g
Suppose -26 = 2*y + 16. Let l = 105 - 127. Is y at most l?
False
Let i = -416.96 + 417. Let c be (-8)/(-10)*30/108. Is i equal to c?
False
Suppose -2*d + 5*i + 25327 - 7592 = 0, -d + 8861 = 4*i. Let w = -186092/21 + d. Let k = w + -10/3. Which is smaller: k or -1?
-1
Suppose -2*m = 2*m - 16. Let h be (-2)/m - 162/(-132). Which is bigger: 1 or h?
1
Let z = -7 + 29/4. Suppose 0 = -3*w + 10 - 1, 2*g = -2*w + 6. Suppose 2*d - 8 = -g*d, 0 = 2*q + 3*d - 30. Which is smaller: z or q?
z
Let n be (-24717)/4944 - (9 - 8) - -6. Is 0 less than or equal to n?
True
Suppose -2*i + 4*p + 1 = -7, 2*p = 2*i. Suppose 0 = l + 4*l. Let c be 3 - (-12)/i - l. Which is smaller: c or -0.1?
-0.1
Suppose 5*w - 60 = 10*w. Let r be (8/w)/((-1)/24). Suppose 6 = -5*q + r. Is q at most as big as 4?
True
Suppose 1 = -4*i + 5. Let w be (-2320)/126 + 6/(-42). Let s = w + 55/3. Which is smaller: s or i?
s
Let o(r) = -r**2 - 4*r - 3. Suppose 3*t = -13 - 17. Let l = 7 + t. Let y be o(l). Are 2/3 and y unequal?
True
Let g = -222 - -243. Which is greater: 9 or g?
g
Suppose 4*s + 8 = -0*l + 4*l, s - 2 = -3*l. Let q = 144/299 + -4/23. Is q bigger than l?
False
Let c = 454 - 529. Which is bigger: -71 or c?
-71
Let y(f) = -47*f**3 + f + 7. Let x be y(-2). Is 381 at least x?
True
Suppose -3*l = -a + 4, -3*l - 30 = 5*a - 14. Which is bigger: 43 or a?
43
Let o(f) = f**2 - f - 9. Let g be o(-6). Let d = g + -167/5. Does d = -15?
False
Suppose 4*b - 3 - 3 = -2*s, -4*s + 2 = 3*b. Let m be (3 + s)*(-2)/(-16)*4. Is m <= -1/23?
False
Let c(b) = -13*b + 66. Let h be c(5). Which is smaller: 4/29 or h?
4/29
Let v be (12 + 3)*1/1. Let z be 0 + (6/v - 0). Is z > 2?
False
Let z = 11 + 3. Suppose -2*t + z = 4*b, 1 = t + b - 8. Let k = t - 11. Is k bigger than -0.1?
True
Let p = 3025 + -2353449/778. Which is smaller: 1 or p?
p
Let m be (-9)/((-9)/14) - 1. Let r = 11 - m. Which is smaller: r or -8/7?
r
Let g be 2 + (-3)/(-2)*(-12)/9. Suppose g = -3*w - 0*w - 18. Is -5 < w?
False
Let c be -9 - (-15 + (-1 - -7)). Is 147 at most as big as c?
False
Let r = -4 - -7. Let v be r - (-1 - (0 - -2)). Suppose -w - 2 = v. Which is greater: -2 or w?
-2
Let p(q) = q**3 + 50*q**2 + 141*q + 153. Let r be p(-47). Is 159 at most r?
False
Suppose 3*z = -12 + 30. Suppose 5*f + 4*q = 0, 0*f + z = f + 2*q. Let j(g) = -g**2 - 5*g - 4. Let p be j(f). Is -2/5 smaller than p?
True
Suppose -9 = -j + 2*s, -2*j + 0*s - s + 3 = 0. Suppose -j*a = -0*a - 3. Let o be (-6)/15*(0 + a). Is o greater than or equal to -3?
True
Suppose 191*s = 196*s. Is s <= 3/10?
True
Let i(f) = -f**2 - 10*f + 134. Let o be i(7). Let k(p) = 4*p**2 - 3*p**2 - p + 4*p**2 - 4*p**2 + 3. Let r be k(4). Do r and o have the same value?
True
Let k = -101 + 124. Which is bigger: 27 or k?
27
Let h = 7 - 6. Let s = h + -4. Let k = 69 - 71. Is s smaller than k?
True
Let a(d) = -d**2 - 17*d + 20. Let q be a(-9). Is q <= 92?
True
Let l = 182/11 + -1301/66. Are l and 1 non-equal?
True
Let d be -8*3/6 + -19. Let j = 26 + d. Suppose 0 = -j*v + v + 2. Which is bigger: v or 2/47?
v
Let v be (2/(-16))/(49/(-21)). Is v <= -2?
False
Let h = -176 - -202. Is 21 greater than or equal to h?
False
Let d = -11 - -9. Let v be d*35/225 + (-2)/(-10). Which is smaller: v or 1?
v
Suppose -7*z = -3195 + 276. Is z smaller than 416?
False
Let j = 295 + -281. Which is smaller: 102/7 or j?
j
Let i(o) = -11*o**3 + o. Let v be i(-1). Let n be 3/1 + (27 - v). Is n at most 21?
True
Suppose 9 = 5*a - 2*o + 10, -2*a + 3*o - 7 = 0. Is -5/59 >= a?
False
Suppose 4*r + 71 - 11 = 0. Let t = r - -1. Let m be (-86)/6 - 6/9. Is m greater than t?
False
Suppose q + 6 - 3 = 0, -2*b - 5*q + 509 = 0. Is 261 < b?
True
Suppose 69 = 12*z - 9*z. Let r = -51 + z. Let n = r - -27. Is 2/77 >= n?
True
Suppose 0*p = -5*a + 5*p + 15, 2*a = -5*p - 22. Let f = -23938/1411 + 288/17. Which is smaller: f or a?
a
Let m = -634 + 242. Which is smaller: m or -393?
-393
Suppose 2*j + f - 64 = 3*f, -5*j + f = -176. Let l = j - 35. Is l < 10?
True
Suppose 5*q + 144 = 2*q + 4*r, -240 = 5*q - 5*r. Is -48 greater than q?
False
Let r = 11.67 - 12.5. Let s = -0.23 - r. Which is greater: 0.1 or s?
s
Suppose -w = 4*w - 60. Let a be w/42 + 96/7. Suppose 0 = 4*x + 5*n - 5 - 24, 0 = -x + 3*n - a. Is -2 < x?
True
Let s be (1/2)/((-6)/(-92)). Let k = -9 + s. Is k at most as big as 1?
True
Suppose 26 = -2*c + 126. Suppose -6*l + 3*g = -2*l + c, g + 30 = -2*l. Are -12 and l non-equal?
True
Let m = -2 + 6. Let j be -6 - 174/60*-2. Is j at least m?
False
Let v = 41 - 35. Suppose -3*q + 9 = v*q. Is 12/7 less than or equal to q?
False
Let t(k) = -k**3 - 13*k**2 - 13. Let j be t(-13). Let i = -27 - j. Is -2 bigger than i?
True
Let o be -4 - -2 - 510/(-12). Let n = o - 895/22. Suppose 3*b = 0, 3*q - 21 = -4*b - 0. Which is bigger: q or n?
q
Let j = -178 + 2493/14. Suppose 0 = -3*d + d. Suppose 3*t - 15 = 5*b, 4*t + 5*b + 7 + 8 = d. Which is smaller: j or t?
t
Let m(y) be the third derivative of -y**6/120 + y**5/15 - y**4/8 + 13*y**3/6 + 2*y**2 - 35. Let z be m(4). Is -1/32 >= z?
False
Let w = 1.4 + -0.4. Let l = -2.1 + w. Let r = 0.8 + l. Which is smaller: r or 2/3?
r
Let d be 1/(-6) - 3/(-6). Let r be (-2 + 4 + -2)/(1 + 1). Suppose 0*z + 4*z + 4 = r. Is d smaller than z?
False
Let q(b) = 2*b - 18. Let d be q(2). Which is greater: -93/7 or d?
-93/7
Let w(a) = a**2 - 30*a + 48. Let b be w(16). Which is smaller: b or -177?
-177
Let h be (6/(-9))/(85/105). Is 0 >= h?
True
Let a(o) = 18*o - 5. Let j be a(8). Suppose -3*t = -19 + j. Which is smaller: t or -39?
t
Let h = 5 - -7. Suppose 2*u = -4*i + 40, -46 = -3*i + 3*u - 7. Is i greater than or equal to h?
False
Let n be ((-1)/(-3))/(2/6). Suppose -4*h + 4 = -4*o - 0*h, 0 = 2*h. Let s be (o + (-98)/(-77))*(-1)/1. Is s equal to n?
False
Let c(r) = -r + 11. Let p be c(10). Suppose 3*d - p = -2*m - 0*m, m + 2*d = 0. Suppose -m*s + s = 0. Is 5/4 > s?
True
Let z(t) = 5*t + 1. Let r be z(-1). Let i be -2 + r + (3 - -1). Which is greater: -4 or i?
i
Let q = 67 + -199/3. Let t = -0.3 + 0.22. Let l = t + 0.11. Which is smaller: q or l?
l
Let l = -25 - -24. Which is bigger: 1/294 or l?
1/294
Let w be (-6 + 1)*(6 + -7). Suppose w - 11 = 3*r. Let b be ((-7)/(-14))/(1/r). Is b at least as big as -1/17?
False
Suppose c + 22 = 3*c + 4*s, 3*c = 4*s - 17. Which is smaller: c or 2/207?
2/207
Let g = 65 + -65. Let z = g + -20. Which is greater: z or -22?
z
Let w = -52 + 29. Which is greater: -3 or w?
-3
Suppose -10*u = -6*u - 352. Suppose 30*h - u = 26*h. Is 23 less than or equal to h?
False
Let w be -22*(-4 + -5 + 1). Let k be ((-4)/9)/(w/(-24)). Is k smaller than 1?
True
Let n = 4098 + -20394/5. Suppose g = s + 21, -4*g + 45 = -2*s + g. Let l = n + s. Which is bigger: 0 or l?
0
Let i(j) = j**2 - 4. Let r be i(-3). Suppose -r*x = -4*b + 10, 3*x = -3*b + 19 + 2. Suppose -x*g + 17 = -z, 0 = -g - 5*z + 24 + 12. Is g >= 10?
True
Let q be 29/(-4)*(9 - 13). Suppose -27 = 2*j + p - 6*p, 4*j - 5*p = -q. Is 4/11 > j?
True
Let i = 5/167 - -1478/835. Let f = 51/20 - i. Which is greater: -2 or f?
f
Let d(u) = u**3 - 8*u**2 - 7*u - 19. Let z be d(9). Are -2/39 and z unequal?
True
Let i be 50813/(-12749) - 2*1 - -6. Which is greater: i or 1?
1
Suppose -4 + 76 = 2*d. Let u be -2 - (-831)/27 - (-8)/d. Is 29 != u?
False
Let y be (((-4)/28)/1)/(87/(-406)). Let v = -0.05 - 1.95. Let k = 2.06 + v. Are k and y non-equal?
True
Let w = 5 - 4.3. Let m = 12.3 + w. Let j = m - 12.94. Is j > 0?
True
Let p(q) = q**3 - 2*q**2 - 5*q + 2. Let x be p(3). Let h be x/6 + (-32)/(-12). Suppose -6*u = -2*u - h*j + 16, 0 = -2*j + 4. Does -5/2 = u?
False
Let r = 0.1093 - -0.0407. Let y = 52 - 50.85. Let v = r - y. Which is bigger: v or 7?
7
Let c = -51 + 52. Is -4/143 smaller than c?
True
Suppose -34 =