 + 12. Let s = -7 - -1. Let u be n(s). Solve u = q - 4 for q.
4
Let q(p) = -p**3 + 25*p**2 + 24*p + 58. Let w be q(26). Suppose -20 = -7*v - w. Solve 0 = -7*h + v*h for h.
0
Suppose 30 = d + 19. Solve -d*t + 2 = -9 for t.
1
Let d be (-5)/(-20) - 38/(-8). Suppose -6*b + d*b + 3 = 0. Suppose -5*p = -25, -2*x + 12 = -3*x + b*p. Solve s + x - 4 = 0 for s.
1
Suppose 3*p = 0, b - 4*p - 22 + 16 = 0. Solve -b*l = -3*l - 9 for l.
3
Let a be 5*3 - 224/(-28). Solve 4*q + 81 = -a*q for q.
-3
Let c(y) = -8*y**3 + 6*y - 13 + 6*y**2 + 3*y + 7*y**3. Let u be c(7). Suppose -2*o + 3 = u. Solve o = 2*g - g for g.
1
Let a = -19 - -24. Suppose 3*u + 22 - 2 = 5*b, -2*u - 5 = a*b. Solve -w = -b - 0 for w.
1
Let l be 299/5 + 3/15. Suppose -4*h - l = -0*h. Let t = 16 + h. Solve i + 0 = t for i.
1
Suppose 64 = -2*d + 3*l, -4*d + l - 128 = -3*l. Let q = 38 + d. Solve n - 3*n - q = 0 for n.
-3
Let w(f) = -3*f - 1. Let z be w(-1). Let a be (8/2)/(-8)*-6. Suppose 39 = a*x + 15. Solve 0 = z*t - x - 2 for t.
5
Let b(k) = 10*k + 3. Let c be b(0). Let d(u) = -8*u**2 + 2 + 2 + u**3 - 2*u**3. Let o be d(-8). Solve -c = -s - o for s.
-1
Suppose -3*t = 3*z + 2*z + 24, 4*t = 4*z. Let d be 2*z/6 - -8. Suppose d*c = 5*c + 2. Solve -o - c = -2 for o.
1
Let d = -49 - -17. Let s = -30 - d. Solve -h - 1 = -s*h for h.
1
Let v(m) = m + 10. Suppose 4 = -5*t - 2*u + 2, 0 = -t - 3*u - 3. Let n be v(t). Let x be (n/(-4))/((-5)/20). Solve 0 + x = -2*y for y.
-5
Let j(v) = v + 16. Let i be j(-5). Suppose 3*b = i + 1. Solve 16 = -4*d + b for d.
-3
Let c(g) = g**2 + 11*g - 35. Let o be c(3). Solve -o*b + 12*b - 5 = 0 for b.
1
Suppose 0 = -4*o - 2*q + 16, q = 2*o + 5*q + 4. Let p(a) = -a**3 + a + 2. Let t be p(0). Solve 0 = o*b - t*b for b.
0
Suppose -w + 3*a = 6, 2*a - 20 = -3*a. Solve w = -7*q - 1 for q.
-1
Let h = -871 - -930. Solve -h*n = -55*n for n.
0
Let o be 0/(((-22)/66)/(1/(-12))). Suppose 5*h + u + 1 - 6 = 0, 2*u = -5*h. Solve o*c - h*c = 0 for c.
0
Suppose 0 = -5*r + 4*g + 16, -3*g + 2 = 3*r - 13. Suppose r*f + 3*z = 23, 2*f - z - 15 = -6*z. Solve -2*b = -f*b + 3 for b.
1
Let s be ((-2)/6)/(6/144*-2). Let p(h) = -h + 6*h - 8 - 10. Let f be p(s). Solve f - 6 = 2*t for t.
-2
Let r = -18 + 27. Suppose -3*p = 3*s - r, 0 = -4*s - 5*p + 9*p + 12. Solve -s*i + 1 = -5 for i.
2
Suppose -2*j = j. Let z be 45/(-6)*(-4)/6. Suppose -z*w = -0*w - 20. Solve j*r + w = r for r.
4
Let y(o) = -2*o**2 + 5*o + 5. Let d be y(3). Let t be d*(-1 - -1 - -1). Solve -6 = t*v + v for v.
-2
Let d(r) = -r**3 - 4*r**2 + 15*r + 63. Let q be d(-5). Solve -13 + 26 = q*u for u.
1
Let t(k) be the third derivative of k**5/60 - k**4/8 + k**3 - k**2. Let q be t(2). Solve 0 = q*i - 0*i for i.
0
Suppose 6*q + 4*l - 52 = 4*q, 0 = -3*q - 5*l + 74. Solve q = 3*z + 6 for z.
4
Let i(p) = p**3 + 4*p**2 - p + 3. Let h be i(-3). Let s be 4/(-12) - (-39)/18*2. Solve -k - s*k + h = 0 for k.
3
Suppose -11*z + 17 + 16 = 0. Solve -b = -6 + z for b.
3
Let v(z) = -z**3 + 7*z**2 - 2*z + 3. Let k be v(6). Suppose -5*u + 4*f + k = 4, -5*u - 5*f + 5 = 0. Solve -u*r - 3 + 0 = 0 for r.
-1
Suppose 5*q = -4*u - 13, -4*u - 4 + 1 = -5*q. Let b be (u - 0) + 5 + 1. Suppose 3*h = -3*f + 54, b*h - 2*f - 70 = -5*f. Solve h = 5*l - l for l.
4
Suppose -13*m = -144 - 129. Solve -12*x = -m*x + 10*x for x.
0
Let r(k) = k + 5. Let n be r(-4). Let s be n/(-1) + 14/2. Suppose -10*q - 44 = -21*q. Solve 2*m - s = q*m for m.
-3
Let l(a) = -a**3 + a**2 - 3*a - 3. Let y be l(-2). Suppose 6 = -b + y. Suppose 0 = 5*j - b*j. Solve u + 0*u + 2 = j for u.
-2
Let d = -226 + 238. Solve 8*t - d*t = 0 for t.
0
Let n(s) = 3*s + 5. Let t(c) = 15*c + 24. Let z(q) = -21*n(q) + 4*t(q). Suppose 1 + 19 = -5*x. Let d be z(x). Solve a + 12 = -d*a for a.
-3
Suppose -49 - 26 = -5*m + 5*d, 10 = m + 4*d. Solve 0 = m*c - 8*c - 12 for c.
2
Suppose -2*o = 2*x - 70, 5*o - 41 = -4*x + 104. Solve 8*m + x = 2*m for m.
-5
Suppose o = 4*h - 43, 2*h - 16 = 3*o + 3. Let d(s) = -s**3 - 10*s**2 - 9*s + 25. Let z be d(-9). Suppose -j + z = 21. Solve j*c + h + 9 = 0 for c.
-5
Let u = -55 + 76. Suppose 4*g + u - 29 = 0. Solve 0 = -g*q + 2 - 10 for q.
-4
Let g be 12/(-9)*(-9)/6. Solve g*y + 2*y - 4 = 0 for y.
1
Let n = -271 - -282. Solve n = -3*u + 20 for u.
3
Let a(q) = q**2 - 3*q + 3. Let t be a(2). Let b = -77 - -81. Suppose 2*m + v - 13 = b*v, -11 = -2*m + v. Solve m*l + 14 = -t for l.
-3
Let a be (-4)/(-18) - (-208)/36. Suppose -l + 0*l + a = 0. Suppose -l*o = -4*o. Solve 2*n + 0*n = o for n.
0
Let m = 115 - 7. Let c be m/14 - 10/(-35). Solve 0 = 4*u + c for u.
-2
Let j be ((-10)/15)/((-1)/3). Let u be (-2 - -2) + 0/(-5). Solve p + j*p = u for p.
0
Let d(v) = -18*v. Let a be d(-1). Let k = 13 + -7. Suppose q - k*q = -5*x + 45, -2*x - 5*q - 10 = 0. Solve -x*m + 2 = -a for m.
4
Let i(x) = -2*x**2 + 55*x - 74. Let b be i(26). Solve -b*z - 3 + 11 = 0 for z.
2
Let v = -5 - -8. Suppose a = a + v*a. Solve a = 4*c + 8 for c.
-2
Let g be 96/54 + 2/9. Let q be 200/48 + (-2)/12. Let x(u) = u - 3. Let a be x(q). Solve -g - a = -f for f.
3
Suppose 2*d - 4 = -5*z, 0 = 5*d + 3*z - 4 - 6. Let n be 3 + 0/(3 + -6) - d. Solve 4 + n = -t for t.
-5
Let g(m) = -m**3 - 8*m**2 - m - 2. Let z = -10 - -2. Let i be g(z). Solve i*b = 2*b for b.
0
Let t(w) = w**3 + 6*w**2 + 7*w + 2. Let b be t(-5). Let m = b + 18. Suppose 3*u - 14 = m. Solve -4*p - u = -0 for p.
-2
Let o be 3*(1 + -3 + 7). Solve -o = 2*x + 3*x for x.
-3
Let z = -15 - -17. Let y be (2 + 2)*z/4. Solve 0 = n + y*n for n.
0
Let f(w) = -w**2 - 24*w + 35. Let h be f(-25). Suppose 2*k + 3*s + 2 = 0, -3*k - 2*s - 3 + 5 = 0. Solve 0*p + h = -k*p for p.
-5
Let w be (-9)/(-2) + 5/10. Let t be (-2676)/60 - 2/(-10)*-2. Let l = -27 - t. Solve w*i - l = -3 for i.
3
Let u(p) = p**3 + 2*p**2 + 1. Let g be u(-2). Let l(o) = o**3 + 6*o**2 + 9*o + 6. Let d be l(-4). Solve d*i = -g - 7 for i.
-4
Let f be (-6)/36*-6*(-1 - -2). Solve -6 = -g - f for g.
5
Let s be ((-27)/(-18))/((-2)/20). Let g be 297/s + (-1)/5. Let i = g + 23. Solve -3 = -i*m + 2*m for m.
3
Let s(w) = -37*w + 80. Let c be s(2). Solve g - 1 = -c for g.
-5
Suppose 2*i + 0*i - 32 = -3*l, 3*l = 2*i + 28. Let p = 128 + -138. Let n = l + p. Solve n*x - 20 = 4*x for x.
-5
Suppose 36*f - 32*f + 32 = 0. Let g be (-84)/f*(-2)/(-3). Solve g - 1 = -3*a for a.
-2
Suppose 13*x = 128 - 24. Suppose 4*r - 4 - x = 0. Solve -k - r*k - 4 = 0 for k.
-1
Let i(k) = -4*k**2 - 14*k - 2. Let v be i(-3). Solve v*g - 6 = 10*g for g.
-1
Let d = 16 - 14. Suppose d*p - 11 + 1 = -m, p - 4*m = -4. Suppose -3*l - 19 = -p*l. Solve -7 = 3*f - l for f.
4
Let v(h) = -18*h + 297. Let n be v(16). Solve -2 = n*o + 16 for o.
-2
Let h be (-8 - -4) + (36 - 5) + -5. Solve -8 - h = -6*k for k.
5
Let o(d) = d + 9. Let g be o(-5). Solve -37 = -g*p - 57 for p.
-5
Suppose 9 = 3*j - 18. Let g = j + -17. Let u = g + 14. Solve -3*r + u = -0*r for r.
2
Let z = -1 + 1. Suppose z = 4*i + 5*b - 55, i - 45 = 4*b + b. Suppose -o = o - i. Solve -p = 4*p + o for p.
-2
Let r = -3247 - -3250. Let k(q) = 2*q - 8. Let z be k(7). Solve -6*j + r*j = z for j.
-2
Let u = -2 - -1. Let y(k) = 2*k - 1. Let s be y(1). Let r = s + u. Solve r = 4*w + w + 10 for w.
-2
Let s be 51 + -58 + (-14)/(-2). Solve -12*r + 28 + 32 = s for r.
5
Let j = 15 - 43. Let g = j + 30. Solve -7*w + g*w + 15 = 0 for w.
3
Let n = 14 + -16. Let h be n/(-8) - (-6)/(-24). Suppose u + 0*u - 2*g + 2 = h, -3*u + g = -4. Solve -15 = -u*b - b for b.
5
Suppose 26 = 3*d - 1. Solve -d - 6 = 5*w for w.
-3
Let f = 137 - 130. Solve 8*h = f*h + 3 for h.
3
Let p(f) be the third derivative of 5/12*f**4 + 1/60*f**5 + 0*f + 5/2*f**3 - f**2 + 0. Let u be p(-10). Solve -3*q - 2*q + u = 0 for q.
3
Suppose -8*x + 4*x = -4. Let h be 1 - (x + 0 + 0). Solve h - 4 = -f for f.
4
Suppose -2 + 10 = -4*c. Let g(z) = 22*z - 136. Let a be g(6). Let m = c - a. Solve -4 + 12 = m*w for w.
4
Suppose -50 = -12*i + 418. Suppose 6*p + 9 - i = 0. Solve 6 + 14 = p*w for w.
4
Let u(p) = -2*p + 0 + 36 - 8. Let m be u(13). Solve d - 5 = -m for d.
3
Let j be 6/21 - (-32476)/161. Solve 0 = -3*t + j - 190 for t.
4
Suppose 6*o - 26 = 64. Let b = -13 + 27. Suppose s + s = 3*u - b, -2 = u + s. Solve -c = u*c + o for c.
-5
Suppose -2*g + 12 = -6*g. Let q = 3 + g. Suppose -4*l + 3*l - 1 = 5*i, 0 = i + l + 1. Solve i*z - 3*z - 6 = q for z.
-2
Let z be (3/2)/(51/1