z*a - 3*p + p - 35 = 0 for a.
-5
Suppose -8*r + 4*r + 5*x = -8, 0 = 2*r - 3*x - 4. Let i = r + 0. Solve 2*h = i*f - 4, -4*f + f - 4*h - 22 = 0 for f.
-2
Let b(c) = -3*c - 4. Let h be b(-9). Solve -5*l - h = -2*k, 0 = -2*k - 3*l - 0 - 17 for k.
-1
Suppose 2*m - 11 = m. Suppose -v + 0*v = -m. Solve 0*l + v = 4*p - 3*l, -9 = -5*p - l for p.
2
Suppose i - 5*v + 17 = 0, 4*i - v = -3*v + 20. Solve -3*q - 12 = i*z, -2*q - 4 = -4*z + 10 for z.
1
Suppose -6*o + 4 = -4*o. Solve t + 2 = -4*i + o*t, 4*i - 4*t = -8 for i.
0
Suppose 0 = 2*u - 4*q - 12, -15 = 3*u + 9*q - 4*q. Solve u*p = 3*p - 2*j + 12, -4*j = -5*p - 20 for p.
-4
Let n = 4 + 1. Solve 0 = 5*v - 15, n = -q - 3*v + 18 for q.
4
Let s = 2 + -1. Solve -3 = 5*w + 4*b, 4*w + 2*b + 7 - s = 0 for w.
-3
Let a(n) = -n**3 + 3*n**2 + 2. Let i be a(3). Suppose i*t - 9 = -5. Solve 0*q + 9 = -s + q, 5*s = -t*q - 17 for s.
-5
Let a(s) = -s**3 + 2*s**2 + 4*s. Let c be a(3). Let i be (28 - c)*6/10. Let v be 5/(-1*(-2 + 1)). Solve -m - 6 = r + r, -i = -r - v*m for r.
-5
Suppose 0 = 13*j - 15*j. Solve -5*u + 3*p - 4*p + 11 = j, -2*u = p - 5 for u.
2
Let o(t) = 2*t - 13. Let b be o(12). Let d = 15 - b. Let f be ((-1)/(-2)*0)/(-1). Solve n + f = 4*r - d, -r + 1 = -4*n for r.
1
Suppose -3*j = 6 - 24. Let t be (27/18)/(j/8). Solve -4*x - 16 = 0, x - 22 = -t*k + 4*x for k.
5
Let s be 18/27 - (-4)/3. Let a be s*-1 - (-3 - 2). Suppose 0*l = -a*l. Solve l = -4*h + 4*z - 12, z + 2 - 9 = 3*h for h.
-2
Suppose -20 = -5*z, -6*s + 5*s + 5*z = 17. Solve 4*h - 8 = 0, -s*w - 3*h + 8 = -2*h for w.
2
Let g be (-1 - -10) + 4 + -5. Solve 3*o - 15 = 3*m, -2*m = -3*o + 5 + g for m.
-2
Suppose 2*l + c = 11, -4*c = -5*l - 3 - 2. Suppose l*x = 2*x + 3. Solve 3*m = -2*j - x - 7, 0 = -m - 5*j - 25 for m.
0
Let u(d) = -d**2 - 12*d + 15. Let f be u(-13). Solve 5*x - 7*o = -2*o, f*x + 9 = -o for x.
-3
Let z = 64 - 62. Solve -b + 2*c + c + 10 = 0, 16 = 3*b - z*c for b.
4
Let r(i) = -12*i**3 - i**2 + 1. Let y be r(-1). Suppose 6*t - 3*t = -y. Let p be 100/45 - t/(-18). Solve -2*m + 4*m - 16 = p*n, -4*m = 4*n + 8 for n.
-5
Suppose -53 = -4*x + 3*r, 2*r = 4*x - 7 - 43. Let k(l) = l**2 - 10*l - 9. Let p be k(x). Solve p*b = -3*q + 1, -5*q + 8 = -2*b - b for b.
-1
Let i = 1 + 2. Suppose 16 = a + i*a. Suppose 0*n + 2*n = a. Solve 2*k + n = -4*p - 2, 14 = -2*p + 2*k for p.
-3
Let s be 0 - (1 - (9 - 2)). Suppose -6*u + 5*f = -2*u - 95, -15 = 5*f. Let t be u/15*s/4. Solve 3 + 3 = -w - g, t*g + 6 = 0 for w.
-3
Let b = -12 + 8. Let q = b + 10. Solve -3*v + 3*p = 18, v - q*v + 4*p - 28 = 0 for v.
-4
Suppose 0 = -2*b + 26 - 2. Suppose 2*n - b = -n. Solve -5*t + 2 - 17 = n*i, t - 4*i = 21 for t.
1
Let z(c) = 4*c**2 + 1 - 2 + 0*c + 2*c. Let v be z(1). Suppose -n - 3 = 2, -3*x + 5*n = -67. Solve 0 = 2*r + v*o - x, 3*o - 3 + 5 = 4*r for r.
2
Let h(k) = k**2 - 3*k - 3. Let g be h(-2). Solve -2*l - w = 2*l - 21, l + 2*w = g for l.
5
Suppose -4*t - 2*a + 46 = 0, -a + 43 = 3*t + t. Solve -4*r + t = -3*m, -m - 4 = -2*r - 0*m for r.
1
Suppose 12 = 3*t - 3*w, 0*w + 4*w = t - 1. Solve -3*l + t = -5*i + 2*l, -3*i - 17 = 4*l for i.
-3
Let t(r) = -r**3 - r**2 + 10. Let h be ((-4)/3)/((-1)/(-3)). Let a = 4 + h. Let o be t(a). Solve 0 = -0*f - f - 3*u - 8, -5*u = 5*f + o for f.
1
Suppose -l = -2, -x = -5*l + 101 - 29. Let v be (-1)/(64/x - -1). Suppose 0 = y + 2*y - 12. Solve -5*u = -3*q + v, -u + 5*q - y = 11 for u.
-5
Let v = 28 + -24. Suppose -2*s - 8 = v*l, -3*s + 6*s + l = 13. Solve s*r = 2*r + 16, r + 11 = -5*h for h.
-3
Let m = -151 + 155. Solve -5*o + 5 - 24 = -2*c, 0 = o + m*c - 5 for o.
-3
Let r = -4 + 6. Let f = r + 1. Solve 0 = -2*q - g + 1, f*q - g - g + 2 = 0 for q.
0
Let y(a) = 2*a**2 + a. Let w be y(1). Suppose 3 - 9 = -w*x. Solve -2*l + 2*s = 8, 0*l + 7 = x*l + s for l.
1
Suppose 9 = -3*q - 5*s + 1, -2*q - 4*s - 8 = 0. Suppose -3*m + 9 + 3 = 0. Suppose m*n = -0*n. Solve -5*v + 2*o - q*o - 20 = n, 5*o + 23 = v for v.
-2
Let u(p) = -p**2 - 4*p + 1. Let h be u(-3). Solve 4*w + 2 = 3*y - 0, h = -2*w for y.
-2
Suppose -2*r = 12 - 16. Solve -r*x = -3*l + 11, -7*x = -3*x + 4*l + 12 for x.
-4
Suppose 3*y = k, 0 = 4*k + 3*y - 11 - 4. Solve -3*f = 5*g, 2*f = -k*g - 2 + 1 for f.
-5
Suppose n - 1 + 9 = 3*d, -5*n = d - 24. Let r be n/(-2) + (-7)/7. Let v = r + 15. Solve -3*l - 3*p = 0, 5*l + 0*p + 2*p = v for l.
4
Suppose -3*t + 10 = 2*t. Suppose 1 = 3*k - 4*k - 3*c, k + t = -4*c. Let b be 202/8 - k/8. Solve 3*q - 5*p = b, -4*p - 20 = -5*q - 0 for q.
0
Let m(i) = -i**2 + 11*i + 4. Suppose -x - 3*s = -6*s - 8, -4*x - 3*s = -47. Let b be m(x). Solve -z + t + t - 7 = 0, -16 = -b*t for z.
1
Let q(g) = -g**3 + 9*g**2 - 7*g + 3. Let l be q(8). Solve 4*n = -4*o + 20, -n + 0*n - 4*o + l = 0 for n.
3
Suppose 5 = -2*l + 13. Solve 4*i - 3*r - 2 = -0*i, 0 = -2*r - l for i.
-1
Suppose 2*u + 4 = -8*l + 4*l, 2*u = 3*l + 10. Solve -3 = -u*q + 3*z, q - 2 = 3*z - 2*z for q.
3
Let a = -26 + 44. Suppose 0 = 4*s + f - a, s = -2*s + 4*f + 23. Solve -s*i - z + 23 = 0, -3*z + 0*z = -5*i + 11 for i.
4
Let u(g) = -g**3 + 6*g**2 + 8*g + 5. Let c be u(7). Let j be ((-9)/c)/(-1)*4. Solve -3*h + 2*o = 6*o, -j*h + 5*o = 27 for h.
-4
Suppose 0 = f - 0*f - 55. Suppose -4*w = -45 - f. Suppose 0 = -t + 2*x - 0 + 2, -5*t = 5*x - w. Solve 2*p + 12 = -t*u, 1 = p + 3*u + 12 for p.
4
Suppose 0 = -3*z + z + 10. Suppose q = -4 + 5. Let m be q + -3 + 3 - 1. Solve m = 5*r + 6*v - v + z, 0 = 3*r - 3*v + 15 for r.
-3
Let m = -106 - -108. Solve 3*n - 3*o - 28 = -7*o, -16 = -2*n - m*o for n.
4
Let y be (2*-1)/1*1. Let g(t) = -t**2 - 3*t + 2. Let v be g(y). Suppose 0*m = -3*m + 9. Solve -m*n = 3*j - j - 5, -v*j + 4 = 0 for n.
1
Let x = 20 - 10. Suppose -3*q - q + 14 = 3*v, -3*q = 2*v - x. Solve -o - o = q*z, 2*z + 5*o - 3 = 0 for z.
-1
Suppose 0 = 3*o + 38 - 560. Suppose o - 24 = a. Let b be a/35 + 4/(-14). Solve -3*n + 7*n = b*u + 36, 3*u - 5 = -5*n for u.
-5
Let d = -2 + 5. Suppose 2*v = -d*v + 145. Solve 2*l + 0*y = 2*y + 12, 4*y + v = 5*l for l.
5
Suppose 8 = 7*k - 3*k. Solve 3*l = -k*o + l + 2, -2*o = 3*l - 1 for o.
2
Let h be 20/3 - (-2)/6. Suppose 4*c = 21 + h. Solve 0 = -2*j - b + c, 25 = 2*j + 5*b - 2 for j.
1
Let h be 1/(-4) - (-21)/4. Suppose -q + 2*q = l + 13, -4*q + 3*l + 47 = 0. Solve -5*d - 2*a = h, -3*d + q = 5*a - 8 for d.
-3
Let y(h) = h + 23. Let m be y(-20). Solve 4*z + 0 + 2 = u, -5*u = m*z - 10 for z.
0
Let p(l) = l**3 - 6*l**2 + 4. Suppose 4*g - 28 + 4 = 0. Let u be p(g). Let i be 51/6 - (-2)/4. Solve -2*d + w - 3 = i, u*d - w + 22 = 0 for d.
-5
Let g = 6 - 4. Let i be -12*(-1)/(3/g). Solve -6 = u + 2*p, -3*u - i = -p + 3 for u.
-4
Suppose 2*o - 11 = -2*z - z, -17 = 3*z - 5*o. Let q(l) = 7*l - 1. Let w be q(z). Solve -v = -k - w, 0 = 4*v - 3*v + 2*k + 6 for v.
2
Let x be -5 + 2 - 0 - -8. Solve 0 = 3*r - 2*n + 14, 0*r - n + x = -r for r.
-4
Suppose 0*z = 4*z - 16. Suppose -2*n + p = -z - 2, 0 = -4*n - 3*p + 32. Solve -i - 23 = -5*f, -12 = -n*f + 5*i + 3 for f.
5
Suppose 0 = -c - c. Suppose c*y = -4*y + 16. Solve 5*t - 3*t = 3*q + 11, 4*q + y = 0 for t.
4
Suppose -5*h = 4*l - 52, 4*l + 40 = 3*h + 2*l. Let a = -32 - -35. Solve -s - s - 14 = -a*b, -4*b + s + h = 0 for b.
2
Suppose 35 = 4*i - 9*d + 4*d, 8 = i - d. Solve 4*v = -3*c + 18, i*c = v + 2*v + 1 for v.
3
Let x(u) be the third derivative of u**6/120 + u**5/15 - 7*u**4/24 - 5*u**3/6 + 3*u**2. Let f be x(-5). Solve -p + f*g - 14 = -3*p, 21 = -3*p + 3*g for p.
-3
Let h(n) = -n**3 + 2*n**2 + n. Let q be h(2). Suppose -q*y - 6 = -42. Solve 5*v - 25 = u, 0 = 5*u - 4*v + 23 + y for u.
-5
Suppose 2*i - 13 = -3*a, 4*i - i = -4*a + 18. Suppose 0 = 2*o + a*n + 20, 5 = -o + 4*n + 17. Let j = o + 7. Solve -3*q - j*k + 20 = 2, q = k for q.
3
Let m = -20 - -34. Suppose -3*c = 4*v - m, -v - c = 2*v - 8. Solve 0 = 3*j + 4*x + 13, 0*j = 2*j - v*x - 10 for j.
1
Let k(c) = c**2 + 4*c + 5. Let i be k(-3). Suppose 3 - 9 = -i*u. Solve 9 = -3*h - 3*g, 5*h + 0*g + 23 = u*g for h.
-4
Let i(k) = -6*k - 1. Let j be i(-2). Suppose -3*q - 8 = -23. Suppose -2*v + q*v = 15. Solve 3*w - 40 = -5*f, -w - v*f = -j - 19 for w.
5
Let t = 20 - 24. Let m = t - -13. Solve 3*b + 3*s + m = 2*b, 3*s + 6 = -2*b for b.
3
Let w be 2/(-6) - (-20)/6. Let n(j) be the first derivative of -j**2/2 + 9*j + 1. Let b be n(7). Solve d - b - w = 2*l, -2*l + 4*d = -4 for l.
-4
Suppose 0*c = -2*