Let r be d(a). Solve -10 = -3*k - r*k for k.
2
Let h(r) = -r**2 - 14*r + 2. Let x be h(-14). Solve 3*p + x = 2*p for p.
-2
Let i(n) = -2*n + 30. Let m be i(13). Solve -2*w + m*w = 4 for w.
2
Let z(i) = -i**3 - 5*i**2 + 5*i - 1. Let u be z(-6). Let n = -17 + 27. Let j = 1 - 1. Solve j*g = -u*g - n for g.
-2
Let f = -10 + 14. Suppose -4*z = -7*z - 5*r, 4*z - f*r = 0. Solve -s = -z - 5 for s.
5
Suppose 0*t - z - 25 = -t, t + 5*z = -5. Solve 2*a + 2*a = -t for a.
-5
Suppose 2 = -a + 4. Solve -a*z = -4*z for z.
0
Let k(p) = p**3 - 2*p**2 - 2*p - 1. Let l = 16 - 13. Let a be k(l). Solve 0 = -a*t + 9 - 3 for t.
3
Let m(u) = -u**3 - 4*u**2 + 4*u - 5. Let o be m(-5). Let h(s) = -3*s + 3. Let d be h(2). Let v(b) = -4*b - 4. Let p be v(d). Solve 2*l + 0 + p = o for l.
-4
Suppose 3*c + 69 = 5*f, -5*f - 3*c + 66 = -f. Solve -3*w - f = -0*w for w.
-5
Let y = 12 - 14. Let w be ((-1)/y)/(12/120). Solve 4*l = -l - w for l.
-1
Suppose 4*j - 7 = -3. Let l be (-40)/(-10) - (7 + -1). Let n be 0*(9/(-6) - l). Solve s - j = -n*s for s.
1
Let l(h) = -h - 5. Suppose -19*b + 17*b - 12 = 0. Let a be l(b). Let y be (1 + -2)*(-2 + -1). Solve -y = g + a for g.
-4
Let t(f) = f**3 - 3*f**2 - 4. Let y be t(3). Let q = -4 - y. Suppose 6*a - 2*a = q. Solve a = -6*o + o + 15 for o.
3
Suppose 18 - 22 = -4*a. Solve a = n - 0 for n.
1
Let b(u) = -3*u**3 + 2*u - 1. Let o be b(1). Let v(f) = -8*f + 2. Let y be v(o). Suppose 5*w - 2 = -2*x + 21, 3*x - y = -2*w. Solve -x*m + m = 0 for m.
0
Suppose 0*m + 19*m = 4*m. Solve -r + m = 4 for r.
-4
Suppose 5*q = -5*t + 84 + 171, 255 = 5*q - 2*t. Suppose 2*l - 5*l + q = 0. Let k = l + -9. Solve -3*w - 1 - k = 0 for w.
-3
Let p(r) = -r**3 - 4*r**2 - 5*r - 3. Let m be p(-3). Let b be (-3)/(2/(-6)*m). Solve 0 = -4*q - b + 15 for q.
3
Suppose 3*r = 2*y - 68 + 20, -3*r = y - 15. Suppose 3*m + y = 3*v, -v + 2*v - 3*m = 15. Solve o = -0*o - v for o.
-3
Let g = 10 + -8. Solve 4*x - 14 = -g for x.
3
Let c be (1 + 1)/((-4)/10). Let j = c - -9. Solve f = j - 0 for f.
4
Let o = -29 + 34. Solve -2*z - 3 = -o for z.
1
Suppose -s - 4*m + 4 = 0, -2*m + 2 = -2*s - 0*m. Let n be (-7)/((-21)/30) + s. Solve 0 = 5*k - n - 5 for k.
3
Let o = 27 + -15. Solve 0 = -0*y - 3*y - o for y.
-4
Let s be (-2)/(-4) + 9/2. Suppose -2*u = f - 8, -f - f + 19 = s*u. Solve t = -u*t - 4 for t.
-1
Let s(a) = -a + 29. Let y be s(17). Solve -4*t + y = -0*t for t.
3
Let g = 2 + 3. Suppose 3*i + 15 = -2*o + 40, i + 15 = 4*o. Suppose 11 = i*w - 4. Solve -4*y = -g*y - w for y.
-3
Suppose -9 = -3*t + 3. Solve 5*l + 6 = -t for l.
-2
Suppose -6*a = -2*a - 20. Solve a*j - j = -20 for j.
-5
Let k = -25 + 45. Solve 0 = 4*n - k for n.
5
Let x = 14 + -12. Solve b = -b - x for b.
-1
Suppose 4*q - 29 = -q + l, 3*q = -l + 11. Solve -p + q*p = -4 for p.
-1
Suppose 0*i + 5*i - 100 = 0. Suppose 0 = 5*t - 0*t - i. Suppose 0 = m + 1 - t. Solve 0 = p + m*p + 16 for p.
-4
Let r be 810/(-72)*32/(-6). Suppose -5*z + 72 = 3*t, -4*z + 0*t = 3*t - r. Solve -z = 5*u - u for u.
-3
Let v = 12 + -8. Let u(q) = -5*q**3 - q - 1. Let b be u(-1). Suppose 2*f + 6 = 4*f. Solve -b - f = v*s for s.
-2
Let n = 21 + -12. Solve 2*i + 1 = -n for i.
-5
Let f(y) = y**3 - 4*y**2 - 4*y - 5. Suppose 4*w + 28 = -4*s, -2*s - w = 3*s + 15. Let d be ((-5)/2)/(s/4). Let n be f(d). Solve n*c = c for c.
0
Suppose -7*h = -2*h. Let t(b) = b**2 + 7*b + 10. Let g be t(-5). Solve g = 3*m - h*m - 3 for m.
1
Let o = -129 + 271. Let z be (-2)/(-12) - o/(-12). Solve -5*w + z = -2*w for w.
4
Let k = 1 - -1. Solve -k*z = -6*z + 16 for z.
4
Let o = 43 + -37. Solve -g - g + o = 0 for g.
3
Suppose 0 = -5*y + 18 + 7. Let v = 7 - y. Solve -10 = 3*d + v for d.
-4
Suppose 0 = 3*u + 2*u + 5*o - 40, -4*u - o + 26 = 0. Suppose -4*r + u = -14. Solve 3*a - 10 = r for a.
5
Let o be 4/20 - 3/(-15)*-1. Solve o = -5*d - 7 + 2 for d.
-1
Suppose -5*r + 3*c = -c + 11, 3*c - 12 = 5*r. Let q = r - -3. Let l(h) = -h - 3. Let s be l(-6). Solve 4*d - s*d - 5 = q for d.
5
Suppose -32 = -4*b - 20. Suppose 5*o = -5*v + 75, -6*v + b*v - 35 = -2*o. Solve 0 = -3*d - d + o for d.
4
Let i(k) = -k**2 + k + 2. Let f be i(2). Suppose f = -p - 0*p. Solve -3*d - d = p for d.
0
Let m = -1 - -3. Solve 8 = m*r - 2 for r.
5
Let n(o) = -7*o + 4 + 6 - 2 + 3 + o**2. Let r be n(5). Solve -p + 2 = r for p.
1
Let q(l) = 2*l**2 - 9*l + 16. Let u be q(4). Solve -8*d + 5*d = -u for d.
4
Suppose 0*v - 5*f + 81 = 4*v, 22 = 3*v - 4*f. Let i = -9 + v. Suppose 0*a + 2*a + 5*n = -15, 0 = -4*a - 4*n. Solve i*o + a = -0 for o.
-1
Let k(j) = -j**3 + 12*j**2 - 9*j - 6. Let a be k(11). Solve 2*q = -2*q - a for q.
-4
Let m = -16 - -18. Suppose 5*l - t = 3 + 9, 2*l = -m*t. Solve l*z = z - 3 for z.
-3
Suppose -14*o + 300 = 48. Solve 4*m - o = -2 for m.
4
Suppose k = 4*k - 2*b - 49, 0 = -b - 2. Solve 0 = -8*t + 3*t - k for t.
-3
Suppose a + 2*j - j = -2, -5*a + 25 = -2*j. Solve 8*u - 15 = a*u for u.
3
Suppose 5*z - u = 23 + 1, -4*z + 3*u + 28 = 0. Solve -3*p = z + 8 for p.
-4
Suppose -2*x - 4*w = -18, -2*x - w = -5 - 4. Solve 3*t - 2*t = x for t.
3
Suppose -2*g - 2 = 14. Let j = -5 - g. Let z = 62 - 57. Solve 2*u - z = -j*u for u.
1
Let r(k) = k - 2. Let s be r(4). Solve s*q = -0*q for q.
0
Let i = -1 + 4. Let r be (i - (6 + -3))/1. Solve 2*j - j + 5 = r for j.
-5
Let n = -5 + 2. Let y be (-1)/(n - 24/(-9)). Solve -7 = 2*b - y for b.
-2
Let a be -1*-1*(2 + 3). Suppose -112 = -a*v - 37. Let g(n) = n**3 + n + 2. Let h be g(0). Solve 0 = h*s + s - v for s.
5
Let v be (2 - 4)*(1 + -2). Suppose -v*w + 6 = -5*m + 4*m, -6 = -2*w + 5*m. Let y = 26 - 6. Solve x - y = -w*x for x.
5
Let a(j) = 2*j - 7. Let v(m) = 6*m - 1. Let w(b) = -b - 1. Let r(s) = v(s) + 5*w(s). Let k(h) = -6*a(h) + 7*r(h). Let t be k(-5). Solve -t = 4*x + x for x.
-5
Let s(z) = z**3 - 18*z**2 + 18*z - 2. Let q be s(17). Suppose 11*k - q*k = -8. Solve k*t = 5*t for t.
0
Suppose 4*q + 14 = 54. Let l be 1/((4/q)/2). Suppose 0 = 6*g - 135 + 99. Solve -c = -g*c - l for c.
-1
Let s = 11 - 16. Let d = s - -5. Solve 0 = -d*w - w - 4 for w.
-4
Suppose 4*q - 9 = 15. Let w = q + -6. Solve w*b = 2*b - 4 for b.
2
Let s = -13 - -14. Suppose -2*a + 3 = -s. Solve 2*t + a*t = 4 for t.
1
Let j be ((-3)/6)/(3 - 21/6). Solve 0 = 5*y - 4*y - j for y.
1
Let g be 3/(-6)*(-11 - -7). Solve -g = 5*i + 3 for i.
-1
Let k(q) = q**2 - 2*q - 3. Let m = -10 - -14. Let j be k(m). Let f = 22 + -6. Solve 0 = w - j*w + f for w.
4
Let k(g) = -g**3 + 6*g**2 + 5. Let p be k(6). Suppose 0 = -3*d - 4*f + 2*f + 21, 0 = -p*d + 3*f + 16. Solve -4*i + 9*i = d for i.
1
Let y be 1/(-3)*-22*57/38. Solve 1 - y = -2*w for w.
5
Let t be (2/(-3))/((-2)/(-3)). Let m be (3 - 8 - 1)*t. Solve -r + m = r for r.
3
Let x(v) = -2*v**3 + v**2 + 2*v + 1. Let a be x(-1). Let m be a/(-9) + 20/9. Solve -2*g = m*g + 12 for g.
-3
Let b be (-50)/(-18) - 4/(-18). Let v(k) = k**2 - 5*k + 1. Let n be v(7). Solve -b*m + n = 3 for m.
4
Suppose -2*y - 4 = -2*u, 3 + 1 = u. Solve -y + 4 = -q for q.
-2
Suppose 4*q - 120 = 5*u, 38 = -2*q + 4*q + 3*u. Suppose -3*k = -q + 10. Suppose -k*b = -6 - 4. Solve b = 2*a - a for a.
2
Let o = 57 - 57. Solve o = 4*k - 8 - 8 for k.
4
Let p be (-4)/4*(-1 + -1). Suppose 0 = -0*c + c - p. Suppose -c*x + 0*x = -6. Solve x*r = -3 + 12 for r.
3
Let k be (-3)/(-3) + (10 - 3). Solve 5*h - k = -23 for h.
-3
Let r = -8 - -10. Suppose 0 = a - 0*a - r. Solve 3*b = -a*b for b.
0
Suppose m - 1 - 14 = 4*l, 3 = -m - 2*l. Suppose i - 3 - m = 0. Solve 4*n - 7*n + i = 0 for n.
2
Let v be ((-6)/18)/(2/6) - -4. Solve -p - v = -0 for p.
-3
Let h(y) = y**3 + y**2 - y + 4. Suppose -3*x = 2*x. Let q be h(x). Solve -3 = -q*l + 1 for l.
1
Suppose -2*r - 13 = 4*d - 107, -10 = -d - 5*r. Suppose y = -5*s + 23, 4*y = 3*s - 2*s + 8. Solve d = -s*b - b for b.
-5
Suppose 0 = s + s - 4. Suppose 2*m = -n + s - 4, 0 = n - m - 1. Let j(d) = d**3 + 4*d**2 + d + 5. Let v be j(-4). Solve -v = -n*o + o for o.
-1
Let o be 2/12 - 87/(-18). Suppose 14 = o*j + 4. Solve 0 = -j*c - c for c.
0
Suppose 3*k - 15 = -0*k. Suppose 5*r - k*m = 0, 5*r - 9 = -m + 3. Solve -2*b = -r + 4 for b.
-1
Let g(l) = -4*l - 5. Let b(y) = 7*y + 10. Let n(c) = -3*b(c) - 5*g(c). Let o be n(-9). Let t = 4 - 3. Solve q + o = -t for q.
-5
Suppose -5 = 5*r - 6*r. Suppose 0 = -0*b + r*b. Solve b = p - 0*p + 3 for p.
-3
Suppose 7*t = 4*t + 36. Solve 5*r - 13 = t 