 + 2*d - 36, -c*k - d + 24 = 0 for k.
4
Let f = 21 - -6. Suppose h + 2*c = -2*h - 4, -h + 5*c = -f. Solve h*o + 0*y - 4 = 5*y, -o + 2*y + 2 = 0 for o.
2
Let t be 3/(2*3/4). Suppose -3*p + 13 = -t. Solve p*i - 3*f = 29, 2*i - 7 = f + 4 for i.
4
Let k be 8/20 + 2/(-5). Solve -4*c - c + b + 25 = k, 0 = -2*b for c.
5
Let a(p) be the first derivative of p**3/3 - 2*p**2 + 4*p - 2. Let f be a(4). Solve d - 2*d = 2*l - f, 4*d = -3*l + 11 for d.
2
Suppose -4*l - 8 = 0, x = -3*l + 3 - 7. Solve 4*b + 2 = -x*o, o + 19 = -4*o - 3*b for o.
-5
Suppose -9 = -2*v - 29. Let u = 4 + v. Let t = u + 10. Solve 0 = -2*i, 0*p = p + 5*i - t for p.
4
Let m = 696 - 985. Let g = m - -193. Let r be g/(-20) - (-2)/10. Solve 2*l + 0 + 10 = 5*u, -r*u + 5 = -l for l.
-5
Suppose p + 0*p = 0. Suppose p = 2*m + 2*m - 12. Solve -8 = -4*g - o, -g - 4*o - 4 = -m*g for g.
2
Let z be (-4 + 16)*(-3)/(-4). Let h be (3/z)/((-2)/(-12)). Solve -h*s - 3*s - 5*p = -15, 8 = 3*s + 2*p for s.
2
Let s(k) = -3*k - 25. Let p be s(-9). Solve -l = -p*l - o - 4, 2*o = 5*l + 13 for l.
-3
Let i(a) = -a**3 + 3*a**2 - a - 1. Let q be i(2). Let t be 20*(12/20)/q. Solve -5*b = -3*j - 16, 4*b - j = -b + t for b.
2
Let m be -1 + (-1 - -2) + 0. Suppose -3*o - 24 = -o. Let w be (-54)/o*4/6. Solve 3*z - 34 = 5*r, m = -3*z + w*r - r + 19 for z.
3
Let g = -96 - -146. Suppose 3*l + 2*l - g = 0. Solve -5*m + i - 3*i = l, -5*i + 8 = -4*m for m.
-2
Let g(z) = -z**3 - 2*z**2 + 6*z + 4. Let r be g(-4). Solve 2*b = 4*x - b - 21, 5*x + b - r = 0 for x.
3
Let h = 37 + -35. Solve -2*q - 27 = 5*o, 8 = -o - h*q - q for o.
-5
Let r(s) = -10*s + 5. Let k(l) = -2*l + 1. Let u(v) = 22*k(v) - 4*r(v). Let w be u(-2). Suppose 0*j + w = 2*j. Solve 2*d = -j*o - 11, -3*o = -d - d - 3 for o.
-1
Let q(n) = -n**2 - 7*n - 7. Let b be q(-5). Suppose v + 8 = b*v. Solve -t - 2*t - 23 = v*f, -2*f - t = 9 for f.
-2
Suppose 5*o = 5*s + 5, 3*s + 6*o - 27 = 3*o. Solve -4*f = -2*f + 4*q + 12, -f = s*q + 14 for f.
2
Let p(t) = -t**3 - 5*t**2 + 6*t + 3. Let k be p(-6). Solve -2*m + k*m - 3 = -2*u, -8 = -3*m - 5*u for m.
1
Let q(b) = -b**3 + 3*b**2 - b. Let x be q(1). Let t be (-2 - (-1 - 3))*x. Let j be (-4)/18 - (-29)/9. Solve 3*r + 0*v = v - 10, -t*r + 8 = j*v for r.
-2
Suppose 6 = 3*r + g, 0*g = r - 4*g - 2. Solve o + 5*x + 0*x - 11 = 0, r*x - 7 = -3*o for o.
1
Suppose -17*r + 19*r = 16. Suppose 0 = 2*u + 2 - r. Solve -u*y = -0*y + o - 14, 0 = -2*o + 10 for y.
3
Let z(q) = -q**2 + 7*q. Let l be z(6). Suppose 2*a = -2 + l. Let n be (-1 - 0)*a*-2. Solve 2*o + 2*b = -b + 14, -2*b + n = -4*o for o.
1
Let z = 4 - 2. Suppose -3*s + u = -6, -2*s - u - z*u + 15 = 0. Solve -4*b - x - 13 = 0, -b - x = -2*b + s for b.
-2
Let d(u) = -7*u**3 - 2*u**2 + 1. Suppose 3*t = -5*p - 28, 5*t - 13 = 3*p - 3. Let n be d(t). Solve -3*c - 5*h - 9 = 0, 2*c + n = -h - 0 for c.
-3
Let b(n) = n**2 - 4*n - 9. Let y be b(-6). Suppose 2*z - 5*z + 3*g = -y, -3*z + 69 = 3*g. Solve 5*p + o + z = -4*o, o + 6 = p for p.
1
Suppose 2*z = -n, -2*z + 4 + 4 = -n. Suppose -3*o = -z*o - 4. Let u = 62 + -57. Solve -3*x - u*v - 27 = 3, -2*x + 2*v - o = 0 for x.
-5
Let o be (-5)/(-40) + (-627)/24. Let l be o/(-6) + 1/(-3). Solve 5*i + l*f + 21 = 0, 5*f - 12 = 4*i + 13 for i.
-5
Let c be 78/30 - 4/(-10). Suppose -17 = -g - 3*r - 7, c*r = 0. Solve 4*y + l = 13, -g = y - 4*l + 8 for y.
2
Let y(f) = 2*f + 38. Let j be y(-17). Solve 5 = -4*q + g, -3*q + 8 = -7*q + j*g for q.
-1
Let l(q) = -13 + 0*q + q + 2 + 0*q. Let k be l(16). Solve 5*m - k*r = 0, -4*r = -9*r - 10 for m.
-2
Let g be (-6)/(-8) + 6/((-120)/(-25)). Solve 5*l + 0*t - 25 = g*t, -3*t = 5*l - 25 for l.
5
Let u be (0 + -16)/(6 + -8). Suppose 5*v = 4*g + 4, -12 = -2*g - 3*v + u. Solve 0*n = -2*n - g*k, -3*n - 5*k + 2 = 0 for n.
4
Suppose 0 = 4*k + h + 3*h, 16 = -4*h. Let f = -1 - -1. Suppose 0*w - w + k = f. Solve -n - 6 = 2*p, 0 = 5*n + 5*p + w + 16 for n.
-2
Let l = 45 + -30. Let i = -14 + l. Let h be (-4)/(-14) - 94/(-14). Solve -2*j - 3 + h = 2*y, i = -y + 2*j for y.
1
Let r(y) = 2*y**2 + 4*y - 1. Let z be r(-3). Suppose s - 2*j + z*j = 14, 2*s - 13 = -j. Solve 5 = 5*d + i, 3*d + s*i - 25 = -0*d for d.
0
Suppose 2*o + 3*o - 40 = -3*b, 0 = -5*o + 5*b. Solve o*i + m + m = 21, 9 = -i + 4*m for i.
3
Let y be 1*3/(-6)*-6. Suppose 4*d + 3 = 3*s, -12 = -0*s - y*s + d. Solve -l - 4*a = l + 8, 5*l - s*a = -5 for l.
-2
Let p be (0 - 0) + 3 + -2. Let x(d) = d**3 + 3 + 8*d**2 - 4*d - 2*d**3 - d. Let j be x(7). Solve -5*b - 23 = k + p, -3*k - j = 4*b for b.
-5
Let l be (-4)/12 + (-10)/(-3). Suppose -3 = i - 5*k + k, -21 = -l*i - 3*k. Solve 0 = 3*h + h - 2*a + 6, a = -i*h - 25 for h.
-4
Let m(r) be the second derivative of 1/12*r**4 + 0*r**3 + 0 + 2*r + 1/2*r**2. Let f be m(2). Solve h + i - 1 = 2*h, f*h - 2*i = 4 for h.
2
Suppose 4*n + 5 = -3*f, -3*f - n = -4 - 6. Let h(c) = -c**3 + 4*c**2 + 3*c + 4. Let b be h(f). Let x = b + 22. Solve -d = -5*d + x, d = -4*g + 8 for g.
1
Let j(n) = -n**3 + 3*n**2 + 1. Let f be j(4). Let m be (-2)/f - (-58)/15. Solve 0 = -g + 6*g - m*u + 11, -5*g = -u + 14 for g.
-3
Let r = 6 - 4. Suppose f - 6*f = r*w - 11, w + 4*f - 7 = 0. Suppose -2*h + 4 = -2. Solve -w*q + 3*b = 9, q + 4*b - 5 = -h for q.
-2
Let m(h) = -h + 2. Let d be m(-3). Suppose -g + 85 = 5*j, j + 10*g - 31 = 7*g. Solve s - 2*a + d*a = -12, 4*a = -3*s - j for s.
0
Suppose 2*d - 12 = -3*g - d, 3*g - 2 = -d. Let v be 2 - (-6 - 3/g). Solve -20 = v*z, -z - 2 - 5 = -a for a.
3
Suppose -i + 3*i - 22 = 0. Suppose 5*f = 3*m - i, -4*m - 7*f = -2*f - 38. Let d be (-361)/38*12/(-57). Solve m*s + 9 = 4*s, 6 = d*g - 4*s for g.
-3
Suppose -3*c = -8*c - 65. Let l = c + 18. Suppose -d + 16 = -5*s + l, -2*d - s + 11 = 0. Solve 0 = -2*j - t - d - 0, -2*j = 3*t + 2 for j.
-4
Let z be 8/52 - (-204)/26. Let i = -6 + z. Let c be (-60)/9*(-6)/5. Solve i*s + c = 3*b, -b - 2*b = 4*s - 2 for b.
2
Suppose -2 = -2*b + 2. Let t(f) = -f**3 + 5*f**2 - f - 5. Let l be t(4). Solve 0 = 5*m - 4*w + 8*w - l, b*w - 6 = 0 for m.
-1
Let f(p) = 3*p + 1. Let g be f(1). Suppose 3*c = 3, 3*u - 7*u + g*c = -16. Solve u*o + 0*o - 45 = -5*z, -3*o = -15 for z.
4
Let s = 3 + -1. Solve 3*u - 4*i = -14, -14 = -0*u + 5*u - s*i for u.
-2
Let h = 7 - 5. Let y be 3 + -1*(h + -1). Solve m - 1 = -6, y*m + 5 = -f for f.
5
Let g be 1/(-6) + (-5)/((-60)/38). Suppose -3 = v + 2*v. Let m = v + g. Solve p = -m*p + 2*b + 9, 5*p = 2*b + 19 for p.
5
Let b be 74/8 + (-6)/24. Solve -3*u + h = 11, b*h - 4*h = 3*u - 5 for u.
-5
Suppose 3*f - 4*c = -0*f - 6, c + 3 = 3*f. Suppose 24*m - 21*m = 0. Suppose -f*q = -m*q - 2. Solve 3*h = 4*i - 4, -2*h = 2*i - q - 1 for i.
1
Suppose 3 = 4*t - t + 3*z, 0 = -2*t + z - 7. Let s(m) = 2*m + 1. Let j be s(t). Let p be 3/9 - 11/j. Solve 4 = -4*o + 2*r, p*r + 2 = 3*o - 5*o for o.
-1
Suppose 3*j + 3 = -2*x, -2*j + 0 - 2 = -x. Let n = 9 - 5. Suppose x = -2*c + n*c - 6. Solve 4*i - c*k + 24 = -0*i, 3*i + 5*k = 11 for i.
-3
Let y be (-51)/(-12) - 2/8. Let b(w) = 2*w. Let j be b(1). Solve 3*k + j*u + 19 = 0, 5*k - y*u = 3 + 2 for k.
-3
Let b be 9/2 + 2/(-4). Suppose 0*m - b*m + 12 = 0. Let g be ((-3)/(-2))/(m/16). Solve n + 2*n - 2*j - g = 0, -3*j - 1 = n for n.
2
Let c(r) = -r + 1. Let z be c(-6). Let t = z + 3. Suppose -i + t = 4*i. Solve 5*p - 11 = -5*y + 14, i*y - p + 5 = 0 for y.
0
Suppose -7*c = -2*c. Suppose c - 8 = -4*m. Solve 0 = -r + 5*r - a + 13, 5*a - 29 = m*r for r.
-2
Let h(x) = -2*x**3 - 4*x**2 - 4*x - 5. Let g be h(-3). Solve -3*b + g = 2*b, 4*o = -3*b + 19 for o.
1
Let u be 7/(-6) + (-8)/(-48). Let q(i) be the first derivative of -2*i**2 - i - 1. Let d be q(u). Solve -5*c + 26 = -2*m, -2*m - 3*c + d = m for m.
-3
Suppose -2*x - 8 = -2*c, 4*c + 2*x - 16 = -2*x. Let l = -2 + c. Solve 0 = p + 4*k - 10, -4*p - 2 = -l*k - 3*k for p.
2
Let s(q) = q**2 + 3*q + 2. Suppose -2*v - 2 = 0, 0 = -n - 2*v + 3*v - 2. Let f be s(n). Solve 0 = c - f*u + 4, 3*c - 4 = -2*u for c.
0
Let f be (4/(-5))/((-2)/5). Suppose 0 = s + 1, 3*s + f*s = 2*k - 21. Suppose k = 3*z - 1. Solve 0*b - z*b - 3 = -5*o, o + 1 = -b for o.
0
Let x = -3 + 9. Let k(i) = i**2 + 2*i - 4. Suppose 5*q = -4*a - 21, -7 = q - 4*a + 2. Let o be k(q). Solve -x*d - o = -2*d + r, -4*r - 22 = 5*d for d.
-2
Let u = -17 - -21. Solve 9 = u*i + q - 0, -3*q = -3 for i.
2
Suppose 0 = -22*x + 24*x - 8. Solve 0 = -2*j - 0*j + 3*r + 7,