Solve 2 = j*m - 8 for m.
1
Let g = 1436 + -1434. Solve 2 = g*d - 2 for d.
2
Let q be -4*(-2)/4*1. Suppose i - 4 = 2*t, 4*t + 4 = q*t. Let z(w) = -11*w - 12. Let n be z(-2). Solve i*m = -5*m + n for m.
2
Let u(j) = -14*j**3 + j**2 - j. Let m be u(1). Let f = m - -8. Let v be -1 + 8 + (f - -5). Solve v = -2*x - 0*x for x.
-3
Suppose -18*y - w + 1 = -22*y, -y = 5*w - 5. Let s = 0 - -4. Solve s = -h - y*h for h.
-4
Let b be (13 + -1)/((-66)/(-836)). Solve -b*m = -150*m + 8 for m.
-4
Let q(t) = -t**3 - 6*t**2 + 6*t - 4. Let v(k) = 2*k - 10. Let o be v(-4). Let d be ((-7)/(-3))/(6/o). Let j be q(d). Solve -j*c + 2*c - 4 = 0 for c.
-4
Let d(l) = -2*l + 9. Let s be d(4). Let v be -1*(-164)/4*s. Suppose -5*m = -g + 5*g - v, 0 = -5*g + 3*m + 5. Solve -2 = 2*i + g for i.
-3
Let k = -14 + 18. Let u be (3/(-3))/(k/(-16)). Suppose -u*n - 10 = -9*n. Solve -j - 3 = -n*j for j.
3
Let a = 14 - 9. Suppose -a*f - 6 = -7*f. Let t be 7/f + 22/33. Solve -r - 2*r + t = 0 for r.
1
Let v = 5 + -27. Let b = v + 22. Let h = -5 + 8. Solve b = -h*y - 7 + 22 for y.
5
Suppose 5*a + 22 = q, 28*q = 25*q + a + 52. Solve -32 = 5*d - q for d.
-3
Suppose 0 = -3*i - 3 - 0. Let r(v) = 2*v**2 - 8*v + 12. Let f(s) = -s**2 - s - 1. Let d(g) = i*r(g) - 3*f(g). Let k be d(-12). Solve n - 20 = -k*n for n.
5
Suppose -5*c + 4*u = -40, -5*u - 11 = 3*c + 2. Let m(j) be the second derivative of -j**3/6 + 7*j**2/2 - 6*j. Let g be m(c). Solve b = g*b - 8 for b.
4
Let v(f) = 19*f**2 + 19*f. Let l be v(-1). Solve l = -2*n + 3 + 5 for n.
4
Let a be 6*(-2 - (-14)/6). Let u be -10*(-1)/(-6)*-3. Solve a = -u*p + 7 for p.
1
Suppose -5*x - 19 = 4*b - b, -2*x = 5*b. Let m be ((-9)/(-6))/(b/4). Solve 0 = m*h + h - 8 for h.
2
Suppose 19*f - 3 = 54. Solve 2*b - f = -7 for b.
-2
Let z(a) = -a + 8. Let c be z(-5). Suppose -k = q + 31 + 3, 5*q - 5*k + 170 = 0. Let d be (-5)/20 + q/(-8). Solve d - c = 3*j for j.
-3
Let s(z) be the third derivative of 1/24*z**4 + 0*z**3 + 0*z + 0 - 4*z**2. Let q be s(5). Solve 0*u = -q*u - 15 for u.
-3
Let k be (6 - 0)*(-6)/(-12)*1. Solve 2*l - 1 = -k for l.
-1
Let c be (-8)/(-28) - 30/7. Let z(s) = -3*s - 10. Let a be z(c). Solve 1 = a*h - 5 for h.
3
Suppose v + 0*f - 5 = -3*f, 2*f = -2. Let t(p) = p**3 + 9*p**2 + 7*p - 5. Suppose 3*l + 41 = 17. Let g be t(l). Solve v = -z - g*z for z.
-2
Let l = -66 + 66. Suppose l = 8*a + 7 - 23. Solve a*j - 2 = -10 for j.
-4
Suppose -7*v + 2*v = -5*c + 10, 3*c = 0. Let t be (12/(-9))/(v/15). Solve -4*d + 2*d = t for d.
-5
Let p(l) = -l**3 - 9*l**2 - 23*l + 2. Let g be p(-7). Solve -t - 12*t - g = 0 for t.
-5
Suppose 104*o + 100 = 4*k + 108*o, 0 = -3*k - 4*o + 79. Solve -2*i = -k*i - 76 for i.
-4
Suppose -4*h + 117 = 13. Suppose -5*w + h = 6. Suppose -w*c = -2*l - 14, -2*c + 4*l = -4*c + 2. Solve 5 = 2*x + c*x for x.
1
Suppose -5*i = -6*i - 5. Let a be 3/i + 63/105. Solve -r + 4*r = a for r.
0
Let r be (-28)/(-10) + 8/40. Suppose -2*z - 2 = 2*u, -4*u = 2*z - r*z - 11. Suppose -2*l = -c - 1, u*l = 4*c - c - 9. Solve 20 = -c*t - 0 for t.
-4
Let t(a) = a - 8. Suppose 4*m - 56 = -0*m. Let i be t(m). Solve 2*s + i = -4 for s.
-5
Let x be (-3 - 33)/(4/10). Let f be x/(-21) - 6/21. Suppose -f*o - 6 = -30. Solve 3*t - o*t = 12 for t.
-4
Suppose -3*k - 4*b + 26 = 0, k + 2*b + 3*b - 16 = 0. Suppose -4*d + 2 = -k. Suppose -3*c = d*l - 7*l, -20 = -4*c. Solve -2*m + l = 13 for m.
-5
Let x = -1478 + 1480. Suppose 2*d - d + c + 4 = 0, c = -5. Solve x*h + 1 = -d for h.
-1
Suppose -3*c = -29*c + 884. Solve 0 = -5*i - c + 19 for i.
-3
Let y = 32 - 30. Suppose -53*f + 10 = 2*g - 54*f, -5*g + f + 25 = 0. Solve -y*v + g = 1 for v.
2
Let v = 23 - 15. Solve 4*y + 0 = -v for y.
-2
Let w be (20/16)/1 + (-102)/(-8). Solve -5*v - 19 = -w for v.
-1
Suppose -8*z + 5 + 3 = 0. Let v be -1*(1 + -3)*(0 + z). Solve -4*i - v = -5*i for i.
2
Let s(n) = -n**2 - 8*n + 3. Suppose -3*a + 2 - 26 = 0. Let m be s(a). Suppose 5*h + 0*c - 3*c = 14, 2*h + 7 = -m*c. Solve 0 = 5*x + 11 - h for x.
-2
Let f(t) = -t**2 - 11*t - 15. Let k be f(-6). Solve -15*p = -18*p + k for p.
5
Suppose -2*b + 19 = 3*z, -14 = -2*b - 4. Suppose 0*p + 3*p - z*t - 6 = 0, 2*p - 4 = t. Solve 0*f = -p*f for f.
0
Let j(o) = o**2 + 7*o + 27. Let v be j(-3). Solve -2*w - 11 + v = 0 for w.
2
Let d be 185/65 + -3 + 54/13. Solve -o - 6 = -d*o for o.
2
Suppose -114*y = -125*y + 1100. Solve -8 = -y*x + 98*x for x.
4
Let c be -3 + -11 + 3 + 0. Let o be (4 - 2) + 2 + -18. Let q = c - o. Solve -q*k = -2*k for k.
0
Let b = -111 - -111. Suppose b = 2*j + r - 8, 3*j + 5*r + 38 = 6*j. Solve -4*k + 2 = -j for k.
2
Suppose -50 = -6*y + 34. Solve 6*o - 10 = y for o.
4
Let m(c) = -c**2 - c**3 - c + 1 + 6 - 6. Let i(v) = -v - 2. Let u be i(-2). Let o be m(u). Solve -4 = -3*l - o for l.
1
Suppose -3*z + 80 = 4*v + 30, 4*z - v - 35 = 0. Solve 12*m = 10*m - z for m.
-5
Let d(t) = -3*t + 11. Let z be d(-6). Let f = z + -26. Solve 0 = f*p - 4*p + 5 for p.
5
Suppose 3*j = 4 - 22. Let l be 2/(((-2)/j)/((-1)/(-6))). Solve -4 - l = -g for g.
5
Let l(h) = -13*h - 100. Let z be l(-8). Solve -10 = -z*a - 2 for a.
2
Suppose 6*h - 3*h - 5*a = -4, 0 = -4*h + a + 6. Solve -h*q = -q + 5 for q.
-5
Let a(d) = -d**3 - 19*d**2 + 18*d + 20. Let o be a(-20). Let w = 63 - o. Solve 0 = -7*v + 4*v + w for v.
1
Let y(m) = 13 + 11 - m**2 - 8*m - 1. Let l be y(-10). Solve -l*z - 1 = -4 for z.
1
Let k be -53 + 61 - (-1)/1. Solve -3*t - k = -3 for t.
-2
Let d(m) = 2*m - 8. Let o be d(6). Let n be (-4)/((-12)/(-5)) + (-1420)/(-213). Solve 0 = n*j + 1 + o for j.
-1
Let j be 2/(-12) + 3/18. Suppose 0 = s - 4 - j. Let v = s - 2. Solve -2*g + v = 4 for g.
-1
Let t = -1132 + 1135. Solve -t = 8*y - 35 for y.
4
Let i be (-33)/(-44)*(-1 - (-23)/3). Solve 4*d + i = -d for d.
-1
Suppose 0 = 3*q - 0*q + 12. Let s be ((-6)/(-10))/(q/(-20)). Solve 0*x + s*x = -3 for x.
-1
Let a = -821 + 823. Solve -4*m - a + 14 = 0 for m.
3
Let c be (3 - -24)*(-8)/(-12). Let z be 4/(-9) + 26/c. Let u = -4 + 6. Solve z + u = -j for j.
-3
Let s(f) = -3*f**2 - 7*f. Let t be s(-2). Suppose -2*d - 2*h = -t, 4*d + h - 1 = -d. Solve 0 = -d*q - q - 1 for q.
-1
Let s(l) = -7*l**2 + 4*l + 2. Let g(c) = -13*c**2 + 7*c + 4. Let n(j) = -6*g(j) + 11*s(j). Let t be n(-3). Let a be (0 + t)/(8/24). Solve 15 = a*b + 2*b for b.
3
Let j = 11 + -16. Let y be (-8)/j*(-20)/(-8). Solve -l + 3 = y for l.
-1
Suppose -2*v - 4*q = 3*v - 13, v = q + 8. Solve -1 = v*c - 16 for c.
3
Let n(a) = -a**2 + 4*a + 65. Let b be (2 + 1)/((-6)/(-16)) + 1. Let z be n(b). Solve 11*d = 7*d + z for d.
5
Let f = 6 + -2. Suppose 0 = -f*v - 0. Solve k = -v*k - 1 for k.
-1
Suppose -3*b = -b - 2*a + 2, 5*b - 2*a = -2. Solve -3*t + t + 6 = b for t.
3
Let b(l) be the first derivative of l**2 - 4*l - 4. Let q be b(5). Suppose -q*w = -4*w. Solve w*u = -2*u + 8 for u.
4
Let w(r) = r**2 - 8*r + 7. Let c be w(9). Solve c + 8 = 12*s for s.
2
Suppose 47 = 5*d - 23. Solve d*r - 4 = 15*r for r.
-4
Let r(u) = -18*u - 3. Let p be r(-3). Let a = p + -23. Solve a - 8 = -5*n for n.
-4
Let c(b) = 5*b + b - 4*b - 3. Let u = 281 + -278. Let w be c(u). Solve -5*x + w*x - 8 = 0 for x.
-4
Let h(g) = 2*g**2 + 8*g - 89. Let m be h(5). Let t = 2 + -2. Solve m = -t*w - w for w.
-1
Let b(l) = l**3 - 15*l**2 + 14*l + 33. Let n be b(14). Suppose -4*a + n = -35. Solve -3 = 5*s + a for s.
-4
Suppose 0 = o + 2*o - 3, -1 = -2*z - 5*o. Let h = 4 + z. Suppose -2 = -2*k + h. Solve 4*i + k + 6 = 0 for i.
-2
Let f = -53 - -39. Let m be ((-22)/(-4) - 2) + (-21)/f. Solve 0 = -3*z + m*z - 6 for z.
3
Let n(r) = 3*r - 2. Let h(b) = -b + 10. Suppose -31 = -4*a - t, 4*a + 3*t - t - 30 = 0. Let x be h(a). Let y be n(x). Solve -g = y - 3 for g.
-1
Let y = -5 + 7. Suppose 0 = -2*n + 2*l + 52, -l + 0*l + 58 = 3*n. Let t = -19 + n. Solve -u - t = y for u.
-4
Let a be 0*((-1)/2 + 0). Suppose 4 = -t, a = -3*s - 0*s - 5*t - 11. Suppose 0 = 130*z - 267*z + 274. Solve s*d - 10 = -z*d for d.
2
Suppose -80*s + 165 = -69*s. Solve 8*p = -s + 39 for p.
3
Suppose -15 = 6*d - d. Let u = d + 3. Let v(j) = 4*j**3 - 3*j**2 + 3*j - 1. Let n be v(1). Solve 0 = -u*i + n*i - 6 for i.
2
Suppose 20*n - 95 = 65. Solve -5*i - 15 = -n*i for i.
5
Let n(m) = -m**3 + 5*m**2 + 6. Let w(t) = 5*t - 30. Let l(j) = 3*j - 20. Let h(g) = -8*l(g) + 5*w(g). Let q be h(-5). Let b be n(q). Solve s = b*s - 5 for s.
1
Suppose 