n + 3*l + 3 = 0 for n.
2
Let k = 61 + 4. Let m = k - 60. Solve 19 + 6 = -5*u, -m*g = 5*u + 5 for g.
4
Suppose 0*l = -5*l. Suppose 2*i - 14 = -l*i. Solve -5*z - 4*p - i = 0, -2*p = -0*p - 4 for z.
-3
Let m = 26 + -22. Let h = -6 + 6. Suppose h = k - 2*k + 2. Solve 3*p - k*p - 2 = 3*q, 3*p + q + m = 0 for p.
-1
Suppose 4*n + 5*n - 36 = 0. Let s = 4 - n. Suppose 3*f + 0 = -r + 10, 5*r + f - 50 = s. Solve -2*i + 0*o + 2*o = 4, -5*o + r = -2*i for i.
0
Let q be 760/12 + 4/6. Let g = 66 - q. Solve -2*m + 3*v + 9 = -5, g = -v for m.
4
Suppose -55 = -5*x + 70. Suppose x*f = 23*f + 36. Solve r + 18 = 2*r + 4*y, 3*r + 3*y - f = 0 for r.
2
Suppose 3*o - 11 = -5*d, -4 + 2 = -2*o + 2*d. Suppose -u = -3 - 21. Solve -3*s - u = 4*h - 2, -2*h + 5*s = -o for h.
-4
Let y = 1042 - 1037. Solve -20 = -3*q + 7*q + 2*b, -q = y*b + 5 for q.
-5
Let z be 1*24/10*(-165)/(-99). Solve 6 = -o + 3*o, d - 14 = -z*o for d.
2
Let s be (-10)/(4 + (-9)/2). Suppose -23*y + 42 = -s*y. Let w = -3 - -6. Solve z - w*x = -x, -z - y = 5*x for z.
-4
Let g be 2/3 + (-5)/((-90)/5406). Suppose g = 7*b + 70. Solve c = -2*t + 13, -c - 4*t + b - 10 = 0 for c.
3
Suppose -2 = -3*z + 25*o - 26*o, -2*z - 3*o = 8. Solve -6*p + 2*t = -z*p - 6, -t - 5 = -4*p for p.
1
Suppose 5*r + 625 = 3*g - 7*g, 471 = -3*g - 3*r. Let q = -155 - g. Solve 2*w - 5*c - 22 = -3, 0 = -w + c + q for w.
2
Let m = -70 + 73. Solve 0*u - m*u = s + 16, s = -4*u - 21 for u.
-5
Let d = 940 + -931. Solve 4*l + d = t, 0*l - l - 1 = t for l.
-2
Let o(y) = y**3 + 3*y**2 - 6*y - 2. Let f be o(-4). Let m be 1 + (f/1)/(-3). Let x be m*(3 - 1 - 5). Solve 3*g + 0*g = 4*h - 5, -6 = -3*h + x*g for h.
-1
Suppose 22*n + 32 = 38*n. Solve 0 = -4*r + 3*i + n*i + 5, 0 = -2*i - 2 for r.
0
Suppose -4*b + 36 = -48. Suppose 3*p + 12 = -3*h, -3*h = -p + h + b. Let z be -5 + (p - -3) - -9. Solve -2*g = -5*t + z, -5*g = 3*t - 5 - 6 for t.
2
Suppose -2*x - 2*p = -5 - 13, 16 = 4*p. Let l(i) = -i**2 + 7*i + 3. Let z be l(7). Let t be (z + 80/(-12))*-3. Solve q + 3*k + t = 0, 2*q + 9 + x = -2*k for q.
-5
Let t = 7 + 0. Suppose -n - t = -29. Suppose 6*h - n = 4*h. Solve 1 = b - i, 4*i + h - 2 = -b for b.
-1
Let a(r) = -4*r**2 - 28*r + 34. Let f be a(-8). Solve 2*u = -4*i + 18, -4*i - 3*u + 21 = f*u for i.
4
Suppose -7*v + 3*v = -16. Suppose 5*x - 36 = -v*x. Solve -2*w + x*d + 30 = 0, 0 = w + 2*d + d + 10 for w.
5
Let c = 212 - 203. Solve 2*y - 2*t + 10 = 0, 2*t = c + 1 for y.
0
Let k = -39 + 45. Suppose 2*b + 0 = -2. Let g be (-4)/b - (0 + -6). Solve p - 3*n = -0*n + g, -p + n = -k for p.
4
Let w be (6/4)/(4*(-6)/(-32)). Suppose -8*u + w*u = -18. Solve -r = 5*v + 22, 0 = 2*v + u*v - 4*r + 12 for v.
-4
Suppose 5*x = -q - 597, 0 = -4*x - 5*q - 350 - 115. Let r = x - -124. Solve 0 = 2*p + 5*h + 15, -r = 4*h for p.
-5
Suppose 13*i - 65 = -0*i. Suppose 0 = -3*g + 11 - i. Solve 3*d - 5*r - 8 = 0, -g*d - r + 3 = 2*d for d.
1
Suppose -4 = 6*c - 10*c. Suppose 3*a - 4*m - 2 + 7 = 0, -2*a - c = -5*m. Let f be a/(-2)*20/6. Solve -3*j - i - 8 = 0, 5*i = -4*j + f*j + 8 for j.
-3
Let q = 0 + 80. Suppose -3*d = -2*k + 2 + 38, 4*k = 4*d + q. Let u = 6 + -4. Solve -n + 15 = -2*n - 2*x, -2*x = u*n + k for n.
-5
Let q = 292 - 290. Suppose 26 = -0*w + 2*w. Solve 0 = -q*n + 4*n + i - w, -4*n = i - 21 for n.
4
Let w(g) = g**3 - 5*g**2 + 6*g + 2. Let d be w(3). Suppose -3*h = -3*i + 12, 4*i + d*h - 4*h = 14. Solve a + 4*a = -i*o + 15, -o = 5*a - 5 for a.
0
Let b(m) = 7*m + 4. Let j(z) = -z**2 + 5*z + 6. Let r be j(6). Let h be b(r). Solve -h*f = -3*v - 2 + 3, -5*f - 4*v = 9 for f.
-1
Let p = -8 - -11. Suppose -u - p = -9. Let t = 9 - u. Solve -4*s - 5*j + 7 = 31, -2*j - 11 = t*s for s.
-1
Let i = -60 + 58. Let l be 18/(-8) - i/8 - -4. Solve -l*r - 4 = -m - m, 4*m + 4*r + 24 = 0 for m.
-2
Let r(a) = -3*a - 4. Let v be r(-3). Let y(d) be the first derivative of d**3/3 + 3*d - 3. Let x be y(v). Solve -3*k = 5*g - x, 18 = 5*g + k - 8 for g.
5
Let l be ((-3)/(-9))/(4/6 - 1). Let f be 2/5*(-5)/l. Solve -4*h + f*k = k - 2, 4*h = -3*k + 10 for h.
1
Let h be (6/(-10))/3 - 646/(-5). Let s = h - 126. Solve -21 = s*i - 2*l, 2*l - 13 = 5*i + 6*l for i.
-5
Let p be 44/(-66) - 67/3. Let i = p - -26. Solve -4*f - 9 = 5*t, i*t + 3 = -f + t for f.
-1
Suppose -l + 24 = 5*l. Let w be (-3)/12 - (-9)/l. Solve o = 5*o - u, -u = w*o for o.
0
Let c(i) = -i**3 - 20*i**2 + 43*i - 14. Let z be c(-22). Let n be (-2)/z - 21/(-84). Solve -j - 3 = 0, -p - 2*j - 14 + 4 = n for p.
-4
Let u = 688 - 673. Solve -3*q - b = 2*q - 24, -2*q + 5*b = -u for q.
5
Suppose -i = -3*s - 32, 0 = 3*s + 3*i + i + 52. Let v be (-1)/1 + s + 10. Let t be (-4 - 9/v)*-3. Solve 5*y + 5*p = 0, t = -4*p - 9 for y.
3
Let i be (-7)/4 - -2 - 529/644*-7. Suppose -2*r + 3*v - 2 = 0, -r = -2*v - 0 + 2. Solve 5*q = g - i, -3*q = r*q - 4*g - 6 for q.
-2
Suppose -6*y + 17*y = 11. Solve -2*m = 2*v + y - 11, 2*m + 3*v = 12 for m.
3
Let j = 0 - -3. Let k = -541 - -545. Solve 12 = -5*f + j*y, 6*y + k = 2*y for f.
-3
Let p be 70/(-14)*34/5. Let n = 38 + p. Solve z = -4*t + 20, 0 = -0*t - n*t - 5*z + 20 for t.
5
Suppose 49 - 31 = 6*p. Solve 14 = -3*l + 2*m, p*l - m = 5*l + 7 for l.
-4
Suppose 0 = 4*h - 55 - 5. Suppose 5*f - h = -5*g, -2*f - 4*g + g + 6 = 0. Solve -3*j = 9, -3*j + 2 = f*m + 11 for m.
0
Let j(z) = 2*z + 21. Let a be j(-25). Let x = a - -29. Solve 4*p + 5*q - 2 = -x*q, 0 = -4*p - q + 10 for p.
3
Let j = 1486 - 1482. Solve -2*x - x + 5*k = -10, k + 25 = -j*x for x.
-5
Let n(k) = k**2 - 5*k + 4. Suppose 3*f - 4 - 11 = 0. Let j be n(f). Suppose 27 = 5*z + 2*i - 0, 4*z = -j*i + 24. Solve -3*s - 4*v = -z*s - 12, -2*v = -2 for s.
-4
Suppose -g - 2 = -3*h, h - 4*h - g = -10. Suppose -h - 2 = -d. Solve -5*l - 8 = 4*a, d*a + 2*l + 1 = -7 for a.
-2
Suppose 0 = 26*m - 27*m + 12. Let c(u) = 2*u + 2. Let p be c(-6). Let q = m + p. Solve h + 28 = -4*h + q*v, -24 = 4*h - 2*v for h.
-4
Suppose -p - 5 = -0*p. Let x(o) = -2*o - 10. Let w be x(p). Solve 3*a = -5*z - 23, 3*z = -w*a + a - 11 for z.
-4
Let s = 1327 + -1326. Solve 5*i - 2*a = -19, -i - 2*a + 2 - s = 0 for i.
-3
Let l(r) = r**3 + 22*r**2 - 8*r - 34. Let u be l(-22). Let d = u - 138. Solve 0 = -2*f - 0*f - s - 10, 4*f + 24 = -d*s for f.
-4
Let j(n) = n**3 + 6*n**2 + 7*n + 1. Let d be j(-3). Solve k - d = 3*g - 0, g - 7 = 5*k for g.
-3
Let a = 31 + -29. Suppose f + a = 0, 0 = u - 6*u - 3*f + 89. Solve -u = -0*v - 3*v + 5*x, 3*v - 7 = -x for v.
3
Let y = -53 - -58. Solve 3*t = -3*h + 3, -t + 0*t = y*h - 13 for h.
3
Let n(p) = 5*p - 68. Let j be n(17). Solve -2*k + 3*s = j, 5*s = 5*k + 6*s + 17 for k.
-4
Let s(b) = -b**2 + 5*b**2 - 35 + 37 - 8*b. Let l be s(3). Solve -5*v + 2 = g + l, -v + 5*g = -8 for v.
-2
Let c = 13 - 15. Let j be c/((-4 + 3)/1). Suppose -f - 4*l = -1, 2*f - j*l = -3*f + 27. Solve -f*d + 5*z = 5, -3*z = -d - 4*z + 3 for d.
1
Suppose f - 1 = -3*k - 28, 5*f + 175 = 5*k. Let o = f - -40. Solve -o*y - 12 = -u - 3*y, 3*y = -5*u - 32 for u.
-4
Let y(q) = -q**2 - 13*q - 11. Let w(z) = z**2 + 13*z + 12. Let s(t) = -2*w(t) - 3*y(t). Let d be s(-14). Solve -d = -2*x - x + 4*n, 2*x = -4*n + 2 for x.
5
Suppose -i - 2*n = -5, 5*n = -2*i + 7*i - 25. Solve -w + b + 13 = -b, -5*w + 45 = -i*b for w.
5
Let s = -31 + 39. Let b be 140/s - 2/4. Solve -b = -4*f - 3*t, -5*f + 4*t - 5 = -t for f.
2
Suppose 80*o = 72*o + 24. Solve 2 = u - 4*c - 12, c - o = -3*u for u.
2
Suppose z - 4*v + 3*v = -41, -3*z - 131 = -v. Let u be z/(-10)*(-2)/(-3). Solve 3*i + 2*i - w - 23 = 0, -7 = -4*i - u*w for i.
4
Let q(v) = -6*v + 3. Let n be q(-2). Let f = -11 + n. Let g(l) = l**2 - 2*l - 3. Let b be g(f). Solve -3*y = 4*t, -y - 3*y - b*t = 0 for y.
0
Let o = 113 + -110. Solve o*k = -4*q + 23, 0 = -0*k + k - 5 for q.
2
Suppose 0 = 29*k - 46 - 41. Solve -2*a - o + 0*o = -3, 5*a - 7 = -k*o for a.
2
Let v = -399 + 403. Solve -p = -5*f + v*p, p = 5*f + 8 for f.
-2
Let z(y) = 3*y**2 + 1. Let c be z(-1). Suppose f = 4*n - n - 10, -4*n + 2*f = -12. Suppose -182 = s - 210. Solve n*m - c*w + s = 0, 0*w + 4*w = 16 for m.
-3
Suppose -5*w + 18 = w. Suppose -w*t + 4 = -t. Solve 0 = -3*s + 5*k + 16, -6 - 13 = 3*s + t*k for s.
-3
Suppose l = -2*r + 50, -r = 3*r - l - 88. Let y = r - 167. Let n be ((-2)/3)/(8/y). Solve 5*k = -3*f - 9, -4*f - k = -6*k + n for f.
-3
Suppose 43*h = 52*h - 45. Solve 0 = n - h, 4*n - 24 = w - 0*w for w.