 = -3*y - 8 - 4 for y.
-4
Let o = -10 - -13. Solve 4 = 7*f - o*f for f.
1
Let h be (-16)/(-6)*(-3)/(-2). Suppose 0 = h*x + x. Solve 2*r + 0*r - 10 = x for r.
5
Let g = 0 - -3. Suppose 5*f - 14 = g*p, -3*p - 2*p - 20 = -5*f. Solve -4*w + f = -3*w for w.
1
Suppose 0 = -5*k + 10 + 5. Solve -t = -k*t for t.
0
Let x = -4 - -4. Let v = -2 + 4. Solve 0 = w - x*w - v for w.
2
Suppose 3*x = 20*x - 17. Solve -4 = -3*f - x for f.
1
Let o(l) = -l + 18. Let t be o(13). Solve -t*x = -0*x + 10 for x.
-2
Let d = -8 + 8. Solve -2*c - c + 9 = d for c.
3
Let d = -40 + 45. Solve -8 = -d*u + 2 for u.
2
Let p = 12 + 9. Suppose 2*v - 3*t + 16 = 0, -5*t = v - 0*v + p. Let u be 105/33 + 2/v. Solve -u*s + 3 = -2*s for s.
3
Suppose 3*b + b - 24 = 0. Let m be 14/b + (-4)/12. Solve m = -4*g + 6*g for g.
1
Let h(l) = -6*l. Let u be h(1). Let p be (35/15)/((-2)/u). Let b = p - 5. Solve -4*j + 10 = -b*j for j.
5
Let f be ((-8)/(-5) - -2) + (-20)/(-50). Solve -2*w = -f*w for w.
0
Suppose 0 = -4*x - 18 - 22. Let p be (-6)/x - (-6)/(-10). Solve a = -p*a - 2 for a.
-2
Suppose 5*y - 20 = 5*u, -y - 32 = -6*y - u. Suppose -3*s + 4*s = r + 2, -24 = -5*s - 2*r. Suppose s = t - y. Solve v = -v + t for v.
5
Suppose 0 = -2*m + 3 - 17. Let c(o) = 2*o + 9. Let u be c(m). Let j = -3 - u. Solve -5*r + 27 = j for r.
5
Let s = 7 - 4. Suppose -1 = -2*x + s. Solve 12 = -x*z - z for z.
-4
Let s = 20 + -16. Solve 0 = -s*j - 4 - 0 for j.
-1
Let h = 28 + -26. Solve h = 4*g - 2 for g.
1
Let x be ((-1)/2)/(21/(-210)). Solve x*t + 12 = 2 for t.
-2
Suppose -3*x + 72 = 9*x. Solve 0 = -3*n - x - 6 for n.
-4
Let a(w) be the second derivative of -w**4/12 + w**3 + 6*w**2 - w. Let f be a(7). Solve -3*h + f*h = 10 for h.
5
Let i(v) = -1 + 1 - 2*v. Let m be i(-1). Let c be 3*(-1)/(-3)*m. Solve s = 3*s + c for s.
-1
Let h be 90/70 - 2/7. Solve -4*v - h = -5 for v.
1
Let d(n) = -3*n + 5. Let y(w) = -12*w + 19. Let o = -7 + -2. Let p(u) = o*d(u) + 2*y(u). Let s be p(5). Solve -3 = z - s for z.
5
Suppose o + 0 - 4 = 0. Suppose 0 = -4*x + 8 + o. Solve y = -2*y - x for y.
-1
Suppose 2*d + 34 = -3*n - 0*n, 3*n - 64 = 5*d. Let i = -14 - d. Solve i*s - 4*s = -4 for s.
1
Let s(l) = -l**2 - l + 2. Let d be s(-2). Suppose 0 = -2*y - d*y + 6. Solve 0 = y*n - 0*n - 12 for n.
4
Let f be ((-28)/(-12))/(2/6). Let x = -7 + f. Solve -g - 3*g - 20 = x for g.
-5
Suppose -4*j = -7 + 3. Solve 2*p + j = p for p.
-1
Let o(r) = 5*r - 2. Let j be o(2). Let g = -2 + 4. Suppose 4 = p + 4*c + c, g*p - j = -5*c. Solve v = -p*v for v.
0
Let k be -1 - -17 - (-2 - -3). Suppose -2*j + k = j. Solve -3 = 4*l + j for l.
-2
Let f(h) = 3*h - 3. Let p be f(3). Suppose 0 = p*o - o + b, -2*b = 4*o. Solve o = -3*x - 3 for x.
-1
Suppose 0 = 3*k + 2*k. Suppose 2*p - 4*a = -16, k = -2*p + a - 4 - 0. Solve -5*s = -p*s - 25 for s.
5
Let n(r) = r + 10. Let u be n(10). Suppose 3*g - 4*b - 28 = 0, -3*g + 21 = -0*g + 3*b. Solve -4*v - g + u = 0 for v.
3
Let s = 17 - 37. Suppose 0 = m - 5*l + 21 + 18, -m + 11 = 5*l. Let c = m - s. Solve x = 4*x + c for x.
-2
Let t = 79 + -75. Solve -1 - t = 5*r for r.
-1
Let d be 15/(-10)*(-4)/3. Suppose -3*r + 3 + 9 = 0. Suppose 25 = 6*z - z, -r*g + 18 = -2*z. Solve d*h + g = -3 for h.
-5
Let l = 58 + -55. Solve -2*c + l = c for c.
1
Let f be (6 + -3)*(-1 + -2). Let v = -2 - f. Let a = v - 5. Solve g + 1 + a = 0 for g.
-3
Let d be 54/10 - 14/35. Suppose x - 2 = -5*c + 13, -d*c + 45 = -5*x. Solve -3 - 1 = -c*l for l.
1
Let i(f) = f**2 + 6*f - 39. Let k be i(-10). Solve -k = 4*o + 15 for o.
-4
Suppose -3*z = 2*z. Suppose z*a - 5*a = -20. Solve 0 = -t - a + 7 for t.
3
Let p be 2/3*12*1. Let c(m) = -m + 7. Let s be c(-13). Solve 3*q = p*q + s for q.
-4
Suppose -9 = -n - 3*a, -a = 2*n - 3*a - 10. Let v = -1 + n. Solve -t + 4 = v for t.
-1
Suppose 2*h - 8 = 6*h, -3*v + h = -14. Solve 0 = 2*m - 4*m - v for m.
-2
Let d be 1 - (-3)/3*-1. Let n(p) = p**3 + p**2 - p + 5. Let f be n(d). Solve 0 = -f*i + 5 + 10 for i.
3
Let g be 0/2*(-9)/18. Let o = 0 + 3. Suppose y + 6 = o*y. Solve y*l + 0 - 3 = g for l.
1
Let a(i) = i**2 - 2*i + 4. Let x be a(3). Let s be ((5 - 5)/1)/(-3). Suppose s = x*z - 2*z. Solve z = k - 5*k for k.
0
Let t(m) be the third derivative of m**5/60 - m**4/24 + 3*m**2. Let u be t(-1). Solve u*b = 3*b - 3 for b.
3
Let k(p) = -8*p**3 - p**2 - 18*p - 8. Let q(d) = -3*d**3 - 6*d - 3. Let x(f) = -4*k(f) + 11*q(f). Let n be x(5). Solve -n*j + 6 = 2 for j.
1
Suppose 0*h + 40 = 4*h. Suppose -f = -6*f + h. Solve -u = f*u for u.
0
Let v be ((-2)/(-4))/((-2)/(-4)). Solve -5*x = v + 4 for x.
-1
Let w be (0 - -3)*(-5)/(-5). Solve 0 = 2*a + w*a for a.
0
Let i = -31 + 54. Solve 2 + i = -5*g for g.
-5
Let m be (25/(-50))/(2/(-48)). Let u(s) = s + 12. Let i be u(-10). Solve -2*b + m = i*b for b.
3
Let p = 15 - 10. Let m(t) = -1 + 3*t - t - 5*t - t**2. Let b be m(-2). Solve -b + p = -z for z.
-4
Suppose 3*q - 40 = -4*m, -q = m - 0 - 15. Let i = q - 18. Solve i*y - 4*y = 10 for y.
-5
Let q(n) = n**2 - 8*n - 7. Let p be q(9). Let t be p + -4 - (-8)/2. Let v = -6 + 17. Solve t*m - 1 = -v for m.
-5
Let p = 10 - 12. Let z be (-41)/p - (-1)/(-2). Solve 0 = -3*i - i + z for i.
5
Let a be 9/(-63) + 87/(-21)*-1. Let d(b) = 2*b**2 - 3*b - 2. Let q be d(3). Solve a = q*i - 3*i for i.
1
Suppose 4*t - 3*d = 2*t + 27, -5*t - d + 42 = 0. Let r(s) = -2*s + 14. Let k be r(6). Solve k*o = -o - t for o.
-3
Let w(m) = m**3 + 9*m**2 - m - 7. Let f be w(-9). Suppose k = f + 1. Solve -2*g = k*g - 15 for g.
3
Let x(v) = -v**2 - 4*v + 1. Let h be x(-5). Let u(t) = -t**2 + 7*t - 5. Let b be u(4). Let s = h + b. Solve -g + 4 = s*g for g.
1
Let g be 123/(-205) + 33/5. Solve 3*d + 9 = -g for d.
-5
Suppose 36*s - 35*s = 4. Solve -4*r = -5*r + s for r.
4
Let g be 9/15 - 77/(-5). Solve -3*o - o - g = 0 for o.
-4
Let g(v) = v**2 - 3. Let i be g(0). Let x = i + 6. Suppose -x = -3*a + 6. Solve 3*o + 0*o + a = 0 for o.
-1
Let i(v) = -v + 13. Let s be i(7). Solve -s*o + 4*o = -6 for o.
3
Let r = 3 - 10. Let h = 10 + r. Solve 9 = -3*a - h for a.
-4
Let z be 65/(-20) - (-1)/4. Let v be 1*7 + z + 4. Suppose -g - 3*x + 3 + 13 = 0, -g + 3*x = v. Solve g*l = 2*l for l.
0
Suppose 2*x - 4*x = 0. Let u = 19 + 1. Let l be u + x*3/(-6). Solve q = 5*q + l for q.
-5
Let m(d) = -d**3 + 5*d**2 + 5*d. Let n be m(6). Let y = -4 - n. Suppose -3*o - w + 3 = 0, o - 1 + 0 = y*w. Solve -s - 5 = -o for s.
-4
Let z(c) be the second derivative of c**5/20 + c**4/4 + c**3/3 + c**2 - c. Let g be z(-2). Let b be ((-24)/(-10))/(9/30). Solve g*h = -0*h + b for h.
4
Let o be (5/(-3))/(1/(-3)). Let k(t) = t + 12. Let v be k(-9). Suppose -v*q = j - 1, -q - 8 = -0*q + 2*j. Solve q*z - o = z for z.
5
Suppose 5*h + 0*w + w - 62 = 0, h - 20 = -4*w. Let o be -8*-1*(-2)/2. Let g be 16/9 - o/36. Solve g - h = 5*n for n.
-2
Let q be (-870)/40 + (-2)/8. Let m = -16 - q. Solve m - 1 = -a for a.
-5
Suppose 3*n = -0*n. Solve c - 6*c + 20 = n for c.
4
Suppose -2*u + 4 = -6. Let f(p) = -p**3 + 6*p**2 - p - 7. Let z be f(u). Solve 5*k = 12 + z for k.
5
Suppose 15*f + 76 = 19*f. Let j = 22 - f. Solve a = -j*a + 16 for a.
4
Suppose -4*m + 2 = -38. Let b = m - -2. Solve -4 = 2*s - b for s.
4
Let o be (-2)/(-11) + 306/11. Suppose 3*m - 12 = -3*s, -4*m + 15 + 10 = -5*s. Suppose -f = -m*f + o. Solve 4*u - f = 9 for u.
4
Suppose -5 + 7 = -3*g - 4*b, -2*g + 4*b = -12. Solve 1 = g*c - 1 for c.
1
Let y = 10 - 6. Suppose 5 = w - o, 0 = w - 3*o - 4 - 5. Solve 0 = w*q + q + y for q.
-1
Let t = -11 + 8. Let x = t + 7. Solve -x*q = -3*q for q.
0
Let j be 5 + 4 + -13 + 7. Solve -y + j*y = 0 for y.
0
Suppose -3*w = -3*r + 6*r - 12, 3*r + 2*w - 12 = 0. Suppose y + 50 = -y + 2*a, -4*y - 60 = r*a. Let g be ((-12)/(-5))/((-6)/y). Solve k = -k - g for k.
-4
Let m(g) = -g**3 + 6*g**2 - 2*g - 1. Let s be m(5). Suppose -2*y - s = y + 2*h, -2*y - 9 = h. Let w = 7 + y. Solve -2*j - 9 = -w for j.
-3
Let k(b) = 2*b**2 - 4*b - 2. Let g be k(4). Solve 0 = -4*m - 2 + g for m.
3
Suppose 5 = -4*b + 17. Solve b*d + 2*d = -10 for d.
-2
Let i be (-3)/6 + (-18)/(-4). Suppose 2*o = -0*o + i. Solve 0*d = -o*d - 4 for d.
-2
Let v(l) = 2*l**2 + 8*l - 5. Let r be v(-5). Suppose 1 = -i - 0. Let c be 9 + (r - 2)*i. Solve -c*z = -z + 5 for z.
-1
Suppose -5*o + 22 = 5*h - 2*o, o = -1. Suppose -n = -6*n + h. Solve -j - n = 1 for j.
-2
Suppose 3*d - 6 = -0*d. Suppose -