 4 + 1 = 3*d + x*c, p = -d - 5*c + 9 for d.
-1
Let a(p) = p**3 - 3*p**2 - p - 5. Let x be a(4). Let u = 18 - 16. Solve n - x = -4*n - u*h, 4 = 4*h for n.
1
Let q be -8*(9/(-4) + 2). Suppose -f - 3 = -q*f. Let d = -1 + f. Solve 17 = 4*z - 5*a, -d*z + 0*a - 19 = 3*a for z.
-2
Let c be 18/5 + (-10)/(-25). Suppose 0 = -c*k + 3*g + 7, 2*g - g + 5 = 2*k. Let j be 1 + 1 + 1*2. Solve 0 = 3*l - 15, j*b + k*l = 3*l + 5 for b.
0
Suppose -48 = -2*s - s. Suppose -3*q + 11 = -r, 6*q - s = 4*r + q. Let y = 5 - r. Solve -z + y*h = 25, -z + 2*h + h - 20 = 0 for z.
-5
Suppose 3*m = -0*m. Let u = 6 + m. Suppose -d + 4*f = d - 12, d = -2*f - u. Solve 0 = -3*s, -3*k + 15 = -s - d*s for k.
5
Let h = -5 - -5. Let m(f) = -2*f + 2. Let y be m(h). Let i(c) = -c + 3. Let g be i(3). Solve g*t - 4*t + 8 = -4*x, 0 = 3*t + y*x - 6 for t.
2
Let l = -2 + 5. Suppose p = 17 + l. Let g = p - 4. Solve -3*r - j = -g, 0*r - r - j = -6 for r.
5
Let u(b) = 7*b + 62. Let o be u(-8). Solve -5*c - 5*w - 40 = 0, o*c = 2*c - 2*w - 26 for c.
-5
Suppose -4*z + 0*z = -12. Solve 0 = 5*j + z*x + 7 + 8, -j + 5*x - 3 = 0 for j.
-3
Let f(y) be the second derivative of 1/6*y**3 + 2*y + 0*y**2 + 0. Let h be f(2). Solve 3*g + 35 = -2*i - 2*i, 20 = -2*g - h*i for g.
-5
Let v = -2 + 12. Let h = v - -2. Let o = h - 3. Solve 0 = l + 4*l + 2*b + o, l - 4*b + 15 = 0 for l.
-3
Let j(h) = -h**3 + 7*h**2 - 6*h + 5. Let d be j(6). Solve x = -2*k - 3, x = -d*k + 4*x + 9 for k.
0
Let q = -10 + 14. Suppose 2*h - 6*h + y = -29, q*h = 2*y + 34. Solve 25 = 5*r, 4*k + h = r - 3 for k.
-1
Let u = -28 - -50. Let h be (-3 + 2)*7/(-1). Solve 0 = -j - 0*y - 2*y - h, 2*y = -4*j - u for j.
-5
Let d be (-1)/(3/18*-2). Let m = 0 + d. Solve 18 = -2*o - 5*p, -3*o + o = -m*p + 2 for o.
-4
Suppose 43 = 3*s - 4*h, 13*s - 8*s + 3*h - 33 = 0. Solve 0 = 2*l + 2*i - 16, -1 = -l + 3*i - s for l.
4
Let n(t) = -t**2 + t. Let w be n(0). Suppose w = d - 23 - 5. Solve -4*f - 5*q + d = -2*q, 2*f + 5*q - 28 = 0 for f.
4
Let u be 0/(-1)*4/(-8). Solve 4*j + r - 9 = u, -4*r = 2*j - 0*r - 22 for j.
1
Let n(o) = 3*o**2 - 3. Let x(p) = p**2 - p + 1. Let r(c) = n(c) + 2*x(c). Let t be r(2). Solve 4*v - 1 = 2*d + 5, 0 = 5*d + 2*v + t for d.
-3
Let h be 51/(-15) - 4/(-10). Let l = 0 - h. Solve d = -l*a + 10, -4 = -d - 0*d for a.
2
Let l(b) = -b**2 - 9*b - 1. Let h be l(-8). Let n = -5 + h. Suppose 0 = -2*c + 1 - 3, 4*k - 43 = 3*c. Solve 5*s + k = -3*q - n*q, 0 = -3*q - 2*s - 7 for q.
-3
Suppose 0 = -0*w + w + 4. Let f be 1 + w/(2*-2). Solve -2 = -b - 2*p + f, 3*b + 3 = -p for b.
-2
Let y(t) be the second derivative of t**3/6 - t**2 - t. Let v be y(4). Solve 5*r - 4*u = -40, -v*r + 8 = 4*u - 4 for r.
-4
Let x = -1 - -4. Suppose x*t = -27 + 9. Let l = t + 9. Solve 0*b - 2*b - 5*k = 6, -2 = 2*b + l*k for b.
2
Let t = 83 - 49. Let n = -18 + t. Let m be 3/((-4)/(n/(-3))). Solve 0 = -m*q - q - f - 7, 0 = -q + 3*f - 11 for q.
-2
Let h = -4 - -1. Let t(j) = -j**2 - 3*j + 2. Let y be t(h). Solve 2*k + o = 10 + 1, -13 = -y*k - 3*o for k.
5
Let z be 3/6*12 - 3. Solve -3*y + 0*o - 6 = -o, 0 = -y + 2*o + z for y.
-3
Let u = 0 - -5. Let m(i) = -9*i**3 + 2*i**2 + 2*i + 1. Let v be m(-1). Solve -2*y - 12 = y, 5*y = -u*t - v for t.
2
Let c = -7 + 11. Suppose -2*l + 13 = w, -w - 3 - c = -3*l. Suppose 5 = -2*y + 4*k - 1, y - 18 = -w*k. Solve 5*g = -5*b + 20, -y*b + 3*g + 9 + 3 = 0 for b.
4
Suppose 0 = 4*k - k + 4*i + 27, k - 5*i + 9 = 0. Let n be k/(-15) - (-111)/15. Solve 0 = -4*b - n, -4*b - 6 = o + b for o.
4
Suppose 4*v + z + 2 = 3*v, -4*v - 6 = 3*z. Solve c - 2*k - 9 = 2*c, v = -3*c + 5*k + 6 for c.
-3
Let q = -69 + 71. Solve 3*y = -q*y - 3*s + 7, -y + s + 3 = 0 for y.
2
Suppose -2*a = -7 + 1. Suppose 0 = 2*r + a*o - 9, 3*o = 3*r + 2 + 7. Suppose 0 = j - r - 7. Solve 0 = 5*p - 2*u + 15, 2*u = j*u - 25 for p.
-1
Suppose -40*a + 34*a + 30 = 0. Solve 0*z + 2*z - 11 = 3*l, -a*z + 4*l + 17 = 0 for z.
1
Let p = -2 + 5. Let f be (p - (10 + -3))*-1. Let x = -3 + 5. Solve 0*v = -3*v - x*l + 4, 8 = 2*v - f*l for v.
2
Let d(l) = l**3 - 7*l**2 + 8*l + 12. Let i be d(5). Solve -3*y + n + 14 = 0, -2*y = -4*n - 8 + i for y.
5
Let f = 279 - 274. Let o be 0/(-1) - (1 - 5). Suppose 0 = -2*k - 4*n + 54, -5*k - n - o*n = -155. Solve 3*v + v - k = f*q, -3*q - 19 = -2*v for v.
5
Let p = 2 - 3. Let u = 1 + p. Let g be (6/(-1))/(-9 - -7). Solve 5*d - 4*t = -11, -g*t - 2 - 1 = u for d.
-3
Let c = -15 - -10. Let x be c - -11 - (0 - 2). Solve -x*o - 3*s = -3*o + 26, 3*o + 8 = 2*s for o.
-4
Let i = -53 + 88. Let k be (-9)/12 + i/4. Solve -4*o + 16 = 4*w, -5*o - 4 - k = -3*w for w.
4
Suppose t + 28 = 3*t - 5*o, -3*t + 4*o + 49 = 0. Let s be (-2 + t + 3)/2. Solve -3*w - s = -4*r, 5*w - 3*r + 3 + 10 = 0 for w.
-2
Let r = 40 - -15. Suppose 134 + r = 3*f. Let v = f - 36. Solve -2*i - 5*o - v = 0, 3*i = -2*i - 4*o - 25 for i.
-1
Let x be (1 - -14)*(-8)/(-12). Let a = x + -2. Solve 0 = -4*u + 4*k + 24, u - 3*k - a = 6 for u.
2
Let u = 3 + 1. Solve -u*w + 4 = b + 3, -4*w + 11 = 3*b for b.
5
Let l be -3*(-1)/(1/1). Let t(d) = -3*d + 3*d - 4*d**2 + 2*d**l + d + 3 - 1. Let b be t(2). Solve -b*i + 3*i = a + 2, 5*i + 7 = -4*a for i.
1
Suppose -h + 4*h + 4*w - 95 = 0, 5*h = 4*w + 105. Suppose -n = 2*p - 6*n - h, 4*n + 20 = 0. Solve p = 5*g - 3*l - 14 - 8, 5 = 5*l for g.
5
Let k(l) = l**3 - 10*l**2 - 10*l - 7. Let y be k(11). Solve -y = 2*r, 0*n + 3*n + 1 = -2*r for n.
1
Suppose 71 = 7*h + 1. Solve -3*w = -3, -y + 2*w - h = 3*y for y.
-2
Let r = -1 - -4. Suppose -2*q = -5*d + 17, -1 + 18 = d + r*q. Solve -d*c - 3*w + 12 = 0, 4*w = -c - 2*c + 5 for c.
3
Suppose 6*s - 36 = 4*s. Solve 2 = -2*w - 5*k + s, -w = 2*k - 7 for w.
3
Suppose -6 = r - 4*p - 3, -2*r + 2 = -4*p. Solve -r*k = -2*f + 3, -3*f = -0*f - 5*k - 2 for f.
-1
Let s = 6 + -3. Suppose -s*l = -3 - 6. Suppose -4*t + 2*v + 20 = -2*v, 3 = -3*t - l*v. Solve -t*h - 3 = -3*f, 0 = -f + 2*h + 3 - 6 for f.
3
Suppose -3 = 4*o + 1. Let h = o + 4. Solve -b - 7 = b + v, -h*b + 3*v - 24 = 0 for b.
-5
Suppose n - 4*r = -29, -n - 2*r = -3*r + 14. Let i be -1 + 1 + n/(-3). Let f be ((-12)/(-14))/(9/126). Solve 0 = o - 2*m + 3, -2*o + f = -6*o + i*m for o.
-3
Let y = 5 - -1. Let m be 576/27 - 2/6. Suppose 17 - 26 = -3*t. Solve -2*v = z - 4, y*v - v - t*z - m = 0 for v.
3
Let k(x) = x - 5. Let s(c) = -c**2 - 8*c - 6. Let i be s(-5). Let g be k(i). Solve -3*v - 8*a + g*a - 1 = 0, 0 = 4*a - 8 for v.
-3
Let f = 9 - 9. Suppose 2*l = 8 + 12. Solve -2*v - z = -l, f*z = -3*v + 4*z + 4 for v.
4
Suppose 2*i + 3*f = 2*f + 5, -5*f + 5 = 5*i. Suppose s = -i + 7. Suppose -5*k - c = -107, 0*c - c = -2. Solve -4*q = m + q - k, 15 = 3*m + s*q for m.
1
Suppose 0 = -4*v - v - 25. Let b = v + 10. Suppose 5*m + 25 = 0, 3*a + 18 = b*m + 43. Solve 2*u + 2*f + 4 = 0, a*f - 2*f - 4 = u for u.
0
Let m(k) = k - 20. Let p be m(23). Solve 4*i + 3*g = -5 - 0, -p*i = -2*g - 9 for i.
1
Suppose n - 8 = -3. Solve -2*r - 3*r + n*z = 40, -6 = 3*r + 3*z for r.
-5
Let a be (9/12)/((-4)/(-16)). Solve -a*b + 12 = 4*k, 2*b + 2*b + 4*k = 12 for b.
0
Suppose 0 = 2*j - 5 - 5. Suppose -s = -2*s + f + 7, -f - 27 = -j*s. Solve -v = 3*q - 1, 0*q - 5*v + s = -5*q for q.
0
Let u(l) = -l - 1. Let b be u(-1). Solve -r = -b*r + m - 3, m - 3 = -2*r for r.
0
Let r = 6 - -24. Let a = -4 + r. Solve -4*p + 2*p - 5*y + a = 0, -y = -5*p + 11 for p.
3
Suppose 65 = 2*s + 3*s. Let c be 42/4*4/3. Suppose c = 3*g - s. Solve 3*q - 3*r - g = 0, 4*r + 3 + 6 = q for q.
1
Suppose 2*w - 3*f - 70 = -5*f, -2*w = -f - 73. Suppose r + w = -3*r. Let y be (-3 - 21/r)*-3. Solve -2*b - y*c = -8, 0*b - 4*c = -3*b - 16 for b.
0
Let g(f) = -1 + 7*f + 5 - 7*f**2 - 2 + f**3 - 5. Let y be g(6). Solve -4*d + 2 = y*a, 3*a - a + d = 3 for a.
2
Let n(z) = -z**2 + 4*z + 7. Let m(k) = -k**3 + 2*k + 1. Let b be m(-2). Let x be n(b). Solve 3*w = 2*s + 17, -w + 4 = x*s - s for s.
-1
Let a(q) = q**3 + 8*q**2 + 6*q - 3. Let x be a(-7). Suppose 0 = -3*u - 3*n + 36, 0 = 5*u - u - x*n - 56. Solve 2*i = 5*c + u, c = i - 2*c - 7 for i.
4
Let y(h) = -h - 16. Let z be y(-20). Solve w + 4*w - z*g + 16 = 0, -2*w - 5*g = 13 for w.
-4
Suppose 0 = h - 2*m + 15, -4*h - m + 2*m - 25 = 0. Let v be (-10)/4*4/h. Solve -4*r - 1 + 21 = 4*l, -5*l = v*r - 10 for r.
5
Suppose -3*l = -2*t, 0 = 3*t + l + 4*l. Solve 0 = 2*x - s - s, t = -4*s for x.
0
Let n = 1 - -7. Suppose 10*t =