2, 0 = -q + 5*q + 4*p - 32. Solve g - 2 = 3*h + q, 0 = 3*g + 5*h + 35 for g.
-5
Suppose -4*z + 7 = -5. Suppose -3*r = 3*u - u - 15, 5*r - 25 = 3*u. Suppose -3*a + u*a = 4*l - 16, 0 = z*l - 12. Solve 8 = -a*w + 2*w - m, 2 = -m for w.
3
Let m be (-3 - 1)*1/(-2). Suppose -m*w = -4*f + 12, 9 = 3*f - 2*w - 0*w. Solve f = 3*v, -3*z + 5*v - 22 = -8 for z.
-3
Let d(y) = -y - 6. Let n be d(-8). Suppose 6 = n*u + u. Let s = -4 - -9. Solve -2*c + 23 + 3 = s*q, 2*q = -u*c + 14 for q.
4
Suppose 5*q - w - 191 - 185 = 0, 0 = -3*q + 2*w + 227. Suppose 0 = 3*j + 2*j - q. Solve -3*v - j = -4*u, 0 = u + 3*u - 12 for v.
-1
Suppose 4*w + 0*w = -5*l + 126, -3*w + 3*l = -81. Suppose 0 = -0*y + 2*y. Let s be 2/4*(1 + 9). Solve 6 = 4*c - 3*x - w, y = -3*c + s*x + 40 for c.
5
Suppose 2*w - 96 = -w. Let j = 67 - w. Solve -5*s + 2*u = -3*u + j, 0 = 2*s - 5*u + 20 for s.
-5
Suppose -3*m + 4 = -2. Solve 3*c + 2*f + f - 27 = 0, 2*c = m*f + 2 for c.
5
Let t = -7 - -11. Suppose -5*u - 6 = -2*w, 0 = 3*u + 2 + t. Let v = w - -2. Solve v = 2*m + a + 2, -4*m - 4*a + 4 = 8 for m.
-1
Let g be 1 - (-2)/(8/(-20)). Let l = 6 + g. Solve -5 = 3*t - l*k, 0*t - 5*k = 3*t + 40 for t.
-5
Let t(n) = n**3 - 4*n**2 + 2. Let u be t(4). Suppose -1 = -4*y - u*c + 5, -c - 13 = -2*y. Solve -3*w + w + 15 = 3*k, -y*k = -4*w for k.
3
Let c(k) = -k**3 - 11*k**2 + 12*k + 2. Suppose 5*i = 2*i - 36. Let u be c(i). Let t(a) = -a - 1. Let d be t(-3). Solve d*s - 4*f - 9 = f, 2 = 2*s + u*f for s.
2
Suppose -4*z - 3 = h + 9, 0 = -4*h. Let j = z - -7. Solve -w = -v + 1 + j, -2 = -v for w.
-3
Suppose 0*i - 4 = -i. Suppose 2*m = m + i. Let f = m + -4. Solve -5*l + 2*h - 12 = f, 0 = -0*l - 5*l - 2*h - 8 for l.
-2
Let z be (-38)/(-14) + (-6)/(-21). Let o be -3 - 0/(0 + -2). Let j be (-32)/12*(o + 0). Solve 4*v + j*p - 13 = z*p, v + p = 3 for v.
2
Let t(r) = -r**3 + 11*r**2 - 9*r - 3. Let y = 21 + -11. Let h be t(y). Solve 2*x - 2*p - 30 = h*x, 5*p = -25 for x.
-4
Let y = 1 + -1. Let f be (150/(-200))/((-3)/28). Solve f = -4*k - y*t + 3*t, 2*k + t = 9 for k.
2
Let m be (8/(0 - 8))/((-2)/4). Solve f + 1 = 3*y, 0 = -m*f + f + 4*y - 1 for f.
-1
Let a(q) = q**2 + 6*q + 7. Let d be a(-5). Solve -4*c - 5*m = -18, d*m = 4*c + 1 - 5 for c.
2
Let u(x) = 5*x**2 + 3*x + 1. Let y be u(-1). Solve -z = -a - 0*a + 6, -16 = -y*a + z for a.
5
Let q(c) = -c**3 - 4*c**2 - 3*c + 1. Let k be q(-4). Solve 3*i - 5*z = 19, i + 4*i = -z + k for i.
3
Let k be ((-30)/18)/((-2)/6). Solve k*t = -25, 15 = v + 3*v + t for v.
5
Let c be 9 + (-9)/15*-5. Solve -4*y - 2*q = -c, q - 24 = -4*y + 2*q for y.
5
Let j be (0 + -6)*(-4 + 2) + -1. Suppose 0 = -h + 4. Solve -5 = -4*f + c, -8*f + j = -h*f + c for f.
2
Let v = -75 + 78. Solve -4*o - 4*h = -0*h + 16, 3*o - v*h - 18 = 0 for o.
1
Suppose 3*q = 2*u + 7*q + 12, 0 = -5*u + 2*q + 18. Let z be (6/12)/(u/8). Solve -3*b + 7*b + 5*w + 29 = 0, -b + z*w = -9 for b.
-1
Let y = -2 + 5. Let f be 4/y*(0 - -3). Suppose f*k + 25 = 5*o, 4*o + k = 19 + 1. Solve 5*i - 3*i = -x + 5, o*i = -5*x for x.
-5
Let t be -9*(5/(-3))/5. Let j = t - 0. Solve -3*f + 12 = 5*a, j*a - 2*f - f = 12 for a.
3
Let n(m) = -m**2 + 2*m + 3. Let o be n(3). Let h = 3 - o. Solve h*k - 10 = 5*w, 0 = 2*w - 4*w - 3*k - 4 for w.
-2
Suppose -4*p - 8 = -4*m - 5*p, 0 = -m + 4*p + 19. Solve -5*o = -k - 18, -o + m*k - 2 + 0 = 0 for o.
4
Let m(k) = -21*k - 14. Let x be m(-1). Suppose 2*i = 3*i. Solve i = -v + n, -x*n = -v - 2*n + 8 for v.
-2
Suppose 0 = o - 8*o + 21. Solve -28 = o*c - 4*n + 1, 5*c + 3*n = 0 for c.
-3
Let z(h) = h**2 + 1. Let m be z(-1). Suppose m*p - 15 = -3. Suppose 3*t + 0*t - p = 0. Solve -t*v + 6 = -2*y, 10 = 5*v + y + 1 for v.
2
Suppose -p - 22 = -6*p - 3*g, 4*p + 4*g - 24 = 0. Solve 4*v + 3 = k + 1, 2*k = p*v + 4 for k.
2
Suppose 2*v + 2*v + 24 = 0. Let x = 2 + v. Let m = 1 - x. Solve m*p + 4 = 2*h, 3*p + 5*h + 2 = 12 for p.
0
Suppose -2*f = 5*u - 17, 0 = -4*u - f - f + 12. Let l = -3 + u. Solve 3*s + s + l = 5*h, 3*h - 12 = -3*s for s.
2
Let j be (-10)/(-2) - (2 - 1). Let h = -3 - -5. Let t be (-85)/(-25) + 1 + 2/(-5). Solve 2*l + 2*z = z + t, 0 = h*l + j*z + 2 for l.
3
Suppose -3*c + v - 6 = -0, -3*v = -3*c. Let i(d) = d + 2. Let t be i(c). Let j be t/3 - 2/(-6). Solve j = 4*m + n + 1 + 4, -3 = m + 2*n for m.
-1
Let a = -21 + 31. Solve 0*y - 2*o = 3*y + a, 0 = 3*y - 3*o - 15 for y.
0
Let l(s) = s + 3. Let k be l(-6). Let y(d) = -d**3 - 3*d**2 - 3*d - 4. Let q be y(k). Solve -4*b - i + 7 = 0, 4*b + 3*i - 22 = q*i for b.
3
Let o = 21 - 13. Suppose 2*s = -5*v + 49, 2*v + 2*s = 8 + o. Solve -2*q + 5*d = 2*q + v, 0 = -q + d - 3 for q.
-4
Let r(o) = o**2 - 2*o + 2. Let h be r(2). Suppose -5 = h*k - 17. Solve 5*q - 2*v = q + k, q - 4*v - 5 = 0 for q.
1
Let u = 32 + -53. Let k = u + 7. Let b = -9 - k. Solve h - 30 = -b*x, -3*h = 4*x - 2*x - 25 for x.
5
Let a be 0/2 + (-4)/(-2). Let o be (-2)/(-3 + 16/6) - 2. Solve 2*q - o = a*b, -2 = -b - 3*q - 0 for b.
-1
Suppose 3*a + 3*p - 15 = 0, 0 = a - 3*p - 1 - 0. Solve -r - t - 23 = 3*t, -2*t = -2*r + a for r.
-3
Let u(s) = 4*s**2 + 2*s - 1. Let h be u(2). Solve 2*k + h = -3*y, k + 1 = -y - 7 for y.
-3
Suppose 3*i - 18 - 6 = 0. Let q be 38/i - (-3)/12. Solve -2*b - 3 = 3*b - t, 3*b = 4*t + q for b.
-1
Suppose f + 4*y - 25 = 6*y, -y = -f + 26. Solve 0 = -5*o - 25, g - 5*o = -0*g + f for g.
2
Suppose -2*l - h + 0*h - 4 = 0, 0 = -h. Let k be 5 + (-6 - l)/4. Solve 0 = 3*x - s + 1, 0 = 4*x - 3*s + s + k for x.
1
Let q(z) = z. Let w be q(6). Let l(s) = 2*s - 9. Let y be l(w). Solve 0 = -2*g + 4*d - 6 - 4, -y*d = -3*g for g.
5
Suppose -3*m + 1 = -2, -2*t - 2*m - 10 = 0. Let n = t - -10. Solve 5*x - 35 = -n*z, 0*z - 5*z = -5*x - 10 for x.
3
Suppose 29*w - 25 = 24*w. Solve -3*o + 2 = 2*y + 6, 0 = -w*y - 10 for o.
0
Let m = -56 + 58. Solve -4*y + 12 = 4*o, y - m*o + 3 = -o for y.
0
Suppose -16 = -5*l + 2*g - 1, 0 = l + 5*g - 3. Let w = 3 - l. Solve -3*i + r + 15 = -w*r, -5*r = -2*i + 23 for i.
4
Suppose -b = 4*a - 11 - 12, -a = -2*b + 1. Solve f - b*t = 10, 4*f + 2*t + 4 = -12 for f.
-2
Suppose 0 = 5*m + 20, 8 + 35 = w - 5*m. Let d = 2 + -2. Suppose 35 = 5*l - 5. Solve -g + 4*u - w = d, 0*u + l = 4*g + 4*u for g.
-3
Let z be 1 + (5 + -4)*9. Let n(o) = -2 + 3 - 2*o + o. Let r be n(1). Solve 2*d + z = 0, 3*y + r*d = -5*d - 22 for y.
1
Let r be 2/((-4)/6) - 23. Let i = r + 26. Solve 3*s = 5*l - 21, 2*s + i*l - 5 = -3*l for s.
-2
Let t = -13 - -19. Let z(y) = -6*y**2 - t - y + 4 + y**3 + 10*y**2. Let c be z(-4). Solve 2*v - o - 1 = 9, -c*o = 5*v - 25 for v.
5
Let j(c) = 5*c - 22. Let n be j(6). Solve 3*r + 0 = -q + 2, -r + n = 4*q for r.
0
Suppose -l - 10 = -6*l. Suppose 3*a - l*a = 0. Solve 5*c = -3*j - 27 + 7, 5*j = a for c.
-4
Let y be 3/3*(-1 - -2). Suppose 0 = -3*r + 8 + y. Suppose -3*d + 15 = -3*h, -8 = 3*h + h. Solve -2*k - 5 = -r*j, 0 = 4*j - d*j - k for j.
5
Let u = 13 - 8. Let b be 0 - -13 - (u + -2). Solve 2*j = -5*i + 7*j + b, 0 = -i - 2*j - 1 for i.
1
Let n(l) = 4*l**2 + 6 + 0*l + 6*l - 3*l**2. Let w be n(-6). Suppose 0 = -5*o + 21 - w. Solve -5*i = -10, 2*p - o*i = -p - 12 for p.
-2
Suppose -3*b + 4*p = 2 - 1, -36 = -4*b - 4*p. Solve -b*n - 6 = -v + 2*v, 2*v - 3 = 5*n for n.
-1
Suppose 0*s - 7 = 4*h - 3*s, -12 = 4*h - 4*s. Suppose 4*r - 18 = -5*k - 0*k, 2*r + 4 = 4*k. Solve l = h*l - 2*z - k, -3*l = 5*z - 6 for l.
2
Suppose -6 + 14 = 4*q. Solve -p + 0*t - 2*t = -3, -2*p + 12 = -q*t for p.
5
Suppose 2*k = -3*k + 15. Let m = 0 + k. Suppose n + n = -i, -m*n - 3 = 0. Solve 4*z - 2*q = -24, -3*q = -0*z + i*z + 4 for z.
-5
Suppose 3*o - 6*o = -2*h - 10, 4*o = -4*h + 20. Solve -x + h = 3*r, r - x = x - 2 for r.
0
Suppose -34 + 174 = -5*f. Let g = 40 + f. Solve -2*n - k + g = 0, -n - 3*k - k = -13 for n.
5
Suppose 2*k - 5 + 5 = 0. Let w(f) = f - 4. Let s be w(7). Solve k = 3*x + z - 5*z - 23, x - 16 = s*z for x.
1
Suppose 5*z - 43 = 12. Let f = 15 - z. Let y be ((-30)/f)/((-3)/8). Solve -q + 5*u = -5, 3*u - y = -6*q + 2*q for q.
5
Suppose 2*z + 3*v = 29, 0 = -3*z - 3*v - 0*v + 36. Solve -5 = -5*m, -z = -3*h - 4*m + 3 for h.
2
Let g = -9 - -4. Let y = 1 - g. Let t = y - 4. Solve t*k + 10 + 1 = 5*x, -4*x - k = -1 for x.
1
Let m = 113 - 110. Solve -4*q + 12 = r, 2*q - m = 2*r + 3 for q.
3
Let y(u) = u**2 + 11*u - 9. Let m be y(-12). Suppose 4*s + 5*a - 7 = 0, -8*a + m*a - 20 = -5*s. Solve 4 = -2*b +