+ 23. Solve 0 = -b + o*b + 12, 3*y = -3*b - 3 for y.
3
Let v(i) = i - 3. Let c be v(-4). Let j = -2 - c. Solve k + 10 = -2*r, 0*r = r - k + j for r.
-5
Let t = 7 - 13. Let o = -4 - t. Solve o*r + 3*d - 10 = -d, 0 = 4*r + 4*d - 12 for r.
1
Suppose 4 = 3*u - 2*u. Solve 0 = -5*n + 5, 5*w - u*n = w - 16 for w.
-3
Let i = 30 - 5. Suppose 0 = c - 6*c + i. Suppose 3*n = 4*y - 12, -n = 4*n - 5*y + 15. Solve 0*b = b - 3*d + 15, n = d - c for b.
0
Suppose 3*t + 2 = 8. Let i = t - -2. Solve -3*k + 0*k - 14 = y, -i*k - 22 = -2*y for y.
1
Suppose w - 10 = -6. Solve 2*g + 6 = -4*d, -w*d - d = 3*g + 8 for d.
-1
Let q = -33 - -48. Solve 2*y = -w - q, 6*w - 3*w + y + 20 = 0 for w.
-5
Let a(d) = -2*d - 9. Let w be a(-7). Let v = 40 - -8. Suppose v = 5*q - 3*q. Solve w*y - q = y + 4*r, 2*y + 5*r + 2 = 0 for y.
4
Suppose -5*a + 46 = -3*d, 3*a - a - 24 = 2*d. Suppose -2 + 0 = -u. Let g be u/(-7) - 30/d. Solve p = 3*i + 3*p - g, 3*p = 3*i + 21 for i.
-2
Let l(w) = w + 5. Let n be l(-5). Let m = 1 - 4. Let b be (3 + (m - n))*1. Solve b*v + 2*o + 4 = -2*v, -3*o = 12 for v.
2
Let r = 25 + -37. Let a be (-18)/(-3)*r/(-8). Solve -j - 3*g = -2*j - 6, a = -j + 4*g for j.
3
Let a = -7 - -12. Let b be 2 - 2*(1 + -2). Solve b*h + 5 = -5*z - 6, 4 = -a*h - 3*z for h.
1
Let h = 82 + -82. Solve 5*p = -3*u, p - 28 = 5*u - h*u for p.
3
Suppose -3*m + m + 8 = 0. Let q(w) = w**2 - 7*w + 4. Let v be q(8). Suppose -a + v = 3*a. Solve -m*g + a - 9 = 5*o, 0 = o + 5*g - 3 for o.
-2
Let s(o) = o**3 - 9*o**2 + 8*o + 2. Let i be s(8). Solve -8 = y + i*u, -3*u + 2*u - 14 = 3*y for y.
-4
Suppose 35 = 9*m - 2*m. Solve 3*t + n = 6, 0*t - m*n - 24 = -3*t for t.
3
Let j = 5 - 7. Let g be j/4*-2 + -1. Solve -5*y - 2*b - b - 10 = g, 0 = -y - 4*b + 15 for y.
-5
Suppose 2*m = -m + p + 10, -5*p = -2*m + 11. Suppose -1 = -2*t + 3. Solve m*y = -4*v - 14, -y + t*v - 13 = 5*v for y.
2
Suppose -2*a - 399 = -2*z + 3*a, 5*z - 1035 = 5*a. Suppose z = -3*t - t. Let g = -8 - t. Solve 0 = -3*i - y + 5*y + 1, 5*i + g = -5*y for i.
-5
Suppose 2*a = 4*a. Suppose a = -x + 3*x + 2. Let q = 3 + x. Solve p = -n - 0*n + q, -2*n + 4 = -5*p for n.
2
Let f(n) = -n**2 + 6*n - 4. Let s be 6 + (2 + 2)/(-2). Let p be f(s). Let z be (-2 - 0) + p + 2. Solve -4*w = -z*t + 8, -w - t + 2 = -0*t for w.
0
Let r be ((1 - -49)/(-5))/(-2). Solve 3*h + 0*h - 2*i - 19 = 0, -r*h + 30 = -3*i for h.
3
Let w be ((-4)/3)/(4/(-18)). Suppose 5*a = w*a - 3. Solve 0 = -0*r + 5*r - 4*v - 15, a = r - 4*v for r.
3
Let z(k) = -k**3 + 6*k**2 + 10*k - 1. Let a be z(7). Let p = 29 - a. Suppose 0 = -4*l + 3 + p. Solve -2*f + 4 = l*m - 5, 0 = f + m - 3 for f.
0
Let v(o) = -o + 7. Let t be v(7). Solve 5*m - 5*p = -t*p - 10, -2*m = 4*p - 14 for m.
1
Let u be 1/1 - 1*-3. Solve -16 = 5*z - 4*g, 5*z - g + 0*g + u = 0 for z.
0
Suppose -2*x - 3*k = -18, 3*x - k = 2*k + 12. Solve -p = -4*h - 6*p - 29, -p - x = h for h.
-1
Suppose 0 = -5*n - 3 + 13. Let d = 6 - n. Solve -4*l - 4 = 2*t, t - d*l = 15 - 5 for t.
2
Suppose 4*b + 0 + 20 = 0, 5*b = -3*m - 16. Suppose 2*a - 1 = m. Solve -a*t + 3*x = -3, -5*t - 5*x = -0*t - 20 for t.
3
Let m be (-16)/(-5) - (-19)/(-95). Solve -5*p + 3*l = 4*l - 1, -l - m = p for p.
1
Let i(c) = c + 4 - 3 + 3. Let p be i(-4). Suppose p*y = 2*y. Solve -3*s + 5*u + 23 = y, 5*s + 2*u = -0*u - 3 for s.
1
Let g be 2/3 + 13/3. Let z(s) = -s. Let k be z(-4). Solve -b = 2*n - g, -k*n + 0*b - 5 = -3*b for n.
1
Let v be ((-24)/(-15))/((-4)/20). Let s = v - -9. Solve -t = 2*w, s = 3*w + 7 for t.
4
Suppose a + 1 = -3*c, 6*a - 2*a + c = 29. Solve -a = -2*w, 3*s - 2*w = -s + 4 for s.
3
Suppose 38 = -2*y + 94. Solve 2*u + u + 4*x = y, -5*u + 8 = -3*x for u.
4
Let q(p) = p**2 + 2*p + 5. Let o be q(-4). Suppose -5*j = 20, 40 - 9 = 3*c - 4*j. Solve -c*r = -3*t + 5, -4*r - o = -8*r - t for r.
2
Let j(x) = -x - 6. Let r be j(-6). Let p(k) be the second derivative of -k**3/6 + k**2/2 + 3*k. Let u be p(-1). Solve -2*g - 2*y = u, r = -2*y + 6*y - 12 for g.
-4
Suppose 0 = -l + 12 - 6. Solve l = -x - 3*f, -f + 6*f - 7 = 4*x for x.
-3
Let c(g) = 2*g - 9. Let m be c(6). Suppose 5*j = -x + 27, -m*j - j + 18 = -x. Solve 2*r + q - 12 = -q, -5*r + j*q - 10 = 0 for r.
2
Let y = -4 + -2. Let t be (-60)/(-33) - y/33. Solve 0 = -m, t*a - 6 = -4*m + 2*m for a.
3
Suppose 2 = -3*z + 4*z - 3*g, -5*g + 34 = 3*z. Let r(f) = -25 - 3*f + 22 + f + f. Let a be r(-7). Solve 4*m + z = a*i + 28, 0 = -2*m for i.
-5
Let y = 15 + -11. Solve 3*r + 3 = -2*v, -y*r + 2*r - 15 = -3*v for r.
-3
Suppose -g = 4*t - 21, -t + 6*t + 5*g = 45. Solve -q - 4 = u, -t*q - 10 = -2*u + 6 for u.
0
Let z(n) = -n**3 + 15. Suppose 2*k = -5*u + 10, 0 = k + k - 10. Let q be z(u). Solve 4*d + 2*g = 4, 2*g - q = -d + 5*g for d.
3
Suppose -z + 3*z - 10 = 0. Suppose z*n - 16 = n + 2*i, -5*n = i - 27. Let x = 0 + 0. Solve n*a + 24 = -4*h, -3*h + a + x = -1 for h.
-1
Let x = 3 + -3. Suppose 3*z + 4*b - 22 = 2*b, -2*b + 10 = 0. Solve x = z*h - 0*r - 3*r + 4, -5 = 5*h - 3*r for h.
-1
Suppose 0 = 3*q + 3*k - 30, 3*k + 0 - 12 = 0. Let d(z) = -z + 11. Let c be d(q). Solve -5*b + c*v + 1 = -4, -4*b + 28 = 2*v for b.
5
Suppose 0 = o - 2*y - 11, -5*y - 19 = -4. Solve -5*u = o*p - 20, 3*u = -u + 3*p - 12 for u.
0
Let u(p) = -p - 2. Suppose -3*f = -3 - 3. Let z = f + -4. Let t be u(z). Solve t = y + 2*j - 4, 8*y - 3*y - 4 = -2*j for y.
0
Let m be 1 - (8 - -1)*-1. Suppose -s + 28 = -4*j, 27 = 4*s - j - m. Suppose f = 5*b + 15, f - 8 = 4*b + 5. Solve 2*y - 3*n = -s, f*y - 2*y + n = 10 for y.
2
Suppose -8*a = -6*a - 2. Solve 0 = -2*t - r + 5, 4*r + 13 = a for t.
4
Let v = -2 + 4. Suppose -b = 2*q + 1, -v*b = 2*q + q - 1. Solve -4*n - 2*h = 18, -3*n = -b*h + 2 - 21 for n.
-2
Suppose 4*z = 4*s - 0*s + 4, -5*z = -4*s - 10. Suppose 2*f - z = f. Let c be 22/f - (-2)/(-3). Solve c = 3*t, -7*g - 4*t - 6 = -2*g for g.
-2
Suppose 0 = 5*f + 5*x - 5, -4*f - 5*x + 6 = 1. Let y = 2 - f. Solve 0 = 3*p + y*p + 3*l + 25, -2*l = -2*p + 6 for p.
-2
Let g(y) = -2*y + 4*y + 3 + y. Let i be g(-3). Let p be (-1)/(-2)*-1*i. Solve -p*u - v = -u - 2, -5*v - 2 = 4*u for u.
2
Suppose 14 + 22 = 4*c. Let d = 14 - 8. Suppose 2*y = -5*u + d, 3*u = 2*y + y - c. Solve -3*n - 1 = -3*l + 8, -y*n = -4*l + 10 for l.
1
Let m be 6/(-15)*-50*1. Suppose -4*o = -k - 12, -m - 4 = -4*k - 2*o. Let j be 1*(1 - 1) + 3. Solve k*n + 2*g = 0, g + g = -j*n for n.
0
Let t = 27 - 15. Let x = -27 + 63. Let f = x - t. Solve 5*i - a = -f, -i + 8 = -2*i - 3*a for i.
-5
Suppose -l - 9*l + 40 = 0. Solve -3*r + 2 = 5*i, l*r - 21 = i - 3 for r.
4
Suppose g + 2*g + 19 = -5*v, 0 = -2*g - 4*v - 16. Suppose 5*z = -0*z - 4*b + 31, -19 = -5*z - b. Solve g*x + 5 = -k - 2*k, 5*k + z*x = -7 for k.
1
Let p = 29 - 29. Solve l - 2*a + 9 = p, -l - l = a + 8 for l.
-5
Let f(h) = h**2 + 3*h - 15. Let w be f(-6). Suppose -3*g = -v - 0*v - 10, 2*v + w*g - 16 = 0. Solve -2*n - 2 = 0, -4*k + v*k - 5*n = 1 for k.
2
Let r(q) = -q**2 - 5*q + 1. Let j be r(-5). Let u be 0*(0/j + 1). Let i be (-1)/1 - -1 - u. Solve i = -2*s - 4*h - 3 - 3, 3*h = 2*s - 22 for s.
5
Suppose -5 = -14*t + 13*t. Solve 0 = t*h - y + 2 - 16, y = -h - 2 for h.
2
Let i be 0 + 22 + 3 + 1. Solve 5*f + 2*n = 4*n, 3*f - i = -4*n for f.
2
Let d be 5/2*(-378)/(-105). Solve c = h + 3 - 1, 0 = -3*h + 2*c - d for h.
-5
Let u = 5 - -1. Let j = u + -2. Suppose -4*s - 10 = 3*f, -j*f - 2*s - 3*s = 12. Solve -5*q = -f*k + 4, -7*k = -3*k + 12 for q.
-2
Let s(t) = -t. Let f(k) = k**3 - 8*k**2 + k - 6. Let y be f(8). Let w be (-2 + 2)/y - 3. Let b be s(w). Solve b = o + 2*v, o + 5*v - 7 = -2*o for o.
-1
Let l = -18 + 11. Let c = -2 - l. Let k = -3 + c. Solve -4*j - 3*s = -20, 2*j - k*s = -3 + 13 for j.
5
Suppose -4*h = 2*k - 0*k - 12, -5*h + 4*k = -41. Solve -3*n + 8 = -7, -5 = -h*i + n for i.
2
Suppose 0 = 4*l - 47 + 11. Suppose 0 = 5*h - 4*p + 13, 0*h - 1 = 3*h + p. Let s be h/(-5) - 18/(-10). Solve -w - s - 6 = -g, -3*w - l = 0 for g.
5
Let d = 2 + -2. Suppose d = o - 0 - 5. Solve -5*y = -3*y + m, -4*m = -o*y for y.
0
Suppose -4*s + 0 + 12 = 0. Solve -8 = -5*m - 3*q + 9, m + s*q = 1 for m.
4
Let v(w) = 2*w + 8. Let y(i) = -i - 7. Let n(m) = -3*v(m) - 2*y(m). Let g be n(-3). Solve 2*q = 4, d - 13 = -2*q - g*q for d.
5
Let f = 11 - 9. Let m = 30 + -25. Solve -f*c + m = 5*x, c - 5*x + 3*x = 7 for c.
5
Let n(j) = -j + 8. Let s be n(7). Let d be 2 + s + -2 