12, -b + u*j = 2*b + 15 for b.
-1
Let d = 3 + 1. Let m = 0 + d. Let t(q) = 6*q**2 - q - 2. Let u be t(-2). Solve m*w - u = 4*o, 3*w - 15 = -0*o + 2*o for o.
-3
Let n be (8/(-10))/((-6)/15). Suppose k + 9 - 24 = -n*z, -4*z = -4*k. Suppose 0 = -z*y + 25. Solve 4*c + 2 = -b - 1, 3 = y*c - b for c.
0
Let p = 45 + -32. Let u = p + -10. Suppose -u*k + c = -8, 3*c - c - 12 = -k. Solve -5*g - 23 = k*v, -2*g = -4*v - 4 + 2 for g.
-3
Suppose 0 = -5*k + 7*h - 5*h - 68, 56 = -5*k - h. Let z be -21*(40/k + 4). Let x be 4/z - 2/(-7). Solve 5*u - y - 22 = -x*y, 32 = 4*u + 4*y for u.
5
Let k be 140/63 - (-16)/(-72). Solve 0*s = 4*s + 5*c + k, -3*s - c - 7 = 0 for s.
-3
Let d = 8 + -6. Let i = 26 + -24. Suppose 5*s = o - 20, 0 = 5*s + 11 + 4. Solve j = v + 5, -j + d*j - o = i*v for j.
5
Suppose k + 2 = 4*l - 10, k = 2*l - 4. Solve -4*v + 18 = -2*t, 2*t - 9 = k*t - v for t.
-3
Let h = -300 + 305. Suppose -2*z = -0 - 4. Solve h*v + 13 - 36 = -z*m, 10 = 4*m - 2*v for m.
4
Let s = -6 + 9. Let h = -712 + 714. Solve -h*r = 4, j + r + 3*r = -s for j.
5
Suppose 3*a - 7 = -1. Suppose a*m - 5*c = -0*c + 12, -3*c - 27 = -3*m. Solve 2*w - 5 = -3*g - 0*g, 4*w = g - m for g.
3
Let d be (0 - -1)/((-2)/4 + 1). Suppose 7*x - x - 12 = 0. Solve 3*v + d*v + 15 = -2*g, -6 = x*v for g.
0
Let f = 54 - 52. Suppose 82 - f = 4*s. Solve -4*d - s = -4*x, -2*x - 3*x + 20 = -4*d for x.
0
Let d = 34 - 51. Let o = d - -15. Let i be o/(-1)*10/4. Solve i*j - f = -2*f + 10, -5*j = 4*f + 5 for j.
3
Let f(h) = h**2 + h - 6. Suppose -8 = -4*g + 2*g. Let a be f(g). Suppose -2*n + a + 0 = 4*o, -4*n = o. Solve 0 = o*b - 2*q + 6, 4*q = -5*b + 19 - 59 for b.
-4
Suppose -26*v + 21*v - 18 = -q, 4*v = -q - 9. Solve -4*y - 5*j + 36 = 0, 4*y - j = -q*j + 24 for y.
4
Suppose 3*i = -5*z + 13, 0 = -4*i - 23 + 7. Suppose w + 2*w - 92 = -z*t, 5*w - 150 = -5*t. Solve 0 = -0*c - 4*c - 5*k + w, -5*c + k = 0 for c.
1
Let r = 20 - 62. Let s = r + 45. Solve 2*p = -2*n - 0*n - 6, 2*n + 6 = -s*p for p.
0
Suppose 46*l - 56*l + 30 = 0. Suppose s = 2*s - 3. Solve 0*o + 3*o - l = 3*z, -z + 2*o = -s for z.
-5
Suppose -61*l - 28 = -62*l. Solve n = 2*r - 3 - 0, -3*r - l = 5*n for n.
-5
Let k = -284 - -284. Suppose -d + 2*d = 5. Solve 5*z + d*a = 0, 12 = -5*z + a - k for z.
-2
Suppose 24*s = 533 - 53. Solve 5*f = -0*f - 5*n + 10, s = 5*n for f.
-2
Let v(c) be the first derivative of -2*c**3/3 + 17*c**2/2 - 4*c - 22. Let l be v(5). Solve -3*t + t = 5*p + l, 0 = 2*p - 5*t - 5 for p.
-5
Let u = 886 - 882. Solve d - 4*w = -19, u*d + 21 = 5*w - 11 for d.
-3
Let y(g) = 33*g - 490. Let a be y(15). Solve -5*x + 10 = 5*b, a*x + 4*b = 2*x + 10 for x.
-2
Let x(l) = -20*l**2 + 2*l**3 - 8 + 8 - 3*l**3. Let z be x(-20). Solve -c + 7 = 2*h, z = -5*h + 2*c + 16 + 15 for h.
5
Let p = 671 - 649. Solve 3*j - 11 = 17*u - p*u, u + 4*j = -8 for u.
4
Let x be 28/98 - 74/14. Let l be -6*-4*x/(-30). Solve l*v = -3*j - 21, 3*v + 0 = -2*j - 15 for j.
-3
Let m(l) = -6 + 7*l + 4*l - 8*l + 3*l. Let a be m(1). Solve 4*g - 4*r + 22 - 6 = a, -12 = -3*g - 5*r for g.
-1
Let q = 3 - -2. Suppose -s = -x - 9, x = -s + 3*x + 13. Let f be ((-6)/s)/(6/(-75)). Solve -q*j - f = 5*m, 0*m - 5*j = 4*m + 11 for m.
-4
Suppose -15 = 370*p - 371*p. Solve -5*v - 5*q + p = 0, v = 6*v + 2*q - 12 for v.
2
Let u(z) = -71*z + 4 - 19 + 85*z + z**2. Let i be u(-15). Let o be i*(4 + 44/(-12)). Solve 2*k + 0*k = -2*y, 3*k = o for y.
0
Let q = -713 + 717. Solve 4*n = a + 5, 3*n = 2*a + n + q for a.
-1
Let t = 41 + -18. Suppose 4*k - 3*g = -83, 8*k = 5*k + 3*g - 63. Let l = t + k. Solve 4*r = -l*p + 4, r - 24 = -3*r + 2*p for r.
4
Let m = 253 - 107. Let j = m - 141. Suppose -10 = -r - 5. Solve 0 = r*p - j*o, -o = -p + 5*p + 5 for p.
-1
Let l(i) = i**2 + 23*i - 2*i**3 - 29*i + 3*i**3 + 4. Let y be l(2). Solve q + 2*q - t + 14 = 0, -2*q - 6 = -y*t for q.
-5
Suppose 0 = -2*i - 3*n - 4, 4*i + 0*n - 5*n = 36. Suppose i*t = 4*z + 8, 0*z = 4*z - t - 4. Solve z*h = 3*a - 6*a - 11, 0 = h - 3*a + 1 for h.
-4
Suppose 4*t + 0*t = 12. Suppose t*y - 10 = 23. Let d be (-2)/y - 70/(-22). Solve -3*j = 3*w - d, j + 0*w + 11 = 3*w for j.
-2
Let v = -237 + 257. Solve -2*x - 18 = -5*z, -4*z + v = -0*x + 4*x for x.
1
Let s(d) = d**3 - 4*d**2 + d - 4. Let v be s(4). Suppose v = 2*p - p. Let b(f) = -f + 2. Let u be b(-2). Solve 2*n - 4*n + x - 11 = p, u*n = 5*x - 37 for n.
-3
Let q be (3/1)/(2/8). Let c be (-1)/(1 + q/(-8)). Solve -7*f + 12 = -3*f + c*w, 4*w = 0 for f.
3
Let o be 1/(-4) - (-36)/16. Solve -o*a = q, 4*q + 0 + 24 = 4*a for q.
-4
Suppose r = 3*k - 18, 5*k - 3 = r + 27. Suppose 0 = -k*q + 18. Solve -c = -5*j + 2*c + 26, -3*j = q*c - 6 for j.
4
Let d be ((-20)/(-2))/(4/2). Let g be (-135)/(-25) - 2/d. Suppose -2*q + 2*n + 9 = 3*n, -2*q = -g*n - 15. Solve -q*c = 5*j, 3*c + 11 = 3*j - 19 for j.
5
Let j = 12 - 0. Suppose -j = -3*x - 0*x. Suppose 4*w - x - 4 = 0, -4*z = 4*w - 36. Solve 0 = s - 3, 10 = z*c - 5*c + 2*s for c.
2
Suppose -20*w + 12 + 68 = 0. Solve -5 = -s - 4*d, -w*s - d + 28 = 8 for s.
5
Let z(r) = r + 3. Let y be z(0). Suppose y*h = -5*n + 49, -5*n + n - 2*h = -40. Solve o + n = 4*u - 1, -3*u + 9 = -2*o for o.
0
Let c = -19 - 0. Let u = -16 - c. Solve -i = -2*h + 2, -4*i - u = -3*h - 3*i for h.
1
Suppose -2*f - 3*f + 40 = 0. Let z = f + 17. Let m = 28 - z. Solve 0 = m*p - 3*r + 3, 0 = -6*p + 2*p + 3*r for p.
3
Suppose 523*f + 169 = 536*f. Suppose 3*z + 2*l - 22 = -0*l, 0 = -3*z + 4*l - 8. Solve 0 = 3*k - z*t - f, k = 5*k - t for k.
-1
Let y = 185 + -182. Solve 0*o + 27 = y*o - 4*f, o = -4*f - 7 for o.
5
Let f be (-24 + 28)*(1 + (-6)/(-4)). Solve -4*q + 0*b - 2*b - f = 0, -5*q - b - 14 = 0 for q.
-3
Let m(y) = -y**3 - 4*y**2 + 11. Let w = -102 + 99. Let i be m(w). Solve -v - 3*p = -6*v + 2, -5*v - i*p + 7 = 0 for v.
1
Let s = 21 + -9. Let z be 51/4 + (-6)/8 + 0. Let u = z - s. Solve -q + 2*g + 6 = 0, u*g + 3*g = -5*q - 35 for q.
-4
Let c = 4 - 2. Let a be (-16)/(-14)*(-84)/(-24). Let q be 3/(-6) + (34/a - 4). Solve 0*g - 4*g - 3*l - 8 = 0, -c*l = q*g + 8 for g.
-2
Suppose 0 = b - 3*o - 13, -3*b + 7*b - 25 = 3*o. Suppose -2*n + 16 = 2*n. Solve b*d + n*j = -12, -2*j + 3*j = d - 1 for d.
-1
Suppose 4*i = 2*i. Let k = i - -1. Let d = 12 - k. Solve -2*p - 3*r - 3 - 6 = 0, -d = 3*p + 4*r for p.
3
Let o be 10 + -6*1/2. Let d(b) = 2*b - 10. Let f be d(o). Solve 0 = h - 4*y + 14, -2*h + 3*h + f*y = 18 for h.
2
Suppose 17*f - 5 = 16*f. Suppose q + f*q = 24. Solve -3*u + 26 = q*x, -4*x = -2*x + 5*u - 20 for x.
5
Suppose 5*d + 0*d = 55. Suppose d*x - 10 = 6*x. Suppose -x*l = 2*p - l - 10, -l = -5*p + 11. Solve 5*q + 12 = -p*a + 1, 5*q + 3 = a for a.
-2
Suppose 0 = -13*s + 34 + 5. Solve -5*q - 29 = 4*m, 11 = -2*q + s*m - 4*m for q.
-5
Let n = 158 - 17. Let o = n - 139. Solve 5*u = o*k + 5, -u + 4 = -k + 3*u for k.
0
Let m(w) be the third derivative of w**4/8 + 8*w**3 - 22*w**2. Let c be m(-15). Solve -5 + 14 = 2*n + 3*d, 14 = c*n + 5*d for n.
3
Let k = 603 + -599. Solve -11 = 3*j + 4*f, 4*f + 5 = -j + k for j.
-5
Let p = -239 - -244. Solve 3*x - 3*o - 3 = 0, 2*x + 5*o = p*x - 5 for x.
0
Suppose -38 = -3*g + 70. Solve -k = 5*t + g - 12, 9 = -k - 2*t for k.
1
Let i be ((-1)/(-8))/(16/384). Solve 2*w + 5*j + 1 = 0, -i*w + 4*j = -7 - 3 for w.
2
Let o = 97 - 92. Suppose 5*v = 3*a - 6*a - 4, 0 = o*a + 4*v - 2. Solve -2*p = -2*k + a + 6, p + 4 = -5*k for k.
0
Let q = 3197 - 3186. Solve -4*u = -r - q, 4*u + 6 = 2*r + 12 for r.
5
Let q(h) = h**3 + 15*h**2 + 14*h + 3. Let c be q(-14). Let w = -28 - -39. Solve -r - c*r = 2*u + 2, 2*r - u = -w for r.
-3
Suppose 8*z - 5 = 7*z. Let q be 1*-1*(1 + -1). Suppose 4*k + q*k - 16 = 0. Solve 24 = u + 5*m, z*u + k*m - 20 = -m for u.
-1
Let q be (3 - 3) + 8/4. Solve -s + q*m + 1 = 0, 11 = 2*s + 2*s - m for s.
3
Let x(n) = n**3 - n**2 + 4. Let f be x(0). Suppose 0 = -0*r + f*r. Solve r*g + 3 = a + g, -3*a + 4*g = 5 for a.
1
Suppose 16*a = 17*a - 3. Solve a*v = -r + 17, 0 = -2*v + 3*r - 2*r + 8 for v.
5
Let o be (5 + -2)*(-5)/(-3). Solve 33 = 2*v - o*b, 0*b - 10 = 2*b for v.
4
Let m be (-99)/(-36) - (-2)/8. Suppose 4*h - m*h = 8. Let w = h - 4. Solve 0 = -w*d - 2*q - 0*q + 14, 1 = -d + q for d.
2
Suppose -8 = -3*u - 2. Suppose 2*n + 1 + 7 = 2*k, 8 = 5*k + n. Solve -3*f + 12 = u*m, 4*f - 9 - 5 = -k*m for m.
3
Suppose 4*i + 80 = 4*v + 6*i, 0 = -3*i. Let n be -7 - -2 - (0 - -1