). Solve m + h = z for m.
-2
Suppose -3*j = -4*j. Let k(w) = -8*w - 41. Let v be k(-6). Solve 2*c + v + 3 = j for c.
-5
Let b = -217 - -237. Solve -2*o - 2*o - b = 0 for o.
-5
Let m = 12 - 22. Suppose -4 = -2*h, 0 = -y - 4*h + 7 - 5. Let w be (y/m)/(4/40). Solve -k = -w*k - 25 for k.
-5
Suppose 40*p = -1145 + 4145. Solve p*z + 4 = 79*z for z.
1
Suppose -p + 6 = -0. Solve 10*g - p*g - 20 = 0 for g.
5
Suppose 3*h = 2*l + 3, 2 = -4*l - h + 17. Let g = 21 + -11. Let z be 6 - 1 - (7 - g). Solve -y - l*y = z for y.
-2
Let i(h) = h**3 + 4*h**2 + 4*h + 3. Let a be i(-2). Let j(u) = 4*u + 6*u - u**3 + 5*u + 14*u**2 + 5. Let w be j(15). Solve a + 22 = w*p for p.
5
Let x(y) = -y**2 + 8*y - 8. Let l be x(6). Let b be 22/8 - (-1)/l. Solve 5*i + b = -2 for i.
-1
Let z(r) = r**2 - 8*r - 17. Let f be z(10). Let m be 1/(-3 - 34/(-12)). Let i be m/7*(-28)/6. Solve 0 = -f*a + 5*a - i for a.
2
Let g be ((-2)/(-3))/(15/90). Suppose -4*t + 14 = 2*n, t - n + 4 = -g*n. Suppose -4*s + t*u - 14 = -5*s, 0 = -3*s - 5*u + 32. Solve -4*p = -p + s for p.
-3
Let v(g) = 35*g - 6. Let i be v(-2). Let y = i + 80. Solve 7*q - y*q = 9 for q.
3
Let w(k) = -24*k - 63. Let i be w(-3). Solve 6 = -i*c + 6*c for c.
-2
Let h(p) = -7*p**2 + 2*p + 5. Let i(l) = 8*l**2 - 3*l - 6. Let o(f) = 7*h(f) + 6*i(f). Let z be o(-2). Solve -z*j = -5*j for j.
0
Suppose 5*l - 10 = 5*n, -3*l = -2*l + n + 2. Solve l = -y + 4*y + 3 for y.
-1
Let t = 989 - 976. Solve 10*f - t*f = 15 for f.
-5
Let o = 211 + -201. Solve -o*d = -3*d - 35 for d.
5
Suppose x = l + 2, l + l - 16 = -3*x. Let y be (-2)/5 - (-3 - (-91)/35). Solve y = i + l*i - 12 for i.
4
Suppose -94*c - 16 = -98*c. Solve 8 = 2*s + c for s.
2
Let i(p) = -5*p - 27. Let d be i(-6). Let a = -8 + 26. Solve d*l = -6 + a for l.
4
Let a(h) = h - 2*h + 0*h + 8. Suppose 4*c = -4*l - 0*l + 12, 2*c = -6. Let n be a(l). Solve -6*j - 20 = -n*j for j.
-5
Let u(r) = -r**3 - 2*r**2 + 62*r + 18. Let v be u(7). Suppose b = 6*b - 15. Solve -b*k - v = 1 for k.
-4
Suppose -9*u + 60 = -5*u. Suppose -5*x + u = 5*w, 4*x + 8 = 8*x. Solve -1 - w = 2*p for p.
-1
Let q(f) = -f**3 + 2*f**2 - f + 3. Let i be q(3). Let j = -7 - i. Suppose j*v = -3*l + 10, 3*l + 2*v - 15 = 5*v. Solve -l*k + 0 = 12 for k.
-3
Suppose 0 = 2*m + 1 + 9. Let s(z) = -z**2 - 6*z - 5. Let k be s(m). Suppose -2*u + 20 = -k*u. Solve -c = c + u for c.
-5
Let w(p) = -p**3 - 7*p**2 + 7*p - 8. Let o be w(-8). Solve -f + 0*f + 5 = o for f.
5
Let u(j) = -4*j + 3. Let l be u(2). Let q(o) = -o**2 - 8*o - 7. Let i be q(l). Let b(g) = 146*g + 1321. Let c be b(-9). Solve 0 = 3*m - c*m - i for m.
-2
Suppose -5*b - 5*w + 15 = 0, 27 = 3*b + 4*w - 7*w. Solve -b*g = -3*g - 6 for g.
2
Suppose -12 = -2*o - 3*l, -5*o - 3*l + 2 + 10 = 0. Solve -21*y + 7*y - 70 = o for y.
-5
Let s = -28 - -30. Suppose 0 = -3*i - 2*i + 10, -6 = -s*q + 4*i. Solve -1 - q = -4*z for z.
2
Let m be (17 + (0 - -3))*(4 - 3). Let y be 3 - (1 - 1)/(-1). Solve -p = y*p + m for p.
-5
Let o(z) = 6*z - 254. Let p be o(44). Solve p*t - 14*t = 12 for t.
-3
Suppose -3*q + 17 = -4*q. Let x be (q/3)/(3/(-9)). Let u = -11 + x. Solve u = 3*v - 0 for v.
2
Let t be 4/(2/(2 + 0)). Suppose 2*z = 0, k - t*z + 3 = 4*k. Suppose 15*m - 44 = -7*m. Solve m*q + k = 11 for q.
5
Let w = 70 + -26. Let t be 1/(-4) + 11/w. Solve t = 4*s - s for s.
0
Let w(j) = -2*j - 16. Let c be w(-9). Solve 0 = 2*a + 8 - c for a.
-3
Let j be ((-4)/(-6))/(((-64)/204)/(-8)). Suppose 0*b + f = -4*b + 5, 4*b - j = 3*f. Solve 3 = -b*k + 7 for k.
2
Let o(c) be the third derivative of c**4/24 + 5*c**3/3 - 9*c**2. Let l be o(-6). Let t be (l/(-14))/(20/(-140)). Solve t*g = 6 - 2 for g.
2
Suppose -39*b = -4*b - 175. Solve -b*w + 7*w - 8 = 0 for w.
4
Let z = -1 - -3. Suppose 58*w = 149*w. Solve w = -0*o - z*o for o.
0
Let x(v) be the first derivative of -1/2*v**2 - 1 - 6*v. Let l be x(-11). Solve 25 = 4*j + l for j.
5
Suppose 2*x - 6*n + 2*n + 12 = 0, 4*x + 2*n - 26 = 0. Suppose 5*t = -5*i - 40, -t = 3*i - 4*i + 12. Let z = t - -21. Solve z + 1 = x*v for v.
3
Let b(s) = 53*s - 264. Let y be b(5). Let j be 0 - 1*(-3 + 2). Solve -y - j = r for r.
-2
Let g be (9 - (-66)/(-12))*6. Solve 7*h - 7 - g = 0 for h.
4
Let m be (0 - 30)*3/(-6). Suppose 2*d + m - 75 = 0. Solve -10 + d = -5*i for i.
-4
Suppose -6*y - 253 = -31. Let b = -34 - y. Solve 20 = -t - b*t for t.
-5
Suppose -2*l - a + 1 = -4*l, 4 = -2*l + 4*a. Let d = 3 - 1. Let z be (3/3 + 1)*1. Solve l*i - d = z*i for i.
-1
Suppose 4 = 4*o - 16. Let y = 14 - o. Solve -g - y = -4*g for g.
3
Let n = -431 - -439. Solve 6*f = n*f for f.
0
Suppose -i = -3*q - 45, 17*q = -5*i + 13*q + 130. Solve i = -7*f - 5 for f.
-5
Let x = 10 + -8. Suppose c + 5 = x*c. Suppose -9 = 2*h - 3*t - 1, 18 = c*h + 2*t. Solve h*k + 5 = k for k.
-5
Let d(x) = 37 - 21 - x - 23. Let i be d(-12). Let v = 3 - 2. Solve -4*l + v = i for l.
-1
Let p be 1*2 + 0/(-3). Suppose a = 5*o + 16, -p = 2*a + 3*o + 5. Solve 0 = -q - a for q.
-1
Let c be 5/10*4/(-8)*0. Solve c*x - 1 = -x for x.
1
Let i(a) = -a**2 + 11*a - 11. Let n be i(9). Suppose 0 = 2*x + n + 1. Let s = 5 - x. Solve q + 2*q = -s for q.
-3
Suppose -5*y = -3*a - 12, -2*a + y + 2 = 3. Let x be 4/(-2) - -5 - a*3. Solve -j = 1 - x for j.
-1
Let m(p) be the first derivative of 19*p**3/3 - 3. Let y be (-2 + 3)*-1 - -2. Let a be m(y). Solve -4*q = 3 - a for q.
4
Let i = 34 - 27. Suppose 0 = -3*t + 13 - i. Solve -t*z + 6 = 2 for z.
2
Suppose 8*w - 4*w - 16 = 0, 0 = 3*h - w - 14. Solve -h = 3*t - 0*t for t.
-2
Let t(x) = -x**2 + 3*x + 20. Let b(y) = -y**2 - 9*y + 6. Let u be b(-9). Let n be t(u). Solve -3*r + 1 = -n for r.
1
Suppose 0 = -10*c + 6*c + 48. Suppose -7*n + 9 = -c. Solve -n*t + 0 = 3 for t.
-1
Let a = -26 - -435. Solve 414 - a = g for g.
5
Let u = 116 - 116. Solve u = -2*l + l - 1 for l.
-1
Let k be (4/3)/(-2) + (-684)/27. Let x = k - -30. Solve 0*t + x*t = -12 for t.
-3
Suppose 3*l = -2*t - 1, 0*t = -4*t - 2*l + 10. Solve -t*c = -6*c - 8 for c.
-4
Suppose -5*r + o - 5 = -22, 0 = 2*r + 3*o - 17. Suppose r = -2*x - 0*x, -4*w - 2 = x. Solve w*q = q + 3 for q.
-3
Let k(o) = 3*o**2 + o**2 - o - 2 + 2*o - 3*o**2. Let t be k(-2). Solve t = -6*q + 4*q - 2 for q.
-1
Suppose -7*c - 4*y + 30 = -5*c, -2*c - 2*y = -38. Solve t + c = 20 for t.
-3
Let m(j) = -j**2 + 8*j + 5. Let k be m(5). Let d be 112/6 - (-1)/3. Let t = d + -16. Solve k = -z - t*z for z.
-5
Let z = -19 - -41. Let r = 29 - z. Solve -j - 3 = -r for j.
4
Suppose -5*f = 3*b - 40, -2*f = -0*b - 2*b. Suppose 2*u - f*w - 6 = -0*u, 3*u - 9 = -3*w. Solve 3*z - u = 4*z for z.
-3
Suppose 0 = 5*w - a - 29, 27 - 2 = w - 5*a. Suppose -2*v - w*z = 17, 4*z + 32 = 3*v - 0*v. Solve -q = v*q for q.
0
Suppose 2*q + q = 2*i + 133, 2*i = q - 51. Let a = 66 - q. Solve o = 6*o - a for o.
5
Suppose 0 = 2*u - 4 - 8. Suppose 0 = u*l - 54 + 18. Let j(r) = r**2 - 2*r + 2. Let d be j(3). Solve p = l*p - d for p.
1
Let w be 0*(2 + (-15)/6). Suppose 0 = -2*c - 10, w = 3*o + 3*c + 11 - 2. Solve o*r = r for r.
0
Suppose 3*k + 15 = 0, -8*u + 11*u + k = -2. Solve -5 + u = 4*b for b.
-1
Suppose 0 = -3*u - 4*b + b - 3, -3*u + 5*b = -13. Let m be (-14)/(-7) - (u + -1). Suppose 0*l - 12 = -4*g + 4*l, 0 = m*g - 5*l - 6. Solve -g = -x - 1 for x.
2
Let i = 0 - -7. Suppose 5 + i = 4*n. Solve 2*r = 3*r + n for r.
-3
Let y(v) = -2*v - 14. Let r be y(-6). Let s be 1/r + (1/(-2) - -3). Solve 2*x - 3*x = s for x.
-2
Let h(v) = 43*v + 631. Let k be h(-14). Solve 0 = -23*d - 98 + k for d.
-3
Suppose 16*q = 21*q + 3*c - 124, 0 = -2*q - 4*c + 58. Solve -g - q*g = -120 for g.
5
Let j = -98 + 93. Let o be 5*2/j*(-10)/4. Solve -d - o = -2*d for d.
5
Let p(h) = 21*h**3 + 2*h**2 - 3*h + 1. Let v be p(1). Suppose v*b - 23*b = -16. Let w = -6 - -11. Solve w*t + 12 = -b for t.
-4
Let n be (-1 - -48)/1 - 2/1. Let q = n - 45. Solve 4*x - 5*x + 2 = q for x.
2
Let r(c) = -2*c - 8. Let y be r(-7). Suppose 2*j - 3*u - 7 = 5, 5 = 3*j + 2*u. Solve 3*t + j = y for t.
1
Suppose 3*m = 12 + 6. Suppose 2*i - 5*v + 15 = 0, 2*v - m = i + 3*i. Solve 3*u + i + 6 = 0 for u.
-2
Suppose -194 = -4*m + 3*s, 4*m = -2*s - 51 + 235. Let k be m/4 - 1/(-4). Let d = -520 - -524. Solve w = d*w + k for w.
-4
Let b(g) = g + 1. Let j(u) = -3*u - 5. Let s(i) = -4*b(i) - j(i). Let d(h) = h**3 + 5*h**2 - h - 7. Let y be d(-5). Let f be s(y). Solve 0 = -f*m + 2 - 5 for 