Let z = 20 + -17. Let t be a(z). Solve 0 = t*m - 5*m + 12 for m.
4
Suppose 2*z - 3*z - 409 = 5*l, 0 = -5*l + 2*z - 412. Let o = 134 + l. Suppose 3*n = 4*h + 68, -5*n + 154 = -h + o. Solve 0 = -0*u + 5*u - n for u.
4
Let h = -5 - -9. Let a be (-6)/h*(-10)/3. Suppose 2*o - 6 = -3*m + 1, 20 = a*o + 5*m. Solve -2*k + 9 = -o*k for k.
-3
Suppose 0 = 2*d - 2 - 2. Suppose s = -d*s. Solve s*m = -m for m.
0
Suppose 0 = -3*v + 10 - 4. Suppose 0*t = -n + t - 6, 4 = n + t. Let z = 3 + n. Solve -v*s = z*s for s.
0
Let b be 22 + (-7)/(7/2). Let d be ((-75)/b)/((-6)/16). Solve -3*k + d - 1 = 0 for k.
3
Let y = -17 - -11. Let f be (8/24)/((-1)/y). Solve -2*w - f - 4 = 0 for w.
-3
Let i = -51 - -71. Solve 8*l + i = 3*l for l.
-4
Let f(n) = -n - 3. Let j be f(6). Let s be (-93)/j - 3/9. Let k = -5 + s. Solve -k = 3*p + 2*p for p.
-1
Suppose -f = 4*f - 20. Suppose 5*y - 4 + 0 = -4*h, 5*h - 5 = f*y. Solve -q + 2*q = y for q.
0
Let t(n) = -n + 18. Let m be t(13). Solve 0 = -m*s + 5 + 5 for s.
2
Let q(h) = -h - 1. Let c be q(-5). Let i(d) = 2*d**2 - d + 1. Let t be i(1). Let j = 9 - t. Solve j = -c*x - 9 for x.
-4
Suppose -4*u - 5*l - 10 = -u, -l - 30 = -5*u. Suppose 5*a - 6 = -3*s, 3 - u = -s. Suppose -w - 3*w = a. Solve w = 2*v - v - 2 for v.
2
Suppose 5*v - 30 + 10 = q, 0 = 2*v + 3*q + 9. Let w be (-4)/(0/4 - 2). Suppose u = 4*u. Solve u = -r + w - v for r.
-1
Suppose 5*k = k + 100. Suppose 0 = 3*r - r - 24. Let b be 10/4*r/5. Solve m = b*m + k for m.
-5
Let d(k) = 7*k - 2. Let t be d(1). Solve -2 + t = 3*u for u.
1
Suppose 3*u = -2*c - c + 24, -34 = -5*c - 3*u. Suppose -5*l + 80 = -c*x + 30, -5*l = 3*x - 90. Solve -j + 4*j + l = 0 for j.
-5
Suppose -2*y - 4*i - 6 = 0, 3*y + 27 = 7*y - 5*i. Suppose 2*q + q - 2*k = 0, -5*k + 23 = 4*q. Let m = -9 - -19. Solve m = -y*s - q*s for s.
-2
Suppose 7 = 5*n + 3*j, 0*j - 3*j = -3*n + 9. Let w be -16 + (1 - n) - 3. Let y be (-12)/w + 24/10. Solve 8 = y*l - 4 for l.
4
Let f(z) = 3*z - 8. Let b be f(4). Solve b*s = 19 - 3 for s.
4
Let a(u) = 7*u + 8*u**2 - u**2 - 3*u**2 - 5*u**2 + 9. Let t be a(8). Solve -n = t - 0 for n.
-1
Suppose 3*c + 1 = 7. Solve 0*n + c*n + 4 = 0 for n.
-2
Let x = 105 - 100. Solve -2*t + x = -1 for t.
3
Let q(c) = -80*c. Let m be q(-1). Suppose 2*l = 6*l - m. Solve l = -4*v - 0 for v.
-5
Let u(p) = p**2 - p. Let d(b) = 5*b**2 + 2*b + 5. Let z(h) = -d(h) + 4*u(h). Let w be z(-5). Solve w = -v - 3 - 2 for v.
-5
Let w be ((-13)/39)/(2/(-18)). Solve l + w*l = -16 for l.
-4
Suppose 0 = b + 5*b - 96. Suppose 0 = u + 2*j + 8, j - 1 = -3*u. Solve -2*i = u*i + b for i.
-4
Let r = -96 - -100. Solve 7 - 11 = r*t for t.
-1
Let s be (-21)/(-14) + (-6)/(-4). Solve -s*k = k for k.
0
Let m = 9 - 30. Let g be (m/(-14))/((-1)/4). Let x = g + 9. Solve -x*j + 2*j = 0 for j.
0
Suppose f - 17 = -3*l, 10 - 15 = -l. Solve -f*p - 10 = -0*p for p.
-5
Let a be 12/42 + 141/21. Solve -a = 3*u - 4 for u.
-1
Suppose -35 + 10 = -5*t, 0 = 5*v + 2*t - 25. Suppose 0 = d + v*u + 1 - 5, -4*d + 16 = 4*u. Solve -a - d*a + 5 = 0 for a.
1
Suppose -3*i = 4*k - 21 + 4, -3*i + 3*k + 24 = 0. Solve -2*q - i = -11 for q.
2
Let a = 5 - 11. Let l be 12 - 2 - a/(-2). Solve 2 - l = -o for o.
5
Suppose -24 = -0*j - 4*j. Let t be 7/5 - (-3)/5. Suppose -j*y = -t*y. Solve 4*s + s = y for s.
0
Let k(c) = -7*c**2 - 3*c + 5. Let z be k(5). Let o be z/(-25) + 6/10. Solve o = -0*x - 4*x for x.
-2
Let u be (-8)/(-28) - ((-94)/14 - -3). Solve u*y + 16 = 4 for y.
-3
Suppose 2*b + 2*w = -1 + 11, 2*b - 10 = -4*w. Solve 7 = b*i - 3 for i.
2
Suppose f = 4 + 1. Let h be (2/2)/((-840)/(-119) - 7). Solve h - f = 3*j for j.
4
Suppose 0*w + w - 3 = 0. Let i(m) be the second derivative of -m**4/12 + 5*m**3/6 - 2*m**2 + 2*m. Let l be i(w). Solve l*h + 5 = h for h.
-5
Let y be -3*(3 - 2) + 8. Solve y*q = -4 + 24 for q.
4
Let g be 8/(-10)*(-1 + -9). Let d = g - 8. Solve -3 = 3*p - d for p.
-1
Suppose 5*i - 5 = 10. Suppose -i*h = -h. Suppose 2*b - 5*u + u = -4, h = -2*b + u + 5. Solve b*d = -d for d.
0
Let s = 64 + -46. Suppose 2*o = -5*b + s, 3*b - 4*o - 2 = -12. Solve b*p = -2*p for p.
0
Let d = 14 - 15. Let i be d/3*(14 - 29). Solve -i*s - 25 + 0 = 0 for s.
-5
Let h = 53 + -33. Let s(y) = y**3 - 4*y**2 + 5. Let v be s(4). Suppose -15 = 5*k - v*g - 45, 0 = 5*k + 5*g - h. Solve q = k*q + 4 for q.
-1
Let i = -17 - -8. Let g be -20*(-2 + (-22)/(-8)). Let a = i - g. Solve a = -h + 4*h for h.
2
Suppose 2 = 4*t - 6. Let r be ((-2)/(-1 - -2))/(-2). Suppose 0 = -3*z + 2 + r. Solve z = -3*y - t for y.
-1
Suppose 3*m = 2*g + 7, 5*g - 2 = m - 0*m. Let z be (-36)/6*m/(-6). Solve -4*i = -z*i - 4 for i.
4
Suppose -3*a - a - 4*o = -32, -2*a + 11 = o. Solve q + 2*q = -a for q.
-1
Suppose -3*x + 0*x + 15 = 0. Let r = -1 + x. Solve -r = -2*o - 0 for o.
2
Suppose p - 3 = -1. Solve -2*o = -2 - p for o.
2
Let v be (-9)/(13 - 4) - -5. Let i(w) = 2*w - 4. Suppose 3*p - 3 - 6 = 0. Let y be i(p). Solve -y = v*j + 10 for j.
-3
Let n be 13*(-2 + 3 + 0). Suppose -7*u = -2*u - 3*c - n, 5*c = -5. Solve -u*h + 3 = 11 for h.
-4
Let k be (-14)/(-3) + (-2)/3. Suppose 0 = 5*z - 5*i - 10, z + 1 - 6 = k*i. Let d = z + 1. Solve -2*b + 2 = -d for b.
2
Let v = -31 + 45. Solve 5*w = -v - 1 for w.
-3
Let n be (2/(-4))/((-2)/4). Suppose 4*a + 5 = n. Let s = 4 + a. Solve 5*o - 2 = s*o for o.
1
Let o(b) = 3*b**2 - 15*b + 5. Let k be o(5). Solve -i - 16 = -k*i for i.
4
Let g be 0 + 0 - (-1 - 16). Suppose 3*s = 5*n + 6, 4*s - 4*n + n = 8. Suppose -5*d + 3*v = -0*v - 32, s*d - g = -3*v. Solve 2*a = d*a - 20 for a.
4
Suppose -19 = -5*u - 4, -3*u - 53 = 2*o. Let y = 51 + o. Solve 2*r = -3*r + y for r.
4
Suppose -3 = o - 3. Solve -3*d - 9 + o = 0 for d.
-3
Let i(f) = f**2 + 7*f - 28. Let u be i(-10). Solve -u*n = 2*n - 4 for n.
1
Let t = -33 - -53. Let d be ((-116)/6)/(4/(-6)). Suppose -34 = 4*a - 7*a + 5*c, -3*a + d = -4*c. Solve 2*p - t = -a*p for p.
4
Let j = -8 - -7. Let p be (4 - 5)/(j/5). Solve -r = -p*r + 12 for r.
3
Suppose 4*k - 5*y - 121 = 0, 0 = -4*k - k - 3*y + 105. Suppose 2*m + m - 16 = -2*w, 2*m = -4*w + k. Let h be ((-4)/5)/(m/(-10)). Solve -11 = -3*d + h for d.
5
Suppose 0*l - 20 = -3*q + 2*l, 3*l + 20 = 2*q. Solve -3*k = q - 1 for k.
-1
Let l be (1 + -4)*(0 - 3). Solve 7*h - l = 4*h for h.
3
Suppose -q - 1 = d + 1, -12 = 3*q. Solve -3*p = d*p + 25 for p.
-5
Let n(c) = 2*c - 4. Let z be n(3). Suppose 4*l - 24 = -4*s, 3*l - z*s = 7 + 11. Solve 3*x - l = -0*x for x.
2
Let m = 4 - 2. Suppose 4*g - 32 = 3*p, 4*g + 0*p = m*p + 28. Solve 0 = g*z - 12 - 8 for z.
4
Suppose -2*q = -7*q - 5. Let f be (4/(-10))/(q/10). Solve -f*c = -c - 3 for c.
1
Let h = 31 - 18. Suppose 5*v - 7 - h = 5*o, -o - 3*v + 12 = 0. Solve -i + 1 - 4 = o for i.
-3
Let f(p) = 0*p**3 + 0 + 7 + 7*p**2 + p**3 + 5*p - 1. Let i be f(-6). Solve -i = -g + 5*g for g.
-3
Let c be 7 + (-2)/((-6)/(-3)). Let o = -5 + c. Solve v - o = 2 for v.
3
Let f be (-2)/((16/20)/(-2)). Solve -f = 3*j + 2*j for j.
-1
Suppose 3*o - 5*x = -101, -5*o - 78 = -4*x + 86. Let i = -12 - o. Solve 10*h - i = 5*h for h.
4
Let h = -80 - -82. Solve 2 = -h*a - 0 for a.
-1
Suppose -4*i + 2 = -6. Suppose -2*o + d + 3 = 0, -5*d = -i*d - 3. Let h = o + 1. Solve 0 = h*w - 0 - 15 for w.
5
Suppose -2*y + 5 = -5. Solve -y*u + 4 + 6 = 0 for u.
2
Suppose 0 = 2*o + 3 - 13. Suppose -3*i = -i + 5*g + 25, g + o = 5*i. Solve i = -4*l - 9 - 7 for l.
-4
Let n(x) = 6*x - 1. Let w be n(1). Solve w*h = 22 - 2 for h.
4
Let d be (-303)/33 + 8/44. Let m(r) = r**2 + 10*r + 10. Let w be m(d). Solve -2 = -y - w for y.
1
Let p(j) = -3*j - 32. Let d be p(-13). Solve 18 + d = -5*n for n.
-5
Suppose 5*x = -3*k + 42, 2*k + 10 = x + k. Solve -x*c - 5 = -4*c for c.
-1
Suppose 2*s = -3*t - 2*t + 34, -t = 4*s - 14. Suppose t*q = 10*q. Solve q = -0*l - 3*l + 9 for l.
3
Let f be (-2 - -2)/(1 - 3). Solve 3*r - 5*r - 4 = f for r.
-2
Suppose -3*h + 0*h - 18 = 0. Let w = -6 - h. Let t be w/(-2)*1/2. Solve -j + 4 + 0 = t for j.
4
Suppose -260 = -5*p + 5*k, 0 = 7*p - 2*p + 2*k - 232. Suppose -5*t + 2*t = -p. Solve z + 3*z = -t for z.
-4
Suppose -y - 2*y = -69. Suppose -h = 4*a - 16, -2*a - y = -2*h - a. Solve -3*j + h = -0 for j.
4
Let s = -82 + 82. Solve s = b - 2 - 0 for b.
2
Let b(k) = k**3 - 10*k**2 + k - 7. Let o be b(10). Solve -o = -z + 2 for z.
5
Suppose x + 0 = -1, u - 4*x = 8. Let v(t) = t - 3*t**2 + 9 - 2*t + u*