-5*p - 3 for p.
-1
Let d(q) = 4*q - 1. Let m(w) = w**3 + w**2 - 2*w + 1. Let z be m(1). Let y be d(z). Solve -u = -3*g + 4, 0*u - y*u - 4*g - 12 = 0 for u.
-4
Suppose -5*a + 3*a - f = 2, a - 2*f = 4. Let u(l) = 4 + 0 + 4*l - 10*l + l**2. Let n be u(6). Solve a = n*r - 3*s + s + 12, 5*r + 16 = 2*s for r.
-4
Let o(d) = -d**3 + 7*d**2 - 9*d. Let y be o(5). Solve -5*a = y*v - 30, -4*a + 12 = -0*v + v for v.
4
Let l = -6 - -25. Solve i - l = -4*y - 1, 3*i + 14 = 5*y for i.
2
Let x(i) = -6*i - 15. Let o be x(-4). Solve -5*l - 11 = 3*v, 3*v + l + o = -v for v.
-2
Suppose -5*g = 35 - 10. Let p be (g/(-10))/((-1)/(-62)). Solve -4*r - p = -3*l, 4*r + 0*r + 11 = -l for r.
-4
Suppose 3*k + g = 4*k - 2, -3*g = -5*k + 18. Let w(p) = 2*p + 2. Let r be w(-3). Let o be 5*1/((-5)/r). Solve 5*d = o*c + 45, k*d - 2*d - 10 = -2*c for c.
-5
Let n(r) = -r. Let w be n(-1). Suppose -5*y = o - 32, 5*y = 24 + w. Solve -3*u + o*u - 3*b - 3 = 0, -5*u + 3 = -4*b for u.
3
Let u(p) = -p**2 + 16*p. Let n be u(16). Suppose 5 = -8*s + 3*s. Let c be s*(-3 - 2) - -1. Solve 4*j + 7*m = 2*m - c, -2*m - 4 = n for j.
1
Let l be (-344)/28 - (-4)/14. Let q = -7 - l. Solve 2*w + w = q*b + 31, -5*w - 2*b = 0 for w.
2
Suppose -3*i + 0*i + 12 = 0. Let d(v) = v + 10. Let w be -1 + -9 + (11 - 9). Let j be d(w). Solve 0 = -q + i*g + 15, -6 = g - j for q.
-1
Let h(d) = -2*d**3 + 4 + 3*d - 2 - d**3. Let z be h(-2). Suppose -5*g - 3*x + 35 = 2*x, 5*g - 33 = -4*x. Solve -g*s - 5*p - 12 + 57 = 0, -5*p = -z for s.
5
Let i(f) = -5*f**3 + f. Let m be i(-1). Solve -5*w = 3*v + 6, -w + m*v + 3 = -5 for w.
0
Let x(p) be the third derivative of p**6/120 - 3*p**5/20 + 7*p**4/24 + 11*p**3/6 + p**2. Let q be x(8). Solve f - q*f + 1 = 5*r, 3*f + 3*r = 6 for f.
3
Let v = 3 - -28. Suppose -g + 90 = 4*g. Let n = v - g. Solve 3*s = 5*b + 11, -4*b - 2*s - n = -3*s for b.
-4
Suppose -4*z = -5*z - 3. Let d(y) = y**3 + 3*y**2 + 2. Let a be d(z). Solve r - 2 = 0, -f + 3*r = -a*f + 9 for f.
3
Suppose w + d = 2*d - 2, -3*w = -d - 4. Solve -5*k + w*c + c + 13 = 0, -3*c + 9 = 0 for k.
5
Suppose 3*d - 11 = -2*i + 11, -i + 1 = -d. Solve 2*o + v = -2*o + 21, 2*o - d*v + 12 = 0 for o.
4
Let k(y) = 3*y**2 - y + 1. Let v be k(-1). Solve 0*x = v*c + 4*x - 10, -31 = 3*c - 5*x for c.
-2
Let s be -2 - 7*1/(-1). Solve -4*u - 4*p = -u - 12, -3*u - s*p = -12 for u.
4
Let l(o) = -3*o + 6. Let n be l(6). Let h = n - -22. Let y = h - 5. Solve 3*c + 0*c + 15 = 3*i, -y*i - 4*c = -7 for i.
3
Let r(m) = 2*m + 6. Let k be r(-3). Solve -3*x + 0*x + 5*j - 26 = k, -x = 5*j - 18 for x.
-2
Let r(x) = 2*x - 7. Let z be (9 + -2)*(-6)/(-7). Let j be r(z). Solve -j*s = 3*o - 11, 0*s + 1 = o + s for o.
-3
Suppose -t - 18 = -3*c, -t + 38 = 3*c + 2*c. Solve 0 = n + y + 2, -4*n + 4*y = -3*n + c for n.
-3
Let g(n) = -n**2 - 9*n - 15. Let w be g(-6). Solve l + 2*p - 1 = 2*l, -w*l = -5*p + 3 for l.
-1
Let t(c) = -2*c + 9*c - 3 - 6*c. Let y be t(3). Solve y = 4*p + 2*u + 6, p - 2*u = 2*u - 24 for p.
-4
Suppose 3*p - 2*h - 9 = 0, 2*p - 3*p = -4*h - 3. Let g be -6*(-2 - (-5)/3). Solve 2*z + 4*a + 2 = 0, 5*z - a + p = -g for z.
-1
Suppose -2*u - 5*h = 21, -14 = -2*u - 3*h + 5*h. Let k be (1/2 + u)*2. Let w(b) = -b - 1. Let g be w(-3). Solve -g*z = -4*m, -4*z + k - 1 = -4*m for z.
2
Suppose -n = -2 + 1. Let f be -3*(-3 + 2)*n. Suppose -f*x = -x - 34. Solve -x = 2*z + 5*q, 5*q + 3 = -3*z - 15 for z.
-1
Let v = 12 + -10. Solve 4*a + 2*m = 12, -m = v*m + 6 for a.
4
Let y be 46/8 - (-3)/12. Suppose y*p - 2*p - 64 = 0. Let o = -11 + p. Solve t - 1 = -6*d + 4*d, 0 = -o*d - 2*t for d.
-2
Let p(u) = -u**2 + 3*u. Let f be p(3). Suppose f = 4*k + 9 - 33. Solve 2*o + 10 = -3*a - 7, -4*o = -2*a - k for o.
-1
Let p = 8 + -6. Suppose -5*i = 4*d - d + 18, 17 = -5*i - p*d. Let n be 3 + -2 - 1*i. Solve 5*r - 4*g - 25 = 0, -2*r + n*g + 23 = r for r.
1
Let s(q) = 14*q + 2*q - 3 - q**3 - 19 + 13*q**2 + 2. Let j be s(14). Solve -2*p - 2*w = j, -p + 0*w - 2 = -w for p.
-3
Let h = -107 + 109. Solve 1 = -m - c, -10 = m + 3*m + h*c for m.
-4
Let n(v) = -3 + v - v + v. Let z be n(7). Let r = z - 2. Solve -r*o + 7 = -u - o, -u + 1 = 3*o for u.
-5
Let a(b) be the second derivative of -b**3/6 + b**2/2 - 2*b. Let d be a(0). Suppose 5 = 4*z + d. Solve 0 = 6*j - 2*j + 5*q - z, 0 = -j + q + 7 for j.
4
Suppose 4*t = -8 + 44. Let z = t - 4. Solve -3*d + 19 = z*r, -4*r - 2*d + 7*d - 7 = 0 for r.
2
Let x(y) = y - 6. Suppose -p = -t - 7, 5*t - 31 = 2*p - 3*p. Let i be x(p). Solve 0 = h - 2, 3*h - 6 = -i*u - 15 for u.
-3
Suppose m + 31 = 2*a, -20 = -3*a + 3*m + 22. Suppose 0*u = u - a. Let l = 3 - 2. Solve 2*g - u = -s - 4, -g + s = l for g.
4
Let g = 8 + -2. Solve -3*h + z = 6, -g*z + z - 15 = 0 for h.
-3
Let z = -212 + 214. Let c = -2 + 14. Solve l - z*l - 7 = -2*h, -c = 4*l for h.
2
Let i(n) = -n**2 + 7*n - 5. Let q be i(5). Solve -w - 3 = q*b, -4*b - 3*w = -w for b.
-1
Let x(f) = -f + 2. Let a be x(-3). Suppose -2*z + a + 1 = 0. Let r be 158/6 + (-1)/z. Solve -5*d = 2*y - 3*d + 18, -r = 4*y + 2*d for y.
-4
Let z = -21 + 23. Suppose z*n + 2*n - 8 = 0. Solve -n*h + 0*f = 5*f - 18, -4*h - f + 18 = 0 for h.
4
Let k = -2 + 4. Let a = 2 - k. Suppose -f = 5*x - 119, -2*f = -x + 2*f + 7. Solve 4*g - 3*y = -4*y + x, y - 3 = a for g.
5
Let y(n) = 2*n - 12. Let p be y(7). Solve 14 = p*j + 5*g, -2 = 2*j - 4*g + 2 for j.
2
Suppose 4*s - 8 = 0, 4*w - 2*s = -6 + 2. Suppose w = -2*b - 2*b. Let g be (0 - (1 - b)) + 11. Solve m = 2*h + 6 + 2, -g = 5*m for h.
-5
Let s(p) = 2*p**2 - p + 2. Suppose 5*r = 4*k - 3, 0 = 2*r + 2 - 4. Let v be s(k). Suppose 3*m - 9 - 3 = 0. Solve l + z = v, -6 = -m*l + z + 6 for l.
4
Let x = 164 - 161. Solve x = -s - 2*d, s + d = -4*d for s.
-5
Suppose 0 = 2*t + 4*k - 32, -4*k + 2*k - 32 = -3*t. Let p be 3/(t/44) + 3. Solve 47 = -4*y + 5*c + p, 5*c - 17 = -4*y for y.
-2
Let q(p) = 13*p**2 + 1. Let y be q(1). Solve 4 + y = -5*m + o, m + 8 = -2*o for m.
-4
Let q(j) = -4*j + 8. Let r be q(1). Solve r*y - 2*x + 2 = -2, -x + 2 = -y for y.
0
Suppose 5*z - 24 = -z. Solve -z*v + 4 = 0, -2*p - v - 7 = 2*v for p.
-5
Let z be 2 - (0 + -2 - -2). Solve -z*c + 3*k = 7, 2*c + 0 = -k + 13 for c.
4
Let l be (12/(-4) - -4)*17. Solve -4*k - l = -v, 0 = 3*k - 6*v + v for k.
-5
Let z(k) = k - 1 + 5 + 0*k. Let r be z(-4). Let a = -21 + 23. Solve -4*h - 9 = -n + 8, -a*h + n - 11 = r for h.
-3
Suppose 3*t = 9*t - 18. Solve -1 = 3*x + 5*j - 28, 5*x = t*j + 11 for x.
4
Let s = -11 - -13. Solve -q - 5 = s*m - 0, 0 = -5*m - 5*q - 20 for m.
-1
Suppose 4*x = 16 + 44. Suppose 7*h - x = 2*h. Solve -5*k + 27 = -4*o, -9 = 5*o + h*k - k for o.
-3
Let g be 4/((2/15)/(-1)). Suppose x + 53 = -0*x. Let n = g - x. Solve p = t - 7, p + n = -2*p + 4*t for p.
-5
Let h(l) = -4*l - 2. Let f be h(-1). Solve f = s - 3*b, 0*s + b = -4*s - 5 for s.
-1
Let q be 8 + (3 - 3)*(1 - 2). Let d(u) = 6*u**3 - 2*u + 1. Let t be d(1). Suppose 3*w = t*w - 8. Solve w*r + b - 8 = -3*b, -4*b + q = 0 for r.
0
Let x = -4 + 8. Solve 2*l + u + 0*u + 11 = 0, x*u = 2*l + 6 for l.
-5
Let v = 6 - 0. Let s(z) be the first derivative of -z**3/3 + 9*z**2/2 - 8*z + 6. Let c be s(v). Solve c = -4*o + 2*q, o + 4 - 29 = -5*q for o.
0
Suppose 0 = 2*i - 2*w + 2, 0 = w + 4*w - 25. Solve k = 0, -2*g + k = -i*k for g.
0
Let d = 87 - 56. Suppose 5*k - 4 = d. Solve 2*b + 5*v = k*v - 16, 3*b = 4*v - 28 for b.
-4
Suppose -k - 5 = -9. Solve k*m = 6*m + 3*a, 4*m = -2*a for m.
0
Let b = -8 + 2. Let m = b - -1. Let s(r) = -r - 3. Let k be s(m). Solve -4*j = h - 21, 0 = -k*h - 3*h - 2*j + 33 for h.
5
Let y(d) = 15*d**2 + 1 - 4*d**3 - 17 + 3*d**3 + 17*d. Let m be y(16). Solve 6*n - 2*n = -b, m = n for b.
0
Let q(c) = -c**2 - 10*c - 2. Let x be q(-9). Suppose 2*u + 1 = x. Solve -3*j + 0 = 2*h + 1, 3*j + u*h = -6 for j.
3
Let v(q) = -7*q**2 + 3*q. Let t(m) = 6*m**2 - 4*m. Let n(f) = -6*t(f) - 5*v(f). Let i be n(9). Solve 5*p = 2*x - 12, -4*x + 4*p + 12 + i = 0 for x.
1
Suppose -7*b + 21 = -6*b. Suppose 2*p - r = 13, p + 6*r - 2*r - 2 = 0. Let k = p - 4. Solve -k*q = 2*h + 3*h - 29, 3*q - b = -3*h for h.
5
Let a = -18 + 34. Let n = a + -1. Suppose 3*m + 2*m = n. Solve 0 = -5*s - 4*y + 5 + 28, 4 = 2*s - m*y for s.
5
Suppose 8 = 2*r + 2*z, 0 = -2*r - 3*r - 3*z + 22. Solve c = 3*a + 8, -2*c - 4 = -r*a - 17 for c.
-1
Let n be 69/18 - (-3)/18. Suppose -5*v = -n*v. Solve 3*h = 5*r - 6