 21 + -20. Solve 4 = 3*g + o, -3*g - 4*o + s = -15 for g.
0
Let i = -8 + 12. Suppose 5*c - 12 = -i*h, 4*c = 4*h - c - 12. Suppose -20 = h*y - 7*y. Solve 0 = 5*l + y, 2 = 2*m - 3*l - 3 for m.
1
Let u be -1*0/(3 - -2). Solve -4*o = -4*l + 16, -3*o - 7 = 2*l - u*l for o.
-3
Suppose 10 = -5*n, 4*o - 5 = 3*o + 2*n. Let b be (-1)/o*78/(-6). Solve k - 8 = v, v - 5*k = b - 41 for v.
-3
Let m(r) = r**3 + 7*r**2 - 8*r + 2. Let d be 6/(-4)*(-32)/(-6). Let s be m(d). Solve 4*l = -4*k - 36, s*k + 41 = -4*l - 3*k for l.
-4
Let f be 33/7 - 4/(-14). Solve -z = 3*d - 7, z + f*d - 11 = -0*z for z.
1
Suppose 5*u = 4*v - v + 7, 0 = -5*v + u - 19. Let g(c) = c**3 + 3*c**2 - 6*c - 4. Let q be g(v). Solve q*p - 10 = 4*b + 6, -11 = -4*p - b for p.
3
Let j(w) = -2*w + 12. Let l be j(4). Solve -f + 4*h + 28 = f, -f + l*h = -24 for f.
4
Let n = -143 + 151. Solve -5*w + 25 = 0, -5*p + 13 = -n*p + 5*w for p.
4
Let y = -25 + 29. Solve -y*h = -4*r - 0 + 4, -3*h - 4*r - 10 = 0 for h.
-2
Let i(z) = 4*z**2. Let u be i(-1). Suppose 6 = 5*q - g, 0*g - g = 3*q - 10. Suppose -q*v + u = -v. Solve 0 = -a - a - v*p + 2, a + 3*p = 0 for a.
3
Let n be -6*(-3)/9 + -2. Suppose 5*k + 4*d + 1 = 3*d, 2*d + 2 = n. Solve -2*z + 4*u = u + 1, -z + u + 1 = k for z.
4
Let c be 3/18 + 110/(-12). Let k = 8 - c. Suppose 3*g + k = -g + 5*i, -2*i = 5*g - 20. Solve 2*y - 5 = 5*y + z, -y = g*z + 5 for y.
-1
Let n = -160 - -164. Solve -3*u = u - 4*m + 4, 4*u + 3*m + n = 0 for u.
-1
Suppose 8 = d - 19. Suppose 4*r + 3*g = 41, 2*g + 0*g - 18 = -2*r. Solve -5*w - c + 0*c = -d, 3*c + r = 4*w for w.
5
Let z = 4 - 5. Let d be 6/(-10)*(-6 - z). Solve -3*g + 1 = -t + 3*t, -2*t + d*g = -19 for t.
5
Suppose w + 4 = 8. Solve 0 = -4*a - 3 - 17, 3*q - w*a = 35 for q.
5
Let q be 6/(-15)*1*-5. Suppose 3*s = q*u + 5 + 8, 17 = 3*s + 2*u. Solve 2*m + 11 = 4*b + 3*m, s*b = m + 25 for b.
4
Suppose 8*l - 13*l = -15. Solve -4*u - l*s + 11 = 0, 5*s = 4*u - 10 - 25 for u.
5
Suppose 6*t - 10 = 4*t. Let p = 9 - t. Solve -p*o + 5*o + 4*m = -16, -2*m = 10 for o.
4
Let c(r) = r - 4. Let s(w) = -5. Let m(u) = 3*c(u) - 2*s(u). Let p be m(6). Solve -2*o - p = -3*q, 2*q + 3*o - 16 = 7*o for q.
4
Let q be (-1)/2 - 5/(-2). Suppose 3*d - 68 - 10 = 0. Suppose 2 - d = -2*v. Solve -2*u - 10 = -q*w, -4*u + 7*u + v = 0 for w.
1
Let m be (-14)/49 + (-16)/(-7). Suppose -m*p - 15 = -5*p. Solve -p*w - 2 - 3 = -5*n, -5*w = 20 for n.
-3
Let q(i) = -2*i - 14. Let a be q(-9). Solve -5*t = -2*g - 5, -3*t - 4 = -a*t + g for t.
-1
Let a = 8 - 6. Let s(b) be the second derivative of 11*b**4/12 + b**3/3 + b**2/2 + 2*b. Let j be s(-1). Solve k + w = 5*w, -j = a*k + 2*w for k.
-4
Suppose -1 = q - 2. Let p be 1 - (0 - (1 + q)). Let r(c) = c**2 - 4*c - 8. Let t be r(6). Solve -a - 19 = -t*j, p*a + 2*j - 3 = -j for a.
-3
Suppose -4*k - 4*o + 12 = 0, -2*k + 2*o + 3*o = -13. Solve 2*m - 6 = q, q + 12 = -2*q + k*m for q.
0
Suppose -2*g = 5*a + 4, g - 5 = 2*g + 4*a. Suppose -w = -g*w. Solve 4*l = 5*t + 24, 0 = -5*l - w*t - 2*t - 3 for l.
1
Let f = 57 + -34. Let k = f - 21. Solve -k*p + 5*a - 21 = -0*p, -4*a = 3*p - 26 for p.
2
Let r = -29 - -32. Solve i + 3 + r = 2*m, 3*m - 23 = 5*i for i.
-4
Let r(v) = v**3 - 8*v**2 - 10*v + 17. Let o(f) = -1. Let s(t) = 4*o(t) + r(t). Let x be s(9). Solve -5*n = -3*m - 22, -12 = 2*n - x*n - 2*m for n.
5
Suppose 2*m - m = 28. Solve 0 = 3*c + 15, 4*l + 5*c + m = 3*l for l.
-3
Let g(c) = c + 6. Let f be g(-2). Solve r - 4*j = -18, -r + j + 17 = f*j for r.
2
Let q = 4 + -4. Suppose q = 4*o - 4 - 8. Solve 4*w + 4 = h + 19, -4*w + 3 = o*h for w.
3
Let x(j) = 4*j**3 - j**2. Let i be x(1). Let b = -11 - -15. Let q = 0 - 0. Solve 2*f + f = v, q = -b*f + i*v for f.
0
Suppose -3*p - 5*p = -248. Solve 0 = 5*t - 2*v + p, -2*t - 9 = v - 2 for t.
-5
Let n = -2 - -4. Let z be (-8 - -1 - 2)/(-1). Solve n*s - 8 = -4*r - 2, 0 = -r + s + z for r.
4
Let k be 13 - (-5)/((-5)/(-2)). Solve -t = -4*t - 3*d + k, 3*t = 4*d + 1 for t.
3
Suppose 3*b + 19 = 5*u, -2*b - 6 = -4*u + 10. Suppose f + u*y + 10 = 0, 0*f - 2*f - 5*y = -5. Solve 0 = x - 3*t - f, -5*x + 0*x = 3*t - 3 for x.
3
Let j = -5 - -8. Let q = -2 - -1. Let w = j + q. Solve -w*z + 3*z = m + 4, -2*m = z + 5 for z.
1
Let j be (16/10)/((-12)/(-30)). Let o = 87 + -84. Solve 3*z + 3 = -s - j, -o*s = 2*z for s.
2
Let l(y) = -y - 6. Let q be l(-3). Let r(z) = z + 13. Let f be r(-6). Let g = f + q. Solve 0 = 3*j - 15, -4*m + 33 = j + g*j for m.
2
Suppose -6*s = -7*s - 2. Let n be -1*(-4 - -1) + s. Solve -4*c + n = -2*j - 11, 4*j + 5*c - 28 = 0 for j.
2
Let c = 7 + -4. Solve -3*h + 12 = 2*i, 4*i - 8 - 10 = -c*h for h.
2
Suppose 0 = 5*k - 21 + 1. Let t = 30 + -20. Solve 0*q - q = -3*d + t, 10 = 2*q + k*d for q.
-1
Let z = 7 - 5. Suppose 4*u - z - 6 = 0. Suppose 5*r + 13 = v, -v + 8 = 3*v + u*r. Solve 0 = 3*x - 4*g + 3, -x - 4 = v*x + 2*g for x.
-1
Let n = 2 + 3. Let k be 3*(-3 + 3 - -1). Let d(m) = 20*m**2. Let w be d(1). Solve k*v - w = 5*t, -5*v + 3 + 17 = n*t for v.
5
Let f = -20 + 21. Solve -w + f = u + 3*w, -4*w - 19 = -3*u for u.
5
Suppose 0*k + 2*k - 8 = 0, -h + 2*k = -7. Solve -2*w + 3 = -a, 5*a - h = -2*w + 18 for a.
5
Let j be (-2 + 2 - (-9 - -5)) + -2. Solve -5*f + 0*a = -j*a + 35, 4*f = -2*a - 10 for f.
-5
Suppose -f = -2*f - 2*v - 34, 5*v + 130 = -4*f. Let x = f - -45. Solve -4*l + x = a - 6, -2*a = -5*l + 10 for l.
4
Let b = 1 - -1. Suppose -b*w + 2*x + 32 = 2*w, 2*w + 2*x = 4. Suppose -28 = -5*f + o, -2*o + 0*o = w. Solve -3*r - 15 = z + 4*z, f = -r + 4*z for r.
-5
Suppose -2*r = -2*k - 1 - 1, 7 = 2*r + 3*k. Let h be (4/8)/((-5)/(-30)). Solve 0 = h*g, -2*g + r + 3 = -5*y for y.
-1
Let y = 2 + 3. Suppose -y*w = -0*w - 10. Let s(x) = 9*x + 1. Let n be s(1). Solve 3*l = -w*p - n, -1 = 4*p - l - 9 for p.
1
Let z(k) = -k + 6. Let r be z(4). Let x(f) = -1 + 0*f + 1 + f**3 - 4 - 3*f**r - 2*f. Let a be x(4). Solve 0 = 2*d - 10, -w = a*w - 5*d + 40 for w.
-3
Let p(n) = -2*n**3 + 12*n**2 + n - 6. Let x be p(6). Suppose -4*v + 8 = 0, 7 = -2*o + v + 23. Solve x*y - a - o = -2*y, -5*y = 2*a for y.
2
Let d be (9 + -7)/(2 - 1). Solve d*v - 3*v = 2*b + 9, 2*v + 2*b = -14 for v.
-5
Suppose 0 = -3*h + h - 28. Let m = h + 21. Solve d - 3*g = 11, -m = 5*d + 2*g + 6 for d.
-1
Suppose -3*h = -v - 3, -4*v - 1 - 11 = 0. Solve -5*q + 10 = h, -u + 3*q = -2*u + 2 for u.
-4
Let t(c) = -c**3 + 6*c**2 - 6*c + 12. Let z be t(5). Solve 5*r + 15 = -4*x, -2*r - z = -1 for x.
0
Suppose 5 = 4*q + j, j - 3*j = -q + 8. Solve 5*a = 2*x + 1, 1 = -4*a + a + q*x for a.
1
Let r be 1*(2 - (-1 - -4)). Suppose 8*g - 1 = 9*g. Let c = g - r. Solve 0 = -2*m - c*u + u + 1, 0 = -2*u + 6 for m.
2
Let g = 54 + -54. Solve 0 = 3*h - g*h + 3*f + 6, 3*f = -h - 2 for h.
-2
Let q = -57 - -74. Solve -h + 6*h - q = 2*z, 7 = -z + 2*h for z.
-1
Let y = -48 - -55. Solve f = -2*w - y, 3*w = -3*f + f - 10 for f.
1
Suppose 125 = 5*r - 0*r. Let g(p) = -p - 3. Let l be g(-3). Suppose -3*f + 15 = 2*f. Solve l = -f*s + 5*d - r, -3*s = d - 3 - 2 for s.
0
Let b be ((-14)/21)/(3 - 141/45). Solve 0 = -f - f - b*p - 14, 2*f + 2*p = -2 for f.
3
Suppose 5*x + 24 = -2*m + 4*m, m + 4*x + 14 = 0. Solve 15 = m*r - 5*f, -10 = -2*r + 3*r + f for r.
-5
Let n(z) = -z**3 + 4*z**2 + z - 4. Let y be n(3). Let g = 151 + -146. Solve 2*b - 2*r - 4 = g*b, -4*r = b + y for b.
0
Let x(y) = y - 10. Let f be x(13). Solve 5*o + f = q, 7*o - 2*o - 5*q = 5 for o.
-1
Suppose -2*v - q + 20 = 0, 0*v + 3*q + 21 = 3*v. Suppose -v = -2*i - i. Solve 2*o - 7 = z, -i*o + 2*z = z - 8 for o.
1
Suppose -2*l = -l - 2. Let g be ((-15)/25)/(l/(-10)). Solve 0*h - 16 = -4*h, -3*h + g = 3*z for z.
-3
Suppose 0 = -4*z + 12 - 4. Let c(r) be the first derivative of 3*r**2/2 - 3*r + 2. Let n be c(z). Solve -f + n*q = f - 1, -q - 7 = f for f.
-4
Let t be (-9)/(2 + 1) - -3. Solve -3*v - 9 = -0*v, c + 5*v + 10 = t for c.
5
Let v be (-5)/10 - (-18)/4. Solve l = -3*h - v, -4*h = 3*l - l + 8 for h.
0
Let x be -4 + 2 - (-2 + -9). Let v = 10 + x. Suppose -4*i + v + 5 = 0. Solve 5*z = -i*o + 4*o, 5*z + 3*o + 5 = 0 for z.
2
Let i be -2 + 6 + 2 + -3. Solve -p - i = -3*b + b, -2 = -2*b for p.
-1
Let x = -6 + 13. Suppose -15 = 4*p - x*p. Solve 4*y - p = 4*g + 3, -2*g - 14 = -4*y for y.
5
Let h be 4/(-6) - 26/(-3). Suppose -5*d + h = 103. Let y = 2 - d. Solve 4*m + y = 3*p, 0*p + 2*p + m - 3 = 0 for p.
3
Let g(n) = 2*n**