 20 = 6*j for j.
4
Let x = 131 + -135. Let m = -4 - x. Solve -2*t + 10 = -m*t for t.
5
Suppose 4*s - 20 = -l, -9 - 11 = -5*s. Solve 8 = l*b - 8 for b.
4
Let d be (-5)/(2 - 11/5). Suppose -5*n - 136*v + 134*v + 30 = 0, -5*n - 3*v + 35 = 0. Solve -n*x = x + d for x.
-5
Let l(k) = -6*k**3 + k**2 - 3*k + 1. Let v be l(0). Solve -3*s + 2 + v = 0 for s.
1
Suppose 37*v - 16*v - 42 = 0. Solve -7*a + v*a = 0 for a.
0
Let v be ((-368)/24)/(2/(-9)). Solve -3*w + 66 = v for w.
-1
Let p(v) = -9*v + 4. Let o be p(-5). Solve 9 = 10*y + o for y.
-4
Let j be ((-2)/4 + 1)*-2. Let r(a) = -7*a - 1. Let p be r(j). Suppose 3*o + 1 = b, -b + o - 6*o + 1 = 0. Solve 0 = -l - p + b for l.
-5
Let i = 4428 - 4427. Let v be (-2)/(-4)*2*3. Solve p - v = i for p.
4
Suppose -w = 2*g - 11, 2*w - 34 = -3*g - 3*w. Suppose -g*x = 2*x. Suppose -q = -x*q. Solve 5*z - 10 + 0 = q for z.
2
Suppose -2 = g - 6. Suppose -2 = 2*k + 5*j, -2*j - 16 = -g*k + k. Solve k*y + 1 = 3*y for y.
-1
Suppose 5*j + 3*r = 4*j + 19, 5*j - 4*r = 38. Solve 0 = -12*l + j*l for l.
0
Let u(n) = 25*n - 117. Let z be u(5). Solve -5*d = -7*d - z for d.
-4
Suppose 2*q = -3*i + 8*i + 37, -3*i = -4*q + 67. Solve -13*c + 12 = -q*c for c.
-4
Let f = 5 - 3. Suppose 0 = 4*s - 3*s + 12. Let w be 3*(f + s/(-9)). Solve 0 = -a + 6*a + w for a.
-2
Let d(j) = -4*j - 24. Let p be d(-7). Suppose -9*l + p*l - 3*x + 11 = 0, -3*l + 4*x = -24. Solve -l*i = -5 - 7 for i.
3
Let c be 0 + (-2508)/(-100) + (-24)/300. Solve -c*n - 5 = -26*n for n.
5
Let r be (-5)/25 + 1/5. Let c(l) = -3*l**2 + 21*l - 25. Let b be c(5). Solve r*a + b = a for a.
5
Suppose 5*g = 3*g + 3*t + 33, -5*t - 50 = -3*g. Solve -11*i = -16*i + g for i.
3
Let t(g) = -53*g + 480. Let l be t(9). Solve 0*r + 4*r = -l*r for r.
0
Let v(b) = -4 + b**3 - 140*b**2 + 3*b - 4 + 135*b**2. Let k be v(5). Solve -13 = 4*i + k for i.
-5
Suppose 0 = -14*w - 14*w + 364. Solve 17*b - 16 = w*b for b.
4
Suppose 3*p = t - 6*t + 40, 5*p - 10 = 3*t. Let k(v) = 3*v**2 + v + 1. Let i be k(-1). Suppose -2*o = -i*o. Solve o = -u + t - 2 for u.
3
Let c be (-11)/(-13) + -1 + (-93240)/819. Let x = c - -123. Solve -5*w - x = -4 for w.
-1
Suppose -53 = -4*t + 7. Suppose -u - 4*u + t = 0. Let f be (-5)/(-2) - 6/(-12). Solve -u*n + 0 = -f for n.
1
Let m = -3 - -10. Suppose -36 = -4*i - 8*i. Suppose -5*n - 6 = -3*u - 8*n, 0 = -u + i*n + 2. Solve 0 = -3*t - m - u for t.
-3
Suppose -10*f = -13*f + 219. Let w = -41 + f. Solve 12 = -4*p + w for p.
5
Let v be (8 - -1)/(3 + (-9)/6). Solve -v - 18 = -12*s for s.
2
Suppose x - t + 2*t - 2 = 0, -2 = 4*x - t. Suppose -n + 0*p + 5*p + 8 = 0, x = 4*n + 3*p - 9. Solve -n*k - 2*k = -15 for k.
3
Let g be (42/24)/(2/24). Let w be 36/g + (-2)/(-7). Let y(v) = v**2 - 2*v + 2. Let r be y(w). Solve f + 2 + r = 0 for f.
-4
Let d(c) = -4*c**2 + 2*c - c - 6*c**3 + 5*c**2. Suppose 0 = 16*w - 17*w - 1. Let g be d(w). Solve 7*z - g = 4*z for z.
2
Let v be 2 + 0 - 6/(-2). Solve -v*p = -12*p - 7 for p.
-1
Let a(r) be the first derivative of -7/2*r**2 - 2 - 6*r + 1/4*r**4 + 4/3*r**3. Let n be a(-5). Solve 1 = -n*v - 7 for v.
-2
Let a be 7 - (80/5)/4. Solve -a = x - 0 for x.
-3
Let p(j) be the second derivative of -j**4/12 + j**3/2 + 9*j**2 - 19*j. Let h be p(6). Solve l + h - 1 = 0 for l.
1
Let l be 3/6*(0 + 2). Let w be ((-1)/1 - -1) + l. Let s be 2/4*(w + 9). Solve 5*x + s = -0 for x.
-1
Suppose 0 = 34*m - 4642 + 1548. Solve m*v + 25 = 86*v for v.
-5
Let x = 23 - 12. Let y = x - 9. Let h be 7 + -6 + y*1. Solve l = h*l + 8 for l.
-4
Let b be 189/(-6)*(-14)/21. Let n = -3 + 1. Let s be 4/((-7)/(b/n)). Solve -s*i + i = -15 for i.
3
Let r(v) = -5*v + 5. Suppose s = -5*j - s, 0 = -2*j - 3*s. Let n be r(j). Solve n - 1 = z for z.
4
Suppose 36*m = 28*m. Solve 3*c = -m - 6 for c.
-2
Suppose -30 = -3*y + b, -3*y - 8*b + 30 = -11*b. Solve -y*h + 4*h + 18 = 0 for h.
3
Suppose -5*c = 50*c - 165. Solve c*z + 5 = 8*z for z.
1
Suppose -48 = -6*v + 3*v + 2*r, -5*v + 2*r = -76. Suppose m + 2*m = 3*c - 27, 0 = 4*m + c + 26. Let g be (4/m)/((-4)/v). Solve g*k = k - 4 for k.
-4
Let s be (3 - -3)/(1 + -3). Let y = 7 + s. Solve 3*d = d - y for d.
-2
Let g(u) = 2*u**3 + 11*u**2 + 1. Let s be g(-5). Let r be (s + -2)/4 - 0. Solve r = 4*n + 2 for n.
1
Let x = 533 + -532. Solve 3*h + 10 - x = 0 for h.
-3
Let u = 5 - -2. Suppose -2*h + u*c + 9 = 2*c, -45 = -5*h + 5*c. Solve d = 4*d + h for d.
-4
Let f be (-2 + 2)*7/(-35). Solve f = 37*k - 33*k + 12 for k.
-3
Let a be (16/(-12))/(-3*1/9). Solve -a*d + 57 = 15*d for d.
3
Let i(y) = 3*y**2 + 2*y - 1. Let m be i(1). Solve -2*p + m = 2*p for p.
1
Let d = 436 - 436. Solve d = -q - 5 + 3 for q.
-2
Let x(n) = n**3 - 2*n**2. Let z be x(3). Solve z = -6*b + 27 for b.
3
Let q(u) = u**2 + 12*u + 14. Let f be q(-11). Suppose -2*o = 4*x - 5*x - 2, -f*o - 5*x + 29 = 0. Suppose o*b - b = 10. Solve -b + 1 = -4*g for g.
1
Let k = -78 - -81. Solve 18 = -k*t + 6 for t.
-4
Let d be (6/(-4))/(1/(-2)). Suppose d*y - 1 = 35. Let k = -9 + y. Solve 0 = -5*w - k - 7 for w.
-2
Let x = -1752 - -1762. Solve 9*r - 28 + x = 0 for r.
2
Let d(k) = k**2 + 4*k - 63 + 26 + 7. Let f be d(-8). Solve 4*c - f = 2 for c.
1
Let m(a) = -a**3 - a + 1. Let t(i) = -6*i**3 + 8*i**2 - 4*i - 5. Let n(v) = 5*m(v) - t(v). Let r be n(8). Solve -6 = r*k - 4*k for k.
3
Let x(z) = 48*z - 238. Let m be x(5). Solve 0 = m*y + 89 - 91 for y.
1
Let c(v) = -14*v + 2. Let t be c(4). Let g = 57 + t. Solve -g = -3*b + 9 for b.
4
Suppose 3*o = 5*u + 8, -20 = o + u + 3*u. Let s be 0/((-1 - 0)*o). Solve 0 = -s*r - r - 2 for r.
-2
Let k(m) = m**3 - 12*m**2 + 19*m. Let i be k(10). Let d be (-4 - 15/i)*-6. Solve -5*p - d + 5 = 0 for p.
-2
Let t = 53 + -44. Let j = t + -1. Solve 3*b + b = -j for b.
-2
Suppose -4*n + 2 + 61 = -3*f, -3*n = 4*f - 16. Solve 51 = -n*o - 9 for o.
-5
Suppose 11 + 895 = -2*x. Let y be x/(-13) - (-2)/13. Suppose -v - 5*j = -19, y = 4*v + v + 5*j. Solve 0 = -4*h + v for h.
1
Let s = 21 + -4. Let j = -16 + s. Let x be (j - -5) + (-4)/1. Solve x + 10 = -3*b for b.
-4
Suppose -4*c - 12 = 0, -294*k + 298*k - 2*c = 18. Suppose -2*b - t + 1 = -b, -3*b + 5*t = -27. Suppose 2 = -2*n + b*n. Solve g = -k + n for g.
-2
Suppose -3*a = 3*l - 51, 3*l - l = -2. Suppose -3*z + 39 = 5*u - 0*u, 5*u - a = 4*z. Suppose u*p = 4*p + 2. Solve 2*o = -9 - p for o.
-5
Let b(r) = r + 1. Let s be 2 - (-2)/2*(2 + -1). Let w be b(s). Solve 16 = 4*f - w for f.
5
Let u(l) = -12*l**3 + 2*l**2 + 7*l + 5. Let r be u(-1). Solve 80 = -8*i - r*i for i.
-4
Let x(g) = -g**2 + 22*g + 11. Let i be x(7). Solve -5*h = 101 - i for h.
3
Let g = 388 + -379. Solve -3 = g*p - 10*p for p.
3
Suppose 4*w - 60 = 10*w. Let k be (-302)/w - (-3)/(-15). Solve 5*x + 10 = k for x.
4
Suppose 2*b - 58 = -4*w - 0*b, 0 = -4*w - 5*b + 67. Let i = w - 5. Let a be (-11)/(-4) + 2/i. Solve a*s = -s for s.
0
Suppose -51 = 5*z - 2*s, -3*z + 4*z - s + 9 = 0. Let r be 12/66 + (-64)/z. Solve 5*q = r - 26 for q.
-4
Let n be (-4)/(-6) + 608/(-57). Let f be (-5)/(n/8) - -9. Solve f = -4*g - 3 for g.
-4
Suppose -3*f - 10 = -4*i, 5*i - 2 = 18. Suppose -3 = f*g - 15. Suppose -d + 4*x + 24 = d, 2*d = -x + 4. Solve d*t + g = t for t.
-2
Suppose -33*z + 188 = -37*z. Let h = -47 - z. Solve h = -3*x + 1 - 4 for x.
-1
Let o = 26 - 15. Let l = -698 - -699. Suppose 3*s - 7 + 1 = 0. Solve l - o = s*j for j.
-5
Let i = 1 - -3. Suppose f + i*f = 0. Let n be ((3 - -1) + -3)*f. Solve n = -0*y + 5*y + 15 for y.
-3
Let g be (1*12)/((-165)/(-30) + -5). Solve 0*y + 8*y = -g for y.
-3
Suppose 22*m + 18 = 25*m. Let y be (10/m + -2)/((-3)/9). Solve x - y = -0*x for x.
1
Let u = 8 - 3. Suppose 0 = -u*y + 23 - 3. Suppose 3*k + 3 = 2*c + 7, y*k = -c + 9. Solve i - c = -3 for i.
-2
Suppose 5*q = -39*q + 484. Solve q*p = 1 + 32 for p.
3
Suppose -26 = 4*k + 5*x + 12, -k = -4*x - 1. Let o be 12*(-5 - k - 2/6). Solve -7*t - o = -3*t for t.
-5
Let w = 115 + -65. Let r = w + -46. Solve 0 = -5*v + r + 11 for v.
3
Suppose -z - 27*n = -24*n - 16, 0 = -2*z + 2*n. Solve z*a = -6 - 10 for a.
-4
Let a be (-14 + -5)*(-2 - -1). Let o = -16 + a. Let k be 0 - (0/(1 + 3))/2. Solve k = o*p - 3 for p.
1
Let z = -3 - -8. Suppose 0 = z*n + 52 - 177. Suppose -n = 2*i - 7*i. Solve i*r + 10 = -15 for r.
-5
Let h = 11 + -14. Let z(m) = -2*m. Let u be z(h). Suppose -b = -2*y + 9, 3*y - u*b - 21 = -3*b. Solve y = q - 0*q fo