+ 5 for w.
-5
Suppose 3*w = 6, j - 6*j + w = -18. Solve j*g - 20 = -4*k, -2*k + 3 = -1 for g.
3
Let i be ((-2)/(-2) - -2)/1. Let a = -1 + i. Let u be (5 + -5)*(-2)/4. Solve -a*r = -6*r + 4*l, 2*l - 8 = u for r.
4
Let h = 75 + -56. Solve -2*n + 3*a + 7 = 0, n + 3*a = -0 - h for n.
-4
Suppose 19 = -m - 3*p, 2*m + 3*p = 2*p - 13. Let s be m + 1 - -5 - -18. Solve s = 5*z - 2*y, -4*z + y + 13 = -0*y for z.
2
Suppose -5*b = -b - 216. Suppose 0*z + 3*z = b. Solve -n + 4*r = -z, -4*r - 12 = -r for n.
2
Suppose 2*s - 53 = -s + 4*q, s = -5*q + 5. Suppose -m + 0*k = -4*k + 9, 3*k - 21 = -4*m. Solve 2*l = m*f + 15, -f + 3*f = 3*l - s for f.
-3
Suppose -i + 3*i = 0. Suppose -2*j + 5*j - 24 = i. Solve 0 = -3*g + 5*o - 19, -j = -4*g - o + 5 for g.
2
Suppose -v = c - 1, 3*c + 2 = 2*v - 0. Solve -l - v = 4*r - 0, 3*r + 3*l + 12 = 0 for r.
1
Let c = -4 + 6. Let x be (c/(-3))/(4/(-30)). Solve 15 = -x*b + 6*r - r, -b - r = -3 for b.
0
Suppose -f + 70 = 4*f + 5*y, -5*f - 3*y + 60 = 0. Suppose -3*b + 3 = -f. Solve -4*k - 3*h = -b*h - 22, -2*k + 20 = -5*h for k.
5
Let p(x) be the first derivative of 3*x**2 - 1/3*x**3 + 5*x + 1. Let q be p(6). Solve 0*v - q*v - 4*m - 36 = 0, 12 = -5*v + 2*m for v.
-4
Let g be (5 - 9) + (3 - 15)/(-3). Suppose 6 = 3*r - 2*r. Solve 3*w + r = 0, g*w + 4*w + 5 = -y for y.
3
Let m be 4/14 - (-78)/21. Solve -4*f = 4*a - m, -f + 5*f = -8 for a.
3
Suppose -2*v - 4 = -4*z, 0 = 5*z - 3*v + 1 - 4. Suppose 5*d - t - 17 = 0, -t = d - 1 - 0. Solve -d*p = -4*w - 13, 0 = -3*w + z*p - 5*p + 3 for w.
-1
Let q be (11/(-5))/((-7)/35). Suppose 5*n + 2*b + 10 = 9*n, 5*n - q = b. Solve n*v = 2*d - 16, 2*d + 21 = 4*d - 3*v for d.
3
Suppose 0 = -0*m + 2*m. Suppose m*f = -f. Let d be (-1 - f) + (-27)/(-3). Solve -8*p = r - 4*p - d, 4*r = 5*p + 11 for r.
4
Let f(z) = -z**3 + 10*z**2 - 10*z + 3. Let k be f(9). Let t be (4/k)/((-4)/18). Suppose -v - t*v = -56. Solve 0 = -4*w + 4*a + v + 2, -3*w - 5*a - 20 = 0 for w.
0
Let x be (2 + 4)*((-11)/(-2) + -3). Solve 0 = 5*p + 2*j + x, 5*p + 5 = -3*j - j for p.
-5
Let z be 114/30 - (0 + 2/(-10)). Solve -5*j = -3*q - 20, 5*q + 5*j = z*q for q.
-5
Let q(j) = -j - 9. Let i be q(-11). Solve -15 = -i*t - b, 4*t - 28 + 3 = -b for t.
5
Let y be -18 - (1 - -2) - 1. Let r = 26 + y. Solve -2*p - 3*p - 5*m = 0, p = -2*m + r for p.
-4
Let n = 4 + 0. Suppose -4*s = -0*s - n*v - 88, -s - 4*v = -17. Solve -2*p - f = -7, -5*p - 2*f = -3*f - s for p.
4
Suppose 3*y - 5*h + 3 = -13, 4*h = -y + 23. Suppose 5*o = 2*u + 20, 0 = 2*o - y*o - 3*u - 13. Solve -6*c + 4*t = -c - 14, 4*t = -c - o for c.
2
Suppose -5*c - 18 = 32. Let f be (-3 + 1)*15/c. Solve -8 = -f*y + 5*u, -5*y + 4 = u - 0 for y.
1
Suppose 3*o = 4*o + 5. Let d = o - 3. Let u be (-2)/d + (-1)/4. Solve 0 = -5*r - 20, u = -2*b - 3*b - 3*r + 3 for b.
3
Let x(a) = -2*a + 12. Let p be x(5). Let s = -4 + 4. Suppose -3*o + 2*g + 0*g + 12 = 0, s = 5*o - 5*g - 25. Solve -2*y = -p*b, o*b = 3*y + 5 - 0 for b.
-5
Let d = 5 - 1. Suppose -j = -4*h - 28, h + d*h = -j - 8. Suppose 4*r + 2*z = j, 4*r - 4*z + 2*z = 20. Solve -r*s + 4 = 4*n, 7 = 2*s - 3 for n.
-4
Let v = -11 - -21. Let n = 14 - v. Solve 2*q + n + 15 = 5*z, 3*z - 12 = q for q.
3
Let m be 6 + (-13 - -1)/4. Solve -s - 19 = -m*g, 5*g - 2*s - 33 = -0*s for g.
5
Suppose -4*r = -3*r + 21. Let u be (28/r)/((-4)/6). Solve 0 = -u*d + d + n, n = 3 for d.
3
Suppose 5*n = -3*y + 35 - 13, -y = 3*n - 2. Let d = y + -9. Solve d*r - 3*t = 2 - 18, -t = 3 for r.
-5
Let w be (0 - -1)*3*2. Suppose 5*u - w = 3*u. Suppose 0 = r + 1 - 6. Solve 0 = d - r*n - 20, -u*d + 6*n - n = -10 for d.
-5
Suppose 6*o - 2*o - 20 = 0. Solve 5*x = -o*v + 4*v - 11, 2*v - 5 = -x for v.
4
Let v(g) = -g**2 + 4*g - 2. Let c be v(6). Let b = -10 - c. Solve 2*o - 3*a = b*o + 11, -o - 6 = 2*a for o.
-4
Suppose -3*s + 11 = -58. Let l = 33 - s. Suppose z + 3*h + l = 0, h + 0 = -z - 2. Solve 4*q = 3*w - z, -2*w + 8 = -6*w for q.
-2
Let y be (16/(-4))/8*-4. Suppose 0*k - y*k + 7 = -n, -3*k + 24 = 3*n. Solve -5 = -k*p - 2*x + 2, 0 = 4*p + 3*x for p.
3
Let m(d) = -d**2 + d + 16. Suppose -2*u = 4 - 8. Suppose 4*f = u*f. Let z be m(f). Solve 5*q - 17 = 3*p - 0*q, -z = 4*p - 5*q for p.
1
Let r be 1/6 - (-55)/30. Suppose 30 = r*g - z, -4*g + 80 = -z + 4*z. Solve 2*f = u - 5, -5*f + 0*f - 2*u = g for f.
-3
Suppose -2*d - 5*n = -15, 6 + 8 = 2*d + 4*n. Solve -2*x - d = -5*f, -5*x + f = -0*f + 24 for x.
-5
Let k = 41 + -31. Solve -5*d = 5*v - 4*d - 14, -k = -3*v + d for v.
3
Let k(r) be the second derivative of -r**3/6 + 11*r**2/2 - 7*r. Let a be k(7). Solve -a*u - 4*p = 0, 3*p + 10 + 6 = u for u.
4
Suppose 3 - 18 = -3*b. Suppose -4*r = 4*a - 16, 5*r = -6 - 4. Let v(h) = h - 3. Let j be v(a). Solve -5*w + 19 = -4*f - b, j*w = f + 13 for w.
4
Suppose -2*p + 10 = 6. Solve -4*i + 0*i = -2*c + 20, -p*i - 3*c = -6 for i.
-3
Suppose -3*a + a + 66 = 0. Suppose 4*w + a = w. Let n be -1 - (w + (-2 - 1)). Solve n = -m - 4*x, 8*x - 3*x = 4*m - 11 for m.
-1
Let s be (-2 - -9)/(2 - 1). Let k = -3 + s. Solve k*b = -3*l + 14, 9 = -2*l - 0*l + b for l.
-2
Let z be 0 + 4 - (5 - 5). Solve 3*g - 14 = -i - 7, -z*g + i = -14 for g.
3
Let f(m) = m**3 - 5*m**2 - 6*m + 5. Let h be f(6). Solve h*d + 3*q = -q + 24, 3*q = -4*d + 19 for d.
4
Let c(w) = w**3 + 18*w**2 - 18*w + 21. Let n be c(-19). Solve 0 = 3*m - 3*j + 3, 4*m - n*j + 0 = -2 for m.
0
Let c(m) = -m**2 - 4*m. Let y be c(-3). Solve 4*z + 3*s = y*z + 13, -15 = -3*s for z.
-2
Let u be 2/((2/3)/(-1)). Suppose 11 = -4*c - 1. Let m be 0 - (-4)/(c/u). Solve 4*q + m - 8 = -4*h, -4*q = -4*h - 20 for h.
-2
Suppose 3*j + 12 = 0, 2*z + 3*j + 72 = 7*z. Solve -z - 18 = 5*w - 5*l, 0 = -2*w - l - 3 for w.
-3
Let s = -41 - -43. Solve y - 4*q = -9*q, -5*y = s*q for y.
0
Let i = 3 - -2. Solve 15 = -i*k - u, -k - 16 = -3*k + 4*u for k.
-2
Suppose 40 = -5*w + w. Let g(v) = v**2 + 10*v + 2. Let m be g(w). Solve -1 + m = -s - c, 4*c - 14 = 5*s for s.
-2
Let i = 22 + -19. Suppose -i*b + 1 = -11. Solve -b*r - 5*v + 2*v = 1, -r - 3*v + 11 = 0 for r.
-4
Suppose n + 2*n = 189. Let g be (-22)/(-8) - 2/(-8). Suppose -4*c - n = -5*i - c, -g*i + c = -41. Solve -5*w - i = k - 4*k, 3*w - 5*k = -25 for w.
0
Let b(n) = 6*n**2 + 3*n + 2. Let t be b(-2). Solve 4*k + t = -3*z, -4*k + 4 = z - 8*k for z.
-4
Suppose -4*k = -0*k + 32. Let x be ((-4)/k)/((-2)/(-12)). Suppose -x*w = 5*i - 21, 4*i - 7 = 5. Solve 0 = -3*s + w*s - 4*n - 7, -2*s - 2*n - 8 = 0 for s.
-3
Let o = -129 + 131. Suppose 0 = -0*s - 5*s - 5. Let p be (3/(-6))/(s/4). Solve 4*l - 2*q = p*l, -3*l = o*q - 25 for l.
5
Let w = -34 + 51. Let c = w - 12. Solve c*l + 5 = -2*h, 0 = -2*h + l + 18 - 5 for h.
5
Let x = -193 - -195. Solve -g + x*a - 3 = 0, 5*g - a - 33 = -12 for g.
5
Suppose 1 = -w, -2*g - 6*w + 6 = -2*w. Suppose 3*f + f - g*o - 30 = 0, -5*f + 5*o + 35 = 0. Solve -y = -0*p - 2*p, f*y = -10 for p.
-1
Suppose 0 = -0*m + 5*m - 20. Suppose -4*j + m = -12. Solve k = j*l + 14, 0 = -l - 5*k + k - 12 for l.
-4
Suppose -5*z + 65 = -40. Solve u + y - 2 = 0, -3*y = -u - u - z for u.
-3
Suppose 0 = 3*n + 5*z - 56, -n - 4*z = -2*n - 4. Solve -3 = -2*x - c, 0*x - x - 5*c - n = 0 for x.
3
Let y = 8 - 6. Suppose y*d - 6*d + 12 = 0. Let f = 4 + -1. Solve -p - 9 = -d*p + 3*c, -2*p + f = -c for p.
0
Suppose 4*k = 16, n + 5*k - 6 = 4*k. Solve -v - 3*h + 10 = 0, n*v - 2 - 2 = 2*h for v.
4
Let j(t) = t - 6. Let q be j(10). Let h(l) = -l**3 - 14*l**2 - l + 2. Let o be h(-14). Solve 0*n + q*n + o = 4*w, 0 = -5*w + 4*n + 15 for w.
-1
Let r be 1 - 1 - (-5 + 1). Suppose 0 = -r*y - y. Solve -2*g - 2*v - 8 = 2*g, y = -3*g + 3*v - 6 for g.
-2
Let m(a) = a**3 - 2*a**2 - a - 1. Let s = -7 + 10. Let g be m(s). Solve 8 = 2*r - 2*d, -5*r - d = 3 - g for r.
1
Let w = 3 + -1. Let n(a) = 1 + 3*a + 0*a**3 - a**3 - a**w + 3*a. Let l be n(-4). Solve 0 = g - r - r + 9, l = -5*g + 5*r for g.
-1
Let m be 27/18*(-8)/(-2). Solve -2*k + 6*k + 5*f = m, -9 = -k - 5*f for k.
-1
Let l be 26/(-143) - (-68)/11. Solve -l*n = -2*n + 2*c - 8, -5*n - c = -16 for n.
4
Let z = 4 - -1. Solve p - 2*s = 5*p + 4, 20 = -z*s for p.
1
Suppose c = -4*b + 10, 2*c - 2*b - 33 - 37 = 0. Solve 2*a - 4*z = -0*a - 18, -c = -5*a - 5*z for a.
1
Let i(c) = c**3 - 3*c**2 - 3*c - 2. Let a be i(4). Solve -3*n - 21 = 3*s, -3*s + a = -4*s for n.
-5
Let x(r) = r**2 - 11*r + 18. Let t be x(12). Solve -2*m + 