2 - 2*p + 6. Let w be u(1). Let y be s(w). Which is greater: y or -39?
y
Let r be 4/(-10) - 22/(-30). Let q be (-42)/27 + 3380/2925. Which is greater: q or r?
r
Suppose -16 = s + 3*s. Let f be s/4 + (-1 - 805/(-395)). Is f greater than 0?
True
Let r be (-9 - (-48)/5)*50/54. Which is smaller: 1 or r?
r
Suppose -456 - 2241 = 14*r + 5367. Is 4 equal to r?
False
Let j = 2 + 5. Suppose 4*m - 12 = 0, 5 = r + 4*m - 6*m. Suppose 0 = r*a - 13*a + 10. Is j less than or equal to a?
False
Let u be (-6)/(-69) + (619/23 - 4). Is 38 greater than u?
True
Let o = -336.53 + 342. Let r = o - 6.47. Which is smaller: -2/331 or r?
r
Let t be 5/(-35)*-2 + (-46)/14. Let g be t*(-4)/(-3) + (-31)/(-7). Let v = -0.21 - 7.79. Is g less than v?
False
Let j be (850/12936 - (-144)/(-2376))/((-315)/24). Which is greater: -1 or j?
j
Suppose -62*z = -15*z - 4512. Which is smaller: 112 or z?
z
Suppose 9*o - 15 = 4*o. Suppose b = -o*b + 256. Let t = b + -65. Is t != -3?
True
Let r be (-1)/((-1)/(-3)*3). Let m be 5/r*10/(-2). Let l = -4183 - -4207. Is l > m?
False
Let z = -0.2135 - 8.7865. Let s be (-35)/(-28)*(-2)/(-40). Which is smaller: s or z?
z
Suppose 0 = -8*x + 4*x - 400. Suppose 4*a + 6 = -r, 85 - 46 = -3*a + 5*r. Is a at most as big as x?
False
Let i(k) = 13*k - 6. Let b(s) = -s**2 - 11*s + 5. Let p(y) = 6*b(y) + 5*i(y). Suppose 0 = -0*n + 2*n + 4. Let u be p(n). Which is smaller: -20 or u?
u
Let h be (-13 + 29 + -53)/(-1). Do 10 and h have the same value?
False
Let r(i) = 0*i - 9 - 4*i + 6 - 6. Let x be r(-5). Let b be 6/(-8) + x/4 - 6. Are -4 and b non-equal?
False
Let n = -12 + 11.97. Let d = n - -0.07. Let r(k) = -k**2 + k + 1. Let g be r(-1). Which is smaller: d or g?
g
Let u = -200 + 194. Let d = 13 + -15. Let p = -3 - d. Is u bigger than p?
False
Let n be (-6)/15*(-6)/(8 - -40). Which is greater: n or -45?
n
Let t = 53 + -54. Is -15 bigger than t?
False
Suppose -4*d + 235 = -3*j, 8*d = 7*d + 5*j + 80. Suppose 2*p - d*n + 58*n = 22, -38 = -5*p + n. Suppose -o + 4*w + 26 + 2 = 0, 5*o = -5*w + 15. Is p equal to o?
True
Let b be 3/(-4) + 18471/(-188). Are b and -114 non-equal?
True
Let y = -21711 - -14325. Which is smaller: y or -7387?
-7387
Let m(g) = -g**2 + 9*g - 4. Let i be m(8). Suppose 98 = t + i*u, 3*t + 4*u = -0*u + 278. Which is bigger: 89 or t?
t
Let l = 6573 + -6573. Which is smaller: l or 83?
l
Suppose 203 = 5*h + x, 28 = 4*h + x - 134. Let c be (-185)/(-4) - (-2)/(-8). Let t = h - c. Is -6 <= t?
True
Suppose -4*h + 48 = -5*b, 139*h - 142*h + 36 = 4*b. Suppose 4*v + 2*i = -0*v + 30, -i = v - 10. Let j be ((-2)/(-50))/(16/v). Which is bigger: b or j?
j
Suppose -2*i + 3*v + 5 = -4*i, 4*v = -3*i - 6. Suppose -7*d + i*d = 165. Let p(f) = 12*f - 104. Let m be p(6). Are m and d equal?
False
Let x = 17843/164 + -435/4. Let g = -92/205 + x. Which is smaller: -305 or g?
-305
Let o be ((-216)/36)/(0 + -10). Let v = -0.04 - 0.09. Which is bigger: o or v?
o
Let a(w) = -64*w + 466. Let o be a(6). Which is greater: o or 89?
89
Let d(z) = -2*z**3 - 48*z**2 + 20*z + 750. Let i be d(-19). Is i less than -3240?
False
Let p(t) = t**3 + 15*t**2 + 18*t + 19. Let d be p(-15). Is -245 bigger than d?
True
Let s = -73 + 71. Let b be (-8)/s - (-51)/(-1). Let k be (b/(-3))/((-23)/(-69)). Are 47 and k equal?
True
Let o = 250 - 343. Let a = o + -22. Is a greater than -115?
False
Let l = -6908 + 6888. Which is smaller: l or 13?
l
Let r(n) = 3*n**2 - n - 163. Let s be r(-16). Is 620 smaller than s?
True
Let j = 25 - 150. Let k = j + 126. Is 0.29 >= k?
False
Let s = 0.239 - 0.469. Let i = 149 + -301/2. Are i and s non-equal?
True
Let u be (32/(-30))/((-6)/(-5)). Let g = 589 + -566. Let s be (-1008)/1104 - 2/g. Which is smaller: s or u?
s
Suppose -3*z + 1 - 4 = 0. Let t = 275 + -1924/7. Let i = t - 65/161. Which is smaller: i or z?
z
Suppose -2*o + 7 = y - 4*y, -y = -o + 2. Let i be 1 + -5 + y - -42. Which is bigger: 38 or i?
38
Suppose 25312 = 5*x + g, -3*g - 4833 = -2*x + 5285. Is 5062 less than x?
False
Suppose -16*t + 35 - 51 = 0. Let a be (-348)/725 - 0/t. Which is bigger: 1 or a?
1
Let d(v) = v**3 + 8*v**2 + 6*v - 4. Let l be d(-7). Suppose 1 = -l*x + 160. Suppose 3*u - x = -5*m + 3*m, 2*u - 4*m - 30 = 0. Which is smaller: u or 19?
u
Let j = -0.225 - 39.775. Let n = 32 + j. Is n > -8?
False
Let g = -494 + 371. Is g <= -489/4?
True
Let j = 2741 - 2745. Let d(o) = 6*o + 1. Let t be d(-2). Is t > j?
False
Let g = -467.02 + 471. Let k = 5.47 - g. Is k smaller than 1?
False
Let y = 19644 - 19886. Which is smaller: y or 9?
y
Let l = -2/102259 - -100520605/409036. Let a = l - 247. Which is bigger: 10/11 or a?
10/11
Let f be 278/1390 + 2319/505. Which is smaller: 6 or f?
f
Let p = -0.761 + 0.442. Let v = 0.419 + p. Which is smaller: -3/5 or v?
-3/5
Let v(l) = 8*l - 17. Let t be v(2). Let h be 28/42 + (-168290)/256956. Let j = h + -2/1311. Are j and t unequal?
True
Let k = 3476.535 - 3477. Which is bigger: 5 or k?
5
Suppose 4*a + 4*t - 28 = 0, 0 = -5*a + 9*a - 4*t - 4. Suppose a*k = 9*k - 10, 2*k - 154 = -5*b. Which is greater: 31 or b?
31
Suppose -957 = 21*u - 108*u. Let i(z) be the first derivative of -z**3/3 + 5*z**2 + 7*z - 1. Let o be i(u). Which is greater: -14/3 or o?
o
Suppose -27*c = 29 + 19 + 33. Let b be (1/2)/((-3)/(-18)). Suppose b = -5*r - 7. Which is smaller: r or c?
c
Suppose 9 + 3 = 4*l. Let i be (-6)/(10 + -4)*l/9. Which is smaller: -2/17 or i?
i
Suppose -14*c - 25480 = -49*c. Which is greater: c or 3637/5?
c
Let o = 18 + -15. Suppose -o*j - u = 23, j + 44 = -4*j + 4*u. Let r be j/(-2) + -9 + -1. Is -0.4 bigger than r?
True
Let o = -297764010663/5252 + 56695358. Let w = o - -11/404. Let t be (2 + -1)*(3 - 2). Are t and w nonequal?
True
Let i = -4669 + 4776. Is 107 smaller than i?
False
Let j = -6885 + 3922. Which is smaller: j or -2962?
j
Let r(p) = 526*p**3 + 23*p - 24. Let s be r(1). Let t = s - 1594/3. Is t > -6?
False
Let z be (-216)/(-32) - (-1)/4. Let m be (z/4 - 2)*(-40)/(-200). Let a be 1 - (-3 - (1 - 5)). Do m and a have the same value?
False
Suppose -8*n + 1460 = -4*n. Suppose c + n = 2*c. Let z = -5107/14 + c. Which is smaller: 1 or z?
z
Let q be -15*((-96)/(-15) + -6). Let r be (56/12)/(-2*q/444). Which is smaller: 173 or r?
r
Let i(p) = -p**2 + p. Let q be i(-5). Let b = -398217/13423 - -4/40269. Which is bigger: b or q?
b
Let u = 17 - 34. Let j = -14 - u. Let f be (-31)/j - -2 - (-3 - -3). Which is bigger: f or 1/2?
1/2
Let p(w) = w**2 + 87*w - 1462. Let c be p(-93). Do -903 and c have the same value?
False
Let b = 7045.08 + -7045. Let c be (-3)/1 - (-38)/14. Which is smaller: b or c?
c
Let o be (-4)/(-26) + (-33)/((-594594)/(-3864)). Let w = 0 + -0.02. Are w and o equal?
False
Let j = 5584 - 5570. Let h(c) = 24*c + 5. Let l be h(-4). Let b = l + j. Is -77 at least as big as b?
True
Let u(z) = z**3 - 17*z**2 + 31*z + 6. Let n be u(15). Let m be n/(-49) - (1 - (-10)/(-7)). Is m less than or equal to 3/38?
True
Let r = 106.947 + -107. Suppose -9*u - 2 = -20. Suppose 11*d = d - u*d. Is r less than d?
True
Let s be 58470/36900 + (-4)/(-82). Which is bigger: s or 1?
s
Suppose 16*s - 26*s = -400. Suppose 4*u - 312 = -5*n, -3*n + 6*n = -4*u + 320. Let r = s - u. Which is bigger: 0 or r?
0
Suppose -10*q + q - 3*q + 12 = 0. Is q less than or equal to 1/2690?
False
Suppose 5*d = -3*m + 99, m - d + 5*d - 26 = 0. Suppose 0 = -4*k - 4, -33*n - 5*k + 23 = -32*n. Let i = m - n. Which is bigger: i or 9?
i
Let k be (-294)/168*(-2)/(-1)*4. Let m be 7/k*6/9. Which is smaller: m or 18?
m
Let i = -21 + 10. Suppose 0 = -43*b + 8*b + 700. Suppose 0 = 5*k + 5*c + b, -180*c = -k - 184*c - 10. Is k smaller than i?
False
Let c = -199770 + 599312/3. Let h = -7.9434 - -0.0534. Let x = h - -8. Which is greater: c or x?
c
Let h be (5 - 1524/5) + 3. Which is smaller: h or -298?
-298
Let d(w) = w**2 + 19*w - 162. Let m be d(6). Let g be m/(-9) - (10 + -5 + -2). Let q be (4 - (3 - 0)) + -3. Is q greater than or equal to g?
False
Let c(n) = n**3 + 20*n**2 + 9*n - 9. Let w be c(-20). Let i = w + 194. Is 1 smaller than i?
True
Suppose 167*t - 378 = 169*t. Let m = 180 + t. Let p(u) = -u**3 + 7*u**2 - 8*u + 2. Let d be p(6). Is d at least m?
False
Let v = -0.2533 - 1.7467. Which is greater: 421 or v?
421
Let j(b) be the third derivative of -19*b**4/8 + 33*b**3 + 56*b**2. Let r be j(10). Is -37