3 = -3*o for o.
-5
Suppose 0 = 12*a - 10*a + 70. Let h = 55 + a. Solve 3*n - 15 = 0, 0 = p - 3*p - 2*n + h for p.
5
Let m(v) = -v**2 - 12*v + 19. Let u be m(6). Let g = u + 94. Solve 0 = p + g*x - 10, -4*p - 5*x = -4*x - 2 for p.
0
Let t(u) = -u + 22. Let h be t(17). Solve 2*z + 4*r = -12, h*r + 21 = 4*z + 4*r for z.
4
Suppose -5*k + 9*o = 8*o - 18, k - 12 = -4*o. Solve -2*i + 13 = -k*h - 3, -4*h - 3*i = 6 for h.
-3
Let h(a) = a + 12. Let q be h(-8). Suppose 0 = -l - q + 8. Solve s = 3*g - 4*g - 6, -2*g = -l*s for g.
-4
Let m(w) be the first derivative of w**2/2 - w - 16. Let f be m(3). Solve f*c + 5*l = -20, 3*c + 3*l + 9 = -3 for c.
0
Let y(m) = 2*m - 13. Let r be y(4). Let p(j) = j + 11. Let x be p(r). Solve -4*q - 5*k = -20, q = -4*k - 1 + x for q.
5
Suppose 5*x = -j + 46, 3*x + 10*j - 15*j = 22. Solve -x = -2*u - 3, 0 = -5*p - 2*u + 31 for p.
5
Suppose -4*r - 2 = -14. Suppose 0 = -5*c + d + 23, r*d = -5*c + 2*d + 27. Solve -c*s + 15 = 4*v, -3*v + 3 = -v + s for v.
0
Suppose -f = 3*f + f. Solve -3*y = -6*y + 3*j, 5*y - j + 20 = f for y.
-5
Suppose h - 7 - 21 = 0. Suppose -36 = -3*t - 3*p, -4*t + 82 - 61 = -5*p. Solve t = -2*a - s, 5*a - 2*s + h = s for a.
-5
Let m(h) = -2*h**2 - 12*h - 4. Let v be m(-6). Let r be 2 + (v/(-4) - -1). Suppose -3 = -t + 2. Solve 3*i = 5*j - 10*j - t, j - r*i = -24 for j.
-4
Let z = 3 - 0. Suppose -d - 2 = 0, -z*u - 4*d = -5*d - 29. Suppose 0 = 5*l + 4*y - 30, u = -3*l + 5*l + y. Solve t - 11 = -2*x, l*x - t = 4*t - 7 for x.
4
Suppose 4*k = -c - 30, -2*c - c = 2*k + 50. Let h = 17 + c. Suppose 0*u + 9 = h*u. Solve 4*g = -f - 1, 0 = 4*f - f - g + u for f.
-1
Suppose -s - 8 = -4*s + g, 0 = 3*s + 5*g + 22. Suppose 0 = -5*z - s - 4. Let u be -3*(-1 - -2)*z. Solve 20 = -2*r + 6*i - i, u*r - 4*i + 16 = 0 for r.
0
Suppose 0 = -12*z + 5 + 115. Let c = z - -3. Solve -x - 7 = 3*v, 0 = -2*v + x + 5 - c for v.
-3
Suppose 2*g - 2 = -g - s, 2*g + 2*s + 4 = 0. Suppose 4*r + 0*b - 3 = 3*b, 0 = 2*b + g. Let c = 1 - r. Solve i + c = t + 3, i = 4*t + 8 for i.
0
Let h(l) = -l**2 - 17*l - 21. Let m be h(-15). Let v = m + -7. Suppose -j - 1 = -q - 8, 3*j = -v*q - 4. Solve -12 = -f - j*a, -2*f + 3*a + 1 = 5 for f.
4
Let f(t) = 24*t + 555. Let j be f(-22). Solve -4*v = -4*d + 12, -2*d + j = -5*v + 6 for v.
-5
Suppose -2*n + 22 = -2. Let u(v) = v**3 - 12*v**2 - v + 14. Let i be u(n). Solve -20 = -5*h - 4*p, -5*h + 3*p + 22 = i for h.
4
Let w(h) = -47*h + 52. Let y be w(1). Solve -y*v + 4*f = 15, -v - 5*f = v - 27 for v.
1
Let g = 30 - 14. Suppose -56*k = -60*k + g. Solve -k*z + w - 3*w - 8 = 0, -3*z - 20 = 5*w for z.
0
Let h be 2*4/(-8) + -70. Let m = h - -73. Suppose -9 = -5*g + 6. Solve -2*y - g*d - 21 = 0, -d = -m*y + d + 4 for y.
-3
Let c be 0 + 1 + (-456)/12. Let v = 40 + c. Solve u - v*n = -0*u - 20, 0 = u - 5*n + 30 for u.
-5
Let v = -1025 + 1028. Suppose b + 2*b - 15 = 0. Suppose 0 = -m - w + 8, -30 = 4*m - 9*m + b*w. Solve -4*h - 10 = 2*i, 0*h = -v*i + 5*h + m for i.
-1
Let v(c) = 4*c**2 - 23*c + 4. Let z(a) = -a**2 + 8*a - 1. Let q(b) = 3*v(b) + 8*z(b). Let w be q(1). Solve -7 = 2*t - y, w*y + 0 = -t - 14 for t.
-5
Suppose -24*f + 39*f - 30 = 0. Solve f*i - 10 = -4*a, -4*i = -i - 5*a + 29 for i.
-3
Let q(k) = k**3 + 6*k**2 - 14*k - 45. Let w be q(-7). Solve -5*g + 2*y = 0, 4*g + w*y + y = 0 for g.
0
Suppose -4*z = -0*z - 20. Suppose 0 = s + 2 - z. Let m be (-5)/(-10) + s/2. Solve 5*j = 2*c + j, -m*c - 3*j - 7 = 0 for c.
-2
Suppose -7*w = -3*w - 128. Suppose 4*m - 8 = 2*b, -2*b = -5*b - 4*m + 28. Solve -z + 8 = -4*z - 5*q, -b*q = -4*z + w for z.
4
Let a = 640 - 635. Solve -2*r = a*q - 7, -3*r - 5*q + 3 = -0*q for r.
-4
Let a(w) = 2*w**2 - 19*w + 51. Let n be a(7). Solve 5*b - 22 = -3*u, -4*u + b + n = 5*b for u.
-1
Let h(z) = -2*z**3 + 10*z**2 + 2*z - 6. Let n be h(5). Suppose -4*b + 4 = -n. Solve v + 3*x = -2*x + 21, -5*v + b*x - 30 = 0 for v.
-4
Suppose 31*w - 138 + 14 = 0. Suppose -3*z + 87 = 4*f, 6*f - 2*f - 108 = 4*z. Solve 2*v + 9 = -5*g + 25, w*v = 4*g - f for g.
4
Suppose 0 = -3*j + 5*h + 2, j - 6 = 2*j - 5*h. Let y be 476/77 + j/(-22). Let u = 26 + -17. Solve -3*c - q = -u, -4*q + y + 8 = c for c.
2
Suppose 7*l = 2*l + 20. Solve 4*o = 4*c - 16, -l = o + c - 4*c for o.
-4
Let a = 4 - 4. Suppose 0 = -2*r + 55 - 49. Suppose -3*y - 4*j + 4 = a, 4*y + 26 = 9*y - r*j. Solve -14 = -2*g + 4*x, 2*x + y = 5*g - 7 for g.
1
Let q(c) be the first derivative of 4*c**3/3 + 2*c**2 - 1. Let a = 12 - 15. Let w be q(a). Solve -4*z + w = 3*j, 5 = 4*j + 2*z - 17 for j.
4
Suppose 0 = 2*b - 3*d - 3, 2*b + 3*b + 3*d = 18. Suppose -4*q + 20 = -4*c + q, -b*c = -3*q + 12. Suppose -2*m + 10 = -c. Solve 5 = -x - r, -1 + 16 = -m*r for x.
-2
Let v be 19/(-4 + 15/3). Solve -8 = 4*o - 2*m, -9 = -5*o - 3*m - v for o.
-2
Let q be 13/(-4) + (-3)/4 + 1. Let f be q + (10 - (1 - 2)). Solve 2*o = -0*o + f, p - 10 = -3*o for p.
-2
Let o be 52/(-6) - 2/(-3)*1. Let s be 6/o*16/(-4). Solve -15 = 5*f, -7 = -4*v - 0*v - s*f for v.
4
Let r = -62 + 65. Solve -a + 2 = -4*i + 3, 4*i - r*a = 3 for i.
0
Let t be 6 + (2 - (-1 - -2)). Suppose -k = -d + 2, t*d - 6*d = 4*k - 7. Solve 5*b + 4 = -4*y - 3, -k*y = 2*b + 7 for y.
-3
Suppose -4 - 4 = -4*l. Solve -3*v = 15, 24*m - 21*m = l*v - 5 for m.
-5
Let u(k) = 12*k + 26. Let j be u(-2). Let c = 39 - 32. Solve -2*s = 4*x - 22, 4*x - j*x = 5*s - c for x.
4
Let g(k) = -k**2 + 7*k + 24. Let t be g(9). Solve -t*l + l = a - 3, 4*a = -3*l - 5 for a.
-2
Suppose -32*i + 37*i = 10. Solve r + i*c - 1 = -12, 2*c = 5*r - 5 for r.
-1
Let u be 12/16 + 33/4. Let v(j) = j**3 - 3*j**2 - 10*j + 17. Let n be v(6). Suppose n*f - 9 = 62*f. Solve -2 = f*x + 5*c - 10, -4*x - 5*c + u = 0 for x.
1
Let a(q) = -6*q**2 + q. Let y be a(-1). Let d = y - -14. Suppose 0 = -5*u + 6*z - 2*z + 7, -2*z = u - 7. Solve 0 = -p + r + 4, 5*p + 3 = -u*r + d for p.
2
Let q be (-75)/(-10)*(-14)/(-21). Let s be 2/(-5) + (-4)/(-10). Let v be 4/10 - 146/(-10). Solve s*g + q*g = -l - v, -2*g - 13 = -l for g.
-4
Let z be ((-40)/7)/(6/(-21)). Let o = 7 - 5. Suppose o*d - 8 - 8 = -5*c, -z = -3*c + 4*d. Solve 5*w - 32 = -c*y, 2*y + y = 3*w - 3 for w.
4
Let l be 1/(33/32 + -1). Let z = l - 4. Solve 5*b + 17 = 4*n, 5*b + z = -4*n + b for n.
-2
Let c be 2/((-468)/(-81) - 6). Let j(x) = -5 - 9 - 2*x + 4. Let d be j(c). Solve 3*w + 35 = 4*n, -5*n + 2 = 3*w - d for n.
5
Suppose 70*v - 53*v - 85 = 0. Solve -s - 2 = -2*x, 3*x + 15 = -v*s + 5 for s.
-2
Let s = -21 - -29. Let m be (-2)/4*(s + -10). Solve -4*h - 3*y + m = 0, 5*h - 5*y = h + 9 for h.
1
Let p be (-1 - -2)*2 + (-117)/(-9). Solve 0 = 5*s + 5*h + 45 - p, 28 = -5*s - 4*h for s.
-4
Let z = -93 + 97. Solve -16 = -4*y - r, -5*y - z*r + 16 = -y for y.
4
Let h = 7 - 3. Suppose h*l = 5*u - 5, -3*l + 6*l = -3*u + 3. Solve 3*i + 5*c - 10 = l, -4*i + 0*c + 3*c = -23 for i.
5
Let r(t) = t**2 + t + 4. Let s be ((-1 - 0) + 1)/(-29 + 31). Let a be r(s). Solve -2*o + 6*q - 3*q = 4, -q = -2*o - a for o.
-2
Let c = -818 + 822. Solve 3*f = -15, c*f + 27 = -i + 9 for i.
2
Let g = -31 + 49. Suppose 3*y + g = 24. Solve 0 = -3*v - 15, -4*b - v = y*v + 23 for b.
-2
Suppose 29*i + 6 = 33*i + 2*b, -5*b = i + 3. Solve i*g + 2 = -z, 4*g + 5 = 1 for z.
0
Let f(z) = -6*z - 2*z + 5*z + 4*z - 5. Let n be f(7). Solve n*s = -5*i + 7 + 14, 30 = 4*i - 5*s for i.
5
Let c(v) be the second derivative of v**4/12 - 7*v**3/6 - 2*v. Let y be c(4). Let j = y - -16. Solve 3*b + 9 = -2*t, -2*t - j = -t + b for t.
-3
Suppose -35 = -8*z + z. Suppose 14 = 2*l - z*q, 5*l - 2*l = -2*q + 2. Solve -3*v = l*o + 1, -3*o + 5 = v - 4 for v.
-3
Suppose -893 = -7*m - 879. Solve -4*y + 33 = 5*r, 3*y + m*r + 3*r - 31 = 0 for y.
2
Let m = -495 + 497. Solve -t + 10 = -4*d + 1, 2 = -m*d - 2*t for d.
-2
Let x(q) = 4*q - 47. Let m be x(13). Solve 3*h + a - 5 = 0, -3*h - m*a = -8*h - 5 for h.
1
Let z be -3 + 0*(-1)/7 - -5. Solve 5*y - 2*l = -23 - 0, 4*y + 22 = -z*l for y.
-5
Suppose 4*b - 16 = -0*b. Let c(p) = -p + 10. Let i be c(8). Suppose 0 = -i*k + 12 - 2. Solve 4*s - k*h = -15, 4*h + 33 = -5*s + b for s.
-5
Suppose 4*s + 0*c + c = 4, -2*s = 5*c + 16. Suppose -9*u + s*u = -133. Solve -3*b - 31 = -8*b - 4*p, -4*p = b - u for b.
3
Suppose 1 + 5 = 3*p - 2*w, -3*w = 0. Solve 2*n + 3*b + 2 = -0, 3*n + p*b - 2 = 0 for n.
2
Suppose -3 = -3*w + 9. Suppose g + 6 = 2*g - 3*j, j = -w*g - 15.