 2*c - 13 = 0 for k.
5
Let f be 3/(-3*(-2)/18). Let d be f/(-15)*(-5 - 0). Suppose 5*p + 0 = d*r - 8, 0 = 2*r - 4*p - 6. Solve 0 = g, 5*h - 2*g - r = 9 for h.
2
Let r(a) = a + 4. Let i be r(0). Solve -5*q + 4*t - 8 = 0, -i*t = t - 10 for q.
0
Suppose 0 = 4*q + 4*p, -3*q + 0*q = p - 6. Solve 3*c - q*o = -2 - 16, 2*o = c + 8 for c.
-4
Let z = -30 - -37. Solve 2*s + 1 + z = d, -3*s - 3*d = 21 for s.
-5
Let y(c) = 2*c**3 - 3*c**2 + 4*c - 2. Let r(u) = u**3 + u**2. Let b(x) = -r(x) + y(x). Let m be b(3). Solve -d = v - 1, -5 + m = -4*d for v.
0
Let u(y) = y - 3. Let f be u(6). Let k = 6 - f. Let g be k/9*(12 + -3). Solve g*h - 4 = -c - 0*h, 5*c = 3*h + 20 for c.
4
Let u(c) = 2 - 5*c - 2*c + 4*c**2 + 5*c. Let s be u(1). Solve 5*l - 5*m = 25, 5*m = 3*l - s - 11 for l.
5
Let p = 29 - 20. Let u(b) = b**2 - 8*b - 4. Let l be u(p). Solve 0 = 2*i - l*y + 4, 8 = 2*i + 5*y - 8 for i.
3
Let s(r) = r + 13. Let u be s(-10). Suppose f + 2*h = 8 - 2, -u = -f - h. Solve -2*m = 4*g - 0*g + 10, f = -g - 4 for m.
3
Let p be (-30)/12*(-32)/20. Solve -3*r - 3 = r + k, -p*k + 22 = -r for r.
-2
Let a(s) = s**2 - 7*s + 1. Let o be a(8). Suppose 4*v - 7*v = -o. Solve m + t + 9 = 0, -4*m + 3*t = 4 - v for m.
-4
Suppose 3*k + 0*k - 6 = 0. Solve 0 = 5*f - k*c - 15, f + c = 2*f for f.
5
Suppose 0 = -3*u - 3*o + 8 + 19, 3*o - 12 = 0. Solve 11 = -5*r - u*z - 4, -14 = 4*r + 3*z for r.
-5
Suppose 3 = 4*i + 4*j - 1, -4*j = -2*i + 8. Suppose 0 = -a + i*a - 2. Solve a = 2*z - o - 1, 2*o + 5 = 5*z for z.
-1
Let f be -2*3/(-2 - 1). Solve 4 = 2*r + f*q, q + 16 = -r + 6*q for r.
-1
Let p be -21 - (-4 + 4)/(-2). Let w = p - -25. Solve -w*d - 5*c + 23 = -7*d, 2*d + 5*c = 18 for d.
-1
Suppose 0 = 7*v - 4 - 17. Solve -21 = 3*i + v*c, 2*i - 6*c + 4*c + 2 = 0 for i.
-4
Let b = -11 - -7. Let d be (2 + b)*(-10)/4. Solve -3*r = -d*o - 2, -5*r + 2*o + 12 = -2*o for r.
4
Let k = 16 - 28. Let h be k/(-2)*(-25)/(-30). Suppose 2*m + 17 = 4*t - 3, 5*t = 25. Solve -10 = -5*r - h*p - m, 0 = r - 3*p - 14 for r.
5
Let g = 20 + -29. Let r = 15 + g. Solve -3*x + 2*x + 6 = -3*u, -2*x + r = -3*u for x.
0
Suppose v + 4*s = 10, -5*s - 1 = -6. Solve -2*h - 1 = 3*b - v*b, -2*b + 5*h = -8 for b.
-1
Suppose 3 = -3*l - 4*a - 13, 0 = 3*l + a + 4. Suppose l = -4*f + 16. Solve -f = 2*j, 2*i - j = -3*j - 10 for i.
-3
Suppose 10 = 2*q, 0 = -5*u - 5*q + 19 - 139. Let a = 42 + u. Solve -2 + 7 = m, 4*p - a = -m for p.
2
Let f be (-4 + 4)*(-2)/4. Solve 2*t - 4 = 0, f*t - 3*t = -2*m - 4 for m.
1
Suppose -12*f + 8*f = 0. Let u(d) = -d**3 - 3*d**2 + 6*d - 6. Let h be u(-5). Let i be 8/28 + 66/h. Solve i*z - 22 = -g + 4*g, f = -5*z - 5*g + 30 for z.
5
Let m = -27 + 39. Let y be 3 + 3 - (0 + -2). Let p = m - y. Solve -4*x = 4*l + x - p, 2*l + 2*x = 0 for l.
-4
Suppose 3*u = -d + 10, -2*u = -4 - 0. Suppose 6*a = d*a. Solve -3*p = 5*g - 13, -2 + a = -2*g - 2*p for g.
5
Let r be (-1)/((-3)/66*2). Solve 8 = -4*c + 3*a, -5*c - r = 4*a - 1 for c.
-2
Suppose p - 3*p - 8 = 0. Let y be ((-12)/p)/((-1)/(-7)). Suppose h - 4*h = -y. Solve -5*z + 3*z + 6 = 0, z + h = 2*d for d.
5
Let i be 1/4 - 55/(-20). Solve y + c - 5 = 2*y, 0 = 2*y - i*c + 14 for y.
-1
Let z be 4/(5*(-8)/(-180)). Let w = -5 + z. Solve 3*k + 3*a = 9, 0 = -k + 6*k - 2*a + w for k.
-1
Suppose -2*p = -3*p. Let y be (-4)/4 - (p + -1). Let v = y - -12. Solve r - 3*t - 1 = 5, v = 3*r - 3*t for r.
3
Suppose 0 = -5*v + 5*c + 20, -c - 10 = -3*v + 2. Solve 0 = -q - v*s, 5*q - q = -5*s for q.
0
Let v be 2/(-4)*(1 - 1). Let p = 146 + -126. Solve -w - 4*w = -5*c + 10, v = 4*w + 2*c + p for w.
-4
Suppose 4*l = -3*d + 9, -5*l - 14 = -3*d + 22. Solve 2*g - 2 = 0, 0 = -3*w + g - 0 - d for w.
-2
Suppose -2*i + 3*u = i - 27, -3*u = 2*i + 2. Solve -3*g + 26 = 4*q, -5*g = 2*q - 3*q - i for g.
2
Let h = -11 + 15. Suppose -u + 4*u + 12 = 0. Let d be 10/h*(-8)/u. Solve -2*k - 5*x = -6*k + 35, 0 = d*k - 5*x - 40 for k.
5
Suppose -22*s + 480 = -7*s. Solve 4*v = 4*d + s, -4 - 2 = 3*d + 3*v for d.
-5
Suppose 4*n + 0*n - 36 = 4*j, n + 5*j = -15. Solve n = -5*w, 3*g - 3*w + 2*w = 7 for g.
2
Let j = 6 + -2. Solve -5*h = -20, -d + 1 - 22 = -j*h for d.
-5
Let m be 663/26 - 6/4. Solve -4*d + 2*d + 3*k - 14 = 0, 0 = 4*d - 4*k + m for d.
-4
Suppose -15 = -3*m - 3. Solve -3*x - 9 = v, m*v + 6 = -x - 8 for v.
-3
Suppose p - 31 = 4*h, -5*h + 36 = -10*h + 4*p. Let t be h + ((-4)/(-2) - 0). Let m = t + 10. Solve 0 = r + 3*k + 4 + m, -3*r + k = 14 for r.
-5
Let n be (-5)/1*6/(-10). Let q = n + 1. Solve 4*a - 2*o + 18 = 8*a, 4*o + 12 = q*a for a.
4
Let d(g) = 12*g**2 - 1. Let k be d(1). Suppose -120 = -0*p + 4*p. Let s be (-50)/p + (-2)/(-6). Solve -s*c = 5*v - 0*v - k, -v = -c - 5 for c.
-2
Let s be 5/(-15) - (-32)/6. Suppose s = -4*o + 17. Suppose -15 = -3*b, f - 25 = -f - 5*b. Solve f = 3*w - 2*n - 14, -o*w - 2*w - n + 6 = 0 for w.
2
Suppose -3*o = -3*r - 6*o + 9, 3 = -3*o. Let a be -4 + r - (0 - 4). Let d = -5 - -19. Solve 2*p + 26 = a*s, 4*s + d = -3*p + 5*s for p.
-3
Let f(i) be the second derivative of -i**3/6 - 3*i**2/2 + i. Let u be f(-8). Solve -2*o = a - 3*o - 1, -u*a - 3*o = -21 for a.
3
Let l(y) be the first derivative of y**4/4 - 2*y**3 + y**2 - 9*y + 5. Let s be l(6). Solve -o = -5*n + 10, -5 = 2*n + s*n - 4*o for n.
3
Suppose -4 = u, 0 = -3*v + u + 16 - 6. Solve n = 3*h - h + v, -4 = -3*h + 5*n for h.
-2
Suppose i + 3*i + 20 = 5*s, 5*i = -s - 25. Suppose 3*f = -f + n + 13, f - 3*n + 5 = s. Solve 2*u = 4*k - 12, 0 = 3*k + u - 5 - f for k.
3
Let c = -15 + 19. Solve -o = -c*i + 19, 3*o = -2*o + i for o.
1
Suppose 0*h + 2*h = 10. Let x = 7 - h. Solve k + 11 = -x*m, -2*m + 3*m - 5*k = 0 for m.
-5
Let l = -13 - -7. Let i = 11 + l. Solve -k - 5*p + 3 = 22, -i*p = 20 for k.
1
Let k(i) = -i**2 + i + 2. Let z be k(2). Let d(j) = -3*j - 5. Let p be d(-3). Solve 2*c = -4*f + 8, p*f = -4*c - z*c for f.
4
Suppose 0*j + j = 2*u - 6, -4*j - 12 = -4*u. Solve 2*t - 26 = 4*n, -u*t + 2*n + 23 = -0*n for t.
5
Let g be (-2)/8 + 130/8. Solve 2*f - 4*o + g = 0, 0*o - o + 9 = -3*f for f.
-2
Let n = -3 - -4. Suppose 3*k = -3, -b + 5*b - n = k. Suppose 2 = s - b. Solve 3*l = -s*z + 4, -l + z = 3*z - 4 for l.
0
Let t be 0 + 3/3*3. Let g(u) = -u**3 + 9*u**2 - u + 12. Let x be g(9). Let c = x + -1. Solve 5*n + t = -c, 3*n + 15 = 3*h for h.
4
Suppose -5*x = -3*x + 3*x. Solve x = -4*l - 3*j + 1, 4 = -4*l - 0*l - 4*j for l.
4
Suppose 0 = 4*c - 3*c + 6. Let x(l) = -l**3 - l**2 + 13 - 4*l**2 - 4 + 6*l. Let a be x(c). Solve -4*p - 2*i = -i + a, 5*i = 5*p + 5 for p.
-2
Suppose -8 = -u + 4*a, -a = 2*u + 2*u - 15. Solve u = -5*q + 2*d, 0*q + 4*d + 8 = 2*q for q.
-2
Let l(i) = 2 - 4*i - i - i**2 - 4. Let j be l(-3). Solve 5*m + 2 = 3*u - 1, 4*m + 4 = j*u for u.
1
Suppose 3*x - c = 11, 2*x + 2*c - 21 + 3 = 0. Solve -2*a = n - x, -n = n - 3*a + 18 for n.
-3
Suppose -r = u + 4*r - 21, 0 = -5*r + 25. Let i = 4 - u. Solve 0 = 4*l + 5*c - i, 2*l + c - 10 = -3*l for l.
2
Let t(a) = -a**2 + 9*a + 6. Let z be t(9). Suppose -n = 2*n - z. Solve -3*c = d + 11, 4*d - 2*d = n*c - 6 for d.
-5
Let y = -14 - -18. Solve y*g + 19 + 1 = -3*l, 0 = 4*g - l + 4 for g.
-2
Let c = -2 + 4. Let a = 2 + c. Let z = a - 2. Solve -z*s = -5*s - p - 16, 5*s - p + 16 = 0 for s.
-4
Let y = -8 - 22. Let k be y*1/2*-2. Let d be ((-27)/(-6))/((-3)/(-8)). Solve -5*i = -3*t - k, 2*i = -2*i + d for t.
-5
Let m = -204 - -206. Solve -4*o - 8 + 0 = -5*r, -m*o + r = -2 for o.
3
Let c be (-3 + -2)*4/(-10). Suppose 4*f = -16, 3*o - 20 = 2*o + 4*f. Suppose -h + 4 = -o. Solve c*y - 6 = 0, -u + 2*y - 2 = h for u.
-4
Let k = -9 + 15. Let x(b) = b**2 - 7*b + 1. Let g be x(k). Let v be (-13)/(-5) - 2/g. Solve -t + v*t - 4*h + 18 = 0, h - 2 = 0 for t.
-5
Let w(a) = a + 7. Let z be w(-3). Solve -c - z*d - 13 = 0, 2 = -2*d - 2 for c.
-5
Let k be (-4)/16 - 164/(-16). Suppose 14 = 3*q - k. Solve 2*c + q = -4*g, -3*g = -3*c - 6*g - 9 for c.
-2
Let o be (-4)/(-6) + 16/(-6). Let d be (0 + 1 - -3) + o. Suppose -8 + 56 = 4*m - 2*z, -d*z - 58 = -5*m. Solve 25 = -4*g + r, m = 3*g - 0*r + 5*r for g.
-5
Let v(q) = 0 - 1 + 3*q - q. Let b be v(1). Solve 3*m + 4*r + b = 3*r, -5*r = -5*m - 15 for m.
-1
Let x = 11 + 0. Solve 0 = -f + 2*u + 1 + 6, 2*f - 3*u = x for f.
1
Let r(j) = j**3 - 16*j**2 - 16*j - 15. Let h be r(17). Solve h*t = -2*p - 16, 5*p + 19 = 2*t - 0*t for p.
-5
Suppose -4*b = 2*d - 8, 2*b +