 - 2. Solve -15 = 5*h - n for h.
-3
Let b be (-2)/(-1)*-2 - -11. Solve 1 + b = 4*z for z.
2
Let x(n) = 2*n**2 + 26*n + 26. Let d be x(-12). Solve -1 = d*q + 3 for q.
-2
Suppose -2*p = 3*s - 36, 5*s = 5*p + 3*s - 71. Solve -5*b = -10*b + p for b.
3
Let v = 43 - 23. Suppose -3*w - 15 = -a - 0, -a - 4*w - v = 0. Solve 0 = -2*k - a - 2 for k.
-1
Let g(b) = -b**3 + 5*b**2 - 5*b + 6. Let a be g(4). Suppose -a*j + 5*u + 23 = 0, -2*j - 6 = -4*u - 26. Solve 0 = -3*p + p - j for p.
-2
Let h = 22 + -18. Suppose 20 = -2*r - h*s, -10 = s + s. Solve r*m + 2*m + 6 = 0 for m.
-3
Let s(y) = y**3 + 5*y**2 + 3*y - 2. Let c be s(-3). Suppose -4*a - 6 = -c*a. Let f = 4 + a. Solve p = 3*p - f for p.
3
Let y(f) = f**3 - f**2 + 2*f - 3. Let n be y(2). Solve 0 = n*m - 2*m + 3 for m.
-1
Let c = 11 - 7. Solve 1 = m - c for m.
5
Let z(b) = b**3 - 7*b**2 + 7*b + 1. Let x be z(6). Solve -2 = 5*k - x for k.
1
Let k be 58/7 - 6/21. Solve -3*t - k = t for t.
-2
Suppose 2*r - 1 = 1. Suppose -1 = -i + r. Solve 4 = i*z + 2 for z.
1
Let k be ((-20)/(-1))/(2 - 0). Let u = k - 9. Solve 2 = -n + u for n.
-1
Suppose -2*c = 3*y - 22, -y - 9 = 3*y - 5*c. Suppose -11 = -4*w + 5*b, 3*w + y*b = 4*w. Solve 0*l + w*l = -4 for l.
-1
Let w be (-1)/(-2)*2/1. Solve -w = 5*c + 14 for c.
-3
Let p = 9 + -6. Let v = p - 3. Solve v = 2*f - 0*f + 2 for f.
-1
Suppose 37 = v + 9. Let a = v + -3. Solve -3*s - 2*s + a = 0 for s.
5
Let m(h) = h**3 + 10*h**2 + 9*h + 3. Let o be m(-9). Solve -4*t + 2 = -o*t for t.
2
Suppose 0 = -2*g + 4. Suppose -p - g*p - 2*m = -9, -p + 16 = 5*m. Solve 3 = -4*s - p for s.
-1
Let r(v) = -v + 5. Let k be ((-3)/4)/((-1)/4). Let p be r(k). Let g be 0*(14/(-4) + 3). Solve g = 4*t - p*t for t.
0
Let m = -5 - -12. Let o(r) = -r**2 + 5*r + 14. Let h be o(m). Solve h = -0*t + t + 2 for t.
-2
Let r = -9 + 27. Let c be 2*-1 + 2 - 5. Let q be c*((-1)/(-5) - 1). Solve -q*b + 6 = r for b.
-3
Let l = -3 - -3. Suppose -53 = 5*b - t, l*b - 5*b = -4*t + 47. Let d = -9 - b. Solve -r + 12 = d*r for r.
4
Suppose 12 = 8*g - 4*g. Solve 0*u = g*u for u.
0
Let q be -2*(-4)/(-4) + 2. Suppose 20 = -4*b, q*b + b = -2*g - 3. Solve -3*i - 4 + g = 0 for i.
-1
Let s(p) = p + 8. Let z be s(-6). Solve j = -z*j - 15 for j.
-5
Let h(b) = -6*b + 18. Let t be h(2). Solve -i = -t*i + 5 for i.
1
Let a(i) = 2*i**2 + 3*i + 3. Let g be a(-2). Let z be g - 0 - 0/3. Suppose r - 2*r = z*j - 10, -r + 28 = -j. Solve 3*c + 2*c = -r for c.
-5
Let q(l) = -l**3 - 3*l**2 - 2*l - 4. Let h be q(-3). Let a(g) = 2*g**3 - 4 + 10*g**3 + 3 + 2*g - h*g**2. Let t be a(1). Solve -5*i - 9 = t for i.
-4
Let u = 8 - 5. Suppose -9 = -6*i + u*i. Suppose i*m + 1 = -k - 2, 5*k + 5*m = 5. Solve 2*s + k = 13 for s.
5
Let v = -53 - -57. Solve v*w - 15 - 5 = 0 for w.
5
Suppose 3*w + 4*c = 2, 5*w + 4*c + c = 0. Let f = w - -6. Solve 0 = -f*h - 22 + 2 for h.
-5
Let h(y) = -y**3 - 3*y**2 + 9*y + 1. Let o be h(-5). Let u be (-2)/(-8) - (-46)/8. Solve -4*i + o = -u for i.
3
Let h = -1 - -31. Suppose h = 4*z - 2*f, 5*f + 5 = -z + 3*f. Let c(r) = r**2 - 3*r - 7. Let k be c(z). Solve 0 = -w - 4 + k for w.
-1
Let b be (2 - 0)*(2 - (-9)/(-6)). Solve 0 = h + b - 0 for h.
-1
Suppose -4*x = -15 - 25. Solve -4*w = -10 - x for w.
5
Let p be (-4)/12*1*-51. Let w = p - 11. Solve -2*k = -w*k + 12 for k.
3
Suppose 4*d + 35 = 5*s + 152, -4*d - 4*s + 72 = 0. Solve -5*u - 3 + d = 0 for u.
4
Let x(k) = -k**2 - 4*k - 1. Let g be x(-3). Solve u = g*u + 5 for u.
-5
Suppose -3*a + 7 = -0*k + 5*k, -5*k + 3*a = -13. Solve l - 15 = -k*l for l.
5
Suppose -4 = -u - 2. Suppose 0 = q + u*j - 3 + 8, 0 = 4*q - 3*j - 2. Let k be (1 - q) + 2 - 1. Solve -2*d = -1 + k for d.
-1
Suppose 7*m - 25 - 3 = 0. Solve -3*w - 4 = -m*w for w.
4
Let d be -1 + 0 + 1 - 0. Let v(k) = k + 7. Let c(z) = 2*z + 7. Let r(x) = 2*c(x) - 3*v(x). Let q be r(9). Solve -q + d = h for h.
-2
Let w be 3/((-3)/(-5)) + 1. Let d be (8/(-20))/(1/(-5)). Let i be -6*1/d - -7. Solve -i*p = w + 14 for p.
-5
Let w = -23 + 26. Solve 2*u + 5 = w*u for u.
5
Let r(n) = -n**2 + 2*n + 11. Let h be r(4). Solve h*c = c - 2 for c.
-1
Suppose 3*s = -s + 40. Let z = -6 + s. Suppose 2*d - z + 0 = 0. Solve -d = -2*p + 2 for p.
2
Suppose -a = -5*i - 8, 5*a - 5*i + 16 = 56. Let p be (-2)/9 + a/36. Suppose -5*r + p*r = 2*q - 30, -3*r + 32 = 4*q. Solve -d - r*d = 0 for d.
0
Suppose 3*l = n - 15, -2*n + 0*l - 2*l = -6. Suppose -g = -n*g. Solve -6*s + 2*s = g for s.
0
Suppose 0*h - 2*h = -24. Suppose 3*k - 15 = -3*s + h, -s = 3*k - 15. Solve 0 = -3*o + 21 - s for o.
5
Let y = -10 + 12. Suppose -4*i + 4 = -y*i. Solve i*m + 6 = -2 for m.
-4
Suppose 3*b + d = -0*b + 48, 4*b - d - 57 = 0. Suppose -b = -v - 5. Suppose -5*y - 40 = -5*i, -4*y - 24 = -i - v. Solve -i = -2*x - 0 for x.
3
Suppose -9*z + 3 = -42. Let n = 4 - -8. Suppose 2*u - n - 6 = 0. Solve 1 + u = -z*v for v.
-2
Suppose 0 = 2*m - s - 4, -3*m + 2*m = 2*s - 7. Solve -8 + 2 = -m*n for n.
2
Suppose 2*c = 7 + 1. Solve 2 = p + c for p.
-2
Let r(j) = -j**3 + 11*j**2 + 11*j + 15. Let v be r(12). Solve 0*i - 15 = v*i for i.
-5
Let y be (-24)/(-10) + (-2)/5. Suppose 2*c - 3*d = 6 + 7, c - d - 5 = 0. Let n be (-2)/(-6)*0/c. Solve n*p = p - y for p.
2
Let m be 0/(4/(-4))*1. Let h be m*(-4)/(3 + 1). Solve h = y - 5*y - 4 for y.
-1
Suppose 0*w - 9 = 4*w + 3*q, 3*q = 2*w + 27. Let t be (-1)/(-3) + (-34)/w. Solve 0 = t*m - m - 15 for m.
3
Let l be 3/1 + 1/1. Solve -6*o + l*o = -6 for o.
3
Let s be (1 + 20)/(9/6). Let z = -13 + s. Solve -u - z - 1 = 0 for u.
-2
Let y(q) = q + 4. Let j be y(6). Let h(d) = 3*d - 30. Let t be h(10). Solve 2*o = -t*o + j for o.
5
Let d be 40*(1 - (-9)/(-15)). Suppose -d = 2*v - 6*v. Solve -20 = -v*q - 8 for q.
3
Suppose 3*q - 24 = -3*c - 0*q, -5*q + 37 = 4*c. Let f = c - 2. Solve -2*z = -f + 9 for z.
-4
Suppose -4*n + n = 15. Let d(h) be the first derivative of -5*h**2/2 - 5. Let c be d(n). Solve 0*i = -5*i - c for i.
-5
Suppose -t = 3*v - 18, 2*t - 5*t = -4*v + 11. Solve -1 = -2*j + v for j.
3
Let m(r) = r**2 - 6*r + 7. Let t be m(5). Let x = t - 0. Suppose 3*i + 5*p - 11 = 0, x*i - 4*i - 2*p + 6 = 0. Solve -4*o + i*o = 0 for o.
0
Let o = -12 - -20. Suppose 0 = v - 2*j - 12, o*v = 3*v - 3*j + 34. Solve -8*p + 4*p = -v for p.
2
Let s(q) = q**3 - 6*q**2 + q - 4. Let i be s(6). Let u be 3/(-3) - -1*13. Suppose 23*p = 21*p + u. Solve 2*a - i = p for a.
4
Let o be -4 - (5*-2 + 3). Solve -2*h - o*h = 0 for h.
0
Let u = -1 + 11. Let a be 2/(-10) + 122/u. Solve 6*z - a = 2*z for z.
3
Let l(v) = 7*v - 9. Let q(g) = 3*g - 5. Suppose -2*s - c - 4*c = 25, 3*c - 11 = 4*s. Let o(p) = s*q(p) + 2*l(p). Let w be o(6). Solve -y + 2*y = -w for y.
-1
Let z = -1 + 3. Suppose -z*y - 2*t - 7 = -1, -9 = -5*y + 3*t. Solve 3*r + y = 15 for r.
5
Let b = 0 - -5. Let l be b/(-20) - 29/(-4). Suppose 3*m - l = 5. Solve 0 = -5*y + 11 + m for y.
3
Let w be 1*(5 - (2 + -4)). Let z(a) = a**2 + 2*a - 13. Let k be z(-5). Solve w*l = 6*l - k for l.
-2
Let c(x) = -x**2 - 10*x - 17. Let t be c(-7). Solve t*d + 6 = 22 for d.
4
Let n be -12*(-1 + 1/2). Suppose 16 = 4*j, o - 2 = -j + n. Let m = 24 + -14. Solve -h + m = o*h for h.
2
Let z(d) = -2*d**2 + 14*d - 8. Let l be z(6). Let k be (-38)/(-6) + 2/3. Let x = k - l. Solve -x*m + 0*m - 3 = 0 for m.
-1
Suppose 0 + 8 = 2*d. Let h be (-2)/((1/(-2))/1). Suppose 1 = h*j + v - 2, 4*j + 2*v = 6. Solve j = -g + d for g.
4
Let a = -12 + 13. Solve j - a = -5 for j.
-4
Suppose -4*v = -4*p - 20, -v + 20 = 3*v - p. Suppose -i - 3*n + 4 = 0, -v*i + 45 = 5*n - 15. Solve 5*k - i = -1 for k.
3
Let b(o) be the second derivative of -o**5/20 + 7*o**4/12 - o**3/6 + 5*o**2 - o. Let h be b(7). Solve h*s = -0*s + 3 for s.
1
Let x be (-67)/(-13) - (400/65 + -6). Solve -2 = -x*p - 7 for p.
-1
Let r be (-3)/(-5) - (990/25)/(-9). Solve -17 - 3 = r*k for k.
-4
Suppose -2*r = -9 + 7. Solve r = -3*z - 2 for z.
-1
Let i(n) = -n - 4. Let y(a) = -a**2 - 4*a + 8. Let l be y(-6). Let h be i(l). Solve h = -2*z + 7*z for z.
0
Suppose u = 5*u + 8. Let k be u/(-3) - 322/(-21). Suppose 5*j = 4*j + 2. Solve 2*p = -j*p - k for p.
-4
Suppose 0 = 2*a + 5*d - 16, 3*a + d + d = 24. Solve 4 = -4*x - a for x.
-3
Let o be -2*((-14)/4 + 2). Suppose -a + o = n, -3*n + 18 = 4*a - 2*n. Solve a*x + 1 = -14 for x.
-3
Let u be (2 - 2)*2/4. Let b = 0 + u. Suppose b*q = 3*q - 9. Solve -q*g = -1 + 10 for g.
-3
Su