 1 for w.
0
Let b = -4 - -8. Solve 3*j - 8 = -b*z, 5*z - 11 = 4*j - 1 for j.
0
Let t be 156/(-27) + (-2)/9. Let q(j) = -j - 3. Let y be q(t). Solve 4*d + 4*u + 8 = 0, 10 = 3*d + y*u - 8*u for d.
0
Suppose -x - 4 = -3*u, -5*u + 2*x + 2*x - 5 = 0. Solve 3*d + 0 = -4*z + 31, -15 = -u*d for z.
4
Let w(z) = -2 - 2*z + z + 20. Let g be w(14). Solve 3*u = 5*s + 10 + 3, 0 = -g*u - 16 for s.
-5
Let m = 2 - -4. Let y be 4/m*(1 + 47). Suppose -6*t + y = -2*t. Solve 4*a = -b + t, -2*b - 13 = -3*a + 4 for b.
-4
Suppose -p = 3*p - 16. Suppose 9*k - 48 = -30. Solve h - 5*a + 1 = 16, 2*h + p*a - k = 0 for h.
5
Let w be (13 + -10)*(-40)/(-6). Solve 3*o = 5*j + w, -13 = -3*o + o + 3*j for o.
5
Let x = -8 + 10. Suppose -3*o = -8 + x. Solve -o*c + 7*t - 30 = 2*t, 0 = -3*c + 2*t - 23 for c.
-5
Let f be -3 - (7 - 1)/(-3). Let m = f + 3. Suppose m*u - 2 - 4 = 0. Solve 2*z = d + u, z - d - 2 = -2*z for z.
-1
Suppose -3*d = 2*d - 5. Let p = -1 + d. Suppose 0 = -4*a - 6*k + k + 15, p = a - 4*k + 12. Solve -5*u + 5*t - 5 = a, -3*t - 22 = 5*u - 3*u for u.
-5
Suppose 6*w = 8 + 22. Solve o + 3*a + 10 = 0, -o + 6*o + 10 = w*a for o.
-4
Suppose -4*s = 2*c - 9 - 15, 0 = 5*c + 4*s - 36. Solve 2*z - p - 5 = 0, 0*z = -c*z - 4*p - 20 for z.
0
Suppose -i = -2*i. Suppose 2*z + 2*z = 20. Suppose 2*o + 4 = 3*o. Solve -3*a - 3*x + z + 1 = 0, o*a - x + 2 = i for a.
0
Suppose t = -3*l + 22, 3*l = -0*t + t + 32. Let s be 40/(-6)*(l - 12). Solve 5*i + 0*i = v + s, 2*i = -v + 8 for v.
0
Suppose 3*c + 5*d = 5, -c = 2*c - 2*d + 2. Solve -4*v + 13 + 2 = -5*r, c = -5*v + 4*r + 12 for v.
0
Suppose 0 = -3*d + 5*d - 10. Suppose -5 - 10 = -5*z. Solve 2*r = 6*r, -z*r - 15 = -d*x for x.
3
Let h be (0 - -2) + 2 + 18. Let s = -20 + h. Solve -s*u + 6*u - 30 = 5*l, -4 = 2*l for u.
5
Let f be (13/13)/(1 - 2/4). Solve 0 = -3*s + 6, -s + 2*s = f*x + 6 for x.
-2
Let g = -16 + 16. Suppose 0 = 2*f - g*z - 4*z - 20, -5*f - 2*z - 10 = 0. Solve 0 = -4*k - l - 6, -3*l + 8 = -k - f*k for k.
-2
Suppose -2*o = 4*z + 1 - 3, -5*z + 20 = -o. Suppose -3*h = -5*h - 3*y + 10, 14 = 4*h + 3*y. Solve -h*u + 9 = -2*b - z*u, -b = u + 4 for b.
-5
Let q = 9 - 2. Let b = 1 + q. Solve -5*y + b = -6*t + 4*t, -4 = t + y for t.
-4
Let k(y) = 3*y - 6. Let h be k(3). Solve -7*a = -h*f - 2*a + 9, 9 = 3*f - 4*a for f.
3
Suppose -3*z + z + 24 = 0. Let d be (z/(-4))/(-1 + 0). Solve 3*h - 5*n = -19, 4*h = h + d*n - 15 for h.
-3
Let l be (-22)/(-4) + (-2)/4. Suppose -l = -n - 1, -2*n + 2 = -3*h. Let u be 1/((-2)/(-6)) + -1. Solve 5*x + 16 = -h*v, v + 0*v = u for x.
-4
Let d be (-1 - -4) + 5 + -4. Suppose -3*z + d = 2*u - 2*z, 1 = -u + z. Suppose c - 3 = u. Solve -c*r + 2*g + 3 = 5, 0 = -4*r - 5*g + 5 for r.
0
Let w(f) be the third derivative of f**5/60 + f**3/2 + 5*f**2 + 2. Let l be (2/4 + -1)*0. Let u be w(l). Solve b - 3*z = 9, z + 8 - u = b for b.
3
Let h(f) = -f - 1. Let w be h(-1). Solve -5*m - 2*k - 14 - 13 = w, -5*k + 5 = -2*m for m.
-5
Suppose 2*l + 0 = 4. Let q(b) = 6*b + b + b**2 - 2*b**2 + l*b**2 + 9. Let p be q(-6). Solve -5*x + u = 11, 5*x + 3*u + p = 2*x for x.
-2
Let j = 23 - 19. Solve -j*w + 18 = i, -4*w - 2 = -4*i - 10 for w.
4
Suppose -1 = 5*o - 11. Let u(d) = 15*d - 5. Let g be u(7). Suppose 0 = 5*x - 0*x - g. Solve o*w = 3*p - 15, w - 5*p + x = -5 for w.
0
Let t = 1 + -1. Suppose t*i = -4*i + n + 21, -5*i = -3*n - 28. Solve -1 - 3 = j - a, -2*j - i*a = -6 for j.
-2
Suppose 10 = 4*i + 2. Let c be (-2 + 1 + i)*5. Suppose a - q = -a + 10, -4*a - 4*q + 32 = 0. Solve -c*z - m - 6 = a, -z + 3*m = 12 for z.
-3
Suppose 15*a - 24 = 7*a. Solve 2*z - 5 = -r, 4 = z - a*r + 5 for z.
2
Let v = -11 - -13. Let r = v - -1. Solve 10 = 5*w - 3*t, r*w - 7*w = t - 8 for w.
2
Let u = 31 - 28. Solve -5*j + 4*b = 35, 2*b + u - 1 = -4*j for j.
-3
Let t be 6/2 + (5 - 7). Solve -5*m + 2*s + t = 4, 4*m = -s - 5 for m.
-1
Let h be 4 + (-26)/(-8) - (-3)/(-12). Solve 2*o + 3*y = 13, 4*o - o + 2*y = h for o.
-1
Let z(i) = 2*i - 5. Let q be 6/21 - (-66)/14. Let c be ((-2)/(-6))/(q/75). Let p be z(c). Solve 4*r = -0*a - a - 23, -p*r - 40 = 5*a for r.
-5
Let o(z) = z**2 + 2. Let j be o(0). Solve 0 = 2*c + n + j, -c + n = 2*c + 13 for c.
-3
Let r(q) = -q**3 - 9*q**2 + 10*q + 4. Let k be r(-10). Solve 4*d = k, 3*z - 2*d + d = -7 for z.
-2
Let a be 1/3 - (-28)/6. Let f be 9/2 - 4/8. Let v = 5 - f. Solve 2*x - i - 7 = v, x - i - a = 0 for x.
3
Let s = 0 + 2. Let p be (1 - 6)*((-14)/(-10) - 2). Suppose -s*o - 4*w + 22 = 2, -p*w + 6 = -3*o. Solve -3*i + 9 = 3*c, 3*i + o*c = 4*i + 6 for i.
0
Let k = -1 - 15. Let p = -13 - k. Solve 0 = p*m + 2*u - 19, 2*m + 2*u - 24 = -2*m for m.
5
Let r(h) = -3*h - 2. Let q be r(-2). Suppose 30 = 8*m + 2*m. Solve 11 = -5*n + 2*l, -m*n - q*l + 11 = -2*n for n.
-1
Suppose 58 - 202 = 4*x. Let d(z) = z**2 + 3*z - 3. Let f be d(6). Let w = f + x. Solve 15 = -3*g - g + l, -g - 2*l - w = 0 for g.
-5
Suppose -y = -w - 8 + 1, 3*w = 2*y - 18. Suppose 0*a + 24 = y*a. Suppose -2*s = s - 5*t - 16, s + a = -5*t. Solve -l - 15 = s*l, 0 = n + 5*l + 26 for n.
-1
Let j(w) = w. Let f be j(-4). Let y = 8 + f. Solve 0 = 7*l - 2*l + y*a + 25, 2 = 3*l - a for l.
-1
Suppose 4*v + 1 = -u - 7, -2*u = -2*v - 34. Let l be (-3)/(-3)*u/4. Solve 5*s + 22 = -2*f + l*f, 2 = -5*f - 3*s for f.
2
Let w(g) = g**2 - 10*g - 9. Let x be w(11). Solve 0 = -j - l - 4 - 0, 0 = -x*l - 10 for j.
1
Let o(x) be the third derivative of -x**5/60 + 5*x**4/24 + x**2. Let r be o(3). Let z be 7 + r/(-3)*1. Solve l + 2*l - 14 = z*y, -l - 14 = 3*y for l.
-2
Let a = -10 - -14. Solve 4*l + 0*u - 3*u - 2 = 0, -a*u - 9 = l for l.
-1
Let g be (-2*(-1)/2)/1. Let z be (20/3)/g*3. Suppose -3*t + z = t. Solve l + t*o - 12 = 0, -l + 2*o = -3*l for l.
-3
Suppose h = -3*x + 7, x + 3*x - 11 = -h. Solve 0 = x*m + k + 20, -4*m - 5*k - 32 + 12 = 0 for m.
-5
Let x(k) = -k**2 + 7*k - 6. Let v be x(6). Suppose v = 3*m - 6*m. Solve 23 = -s + 5*h, 0 = -m*h + 2*h - 10 for s.
2
Let c be 2*((-4)/2 - -3). Let b(i) = -i**3 - 11*i**2 - 6. Let z be b(-11). Let p be (-17)/(-6) - 1/z. Solve -k + 1 = 0, -6*f + c*f - p = k for f.
-1
Suppose 5*j - 2*p = -5 - 0, 8 = 4*j - 4*p. Let w = j - -5. Solve 3*v - w*a = -18, -v = -2*v + 2*a - 10 for v.
-4
Let f(r) = 25*r**3 + r**2 + r - 1. Let j be f(1). Let w be (-5)/((-5)/4) + -1. Solve -w*k + 4*u = -1 - j, -5*k = -5*u - 40 for k.
5
Let j be 1/3 - (-171)/(-27). Let l = j - -8. Solve -4*m = 3*k - l*m, -k = 5*m for k.
0
Let o be (-24)/(-18)*15/2. Suppose -3*u = -o + 1. Solve 5*d - u*f + 0*f + 29 = 0, -5*d + 2*f = 26 for d.
-4
Let p(a) be the first derivative of a**2/2 - 2. Suppose 5*n + 3*w - 2 = 0, 4*n + 1 = w - 6*w. Let k be p(n). Solve -t + 2*h + 3 = -k, -3*h = -2*t + 8 for t.
4
Suppose -5*h - 5*l = -30, l + l - 2 = 0. Let p = -10 - -6. Let c = p - -6. Solve 28 = -h*t - 4*q, 4*q + 6 + 10 = -c*t for t.
-4
Let r(n) = 2*n - 6. Let q be r(6). Suppose -5*s - 5*y + 4 = 14, s + 2*y + q = 0. Solve 4*j = -s*z - 8, -2*j + 13 = -7*j - 4*z for j.
-1
Let c = 9 - 5. Solve -c - 1 = 5*w - 5*o, -3*w = 2*o + 13 for w.
-3
Let s = -100 - -37. Let y be (-2)/3*s/6. Let p be (-944)/(-28) - (-2)/y. Solve 5*r - 3*m + p = 0, 0 = -5*m + 16 - 1 for r.
-5
Let y be 1 + (-55)/65 - 412/(-26). Solve -18 = -5*h + z, 5*z - 6 - y = -3*h for h.
4
Let p be 4/6*(945/6)/15. Solve p = -5*w + 2*s + s, w = 3*s - 11 for w.
1
Let b = -11 + 8. Let j(n) = -n**2 - 3*n + 4. Let g be j(b). Suppose g*k + 2*x = 10, -5*k + 2*x + 2*x = -6. Solve 0 = 4*m - 3*q - 9, 0 = -m + q + 4*q - k for m.
3
Let z be 2 + 0 + -2 + 2. Suppose 2*q = b, 0 - 20 = -5*b. Solve 2*r + r = q*j, -z*r = -4*j - 8 for r.
-2
Suppose 18*x - 4 = 32. Solve b + 3*o = -0*b - 10, x*b - 20 = 4*o for b.
2
Suppose a = -2*f + 28 - 8, -f + 4*a = -19. Suppose 2*u = -1 + f. Solve -3 = -u*s - 3*x, 0*s - 5*s = -3*x - 27 for s.
3
Let r be (-40 + (4 - 4))/(-2). Suppose 0 = -6*q + 4*q + r. Solve -4*y + q = 2*c, 0 = 3*c + 3*y - 2 - 1 for c.
-3
Suppose 2*h + 9 = 5*h. Suppose 5 = a + h. Solve 0 = -2*k + 10, -5*k + 40 = 7*i - a*i for i.
3
Let b be 65*(-2 - 24/(-10)). Suppose 5*t - b + 6 = 0. Suppose 0 = 2*i + 3 - 7. Solve -i*g + 2*o = t*o - 6, 3*o = 9 for g.
0
Let n = -8 + 11. Let i(u) = -3*u + u**2 + 2*u + 2*u - n. Let l be i(-3). Solve -4*w - 4*h + 3 - 35 = 0, -l*w + 3*h = 0 for w.
-4
Suppose 18 = 6*i - 0*i. Solve -i*b + 8 = q, -2 = q - 2*q for b.
2
Let g = 6 + -6. Suppo