Solve -2*m = 4 + u for m.
-3
Let w = -11 + 24. Let h = w - 8. Solve h*l + 5 + 0 = 0 for l.
-1
Let d = 209 - 199. Solve -9*x = -11*x + d for x.
5
Let g(n) = 3*n - 11. Let z be g(4). Suppose 4 = c - z. Solve -4*p = -9*p - c for p.
-1
Let j(o) = o - 8. Let x be j(12). Suppose -x*b = 5*a - 26, 3*a = 5*a - 4. Solve 0 = -b*c + 8 - 0 for c.
2
Suppose 23*p - 26 = 135. Solve -k + p = 4 for k.
3
Suppose 36 = 2*a - 4*c, 4*c = -a + 3*c + 21. Let f be (a/3)/((-4)/(-6)). Suppose -2*k - 4*o = -28, -5*o = -5 - f. Solve -4*d - k = 12 for d.
-5
Let m(u) be the second derivative of u**3/6 - 11*u**2/2 + 27*u. Let x be m(13). Solve 0 = a + 1 + x for a.
-3
Let y(m) = 245*m + 2450. Let f be y(-10). Suppose 4*n - 14 = 3*z, 2*z + 13 = 3*n + 2. Solve 0 = h - f*h - n for h.
5
Let n(u) = 4*u**2 + 14*u - 37. Let g be n(3). Solve g*o - 38*o = -3 for o.
-1
Suppose 3*o + o + c - 71 = 0, -o + 39 = -4*c. Solve 0 = 9*n - o*n + 10 for n.
1
Let s(u) = -u**2 - 1. Let z(b) = 4*b**2 + 20*b - 1. Let c(w) = -3*s(w) - z(w). Let v be c(-20). Solve -14 = -v*m - 6 for m.
2
Let p = 35 + -29. Solve 19 = p*z - 11 for z.
5
Let o(r) = r + 12. Let z be o(-10). Let h be 1 + -2 - z - -8. Suppose 0 = -2*a - h*c + 15, 0 = c + 1 - 4. Solve a = k + k for k.
0
Let l be (-13)/(-4) - (-1)/(-4). Suppose f = -2, -2*f - 4 = -4*m + 8. Solve d = -m*d + l for d.
1
Suppose -196 = 42*k - 56*k. Solve 0 = -3*c + 1 + k for c.
5
Suppose 0 = 2*u - 2*l - 8, -u + 18 = u + 3*l. Solve -u = 3*z + 6 for z.
-4
Let z(t) = -9 - 10 + 2*t**2 + 5 + t - t**2. Let l be z(-5). Suppose -5 + 1 = -2*h. Solve -4*n + l = -h for n.
2
Let m(i) = -2*i - 15. Let z be m(-10). Suppose -3*p + 3*f + 15 = -0*p, 3*f + 15 = z*p. Suppose p = 2*y - 7 + 1. Solve 5*h - y*h = 6 for h.
3
Suppose -3*d = -3, -4*d = -7*k + 2*k + 21. Let p be (k + -1 - 2)*2. Suppose 3 = 2*q - 7. Solve -p*r = 11 + q for r.
-4
Let n be 2/4 - (-36)/(-8). Let a be (-17)/n + (-4)/16. Let d be (-17)/(-5) + (-10)/25. Solve y + d = a*y for y.
1
Let o(t) = -t + 9. Let j be o(5). Suppose 15 = 5*x + 5*p, -4*p + 2*p = j. Suppose x*b = 2*b. Solve b*k + 4 = k for k.
4
Let x be (-23)/46 - 46/(-4). Solve -x*i = -6 - 5 for i.
1
Suppose -3*n + 315 = 12*n. Let j = n + -19. Solve -j*u + 2 = -0 for u.
1
Suppose 89*j + 90 = 95*j. Solve 10*o + j = 7*o for o.
-5
Suppose 3*q + 6 = -2*l, -5*l - 4*q = 6 + 2. Let m = 4 - 0. Solve l = m*u - u + 15 for u.
-5
Let g be (-2)/(-1*8/12). Let o be (-1 - 4/(-3))*30/10. Solve o + g = l for l.
4
Let s(t) be the second derivative of t**4/12 + t**3/3 - 3*t**2/2 + 5*t. Let g be s(2). Suppose -10 - 15 = -3*d + g*n, -5*n = 5*d - 15. Solve -d*k = -0*k for k.
0
Let z = 140 + -130. Solve 0 = -j - z + 7 for j.
-3
Let y = -114 + 127. Suppose -y*s + 12 = -10*s, 0 = 4*x + s - 12. Solve -x = 4*v + 2 for v.
-1
Let m be ((-140)/(-45))/(4/18). Suppose -9*r + m*r = 10. Solve r*b = b - 1 for b.
-1
Let q = -4 - -4. Suppose q = 3*l + 4*i - i, -5*i = -5*l. Solve l*t + 10 = 5*t for t.
2
Suppose 3*z - 4 - 17 = 0. Let f(m) = m**2 - 6*m + 1. Let x be f(z). Solve -5*l + 15 = -x*l for l.
-5
Let f be (4/(-6))/(4/(-18)). Let v = 206 + -106. Let x = v + -88. Solve 0 = -f*s - s + x for s.
3
Suppose 3*q - 25 = 5*a, 10 = 5*q + a - 13. Suppose 0 = -4*v + 3*t + 18, -v = -5*t - q - 8. Solve 8*p + 15 = v*p for p.
-3
Let j = 160 + -75. Suppose -3*c - j = -5*s, -5*s - 36 + 131 = -c. Solve 8 = -4*b + s for b.
3
Let p = -2 + 6. Suppose -6*r + r + 5*g + 30 = 0, -9 = -3*g. Suppose -r*f = f - 20. Solve p = -f*c - 6 for c.
-5
Suppose -5*n - 7 + 2 = 0. Let l be 5*n*(-5 + 0). Suppose 3*s - 2*z - 2*z - 25 = 0, 5*z = 3*s - 29. Solve -s*j + 8*j = -l for j.
-5
Suppose -12 = -11*i + 10. Solve 0 = -i*a - 4*a for a.
0
Suppose -32*a = 40*a - 2592. Solve a*t + 2 = 34*t for t.
-1
Let t(x) = -x**2 - 5*x - 5. Let s be t(-3). Suppose 1 = -2*j - 3*c - s, 2*j + c = 2. Solve -j = -m + 2*m for m.
-2
Suppose 2*s - 2 - 6 = 0. Suppose a + j = -s*a + 28, -j + 4 = a. Solve a*i + 20 = i for i.
-4
Suppose q - c - 9 = 0, 10*q + 5*c + 25 = 11*q. Solve 0 = q*v - v + 20 for v.
-5
Let g(n) = -4*n - 7. Let d be g(-3). Suppose 16*s = -14*s. Solve s = d*h - 5 for h.
1
Suppose -4*u + 64 = 24. Suppose -4*m + u = 2. Let b = 1 + 4. Solve -b = -m*f + 3 for f.
4
Suppose 0 = -0*h + 3*h - 5*o - 17, 3*h - 4*o = 16. Let f(y) = -23*y - 7. Suppose 7*m = 5*m + v + 3, 5*v = 3*m - 22. Let j be f(m). Solve -h*b = -0*b + j for b.
-4
Let g(q) = -9*q + 36. Let d be g(4). Solve d = 5*n - 131 + 121 for n.
2
Let c(x) = -2*x + 10. Let k be c(-5). Suppose k = 4*v - 2*d + 6, 4*v - 5*d = 29. Solve -2*a = -a + v for a.
-1
Let l(m) = 2*m**2 - 16*m + 7. Let n be l(8). Solve n*t = 6*t + 1 for t.
1
Suppose 5*s - 2 = 5*z - 7, -z - 1 = 0. Let c be (-9)/18 + (-13)/s. Suppose w + 25 = c*w. Solve 6 = w*l - 2*l for l.
2
Suppose 9*b - 19*b + 10 = 0. Solve -2*z + b = 3 for z.
-1
Let y(n) = 5*n**2 + 2*n + 7. Let a be y(3). Suppose a - 65 = -m. Solve m = 2*x + 1 for x.
3
Let h(u) = -9*u + 8. Let j(c) = 4*c - 4. Let t(q) = -3*h(q) - 5*j(q). Let x be t(1). Solve -s - x = -4*s for s.
1
Let g = 1 - -1. Suppose 3*j - 20 + g = 0. Solve -5*c = j - 1 for c.
-1
Suppose -4*y = -4*w - 60, 2*w = -3 - 3. Suppose -2*c - y = 4*l, -c - 7*l + 3*l - 12 = 0. Solve d = -c*d + 4 for d.
4
Let w be (19/(-5) - 1)/((-69)/230). Solve -w*k - 90 = -10 for k.
-5
Let o(m) = -4*m - 6. Let h be o(5). Let f be (-4)/h + (-480)/(-260). Solve -2*j = f*j - 4 for j.
1
Let y be (-48)/6*(-11)/4. Suppose -23*n = -y*n - 5. Suppose 3*f = -3*b + 17 - 5, 30 = 5*f - n*b. Solve -f + 1 = -w for w.
4
Let x(w) = -w**2 - 2*w + 19. Let l be x(-5). Solve -4 = -2*n + l for n.
4
Let u = -53 + 60. Suppose 15 = -5*h, 4 = 2*t + h - u. Solve -2*x - 25 = -t*x for x.
5
Let q = 1659 - 1622. Solve 5*x = q - 22 for x.
3
Let j(m) = -m**2 + 9*m - 16. Let t be j(6). Solve d = -3*d - t*d for d.
0
Suppose 2*l + 0*l - 4 = -x, 0 = 2*l - 2. Suppose -5*m + 2*s + 2 + x = 0, 3*s - 9 = 0. Solve -m*o = o - 6 for o.
2
Let u be 8 - (-9)/1 - 0. Solve -3*b - u + 8 = 0 for b.
-3
Let u(f) = 6 + 37 - 9*f + 7*f. Let d be u(19). Solve 0 = -d*y - 0*y - 5 for y.
-1
Let z be (-63)/(-6) - 3/(-6). Let y = z - 7. Let m be (y - 1)/(-1) + 3. Solve 3*w - 1 + 4 = m for w.
-1
Suppose 3*z - 8*z + 4*j = -15, 2*z - 6 = -2*j. Let k = 10 + -5. Let b = -1 + k. Solve 0 = -z*w + 8 + b for w.
4
Suppose f = 3*f + 10, -2*d - 5*f = 7. Suppose 12*k = 7*k + 6*k. Solve -4*z + z + d = k for z.
3
Suppose -10*d - 784 = -804. Let x(i) = -i**2 - 7*i - 4. Let s be x(-6). Solve -d*j = -0*j - s for j.
1
Let z(d) be the first derivative of 4*d**3/3 - d**2 + d - 2. Let m be z(1). Suppose 6*i - 9 = m*i. Solve -g = -i*g for g.
0
Let f(v) = v**3 + v**2 - v + 2. Suppose 3*o = -4*j - 15, -4*o - 20 = 4*j + j. Let w be f(j). Suppose -6 = -d - 3. Solve -7 = w*r - d for r.
-2
Suppose 26*w - 246 = 430. Solve 3*o = -w + 20 for o.
-2
Let p = 317 - 314. Solve q - 8 = p*q for q.
-4
Let x = 262 - 262. Solve x = -3*j - 5 - 4 for j.
-3
Let v = -18 + 17. Let p be 5 + -3 - v - 0. Solve -2*c = p*c + 15 for c.
-3
Suppose -8*y - y + 9 = 0. Let k be (-3)/2*(-7 - y). Solve -2*i - 2*i - k = 0 for i.
-3
Let h(j) = 4*j**2 - j + 2. Let x be h(1). Let i = x - 12. Let r be 8 - -1 - (-3 - i). Solve -r*o - 18 - 7 = 0 for o.
-5
Let x(f) = -2*f**2 - 11*f - 6. Let q be x(-4). Let u(y) = -y**2 + 4*y + 12. Let c be u(q). Solve c = -t + 1 - 3 for t.
-2
Suppose 5*u - 2*b = -b + 32, -3*b - 18 = -2*u. Suppose u = 3*i - 0. Solve j + i = 7 for j.
5
Let i = -691 + 704. Solve -i*q - 4*q = -5*q for q.
0
Let t be 29 - (5 - 16/4). Let x be (24/14)/(6/t). Solve 0 = x*a - 4*a - 16 for a.
4
Let v be (-14)/(-2) - 4/(-1 + 3). Suppose 3*q - 7*q - 20 = -2*j, v*j - 5*q = 35. Solve s = 3 - j for s.
-1
Suppose -3*y - 5*j = -7*y + 45, 5*y + j = 20. Let g be 78/(-9)*-3 + -11. Suppose 5*a = -5*q + 5, 0 = -2*q + 3*q - 3*a - 13. Solve -g - y = -q*s for s.
5
Suppose -4 = -144*i + 143*i. Solve -i*m - 19 = -3 for m.
-4
Let b(h) = 25*h + 125. Let f be b(-5). Solve f = -19*o + 24*o + 25 for o.
-5
Suppose 0 = 11*x - 52 + 8. Solve x*y - 5*y = -1 for y.
1
Let r(c) = 2*c**2 - 2. Let s = 24 - 26. Let z be r(s). Solve g - z = -2 for g.
4
Suppose 0 = -89*m + 7491 - 1261. Solve 35 = -7*b + m for b.
5
Let l(k) = -k + 1. Let q be l(1). Suppose -3*t - 39 = -4*o, q = 5*t - 3*t + 2. Solve h = 4*h - o for h.
3
Let v(n) = n - 7. Let q be v(7). Let u(c) = c**3 - c**2 + c + 36