 + 0*m - 23 = t*g, 5*m = g - 23 for m.
-5
Let y = -27 - -31. Solve r - 5 = -p, -y*r - 5*p + 35 = 10 for r.
0
Let t = 0 - -3. Let x be -5 + -1*(-3 + 1). Let d be ((-10)/(-15))/((-1)/x). Solve 2*i + i - 2*o + 14 = 0, -t*i - d*o = 10 for i.
-4
Let g be 1 + -3 + (-666)/(-3). Suppose -3*n + 703 - g = 0. Suppose 41 = -4*a + n. Solve -5*z = 5*m + a, -3*m + 4*z - z = 0 for m.
-3
Let t(f) = f + 8*f - f**2 - f - 3*f + 4. Let o be t(5). Solve -4*q + 12 = 0, j + o*q - 2*q - 2 = 0 for j.
-4
Suppose -68 = -10*w + 6*w. Let q = -15 + w. Solve -2*c - q*h = -2, -4*c + 2*h + 18 = -h for c.
3
Let o = 8 + 10. Suppose 2*r + 36 = 5*s, -r = s + s - o. Suppose -3*l + s = 4*j - 20, 2*l + 8 = 4*j. Solve 3*b + 4*h - 15 = l, 4*b - 2*h = -4 for b.
1
Let g(d) = -d**2 - 8*d - 2. Let t be g(-6). Let m = 23 - t. Let n = -3 + m. Solve -l + 0*b - 10 = 2*b, -2*b = -4*l + n for l.
0
Let l = 127 + -55. Let r = l - 42. Suppose w - r = -2*w + 3*q, -4 = 2*w + 4*q. Solve -w*j + 3*j - 17 = -4*f, -5*j - 25 = -5*f for f.
2
Let i(j) = 10 - 2 + 0*j + 2*j - 3*j. Let h be i(7). Let g(f) = 6*f**3 - 1. Let m be g(h). Solve m*d + w + 0*w = 3, 5*w - 15 = -3*d for d.
0
Let y = 44 + -24. Suppose -y = z - 5*z. Let r(m) = 2*m. Let w be r(1). Solve -z*q = 2*s + 15, s = -0*s + 3*q - w for s.
-5
Suppose t = -4*t - 4*j + 33, 3 = -t + 4*j. Let d = t + 7. Solve 15 = -2*n + 5*i, -5*n = -4*n + 4*i - d for n.
0
Let k be 8/6*(2 + 5/(-10)). Solve r + k*w = -8, 0*r - r + 4 = -2*w for r.
-2
Let j be (-2)/3 - (-82)/(-3). Let d = j + 47. Suppose 3*a - d - 17 = 0. Solve 18 = -3*m + 3*r, 0*r = -4*r + a for m.
-3
Suppose -2*i = 3*i. Suppose 24 = 2*d + 5*p, 4*d + i*p - 3*p = -4. Suppose -d*u + 1 + 5 = 0. Solve h = -3*o + 9, u*h - 2*h + 3 = o for o.
3
Let d be (-3)/(0 + 3/(-2)). Suppose u - 1 = d. Suppose u*w - 18 = -3. Solve -2*f + 2 = 2*c, 3*c + w*f = -0*c + 1 for c.
2
Let o be (-1 - -24 - 2) + -3. Solve -3*i + 3*t + o = 0, 0 = 5*i - 0*t + 3*t + 10 for i.
1
Let u = 36 - 35. Solve -3*n - 7 + u = 3*r, 3*r + 12 = -n for r.
-5
Suppose 48 = -4*v - 4*n, -2*v = -n + 3 + 6. Let w = -5 - v. Solve -w*y = -0*b - 5*b - 6, 4*y = 4*b + 12 for b.
0
Suppose -x + 4*x = 39. Let n = x + -9. Solve 0 = 5*g + 5*w + 6 + n, -g - 3*w - 8 = 0 for g.
1
Suppose -m = m. Let y = 5 + m. Let a = 14 - 4. Solve -21 = -3*n + 2*t, -n + 2*n = -y*t - a for n.
5
Let u = -1 - -2. Let d be 0/u*2/4. Solve -b - 3*s + 7 + 2 = d, b + 15 = 5*s for b.
0
Let i = -1 + -8. Let c = -5 - i. Solve -2*n - 10 = z, c*n = 5*n - 4*z - 4 for n.
-4
Let p = -98 - -103. Solve 20 = -5*c + p*h, 2*c - 4*h - 2 = -16 for c.
-1
Suppose -2*d + 21 = 5*m + d, -4*d - 1 = -3*m. Let j(k) = k**2 + 6*k - 2. Let l be j(-5). Let c = -5 - l. Solve 2*i - 2*n = c, i - 3*n = -i + m for i.
0
Let b = -146 + 149. Solve -2*z + s = 5*s + 16, -3*s - 12 = -b*z for z.
0
Suppose 0 = -15*s + 11*s - 1104. Let q be (-4)/6 - s/9. Solve -2*w - 2*t = 3*t + q, w + 1 = t for w.
-5
Let u be (128/24)/((-2)/(-3)). Let p = 11 - u. Solve -p*t - 3*h - 12 = 0, t + h + 4 = -4*t for t.
0
Let i be 1/(-3) - (-86)/6. Let g = 33 - 31. Solve g*m - 2 = f + 4*f, 4*m - f = -i for m.
-4
Suppose 7*z = 13 + 15. Solve t + 4 = -z*g - 3*t, 4*g + 3*t = 0 for g.
3
Suppose -4*t + 5*z + 19 = 102, -5*t - 113 = 3*z. Let b = t - -33. Solve -8*a = -c - 4*a - b, -a + 4 = 0 for c.
5
Let k(b) = -b**3 + b**2 + b. Suppose w + 5*q + 6 = -4, -5*w - 4*q - 8 = 0. Let a be k(w). Solve -4*p + 4*v + 20 = 0, a = -3*p - 4*v + 2*v + 15 for p.
5
Suppose 2*p + 37 = -5*l, 0 = -3*p - 0*l + 2*l - 8. Let a = 9 + p. Solve f + 5 = -7*d + a*d, 20 = 5*d - 4*f for d.
0
Suppose g = 2*b, 0*b - 12 = -2*b - 2*g. Solve -b*f + 6 = 3*f + 2*y, y = 4*f - 10 for f.
2
Suppose 4*h = 30 + 38. Let y(m) = -2*m**2 + 1. Let q be y(-3). Let r = q + 21. Solve 5*o - 3*n - h = -r, o - n - 1 = 0 for o.
5
Suppose 0 = 5*m + 4*q - 24, m - 3*q = -m + 5. Let c(x) = 2*x**2 - 5*x - 1. Let h be c(m). Let s = h + -9. Solve -2*v - 12 = -5*v + 5*b, -4*v - s*b = 10 for v.
-1
Suppose 32 = 4*w + 4*a, 6*a = 3*w + a. Suppose -4*r = f - r + 13, w*f - 15 = r. Solve -2*y + 3 = 3*d, 4*y = 2*d + f*d - 24 for d.
3
Suppose 0 = -2*i + 4*i. Let t be 1 - -1 - (i - -6). Let p = -3 - t. Solve j = v - 3, -3*j + 0 - p = -v for j.
1
Let o = 4 - 4. Let q(r) = -r**2 + 2. Let x be q(o). Solve d + 12 = 5*p, x*d + 4*p = -0*p + 4 for d.
-2
Suppose 24 = 2*j + 6. Solve -4*i - 12 = 4*a, -5*a - 3*i - j + 2 = 0 for a.
1
Suppose -3*l = 9, -7*j + 2*j = -3*l - 29. Suppose j*m + 2*x - x = 32, -15 = -5*m + 5*x. Suppose 0 - 12 = -3*t. Solve t*v = k - 26 + 8, -k - v - m = 0 for k.
-2
Let f be (2/6)/(2/36). Let t be -2 + f*(-8)/(-3). Solve 0 = 3*x - v + 1, -x - 2*v = x + t for x.
-2
Suppose -r = 4*r + 20. Let k be (r/(-6))/(2/6). Solve 3*p - k = 2*y - 0*p, p - 14 = -2*y for y.
5
Suppose -3*m - 15 = 2*m. Let h be 3/m - 3/(-1). Solve -4*w = -5*x - 13, 0*w + 1 = -h*w + x for w.
-3
Let j(u) = -u - 3. Let s be (-9)/(-12)*(2 - 10). Let d(b) = 2*b + 7. Let r be d(s). Let w be j(r). Solve w*p + 4 = 3*y + 3*p, -4*y - 13 = 5*p for y.
3
Let k be 2 + ((-2)/6)/((-4)/48). Solve t + 2*f - k = -4, -5*t - 18 = -4*f for t.
-2
Suppose 0 = 4*q - 0*k + 4*k - 164, -5*k = 20. Suppose x = 4*x - q. Solve 0 = -3*t - t, 0 = -3*i - t - x for i.
-5
Suppose -1 = v - 0. Let a be ((-190)/20)/(2/(-4)). Let w be (1 - v) + -4 + a. Solve 0 = -5*k + 4*l + 16, 0 = -0*k - 5*k + 3*l + w for k.
4
Let q be ((-30)/(-18))/((-2)/(-6)). Solve q*j - 6 = 4*t, -5*t - 9 - 3 = -4*j for t.
-4
Let n(h) = 2*h**2. Let w = -9 + 7. Let u be n(w). Solve 2*y - 26 + 2 = -5*q, -4*q + u = -4*y for q.
4
Suppose 3*k - 3 = 2*m + 14, -3*k = -3*m - 18. Let f = 3 - m. Solve 2*b = -3*j - 4, -j - 4 = f*b - 2*b for j.
0
Let x = 37 + -34. Solve -3*l = -3*r + 3, -r + 2 + x = -5*l for l.
-1
Let o be ((3 - 4) + -3)*1. Let n be (-3 - 1)/(o/6). Solve -4*t = y - n*y + 3, -3*y - 3*t = -18 for y.
3
Let b be (0 + 4)*(-1 + 21/12). Solve -16 = -4*t, 5*g - b*t - 2*t = -15 for g.
1
Let h be (-152)/(-32) + 1/4. Solve -4*q + n - 28 = h*n, 2*q - 2 = 2*n for q.
-3
Let q(u) = -u**3 - 7*u**2 - 6*u - 6. Let x be q(-6). Let j = 10 + x. Solve -5*m - 20 = 5*f, 3 = -j*m - f - 1 for m.
0
Let u = 5 - -10. Let j be 12/20 + 6/(-10). Suppose j*i = 2*i - 10. Solve b + i*s = -15, -4*b = -9*b - 5*s - u for b.
0
Let t(b) = b**2 - 7*b + 9. Let l be t(6). Suppose l*r = 7*r - 12. Let v = 2 - -2. Solve 0 = -v*n - s + 10, 5*s - r = -13 for n.
3
Let a(p) = 4*p - 12. Let x be a(8). Suppose 2*n = 2*l - n - x, -3*n = -5*l + 32. Solve l*s + i = 10, -s = 3*s - i - 14 for s.
3
Let k = 7 + -5. Let u be 14/3 + 4/12. Suppose -u*t = k - 12. Solve 0 = -5*b, -2*b = 4*y - t*y + 6 for y.
-3
Suppose 7 = -j + 22. Solve -q - j = 5*u, q = 2*u - 0*q - 1 for u.
-2
Let v = -161 + 164. Solve -5*i - 5*d + 0*d + 40 = 0, 29 = 4*i + v*d for i.
5
Let z be (-68)/(-3) - ((-16)/3 + 5). Solve -u = -4*r + 6 + 2, r - z = -5*u for r.
3
Suppose -4*l - 14 + 26 = 0. Solve -2*x - 2 = -4*m, -l*m - 2*x + 4*x = 1 for m.
3
Suppose w = -3*w + 3*u + 60, w = -3*u. Suppose h + 2*g - 1 = 5, w = h + 4*g. Solve r - 4*p - 1 = -6, 2*r - 3*p = h for r.
3
Suppose -6*v + 2*v = 0. Suppose -8 = -4*o, 5*l - 4*o - 6 - 1 = v. Solve 2*w - 22 = -q + 5*q, -l*q = -3*w + 21 for q.
-4
Let i = -160 - -163. Solve -2*q = 2*p, 3*q = -4*p - i - 1 for q.
4
Suppose 1 - 3 = l - 2*y, 0 = -4*l - 4*y + 16. Solve -l*i = -5*r - 6, -3*r + 3*i + 12 = 7*i for r.
0
Suppose 0 = -3*u - 5 + 5. Solve -2*w - 25 = -5*m, 5*w - 2*m - 13 + 44 = u for w.
-5
Suppose 0 = 5*n - 4*v + 35, -4*n - v = -4*v + 29. Let r be (-6)/(-21) + (-102)/14. Let q = r - n. Solve -k + 19 + 5 = -4*p, -5*k = q*p for p.
-5
Let m(d) = -d**2 - 3*d + 4. Let k be m(-5). Let s = 8 + k. Solve s*i = -2*b, -i - b - b + 2 = 0 for i.
-2
Suppose a = -4*c, -a - 3*a = -4*c + 20. Let w be (10/8)/(c/4). Let v = -5 + w. Solve -l + 3*l - 2*i + 6 = v, -5*i = 0 for l.
-3
Suppose 0 = -4*a - 0*a + 80. Let s be (-8)/a + (-2)/(-5). Solve s = -q, c + 5 = 2*c - 4*q for c.
5
Suppose -4*s + 20 = 0, -5*w + 2*s + 14 = -w. Suppose 5*k - w*a + a = 30, -5*k = 4*a - 3. Solve 5*p = 0, -2*q + 3*p - k - 3 = 0 for q.
-3
Let v(d) = -4*d - 6. Let q be v(-6). Suppose 2 = -a + q. Solve -4*g + a = -5*h, -4*h + 4 = -g + 2*g for h.
0
Let h(c) = c**3 - 14*c**2 + 13*c + 4. Let v be h(13). Solve 3*t + 5*f - 19 = v*t, 13 = -4*t - f for t.
-4
Let f(j) be the second derivative of -j**5/20 + 3*j**4/4 - 5*j**3