. Suppose k + 3 = -c*z - 0*z, 5 = -5*z. Suppose -4*u = u. Solve 4*j - 12 = -5*a - 34, -a + j + k = u for a.
-2
Let l(m) = -m**3 + 2*m - 1. Let v be l(1). Suppose v = -k - 0*k + 6. Solve -3*h - c = -h - k, -5*h + 21 = 4*c for h.
1
Let c = 19 + -2. Let q = c - 17. Solve 0 = -5*p - o - 6, 2*p - 2*o + 12 + q = 0 for p.
-2
Let x = 2 - 0. Suppose -x = -2*b - f + 2, 5*f = -b + 20. Suppose b = r - 5*n + 4, 4 + 5 = 4*r + 5*n. Solve r = 5*l + 2*w, -w = -l + w - 7 for l.
-1
Let q(p) = -p**2 + 5*p + 10. Let s be q(6). Solve 0 = -3*j - g - 8, 5*j - j + s*g = 0 for j.
-4
Suppose 2*l + 0*l = 6. Suppose 0 = 2*d - 5*y + 21, -4*y = 4*d - 3 - 25. Suppose -2*b = d*b - 8. Solve -7*n - 10 = -b*n, l*v - n = 14 for v.
4
Let q(i) = -i**3 - i**2 - i. Let b be q(-2). Solve 3*x + 3*s = 6, x + b = -s + 4*s for x.
0
Let t(p) = -29*p - 1. Let g be ((-1 - -3) + -3)*1. Let z be t(g). Solve 5*b = -5*o - 15, 4*o - 5*b - z = -b for o.
2
Let c be -3 - (0 - 2) - -6. Suppose j - 5*q - 9 = 0, -j = 3*j + c*q - 11. Solve -j*n = 5*g - 28, -4*n + 3*n = -3*g + 10 for n.
2
Suppose -33 = -w - 28. Solve -g + 3*g - 9 = 5*i, 5*i = w*g - 15 for g.
2
Suppose -3*o - y = -15, 2*o + 7*y - 17 = 4*y. Suppose -v = -o*v + 15. Solve 3*m - 27 = -3*z - z, 10 = -5*z + v*m for z.
3
Let k be 5 + -2 + 4*-1. Let s be (-3 - -1)*k + 16. Solve s = -4*y - 2*q, 0 = -3*y - y - 3*q - 17 for y.
-5
Let w = 15 + -33. Let u = w - -18. Solve -5*p - 4*r + 19 - 1 = u, 6 = 3*r for p.
2
Suppose -k - 28 = 2*j - 6*k, 0 = 4*j + 4*k. Let t be j*(3/(-2) + 1). Solve 5*m - 6*m = -3*q - t, 0 = -3*q + 2*m + 2 for q.
-2
Suppose 0 = -5*o + 4*v + 58, o + 4*v - 2 = 8*v. Solve 0 = -2*c - 10, -3*w - o = -4*w + 2*c for w.
4
Let z = -1 + 3. Let m = 986 - 986. Solve -2*a - z*c = 14, 0 = 2*a + 4*c - m*c + 18 for a.
-5
Let y = -4 - -8. Let p(f) = -f + 7. Let s be p(7). Let z = 5 + s. Solve -z*i = 2*r + 3*r, -y*i + r = -20 for i.
4
Suppose 2*l + 4 = 12. Solve -k + 4*n + 40 = l*k, 41 = 4*k - 5*n for k.
4
Suppose -4*n = -9 - 3. Suppose -2*p = 4*s - 82, -75 = -4*s - n*p + 8*p. Solve 4*k + 0*j + j - s = 0, k - 5*j - 5 = 0 for k.
5
Suppose 0 = 3*i - 26 + 8. Solve 4 = 4*v + 2*j, -v + 2*j + 15 = i*j for v.
-1
Suppose 12 = -4*x - 3*l + l, 3*x + 5*l + 16 = 0. Let j = 0 - x. Let m = 0 + 3. Solve -j = -3*s - 5*d, -4*s = s + m*d - 14 for s.
4
Suppose 3*i - 5 = -4*y, 3*i - 3*y - 11 = -y. Solve -3*j + 2*j + 2*q = -i, 2*j - 9 = q for j.
5
Let s be 2/(-9) - 47/(-9). Suppose -s*x + 21 = -29. Suppose 3*f = 38 + x. Solve -2*v - f = -5*w, 0 = -4*v - 4*w + 24 for v.
2
Suppose -2*c + 5*t = -27, 0*c = 2*c + 2*t + 8. Suppose 0 = 3*l - c - 8. Suppose -5*g + 15 = -0*g. Solve -l = s + 2*b, -3 = -5*s - g*b + 3 for s.
3
Let q be (-4)/(-2*(-1 - -2)). Let p be (1 - 2) + (-1 - -17). Solve p = 2*t - 5*v, q = -t - 2*v - 13 for t.
-5
Suppose -w - 10 = -5*z + 12, 3*z + 4*w - 4 = 0. Let x = z + -2. Solve x = y - 2*p + 8, 3*p = 4*y + 4 for y.
2
Let j be (90/2)/(-3) - 1. Let w be ((-11)/2)/(4/j). Let m = w + -10. Solve 4*q + 2*z + m = 0, -4*q - 3 = -5*z + 23 for q.
-4
Let n be (-45)/18*18/(-5). Let i = 10 - n. Solve -5*g = 4*y - i - 5, -g = -5*y - 7 for y.
-1
Let x(j) = j + 8. Let r be x(-5). Suppose -4*z - 3*h + 33 = 0, -3*z - 6*h + r*h + 21 = 0. Let b = z - 7. Solve -b*a + v - 26 = 2*v, 0 = 3*a + 3*v + 18 for a.
-5
Let x be 5/(-15)*1*(-2 + -13). Solve 2*o = x*c + 5*o - 13, -10 = -3*c - 4*o for c.
2
Let i(d) = d**3 - d**2 + 1. Let a(x) = -5*x**3 + 11*x**2 - 8*x + 3. Let j(b) = -a(b) - 4*i(b). Let f be j(6). Solve f*w = -5*n, 2*w + w = n for n.
0
Let y(m) = -m**2 + 6*m + 2. Let q be y(6). Suppose -12 = -q*i - 2*i. Solve -7 = -i*x - c + 3*c, -c = -5*x for x.
-1
Let l(a) = a - 7*a + a**2 + 7*a + 1. Let z be l(-2). Solve -5*s + z*v = -6 - 0, 2*s + v - 9 = 0 for s.
3
Suppose -5*d + 40 = 4*h + h, 0 = 2*h + d - 14. Suppose 15*o = 14 + 31. Solve -j = g - o*g - h, -14 = j + 2*g for j.
-4
Let r(i) = -i**2 + 13*i + 5. Let s be r(13). Solve 2*u + 0*u + 16 = 2*y, -4*y + 36 = -s*u for u.
-4
Let l(a) = a**3 - 4*a**2 - a + 4. Let j be l(4). Suppose 0*k - 5*k + 15 = j. Suppose -2*w = -k*w + 19. Solve 0 = -m - 2*u - 5, 0 = 4*m - u + 1 + w for m.
-5
Let z be (-1)/(-3) + 30/18. Suppose 30 = 5*s - r, z*s - 1 - 11 = -3*r. Solve -5*i - 3*q + 4*q - 9 = 0, i = -4*q - s for i.
-2
Suppose 6*v - v + 5*j = 25, -v = -3*j + 7. Solve 4*l - 3*a - 19 = 4, -l = 3*a - v for l.
5
Let x(p) = p**3 + 3*p**2 + 2*p - 2. Let l be x(-2). Let v be -1 - (3 - -2 - l). Let t = 11 + v. Solve -3*m = -3*z - 2 - 1, -3*m + t = -2*z for z.
0
Let d be 14/(2/(1 + 1)). Solve -3*p - t = -0*t + d, 4*p + 2*t + 18 = 0 for p.
-5
Suppose -3*h = -6*h + 9. Suppose -h*m + 0*m = -3*i, 5*i = m + 16. Solve 0 = -4*j + 3*j - 5*g - 19, -j = i*g + 15 for j.
1
Let g(v) = -v + 9. Let i(l) = l + 5. Let w(j) = j + 5. Let a(y) = 5*i(y) - 4*w(y). Let x be a(-5). Let q be g(x). Solve -2*z = 5*s - q, s + 4*z + 1 = 10 for s.
1
Let j(s) = -s - 16. Let u be j(-19). Solve 0 = 3*x - r + 7, -r + 2*r = -u*x - 17 for x.
-4
Let q be 2/2 - 46*1. Let d be 18/q - (-24)/10. Solve -5*k + 22 = -3*j, -d*j + 3*k - 10 = -j for j.
-4
Let h(c) = c + 1 + 0*c + c. Let z be h(1). Suppose -5 = x, -g + z*x = -13 - 7. Solve -4*q = -u + g, 0 = -2*q + 4*q - 2*u + 10 for q.
0
Let t be (-2)/(0 - 4)*4. Solve -t*s = -3*r - 4, 3*r + 2*s + 2*s = -10 for r.
-2
Let b = -6 + 13. Let r be -1 + b + 6/(-3). Suppose -6 = 2*p - r*p. Solve -5*q - 17 = 6*m - 7*m, 3*q + 3 = p*m for q.
-4
Suppose -s = 4*p - 4*s - 27, 0 = -2*p + s + 13. Suppose 3*f = p - 0. Solve f*z = -y + 8, 4*z - 16 = -3*y + 2 for z.
3
Let h be ((-7)/21)/(-3 + (-429)/(-144)). Solve 4*k - h = 2*y, 0 = 4*y + 2*k + 5 + 7 for y.
-4
Let r be 5 + 1*-2 + 0. Let j be (-6)/(-9) - 38/(-6). Let x = j + -7. Solve -5*l + r*v + 32 = x, 2*l + 3*v + 8 = 4 for l.
4
Let k(x) = x**2 - 9*x + 3. Let g be k(9). Let c(b) = -b**3 + 3*b**2 + 5*b - 2. Let p be c(4). Solve g*r = -3*v, -p*v - 2*r = 2*v - 10 for v.
5
Let b = 6 + -6. Suppose 0 = -r - y + 11 + 7, -y - 78 = -5*r. Suppose 5*n = -z + r, 2*z = n - z. Solve b = 2*k + 3*k + 4*m + 15, n*k + m + 2 = 0 for k.
1
Suppose -92 + 7 = -5*l. Suppose -2 + l = 5*g. Solve 3*s + 22 = -5*m, -s + 4*m + g = -1 for s.
-4
Let g = -4 - -4. Suppose a + 2 - 18 = g. Suppose -1 - a = -o. Solve o = -5*y + q, -y + 2*q = y + 10 for y.
-3
Let v = -12 - -16. Solve -4*o - 2*n - 26 = -v*n, -3*n = 5*o + 5 for o.
-4
Let h(t) = -t - 5. Let a be h(-8). Let r(v) = v**2 + 11*v + 12. Let b be r(-10). Solve b*p + 2 = 0, -a*d - 2*d - 3*p = 3 for d.
0
Let y = -23 + 23. Solve 2*p + 4*a = -2*p - 4, 4*p - 4*a - 28 = y for p.
3
Let v(s) = 11*s**2 - 3*s + 2. Let y be v(-1). Solve 4*c + d = y, -c - 6*d = -d - 4 for c.
4
Let i = -16 - -19. Solve -3*y = -2*v - 0*y - 11, 0 = 4*v + i*y - 23 for v.
2
Let d be ((-2)/4)/(10/(-60)). Suppose -3*l - i = -10, 7 = 5*l - 5*i - d. Solve -q - 1 = -x - 2, -l*q - 4 = 4*x for x.
-1
Suppose -4*l - 3*i + 23 = 0, 4*l + 13 - 34 = -i. Let g be 3 - ((-10)/(-15))/((-2)/3). Solve 5*o + 20 = -5*d, -3*d - 10 = -l*d + g*o for d.
-1
Let m be (-7)/(-1) + 3 + -5. Suppose 3*v = -0*z + 2*z - 15, -m*z = -v - 5. Solve 2*d - 3*b + 2*b + 2 = 0, z = 2*d - 4*b - 4 for d.
-2
Let g be (-15)/(-20) - 17/(-4). Solve -g*x + 3 + 3 = 2*n, -4*n = 2*x - 12 for n.
3
Let j = -17 + 15. Let h = 2 - j. Solve -r - h*r + 3*w = -14, 4*r - 6 = 5*w for r.
4
Let n(l) = l + 4. Let z be n(0). Let d = z - 2. Solve d*o - 24 = -5*y, y - 4 = 5*o - 10 for y.
4
Let d = 28 - 10. Let q = 3 - 0. Suppose q*y + 3 = d. Solve 0 = y*o + 5*j + 5, 4 = 5*o + j - 11 for o.
4
Suppose 10 - 30 = -2*k. Let v(a) = a - 2. Let r be v(6). Solve -k = -g + 3*g + r*u, -2*g + 3*u = -18 for g.
3
Suppose 5*y + 11 + 9 = 0. Let r = y + 4. Solve r = 5*a + 25, l + 5*a = 5*l - 25 for l.
0
Suppose 2*c - 4 = 3*n, 4*n + 0 = 2*c - 4. Solve -2*w = a + 3*a + 20, -c*w - 17 = 3*a for w.
-4
Let i = -1 + 3. Suppose -2 = -i*m, -4*j + 2*m + 4 = -22. Suppose -2*a - 3*l = -7 - j, 4*l + 35 = 5*a. Solve -4*y = -a*y - 12, -y = -5*f + 9 for f.
1
Let l = -29 - -31. Solve 2*b - l*n + 0*n + 8 = 0, 0 = 5*n + 5 for b.
-5
Suppose 4*t - 7 = -3. Suppose b + 6 = -b. Let h = t - b. Solve 3*a + 16 = -4*s + 2, -h*s + 2*a - 24 = 0 for s.
-5
Let k be (6/(-9))/(4/(-6)). Let l be ((-3)/(-5))/k*5. Solve 2*p + 10 = -5*y, -l*p + 4*y + 36 = p for p.
5
Let x = 24 - 19. Let v = -1 - -6. Solve -3 = i, x*i + 1 = v*m - 24 for m.
2
Let f be