ve -2*o - 4*o = b for o.
0
Let l(s) = -2*s**2 - 14*s + 5. Let d be l(-7). Let c = 11 - 7. Suppose 1 = -c*m + 5. Solve -d*n + 11 = m for n.
2
Suppose 14 = 2*f - 10. Suppose -4*r + 4*y - 2*y - f = 0, r + 2*y = -3. Let v be (r - -1) + (6 - 2). Solve -v*d + 5 = -3 for d.
4
Let h be 2/(-16) + 0 + (-4)/(-32). Solve h*z = 4*z for z.
0
Let k(b) = b**3 - 4*b**2 + 2*b - 5. Let f be k(5). Solve 0 = 5*g - f + 5 for g.
5
Let b(t) = -3*t**2 + 3*t. Let p be b(2). Let s(y) = y**3 + 6*y**2 + 2*y + 9. Let d be s(p). Let j = 7 + d. Solve 6*h - j*h = -2 for h.
-1
Let m(d) = -d**3 - 6*d**2 - 2*d + 3. Let s be m(-7). Suppose 12 = -4*l, 4*r - s = r + 5*l. Solve -4*p - r = 3 for p.
-5
Let n = -2 + 4. Suppose 3*l + 14 = 5*a, 2*a - l - 2 = a. Solve -a*u = -n*u for u.
0
Let w be 21*((-6)/(-9) + -1). Let s be -4 + 2 + (0 - w). Solve -8 + 33 = s*x for x.
5
Let g be (-76)/133*(-7 - 0). Solve -w - g*w = 20 for w.
-4
Let p(r) = 8*r**3 + 2*r**2 + 1 - 2*r**3 - 5*r**3 - 3*r. Let t be p(-3). Solve 2*c - c - t = 0 for c.
1
Let g = -5 - -3. Let s be g/3*(-105)/(-14). Let w = s + 7. Solve -1 = -w*i - 5 for i.
-2
Let a(k) = k**2 - 7*k + 5. Let d be a(6). Let q be (0 + d)/(2/(-18)). Solve -s = 2*s + q for s.
-3
Let h(a) = 11*a**3 - a**2 - a + 1. Let s be h(1). Solve s = -v + 6*v for v.
2
Let w(c) = 5*c**3 + 2*c + 1. Let x be w(-1). Let q be ((-56)/6)/(x/9). Solve q = 2*n + 4 for n.
5
Suppose 0 = 5*j - 3*i - 22, -2*i + 0 = 8. Let d(b) = -2*b**3 - b**2 + 2*b + 1. Let n be d(2). Let x be 6/n + (-2)/(-5). Solve x = j*w - 6 + 4 for w.
1
Let q = 15 + -14. Solve q = -a + 2 for a.
1
Suppose 7 = z + 1. Solve -6 = -z*d + 4*d for d.
3
Let r = -20 + 15. Let d = r - -7. Solve -7*l - 25 = -d*l for l.
-5
Let h = -45 - -47. Solve h + 0 = a for a.
2
Suppose 5*w - 21 = -2*j + 3*j, -4*j + 21 = w. Solve -2*r = -0*r + j for r.
-2
Let j be 28/16 + 1/4. Suppose 2*k + j*k = 12. Solve f = -1 - k for f.
-4
Let m(a) = a**2 - a + 5. Let v be m(0). Suppose -3 = -l - 2*b - 4, -b = v*l - 13. Solve l*u = 8*u - 10 for u.
2
Let i(h) = -h - 2. Let v = 2 - 5. Let d be i(v). Solve d + 1 = -2*a for a.
-1
Let j(d) = -3*d**3 - 8*d**2 + 7*d - 11. Let s(t) = 7*t**3 + 16*t**2 - 14*t + 21. Let v(f) = 5*j(f) + 2*s(f). Let l be v(-9). Solve 8*b - 3 = l*b for b.
1
Suppose 5*r - 4 - 16 = 0. Suppose 11 = 3*i - r. Solve -i*s = -0*s + 20 for s.
-4
Let s = -39 - -41. Solve 2*g = -s*g for g.
0
Let k = 18 + -18. Suppose -5*y = -3*y - 12. Suppose o + 100 = y*o. Solve k = -0*g + 4*g + o for g.
-5
Suppose 0 + 2 = -2*q + 2*o, -q + 4*o - 4 = 0. Let n be (-10)/(-2) + 1 - q. Let w(g) = g - 2. Let z be w(n). Solve -z*m - 11 = 1 for m.
-3
Let i be 22/8 - 2/(-8). Suppose -i*n + 2*n = -9. Suppose -3*m - 2*z - 4 = -0*z, 5*z = 4*m - 33. Solve -1 + n = -m*q for q.
-4
Let x(h) be the first derivative of 15*h**2/2 + 3. Let s be x(1). Suppose -3*z + z = 0. Solve 0*c + 3*c + s = z for c.
-5
Let b be 3/(9/3) - -1. Suppose -18 = -b*f - 4*d, -5*d + 25 = 3*f - 0*f. Solve 2*v - v - f = 0 for v.
5
Let a be ((-128)/(-12))/(2/3). Solve 0*t + 4*t = a for t.
4
Let p = 17 + -9. Suppose -3*k - 60 = -p*k. Solve 4*r = r - k for r.
-4
Let n = 4 + -8. Let i = 7 + n. Suppose -8 = -i*h + 7. Solve -4*m + 9*m = -h for m.
-1
Suppose p = -o + 4, 28 = 2*p + 3*p + o. Solve 9 + p = -5*a for a.
-3
Suppose 3*y - 2*k - 7 = 0, 3*y - 8*y - 3*k - 1 = 0. Solve -b + 2 = y for b.
1
Let f = -11 + 23. Solve 4*q + 4 + f = 0 for q.
-4
Let y(s) = -s**3 + 4*s**2 + s - 4. Let l be ((-12)/(-10))/(4/10). Let d be y(l). Let w(k) = -k**2 + 9*k - 8. Let r be w(d). Solve 4*c + 17 + 3 = r for c.
-5
Suppose -2*n + 9 = -31. Solve 4*b = -0*b + n for b.
5
Suppose -5*x - 25 = -5*i, 5*i + 15 = -6*x + 3*x. Solve i = -0*y + 2*y for y.
0
Suppose -2*w - m = w - 47, 0 = 3*w - 2*m - 50. Suppose 2*x = -2*x + w. Solve x = -g + 5*g for g.
1
Let t = 68 - 68. Solve -4 = 4*m - t*m for m.
-1
Let i(y) = y + 11. Let n be i(-6). Let u(z) = z**3 - 6*z**2 + 4. Let o be u(6). Solve 21 = o*s + n for s.
4
Let h be 36*((-5 - -6) + 3/(-9)). Solve -8 = 4*d - h for d.
4
Suppose 0 = 17*r - 6*r - 33. Solve v + 0 = -r for v.
-3
Suppose -5*y = -0*y. Let v = -2 - -2. Solve b + y*b - 3 = v for b.
3
Let w(b) = -b + 12. Let p be (-183)/(-21) + 4/14. Let o be w(p). Solve -o*l + 10 = -l for l.
5
Let u be 96/10 - 4/(-10). Solve -5*w + 0 + u = 0 for w.
2
Suppose 0 = 5*m - 3*v - 21, -3*m + 5*v + 13 = 3*v. Solve -5*t = -m*t - 2 for t.
1
Suppose 0 = -5*m - 9 + 34. Solve 0*w = -m*w for w.
0
Let d = -14 - -11. Let t be ((-3)/(-9)*d)/(-1). Solve 0*u = u - t for u.
1
Let i = -11 - -11. Solve 2*u + 6 = -i for u.
-3
Suppose -6*y + 16 + 8 = 0. Solve -19 = y*f + 1 for f.
-5
Let o be ((-12)/1)/3 - 12/(-3). Solve 8*i - 4*i - 20 = o for i.
5
Let n be (-4)/10 + 154/10. Let z = 10 + n. Solve 0 + z = 5*b for b.
5
Suppose 5*f = -4*s + 50, -27 = -5*s - f + 46. Solve r = -2*r + s for r.
5
Suppose 0 = c + 4*c - 25. Solve 2*p - 7*p - c = 0 for p.
-1
Suppose -1 = -5*i + 14. Let k(r) = r**3 + 8*r**2 + 3. Let b be k(-8). Suppose b*n = -5*m + 1, 0 = -3*m + n - i*n. Solve -m*a - a = 0 for a.
0
Suppose a = 2*j - 5, 5*j = -2*a + a + 23. Solve 7*x = 3*x - j for x.
-1
Suppose -4*v + 2*m = -9 - 15, -v - 2*m = -11. Solve -3*a - 1 = -v for a.
2
Let k(g) = g**2 - 12. Let l be k(4). Solve 6 - 2 = -l*p for p.
-1
Suppose 0 = 4*g - 0*g - 20. Let t be (-3 - -1)*(-2 + -1). Suppose -g*p + t = -34. Solve -j = 3*j + p for j.
-2
Let t(f) = f**2 - 2. Let c be t(2). Suppose -3*x = -c*x - 2. Suppose 2*u + 4 = -x*m, 0*m + m + 3*u + 12 = 0. Solve -13 = -m*h - 1 for h.
4
Let i(o) = -o**3 + 0*o**3 + 3 + 2*o**2 - o**2. Let f be i(0). Solve 2 = 4*h - f*h for h.
2
Let g be (-2)/(-7) - 99/(-21). Solve 12 + 3 = -g*x for x.
-3
Suppose 4*f = 12 + 44. Suppose 36 = 2*c - 4*o, o + 23 = c - 2*o. Suppose 2*l - 2*d = -3*l + 21, -d = -2*l + c. Solve l*h = -1 - f for h.
-3
Suppose 3*y - 4 - 3 = -g, -3*g = -5*y + 35. Suppose 4*u = 2*c - y, 5*c + 0*c = 5*u + 5. Solve c = 2*i + 5 - 13 for i.
4
Suppose 2*h - 18 = -4*q, -5*q + 2 = 5*h - 18. Solve q = 4*c - 3 for c.
2
Let b(k) = -k**3 - k**2 + k. Let c be b(0). Suppose 4*a = -c*a + 20. Solve v + a = 1 for v.
-4
Suppose 5*m + 5*c - 12 = 18, 0 = -4*m + 3*c + 17. Solve -m*b + 6 = -2*b for b.
2
Let c = 2 - 0. Suppose f = -3*f - 12. Let r = c - f. Solve -5 + 20 = r*v for v.
3
Let t = 1 + 1. Suppose 3*q - 2 - 7 = b, -2*q - t*b + 14 = 0. Solve q*n = 3*n for n.
0
Let z(j) be the first derivative of -3 - 1/3*j**3 - 1/2*j**2 + j. Let x be z(0). Solve i - x + 6 = 0 for i.
-5
Suppose 4*r - 4 = 2*w, 0*w = 4*w + 5*r - 18. Suppose 5*g - 2*k + 34 = 4, 35 = -5*g + 3*k. Let p = 4 + g. Solve -w*a = -p*a for a.
0
Let a(z) = z**2 + 7*z - 3. Let i be a(-9). Suppose 0 = 3*t - i - 60. Let b = t - 15. Solve 0 = 4*y - 2 + b for y.
-2
Suppose 27 = g - 5*i, 10 = -5*g - 3*i - i. Solve -5*j - g = 8 for j.
-2
Let q(w) = w**2 + 8*w - 7. Let a be q(-9). Solve -a*z = 3 + 1 for z.
-2
Let h(c) = 4*c**2 - c. Let i be h(1). Solve -9 = i*m - 0*m for m.
-3
Let f be -1 - ((-6)/3 - 1). Suppose -n - 6 = -f*n. Let i be ((-2)/n)/((-1)/3). Solve r + 1 = -i for r.
-2
Let h(t) = t**2 + 5*t + 3. Let l be h(-5). Suppose 0 = a - 4, 10 = l*c - a - 13. Solve 4*i - 11 = c for i.
5
Let s = -12 + 17. Let d(t) = 2*t**2 + 1. Let n be d(-2). Suppose 0 = 2*l - s*m - n, -3*l + 4*l + m = 1. Solve 0 = l*j + 3 + 7 for j.
-5
Suppose a + 5*n = n - 14, -a + 13 = -5*n. Let m = 0 - a. Solve -q = -m + 5 for q.
-3
Let w(h) = 3*h + 6. Let k be w(-2). Solve i + i = k for i.
0
Suppose -3*o = -o - 16. Let y = o - 8. Solve y = 3*l + 2*l - 20 for l.
4
Suppose -3*z = -5*s - 19, 11 = -s - 0*s - 3*z. Let l be 41/4 + (-1)/4. Let w be 0*(l/4)/s. Solve w = -j - 0*j for j.
0
Let i(w) be the first derivative of -w**2/2 + 10*w - 2. Let a be i(8). Suppose 14 = f - 0*f + 2*z, 13 = a*f + z. Solve -f*j - 25 = j for j.
-5
Let t(q) = 22*q - 8 - q**3 - 13*q - 1 - 9*q**2. Let z be t(-10). Solve z = 4*d - 7 for d.
2
Let v be 5*-1*3/(-5). Let y = 11 - 7. Suppose 0 = 2*x - y*x. Solve x*l + v*l = 6 for l.
2
Let l(t) = t**2 + t + 12. Suppose -3*u = 2*u. Let h be l(u). Solve -3*d + h = -7*d for d.
-3
Let o(w) = w**3 + 4*w**2 - 7*w - 7. Let m be o(-5). Suppose 2 = -i, -y + 2*y - 2*i = m. Let x be (4/10)/(y/(-5)). Solve -x*l + 6 + 0 = 0 for l.
3
Let z(v) = v**2 + 6*v + 4. Let o be z(-6). Solve -h - 5 = o*h for h.
-1
Let v(k) = -5*k - 25. Let o be v(-8). Solve 