 - 0*x + 3*x - 26 for z.
-5
Suppose 0*j - 4*j = 0. Solve j = -3*l + 6, 15 = 5*z + 5*l - 5 for z.
2
Let c be 417/12 + 2/8. Solve 4*p + 4 + 4 = -k, 5*k - c = 5*p for p.
-3
Let z(g) = -2*g - 10. Let q = 4 + -11. Let b be z(q). Solve 2*l - b*r - 28 = -0*r, -5*l + 25 = -r for l.
4
Let o(b) = 1. Let t(y) = y + 2. Let x(n) = -3*o(n) - 3*t(n). Let z be x(-7). Solve 5*d = -4*k - 10 + 37, 2*d = -2*k + z for d.
3
Let b be (-1)/3 + 92/6. Suppose 2*p + 11 = 3*p - 5*q, b = 3*p + 3*q. Solve 2*y = c + 11, 0 = 3*c + p + 3 for y.
4
Let y = -14 - -18. Solve -2*u + 0*x + 5*x = -3, 5*u + y*x + 9 = 0 for u.
-1
Let u be (273/12)/13 + 2/8. Solve -3*j - u*j - 40 = -5*w, 15 = -5*j for w.
5
Let u be 4 - (8 + -3) - -4. Solve 16 = 4*v + 4*y, 0 = -u*v - 2*y + 11 for v.
3
Suppose 6 = -2*w, 2*x = 7*w - 2*w + 13. Let a be x/2 - (-18)/4. Let y be 3*2/(-3) + a. Solve -4*r + 4*t = 8, 4*r - y*t = -20 + 8 for r.
-4
Suppose 3*v = -2*y + 79, 0 = 3*v - 7*v + 3*y + 94. Solve 2 = 2*g - r, 0 = -5*g - 5*r + 10 + v for g.
3
Let x = -59 - -61. Solve 0 = -3*s + x*h - 6 - 11, 2*h = -3*s - 13 for s.
-5
Let t = -12 + 14. Solve -x - 8 = 3*m, -t*x - x = -2*m + 13 for x.
-5
Suppose -16 = -2*p - 2*p. Suppose 4*j = 2*r - 136, -r - j = -0*j - 65. Let c be (r/2)/(6/4). Solve -3*q + y = 8 - c, -7 = -p*q - y for q.
3
Suppose -3*a + 4*a = 5. Let g be 6/(-8) + 3/4. Let n = 10 - 3. Solve 0 = h - 4*b + 8, g = h - 3*h + a*b - n for h.
4
Suppose 5*l + 9 = y, y + 5*l = -0*y - 1. Solve -y*p - 8*g + 16 = -3*g, 3*g = 4*p + 16 for p.
-1
Let f(s) = s**3 - 5*s**2 - 3*s + 9. Let r be f(6). Solve t - 3*m = 7, 3*t + r = -6*m + 3*m for t.
-5
Let i(y) be the second derivative of -y**3/3 - 3*y**2/2 - 5*y. Let v be i(-3). Solve 4*q + 4*r = 2*r + 2, -v*r + 5 = 5*q for q.
-2
Suppose h - 21 + 2 = 0. Suppose -5*n = -64 + h. Solve 3*i - 3 = -5*k, 2*k - k = -3*i - n for i.
-4
Let w = 28 - 19. Let y = w + -12. Let k be (-4)/y*(-21)/(-14). Solve 4*s + 11 = k*q - q, 5*q = -5*s - 20 for q.
-1
Suppose 0 = -4*c + c + 5*d + 136, 3*c - 106 = -d. Suppose 0 = -2*f + 12. Let m = f + 1. Solve 5*w + c = 4*b, 3*w + m = 4*w + 4*b for w.
-5
Let f be (27/(-18))/((-6)/52). Let z = -1 + 1. Solve 0*i - f = -2*i + p, 2*i - 4*p - 22 = z for i.
5
Let z(a) = a + 13. Let n be z(-11). Suppose -7*v = -n*v. Solve v*j = 3*k - 3*j - 9, 5*k = 2*j for k.
-2
Let u(s) = -2*s - 4. Let f be u(6). Let h be (-42)/(-8) - (-4)/f. Solve l + 4*c = -4 - 4, -h*l = c + 21 for l.
-4
Let s be 4*((-34)/(-8) + -3). Solve -k - 12 = 2*y, 0*y + s*y - 2*k + 12 = 0 for y.
-4
Let x be (-1 + 2)*1 + 3. Suppose 0*b + 20 = 4*h + 3*b, -x*h + 28 = 5*b. Solve -3*y - 5*w + 21 = 0, -2*y + 11 = h*y + w for y.
2
Let t = -4 - -19. Suppose -p + 0*p = -t. Let f be 24/p + 4/10. Solve 0 = -a + 5*h - h + 8, f*a - 4*h = 8 for a.
0
Let y = -19 - -12. Let p = -1 - y. Let j be p/(-9) + 4/6. Solve -g + 5 = j, 5*g - 7 = -4*s + 26 for s.
2
Let o be ((-32)/(-20))/(2/5). Let t = o + -2. Solve -4*u + 0*a + a = 14, u + t = a for u.
-4
Suppose s + 12 = 5*s. Let u be -3 - (8/24 + 25/(-3)). Solve -2 + 6 = s*h - 2*x, -5*h + 15 = -u*x for h.
-2
Suppose 2*u - 2*a + 1 = 11, 5*a = -3*u + 15. Solve 5 + 8 = b + 3*n, 4*n - 30 = u*b for b.
-2
Suppose 0*n + 20 = 5*n. Suppose -4*q - 2*p = 2, n*q - 3*p - 2 - 1 = 0. Suppose q = -w + 3*w - 16. Solve -2*g + 7*g + 20 = 5*u, 2*g + w = -2*u for u.
0
Suppose l = -2*z, 4*l - 10 = -7*z + 4*z. Let q be ((-12)/(-8))/(z/(-4)). Solve 3*p = 6*m - 3*m + 12, -q*m - 6 = -p for m.
-1
Suppose 0 = 3*o - 6 - 6. Suppose 0*f = f - o. Solve -3*u + 7 = f*p - 8, 15 = 2*p + 3*u for p.
0
Suppose 107 = 4*n + 39. Suppose 0 = 3*k + 2*k. Suppose 6 - 4 = v. Solve 0 = 3*p - l - k*l + n, -v = -l for p.
-5
Suppose -4*a + 4*y = 5*y - 7, -2*y + 2 = 2*a. Suppose -2*n = n - 6. Solve 5*m + 0*m = -2*t - 23, -n*m - a*t - 8 = 0 for m.
-5
Suppose 2*i - 4*i = -38. Suppose -b = 16 - i. Solve -b*s - 12 = 0, -5*l - 3*s - 2 = -0*l for l.
2
Suppose -4*h = 3*s - 26, 0 = -s + 3*h + 6 - 19. Solve a - 5*u + 27 = 0, -2*u = -s*a + a - 12 for a.
-2
Suppose -3*g + 2*b = -5*g - 6, -3*g - b = -1. Solve x + 9 = 3*h - 3, 0 = -g*x + h - 9 for x.
-3
Suppose 4*x - 14 + 2 = 0. Solve -5*y + x*y - 5*r + 24 = 0, r - 2 = y for y.
2
Let v be 2 + -4 + 4 + 1. Solve 0 = -5*f - 2*s + 5 + 18, -2 = -f - v*s for f.
5
Suppose 0 = 4*q + 6 + 6. Let s be 7 + -1 + q + 18. Solve 4*y = -y - 25, -5*y - s = -2*b for b.
-2
Suppose -26 = -8*x + 14. Solve 4*k = m + 1, x*m + 5*k + 0 - 20 = 0 for m.
3
Let u(l) = l + 13. Let o be u(-10). Suppose -12 = -5*r + 2*r. Let h be 3 - 1 - (r + -4). Solve -5*n = v + 6, -h*n - o = 1 for v.
4
Let b be -3*20/(-15) - (-2 + 1). Solve -3*v + 3*k + 12 = 0, -2*k - 16 = b*v - 1 for v.
-1
Let g(x) = -x**3 + 6*x**2 - 5*x + 2. Let q be g(5). Let r be (0 - 2)/(-4 + 2). Let v be -1 + (r/1 - -4). Solve 5*l + 6 = -2*s, q*s + 0*l - v*l = 12 for s.
2
Let v(z) = -z**2 - 6*z - 1. Let d be v(-5). Suppose l = -l + d. Let n = 2 - l. Solve 2*m + 8 = 5*x, 4*x - 8 = 2*m - n*x for m.
-4
Suppose 3 + 5 = v - 4*a, -12 = 3*a. Let s = v - -13. Suppose s*p - 19 = 1. Solve 2*m + 0*m = p*x - 18, -5*x + 5*m = -20 for x.
5
Let j(z) = -z**3 + 4*z**2 - 2*z - 1. Let w be j(3). Let g be (-1)/(-2)*(w + -8). Let u = 6 + g. Solve u*y = 8*a - 4*a + 27, -15 = 5*a for y.
5
Suppose 3*r + 8 = 5*r. Let h be 7 - (3 + -1)*1. Solve h*j = r*n + 3 - 4, -3*n = 4*j - 24 for n.
4
Suppose 0 = 4*n + 4*g, 2 = -4*n + 5*g + 29. Solve -4*v = 4 + 12, 5*v + 26 = -n*m for m.
-2
Let o be (-84)/(-12) - (3 + 1). Solve -4*n - 4 = -3*a, 2*a - o*n = -a for a.
-4
Suppose -12 = -3*d, 6*u = 3*u + 2*d - 26. Let w = 8 + u. Solve -4*r - w*o + 6 = 0, -14 = -5*r - o + 1 for r.
4
Let t(s) = -s**2 - 8*s. Let m be t(-8). Solve 0*v + 10 = 2*v - x, m = -5*v + 5*x + 35 for v.
3
Let x = -6 + 11. Let r(u) = 2*u + 15. Let l be r(-12). Let s be ((-3)/l)/(1/12). Solve -5*b + 2 = -a, x*b - 2*a - a = -s for b.
1
Let y(p) = p**3 + 5*p**2 - p. Let i be y(-5). Solve z + 15 = -i*d, -2*d + 0 = -z - 1 for z.
-5
Let g be 46/14 - 4/14. Let f(d) = 2*d**3 - 3*d**2. Let i be f(2). Suppose i*t + 7 = 3*h, 0*t + 3 = 4*t - h. Solve -4*o = -y - g, t = 4*y - 2*y for o.
1
Let u be (1/(-2))/(1/(-4)). Let o = 2 + u. Let r be (4/(-2) - -16) + 0. Solve -4*q = j - o*j + r, 0 = 3*j - 5*q - 16 for j.
2
Suppose -3*r + 6 = -0. Solve 0 = h + 3*m + r, 0 = 5*h - 2*m - 30 + 6 for h.
4
Suppose -9*t + 46 + 44 = 0. Solve c - 30 = 5*h, 0 = 4*h + 2*c - 0*c + t for h.
-5
Suppose -6 = -0*l - 3*l. Let h be 40/16 + 1/l. Solve 0 = -n - 2*p + 4*p - 11, -h*n + p - 8 = 0 for n.
-1
Let v(p) = 7*p - 16. Let a be v(6). Suppose a - 20 = 2*n. Solve 4*u - 4*l + 2 + 6 = 0, -n*l + 8 = -2*u for u.
2
Suppose 0 = -k - 4*v - 20, -2*k + 20 = -6*k - v. Let w(g) = 2*g. Let u be w(k). Let a = 6 - u. Solve -2*r = -2*c - 8, -r + 3*r - 4*c = a for r.
1
Let y(q) = q**3 + 6*q**2 - 9*q - 10. Let p be y(-7). Suppose -4*h + 0 = -k + 14, 0 = p*h + 12. Solve 5*x - 5*a = 20, 2*x = -k*x - a + 6 for x.
2
Let i be (-15)/(-3) + -3 + 3. Suppose 2*f + z - 3 = 0, 3*f + 7 + 1 = z. Let r = 3 - f. Solve 0 = r*b + i*y - 1, b + 4*y = -14 + 6 for b.
4
Let h be 4 - 7/(7/2). Let c be 1*(3 - (1 - h)). Solve 4*f - 2 - 18 = 4*i, -c*f + 18 = -3*i for f.
3
Let g = -36 - -38. Solve d - 4 - 9 = -4*u, -g*u - 7 = 5*d for u.
4
Let i(o) = -2*o + 5. Let j be i(-5). Suppose 0 = -3*c - 4*z + j, 3*c - c - 4*z - 10 = 0. Solve c = 5*a - 4*t, 0 = 2*a + 3*t - 0*t - 2 for a.
1
Suppose 2*b + 2*v - v - 19 = 0, 0 = -2*v + 6. Solve b*r - 4*r - g - 12 = 0, 3*r + 4 = 4*g for r.
4
Let l = 8 + -3. Suppose -l = -5*j + h, -2*j - h - 25 = 4*h. Solve 2*w = -10, j = p + 4*p + w + 10 for p.
-1
Let c = -31 - -49. Suppose 7 = p - n, -3*n - 11 = -5*p + c. Solve -12 = 4*j, -4*t - p = -2*t - 2*j for t.
-5
Let l(x) = -x**3 + 9*x**2 - 9*x + 11. Let r be l(8). Solve 4*y = 0, -4*b - 5*y - r = -3*b for b.
-3
Suppose 10 = 6*z - 4*z. Solve -2*d - z + 1 = 4*j, -2*d = -j - 11 for d.
4
Suppose 0 = -3*u + 2*b - 4, -u - 9 = -3*b + 4. Suppose -2 = -3*r + 1. Let t = r - -5. Solve 8 = 4*s - c, -c = -2*s + u*c - t for s.
3
Let y = 5 - 3. Solve -m - 19 = -y*m - 5*n, -2*m + 2*n - 10 = 0 for m.
-1
Let v = 2 + 4. Let b = v - 3. Solve 4*o - 16 = 2*i, -b*i - 2*i - 3*o = 1 for i.
-2
Suppose -12 = -7*j + 4*j. Solve -j*m - 17 = 3*b, -5*m + 0*b - 4 = -2*b for m.
-2
Let c be (2 + -2)/3 + 9. Suppose -c*h = -6*h. Solve -4*a - 22 = -h*a + 5*k, 2*a + 8 = -k for a.
-