 13, a - 5*a - 21 = -5*d for a.
1
Let k(s) = -s**3 - 6*s**2 + 6*s - 5. Let y be k(-7). Suppose y*w + 6 = -4, 5*w = -a - 30. Let h = -3 - a. Solve 4*t = 3*m - 12, -4*m + 5*t = h*t - 16 for m.
4
Let k be 2/(-1 - 6/(-4)). Solve 0 = -4*o - k*u, 3*o - 4*u + 30 = o for o.
-5
Let v(z) = 2*z + 1. Let n be v(3). Let o(c) = 2 + 0*c + 2 - 6 + 3*c. Let l be o(2). Solve 3*p + q = 6, -l*p + n + 1 = -q for p.
2
Suppose 4*q + 20 = 3*c, -5*c - 3*q + 18 = -2*q. Solve -4*n = -y - y - 26, -12 = c*y for n.
5
Let c be ((-12)/(-42) - (-2)/42)*9. Solve 5*s = -3*r, 0 = -3*r + c*s - 6*s for r.
0
Let q(u) = -u**2. Let y be q(-3). Let m be (15/(-9))/(3/y). Solve m*o + 3*l = 2*l + 12, o - 2*l = 9 for o.
3
Let b(d) = -d**2 + 8*d + 4. Let n be b(8). Solve -h + c = n*c + 10, 5*c = 5*h - 50 for h.
5
Suppose z - 6 = -z. Let p(j) be the first derivative of j**2/2 - 4*j - 2. Let s be p(6). Solve -s*b = 2*m + 12, m + z = -4*b - 9 for m.
-4
Let c be 4/10*(2 - -28). Let m = -6 + 12. Let x be m/(-15) + 81/15. Solve 0 = 3*y - 3*b - c, 0*b = x*y - 2*b - 14 for y.
2
Let c = -22 - -33. Suppose r + v - 2*v = -1, r - c = -3*v. Solve -b = -r*t - 2, t = -0*b + b for b.
-2
Let p be 1/2 - 7/(-2). Solve 4*v - 3*l + 11 + 1 = 0, -p*v - l - 12 = 0 for v.
-3
Suppose -3*u + 2 = -4. Suppose 9 = u*j + 3. Solve -y = 2*s - 4, -4*y = -7*y - j*s + 9 for y.
2
Suppose 5*c + 78 = 5*k - 12, 8 = k + 4*c. Solve o + 4*x = -0*o + k, o + 5*x = 20 for o.
0
Suppose 1 + 1 = 2*u. Suppose 0 = 3*x - u + 16. Let d(v) = -v**3 - 5*v**2 - 2*v - 7. Let i be d(x). Solve -i*g - 2*b = 7, -3*g = -8*g - 3*b - 13 for g.
-5
Suppose 0 = -l - 9*l. Solve -2*c = -4*v + 24, l = -4*v + 5 + 15 for c.
-2
Let b(o) = 3*o. Let p be b(1). Suppose -4*t - p*v = -9, -5*t - 5*v + 10 = -0*v. Solve 0 = -t*w + 5*j + 18, -j + 2 = 2*w + 3*w for w.
1
Suppose 0 = -3*f - f - 2*v - 78, 2*v = 2*f + 54. Let d be 4/(-6) - f/6. Let j = -2 - -6. Solve -j*c = 5*q - 6*q + 10, -d*c - 9 = 0 for q.
-2
Let g = -5 + 7. Solve 40 = 4*w + 5*a, g*w - a + 14 = 4*w for w.
5
Suppose 5*g - 3*g = 0. Let n be 4*(3 + 63/(-12)). Let j = -4 - n. Solve -v = j*y - 2*v + 8, -2*y - 4*v - 12 = g for y.
-2
Let n be 28/((-1 - -1) + -1). Let a be 3/(-9) - n/12. Solve -x = -0*u - u - 2, x - a = 0 for u.
0
Let o(l) = 2*l**3 + l**2 - 5. Let y(b) = b**3 + b**2 - 3. Let i(u) = -4*o(u) + 7*y(u). Let g be i(2). Solve g*h + 2*v - 3 = 0, h + v = 2*v + 1 for h.
1
Let x(o) = 11*o. Let u be x(1). Let p = 19 - u. Solve -5*d + 0*n + 2*n = -p, -n = 4 for d.
0
Let g = 2 + -2. Suppose g*r + 50 = 5*r. Solve 0 = -2*w + r, 4*q - 2*w + 13 = -1 for q.
-1
Let d(u) = -u**2 - 6*u - 5. Let n be d(-5). Solve 4*x - j + 12 = 0, n*j = 2*x - 2*j + 6 for x.
-3
Let i(p) = -p**3 - 11*p**2 + 12*p + 1. Let q be i(-12). Let t = 3 + q. Solve 4*y = -t*n, -3*y + n + 4*n = -16 for y.
2
Suppose 5*a - b = 88, -60 = -a - 2*a - 3*b. Let k = -7 - -12. Solve -a = 4*i + 2*d, -k + 1 = 4*d for i.
-4
Let y be (-18)/(-7)*(-84)/(-24). Solve -3*k - k - 31 = 3*l, -l = k + y for k.
-4
Suppose -f = 4*y - 0*f - 44, y - 3*f = 11. Solve 2*u - 14 = -v, -3*u - 3*v + 4*v + y = 0 for u.
5
Suppose -5*p + 18 = -12. Suppose -3*n = -5*i - p, 0 = -2*n - 4*i + 2*i + 20. Solve j - 2*m = -8, n*j = 4*j + 4*m - 16 for j.
0
Let c(a) = -4 + 3*a + 2*a - 6*a. Let o be c(-8). Solve 0 = -3*x - 3*b + 4*b, -o*b = -2*x for x.
0
Suppose 4*i - 1 - 15 = 0. Suppose -i*m = -m - 9. Let g = 12 + -6. Solve 0 = -m*z - 5*h - g, -z - 10 = 4*z + 3*h for z.
-2
Suppose 0 = -7*v + 9*v - 4. Solve -2*p + 16 = 5*q - q, -v = -2*q + 2*p for q.
3
Suppose -4*s = -6*h + h + 35, -2*s - 25 = -5*h. Solve -h*y + 3*m - 21 = 0, -y - 4*m = -0*y - 8 for y.
-4
Let d be (2/(-1))/((-1)/2). Suppose 0*a = -2*a + d. Suppose -2*s + 0*z + 20 = 3*z, -a*s = -2*z. Solve g = -2*h + s*g + 7, -4*h = -g + 1 for h.
-1
Suppose 0 = j + 3*d + 9, -2*j - 2*j - 3*d = 9. Solve j = p - 4*a - 11, 3*p + a - 1 = 5*a for p.
-5
Suppose 5*n - 16 = -1. Solve 0 = l - p - 7 - 3, 15 = -n*p for l.
5
Let m = 43 - 40. Suppose -4*p = -p - 4*r - 15, -5*p = r - 25. Solve -3*q = k - p*k - 7, 0 = -3*k - m for q.
1
Let h(x) = x**2 + 5*x - 4. Suppose -7*d = -2*d + 35. Let r be h(d). Solve 5*t - r = -0*t + c, -c = -5 for t.
3
Let g be 1*(1/4 - (-2)/(-8)). Solve 5*c - 2*a + 4 = -2, -c + 2*a - 6 = g for c.
0
Let h be 12/5*(-60)/(-18). Suppose -4*l + 26 = -y, y = -2*l - y + h. Solve -2*q + 6 = 2*f, 5*f + 3*q - l = q for f.
0
Suppose -7 = -4*y + 13. Let k = 11 - 8. Let g(v) = 4*v - 3. Let r be g(2). Solve -r*j = i + k*i - 37, y*j = -5*i + 40 for j.
5
Suppose -4*b - 10 = 2*y - 6*b, -5*b + 25 = 2*y. Suppose -1 = -r + 4. Solve 4*u = 4*j + 21 - r, y = 4*j + 4*u + 8 for j.
-3
Let a(p) = -6*p - 16. Let f be a(-5). Solve 6 = -2*g - 2*o, -3*o - f - 1 = -3*g for g.
1
Suppose -1 = 2*y - 9. Suppose 4*b - 3*f = 22, 11 = y*b + 5*f - 27. Solve -3*u + 2*u + 2 = 5*n, b = -u + 4*n for u.
-3
Suppose r = -3, -5*n + 3*r + 4 - 20 = 0. Let z(u) = -2*u - 2*u + 7 + 5*u. Let v be z(n). Solve -6 = v*b - 3*p, 2*p - 2 = 3*b + p for b.
0
Let g(y) = -y**2 + 2*y - 1. Let f be g(1). Suppose 4*u + f*u = 16. Solve 2*z = -x + 4, -2*x - 10 = -u*z - 3*x for z.
3
Let i = 8 - 5. Suppose -h - 2*h - 21 = -i*l, -5*h - 11 = 3*l. Solve 3*c + v = 12, -v = -3*c + l*v - 3 for c.
3
Let g(m) = -m**2 + 8*m + 13. Let s be g(9). Solve -s*t - 20 = -4*k - 0*t, 5*k - t - 25 = 0 for k.
5
Let f be 3/(-9)*0 - 2. Let l = 6 + f. Solve -2*c - 9 = -3*c + 3*z, -l*c - 3*z + 6 = 0 for c.
3
Let f = 2 + 1. Suppose -4*h + f = -3*h. Solve -5 = 4*x - 0*p + 5*p, 2*x - h*p = 3 for x.
0
Suppose -5*o - 6*p = -3*p + 22, o - 3*p = 10. Let l be (o + 0)/(1/(-2)). Suppose -g - 7 + 18 = 0. Solve l*i + 8 = -4*u, -2*i + 4*i - g = 3*u for u.
-3
Let w = -22 - -25. Solve -p - 4*r + 12 = 2*p, w*p - 3*r + 9 = 0 for p.
0
Suppose -4 = -4*p + f + 2, 5*p + f - 12 = 0. Solve -5*s = -3*d - 22, 3*d + s + 6 = -p*s for d.
-4
Let h be (-4)/((-12)/8 + 1). Suppose -4*q + h = -2*q. Suppose -10 = -5*v - 0. Solve 4*f = q*d + 2 - 14, -5 = v*f - d for f.
-2
Suppose p + 2 = 3. Let h(r) = 3*r**3 - 2*r + 1. Let b be h(p). Suppose 0 = 5*v - 12 + b. Solve v*k = m - 7, -5*m + 2*k = 4*k - 23 for m.
5
Suppose -p - 180 = -6*p. Let o = -19 + p. Solve -5*l = -3*n - o, 5*n - 4*l + 0*l = -11 for n.
1
Let i(d) = d**3 + 5*d**2 + 3*d - 4. Let x be i(-3). Suppose x*m = m + 16. Solve -m*b = -n - 18, -n + b + 5 = 4*n for n.
2
Suppose -k = -0*k + 5, 2*k = -2*z. Suppose 4*t = f - z*f + 36, -t = 3*f - 15. Let o = t - 3. Solve -o*l - 14 = -n, -3*n - 5*l + 3*l = 13 for n.
-1
Suppose 6*p = 11*p - 5. Solve -n - p = -4*i + 15, -8 = -2*i - n for i.
4
Let d = -20 + 4. Let u = d + 20. Solve -1 = x + 3, -8 = -u*a - 3*x for a.
5
Let b be (-1)/(-1)*3 - -2. Suppose 2*c = -0*c + 4. Solve p + p = 5*w + 7, c*w + b*p = 3 for w.
-1
Suppose 0 = -3*o + 58 + 8. Suppose -j + 4*z + o = 0, 0 = 6*z - 4*z + 6. Solve 0*h = 4*h - 3*i - 8, 5*h - j = 4*i for h.
2
Let w = 20 + -18. Solve x - 4*x + 8 = o, w*x + 8 = 2*o for o.
5
Let r be (0 - (2 - 2))/1. Let d be 2/(-8) + (-1)/(-4). Let h be d + r/2 + 2. Solve -g = -h*x - 2*x - 2, 3*g + x = 6 for g.
2
Let d be 20/150 - (-86)/30. Solve -3*i = -d*w, -2*w + 5*i + 6 = -0 for w.
-2
Let n be -2 - -4 - 2 - 0. Solve 2*r = 4*o + 4*r + 4, n = 4*o + 3*r + 8 for o.
1
Let t(v) = -v**2 + 1. Suppose 4*u = 7*u - 3. Let s be t(u). Solve -a - 5*f = s, -a = -f - 4*f for a.
0
Suppose -2*m + 0*m - 160 = 0. Let z be m/(-13) - 14/91. Solve 3*c - q + 13 = 0, -q + z*q = -c - 15 for c.
-5
Let w = 4 + -4. Suppose 0 = -w*g - 2*g + 26. Suppose 3 = 2*t - 11. Solve -n = 2*m - 4*n + g, m - 2*n = -t for m.
-5
Let z be (-48)/(-28)*(13/2 + -3). Solve -4*x = -5*h - 17, -2 = -h + z*h + x for h.
-1
Let x = 13 - 11. Solve -2*g = 3*u + 4, 3*g - x + 8 = 3*u for g.
-2
Let g be 0/(2 + 2 + -2). Suppose g*n + 5*n - 110 = 0. Solve 15 = -5*k - o, -5*k = -o - 7 + n for k.
-3
Let c be 1/2 + 6/12. Let n be 3 - (-3 + c - -3). Solve n*a - 8 = -q, -5*q = -10 - 10 for a.
2
Let a(x) = -2*x - 2. Let v be a(-5). Let t be 2/v - (-301)/28. Solve 0 = 4*i - q - t, 0 = 4*i + i + 4*q - 19 for i.
3
Let v be ((-3)/(-6))/((-4)/(-32)). Let i = v - 0. Solve 2*n + 4*l + i = 0, n + 5*l = -6 + 1 for n.
0
Let c(w) be the first derivative of -w**2/2 + w + 1. Let t be c(1). Let l(z) = -z**2 - 5*z + 7. Let q be l(-6). Solve -b + t*b + j = -1, 0 = -2*b - j - q for b.
0
Suppose 0 = 2*v - 4 - 6. Solve -v*g + 4*k - 8 = -g, -