for y.
5
Suppose -4*d = -41 + 29. Solve d*w = -0*w - 15 for w.
-5
Let i(f) be the second derivative of f**3/3 - 2*f**2 - 6*f. Let m be i(3). Solve -m*t = -7*t - 15 for t.
-3
Let o(k) = 5*k**3 - 2*k**2 + k. Let d be o(1). Let v be 7 - 4*2/d. Suppose -v*j = -c - 71, 4*j = c - 3*c + 68. Solve 7*h - j = 4*h for h.
5
Suppose 4 = -2*c + 12. Suppose -4*q + 2 - 6 = 0. Let p = q + c. Solve 2*s - 11 + p = 0 for s.
4
Suppose 0 = z - 5*m + 4*m + 5, -2*z + 4*m - 20 = 0. Let q = -13 - -18. Suppose -8 = -2*j, -q*j + 3 = -4*g - 5. Solve 0 = -z*o + g*o for o.
0
Suppose 5*d - 61 + 46 = 0. Solve -20 = d*q - 7*q for q.
5
Let c(d) = d**2 - 7*d - 20. Let t be c(10). Solve 3*z - 4 + t = 0 for z.
-2
Suppose 4*h = u - 21, -2*u + 7 = -5*h - 23. Solve -u*d - 6 = 9 for d.
-3
Let i = -2 - -15. Let c = -11 + i. Solve -c*p - 2*p = 0 for p.
0
Suppose -2*t + 20 - 4 = 0. Suppose u - 5*u = 0. Solve -2*b = -u*b - t for b.
4
Let i(c) = -4*c**3 - c**2 - 13*c + 16. Let k(m) = -m**3 - 4*m + 5. Let z(n) = 2*i(n) - 7*k(n). Let q be z(-3). Solve q = 3*p - 2*p - 1 for p.
1
Let w be ((-1274)/(-21))/13 - (-4)/(-6). Solve w*g - 8*g = -16 for g.
4
Let v(g) = 3*g**2 + 2*g - 2. Let z be v(1). Solve -z = -5*r + 7 for r.
2
Let l(y) be the second derivative of y**5/20 + 5*y**4/12 - y**3 + 3*y**2/2 - 3*y. Let f be l(-6). Solve -2 = -f*x + 4 for x.
2
Let i = 18 + -18. Solve -2*q + 6*q - 4 = i for q.
1
Let r(s) = 5*s - 15. Let q be r(8). Solve 3*w + 2*w + q = 0 for w.
-5
Let z(i) = -i + 1. Let l be z(4). Let s be 1/(l*4/(-24)). Solve -3*q - 15 = s*q for q.
-3
Let y = 11 - 7. Suppose y*t + 3*s = -t + 19, 0 = -3*t - 2*s + 11. Suppose -v - 4 = -3*k, -t*v + 2 = 5*k - 18. Solve 0 = m + 1 + v for m.
-3
Let b be 10 + (5 + 3)/(-4). Solve 5*d = b*d + 6 for d.
-2
Suppose -4*x - 2 = -5*x. Suppose 9*f - 12*f + 30 = 0. Solve x*t - 4 + f = 0 for t.
-3
Suppose 5*z - 3 = 17. Suppose z*h - 10 = 10. Solve -h*g + 37 = 12 for g.
5
Let b(s) = s**3 + 7*s**2 - 7*s + 12. Let r be b(-8). Solve -r*d - 12 = -8*d for d.
3
Suppose 4*s = 5*d - 13, -4*s + 7 = 3*d - 20. Let o be d*(0 + 5) - 2. Solve -o = 4*u - 7 for u.
-4
Let i = -3 - -8. Suppose j + 2*j = 12. Suppose j*t - i - 7 = 0. Solve 0 = -f - t*f for f.
0
Let q be (3*1)/(12/28). Let y = -39 - -41. Solve -q*n = -y*n for n.
0
Suppose 0 = 5*n - o - 11 - 34, 6 = 2*n + 2*o. Solve 2*w = -0*w - n for w.
-4
Suppose k = -0*k + 1. Let t = 2 + k. Suppose -4*o + 4*h = -h - 28, 14 = o - t*h. Solve -o*l - 3*l = -5 for l.
1
Suppose -2*t - 6 = -18. Suppose -t*p + 20 = -2*p. Solve 0 = 5*a + 25 - p for a.
-4
Suppose 4*b + 21 = 5*r, 2*r - 5*r - 4*b = 13. Solve r = -k - 3 for k.
-4
Let c be 2 - 2*(3 + -4). Let s = 2 + -1. Solve c*o - 21 = -s for o.
5
Let m(f) = f**3 + 7*f**2 - 2*f - 8. Let q be (-40)/6*12/(-8). Let w = -17 + q. Let p be m(w). Solve -p = -2*b - 0 for b.
3
Let s be (-1)/5 - 264/(-20). Suppose 2*q + 0*o - 9 = o, o = 4*q - s. Suppose -3*y = -5*u - 16, q*y + 0 = -4*u - 4. Solve -y*t + 1 = -3 for t.
2
Suppose 6*o = 3*o - 3. Let z be (-5)/(5/(-14)) + o. Let a = 26 + -14. Solve a + z = 5*u for u.
5
Let d(n) = -2*n - 1 + 0*n - 1. Suppose 3*j + v + 2 = -1, 0 = -5*j - 2*v - 4. Let r be d(j). Solve 0 = -l + r*l for l.
0
Let w = 0 + 2. Suppose -5*x + 8*x - 6 = 0. Suppose -w*r + 8 + x = 0. Solve r*f = f for f.
0
Suppose 4*h - 26 = -18. Solve -h = z + 1 for z.
-3
Suppose -3 = 3*q, 0 = -5*t - 0*t - 2*q + 48. Solve t = -5*k + 30 for k.
4
Suppose 5*d - 47 + 32 = 0. Solve -d*h + 3 = -3 for h.
2
Let a = -33 + 59. Suppose 2*u + 4*y - a = 0, -36 = -4*u - 2*y - 2*y. Solve -s = 2 - u for s.
3
Let i = -8 - -10. Solve -i = -7*q + 5 for q.
1
Suppose -4*t = 4*k - 15 - 17, 12 = 2*t + k. Solve 2*r = -12 + t for r.
-4
Suppose -2*g = 124 + 12. Let m be (51/g)/(1/(-4)). Suppose 4*k = -4*w + 68, k - 31 = -2*w + 2*k. Solve 4 = m*n + w for n.
-4
Let r(o) = 8*o + 4. Let a be r(1). Solve 0 = -5*p + p + a for p.
3
Let m(r) = r**2 + 8*r - 6. Let n be m(-9). Let b be (2 - 1)/(3/6). Solve b = -s + n*s for s.
1
Let z(k) = -k + 8. Let f be z(6). Suppose f*c = 2*p + 16 + 12, 46 = -3*p + 5*c. Let b = -8 - p. Solve b = 2*v + 14 for v.
-5
Let w(o) = -6*o - 1 + 3*o + 3 + 4*o. Let q be w(-2). Solve q = 9*y - 4*y for y.
0
Suppose -3*b = -r + b + 18, 0 = 4*r - b - 42. Solve 0 = -j + 6*j - r for j.
2
Suppose i + 3*j = 0, -3*j = 5*i + j. Suppose 0*b = 2*b - 12. Solve -3*r = -i - b for r.
2
Suppose -20 = 4*m, -3 - 22 = -l + 4*m. Solve 2*f - 3 = l*f for f.
-1
Suppose -2*f = 17 + 19. Let c be 3 + -5 - f - 1. Solve 4*o + c = -5 for o.
-5
Suppose 3*n - 29 = n - 3*y, y - 13 = -n. Let j = n + -8. Solve 7*h = j*h - 25 for h.
-5
Let y(u) be the second derivative of -u**3/6 + 9*u**2/2 - 2*u. Suppose 4*d - 20 = -4. Let c be y(d). Solve -w + 0 = c for w.
-5
Let i be (-5)/2*(-9 + -1). Let t = -8 + 12. Solve -i = t*u + u for u.
-5
Let a = 10 - 5. Suppose 0 = -2*l - l + 63. Suppose -u - 3*u = 3*m - l, 2*u + 4*m - 18 = 0. Solve -a = -u*j + 7 for j.
4
Let z be 2 - -1 - 3/1. Let t be -1*(0 + -3 - z). Solve w = t*w for w.
0
Suppose 0 = 3*q + 3*a - 51, q + 2*a - 10 - 6 = 0. Solve 4*i + 6 = q for i.
3
Suppose -3*h = -10 + 1. Let l be (-36)/(-8) + h/2. Solve -f - f = -l for f.
3
Suppose -5 = -3*z + 10. Let t = z - 1. Solve 3*l = t*l - 5 for l.
5
Let v(s) = s**3 + 6*s**2 - 6*s + 8. Let k be (14*1/2)/(-1). Let q be v(k). Solve -z + q = -4 for z.
5
Let r(x) = -3*x. Let u be r(-3). Solve 0*t = 3*t - u for t.
3
Suppose 0*m = 3*m - 27. Solve 3*n = -0*n + m for n.
3
Let l be (-3 - 5)*(1 - 2). Let m = l - 4. Solve 0 = m*g - g + 3 for g.
-1
Let t be ((-6)/(-4) - 2)*0. Solve t = l - 0*l - 4 for l.
4
Suppose -b = -2*b + 3. Solve -5*g = -b*g for g.
0
Let w(x) = 3*x - 90. Let v be w(31). Solve -v*s = 1 - 13 for s.
4
Let z be 1*10 + -2 + -1. Let k(s) = -z*s + 2*s**2 + 2*s - s**2 + 2. Let p be k(5). Solve -p*n + 1 = 9 for n.
-4
Suppose 3*z - 3*s + 10 = 55, 2*s = 4*z - 58. Suppose 0*p - 4*p - 3*w = -z, 0 = 2*p - 2*w - 14. Let q(u) = u. Let a be q(p). Solve -2*l - a = -l for l.
-5
Let y(k) be the second derivative of k**3/6 - 5*k**2 + 3*k. Let p be y(10). Solve p = d + 2 for d.
-2
Let h be (0 - (-12)/8)/(3/10). Solve h*p + 3 - 18 = 0 for p.
3
Let a = 33 + -23. Suppose -6 = -3*b + 2*v, 0*b - 9 = 3*b + 3*v. Solve -f + 3*f - a = b for f.
5
Suppose 0 = 11*o - 32 - 12. Solve 0 = -o*g + 2*g for g.
0
Let k(z) = 2*z + 2. Let h be k(4). Suppose -5*d = 3*q - 2 - h, d - 4 = -q. Suppose d = -8*x + 4*x. Solve 0 = -x*j - 3*j for j.
0
Suppose -m = -4*a + 4*m - 7, -2*m = -6. Solve -a*u = 2*u + 8 for u.
-2
Suppose -4*l = -4 - 20. Let z = 8 - 5. Solve -l*g = -z*g for g.
0
Suppose 3*w = -x + 9 + 10, 26 = 2*w + 4*x. Suppose 0*g + 20 = w*g. Solve -j = j - g for j.
2
Let j = 7 + -5. Suppose g + j*g - 4*w - 7 = 0, 2*g + w = 12. Solve -4*z - g = 15 for z.
-5
Let q(v) = v**3 - 13*v**2 + 12*v + 3. Let s be q(12). Suppose -5*r = -s*r. Solve -y - 4*y - 25 = r for y.
-5
Let s be (-48)/(-8)*(-1)/(-3). Solve -8 = s*x - 0*x for x.
-4
Let m be (-6 + 6)/(2 - 0). Suppose -5*a - 3*z + 33 = 0, z + m*z = 4*a - 40. Solve -3*g = -6*g - a for g.
-3
Let r(t) = 3*t**2 + t - 2. Suppose 3*h - 3 = 5*b, 3*b - 3*h + 3 = 2*b. Suppose -4*d - 2*m = b, 3*m + 5 = 2*d + 21. Let l be r(d). Solve -l = -5*j + j for j.
2
Suppose -13 = 2*n - 13. Let d = 1 + 1. Let t(r) = r**2 - 2*r + 1. Let x be t(d). Solve n*v = v - x for v.
1
Suppose -4*x + 82 = -2*x. Suppose x = 4*a - 5*z, -5*z - 7 - 38 = -5*a. Solve 0*v = a*v for v.
0
Let g(x) = x**2 - x - 5. Let d be g(4). Suppose d = 5*q + 4*h - 6, -4*q + 14 = 5*h. Solve -4*l + q + 3 = 0 for l.
1
Let v be 1/((-2 + 6)/8). Solve -v + 4 = s for s.
2
Let h(x) be the third derivative of -x**4/12 - x**3 + x**2. Let r be h(-5). Suppose -r*u + 3*n = 0, 4*n = n + 12. Solve -25 = -8*d + u*d for d.
5
Let r(z) = z**2 - z - 10. Let c be r(0). Let q be 10/3 + c/(-15). Solve 0 = 4*n - q - 0 for n.
1
Suppose -2*l - 5*a + 4 = 0, 2*a = -3*l - 0*a + 6. Solve l*t = t for t.
0
Let y = 4 + 1. Suppose -3*f - q + y = 0, f - q - 7 = -2*f. Solve c = -f*c for c.
0
Let t(c) = -c**2 + 11*c - 4. Let b be t(10). Suppose 4*o - 7*o + b = 0. Solve 0 = -o*m - 2*m + 8 for m.
2
Let j(w) = -w**3 + 5*w**2 - 3*w - 4. Let l be j(4). Solve -4 + l = 4*p for p.
-1
Suppose -4*x + 210 = -x. Let j be 2/8 + x/8. Let w be (-12)/(-10)*120/j. Solve -3*m - w = m for m.
-4
Suppose -4*q = 5 - 21. Solve 0 = d - q - 0 for d.
4
Let u = 