ppose 0*f - 10 = -w*f. Solve 15 = f*l - 10 for l.
5
Let t be (-2)/5 + 81/15. Suppose -16 - 4 = -t*p. Suppose -k + 6*k - 2*o = -6, -o + 3 = 0. Solve -p*r + r - 6 = k for r.
-2
Let f be (0 - 0) + -2 - -4. Suppose -2*n + 2 - 10 = 0, 16 = f*w - 4*n. Solve w*z = z + 3 for z.
-3
Let k(t) = t - 4. Let r be k(5). Suppose -5*i + 3*q - q = -20, -3*i = q - r. Let l = i + 3. Solve -n + l*n = 0 for n.
0
Let a = -1 - -6. Suppose -18 = -3*z + 2*w - 3, a = z + w. Solve -5*k + 10*k - z = 0 for k.
1
Suppose -x + 20 = -5*x. Let i be 9/18 + x/(-2). Solve -2*y - i = -y for y.
-3
Let g(r) = r - 7. Let f be g(6). Let s = f + 1. Let x = -1007 + 1013. Solve x = 2*w - s for w.
3
Let t be 6/21 + (-172)/14. Let i = t - -12. Solve 3*x + 3 - 12 = i for x.
3
Let h(c) = c - 6. Let m be h(6). Let k be 18 - (m + 2 - 4). Solve 4*w + 0 - k = 0 for w.
5
Suppose 4*c - 2 = 2*v - 0*v, 4*v = 2*c + 2. Let y = 5 + -2. Let q be 0/y - (0 - v). Solve k - 6 = -q for k.
5
Let z(i) = i**3 + 4*i**2 - 14*i + 4. Let g be z(-6). Solve 5*a = a - g for a.
-4
Let s(j) = -j + 4. Let k be s(2). Suppose k*r + 18 = -42. Let t be (2/4)/((-3)/r). Solve -t*b - 25 + 0 = 0 for b.
-5
Let b be 240/28 - 3/(-7). Let j be (-3)/6 + (-17)/(-2). Solve -b = -5*n + j*n for n.
-3
Let y = -68 - -74. Let s(k) = -k**3 + 8*k**2 - 8*k + 10. Let u be s(7). Solve -p = -u*p + y for p.
3
Let q = -58 - -58. Solve q = -2*s + 4*s + 4 for s.
-2
Let h = -6 + 6. Let o = h + 2. Solve -4*t = -o*t for t.
0
Let d be (-400)/28 + (-4)/(-14). Let l = -10 - d. Solve l*o = o for o.
0
Let b(s) = -5*s + 2. Suppose 0 = -3*w - 2*l + 4, -5*w + 8*w + l = -1. Let a be b(w). Suppose a = q + 3*q. Solve 0 = -z - 2*z - q for z.
-1
Let l = -5 + 7. Suppose 3*x = -x + 12. Suppose 6*b - 9 = x*b. Solve -b*h + 1 = -l*h for h.
1
Let o(t) = t + 8. Let a be o(-7). Suppose -23 - 4 = -4*m + 5*v, 0 = 2*m + 3*v + 3. Solve 2 = m*w - a for w.
1
Suppose v = 21 + 32. Let q = v - 37. Solve 3*x + x - q = 0 for x.
4
Let x be 1/2 - 7/(-2). Suppose -5*v + x*c = 7, v - 2*c + 1 = -4*v. Solve 0 = -t + v for t.
1
Let l = 20 - 20. Solve -c = -l*c - 5 for c.
5
Let k be 20/100 + 48/10. Solve -2*m + 3*m = k for m.
5
Let b be 1/(2/(-4))*-1. Suppose -j + 11 = -u, 0 = -b*j + 4*u + u + 37. Solve -2*n - j = -4*n for n.
3
Suppose -i - 2 = -0, -i + 8 = 2*u. Let o(a) = -a + 7. Let k be o(u). Solve 0 = -k*g - 2 - 2 for g.
-2
Suppose 11*n - 14*n = -12. Solve -n*x = -x for x.
0
Let v(b) = b**2 + b - 1. Let u be v(-2). Solve w - 1 - u = 0 for w.
2
Let z(a) = 11*a + 14. Let k be z(6). Let o be (-3)/(-2)*k/24. Solve 11 + 9 = -o*v for v.
-4
Let d(a) = 2*a**2 - 2*a + 1. Let l be d(-3). Suppose j - 4 = -3*n, 2*j - l = 7*j. Solve 5*c + n = -7 for c.
-2
Let v(l) = -2*l**2 + 7*l - 1. Let j be v(5). Let d = j - -32. Suppose 4*k + 3*q = -q - 8, -8 = 4*q. Solve 4*z = d - k for z.
4
Suppose 2*l - 5*u = -25, -l - 5 = -2*u + 8. Let k be (l/(-10))/(6/16). Solve -k = -3*t + 2 for t.
2
Let j = 5 - 5. Suppose j = -p + 5 - 2. Solve q = -p*q - 20 for q.
-5
Let y be 5/5*0/1. Solve -w + 7*w = y for w.
0
Suppose 3*j - r = 4*r - 30, 0 = 3*j - 3*r + 24. Let x be 2/j + 264/60. Solve -2 = -x*l + 2*l for l.
1
Let g be 165/(-25) + (-4)/10. Let z = g + 7. Solve z = -9*s + 4*s - 20 for s.
-4
Let c = 2 + -4. Let x be (0/c)/(-2 + 0). Solve x*p = 3*p for p.
0
Let o(r) = 2*r - 8. Let b be o(7). Let d be b/(-1 - 1) + 5. Solve -4*s = -3*s - d for s.
2
Let t be 34/6 + 6/(-9). Suppose -2*m - 3*m + 56 = 3*x, -30 = -4*m + t*x. Suppose -2*z + 0 = -m. Solve -4 = -d + z*d for d.
-1
Let v = 27 + -22. Solve 1 = -n + v for n.
4
Suppose 0*l + 4*l = 3*s + 43, -l - 32 = 4*s. Let t(d) = d**3 + 9*d**2 + 3. Let c be t(s). Suppose -c*q = -4 - 11. Solve -3*z = -q*z for z.
0
Let z be (8/3)/(-4)*-12. Let k be (6/(-4))/((-4)/z). Solve -k*y - 5 = 7 for y.
-4
Let q = 3 + -5. Let c(f) = f**3 - 6*f**2 + f + 6. Let r(k) = k**2 + k - 1. Let h(l) = q*r(l) + c(l). Let u be h(8). Solve u*z + 3 = 3*z for z.
1
Let n(q) = -q + 14. Let b be n(13). Let r(c) = -b - 2*c - 3 + 1 + 3*c. Let i be r(7). Solve 3*k + k + i = 0 for k.
-1
Let q(c) = 4 + 2 + 7*c - 4. Let y be q(3). Suppose 0 = 5*n - 7 - y. Solve 0*g - n = -2*g for g.
3
Suppose 30*n = 26*n + 24. Solve n*x = 5*x + 2 for x.
2
Suppose n - 2 - 33 = 4*b, 49 = -5*b - 4*n. Let y = -7 - b. Solve y = -2*k - 0 for k.
-1
Let t be 3/6*16/2. Suppose -8*l + 8 = -t*l. Solve -l*p = 3*p - 15 for p.
3
Let u be 1/2*-1*6/(-1). Suppose k = 5*k - 24. Let d = 10 - k. Solve -x + u*x + d = 0 for x.
-2
Let b = -21 - -15. Let d(r) = r**3 + 7*r**2 + 7*r + 9. Let f be d(b). Solve -2*h = 7 + f for h.
-5
Suppose 33 = 3*y + 4*f, -y + 0*y + 4*f + 11 = 0. Suppose 5 = 4*z - y. Solve 0*s - z = s for s.
-4
Suppose j + 4*g = -2*j + 6, -g = 0. Solve -5*r - j = 13 for r.
-3
Let l = -3 - -5. Suppose -7*b = -l*b. Solve -4*i + b = 4 for i.
-1
Suppose 9*n - 10*n + 3 = -2*q, -3*q = 3*n - 18. Solve -4*w + 17 - n = 0 for w.
3
Let v = 5 - 1. Suppose s + v*s = 10. Let l(c) = -c**2 + 5*c + 1. Let n be l(5). Solve 3*o - s - n = 0 for o.
1
Let u = -35 + 39. Solve 0 = -8*w + u*w for w.
0
Suppose -15 = -2*h - 3. Let f = h - 2. Solve -p = -0*p - f for p.
4
Suppose -3*z = 5*r - 2 - 14, 5*r - 10 = -5*z. Solve r*b = 20 - 0 for b.
4
Suppose 0 = -2*v - 4*l - 10, l - 25 = -2*v + 4*l. Solve v*z = z + 20 for z.
5
Suppose 0 = 2*a + 2*m - 8, -4*a - 2 = -0*m - 5*m. Suppose 2*w - 12 + 2 = 0. Suppose a*b = w*b. Solve 0 = -b*z - 2*z for z.
0
Suppose 0*h = l - 2*h + 5, 4*l - 2*h - 4 = 0. Let o = 6 - l. Suppose -o*x = -x - 8. Solve -x*i + 1 = 9 for i.
-2
Let j(g) = g**3 + 5*g**2 + g + 2. Let b be j(-5). Let u be -5 - (-1 - -10)/b. Let p be (u/6)/((-4)/60). Solve 24 - 4 = -p*a for a.
-4
Let a(d) = d**3 + 5*d**2 - d - 5. Let l be a(-5). Suppose 0 = -2*j - l*j. Suppose -2*z + 5*z + n - 14 = j, 3*n - 12 = -3*z. Solve -3 = -4*f + z for f.
2
Let n(o) = o**3 + o**2 - 6*o + 2. Let x be n(-3). Solve x*y = 3*y - 5 for y.
5
Suppose -12 = -5*o + 3*o - 4*j, j - 3 = -5*o. Solve o*a - 4 = -4*a for a.
1
Let f = 7 - -11. Let z be (-3 + 0)/(f/(-24)). Suppose -5*s = 2*b - 16, 2*s + 3*b - 5 = z*s. Solve 4 - s = -2*g for g.
-1
Suppose -2*r - 2*o + 66 = 0, 0*o - 4*o - 147 = -5*r. Let c be (-16)/3*165/(-20). Suppose y - 5*g - r = -0*y, -4*y + 4*g = -c. Solve y = x + 2 for x.
4
Suppose -47 = -3*s - 14. Let k = 15 - s. Solve -a - 5 = k*a for a.
-1
Let k(c) be the first derivative of c**4/4 - 8*c**3/3 + 4*c**2 - 3*c + 5. Let d be k(7). Let t = 13 + -6. Solve -d*l = 3 - t for l.
1
Suppose -3*a + 15 = i, 7 = -a - a + 5*i. Solve -12 = a*q - 0 for q.
-3
Suppose 4*i = 6*i. Solve i = -3*h - 0*h - 12 for h.
-4
Let a = 31 - 21. Let h be (4/10)/(2/a). Solve t + 5 = h*t for t.
5
Let d = 154 - 145. Solve -16 = 5*p + d for p.
-5
Let r(u) = 11*u**2 + u - 2. Let m be r(3). Let n = -40 + m. Suppose -4*c = c - n. Solve -3 + c = 3*y for y.
3
Suppose 13 + 2 = 5*u. Suppose 7*q - u*q = 0. Solve -v = -4 - q for v.
4
Suppose -5*c = 4*v - 6, -3*v - 12 = -5*c - v. Suppose -3 = -2*o - c*j - 1, 0 = -2*o - 4*j - 6. Let y = -4 - -6. Solve o*p = y - 7 for p.
-1
Let r(s) be the first derivative of -s**3/3 + 3*s**2/2 + 3*s + 1. Let w be r(3). Suppose 0 = q + b - 3*b - 22, -w*b - 27 = -q. Solve 0 = -5*a + 3 + q for a.
3
Let o(l) = 4*l**2 - 7*l - 6. Let s be o(-1). Solve 0 = s*r - 0*r for r.
0
Suppose -3 - 12 = -5*g. Let p be 11 + 6*6/(-9). Solve p*l + 8 = g*l for l.
-2
Let o(z) = z**2 - 1. Let v be o(-2). Suppose 3*y - 2*y + v*b = -8, 5*b = 2*y - 17. Solve 0 = -h - 4 + y for h.
-3
Let s(m) = m**2 + 13*m + 6. Let z be s(-13). Suppose 4 = 7*d - z*d. Solve -d*u - 2 = -14 for u.
3
Suppose 0 = -4*m - 43 + 7. Let d = -28 - -19. Let s = m - d. Solve s*p - 4*p + 8 = 0 for p.
2
Let m(d) = 8*d**2 - 2*d**2 + 1 + 2*d + 3*d**2. Let w be m(-1). Let h(s) = -s + 4. Let l be h(4). Solve 2*o - 6*o - w = l for o.
-2
Suppose -5*v + 9 = -2*v. Suppose 0 = -o - 3*n - 21, 2*o - 4*n + v*n = -21. Let b be (-7)/(-3) - o/18. Solve b*z = 7*z for z.
0
Let n(i) = 17*i**3 - i**2. Let r be n(1). Let a be (104/r)/(2/4). Solve -4*m - 7 = a for m.
-5
Suppose 0 = -4*h - 16 + 28. Solve h*a + 6 = -3 for a.
-3
Let g(i) = -4*i + 27. Let u be g(6). Solve 3*o + 9 = u for o.
-2
Suppose 20 + 0 = 10*y. Solve y*o - o = 0 for o.
0
Let h(c) = -c + 12. Let a be h(9). Solve -4*d + d = -a for d.
1
Let c = -12 - -17. Suppose 4 = c*g - 6. Solve -3*h + 11 = g for h.
3
Let j = 0 - -8. 