k + 12 = -2*k - y for k.
3
Suppose w + 5*x - 8 = 0, 4*w + 0*w = 4*x + 8. Suppose -w*q - 1 = 8. Let o = q + 5. Solve -c + s - 1 + o = 0, -4*c = 5*s + 5 for c.
0
Suppose 4*u - 12 = 4*q, 5*u - 4*q + 9 - 24 = 0. Solve -u*p = 0, 4*a = 4*p - 5*p + 20 for a.
5
Suppose -n - 19 - 9 = 0. Let o be (8/14)/((-8)/n). Solve -2*s = -6*s + 4, 0 = -o*v + s - 1 for v.
0
Let l = 26 + -24. Solve -2*u + l + 2 = -5*t, -u = -4*t - 2 for t.
0
Let c = -9 + 24. Let o be -2 + 3/(9/c). Solve -q = -3*g - 0*g - 16, 3*g + 24 = o*q for g.
-4
Suppose -x - 4*u = 3 - 7, 0 = -2*x - u + 8. Solve 3*z = 5*t + 34, -x*t - z = -2*t + 7 for t.
-5
Let x = 32 + -27. Suppose 2*n - 17 = -u + 7*n, 5*n = -3*u - 9. Solve 0 = -x*q + 5*z - 15, -u = 2*q - 4*z + 2 for q.
-4
Let l(j) = 2*j**3 - 3*j**2 - j + 2. Let o be l(2). Suppose -3*g + 7 = 1. Solve -g*b - 4*w = 3*b + o, 0 = -3*b + 3*w + 3 for b.
0
Suppose 4*q = -5 - 3, -5*p = -4*q - 128. Solve -3*f - d + 2 = -0*f, 2*f - 5*d - p = 0 for f.
2
Suppose 10 = 5*n - 0*n. Suppose -s = n*s. Solve -2*q + i = s, 3*q = -q - i - 6 for q.
-1
Suppose 0 = c - 2, 3*c - 15 = -2*x - 5. Solve -3*k = -x*n - 4, 4*n + 4*k = 27 + 5 for n.
4
Let w = -13 - -16. Let s(o) = o**2 - o - 3. Let j be s(w). Solve 7 = 4*v - 3*v + j*g, 0 = 5*v - 3*g + 19 for v.
-2
Suppose s + s - 120 = 0. Suppose 110 = -3*t + 4*j, 135 = -5*t + 5*j - 50. Let v = t + s. Solve 5*o + 0*d - d - v = 0, -15 = -5*d for o.
5
Let x be 5/(-20) - 18/(-8). Suppose 5*m = x*m + 30. Solve -m = 5*o, -2*d - o = 2*o - 2 for d.
4
Suppose 0*r - 4*r - 2 = -3*i, 2*r = 2*i. Let y be (-14 + 2)/2 - r. Let g be (-1 + 1)/((-4)/y). Solve g = o + d - 3*d + 5, -3*o = -d + 15 for o.
-5
Let r = 5 + -3. Solve r*a + 3*o - 6 = 7, 3*a = -3*o + 15 for a.
2
Suppose 4*c + 5*a = 41, 2*c + 4*a = 4*c + 12. Solve 20 = -5*p, c*m - 2*p = -1 + 17 for m.
2
Let c be 4*(-3 - (-7)/2). Suppose 2 + c = y. Solve 4*v - 4*d = 32, -y*v = -2*d + 9 - 35 for v.
5
Let m be 2/9 + (-210)/(-27). Let k = m + -6. Solve -k*x - 4*g - 4 = 0, 0*x - 5*g + 1 = x for x.
-4
Let u be 8 + (0 - (-5 - -1)). Solve -o + 16 = -3*o + 2*w, w = 2*o + u for o.
-4
Let c be 4 + 0 - (21 - 19). Suppose -17 = -r + 4*u, -r - 4*u = -0*r + 15. Suppose z = -r, c*f - 23 = 4*z - 3*z. Solve f = 5*v - 4*x, v + 2 - 9 = 2*x for v.
-1
Suppose -4*s = -3*g + 29, 11 + 14 = -5*s. Suppose 7*c = 3*c + 24. Suppose i + g = c. Solve 5 = -y, 2*x + i*y - 4*y = 7 for x.
1
Let l = 26 + -17. Let n be -1*(2 - (l + -2)). Suppose n + 3 = 4*y. Solve -m - 4 = -2*i, 0 = 4*m - y*m - 3*i + 5 for m.
2
Let n(p) = -32*p**2 + 2*p + 1. Let t be n(-1). Let r be (7/3 + -3)*t. Solve -z - 3*u = 2, r - 7 = -4*z - 5*u for z.
-5
Let n be 4/18 + 8/(-36). Solve n = -3*a + m - 14, a - 3*m = 5*a + 10 for a.
-4
Let n = -41 - -49. Solve -j - 4*s + 41 = 4*j, -4*j = -3*s - n for j.
5
Suppose -3*u + 5*u = 5*w - 16, 5*w - 10 = 0. Let n be -4 - -3 - (u - -2). Solve -2*g + 4*o + n = 10, 4*o - 40 = -4*g for g.
5
Suppose 4*k + 17 = -p, -2*k + 4*p - 6 = 2*p. Let o be (-7 - -2)/(4/k). Solve 5*x - 2*g - 32 = 2*g, 0 = -4*x - o*g + 1 for x.
4
Let j(b) = 2*b**2 - 12*b + 3. Let o be j(6). Solve o*f + 2*a + 21 = 0, a = 2*f - f + 2 for f.
-5
Let n(h) = h - 1. Let i be n(16). Solve 5*a - i = -3*j - 41, 0 = 2*a - j + 6 for a.
-4
Suppose -5*o + 2*o + 6 = 0. Suppose -2*n - 4*a + 3 = -a, -2*n - o*a + 8 = 0. Solve n = u + 5*g, 8 = 3*g + g for u.
-1
Suppose 0*n = -2*n + 24. Let l = n - 10. Solve -l*f - 5 = k, -2*k - 4*f - 10 = f for k.
-5
Suppose 2*u - 10 = -5*j - 2*u, 4 = 4*j + 4*u. Suppose t + 14 = -4*g, 3*t + g = -2*g - j. Solve z - t = b, 5*z + 0*b + b - 22 = 0 for z.
4
Let k = 65 + -63. Solve -p = 5*r + 6, -k*p + 4*r = -1 - 1 for p.
-1
Let d = -39 - -62. Let q = d - 21. Solve -4*p = 5*m - 0*p - 7, -3*m - 9 = -q*p for m.
-1
Let h be 7 + 0 + (-3 - 0). Let f = -7 + 11. Solve h*r + 2*k - 8 = 0, -3*r - 4*k + 7 = -f*r for r.
1
Let z = -2 + 5. Suppose 20 + 10 = -5*u. Let r = -2 - u. Solve r*a - 11 = l, 4*a - 23 = z*l + 2*l for a.
2
Let o be (30/4)/(1/2). Let p(b) = b**2 - 8*b + 19. Let u be p(5). Solve -u*d - o = 5*n, -4*n - 3*d - 21 = 2*d for n.
1
Suppose 2*v + 3 + 1 = -4*x, 14 = 2*v - 2*x. Solve v*w = -t - 1, 0 = 6*w - w + 5 for t.
3
Let n = -21 + 31. Solve c = -3*q + n, q - 18 = -c - 4*q for c.
-2
Let p = 82 - 78. Solve -5*i + p = -4*w, i + 12 = 5*w - i for w.
4
Let r be 3/2 + (-6)/(-12). Let w be (-14)/(-6) - 2/6. Solve -r*n = 2*n - 4, w*n = -5*q + 12 for q.
2
Let s be -1 + 1 + (24 - -1). Let u be -2*6/(48/(-20)). Solve 5*w - u*d = -s, 3*w + d = 3*d - 15 for w.
-5
Let k = 10 + -6. Suppose -3*b = -2*b - k. Suppose 0 = -4*a - 2*o - o + 17, 4*o = b*a + 4. Solve 3*f + 7*g = a*g + 4, 4*f + 3*g = 9 for f.
3
Let k(m) = -m**2 + 10*m + 4. Let v be k(10). Solve -v*j + 11 = -5*a - 0, -4*a = 4*j - 20 for a.
1
Let f be 36/3 - 0/1. Suppose 7*x = 13*x - 30. Solve 2*k + 0*w - f = -3*w, -x*k = -w - 13 for k.
3
Suppose 3*r = 7*r - 8. Let y(b) = 7*b + b**3 - 6*b**2 + 0*b**3 - 13 + 16*b**r. Let x be y(-9). Solve x + 1 = -2*a, -3*p = -3*a - 9 for p.
0
Let v be (18/21 - 2)*28/(-8). Solve m = -z - v*z - 20, -4*z = -5*m + 16 for m.
0
Let n(r) = -r**3 + 7*r**2 + 1. Let c be n(7). Let b(v) = -c + v - 5*v + v. Let d be b(-7). Solve -4*k + 5 = -4*y + 1, 0 = 4*k + 2*y + d for k.
-3
Let j = -10 + 12. Solve 0 = 4*n + 5*o - 2, j*n - 3*o = 13 - 1 for n.
3
Suppose 0*i - i = 0. Suppose 5*d - 15 = -i*d. Solve 5*w - 19 = -2*u, 5*w - d*u - 11 = -2 for w.
3
Let f(q) = -3*q - 24. Let y be f(-9). Solve 4 = -2*o + y*h - 18, 3*h + 8 = -4*o for o.
-5
Suppose p = 4*p + 21. Let z(d) = d**2 + 8*d + 10. Let t be z(p). Solve 0 = 4*g - 3*m + 15, t*m = 4*g + 4*m - 5 for g.
0
Suppose 2*z = -2 - 0. Let v(l) = l + 1. Let g be v(z). Solve 4*k + 4*t = g, -4*t = 3*k - 7*k + 24 for k.
3
Let l = -15 - -25. Suppose 36 = -2*i + 5*i. Solve -g = -5*q - i, 3*q + l = 2*q + 4*g for q.
-2
Let d be -2 - ((10 - 2) + 2). Let w = 7 + d. Let l(r) = r**2 + 3*r + 5. Let a be l(w). Solve -2*o - a = -3*b + 1, 4*b - 5*o = 33 for b.
2
Suppose 6 = -4*y + 22. Suppose 3 = -g + 7. Suppose -47 = -g*b + 3*q, -3*b + q + 3 = -31. Solve a + b = -y*a + x, 31 = -5*a - 4*x for a.
-3
Let v(x) = -x + 2. Let c be v(-2). Solve 2*y = 5*n + 21, -c*n - 8 - 7 = -y for y.
3
Let r be (16/(-3))/(1/(-3)). Let o = -43 - -46. Solve -4*k + 16 = -o*c - 6, -4*c + 2*k = r for c.
-2
Let v be 4/18 + 6/(-27). Let i be (-10)/(-2) + v - 3. Solve -3*b + 14 = -2*h - i*h, 2*b = 5*h + 14 for h.
-2
Let f = 18 - 0. Solve 0 = 5*k + 2*h - f, 5*h = -4*k + 13 + 15 for k.
2
Suppose 2*j = 5*j. Suppose j = 4*w - 5*u, 3*w + w + u - 24 = 0. Solve 4*r = -d, 2*r - w*d = -0*d - 22 for r.
-1
Let y(r) = 3*r - 7. Let c = -7 - -10. Let x be y(c). Solve z + x*q + 18 = 3*z, -5*z - 4*q = -9 for z.
5
Let j(q) = -q**3 - 6*q**2 + 8*q + 9. Let v be j(-7). Suppose -v*u + 4*u = 8. Let k = 16 + -13. Solve 0 = 2*o + k*y, y + 13 = -o - u*o for o.
-3
Let s = 4 - 3. Let q = 5 + s. Solve -4*b + 5*t = -19, 2*b - 5*t = q*b + 11 for b.
1
Suppose -6 = -4*d + 2*d. Let b be ((-4)/(-3))/(2/24). Let t(w) = -w**2 + 17*w - 49. Let g be t(13). Solve -2*h - d*r = r + b, -4*r - 18 = g*h for h.
-2
Let p be ((-12)/(-8))/((-6)/(-20)). Suppose -3*f - 4 = 2*y + f, -20 = -5*y + p*f. Solve -y*t - 4*s = -0*t, -4*t - 5*s - 3 = 0 for t.
-2
Suppose -5*m + 9 + 1 = 0. Solve 5*z + 30 = -w, -m*z - 3*z = 2*w + 35 for z.
-5
Suppose -43 = -2*l - 2*w + 7*w, -2*l + 33 = -3*w. Solve 2*c - 2*v = -16, 2*v = -3*c - 0*c - l for c.
-5
Let g = 4 + 2. Let o = -5 - -11. Let x be o*-1*g/(-9). Solve -x*y + 5*y - 10 = -3*b, -5 = 2*y + b for y.
-5
Suppose -c - 4*c = -5. Let j be -3 - (c - -2) - -3. Let p be 2*(-9)/6 - j. Solve p = f, -4*b = -f - 4*f for b.
0
Let c = 2 + 0. Suppose 6 = b + 4. Solve 0 = -3*w + f - 14, -b*f = 3*w + 1 - c for w.
-3
Suppose -5*x + 51 = 4*p + 18, 2*x = p - 18. Solve -2*q = -3*f + p, q + 0*q = 3*f - 9 for q.
-3
Suppose 5*g = 2*g + 9. Suppose -2*o = -z - 1 - 9, -3*z + 15 = g*o. Solve z = -2*x - m - 14, -3*x + 2*m = 2*x + 17 for x.
-5
Let i(c) = 3*c**2 + 27*c + 5. Let k be i(-9). Solve 2*d - u = -k - 0, 9 = 3*u for d.
-1
Let f be 2/4 + 583/22. Solve 4*l - 3*i - f = 2*i, l + 3 = -2*i for l.
3
Let a be 2/(-4) - (-77)/22. Let q = a + -1. Solve 0 = -d + q*d - 3, -17 = 2*h - 3*d for h.
-4
Suppose -l + 6 - 3 = 0. Let v(g) be the first derivative of 5*g**4/2 + g**3/3 + g**2/2 - g - 1. Let o be v(1). Solve -s - 1 = -2*s, o = 