j = 2*a - 6. Solve -a*r - 3*m - 3 = -0*m, -3*r = 3*m + 3 for r.
0
Suppose -3*p = -5 - 28. Let r = p + -9. Solve -x - 1 = -3*z + r, 5*x = -5*z - 15 for x.
-3
Let h be (3 + (-3)/1)/(-2). Solve y - 1 = 3*j, -y - 9 = -h*y + 2*j for y.
-5
Let n = 10 + -10. Suppose x - 2 - 1 = n. Solve 4*h = -4*m - 8, h + 0*h + x = -2*m for m.
-1
Let k(c) = -c**2 + 4*c + 1. Let m be k(2). Suppose -m*n + 47 = -23. Solve 2 = x + r, -4*x + 0*x + n = -2*r for x.
3
Let l be ((-26)/(-6))/(1/3). Let z be 0*(3/2 + -2). Let d(j) = -j**2 + 16*j - 21. Let y be d(14). Solve -k - u = y, 3*k - 4*k - 3*u - l = z for k.
-4
Let o = -35 + 14. Let v = 23 + o. Solve y = -v*t + 4, -5*t + 4*t = y - 2 for y.
0
Let x = 12 - 8. Solve -2 = -j - 5*a, -a = x*a - 5 for j.
-3
Suppose -x - 4*x + 4*w + 7 = 0, -4*w = x - 11. Solve -4*s + x*n = 4*n + 1, -3*n = -s - 10 for s.
-1
Let f(c) be the first derivative of -c**4/2 - 2*c**3/3 - c**2/2 - 1. Let p be f(-1). Let n = 4 - -1. Solve 5*j = n*g - 10, -p = g - 2*j - 0*j for g.
5
Suppose 0 = -5*j + 14 + 6. Solve -4*o + 5*o = 3*c - 9, -j*c - 5*o = -31 for c.
4
Let n(s) = -s**3 - s. Suppose -3*i = 3*u, 5*i = 2*u + 3*u. Let v be n(i). Solve -3*k + c + 5 = v, -3*k = -0*k - 4*c - 20 for k.
0
Suppose y - a = -5*a + 14, -5*y - a + 108 = 0. Solve -v + y = 5*k, 3*k - 14 = k - 3*v for k.
4
Let r(n) = -2*n**2 + 4*n - 1. Let i be r(3). Let t = i + 23. Let b = t - 4. Solve -3*s + d - 2*d + b = 0, -6 = -5*s + 3*d for s.
3
Suppose 5*b - 105 = -0*b. Let c be ((-1)/1)/(2/(-30)). Let f = c - 11. Solve -7 = o - f*l, -3*o - 3*l = -l - b for o.
5
Suppose 5*u + 10 = 0, -u - 2*u = -5*i + 46. Suppose k - i = -3*k. Solve -2*q - k*q = d - 1, -4*q + 19 = -5*d for d.
-3
Let v(a) be the first derivative of 5*a**2 - a - 3. Let i be v(2). Solve 2*h + i = -5*k, -5 = -2*k + 5*h - 1 for k.
-3
Let o = 66 + -64. Solve -b + 1 = -5*j, o*b = -j - j - 10 for b.
-4
Suppose -4*a = -5*z - 32, 0 = -4*a + 2*z + 14 + 6. Suppose -4*d - 8 = -a*d. Let p = -6 - d. Solve 4*g = -q + 8, -q - p*q = 5*g - 10 for q.
0
Suppose -n + 3 = 1. Solve -2*k + 2*h - 2 = 0, 2*k + n*h = 5*h - 1 for k.
-2
Suppose 6*y = 7*y. Solve 0 = -4*t - 2*w + 2 - y, 4*t = -4*w for t.
1
Suppose 3*h = 5*h - 8. Solve -q - 3 = 2*p + 1, p + h = -q for q.
-4
Let j(k) = 3*k - 88. Let q be j(31). Solve -b - 35 = -4*v - 6*b, 2*v + q = 5*b for v.
5
Let z(r) = -r**3 + 6*r**2 + 8*r - 3. Let l be z(7). Solve -2*k - 4*b + 6*b = -l, 3*k = -2*b + 11 for k.
3
Suppose 0 = l - 1 - 3. Solve -n + 4*n + y - l = 0, 4*n = -y + 4 for n.
0
Suppose 3*h + h = 4. Let d = 0 - -1. Solve -h - d = 2*x, 0 = 5*w - x + 9 for w.
-2
Suppose -2*y - 5*m - 7 = 1, 4*y + 4*m + 4 = 0. Let h(c) = 2*c - 7. Let b be h(5). Suppose y - b = -v. Solve -2*n + 22 = -4*f, -n + v*f = -3*n + 4 for n.
5
Let q(w) = 7*w + 57. Let u be q(-7). Solve 0 = -y - 5*g - 6 - u, y + 4*g + 11 = 0 for y.
1
Suppose 7*t = 4*t + 15. Suppose -5*m + 19 = 3*o, t*m = 5*o + 8 + 27. Let g be (-2)/(-1) - (2 + o). Solve -d - g*a - 7 = 0, 2 = 3*d + a + 3 for d.
1
Suppose v - 7 = -2, p + 2*v - 14 = 0. Let b be p/(-10) - (-34)/10. Suppose b*l = -l. Solve 20 = 2*w - 5*i, l*w + 5*i + 20 = 4*w for w.
0
Let w(o) = -o**3 + 10*o**2 - 8*o - 10. Let c be w(9). Let i(n) = 4*n**2 + 2*n + 1. Let f be i(c). Solve g + 3*k + 9 = -6, -f = 5*g - 3*k for g.
-3
Let n = 1 + 1. Let q be 1*(8 + -3)/1. Let a = q - n. Solve 0 = -a*l - 3*u + 12, -2*l + 0*l = u - 8 for l.
4
Suppose 0 = 5*s + 4*h - 78, -4*s - 5*h - 20 = -86. Solve -5*w - s - 1 = -5*y, -16 = 2*w + 3*y for w.
-5
Let d be ((-9)/((-27)/78))/2. Let a = d - 13. Solve 4*c + 8 = 2*j, 3*j + 4*c + 28 = -a*c for j.
-4
Let m = -21 + 25. Let y be (-18)/4*4/(-3). Let l be (y + -3)*m/6. Solve 0 = -2*q + 10, l*q - 5 = -4*r + 3*r for r.
-5
Let y(q) = -q**2 - 8*q + 4. Let i be y(-9). Let f = i - -14. Solve 5*k + 3*w + f = 0, 4*k - w = -2*w - 3 for k.
0
Suppose 2*m + v = 187, m - 86 = -4*v + 2*v. Suppose -5*r - 2*s + m = s, 0 = 5*r - 4*s - 117. Solve 3*g - 8 = 4*o + 10, 5*o - 3*g = -r for o.
-3
Let y be 5 - (3 - 1) - -9. Solve z - y = 5*f, 2*z + 0 - 4 = 0 for f.
-2
Let k = 21 - 16. Solve -4*y = -k*f - 9, 7 = 5*f + 5*y + 52 for f.
-5
Let m be (-2 - -4)*1 - -19. Suppose 4*x + x = 2*v - m, -2*x - 12 = -2*v. Let s be (2 + -2)/(1 + x). Solve -2*t + q - 12 = s, -3*t + 0*t + 2*q = 20 for t.
-4
Suppose 2*y - 5*n + 31 = 0, 0 = -5*n + 4 + 11. Let d = -5 - y. Let r(h) = h**2 + 4*h. Let u be r(-4). Solve -5*s + 23 = 2*c, -5*c + u*s - d*s = -29 for c.
4
Let h(u) = -u**2 - 8*u + 2. Let d be h(-8). Solve -z = -r + d*z - 9, -3*r - 4*z = -12 for r.
0
Let h(a) = -a + 10. Let f be h(7). Let o be (16/(-6) + f)*9. Solve 0 = d, o*j = -0*d + 4*d for j.
0
Let p(z) = z**2 + 20*z + 66. Let a be p(-16). Solve 13 = -5*y - 2*t, 4*y + 4*t + 6 = -a for y.
-3
Let m(o) = -o + 5. Let x be m(-8). Let u = -6 + x. Solve -3*b + u*b = 2*h - 10, 5*h = -b + 14 for b.
-1
Suppose -w = 2*w. Solve -v - 3*q + 14 = w, 2*v = -0*q + q for v.
2
Let v(n) = -n**3 - 3*n**2 + n + 4. Let o be v(-3). Let q be 1 + (2 - 2) + o. Solve p + 5*x = 0, -4*p - 17 = -p - q*x for p.
-5
Let v(m) = m - 7. Let u be v(9). Solve 0 = 2*o + 2*y + u, o - 3*y - 3 = 2*o for o.
0
Let m be (-89 - 1)*(-4)/10. Suppose m = 4*r - r. Solve -3*y - r = -3*a, -13 = -2*a - 2*y + 5*y for a.
-1
Suppose -4*r = s + 45, 35 = -3*r - 3*s + 2*s. Let g be ((-2)/10 + -1)*r. Solve -j - 5*q + g = 0, 18 = -5*j + 2*q - 3 for j.
-3
Let v(a) = a**3 + 14*a**2 - 14*a + 17. Let s be v(-15). Solve -s*g - 3*z - z = 8, 4*g + z + 16 = 0 for g.
-4
Suppose -3*y + 10 = -2. Let g be (-2)/y - (-11)/2. Suppose 5*t - g - 5 = 0. Solve 1 = -l - 2*p, 0 = 4*l - t*p + 11 + 3 for l.
-3
Let q be 2/4 - 13/26. Solve 0 = 5*s + 20, 5*x + s = -q*x + 21 for x.
5
Suppose -4*y + 95 = l - 0*l, -5*y + l + 130 = 0. Solve 5*s - x = x + 18, -5*s + y = 5*x for s.
4
Suppose 2*y + 5 = -f, 4*f - 2*y = 40 - 10. Solve f*c + 31 = 4*u, -4*u = u - 2*c - 26 for u.
4
Suppose -3*n = -4*q + 38, -3*n - 4*q + 2 = -0. Let a = n + 9. Solve i + 5*o = 19, a*o - 21 + 6 = 3*i for i.
-1
Let w(r) = -3*r + 7*r - 3*r. Let t be w(5). Solve 15 = -t*i + 3*m, 0 = -5*i - 5*m + 34 - 9 for i.
0
Let y(r) = -r**3 + r**2 + 6*r + 3. Let b be y(-2). Solve -b*x = t + 9, -t = 2*x - 0*x + 7 for t.
-3
Let w = 0 - -3. Let j(f) = 2*f**2 + 2*f - 2. Let n be j(-2). Suppose -4*r + n + 18 = 0. Solve -l = 3*b - r*l + 12, 0 = w*b - 3*l + 9 for b.
0
Suppose -5*k = 3*t + t + 41, 4 = -4*k + 4*t. Let i be 2/k - (-24)/10. Suppose 0 = -p + i*p. Solve m - 6*l + 7 = -l, 3*m - l - 7 = p for m.
3
Let u(s) = s - 6. Let f be u(0). Let w = -4 - f. Solve -w = 5*d - 3*x, -24 = -2*d - 3*x - 2*x for d.
2
Let h = 228 + -225. Solve -2*t + h*t = -n + 2, t = 2*n - 1 for n.
1
Let m(j) = j**2 + 5*j + 6. Let x be m(-4). Solve x*l = 2*i - 2, -3*i + 3*l + 6 = -l for i.
-2
Suppose 15 = -18*b + 23*b. Solve -3*r + 3*g = -3, b*g + 13 = -3*r + 8*r for r.
5
Suppose 3*b + 9 = 6*b. Let w(f) = 3*f**2 + 2*f - 2. Let l be w(-2). Suppose -4*g + 2*o + 72 = l*o, -15 = -3*o. Solve u - z + b = 0, 3*u + 2*z - 3 = g for u.
2
Let a be 4 + -6 - (-1 - 8). Suppose 3*d - a = -1. Suppose -c - f = -d, 4*c - 14 = -4*f + 2*f. Solve -2*k + k - 6 = 3*p, 10 = -5*k + c*p for k.
-3
Suppose 9*m - 28 = 2*m. Solve -p = -5*d - m, 0*p = 4*d - p + 4 for d.
0
Let g be (0 + -1)*45/(-9). Let c = -4 + g. Suppose -f = -2*f - 5*v + 25, -17 = -5*f + 2*v. Solve 0 = 4*y + 2*w - 4, c + f = -2*y + 3*w for y.
0
Let g be ((-10)/6 + 2)*15. Let k(b) = -7*b - 22. Let s be k(-5). Solve s = a + 5*r, g*a - 7 = -0*r + 4*r for a.
3
Let k(v) = -v. Let x be k(0). Suppose x = -2*n - 4*w + 4, 8 = -5*n + 2*w + 30. Suppose -2*o + n*o = 0. Solve o = -5*a - d + 5*d - 33, 4 = 2*d for a.
-5
Suppose -6 = 2*v + 4*l, 3*v - 3*l = -2*l + 12. Solve 0 = 4*d + g - 3, 11 = v*d - 2*g + g for d.
2
Suppose 3 = -l + 6, 3*r + 12 = 3*l. Let y be -93*((-3)/(-9))/r. Let v = -12 + 18. Solve -v = 2*j, y = 4*w - 0*w - 5*j for w.
4
Let f(t) = t + 5. Let i = 20 - 14. Let h(m) = -m**3 + 7*m**2 - 7*m + 6. Let j be h(i). Let l be f(j). Solve -2*q + 4*g - 5*g + 3 = 0, -l*g = 3*q - 1 for q.
2
Let j = 4 + -2. Suppose -4*u = -j + 6. Let r be u/(1/(0 + -4)). Solve -22 = -2*v - 4*b, -4*v - 3*b = -r*b + 1 for v.
1
Suppose r - 2 = 14. Suppose -3*q + r = -2*w, 12 = -4*q - 3*w - w. Suppose f = -b, -7*b = 2*f - 3*b + 6. Solve -s = -a - 3, q*a + 2*s = a + f for a.
-1
Let t be 0 + (3 - 5) + 2. Let d be 