 + 3*p + 14. Let h = j - k. Solve -4*i + 9 = -h for i.
5
Let a = -91 - -98. Solve 2*d = a*d - 20 for d.
4
Let b(x) = -3*x + 69. Let z be b(23). Solve 4*g = -z*g + 16 for g.
4
Let u be 72/42 - 2*3/(-21). Solve -u*i = -5*i - 9 for i.
-3
Suppose 0 = n - 5*f - 11 + 1, -10 = 5*n + 5*f. Suppose -48 = -4*h - 4*p, -6*h + 5*h + p + 6 = n. Solve h = j + 2*j for j.
3
Suppose 5*v - 10*v + 70 = 0. Solve -11*w = -v*w for w.
0
Let a(y) = -y**3 + 5*y**2 - 6*y + 4. Let r be a(3). Solve 0*c = r*c - 16 for c.
4
Suppose -5*t - 9 = n - 0*n, -5*n - 21 = t. Let h be t*2*(-3)/3. Solve 3 = h*l + 1 for l.
1
Suppose 2*j = -3*j + 30. Suppose -j = -4*v + v. Solve q + v = 4 for q.
2
Let p(x) = x**3 + 10*x**2 - x - 14. Let r be p(-10). Let s be -3*(r/3)/4. Let o be 0 - s - (-6 - -5). Solve -3*w + 9 - 3 = o for w.
2
Suppose -12*v + 13*v - 3 = 0. Solve -2*s = v*s for s.
0
Let q be 4/(((-2)/1)/(-1)). Solve q*g - 6*g + 8 = 0 for g.
2
Let r be 18/(-81) + 724/18. Suppose -r = -5*a + 5*o, 3*a + 5*o = 4*a - 24. Solve -9 = -a*f + 7 for f.
4
Suppose -5*l + 80 = -2*x + 4*x, l + 3*x = 16. Solve 0 = 5*g - l + 1 for g.
3
Suppose 0 = 4*d - 4 - 16. Let w be 3 - 1 - (d + -3). Let l be 2/((-39)/15 - -3). Solve 4*i - l*i = w for i.
0
Suppose -q = -5*q. Suppose 4*l - 4*w = -q*w + 28, -5*w - 29 = -2*l. Solve 0 = 3*z + l*z + 5 for z.
-1
Suppose 0 = m - 2, a - m = 4*a - 17. Solve 4*k - a = -k for k.
1
Let q(v) = -7*v + 7. Suppose 4*w - 24 + 4 = 0. Let o be q(w). Let h be (-132)/o - 2/(-7). Solve 2*p = h*p + 6 for p.
-2
Suppose 4*k + 0*k - 20 = 0. Let o(n) = -n**2 + 0*n + 4*n + k + 0*n**2. Let y be o(5). Solve -2*f + 12 - 4 = y for f.
4
Let d = -55 - -56. Solve d = 2*y - 3 for y.
2
Suppose 1 + 3 = 2*g. Suppose -g*j - 2*j = -4. Solve -5*n = j + 14 for n.
-3
Let d = -98 + 104. Solve -d*i - 15 = -9*i for i.
5
Let z(q) = q - 4. Let l be z(6). Let f be 3*4/6*1. Solve -l*p = -0 - f for p.
1
Suppose 1 = t, 2*t = 5*o + 2 - 0. Solve 4*v + v = o for v.
0
Let f(y) = y**3 + 3*y**2 - 5*y. Let i be f(-4). Suppose 2*n + 3*g = -g + 18, -i*n + 29 = g. Suppose -7*d + 10 = -5*d. Solve 4*h + d = -n for h.
-3
Suppose 0 = p - 0 - 3. Suppose -3*x - 3*q = 0, -p*x + 3*q = -q. Solve 0*g - g - 4 = x for g.
-4
Let q be 16/6 + 12/(-18). Suppose -3*t - 4*y = y - 31, -5*t + 2*y = 0. Solve 0 = 4*x + q + t for x.
-1
Let l = 3 + -5. Let j = l + 7. Solve j*n - n = -12 for n.
-3
Let n(o) = -3*o + 2*o - 3 - o**2 - 5*o. Let j be n(-5). Suppose q + 2*r + 1 = 16, -j*r = 3*q - 25. Solve -3 = -2*a - q for a.
-1
Let d be (-12)/42 + (-32)/(-14). Suppose 4*l - 3*v = -6, 4*v = -2*l + d*v + 4. Solve 0*r + 4*r - 12 = l for r.
3
Let p(o) = -2*o**2 - 25*o - 8. Let v be p(-12). Solve 1 = 5*w - v*w for w.
1
Suppose -27 = -2*a + 3. Let x be a/7 - 7/49. Solve -8 = -3*c - x for c.
2
Suppose -8 = -2*n - 0*a + a, 2*a - 2 = -5*n. Let f = -9 - -9. Let r(l) = l**3 - 6*l**2 + l - 4. Let m be r(6). Solve f = -n*p - m*p for p.
0
Suppose -68*d = -67*d - 4. Solve d*y + 4 = -4 for y.
-2
Let k(j) = -j**3 - 4*j**2 - 6*j - 7. Let o be k(-3). Let v be 2 - (0 + 0 + -1). Suppose -3*n + 51 = 3*u, 5*n - 49 = v*n - 5*u. Solve 0 = -o*z - 2*z + n for z.
3
Let s = 2 + -3. Suppose -4*i + 2*z + 32 - 10 = 0, 2*i + 5*z = -19. Let m = i + s. Solve -10 + 0 = m*k for k.
-5
Suppose 1 = 3*t - 20. Solve -3 + t = -2*v for v.
-2
Suppose -4*x + 4 + 8 = 0. Solve x*r - 4*r - 5 = 0 for r.
-5
Suppose -2*b - 3*b - 30 = 0. Let d be (b/(-6))/(1 + 0). Let w be 4 - (4/2)/d. Solve 11 = -w*h + 1 for h.
-5
Let x(d) = d. Let o be x(-4). Let a be 4/14 + o/14. Suppose 3*f = -q + 4, -5*q = -a*f - f + 12. Solve -f*w + 7 = 3 for w.
2
Let d be (-62)/8 - 3/12. Let l(j) = j**2 + 6*j - 11. Let s be l(d). Solve -19 + 4 = -s*h for h.
3
Let g = -14 - -16. Suppose 15 = -4*t - g*q - 3*q, -9 = -4*t + 3*q. Solve m + m + 10 = t for m.
-5
Suppose 0 = -18*n + 14*n + 12. Solve h = -n*h + 8 for h.
2
Suppose 0*c = -c + 2. Solve -c*p + 10 = -0*p for p.
5
Suppose -23 = -4*y + 17. Suppose 5 + 3 = 4*p. Let n(q) = -q**3 + 8*q**2 - 6*q - 5. Let j be n(7). Solve -y + p = -j*v for v.
4
Let m(r) = -4*r + 22. Let y be m(5). Solve y*k = -6 - 4 for k.
-5
Let k(h) = 3*h**2 + h. Suppose 4*n - o = -4*o, 0 = -3*n + o. Suppose -2 + n = -2*b. Let r be k(b). Solve r*y = 9 - 29 for y.
-5
Let b = 21 - 19. Solve -4 - b = 2*u for u.
-3
Let d(k) = k**2 - 7*k - 4. Let a be d(7). Let r be a/22 + (-229)/11. Let x be (-48)/r - (-4)/(-14). Solve 5*y = x*y - 12 for y.
-4
Suppose -27 = -3*o - 0*o. Let b be (3/o)/((-1)/(-15)). Let t = -7 + 18. Solve -t = 4*a + b for a.
-4
Let d(p) = -7 + 0 + 3*p + 3. Let j be d(3). Suppose x + 2*u = 0, -4*u = -j + 13. Solve -2 = x*b - 6 for b.
1
Let i(f) = -f**2 - 4*f - 3. Let s be i(-3). Suppose y = -a - 4*a + 20, 2*y + 4*a - 16 = s. Let o = -133 + 134. Solve -z + o + 0 = y for z.
1
Let a(u) = 2*u - 5. Let w be a(4). Let o = 17 + -12. Suppose 2*h - 2 = -3*q + 4, 2*h = -5*q + 10. Solve h = 4*k - o - w for k.
2
Let o be (-3 - -5) + (3 - (-2 + 2)). Solve 12 = o*k - 9*k for k.
-3
Let b be (-3)/(-6)*-6 - 3/(-1). Solve b*k + 2*k + 2 = 0 for k.
-1
Let r(x) be the third derivative of x**4/12 + x**3/3 + 2*x**2. Let p be r(6). Let h be (-4)/p - (-48)/21. Solve 0 = h*d - 7*d - 20 for d.
-4
Suppose -12*w + 13*w = 3. Suppose -2*f = -s - 3, s = -s + f + w. Solve -2*h - 3 = -s*h for h.
3
Let m(j) = -j**2 - j + 5. Let i be m(0). Suppose 0 = 2*c + h - 6, -5*h - 2 = -i*c + 28. Solve 0*d = -c*d for d.
0
Let a = -28 - -37. Solve -a = -0*z - 3*z for z.
3
Suppose 3*d + 2*t = 75, 0 = -3*d + 3*t - 2*t + 84. Solve -5*g - d = -12 for g.
-3
Let j be (-2)/((-2)/(-20)*4). Let v be j*(1 - 21/15). Suppose 0 = -n - v + 5. Solve -p = n*p for p.
0
Let g be -3*(-2 + 4/3). Suppose -5*b - 4 = 2*s - 37, 5*s - g*b - 39 = 0. Let m(n) = 3*n - 12. Let x be m(s). Solve 0*v + 3*v = x for v.
5
Let q = 11 - 8. Let r = 7 - q. Let v = r - 2. Solve v*a = 3 - 5 for a.
-1
Let c(m) = -4*m - 13. Let w be c(-7). Let g be 0 + 0 + 0 + 2. Solve g*j + w = -j for j.
-5
Suppose 4*n + 1 = 17. Let b = -4 + n. Solve b = -7*q + 3*q + 4 for q.
1
Let f(c) = -c + 4. Let h be f(8). Let r be h/(-18) + (-50)/(-18). Suppose -u - 2 = o, -r*o + 0*u = u + 2. Solve o = -m - 2*m for m.
0
Suppose 3*o - 4*c - 2 = 0, -4*o + 3*c - 24 = -6*o. Solve -2*d = -o*d + 16 for d.
4
Suppose -2*o = 2*o - 3*f + 1, -2*o + 2*f - 2 = 0. Suppose -4*x + o = m, m = x + 5*m - 8. Suppose c - 2*c + 9 = 0. Solve 3*d + c = -x*d for d.
-3
Suppose -4*y + 5*y + 10 = -5*j, -2*y - j = -7. Suppose 0*x + 5*i = -y*x + 50, 0 = -5*x - 4*i + 45. Suppose 0 = -2*w - 4 + 28. Solve 13 + w = x*m for m.
5
Let o = 3 + 1. Suppose -4*z = 2*t + 12, -o*t + 4 + 8 = -4*z. Solve t = -5*q - 0 - 5 for q.
-1
Let o(w) = -w - 1. Let c be o(-5). Suppose -2*q - 2*t = 14, -2*q - 2 = 3*t - c*t. Let u be -1 - q - (1 + -2). Solve u*r - 6 = -0 for r.
2
Let b(z) = -z - 5. Let g be b(-9). Solve -g*i = -5*i for i.
0
Let y = -12 - -24. Suppose 4*z - 4*b + y = 0, 4*z - 2 = 5*b - 17. Solve -3*j + z*j - 12 = 0 for j.
-4
Suppose -4*h - 5*d + 17 + 46 = 0, 5*h = 4*d + 48. Solve 3*j - h + 3 = 0 for j.
3
Let i(y) = y + 7. Let h be i(-5). Let u = 0 - h. Let x be (-1)/(u + (-6)/(-4)). Solve -x*k + 3 = -5 for k.
4
Let q(d) = 13*d**3 - d + 1. Let o be q(1). Solve -3 + o = 2*a for a.
5
Let m = -13 + 18. Solve -a + m - 2 = 0 for a.
3
Let n be (-1)/((-114)/18 + 6). Solve -n + 23 = -5*h for h.
-4
Let g(q) = -q - 4. Let t be g(-5). Let n = t + 2. Solve -n = -a - 4 for a.
-1
Let w(n) = n**2 + 5*n - 9. Let s be w(-7). Let h(b) = -4*b + 1. Let v be h(-1). Suppose 0 = -5*g - 0*g + v*a, 2*g = -s*a + 35. Solve 0 = -4*o - 7 - g for o.
-3
Suppose -4*i = 2*h + 10, -h + 2*i = -0 - 11. Solve h*q - 20 = -5 for q.
5
Suppose 2*d - 2*u - 8 = -3*u, 14 = d - 2*u. Solve 4 = 2*i - d for i.
5
Let w(k) = 5*k. Let u be w(-2). Let i(s) = -s**2 - 12*s - 15. Let x be i(u). Solve -3 = -x*n + 2*n for n.
1
Let m be (28/(-21))/(1*(-12)/45). Suppose -2*h = r + 3, -12 = -6*h + 4*h + 4*r. Solve h = -2*w + 7*w + m for w.
-1
Let n(f) = f**2 - f + 1. Let v be n(0). Suppose a + 2*w = 8 - v, 37 = 4*a - w. Suppose -3*s + 21 = -a. Solve m + m + s = 0 for m.
-5
Suppose -2*w - 7 = -3*m, -7*m + 3*m + 7 = -5*w. Solve -12 = m*a - 6*a for a.
4
Let u(b) = 4*b + 10. Let i be u(-1). Let w = -24 - -34. Solve -4*f - w = i for f.
-4
Suppose -2*b - 3*b = 0, 3*n + 4*b = 3. Let m be -1 + (-3)/9*-3. Let d = m - -1. Solve -d 