
2
Suppose 5*l = 5*w + 2*l - 35, 0 = -5*w - 4*l. Suppose 0 = -5*k + k - w*s + 208, 3*s - 258 = -5*k. Let v = k - 35. Solve -3*b = b + v for b.
-4
Let q be (-10)/15 - (-8)/12. Solve q = -0*n + 2*n for n.
0
Suppose 16*t + 15*t - 23*t = 0. Solve -2*n + 120 - 130 = t for n.
-5
Let l = 169 - 164. Solve -l = -4*a - 9 for a.
-1
Let v(u) = 17*u - 167. Let q be v(10). Solve q*a + 18 = 3 for a.
-5
Suppose 2*o - 7 = -5*o. Let l(g) = 2*g**3 + 3*g**2 - 3*g + 1. Let v be l(1). Solve -o = v*k - 10 for k.
3
Let g(l) = -l**3 + 9*l**2 + l - 6. Let q = -67 - -76. Let d be g(q). Solve d*y - 6 = -0 for y.
2
Let d = 33 + -28. Suppose d = -2*q + 13. Solve 3*z - 5*z + q = 0 for z.
2
Let y(v) = -v**3 - 6*v**2 - 12*v - 31. Let d be y(-5). Solve -7*a + d*a + 12 = 0 for a.
4
Suppose 0 = k - 1 - 6. Let u be (-72)/k - (-4)/14. Let z be 7 + u + 2*5. Solve -z - 18 = 5*y for y.
-5
Let k = 55 - 33. Let j = k - 12. Suppose -3*u + 9 = -3*t, 3 = 3*u + 4*t - 6. Solve u*h - 5*h = -j for h.
5
Let v = -123 + 138. Solve -4*k - v = -9*k for k.
3
Let m = 102 + -97. Solve -4 = -m*l + 21 for l.
5
Let j(n) = 7*n + 1. Let h(x) = -3*x. Let s(m) = -5*h(m) - 2*j(m). Let y be s(6). Suppose -y + 1 = -g. Solve -a + g = -0*a for a.
3
Suppose -3*c + b = 5, -25*c + 2*b = -22*c + 10. Solve -m - 106 + 111 = c for m.
5
Let p(d) = d + 14. Let f be p(-10). Suppose -f*v = -2*v + 4. Let c(b) = -4*b. Let z be c(v). Solve 8 = 4*n - z for n.
4
Let r = 2 + 1. Let n = -18 + 20. Solve r*m - 2*m = n for m.
2
Let f(h) = 3 + h**2 - 9*h + 0*h**2 - 2 + 0. Let o be f(9). Let c = 26 - o. Solve -5*i + c = -0 for i.
5
Suppose 4*r + 5*w = 3, 4*r - 3*w = 2*w + 13. Let z be (-10*((-22)/(-10) - 3))/r. Let v = 40 + -24. Solve -z*q = v + 4 for q.
-5
Let v = -14 + -2. Let h be (-12)/v*4 - 3. Solve h = -6*c + 3*c - 9 for c.
-3
Suppose -2*n - 3*i = -124, -i = -2*n + i + 144. Let c = 74 - n. Solve c*g = g + 20 for g.
4
Let k(o) = -o + 2. Let p be k(-8). Solve 3*f + 5 = -p for f.
-5
Let s = 195 - 193. Solve -2*d - 2 = s for d.
-2
Suppose -120 = -8*d - 0*d. Suppose 0 = 6*u - d - 33. Solve 0 = 2*x - u for x.
4
Suppose 5*z + 15 = -0*z, -2*z = 5*l - 69. Solve 6 = -17*k + l*k for k.
-3
Let r(i) = -i**3 + 12*i**2 - 34*i - 3. Let k be r(6). Solve 13*l - k*l = 16 for l.
4
Let t be (-144)/(-6)*(-4)/(-6). Suppose 0 = -5*l + 3*d + 19, 2*l - 4*l + 4*d = -t. Solve -l*i - 7 = 3 for i.
-5
Let k = 134 - 108. Suppose 5*z - 4*j = k, 31 = 4*z - 4*j + 7. Solve 3 = -f + z for f.
-1
Let r = 851 - 834. Solve -r = 2*d - 25 for d.
4
Let q = 1303 + -1282. Solve -q*z = -29*z for z.
0
Let v = 813 - 813. Solve v = -50*s + 40*s - 20 for s.
-2
Let o be 0 + 4 + -2 - -7. Let b(y) = -y**2 - 13*y - 40. Let n be b(-7). Suppose -n*m = 3*l + l, -2*l + m = -8. Solve 0 = l*x + x + o for x.
-3
Suppose 55*m - 68*m + 39 = 0. Solve 4 = -m*s - 5 for s.
-3
Suppose -b + 36 = 4*z, -5*b + 132 = z + 9. Solve v + 22 = b for v.
2
Let t = 63 + -63. Solve t = -4*q + 10*q for q.
0
Let x be (900/(-48))/(12/(-16)). Solve -13*t = -18*t - x for t.
-5
Let c be ((-140)/(-50))/(1/15). Solve -c*j - 15 = -39*j for j.
-5
Let m(s) = 12*s + 230. Let o be m(-19). Solve 0 = -o*c + 3*c + 5 for c.
-5
Suppose -11 = 2*n + 3*s, 0 = 5*n + 3*s + 2 + 3. Let f(y) = -y**2 + y + 4. Let l be f(n). Solve -u = -l*u + 4 for u.
4
Let q = 5 - 2. Suppose -5*u - 20 = 2*z, q*z - 8 = 4*z + 2*u. Suppose 0 = 2*c - z*c - 4. Solve -c*g = -0*g - 8 for g.
4
Let y = -1 - -2. Let z be ((-1)/(-2))/(y/(-24)). Let p be (-6)/z*(11 - -1). Solve 0 = -p*h + 2*h + 20 for h.
5
Let t(i) = 3*i**3 - 8*i**2 + 6*i + 3. Let n be t(3). Let v = n + -25. Solve -4 = v*w + 21 for w.
-5
Let h be 0 + 1 + 36/9. Let q(g) = -g + 5. Let f be q(h). Let s = 29 - 26. Solve u - s*u = f for u.
0
Let t be -1*((-5)/(-10))/(2/(-4)). Solve 4 = v + t for v.
3
Let m(l) = l**2 - 24*l + 143. Let h be m(11). Solve 2*o - 8 = -h for o.
4
Let r = 28 + -19. Let y be -2 - -5 - (r - 0). Let o be (1 - y/(-2))/(-1). Solve -6 = -m - o for m.
4
Let z(n) = -n**2 + 17*n - 32. Let j be z(14). Solve -2*l + 4*l = -j for l.
-5
Let g(p) = -p + 16. Let k be ((-13)/(-4))/((-3)/(-12)). Let n be g(k). Solve n*u = 2*u - 2 for u.
-2
Let z(t) = -5*t + 7. Let f be z(2). Let x be (2/(-2))/((-32)/10 - f). Solve -x*b - 6 = -3*b for b.
-3
Let l(i) = -3*i - 8. Let t be l(-4). Suppose t = -3*m + 13. Solve 2*g = -m*g for g.
0
Let a = -6 + 8. Let b be -2 + (4/(-14) - (-48)/(-28)). Let o be b - (1 + -15) - (2 - 0). Solve 3*m - o = -a for m.
2
Let i be 16/10 - (-50)/125. Solve 14 = i*x + 8 for x.
3
Let r(f) = -12*f + 36. Let w be r(3). Solve w*p = -2*p for p.
0
Suppose -s - 2*c - 3*c = 1, c = -3*s + 11. Suppose s*v = v. Suppose v = 2*p + 2*p. Solve -5*l + 10 + 5 = p for l.
3
Let q = 22 + -2. Let m(r) = -r**2 + 22*r - 21. Let x be m(21). Solve 3*i + i + q = x for i.
-5
Let n be 4*(4 - 38/8) - -3. Suppose 5*y + 4*x - 1 = -5, y - 4*x = 4. Solve o + n - 1 = y for o.
1
Let z(c) = -6*c + 28. Let w be z(4). Suppose 4*k - 4*h = -5*h + 1, -k + 13 = -w*h. Solve k + 1 = 2*o for o.
1
Let b(f) = -f + 7. Let g = 28 - 23. Let a be b(g). Suppose 0 = -4*n - 5*s + 24, -a*n + 3*s = -6*n + 16. Solve 0 - n = m for m.
-1
Let d be (-116)/(-36) + ((-40)/45)/4. Suppose t = -d + 9. Solve 2*j - t = 5*j for j.
-2
Let n = 27 - 40. Let l = 19 - 29. Let x = l - n. Solve -13 = 2*p - x for p.
-5
Let s be (-14)/(-35)*15/2. Suppose -5*d + 3 = -12, 0 = -i + d - s. Let j be i + -4 - -5 - -4. Solve 3*q = 2 - j for q.
-1
Suppose -5*d + 8 = -42. Let y = -19 + 21. Suppose -y*v + 0*k + 3*k = -24, 46 = 5*v - 4*k. Solve v + d = -4*c for c.
-4
Suppose b = -3 + 6. Suppose -3*j - 4*q = -34, j - 3 - 7 = -2*q. Suppose -j*f + 15*f = 8. Solve -b*w + 1 + f = 0 for w.
3
Suppose 0 = 5*m + 164 - 184. Solve 6 = m*o + 2 for o.
1
Let r(x) = 3*x**3 + 2*x**2 - 3*x + 2. Let d be r(1). Suppose d*w = -5*v + 16, 4*w + 0*v + 4*v - 16 = 0. Solve -g - g - w = 0 for g.
-2
Let o be 1*5 + (13 + 8)/(-7). Solve -o*r + 3 = -r for r.
3
Let h(n) = -n**2 + 8*n + 11. Let w be h(5). Suppose -29*a = -w*a. Solve a*f - 1 = -f for f.
1
Let x(t) = 10*t + 3. Let a be x(0). Solve -a*y = 3*y + 30 for y.
-5
Suppose 0 = -3*c - c. Let v = 59 - 27. Let q = v - 31. Solve c = -3*p + q + 11 for p.
4
Let r(b) = -b**2 + 13*b + 14. Let y = 2 + 2. Suppose -y*h + 9 + 45 = -c, -h = 5*c - 24. Let w be r(h). Solve w*z - z = 0 for z.
0
Let t = -23 - -19. Let s = -10 - t. Let z be (s - -2) + (9 - 1). Solve -z*j = 5 + 15 for j.
-5
Let m(y) be the second derivative of -y**5/20 + 7*y**4/12 + 4*y**3/3 + y**2 + 3*y. Let x be m(8). Let a be 4 - -1*(1 - x). Solve 0 = -a*p - 5 - 1 for p.
-2
Let g be ((-8)/4 + 1)*-2. Let t(l) = -l - l**3 + 1 - 3*l**2 + g*l**3 + 5*l. Let q be t(3). Solve 5 = -2*o + q for o.
4
Let j = -1147 - -1147. Solve 14*o - 10*o - 20 = j for o.
5
Let b(x) = x**2 - 1. Let m = 18 + -19. Let u be b(m). Suppose u = -4*r + 7*r. Solve r - 2 = s for s.
-2
Suppose 7*h - 3*h = -s + 16, -3*h = -12. Suppose -z - 2*i - 4 = 0, s*i = -z + i + 2. Suppose -4*w + 5*b = -4 - 6, z = 2*w + 3*b - 16. Solve 4*t + w = -7 for t.
-3
Suppose -10*k + 6*k = -3*m + 46, 5*m - k = 54. Solve 0 = -5*d + 15*d - m for d.
1
Suppose 14*d - 34 = 22. Solve -d*w + 3*w = -4 for w.
4
Suppose 21 - 3 = 3*w. Let v = w - 4. Let i(l) = -28*l + 1. Let r be i(0). Solve v*m - 1 = r for m.
1
Let y = -14 - 14. Let f be y/(-8)*18/21. Solve f*v = 8*v for v.
0
Suppose 3*o + 2*q = 15, 4*q + 1 - 6 = -o. Let z be 1 + -3 + o + 1. Suppose 4*l - 14 = 2*l + z*k, 4*k = -8. Solve 6 = -3*m - l for m.
-3
Let c be (-91)/117 + 2/(-9) - -11. Let n = 13 - c. Let d(u) = -u - 2. Let p be d(-2). Solve p = -n*m + m + 8 for m.
4
Suppose 25 = 5*s, -n - 5*s + 37 = n. Suppose 4*b - 26 = -n. Suppose 3*c - b*a - 2 = 0, -2*c - 8*a + 4*a = -16. Solve c*w = w + 6 for w.
2
Let z = 19 - 17. Suppose -8 = -4*p, -3*s - 2 = -z*p - 1. Solve 3 = m + s for m.
2
Let o be -3 + (-1781)/(-65) + (-6)/(-10). Solve 3 = o*q - 24*q for q.
3
Suppose n = -4*n + 5. Suppose -2*d + 6*d - 44 = 0. Let p = d + -7. Solve -n = -5*m + p for m.
1
Suppose -2*g + 27 = m, 4*g + 85 + 26 = 3*m. Solve -8*j - 3*j + m = 0 for j.
3
Let d(h) = h**2 + 5*h + 5. Let b be d(-5). Suppose b*j + 0*j + 4*g = 22, -3*j = -5*g + 9. Solve 8 = j*m + 2*m for m.
2
Let b = 72 + -70. Suppose -b*u - 24 + 78 = 0. Solve 5*a + 12 = u for a.
3
Let f(q) = -q**2 + 6*q + 12. Suppose 5*c - 5*p = 60, -3*p - 22 = c - 2*c. Let h be f(c