+ 7*m**2 - 15*m - 95. Let v be h(-7). Solve -13*d + 18*d + v = 0 for d.
-2
Suppose j = -5*d - 21, 2 = -5*j - 3. Let z = d - 3. Let x = z + 10. Solve -4 = -u + x*u for u.
-2
Let t = -106 + 116. Let l(x) = 5*x - 48. Let n be l(t). Solve 15 = 3*z + n*z for z.
3
Suppose 0 = -32*x + 33*x - 64. Solve 3*k - x + 58 = 0 for k.
2
Let j(w) = -2*w - 22. Let y be j(-10). Let a be 2 + (-3 - (-2 + y)). Solve 0 = -4*u + u - a for u.
-1
Suppose u - 45 + 43 = 0. Suppose 5 = -5*b - 3*z, -u*z = -4*b + z + 23. Solve -b*h = 2*h for h.
0
Suppose 20 = 2*f + 2*c, 4 - 13 = -f - 2*c. Solve -f*t + 6*t = 25 for t.
-5
Suppose -3*n - 8 = 5*c - 2, c - 6 = -3*n. Solve -s + 2 + n = 0 for s.
5
Suppose -2*s - 4*j - 8 = 0, -4*j + 2*j - 16 = -5*s. Solve -3*k = -17 + s for k.
5
Let z = 64 - 41. Let p = 25 - z. Let r = 4 - 4. Solve -3*o - p*o - 15 = r for o.
-3
Let u = -64 + 81. Solve -3*s + 5 = u for s.
-4
Let t(y) = -123*y - 736. Let c be t(-6). Solve -5*q = -c*q + 12 for q.
-4
Suppose 0*z + 3*z = 2*c + 14, 0 = -4*z + 2*c + 18. Suppose 23 + 81 = z*v. Solve 6 = -5*b + v for b.
4
Suppose 12*q = 30*q - 36. Solve 15 = -q*o + 7*o for o.
3
Let r = 122 - 120. Let b be 0*(3 - 5/r). Solve i - 1 + 0 = b for i.
1
Let t(s) = s**3 + 5*s**2 + 9*s + 5. Let j be t(-6). Let g = j + 87. Solve u = -g*u + 12 for u.
4
Let d = 368 - 368. Solve 0 = -4*g - d - 16 for g.
-4
Suppose 36*g - 39*g + 5*r = -20, 0 = -2*g + r + 4. Solve 13*m + 0*m + 26 = g for m.
-2
Let i be -11 + -32 - 3/(-1). Let s = i - -42. Solve -y - s = -0*y for y.
-2
Let s(h) = -h**2 - 14*h + 35. Let c be s(-13). Solve -c + 47 = r for r.
-1
Suppose 1 = -4*u - 19, 5*u + 64 = -3*x. Let r = x + 14. Let w be 0/((-5 - -3) + r). Solve -2*v = -w*v - 2 for v.
1
Let o be 6 + ((-2)/7 - (-26)/(-7)). Solve 0 = o*t + 3*t + 5 for t.
-1
Let j(r) = -r + 10. Let i be j(7). Let l(z) = z - 2. Let s be l(4). Suppose -m + 0 = -s. Solve 2*b = i*b + m for b.
-2
Let k(q) = q + 5. Let h be k(-5). Suppose h = 4*p - 9*p + 25. Let r = -65 - -66. Solve -p*j - r = -11 for j.
2
Suppose 5*z + j - 7 = -2*j, 4*j = -2*z. Let r(t) = -3*t - 19. Let c be r(-8). Suppose -z*i - 4*x + 19 = -c, -3*i = x - 26. Solve 0 = d + d - i for d.
4
Let g be 2 + 1 - (6 + -2). Let q be (-434)/(-28) + g/2. Let y = 8 - 5. Solve -y*m + q = -6*m for m.
-5
Suppose 0 = 28*k - 3*k. Solve k = i - 5*i + 12 for i.
3
Let b = 2235 + -2226. Solve -b*c - 26 = -8 for c.
-2
Let s be ((-12)/(-9))/(2/(-9)). Let m be (s - 4)/(0 + -1). Solve 6*x - 8*x = m for x.
-5
Suppose -j - j = -8. Let v(a) = a**3 - 5*a**2 + 2. Let n be v(5). Suppose -n*t = -0*t. Solve t*p - 4 = j*p for p.
-1
Let f(a) = a**2 - 8*a - 9. Let x be f(11). Suppose 2*t = -2*t + x. Solve c = -c + t for c.
3
Let l(t) = -t - 1. Let j(x) be the third derivative of x**4/8 + 2*x**3/3 + 4*x**2. Let y be j(-2). Let v be l(y). Solve r = 2*r + v for r.
-1
Let n be (-1635)/6*(-14)/35. Suppose 3*x = -n + 124. Solve -2*z + x*z = -15 for z.
-5
Let j = 1417 - 1413. Solve 3 = -j*i + 7*i for i.
1
Let s = -1 - -1. Let t(w) = 11 + s*w - 3*w - 12. Let m be t(-1). Solve m*p - 8 = 4*p for p.
-4
Let j(p) = -23*p**2 + 232*p - 2. Let l be j(10). Solve -4*d - l = -10 for d.
-2
Let w be (-10 + -32)*1/(-2). Let l = -15 + w. Solve l = -3*r - 9 for r.
-5
Let m(v) = 21*v - 909. Let a be m(44). Solve 4*c + 5 = -a for c.
-5
Let b = -33 - -38. Suppose 0 = b*w - 0*w - 20. Solve 9 = r + w for r.
5
Suppose 0 = 4*k - 5*d - 273, 132 = 3*k - 5*d - 74. Let n = k - 55. Solve -u + n = 3*u for u.
3
Let m be -1 - (1 - -3)/((-3)/18). Suppose m*d - 20*d = 39. Solve 5*n + d = -12 for n.
-5
Let b = 5 - 2. Suppose -3 = 2*a - 11. Suppose 2*h + g + a*g = 5, -4*g = 4*h - 16. Solve -b*k = -h*k for k.
0
Suppose -4*g + 15 = 3*w, 5 + 15 = 4*w - 4*g. Solve -w*y + 6*y + 3 = 0 for y.
-3
Let r(j) = -5*j**2 + 9*j + 1. Let c(b) = 3*b**2 - 5*b - 1. Let z(w) = 7*c(w) + 4*r(w). Let p be z(0). Let k = p - -8. Solve 0 = -k*y - 3 - 2 for y.
-1
Let u be (2/(-3))/((-1)/(-6)) + 4. Suppose c + c = -u*c. Solve c = -x - x - 2 for x.
-1
Let b(j) = -2*j**2 - 23*j - 40. Suppose 3*r + 9*o - 7*o = -25, -4*r + 4*o - 40 = 0. Let v be b(r). Solve v*y + 4 = -11 for y.
-3
Let f(a) = a**3 + 10*a**2 + 2*a + 25. Let w be f(-10). Suppose w*l = 3*l + 10. Solve l*d + 24 - 9 = 0 for d.
-3
Let s(a) = -3*a + 21. Let b be s(7). Solve b = o + 1 - 4 for o.
3
Let a = -145 - -147. Solve -3*i + i + a = 0 for i.
1
Suppose 0 = -3*r + 3*u - 39, r + 3*u - 55 = 6*r. Let d = r - 12. Let j be d/6*(-24)/10. Solve 2*c + 0*c = -j for c.
-4
Let y = 914 - 912. Solve 10*q + 48 = -y for q.
-5
Let i(t) = -62*t - 122. Let s be i(-2). Solve s*w + 136 - 142 = 0 for w.
3
Suppose 0 = -4*w - 4, -3*s - 2*w = -w + 7. Let t be (-1 - s/2)/(-3). Suppose -2*q - 3 + 7 = t. Solve -q = n + 1 for n.
-3
Suppose -u = n - 3, 18 = 5*u - 3*u - 4*n. Suppose -3*p = -0*v + v + 14, -2*p - 83 = u*v. Let f = 20 + v. Solve f*j = j for j.
0
Let z(m) = m**2 + 26*m + 51. Let q be z(-24). Solve 15 = q*r + 2*r for r.
3
Let b be (7/3*-2)/((-18)/27). Suppose b*r + 3*r - 30 = 0. Solve -r*p - 9 = -6*p for p.
3
Suppose -x - 75 = -6. Let f = x + 74. Solve 16 = -f*u + 6 for u.
-2
Let u(o) = -o**2 + 13*o - 22. Let a be u(9). Solve 10*f - 8 = a*f for f.
-2
Let q(a) = -3*a**2 - 66*a - 14. Let r be q(-21). Solve -8 = -r*b + 57*b for b.
-1
Let j = 1208 - 1205. Solve 0*m + j = -m for m.
-3
Let p be 4/8*(1 - -9). Solve m + p = 9 for m.
4
Suppose -5*p + 1 = -4*o - 26, 0 = -p - o. Let s(u) = -p + 4 + u + 7. Let b be s(-4). Solve -b*g = -5*g - 3 for g.
-3
Let p be 0*1*-6*5/(-30). Solve 8*h = -p*h - 8 for h.
-1
Let g(i) = 5*i + 7. Let u be g(4). Let v = u - 27. Solve 0*s - s = v for s.
0
Suppose -4*w = -7*w. Solve -y + 2 - 7 = w for y.
-5
Let v = 0 - 0. Let f = 2311 + -2309. Solve 0*q - q + f = v for q.
2
Let c(w) be the third derivative of w**6/120 - 2*w**5/15 + w**4/6 - 29*w**3/6 + 6*w**2 - 1. Let s be c(8). Solve 4 = -s*b - b for b.
-1
Let x(d) = 2*d**2 + 2*d + 2. Let w be x(-2). Let k be 2/w*(9 - 9). Solve -p - 1 + 4 = k for p.
3
Let g(k) = 2*k + 54. Let y be g(-25). Suppose -d - a + 7 = 0, y*a = 2*d + 2*d - 20. Solve -25 = -d*b + b for b.
5
Let x be 5*(-5 + (-68)/(-20)). Let r(c) = 2*c + 20. Let h be r(x). Solve -9 = h*a + 11 for a.
-5
Suppose 8*w + 27 - 3 = 0. Let d be 2 + 1 + (-1 - w). Suppose d*a - 12 = u, -5*u + 14 = 4*a - 13. Solve -3 = -u*o - 6 for o.
-1
Suppose -3*v = -23 - 28. Let g(c) = -3*c - 5. Let a(n) = -n - 2. Let z(h) = v*a(h) - 6*g(h). Let u be z(4). Solve 5*x = -u*x + 25 for x.
5
Suppose 3*a = 2*d - 4, 2*a - 2*d = 6*a - 4. Solve -h + 8*h = a for h.
0
Suppose -2*m - 6 = -4*j, j + j - 18 = -2*m. Let r(u) = -u**2 - 7*u + 8. Let h be r(-8). Suppose -s - 2 = 0, h = 3*x + 4*s - 3 + 11. Solve x = j*c - 1 + 5 for c.
-1
Suppose 39*m = 37*m + 88. Let i = -33 + m. Solve 1 = 2*c + i for c.
-5
Let k(q) = -2*q**3 + 5*q**2 + 30*q + 34. Let z be k(-2). Let d(j) = 2*j**2. Let b be d(1). Solve b*y = z - 0 for y.
5
Let m(r) = r**2 + 5*r + 4. Let f be m(-4). Suppose f*b = -3*b - 24. Let c be (-2 - (b + 3)) + -3. Solve i + 4 + 1 = c for i.
-5
Let j be (-2)/(-7) + (-765)/7. Let c = 113 + j. Solve 3*b + c = 1 for b.
-1
Suppose 5*z - k = -2*k + 38, 2*z = -5*k + 6. Suppose z = 3*i - 10. Solve -4*o = -i*o for o.
0
Let m(i) = -i**3 - 2*i**2 + i - 3. Let j be m(-3). Let b(w) = 6*w - w**j + 20*w**2 - 7*w + 2 + 22*w. Let o be b(21). Solve -2 = -4*a + o for a.
1
Suppose 33 = m - 22. Suppose 0 = y - 5*y + 5*k + m, 4*y + 2*k = 34. Suppose 4*r - 20 = 4*c, 0 = r - 5*c + y - 35. Solve r*h + 4*h + 20 = 0 for h.
-5
Let q(x) = -x**3 + 2*x - 1. Let o be q(1). Suppose 5*n + 3*p = -3, p + o*p + 1 = 3*n. Solve 3*g + 5 + 1 = n for g.
-2
Let q(o) = o**3 - 12*o**2 + 15*o - 37. Let g be q(11). Solve -32 = -5*h - g for h.
5
Let d(r) = -r - 6. Let n be d(-8). Let a be -2 - (-2 - (-36)/n). Let y be 14/63 - 32/a. Solve y*x + 3 = 3*x for x.
3
Let k = -207 - -291. Let d = k + -80. Solve -6 = 5*z + d for z.
-2
Suppose 0 = -3*i + 11*i. Let m be (-2 - -4)*(15 - 9). Let o = 0 + 3. Solve -m = -i*j + o*j for j.
-4
Let f be 12*-5*(-1 - (-12)/15). Let b(z) = -z + 16. Let i be b(f). Suppose 6 = t + 2*t. Solve -i*a = -t*a for a.
0
Let v(m) = m**3 + 16*m**2 - 17*m + 11. Let j be v(-17). Let l = 5 - 15. Let r = l + j. Solve 6 = -5*q + r for q.
-1
Let g(i) = -11*i - 10. Let q be g(-4). Suppose 0 = -5*h - q - 26. Let a be h/10*(-30)/9. Solve a*y - y