
Let r = -132 - -134. Solve w + 3 = -r for w.
-5
Let p = -48 - -52. Solve -z + 0 = -p for z.
4
Suppose -14 = -4*g + 10. Suppose -5*l = -g*l + 2. Solve l*t = 6*t for t.
0
Let q(f) = -f - 2. Let j be q(6). Let o = -2 - j. Solve p + 3 = o for p.
3
Let w be ((-12)/(-15))/(4/(-10)). Suppose 0 = -y - 5 + 6. Let m be y + (-2 - 1 - w). Solve -4*j = -m*j for j.
0
Let q(l) be the second derivative of l**4/12 + l**3/3 - l**2 - 5*l. Let v be q(-3). Solve -4*z - v + 5 = 0 for z.
1
Let l = 3 - 1. Suppose 16 = -4*i, -i - 4*i = l*c - 12. Suppose 0*n + 4*n - c = 0. Solve -n*j + 0 = -16 for j.
4
Let s be (-33)/(-9) - (-8)/(-12). Suppose -5*w - 4*p = -31, s*p = 5*p - 8. Solve -w*q - q - 8 = 0 for q.
-2
Let r(h) = h - 2. Let v be r(3). Suppose 0 = 4*f + 8, -5*l - v - 2 = 4*f. Solve 3*g + l = -2 for g.
-1
Let j = 19 + -16. Solve j*m - m = -2 for m.
-1
Let s(g) = -2*g**3 + 13*g**2 - 4*g + 13. Let h(t) = -t**3 + 7*t**2 - 2*t + 7. Let d(u) = -7*h(u) + 4*s(u). Let m be d(2). Solve 0 = -5*b + 13 - m for b.
2
Suppose -11 + 11 = -20*g. Solve g = -3*b - 0*b for b.
0
Let i(t) = -2*t - 7. Let r be i(-6). Solve 0 = 4*f - r*f for f.
0
Suppose -2*n = 1 - 3. Suppose p = -4*c + 18, -2*c + 6*p - p = 2. Solve -c*u - 3 - n = 0 for u.
-1
Let o(b) = -b**2 - 2*b + 27. Let f be o(-6). Let i be 2 + (5/1 - -1). Solve 0 = -c - f + i for c.
5
Let s(d) = -d - 3. Let t be s(-7). Suppose 2*l - a - 12 = 0, t*l - 5*a - 3 = 27. Solve -3*c = 4 + l for c.
-3
Let a(v) = v + 9. Let u be a(-4). Suppose q = 10 - 1. Solve u*i - 34 = -q for i.
5
Let x(g) = 2*g - 1. Let w be x(2). Suppose -5*m + 43 = w*j - 4*m, -2*j - 2*m + 30 = 0. Let f(k) = -k**2 - 12*k + 3. Let z be f(-6). Solve 5*s + z = j for s.
-5
Suppose -2*i + 3 = 3*n, 4*i + 3*n = -n + 8. Solve 0 = i*r + 22 - 7 for r.
-5
Let i(d) = -2*d - 9. Let a be i(-7). Suppose -a*k + 25 = 5*n - k, -5*n = k - 40. Solve -2*w = w - n for w.
3
Suppose -2*y + 12 = y. Let q be 2/(3*y/54). Solve -3*v = -6*v + q for v.
3
Let k = -18 - -13. Let f(i) = -2*i - 4. Let v be f(k). Solve -3*t + 6 = -v for t.
4
Suppose -5 = -y - 2*q, -2*y + 2 + 8 = 2*q. Solve 3 = 2*o - y*o for o.
-1
Suppose 2*t - 23 = 17. Solve 4*m + t = -m for m.
-4
Let j be 513/45 + (-2)/5. Let x(m) = 15 + 11*m**2 - 4*m**3 + m**3 - m + 2*m**3. Let c be x(j). Solve v - 8 + c = 0 for v.
4
Let s(r) = -2*r - 3. Let y(c) = -c - 3. Let m be y(-9). Let z be s(m). Let i be (-63)/z - (-1)/(-5). Solve -d = -i*d + 12 for d.
4
Suppose -18 = -4*l + 5*h - 2*h, 2*h + 7 = l. Solve -2*f + l*f = 4 for f.
4
Let y be (-118)/10 - (-3)/(-15). Let j = -7 - y. Solve j*a + 14 = -1 for a.
-3
Let j(k) = -k**2 - 6*k - 2. Let u be j(-4). Suppose -v = -u*v - 10. Let z be 1/(6/(-3))*v. Solve -2*r + z = 3 for r.
-1
Let z(v) = v**2 - 4*v - 8. Let q be z(6). Let g(b) = -b**2 - b. Let a be g(0). Solve a = q*h - 0 + 4 for h.
-1
Let i = 43 - 41. Solve 8 = -i*s - 2 for s.
-5
Suppose 0 = -5*d + 5*n + 30, -d - 2*n - 30 = -6*d. Let w(c) = -c**2 - 10*c - 12. Let o = 1 + -9. Let k be w(o). Solve 2*y + k - d = 0 for y.
1
Let x(o) = -o + 6. Let t be x(6). Suppose 2*v - v = 0, 0 = 2*p + 3*v. Solve t = -n - p*n + 1 for n.
1
Let u(q) = q + 1. Let a be u(0). Let z be (a/1)/(4/8). Suppose y = -z*y + 18. Solve c + 2*c = y for c.
2
Let r(z) = -2*z - 2. Let d be r(-3). Let k = 2 - 3. Let a be 1 + 2/(-3 - k). Solve a*v - d*v = 16 for v.
-4
Suppose 3*t = 2*i - 3*i + 15, 3*i = 0. Suppose q + 11 = 2*j - 0*q, t*j = 4*q + 35. Solve -j*c + 5 = -4*c for c.
-5
Let y = -3 + 5. Suppose 4*f - 12 = 5*x, f - x - 9 = -y*f. Solve 5*d = -f + 13 for d.
2
Suppose 0 = 5*m + 3*o - 91, 3*o = -19 + 10. Solve 0 = -4*d - d - m for d.
-4
Let d = 4 + -3. Let t(y) = -2 + 0 - 2*y + y**3 + 2*y**2 + d. Let w be t(-2). Solve -6*g = -3*g + w for g.
-1
Suppose -5*m = -m. Let j = 0 + m. Suppose 2*v + 15 = 7*v. Solve j = v*t + t + 8 for t.
-2
Let t(k) = 9*k + 1. Let r be t(1). Suppose 3*l + 2*l = -r. Let y(j) = j**2 - j - 2. Let q be y(l). Solve 2*w + 2*w = q for w.
1
Let r be 6/(-3) - -3 - -2. Solve h = r*h for h.
0
Let d be (-3)/9 + 78/18. Suppose -z + 2*t - 8 + 20 = 0, -5*z - 4*t - 10 = 0. Solve z*c - 4 = d*c for c.
-2
Suppose -3*b - 12 = 2*b - s, -b - 2*s = -2. Let g = 6 + b. Solve 0 = g*h + h for h.
0
Let x(q) = 2*q**2 - 2*q. Let c be x(2). Let b be 30/c*28/21. Solve 0*r - b = 5*r for r.
-2
Let z(i) = 3*i**2 + 13*i + 8. Let r(g) = 4*g**2 + 14*g + 7. Let p(d) = 2*r(d) - 3*z(d). Let n = -3 - 7. Let t be p(n). Solve t = 3*s + 2 + 4 for s.
-2
Let x(g) = -g**3 - 7*g**2 + 7. Let i be x(-7). Suppose 0 = -5*m + 4*a + 28, 3*m - 7*a - 22 = -2*a. Solve 23 = m*n + i for n.
4
Suppose 13 = -3*n + 37. Suppose 2 + n = 2*x. Solve -15 = x*t - 5 for t.
-2
Let m(w) be the second derivative of w**4/12 - w**2 + w. Let l(r) = -r**3 + 9*r**2 - 9*r + 10. Let y be l(8). Let o be m(y). Solve 0 = -a - o*a for a.
0
Suppose -4*x + 4*a = -6*x + 22, -22 = -5*x + a. Solve x*m - 2*m = 3 for m.
1
Suppose 4*i + 18 = 2*l, -5*i = -3*l + 25 - 4. Let j = 6 + i. Suppose -2*p - 3*p + 25 = j. Solve -9 = p*z + 6 for z.
-3
Suppose -3*i + 47 = 2. Let v be (-2)/9 - 1808/(-36). Let c be (6/2)/(i/v). Solve -5*q + 0*q - c = 0 for q.
-2
Suppose 0 = 5*h - 21 + 6. Solve -g - 8 = h*g for g.
-2
Let z = 32 + -23. Suppose -4*g + h = 3, 3*h = -0*g + g + z. Suppose u + g*w + 5*w + 7 = 0, 0 = -4*w - 8. Solve u = 4*f - 1 for f.
1
Suppose -3 + 7 = -2*f. Let o = f + 4. Solve 0 = o*i + 1 + 1 for i.
-1
Suppose 0 = -5*i - 10, 8 = -3*u - 3*i - i. Let m(x) = -x + 4 + 2 + 1. Let h be m(5). Solve -2*d - h*d - 12 = u for d.
-3
Let i be (-21)/3*4/(-7). Solve s - i*s + 15 = 0 for s.
5
Let t(b) be the third derivative of b**5/30 - b**3/3 + 5*b**2. Let c be t(2). Solve -c*z + 15 = -z for z.
3
Let o(v) = -v**2 - 7*v. Suppose 4*t - 2*t = -14. Let z be o(t). Suppose 0 = j - z*j. Solve b + j = 4 for b.
4
Let u(f) = f**3 + 6*f**2 + 6*f + 9. Let j be u(-5). Solve j*r + 11 + 5 = 0 for r.
-4
Let b = 1 + 4. Suppose b*l = 10*l - 10. Solve 5*z = -3 - l for z.
-1
Let o(a) = a - 7. Suppose 16 = 3*n - 14. Let l be o(n). Solve 0 = -l*r + r - 4 for r.
-2
Let z(d) = d**2 + 7*d + 13. Let t be z(-5). Solve -p - t*p - 8 = 0 for p.
-2
Suppose d - 5 = 4*m, -m - 3*m - 33 = 3*d. Let c = -12 - d. Let z(i) = i**3 + 6*i**2 + 4*i. Let q be z(c). Solve -5 - 5 = -q*w for w.
2
Suppose -3 = -4*i + 5. Suppose 0 = -0*p + i*p. Solve 0*w + w = p for w.
0
Let y be 4/4*-2*-2. Solve 3 = -y*h - 5 for h.
-2
Let g = 12 + -9. Suppose -5*i = 5*u, -u + 6 = 2*u - g*i. Solve -c - 2 - u = 0 for c.
-3
Let o(h) = h. Let k be o(2). Suppose 0 = 4*z - k*v - 12, -2*v = v - 12. Suppose 1 = -4*m + 13. Solve m*i = 2*i - z for i.
-5
Suppose -z - 1 = -11. Let s be 52/z - 4/20. Solve s*m + 1 + 19 = 0 for m.
-4
Let g = 15 - 8. Let x be (-2)/g + 46/14. Solve 4 = -f - x*f for f.
-1
Suppose 4*g - 80 = -0*g. Suppose 3*n - 12 = -2*p, -2*p + 3*n + 2*n = g. Suppose -19 = -5*i + 1. Solve p*a + 12 = i*a for a.
3
Let d = -30 - -33. Suppose -3*c + 0*c + 60 = 0. Solve -d*a = 2*a - c for a.
4
Let i be (0 + 2)*2*1. Suppose k + s - 3 = 3*k, -k + 3 = s. Solve b = -k*b + i for b.
4
Let y be 11/3 - 8/(-24). Let w(t) = -t**3 + 4*t**2 + t - 2. Let d be w(y). Solve -2*h - 2 = d for h.
-2
Let j = 6 + -2. Suppose 0*l = j*l - 24. Let g = l + -4. Solve 9 = z + g*z for z.
3
Suppose t - 2 = -0*t + q, 0 = 3*t - q - 14. Solve -3*r = -9 - t for r.
5
Let f(o) = -o. Let k(r) = 2*r + 1. Let z(w) = -7*f(w) - 3*k(w). Let h be z(7). Let x(d) = -2*d + 3. Let y be x(-3). Solve b + y = h*b for b.
3
Let w(g) = g**2 + 4*g - 3. Let h be w(-7). Suppose -a + h = 2*a. Suppose -3*j = -i, a = 3*j + i - 0*i. Solve -m + j = 5 for m.
-4
Suppose 2*l + 3*k = 18 + 11, -18 = l - 5*k. Solve 0 = -4*y + l*y - 6 for y.
2
Let k = -11 - -17. Let y = 0 + k. Solve 0*x = -2*x - y for x.
-3
Let q = -53 + 62. Solve -10 + q = a for a.
-1
Let f(l) = -l. Let z be f(-2). Let t be 0/2*(1 - 2). Suppose z*o + 2*o - 12 = t. Solve o*d = 2*d - 5 for d.
-5
Let k(n) = -2*n - 5. Let p be k(-4). Suppose w - 10 = -5*x - p, 5*w = 4*x - 23. Solve x = -a + 6 for a.
4
Suppose 3*n = -2*n + 35. Suppose 5*s - 4*f + 9*f = 30, -5*s + 26 = f. Solve 0 = s*j - 2 + n for j.
-1
Suppose -3*z + 3*m = -27, 0 = 4*z + z - 4*m - 44. Suppose -s = 3*i - 10, -s + z = i + 4*s. Solve -y - i*y - 4 = 0 for y.
-1
Let f(y) = -y**2 + 3*y + 6. Let o be f(5). Let i = o - -7. Suppose 5*p - 7 = i. Solve -p*a = a for a.
0
Let h 