2*c - 68 = 0. Solve -14*p = -0*p + l for p.
-5
Let s(o) = -11*o + 2. Let q be s(0). Let l(k) = -k**3 + 9*k**2 - k + 12. Let z be l(9). Suppose -z*a + 7*r + 32 = q*r, 0 = a + r. Solve a = g + g for g.
2
Let s = -15 + 24. Solve -2*r - s = -5*r for r.
3
Let u = 4 - 0. Let c = u - 1. Suppose c*t = 1 + 5. Solve 4 + 4 = -t*f for f.
-4
Let s be 3/((-5)/3 + (-174)/(-72)). Solve -3*o + s*o = -3 for o.
-3
Suppose -11*a = -9*a + 30. Let f = -15 - a. Solve v + f = 3 for v.
3
Let o(m) = 2*m**3 + 52*m**2 + 8. Let b be o(-26). Solve 14 = b*f - 18 for f.
4
Let u(j) = -9*j**2 - 45*j + 3. Let f be u(-5). Solve -93*i + f = -92*i for i.
3
Let x(h) be the second derivative of -h**4/12 - h**3/2 + h. Let g be x(-2). Solve g = -r - 0 for r.
-2
Suppose d + t - 3 = 2, -d + 4*t = 5. Suppose -3*j - v = 2, -d*j - 3*v - 6 = -j. Solve j = -n + 3*n - 4 for n.
2
Let h(s) = 2*s - 40. Let o be h(20). Suppose a - 9 + 4 = o. Solve 2 = a*y + 12 for y.
-2
Let v(p) = -2*p**3 + 20*p**2 + 2*p + 19. Let g be v(10). Solve 0 = -22*w + 9*w + g for w.
3
Let s(o) = -10*o - 34. Let y be s(-13). Let d = 96 - y. Solve g + 4 = -d for g.
-4
Let g(l) = l**3 - 9*l**2 + 12*l + 2. Let p(r) = -4*r**3 + 35*r**2 - 49*r - 8. Let a(f) = 9*g(f) + 2*p(f). Let j be a(10). Solve -j*v + 4 = -0 for v.
2
Let b(f) = 5*f - 20. Let z be b(4). Let i be (z + 2)/(0 + (-3)/(-6)). Solve r - i*r - 6 = 0 for r.
-2
Suppose 5*x = 2*x + 51. Let c = x - 14. Solve -6 = -c*b + 3 for b.
3
Suppose 22 = -6*i + 34. Suppose 3*p = 2*p, 4 = 2*a + i*p. Solve -1 = 3*c + a for c.
-1
Suppose -18 = -3*m + 18. Let r be (-18)/(-63) + m/7. Solve r*u = 14 - 4 for u.
5
Suppose 4*f + 0*f - 36 = 0. Suppose 4*w = 7*w - f. Solve -3*b = -w - 6 for b.
3
Let u be 6/33 - 294/(-77). Let p be (-16)/(-24) + (-8)/(-6). Suppose -p*b = 2*r - 14, -3*b - 5*r - 4 + 23 = 0. Solve -u*s = b - 0 for s.
-2
Suppose -30*j + 20 = -29*j - 3*l, 3*l = -5*j + 10. Solve 25 = j*t + 45 for t.
-4
Let a = -1243 + 1291. Solve -a*k + 3 = -45*k for k.
1
Let f(v) be the first derivative of v**3/3 - 4*v**2 + 10. Let h be f(8). Solve h = -0*c - 2*c for c.
0
Suppose 0 = -q - 4*t, t = q + 3*t. Suppose -739*v + 751*v - 36 = 0. Solve q = -5*a - 2 - v for a.
-1
Let v = 25 - 23. Let d be v/4 - (-6)/4. Solve d*c + 0 + 4 = 0 for c.
-2
Let k(x) = x**2 - 13*x + 9. Let u be k(0). Solve 4*q = -25 + u for q.
-4
Let i(f) = -5*f + 8. Let m be i(-3). Let w(j) = -j**2 + 22*j + 34. Let c be w(m). Solve c = -4*k - 9 for k.
-5
Let u(n) = -16*n - 104. Let y be u(-7). Solve -3*z - 20 = -y for z.
-4
Let o(v) = 9*v**3 - 16*v**2 + 6*v - 6. Let t be o(2). Solve -15 = 11*n - t*n for n.
5
Let h(j) = 2*j**2 - 13*j - 7. Let b be h(7). Solve b = 2*x + 10 - 0 for x.
-5
Suppose -36 = -3*h + 4*x, -3*h - 31 = -5*h + 5*x. Let g(d) = d**2 - 10*d + 18. Let c be g(h). Solve 3*p - 10 = c for p.
4
Let j be (-52 - 0)*(-2)/8. Solve -j + 18 = -c for c.
-5
Let c be ((-4)/(-5))/(2/45). Let p(l) = 4*l + 1. Let y be p(3). Let s = c - y. Solve -s = 3*w + 4 for w.
-3
Let o(k) = -3*k - 6. Let f(i) = 3*i + 6. Let z(r) = -3*f(r) - 2*o(r). Let d be z(-3). Solve -u - d + 2 = 0 for u.
-1
Let h(d) = 5 + d - d**3 + 24*d**2 + 5 - 32*d**2. Let v be h(-8). Solve g - v = -0*g for g.
2
Suppose -4*f = -5*k + 155, 3*f - 6*f - k - 102 = 0. Let r = -32 - f. Solve -16 = i + r*i for i.
-4
Let x(b) = -b**2 + 4*b + 7. Let g be x(5). Let p = 9 - 13. Let a be (-15*(-6)/75)/(p/(-10)). Solve -v + g*v = a for v.
3
Suppose -2*t - 2*m = -48, 0 = 5*t + 2*m - 51 - 81. Solve -4*s + 44 = t for s.
4
Let v(c) = -3*c**2 - 15*c - 15. Let p be v(-6). Let h be (-1)/(-3) + (-55)/p - 0. Solve 0 = h*z + 3*z - 15 for z.
3
Suppose -h + 5*h + 2*l = 80, 2*h = -3*l + 40. Suppose -22*q = -18*q + 168. Let b be (12 - (-2 - -2))*(-14)/q. Solve r + b*r = -h for r.
-4
Let w = 33 - 33. Let q(i) = -i**2 - 7*i - 10. Let m be q(-7). Let n = m + 15. Solve w = -n*r + 5 + 5 for r.
2
Let u(g) = 2*g**3 + 2*g**2 + g + 13. Let p be u(0). Suppose 0 = 3*b - p - 2. Solve b*j - j = 12 for j.
3
Suppose 0 = 4*x + 12, -4*g - 3*x - 9 = -3*g. Suppose -3*d = 5*m - 2*d - 15, -3*d = 3*m + 3. Solve -10*c + 8*c + m = g for c.
2
Suppose -8*k = -149 - 443. Solve 6 = -20*h - k for h.
-4
Let j(p) = -p**2 - 3. Let n be j(-2). Let f(r) = -r - 4. Let k be f(n). Let c be 2 + -1*(2 - 2). Solve k*i = i - c for i.
-1
Let n = -68 - -73. Suppose -4*q - n = -17. Solve 0 = h + 1 - q for h.
2
Suppose 4*p = -8, -c - 2*p = -2*c + 7. Suppose -1 = o - 3*r + 12, 2*o - c*r + 11 = 0. Solve 3 = -o*t + 11 for t.
4
Let j(i) = -13*i + 148. Let g be j(10). Let z(q) = -q**3 - 4*q**2 + 9*q + 7. Let c be z(-6). Let k = c - g. Solve -k*y = -2*y for y.
0
Let x(j) = -5*j**2 + 23*j - 73. Let y(p) = 3*p**2 - 15*p + 49. Let c(o) = 5*x(o) + 8*y(o). Let u be c(-8). Solve -2*i = -u*i + 4 for i.
4
Suppose -4*u + 5*v + 17 + 18 = 0, -4*u = 2*v - 14. Suppose -6*z + 19 = -u. Solve 3*c = -2 - z for c.
-2
Let p = -13 + 16. Let i(v) = -v**2 + v - 5. Let l be i(4). Let m = 23 + l. Solve -p = 3*c + m for c.
-3
Let x = 8 + -5. Suppose 0 = x*z - 0*z. Solve 2*q - 3 - 5 = z for q.
4
Let y = -2326 + 2332. Solve 17 - 5 = -y*h for h.
-2
Let u = -961 + 970. Solve -u = -4*p + 11 for p.
5
Let j be (-3)/(-9)*3 + 3. Solve 0 = -j*k + 4 + 16 for k.
5
Let u = 768 + -768. Let a(m) = m**3 - 5*m**2 - 8*m + 8. Let i be a(6). Let q be 8*((-2)/1)/i. Solve u = 4*b - q - 0 for b.
1
Suppose 0 = -2*d - 4, -8 = -2*b + 2*d + d. Let l(q) = 5*q**3 - 2 + 2*q - 2 + 3 - q**2. Let c be l(b). Solve -2*r + c = 13 for r.
-4
Let g = -1496 + 1499. Let n(k) = -k**2 - 1 - 2*k + 0 + 3*k**2. Let b be n(-1). Solve 0 = b*m + 15 - g for m.
-4
Let m(x) be the third derivative of -3*x**2 + 1/60*x**5 + 0*x + 1/3*x**4 + 0 - 5/6*x**3. Let f be m(-10). Solve -5*c + 5 - f = 0 for c.
-2
Let c = -13 + 16. Suppose -c*r - r = -3*j - 16, -4*r + 16 = -2*j. Solve j*t - t = 2 for t.
-2
Let n(z) = -z**2 + z + 1. Let u(g) = -2*g**2 - 3. Let s(f) = -3*n(f) + u(f). Let c be s(5). Let i(y) = y**2 + y. Let d be i(0). Solve -c*k + 3 + 9 = d for k.
3
Let a(u) = -u**3 - u**2 - u + 8. Let f be a(0). Let d = -939 + 942. Solve -r - f = d*r for r.
-2
Let l(y) = 4*y**2 + 2*y**3 + 29 - 3*y - 26 - 3*y**3. Let i be l(3). Solve -i*f + 15 = 2*f for f.
3
Suppose 5*n - 6*d - 8 = -4*d, 5*d + 20 = 5*n. Solve -13*f + 11*f + 8 = n for f.
4
Let y(x) = 2*x**2 - 18*x - 36. Let b be y(11). Solve -b*j = 22 + 2 for j.
-3
Let q(r) = r**2 - 3*r. Let b be q(3). Let i be 105/63*3/5. Solve 3*u - 14 - i = b for u.
5
Let v(s) = -s**3 + 8*s. Let k be v(2). Solve 13 - k = n for n.
5
Suppose -4*x + y + 87 = 0, -5*x + 66 + 36 = y. Suppose 68*g = 65*g + x. Solve -g*k + 6 = -9*k for k.
-3
Suppose -4*z + 110 = 18. Suppose -z - 9 = -2*d - 2*b, -b + 96 = 5*d. Suppose -6*h + 2*h = d, -5*h = -2*j + 29. Solve 2*r - j = 2 for r.
2
Let v(f) = -f**3 - 10*f**2 + 10*f - 10. Let k = -24 - -13. Let t be v(k). Let n be (-6 - 0)*2/(-4). Solve -n*h + 4 = t for h.
1
Let c = 472 - 461. Solve -c + 23 = 4*q for q.
3
Let q be (-8 + 2)*((-3)/(-2) - 1). Let t be (-1 - (-2 + q)) + -1. Solve -j + t*j = 10 for j.
5
Let p = 33 - 12. Suppose 2*b + 3*k = p, -2*k = 4*b - 5*b + 7. Solve 0 = -5*n + b*n + 8 for n.
-2
Let n(j) = j**3 + 4*j**2 + 3*j + 5. Let z(t) = t**2 + 14*t + 11. Let q be z(-13). Let y be n(q). Solve -3*b = -y*b + 20 for b.
5
Let y(k) = -4*k**2 + 14*k - 4. Let a be y(3). Solve -a*s + 8 = -2 for s.
5
Suppose 0 = 3*g - 15, -3*o = 2*g - 1 - 21. Suppose 0 = -v + o*v - 9. Solve 0 = -t - v*t + 12 for t.
3
Let a = 121 - 121. Solve a + 6 = -6*h for h.
-1
Let p = 93 + -94. Let m be 16/(-12)*3/2*p. Solve 0 = f - 2 - m for f.
4
Let r be 4 - (-4)/(-2 - 0). Let l(v) = 8*v**2 + 6*v - v**2 - v**r - 3*v + v**3. Let x be l(-2). Solve c = -4*c - x for c.
-2
Let l = -2589 + 2637. Solve -41*b + 25*b = l for b.
-3
Suppose -4*a - 9 = u, 4 = a - 5*a + 4*u. Let t be 1/(2*a/8). Let x be -1 + t/(-5 - -3). Solve x = -0*k - 2*k - 8 for k.
-4
Let y(p) = 2*p**2 - 13*p + 32. Let a be y(4). Solve -2*n - 2*n = -a for n.
3
Suppose -x + 66 = 2*x. Let g(k) = k**2 - 11*k + 4. Let l be g(11). Suppose 2*b = l*i + 16, b + 4*i + x = 6*b. Solve b*p = -p - 12 for p.
-4
Let z(o) = 4*o - 3. Suppose x - 4 = -x. Let i be z(x). Suppose -3*l + i*l - 4 = 0. Solve 5*v - l = 4*v for v.
2
Let u = 17 + -9. Let r be (3 - 1) + 0/4. Suppose -r*l - 20 = -4*t, -3*t - l + 14 = t. Solve -u = -4*s + t for s.
3
Let o(c) = c**2 + 