 = 3*o - 3*a. Suppose -o*d - d + 20 = 0. Solve -3*t = -4*t + d for t.
4
Let m(p) = p + 6. Let h be m(6). Let g(y) = 2 + h*y + 2*y**2 - 3*y**2 + y**3 - 12*y**2. Let f be g(12). Solve -f*w = -11 + 1 for w.
5
Let t(f) = 2*f - 5. Let p be t(5). Suppose 0*y + p*c = 5*y - 10, -4*y + 14 = -2*c. Suppose 10 = 3*k + 4*l - 8, -y*l = -15. Solve -5*a = -k*a for a.
0
Let t = 7 - -2. Suppose -t*p + 13*p - 36 = 0. Solve p*c - 4*c = -5 for c.
-1
Let y be 3*(85/15 - 3). Solve -5*h + 12 = -y for h.
4
Suppose 4*g = -4*z - 48, 3*z = -5*g - 0*g - 42. Let c be (-111)/z - 2/6. Solve 3*x + c = -x for x.
-3
Let j = 6 - 4. Suppose -j*o + 0*o = 0. Let f = -12 - -17. Solve -h + f - 1 = o for h.
4
Let s = 0 + 1. Let a be 0/(-4 - (s + -3)). Solve -j = 2 - a for j.
-2
Let y(d) = -6*d - 25. Let x(h) = -4*h - 17. Let j(r) = -7*x(r) + 5*y(r). Let o be j(-6). Let s be ((-9)/2)/(o/(-8)). Solve -f + s = 1 for f.
5
Let g be 4/(8/(-10))*-1. Suppose -20 = 4*v - g*h, -8 = 6*v - 3*v - 2*h. Solve -2*i + v = -4 for i.
2
Let w = 30 - 18. Let b(f) = -f**2 + 8*f - 9. Let i be b(6). Solve w = i*m - 0*m for m.
4
Let f be (-1 - 1)/(4/2). Let p be f/((-14)/6 - -2). Suppose 1 = p*d - 8. Solve -d = 3*y - 15 for y.
4
Let b = 42 + -40. Solve -4*x - b = -6 for x.
1
Let c be 0 + -2 + (-6)/2. Let u(j) = -1. Let v(d) = d + 1. Let w(z) = -5*u(z) + v(z). Let t be w(c). Solve x - 4 = -t for x.
3
Suppose -4*c = 8, u + 3*c = 22 + 3. Suppose 0 = 5*v + 2*d - u, 5 = -2*v - 3*d + 8*d. Solve l = v*l for l.
0
Let m = -16 + 16. Suppose m*j + 18 = 3*a - 3*j, -4*j = 0. Solve 0 = 7*c - a*c - 4 for c.
4
Let o(f) = 3*f**2 - 8*f - 3. Let r be o(6). Suppose -5*d = -2*d - r. Solve 5*b - 1 = d for b.
4
Suppose 3*d - u - 21 = 0, 5*u - 11 + 38 = 2*d. Suppose 0 = -y + 4*y - 3*i + d, 0 = -3*y - 2*i - 1. Let n be y/((-3)/(-18)*-2). Solve 0 = -t + n - 0 for t.
3
Let r be (12 - 14)/(2/(-4)). Solve -r*m = m for m.
0
Suppose 3*y = -2*c + 5, 0 = 7*y - 2*y + 3*c - 10. Solve y*s + 6 = 3*s for s.
-3
Let z = -10 - -15. Let m = -3 + z. Suppose -2 = -5*t - 27, v - 27 = 3*t. Solve v = u + m*u for u.
4
Let x(h) = -h + 11. Let q be x(8). Suppose q*r - 5 = 7. Let k(d) = -d**2 + 3*d - 2. Let c be k(2). Solve m - r = -c*m for m.
4
Let c be 15/6*(-24)/(-20). Suppose 0 = -2*b + c*b. Solve b = y + y for y.
0
Suppose -5 = 2*m - m. Let n be (-6)/9 + m/(-3). Solve 0 = o + n for o.
-1
Let p(v) = v. Let l be p(2). Suppose -4*k + 4 = -24. Let t = 14 - k. Solve -l*a = -1 + t for a.
-3
Let l be 99/44*32/6. Solve b - 5*b = l for b.
-3
Let n = -25 - -41. Suppose -2*d + 7*d = 4*p - 42, -3*d - 6 = 0. Suppose 3*m - p*m = 0. Solve 4*k + m*k = -n for k.
-4
Let u(i) = -i**2 + 8*i - 6. Let z be u(6). Solve -11 = -b - z for b.
5
Suppose -j - 13 = -14. Solve -j = m - 2 for m.
1
Let d(y) = 6*y**3 - 2*y**2 - y + 2. Let o be d(1). Solve -p + o*p = -16 for p.
-4
Let j be (2 + 16)*(-4)/(-4). Let t be (-4)/j - 29/(-9). Solve 0 = -0*v + t*v for v.
0
Let c be -6 + 34 - (2 + -1). Let r = -17 + c. Solve m = -m + r for m.
5
Let x(o) = 3*o. Let t(s) = s + 3. Let u be t(3). Let h be x(u). Suppose 4*w - 9 - 23 = -4*a, h = 3*w + a. Solve w = -5*c - 15 for c.
-4
Let o be 2 - (2 + 4 - -3). Let z = 7 + o. Suppose -2*j + 1 + 7 = z. Solve -2 + j = -l for l.
-2
Let u(l) = 2*l**3 + 14*l**2 + 13*l + 9. Let i be u(-6). Solve 6 - i = w for w.
3
Let j = -3 + 1. Let g(n) = 0*n**2 + 3*n**2 + n**3 - n - n**2. Let u be g(j). Solve u*c = c + 4 for c.
4
Let g be (-10)/(-6) - 1/(-3). Suppose g*y + 2 = -0. Let m = y - -4. Solve -m*x - x - 12 = 0 for x.
-3
Let j(b) = -b - 7. Let w be j(-10). Suppose -w*t = 2*t. Solve t = -3*k - 4 - 2 for k.
-2
Suppose 4*l + 0*i - 5 = 5*i, -5*l - 3*i = -34. Suppose 4*v - l*y + 2 + 2 = 0, 0 = 3*y - 12. Solve 0*o = 2*o - v for o.
2
Let r be -3 + (-6)/9*-3. Let l be (-2)/(-2*r/2). Let g be 0/1 + 4 + l. Solve 2*a - g = 8 for a.
5
Suppose -o = -3*g + 14, -o = 2*o - 4*g + 17. Suppose -5 = -4*t - o. Let x be (-11)/t*-2 - 2. Solve 2*q + 3*q = -x for q.
-4
Let d be 46/10 - 6/(-15). Let r = d + -2. Solve 2*b - r = -b for b.
1
Suppose 5*w - 2*p - 645 = 0, 0 = -5*w + 5*p + 452 + 193. Let q be w/27 + 2/9. Solve -s + 0 = -q for s.
5
Let a be 6/(-9)*(-3)/2. Let w be 1/(5/(-4))*15/(-6). Solve -d + a + w = 0 for d.
3
Suppose 0 = 5*x - 21 - 29. Let k be -3 + x/2 - -3. Suppose 4*d + 0 = 8. Solve -y + k = d for y.
3
Let h be (9/(-6))/((-9)/12). Suppose 8 = h*m + 2. Solve 3 = -0*l - m*l for l.
-1
Let p(b) = b**2 + 5*b + 4. Let j be p(-4). Solve j*m = m - 3 for m.
3
Suppose 3*i + 70 = 25. Let w = i + 18. Solve 4*o + w = -5 for o.
-2
Suppose 15 = -3*i - 3*s, -i = -0*i - s + 13. Let o = i - -13. Solve -2*u = -0*u - o for u.
2
Let k(a) = a**3 + 5*a**2 - 6*a + 8. Let o be k(-6). Solve 24 - o = 4*i for i.
4
Let o(n) = -n**3 + 5*n**2 - 7*n + 4. Let i be o(2). Solve 2*u + i = -6 for u.
-4
Let h be (0 - 0)/(-1 + 3). Suppose 6*s - 3*s + 9 = h. Let m be 4*(3/(-2))/s. Solve 0 = l - m*l - 4 for l.
-4
Suppose -62 = 6*z + 70. Let r = -22 - z. Solve 2*o + r*o = 8 for o.
4
Let g(c) = -4*c - 18. Let b be g(-6). Solve -6 = 3*t - b*t for t.
2
Let x(b) = -b**3 + 3*b + 2. Let f be x(-2). Let q(j) = 4*j + 8. Let z be q(-6). Let l = z + 28. Solve f + l = -4*n for n.
-4
Let l(p) = p**3 + 8*p**2 + 6*p - 2. Let x be l(-7). Let d be 1/(x/3 - 2). Let c be ((-2)/d)/(2/6). Solve 4*t = -14 + c for t.
-3
Suppose 4*i + 0*q = 3*q + 24, 5*q + 29 = 3*i. Solve o - i*o - 8 = 0 for o.
-4
Let n = 13 + -8. Let o be 0 + 1 - (-44)/11. Let a = o - n. Solve c + 2*c - 3 = a for c.
1
Suppose 0 = v - a + 1, -5*v + 4*a - 2 = 0. Suppose 0 = b - v*i + 7, -2*b + 26 = -4*i + 8*i. Solve 0 = l - b + 6 for l.
-3
Let v(x) = -5*x**3 + 16*x**2 - 9*x + 31. Let o(y) = -3*y**3 + 8*y**2 - 4*y + 16. Let u(h) = -7*o(h) + 4*v(h). Let w be u(-9). Solve -w*s = s + 8 for s.
-2
Let y = 7 + -3. Suppose -3*z + 1 = 4. Let m = z - -1. Solve p + y = -m for p.
-4
Suppose -3*u = -3*t - 4 + 28, 4*u + 42 = 5*t. Solve 5 = -3*d - t for d.
-5
Suppose h - 6 = -h. Suppose 5*x = 3*f + 53, -45 = -5*x - f - 4*f. Let n = -7 + x. Solve h*k - 6 = n for k.
3
Let j(m) = -m**3 + m - 3. Let h be j(0). Let b = h - -5. Solve -b*v = 3*v - 5 for v.
1
Let s be 1/(-5) - (-84)/20. Suppose l = s*l. Solve l*x + x = -3 for x.
-3
Let y(c) = -2*c**2 + 9*c + 9. Let l be y(5). Solve l*i + 2 + 2 = 0 for i.
-1
Suppose -5*i = 4*k + 1, -5*k + 9*k = -2*i + 14. Solve 2*n - 2 - k = 0 for n.
4
Let a be (-141)/(-21) - 4/(-14). Solve a*o - 2*o = 20 for o.
4
Suppose -2 = -3*w + 2*w. Suppose 0 = 4*d + d - 4*l + 2, 3*d - w = 4*l. Let g be 0 + (-2)/d + 5. Solve -2*s + g = 2 for s.
2
Let m be 52/10 + (-11)/55. Suppose -2*h + m*v + 19 = 0, 0 = -2*h + v + 5 + 2. Solve 3*n + 3 = h*n for n.
-3
Let n(i) = 2*i + 31. Let h be n(-14). Solve h*x + 2 = 14 for x.
4
Let k be (-5)/(-5) - (2 + -1). Solve k*h + 6 = 3*h for h.
2
Let p be (-1 + 0)*0/5. Suppose 8 = -y - 5*n, p = -5*n - 7 - 3. Suppose r + 0*b = -5*b, -r + 3 = y*b. Solve r*g - 12 = 2*g for g.
4
Let f = -5 + 9. Let o(w) = -2*w**2 + 8*w + 12. Let h be o(5). Solve -h*s + 6 - f = 0 for s.
1
Let k = 29 - 19. Solve -h = h - k for h.
5
Let p(y) = -y**3 - 5*y**2 + 6*y + 3. Suppose 0 = a + 4 + 2. Let m be p(a). Suppose 3 = -4*w - 3*z, w + 4 = -z + m. Solve -5 = -w*l - l for l.
5
Let i = -12 + 14. Suppose -3*k = -l - l - 18, -i*k + 5*l + 12 = 0. Solve 4*m + k = -2 for m.
-2
Let r(t) = -t - 2. Let n = 3 + 1. Let f be r(n). Let o be (-5)/(-2) - 3/f. Solve -4*z = -z + o for z.
-1
Let o = 11 + -7. Let g be 3 + o/((-16)/(-4)). Solve 0 = -i - g*i for i.
0
Let u = -7 + 11. Solve -3*b + u = -b for b.
2
Let o be 58/6 - 2/3. Let g be 80/36 + (-2)/o. Solve m - 6 = -g*m for m.
2
Let l(q) = -3*q + 2*q**2 + 4 - q**2 - 2. Let a be l(2). Solve a = -3*r - 0*r - 12 for r.
-4
Let f be (2/(-5))/((-2)/10). Let k be 1*(3 + -4)*-1. Solve -k = -s + f for s.
3
Let g(b) be the third derivative of -b**4/24 + 2*b**3/3 - 3*b**2. Let k be g(0). Solve o - k*o = 15 for o.
-5
Let j = 5 - 0. Let b be j - 4 - (1 + 0). Solve b = -q + 2*q + 3 for q.
-3
Let k = 3 - -13. Suppose k - 2 = 2*f. Let r(t) = -t**2 + 6*t + 10. Let h be r(f). Solve -h*q - 5 = 1 for q.
-2
Let t = 83 + -67. Solve t = 4*c - 0 for c.
4
Let f(r) = -r**3 - 6*r**2 + 8*r + 3. Let k be f(-6). Let t = k + 84. Suppose t = a - 4*h + 8, -2*a = -h - 55. Solve 0 = 5*x - a + 7 for x.
4
Suppose 3*d + b - 4*b = 36, 5*d + 4*b = 24. Solve 3*f = -f + 