 - x, -3*z + k*z + w = -f for z.
1
Let h(w) = -w**2 + 9*w - 3. Let q be h(8). Let r(n) = 2*n - 5. Let t be r(q). Solve 2*p - 4*k = -6, 3*p = 6*p - 4*k + t for p.
1
Let c = -43 - -64. Solve 2*m - 2*j + j - 14 = 0, -5*m - j + c = 0 for m.
5
Let g be (-5 - (-3)/3)/(-1). Solve 2*r - 16 = -5*d, -3*r = g*d + 4 - 14 for r.
-2
Suppose -6 = -c - 5. Let v(y) = 6*y**2 + y - 1. Let p be v(c). Solve d + 2*r = 2, -p*d - 4*r + 4 = -3*d for d.
0
Suppose 2*h + 4 - 34 = 0. Let i = h - 9. Let g be 3/((-9)/i)*-4. Solve g*l - 4*l + 19 = -3*a, 0 = 4*l - a - 1 for l.
-1
Let x = 175 + -171. Solve -x*w - 3*a - a = -40, -3*w - 5*a + 40 = 0 for w.
5
Let w be (-6)/(-33) + 212/44. Solve -d = 3*a - 3, 6*d + 5*a = d + w for d.
0
Let d(b) = -2*b + 7. Let h(m) = -m + 3. Let w be (10/8)/(1/(-4)). Let a(j) = w*h(j) + 2*d(j). Let q be a(5). Solve 3*r = -6*n + n - 11, q*r - 4*n = -4 for r.
-2
Let u(x) = -x**3 + 2*x + 5. Let l be u(0). Solve 0 = 5*w + 15, -16 = -3*m + 2*m + l*w for m.
1
Let v(r) = r - 4. Let c be v(-3). Let a = c - -11. Suppose -4*u + 2*y + y = -24, -a*u + 2*y + 20 = 0. Solve -l = -f - 3*f + u, -l = 3 for f.
0
Let z be 3*1 + (0 - -1). Suppose 3*u + z*n + 6 = 0, -3*u + 6*u - n - 9 = 0. Solve u*y - 12 + 0 = 5*r, -r + y = 3 for r.
-2
Let s be 48/20*10/3. Suppose -3*b - 2*d + 10 = -b, -4*b + 2*d = -s. Solve -5*w - 7 = 2*k + 16, 3*k - 18 = b*w for k.
1
Suppose q = -4*q - 10, 5*h - 2*q - 29 = 0. Let a(p) = 4*p**3. Let t be a(1). Solve 20 = h*o + r, 6*o - 8 = 4*o + t*r for o.
4
Suppose c - n - 9 = 0, -5*n + 12 = -2*n. Solve 3*h - 2*z = -c, 4*z = 5*h - z + 30 for h.
-1
Let f(k) = -k**2 + 2*k + 2. Let s be 10/3*(-36)/(-20). Suppose 0*l - 3*l + s = 0. Let a be f(l). Solve -25 = 4*h + o, -5*h - 20 = -a*o + o for h.
-5
Let d(j) = -j**3 + 5*j**2 - j - 7. Let o be d(4). Solve -c + 0*n = o*n - 6, 5*c - 4*n + 28 = 0 for c.
-4
Let k = 126 + -123. Solve k*o + 2 = 3*c - 4*c, 0 = -c - 2*o - 2 for c.
-2
Let q(d) = -d + 5. Let j be q(6). Let n(z) = -z**3 - 2*z**2 - z. Let h be n(j). Solve 5*t - y + 9 - 1 = h, t + 2*y = 5 for t.
-1
Let s be (-6)/(-3) - (1 + 1). Let m be (3 + -2)*-1*s. Solve 5*d + 2*x + 20 = 0, -x + m*x = -2*d - 8 for d.
-4
Let f be -3*3/((-27)/6). Solve -3*p + 0*p = -f*h - 21, -3*p = -15 for h.
-3
Suppose 4*a - 1 = 7. Solve 4*x = -2*v - 12, v + a = 2*x - 2*v for x.
-2
Suppose 3*h - 2*y + 3 = -13, 2*h + 9 = y. Let v be (h/3)/(6/(-27)). Let n = 7 + v. Solve 4*d - 2 = 6, -3*b + n = -d for b.
4
Suppose 0 = -v + 3*y + 2*y + 20, -v + 4*y = -16. Solve -4*a - 3*w - 1 - 12 = v, 3*a = -3*w - 9 for a.
-4
Let x be (-14)/4 - 2/(-4). Let j = x - -5. Suppose -3*v + 5*l = -25, -j*l - 9 = -v - 0*v. Solve v + 5 = -5*r, 4*z = 4*r for z.
-2
Let h = 18 - 26. Let y be (-4)/h + 2/(-4). Solve 4*v - k - 3 = y, 2*v - 2*k + 4 = 4*v for v.
1
Let h = -5 - -7. Suppose -h - 1 = -3*a. Suppose 2*m - 5 = -a. Solve 0 = -u - 0*u - m*i - 9, i + 3 = 0 for u.
-3
Suppose -2 = -2*h + 3*h. Let c be (-1)/(-2)*h*-2. Solve x + 19 = c*x - 3*z, 5*z = -5*x - 5 for x.
4
Suppose 5*m - b = 3 + 1, 5*m - 8 = 2*b. Solve -2*h + 8 = 0, m*h = -a - 5*h + 15 for a.
-5
Suppose 6*j - 20 = 2*j. Suppose 0 = -w + 6*w - j. Solve 0 = -3*t - 3*u - 3, u - w = t + 8 for t.
-5
Let l = 3 + 8. Solve -6*y + q = -2*y + 7, 0 = -4*y - 3*q - l for y.
-2
Let n be 182/(-6) - 4/6. Suppose -5*i + 89 = 2*p, -2*p - i + 98 = i. Let a = n + p. Solve 4*d - 5*x - a = -0*x, -5*x = d + 1 for d.
4
Let o be 0/(-2)*(-6)/12. Suppose -4*q + o*q = -16. Suppose -q = 5*u - 19. Solve k + 4*k + 12 = -u*p, 16 = 3*k - 4*p for k.
0
Let x(d) = -d + 8. Let m be x(6). Solve l - 7 = 2*t - m, 6 = -2*l for t.
-4
Let r(n) = -3*n - 12. Let c be r(-6). Suppose 4*z + 0*z = -3*i + c, 4*i - 8 = -2*z. Solve -5*a + 6 + 5 = -4*u, 2*a = i*u + 4 for a.
3
Suppose -4*s + 20 = -0. Solve 0 = s*m - 2*b, 15 + 6 = -3*m - 3*b for m.
-2
Suppose 0*n = 4*n. Suppose n = -3*h + h + 8. Solve 2*k - 3*i = -8*i - 25, -h*k - i - 23 = 0 for k.
-5
Let i(t) = 7*t**2 - t + 4. Let u be i(3). Suppose -3*j - 13 = 2*w + 21, 5*j = 4*w - u. Let b = j - -17. Solve d = -a + 4*d + 5, b*a + 3*d + 11 = 0 for a.
-1
Suppose 0 = -4*h + 3*h + 1. Suppose -4*s = 1 - 9. Solve -t - 2*l - 2*l - h = 0, -l + 5 = s*t for t.
3
Let g be -2 + 52 - (2 + -2). Let p = g + -10. Solve -4*m = -5*w + p, 3*m = -2*w - w - 3 for w.
4
Let f be 38/10 - 6/(-30). Solve 0*b - f = 3*b + c, -2*b - 5*c + 19 = 0 for b.
-3
Let b(a) = a**3 - 2*a**2 - 3*a + 3. Let t = 8 - 5. Let w be b(t). Solve 0 = -x - 1, 0*x - w*x - 15 = 4*u for u.
-3
Let x = -178 - -181. Suppose 0 = d - 0*d - 2*h - 12, 0 = -d + 4*h + 22. Solve d*n + 9 = 5*v - 4, 5*v + x = -2*n for v.
1
Suppose -12 = -2*h - 2*h. Suppose -5*i + z + 26 = 0, -i - 2*z - h = -6. Solve -4*y - 3*t + 0*t = 24, i*t + 17 = y for y.
-3
Suppose 2*w + 46 = 3*w + v, 2*w - 100 = 2*v. Suppose w = 4*h - 0*h. Solve -3*f = -3*o - h, 0 = 3*f - 5*f - 2*o for f.
2
Let h be (-4)/(-10) - 69/(-15). Let q(d) = d**2 - 3*d - 5. Let j be q(5). Suppose j*y - 100 = 25. Solve 5*k + 2*m + 3*m = -25, 5*k - h*m = -y for k.
-5
Let d(j) = -j - 19. Let i be d(-13). Let f(m) = m**3 + 7*m**2 + 5*m - 4. Let y be f(i). Solve 4*g - 4*s + 2*s = -26, 0 = -4*g - y*s - 14 for g.
-5
Let c be (-16)/6*((-72)/(-16) - 6). Solve 11 + 0 = c*o - t, -9 = -3*o + t for o.
2
Suppose 5*r - 4*k = 7*r + 10, -k - 19 = -5*r. Let a(n) = 4*n**2 - 2*n. Let h be a(2). Solve -r*o - h = 4*w, 9 = -4*o + 3*o - 3*w for o.
0
Let v be (-26)/(-6) - (-8)/12. Solve h + 2 = -0*h - 2*j, -v*j = 15 for h.
4
Let d(j) = j**2 - 5*j + 6. Let p be d(6). Let s(c) = -c**2 - 10*c - 22. Let z be s(-6). Solve 3*n + 37 = 5*l, -z*n + p = -0*l + 4*l for n.
-4
Let j(p) be the second derivative of -p**4/6 - 11*p**3/6 - 3*p**2/2 + 2*p. Let o be j(-5). Solve r = -4*b - o - 10, -2*r = b + 3 for b.
-3
Let m = -3 + 0. Let q be m/15 + (-153)/(-15). Suppose -3*v - f = -6*v + q, -5 = -4*v + 3*f. Solve j + 26 = 5*i - 3*j, 14 = v*i - j for i.
2
Let t be 2 + 3 - 1 - 2. Solve 0*q - t*a = -q - 14, -5*q = -5*a + 45 for q.
-4
Let l be (-1 + 2)*(2 - 0). Let x(z) = 3*z**2 + z. Let n be x(-1). Solve 5*d = -2*u - 5 + 14, 0 = n*d - l*u - 12 for d.
3
Let i = 13 + -2. Solve -a = 3*a - 5*v - 32, -5*v - i = 3*a for a.
3
Suppose -i + 0 = -6. Suppose i*c + 10 = 8*c. Solve 3*n = -c*v - 5, 5*v + n = -3*n for v.
-4
Let p = 9 + -5. Let x = p - 2. Suppose 2 = x*j - 6. Solve -g - 11 = -j*y, 5*g + 17 = -0*y + y for y.
2
Let c = -9 - -11. Suppose -u + c*u = 4. Solve 5*t + 7 = -3, -4*t - 12 = u*p for p.
-1
Suppose -2*w = 0, 2*k + 2*w - 12 = 6*w. Let b = k + -2. Suppose b*z - 5*t - 53 = 0, 10 = z + 4*t + 2. Solve 4*f = z, -4*m - 3*f + 8*f = 31 for m.
-4
Suppose 0 = -4*h - 20, 7 + 16 = n - 3*h. Let f = 5 + 2. Suppose -g + 15 = 4*z, 2*g = -f*z + 4*z + 15. Solve -t + 20 = 4*t - z*c, n = 2*t + c for t.
4
Let s(k) = -k**3 + k**2 + k. Let r be s(0). Solve 4*t - 4*w = 0, -2*t + r = 3*w + 5 for t.
-1
Suppose 10 = -3*s + 43. Suppose 0 = 3*b - 2*o + 4, -3*b + 6*b - 21 = -3*o. Solve -g - g = b*a + 2, -4*a - g = -s for a.
4
Let x(z) = -z**3 + 6. Let p be x(0). Suppose 3 + p = 3*i. Solve 4*t = t + 4*w - 8, 5*t = i*w - 17 for t.
-4
Suppose -4*m + 0*m + 5*u - 25 = 0, -5*u + 25 = 5*m. Let d be 1 - -1*(m - -3). Solve -d*g + 11 = 3*r - 3, 3*r + 26 = 4*g for r.
-2
Let u(f) = f - 3. Let i be u(7). Suppose -8 + 2 = -i*c + 5*w, -3*w + 18 = 3*c. Solve 0 = 5*l - 3*g + 5*g - 21, 8 = -c*g for l.
5
Suppose k + k = 10. Suppose 5*z - 28 = y, -1 = -k*z - y + 21. Suppose -5*p + 14 + 1 = 0. Solve -4*r - d + 12 + 3 = 0, z*d - 6 = p*r for r.
3
Suppose 26 = 2*k + 7*j - 2*j, -4*k + 5*j + 22 = 0. Solve 0 = 3*u - 4*f - 12, 2*u + 0*f - 2*f = k for u.
4
Let d(j) = 11*j**2 - j - 2. Let k be d(-1). Let y be 4/k + (-6)/(-10). Solve -3*h - y = -h + 3*m, 5*h = -m + 17 for h.
4
Let n be 1/(1*(-1)/(-3)). Let i = 37 + -33. Solve i*m - 5 = n*m - 4*a, -3*m = -3*a for m.
1
Let u = 11 - 6. Solve 0 = -m + i + 4, u*i = 3*m + 4 - 18 for m.
3
Suppose 4*g + 11*g = 30. Solve g*t + 4*a - 9 = t, a = 2*t for t.
1
Let h(d) = -3*d - 29. Let m be h(-23). Solve -3*y + 5*g + 38 + 2 = 0, m = 5*y - 3*g for y.
5
Let n(g) = g**3 + 8*g**2 - 12*g - 17. Let z be n(-9). Solve 3*w - z = q, q + 4*q = 25 for w.
5
Suppose -3*a = -4*a + 21. Solve -w - 8 = -4*l + 2, -a = -5*l - 3*w for l.
3
Suppose -12 = 5*g - 3*p + 5, 7 = g + 2*p. Let h = 4 - g. Solve -h*a + 15 = 5*q, -21 = -5*a + a + 5*q for a.
4
Let l =