u for u.
-4
Suppose -2*d - 12 = -4*d. Suppose 2*h = d - 0. Let r = h - 3. Solve -g - 3*g = r for g.
0
Let b = 9 - 1. Solve -8 = 4*r + b for r.
-4
Let z = -5 - -19. Solve 3*d + 1 + z = 0 for d.
-5
Let c be 3/(-9) + 40/12. Solve -2*s = c*s for s.
0
Let n(h) = h**3 + 12*h**2 + 10*h - 6. Let w = -19 + 8. Let l be n(w). Solve 0 = -5*v - 0 - l for v.
-1
Let u(h) = h - 6. Let r(k) = 1. Let s(j) = -4*r(j) - u(j). Suppose 3*m - 5*m = 0. Let q be s(m). Solve 0*y - q*y + 2 = 0 for y.
1
Suppose 3*p - 8*z + 3*z - 6 = 0, -3*p = -2*z - 6. Solve 3*y = 4*y + p for y.
-2
Let o = 2 + -8. Let a = 12 + o. Solve r - a = 3*r for r.
-3
Let f be (168/90 - 6/9)*5. Solve 7*m - f = 4*m for m.
2
Suppose -3*r + 42 = 4*s - s, 2*s = 5*r + 14. Solve -4 - s = -4*c for c.
4
Suppose -12*i - 6 = -42. Suppose -d = -2*d + 2. Solve d*a = -i + 1 for a.
-1
Suppose k + 2*k - 137 = -5*z, 2*z + 5*k - 70 = 0. Solve z = 5*d - 0 for d.
5
Let k(r) be the first derivative of r**4/4 - 2*r**3 + 2*r**2 + 7*r + 3. Let a be k(5). Solve 6 = h + a for h.
4
Suppose -1 = t + 2*j, -3*t = 2*t + 3*j + 12. Let u = t - -3. Suppose h - 3*d + 4 = u, 0*d - 4*d = 2*h - 12. Solve -b - 15 = h*b for b.
-5
Suppose 0 = m + 2*m. Let u be m - 6/(-2 + -1). Solve 5 = u*x + 3*x for x.
1
Let r = 4 - 3. Suppose -u + 6 = r. Solve u*c = -10 - 10 for c.
-4
Let p(s) be the first derivative of -s**2 - 4*s + 3. Let n be p(-4). Suppose -d + 4*i - 6 = 5, n*d - 16 = 4*i. Solve d + 6 = -5*b for b.
-3
Let g = 7 + -4. Solve 0 = g*c - 8*c - 20 for c.
-4
Let u(t) = t - 17. Let c = -8 - -8. Let q be u(c). Let s = -12 - q. Solve z - s*z = 12 for z.
-3
Let t(r) = -2*r - 21. Let c be t(-14). Solve -c*l + 3*l - 20 = 0 for l.
-5
Let v = -46 - 2. Let l be (6/8)/((-2)/v). Let f be 0 - 1/((-3)/l). Solve -4*p = f + 10 for p.
-4
Let k(j) = j**3 + 2*j**2 - 2*j + 1. Let c be k(-3). Let b = c + 2. Solve 7*z - 4*z = b for z.
0
Let h = -25 - -7. Let g = 28 + h. Let l be (0 + g)*(-2 - -3). Solve -d = 4*d - l for d.
2
Let u be 1/4 - (-141)/12. Let v = -8 + u. Solve -v*s + 0 = -8 for s.
2
Let t = 7 + -25. Let r = 27 + t. Solve -2*m = -r + 3 for m.
3
Suppose t - 1 = 0, -5*x + 2*t = -2*t - 6. Solve -x*m - 15 = -5*m for m.
5
Let o(f) = f**2 + 6*f + 3. Let k be o(-4). Let r(i) = -6 - 5*i**2 - i**3 + 0*i**2 - 2*i - 1. Let v be r(k). Solve -v*z = -7*z for z.
0
Suppose -4*y + 29 = -3. Solve -3*i = y + 7 for i.
-5
Let z(g) = -9*g**2 + 5*g - 7. Let w(x) = 5*x**2 - 2*x + 3. Let h(q) = -11*w(q) - 6*z(q). Let l be h(-9). Solve 3*v + l*v = 6 for v.
2
Suppose 0 = -3*n - 2*h - 4 - 10, -3*n - 5*h - 17 = 0. Let v = -2 - n. Let g be (-16)/(-5) + v/(-10). Solve g = 2*s - s for s.
3
Suppose d = 2*z + 4, -4*z + 2*z = 5*d + 4. Let y = d + -7. Let j = y - -10. Solve j*v - 2*v = 4 for v.
4
Suppose 10 = -3*v - 2*v. Let p = v - -5. Solve -p*h - 15 = -0*h for h.
-5
Suppose 2*i + 5*w = 1, -5*w = -2*i - 3 + 14. Solve i = f + 2*f for f.
1
Let c(m) = -2*m - 5. Let w be c(-5). Suppose -2*a + w*l - 23 = 8, -5*a - 43 = -l. Let j = 1 - a. Solve -3 = -3*y + j for y.
4
Suppose 2 = -2*o - 2. Let n = 4 - o. Suppose 0 = 12*u + u - 13. Solve -y + n = u for y.
5
Let z = -16 + 22. Suppose z = 2*b - 3*d, -3*b + 5*d + 12 = b. Let v be 1/b - 1/3. Solve -2*q + 3*q - 5 = v for q.
5
Let y be 0/(90/(-35) + 6/(-14)). Solve v + v = y for v.
0
Let r(l) = 2*l**2 + 2*l. Let c be r(-2). Suppose 3*i + 3 = -c*k - 0, 0 = 4*k + i - 7. Solve -u = -k*u for u.
0
Let h be ((-2)/4)/(2/(-12)). Suppose 0 = -h*r - 0*r - 54. Let i be (-6)/r*1*9. Solve 3 = i*j - 3 for j.
2
Suppose 5*h - 9 = 11. Solve h*s = s for s.
0
Suppose -4*c + 0*c = 5*n + 9, 5*c - 4*n = -1. Let t be (-2 - -5 - 6)/c. Solve t = -5*x + 8 for x.
1
Suppose 0 = -4*p - 3*p + 21. Solve 16 = o + p*o for o.
4
Let h(r) = r + 8. Let y be h(-4). Suppose 0 = -8*t + 7*t. Solve -y*p - 3 - 5 = t for p.
-2
Let x(i) = i**3 + 4*i**2 + 2*i - 3. Let h be x(-3). Let b be h + 5 - 0/2. Solve -b*q + 10 = -0*q for q.
2
Let d(s) = s**3 + 8*s**2 - 11*s - 9. Let t be d(-9). Solve 5*j = t*j - 12 for j.
3
Let f(n) be the second derivative of -n**5/20 + n**4/12 + n**3/6 + 2*n**2 - n. Let v be f(0). Solve v = -2*w - 0 for w.
-2
Let j(v) = v**3 - 2*v**2 - v - 3. Let q be j(3). Let z be q + -6 + 3 - -14. Solve -5*d + 11 = -z for d.
5
Let x be (1/(-2))/((-5)/70). Solve -10 = 2*b - x*b for b.
2
Let i = -4 + 6. Let w = i + 0. Solve w*h - 3 = -13 for h.
-5
Let g(s) = -2*s + 4. Let b be g(4). Let c be (b/12)/((-3)/27). Solve c = 2*z - 5 for z.
4
Let b(j) = 2*j + 3. Let m(g) = 3*g + 5. Let n(a) = 5*b(a) - 3*m(a). Let s be n(5). Solve -2*w + s*w = 0 for w.
0
Suppose 0*t = 4*t - 8. Suppose t*s - 8 = -2*s. Suppose 4*c - 10 = -3*x + s, -12 = -3*x + 3*c. Solve -i = x - 3 for i.
-1
Suppose 3 - 12 = -3*n, 5*i - 3*n = 21. Solve 4*m - 6 = i for m.
3
Suppose 0*m = -m. Solve m = q - 2*q + 3 for q.
3
Let q(u) be the second derivative of -u**4/12 - 5*u**3/6 - 2*u**2 - u. Let c be q(-4). Let a be (-1 - (-1 + c)) + 5. Solve o = a*o + 4 for o.
-1
Suppose -4*g - l - 2 = 2, 0 = -5*g - l - 4. Suppose 0 = -4*w - g*w + 12. Solve -5*n = -18 + w for n.
3
Let v(r) = r + 11. Let a be v(-7). Solve 4*s = -0*s - a for s.
-1
Suppose -2*x = -g - 0*x - 6, -2*g + 2*x - 14 = 0. Let p = -4 - g. Suppose 5*y - p = 21. Solve h - y*h = -4 for h.
1
Let x = 3 - -2. Solve 0 = -x*d + 4 + 6 for d.
2
Suppose -4*d = -d - 12. Solve d*a + 3 = 19 for a.
4
Let w(j) = -5*j + 3. Let q be w(-3). Let l = 6 - 0. Let t = l + -3. Solve t*n + q = 3 for n.
-5
Let p be 1 + 13/(-11) - (-920)/220. Solve p - 1 = -k for k.
-3
Let h = -161 + 165. Solve -h*k + 9 = -7 for k.
4
Suppose -2*k - 184 = -6*k - w, -4*w = -5*k + 251. Suppose -k = -4*j + 17. Solve 1 = -5*b + j for b.
3
Let m(k) = -k**3 - 6*k**2 + 5. Let l be m(-6). Suppose 2*c - 7 = -h, 0 = 3*h - h + l*c - 17. Solve 0 = -n + h - 3 for n.
-2
Let o(r) = r - 5. Let y be o(4). Let p be -1*(-1 + y/1). Suppose 3*g - 5 = -5*t, t = -5*g + p*g + 13. Solve -5*z - g = 5 for z.
-2
Suppose -5*o = 4*y - 45, y = 4*o + 5*y - 40. Suppose 0 = o*d - 10*d + 10. Let m be -1*(-2)/(-4)*-2. Solve d*u - 5 = m for u.
3
Let j(w) = w**3 - 4*w**2 - 7*w + 6. Let f be j(5). Let l = f - -14. Solve i + l = -i for i.
-5
Suppose 4*n - 57 = -3*j, -n = 4*n - 3*j - 78. Solve -5*u - n = -0*u for u.
-3
Let w(u) = 2*u**2 + 11*u + 15. Let y(s) = -3*s**2 - 17*s - 22. Let o(a) = 7*w(a) + 5*y(a). Let m be o(-7). Suppose m*i = -i. Solve 3*n - 6*n - 6 = i for n.
-2
Let t = -84 - -88. Solve -5*z = -t*z for z.
0
Let j = 32 - 29. Solve -j*u - u - 8 = 0 for u.
-2
Let o(c) = -4*c**3 - 3*c**2 - 3*c. Let z be o(-2). Suppose p = -5*g + 48, -z - 2 = -p - g. Let n be 5 + (3/1 - 0). Solve 5*d + n = p for d.
3
Suppose -5*g - 44 = 4*x, -30 = 4*g - 0*g - 2*x. Let s = 5 + g. Let b be s*(-1)/1*1. Solve -r = b*r for r.
0
Let d be 5/(2/(-6)*-3). Suppose -d = -0*i - i - p, 4*i - p = 0. Solve 2*l + i = 5 for l.
2
Suppose -7*r + 10 = -2*r. Solve -3*a = -r + 5 for a.
-1
Let q(l) = l**2 + 5*l - 33. Let u be q(-9). Solve -4 = -u*s + 4*s for s.
-4
Let d be 3*-1*5/(-3). Let r(f) = -f**3 - 21*f**2 + 22*f. Let z be r(-22). Suppose -2*l + d*l = z. Solve -3*o = -l*o + 9 for o.
-3
Suppose 4*u - 27 = -7. Suppose 3*z - 5*p + 13 = 0, z + 2*z = 2*p - 7. Let c be (-9 - 2)/(z + 0). Solve c = -u*g - 4 for g.
-3
Let s be (-1)/(-6) - (-70)/12. Solve -2*d + s = d for d.
2
Let g(l) = -l**3 + 4*l**2 + l + 5. Let o = 10 + -6. Let q be g(o). Let v = -3 + 3. Solve 3*a = -v*a + q for a.
3
Let h = 1 - 1. Let c be (1 - (2 + 3)) + 7. Solve h*t = -3*t + c for t.
1
Let d(s) = 2*s**2 - 4*s - 4. Let i be d(4). Solve -6*u + 3*u = -i for u.
4
Suppose -30 = -3*h - 2*j, 2*j + 60 = 4*h - 2*j. Solve -h = 3*c - 7*c for c.
3
Let d be 6*4/(-18)*-3. Solve 2*a - d = 6*a for a.
-1
Let j = 53 + -53. Solve j = -12*n + 8*n for n.
0
Let o(y) = y**2 - 9*y + 4. Let p be o(7). Let v = 12 + p. Solve 3*k - v + 17 = 0 for k.
-5
Let c = 0 - -7. Suppose -11*k + c*k = -16. Solve -d = k*d for d.
0
Let r = -3 + 10. Let g = 15 - r. Solve 0 = -4*y - g for y.
-2
Suppose j = -2*j + 18. Suppose -3*p = -5*m, 3*m = -2*m. Let a be p/(-6)*1/2. Solve -v - v + j = a for v.
3
Let h be 11 - (6 + -4) - 4. Solve -j = -0*j + h for j.
-5
Suppose 0 = 2*z - 3*c - 3 - 13, -2*z = -2*c - 14. Solve 0 = -z*y + 5 - 20 for y.
-3
Suppose 6*a = 7*a - 1. Solve 0 = -x - a for x.
-1
Let x(o) = -o**3 + 10*o**2 - o + 10. Suppose -5*m - n = -48, 0 = -n 