Suppose k = -2*q + 5, -2*q + k + k + h = 0. Let c = 6 - q. Solve z - 2 = c for z.
4
Let i be (-84)/18*6/(-4). Let m = -2 + i. Solve 2*u - 3 = -m for u.
-1
Let l(s) = -s**2 - 10*s + 6. Let d be l(-10). Suppose d*j - 4*j = 6. Solve -3*c + 0 - j = 0 for c.
-1
Let p(v) = -v - 1. Let l be p(-2). Suppose -4*s + 13 - l = 0. Solve -b + 0 = -s for b.
3
Let a = -14 - -14. Suppose -2*r + 0*r + 6 = a. Solve -1 = r*d + 2 for d.
-1
Suppose -2*p = 3*b + 21, -2*p - 2*b - 12 = 6. Let a be 16/6 + (-2)/p. Solve -3*n + 3 = -a for n.
2
Let q(v) = 2*v**2 - v - 2. Let u be q(2). Suppose 2*g - 15 = -3*g, u*g - 14 = -2*p. Solve 0 = 3*t - p - 2 for t.
1
Suppose -4*j = -2*i - 18, j = 4*i + 9 + 6. Let h(m) be the second derivative of m**4/12 + m**3/3 - m**2/2 + 2*m. Let z be h(-3). Solve j*l + z*l = -10 for l.
-2
Let s be (-18)/(-4)*8/12. Let x = -7 + 10. Solve -x*l + 0 = s for l.
-1
Let l(g) = 2*g. Let i be l(1). Let r(y) = y**3 + 4*y**2 + 4*y + 3. Let m be r(-2). Solve -i*d = m*d for d.
0
Suppose -4*r + 20 = 4*o, 4*r = -2*o + 14 + 6. Let x(y) = -3*y + 2. Let f be x(-6). Suppose 4*l - f = -0*l. Solve l*g - 14 - 1 = o for g.
3
Suppose -2*g - 21 = 5*d, g - d = d + 12. Suppose -w = g*w - 18. Solve -r = -w*r - 25 for r.
-5
Let b = 1 - -4. Solve -1 + b = 2*n for n.
2
Let s = 5 + -3. Suppose -s = -2*p + 4. Suppose -17 = -3*d + f, -p*d - 2*f = -d + 2. Solve 3*h = d*h + 4 for h.
-4
Suppose 0 = 12*u - 12 - 36. Solve u*a = a for a.
0
Suppose -7 = -2*p - a + 51, -2*a = -2*p + 52. Let c be 2/(-7) + 372/p. Suppose 0 = q + 3*k - c, q + 5 = -5*k + 12. Solve 5*w + q - 2 = 0 for w.
-4
Let c = -15 - -22. Let b = -17 + 9. Let k = 10 + b. Solve c + k = 3*s for s.
3
Let o(b) = b - 1. Let z be o(0). Let d = z + 6. Solve 0 = d*w - 0 + 25 for w.
-5
Let x(o) = -o**2 - 6*o + 4. Let i be x(-6). Suppose f - 16 = -i*n, 4*n - 25 + 1 = -3*f. Solve 3*q = -16 + f for q.
-4
Suppose -3*r + 41 = 2*g, -5*g + g + 71 = 5*r. Suppose -2*x + r = 3*p, -3*x = -4*p + 2*x + 30. Solve p*z + 3 = -7 for z.
-2
Let v(z) = z + 4. Let j be v(-2). Let s be 0 + 0 - 0/(-1). Suppose -3*p + p + j*m + 6 = s, 15 = p + 5*m. Solve -p*y + 0*y = 20 for y.
-4
Let n = 20 - 17. Solve n*j = -j - 12 for j.
-3
Let c be -2*((-1)/(-2) - 2). Suppose -c - 5 = -4*k. Suppose 4*r - 12 = 2*s, -k*r + 0*r + 4*s = -12. Solve 0 = -r*x + 3*x for x.
0
Let q = 10 + -7. Let s(n) = 2*n + 5. Let l be s(7). Suppose 3*r - 2 - 13 = 0, 4*v = -q*r + l. Solve f + 6 = v for f.
-5
Suppose 3*y - 2*p = 9, y - 5*p - 3 = 13. Solve -2*n - y - 5 = 0 for n.
-3
Let j be 10/(-3)*36/(-30). Suppose 3*s - 14 = -2. Suppose s*k + 12 - 33 = r, -2*r + 10 = 5*k. Solve -k = j*n - 20 for n.
4
Let g be 1/7 - 565/35. Let v = 23 + -1. Let y = g + v. Solve 2*s - y = -0*s for s.
3
Let t(b) = -2*b**2 + 13*b - 4. Let m be t(6). Let w = 4 + -2. Let o = w - m. Solve 0 = -o*z - z + 1 for z.
1
Suppose 6*z = 5*z + 2. Solve -u = u + z for u.
-1
Suppose 0 = -3*f + 7 + 2. Let u = 10 - f. Solve -3*s + 19 = u for s.
4
Suppose -6*x + p + 8 = -2*x, -5*x = -3*p - 10. Suppose -5*r - x - 8 = 0, 0 = -3*q + 4*r + 14. Solve q = b + 4 for b.
-2
Suppose 5*n - 13 = 4*l + 12, l + 2*n - 10 = 0. Solve l = u + 4 for u.
-4
Let z = 1 + -6. Let j(v) = v**2 + 4*v - 3. Let i be j(z). Solve -2*b + i = -0 for b.
1
Let k be (15/12)/(-3 + 13/4). Solve -8*p = -k*p for p.
0
Suppose l = 17 - 15. Solve 0 = -l*x + 3 - 11 for x.
-4
Let y(o) = -o + 13. Let p be y(5). Solve a = -a - p for a.
-4
Let l(s) = s**3 + 5*s**2 + 6. Let v be l(-5). Solve v = 2*b - 4*b for b.
-3
Let j = 31 - 29. Solve -2*y = j*y for y.
0
Suppose 3*g - 2*g + 2 = 4*i, 3*g - 9 = -3*i. Let l = 56 - 38. Solve -g + l = 4*f for f.
4
Let l be 1/(0 - (-3)/(-18)). Let d = l + 9. Let r be 44/d + 3/9. Solve -3*n + r = -0*n for n.
5
Let v(r) = -3*r - 12. Let u be v(-4). Suppose -2*q + 3*q + 3*w + 10 = u, q = 2*w + 10. Solve -2*j + q = -0 for j.
1
Let l = 4 - -1. Suppose -w + l*c + 17 = 0, 4*w - c = c + 14. Solve -2*a = w*a for a.
0
Let t = -12 - -28. Let b = -16 + t. Solve b = -3*a - 6 - 0 for a.
-2
Suppose -3*y - 5*f + 34 = -0*y, -5*y - 4*f + 61 = 0. Let p = y - 9. Solve -z - 5 = p*z for z.
-1
Suppose 2*g + 5*o = -14, 0 = -3*g + 3*o - 2*o + 13. Solve -5*r - g = 17 for r.
-4
Let d be (-2)/9 - (-60)/27. Solve -o + 2*o - d = 0 for o.
2
Suppose -2*v = v. Solve -4*w + 4 = -v for w.
1
Let u(z) = -4*z - 20. Let h be u(-6). Solve h*t + 0*t = 8 for t.
2
Let l = 3 + -3. Suppose 0 = -3*z - 5*r + 17, 1 = -l*r + r. Solve 2*g = z*g for g.
0
Let g(f) = f**2 + 10*f - 6. Let d be g(-11). Suppose -3*r - i = 4*i - 50, 2*i = d*r - 104. Solve 0*y + 4*y = -r for y.
-5
Suppose -3*m + 4*m - 13 = 0. Let k(q) = -q**2 + 7*q + 6. Suppose -d - d + 12 = 0. Let a be k(d). Solve -5*w - a = m for w.
-5
Let d(p) = -p**2 + 5*p + 2. Let c be d(5). Suppose -m + 9 - 5 = 0. Suppose -c*r = n - 4, 0 = -m*n - 0*n. Solve 0*q - r*q = -6 for q.
3
Suppose m - 9 = -0*m. Let i = 12 - m. Suppose -i*h + 8 = -h. Solve -3*t - h = 11 for t.
-5
Let k be (-2)/(-12) - 23/(-6). Suppose o = 2*q - 4, -k*o - q + 20 = -0*q. Solve -o*g = 11 + 1 for g.
-3
Let f(n) = n**2 + 7*n - 7. Let k be f(-7). Let g(q) = -q - 4. Let i be g(k). Solve -12 = -3*o + i for o.
5
Let y be 3/12*(17 + 3). Solve y*k - k - 20 = 0 for k.
5
Let j(f) = -2*f + 1. Let i be j(-1). Let q be -1 + (-69)/(-3) - 2. Let l be q - (1 + -1 - -2). Solve 3*h - i = -l for h.
-5
Let c(i) = 3 - 3 - 12*i. Let p be c(6). Let u be (2/(-3))/(4/p). Solve 0 = -2*t - t - u for t.
-4
Suppose 2*k + 6 = 5*b + 19, k = 3*b + 8. Let w = 4 + k. Suppose -3 = -4*u + w*u. Solve u*m - 11 - 1 = 0 for m.
4
Suppose 5*v + 0*v = 35. Suppose 2*g = 3*f + v*g + 45, -17 = 2*f - g. Let h = -3 - f. Solve 4*u = -9 - h for u.
-4
Let c = 51 - 33. Suppose -t + 4*t = c. Let i(j) = 2*j - 2. Let l be i(2). Solve q + t - l = 0 for q.
-4
Let d(k) = 2*k + 4. Let b be d(7). Let s = b + -18. Solve -c + 3 - 7 = s for c.
-4
Suppose 5*d + 20 = -0*d, b = -5*d - 20. Solve b = 3*u - 8*u + 25 for u.
5
Let h(y) = y**2 + 4*y + 2. Let t be h(-4). Suppose 8 = 2*n - 0. Let s be 79/n - t/(-8). Solve -3*z = 2*z - s for z.
4
Suppose 2*d = 3*d - 20. Suppose 3*x + d = 5*x. Solve 0 = -7*u + 2*u + x for u.
2
Suppose 3*d - 5 = -2*d. Let s be (d - -1)/(2/3). Solve 2 = -5*i - s for i.
-1
Let r(i) = i**2 - 4*i + 3. Suppose 3*t - 5 = -f, -3*t - 4*f - 1 = 2*t. Let q be r(t). Solve q = -0*u - u + 3 for u.
3
Let a be 12 + -9 - (1 + -1). Suppose -3*i - 2*v = -2, -5*i + 5*v + 30 = a*v. Solve x = 1 + i for x.
5
Suppose -v + 26 = -8*c + 3*c, c + 5 = 0. Suppose 0 = 5*t - 3*f - 5, -5*t + 4*f + 6 = -4. Let w = 3 - t. Solve -3*b + w = -v for b.
2
Let y(f) = f**3 + 3*f**2 - 5*f - 4. Let t be y(-4). Solve t = s - 0*s for s.
0
Let h = -5 - -5. Suppose 5*k - k + 20 = -2*o, h = -k - 5. Let w be o/(-2) - (2 + -5). Solve u - w*u = 6 for u.
-3
Suppose 5*k = -2*w + 1, 3*w - 2*k = -4*k + 29. Suppose -w + 9 = -o. Solve 0*r = o*r for r.
0
Suppose -5*i + i + 12 = 0. Suppose i + 12 = 5*n. Solve 0 = -j - n*j + 20 for j.
5
Let z(u) = -u**3 + 2*u**2 - u - 2. Let k be z(-2). Suppose 0*c = 3*c - d - k, 5*d - 5 = -2*c. Solve -c*p = -3*p for p.
0
Suppose -j + 24 = 5*u + 7, 28 = 4*u - 4*j. Solve u - 16 = -3*x for x.
4
Suppose 7 - 59 = -4*q. Solve 3 = -5*b + q for b.
2
Let v = -14 - 10. Let l be (v/(-9))/((-2)/(-3)). Suppose -i = -0 - 5. Solve -l - 11 = i*s for s.
-3
Let q = 40 - 36. Solve 0 = 6*o - q*o for o.
0
Let f(q) = q + 13. Let g be f(-12). Let k be (-8)/(-6)*(2 + g). Solve 18 - 2 = -k*a for a.
-4
Let m(l) = 2*l**3 - 4*l**2 + l - 4. Let c be m(3). Let z = 19 - c. Solve 0 + z = r for r.
2
Let f(a) = a**2 - 7*a - 18. Let h be f(9). Solve 2 + h = -2*g for g.
-1
Suppose -u + 6*u - 2*f - 6 = 0, -4*u - 5*f = 15. Let d(v) = v. Suppose -x + 3 = -2*z, 2*x = -x - 4*z + 9. Let o be d(x). Solve u = -o*j - 2*j - 15 for j.
-3
Let h be (-1 + -4)/5 - -4. Solve -h*k + 10 = -k for k.
5
Suppose 5*d - 8 = 6*d. Let g(u) = 0*u**2 + 9*u + 8 + 4*u**2 - 3*u**2. Let h be g(d). Solve y - 3*y = h for y.
0
Suppose -17 = d - 21. Solve 12 = 4*k - d for k.
4
Suppose 4*j + 23 = 4*h + h, -h - 3*j = 3. Suppose 3*k + k + 8 = 4*g, 3*g - 4 = 4*k. Suppose -h*b - k*b = -15. Solve -b*v = 2*v - 20 for v.
4
Suppose 0 = -4*p + 4*h - 12, -3*p - 4*h - 2 + 28 = 0. Suppose -27 = -2*z + 5*x, -z + x + 4 = -2*z. Solve -i = p + z for i.
-3
Suppose -2*z - 19 = z + m, 3*z - 3*m = -39. Suppose 5*a = y - 37, 0 = 3