3 + 12*y**2 - 15
Let t(u) = 2*u**2 - 6*u + 1. Let o(d) = 11*d - 22*d + 5 - 2 - 2*d**2 + 10*d**2 - 4*d**2. Calculate 4*o(v) - 7*t(v).
2*v**2 - 2*v + 5
Let o(z) = 19*z**2 - 5. Let v be (40/16)/(375/450). Suppose 2 = -y + 3*m, 2*m - m + 21 = -4*y. Let i(k) = 10*k**2 - 3. Determine v*o(h) + y*i(h).
7*h**2
Let r(h) = -2*h**2 - 9*h + 5. Suppose 3*k = -i + 5, 2*k - 5*i = -3 + 12. Let x(u) = 17*u - 185*u**k - 7 - 4*u + 188*u**2. Give -7*r(t) - 5*x(t).
-t**2 - 2*t
Suppose 3*q + 47*w - 2 = 49*w, 4*q - 3*w = 5. Let t(z) = -37*z + 4. Let x(c) = -112*c + 11. What is q*x(p) + 11*t(p)?
41*p
Let r be ((6*4)/(-2))/(33 + (-103 - -72)). Let q(s) = 2*s**3 - 2*s**2 + 3*s - 1. Let d(p) = p**3 - p**2 + p + 1. Give r*d(a) + 2*q(a).
-2*a**3 + 2*a**2 - 8
Let d(n) = 25*n - 1. Let r(h) = 331892*h - 13101. Calculate -26202*d(v) + 2*r(v).
8734*v
Let x(g) = 88*g + 99*g + 75*g - 263*g + 15. Let t(b) = -3*b + 29. What is 2*t(n) - 5*x(n)?
-n - 17
Let z(n) = -2*n + 18. Let t = 628 - 596. Let u(d) = -3 - 29 + 1 + t. Determine 36*u(y) - 2*z(y).
4*y
Let m(u) = u**3 + 4. Suppose -7*i = -2*i. Suppose i*y + 15*y + 60 = 0. Let h(v) = v**3 + 3. Determine y*h(c) + 3*m(c).
-c**3
Let a(n) = -131*n - 3. Let u(q) = 241*q + 5. Give -5*a(v) - 2*u(v).
173*v + 5
Let x(o) = o**2. Let q(l) = 16 + 15*l**2 - 16. Suppose 103*n + 4250 = 153*n. Determine n*x(m) - 6*q(m).
-5*m**2
Let r = -51 + 54. Suppose -4*w = p, 5*w - r*p - 4 = -21. Let q(i) = -i. Let m(v) = 5*v - 5. Let t(z) = 5*z - 4. Let n(u) = 4*m(u) - 5*t(u). Give w*q(j) + n(j).
-4*j
Suppose 0 = -5*v - 10, -t - 2*v + 1 = -3. Let d(r) = -5*r - 5. Let q(h) = -1. Let z(w) = d(w) - 2*q(w). Let l(p) = 14*p + 9. What is t*z(n) + 3*l(n)?
2*n + 3
Let c(i) = 7*i**3 + 9*i**2 - 124*i - 3. Let j(q) = -13*q**3 - 16*q**2 + 229*q + 5. What is -11*c(w) - 6*j(w)?
w**3 - 3*w**2 - 10*w + 3
Let v(f) = 9*f**3 - 16*f + 11. Let c(u) = -2*u**3 + 3*u - 2. Suppose -5 = -75*s + 70*s, 2*x - 2*s = 20. Calculate x*c(h) + 2*v(h).
-4*h**3 + h
Let a(r) = 21*r + 3. Let s(c) = 630*c + 91. Let n = -1370 + 1188. Calculate n*a(g) + 6*s(g).
-42*g
Let y(x) = 6*x**3 - 2*x**2 - x - 246. Let c(i) = 56*i**3 - 20*i**2 - 11*i - 2214. Give 2*c(k) - 19*y(k).
-2*k**3 - 2*k**2 - 3*k + 246
Let k(o) = 10*o**3 + 2*o**2 + 6*o - 11. Let g(h) = -66*h**3 - 13*h**2 - 40*h + 77. Calculate 4*g(m) + 27*k(m).
6*m**3 + 2*m**2 + 2*m + 11
Let t(x) = 4*x + 9. Let d(j) be the first derivative of -j**2/2 - j + 11159. Determine 3*d(w) + t(w).
w + 6
Let s(m) = 15*m**3 + 20*m**2 - 4*m + 147. Let b(y) = -17*y**3 - 24*y**2 + 5*y - 144. What is -5*b(d) - 6*s(d)?
-5*d**3 - d - 162
Let f(m) = -26*m**2 + 14. Suppose -33*v - 350 = -43*v. Suppose 13 = 5*q - 3*q + d, v = 4*q + 5*d. Let u(a) = 17*a**2 - 9. What is q*f(z) + 8*u(z)?
6*z**2 - 2
Let r(o) = -11 + 88*o + 23 - 78*o - 6 + 7*o**2. Let x(d) = d**2 - d + 1. Give -r(q) + 6*x(q).
-q**2 - 16*q
Let b(g) = -g**2 - 5*g + 3. Let c be b(-6). Let i(j) = -299 + 167 + 140 + 8*j**2 - 7*j**2 - 17*j**2. Let n(p) = 5*p**2 - 3. Give c*i(l) - 8*n(l).
8*l**2
Let h(f) = -6*f**2. Let a(o) = -o**2 - 25 - 23*o + 11*o + 9. Let g be a(-15). Let d = g + 56. Let m(s) = -3*s**2. Give d*m(k) + 3*h(k).
-3*k**2
Let x(u) = 143*u + 11. Let g(k) = 140*k + 7. What is 10*g(s) - 9*x(s)?
113*s - 29
Let d(j) = 3*j - 3*j**2 + 3*j**2 + 4*j**3. Let o(h) = -63*h**3 - 49*h. Suppose 250*i - 137*i = 109*i + 12. Give i*o(n) + 49*d(n).
7*n**3
Let x(l) = 327*l**3 + 3*l**2 + 2*l. Let i(f) = -164*f**3 - f**2 - f. Calculate 7*i(r) + 3*x(r).
-167*r**3 + 2*r**2 - r
Let g(z) = -45*z**3 + 7*z**2 + z. Let j(s) = -23*s**3 + 4*s**2 + s. Suppose 0 = 2*w - 10, -15 = -84*n + 79*n + w. Determine n*g(i) - 7*j(i).
-19*i**3 - 3*i
Let c(o) = -9589*o**3 + 5*o**2 - 10*o - 10. Let h(x) = 9588*x**3 - 4*x**2 + 8*x + 8. Give -4*c(b) - 5*h(b).
-9584*b**3
Let i(a) = 1. Let f(c) = 15*c**2 - 8 + 13*c**2 - 9*c - 27*c**2. Let o be f(10). Suppose -3 = o*t - 15. Let p(n) = -2*n - 4. Determine t*i(x) + p(x).
-2*x + 2
Let r(t) be the second derivative of -t**4/12 - t**2/2 + 19641*t. Suppose 3*c = -19 + 1. Let l(p) = p**3 - p**2 - 1. Determine c*l(n) + 6*r(n).
-6*n**3
Let h(j) = 0*j**3 + 6*j**2 - 3*j**2 + 19793 - 9895 - 9902 + 2*j**3. Suppose 3 + 3 = 2*v. Let x(d) = d**3 + d**2 + 1. Determine v*x(s) - h(s).
s**3 + 7
Let m(w) = 5225 - 5229 - 22*w**2 + 3*w + 20*w**2. Let j(k) = -8*k**2 + 12*k - 17. Determine -2*j(u) + 9*m(u).
-2*u**2 + 3*u - 2
Let d(w) = 87*w**2 + 66*w - 326. Let l(y) = -27*y**2 - 22*y + 109. What is 4*d(r) + 13*l(r)?
-3*r**2 - 22*r + 113
Let p(b) = -b + 7. Let l(d) = d**2 - 254*d + 15601. Let k be l(150). Let w(q) = -1. Give k*p(c) - 2*w(c).
-c + 9
Let c(f) = -33*f + 836. Let u(y) = 180*y - 4179. Give -11*c(d) - 2*u(d).
3*d - 838
Let m(u) = -u. Let g(t) = 0*t + 3*t - 2*t - 2*t + 67 - 3*t. Let o be g(18). Let n(k) = -3*k. What is o*m(i) + 2*n(i)?
-i
Suppose 5*p - 225 = 4*v, -1 = -v + 4. Let i(x) = 7*x**2 + 6*x + 6. Let d(f) = -56*f**2 - 49*f - 49. Let c = -4345 - -4351. Determine c*d(a) + p*i(a).
7*a**2
Let r be (-23)/7 - 22/(-77). Let f(o) be the first derivative of 25 - 1/2*o**2 - 3*o. Let d(a) = a + 2. Calculate r*f(k) - 5*d(k).
-2*k - 1
Let k(y) = -y**2 + 9*y - 16. Let z be k(6). Let x(w) = 4*w - w**2 + 10*w**2 - 5*w - 8*w**z. Let a(l) = -5*l**2 + 5*l - 2. What is -a(u) - 3*x(u)?
2*u**2 - 2*u + 2
Let l(p) = p - 3. Let o(y) = 21 + 51 + 48 - 165 + 44. Determine 3*l(b) - 8*o(b).
3*b - 1
Let n(v) = -7311*v**3 + 34*v**2 + 17*v - 12. Let a(k) = -2438*k**3 + 12*k**2 + 6*k - 4. What is -17*a(u) + 6*n(u)?
-2420*u**3 - 4
Let a(j) = -3*j**2 - 7*j - 5. Let b(t) = -t**2 - 41*t + 1657. Let k be b(-66). Let c(m) = -m**2 - 4*m - 3. Determine k*c(g) - 4*a(g).
5*g**2 - 1
Suppose 41*z + 150*z + 427 = 45. Let l(t) = -t**2 + 12*t. Let d(s) = s**2 - 11*s. Determine z*l(p) - 3*d(p).
-p**2 + 9*p
Let p(s) = 2*s + 2*s - 30*s + 19*s + 7. Let r(m) = -1. Give p(c) + 6*r(c).
-7*c + 1
Let w(n) = n + 9. Let m be w(-11). Let g be (-10 - -13)*m/3*-2. Suppose 2*p = g*p - 32. Let c(j) = 3*j + 5. Let z(q) = 10*q + 16. Give p*c(h) - 5*z(h).
-2*h
Let h(j) = -2841*j**2 - 4*j + 6. Let i(s) = -2830*s**2 - 5*s + 7. What is 5*h(z) - 4*i(z)?
-2885*z**2 + 2
Let w(d) = d + 6. Suppose 634 - 650 = 8*p. Let i(v) = 1. What is p*i(u) + w(u)?
u + 4
Let g = 4071 - 4062. Let s(t) = 17*t + 4. Let y(w) = -4*w - 1. Calculate g*y(h) + 2*s(h).
-2*h - 1
Let x(u) = 1857*u**3 + 5*u**2 + 19*u - 5. Let p(d) = 2786*d**3 + 7*d**2 + 27*d - 7. Give -5*p(h) + 7*x(h).
-931*h**3 - 2*h
Let u(l) = 4059*l**3 - 1353*l**2 + 10824*l. Let s(x) = -2*x**3 + x**2 - 8*x. Give -2706*s(c) - 2*u(c).
-2706*c**3
Suppose 6031*w - 5964*w - 67 = 0. Let b = 7 + -4. Let i(o) = -4 + 2 + b. Let j(p) = 2*p**2 + 3. Determine w*i(c) - j(c).
-2*c**2 - 2
Let z(g) = 3*g**3 - 133*g**2 + 74*g - 1323. Let n be z(44). Let v(h) = -6*h**2 + 6*h - 7. Let k(t) = 2*t - 6 + 0*t - 5*t**2 + 3*t. Give n*v(w) + 4*k(w).
-2*w**2 + 2*w - 3
Let f(t) = -128*t - 160. Let c(j) = 57*j + 81. What is -7*c(y) - 3*f(y)?
-15*y - 87
Let f(u) = 3976*u - 5. Let s(n) = -2651*n + 3. Calculate -5*f(v) - 8*s(v).
1328*v + 1
Let i(f) = -3*f - 3. Let c(m) = m**3 - 2*m**2 + 187*m + 12. What is c(w) + 4*i(w)?
w**3 - 2*w**2 + 175*w
Suppose h + 1 = 2*a, 2*a - 5*h + 8 = -h. Let j be (-2)/a - (6 - 4). Let b(c) = -11*c**2 - 9*c - 3. Let k(p) = 5*p**2 + 4*p + 1. What is j*b(y) - 7*k(y)?
-2*y**2 - y + 2
Let w(i) = -68 + 7*i + 119 + 5*i**2 - 52 + 7*i**3. Let s(l) = -3*l - 2 - 6*l**3 + 3*l**3 - 8*l**2 + 6*l**2 + 3. Determine 5*s(h) + 2*w(h).
-h**3 - h + 3
Let c(n) = 12*n**3 - 76*n**2 + 38*n - 38390. Let g(s) = -s**3 + 6*s**2 - 3*s + 2953. What is -3*c(y) - 38*g(y)?
2*y**3 + 2956
Let s(p) = 17*p**3 - 11*p**2 + 11*p - 11. Let l(m) = 9*m**3 - 6*m**2 + 6*m - 6. Let a(j) = -12*j + 1. Let g = 287 - 286. Let u be a(g). Give u*l(i) + 6*s(i).
3*i**3
Let l(r) = 11*r + 6. Let c(x) = -x**3 - 3*x**2 - 2*x - 1. Let f be c(-3). Suppose 0 = f*t + 100 - 75. Let n(b) = 10*b + 5. Give t*n(s) + 4*l(s).
-6*s - 1
Let g(o) be the first derivative of -38*o**2 - 32*o + 2. Let r(a) = -7*a - 3. Let k be (-4)/(-7 + 8) - 42/(-6). Calculate k*g(d) - 32*r(d).
-4*d
Let g(o) = 8*o + 2. Let z(c) = -5. Suppose 0 = 5*x - 2*x - 6. Let p(j) = 7*j + 11. Let f(n) = x*z(n) + p(n). What is 6*f(u) - 5*g(u)?
2*u - 4
Let d(u) = 3*u - 4. Let m be 1*((-21)/24)/(12/384*-4). Let t(y) = y - 2. Suppose h - 12 = 3*h - 3*n,