4 + 3. Suppose -2*r + 8 = -3*x - 1, -2*r + o = -x. Solve r*c + 4 = -3*b + 4*b, 0 = -4*b - 3*c - 29 for b.
-5
Let x(i) = i**3 - 4*i**2 - 6*i + 7. Let o = 0 - -3. Let h be 2*2 - (2 - o). Let j be x(h). Solve 5*z = -c - 27, -2*c = -c + j for z.
-5
Let d be 1*2 - (1 + -4). Let y = 13 - 7. Solve -2*l = -y*l + 3*p - 32, l + 25 = d*p for l.
-5
Let q be 1*(3 - 5 - 9). Let x = q - -11. Solve 3*r - g - 8 = 0, -3*r + r - 4*g - 18 = x for r.
1
Let g = -1 + 6. Solve 0 = -4*q - g*o + 6, -2*q - q - 5 = -o for q.
-1
Let l(c) = c + 8. Let n be l(-6). Let j = n - -6. Solve 2 = -2*m, -3*u + j = u - 4*m for u.
1
Suppose 0*r - 4*r + 12 = 0. Suppose 0 = -2*p - p + r*m + 27, -p - 3*m + 1 = 0. Solve g - 9 = 3*a, 0 = 4*g + 5 + p for a.
-4
Suppose -5*g + 2*n = -115, -2*g + 4*g - 55 = -n. Solve 5*z = g, -3*z + 3 + 8 = -t for t.
4
Suppose -83*o = -88*o + 60. Solve 5*r - 3*u = -17, -4*u + o = 3*r - 7*r for r.
-4
Let k(p) = -p**2 + 13*p - 25. Let h be k(10). Let v = 14 - 9. Suppose -3*y + h = -8*y, -2*b + v = 5*y. Solve -b*z - 30 = -4*s, 0*s + s - 5 = 0 for z.
-2
Let j(b) = b**3 + 8*b**2 + 7*b - 10. Let s be j(-6). Solve -3*k = -5*d - 8*k + s, -4*d + 4*k = 0 for d.
2
Suppose 43*w - 39*w = 28. Solve 0 = -v + 3*f - w, 5*v = -2*f - 3*f - 15 for v.
-4
Let a(o) = o + 3. Let i be a(9). Let x be (0 - i/15)*-30. Solve 3*w - x = -3*m, 2*m = 3*m + 2*w - 12 for m.
4
Suppose -34 = a - 47. Solve c + c + 3*t - a = 0, 4*c + t = 21 for c.
5
Let y = -17 - -21. Solve 5*u + 2*g = -0*g + y, 2*g - 4 = 5*u for u.
0
Suppose -5*i = -0*i - 3*t + 5, -5*t + 21 = -2*i. Let j be ((3 - 3)/(-4))/i. Solve -4*a + 4*r + 20 = j, 0 = 5*a - r - 11 - 14 for a.
5
Suppose 3*y - c - 51 = 0, 0*y - 2*c = y - 10. Let x be 96/9 + 1/(-3)*-1. Solve 4*a + 3*p + p = -y, 2*a = -5*p - x for a.
-3
Suppose 4*i + w - 18 = 0, 5*w = 4*i - 0*w - 30. Solve i*j + 18 = 4*l, 2*l - 6 = 2*j - j for j.
-2
Suppose 0 = 5*t - 6 - 14. Solve -t = -3*q + 2*j, j - 24 = -q - 4*q for q.
4
Suppose -3*s = -3*r - 1 - 5, -5*r = 4*s - 8. Solve -4*b - 3*t + 4 = 0, -2*t - 12 = -b - r*t for b.
4
Suppose 0 = 5*a - 25. Solve a*o = -5, -4*g + 0*o - 2*o = -18 for g.
5
Let n be 4/(-8) + 1/2*9. Solve 5*k - 3*g = 18, 8*k - 4*g - 16 = n*k for k.
3
Suppose 0 = 29*b - 32*b + 75. Solve 3*r + b = -2*r - 5*g, r - 5*g - 1 = 0 for r.
-4
Let z = -16 + 19. Solve -5*w = 4*a + 10, -6*w + 31 = -z*w - 5*a for w.
2
Let d(c) = -c - 17. Let t be d(-12). Suppose -2 = 3*z + 4. Let m = z - t. Solve 0 = -5*s - 5*o - 30, m*o + 4 = 1 for s.
-5
Suppose 2*b + 3 = -3*g + 12, 5*b - 17 = -2*g. Solve -b*m + 11 = 5*t - 4*m, 3*m = 12 for t.
3
Let t(o) = o**3 + 4*o**2 - 7*o - 4. Let j(v) = v - 2. Let p be j(-3). Let w be t(p). Let b be 1 + w + -2 + 0. Solve x - b = i - 5*i, -5*i = -5 for x.
1
Let g be 24/(-9) - (-4)/6. Let t = g + 1. Let k be t - (-1*7 - -2). Solve 0 = k*a + 8, 2*a - 2 - 19 = 5*u for u.
-5
Suppose -a = -5*a + 12. Suppose 0 = d - 2*d + a. Let b = -1 + d. Solve t = b*h + 6, 2*h + 3 = 2*t - 1 for h.
-4
Let j(s) = s + 4. Let w be j(-4). Suppose -2*k + 2 + 6 = w. Solve 2*n + 2*p = 7*n + 8, -2*n + k*p - 16 = 0 for n.
0
Let b be (-8)/12 - (-118)/6. Solve 0 = y - 2*c - 9, 3*y - 4*c + 0 - b = 0 for y.
1
Let d = -3 - -6. Suppose 2 = -c + d. Let j be (-256)/(-14) + 4/(-14). Solve -4*u - 7 = 5*x - c, x + 5*u = -j for x.
2
Let v(y) = y**3 - 6*y**2 - 3*y - 8. Let o be v(7). Suppose -2*l - 15 = 4*i - 5*l, 2*i = -4*l + o. Solve -11 - 3 = -4*a + 2*m, 5*a - 2*m - 18 = i for a.
4
Let d be (-85)/(-20) - (-2)/(-8). Let f be (60/(-18))/(d/(-6)). Let j = -1 - -4. Solve -j*i = x + 14, i - 5*x - 1 = f for i.
-4
Suppose 0 = 2*x - 4*x - 4. Let s be 3*(3 + x)*1. Suppose -12 + 3 = -s*p. Solve -2*g + 6 = 3*z, -3*z + 2*z + g = p for z.
0
Suppose 4*s = -0*s + 5*g + 7, 2*s - 2 = 4*g. Let i = 11 + -9. Solve 4 = -4*w + f, w = s*w - f + i for w.
-1
Let g(q) = -q**3 + 5*q**2 + q - 1. Let h = -17 - -22. Let t be g(h). Solve -t*l + 3*r + 17 = -2*r, -2*l - 9 = r for l.
-2
Let r be (-4)/22 + (-108)/11. Let y = r + 13. Solve -h - y*h - f = 24, 4*f + 11 = h for h.
-5
Suppose 0 = 2*a - 3*a + 4*w + 18, a - 22 = 5*w. Let n be 64/24*3/a. Solve n*v = -v + 4*u - 31, -u + 4 = 0 for v.
-3
Let j = 0 - -3. Suppose -i - j*i = 0. Solve -19 = 5*f - 2*z, -2*f - z - 4 = -i*f for f.
-3
Let l be 1*16*(-4)/8. Let u be 1/4 + (-38)/l. Let h be 1 + u + 0 + -3. Solve 4*r + p - 4*p - 16 = 0, -2*r + 14 = -h*p for r.
1
Suppose 5*i - x + 0*x = 67, 4*x = -5*i + 57. Solve 4*g - 27 = -5*n + i, 18 = 2*g + 2*n for g.
5
Suppose -2*p = 3*s - 1, 5*s = -2*p - 0 + 7. Solve s*x - 2*x + 4 = -4*n, -8 = 2*x - 3*n for x.
-4
Let k be (-2)/(2*1/(-8)). Let h be -1 - (k/(-2))/2. Suppose -n = 2*n - 6. Solve -5*m - j = -25, 0 = n*m - j - h - 9 for m.
5
Let o = -146 + 150. Suppose 0 = 5*u - 2*u. Let h = 9 + -5. Solve -3*d + 7 = h*c - u*d, o*d = -c - 8 for c.
4
Let d be (-3)/2 - 18/(-4). Solve 5 = 5*y, y - d = r - 2 for r.
0
Let u be (3 - 2)/(2/24). Let z(s) = -s**3 - 24*s**2 - 22*s + 26. Let h be z(-23). Solve 4*q = v + u + 3, 0 = h*v - 15 for q.
5
Let k(u) = u**3 - 3*u**2 - 4*u + 4. Let x be k(4). Solve -4*y + 40 = -x*q, 0 = -y + 3*y + 4*q + 10 for y.
5
Let r(d) = 2*d**2 - 4*d + 4. Suppose -5*j - 1 = -21. Let h be r(j). Solve 0 = 2*s + 2*s + o + h, 0 = -5*o for s.
-5
Suppose -l - l + 16 = 4*s, 0 = -5*s + 4*l + 7. Suppose 0*q - 2*z + 7 = q, s*z = -q + 9. Solve p + p + r = 2, 4*p = q*r - 16 for p.
-1
Let i(w) = 346*w - 1. Let o be i(1). Suppose -3*v = -o + 117. Suppose -3*c - 5*j = -v, 0*j - 2 = 2*j. Solve 5*l - 25 = 3*g, -5*g + 4*l - c = -7 for g.
0
Let m be -1*1*(1 - 2). Let b(h) = -h**3 + 6*h**2 + h - 8. Let x be b(6). Let p be (x + 1)*m*-14. Solve -5*d - 4 - p = 2*c, -4*d = c + 12 for c.
-4
Let y(o) = -o**2 + 13*o - 1. Let j(z) = z. Let k(a) = -6*j(a) + y(a). Let g be k(6). Solve 0 = s + 4*f + 13, 4*s = g*f + 15 + 17 for s.
3
Suppose -10 = -4*s - 2. Solve 3*q = 3*t, 5*q - 11 = -s*t + 24 for q.
5
Let b(k) be the second derivative of k**5/20 + k**4/4 + 2*k**2 + k. Let a be b(-3). Suppose a*p - 23 = -3. Solve -2*l = 5*f + 1, f - p*f - 4*l = 8 for f.
1
Let d(n) = n**2 - 12*n - 11. Let q be d(13). Suppose -1 = -q*x + 5. Solve 2*z + x + 5 = 0, -3*p + 23 = -5*z for p.
1
Let n(o) = 3*o - 4. Let u(w) = w - 3. Let b be u(0). Let x(m) = 2*m - 4. Let f(p) = b*n(p) + 4*x(p). Let v be f(-5). Solve c = -3*r + v, c - 2*r + 4 = -0 for c.
-2
Let l be 2 - (-2 + 0 - 0). Suppose 0 = -q + 7 - l. Solve -4*c - 4 = -q*v, -3*v = 2*c + 10 + 10 for v.
-4
Let p(g) = 2*g**2 - 6*g + 2. Let v be p(-5). Let i be v/4 - (-2)/(-4). Solve -5*b + s - 5*s = -20, 5*b - 4*s = i for b.
4
Let m(x) = x**2 - 3*x + 2. Let s be m(-3). Solve 0 = -5*q + 4*l + s, -4*l - 20 = -2*q - 0*q for q.
0
Let w be (-2)/3 - 14/(-3). Let g be (-5)/(-2)*(-24)/(-30). Solve -w*h = -g*l - 28, -h - h - 2 = 3*l for l.
-4
Suppose -22 = -3*f + 8. Let d = f + -10. Solve 0 = -2*u - 0*u + 2, d = h + u - 3 for h.
2
Let x = -5 - -4. Let d = x - -3. Solve -j + 3*j - d*f = 4, -5*j = -3*f - 8 for j.
1
Let s(d) = d**3 - 9*d**2 + d - 6. Let r be s(9). Solve v - 6*v = -5*z + 25, -r*z + 14 = -2*v for z.
4
Suppose -3*g + 13 = 4*m, -6 = -m + g - 1. Solve 0 = -2*k + 2*c + 3*c + 11, -k = -c - m for k.
3
Suppose -4*n + 6*n - 8 = 0. Suppose 0*r - 2*r + 8 = 0. Solve n*q = -2*f + r, 3*q + 12 = 3*f - 3 for q.
-1
Suppose 2*k = r + 2 + 11, -4*k - 2*r = -30. Suppose -k = 3*n - 16. Solve y = n*y - 6, 5*y - 40 = -5*j for j.
5
Let h = -6 + 10. Solve 0 = 4*t - c + 3, 3*c + 0*c - 9 = -h*t for t.
0
Let f = -43 + 83. Suppose -5*l + f = 4*p, 5 = 3*l + 2*l - 3*p. Solve -3*d = -2*z + 7, -2*z + l*d + d + 17 = 0 for z.
-4
Suppose -2*m = -8 + 2. Suppose 4*n + 0*w - 5*w = 28, -n - 18 = 5*w. Suppose -i - 3*i + 12 = 0. Solve 24 - 6 = 3*l - m*j, -i*l + 3 = n*j for l.
3
Let v(q) = q + 1. Let j be v(6). Let t be (-4)/(-6) + j/3. Suppose 4*a + 2*y - 25 - 1 = 0, 0 = a + 5*y - 29. Solve 3*m - a*z = -12, 5*m + 18 = 5*z + t for m.
0
Let j be (-18)/(-45) - (-56)/10. Let n(z) = -z + 2. Let t be n(0). Let d be 2 - (-5 + 1)/t. Solve 0 = -f - d*x + 3, j*f + 8 = 2*f + 4*x for f.
-1
Let d = -6 + 3. Let f(m) = -m**3 - 4*m**2 - 3*m + 3. Let v be f(d). Let x = 18 - -6. Solve -r + x = 2*r + v*i, r + 5*i - 28 = 0 for r.
3
Suppose 0 = j + 5*o + 10, 2*j = 4*j + o + 2. Solve -3 = -m, -l - m + 2*m + 1 = j for l.
4
Let a be 1 - (-2 + 3 + -8). Solve -27 = -a*r + 3*r - 4*u, -5*u + 27 = 4*r 