 4*o - 26, 2*k + 0*o = -c*o - 21 for k.
-3
Suppose 5*u - 12 = 18. Let l be (-2)/1 + (-1 - -6). Suppose 2*h + r = 12, 5 = l*h + 6*r - 11*r. Solve c - 1 - h = -s, -u = -5*s + c for s.
2
Suppose -10 = 2*q + 2*k, 3*q - 2*q + 15 = -3*k. Suppose 4*a + 4*c = 3*c + 14, q = -2*a - c + 6. Solve 3*b = 4*g + 13, -3*b = b + a for g.
-4
Suppose -2*n + 6 = -0*n. Suppose 0 = -0*b - n*b + 15. Solve 0 = -v - 5*d - 23, -d = -b*v - 0*d - 11 for v.
-3
Let y be 20/(-15)*6/(-4). Solve -5*l + y*w + 26 = 0, 4*w - 7 = -19 for l.
4
Suppose 48 = -2*j + 14*j. Solve 5*s - 13 = j*t, -5*t = -5*s - 0 + 15 for s.
1
Let z(s) be the second derivative of -s**3/6 + 3*s**2/2 + s. Suppose 3*h = 5*h. Let a be z(h). Solve 3*d - 2*c + 26 - 7 = 0, 0 = 2*d - a*c + 16 for d.
-5
Let o be 5/(-10) + 3/6. Solve -31 = 3*w - 4*l - o, -3*w = 2*l + 7 for w.
-5
Let k be (16/10)/(4/10). Solve z - 2 - k = 2*g, 2*z = g + 9 for z.
4
Suppose -u + 4*l = -4*u + 10, u + l - 3 = 0. Suppose u*h + 0*x = 3*x - 6, 3*x = -5*h + 27. Solve h*k = -5*i - 1, 5*i = -k - 7 - 0 for k.
3
Let q be (-2)/8 + (-13)/(-4). Suppose 4*k - 3*k - 10 = 2*r, 4*r = q*k - 22. Suppose -2*f - k*f + 28 = 0. Solve -5*p = -3*x + 2*x, 2*p = -x - f for p.
-1
Suppose -4*s + 3*s = -z - 6, s - 31 = -4*z. Let g = s + -8. Solve -24 = 4*k + g*t, -5*k - 19 - 8 = 3*t for k.
-3
Suppose 14 = -2*q - 5*z, -3*z - 3 - 15 = -2*q. Solve -5*h + q*o + 11 = 0, 6 = -4*h - 5*o - 0 for h.
1
Suppose 5*c + 55 = -5*f, 0 = 3*f + 5*c - 10 + 35. Let b = 25 + f. Suppose k - 6*k = -b. Solve k*v + 0*v - 12 = 2*y, 0 = 4*v - 2*y - 22 for v.
5
Let u = 28 - 25. Solve 0 = -5*f - 0*f - u*n + 13, -13 = -4*f - 5*n for f.
2
Let s be (-1 + 21/15)*5. Suppose -s*d + 14 = 4*p, -9 = -5*p + 5*d + 1. Solve 5*a = -2*u + 2, -4*a = -2*u + p - 1 for a.
0
Let o(m) = m**3 - 3*m**2 - 4*m + 2. Let b be o(4). Let v(f) = 3*f**2 - 3*f - 4. Let r be v(3). Solve -k + d + 0 = -2, -r = -b*k + 4*d for k.
-3
Let a = 27 - 29. Let s = 4 - 6. Let x be ((-3)/a)/((-1)/s). Solve -4*j + 5*t = -8*j + 29, -j - 14 = -x*t for j.
1
Let k be 0 - -2 - 2/5*-5. Solve 3*f = b - 2 - 9, -k*b - 41 = 5*f for f.
-5
Let c(x) = 2*x**2 - 4*x + 3. Let y be c(2). Solve 0 = -4*p - 4*v - 16, 0*v + 12 = -y*p - v for p.
-4
Let k(i) = -2 + 6*i**2 + 2*i + i - i - i**3. Let r be k(6). Let b = 28 + -18. Solve b = -v + 2*p, 4*v - 2*p + 6 + r = 0 for v.
-2
Let a be 12*(1 - (-1)/(-2)). Suppose -o = -a - 0. Let l be 10/4*(-12)/(-15). Solve -l = 4*d - h + 7, -o = 5*d + 4*h for d.
-2
Let a be (-3)/(-7) - 268/(-28). Let s = a + -1. Let j be (-2)/4*(-16)/2. Solve -j*c + 15 = -u, -s = -5*u - 4*c + 3*c for u.
1
Let f be 6/21 + ((-80)/(-14) - 3). Solve f*c + 3*u = -6, 3*c - 4*u - 1 = -21 for c.
-4
Suppose 4*d - 16 = -0. Let n(y) = -y**3 + 3*y**2 + 3*y + 6. Let l be n(d). Solve 0 = -5*v + 3*c - 13 - 3, l*v - 4*c - 2 = 0 for v.
-5
Suppose -3*w - 4*s + 6 = -0*w, -5*s = 4*w - 8. Solve -3*i = 4*m - 31, -3*m = -i - w*m + 1 for i.
5
Let y(w) = 16*w**2 - w. Let m be 3/(-12) + 9/(-12). Let k be y(m). Solve s = 5*c + 3*s + k, -c = 3*s + 6 for c.
-3
Let l(z) = z**3 + 5*z**2 + 8*z + 8. Let x be l(-6). Let j be (-4)/(-6) - x/(-6). Let y = j - -17. Solve c - 2 = -3*p + p, 5*p + 10 = y*c for c.
2
Suppose 3*t - 5*t = 0. Solve 0 = 5*z - p - 18, -4*p + 8 = -t*p for z.
4
Let s(m) = -m**3 - 7*m**2 - 8*m - 7. Let c be s(-6). Let d = 4 + 1. Suppose 3*g = 6 + 18. Solve d*j - 5*k = 20, 0*j - k = c*j - g for j.
2
Let t be (-10)/(-5) + -2 + 3. Solve -4*l - 5*b + 4 = 0, l + 2 = 3*l + t*b for l.
1
Suppose -y - 15 = -6*y. Suppose -3*b + y = -3*p, -b + 12 = 2*b. Let c(z) = -z**2 - 3*z - 2. Let i be c(-2). Solve i = 5*r - w + 23, p*w - 24 = 5*r + 5 for r.
-4
Let h = -129 - -131. Solve -3*z + 21 = 5*j, h = z - 0*z for j.
3
Suppose -11 = -3*j - 2. Suppose -4 = -j*h + 8. Solve i = 3*k - 4, -h*i = -k - 2*k + 7 for k.
1
Let f(y) = y**2 + 6*y + 7. Let j be f(-5). Let l = -3 - -12. Solve l*d - 5*p = 5*d + 18, -3*d + j*p + 10 = 0 for d.
2
Suppose -5*m - 5 = 5*h, -2*h = -5*m - h + 13. Solve -3*q = 4*c + 7, 3*c + 4*q + 6 = m*q for c.
-4
Let s = 54 + -51. Solve -s*j - 2 = -0*j + 4*x, -4*j + x + 10 = 0 for j.
2
Let i = 90 + -62. Solve 4*a = -4*u - i, -4*a = -a + 4*u + 26 for a.
-2
Suppose 0 = -5*o + 8 + 17, 4 = 4*v - 4*o. Solve -5*s - 4 = -4*j, 4*s - v*j + j = -5 for s.
0
Let p be (2 - 1)/((-2)/(-4)). Let h be (-2 - (3 - p))*-3. Solve 24 = 5*t - 5*u + h, -5*t + 27 = u for t.
5
Let r be (0 + 0)/(-5 + 3). Solve -2*x - 14 = 2*c, 2*c - 7*c + 3*x - 19 = r for c.
-5
Suppose -3*v + 32 = v. Let a(u) = u + 7. Let b be a(-5). Solve -5*y + v = -b*n - 0, 12 = -3*n + y for n.
-4
Let n be (3/5)/(2/10). Suppose 0 = 6*h - 3*h - 15. Suppose 5*o - n*o + 8 = -u, -2*o - 8 = h*u. Solve -5*w + 2*r + 13 = u, r + r = 2*w - 10 for w.
1
Let m be (-44)/(-10) - (24/15)/4. Solve -m*s + 3 + 1 = 0, 2*s = -b for b.
-2
Suppose -1 = 3*r - 7. Suppose 12 = 5*h - h. Let a = 7 - h. Solve 11 = a*i - 3*w, i + 18 = -r*i - 3*w for i.
-1
Let v(c) = 4*c**3 - c**2 + 3*c - 2. Let j be v(1). Solve -3*a - 16 = p, -2*a + 3*p + 0 = -j for a.
-4
Let k be (-44)/2*(-1)/2. Solve -k = -3*a + 2*r, 2*a + 4*r = -r - 18 for a.
1
Suppose 2 - 14 = -4*b. Suppose z - r + 5*r - 24 = 0, -b*z + 32 = 4*r. Solve -5*o = 4*j + 27, 10 - z = -4*o + 2*j for o.
-3
Let u(q) = q**2 + q + 2. Let s be u(-2). Solve 3*r = s*g + 17, -g + 1 = 4*r - 9 for g.
-2
Let x = 12 - 8. Suppose x*f - 4*c + 7 + 1 = 0, -12 = -4*c. Solve -t = 2*j - 5 + f, -20 = -j - 5*t for j.
0
Suppose s - o = 19, s + 3*o = -0*s + 23. Solve 0 = 4*c + s, -3*t + 2 = c + 1 for t.
2
Let n = 57 + -36. Let s be 54/n*(6 + 1). Let t(x) = -x**3 + 3*x**2 + x - 2. Let u be t(2). Solve 0*z - 2*z + s = -4*w, -17 = -u*w - 5*z for w.
-2
Suppose d = -4*d + 10. Let n be 24/(-15)*(-5)/d. Solve -2*y + n = 4*q + 6, -4*q + 16 = -4*y for q.
1
Suppose 4 = 4*m, -2*b + 0*b + 3*m - 49 = 0. Let v = b - -38. Solve -w + 2*k + v = 3, 4*w + 3*k = -7 for w.
2
Let p = -11 + 14. Let r(h) = -h + 5. Let y be r(3). Let t = y + 0. Solve p*w - 27 = -5*f, -t*f - 11 = -2*w - 3*f for w.
4
Let o(z) = -z**3 + 1. Let r be o(0). Let p be (5/(-3))/(r/(-6)). Let q be (4/p)/((-5)/(-50)). Solve a + a = q*t, 5*a = 4*t for a.
0
Let s be 5/(-1)*8/10. Let d be 2*(1 + 0)*s. Let v = -3 - d. Solve -5*t - 3*x + v = 2*x, 2*t - 30 = 5*x for t.
5
Suppose 5*o + 11 = -f, -3*f - o = -4*o - 21. Solve w = z + 1 - 0, -f*w = 2*z + 26 for z.
-5
Let c be 3*((-12)/(-10) + (-7)/35). Solve w - c*s = -0*w + 17, 4*w - 18 = 2*s for w.
2
Let x be ((-2)/3)/((-1)/(-21)). Let o = x + 16. Solve j + d - 1 = -0*d, d = -o for j.
3
Suppose 2*o = 4*r - 3 + 17, -3*o = 2*r - 13. Let h(t) = -t + 4. Let k be h(4). Solve -3*l - 2 = o*s, -4*s + 6*s - 3*l + 5 = k for s.
-1
Suppose 0*d - 4 = -d. Solve d*r = 2*j, 2 = 2*j - 3*j + 3*r for j.
4
Suppose 24 = 3*s - 39. Suppose -7*i + 4*i + s = 0. Let t be i + (-3)/(3 - 2). Solve -l = 4*d + 18, 2 + 2 = t*l - 3*d for l.
-2
Let j(u) = u**2 - 6*u + 2. Let o be j(6). Let n be (-4)/o*3 - 2. Let p be n/(-20) + 8/5. Solve -3*k - 9 + p = y, 0 = k - 3*y - 1 for k.
-2
Suppose 3*u + 2*s - 1 = 0, 2*u - 15 = 2*s - 1. Let h be 0 + 6/(5 + -3). Solve -2*o - 4 = -u*i + h*o, 0 = i - 3*o for i.
3
Suppose 0 = 5*f + 4*k - 31, 3*f + 14 = f + 5*k. Solve -v - f*d + 4 = -1, 10 = 2*v + 2*d for v.
5
Suppose -4*h - 4*i - i = -50, 4*h + 2*i - 56 = 0. Solve 2*z + 10 = 0, z + h = 5*x - 15 for x.
5
Suppose 2*l - 4*l - 8 = 0. Let m = l + 6. Let y be 2/1*(m - 0). Solve 3*u - y = -4*w, -u - 4*w = -0*w - 4 for u.
0
Let r(t) = t**2 - 7*t + 10. Let i be r(7). Let a be 1 + 1 - i/5. Solve n - 18 = -5*k, -3*k + k + 2*n = a for k.
3
Suppose -9*z + 20 = -7. Solve 2*x + 22 = -4*d, 4*x - z*d = 2*d - 5 for x.
-5
Let w be ((-6)/18)/((-2)/24). Let l = -1 + w. Solve 0 = -l*o - 12, 3*h - 4*o + 2*o - 8 = 0 for h.
0
Suppose -4*k - 5*g = -1004, -3*g + 0*g - 234 = -k. Let c be k/21 + (-2)/(-7). Let t = 8 - 4. Solve 3*h = 2*h - 1, t*d - 4*h + c = 0 for d.
-4
Let z = 67 - 65. Solve 3*d = 2*h - z, -2*h + 6*h = -3*d - 32 for d.
-4
Suppose 5*a + 5*z = -10, z + 29 = 3*a - 3*z. Solve 0 = -2*j, 0 = -a*p - 2*j - j for p.
0
Let j = -7 + 11. Suppose 0*c = -3*c + 9. Suppose c = j*s - 13. Solve 4*n - f - 3 + 9 = 0, n = s*f + 6 for n.
-2
Let y(s) = -2*s + 2 - 8 + 2. Let f be y(-4). Let x(c) = 2*c - 2. Let b be x(f). Solve 7*t = 2*t - 3*p + b, 5*t = 4*p + 27 for t.
3
Suppose l = -3*l + 228. Let p be 16/(-88) + l