
-2
Suppose -2*x + 0 + 2 = 0. Let c(f) = f + 1. Let v be c(x). Suppose v*r - 38 = 2*t, r + t + 0*t = 21. Solve r = -k + 6*k for k.
4
Suppose 4*o - 2*l + 0*l = 22, 0 = -5*o - 2*l + 23. Solve 12*w - o*w - 21 = 0 for w.
3
Suppose -5*v + 8 = 5*y - 2, -4*y = v + 4. Suppose 2*w = v, -11 + 3 = 2*n - 5*w. Solve n = -c - 0 for c.
-1
Let p be (-57)/(-5) - (-4)/(-10). Solve 0 = -3*d + p*d + 16 for d.
-2
Let z(d) be the third derivative of d**4/12 + 11*d**3/3 - 11*d**2. Let p be z(-10). Solve -2*q = p*q for q.
0
Let j = -22 + 27. Suppose 3*p = -5*o + 113 - 43, p - 30 = -j*o. Solve 4*y + y = p for y.
4
Let b be -10 - -1*(2 - -11). Solve -3*h - h = -b*h for h.
0
Let f be 4*46/(-4)*10/(-20). Let v = f + -11. Solve -v + 4 = -2*w for w.
4
Let i = -21 + 38. Let k = i - 14. Solve k*g + 20 = -2*g for g.
-4
Let z(b) = 4*b + 16. Let w be z(5). Suppose 3*o + 0*r = 2*r + w, r = 2*o - 23. Solve -3*c - 4 = -o for c.
2
Let m(n) = -n**2 - 3*n + 3. Let f = -9 + 6. Let i be m(f). Solve -2*r = i*r + 5 for r.
-1
Let a(b) = -b - 2. Let h(q) = -1. Let d(p) = 2*a(p) - 3*h(p). Let g be d(-8). Solve 2*i + i = g for i.
5
Let d(l) = -l**2 - 66*l - 925. Let a be d(-45). Solve 0 = -27*m + 31*m - a for m.
5
Suppose -4*f + 6*f = 10. Let j = 2 - -8. Let a = j - f. Solve -2*k = -1 + a for k.
-2
Suppose -7*f + 360 = 11*f. Solve 8*u + f = 60 for u.
5
Suppose -56 = -u - 50. Suppose -u*x + 3*x = -12. Solve 11 = x*p - 9 for p.
5
Let u be (-6)/2 - (-5 - 1). Suppose 3*v + v = -4, n = -u*v. Solve 0*j = n*j for j.
0
Suppose -5*l + 15 = 5*i, -3*l + 5*i + 8 + 1 = 0. Solve 4*m = l*m - 2 for m.
-2
Let k = 41 + -39. Let d(c) = -c**2 - 2. Let j(t) = -3*t**2 - t - 6. Let n(y) = -7*d(y) + 2*j(y). Let h be n(k). Solve -4*r = -h + 10 for r.
-2
Let s = 1 + 1. Suppose -s*x + 10 = -2*v, -2*x = 4*v + x + 13. Let i(j) = j**2 + 4*j + 2. Let c be i(v). Solve -h - 3 = c for h.
-5
Let x(t) = -t**2 - 9*t + 7. Let w be x(-8). Let k be ((-20)/(-15))/(2/w). Solve -3*f - k = 5 for f.
-5
Let d(q) = -2*q**3 - 12*q**2 + q + 18. Let k(w) = w**3 + 11*w**2 - 18. Let y(b) = -2*d(b) - 3*k(b). Let c be y(9). Solve -5*g - 6 + 31 = c for g.
5
Let s(o) = 4*o + 67. Let v be s(-15). Solve -v*t + 5 = -2*t for t.
1
Let b(i) = -4*i + 27. Let c be b(6). Suppose -17 = -4*k + v, -v = -5*k + 4 + 18. Suppose 0 = -2*x - c*x + k. Solve 5 = -2*o + x for o.
-2
Suppose -3*k = -19*c + 24*c - 40, 2*c = k + 5. Solve 2 = b + k for b.
-3
Let m(w) = 3 - 10*w**2 - w - w**3 - 9*w - 10. Let b(t) = 3*t + 6. Let z be b(-5). Let s be m(z). Solve 5 = -s*u + 15 for u.
5
Let f be ((-84)/36)/(21/(-54)). Solve 17*w + 55 = f*w for w.
-5
Let g = -1 + -7. Let i be 100/26 + g/(-52). Let d = i - -1. Solve t = d*t for t.
0
Let t(r) = r**2 + 26*r + 91. Let f be t(-22). Solve -5 = 2*h + f*h for h.
-1
Suppose 0*c - 9 = 3*c. Let t(x) = -11*x + 2. Let d(g) = 3*g + 1. Let n(s) = 4*d(s) + t(s). Let h be n(c). Solve 6*b = h*b - 6 for b.
-2
Suppose -80*r + 81*r = 55. Let v = -55 + r. Solve -5*o + 0*o = v for o.
0
Let j be (6/(-4))/(3/(-8)). Let d be j/(5 - 1) - -3. Solve -d*z = -2*z - 8 for z.
4
Let y(m) = -3*m**2 + 11*m - 19. Let q(k) = -2*k**2 + 6*k - 10. Let a(f) = 5*q(f) - 3*y(f). Let n be a(-4). Solve n*z - 12 = -z for z.
3
Suppose -2*x - 41 = 3*z, 4*x - 51 = 3*z + x. Let q be (8/(-6)*-1)/((-10)/z). Solve 0 = q*a + 6 + 4 for a.
-5
Let a(z) = z**3 - z - 131*z**2 - 1 + 130*z**2 + 1. Let s(p) = -p**3 + 4*p**2 + 2*p - 6. Let x be s(4). Let r be a(x). Solve -7 = r*h + 1 for h.
-4
Let t = 27 - 17. Suppose -5*m = -5*w + t, -2*m + 4*w + 0*w - 8 = 0. Solve m*j - j - 4 = 0 for j.
-4
Let l be (-5)/((-25)/40) + -6. Let f be -6*(2 + -1)*-1. Solve -l = 2*j - f for j.
2
Let q be -9*(-8)/24 - -3. Solve 6 = 12*s - q for s.
1
Let a = 67 + -65. Suppose 0 = a*r - 5*k + 20, 4*r - 4*k + 19 = 3. Solve r = -w - w + 4 for w.
2
Let a be -1*1*(-1)/1. Suppose r - 5*m = 4*r - 13, 0 = r - m + a. Solve y - 1 - r = 0 for y.
2
Suppose -4*b + 16 = 4*i, 0 = -3*b + i - 2*i + 8. Suppose 0 = -2*x - b*x + 12. Solve 0 = x*z + 6 for z.
-2
Suppose -167 + 29 = -46*t. Solve 7*z + t*z - 10 = 0 for z.
1
Suppose -2*m - 4*z + 38 = 0, 2*z + 31 = 5*m - 4. Solve m*i - 12 = 3*i for i.
2
Let x = 25 + -15. Let g = 71 - 43. Let k = -25 + g. Solve 5*a = k*a + x for a.
5
Let c = -3 - -11. Suppose 94*u - 40 = 84*u. Solve -u*w = -8 - c for w.
4
Let g(p) = -p**3 + 10*p**2 - 21*p - 7. Let n be g(6). Solve -q = -n + 6 for q.
5
Suppose 0*a - a = -3. Suppose -y + 14 = a*m + y, 3*m - 4*y - 8 = 0. Suppose 0 = -4*z - 33 + 13, -3*f = z - m. Solve -4 = -f*i + i for i.
2
Let b = 304 - 300. Solve -b*c - 13 - 3 = 0 for c.
-4
Suppose -5*z - 2*w - 3*w = -15, z - 2*w = -6. Let d(u) = 11*u**2 - 2*u - 3. Let k be d(2). Suppose -k + 13 = -3*o. Solve -4*b + z*b = -o for b.
2
Suppose 0 = 7*y - 17 - 4. Suppose y*d + 12 + 3 = 0, 5*u - 2*d - 30 = 0. Solve 4 + u = 2*l for l.
4
Let m(n) = -2 + 50*n**2 + 8*n - 49*n**2 + 5. Let s be m(-8). Solve s*j + 5 = -10 for j.
-5
Let x be 2/(4*(4 - (-71)/(-18))). Suppose -16*w + 13*w = -9. Solve 0 + x = -w*f for f.
-3
Let x(t) = -t**3 - 3*t**2 + 4*t + 2. Let q be x(0). Solve -d + q*d = 6*d for d.
0
Let t = -17 - -22. Suppose 0 = -2*b - 2*v + 18, -t*v + v - 4 = -b. Let r(y) = 2*y**2 - y - 24. Let l be r(-4). Solve 4*z + b = -l for z.
-5
Let q(v) = -2*v + 6. Let t be q(-5). Let u(i) = -2*i. Let b be u(-2). Suppose -b*d + 2*m + 3*m = -37, 0 = 2*d + m - 1. Solve p = -d*p - t for p.
-4
Let k be (-12)/42 + (-102)/(-14). Suppose 3*x = -3*c + 8*x + k, 5*c = x + 19. Suppose 8 = 4*l - 0*l. Solve -c = 3*s - l*s for s.
-4
Suppose -j + 1 + 5 = l, 0 = 2*l - 10. Let w(c) = 2*c**2 + 37*c - 19. Let k be w(-19). Let y be k*(-1)/j*1. Solve y = g - 0 + 3 for g.
-3
Let h = -38 + 50. Suppose -2*f = 5*d - 2, 2*f + h = -f. Solve -d*l = -l for l.
0
Let k(v) = -4*v + 46. Let d = 113 - 102. Let a be k(d). Solve z - a = -5 for z.
-3
Let m be (-10)/(-60) - (-51)/18. Solve 2*j + m*j + 15 = 0 for j.
-3
Let b(w) be the third derivative of w**5/30 + w**4/6 + 3*w**3/2 - 18*w**2. Let v be b(-3). Solve 0 = -2*t + 7 - v for t.
-4
Let a be (1 - -11)/((-48)/(-32)). Suppose 3*k - 2*k = 15. Let n = 15 - k. Solve -3*f - f - a = n for f.
-2
Let k be 4/(-6) + (-476)/(-102). Solve 12 = 4*q + k for q.
2
Suppose 0*c + 5*c - 25 = 0. Suppose -15 = 5*l - c*s, -2*l + 13 = -3*l + 3*s. Suppose 0 = -5*t + l*w + 6, 4*w = 4*t + 3*w - 3. Solve t = -4*a + 11 + 9 for a.
5
Let g(t) = 2*t**2 + 2*t - 2. Let b be g(-4). Let n be 3/18 + b/12. Suppose n*y = -y. Solve 2*j = -y*j for j.
0
Let m(n) = n**2 - 22*n - 16. Let y be m(23). Solve -y*c = -9*c - 6 for c.
-3
Let j be (-16)/4 + 7 - -2. Suppose -j*w + 75 = 3*v + 2*v, 0 = 4*w - 4*v - 20. Solve 0 = 2*u - 4*u - w for u.
-5
Suppose 40 = 4*g - g - 4*x, 17 = g - 5*x. Solve -32 = -g*v + 28 for v.
5
Suppose 41 - 104 = -3*r. Let y = 28 - r. Solve 2*q + 25 = y*q for q.
5
Let u(w) = w**3 - 10*w**2 - w + 10. Let c be u(10). Suppose -d + 2 = d - 3*h, c = 4*d - 2*h + 4. Let f be 16 - (5 + d + 1). Solve -f = -5*t + t for t.
3
Let t = 746 + -739. Solve t*r - 15 = 4*r for r.
5
Let r = 24 + -16. Suppose -6*f = -21*f + 60. Solve -2*x = r - f for x.
-2
Let a(f) = 21*f - 354. Let v be a(24). Solve -2*u - 146 = -v for u.
2
Suppose 0 = -2*q + 4*h + 6, q + 2*h + 3 = 7*h. Solve 6*p = 5 + q for p.
2
Suppose -9*z = 3*z - 120. Solve -2*i - z = -0*i for i.
-5
Suppose 2*r - i - 252 = i, 525 = 4*r + 3*i. Let q = -127 + r. Solve q = -4*f - 2 for f.
-1
Let q(p) = 3*p**2 - 5*p + 4. Let s be q(4). Let l be 1*(s/4)/2. Suppose l*x - 4*t - 20 = 2*x, 5*x = 2*t + 10. Solve -o - 4*o - 10 = x for o.
-2
Let h = -1241 - -1279. Solve h*z + 36 = 50*z for z.
3
Suppose 3*p = 62 - 71. Let u(g) = 2*g + 8. Let x be u(p). Solve x = f - 3*f for f.
-1
Let p = 0 - 0. Let v = 0 + p. Let c(h) = 5*h - 152. Let i be c(31). Solve i*a - 9 = -v*a for a.
3
Let y be 2/5 + (-810)/(-225). Solve 0 = -y*r - 78 + 94 for r.
4
Let d = -224 - -230. Solve -4 + d = -f for f.
-2
Let w be ((-3)/(-2))/((-2)/(-12)). Suppose 0 = 27*n - 95*n + 408. Solve 0 = -11*j + w*j - n for j.
-3
Let y(d) = 3*d + 5. Let m be y(-2). Let u(p) = p**3 + 2*p**2 + p. Let b be u(m). Solve b = -l - 1 - 2 for l.
-3
Let w = 68 + -57. Suppose -3*k + 5*k - 6 = 0. Let s(n) = 2*n - 5. Let d be s(5). Solve d - w = -k*q for q.
2
Suppose 2*n = -4*o - o, n = -4*o - 3. Suppose -n*z + 10 = 0, 0*z = -4*p + 4*z. Suppose -x - 11 = -3*s, 0 