n*c - 30 for b.
-4
Suppose 0*l - 3*p - 92 = -5*l, 2*l = -2*p + 24. Solve 6*u = 4*t + u - l, 4*u = 5*t - 11 for t.
-1
Let u = -2 - -4. Solve 0 = 3*p - 0*p + 5*y + 22, -u*p = -5*y - 27 for p.
1
Let h be (-18)/15 - -1 - (-138)/15. Let z = -3 - -1. Let t be (z/2 + 0)*-3. Solve -t*n - y + h = -6*n, -19 = 2*n - 5*y for n.
-2
Suppose 0 = z + 2 - 5. Let w be 1/(3*z/54). Let v be (-4)/((-1)/(9/w)). Solve 5*x + v = -3*r - 1, 0 = 3*r - 3*x - 9 for r.
1
Let w be (8/(-10))/(2/(-10)). Suppose 5*x = 159 + 721. Let h be ((-6)/12)/((-2)/x). Solve -5*g + 11 - h = w*a, g + 5*a = -15 for g.
-5
Let v(l) = l + 7. Let z be v(-5). Let o be (z/(-4))/(-1)*34. Solve 4*m - m = 4*j + 8, -o = -5*j - 3*m for j.
1
Let h be ((-10)/8)/(147/(-28) - -5). Solve -32 = h*o + 4*z, 4*z + 0 = 2*o - 4 for o.
-4
Suppose 4*g + 25 = -15. Let k = -7 - g. Solve 0*a + j = 5*a + 12, j = -k for a.
-3
Let i = 7 - 9. Let j be 0 - (-3)/(-2)*i. Let r be (24/(-18))/((-2)/j). Solve 0 = 2*h - 5*m + 29, -2*h + 21 = r*m + 3*m for h.
-2
Let m = -5 - -9. Let f be m + (-2 + 3 - 0). Solve s + 2 = 0, -f*l + 1 = -s + 4 for l.
-1
Let y be -1*(-30)/7 - 2/7. Solve 3*n = -y*g + 11, 2*n - 3*n - 5*g + 22 = 0 for n.
-3
Let s be 7/2 + (-1)/(-2). Let c(j) = s + 2*j - 4*j**2 - 2*j - j**3. Let m be c(-4). Solve 0 = 5*a + 3*x - 10, 0 = a - m*x - 2 - 0 for a.
2
Let c = 124 + -124. Solve -24 = -2*m + 4*y, y = -m - c*y for m.
4
Let n(b) = -b**3 - 9*b**2 - b - 4. Let p be n(-9). Solve -x + p*x - 12 = 2*d, -2*x = 5*d + 6 for x.
2
Let f(p) = 2*p**2 - 2*p - 1. Let q be f(2). Solve -n + k = q, -3*k = -0*k - 6 for n.
-1
Suppose -5*k + 25 = -7*j + 2*j, -38 = -4*k - 2*j. Solve 6*o - o + 20 = 5*v, -5*v + 2*o = -k for v.
0
Let k(d) = d + 1. Let j be k(4). Solve -3*z = 4*o + o - 20, -4*z = j*o - 25 for o.
1
Let v = -9 + 11. Suppose -3 = -v*s + 77. Solve 3*j + s = 5*g, -3*g - 10 = -g + 4*j for g.
5
Suppose 2*p - 4*p + 8 = 0. Solve 0 = 4*u - p*x + 28, -12 = 5*u - 2*x + 14 for u.
-4
Let o = -18 + 24. Solve -5*r = -g - o, -g - 1 = -r - 3 for r.
2
Let r be (0 - 0) + 24 + -13. Solve 0 = 2*s - 3*m + r, 2*s + 4 + 5 = m for s.
-4
Let m(b) = b - 5. Suppose -g - 29 = -3*g + 3*i, -5*g + 3*i + 59 = 0. Let h be m(g). Solve 0*l + h*l = -2*q - 13, l = -4*q + 1 for l.
-3
Let b = 3 - 1. Suppose -b*i + 10 = -0*i. Solve 3*a = g + 3 - 6, i*g - 3*a - 15 = 0 for g.
3
Let c be (-2)/(-3) + 16/12. Suppose -39*f + 8 = -35*f. Suppose -3*g = -8*g + 15. Solve -3*o = g*r - 2*o - 1, c*o = 5*r + f for r.
0
Suppose 0 = 2*h - 11 + 1. Suppose 3*f - 4*f - h = 0. Let i = -1 - f. Solve 9 = s + 3*q, -4*s + 20 = i*q + 8 for s.
0
Suppose 0*k - 4*u - 43 = -3*k, 0 = -4*u - 16. Suppose -5*b + 24 = -3*b. Let r = b - k. Solve -13 = c + r*z, 5*z + 12 = c - 7 for c.
-1
Let d be ((-333)/(-36))/(1/4). Suppose -5*g - 14 = -4*n + 33, -g = 5*n - d. Solve 2*u + 7 = l, 3*u + 9 = -5*l - n for u.
-4
Suppose x + 9 - 4 = 0. Let i(y) = -y**2 - 7*y - 8. Let s be i(x). Solve s*w = 2, -2*l - 4 = -5*l - 4*w for l.
0
Let p be ((-21)/(-4))/((-6)/24). Let i = p - -25. Solve n - 6 = -n - i*y, 0 = -5*y for n.
3
Suppose 7*k - z = 4*k + 7, 2*k = 5*z - 17. Suppose -4*l - 4*w + 2*w = -8, -16 = -k*l + 2*w. Solve -l*j + 12 = -6*i + i, 1 = -j for i.
-3
Suppose k - 6 = -4. Suppose -3*u = k - 8. Solve 0 = -4*z + 4, 0 = u*y + 2*z + 2*z + 6 for y.
-5
Let b be -3 - (0 + -1 + -36). Let g = 67 - b. Let d = -15 + g. Solve -q = -5, 0*q - d = 3*t - 3*q for t.
-1
Let n = 9 + -8. Let x(y) = 5*y - 1. Let v be x(n). Solve i - v*j = -15, 5*i - 3*j = 6*i - 20 for i.
5
Let z be (-2)/5 - (-81)/15. Suppose z*m + 10 = -3*g + 7*g, 3*g = 15. Solve 3*v + 5*b - 35 = 0, 0 = m*v + 2*b - 19 + 1 for v.
5
Suppose -26 = -4*r + 2*t, -r + 13 + 11 = -4*t. Suppose 0 = 2*f - 3*l - 7 - 14, 2*f = -r*l. Solve f*v - 3*v = -y + 7, 0 = -v + 2 for y.
1
Suppose 0 = -p - 2*r + 7, 2*r = 5*p - 2*r - 7. Suppose 25 = -5*u, 2*k - 7*k = p*u. Suppose -k*o + 0 + 9 = 0. Solve -o*v - 6 = -v + 4*j, -4*j = 4 for v.
-1
Suppose 8 = 5*y - 4*a, 0 = 6*y - 5*y + 2*a - 10. Solve 2*s - 6*s - 15 = 5*m, -s - y = m for s.
-5
Suppose -4*g = -6*g + 36. Suppose 41*z = 46*z. Solve z = 3*n + v - g, -n - 10 = -7*v + 2*v for n.
5
Let t = -4 + 12. Suppose -2*b = -4*w + t, 0*b - 8 = -4*w + b. Solve 2 = 3*p - 4*y, 3*p - w*y = 4 - 0 for p.
2
Let g be -4*4/((-16)/9). Let y be (-26)/3*g/(-6). Solve -3*a + 6 = 2*n, -5*n = -5*a - y - 2 for a.
0
Let k(y) be the first derivative of -y**3/3 + 3*y**2 - 3*y - 3. Let f be k(5). Solve -5*w - 8 = x + 6, -f*x = -4*w for x.
-4
Suppose 5*d - g - g - 11 = 0, -4*d + g + 10 = 0. Solve 4*z - 4*j - 7 = -d, 0 = -5*j - 10 for z.
-1
Suppose 5 = 2*c - 5. Solve -c*n - 16 = -3*q, n + 2*n = -5*q + 4 for q.
2
Let s = 3 + -1. Suppose n - 3 + 1 = u, 2*n + 5*u = 11. Solve 4*t + s = -z, 0 = 2*t + z + 5 - n for t.
0
Let j(p) = p**2 - p + 12. Let s be j(0). Suppose -3*n = -4*n. Let i be (-2)/6 - 14/(-6). Solve -i*x - 1 = -x, n = 5*k - 2*x - s for k.
2
Let j(x) = -8*x - 8. Let y be j(-1). Solve -3*i + 3*s = -6, y*i = 5*i + 5*s + 30 for i.
-2
Let x = -7 + 11. Let p(a) = a**3 - 6*a**2 - 5*a - 5. Let u be p(7). Solve r = x, -2*r + 14 + u = -3*t for t.
-5
Let t = 6 + -4. Let x = 19 - 9. Suppose -x = -4*n + 2. Solve 0 = h - 3, n*f - 7*h = -t*h - 6 for f.
3
Let b = 10 + -7. Suppose s + 6 = 3*j, -3*s - 2*s + 6 = -b*j. Solve 2*x - 24 = -j*a - a, a - 9 = -2*x for a.
5
Let w = -128 - -131. Solve 2*u = w*v + 3, 2*u + 3*u + v = 16 for u.
3
Let t(y) = -y**3 - 7*y**2 - 13*y + 3. Let q be t(-6). Suppose -4*v + 11 = 3*p, 0*p - 26 = -5*p + v. Solve -q = 5*g - p*r, 0*g - 2*g - 5*r + 17 = 0 for g.
-4
Let r(l) = l**3 + 10*l**2 - l + 10. Let u be r(-10). Suppose u = 3*a + a. Solve -5*w + 25 = -z, -z - 2*w - 17 = -a*w for z.
-5
Let q = -9 - -11. Let u(f) = 9*f. Let i be u(q). Solve 4*o = 3*x - 10, 5*x + i = -3*o + 2*x for o.
-4
Let r(g) = g**2 + 1. Let f be r(6). Let v = 62 - f. Solve 7*l = -z + 2*l - 25, z = 5*l + v for z.
0
Suppose -4*z - 4*i = -5*i - 5, -3*z = 2*i - 12. Solve -3*h + 7*d + 16 = 2*d, z*h - d + 1 = 0 for h.
-3
Let d be 32/24*(-3)/(-2). Solve -5*x + p = -0*x - 20, 4*p - 10 = d*x for x.
5
Let m(b) = b**3 + 20*b**2 + 18*b - 6. Let w be m(-19). Solve 2*p + p + 3*q = 27, -5*q = -3*p - w for p.
4
Let v(r) = r**3 - 2*r**2 + 2*r - 1. Let s be v(2). Solve -s*g + 5*g = 4*m - 12, -12 = -3*g for m.
5
Suppose 5*b = 4*b + 4. Suppose -g - 2 = 4*v, v + b = 5*v - 2*g. Solve 2*o + 3*t + 1 = v, -3*t - 6 = -5*t for o.
-5
Let j(z) be the second derivative of -z**4/12 + 3*z**3/2 - 9*z**2/2 + z. Let l be j(6). Solve 4*w + 4 - l = -t, 4*w = t - 5 for t.
5
Let s be (-1 + 31)*((-12)/5)/(-6). Solve -2*m + 2*z = -s, 3*z = 5*m + 8*z for m.
3
Suppose 3 + 5 = 4*k. Let v(y) = -y**2 + 2*y + 7. Let z be v(5). Let o = -1 - z. Solve k*i + o = -i + x, 0 = 4*i + 3*x - 8 for i.
-1
Let x = -13 - -21. Suppose -3*w - 2*a = -3*a + 25, -3*w - 2*a - 31 = 0. Let j be (2 + 48/w)*-3. Solve d - 2*t - j = 0, 2*d - 3*t = -2*t + x for d.
2
Let h = 5 - 7. Let r(m) = 2*m**2 + 3*m. Let y be r(h). Solve -8 = -y*p - 2*f, 3*p - f = -2*f + 10 for p.
3
Suppose o - 10 = 10. Solve t + 6 = -d, -3*t + o = -5*d - 2 for d.
-5
Suppose -8*u = 3*u - 495. Solve 0 = 5*o + 4*w - u, -7 - 3 = -o - w for o.
5
Suppose 2*w - 2*q - 39 = -3*w, -3 = -q. Let m be (0 + 0)*3/w. Solve -3*z - 4*v = -21, 5*z - 4*v + m = 3 for z.
3
Let l(z) = -2*z. Let q be 56/6 - 2/6. Suppose -1 = 5*w + q. Let p be l(w). Solve -p*v + 5*g = -26, -2*v + 3*v - g = 6 for v.
4
Let d(a) = 6*a**2 + a - 2. Let l be d(-2). Suppose -l = -5*p + 5*m, -3*p - 2 = p + 5*m. Solve -o = 4*k - 5, p*k = -2*o - 0 - 2 for o.
-3
Let k = 87 - 87. Solve 0*w - 5*l + 13 = -w, -3*w + 2*l = k for w.
2
Suppose -5*b - 19 = -2*m - 1, -4*b - 16 = -2*m. Solve -2*a + 3*x + 4 = m*x, 4*a = -5*x + 14 for a.
1
Let l = 6 + 7. Let r be (1 - -2) + 6 + -5. Solve -15 = -3*c, -5*c + 16 + l = -r*m for m.
-1
Let l be -2*(2/7 - (-176)/(-77)). Solve -5*y = -5, 3 = g + l*g - 2*y for g.
1
Let o(g) = -2*g - 6. Let r be o(-4). Let m = 1069 + -1061. Solve 3*v = -c + m, -5*v + 2 = -2*c - r*c for v.
2
Let n(k) = k**2 - 2*k - 12. Let d be n(-4). Solve -p + 9 = 2*b, 3*b + p - d = -0*p for b.
3
Suppose -6*k - 5*y - 16 = -4*k, 5*k - 26 = 4*y. Let x = 1 + k. Suppose -4*g = -x*g - 11. Solve 5*q - 4*f + 5 = 0, 2*q + 0*f + f = g for q.
3
Suppose 0*w = -w. Suppose -k + 16 = 3*k. Let u be (64/(-24))/((-2)/3). Solve -i + 4*p - 23 = -7, 