3*q for n.
-5
Suppose 3*c + i - 5 = c, 0 = -4*c - 3*i + 11. Solve 4*m + n = -21, 3 + 3 = -c*m + 4*n for m.
-5
Suppose 5*i + 0*i + 15 = 0. Let f be 25/3 + i/9. Suppose p = -p + f. Solve c + 3*c = -s - 7, -p*c = 4*s + 4 for c.
-2
Let b(q) = 5*q - 1. Let m be b(1). Suppose -m*v + 2*d + 0 = 2, 3*v = -d - 9. Let c be (-7)/(-4) + v/(-8). Solve -2*y + 0*y + 12 = z, 3*y - 11 = c*z for z.
2
Let i = 131 + -121. Solve 5*l = -4*c + i, 4*c - c - 5*l = -10 for c.
0
Let z = -15 + 17. Let f(g) = g + 1. Let u be f(z). Solve 2*d = 5*c - 0*d, -u*c - d = 0 for c.
0
Let t be ((-4)/5)/(2/25). Let x = t + 15. Suppose -x*j + 15 = 0, -5*z + z + 27 = 5*j. Solve 3*u = -s - 12, 4*s + z*u = -3 - 0 for s.
3
Let t = 156 - 151. Solve -5*s = 5*f - 10, 0*f - f - t*s + 14 = 0 for f.
-1
Suppose 9*k - 6*k = 21. Let m = -5 + k. Solve 0 = y + x - 1 + m, 2*x - 22 = 4*y for y.
-4
Suppose 4*b + 66 = 7*b. Solve 4*v + 5*j - b = 0, -2*v + 5*j - 2 = j for v.
3
Let k(n) = -2*n + 1. Let c be k(-1). Suppose 0 = c*q - 8*q. Solve r + 5*h - 7 + 1 = q, 4*r = 5*h - 26 for r.
-4
Let z(j) = j - 4. Let q be z(6). Let a be (-2)/17 - 424/(-136). Suppose a = 3*i - q*i. Solve 2 = -i*n + h, 4 = -2*n - 4*h - 2 for n.
-1
Let s = 7 - -8. Let a be (10/(-25))/((-2)/20). Solve -o - s = -3*g, -a*o - 5*g = -o - 25 for o.
0
Suppose 0 = -4*y - 3 + 31. Let s(t) = t**2 + 6*t + 3. Let a be s(-4). Let d = y + a. Solve -10 = 2*c + d*u, -c + 2*u = 2 - 6 for c.
-2
Let n(v) = -v**3 - 7. Let o be n(0). Let x = -7 - o. Solve x = -3*m + 12, 3*i - i = 2*m - 2 for i.
3
Suppose 25 = 5*g - 20. Let l be (-4 - (1 + -3)) + 4. Solve g = 2*m - 4*i - 11, 3*m + l*i = 6 for m.
4
Let m = 25 - 21. Solve 0 = 3*a - m*d + 3, 2*a = 3*d - 5*d + 12 for a.
3
Suppose 6*i - 12 = 2*i. Solve -4*j = -i*a - 3 + 27, 4*a = -4*j + 4 for j.
-3
Suppose 0*c = 5*c. Suppose -6 = -l - c*j - j, -5*l + j + 30 = 0. Let g be (2 + 3/(-2))*l. Solve -2*t - 4 = g*i, 0 = -2*t + 2*i + 3*i - 20 for t.
-5
Let m(t) = -t**3 - 3*t**2 + 2*t + 5. Suppose -c - 3 = 2*n + 3, 2*n + 14 = 3*c. Let y be m(n). Solve -4*g = 3*q + g + y, -5*g = 4*q + 9 for q.
4
Let p(g) = g**2 - 9*g + 4. Let a be p(9). Suppose -5*f - 2 = -12, 2*f - a = 4*b. Suppose 7 = -3*q + 43. Solve 3*o + b*o - q = -2*d, -o + 4 = 3*d for d.
0
Let c(d) = -d - 3. Let f = -8 - -3. Let m be c(f). Suppose a + 3 = m*a. Solve -w = 2*t - a*t, -t = -3*w for t.
0
Suppose -s - 2*s = 5*g - 46, 2*s - 24 = -2*g. Let p = 14 - s. Suppose 0 = -3*t - r + p, 4*t - 3 - 2 = 3*r. Solve 0 = -5*a + w - 23, -3*w = -2*a + w - t for a.
-5
Let s = 6 - 15. Let i = s - -30. Solve -4*f = -3*d + i, 0 = -2*f - 0*f + 3*d - 15 for f.
-3
Let n = -24 + 44. Suppose -5*x + n = -0*x. Let c = x + -1. Solve -5*q - 35 = -5*s, 2*s + c = -q + 2 for s.
2
Suppose 0 = 3*c - 27 + 15. Solve -c*s + 2*q + 0*q = 8, 0 = 5*s - 5*q for s.
-4
Suppose -16*m + 19*m = 12. Solve 5 = r + 5*u - 24, -20 = -m*u for r.
4
Let w(z) = -z**3 + 8*z**2 - 6*z - 5. Let d be w(7). Solve 5*q - d*c = -5, q - c + 2 = -2 for q.
1
Let b be (-1)/(-2) + (-3)/(-2). Let h = 8 + -5. Solve -b*f = 3*l - 11 + 3, -h*l - 16 = -4*f for l.
0
Let h = 10 + -8. Solve h*d - 1 = 3*t, 2*d - t = -4*t + 7 for d.
2
Let p = -12 + 17. Solve p*v - 5*i - 30 = 0, 5*v + i - 18 = 3*i for v.
2
Suppose 5*l = 3*s + 2*l - 9, 3*s - 23 = -4*l. Solve 3*k - k - 4 = 2*n, 4*n = k - s for k.
1
Let i(l) = -l + 2. Let u be i(-8). Suppose 4*h - u = 2. Suppose -h*y + 2*y + 4 = 0. Solve t - 24 = -y*b - t, 11 = 3*b - 2*t for b.
5
Suppose -2*x = 3*y + x - 12, 4*y = 4*x + 32. Let n be 6/(-6) + y/2. Solve -2*o + 4 = 4*l, 4*l - 2*l = n for o.
0
Suppose 12*z - 9*z = 0. Suppose 4*m - 2*l - 4 = z, 4*m - 2*l = -m + 7. Solve 3*k = -m*j + k + 22, -5 = -5*j + 3*k for j.
4
Let s be ((-21)/7)/((-6)/4). Suppose 0 = -c - s + 6. Solve -1 = -4*t + 5*t - n, c*t + 4*n - 4 = 0 for t.
0
Suppose -21*r + 20*r = -4. Solve -2*g + 2*b = 2, 2*b - 6*b = -2*g - r for g.
0
Suppose 5*j - 28 = -4*d, 5*j - 5*d - 8 = 2. Suppose -2*i + 5 = f + 1, 0 = -j*f - 3*i + 11. Solve -b + f*r + 1 = 4*b, 0 = -3*b + 2*r - 1 for b.
1
Let c = 0 - -1. Let l be c*(-2)/3*-3. Solve -3 = -4*f - 5*v, 4*f - v - l*v + 21 = 0 for f.
-3
Let c(a) = -a**3 - 3*a**2 - 4*a - 1. Let i be c(-2). Suppose 2 = -i*y + 53. Solve -y - 13 = -3*k + 5*t, 3*t = k - 14 for k.
5
Suppose 0 = -9*s + 4*s + 20. Let t = 6 - s. Solve -t*f + 12 = 3*k - 0*f, k + 3*f = 11 for k.
2
Let q(z) = 5*z + 2. Let k be q(-2). Let c = 11 + k. Solve 0*y = c*l - y + 3, -l - y = 5 for l.
-2
Let i(p) = p**3 - 6*p**2 + 6*p - 1. Let l be i(5). Suppose -l = h - 6. Solve -4 - 2 = -2*v - h*t, 2*v = -5*t for v.
5
Let k be 3 - (5 + (-94)/2). Solve 5*l + k = -3*y + 11, 0 = 4*l + 5*y + 35 for l.
-5
Let p(f) = 0*f - 10*f - 17*f. Let j be p(-1). Suppose 5*r - 6*r = -j. Solve -3*a + r = 5*y, 5*a - 35 = -5*y - 0*y for y.
3
Let t = -19 + 13. Let i(p) = p**3 + 5*p**2 - 5*p + 6. Let f be i(t). Solve w - 17 = -0*o + 3*o, f = -3*w + 3*o + 27 for w.
5
Let z(i) = i**3 - 4*i + 3. Let s be z(2). Suppose s*m + 12 = v + v, 4*v + 2*m = 8. Suppose -v = -u - 0. Solve 0*h - h = f + 4, -u*h + 23 = -4*f for f.
-5
Let b be (6/(-1))/(3/(-5)). Suppose b = 3*w - w. Solve 0 = -w*t + 3*n + 16, n = 3*t + 5*n - 27 for t.
5
Suppose d = 2*j - 10, 0 = -3*d + d + 5*j - 22. Let q be ((-14)/d + -2)*6. Suppose 0 = t + q*t. Solve 0 = -2*c + 4*p + 10, -c + 3*c + 4*p - 2 = t for c.
3
Suppose 0*i - 15 = -3*i. Suppose -3*o + 5*p = 4*p - 13, -i*p + 15 = 5*o. Let f = 23 + -3. Solve -f = o*a - 0*a + 4*h, 5*h + 1 = 3*a for a.
-3
Let t(r) = r**3 + 3*r**2 + 2*r + 3. Let f be t(-2). Solve n = -3, 5*u - f*n + 11 = u for u.
-5
Let w be (-22)/(-6) + (-3)/(-9). Let v be -3*w/(-18)*21. Solve 0*n = -4*p - 4*n - 24, -n = -3*p - v for p.
-5
Suppose 13 = x + 2*c - 3, -54 = -5*x + 3*c. Suppose 0*a + 4*a - x = 0. Solve 4*q - 12 = 5*p, p - 6*p + a = q for q.
3
Let m be 5/15 - 5/(-3). Suppose 2*k + m*z = 16 - 2, 3*k - 29 = z. Solve -3*h + d + d - 9 = 0, -3*h - k = 3*d for h.
-3
Suppose 0 = 21*r - 107 + 2. Solve 3*n - 9 = -m - n, 2*m = r*n - 21 for m.
-3
Let u(y) = 2*y**2 - 5*y + 3. Let p be u(3). Suppose 4*j = p*j + 8, 58 = 3*o + 5*j. Suppose -3*c + 47 - 11 = 0. Solve 2*i = -i - c, o = 5*g - 4*i for g.
2
Let f = 89 - 85. Solve -j + 1 = v, -j + v - 5 = -f*j for j.
2
Let p(n) = n**2 + 2*n - 1. Let w be p(-3). Solve l - 2*v + 4*v + 2 = 0, -2*l = -w*v - 2 for l.
0
Suppose 0 = -36*a + 26*a + 30. Solve 0*b - a*b = x, -2*x + b = 0 for x.
0
Let b = -20 + 32. Let m = b + -8. Solve 8*d - 3*d - n = 0, -m*n = -5*d - 15 for d.
1
Suppose 0 = -5*p + 22 + 3. Suppose 2 + 4 = 3*r. Solve p*f + 8 = r*a + 3*f, -12 = 4*f for a.
1
Let o(j) = 8*j + 1. Let p be (1 + -4)*(-1)/3. Let x be o(p). Solve -5*i - 9 = 2*m, i - 3*m - 2*m = x for i.
-1
Let t(x) = -2*x - 13. Let o be t(-9). Solve 12 = 3*m, -6*m = -o*n - 4*m - 8 for n.
0
Let y be 24/(-8)*(-4)/3. Suppose -155 = -y*x - 3*b - 43, -28 = -x + 5*b. Let z be (-6 + -1)*(-8)/x. Solve 2*d - 12 = -4*i, z*d - 4*d - 33 = -5*i for i.
5
Let z(f) = 5*f - 38. Let v be z(8). Solve -2*t + 16 - 6 = 5*a, 2*a = -v*t + 4 for a.
2
Let i = -36 - -52. Let p be (i/20)/(2/10). Suppose -3*z + z - 2 = -p*k, -z + 5 = k. Solve 4*d - 2 = 3*s + 1, k*d + 21 = -3*s for d.
-3
Suppose 2*i - 77 = -5*y, 3*y + 4*i = 30 + 19. Solve -5*l + 11 = -c, -2*c - c = l - y for l.
3
Let h = -16 - -10. Let f(b) = -b - 4. Let m be f(h). Suppose 5*n = m*q + 10, -2*n + 4*q + 10 = 3*n. Solve -s = 5*a + 2*s + 27, -n = -2*a + 2*s for a.
-3
Let i(u) = -u**3 + 2*u**2 + 2*u**2 - 9*u + 6*u**2. Let a be i(9). Suppose 2*b = -a*b. Solve -3*x + 10 = -2*q, q + 0*x + 3*x + 5 = b for q.
-5
Suppose 3*q - 5 = 7. Solve w + 19 = -q*o, -4*w + 23 = -4*o - w for o.
-5
Let i = 6 - 4. Suppose 3*p - 1 = 8. Solve 2*s - 5 = -n + i, p*s = 6 for n.
3
Suppose -5*m = -87 - 8. Suppose -2*o + m = 7. Solve 4*h - t = 12, -h + 6*h + 4*t + o = 0 for h.
2
Let g(o) = -o**2 + o + 3. Let q = -4 - -8. Suppose q*a = -a. Let u be g(a). Solve -l - 2 = -2*j, u*j - 2*l - 3*l = -4 for j.
2
Let g(u) be the third derivative of u**5/60 + u**4/24 + 3*u**2. Let f be g(-3). Solve 13 = 2*p + 2*s + 1, -2*p + 4*s = -f for p.
5
Let t = 42 - 38. Solve 2*a - t*z = -6 - 0, -21 = -4*a - 3*z for a.
3
Suppose 29*d + 12 = 33*d. Let v(y) = -y**2 - y + 1. Let m be v(0). Suppose -5*z + 5 = -0, -39 = -4*u + z. Solve u = 2*s, d*s + m = i - 5*i for i.
-4
Suppose -4*w + 10 = 2, -2 = -4*a + 5*w. Solv