 m, 3*b = -n*c + 15 for c.
3
Suppose 4*q - 46 = -3*h + 41, -4*q - 2*h + 86 = 0. Let m = q + -19. Solve 0 = t - c + m, -2*c + 8 = 2*c for t.
0
Let p(n) = -n + 7. Let o be p(8). Let i = 5 + o. Solve -5*m - 16 = 3*s, 5*s - 29 = i*m + 2*s for m.
-5
Let t(c) = c**3 - 4*c + 3. Let f be (-64)/(-28) - (-2)/(-7). Let z be t(f). Solve 0 = -4*d - r - 14, -9 = z*d - r - 2 for d.
-3
Let a(b) be the second derivative of b**4/12 - b**3/6 + 6*b**2 - b. Let u be a(0). Let g = 24 + -19. Solve 0 = 5*y + 2*j - u, y + g*j + 5 = 6*y for y.
2
Suppose -10*g + 11*g = 0. Solve q - 15 = 5*z + 6, g = 4*q + 4*z + 12 for q.
1
Let q be 0*-2*2/(-4). Solve -5*l + 20 = -q*s - s, 15 = 2*s + l for s.
5
Suppose -6 = -6*a + 4*a. Suppose -a*p = 12 - 27. Solve 2*u + 2 = -3*h - 14, 0 = 5*h - 3*u - p for h.
-2
Let q be (6/2)/(15/(-20)). Let t = 8 + q. Solve -13 + 1 = 5*l - t*g, 2*l = 5*g + 2 for l.
-4
Let b be ((-5)/(-10))/((-1)/(-26)). Suppose b = g + 2*v, -5*g + 6 = -v - 4. Solve -2*r + 20 = -4*z - 7*r, 12 = -2*z - g*r for z.
0
Suppose 1 - 5 = r + 3*a, -r + a = -4. Solve -2*s + 4*y - 10 = 0, 0 = s - 5*y + 4*y + r for s.
1
Let v = 4 - 0. Suppose 5*j = 3*s - 0*s - 35, -16 = 4*j. Solve 4*i + 5*y + 11 = 0, y - s*y - 8 = v*i for i.
1
Let w = 11 + -6. Solve h = -5*r - 2, 7*h + w*r = 3*h + 7 for h.
3
Let t be 60/75*(4 - -1). Solve -w - y = 0, 0*w + y - t = 3*w for w.
-1
Suppose 2*j - 12 = -4*b, -4*j + 5*b - 6 = -5*j. Solve j = -4*a - 3*z - 11, a = z - 6 for a.
-5
Suppose 4*o + i = 35, -14 = 3*o - 4*o + 5*i. Suppose -3*p - m - m + o = 0, -3*m = 0. Solve 3*s = q - p, -3*s + 1 - 10 = -3*q for q.
3
Suppose 16 = 3*m + 7. Solve j - 12 = 2*j + 3*x, -m*x = -5*j + 12 for j.
0
Suppose 3*m + g + 1 = -4*g, 0 = -4*m + g + 14. Solve 2*x + 7 = n, 0 = m*x + 5*n + 18 + 12 for x.
-5
Let g(k) = 10*k**2 + 3*k - 2. Let i be g(-2). Solve -4*b - 4*n = i, 4*b + 3*n + 6 = -23 for b.
-5
Let b be (-22)/(-6) - (-2)/6. Suppose -i - 27 = -b*i. Let s = 51 + -46. Solve s*l - 12 = 4*h, 5*l - 2*h = h + i for l.
0
Let u be 2/(-6) + (-30)/(-9). Let w(x) = 6 + 2*x - 3*x + u. Let f be w(5). Solve -3*t - 16 = 4*o, -5*t - f = -2*o + 3*o for o.
-4
Suppose -4 = -2*t + 4*t. Let b be (5 - (1 + t)) + 0. Let q be (-4)/(-14) + b/(-21). Solve -17 = 2*f - 5*r, -5*f = -q*f + 5*r - 10 for f.
-1
Let b = -5 + 7. Suppose b = u - 0. Solve -11 = -u*a + h, -3*a - 5*h - 3 = -0*a for a.
4
Suppose 3*j - 26 = -2. Suppose -4*h + 3*i + 4 + 25 = 0, -2*h - 5*i = 5. Solve -3*t - h*z = -2 - 2, t = 3*z - j for t.
-2
Suppose -k - 5*f = 5, 0*k + 2 = k - 2*f. Suppose -r = -3*r + d + 6, k = -4*d - 8. Solve r*m - 4 = n + n, m - 10 = 3*n for n.
-4
Let i(w) = -w + 15. Let z(h) = 3*h - 1. Let v be z(5). Let s be i(v). Solve a = -3*b + 6*a - 3, b + s = -3*a for b.
-1
Let z be 1 + 1/((-1)/(-3)). Let l be (z/5)/((-6)/(-30)). Suppose 73*b = 67*b. Solve l*u = -3*s + 23, b = -3*s + u + 2*u - 12 for s.
1
Let m be 0/(9/(3*-1)). Suppose m = -7*c + 2*c + 20. Solve -4*t - 2*j + c = 0, -3*t - 4*j + 6 = -7 for t.
-1
Suppose 2*o + 0*o + 16 = p, -4*p = -3*o - 39. Solve 3*g + 4*b = p - 24, g - 3*b - 7 = 0 for g.
-2
Let o be 3/(3 - 42/16). Solve -5*r - o = 4*a, -2*r = -6*a + a + 23 for r.
-4
Let f(r) = 4*r**2 - 5*r + 7. Let d be f(2). Solve -d = -2*y + 3*m, 22 - 3 = 3*y - 4*m for y.
5
Let n(x) = -x**2 + 6*x - 4. Suppose -s - 14 = -3*r - r, -5*r - s + 22 = 0. Let b be n(r). Solve -b*d - 16 = 0, 5*d - 3*d = 3*q - 23 for q.
5
Let p be (-44)/(-110) - (-23)/5. Solve 3*z + 7 = 7*z + p*b, 3*z + 9 = b for z.
-2
Let l be 2 - 4 - -10*2. Solve 2*c = 2*d + l, 3*c = -4*d + 2 - 3 for d.
-4
Let w(o) = -o - 9. Let d be w(-5). Let n(m) = m**2 + 2*m - 3. Let b be n(d). Solve -x - b*g = -g + 14, -g - 13 = 5*x for x.
-2
Let o be -3*10/45*-3. Solve 0*x + 3*g = o*x + 1, -3*g + 3 = -3*x for x.
-2
Let u = 6 - 3. Suppose 0 = 3*h + v - 22, -3*h + 11 + 7 = -u*v. Solve 2*p + 32 = 5*b + h, 0 = -2*p + 3*b - 19 for p.
-5
Let m be (2 - 2) + 2*3. Solve 2*k - m = 8*l - 4*l, k - 3 = -4*l for l.
0
Suppose -3*z + 120 = z. Suppose 2*u + u = 2*h + z, -40 = -4*u + h. Solve -33 = -g + 5*g + 5*t, -5*g + 4*t = -u for g.
-2
Suppose 15*l = 10*l + 20. Solve -5*k - l = -k, -2*k - 11 = -3*b for b.
3
Let a(b) = 2*b**2 + 9*b + 8. Suppose z + 4*z + 30 = 0. Let c be a(z). Solve r + 2*t = -r + 12, c = r + 5*t for r.
1
Let g = 17 + -8. Let h = -9 + g. Solve 2*c + k - 3 = 0, 5*k = 3*c - h*c - 37 for c.
4
Let v(p) = p**2 + 17*p - 19. Let i be v(-19). Solve n - r - 4 = -4*r, 2*n + i = 3*r for n.
-5
Let j be 3/(69/(-24) + 3). Suppose -2*o + j = -r, 7 = 2*o + 4*r - 27. Solve -5*t + o = -3*w, 3*t - 1 = -3*w + 2 for t.
2
Let o be (4/6)/(2/(-3)). Let h be (o + -1 + 4)*1. Solve -3*v - 12 = h*d, -5*d - 5 = -6*v + v for d.
-3
Suppose 4*o + o = 2*r, -3*r - 4*o = 0. Solve -5 = -3*a + k, 4*a - 3*k = -r*k + 5 for a.
2
Let j = -29 + 29. Solve w + 2*o = -3, -2*w - 2*w - 2*o - 6 = j for w.
-1
Let m(a) = a**3 + 9*a**2 - 10*a. Let s be m(-10). Suppose -4*t - 83 + 251 = s. Solve -5*y + 20 = -b, -4*y = -5*b - t + 5 for y.
3
Let t = -2 - -26. Suppose t = h + 8. Solve h = -4*d + j, -2*d - 5*j + 4 = -3*d for d.
-4
Let d(s) = -s**3 + 2*s**2 + 7*s + 9. Let z be d(4). Solve k = z*q, 0*k + k + 5*q = 0 for k.
0
Suppose 2 = 4*g + q, 3*q + q = -5*g + 8. Suppose 2*u = 3 + 13. Suppose 0 = -0*n + n + 1, -5*m - n = -14. Solve -3*o + 4*o + m*k = 8, g = -2*k + u for o.
-4
Suppose 4*u - 4*o - 31 - 21 = 0, 3*u - 5*o = 45. Let y be 0/2*u/(-30). Solve -2*i + 3 = z, 2*i + y*z = z + 5 for i.
2
Suppose 5*p = 10, -3*a - 2*p + 2 = -4*a. Solve -a*i - i + 9 = 0, 2*k + 4*i - 4 = 0 for k.
-4
Suppose 4*s - 23 = 1. Suppose -l = -2*l + s. Solve -5*c - 9 = -0*o + o, 4*o - c = l for o.
1
Suppose 2*d - 174 = -2*k, d + 5*k = 2*d - 105. Suppose d = 2*a - 5*a. Let g be (a/(-12))/(2/20). Solve -5*i + 7*x = 2*x - g, -3*i + 4*x = -18 for i.
2
Let y be -3*3*2/(-9). Suppose 5*j - 28 - y = -5*r, -4*j - 4 = 0. Solve -t - 3*x - 1 = r, 4*x + 8 = 0 for t.
-2
Let l be (-14)/35 - 84/(-10). Suppose 4*f = l*f. Suppose f = 4*s - 71 + 7. Solve 2*w + s = 4*b - b, w = 3*b - 14 for b.
4
Suppose 0 = -7*m + 9*m - 52. Solve 5*s + 10 = 2*t, 4*s - 4*t + m = -6*t for s.
-4
Let c be 3 + (1 + -2 - 1). Let d be 2/(3/((-9)/2)). Let g be (-14)/d + c/3. Solve -9 + 34 = -g*r + 5*a, -3*r - 3*a = 3 for r.
-3
Let g(b) = b**3 - 4*b**2 - 4*b - 3. Let q be g(5). Suppose 0 = -4*z, t = -3*t + q*z + 60. Solve 0 = 5*x - 5*r, -x + 5*r + t - 3 = 0 for x.
-3
Let q = 9 - 7. Let r = 8 - 2. Let a be (16/12)/(4/r). Solve -3*v + q*f - 7 = 0, -a*f - 10 = 2*v - 2 for v.
-3
Let b(a) = 28 + a - 28. Let k be b(4). Solve -3*n = 5*h - 2 + 4, k*h = -n - 3 for h.
-1
Let q = -14 + 21. Solve -2 = 4*t - 2*k + 2, t = -k - q for t.
-3
Let v = -23 + 41. Solve 5*m - v = -5*b - 48, 4*b = -12 for m.
-3
Let f(d) = -3*d + 1 - 2 + 0*d + 2*d. Let m be f(-6). Suppose o - 227 = -2*b - 3*b, -m*b = 2*o - 229. Solve -h - 6 = 2*k, b = 5*h - 5*k - 0*k for h.
4
Let i(y) = -3*y - 12. Let l be i(-5). Solve -5*z = -l*d + 10, -2*d + 0*z = 2*z + 4 for d.
0
Let s = 126 - 108. Solve 2*p - t = -2*p + s, -5 = p - 5*t for p.
5
Suppose 5*v - 3*x = 20, 4*v = -5*x + x + 16. Suppose t = -1 + 3. Let b be t/7 - 12/(-7). Solve r = -0*r + v*l - 5, -b*l = 0 for r.
-5
Let i(q) = q**2 - 5*q - 10. Let b be i(7). Let g be b - (1 + 0/4). Solve 5*l - g*v - 19 = 0, -3*l + 5*v = -0*l - 5 for l.
5
Suppose -2*d - 3*b + 19 = 0, -6*b + 3*b = -5*d - 5. Let u be (16 + 0)/d - 1. Let q = u - 4. Solve -3*x + 4 + 0 = w, -q*x + 5*w = 20 for x.
0
Let r = -95 - -131. Solve -3*g + 0*g - 20 = 2*j, -5*j = 4*g + r for j.
-4
Let o(f) = -f**3 - 8*f**2 + f - 3. Let h be o(-8). Let r = 15 + h. Solve 28 = -5*d - 3*p, -r*p = -4*d + 7 - 23 for d.
-5
Let r = 18 - 0. Suppose -r = -2*u - 4*l + 6*l, -4*l = 5*u - 90. Solve y - 9 = 5*p + 17, -4*y + u = -2*p for p.
-5
Let d be ((-24)/(-42))/(3/42). Suppose -9 = -11*y + d*y. Solve 25 = 4*a - y*z - 10, 4*a - 5*z = 45 for a.
5
Let c be (-35)/(-28) - (-9)/12. Solve 3*b + c*i = 7*b - 26, -5*b = -5*i - 40 for b.
5
Let a = 19 + -16. Solve l + 4*f = 4*l + 18, 0 = -a*l - 5*f + 9 for l.
-2
Let u be ((-3)/(-4))/(1/4). Solve -2*k - 4*y + 4 = -y, -2*k + u*y = 8 for k.
-1
Let g = 2 + 2. Solve -4*p + 8 = 3*c - 0, 4*c - g = -4*p for p.
5
Suppose -p + 1 = -2*i + 6, 4*i - 17 = -5*p. Suppose 10 + 2 = 2*l. Suppose 0 = n + 3 - l. Solve -n*v - p = 2*o + 8, o + 3 = 0 for v.
-1
Let f be (1/(-2))/