= 0 for z.
-1
Let u = -61 - -48. Let x(k) = -k**3 + 6*k**2 + 6*k - 8. Let t be x(7). Let c = u - t. Solve c*h + 12 = -h for h.
-4
Let i(t) = 4*t + 20. Let f be i(-5). Suppose -l + 5*b = l + 7, l + 5*b - 19 = f. Solve -5*r + 14 - l = 0 for r.
2
Let p be -1 - 104/(-9 + 5). Solve p = 5*y + 15 for y.
2
Suppose -11 = -5*u + 9. Let h(n) = n + 1. Let z be h(u). Suppose 0 = -z*v + 50 - 30. Solve o = 5*o + v for o.
-1
Suppose 2*g + 2 - 35 = -t, -4*t + 3*g + 165 = 0. Solve 18 = 19*b - t for b.
3
Let v(k) = -4*k + 107. Let a be v(26). Solve 0*b = a*b for b.
0
Let n(m) = m**2 + 10*m + 8. Let x be n(-10). Suppose 3*t - x = 10. Solve 7 = -d + t for d.
-1
Let q = -11 - -16. Suppose k + 14 - q = 0. Let j = k - -13. Solve 0 = -o + j*o + 9 for o.
-3
Let l be (29 - 26)/(2 + -1). Solve 3*j = 6 + l for j.
3
Suppose 0 = 4*m + 8 + 8. Let n(u) be the third derivative of u**5/60 + u**4/8 + u**3/6 + 10*u**2. Let b be n(m). Solve -12 = b*o - 2*o for o.
-4
Suppose 3*b + 5*w = 24, -4*b + 0 = w - 15. Suppose 0*n = -4*n + b*n. Solve -20 = -n*k - 4*k for k.
5
Let a be (-8)/((-20)/(-5) - 6). Suppose 5*p - 2*p = 9, 0 = -3*y - a*p + 12. Solve y = k + 3*k for k.
0
Let s(l) = l**3 - 13*l**2 + l - 13. Let m be s(13). Suppose 3*u + m*p - 42 = 3*p, 3*u - 18 = -3*p. Suppose u = -2*i + 4*i. Solve x = -4*x + i for x.
1
Let i = 221 - 197. Solve -4*n = -12 + i for n.
-3
Let k be 10/12 + 4/(24*1). Suppose 3 + k = j. Solve -5*g - 3 = -j*g for g.
-3
Suppose -2*g = -2*v - 3*v + 21, -g = v - 7. Suppose 3*b - 4*i - 5 = 0, -3*i + 7*i = 2*b - g. Suppose -11*h + 6 = -8*h. Solve -u - h*u = -b for u.
1
Suppose -480*s + 186 = -474*s. Solve s*p - 29*p = 2 for p.
1
Let t be 0 + (-2)/6*3. Let g = -8 + t. Let v be 0/(3/(g/(-6))). Solve v = 3*n - 0*n - 12 for n.
4
Suppose 0 = -2*z + j - 3, 0 = 3*z + j - 31 + 28. Solve z = 11*f - 14*f + 15 for f.
5
Suppose -3*m - 66 = -4*g + 20, 0 = -2*g - 4*m + 32. Solve 64*l = 60*l - g for l.
-5
Suppose 0*k + 6 = 2*k. Let a(l) = -2*l**3 - 29*l**2 - 14*l + 6. Let y be a(-14). Suppose -16*t + y = -13*t. Solve -f = k + t for f.
-5
Let v(m) = -4*m - 3. Let g(k) = 5*k + 4. Let f(a) = 5*g(a) + 6*v(a). Let h be f(0). Let z = 152 + -152. Solve z*p + 2*p = h for p.
1
Suppose -660 = -10*q - q. Solve -q*j + 9 = -63*j for j.
-3
Suppose -12 = -3*c, 11*y = 13*y + 4*c - 28. Solve y*g - 10 = 14 for g.
4
Let w(a) be the second derivative of a**5/20 + a**4/4 - a**3/3 + a**2/2 + 3*a. Let m be w(-3). Suppose 3 = -s + m. Solve 3*n = -n - s for n.
-1
Suppose 3*j - 432 = -15*j. Solve j = 5*q - 13*q for q.
-3
Suppose 0 = 2*c - 4*c + 44. Suppose 8*u = -3*u + c. Solve 0 = 6*p - u*p + 12 for p.
-3
Let i be (12/(-18))/((20/(-12))/5). Solve z + i*z = -15 for z.
-5
Suppose -2*z + 1 = -3*z, y = -z + 2. Suppose -3*l + 40 = 2*g, -3*g - 2*g + 5*l + 100 = 0. Suppose 3*j - 49 = 4*u, 3*j - u = 26 + g. Solve -6 + j = y*d for d.
3
Let m = -17 + 22. Suppose 0 = 5*s + 25, -6*h + 3*h + m*s = -25. Suppose 3*l - 5 = 1. Solve h*t = 2*t - l for t.
1
Let u(c) = c**3 - 14*c**2 - c + 38. Let q be u(14). Solve -q = -26*r + 20*r for r.
4
Let n(u) = 19*u + 580. Let x be n(-28). Solve 17*v = 5*v - x for v.
-4
Let k = 22 - 16. Suppose 7*d = k*d + 2. Suppose 3*h + 15 = 0, 2*u - 25 = -d*h - h. Solve 0 = w - 5*w - u for w.
-5
Let v(d) = -d**3 - 17*d**2 - 50*d + 39. Let p be v(-13). Solve -7*k = p - 20 for k.
1
Suppose -5*o = -3*o. Solve 16*g + 14*g - 34*g = o for g.
0
Let u(m) = 4*m - 129. Let p be u(33). Solve 4 = x + p for x.
1
Let w(r) = -5*r**2 - 2*r - 1. Let h be w(-1). Let s be 33/6 - (-2)/h. Let b be (20/6)/s*12. Solve -b*o + 20 = -3*o for o.
4
Let g(q) = -q**2 - 14*q - 45. Let o be g(-7). Solve -o*k + 31 - 19 = 0 for k.
3
Let k be (-2 - -19) + -6 + 4. Solve -v - k = -18 for v.
3
Let t be 66/96*4 + 3/(-4). Let b be ((-72)/42)/(t/(-7)). Solve -5*o = -7*o - b for o.
-3
Suppose 19 - 232 = -4*n - h, 2*n = 4*h + 120. Let d = -50 + n. Let p be 12/14*(6 - -1). Solve 2*v + d = -p for v.
-5
Suppose -3*a = -3*y - 6, -53*a = -54*a + 2*y. Solve -a*p - 4 = 8 for p.
-3
Suppose w = i - 4, 2 = -4*w + 3*w. Suppose 0 = 5*c - 6*c - i. Let a = 7 + c. Solve -b - a = -6*b for b.
1
Let v(i) = i**2 + 7*i + 5. Let t be v(-6). Let r be 3 + t + (-5 - -16). Solve -r = -4*l + 7 for l.
5
Let g(u) = u - 4. Let z be g(8). Suppose 4*d = -4*t + d - 48, -t - z*d = 12. Let y = t - -12. Solve -2*l = -2 - y for l.
1
Let s = 925 + -913. Solve 2*o - s = -o for o.
4
Let u be 11 - (-8 + 2)/(-8 - -7). Solve 0 = -u*y + y - 16 for y.
-4
Suppose -2*s + 16 = 3*r, 4*s - s - 2*r = -2. Suppose j + q - 5 = -0*j, j = 2*q - 10. Let a be (2 + -5)/((1 + j)/(-1)). Solve -v + a*v = s for v.
1
Suppose -3*g = -5*z + 43, -z = 4*g - 6*z + 49. Let w = 8 + g. Suppose 0*s + w = s. Solve 0 = s*i + 2 - 12 for i.
5
Let m(a) be the second derivative of -a**3/6 - 4*a. Let q be m(6). Let f = 15 + q. Solve -h + 4 = f for h.
-5
Suppose 182*h - 191*h + 54 = 0. Solve 0*f = -2*f + h for f.
3
Suppose x + a = 1, 5*x + 5*a = 10*a - 5. Solve x = 4*r - r - 12 for r.
4
Let f be -5 - 335/(-25) - 8/20. Suppose 0 = -3*w + 6*w - 24. Let o = w - f. Solve o = -c - 1 - 3 for c.
-4
Suppose -3*p - 6 = 0, -5*p = 5*r - 2*p - 244. Solve -7*i - r = -15 for i.
-5
Let k be 5 + ((-40)/(-5) - 8). Solve 2*g + k - 11 = 0 for g.
3
Let y(b) = b**3 + 8*b**2 + 7*b + 5. Suppose -45 = -4*h - 5. Suppose -5*f - 5*l - h = 0, -5*l - 16 = -41. Let k be y(f). Solve 7 - 2 = k*p for p.
1
Let t(n) = -35*n + 9. Let d(j) = -11*j + 3. Let s(x) = 17*d(x) - 6*t(x). Let c(w) = w**3 + w**2 + 1. Let f be c(0). Let b be s(f). Solve -p = 3*p - b for p.
5
Let l(w) = -w**2 - 2*w + 5. Let f be l(0). Suppose 0 = f*t + 20, -2*t - 35 + 7 = -5*m. Solve m = -3*r - 2 for r.
-2
Let z(v) = v**3 - 4*v**2 + 4*v - 1. Let n be z(3). Let x = -8 + n. Let a = -4 - x. Solve -a*t + 4 = -t for t.
4
Suppose 89 = 2*u - 391. Suppose -5*t - 225 = -u. Solve t*i - 4 = i for i.
2
Suppose 5*v = 8*v + 12. Let s = v + 9. Suppose s = 4*r - t + 1, -3*t - 12 = 2*r. Solve r = 3*h - 0*h for h.
0
Let r be 26/4 + (-12)/(-24). Solve 18 = o - r*o for o.
-3
Let f(m) be the second derivative of m**5/20 + 7*m**4/12 + m**3 + 5*m. Let z be f(-6). Let u be 21/(-12)*-4 - 2. Solve -u = -5*d - z*d for d.
1
Let x = 18 + -16. Suppose o - 5*p + 20 = -2*o, -x*o - 10 = -5*p. Let j be (o/4)/(5/(-30)). Solve 5*n = 2*n + j for n.
5
Suppose -2*m - h + 90 = 0, -2*h + 30 = m - 18. Let l = -44 + m. Solve 5*b - 7*b - 8 = l for b.
-4
Suppose -7 = -3*t - 4*f + 6, -18 = -3*t - 3*f. Let i be (2 - (-8)/(-6))*153/34. Suppose 5*m + 3*g - 6*g - 8 = 0, 2*m + i = -5*g. Solve -3*c - t - m = 0 for c.
-4
Let o be (180/100)/((-6)/(-50)). Suppose -33 + o = -2*i. Let d be 2/i - 260/(-45). Solve -d = -5*j + 4 for j.
2
Let k(d) = d**3 - 7*d**2 - 20*d + 98. Let m be k(8). Solve m*j = -2 + 8 for j.
3
Let l(h) = 3*h**2 - 5. Let q(y) = -16*y**2 + y + 25. Let r(p) = 11*l(p) + 2*q(p). Let v be r(-4). Solve 0*z - 12 = v*z for z.
-4
Let o = -186 + 188. Suppose 4*w = -20, w - 6*w = 5*r + 10. Solve -z + r = o*z for z.
1
Suppose d + 5 = -4*o, 4*o + 25 = 3*o - 5*d. Suppose 4*w - 8*w + 36 = o. Suppose 11 + 10 = 3*f. Solve -w = -4*y + f*y for y.
-3
Suppose 0 = 2*h - 3*h + 3. Suppose 5*u - 45 = 7*o - h*o, -5*u - 3*o + 45 = 0. Let n be 2/(-4) - ((-897)/(-6))/(-13). Solve 4*y - u = n for y.
5
Let d(j) = j**3 - 9*j**2 - 11*j + 13. Let o be d(10). Suppose -6*b = -15 + o. Solve 2*l + b = 4*l for l.
1
Suppose 0 = -3*y + 2*v - 5, -4*v + 9 - 32 = 5*y. Let q = -1 - y. Let f = -87 - -90. Solve -f = -q*a - a for a.
1
Suppose -13*g = 14*g - 1215. Solve j - g + 41 = 0 for j.
4
Suppose 4*y = y - 3*l - 15, -3*l - 15 = -y. Solve 5*b + 8 + 2 = y for b.
-2
Suppose -4*v = -0*v - b, -5*v = -5*b - 15. Let w be 1 + (0/2)/v. Solve -4*l = -3*l + w for l.
-1
Let d = 114 - 84. Solve -12 = -6*o - d for o.
-3
Let g be ((-5)/8*-20)/(3/6). Suppose 3*y + 2*y = 30. Suppose 0 = -r + y. Solve r*v + g = v for v.
-5
Let q = -3 + 8. Suppose 0 = -q*r + 2*p - 5, 2*r + 2*r - 4*p = -16. Suppose 0*b - 16 = -2*h - 2*b, 2*h = b + r. Solve 2 = -2*z + h*z for z.
2
Suppose -3*z = -4*j + z + 20, j - 4*z = 20. Let r(o) be the second derivative of 2*o**3/3 - 11*o**2 - 9*o. Let d be r(6). Solve d*p - 3*p = j for p.
0
Suppose 2 = -g - 19. Let q = g - -30. Solve q = 4*f - f for f.
3
Let w = 7 + -7. Suppose -3 = -m - w. Let u = 6 - m. Solve 0 = -2*l + u*l for l.
0
Let j(t) = 3*t**3 