5*s, -s + 7 = -3*r - 0*s for r.
-1
Let a(k) = -k**3 + 6*k**2 - 4*k + 3. Let g be a(5). Solve 2*s + 25 = 3*r, -4*s + g*s + 45 = 5*r for s.
-5
Suppose -10 = -2*o - 3*o. Solve -5*j + 3*k + 0*k = 14, j + o = k for j.
-4
Suppose 4 + 8 = 4*g. Suppose 5*m = -i + 3*m - 6, -g*m = 4*i + 9. Solve 0 = y + 4*r - 1 - 0, 5*r = i for y.
1
Let s(j) = 4*j + 0 - 1 + 1. Let n be s(4). Solve 2*p + 4 = 0, -5*q + q + 2*p = -n for q.
3
Suppose 2*p = 3*l + 18, l = -4*p - l + 52. Solve 4*g + 13 + 0 = v, -2*v + p = -g for v.
5
Suppose 4*y = 10 + 6. Solve 0 = 4*c + c + y*p + 10, -3*p = -3*c + 21 for c.
2
Suppose 0 = u - 6*u + 15. Let k = u - 0. Let f(i) = 4*i - 1. Let z be f(7). Solve 3*h + z = -4*g, 0 = -k*g - 2*g - 15 for h.
-5
Suppose -2*f + f = -6. Suppose -n + f = n. Solve 6*b - b - 25 = 0, -n*b + 7 = -2*s for s.
4
Suppose 15 = 3*v + 3. Solve -5*y + 3 = g + g, g = -v*y + 3 for g.
-1
Let h(u) = -1 + u + 3 + 2. Let d be h(-4). Solve 4*w - 3*o - 19 = d, 3*o + 3 + 11 = -w for w.
1
Let g(n) = -n**3 + 4*n**2 - 6*n + 7. Let o(a) = -a + 1. Let q(r) = -g(r) + 5*o(r). Let m be q(4). Solve 0 = -m*j - 2*d + 12, -j - 5*d + 0*d + 26 = 0 for j.
1
Suppose -5*s - 41 = -2*p - 2*p, 0 = -5*s - 25. Solve -w + p*w - 15 = 0, 0 = -n - 5*w + 26 for n.
1
Let x = -83 + 86. Solve -j + x*t + 3 = 0, t - 3*t = -5*j + 2 for j.
0
Let o(l) = -12*l - 5. Let n be o(-2). Let f = 27 - n. Solve -24 = -4*y - 4*t, -3*t = 2*y - 7 - f for y.
3
Suppose 2*z + 10 = 7*z. Let t be (2 - (z - -1))*-4. Solve -5*h + 5*w + 10 = 0, -t*w - 11 = 5 for h.
-2
Let y be ((-5)/10)/(2/(-48)). Suppose 0 = -4*s + s + y. Suppose -h = 5*a - s, -3*a - 4 + 10 = -3*h. Solve 5*b = 4*i + a, -3*i - 2*b + 8 = 3*b for i.
1
Let r = 9 - 30. Let w be (-10)/35 - 6/r. Solve 4 = 4*u - 4*k + 2*k, -2*u - 2*k - 4 = w for u.
0
Let y(u) = 3*u - 10. Let i be y(5). Solve f = i*t - 0 + 10, -2*f + 11 = -t for f.
5
Suppose 0 = 6*z + 1 - 43. Solve -2*g + w = z, 4*g - g + 3 = 4*w for g.
-5
Suppose -4*l + z + 103 = 0, -4*l + 0*l + 3*z = -109. Solve 5*t = -5*k - l, -t + 3*k + 1 + 6 = 0 for t.
-2
Suppose -3*x - 6*u + u = -8, -3*u - 30 = -4*x. Solve d - 4*c = 12, x = 5*d - c - 16 for d.
4
Let h(p) = p**2 + 4*p - 7. Let j be h(-6). Solve 0*u = -5*y + 2*u - 10, j*u = 2*y + 25 for y.
0
Let i(k) = k**3 + 7*k**2 + 6*k + 1. Let j be i(-6). Suppose 0 = s - j - 4. Solve -5*t + 2*q = -2 + 16, -s*t + 4*q = 18 for t.
-2
Let g be (-24)/20*10/(-3). Suppose 0 = 5*w + 4*t - 1, 0 = -3*w - 4*t + t. Let a be 1*(5 - 0)*w. Solve 0*v - q + 16 = g*v, -5 = a*v - 5*q for v.
3
Let j = -6 + 10. Let s = -5 + 10. Solve -2*i - 4 = -s*f, -i + j*i - 1 = 4*f for f.
2
Let a(k) = k**2 + 5*k + 2. Let w be a(-3). Let q = 8 + 1. Let g = q + w. Solve -g*u - c = 24, -2*c = -4*u - 8 - 0 for u.
-4
Suppose 12 = -p + 3*n, 1 = -5*p + 5*n - 9. Suppose 4*m - p*m = 5. Solve -2*a - 15 = -m*r, -5*r - 9 = 3*a - 49 for a.
5
Let g be (1*2)/(5 - 4). Solve 0*s + 3*s - 6 = -g*f, 4*f + 4*s - 12 = 0 for f.
3
Let c be ((-1)/(-2)*0)/1. Let t be (2 - (-4)/(-4))*1. Let v be t/2*(c - -14). Solve -n = -a - v, n - 11 - 2 = 4*a for a.
-2
Suppose -3*g = -7*g. Suppose g = -3*n + 6. Suppose n*u + 2*u - 20 = 0. Solve 0 = 2*z + 4, 12 = -u*j + 3*z + z for j.
-4
Let r(l) = 3*l**2 - l - 2. Let u be r(-2). Let m(i) = -i + 18. Let n be m(u). Solve -6 = -2*s - 3*k - k, 5*s + n = -3*k for s.
-3
Let j(d) = -8*d**3 + d. Let r be j(-1). Suppose -r = -f - 3. Suppose -4*l - s + 4 = -2*l, 2*s + 16 = 4*l. Solve -8*n - 4*m = -3*n - 32, -25 = -f*n - l*m for n.
4
Suppose 0*f - 5*f = 2*u - 11, 0 = -4*u - 2*f + 14. Suppose -u*n = -n. Solve -3*h - 4 = -2*z, n = -4*z - 0*z + 8 for h.
0
Let x(i) = -i**2 - 7*i + 4. Let u be x(-7). Solve -5*m = -u*y + 7, 2*y = 2*m - 1 + 3 for m.
-3
Let m(h) = 4*h**3 + 0*h - 3 - 3*h**3 + 2*h**2 - 4*h. Let y be m(-3). Solve -5*z + 2*o + o + 14 = y, -4*z - 2 = 2*o for z.
1
Let f = -58 - -40. Let y be (-4)/f - 172/(-36). Suppose -13 = -2*c - 5. Solve -3*p - h = -4, -c*p - 4*h + y = -3*h for p.
1
Suppose -36 = -2*r - 20. Solve 3*l - r = -f, -2*f + 12 = -5*l + 40 for l.
4
Let b(f) = f**3 - 6*f**2 - 16*f + 2. Let n be b(8). Solve 13 = -4*k + 3*k - 5*p, 3*p = n*k - 13 for k.
2
Let z be 3/(-2)*(-4)/3. Let v be 4*1/z + 9. Suppose 0 = -3*d + 4 + v. Solve d*n + g + 6 = 0, g = 2*n - n for n.
-1
Let t = -3 + 15. Let w(b) = 2*b + 9. Let o be w(-3). Solve -20 = 2*h - d - 3*d, t = o*d for h.
-2
Let n(c) = -c**3 - 8*c**2 + 9*c + 1. Let g be n(-9). Solve 2*a = 5*d - 2*d - 2, -g = a for d.
0
Suppose 4*h - 9 = -2*w + 7, 4*w + 5*h = 20. Suppose -4*y - y = 3*g - 37, y - 21 = -4*g. Suppose -i = -y*i. Solve w = -j + c - 1 + 6, i = c + 4 for j.
1
Let x(p) = -p**3 - 8*p**2 - 7*p - 9. Let a be x(-7). Let i = 13 + a. Solve 3 - i = -u, 3*o = -u - 14 for o.
-5
Suppose -4*r - r - 62 = -3*j, -4*r + 20 = 0. Suppose -2*s + 5 = 15, -4*i + s = -j. Suppose -2*l + i + 0 = 0. Solve 0 = -2*o + l*f + 4, 2*o + 3*f = f - 6 for o.
-1
Suppose 4*q = -3*x - 2*x + 43, -4*x = -4*q - 20. Solve 2*u + 2*s - 12 = 0, -u - x = -3*u - s for u.
1
Let s = 66 - 129. Let b be -6*(-7)/(s/(-30)). Solve 5*h = -t - b, -2*h + 3*t = -1 + 9 for h.
-4
Let d(i) = -i + 12. Let h be d(9). Suppose -h*o - 145 = -8*o. Solve 0 = 5*m - v + 2*v + o, m - v + 1 = 0 for m.
-5
Let r(l) = -l**3 + 15*l**2 - 51*l - 17. Let i be r(9). Let c = 9 + -4. Solve -5*d + 5*h = h + 1, -5*d - c*h - i = 0 for d.
-1
Let z(s) = -s**2 - s. Let g be z(-1). Suppose 184 = 4*a - g*a. Suppose -h + 5*w + 32 = 0, -h + 3*w - 18 = -a. Solve -5*n - h = -2*t - 2*n, -16 = 4*n for t.
5
Let o(b) = b**2 - b**2 - 5 - b**2 + 9*b. Let t be o(8). Let w(j) = -j**3 - 8*j**2 + j + 10. Let h be w(-8). Solve h*f + z + 6 = -0*f, -t*f - 7 = 2*z for f.
-5
Let p be (-1)/(-4) + 50/(-8). Let j(s) = -s. Let m be j(p). Solve 3*x + 0*v - 3*v + m = 0, 4*v = -x - 17 for x.
-5
Suppose 0*u + 2*l - 10 = -2*u, 0 = 3*u + 2*l - 13. Solve 5*r + 3*a + 26 = 0, u*r - 3*a = 2*r + 2 for r.
-4
Let y = -5 + 16. Let r = y + -8. Suppose 4*a = 5*f + r, 0*f - 3*f + 3 = 0. Solve 0 = 2*c - a*o + 3*o + 5, -19 = c - 5*o for c.
-4
Suppose 0 = 2*b + 2*b. Suppose -s + b*s = -9. Suppose t - 19 = 3*n - 0, -t + s = -n. Solve -44 + 16 = t*h + 4*z, -5*z - 11 = -h for h.
-4
Let l(x) = -2*x**3 + x**2 - x - 1. Let s be l(-1). Suppose m = -s*m. Solve n - 2*f - 14 = m, -7 = -3*f - 22 for n.
4
Let x(o) = -4 - 2 + 3 + 6. Let k(b) = b + 10. Let i(z) = 2*k(z) - 7*x(z). Let c be i(3). Solve -n - 2 = 3*l, c*n + 0*l = l + 6 for n.
1
Suppose 2*u + 5 = 31. Solve 3*g + 4*i = 19, -g - 2 = -4*i + u for g.
1
Suppose 4*w + 3*m + 90 = 0, 3*w + 2*m = -w - 92. Let x = w + 28. Let l(n) = -n**2 + 6*n + 5. Let d be l(6). Solve d*t = -p + 3, 0*t - 3 = 5*t + x*p for t.
1
Let u be 4*5/(-3)*-6. Suppose u = 4*s + 4*j, -7 - 3 = 3*s - 5*j. Solve -r - 11 = -s*h + 11, 0 = -5*r - h - 6 for r.
-2
Let w(c) = -6*c**3 - 3*c**2 - c. Let x be w(-1). Solve -2*f + 3*f - x = 2*b, -5*f + 5 = 5*b for f.
2
Suppose 0 = -2*s - 5*b + 12, -5*s - 19 = -4*b - 115. Let l = s + -10. Let p be 27/l - (-1)/(-2). Solve 0 = -2*z - p*t, 3*z + 0*z + t = 0 for z.
0
Let i = -12 - -13. Suppose 2*k + n + i = 2*n, 2*k - 4 = -4*n. Solve k = c - z - 1, -c - z + 0*z + 1 = 0 for c.
1
Let y = -3 + 57. Let k = -33 + y. Solve 2*d = 3*h + 19, -2*d + k = -2*h + d for h.
-3
Let r = 8 - 6. Suppose 5*t - 3 - 42 = 0. Suppose 1 = -5*d - 5*w - t, -5*d + 2 = r*w. Solve -y = -2*y + 2*z - 3, 0 = 4*y + d*z + 12 for y.
-3
Let r(j) = j**3 - 7*j**2 + 7*j - 6. Let k be r(6). Let q be k/(-3 - (-3 + 1)). Solve -3*a - 4*u + 3 = -3, 3*u = q for a.
2
Let c be ((-3)/(-3))/(1/(-5)). Let g(k) = k**2 + 6*k + 5. Let f be g(c). Suppose f*o = o. Solve -3*y - 4*v - 1 = 0, -5*y + v - 22 + 5 = o for y.
-3
Let p(h) be the third derivative of h**5/60 - 5*h**4/24 - 2*h**2. Let m be p(5). Let w = m + 3. Solve q - 3 = w*g, 2*q - 2 = 2*g + q for g.
-1
Let x(a) = -2*a - 12. Let n be x(-19). Let d = -36 - -21. Let g = n + d. Solve 0 = 2*v - 3*u + g, 2*u - 17 = 5*v + 5*u for v.
-4
Let d = -21 - -25. Solve -n = v - 5*v - d, -3*v = -3*n - 6 for n.
-4
Let d = 6 - 4. Suppose -5 - d = -3*z + c, 0 = 4*z + 4*c - 20. Let p = 5 - z. Solve p*k = 2*m - 6, -7*k - 1 = 2*m - 2*k for m.
2
Let x(b) = 2*b - 3. Let w be x(3). Suppose -w = 2*a - 5. Suppose -j + 2 = -a, -3*o = 3*j - 15. Solve -n - 4*n = z + 11, -5*z = o*n + 9 for z.
-1
Let a(z) = z - 7. Let s be a(8). Suppose 0 = -j + 3 + s, d - 2*j = -7. S