Solve -5*b + m = 5*w, w + 0*w = 3*b - 5 for w.
4
Let s = 37 - 37. Solve -5*k - 2*d - d - 40 = s, 2*k = 2*d for k.
-5
Suppose 0 = -6*p + p + 40. Suppose -p*l + 30 = -3*l. Let w = l - 4. Solve -3*z + 3 = -2*v, w*v + 2*z = -v + 15 for v.
3
Let i be 2/(14/(-6) + 3). Solve 5*g + 7 = 3*u, i*u + 4*g + 4 = 20 for u.
4
Suppose 4*j + 112 = 380. Suppose 4*b + 19 = j. Solve -k + v = -3, -4*k - 6*v + b = -v for k.
3
Suppose -w + 3 = 1. Solve -6 = -3*p + 3*b, 2*p + w*p - 2*b - 12 = 0 for p.
4
Suppose 0 = 26*l - 22*l. Solve -3*c + 4*j - 19 = 0, 3*c - j + 7 + l = 0 for c.
-1
Let y = 22 + -42. Let l = -10 - y. Suppose l = -0*z + 2*z, -4*z = -n - 20. Solve -2*b = 3*o - 6, -b - 4*o + 8 = -n*b for b.
0
Let x(p) = p + 16. Let u be x(-13). Solve -3*a = -u*m + 21, 5*a - 3*m + 8 = -21 for a.
-4
Let y = -22 + 27. Solve -5*b + y*o = 4 + 21, -4*b - 20 = 4*o for b.
-5
Suppose 5*m - 1 = -71. Let p(l) = -l - 9. Let d be p(m). Solve -d*g - 3 = -3*c - 0, -5*c - 4*g = -5 for c.
1
Suppose -v - h + 3 = 2, 3*v - 3*h = -3. Suppose g + g - 196 = -4*f, v = 3*f - 4*g - 158. Solve -5*b + 5*y = -f, 8 = 2*b + 5*y + 23 for b.
5
Suppose -5 = g + 5*r, 3*g = 2*r - 4*r - 2. Suppose -3*v - v + 12 = g. Solve -5*n = -v*c - 6, -3 = 4*n - 2*n - 3*c for n.
3
Let u = 8 - 12. Let f = 4 + u. Suppose 0 = -4*x + 8 - f. Solve x*w - w = 5*y + 10, -4*w = -4*y - 24 for y.
-1
Suppose -3*w + 7 = -44. Suppose 14*j = 16*j - 6. Suppose -2*c + 1 = -3*m - 4, -w = -5*c + j*m. Solve -s - v + 2*v - c = 0, -5*v = -25 for s.
1
Let v(f) = -f**2 - f + 8. Let w be v(-3). Let c be 10*((-24)/15 + w). Solve -4 = -p, 4*p = -c*o + 35 - 3 for o.
4
Let b = -1 + 6. Suppose -20*t + 16 = -4*t. Solve m = -3*j + b, -j - 3*m = j - t for j.
2
Suppose 4*p + 29 = 3*w + 5*p, 4*p + 4 = 3*w. Solve 5*d - o + 6 = 0, 3*d + w = -2*o + 7*o for d.
-1
Suppose -4*m + 105 - 25 = 0. Let s be 1/(2 + (-36)/m). Solve -n - 5*q + 9 = 0, -5*n - s*q = -10*q + 15 for n.
-1
Let r = -49 + 70. Let u be 4/(-6)*6*22/8. Let j = u + r. Solve 5*d = -5*a + j, 3*a = -a + 3*d + 1 for a.
1
Let t(h) = 3*h - 6. Let y be t(3). Solve -3*q = -3*k - 3, -y*k + 0*q + q - 5 = 0 for k.
-2
Let d = -1 - -4. Suppose d*w + 20 = 7*w. Solve -w*s + 4*c - c = 17, -2*s = -c + 7 for s.
-4
Suppose -8 = 2*c - 3*h, 5*c + h = 8 + 6. Solve 5*p + x = -5, -3*x = -2*p - 0*x - c for p.
-1
Suppose 2*u - 2 + 3 = 3*p, -u + 3*p - 5 = 0. Solve -5 - 11 = -4*r - 4*f, 6 = u*r + 2*f for r.
-1
Let t be 2/(4/(-2))*-78. Suppose 2*h + t = -0*h. Let z be 2/((-6)/h) + -3. Solve 3*o = -5*k - 11 - 1, o = 3*k + z for o.
1
Suppose 2*x + 2*v = -3*v + 171, -2*v - 90 = -x. Suppose -o = 3*o - x. Let z = 113 - 112. Solve -5*g - 4*n - z + o = 0, 5*n + 30 = 5*g for g.
5
Let q(u) = 3*u + 6 + u**2 - 8*u + 0*u. Suppose 37 = 5*z + 7. Let i be q(z). Solve 2*x - 1 = -j - 3, -4*x - i = 0 for j.
4
Let a = 3 - 0. Suppose a*t - 63 + 0 = 0. Let w be 15/3 - (-1 - -1). Solve -3*b + 6 = v + 17, -w*b = 3*v + t for v.
-2
Let p be ((-12)/(-18))/((-4)/6). Let f(y) be the second derivative of y**4/4 - y**2/2 + y. Let s be f(p). Solve -5*g = 5*w + 20, g = -s*g for w.
-4
Let l be 2*(-33)/6 + 2. Let m(a) = a**2 + 10*a + 12. Let p be m(l). Suppose -p*o + 15 = 2*o. Solve 0 = -3*r - 3*y + o, -5*r - 3*y = -r - 2 for r.
-1
Let y be 2 - (0 + (-8)/4). Solve -5*n + 5*v = 0, -n - y*n = -v + 20 for n.
-5
Suppose -2*o - 20 = -6*o. Solve -k + 11 = 2*p, -5*p + 3*k = -2*k - o for p.
4
Let m be (1/2)/((-2)/24). Let g be 12/(-30) + (-6)/10. Let l be 1/2*g*m. Solve 0*o + o - 3*x = 9, -5*o + l*x = -21 for o.
3
Let b(n) = n**3 + 3*n**2 + 3*n + 2. Let s be b(-2). Let q = 9 + s. Solve 5*i - 4*u = -q + 44, -u = i + 2 for i.
3
Let w(x) = -2*x**2 - 2*x + 6. Let z be w(4). Let q be z + 3*(-1)/(-3). Let j = 50 + q. Solve -k = -f, f + j = -5*k - 7 for k.
-4
Suppose 4*q - 5*w - 6 = -3*w, -q + w - 1 = 0. Solve 25 = -5*t, -25 = -k + q*t - 3 for k.
2
Let h(r) = r**2 - 25*r - 24. Let q be h(26). Solve -q + 4 = -w, -5*a - 2*w + 16 = 0 for a.
4
Let n = 77 + -77. Solve -5*x + y - 21 = n, -x - 4*y - 8 = 2*x for x.
-4
Let j = -37 - -55. Suppose j = i - 3*y, -1 = -5*y - 26. Solve -i*z - 10 = 5*h, -2*z = -3*h + 3*z - 6 for h.
-2
Suppose -3*v = -4*d + 12, 0 = v - 6*d + d + 15. Suppose 0 = -3*n + b + 1, 5*n = 2*b - v*b. Solve -3*p - 5*j = -2*p - 5, -n*p - j = 8 for p.
-5
Let r(u) = -2*u + 37. Let x be r(18). Solve -16 = -q + 4*n, -x = 5*q - 2*n - 9 for q.
0
Suppose -5*f + 5*r - 5 = -0, 4*r = -f + 14. Suppose -5 = n - f*n. Solve 2*s - 12 = n*k, 4 = -k + 4*k - 4*s for k.
-4
Let c(b) = -3*b - 23. Let r be c(-9). Solve -r*s - 2 = 2*f, -4*f - 1 = -3*f for s.
0
Let r(g) = -g. Let f be r(-5). Suppose -b + 4 + 1 = h, b - f*h + 1 = 0. Solve -b*o - 10 = 2*j, 0*j - 5*j = -5*o - 20 for j.
1
Suppose o = -4*y + 22, 4*y - 2*y = 10. Solve 4*h - o*l - 12 = 0, 5*l - 34 = -4*h + 6 for h.
5
Suppose -3*m - 21 = -2*i, -3*i + m + 24 = -2*m. Suppose 4*p - 10 - 7 = -3*x, 0 = 2*x - 4*p + 2. Solve i*l + 0 = r - 17, x*l = -4*r - 7 for r.
2
Let j be (-15 - -3)/4*5/(-5). Solve 0 = -5*h - r - 0 + 25, 0 = j*h - 4*r + 8 for h.
4
Suppose 0*x + 2*x = 8. Solve -2*k = w + 6, x*w = -0*w + 8 for k.
-4
Suppose -m + 4*m - 2*p = 7, -5*p = -20. Suppose m*h - 19 = 2*z, z = -5*h + 4*z + 16. Solve -3*v - 2 = h*s - 7, -2*s = -3*v - 2 for v.
0
Let p be (4/8)/((-2)/(-12)). Let s = -1 + p. Solve -18 = -3*q + 3*o, s*o = -2*q + q - 9 for q.
1
Suppose 2*t + 3*x + 60 = -3*t, -3*x + 24 = -2*t. Let f = -7 - t. Solve f*y - 20 = 0, 5*s + 4*y - 32 = s for s.
4
Let k be (7 - 4 - -2)/1. Let f be -1*(0 - -1) - -8. Solve -4*q = 3*n + 7, 0 = -k*q - 4*n - 1 - f for q.
-4
Suppose -5*f - 18 = -11*f. Solve 9 = 3*r - 2*a, -2*r + 20 - 1 = f*a for r.
5
Let x = -88 + 88. Solve x = 4*l + 5*r + 23, 5*l - 2 = -2*r - 18 for l.
-2
Let b(k) = -k**3 + 3*k**2 - k - 1. Let x be b(2). Let j be 10/3 + (-16)/48. Suppose 14 - 5 = j*i. Solve 0 = -i*d + 5*r - 3, 2*r = -0*d + d + x for d.
-1
Suppose 5*f = 6 + 4. Solve -3*x = -u - 10, 3*u - f*x + x = 10 for u.
5
Let m = -18 + 13. Let c be 9 + (3 + m - 1). Solve 4*g - c - 2 = -4*u, 0 = -5*g + 15 for u.
-1
Suppose 31 = 3*c + 4*k, -c - 7 = -4*k + k. Solve -2*u + 3*w + 7 = -10, 5*w = -c*u + 5 for u.
4
Let f = 38 - 35. Solve -7 = q - g, 13 = -f*q + 2*g - 3*g for q.
-5
Suppose -q + 4*q - 15 = 0. Let a be 0/(-2) - (-1 + -4). Solve -a*x = -2*i - 3*i - q, 3*x - i = -7 for x.
-4
Let d(i) = -3*i**3 - i. Let l be d(1). Let a be l/(-12) - (-14)/3. Let p be (4/(-10))/(4/(-80)). Solve 0 = -a*q + g - 25, -6*g + 2*g + p = 3*q for q.
-4
Suppose -3*u + u = -8. Suppose -u*w = 2*g - 16, 4*w - w + 21 = 4*g. Suppose g = 3*x - 0*x. Solve 4*r + 10 = -x*s, 4*s = 6*r - 2*r + 4 for s.
-1
Let i = 1 + 4. Let z(j) = j**2 - 7*j - 15. Let r be z(9). Solve -i*x + 21 = -m, -m - 2*x = -r*m - 2 for m.
4
Let c = -17 + 11. Let v = c + 8. Solve v*g = -2*o + o + 4, 3*o + 15 = 3*g for o.
-2
Let c be 3/18*6*3. Solve 2*k + 4*b = -2*k - 8, 3*b = c*k - 6 for k.
0
Let u be -10*(2 + 12/(-5)). Solve 5*w + x - 14 = 0, u*x - 26 = -4*w - w for w.
2
Suppose -4*i + 2*z = -42, 4*z + 1 = -3*i + 27. Suppose -4*r + 95 = -33. Solve -5*h = -q + i, -4*h - 2*q = 2*q + r for h.
-3
Suppose o = 2*x - 6, 0*o + 5*x = -3*o + 26. Solve v - 5*i - 4 = -1, -o*v - 6 = 2*i for v.
-2
Let u(k) = -k**2 + 6*k - 2. Let a be u(9). Let j = 58 + a. Solve 3*d - j = 4*g, 0*g - d = -5*g - 28 for g.
-5
Let k be (-4 - -3)/(2/6). Let r = k - -5. Let l(a) = a - 4. Let n be l(7). Solve n*d = 9, -4*u - 2*d = -8*u - r for u.
1
Suppose 0 = -v - 3, 2*g - 5 = 4*v + v. Let u = 3 - g. Solve 5*r = 3*i + 15, -2*r = -5*i + 2 - u for i.
0
Suppose 5*q - 2*z = -12, 2*q = -0*z + 2*z - 6. Let r(d) = 2*d**2 + 5*d + 4. Let s be r(q). Solve 3*w + 6 + 6 = 0, -s*w - 10 = -2*b for b.
1
Suppose -14*h + 24 = -8*h. Solve 4*m + 2 = -5*z - 3, -m = 3*z - h for m.
-5
Suppose -38 = -6*k - 14. Solve 0 = -3*c + u + 5 - 13, -k*u = -c - 21 for c.
-1
Suppose 2*q + 4*d = 2*d, q = 4*d. Suppose -2*h = -4 - q. Solve b + 4*r = -3, -h*b + 5*r - 1 - 5 = 0 for b.
-3
Suppose 10*o = 100 + 70. Solve -z + 3*b = -o, -3*z + 1 = -2*b - 22 for z.
5
Suppose 8 = -4*u - 4*m, 3*m + 4 = 2*m. Suppose 13 = -h + u*h. Suppose 6 = 4*p + y - 9, 0 = 3*p - y - h. Solve -2*z = 2*q, -z = 3*q + p*z - 2 for q.
-1
Let m be (10/(-20))/(1/(-4)). Solve 3*u + 2 - 9 = m*j, 6 = -2*u + 4*j for u.
5
Suppose -2*j + 20 = -5*h - 0, 5*h = -4*j + 40. Suppose -n = -5*s - 3*n + j, 0 = 