m + 12 = 3*w, 5*w - 2*m - k = -0 for w.
2
Let x = 162 - 150. Solve 5*k = -z - x, 10 = -z - 4*z for k.
-2
Suppose -5*q + 17 = -p, -3*p + 7*q = 2*q + 11. Solve n + 3 - 5 = j, 2*j + 5*n = p for j.
-1
Let w(g) = g**3 + 6*g**2 - 4*g - 10. Let f be w(-5). Let n = f - 34. Solve 5*y + 0*i - n = i, 3*y + i = -1 for y.
0
Let v = 33 + -33. Suppose 25 = c + 5*q, c + 4*q + 6 - 27 = v. Solve -c*j = 4*x + 26 + 5, 5*j = -2*x - 23 for j.
-3
Let x(r) = -2*r + 15 - 9 + 3*r. Let d be x(-2). Solve 0 = -d*s + 12, 0*s = 2*v + 5*s - 21 for v.
3
Let k be (-2 + 2)/(5 + -3). Suppose k = 3*b - b. Solve -3*t = 5*j - b*j + 17, -4*t + 8 = -j for t.
1
Let f be -4*(0 - (-5)/(-4)). Suppose -4*x + f*x = 0. Suppose x = t - 0 - 5. Solve 5*k = 5, -2*z - 1 = -0*z + t*k for z.
-3
Let t = -45 + 65. Let v(d) = d**2 - 12*d - 4. Let i be v(11). Let z = -10 - i. Solve 3*q + z*c + t = 0, -2*q - 4*c + 10 - 26 = 0 for q.
0
Suppose -3*q = q + 12. Let n be 12/(4 - 2) - q. Suppose x - n + 1 = t, -4*x + 5*t + 35 = 0. Solve -x*c - 2*v + 16 = 0, c + 0*c = 4*v - 10 for c.
2
Suppose -40*h = -42*h + 4. Solve -8 = h*q - 0*m + 5*m, -4 = -2*q + m for q.
1
Let k(g) = g**2 + 18*g + 5. Let z be k(-13). Let o = -42 - z. Let r be 1/2 + 9/o. Solve 0 = -i + 3*s + 9, 3*i + r = s + s for i.
-3
Let v be (-14)/(-35) - (-16)/10. Solve -5 = 4*m + v*k + k, -5*m = -2*k - 11 for m.
1
Let i(h) = -7 - 9 + h**2 + 8*h + 5. Let b be i(-9). Let y be (-2)/(-6)*(b + 2). Solve -2*o = -y*l + l - 1, -3*o + 5*l = 18 for o.
-1
Let x = 42 - 22. Let g = x + -17. Suppose -g*d + 18 = 3*d. Solve d*v - 29 = -4*l, -2*l = -3*v + 3*l - 16 for v.
3
Let k(d) be the first derivative of 11 - 1/2*d**2 - 19*d. Let i be k(-19). Solve -5*q = i, 0*b = b + q + 2 for b.
-2
Suppose -7*z = -3*h - 3*z + 24, -2*z = -2*h + 14. Suppose 4*k + 5*s - 3*s - h = 0, -s - 4 = 0. Solve 0 = k*w + r + 11, 0*r + 16 = 4*r for w.
-5
Suppose 91*b - 93*b + i + 23 = 0, -2*b = 5*i - 5. Solve -2*n + 4*u = -b, u = -4*u - 20 for n.
-3
Suppose -d + 3*q = -13, -10 = -2*d - q + 9. Let p be 1 + -47 - -2 - 4. Let b = 50 + p. Solve 2*g - b*o - d = 0, 0*o = -4*g + o + 17 for g.
4
Let i be (-45)/(-12) + -4 + 13/4. Solve -i*t - j + 22 = -5*j, 8 = -2*j for t.
2
Suppose -7*t + 2*t = 0. Let n be -1*(0/3 - t). Suppose -5*c + 120 = 21*i - 16*i, -2*c = -4*i - 36. Solve n = 3*d - c + 10, 3*u + 2*d - 17 = 0 for u.
3
Suppose 0*s - 2*s - 4*w = 2, -13 = -2*s + w. Suppose p - s*u - 4 = 3*p, -2*p + 4*u - 4 = 0. Let j = p - -7. Solve j*n - 35 = -o - 4*o, 0 = -4*o + n + 8 for o.
3
Let a(r) = -r**3 + 42*r**2 + 90*r - 78. Let p be a(44). Solve -2*c = c - 6, b + 3*c - p = 0 for b.
4
Suppose i = -6*o + 3*o + 16, 2*i + 2*o = 16. Suppose i*u + 0*u + 220 = 0. Let g = u - -79. Solve 7 = -h - 2*t - 2, -4*h + 4*t = -g for h.
1
Suppose 2*z - 3 - 11 = 0. Let w(n) = -6 + 1 + 0 + n. Let r be w(z). Solve -18 = -4*c + 2*b, -4*b = -r*c + 31 - 7 for c.
2
Let r = 11 - 4. Let g = -68 + 71. Suppose r*j = g*j. Solve -3*a = 0, -4*s - a + 2*a = j for s.
0
Let w be 18/27 - 26/3. Let b(s) = s + 14. Let l be b(w). Suppose -2*n = -0*n - l. Solve n*u - 5*c = 21, 5*u + 5*c = -0 - 5 for u.
2
Let q be 12 + 14 - (2 - 6 - -6). Solve -q*l - 5*f - 17 = -23*l, 0 = -f - 4 for l.
3
Let w = 51 - 48. Let i be w*(9/(-18))/(2/(-4)). Solve 4*a + 19 = i*g + 4, -3*g + 18 = -5*a for a.
-3
Suppose 0 = 4*z + 7*c - 6*c - 13, -c = -1. Solve z*q + 6 = 3*o, -2*q = 3*o - o - 12 for o.
4
Let m(v) = -2*v - 4. Let f be m(-6). Let t(u) = u - 3. Let r be t(5). Suppose 7 = q + 4*q + r*z, -4*q + z + 3 = 0. Solve 0 = -b - q, b - 3 - f = -3*h for h.
4
Suppose -11*r - 3 = -12*r. Solve 4*u - 2*p + 10 = -0*p, 0 = -3*u - 2*p + r for u.
-1
Let o(a) = a**2 + 10*a + 20. Let u be o(-8). Solve -p + u = 3*l, 4*p - 3*l + 2 = 3 for p.
1
Suppose -3*o = -5*r + 8 + 3, 4*o = -3*r + 24. Let n be (3/(-1))/((-115)/(-15) + -8). Solve -3*l + o*y = n, l = -y - y + 9 for l.
1
Let s = 19 - 15. Suppose s*w + 11 = 35. Let b be 4/((2/4)/1). Solve -2*z + w*z - 12 = 4*j, 4*j = b for z.
5
Let i be 4/((-4)/(39 - 3)). Let m = i + 39. Solve -2*c + 5 = -m*v, -2*v = 3*v - 5*c + 15 for v.
1
Suppose 2*y - 12 - 4 = 0. Solve -4*c = -4*m - y, -2*c - m + 10 + 3 = 0 for c.
5
Let g(m) = 4*m**2 - 43*m + 34. Let p be g(10). Solve p*l = -o + 3, -5 - 8 = l + 3*o for l.
2
Let k(t) = 2*t**2 - 10*t + 4. Let d be k(5). Solve w = -p - 3 - 2, -p + d*w + 15 = 0 for p.
-1
Let b = 81 + -83. Let r be (1 - 0/b)*10. Solve -j + 4*h = h + 10, r = j + 2*h for j.
2
Suppose -16 = -f + 12. Let i = 185 - 181. Suppose -i*n + f = c - 0*c, 0 = -n + c + 12. Solve -t + 2*m - n = t, -6 = 5*t + 2*m for t.
-2
Let y = -41 - -65. Let z = y - 20. Solve 0 = i + 2*d + 13, z*i + 4*d - d + 32 = 0 for i.
-5
Let w(p) = p + 3. Let g be w(3). Suppose -5*d + 18 = -o, 5*o = -0*d + 4*d - 27. Suppose d*b = g*b - 18. Solve -k - 2*y = -b - 8, 4*y - 20 = 0 for k.
4
Suppose -5*a - 416 = -3*u, 5*a + 2*u + 0*u + 431 = 0. Let v = a + 106. Solve -3*q + 5*g - 17 = -2*q, -3*q + 5*g - v = 0 for q.
-2
Let a be -2 - (-10)/2 - 1. Solve -a*m - 10 = 2*b, 0*m - 2*m = b + 10 for b.
0
Let t = -983 - -987. Solve -a - g + 25 = -5*a, -t*a = 3*g + 5 for a.
-5
Suppose 12*t - 206 = -170. Solve 3*c = -3*h - 6, 0 = -5*h - t*c + 2*c + 10 for h.
3
Let v = -4 + 4. Let t = 36 + -63. Let j = t - -34. Solve 3*z = -i - j, -3*i - 5*z - 13 = -v*z for i.
-1
Suppose 3*w + 2*q - 4 = 2, 8 = 5*w + 4*q. Let m be (24/20)/(4/10). Solve -m = -w*f - 3*j, 4*f = -j + 2*j + 15 for f.
3
Let u = -9 - -9. Solve 3*x + 2*i = i, u = -5*x + 2*i for x.
0
Let c(t) = t**3 + 6*t**2 + 5*t + 4. Let u be c(-3). Let j = 16 - u. Solve -2*z - 2*z = j, 4*d = 3*z - 4 for d.
-1
Suppose 8*h - 1121 + 953 = 0. Let l(y) = y - 1. Let k be l(4). Suppose 4*m = 2*m + 6. Solve -m*f - k*n - h = -6*f, -2*f + 4 = 3*n for f.
5
Let v be ((-1)/(-2))/((-12)/(-120)). Suppose -v*w + 11 = -9. Solve 4*m - 3*z + 7*z - 32 = 0, w = -3*m + 4*z for m.
4
Suppose -10 = 14*d - 38. Solve s = t + 7, -4 - d = 3*t for s.
5
Let j(o) = -21*o. Let v be j(-1). Suppose 2*s + v = 1. Let l be (8/(-2))/(s/25). Solve -3*c = 5*z - l, 0 = -c + 5*z - 7 - 23 for c.
-5
Suppose -2 = g - 0*z + 2*z, 20 = -4*z. Suppose n = -4*x + 13 + 11, -n = x - 15. Suppose -g*t + n*t - 56 = 0. Solve -22 = -4*r - 3*s, -5*s + t + 4 = 2*r for r.
4
Suppose -2*r = 3*x - 8*x + 11, -2*r + 10 = 2*x. Solve 4*b = 0, -x*n = 4*b + 4 - 1 for n.
-1
Let d be 20 + -17 - (-1 - 1). Solve -j - d = j + s, -5 = -3*j + s for j.
0
Let u(c) = -c**2 + 34*c - 236. Let q be u(10). Solve -9*p + 12 = 3*t - q*p, -3*t - p = 0 for t.
-1
Let w be (2/(-5))/(1/(-5)). Suppose m + 3*m = -4*b - 16, b + 19 = -4*m. Let p be (14/42)/(b/33). Solve -3*r = -4*f + p, w*f - f + 1 = 2*r for f.
5
Let d = 826 - 810. Solve -3*h - 13 = f, 0 = h - 4*f - d + 3 for h.
-3
Let q = 555 + -541. Solve -r = -b + 6, 3*r + 3*b = 2*b - q for r.
-5
Let w(h) = h - 23. Let s be w(11). Let l = -19 - s. Let v be (-2 + 1)*(-10 - l). Solve b + 3 = d, 2*d - 5 = -2*b - v for b.
-1
Suppose 23 = 4*i - 5*s + 36, -4*s + 32 = 4*i. Solve 4*g - 15 = -i*x, 1 = -g + 4 for x.
1
Let b be ((-4)/6)/(8/12). Let d(g) = -8*g**3 + g. Let r be d(b). Let u = 9 - r. Solve u*y - 4*n = n + 13, -4*n = y for y.
4
Let l be (-112)/(-196) + 10/7. Solve -3*b + 19 = -5*y - 10, l*y = -3*b + 1 for y.
-4
Suppose -5*t + 25 = -4*t. Suppose -t = -5*l + 3*w, 4*w - 2*w + 12 = l. Solve l - 4 = 2*y, -3*k - 5*y - 8 = 0 for k.
-1
Let d be (-76)/(-18) + 12/(-54). Let y be -2*5/(15/(-6)). Suppose y*n - 6 = 2. Solve -3*h + 13 = d*l, 5*h = -l - n*l + 7 for l.
4
Let l(q) = 11*q - 42. Let n be l(7). Solve 8*b = -2*h + 3*b - n, 5*b = -25 for h.
-5
Let o = 448 - 446. Solve -3*m - 2 = -m + 4*l, -o*l - 2 = 2*m for m.
-1
Let t = -81 + 19. Let o = -41 - t. Let y = -18 + o. Solve 2*d + i - 2*i + 6 = 0, y*d + 18 = -3*i for d.
-4
Suppose 3*p + 3*j = 6, 12*p + 6 = 14*p + j. Solve -4*x - 48 + 12 = -p*s, -13 = -2*s + x for s.
4
Suppose 5*j + 36 - 230 = -v, 2*j - 4*v - 82 = 0. Let n(z) = -7*z**3 + 2*z**2 - 2. Let x be n(-1). Solve 5*o - x = -3*c - j, 4*o + 32 = -4*c for o.
-4
Let d(b) = b**3 + 46*b**2 - 48*b - 47. Let y be d(-47). Solve 4*a = s - y*s - 16, 2*s + 4 = -4*a for s.
4
Suppose 3*q + b - 12 = -q, 0 = 4*q + 5*b + 4. Solve -4*f - 5*x - 10 = 0, f - q*f = -2*x + 19 for f.
-5
Let t(h) = h**2 - 25*h - 185. Let u be t(31). Solve -10 = -5*y - 2*g, -4*g + u = 3*y - 5 for y.
2
Let q(h) = 3*h**2 - 1. Let