 Solve -z*y + j = -9 for y.
3
Let s = 6 - 10. Let q(t) = -t**2 - 4*t + 5. Let l be q(s). Suppose -4*j + 4 = 3*h - 2*h, 0 = -4*h + l*j - 5. Solve h*u + 2*u - 4 = 0 for u.
2
Let b(q) = -3*q - 9. Let v(w) = 6*w + 19. Let g(c) = 5*b(c) + 2*v(c). Let z be g(-5). Suppose 18*j = 21*j + 5*i + 16, -4*i = 5*j + 5. Solve j*f - f = z for f.
4
Suppose -2*h = 2*m + h - 27, 2*m - 33 = -h. Suppose m = 5*j - 2*r - 4, -2*j + 4*r + 12 = 0. Solve -c + 20 = j*c for c.
4
Let k = -74 - -74. Solve k*g - 4*g = 8 for g.
-2
Let s be 1/(-7) - (-36)/7. Solve s*v - 8 = v for v.
2
Let r(g) = -2 - g + 0*g + 5. Suppose -4*d + 35 = 2*n + 3*n, -5*d + 13 = -4*n. Let b be r(n). Solve b = -6*i + 5*i + 2 for i.
2
Suppose c - q - 6 = -4*q, 5*c - 4*q - 68 = 0. Suppose 4*r - 11 = 61. Let p = r - c. Solve -5*y + p = 1 for y.
1
Let t(p) = 6*p - 3. Let g be t(1). Solve 2*s = 3*s - g for s.
3
Let f be 1/(-3) - (-42)/18. Solve -h - f = 1 for h.
-3
Let l = -58 - -63. Solve -x + l*x = 0 for x.
0
Let i(h) = -5*h**2 - h + 6. Let b(a) = 11*a**2 + a - 12. Let l(m) = -4*b(m) - 9*i(m). Let o be l(-6). Solve -4*k = -o*k - 12 for k.
3
Let j be 6/18 - (-14)/3. Solve -j*t = 9 + 1 for t.
-2
Suppose 0 - 3 = 3*s. Suppose -3*d + 6*d = o - 16, d = -5. Let c = o - s. Solve c*h + 1 + 5 = 0 for h.
-3
Let n be 3 + (-1)/(-3)*3. Suppose -15 = -5*f + z, -n*f = -5*z - 49 + 16. Solve -3*g - f = 10 for g.
-4
Let l = 66 + -63. Solve l*f + 6 = -0*f for f.
-2
Let p(s) = 7*s - 34. Let n be p(7). Solve n = -0*i + 5*i for i.
3
Let b = -70 - -71. Solve -k - 1 = b for k.
-2
Let n(h) = 4*h + 1. Let j be n(-1). Let z be -3*j/12*24. Suppose z = 5*v - 4*a, 5*v + 4*a - 2 = -0. Solve -10 = v*x - 4*x for x.
5
Suppose -u - 2 = -2*u - 2*s, 2*u = -s + 4. Solve u*z = -0*z - 6 for z.
-3
Let u be -8 - -7 - (-9)/(-1). Let w = -8 - u. Solve 0 = -w*n + 1 + 1 for n.
1
Let y be (-532)/(-126) - 2/9. Solve -m - y = -2 for m.
-2
Let h be (53 + -48)/((1 + -2)*-1). Solve 0 = j + 1 - h for j.
4
Suppose -3*h - 9 = p, 3*h - 5*h - 10 = 0. Let x = 6 - p. Solve -i + 2*i - 1 = x for i.
1
Let o be (-2)/3*(0 + 24). Let b be 3 + -4 + o/(-1). Solve 0 = 3*a + b for a.
-5
Suppose -q = -5*q. Solve 0 = h - q*h + 1 for h.
-1
Let y = 18 + -10. Suppose 13 = -5*l + 4*j + 1, -3*l - 4*j = -12. Suppose -3*g + 6*g = 5*k + 2, 4 = -g + 4*k. Solve -g*f + l*f = -y for f.
2
Let u(s) = s**2 - 4. Let z be u(-3). Let g(o) = -9*o - 1. Let x be g(-1). Let a = x - 2. Solve a = z*b + 1 for b.
1
Let t = -31 - -13. Let y = t + 18. Solve 0 = 5*h - y*h - 10 for h.
2
Suppose 3*k = -21 - 3. Let w(b) = -b**2 - 10*b - 10. Let i be w(k). Solve 2*f - i*f - 8 = 0 for f.
-2
Suppose -4*i = -2*p + 28, 0*p + p = 4*i + 24. Suppose 3*w + 3*o = 0, w + 15 = -0*w - p*o. Solve 4 = w*s - 11 for s.
3
Suppose -s + 3*y - 15 = 7*y, -5*s - 3 = -4*y. Let t = -1 - s. Solve -t*k = -4*k + 8 for k.
4
Let y(t) = t**3 - 11*t**2 + 2. Let w be y(11). Solve 0*d = d + w for d.
-2
Let m(n) = -1 + n - 2*n - 3 + n**2 + 3*n. Let o be m(-5). Solve 5*t - o = -1 for t.
2
Let w be ((-5)/2)/(-5) + (-21)/(-6). Solve 0 = -a - w - 0 for a.
-4
Let v(d) = -d + 12. Let h be v(7). Suppose 0 = 4*r - 3*r - 22. Solve 2 = -h*u + r for u.
4
Suppose 3*l + p = 3, -5*l - 2*p + 4 + 2 = 0. Solve l = -4*w - w for w.
0
Let b = 7 - 7. Suppose b = -5*l - y + 14, l = 2*y - 5*y. Solve 4*s = l + 5 for s.
2
Let o(j) be the first derivative of j**3/3 + 1. Let b be o(0). Solve 5*m + 5 + 5 = b for m.
-2
Suppose -3*f - 5 = -4*f. Suppose -f*i + 2*i = -36. Solve 4*u - u = -i for u.
-4
Let z(q) = 6*q + 3 - 2 + 2*q**2 - 3*q**2. Let g be z(6). Solve -g = -3*m - 16 for m.
-5
Let p(s) = 3*s**2 - 9*s. Let a(b) = 16*b**2 - 46*b. Let h(c) = 2*a(c) - 11*p(c). Let v be h(5). Solve 3*m = m - v for m.
-5
Let r = 24 + -19. Let h be 4*1 + r + -7. Solve 1 + h = -j for j.
-3
Let w = -58 + 62. Solve 2*n = w*n for n.
0
Let l(o) = 4*o**2 + 3*o - 2. Let y(i) = -6*i**2 - 4*i + 3. Let v(t) = -7*l(t) - 5*y(t). Let g be v(-1). Suppose -13*u = 5*u - 108. Solve g*c - u = -0 for c.
3
Let y(i) = -i**3 + 4*i**2 - i - 4. Let z be y(2). Solve -z = -j - j for j.
1
Let i = -158 + 159. Solve -5*n - i = 4 for n.
-1
Let t(r) = 5*r. Let u be t(-1). Let l be u/(-2) + (-2)/(-4). Suppose -g - l*c + 22 = g, 3*c + 3 = 3*g. Solve 4 = w + g for w.
-1
Let i = -8 - -7. Let g = 4 + i. Suppose 5*m - 59 = g*z, 1 = -5*m - 4*z + 39. Solve -3*b + 5*b + m = 0 for b.
-5
Let g be 1/((1 - -3) + -3). Let r = 1 + g. Solve -i = i - r for i.
1
Let g(z) = -z**2 - 9*z - 4. Let l be g(-5). Solve l = 5*a - 9 for a.
5
Let p(c) = 2*c - 3. Let h be p(3). Solve 0*l = -3*l + h for l.
1
Let d = 0 + 2. Solve f + 0 + d = 0 for f.
-2
Let h be (2/4)/(5/30). Solve -10 = h*x + 2 for x.
-4
Let j = 18 + -12. Let r(n) = -n - 1. Let m be r(0). Let p be 2 - (2*m - -1). Solve -p*l + j = -l for l.
3
Suppose 4*j - 3*h - 11 = 0, -j + 0*h = 2*h. Suppose -7*n + 11 = -z - 2*n, -4*z - j*n = -22. Solve -5*y + 1 + z = 0 for y.
1
Let u(j) = -j**2 + 9*j + 13. Let k be u(10). Suppose 0 = h - 11 + k. Solve h = -5*o + 28 for o.
4
Let p = 8 + 7. Solve 3*r = -0*r + p for r.
5
Let q = 61 - 42. Let l = q + -8. Let n = l - 6. Solve n*j - j - 12 = 0 for j.
3
Suppose 3*h + j = 7*h - 7, -3*h + 3*j - 6 = 0. Let a = -2 + 2. Solve a*y + h = y for y.
3
Suppose -2*w + 0 = 8, -w = -3*c + 40. Let u = c - 7. Solve -6*x + x = u for x.
-1
Suppose -5*r + 5*z = -30, -5*z = -z + 4. Solve -15 = 2*y - r for y.
-5
Suppose 2*h + 3*h - 4*h = 0. Solve h = -3*i + i for i.
0
Let o be -2 + (2 - (-14 - 2)). Solve -o = -0*x - 4*x for x.
4
Let m(u) be the second derivative of -u**3/6 + u**2/2 - u. Let r(b) = b**3 + 6*b**2 + 5*b + 1. Let i be r(-5). Let s be m(i). Solve -3*o = -s - 6 for o.
2
Let l = 13 + -9. Let t(o) = 2*o - 6. Let y be t(l). Let m be -8*((-3)/(-2))/(-3). Solve m*s + y = -6 for s.
-2
Let o(m) = 5*m**2 + m. Suppose -9 = 5*i - 4. Let x be o(i). Let c be -2 - -4 - (x + -2). Solve -4*a + c = -4 for a.
1
Suppose 4*p - 48 = 8. Let a be 11/55 - p/(-5). Solve 5 = a*s - 1 for s.
2
Let u = 8 - 17. Let d = -6 - u. Solve 3*b + 12 = -d for b.
-5
Let z(c) = 11*c. Let b be z(1). Suppose 4*p + 0*p - b = 5*a, p + 3*a = -10. Let r be p/(-2) - 7/(-2). Solve 2 + 2 = r*v for v.
1
Suppose 9 = -3*j + 36. Let c = j - -3. Solve c = 4*f - 0*f for f.
3
Let m = 11 - 8. Suppose 0 = m*b - 6. Suppose -g + 5*w = -8, 0*g - 2*g + 3 = 3*w. Solve 0 = h - b*h + g for h.
3
Let y = -7 + 32. Solve -4*q - y = -9*q for q.
5
Let c be ((-55)/(-10))/(2/4). Let j(f) = -f**3 + 11*f**2 + f - 9. Let n be j(c). Let a(q) = 5*q. Let r be a(n). Solve -2*y - r = 3*y for y.
-2
Suppose m - 294 = -20*m. Solve m*a + 20 = 9*a for a.
-4
Let a = -4 + 6. Let h = 2 - a. Solve h - 3 = -3*m for m.
1
Suppose -4*k + 0*k + 16 = 0. Solve -20 = k*o - 0 for o.
-5
Suppose -5*r + 14 = -11. Solve 2*v = r*v + 3 for v.
-1
Suppose -3*m + b + 27 = -2*m, 4*m - 87 = -3*b. Suppose -i = 4*c - 37, -4*i + m = 4. Solve -2*n + c = 2*n for n.
2
Suppose -3*y = 2 + 1. Let h = 0 - y. Solve h = -2*d + 5 for d.
2
Let a(p) = -2*p + 11. Let t be a(4). Solve -2*u = -t*u - 4 for u.
-4
Suppose 9 = 2*u + 3*c - 5, 3*u - 7 = -c. Suppose -4*k - 2 = -2*k. Let p = k + 3. Solve -p*d - u = 1 for d.
-1
Suppose -4*q + 11 = -9, 0 = -4*y + 4*q - 12. Suppose 2*o + 0*o = -3*m + 6, -y*o = m - 6. Solve m*i = -2*i - 2 for i.
-1
Suppose -5 = -b - 3. Suppose 2 = 2*c - b. Solve -c*s - s = 3 for s.
-1
Let d be 24/(-10) + 2/5. Suppose p + v - 7 = 0, 3*p + v = 5*p - 14. Let u = p - d. Solve -5*c = -1 - u for c.
2
Let c = 8 + -6. Let f(s) = -s + 2. Let n be f(c). Suppose n = 5*w - w - 20. Solve 4 = 3*r - w for r.
3
Let x be (1*-32)/(2 - 1). Let z be (-2)/3 + x/6. Let j = z - -18. Solve -h - j = -4*h for h.
4
Let y(c) = 7*c**3 - 2*c**2 + c. Let i be y(1). Let a be (i/4)/((-9)/(-60)). Let j = 14 - a. Solve j*m = 1 + 3 for m.
1
Suppose -k = -0*k. Let d(u) = u + 3. Let c be d(k). Solve i = -c*i - 16 for i.
-4
Suppose 5*d + 8*w - 3*w + 10 = 0, -w - 17 = 4*d. Suppose -o + 2*b = -41, 4*o - 2*b - 168 - 8 = 0. Let u be (-2 + 1)*o/d. Solve -1 = 2*m + u for m.
-5
Let j be (2 + -5)*(-20)/6. Solve 2*o + j = -3*o for o.
-2
Let n(i) = 5*i - 5. Let v be n(3). Suppose v*m - 24 = 7*m. Suppose 3*r - 2*r = 0. Solve -2*k - m = -r*k for k.
-4
Suppose s + 12 = 4*o, 20 = o - 0*s + 4*s. Suppose 0 = -i + o*i - 12. Suppose -4*f = -4*h - i, 4*h = 3*f - 0*h. Solve -f*y = -15 + 7 for y.
2
Suppose -11*f + 5*f =