-4*b + 9*b = 20. Solve 3*u + j = b*u for u.
4
Let o = -24 - -24. Suppose o = -c - c. Solve c = 5*q - q - 4 for q.
1
Suppose -3*t = -5*s + 47, -4*s = -8*s + 2*t + 38. Solve -4*m - s + 2 = 0 for m.
-2
Let n(f) = -8 - f + 3*f + 3. Let p be n(3). Solve p = y + 5 for y.
-4
Let q(v) = 1 + 2*v**2 + 2*v**2 - 2*v**2. Let j be q(1). Suppose -10 = -2*z, -j*a - 2*z = -2*a - 10. Solve -5*r + r + 4 = a for r.
1
Let i be (-2 - 9)*(-2)/(-2). Let l = i + 18. Solve 2*k - 1 = l for k.
4
Let v = 5 + -5. Solve v = 2*w - w + 4 for w.
-4
Let u(d) = 13*d - 1. Let n be u(1). Let g = -3 + -1. Let q be (-5)/(-1) - (g - -5). Solve 0*w - n = q*w for w.
-3
Let n(k) = 2*k**2 - 5*k. Let r be n(5). Solve -2*q - r = 3*q for q.
-5
Suppose -2*h + 18 = 4*h. Solve 0 = 4*o - o + h for o.
-1
Let j = 4 - 4. Solve -d - 1 = -j*d for d.
-1
Let k be (1 - -1)/((-2)/(-13)). Let u = k - 10. Solve 6*p - u = 3*p for p.
1
Suppose -4*i - 6 = 3*m, 1 = -3*i + 2*m + 5. Solve i = -3*n + 13 + 2 for n.
5
Suppose -2 = -2*r + t + 2, 3*t = 6. Suppose 0 = -3*s - 3*u, -5*u = -8*s + r*s. Let g = 11 + -6. Solve s = 4*o + 7 + g for o.
-3
Let t(o) = o**3 + 18*o**2 + 18*o + 22. Let y be t(-17). Solve 0*a + 25 = y*a for a.
5
Suppose -2*s = 13 - 5, 2*v + 5*s + 4 = 0. Solve -2*f - v = -6*f for f.
2
Let f(k) be the third derivative of k**6/120 - k**4/8 + k**3/3 + 3*k**2. Let c be f(3). Solve 6*g + c = 2*g for g.
-5
Let k(l) = -l**2 + 4*l - 1. Let y be k(3). Let p be 3/(-12) - y/(-8). Suppose 0 = -3*o + 6 - p. Solve -2*i - o*i = 4 for i.
-1
Let j be 2 + (-2 - -1) - -3. Suppose 16 = 3*z - j*y, 2*y + 4 = 4*y. Let v be 46/z - 1/(-4). Solve 3*k = -0 - v for k.
-2
Let q(x) = -x + 13. Let c be q(7). Let i(s) = s**3 - 5*s**2 - 5*s. Let f be i(c). Solve f*h - 4 = 2*h for h.
1
Suppose 2*d + 1 = c + 3, -d - 4*c = -10. Suppose -4*x + 72 = -0*x. Let i = -9 + x. Solve i - 1 = d*f for f.
4
Let y(p) = p**3 - p**2 - 1 - 3*p**2 + 4. Let k be y(4). Let q = k - 0. Solve q*l - 2 = -5 for l.
-1
Let r(y) = y**2 + 2*y - 1. Let z be r(1). Suppose 5*c - 3 = z. Solve -7 = -3*m - c for m.
2
Let f(k) = k**2 + 20. Let y be f(0). Solve l - y = 5*l for l.
-5
Suppose u = -5 + 7. Solve u*c = -1 + 5 for c.
2
Suppose 2*h = 4*r - 26, 0*h = -r - 3*h - 11. Let d(u) = -u - 2. Let w be d(-2). Solve -t = -w*t + r for t.
-4
Let r = -15 + 17. Solve -t = -r*t for t.
0
Let d be 4/(-18) + (-80)/(-36). Solve -d*z - 4 = 4 for z.
-4
Let u(n) = -3 - 2*n - 2 + n + 15. Let t be u(5). Solve -x + 0*x + t = 0 for x.
5
Let u be (-10)/(((-1)/(-3))/(5/(-15))). Solve -u = -4*n - 2 for n.
2
Suppose 0 = 5*s - 2*p - 14, s + 2*s - 2*p = 10. Solve 7*c - 25 = s*c for c.
5
Let y be 3/(-18)*3*0. Solve -p - 2 = -y for p.
-2
Let y be 6*(-3)/((-18)/4). Suppose 0 = 5*h + m + 28, -y*h - 32 = -4*m - 0*m. Let b = h + 6. Solve b = 5*w + 13 + 2 for w.
-3
Suppose -17*n = 3 - 3. Solve 0 = 5*s + 25 - n for s.
-5
Let d be (6 - 40)*1/2. Let v = -12 - d. Suppose 3*n + v*o - 11 = 0, 0*n + 2*o + 4 = 3*n. Solve 0 = n*x - 4 + 2 for x.
1
Let f be -2*1*(-3)/2. Suppose -16 = f*n - 4*i, -n + 3*i - 12 = -0*i. Solve -y + 6*y + 25 = n for y.
-5
Let f(u) = 2*u**2. Let y be f(1). Suppose 0 = 5*s - 7 + y. Let p be 6 + (0/s - 2). Solve 0*c - p = -c for c.
4
Let y = 14 + -14. Solve -g - 1 + y = 0 for g.
-1
Suppose 3*r = 2*h + 34, 0 = 5*r + 5*h - 20 + 5. Let u = -4 + 7. Suppose -m - 1 + 6 = p, 2*m = -u*p + 12. Solve -t = m*t - r for t.
2
Let g be 80/36 - (-2)/(-9). Suppose z = -g*z. Suppose -s = -1 - z. Solve -s = -2*f - 5 for f.
-2
Let h = -6 - -8. Let d(a) = -h*a**3 + 31 - 11 + 3*a**3 + a**2. Let c be d(0). Solve y - c = 5*y for y.
-5
Let l be -2*(1 + (-2)/1). Let b be ((-1)/l)/(1/(-12)). Suppose 2*y + 3*c + 6 = -1, 4*c + 16 = 4*y. Solve -w = -y + b for w.
-5
Suppose 4*k = -0 - 8. Let g be (-1)/4*k*0. Suppose g = 2*r - 4*r + 2. Solve 5*w + r = 6 for w.
1
Suppose 4*i - 3*k = -15, -2*i + 5 + 0 = k. Let l(p) = 2*p**2 - p + 4. Let j be l(-3). Let z = 9 - 5. Solve i = -o - z*o - j for o.
-5
Suppose 20 = -2*w - 4*o, 4*o + 20 = w - 0*o. Let x = w - 0. Suppose -r - l = 0, x*l - 3*l = 5*r. Solve r = u + 2*u for u.
0
Let o be (1 + -2)*(4 + -2). Let z be (3 - (-6)/o)/(-2). Solve z = -0*x - x + 3 for x.
3
Let r(m) = -5*m**2 - 9*m - 14. Let u(q) = 2*q**2 + 3*q + 5. Let x(g) = -3*r(g) - 8*u(g). Let c be x(2). Solve -p + 3*p + c = 0 for p.
-2
Suppose 6*s - 1 = 5. Solve -3*z = 5 + s for z.
-2
Let f(w) = 2*w - 12. Let c be f(7). Let h(m) = 2*m + 1. Let a be h(c). Solve -a*x = -2*x + 12 for x.
-4
Let w be -2 + (-44)/(-12) + 3/9. Solve 0 = -0*z + w*z - 6 for z.
3
Suppose -4*n = -4*k + 28, 3*k = n + 3*n + 26. Suppose k*o = -0 + 12. Let b = o - 2. Solve -j - b*j = -15 for j.
3
Let w(g) = 7*g**3 - 2*g**2 + g. Let s = -7 + 8. Let f be w(s). Solve -5*a - f = 14 for a.
-4
Let z = 10 - 5. Suppose -z*x = 5*u - 3*x - 6, -u + 2*x + 6 = 0. Solve u - 7 = -5*o for o.
1
Let g(s) = -s - 9. Let o be g(-8). Let p(b) = 7*b**2. Let v be p(o). Solve -v*r = -2*r + 5 for r.
-1
Let a = 8 + -6. Suppose 0*d = a*d - 20. Solve 5*m + 15 = -d for m.
-5
Suppose 0 = 3*p - 5*p. Let y = 2 + p. Suppose 0*q = y*q. Solve q = 2*w + 4 + 2 for w.
-3
Suppose y + 0*y - 16 = 0. Suppose -m + 34 = -5*x + 11, -4*x - y = 0. Solve -2*a + a = -m for a.
3
Suppose -4*g + 4 = -4. Let b(q) = -q**3 - 3*q**2 + 5*q + 4. Let a(u) = u**2 + 12*u - 4. Let p be a(-12). Let v be b(p). Solve 0 = -g*w - 2 - v for w.
-1
Let s be 1 - 4 - 54/(-9). Solve h = s*h for h.
0
Let t = -144 + 146. Solve t - 8 = 3*p for p.
-2
Suppose 2*k - 4 - 4 = 0. Let s = 0 + k. Solve s*g = 3*g + 1 for g.
1
Let h be 1 + ((-27)/(-3))/(-3). Let w = 14 + h. Solve -2*f = 2*f + w for f.
-3
Suppose 5*k = 2*o, -4*o = 5*k + o. Suppose k = 3*j - 6*j + 9. Solve -2 + 14 = j*n for n.
4
Suppose 4*d = -5*r - 1 - 1, 2*d = 4*r - 14. Solve h - r*h = 2 for h.
-2
Suppose -3*s + 18 - 12 = 0. Solve 2*l - 8 + s = 0 for l.
3
Let c(b) = 4*b**2 - 2*b - 2. Let v be c(2). Suppose -y - y = -4. Solve 7*t - v = y*t for t.
2
Let y be (-3)/9 - 14/(-6). Suppose 0 = -x + 2*x - 10. Solve -x = -0*t - y*t for t.
5
Suppose 3*a = -b + 7, -b + 3*b - 5 = 3*a. Let j = 9 - b. Suppose 0 = j*k + 4*z - 55, 0 = -3*k - 2*z + 52 - 17. Solve 0 = -3*d + k for d.
5
Suppose -6*f = -3*f. Suppose 3*y = -3*c - f*y, 3*y = 0. Solve n + n - 6 = c for n.
3
Suppose -2*z = -1 - 3. Solve -3*j = -z - 1 for j.
1
Let t = 17 - 12. Suppose 0 = -2*y - 5*u + 20, u = t*y + 6*u - 65. Solve 4*c = -c + y for c.
3
Suppose 2*c = 3*s - 0*c + 13, c + 16 = -3*s. Let q = s - -7. Suppose 0 = 3*g + 191*l - 188*l - 12, 3*g - l = -4. Solve g = -q*m - m for m.
0
Let l(w) = 2*w**2 + 9*w - 9. Let g be 2/(-3)*72/(-16). Let m(i) = -i**2 - i + 1. Let x(b) = g*m(b) + l(b). Let u be x(4). Solve -1 = -u*r - 5 for r.
-2
Let y be -1*(0/(-2) - -2). Let v be 79*(-1 - y) + 1. Suppose f - v = -3*f. Solve n + f = 6*n for n.
4
Suppose -29 = -0*s - 2*s + 5*t, -4*s - 12 = 4*t. Solve s*j + 3 = -3 for j.
-3
Suppose 4*q + q + 3*z = 6, z = 2*q + 2. Solve q*x - 2*x = -4 for x.
2
Let n(v) = -v**2 + 7*v + 3. Let c be n(4). Let f = -35 + 38. Solve -f = -4*q - c for q.
-3
Let h(v) be the first derivative of v**4/4 - 4*v**3/3 + 2*v**2 - 3*v + 2. Let j be h(2). Let b = -3 - j. Solve b = 6*z - z - 25 for z.
5
Let s(u) = u**3 + 6*u**2 + 5*u + 8. Let t be s(-5). Solve 0 = -4*d - t - 12 for d.
-5
Suppose -140 = -18*z + 4*z. Solve o + z = 8 for o.
-2
Suppose 0 = -0*p - 2*p. Let a = p + 13. Suppose -5*y + u + a = -0*u, 3*u = 6. Solve -2 = -4*x + y*x for x.
2
Suppose 5*g + 8*j - 3*j = 0, -2*g + 4*j = -18. Let w(d) = 2*d - 4 + 1 - g - 2. Let k be w(6). Solve k*f = f - 9 for f.
-3
Let i be 6 - (8/(-10))/(8/(-20)). Solve -6 = y - i*y for y.
2
Let f be 3 + -2 - (0 + -1). Solve f*m + 16 = -2*m for m.
-4
Let a be (-2)/(-6) - 34/(-6). Let w(k) = -k**3 + 2*k**3 - 4*k - 5*k**2 - 3 - k. Let i be w(a). Solve -1 + i = 2*q for q.
1
Suppose 19 = 2*w - 5. Solve -j = 3*j - w for j.
3
Suppose 3*g - 3*m = 19 + 8, -g + 4*m = -24. Solve -5 = -g*k - 9 for k.
-1
Let j be 0/((-8)/52 - 11/13). Solve j = -3*k + k + 4 for k.
2
Let b(i) = -3*i - 13. Let o(s) = 16*s + 66. Let x(q) = -11*b(q) - 2*o(q). Let z be x(-9). Solve 0 = z*a + 2*a for a.
0
Let j(u) = -u**3 + 11*u**2 - 11*u + 13. Let c be j(10). Solve 20 = -c*d - d for d.
-5
Suppose -24 = 2*y - 3*r, -y + 0*r + r = 12. Let z be y/(-8)*118/3. Suppose -5*h - 5*c + z = -c, -4*h + c = -64. Solve 4*j + j = -