= -4*s + 12 for s.
3
Let a(q) = 2*q + 1. Let j = 50 - 49. Let l be a(j). Solve 7 = -4*z + l for z.
-1
Let p = 7 + -6. Let o be 2/p + (-105)/(-7). Solve -5*i - 3 = o for i.
-4
Let j = 49 + -48. Let f be 0/(-1 + 4 - j). Solve -4*n = -f*n - 20 for n.
5
Let z(p) be the first derivative of p**4/4 + 4*p**3/3 - p**2/2 - 2*p - 23. Let r be z(-1). Solve 0 = r*n - 4 - 4 for n.
4
Let j(r) = -r + 1. Let w be j(1). Let k = 71 + -67. Suppose w*h = k*h. Solve -4*x + 0*x = h for x.
0
Let t = 13 - 9. Suppose t*b - 84 + 12 = 0. Let a be ((-20)/15)/((-8)/b). Solve -q + 16 = a*q for q.
4
Let h(k) = 5*k**3 - 15*k**2 - 7*k + 10. Let u(i) = 4*i**3 - 15*i**2 - 8*i + 11. Let z(r) = -5*h(r) + 6*u(r). Let x be z(-14). Solve -20 = 3*c + x*c for c.
-4
Let w(j) = -j**2 + 9*j + 4. Let m be w(8). Suppose -12*d = -12 - m. Solve 0 = -5*z - d - 8 for z.
-2
Let w = 17 - 14. Let u(v) = -1 - 1 + 6*v + w - 4. Let y be u(2). Solve y*o - 4*o + 20 = 0 for o.
-4
Let w(b) = b - 1. Let s(g) = -4*g. Let y(r) = -s(r) - 6*w(r). Let t be y(0). Solve j - t*j = 5 for j.
-1
Let p be (12 - 5 - 3)*(-1)/(-4)*4. Suppose -3*k + 9 = -2*u + 41, -k = 0. Solve -u + 4 = -p*a for a.
3
Suppose -48 = 2*c - 5*c. Suppose -8*y + 2*y = -12. Solve y*i + 2*i - c = 0 for i.
4
Suppose -2*s + 5*l = -23, -3*l = -3*s - 7*l. Suppose s*i - 5*i = 0. Let u = -3 + 6. Solve i = u*q + q for q.
0
Let x = -25 + 28. Suppose 0 = 2*o - o - 3. Suppose x*v - o = 6. Solve -2*t = v*t for t.
0
Let v be (-2736)/(-64) + 6/(-8). Suppose -4*z + v = -5*t, -5*z + t - 2*t + 38 = 0. Solve 4*k - z*k - 12 = 0 for k.
-3
Let g(h) = 12*h**2 + 217*h + 23. Let j be g(-18). Solve j*s = 14*s for s.
0
Suppose 28 = 152*p - 150*p. Solve 13*r = p*r - 1 for r.
1
Suppose 46*o = 44*o. Suppose o = -4*w + 18 + 58. Solve 0 = -w*u + 15*u - 4 for u.
-1
Let i be ((-9)/6)/(6/(-20)). Let x = 1 - -2. Suppose x*d = 5*v - 30 - i, 0 = 2*d + 10. Solve h = v*h - 15 for h.
5
Suppose 43 = 4*u - 0*o - o, 3*u - 39 = 3*o. Solve 0 = -u*f + 6*f - 16 for f.
-4
Suppose 2*l + z = l + 3, 3*z = -9. Let a(j) = -j**2 - 17*j + 2. Let d be a(-13). Let m = d + -29. Solve s + m = l*s for s.
5
Suppose 0 = -5*w - 4*s - 174, -3*w + 0*s - 101 = -s. Let q = -31 - w. Solve -4 = q*f - 7 for f.
1
Let i(r) = -r**2 + 8*r - 7. Let v(o) = 13 - 9 + 0*o**3 + 2*o + 4*o**2 + o**3. Let z be v(-3). Let j be i(z). Solve u = -j*u + 5 for u.
5
Let q(v) = -3*v - 30. Let b be q(-11). Suppose -4 + b = r + x, 4*r - x = 11. Solve -a = -4 + r for a.
2
Suppose 6*m + 381 + 153 = 0. Let x = m - -104. Solve 5*w + 0 - x = 0 for w.
3
Let u = -15 + 40. Let o = 27 - u. Solve -b + 5 = -o*b for b.
-5
Let w(i) = 3*i - 1. Suppose -3*a = -6*a + 6. Let d be w(a). Suppose -d*z + 4*z = 0. Solve -c - 4*c - 15 = z for c.
-3
Let v be (-216)/(-60)*5*3/9. Solve 0 = -v*q + q + 15 for q.
3
Suppose 3*r - 4*v - 209 = 0, -v - 312 = -4*r - 4*v. Let l = r + -67. Solve -2*j = l + 2 for j.
-5
Let r be 0/(6/(-4) - 2/4). Suppose z - 26 = -2*n, -6 = -3*z - r*z. Solve 0*o - n = 4*o for o.
-3
Let y(o) = 2*o**2. Let p be y(-1). Let i be -15*(-4)/20*p. Solve i = 5*x + 16 for x.
-2
Let y be (-1)/(2/(-40)) + 0. Let g(n) = 2*n**2 - 10*n - 6. Let t be g(6). Suppose l - 3*s - t = 6, -4*l - s = -9. Solve -l*v = v - y for v.
5
Let v = -158 - -160. Suppose v*y = 8 + 32. Solve 0*d + 5*d = y for d.
4
Suppose 2*v + 4*s - 11 = 3*v, v + 3*s - 24 = 0. Solve v*y = 12*y for y.
0
Let w be ((-5)/4*-6)/((-3)/(-4)). Suppose -12*f + w*f = -4. Solve -f*s + 12 = -5*s for s.
-4
Let f(s) = s**2 + s - 30. Let w be f(-10). Solve 0 = -l + 55 - w for l.
-5
Suppose -6*g + 6 + 18 = 0. Let s be (g/12)/((-5)/(-45)). Solve 0*y = s*y for y.
0
Let k(v) = -2*v + 26. Let u be k(13). Suppose 4*g - g = -i + 34, 2*g - 2*i - 12 = u. Solve -4*w = w - g for w.
2
Suppose -15 = 7*f - 4*f. Let g be f/(-2)*28/(-35). Let o = -1 - g. Solve 0 = 2*c + o + 7 for c.
-4
Let z(i) = 4*i - 10. Let x be z(-5). Let t = x - -33. Solve t = v - 2*v for v.
-3
Let x = 185 + -184. Solve -7*a + 36 = x for a.
5
Let o = 620 - 613. Solve -2*b + 3 - o = 0 for b.
-2
Let t = 78 - 68. Let w be 8/t + 104/20. Solve -w*b = -b + 25 for b.
-5
Let g(d) = -2*d**3 + 9*d**2 - 9*d + 3. Let h be g(3). Solve 2 = -u + h for u.
1
Let d = 96 + -95. Let a(r) = -3*r**2 - 1. Let v be a(1). Let n be (-3 - 1*v) + d. Solve 0 = n*y - 4*y + 4 for y.
2
Let w be (-21)/6 - -3 - 7/(-2). Suppose 0 = -w*t + 4*t - 1. Solve 2*d - t = -5 for d.
-2
Suppose x + 3*x + 5*s = 35, -3*x + 3 = -4*s. Solve -3*n + x*n = 2 for n.
1
Suppose 5*v + 244 - 44 = 0. Let b = -35 - v. Solve 3 = b*d - 7 for d.
2
Suppose -60 = -6*n - 0*n. Solve -2 = 6*r + n for r.
-2
Let o = 40 + 4. Let u = -28 + o. Solve -3*k = k + u for k.
-4
Let f = -16 + 21. Suppose -2*o + 2 = -4*d, f*d + 4*o - 8 + 4 = 0. Solve -3 = -d*x - x for x.
3
Let p = 51 - 29. Suppose 2*x = p - 4. Solve 0 = -0*m - 3*m + x for m.
3
Suppose h - 4*r - 11 = -0*r, -4*r = -2*h + 6. Let a be (-26)/(-5) + h + (-2)/10. Suppose 2*n - 4 = 12. Solve -2*c = -a*c - n for c.
4
Let j = -21 + 87. Let w = j - 66. Solve w*y + y = 5 for y.
5
Let w(s) = -4*s - 12. Let a be w(-7). Suppose 2*g + 3*y - a = 5*y, y = -3*g + 8. Let u be 0*2*2/(-4). Solve u = g*c - 3*c + 5 for c.
-5
Let m be 27/243 - (-240)/27. Solve -8*n + 23 = -m for n.
4
Suppose -6*o - 35 + 251 = 0. Solve 8*c - 4 = -o for c.
-4
Suppose 2*b = -6, 4*b + 1 - 3 = -2*y. Suppose 86 + 4 = -6*k. Let u be k*5/(-15) - -22. Solve -u + y = -5*g for g.
4
Let g be (-2 + 2 + -1)*2. Let z be 8/5 - g/5. Suppose -12425 + 12965 = 60*t. Solve 5*k - t = z*k for k.
3
Let o(w) = -4*w**2 - 22*w - 6. Let z be o(-5). Solve 6*t - 14 = z for t.
3
Let d be (4/6)/(1/6). Solve -2*f = -d*f - 8 for f.
-4
Let u be (-8)/3 + (-6)/(-9). Let x = 1 - u. Suppose x = 4*c - 13. Solve -7 + 19 = c*k for k.
3
Let h = -5 - -8. Suppose 0 = -3*l - 3, 4*l = -5*a + 5*l - 589. Let j = a + 125. Solve h = 2*n + j for n.
-2
Let p(n) = 6*n**2 - 5*n + 3. Let z be p(1). Suppose z*h + 0*h - 5*a = 8, 2 = h + 3*a. Solve 15 = h*m + m for m.
5
Suppose 3*l = 4*a - 47, -2*l = -a + 6*a - 30. Suppose u + a = 11. Solve 2 = -u*n - 10 for n.
-4
Let f be (-2)/(2/5) - (-365 + 356). Solve 0 = f*l + 4 - 24 for l.
5
Let d(p) = 10*p**2 + 22*p + 2. Let w be d(-3). Solve -23*u + w*u + 9 = 0 for u.
-3
Let a be -30 + 51 + (-1 - 7). Solve -2*k = -a*k - 22 for k.
-2
Suppose 0 = -2*y + 3*l - 7, 5 - 7 = -5*y + l. Solve -52*i + 53*i + y = 0 for i.
-1
Let r be 1/(-7) + (18/(-21) - -1). Solve r = -7*a + 11*a for a.
0
Suppose 0 = 5*j - 10, -j = -2*s + 6 - 2. Solve 3*f + s - 12 = 0 for f.
3
Let r be 2*(0 - -4 - 0). Let z = -841 + 843. Solve 0 = z*i + 2*i + r for i.
-2
Suppose 26*b = 56*b - 31*b. Solve b = 4*n - 2 - 18 for n.
5
Let s(h) = -h**3 + 8*h**2 - 9*h + 17. Let u be s(7). Suppose u*t + 1 = -5*x + 28, -4*t = 3*x - 25. Solve 0*q + 3*q = x for q.
1
Let k(z) = 2*z - 32. Let c be k(19). Solve q = c*q - 10 for q.
2
Let v(q) be the third derivative of -q**4/24 + 3*q**3/2 - 2*q**2. Suppose 0*w + 14 = 2*w. Let i be v(w). Solve g = -i*g - 12 for g.
-4
Suppose -2*h + 17 = 5*m, 4*m + 12*h = 7*h. Solve m*z + 3 = 13 for z.
2
Let g(s) = s**2 + 2*s - 7. Let v be g(5). Suppose -4 = 4*m + v. Let f be (m - -5)/((-6)/10). Solve 4*q + 1 = f for q.
1
Suppose -1360 = -232*l + 222*l. Solve 130*x - l*x = 12 for x.
-2
Let x = 53 + -33. Let u(w) = -w**2 - 10*w. Let o be u(-11). Let s = x + o. Solve 4*h = 11 + s for h.
5
Suppose 0 = -10*w + 3*w + 14. Let p be (-16)/(-6) + (24/(-18))/w. Solve p*g - 2 = 4*g for g.
-1
Suppose 147*g = 159*g - 96. Let l(j) = j**2 - 5*j + 4. Let r be l(3). Let d = r + 6. Solve -d*x - g = -24 for x.
4
Let r be (-12)/(-2)*(-12)/(-18). Let m be (-20)/3*(-36)/15. Suppose -3*w + 16 = -w + 4*j, 2*w = r*j - m. Solve k = -w + 1 for k.
1
Let y(l) = 16*l - 112. Let i be y(7). Solve i + 7 = 7*a for a.
1
Suppose -g - 7*g = -24. Solve 12 - g = 3*l for l.
3
Let i(r) = 4*r. Let k be i(1). Suppose 5*c = -5*p - 31 + 66, -4*p = -3*c - 63. Solve k*g - g = p for g.
4
Suppose 3 = -9*j + 30. Suppose 5*u - 124 + 15 = 3*o, 4*u + 4*o - 68 = 0. Let q = u + -14. Solve 0*a = -j*a + q for a.
2
Let g be 3*-3*44/(-36). Let p = 1 - g. Let t = 14 + p. Solve 0 = -0*a + t*a for a.
0
Let s be (-27)/(-9) - (0 + 1). Solve -s*z + 8 = 2 for z.
3
Let q(v) = 2*v**3 + 2*v**2 - 9*v. Let w be q(2). Solve 0*y - 2*y = w for y.
-3
Let m(r) = -r**3 + 13*r**2 + 15*r - 12. Let s be m(14). Suppose x 