 3*k + a - 0 for k.
2
Let u be -5 + 20 + (10 - 5). Solve -3*b - 8 = 3*k - 23, -2*b + u = 4*k for b.
0
Let s(f) = -f**3 - 8*f**2 + 21*f + 13. Let z be s(-10). Suppose 0 = -3*k - 12, -4*w = -z*w - 3*k - 22. Solve -w = 2*i + 2*l, -12 + 36 = -5*i - 4*l for i.
-4
Let r(j) be the third derivative of -j**6/120 - j**5/15 + 5*j**4/6 - 2*j**3/3 + 46*j**2. Let i be r(-7). Solve 5 = i*p + 5*d, -p + d - 8 = 1 for p.
-5
Let s(f) = -2*f**2 - 42*f - 105. Let r be s(-18). Solve -2*h = r*k - 6, 5*h - 23 = 6*h - 5*k for h.
-3
Let x = -186 - -198. Solve -4*b + x = 4*z, z = -3*b + 2*z + 5 for b.
2
Let q be (-80)/(-32) - (-2)/(-4). Solve q*d = -3*x + 16, 7*d - 6*d - 5*x = -5 for d.
5
Suppose 0 + 377 = 29*j. Solve -3*d - j - 2 = -3*s, 2*s - 14 = 3*d for s.
1
Let z be (6/6)/(1/(-9)). Let v = z + 9. Suppose 17*d - 14*d - 15 = 0. Solve -p = 2*p - d*u - 25, v = 4*u + 8 for p.
5
Suppose 0 = -2*z + 5 + 3. Suppose v - 26 = -2*j - z*v, 0 = 4*j + 2*v - 20. Solve -3*m + 5*h - 22 = 0, 11 = -4*m - j*h + 1 for m.
-4
Suppose 2*h + 108 - 114 = 0. Solve -3*c + h*z - 6 = -c, 0 = 4*z for c.
-3
Let r(s) = -s**2 - 7*s - 2. Let z be r(-7). Let q be 5/(-5) + 3 + z. Solve q = 3*k - b + 2 - 17, 5*b + 23 = 2*k for k.
4
Suppose 0*o - 19*o = -57. Solve -b = -3*x - o, -2*b + x = -b - 1 for b.
0
Let j be -5 + 0 - (-1 - (-5 - -11)). Solve -5 + 3 = -2*a + q, j*q = 5*a - 7 for a.
3
Let o(x) = 4*x**2 + 33*x + 10. Let f be o(-8). Solve 5*n - 18 = -2*l, -f*l - 5 = 2*n - 17 for n.
2
Let p = 54 - 31. Let r = p + -15. Solve b = x - r, x - 4 = -0*x for b.
-4
Suppose 5*y - 4*t = t + 10, -5*y = t - 28. Suppose -6*s + s + w = -17, -3*s + w = -9. Solve s*v + 29 = 5*g + 3*v, 0 = y*g - 3*v - 37 for g.
5
Let v be (-1)/((-1)/6) - (1 + 1). Suppose 0 = -2*p - v*x + 56, x - 39 + 124 = 4*p. Solve -q - 15 = 2*q, 0 = 3*u + 5*q + p for u.
1
Suppose -3*u + 9*u - 30 = 0. Let d be (4 - 1)/(((-35)/u)/(-7)). Solve 3*o + 2*o = 4*x - 25, 0 = -3*o - d for x.
5
Let h be (-2)/(-18) + (-7)/63. Suppose h = -b + 5*f + 9, -3*f - 6 = -3*b + 33. Solve 0 = -4*y + l - 14, -b + 1 = y - 5*l for y.
-3
Suppose -3*l + 2*h + 13 = 0, -3*l + 5*h + 14 + 5 = 0. Solve 0 = -4*u + l*a - 6 + 23, 0 = -3*u + 5*a + 10 for u.
5
Let v be (-48)/(-28) - (-16)/56. Solve 2*b - 3 = v*x + 7, 0 = -2*x - 2*b - 6 for x.
-4
Suppose 4*b - 223 + 955 = 0. Let x be 4/(-12) - (0 + b/9). Solve m + 0*g = 3*g - 13, -4*g = -x for m.
2
Let s(t) = t**3 + 7*t + 49 - 3*t**2 - 3*t**2 - 42. Let m be s(4). Solve p = m*u - 4*p - 8, 3*p + 3 = 0 for u.
1
Suppose -5*x - 35 = 5*d, -7 = -d - 2*d + 4*x. Let l(y) = y**2 + 4*y + 6. Let h be l(d). Solve h*u + 9 + 0 = 3*b, 4*u - 2*b = -14 for u.
-4
Let j(u) = 4*u + 55. Let w be j(-12). Solve 0 = -4*l - 5*k + w + 17, -12 = -4*l - 2*k for l.
1
Suppose 39*t - 51 = 495. Solve -4*f = -4*p + 22 + t, -9 = -5*p - 4*f for p.
5
Let h(k) = -k - 1. Let q be h(-4). Suppose -q*s = -2 - 19. Solve 0 = -3*c - 3*a - 3, s*c - 4*c = 2*a - 18 for c.
-4
Let f(h) = -15 + 0*h**2 + 39 - 10*h - h**2 - 12. Let t be f(-11). Solve -3*w - 5 = -2*q + t, 0 = -4*q - 2*w - 4 for q.
0
Let a be (-15)/20 - 127/(-4). Let k = a - 6. Solve k = -5*m, -g + m + 0*m = -8 for g.
3
Suppose -73*u = 11*u - 168. Solve 3*s - z = -8, u*s = 3*s + 3*z - 4 for s.
-2
Suppose -413*c = -417*c + 2*g + 110, 5*g - 37 = -2*c. Suppose 0 = 5*m - 5*o - 85, -m - m + 36 = -o. Solve -m = -5*z - 2*j, -3*z + 1 + c = -4*j for z.
5
Let a = 604 + -600. Solve -8 = 2*u, -5*o = -o + u + a for o.
0
Suppose 4*t = -2*j + 44, -11 = 2*t - 3*t + 2*j. Let i = t - 7. Solve 6*y + 24 = -3*u + 3*y, -5*u = -4*y + i for u.
-4
Suppose 3*b + 5*u = 57, -u - 39 = -4*b + b. Suppose j - b = 2*t, -j + 0 + 11 = t. Solve 0 = w + 2, -3*w - w - j = 2*c for c.
-2
Let s = 708 - 704. Solve 3*l - s*k = -0 + 13, 0 = -4*l + k for l.
-1
Let y = 8 - 11. Let z be (-12)/(-4 + (-9)/y). Suppose -k - z = -5*t, -4*t + 18 = 3*k - t. Solve -4*v - 2 = 3*o - 3*v, 3*o = k*v + 18 for o.
1
Let t(o) = -o**2 + 12*o - 7 + 0 + 1 + 2. Let r be t(11). Solve 0 = a - n + r, 0 = 3*a - a + n + 2 for a.
-3
Suppose 0 = a + 5, -4*c + 12 = -5*a - 33. Solve -q + 4*y = -0*q + 12, -c*y = -20 for q.
4
Let p(k) = -k - 4. Let x be p(-4). Let n be (1*-1)/((-11)/22). Solve x = -5*h - n*r + 23, 5*h = 4*r - 1 - 0 for h.
3
Suppose -7 + 4 = 3*s. Let a be 18 - (-2 + 2)/s. Suppose 0 = -5*q - 5, -5*i + 3*q = -q - 24. Solve 18 + a = 4*k - i*r, 4*r = -k - 16 for k.
4
Suppose 2*u + 58 = -2*i - 2*u, -28 = i + u. Let c = 41 + i. Suppose -3*g + c = 5*n - 1, 0 = -4*g. Solve -a + 2*k = -4 + 3, 6 = 3*a - n*k for a.
3
Suppose 29*o - 103 = 71. Solve 2*h = o, -2*r - 2*h - 1 = 1 for r.
-4
Let t be 2*-1*4/8. Let x = t + 3. Suppose f + 3*f - x*c - 16 = 0, 0 = -4*f + c + 16. Solve 0*l - 4*v + 8 = f*l, 9 = 4*l + 5*v for l.
1
Suppose 8 = 4*c + 4*l, c - 5*l = 3 + 5. Solve -3*v = c*a - 3, -v - 17 + 3 = -4*a for v.
-2
Suppose -4*v - 19 + 7 = 0. Let g be 0 - 42/(v - -1). Solve 0*t + n - g = -4*t, n - 9 = -t for t.
4
Suppose -2*w - 2*w = -16. Suppose 0 = 3*k - o - 4*o + 29, 0 = 4*o - w. Let p = -6 - k. Solve -7*l + p*l + 26 = 2*j, 0 = j - l + 1 for j.
3
Let x = 205 - 202. Solve 0 = -3*i + 4*q - 17, -2*i - x*q + 4*q = 8 for i.
-3
Suppose 4*z - 3*h = 4, 2*z - 2*h + 1 = 3. Let t be (-8)/(z/(-1)) - 3. Let v(d) = -d + 7. Let b be v(4). Solve s + t - 3 = g, -g = b*s + 14 for s.
-4
Suppose 5*a + 1 = 16. Suppose -a*k = -7*k - 3*y + 12, k - 4*y - 3 = 0. Solve t + k*u - 2 = 2, 4*u - 22 = 2*t for t.
-5
Let b(y) = y**2 + y - 15. Let a be b(-5). Solve 5*f + v - 8 = 0, -4*f - a*v + 8 + 11 = 0 for f.
1
Let k be (5 + -7)*(-2 - -1). Solve 0 = 3*p - k*p - 3*i - 6, -3*p + 2*i = 3 for p.
-3
Let d = -14 - -21. Suppose -g - 14 = 2*b, b + 7 + d = -4*g. Let f(s) = s**2 + 4*s - 8. Let m be f(b). Solve -2*l + 5*l + 3*y + 12 = 0, m*l = -y - 19 for l.
-5
Suppose -30*v - 2*l + 2 = -27*v, -10 = 2*l. Solve -20 = v*c - 3*o, 4*c = 3*o + o - 20 for c.
-5
Let p = 53 - 95. Let i = 30 + p. Let z = i - -23. Solve r - 28 = -5*f, r + f - z = -r for r.
3
Let t(d) = -3*d**2 - 39*d + 45. Let s be t(-14). Solve -x - 2*f + 0 = -6, -s*f = -x - 14 for x.
-2
Let s = 22 + -18. Suppose l - s = 2*b - 5, -3*l = -5*b + 1. Solve -2 = b*k + 3*t, -4*t - 28 = -4*k + 8 for k.
5
Let o be (-2)/(-6) + (-13)/3. Let g be (7 + -3 - o)/2. Solve -g*m - 4*r = -12, -4 = -r - 2 for m.
1
Let x be (2 - -1) + -1 + 0. Let c be (0 - -3 - 3)/(5 + -3). Suppose h - 14 = p, 0 = h - 2*p - 3*p - 10. Solve -n - v = 0, -n + x*v + 2*v - h = c for n.
-3
Let h = -2346 + 2358. Solve 3*c - 9 = 3*k - 0, 0 = -3*k - h for c.
-1
Let u = 2 + -6. Let n be 0 + u + (6 - -1). Solve -4*m - 4*x + 21 = 1, m = n*x - 15 for m.
0
Let l(m) be the first derivative of 5/3*m**3 + 2 - 8*m + 9/2*m**2 - 1/4*m**4. Let u be l(6). Solve 0 = 4*i - i + 5*g - 7, 0 = -2*i + 4*g - u for i.
-1
Let j be (-28)/(-14)*15/20*4. Solve -3*s - 5*r + 3 = -3, 4*s + 2*r = -j for s.
-3
Let b(m) = 4*m - 12. Let g be b(4). Let j be ((-1)/(-2))/(1/g). Suppose -z + 2*o + 17 = -o, -2*z + 5*o = -31. Solve -8*r - f = -3*r - z, 6 = j*r - f for r.
2
Let w(r) = 4*r**2 + 10*r + 9. Let s(q) = -5*q**2 - 11*q - 10. Let i(p) = -5*s(p) - 6*w(p). Let c be i(6). Solve c*o - o = -2*j - 2, -3*o + 4*j - 6 = 0 for o.
-2
Let f(r) = -r + 40. Let p be f(30). Solve -7*b - p = -3*b - 2*j, -3*b - 15 = j for b.
-4
Let p be (-3)/(-9) - (-22)/6. Suppose 59*u + 16 = 63*u, 5*u - 22 = -r. Solve j - 3 + 6 = -p*b, r*b = -2 for j.
1
Let m(y) = -210*y - 2724. Let h be m(-13). Let n = -5 - -7. Solve -n*p = -u - h, -4*p - 4*u = u - 12 for p.
3
Suppose -t + 23 = -4*q, -2*t - 5*q - 16 - 3 = 0. Let b be 1/t*3*3. Solve -5*c = -4*p + 30, -7 = -b*p + 2*c - 6*c for p.
5
Suppose 40 = -7*b + 3*b. Let l = b - -12. Solve 0*w + 2*w - 8 = l*v, -3*v - 3*w = 6 for v.
-3
Let b(l) = -3*l - 15. Let o be b(-12). Suppose -2*u = -37 - o. Solve -2*i - 5*y + u = 0, 0*y - 2 = 4*i - 2*y for i.
2
Let t be -2 - (-7)/5*5. Solve 2*f + t*j + 12 + 3 = 0, -5*f = -j - 3 for f.
0
Let a be -4*((-25)/(-10) + -2). Let b be ((-4)/10)/(a/20). Solve -2 = 2*i + p, -4*i + 2*i - b*p = -4 for i.
-2
Suppose -30*i = -18*i - 1188. Suppose -i*n = -97*n - 4. Solve -o + 2*s + 2 - 11 = 0, 0 = n*o - 2*s + 14 for o.
-5
Let g(r) = -r**2 + 2*r + 17. Let s = 11 + -6. Let f be g(s). Solve 14 = -f*n - 2*n - k, 4*k = -2*n for n.
-4
Suppose 0 = 5*x - x - 16. Suppose -33 = -t + 2*a - 5, 84 = 3*t + 4*a. Suppose 11*p - 7*p - t = 0. S