= -11*z. Solve -3*c + z*l - m = 0, c + 0*c - 3*l + 4 = 0 for c.
-4
Let x(o) = o - 1. Let d be x(6). Suppose -f + 5*m = -9 - 16, 5*f + d = -m. Suppose -3*v + v + 8 = 0. Solve v*w + 16 = f, u - 2*w = -u - 2 for u.
-5
Suppose -2*x + 2 = 0, 4*s - 3*x = 2*x + 15. Suppose -2*y + 3*g = -0*y - 7, 4*g + 10 = 3*y. Solve 0 = s*l - y*r - 10, 3*l - r = -5*r - 20 for l.
0
Suppose -2*v = -6*v + 4. Solve v = 2*k - k + c, 3*k + 2*c = 1 for k.
-1
Let s(w) = 5*w**2 - w. Let b be 1 + (0 + 2 - 1). Let m = b - 1. Let o be s(m). Solve k + 1 = 0, -a - o*k + 1 = -2*a for a.
-5
Let i = 12 - 18. Let s be (-1)/2*i + -9. Let g be s/(-12)*(0 - 0). Solve -2*t + 4 = g, 2*t = 5*z - 3 + 32 for z.
-5
Let c(l) = -2*l**2 + 19*l - 2. Let z be c(9). Solve -3*a - 13 = -0*s + s, -5*s = -3*a - z for a.
-4
Suppose 4*u + 90 = u. Let i = 48 + u. Let n be (0 - 5)*(-18)/15. Solve b = 2*z + n, 5*z - 4*b + 0*b = -i for z.
-2
Suppose 0 = -5*q - 1 + 6. Let u be 105/7 + 0/q. Solve -8*i - u = -5*b - 3*i, -4*i = 4*b - 12 for b.
3
Suppose 0 = -j - h + 1, 0*j - 2 = j + 4*h. Solve 5*l - 24 = -4*a, -a - j*l = -5*l + 11 for a.
1
Let z = -17 + 16. Let o(a) = -3*a**3. Let s be o(z). Solve -3*p - s*h = -0*h + 12, -2*h - 14 = 5*p for p.
-2
Let c(r) = r + 12. Let j be c(-8). Suppose -4*h + j*u = -9*h + 10, 2*h - 4 = 3*u. Solve -5*n + 3*b = -0*n - 16, 2*n + 3*b + h = 0 for n.
2
Let n = -2 + 10. Suppose 4*q + 13 = 3*z + 2*q, z - 7 = -2*q. Let v = n - z. Solve 3*o + 4 = -x + v*x, 23 = 3*x + 4*o for x.
5
Suppose l + 3*l - 12 = -4*y, -2*l - 3*y = -7. Solve -l*n - 2*n + 5*r + 12 = 0, 0 = r for n.
3
Suppose 3*b = 17 - 5. Solve 2*u + 3*p = 21, 0*u + b*p = -2*u + 26 for u.
3
Let n = 11 + 0. Let u = -3 + n. Solve 2 = j, 2*y + 5*j = -0*y + u for y.
-1
Suppose -3*t = 2*b - 19, 3*b - 2*t = -7*t + 31. Suppose 0 = -b*j + 3*j - 35. Solve -5*h + j = 5*m, h + m = -4*m + 19 for h.
4
Suppose -4*j = -9*j. Let o be j/(-6) + 2*1. Let q = 2 + o. Solve 5*w - 11 = p, 0 = 5*p + q*w - 1 - 2 for p.
-1
Let m(p) = p**2 + 18*p - 14. Let v be m(-19). Solve -f + 10 = -v*r - 1, -f = r + 1 for f.
1
Let h = 15 + -5. Solve 3*x = 8*x - m + h, 14 = -4*x + 2*m for x.
-1
Let t = 15 + -12. Solve -t*b = -c + 12, -2*c - 3*c = 0 for b.
-4
Let m be 3 + (-2 - 0) + 4. Suppose 16 = -i + m*i. Solve 4*p - 20 = -i*c, 5 = p - 3*p + 3*c for p.
2
Let x(l) = -5*l + 5. Let w(r) = r - 1. Let v(s) = 4*w(s) + x(s). Let b be v(-4). Solve -4*i - i - 5 = b*g, g - 11 = -5*i for g.
-4
Suppose -6*c = -23 - 7. Solve 6*u + c*s - 45 = u, 0 = u - 4*s + 16 for u.
4
Let f(w) = -2*w - 12. Let y be f(-8). Suppose y*b = -b + 5. Suppose 4*i - 4 = 0, -4*i - 5 = -j - b. Solve 2*d = -2*a - 2, 3*a = -2*d - 2*a - j for d.
1
Let m = 32 + -28. Solve -m = 4*l, 0*u + 4*l = -2*u + 6 for u.
5
Suppose -3*w - 1 + 19 = -2*v, -5*w + v = -23. Suppose -2*r + w*r = 4. Solve 5*t + 5*s + 20 = 0, r*s - 6*s - 17 = 5*t for t.
-1
Suppose 8 = -0*q + q. Suppose -s = 2*w - 4, -11 = -q*s + 3*s - w. Let j be s/9 - (-34)/9. Solve -i + 8 = -4*y, j*y + 0*y - 16 = -5*i for i.
4
Let u = 1 + 0. Suppose -2*b + 5 = u. Suppose 0 = -2*f - 4*x - b, 4*f + 10*x = 5*x + 5. Solve 5*p - 35 = -4*h - h, -4*p + 10 = -f*h for p.
5
Let p(g) = -g**2 - 2*g. Let u be p(-2). Solve -6*z + z = u, 3*k = 4*z + 6 for k.
2
Suppose -10*m + 28 = -6*m. Suppose 3*s + 4*t - 2 = 0, -s - 5*t = -4*s + 11. Suppose s*o = m*o. Solve 2*p + o*p = -5*w - 15, 40 = -5*w + 3*p for w.
-5
Let h(f) = 4*f**3 - 2*f**2 + 2*f - 1. Suppose n + 3 = u + 2*u, -4*u + 4 = -n. Let v be h(u). Solve -v*i - x - 5 + 16 = 0, -3*i + x = -19 for i.
5
Suppose -3*c + 8*c = -5. Let g be (c + 0)*(0 - 4). Suppose n - 10 = -4*n, -g*n + 20 = 3*h. Solve -h*y + 2*b - 1 = -y, 0 = -2*y + b - 1 for y.
-1
Let s = -1 - -5. Suppose -4*g + 2 + 2 = 0. Suppose -g = 3*x - 2*a, 0 = -4*a + 10 + 10. Solve x*k - s*k = 3*b + 3, -2*k + 2*b - 6 = 0 for k.
-3
Suppose 4 = 2*m - 0. Suppose 32 = -m*i + 6*i - u, 5*i - 5*u = 25. Solve 0 = -5*n - 0*h - 4*h - 12, 4*n - 3*h - i = 0 for n.
0
Let t be (25/20)/(2/64). Let v be (t/15)/((-2)/(-3)). Solve -2*n = 2*n - v*w + 36, -1 = -n - w for n.
-4
Let u be 0/(-3 + (3 - 3)). Suppose 3*k + k = u. Solve c - h = -k*h - 3, 4*c + 4*h = 12 for c.
0
Let x(z) = -z**2 - 2*z - 1. Let t be x(-1). Suppose b - 1 = -t. Solve 2*j + 3 = -5*i, 5*i + 0 + b = -4*j for i.
-1
Let l = 5 + -2. Suppose 9 = -k + 4*k. Let y be (2 + 0)/(k/24). Solve l*p = 4*j + 4, y = -4*j - 0*j for p.
-4
Suppose -11*n = -8 - 25. Solve -5*o + 7 + 13 = -3*x, n*o = -5*x + 12 for x.
0
Let o be -2 + -2 + 4 + 1. Suppose -y = r - o, -5*y + 2 = 5*r - 3*y. Let b(z) = -3*z + 2. Let m be b(-2). Solve 0 = n + 4*h - m, -2 = -h - r for n.
0
Let g = 43 - 8. Solve -5*n - 5*c = 0, -6*c - g = -4*n - 3*c for n.
5
Let m be (11 + -9)*4/2. Suppose -1 = -m*c + 15. Let u(s) = 3*s + 1. Let i be u(4). Solve 0 = -6*z + z + 2*q - 21, -c*q = z + i for z.
-5
Let r = 3 + 0. Let a be 4*(9/r + -1). Suppose a = 4*o - 0. Solve -2*l = o*s + 8, 4*l + 14 = -5*s - 6 for s.
-4
Let p(u) = -15*u + 18. Let j be p(14). Let v be j/(-60) - 2/10. Solve v*i + x = 17, 0*x + x = 5*i - 15 for i.
4
Let x = 1 + 2. Let u = 15 + -10. Solve z = q - 3, -x*z - u*q = -2*q + 9 for z.
-3
Let p be 4/(-6) + 112/24. Solve 0 = 2*t + 3*t + p*j - 17, 3*j - 13 = -4*t for t.
1
Suppose 0*x + 12 = -2*x. Let o = 15 + x. Solve b + r = 5*r + o, 0 = 4*b + 2*r for b.
1
Let c = 4 - 2. Let r(h) = -6*h**2 + h**2 + 5*h**2 + 4*h**c. Let q be r(-1). Solve -b + q*b - 28 = 5*z, z + 4 = -b for b.
1
Suppose 0 = 4*h + 3*v - 31, h + 7*v - 4*v - 19 = 0. Solve -p + 3*p = -2*g + 2, 16 = -h*p for g.
5
Let c = 5 - 5. Suppose c = -p - 0*p + 6. Suppose -2 = -p*b + 5*b. Solve -3*s + 3 = -4*q - 6, -2*q - b*s = -6 for q.
0
Suppose -4*x + 2*m + 58 = 0, 0 = -x - 2*x - 2*m + 26. Let v be (1 - 2)*4/(12/(-21)). Solve -3*p = -x, -2*o - o + v = -2*p for o.
5
Let c(y) = y**2 + 3*y - 3. Let j = -12 - -6. Let w be c(j). Solve 3*n + 2*s + 2 = -w, 0 = 4*n - 4*s - 4 for n.
-3
Let j(n) = n**2 + 5*n - 4. Let w be j(-6). Solve h - 10 = -y + 6*h, -y + w*h + 4 = 0 for y.
0
Let t = -37 + 77. Let u = t - 27. Let f = -8 + u. Solve f*r - z + 5 = -6, z + 5 = -3*r for r.
-2
Let o be (-2)/8 - (-5)/4. Let n be (4 - (-4 + 5))*o. Solve 0*g + 29 = n*h - 4*g, 2*h - g = 11 for h.
3
Let o(d) = -d**2 + 18. Let m be o(0). Let r = -1 + 2. Solve 4*q = b, -r = 4*b + q - m for b.
4
Let z(m) = -m**2 + m + 2. Let r be z(3). Let u be (-6)/(-9) + r/6. Suppose 4*f - 4 - 12 = u. Solve -4*t - 24 = -t - 4*k, 2*t = -f*k + 4 for t.
-4
Let p be (-10)/(-15) - 4/6. Solve 9*b - 3*x + 14 = 4*b, p = -5*x - 10 for b.
-4
Let d(l) be the first derivative of l**2 - 2*l + 5. Let j be d(3). Solve 9 = 3*r - 2*h, -3*r + r + 2*h + j = 0 for r.
5
Let u = 6 + -4. Let g = 4 - u. Let h be g/12 + 6/(-36). Solve 0 = 5*p - h*p + w, 0 = -5*p + w + 10 for p.
1
Let d be 5*(1 - -2)/3. Suppose 2*s - 88 = -3*s + 4*t, -d*s - 5*t = -70. Solve -5*w - 5*o + 15 = 0, 3*w - 2*o - s = 2*o for w.
4
Let s = 11 - -10. Let y = -10 + s. Solve 0 = -4*t + 3*c - y, -5 = 3*t + c + 13 for t.
-5
Suppose 25 - 21 = 2*n. Solve 2*d - 8 = 0, -n*p + 2*d = -1 + 3 for p.
3
Suppose 6*n - 3*n - 2 = -2*s, 0 = -3*n + s + 17. Let k be 2/n - 5/10. Solve k = h + 5*z + 10, 2*z = -5*h - 4 - 0 for h.
0
Let x(l) = 15*l - 1. Let p be x(2). Suppose -5*f + p = -41. Let z(j) = j**2 + 4*j - 5. Let b be z(-5). Solve -4*t = 2*d + f, -2*t + t - 5 = b for d.
3
Let a = -23 - -23. Solve -y + 5*y = -5*c - 7, -c + 5*y + 16 = a for c.
1
Let j = 25 + -20. Solve 0 = -j*t + 2*w - 0 - 21, -2*t - 2*w = 0 for t.
-3
Let v(i) = -i + 6. Let h be 0*3/6 + -8. Let a be -1*(1 + h + 3). Let q be v(a). Solve 0*c - w = c + 1, -w = q*c + 1 for c.
0
Let j be 348/42 - 4/14. Let s be (0 - -2)*j/2. Suppose -h = -3*w + 16, -3*w = h + 4*h + s. Solve 4*o = o - 4*k - 5, -2*o + k + w = 0 for o.
1
Suppose 148 = 5*b - 4*q, -2*b + 3*q - 73 = -4*b. Suppose -107 + b = -5*l. Solve l = -5*z, -s = 4*z + 3 + 7 for s.
2
Let l(y) = -y**2 - 8*y - 8. Let o be l(-6). Suppose 4*g = -3*i - 3, 4*i - 15 = 2*i + 3*g. Let v = -1 + i. Solve 0*j + 5*u = o*j + 13, u + 1 = v*j for j.
3
Let s(f) = 2*f**2 + 5*f - 4. Let n be s(3). Solve 4*i - 9 = -g, -n + 8 = -5*g + 4*i for g.
5
Let w(j) = -j**3 - 13*j**2 - j - 8. Let r be w(-13). Let d be r*6/15 - 1. Solve 2*m - 3*m - n = -9, 0 = -m + n - d for m.
4
Let s be (1/(-3))/(2/(-12)). Let p be 5 + 0/(5 + -3). Suppose -p*r = -s*r - 1