e -2*l = -3*l + w for l.
3
Suppose -49 = -4*q + m + 183, 0 = -m. Solve 18*o + q = 4 for o.
-3
Let j = -12 - -24. Let n(g) = g**3 - g**2 - 11*g - 2. Let z be n(4). Solve z*y + j = 5*y for y.
4
Let q(o) = 26*o + 52. Let v be q(-7). Let b = -126 - v. Solve -5*u + b = -21 for u.
5
Suppose -3*t - 2*t + 45 = 5*p, 18 = 2*t + p. Solve 22 + 23 = t*l for l.
5
Let p(r) = -3*r**3 - r**2 + r - 1. Let s be p(1). Let w = s - -6. Solve -5*a + w*a - 15 = 0 for a.
-5
Let f(b) = -b**3 - 9*b**2 - 3*b + 7. Let n be f(-9). Suppose 6*y - 37 = 2*y - 5*l, -5*l + n = 3*y. Solve y*q + 0 = 12 for q.
4
Let k = 23 - 21. Let j be 0 - 3 - (k + -5). Solve g + j*g = 0 for g.
0
Let h(w) = w. Let z be h(2). Let q = -5 + -44. Let r = q - -51. Solve 6 = -z*s + r for s.
-2
Suppose -9*j - 31 = -40. Solve 5*t - 4 - j = 0 for t.
1
Let l = -2047 + 2192. Solve 8 = -l*g + 147*g for g.
4
Let z(a) = a**2 + 10*a + 12. Suppose -y + 0 = 9. Let q be z(y). Let d be -2 + (5 - (-9)/q). Solve -4*u = -6*u + d for u.
3
Suppose 0 = 3*r - r + 50. Let n = -19 - r. Solve -n = -3*c + 5*c for c.
-3
Suppose 15 = k + 2*h, -5*h = -5*k - 0*h. Let x(t) = -t**3 + 4*t**2 + 7*t - 9. Let w be x(k). Solve 0 = -g - 5 + w for g.
-4
Let j(u) = -3*u - 1. Let m be j(-1). Suppose -3*g = -m - 25. Solve g = -2*k - k for k.
-3
Suppose -16*n + 19*n - 3 = 0. Let o be 4*n*(-4)/8 + 6. Solve o = 4*j - 5*j for j.
-4
Suppose -14*r + 110 = -16*r. Let y = r - -59. Solve y*g + 14 = 2 for g.
-3
Suppose -2*j = -j - 2. Suppose 7*l = 5*l + j. Solve -2 = a + l for a.
-3
Let q be 0*((-2)/8)/(14/56). Solve 3*z + 1 + 2 = q for z.
-1
Suppose 27*x - 119*x + 2944 = 0. Solve 0 = -8*h + 8 - x for h.
-3
Let x(b) = -b**3 - 12*b**2 - 3*b - 28. Let t be x(-12). Suppose -o = t*o + 2*o. Solve -v + 3*v = o for v.
0
Suppose -2*b = 2*b. Let d(w) = w**3 + 12*w**2 - 23*w + 74. Let o be d(-14). Solve o + b = h for h.
4
Suppose 2*n - m = 129, 2*m - 198 + 22 = -3*n. Solve -20 = -n*c + 52*c for c.
2
Let t(f) = -f**2 - 4*f + 16. Let r be t(-6). Suppose 5*w + r*g - 24 = 0, 5 = g + 4*g. Solve 20 - 4 = w*n for n.
4
Suppose p = -y + 11, 5*p - 9 = 2*y + 4. Suppose r + 1 = -y. Let s = 9 - r. Solve -s = -3*d - d for d.
4
Let j = -3 - -4. Let f be (-6 - -1) + -2 + 5 + 2. Suppose f = u - 5 + j. Solve -u*d + 12 = 4 for d.
2
Let m be (-44)/(-1) - (-4)/4. Suppose 2 = 3*w - 1, -3*s = 3*w - m. Let t = s + -11. Solve -7 = -t*j + 2 for j.
3
Let r(y) be the first derivative of -y**4/24 + 4*y**3/3 - 5*y**2/2 + 6. Let j(z) be the second derivative of r(z). Let o be j(4). Solve 3 = o*a - 13 for a.
4
Suppose -3*k + k - 5*q + 30 = 0, -14 = -2*k - q. Suppose 4*r + 3*x + 18 = k*r, -r - 2*x = -18. Solve 0 = 3*p - 6 + r for p.
-4
Suppose 5*d = 2*b - b + 34, -2*d = 4*b + 4. Suppose d*h - 45 = h. Let k be 6/h*-3 - -2. Solve 3*a + k = -3 for a.
-1
Let b = 14 - 22. Let l be (-202)/(-1) - (-4 - b). Let w be l/8 - 10/(-40). Solve -6*d + d = -w for d.
5
Let g = -21 + 26. Suppose -3*r - 5*s + 4 = -1, -g*s = 10. Suppose 3*d = -r*x + 24, 4*d - 3 = 2*x + 3. Solve -b = d*b for b.
0
Let a = -33 - -45. Let m(d) = -d**3 + 11*d**2 + 13*d - 10. Let t be m(a). Solve -2 = n + t for n.
-4
Let h be ((2 - 2)/(-3 - -2))/(-2). Solve h = 2*m + 5*m + 14 for m.
-2
Suppose -3*n - 5*r = -0*r - 38, -2*n + 20 = 2*r. Solve -4*t + 8 = -n*t for t.
-4
Suppose -164 = 4*o - 172. Solve -1 + 9 = o*x for x.
4
Suppose -4*h = -o + 10, -284*h = -281*h. Solve 0*q + o*q = q for q.
0
Let a = 57 + -52. Suppose -a*w - 28 = -19*w. Let x(b) = b**3 - 3*b**2 + 4. Let z be x(3). Solve -z*c = -2*c + w for c.
-1
Let z(s) = -s**2 - 10*s + 9. Let o be z(-11). Let d be 15/(10/o) - -9. Solve -v = v + d for v.
-3
Let d be ((-16)/14)/(9/((-378)/12)). Solve -4*v + d + 8 = 0 for v.
3
Suppose -s = -5*k - 55, 0*k + k - 73 = -s. Let g = s - 67. Solve 0 = h - 2*h - g for h.
-3
Let r(n) = -3*n - n - 1 + 0 + 2. Let m be r(-1). Suppose s = m*a + 29, 5*s = 4*a - 0*a + 40. Solve -7 - 9 = -s*l for l.
4
Suppose -z + 5*q - 19 = 4*q, 2*q = 5*z + 83. Let k = z + 15. Suppose 4*x = -4*s, -5*x - 2*s = -0*s - 9. Solve k = 3*o + x - 9 for o.
2
Let l = 290 + -274. Solve -20*s + l*s - 20 = 0 for s.
-5
Suppose -165 = -17*g - 63. Solve a + 3 = g for a.
3
Suppose -u = -5*c + 61, 0 = -5*u - 5*c - 232 - 13. Let v be (-1)/(-3) - 238/u. Solve 0 = -f + 6*f - v for f.
1
Suppose 0 = -2*c - 8, 11 = -5*s - 2*c - 2*c. Suppose -24 + 24 = 26*w. Solve w*o + s = -o for o.
-1
Suppose 5*g - 10 = -5*k, -6 = -4*k + 7*g - 9*g. Solve 2*c - 9 - k = 0 for c.
5
Let f(n) = n**2 - 4*n + 8. Let s be f(6). Let t = s + -20. Solve q + t = 3 for q.
3
Suppose -24 = -3*k - 9. Suppose -8*j + 5*j = -45. Solve -5 = -k*x + j for x.
4
Let x = -6 + -6. Let h be 6/4*(-16)/x. Suppose 4*j - h*b - 8 = 0, 12 = j + 2*j - 3*b. Solve 2*v = -j*v - 8 for v.
-4
Suppose 3*u - 152 = -2*c, 7*u = 4*u + 2*c + 136. Let t = 52 - u. Solve 0 = -s - t*s for s.
0
Let v be (-1)/(-4) - (600/(-32))/25. Solve -7 = 3*d - v for d.
-2
Let l(j) = -j**2 + 13*j + 18. Suppose 0 = 15*o - 12*o - 39. Let d be l(o). Solve -6 = -3*n - d for n.
-4
Let d(o) = -o**2 - 28*o + 107. Let q be d(-31). Let l be ((-3)/6)/((-3)/30). Suppose -l*t + q = -1. Solve -2*u - t*u - 25 = 0 for u.
-5
Let k = -810 + 875. Solve -35 = 6*z - k for z.
5
Let y be 7/21 + 17/3. Let j be 1 + -1 + -2 + y. Solve k - 12 = j*k for k.
-4
Let u = 12 - 4. Suppose 2*v + 3*r + u = 0, -3*r = -5*v - r + 18. Solve -v*l + 6*l = 20 for l.
5
Suppose -392 + 392 = -2*q. Solve q = -38*j + 42*j for j.
0
Let r(q) = q**3 + q + 42. Let f be r(0). Let n = f + -37. Solve -n*o = -o for o.
0
Suppose -120*b + 26708 = -3292. Solve b*x - 247*x - 6 = 0 for x.
2
Let g = 7 - 4. Let p be ((-294)/(-63))/((-7)/(-6)). Solve p*s + g = 19 for s.
4
Let n(z) be the first derivative of -z**2 + 20*z + 16. Let p be n(8). Solve 0 = -p*l - 4 - 8 for l.
-3
Suppose -3*o + 4 = -5, 5*a + 3*o - 9 = 0. Suppose a = -2*h + 5*h - 12. Solve h = p - 1 for p.
5
Let a be (-1310)/(-60) + 20/(-24). Solve 0 = 24*z - a*z for z.
0
Let r = 707 + -702. Solve -v = -r + 7 for v.
-2
Let v be (-4)/(-6)*1*6. Suppose v*k + 1 = -3*j + 23, 2*k + 4*j - 16 = 0. Let s be 16/4 - (1 + -1). Solve 8*f = s*f + k for f.
1
Suppose 0 = -5*w + 3 + 12. Suppose -10 = 5*q, -2*q = 7*j - 3*j + 4. Suppose 2*i = 3*f - 34, j = 3*i - 0*i + 6. Solve 0 = w*c - c + f for c.
-5
Let p be 2*2 + (-6)/(-9)*-6. Let n = 9 - -3. Solve -4*x + n = -p*x for x.
3
Let u(v) = -v**2 + 7*v - 1. Let z be u(6). Suppose 47 + 13 = z*a. Solve 3*f + a = -f for f.
-3
Let y(h) = h**3 + 6*h**2 + 3*h + 6. Suppose -3*t + 7 = -4*u - 7, 0 = -3*u - 2*t - 19. Let o be y(u). Solve o*c + 3 = 17*c for c.
3
Suppose -2*q = 5*g - 149, -4*g - 262 = -4*q - 6. Let i = 73 - q. Solve -o = 2*o - i for o.
2
Let h(g) = g - 2. Let j be h(17). Suppose -26 = -5*l - b, -4*l + 5*b + 5 = -10. Suppose -x + 6*x - a - j = 0, 5*x - l*a + 5 = 0. Solve x*o - 20 = -0*o for o.
5
Suppose 9 = 5*x - 2*x, 0 = -r - x + 11. Suppose r*k = 13 - 13. Solve 2*i = -k*i + 6 for i.
3
Suppose 80*v + 1961 = 117*v. Solve v*u = 22*u - 155 for u.
-5
Suppose 34*q - 215 - 125 = 0. Solve q = -o + 11 for o.
1
Let m(g) be the first derivative of 10 + 1/4*g**4 + 0*g**2 + 3*g - 4/3*g**3. Let j be m(4). Solve 0 = c - j*c + 4 for c.
2
Suppose 0 = -4*r + 20, 243 = 4*q + r - 74. Let j = 80 - q. Solve 4 - 2 = j*t for t.
1
Suppose -4*l = 5*l - 54. Let p be 1/(-1) + (l - 1). Solve p*y - 12 = y for y.
4
Let a(m) = -m**3 + 7*m**2 - 6*m + 8. Let b be a(6). Let n be 60/(-16) - 663/(-52). Solve 1 = b*w - n*w for w.
-1
Let z(i) = 7 - 5*i - 3*i - 19 + 6*i. Let g be z(-7). Let y be (-9)/(-6) + (-6)/4. Solve l = g - y for l.
2
Suppose -12*f = -f + 1419. Let q = f - -131. Solve -q*z - 12 = z for z.
-4
Let b = -72 - -28. Let p = -40 - b. Solve 0*l + 12 = p*l for l.
3
Suppose -r = -0*r - 1, 5*r = -5*l + 5. Let w = 7 + l. Solve -3 = -2*b + w for b.
5
Suppose -5*t + 27 = 2*h, -3*h - t = 1 - 9. Suppose -j + 2 = -3*i - h, 3*j + 3*i = -3. Solve 4 = -2*d - j for d.
-2
Suppose -3*t + 5*s + 11 + 8 = 0, -3*s = -4*t + 7. Let q be (-3 - t) + (-24)/4. Let p = q + 16. Solve 0 = -3*c - 0*c + p for c.
3
Let n be 234/(-78) + (-6)/(-2). Solve -2*p = -10 - n for p.
5
Suppose 9 + 11 = -5*c. Let b be 1*6*c/(-8). Let f = -38 - -42. Solve -f = 2*g - b*g for g.
4
Suppose -3*x - 191 + 200 = 0. Suppose -59*m - x = -62*m. Solve h + 4 - m = 0 for h.
-3
Let b(a) = -a**2 - 5*a - 1. Let n be b(-4).