
Let s be 2/(-10)*-3 + 2508/220. Solve 0 = 2*w + s*w - 42 for w.
3
Let t = 2051 + -2046. Solve -17*v = 6*v + t*v for v.
0
Let b(z) = 2*z + 2. Let x be b(-1). Solve -2*k - 3*k - 10 = x for k.
-2
Suppose 14 + 31 = 3*z. Let f = -10 + z. Solve -f*u + 3 = 8 for u.
-1
Suppose -23 = 3*a - 41. Solve 7*o - 5*o = a for o.
3
Let p(b) = -b**2 - 5*b + 2. Suppose 4*v + 30 = -v. Let j(o) = o + 1. Let u be j(v). Let a be p(u). Solve a = -3*t - 1 for t.
-1
Let a(h) = h**3 - 4*h**2 + 5*h - 4. Let f be a(3). Let o be (-1)/(f*(-3)/6*1). Solve -7 - o = 2*k for k.
-4
Let g = 1294 + -1287. Solve -g*w + 18 = -w for w.
3
Let u(z) = 8*z - 27. Let a be u(4). Solve 0 = -2*i - a*i - 21 for i.
-3
Let i(n) = -n**3 + 6*n**2 - 2*n + 4. Let b be i(6). Let g be (-2 - b) + (-4 - -1). Suppose -3*o - o - 4*y + 4 = 0, -2*o - 3 = -g*y. Solve o = 6*v - v - 5 for v.
1
Let g(n) = n + 7. Let q = -40 + 59. Let l = 15 - q. Let v be g(l). Solve -9 = -v*c + 6 for c.
5
Suppose -7 + 2 = -s. Suppose -4*o - 25 = 3*u, -3*u + u = -s*o - 60. Let y be (-8)/(-1)*o/(-20). Solve -y*c = -c for c.
0
Let u = -8 - -11. Suppose -2*g + 10 = 2*k - 4, g + u*k = 17. Solve -4*y = -g + 22 for y.
-5
Suppose 5*s + 2 = k, -k = -6*k + 10. Suppose s = -5*c - 12 + 62. Suppose 5*p - 12 = 3. Solve p*f = 2 + c for f.
4
Let y(t) = t**2 + 52*t + 317. Let h be y(-7). Suppose -4*a - 12 = -2*p + 4, 2*a + 20 = -2*p. Let z = a + 10. Solve -3*d - h = -z*d for d.
2
Let i = -3 - -7. Let n(k) = k**3 - 4*k**2 + 3*k - 1. Let a be n(2). Let r = 16 - a. Solve r = -i*z - 1 for z.
-5
Let c = 161 + -107. Let g be 12/c - (-8)/(-36). Solve g*j = 2*j - 6 for j.
3
Let v = -9 - -1. Let h be (3*v/42)/(10/(-35)). Solve -6*x + h*x + 12 = 0 for x.
3
Let f = -3 - -5. Let m = -5 + 10. Solve m*d = f*d for d.
0
Let u(a) = 3*a + 22. Let w be u(-6). Solve 0 = -2*f + 12 - w for f.
4
Let l = -28 - -30. Suppose 5*c + 14 = 3*g, -2*g - l*g = 2*c - 10. Solve 6*i = g*i - 12 for i.
-4
Let o(f) = -17*f - 44. Let z be o(-3). Solve 0 = 4*w - 13 - z for w.
5
Let c(q) = q**3 - 8*q**2 + 2*q - 10. Let p be c(8). Let r = 19 + p. Let g = 24 + -22. Solve g*h = 7*h - r for h.
5
Let h(o) = -o**2 + 12*o - 21. Let i be h(6). Suppose -3*p - i = -8*p. Solve 0 = -d + p*d - 8 for d.
4
Suppose n + 2*w = -n + 64, -4*w = -3*n + 68. Suppose 6*o + n = 58. Solve 4*m + o - 25 = 0 for m.
5
Let j be (-1)/(3/36*-3). Suppose -4*c + 0*c = j*p + 12, 4*p = -2*c - 2. Solve -2 + 4 = p*g for g.
1
Let s(v) = 2*v**2 - 11*v + 5. Let x be s(0). Let b be ((-6)/4)/((-6)/8). Suppose -2*o + 48 = 2*u + 2*u, -b*o - 42 = -5*u. Solve u*j = x*j for j.
0
Suppose 0 = 2*k - 3*s - 9, -2*s = -2*k - 4*s + 4. Let v be (k/3)/(1 + 0). Solve v = 3*t + 4 for t.
-1
Let g(y) = y + 29. Let d be g(-10). Suppose d*j - 100 = 24*j. Let p be (-80)/12*15/j. Solve -p = 2*l + 5 for l.
-5
Suppose -n + 9 = -3*m, 3*n + 6 = -2*m - 0. Let o = 37 + -35. Suppose 8 = o*u + 3*x, 0*u + 4*x = u - 4. Solve j = -n + u for j.
4
Let g(v) = -v**3 - 8*v**2 + 10*v + 12. Let x be g(-9). Let k = -786 - -786. Solve k = -x*m - m for m.
0
Suppose 62*m - 18*m = -396. Suppose -j + s - 14 = 0, -2*j + j + 5*s = 34. Let b = j - m. Solve -4*z + z - 12 = b for z.
-4
Let h(w) = -w**2 + 26*w + 167. Let z be h(31). Solve t - 14 = -z for t.
2
Let j = -242 + 244. Solve c = -1 + j for c.
1
Let j = -1091 - -1175. Solve 4*g - j + 92 = 0 for g.
-2
Suppose 5 = 2*f + 5*n - 5, 0 = -4*f - 5*n + 10. Solve -l - l + 7*l = f for l.
0
Let y(l) = -l**3 + l**2 + 3*l + 3. Let s be y(3). Let p be s/24 + (-98)/(-8). Let f be (p/9 + -2)*-3. Solve 4*a - f*a = 2 for a.
1
Let l be (-8)/(-3)*(-9)/(-2). Let p be (-1)/(-4) + 45/l. Let t be (1 - 1)*19*(-21)/(-798). Solve -2*h + p = -t for h.
2
Suppose -d + 4*c = -c + 8, 4*c - 5 = d. Suppose -d*p = -4*p. Solve p = -5*t + 10 + 15 for t.
5
Suppose -q + 2*h - 8 = 0, q + 4*h + 8 - 30 = 0. Let w be q*-3*13/(-26). Solve w = -t + 6 for t.
3
Let r(o) = 5*o**3 - 26*o**2 - 19*o - 29. Let u(c) = 3*c**3 - 13*c**2 - 9*c - 14. Let y(i) = -4*r(i) + 7*u(i). Let d be y(-12). Solve -4 = -d*p + 2*p for p.
1
Suppose -14 + 2 = 6*a. Let l be a/8 - 26/(-8). Solve -l*u - 1 = 5 for u.
-2
Let z be (16/6*243/(-108))/(-2). Solve 0 = z*l - 7*l - 20 for l.
-5
Suppose j - 14 = -6*j. Suppose l + 4*d = j, -2*l - 1 = -3*d - 5. Solve -l*k + 7*k - 20 = 0 for k.
4
Let b(j) be the third derivative of j**4/24 + 2*j**3/3 - 2*j**2. Let m be b(-5). Let a be 2 + 1 + m - -2. Solve -a*y + 5 = -3 for y.
2
Let d be ((-2)/(-4))/(2/4). Let i(u) = 4*u**3. Let k be i(d). Solve -6*q + k = -2*q for q.
1
Let o(z) = -4*z**3 - z**2 - z + 1. Let q be o(-1). Solve i = -3 + q for i.
2
Suppose 3*n + 2*p = 29, -5*n + p + 4*p = -15. Suppose n*c - 40 = 3*c. Solve -q - c = q for q.
-5
Let m = 345 - 345. Solve -4*k + 3*k + 1 = m for k.
1
Let b(m) = 11 - 22 + m**2 - 7*m + 11. Let z be b(7). Solve z = 2*i + 8 + 2 for i.
-5
Let a(b) = b**2 - 15*b + 2. Let q be a(15). Solve o - q*o + 2 = 0 for o.
2
Let l be 2/(-15) + (-6)/(-45). Suppose -2*u + 10 = -d, -3*u + u + 5*d + 26 = l. Solve h = u*h - 8 for h.
4
Let s(g) = -g + 13. Let z be s(9). Let t be (0/(1 - -2))/(-1). Suppose -7 = -187*p + 186*p. Solve t = z*y - p + 19 for y.
-3
Let l be 6/(-33) - (288/44)/(-3). Suppose 5*v + 3*i = 22, 3*v - 19 = 2*i + l*i. Solve v*r - 20 = -0*r for r.
4
Let g = -3376 - -3376. Suppose 0 = 4*y - 5 - 3. Solve y*q + 6 = -g*q for q.
-3
Let c = 27 + -26. Let t be -4 + (-16*c)/(-4). Solve 5*w - w + 12 = t for w.
-3
Suppose o = 5*z - 69, -12*z + 8*z + 44 = 2*o. Solve -z*q + 17*q + 20 = 0 for q.
-5
Let f = -7 + 12. Suppose 0 = z - 5, 3*z - 35 = -f*y - 2*z. Suppose -y*r + 5*r - 3*p = 3, 3*r = 4*p + 4. Solve r = 2*g + 8 for g.
-4
Suppose -2*j = 3*l + 4, -l = -5*j - 6*l - 5. Suppose 3*o + 9 = 3*y, y - 2*o = 3*o - j. Solve -y*h + 0*h = 4 for h.
-1
Let r be (-1)/(-3) + 40/6. Let t = -4 + r. Suppose k - d = 7, 4*k - d = -0*d + 13. Solve -k*w = -t - 7 for w.
5
Let f(i) = -i**2 - 2*i + 5. Let v(b) = b**3 + 8*b**2 - 2*b - 19. Let n be v(-8). Let w be f(n). Solve w*p = -p for p.
0
Let c be 12/4 + 1 + 4. Solve 0 = c*j - 7*j - 2 for j.
2
Suppose -2*n + 3*y - 10 = -18, -4*n + 2*y + 32 = 0. Solve -14*m + 12*m - n = 0 for m.
-5
Let a(y) = 10*y - 37. Suppose 4*n - 5*w + 3 - 14 = 0, 3*w = -n + 7. Let s be a(n). Solve 2 = -s*g + 2*g for g.
-2
Let w be 36/9 - (9 - 10/2). Solve w = 3*g + 25 - 10 for g.
-5
Let y(l) = -l**3 - 5*l**2 + 6*l + 4. Let x = -10 + 4. Let v be y(x). Solve t = 2*t - v for t.
4
Suppose -4*q + 2*n = -4, n - 5*n + 22 = 2*q. Solve -13 = -q*k - 1 for k.
4
Let r = -3 - -5. Suppose -f - 4 = f - 2*i, f - 2*i = -6. Suppose -f = 3*c + 3*n - 50, -c + 16 = 4*n. Solve c = 6*k - r*k for k.
4
Let w = -7 - -9. Suppose 3*q + 2*i + 28 = q, -34 = w*q + 4*i. Let y = -1 - q. Solve 0 = f + f - y for f.
5
Let v(b) = -3 - 2*b + 3*b + b - 3. Let g be v(9). Solve j = 5*j + g for j.
-3
Let h be 0/(4 - (14 + -8)). Solve h*a = -2*a - 8 for a.
-4
Suppose 2*y - 5*p + 6 = -p, 0 = 3*y + 5*p - 35. Solve -1 = -6*o + y for o.
1
Let o(u) = 2*u**2 - 5*u + 2. Let a be o(3). Suppose a*g - s = 8, -3*s - s + 18 = 5*g. Let h be (3/g)/((-3)/(-20)). Solve 0 = 3*l - h + 1 for l.
3
Let d be 176 + -43 + -1 + 1 + -6. Solve d*t = 128*t + 1 for t.
-1
Suppose 3*n + 9 = -0*n. Let k(y) = 2*y**2 + 5*y + 2. Let f be k(n). Let s be 1/f + 34/5. Solve -2*q = -s*q for q.
0
Suppose -10*i - 15 = -15*i. Solve 0 = -i*k - 30 + 18 for k.
-4
Let i be (3/(-2))/(-3)*0. Suppose 8 = -43*k + 47*k. Solve -k*o = -i*o for o.
0
Let c(y) = -y**3 - 45*y**2 - 42*y + 90. Let l be c(-44). Solve l*s = -3*s - 5 for s.
-1
Let q(s) = 2*s - 11. Let r be q(9). Solve r*w - 18 + 25 = 0 for w.
-1
Let y be 66/231 - (2 - 94/14). Solve 0 = -2*n - y + 1 for n.
-2
Let d be 6 - 5 - 59*-1. Suppose -8 - 17 = -x - 3*o, 0 = -5*x - 2*o + d. Solve -3*h = 2*h + x for h.
-2
Suppose -266 + 13 = 11*w. Let l = 24 + w. Solve 0*q + q = -l for q.
-1
Suppose -r - 8 = -t + 4, r - 43 = -4*t. Let j = t + -9. Solve 0*k = -j*k for k.
0
Let n = -95 + 96. Solve 4*o + n = -7 for o.
-2
Let o be (-1)/3 + 57/9. Let j = -7 - -11. Suppose j*r - 3*r + 12 = 4*s, -r + o = 2*s. Solve 4*z - 5 + 17 = r for z.
-3
Let v(b) = -22*b + 34. Let q be v(0). Solve -q*t - 12 = -38*t for t.
3
Suppose 5*z = -2*a + 19, 5*a = 3*z - 3 + 4. Suppose z*f - 9 + 0 = 0. Solve -f*l = -l + 6 for l.
-3
Let f be ((-4)/(-2))/(3/6). Suppose 27 = 2*u - 4*d + 7, 5*d + 12 = -f*u. Solv