5*c + l - 1, 0 = -4*c + 3*l + 1 for c.
1
Suppose 380 = 8*q + 2*q. Let f = 42 - q. Solve 6 + 1 = -f*c - 3*k, 5*k = -4*c - 17 for c.
2
Let y be 12/(-8) - 33/(-6). Let x be (2/6)/(y/204). Solve 5*h = 4*s + x, 3 + 12 = -5*s for h.
1
Let u = -41 - -46. Let k(b) = 11*b**2 + 6*b. Let v be k(-1). Solve -v*o = a - 17 - 6, -u = -2*o + a for o.
4
Let h = 7 - -3. Let x = 0 + 3. Suppose -3*k + 6 = -3*d, 0 = k - x*d + 2 - 8. Solve -2*i - i - 2*l + 5 = 0, k = 2*i - 2*l - h for i.
3
Let a = -1125 - -1125. Let i be 2/(-11) - 171/(-33). Solve b + y - 1 = a, -i*y + 1 = -5*b - 4 for b.
0
Suppose -2*c + 15 = 5*d, -3 = 3*d - 0. Let z = c - 6. Let p(h) = h**2 + h - 4. Let a be p(-4). Solve -z*s = a, -3*m + s - 2 = -4*s for m.
-4
Let l(p) = -p**2 + 4*p + 10. Let f be l(5). Suppose -g - 3 = -f. Suppose -4*b + 2*q - 8 = 6*q, -14 = -3*b + q. Solve s = 2*s - o - 6, -g = -s - b*o for s.
5
Let u be 19 + -17 - (0 - 3)*1. Solve -h + 7 = u*k - 3*k, 0 = 3*h + k - 16 for h.
5
Suppose -2*a + 6 = -3*d + 2*a, 4*d + a - 11 = 0. Suppose -5*t + 36 = -3*c, 4*t - 20 = -c + 2. Solve -2*f - t = 3*y, 3*f + y = -0*f - d for f.
0
Suppose -85 = 3*c - 16. Let l = 33 + c. Let k(m) = 3*m + 1. Let b be k(1). Solve i - l = 3*t, 2*i - b*t = -t + 5 for i.
-5
Suppose -6 - 3 = -3*t. Suppose 0*q - m + 10 = q, -q = t*m. Solve b + 5*z + 15 = 0, 5*z = -0*b + 2*b - q for b.
0
Let a be 54/(-189)*(-21)/2. Solve 8 = a*w + 2*p, -3*p + 0*p - 26 = -5*w for w.
4
Let l = 59 + -63. Let w be 12/l - 1*-3*2. Solve 4*v + 1 = -v - w*c, -4*v - 4*c + 4 = 0 for v.
-2
Let r(p) = -p**3 - 8*p**2 - 13*p - 2. Let y be r(-6). Suppose -k - 3*k = -y*w - 28, 5*w = k - 23. Solve -3*b - k*u + 3 = 0, -4*u = -5*b + b + 36 for b.
5
Let f(q) = q**3 - 7*q**2 + 5*q + 6. Let w be f(6). Suppose -2*k + 3*k = -2*g + 13, g - 14 = -3*k. Solve -5*h + 4*a + 8 = -5, -2*h - g*a - 8 = w for h.
1
Let v be -1*2 + (2 - 0). Let y(t) = -t**2 - 3*t + t + 8 + v*t. Let x be y(-4). Solve x = -3*w + 4*k + 10, 4*k + 14 = -w - 4 for w.
-2
Suppose 0 = 2*r - 7 + 3. Suppose 3*d = 15, -2*s - r*d = -d - 15. Solve t - 2*u = 0, 5*t - s*u = 3*t + 2 for t.
-4
Let g be (-12 + 4)/(-2)*1. Solve 4*x - v = -6*v - 13, -g*x = 2*v + 10 for x.
-2
Let i(t) = t**3 - 2*t**2 - 4*t + 3. Let p be i(3). Suppose 3*n - n = 80. Let k = -38 + n. Solve 4*s + k*c - 1 - 5 = p, 2*s - 8 = 4*c for s.
2
Let r = -355 + 360. Solve 4*d - 7*d + r*f - 17 = 0, 3*d + 13 = f for d.
-4
Let z(g) = g**2 + g + 16. Let x be z(0). Let b be x/(-6)*(-165)/(-22). Let k = -16 - b. Solve h - d = -h + 1, k*d + 22 = -h for h.
-2
Let j = -60 + 77. Suppose 5*l = -3*f + j, 0 = -3*f - 2*f + 4*l + 16. Solve -6 = -m - f*k, -5 = -4*m - 4*k + 7 for m.
2
Let j = -287 - -292. Solve 3*d - j = -2*a, 2*d - 5 = 7*d for a.
4
Let i(j) = -j - 6. Let m(k) = -k**2 + 4*k. Let z be m(5). Let o be -10*((-8)/z + 0). Let t be i(o). Solve 0 = 3*h - 2*g - t + 23, -g = h - 4 for h.
-1
Suppose 0 = -129*d + 128*d + 6. Suppose -q + 1 - d = 3*x, 3*q + 3*x - 9 = 0. Solve 3*r - q = -5*m + r, 2*m - 14 = 2*r for m.
3
Suppose 6*f = 8 + 4. Let n = f - 0. Solve -p + n*p = 4*a + 11, a - 4 = -2*p for a.
-2
Let r = 45 - 7. Suppose 12 = -2*v + 4*x, -5*v - r = -4*x - 2. Let m = 16 + v. Solve 0 = -3*w + 12, -4*w = -5*s - 3 - m for s.
1
Let k = 9 - 3. Let d be (1*5)/(k - 5). Suppose -5*z + 7 + 8 = 0. Solve -2 = -z*x - 2*w, 3*x = -0*x + 5*w - d for x.
0
Let b be 135/(-2) - (-3)/(-6). Let r = 72 + b. Solve -6 - 4 = -2*q - 4*j, -3*q + r*j - 35 = 0 for q.
-5
Let c = 3 - 10. Let x(s) = -s**2 - 12*s - 14. Let u be x(c). Let j = u - 15. Solve -j*r = -2*r - 3*t - 4, 2*r + 2*t = 16 for r.
4
Let r = -544 - -552. Solve -5*w - p - 1 = 0, 5 = 4*w + 3*p - r*p for w.
0
Let i = -159 - -109. Let r = i - -56. Solve -p - 3*w + 11 = -r, 3*p = -w + 11 for p.
2
Let v be (-51)/21 - 16/28. Let y = v + 3. Solve -r - 7 = -a, -a = -y*a - 2 for r.
-5
Let x(t) be the first derivative of -t**3/3 - 6*t**2 + 24*t - 3. Let l be x(-13). Solve 4*h + 4 = -4*y - 0, -4*y = -h - l for h.
-3
Suppose -y = -0*y + 8. Let b be (y - -4) + (8 - 1). Solve 0 = 5*l + b*r - 5, -3*l + 6 = -4*l - 2*r for l.
4
Let g be (2/10*-2)/(18/(-585)). Solve 2*m + 3*k = g, 15*m + 2*k = 13*m + 8 for m.
-1
Suppose 3*j = 28 - 13. Solve 3*v - r + j*r = 12, r = 0 for v.
4
Let a(b) = 9*b + 176. Let d be a(-19). Solve 0 = -2*p + 4*i - 18, d*p + i - 10 + 0 = 0 for p.
1
Let a(u) be the second derivative of u**4/12 + 2*u**3/3 + 3*u**2/2 - 5*u. Let l be a(-3). Solve -3*o + 2*g = -16, -16 = -l*o + 2*o + 4*g for o.
2
Let l be 0 + 4/(3 - 1). Suppose 14 = 2*q - 2*o, -o + 8 = -3*o. Suppose -q - 17 = -4*d. Solve l*t + d*m = -17, 3*m = -3*t - 2*t + 5 for t.
4
Let i be -2*9/12*296/12. Let w = -28 - i. Solve -5*x - 2*l - 22 = 0, 2*x + l + w = -0*l for x.
-4
Suppose p - 5*b = -0 + 15, p + 4*b + 12 = 0. Let x be (-2 + p)*(-11)/22. Let h be x/2*(-1 + 7). Solve 3*y = -4*w + h*w + 8, 1 = -w for y.
3
Suppose 5*f = -4*r + 4, 5 = -r - 2*f + 6. Solve c = r, -c = 3*p - 2 - 5 for p.
2
Suppose 31*n = 23*n + 40. Solve 2*q = 2*x - 0*q, 5*q = -n*x + 10 for x.
1
Let y(r) = -12*r + 147. Let g be y(12). Solve v - 6 = z, g*v = -0*z - z + 6 for v.
3
Let m = 0 - 0. Suppose -5*s + m = -5. Suppose j + 1 = -v, -2*v - s = 1. Solve -2*f = 4*y - j + 8, 3 = -3*y - 3*f for y.
-3
Suppose 0 = -c - g + 1, -g - g + 2 = 5*c. Suppose 13*x + 34 = 12*x. Let k = -29 - x. Solve -4*h - k = -5*r, r - 2*h - 7 = -c*r for r.
-3
Suppose -c - 3*c = 0. Suppose -2*u + 0*u + 2 = c. Suppose 2*i - 50 = -40. Solve 2*n - 5*j + i = 0, j + u = 4*n - 16 for n.
5
Suppose -3*o - 5*n + 81 = -22, -3*n - 3 = 0. Solve -d - 8 = -2*d + u, 4*d - 5*u = o for d.
4
Let i = 854 + -852. Solve -k + z - 1 = 0, -2*k + i*z = 4*z + 10 for k.
-3
Suppose 33*g - 21 = 276. Solve 2*b + 2*b - 2*k = -6, k = -b - g for b.
-4
Let v = 164 - 160. Solve -20 = -f + v*o - 0, f = 5*o + 24 for f.
4
Suppose -3*y + 25 = -4*v, 70 = -3*y - 3*v + 67. Solve 2*b + 0*j + 11 = 3*j, 0 = -y*b + 3*j - 12 for b.
-1
Let q be 45/27 - 1/(-3). Let j be q/11 + (-168)/(-44). Let t be 1 + 3/(-7 + j). Solve -29 = -5*g - 4*z, t = -0*g - 2*g + 2*z + 8 for g.
5
Let r be (105/15)/(2/6). Suppose 5*o = 41 - r. Solve 3*t + 4*d + 12 = -d, -t = d + o for t.
-4
Let h = 11 + -8. Suppose -5*o - 28 = -4*z, 0*o = 5*o - z + 22. Let x = o + 5. Solve -5*d - 3*j + 6 = -x, j + h = d for d.
2
Let f be (-3)/(-2) - ((-126)/4)/7. Suppose -4 + f = r. Solve -r*p + u + 3 = 0, -p - 2 = p + 4*u for p.
1
Let d(h) = 4*h - 2. Let k be d(5). Let g = 23 - k. Solve 4*t - 2 = -3*x - 0, 0 = -5*x - g*t + 5 for x.
2
Suppose 35*h - 80 = 31*h. Solve 2*v + 3*j + 7 = 0, 3*v = -2*j + 7 - h for v.
-5
Suppose 8*v - w + 8 = 12*v, 0 = -3*v + 3*w + 6. Solve 10 = -2*t - 2*a, -2 = 2*t - v*a + 4 for t.
-4
Let i = 10 + -6. Let n be (-2)/6 - (-20)/60. Let f = -16 + 16. Solve -3*g - 2*p - 14 = f, -4*g + 2*g + i*p + 12 = n for g.
-2
Suppose -2*n + 3*m - 7*m = -12, 2*n + 2*m - 6 = 0. Solve 0 = 4*h + 5*i - 8, n*i + i = 0 for h.
2
Suppose -k = -0*z + 4*z - 22, -2*z = 4*k - 18. Suppose -6 = -5*t - 0*b + k*b, -5*t = -5*b. Solve -3*u + 19 = -5*h, 3*u + t = 2*u for h.
-5
Let u(i) = -i - 34. Let g be u(-34). Solve t + g*t = 5*j + 5, -t - 2*j - 9 = 0 for t.
-5
Let h be (-1 + (-5)/1)/(-2). Suppose -h*w - 1 = 4*g, 0 = -6*g + 2*g - 16. Solve 2*y + 17 = w*c, -5*y + 12 = c - 13 for c.
5
Let l be (1/3)/(8*(-6)/(-3600)). Solve -3*u - 12 = -m, -7*u - 5*m = -5*u + l for u.
-5
Let s = 10 - 19. Let q = s - -14. Let w = 9 - q. Solve -1 = z - v, -w*z = -3*v - 1 + 7 for z.
-3
Let r(x) = -5*x**2 + 19*x + x**2 + 3*x**2 - 10*x + 11. Let s be r(7). Solve -5*f + s = 5*o, 5*o - 2*f - 3 = 1 for o.
2
Let g(k) = k + 5. Let s be g(4). Suppose s*l - 4*l = -20. Let r(v) = v**3 + 6*v**2 + 3*v + 3. Let b be r(l). Solve 5*p = -4*u - b, -4 = -0*u + 2*u for p.
-3
Suppose 280 = -0*y + 5*y. Suppose 4*f + 0*f = -y. Let m = f - -19. Solve 4 - 16 = d + 3*o, 16 = -3*d - m*o for d.
3
Let d(y) = 2*y**3 - 2*y**2 - 11*y + 19. Let k be d(2). Solve k*u = i + 22, -5*u + 5*i + 30 = -0*u for u.
4
Let p = 71 - 63. Solve 2*d - p = -2*n, 7 = -5*n - 2*d + 18 for n.
1
Let f be 15/(-10) - 10/4. Let c(o) = -o**3 - 5*o**2 - 4*o. Let r be c(f). Solve -y + 2*w - 8 = r, -9 = 5*y - w + 4 for y.
-2
Let c(r) = -r - 3. Suppose -10 - 2 = 3*z. Let n be c(z). Let w be (1/2)/(n/6). Solve 3 = -3*q, -u + 4 + w = -4*q for u.
3
Let z = -89 + 91. Solve -4*d + 8 = 0, 0*a + 5*d = -