 7*h**2. Let g be d(1). Let w = -6 - -10. Solve 0 = g*i - w*i - 4 for i.
2
Let v = -2 - -1. Let t = 4 + v. Suppose -t*o = -4*o. Solve o = -0*i + 3*i + 15 for i.
-5
Let b = 498 + -472. Solve 0 = -5*v - b + 26 for v.
0
Suppose 0 = -3*t + 5*n - 15, 0*n = t + n - 3. Suppose t = 5*w - 5. Let u be (-3 - -4)*3/w. Solve d - u*d = 8 for d.
-4
Suppose -4*n + 699 - 647 = 0. Solve 70 = -g - n*g for g.
-5
Let a be (18/8)/((-9)/(-48)). Let c = 14 - a. Suppose -c*v - 7 = -13. Solve g + v*g = -20 for g.
-5
Let t be (3 - -4)/7*(1 + 0). Solve -t + 1 = -10*j for j.
0
Let y be 400/(-30)*(-3)/2. Let c be 2/(0 + (-1 - -3)). Let n be (-1)/(0 - c/5). Solve -n*g = -0*g - y for g.
4
Let d(v) = v**3 - 5*v**2 + v + 4. Let t be d(6). Let u = -43 + t. Solve -15 = -8*h + u*h for h.
3
Let y = -150 - -153. Solve -5 = -4*s + y*s for s.
5
Suppose 8 = 4*k - 3*s, -2*k - 2*s + 23 = k. Let i(y) = y. Let q be i(k). Solve -q*r + 10 = 30 for r.
-4
Let d = 13 - 9. Suppose -12 = -4*o, -d*f - 3*o + 8 + 1 = 0. Solve f*r = 3*r - 12 for r.
4
Suppose -2*t = t - 27. Suppose t*f = 13*f. Solve f = 4*u - 4 for u.
1
Let y be -4*1*-4*14/(-8). Let r = y - -30. Solve -3*l = r*l for l.
0
Let s be (5/(-4))/(2/(-8)). Let d(f) = f**2 + f + 6. Let c be d(3). Let j = c - 14. Solve 19 = s*g + j for g.
3
Let n(w) = 2*w**2 + 37*w + 18. Let l = -5 - 13. Let k be n(l). Solve k = 4*f - 21 + 1 for f.
5
Let d(p) = -p**2 - 15*p - 34. Let f be d(-12). Solve 5 = -3*m + f*m for m.
-5
Let a(s) = 1 - 1 + 14*s - 3 + 16*s. Let m be a(-1). Let o = m + 33. Solve -r - r = o for r.
0
Suppose -u - z + 8 = z, -3*z = -6. Suppose 4*w = -4, t - 4*w - 4 = u. Solve -4 - t = 2*p for p.
-4
Let f(a) = -2*a - 9. Let k be f(-6). Let g = k - 3. Suppose -h + 0 = -5*u + 20, 2*h = g. Solve 0 = -5*z - 1 - u for z.
-1
Suppose 7*d - 135 = -20*d. Solve 14*i = d*i + 18 for i.
2
Let i = 17 + -15. Let f = 0 + i. Solve -2 = f*b - 4*b for b.
1
Let s = -106 - -110. Solve -2 = -s*h + 18 for h.
5
Let y(r) = r**2 + 12*r - 9. Let a be y(-9). Let i = a - -41. Solve c + i = -4*c for c.
-1
Let t be ((-1)/(10/5))/((-2)/(-12)). Let h = 6 + t. Solve -2*y + h = y for y.
1
Suppose 0 = 6*i - 50 - 22. Solve 11*n + i = 15*n for n.
3
Let k(z) = z**2 - 5*z + 11. Let y(p) = -p**2 + 5*p - 12. Let v(u) = 6*k(u) + 5*y(u). Let b be v(4). Solve -2 = 3*j - b*j for j.
-2
Suppose u = 0, 97 + 103 = -5*f + u. Suppose 0 = 6*y - 3*y + 4*g - 20, 0 = -y + 5*g - 6. Let t be y/5 - 8/f. Solve 0 = 2*h - t - 1 for h.
1
Suppose 4*m - 64 = -0*m. Suppose 8 - 4 = -b + 2*x, -5*b = 2*x - m. Suppose 0 = -2*q - b*q. Solve -3*w - 6 = -q for w.
-2
Suppose -499*f + 500*f = 6. Solve -2 = 2*h + f for h.
-4
Let t = -478 - -480. Solve -7*r + t - 9 = 0 for r.
-1
Let h be (-147)/(-14)*(-24)/(-42). Solve h*r - 45 = -21 for r.
4
Suppose -9*g + 158 - 14 = 0. Solve i - 21 = -g for i.
5
Let n(r) = r**3 - 4*r**2 + 3. Suppose 2*y = 5*v + 33, -3*v = 2*v + 25. Let l be n(y). Suppose l*t = 7*t - 20. Solve 3*h - t*h = -8 for h.
4
Let n = -51 - -26. Let i = -21 - n. Solve i*w - 15 + 3 = 0 for w.
3
Suppose 4*p + 3*p = 6*p. Suppose p = 7*c - 13 - 8. Solve 0 = -c*r - 3 - 6 for r.
-3
Let y(n) = -n**2 - 24*n - 136. Let q be y(-14). Solve -q*h + 61 = 53 for h.
2
Suppose 4*r + 30 = 9*r. Suppose -5 = m - r. Suppose 3*k = 5*o + 34, -2*o + 3*o + 5 = 0. Solve k + m = -4*p for p.
-1
Suppose 13 = q + 3. Let u(h) = -2*h + 22. Let a be u(q). Suppose -s + 3*x = 3*s - 8, -a*x = 0. Solve s*d - 6*d - 20 = 0 for d.
-5
Let v(u) = -2*u**3 - 4*u**2 - 2*u - 12. Let m be v(-4). Let r be (-3)/((3/(-25))/(-3)). Let d be 5/(-2)*m/r. Solve 2*l = -d*l + 4 for l.
1
Let r = -2849 + 3019. Solve r*g = 172*g - 6 for g.
3
Let x(v) = v**2 - 2*v - 6. Let p be x(4). Solve 0 = -k - p*k - 3 for k.
-1
Let a be ((-1)/(-3)*4)/(31/93). Let q be (-660)/(-65) + 7/((-182)/a). Solve q*z - 5*z + 20 = 0 for z.
-4
Suppose 127*b = 130*b - 5*f - 73, -3*f = 4*b - 49. Solve -16*g = -20*g - b for g.
-4
Suppose 49 + 59 = 12*d. Solve -7*p = -4*p - d for p.
3
Let h = -7 + 10. Let x = 387 + -383. Solve -x*u - 5 = -h*u for u.
-5
Let d(w) = w + 7. Let n(f) = -f**2 + 10*f - 9. Let i be n(10). Let r be d(i). Let y be (-1 + 0)*r + 0. Solve 0 = 3*m - 5 + y for m.
1
Let c be (-4)/(-18) - ((-22)/(-18) - 2). Let t(p) = p**3 + 25*p**2 - 26*p. Let x be t(-26). Solve -4*g + c - 5 = x for g.
-1
Let o be 24*(-6)/(-32)*4 - 0. Solve o*m = 14*m + 16 for m.
4
Suppose -5*y - 20 = 0, o + 4*y + 15 = 1. Suppose -o*k = i - 2*i - 35, -2*i + 2 = 0. Solve 3*t = 9 - k for t.
-3
Let o = -313 + 313. Solve -x - 2*x + 3 = o for x.
1
Let r = 5 - 2. Let c = 19 + -15. Let x be c + (-6)/3 + -1. Solve 4 = -r*z + x for z.
-1
Let i = 203 + -197. Solve 36 = 3*v + i*v for v.
4
Let g = -148 - -159. Let t(r) = -3*r - 9 - r + 5*r. Let j be t(g). Solve m = -2 - j for m.
-4
Let a(y) = 20*y**2 + 73*y + 72. Let f be a(-1). Solve 13 - f = -3*c for c.
2
Let d(w) = 11*w - 176. Let h be d(16). Solve h = -4*x - 208 + 216 for x.
2
Let t = 28 + -17. Suppose 0 = 3*x - 25 - t. Solve -5*y + x = -9*y for y.
-3
Let t(y) = 13*y - 175. Let g be t(14). Solve -3*d + 8 = -g*d for d.
-2
Suppose 4*u + 1 = -f, -2*f + 3*u + 3 - 5 = 0. Let w be (f - (-4)/4)/1. Solve 2*z - 12 + 2 = w for z.
5
Suppose -3*x = -0*x - 3. Suppose 1655*b - 1 = 1654*b. Solve -x - b = 2*m for m.
-1
Let p(d) = -d**2 - 9*d - 12. Let a be p(-7). Suppose 2*b + a*b + 4*n = 4, 2*n + 12 = 5*b. Solve m = -b - 3 for m.
-5
Let o be (-2021)/(-141) + 4/6. Solve 9*h - 6*h = o for h.
5
Let y be (2 - 6) + (-1 - -33). Let k be (5 - -1)*(-84)/(-18). Let x = k - y. Solve x*t = t - 3 for t.
3
Let w(y) = -y**2 - 4*y + 1. Let q be w(-3). Let i = -1345 + 1349. Suppose -3*c + 2*d = 10 - 34, 4*c - 5*d - 39 = 0. Solve -c*k + q = -i*k for k.
2
Let k be -2 - (11/((-363)/(-6)) - 158/22). Let y(b) = -b**3 + 6*b**2 + 2. Let l(z) = -z**3 - z**2 + 6. Let d be l(0). Let a be y(d). Solve k*g = -a + 7 for g.
1
Let p(x) = x**2 - 12*x + 11. Let k be p(8). Let y be (-18 - k)*4/3. Solve -9 = y*v - 1 for v.
-2
Let f = -26 + 53. Suppose 4*l = 2*d - 174, -174 = -2*d + 3*l - 0*l. Let y be d/f - 4/18. Solve -y*n + 0*n + 6 = 0 for n.
2
Let g be 1/(4/2 - 1). Let l = -33 - -145. Let o be ((-64)/l)/(4/(-14)). Solve g = o*j - 9 for j.
5
Suppose 4 = 8*z - 4*z. Let o be 4 + (-20)/(z + 4). Solve 5 = k - o*k for k.
5
Let j be (25/(-50))/(2/(-16)). Solve 0 = 10*b - j*b - 6 for b.
1
Let b(c) be the third derivative of c**5/30 + c**4/6 + 5*c**3/6 + c**2 - 4*c. Let z be b(-2). Solve 0 = 6*s - s - z for s.
1
Let i = 14 + -9. Let r(d) = -d**2 + 4*d - 3. Let p be r(i). Let h = p + 12. Solve 6 = -h*w + w for w.
-2
Let q be (4/(-10))/(2/(-5)). Let p(i) = 3*i - 1. Let d be p(8). Let w = q + d. Solve -w = -4*y - 8 for y.
4
Let y = -255 - -163. Let t be (y/28 - -3) + (-30)/(-7). Solve j - t = -2 for j.
2
Let n(p) = p**2 - 34*p + 70. Let q be n(2). Solve 187*o = 181*o + q for o.
1
Suppose -5*h - 25 = 4*m - m, 15 = 2*m - 3*h. Let j = 29 - 24. Suppose -2*k - 9 = -j*k. Solve m = k*w - 4*w + 3 for w.
3
Let p be 14/(-112) + (-210)/(-16). Suppose p = d + 12. Solve -n + d = 6 for n.
-5
Let x = -29 - -31. Solve x = 4*l - 10 for l.
3
Let s = -32 - -59. Suppose s = -8*r + 91. Solve -2*b = 2*b + r for b.
-2
Let m = 32 - -8. Let c be 14 + (m/(-2))/5. Solve -10 = -5*j + c for j.
4
Let f be 2494/(-30) - 36/(-270). Let w = f - -85. Solve 6 + 4 = -w*m for m.
-5
Suppose -n = d - 24, -3*n + 99 = 2*n - 2*d. Suppose 2*a - 31 + 19 = 0. Solve -n + a = -5*h for h.
3
Suppose -4*z + 6 = -3*f, 2*f = -2*z - 0 + 10. Solve -6*y + f*y = -16 for y.
4
Let l(g) = -10*g + 16. Let k(i) = 15*i - 24. Let d(b) = -5*k(b) - 8*l(b). Let z be d(2). Solve 0 = -0*y + z*y + 10 for y.
-5
Let z(n) = -n**3 + 16*n**2 - 10*n - 61. Let l be z(15). Solve -l = v - 12 for v.
-2
Let s(p) = -p**2 + 3*p - 1. Let u be s(3). Let h = u - -1. Suppose -5*x + h*x - 3*z = 6, 2*x = z + 2. Solve -y + 3*y - 2 = x for y.
1
Suppose 0 = 4*j - 0*j - 32. Solve 0 = 7*p - 3*p + j for p.
-2
Suppose -15 + 12 = -i. Let n be 0/(-1) + 5 + (i - 3). Let q(b) = -b. Let z be q(-4). Solve -h + n*h = -z for h.
-1
Let l = 57 - 41. Suppose 53*u - l = 51*u. Solve -u = -3*y + y for y.
4
Let l(j) = j + 6. Let b be l(0). Suppose -466 = -5*t + 44. Let w = -100 + t. Solve 0 - b = w*z for z.
-3
Let z be (-11 + 5)*(4/3 + -3). Solve -z*q + 11*q = -2 for q.
-2
Let h(r) = -r**2 + 6. Let g(i) = -6*i + 16. Let j be g(3). Let 