Let r be 6/((-12)/9 - -2). Solve -3*z + 3 = -r for z.
4
Let o = -62 + 66. Solve -2*a - o = 2*a for a.
-1
Suppose -8 = -3*h + 4. Suppose -h*n - 16 = 0, 6*m - 4*m + n = 0. Solve -m*w = -2 - 4 for w.
3
Let n = -1 - -13. Let g be 3 + 1 + n/(-3). Solve 2*l - 2 = -g*l for l.
1
Suppose f - 5 = -4*z - 4*f, 4*z - 4*f + 4 = 0. Solve 3*q + z*q - 3 = 0 for q.
1
Suppose 4*t + t = 5*a, 3*a = 5*t. Solve -6*g + g + 5 = a for g.
1
Suppose 2*y = 0, 4*y = -4*p + 21 - 1. Suppose 0 = r - p - 7. Solve 3*s + s - r = 0 for s.
3
Suppose 0 = 2*y + 2*f - 4 - 8, -3*y = 2*f - 17. Suppose -6*c = -c + 5*l, 0 = -c - y*l - 4. Let d be (-1 - -1)/c - 0. Solve d = -r + 2*r + 2 for r.
-2
Suppose 4 = -2*j - 3*t, -5*j + t = -7 - 0. Let c = j - 7. Let i be (4/c)/(6/(-63)). Solve -i*o = -5*o for o.
0
Suppose 2*z - 4*n - 20 = 0, 8 = 4*z - 3*n - 57. Solve -3*s = s - z for s.
5
Let s be 4/(-10) + 24/10. Suppose -2 = s*g + p, 0*g - 4*p - 8 = -3*g. Solve -2*j = -2 - g for j.
1
Let x(b) = -b**3 - b**2 - b + 3. Let c be x(0). Suppose 0 = -0*g - c*g - 27. Let y = g + 9. Solve -n + y = -5 for n.
5
Suppose -4*t - 2 = -4*z + 2, 5*t + 3*z - 27 = 0. Solve -t = -5*u + 7 for u.
2
Let w = 20 + -19. Suppose a - 3 = 0, -3*q + w = a - 8. Solve 0 = -3*m - q*m + 20 for m.
4
Let y be 158/14 - (-2)/(-7). Let z = y - 6. Let q = 133 + -123. Solve -5*i + z = -q*i for i.
-1
Suppose 2*i + 4*s + 10 = 0, -4*i = -2*s - s - 24. Solve -2*p - i = -11 for p.
4
Suppose 4*a = 11 - 11. Solve a = 5*x + 5 for x.
-1
Let k(s) = -2*s + 24. Let x be k(12). Solve 2*n = -x - 4 for n.
-2
Let g(c) = -c**2 + 2*c + 2. Let u be g(2). Let x(o) = 3*o**2. Let t be x(1). Suppose 0 = -k - b + 10, 5*k + 0*k + 2*b - 53 = 0. Solve t*f + k = u for f.
-3
Let a(f) = -4*f - 27. Let g be a(-10). Solve -g = -2*o - 3 for o.
5
Let q = -5 + 8. Suppose 2*v = -2*r - 3*v - 27, -15 = q*r - v. Let i = r - -14. Solve -t = t + i for t.
-4
Suppose 2*f = -8, 0*f = 3*t - 5*f - 41. Suppose -2*s + t*s - 40 = 0. Let b be 3/(-1)*s/(-3). Solve o = 3 - b for o.
-5
Let s(m) = -m**3 + 2*m + 1. Let v be s(2). Let c be v*(2 + -1 - 4). Suppose -4*p = -3*d - 9, -4*p - 4*d + 25 - c = 0. Solve -3*o + 0*o = -p for o.
1
Let t be (-1 - -2)*(-10 - -9). Let g be (-1)/3 + t/(-3). Solve -3*x + g*x - 9 = 0 for x.
-3
Suppose 4*d = -d. Suppose 7 = -3*j + 4*k, -3*k + 19 = 5*j - 8. Let h be 1/(-2) - (-38)/4. Solve -h = -j*l - d for l.
3
Suppose v + 5 = 2*v. Solve v = -o - 0*o for o.
-5
Let t be ((-4)/6)/(6/(-54)). Solve -t = -4*x - 2 for x.
1
Suppose -3*y + 4 - 1 = 0. Suppose y = 3*b - 11. Solve -4*g + b + 12 = 0 for g.
4
Let o = 5 - 8. Let b be (3 - 2)*o/(-1). Suppose b*h - 2*s - 6 = 0, 0 = -h + s - 0 + 2. Solve k + h = 1 for k.
-1
Let k = 12 + -9. Solve k*t - 2*t - 5 = 0 for t.
5
Suppose 0 = 5*n - 4*b + 5 - 3, -5*n + 2*b - 6 = 0. Let p be (-5)/n - (-2)/4. Solve 0 + 3 = p*i for i.
1
Let u be (-19)/(-4) - 3/4. Suppose 9*r = 5*r + u. Solve r = i - 0*i for i.
1
Suppose -2*d + 5*d = 0, 0 = -k + 5*d + 10. Solve -3*o = -8*o + k for o.
2
Suppose -6*y + 32 = -2*y. Suppose 0 = -2*a - 0 + y. Solve 3*b = a*b + 3 for b.
-3
Suppose 0*q - 4 = -q. Suppose 0*m + q = m. Solve -m*w - 9 = -w for w.
-3
Let n be (1 + (-2)/(-8))*4. Suppose 2*o + 36 = f - 3*o, -100 = -n*f + 5*o. Suppose s - h + 4*h - 2 = 0, 0 = 2*h. Solve -2*x - s*x = -f for x.
4
Suppose 3*z + 20 + 10 = 0. Let t be 5/2*(-8)/z. Suppose -10 = -5*x + 10. Solve x*o + 6 - t = 0 for o.
-1
Let g(n) = -2*n - 8*n**3 - 1 + 4*n**2 + 0 - 5*n**2. Let r be g(-1). Suppose d - q - r = 0, 4*d + q - 3*q = 28. Solve j = -j - d for j.
-3
Let g(t) = -7*t + 1. Suppose 3*z + 2 = z. Let p be g(z). Suppose -3*q = -15*q + 48. Solve 6*d - p = q*d for d.
4
Let p(d) = d**3 - 11*d**2 + 10*d + 8. Let z be p(10). Suppose 0 = 5*x - 10*x + 30. Let v = z - x. Solve v = -3*f + 2*f for f.
-2
Suppose -4*c + 7*c - 24 = 0. Suppose -2*y + d - 2 = 3*y, -4*y = -4*d + c. Solve -v - v - 6 = y for v.
-3
Let d(c) = -c**2 + 4. Let b be (3 - 3)/4 + 2. Let j be d(b). Solve j*k + 10 = 5*k for k.
2
Suppose -n = -4*z + 4*n + 56, 0 = -4*z - 5*n + 56. Let b = 9 + -5. Let q be z/8 + 1/b. Solve u = q*u + 4 for u.
-4
Suppose -s = 5*i - 45 - 0, 3*i + 4*s - 44 = 0. Let k = i + -6. Suppose -k = -2*j + j. Solve j = 5*x + 12 for x.
-2
Let i(j) = -1 + 2*j + 0 - 1. Suppose f + 2*f - 9 = 0. Let l be i(f). Solve -2*u + 3*u + l = 0 for u.
-4
Let p be 2/((-10)/(-14) - 1). Let c(u) = 11*u + 13. Let t(a) = -5*a - 6. Let l(v) = 4*c(v) + 9*t(v). Let d be l(p). Solve 2*h - d = 1 for h.
3
Suppose 0 = -6*l + 2*l + 28. Let g = -18 + l. Let j(u) = -u**3 - 11*u**2 + 9. Let d be j(g). Solve 0 = 3*p + 6 + d for p.
-5
Let l = 8 + -4. Suppose -l*d - 3*c = -7 + 3, 4*d - 4*c = 32. Solve d*x - 9*x - 10 = 0 for x.
-2
Suppose 5*l - 5*g + 5 = 0, -4*l + g + 11 = 3. Suppose 6 = -n + 2*h, 4*n - l*h - h + 12 = 0. Let z = 11 + -8. Solve -z*y + n*y = -12 for y.
4
Let x(f) = -f - 1. Let y be x(6). Let s be 6/y*(-14)/3. Let q be 1/s + (-6)/(-8). Solve -5*h - 26 = -q for h.
-5
Suppose 5*q + 3*h = h + 21, -2*h - 29 = -5*q. Solve 0*g - q = -g for g.
5
Suppose 2*b = -45 + 173. Suppose -4*i - 2*n = -4*n - b, -2*i = 5*n - 44. Solve -5*m - i = 8 for m.
-5
Suppose 5*r - 21 = 4*l, 4*r - 2*r - 13 = -3*l. Suppose -5*t + 27 + 23 = r*i, 4*i = 3*t + 5. Solve t*k + 13 = -2 for k.
-3
Let v be 1*20*(-1)/(-2). Suppose -14 = -5*h - 4. Suppose 0 = h*i - 47 + 17. Solve -i - v = 5*q for q.
-5
Let f(a) = -7*a + 2*a**2 - a**2 - 5 + 13. Let h be f(7). Let k be 1/4 - 2/h. Solve 5*v - 20 = -k for v.
4
Let d(l) = 8*l - 36. Let n be d(5). Solve n*c - 6 = -2 for c.
1
Suppose 5*f - 25 = -0*f. Let d(b) = b**2 + 6*b + 5. Let k be d(-7). Solve k = f*a - 3 for a.
3
Let g(n) = 3*n**2 - n - 2. Let b be g(-1). Let p(r) = -2*r - 9. Let i be p(-8). Solve -i*h = -b*h - 15 for h.
3
Suppose 14*n - 7*n = 0. Solve n*y - 2*y - 4 = 0 for y.
-2
Let x be (-2)/(-7) - 330/(-21). Let n be 2/4 + (-9)/(-6). Let j = -21 - -23. Solve -x = j*m + n*m for m.
-4
Let r(s) = -s**3 + s**2 - 1. Let l = 6 + -4. Let v be r(l). Let y be (16/40)/((-1)/v). Solve 0 = -0*a - y*a - 4 for a.
-2
Suppose -4*p + 55 + 58 = 5*d, p = -2*d + 29. Solve -4*w + 7 - p = 0 for w.
-5
Suppose k = 5*y - 73, y - 3*k - 5 = 2*k. Suppose -4*q - 2*f - 2 = -4*f, 3*f - 3 = -4*q. Solve q = -g - 2*g - y for g.
-5
Let a = 135 + -132. Solve -p = a + 1 for p.
-4
Suppose -5*t = -0*t. Let y be -1 - 18/(-1 - 2). Solve -15 = -t*k - y*k for k.
3
Suppose -i + 0 = -2. Suppose 4*w = -5*y - 1, 4*w - 5 = i*y - y. Let q = 15 + w. Solve -3*h + 1 = q for h.
-5
Suppose 0*j + 2 = j, -27 = -m - j. Suppose -2*x + m = 2*b - 15, -5*x = 25. Let u = b + -12. Solve -4*p - 7 - u = 0 for p.
-5
Suppose -q + 2*p = -8, -3*p - 14 = -4*q - 2. Solve 3*o - 1 + 16 = q for o.
-5
Suppose 13*d = 9*d + 16. Solve -d*m - 3 = -7*m for m.
1
Let f be (4/(-3))/((-4)/6). Suppose l - 6 + f = 0. Let d(r) = -4*r. Let y be d(-1). Solve l + 16 = y*z for z.
5
Suppose 3*f = -2*d + 7*f - 16, 3*f - 12 = -5*d. Suppose -5*u = -d - 5. Solve -u = -0*a - a for a.
1
Let b(f) = f**2 + 7*f + 12. Let c be b(-5). Solve c*i = -0*i - 6 for i.
-3
Let y be 3*((-10)/(-3) + -1). Let c(l) = -l - 4. Let j be c(-8). Solve j*g - 6 = y*g for g.
-2
Suppose -4*a - 1 = -17. Suppose 3*m + a - 13 = 0. Solve m*v - v = 0 for v.
0
Suppose -4*r = 4*m - 3*r - 4, 0 = 2*m - 5*r - 24. Suppose s = -g - 0*s + 8, -m*g - 3*s + 21 = 0. Solve 10 = -g*p - 2*p for p.
-2
Let u = -8 - -12. Let s be 4/8 + 10/(-4). Let f = s + u. Solve 6 = g + f*g for g.
2
Let j = 5 - 3. Suppose -18 = -4*h - j*a, 3*h - 12 - 6 = 3*a. Suppose -n = -5*m + 11, 5 = h*n + 2*m - 21. Solve 8 + n = -3*v for v.
-4
Let b(l) = l**3 + 13*l**2 - 14*l + 6. Let u be b(-14). Solve 3*m = u*m - 6 for m.
2
Let k be 7/28*-2 - 5/(-2). Suppose 0*b = 2*b - 26. Solve -3 = -k*a - b for a.
-5
Suppose -4*l - 3*p = -3*l - 12, -l + p = 0. Let o be ((-13)/l)/(4/(-12)). Let d = 3 + -2. Solve 4*x - o = -d for x.
3
Let i = -11 + 35. Suppose 18 = -5*b - 12. Let m = 7 + b. Solve -5*k + i + m = 0 for k.
5
Suppose 0 = -3*h - 2*o + 11, -2*h + 2*o + 10 = -4. Solve p = h*p for p.
0
Let j = -21 - -26. Suppose 0 = -2*d - 0 + 8. Solve -j*f = -f - d for f.
1
Let w(g) be the third derivative of g**4/6 - g**3/2 + 3*g**2. Let t be w(2). Solve u - t = -4*u for u.
1
Let t be (-3)/9 + (-2)/(-6). Let b be t/(-1 - 3 - -2). Solve 5*u + 0 - 10 = b for u.
2
Let z(l) = -l**2 + 13*l + 4. Let r be z