 + 9, -2*k - r = -4*z. Suppose 4*a - 4 = 12. Solve z = -h, -3*j = -2*j - 2*h + a for j.
-4
Let r(l) = l**2 - 10*l + 24. Let g be r(7). Solve 2*c + 7 = i, 0 = -g*c + 6*i - i for c.
-5
Suppose -3*r = -5*p + 1, 5*r = 2*p - 7*p + 25. Solve 4 = -2*q + 2*t, -q + r = -4*q + 4*t for q.
-5
Let z(h) = h**3 - 5*h**2 - 8*h + 17. Let j be z(6). Solve 0 = -j*c - 5*g - 10, 0 = -4*c + 4*g - 2*g - 14 for c.
-3
Let f(n) = 4*n - 1. Suppose -r + 6*r = 5. Let g be f(r). Solve 1 = -w + s, g*w = 5*s - 4 - 5 for w.
2
Let z(v) = -14*v**3 + 2*v**2 - v - 1. Let u be z(-1). Let i be 6/4*u/12. Solve i*n - c = 3 - 13, 0 = 5*c for n.
-5
Suppose -5*q = 2*x - 11, q + 17 = -4*x + 6*x. Let o = 11 - x. Let s be (2/(-7))/(o/(-21)). Solve 3*k = -s*n + 8, -3*k - 2*k + 26 = -3*n for n.
-2
Let n be 2/10 - (-29)/5. Solve -2*z = -3*t + 4 + n, -2*t = 5*z + 6 for t.
2
Let o = 33 + -30. Solve -6 = -2*a, -15 = o*z - 0*a - 4*a for z.
-1
Let y be (-13)/(-5) - 4/(-10). Let q be 1/(3/(12 - 0)). Solve -2*b + q = -2*n, 0*b = y*b - 3 for n.
-1
Let d be -32 - ((-2)/1 + 1). Let q = -8 - d. Solve 2*s - 4*w + 14 = 4*s, -q = -4*s - 3*w for s.
5
Let a = -25 - -27. Solve -12 = -3*d + a*g, 4*d - 1 - 1 = -2*g for d.
2
Suppose 0 = m - 3 + 2. Solve -4*p + 13 = -0*p + 3*f, 4*p - f = m for p.
1
Suppose 2*t - t + 4*x - 19 = 0, 3*t - 5*x + 28 = 0. Let r be ((-6)/((-2)/t))/1. Let a be 1 - ((-9)/r)/(-3). Solve -z = a*k + 4, z + 0*z = -2 for k.
-1
Let c = -18 - -30. Let q be (-8)/c + 46/6. Solve 5*v + 3*r + 9 = 20, v + 3*r = q for v.
1
Suppose -10*h + 12*h - 4*s + 12 = 0, 5*h = 4*s. Solve h*y - 19 = 3*z, 2*z = -4*y + y + 10 for z.
-1
Let v(o) = -3*o + 29. Let z be v(9). Solve -1 = -4*f + y - 10, z*f = 3*y - 17 for f.
-1
Let u(q) = q**3 + 2*q**2 + 3*q + 2. Let i be u(-1). Let c = 10 - 6. Suppose -c*x + i*x = -64. Solve k + 2*o + 7 - x = 0, -3*k + 9 = -3*o for k.
5
Let f = -7 - -16. Solve 3*z + f = -3*l, 1 = 5*l + 21 for z.
1
Let z(t) = t**2 - 8*t + 6. Let b be z(7). Let o be (4 + b)/((-12)/(-20)). Solve -2*v = -o*v + 4*g - 25, -5*v - 5*g = -5 for v.
-3
Suppose 2*v + 136 = -2*v. Let m = -18 - v. Solve 2*q = -q + 4*j + 15, -5*j = -q + m for q.
1
Suppose -35 = -2*s - 3*s. Suppose -3*p + 2 = -s. Let h be (0/p)/(-1 + 3). Solve -4*m + 5*i = 22, h = 5*i - 0*i - 10 for m.
-3
Let h be -2*(0 + 6/(-4)). Let t = h + 0. Solve -5*j + 2*j = -3*k + 9, -12 = t*k + 4*j for k.
0
Let g(m) = 4*m - 37. Let f be g(11). Solve -3*c - 20 = -5*o - f, 0 = 2*c + o for c.
-1
Let h = 51 + -75. Let w be (54/8)/((-9)/h). Solve 3*m + 2*z - 19 = 0, 0 = -2*m - 3*z - z + w for m.
5
Let k(w) = -w**3 - 3*w**2 + 3. Let s be k(-2). Let b be s/(68/(-16) - -4). Solve 9 = 3*a, -b*a - 2 + 34 = 4*t for t.
5
Let p = 4 + -2. Suppose 0 = f - 2*f + p. Suppose 2*c = f*k + 3*k - 117, 0 = -k + 5*c + 28. Solve 0 = -5*i - 5*g + 20, 2*i + 7*g - 2*g = k for i.
-1
Suppose -2 = -3*g + 4. Let l(u) = 6*u. Let y be l(g). Solve 3*k = -6*q + 2*q + 8, -4*q + y = 2*k for k.
-4
Let b(w) = 2*w - 9. Let i be b(6). Solve 2*a - 5*t = 29, i*a - 15 - 11 = 4*t for a.
2
Let j = -4 - -2. Let q be (-2)/4 - j/4. Solve x + 3*x - 10 = -5*m, -x + 4*m + 13 = q for x.
5
Let t be 88/6 + (-4)/24*-2. Solve -t = -3*a, -g + 3*a - 18 = 2*g for g.
-1
Suppose -2*h - 7 + 1 = 0. Let y be -3*1/h*0. Suppose 0 = -y*x + x - 4. Solve 20 = m + 4*i, -i + 15 = -x*m + 2*i for m.
0
Suppose -g + 25 = 4*g. Solve 41 = 4*k - g*r, -4 + 3 = k + r for k.
4
Let x(u) = 1 + 0 - 2*u - 2. Let s be x(-2). Let o(t) = -3*t. Let p be o(-1). Solve -y + m = 2, 0 = -p*y - y - s*m + 13 for y.
1
Let n be 1/(3/(12 - 0)). Solve -14 = -3*p - 5*v, -2*p - n = 3*v - 12 for p.
-2
Let g = 7 + -11. Let d = -3 - g. Let q = 42 + -22. Solve 0 = -4*y + 2*b + q, -13 = -4*y - 2*b - d for y.
4
Suppose -15 = -4*u + 1. Solve o - 3*g = -o + 15, 4*o - u*g - 24 = 0 for o.
3
Let q be -2 + (0 - -14) - 3. Solve 3*y - 3*j - q = 0, -5*y - 4*j - 24 = 6 for y.
-2
Let b(u) = 6*u**2 + 3*u - 4. Let l be b(1). Solve -3*c = -5*c - 4, 4*r = -l*c - 10 for r.
0
Suppose -s - 2*q = 4*s - 2, -q - 4 = 0. Solve 3*o + s*w - 12 = 2*o, -o = 3*w - 17 for o.
2
Suppose -z - 2*j - 5 = -0*z, -2*z + j + 15 = 0. Suppose -5*u - 5 = -3*m, 3*u = -2*m + 3*m - 3. Solve -30 = 5*l - z*k, m = 2*l - 4*l - 4*k for l.
-4
Suppose -3*h + 170 = -h. Suppose -25 + h = 2*x. Solve -2*s - s - x = -5*f, -2*s - 1 = 3*f for f.
3
Let w be (-18)/(-4) - 5/(-10). Solve l - 3*n = -10, 4*l + n = w*n for l.
5
Suppose 3*v = 3*y + y + 21, -3*y = 5*v - 35. Solve f = g + 3*f - v, g - f = -2 for g.
1
Let c(g) = g**3 - 4*g**2 + 3*g + 3. Let w be c(3). Let b = w - 2. Suppose q - l - 4 = -q, -4*q - l = -20. Solve -3*i = 2*t - 3 + b, -5*t + 5 = -q*i for t.
1
Suppose 72 = 5*i + 52. Solve -3*m + 11 = 3*c - 8*m, -3*m + 5 = i*c for c.
2
Let w = 5 + -2. Let z(l) = 0 - 4*l - 2 + w. Let v be z(-1). Solve -v*t = -15, -3*m - t - 9 - 3 = 0 for m.
-5
Let h be (-10)/(20/(-4)) + 1. Solve 2*d - 7*d = 3*m - 13, -2*m + h*d = 4 for m.
1
Suppose -3*w - 12 = -p, 3*p + 11 = -4*w + 8. Solve 2*h = 4*a - 4, -h - p*a = -7*a + 6 for h.
2
Suppose 10 = 2*c, -4*n - 19 = -7*n + c. Solve 5*q - 5*g + 2 + n = 0, -1 = 2*q - 3*g for q.
-5
Let k be ((-50)/6)/(1/(-3)). Suppose -4*v = -k + 5. Solve -2*q = 4*x - 10 - 2, -29 = q - v*x for q.
-4
Let o be 5/(-15) - (-19)/3. Solve -5*k - 4*s = 15, 0 - o = 2*k - 2*s for k.
-3
Suppose -2*x = 3*m, 5*m - 2*x = m. Suppose -2*j = -2*g + 10, m = 5*g - 3*j - 14 - 5. Solve n - 8 = -b - b, 0 = -g*n - b + 1 for n.
-2
Let f = 2 - -2. Solve -15 = 5*o - 0*r - 5*r, 3*o = f*r - 7 for o.
-5
Suppose -9*p - 3 + 48 = 0. Solve c = p*j - 9, 0*j + 2*j = 2*c + 2 for j.
2
Let a = 6 + -2. Suppose 132*i - 138*i = -12. Solve 2*m = i, -a*z - 9 = 4*m + 3 for z.
-4
Let c be (-54)/(-4) + 2/(-4). Let t = c - 13. Solve t = -q + 3*n + 16, -q + 0*n - 2*n - 4 = 0 for q.
4
Let x(u) be the first derivative of 2 + 0*u - 1/2*u**2. Let c be x(0). Solve 3 = 5*b + 2*r, c = -b - 6*r + 2*r + 15 for b.
-1
Let l(m) = -3*m - 8. Let j be l(-9). Let t = j - 13. Solve -5 = -s + n, -5*s - 3*n = 1 + t for s.
1
Suppose 3*z - 20 = -3*s - s, -3*s = -z - 15. Suppose z = 4*p - 4 - 4, l - 30 = -5*p. Suppose -v - l = -5*v. Solve -4*n + 2*n + 2*x - 2 = 0, n = v*x - 17 for n.
3
Let x(f) = f - 6. Let q be x(6). Suppose 3*t = -q*t. Let z(h) = -h - 5. Let d be z(-7). Solve -r + 2 = 5*n, 4 = -n + d*r - t for n.
0
Let i be 3/(-6) + (-132)/(-8). Let f = i - 13. Solve 5*n + 3*s + 13 = 0, f*n + 11 = s - 2*s for n.
-5
Let r be (-5)/(0 - (0 + 1)). Let o = 8 - 4. Solve 0*s + 21 = -l + o*s, -r*l + s - 29 = 0 for l.
-5
Let x(c) = -c**2 + 4*c + 4. Let k be x(5). Let p be (-6 + k)*20/(-14). Let w = 18 - 6. Solve 2*b = -2*l + w, -2*l + 4*l - p = -b for b.
2
Let z = -5 + 10. Suppose -4 = h + 4*d, 10 + 0 = -z*d. Let t(x) = 2*x**3 - 3*x**2 + x - 2. Let b be t(2). Solve 20 = h*g, 0*c + b*g - 40 = -4*c for c.
5
Let k(a) = a**2 - 3*a. Let m be k(6). Solve 3*r - 3*y = m, -2*r + 9 = -2*y + 3*y for r.
5
Let g(c) = c**2 - 2*c - 12. Let m be g(5). Suppose -m*n = u - 4, 4*n + n + 2*u - 5 = 0. Solve 0*f + 5 = 5*f, -n*f + 12 = 3*w for w.
3
Let c(n) = -n**3 - n**2 + 2*n + 3. Let a be c(-2). Solve -a = 2*g + 5*s + 7, 0 = -g - 2*s - 5 for g.
-5
Let o(c) = c + 9. Let u be o(-4). Suppose -r + 4*r - 3*w + 9 = 0, 15 = u*r + 5*w. Solve -3*y - l + 15 = -0*y, -5*y - 5*l + 35 = r for y.
4
Let w(k) = -2*k - 19. Let j(u) = -u - 9. Let a(f) = 7*j(f) - 4*w(f). Let y be a(-9). Solve 0*r - 4*b + 24 = -y*r, r + 2*b = 3 for r.
-3
Let u(f) = -9*f + 6. Let o be u(-1). Solve 3*m - 20 = -5*w + o, 5*m - 4*w - 9 = 0 for m.
5
Let n(b) = -b + 13. Let h be n(7). Suppose 8*g - 4*g = 0. Solve c + 14 = -4*s, -s + g*s - 5*c = -h for s.
-4
Suppose 2*g - 7*g = -110. Solve -5*k = 2*p - g, 4*p + 4*k = 7*k - 8 for p.
1
Let s = 1 + -1. Let b = -22 + 20. Let n be b/(-5) - 4/10. Solve 3*q - 2*j = n, s = -3*q - 2*j + j for q.
0
Suppose -3*x = -8*x + 15. Suppose -5*n + 29 = 2*o, 1 = -x*o + o + n. Solve -6*c + 8 = 2*u - o*c, -3*u + 3*c = -3 for u.
2
Let c(s) = s**2 + 4*s - 2. Let a be c(-4). Let h = a - -3. Let b = -25 + 39. Solve h + 10 = 3*k - 2*x, b = 2*k - 3*x for k.
1
Let l = 5 + -3. Suppose 5*v = 7 - l. Suppose 2*c - 18 = -k, -3 = c - k - 12. Solve 4*p + 3*z - c = v, 2*p - 4*z + 6 = 0 for p.
1
Suppose 0 = 11*m - 7*m. Solve m*q - 3*s = 5*q - 5, s - 1 = -q for q.
1
Let m(c) = c - 3. Let f be m(9). Suppose 3*v - f = -0*v. Let r = 0 - 0. Sol