 26 = -4*u for u.
-4
Suppose d = 3*d - 8. Suppose -d*b + 0*s = 2*s - 58, 2*s = -2. Suppose -3*v = -w + 2, -5*w + 3*w + 4 = -v. Solve w*n = -n - b for n.
-5
Suppose -43 = -4*i - 5*t, 4*i - 9 = -t + 22. Let n = i - 2. Solve -s = -n*s for s.
0
Suppose 0*k = 8*k. Solve -5*t = -20 - k for t.
4
Let l be (-140)/(-21) - 2/(-6). Solve -3 = 2*i + l for i.
-5
Let w = 157 + -152. Solve -3*y + 4 + w = 0 for y.
3
Let n(k) = k**3 + 8*k**2 + k - 3. Let h be n(-3). Suppose -5*i - 9 = -h. Solve -2*o - 14 + i = 0 for o.
-4
Suppose l - 2*c = -10, -c + 2 = -2*l - 3. Solve l = 3*h + 12 - 3 for h.
-3
Suppose 2*w = 3*y - 3*w - 85, 55 = 2*y - 3*w. Let l be 1/(0 + 4/y). Solve -5*q = l + 15 for q.
-4
Let r(a) be the first derivative of -a**3/3 + 4*a**2 - 7*a + 3. Let v be r(7). Let j = 6 - v. Solve u - j = -1 for u.
5
Suppose -2*b - 10 = 0, 5*x = -7*b + 6*b + 15. Solve x + 16 = 5*l for l.
4
Let n(r) = 2*r**2 + 8*r - 7. Let j be n(-5). Let y be 2*1/(-4)*0. Solve y = 2*p + 7 + j for p.
-5
Suppose 5*m + 5*f = 174 - 29, -4*m + 3*f + 88 = 0. Suppose a - m = -4*a. Suppose -a*z + 59 = -1. Solve 5*v = 3 + z for v.
3
Let w be 1/((-1)/(1 + -2)). Suppose k = -w, -4*o - k + 12 = 3*k. Solve -2*s = o - 0 for s.
-2
Suppose 6*t = t. Let s = 14 - 11. Suppose -2*w - s*o = -4*w + 24, t = 4*o. Solve 8*z + w = 5*z for z.
-4
Let l = 12 - 12. Suppose p - 5 = -l. Solve 4 - 9 = p*s for s.
-1
Let h(r) = 29*r - 1. Let a be h(1). Suppose a = -5*b + 3. Let i be 2/(-4) - b/2. Solve i*f - 1 = f for f.
1
Let u = 20 - 19. Solve 1 + u = -2*d for d.
-1
Suppose -o + 2 = o. Let x = o + 1. Solve 0*q = x*q - 10 for q.
5
Let a(c) = c + 6. Let w be a(-6). Solve w*f = -5*f + 10 for f.
2
Suppose 18*u - 43 = -25. Suppose c + 2*c - 3*t = 27, 3*c - 5*t - 37 = 0. Solve c = 3*p + u for p.
1
Suppose -3*p + 0*n = 3*n - 3, -5*p - 4*n = 0. Suppose -3*s + 2*q = -18 + 4, 2*q = -s + 18. Let v = s + p. Solve -v = j - 3*j for j.
2
Suppose -3*g = o + 15, 2*g + 20 = o - 2*g. Suppose o = 2*s - 6*s, 0 = 4*u - 4*s - 24. Solve 3*r = u + 3 for r.
3
Let i(t) = -t**2 + 9*t + 14. Let h be i(10). Suppose u + 5 = 2*u. Solve u*y = h*y for y.
0
Let x(j) = j**3 - 8*j**2 + 9*j - 14. Let t be x(7). Solve t = -p - p for p.
0
Let u = -6 - -11. Let i = -3 + u. Solve i*m = -1 - 3 for m.
-2
Let m be (12/(-4))/(2/(-6)). Let n = m + -13. Let b = n - -6. Solve v + 1 = -b for v.
-3
Let m = 6 + -6. Suppose m = j - 5. Solve -y = -2*y - j for y.
-5
Suppose 8*p = 3*p + 20. Suppose 3*j = u + p*u + 6, -2*u = 0. Solve o + j - 1 = 0 for o.
-1
Let r(t) = -t**3 + 3*t**2 + 6*t - 3. Let p be r(4). Let f = 2 + p. Solve 0 = 2*n - f*n - 20 for n.
-4
Let s = 5 + -3. Let y be s/12 + 5/(-30). Suppose y*q = -q. Solve q = -0*n + 5*n - 25 for n.
5
Suppose -4*g + 66 = 5*p + 4, 0 = p - 5*g + 5. Solve -p = 3*v - 1 for v.
-3
Let p = 12 + -4. Let b = -5 + p. Solve 5*t + 2 = -b for t.
-1
Let f be (-8)/2*(-27)/(-12). Let l be -2 - (0 - 2) - f. Let b be -3*1*(-6)/l. Solve n = b*n - 4 for n.
4
Let y(w) = 3*w - 22. Let u be y(14). Solve -p = 3*p + u for p.
-5
Let u be ((-18)/21)/(1/(-7)). Suppose 0 = 2*k - u - 2. Solve 4*l - k + 0 = 0 for l.
1
Suppose -5*h - 5 = 0, 2*b - 4*h + 0 = 8. Suppose -k - b = -2*k. Suppose k*w = -w + 15. Solve -5*n - 5 = w for n.
-2
Suppose 3 = 3*p - 3. Suppose -p = -3*a + 13. Solve 4*m + 11 = -a for m.
-4
Suppose 30 = 4*y + y. Solve -y = -a - 3 for a.
3
Let w be (-210)/(-9)*6/5. Solve 8 = 5*d + w for d.
-4
Suppose 0 = -u + 2 - 8. Let s be 4/u - (-10)/6. Solve 6 = 5*r + s for r.
1
Let d(j) = 4*j**2 - 9*j + 5. Let x(q) = -3*q**2 + 8*q - 5. Let l(r) = -2*d(r) - 3*x(r). Let h be l(5). Solve h = -0*v - 3*v - 3 for v.
-1
Suppose 3*o = 3*x + 21, 4*o - x - 22 = -0*x. Solve 3 = o*s + 18 for s.
-3
Let s(b) = -b**2 - 6*b - 3. Let r be s(-4). Suppose -r = -2*x - 4*u + 5, -5*x - 1 = -3*u. Solve -3 = -m + x for m.
4
Let t(o) = -o**3 - 4*o**2 + 3*o. Let z be t(-5). Let p = z - 6. Solve 5 = -d - p*d for d.
-1
Suppose 0 = -5*s - 24 + 89. Let t = -6 + s. Solve -2*o = -t*o for o.
0
Suppose -5*j = -7 - 53. Solve 0*z - j = 4*z for z.
-3
Suppose 4*c + 4*x - 96 = 0, 3*c - 79 = -4*x - 3. Solve 3*l + l = -c for l.
-5
Let a(p) = p**2 - 4*p + 1. Let w be a(4). Solve -w - 4 = 5*f for f.
-1
Let x be (-5)/10 - (-15)/6. Let y be 60/1*x/6. Solve -s - 4*s = y for s.
-4
Let a(g) = -g**3 + 3*g**2 + 2*g - 1. Let j be a(3). Solve 2 = -j*v + 12 for v.
2
Let b = 78 - 72. Solve b = -3*a + 3 for a.
-1
Let z = 3 - -1. Suppose f = -5*u + z*u - 109, f + 114 = 4*u. Let x be 2/(-5) - f/25. Solve -x*o = -9 - 3 for o.
3
Let k(n) = -8*n + 2. Let g be k(-3). Suppose 5*r + g = -4*l, -5*l + 2*r - 30 = 7*r. Let q = l + 4. Solve j + 1 + 2 = q for j.
-3
Let p be 66/4 - 6/4. Suppose p = 2*f - 9. Solve 3*y = -y + f for y.
3
Let o(p) = 2*p - 1. Let a be o(3). Suppose 0*q = -q + a. Let t = q + -5. Solve t = -4*v + 7*v for v.
0
Let n be -1*((-2 - -3) + -2). Let b = 1 + n. Let r(w) = -2*w + 1. Let i be r(-1). Solve b*q = i + 3 for q.
3
Suppose 6*y = y - o + 18, -5*y + 5*o = 0. Solve 1 = y*t - 5 for t.
2
Suppose -71*m + 40 = -76*m. Suppose 12 = 3*j, -5*j = 8*v - 4*v + 12. Let h = v - m. Solve 0*l + l = h for l.
0
Let t(s) = -s**3 - 4*s**2 - 2*s + 9. Let d be t(-4). Suppose -4*n + d = -7. Solve 2 = -2*o - n for o.
-4
Let f(u) = -u**3 - 15*u**2 - 27*u - 9. Let x be f(-13). Solve -2*l + 3*l - x = 0 for l.
4
Let x be 351/21 + (-4)/(-14). Let q = 17 - x. Solve -2*k + q*k + 2 = 0 for k.
1
Suppose t - b + 3*b + 18 = 0, 2*t + 31 = -3*b. Suppose 5*l + 3*r - 45 = -20, -2*l + 1 = 3*r. Let a = l + t. Solve o + 3*o - 12 = a for o.
3
Let o be (1 + -1)/(-3 - -5). Suppose c + 8 = 4*m, -m = -0*m - c - 2. Let v = m - o. Solve -v*u = 12 - 2 for u.
-5
Suppose -5*o - 31 = -4*q + q, 3*o = q - 17. Solve q*u + 0*u = 0 for u.
0
Let p be -3*(0/(-3) - 1). Let i = p - 2. Solve 5*v - 4 = i for v.
1
Suppose 7*l - 2*h - 27 = 2*l, 0 = 2*l + 2*h - 8. Suppose -l*z = -7 + 2. Solve z = n - 0 for n.
1
Let s = -16 + 11. Let h be 4/(s + 4) - -6. Solve 18 - h = 4*l for l.
4
Suppose -4 + 0 = -4*z. Let j(n) = -n**3 + 5*n**2 - 4*n - 1. Let g be j(3). Suppose -5*v = -5*o + g, o = 2*v + v - z. Solve -o*p = -0 - 8 for p.
4
Let f(p) = 3*p. Let k be f(2). Suppose 50 = 4*z - 2*d, -4 - 21 = -5*d. Solve 3*j - z = -k for j.
3
Let w(p) = -6*p - 1. Let l be w(-1). Let s be (-3)/(-3) + 2 + -3. Solve l*r - 22 - 3 = s for r.
5
Suppose -2*l = -b + 16, 2*b - 20 = b + 4*l. Suppose 3*h = 5*a + 1, 0 = -3*a - 6 + 18. Solve 3*o = h*o + b for o.
-3
Let f(v) = -v**2 - v - 1. Let r be f(-4). Let n = -7 - r. Let q = 38 - 23. Solve 0 = -3*g - n + q for g.
3
Let t(c) = -2*c**3 - c**2 - 2*c - 1. Let r = -12 - -11. Let y be t(r). Solve b - y = -4 for b.
-2
Let n = 7 - 3. Suppose n*y = y + 18. Suppose -2*r = -y*r + 8. Solve -11 = r*h - 1 for h.
-5
Let a = 5 + -4. Let y be (-8)/12*-3*a. Let t be y - -2*(0 + 1). Solve -11 = -t*r - 3 for r.
2
Suppose -9 = r + 36. Let w be 1*(r/3)/(-3). Solve -w*g - 10 = 15 for g.
-5
Suppose 5*y = 2*y + 15. Suppose 2 = y*g - 8. Solve h = -g*h - 3 for h.
-1
Let t(a) = a - 3. Let p = 0 - -4. Let u be t(p). Let r be u/(-1)*(1 - 1). Solve r = -5*n + n for n.
0
Let r(n) = -n**3 - 13*n**2 - 12*n. Let x be r(-12). Let f(g) = -g + 5. Let z be f(0). Suppose c + z = k, k - 17 = -x*k + 5*c. Solve -12 = 2*m + k*m for m.
-3
Let g = 0 - 3. Let b(o) be the first derivative of o**4/4 + 4*o**3/3 + o**2/2 - 2*o + 4. Let p be b(g). Solve -2*w + p = -6*w for w.
-1
Let a(r) = r - 4 + 2*r - 4*r. Let j be a(-7). Suppose -2*k = -5 - j. Solve 1 = l - k for l.
5
Let q(m) = -m**2 + 7*m. Let w be q(6). Suppose u - w*u + 8 = 4*d, 5*d = -4*u + 10. Solve 0 = d*p + 3 - 7 for p.
2
Let y = -17 + 17. Solve y = -6*t + 3*t for t.
0
Suppose 5 = l - 0. Solve 0*h = -l*h + 5 for h.
1
Let y = 42 + 3. Suppose 2*j + 2*k - 34 = 0, -5*j + 5*k = 2*k - y. Solve -t + 5*t + j = 0 for t.
-3
Let q = 21 - 11. Suppose 3*w + 4 = q. Solve -5*i = -w*i - 6 for i.
2
Suppose f = 52 - 12. Suppose o = 6*o + f. Let w = 9 + o. Solve d - 2 = -w for d.
1
Let b be (4/(-6))/((-22)/297). Let q be (11/3)/(3/b). Suppose -j + 0*j - q = -s, s - 10 = 2*j. Solve -5*l = -s - 13 for l.
5
Let d = -61 - -66. Solve -d*i = -3*i for i.
0
Let d be 1 - (1 + (-1 - -1)). Let i be -8 + 2 - (9 - 15). Solve d = -i*z + 3*z - 15 for z.
5
Let v = 10 + -10. Solve v = -4*x - 0 + 20 for x.
5
Let y(t) = 2*t**2 + 4*t + 1. Suppose -d - 3 = -0*d. Let 