ve -2*b + o = n, 2*b - 1 = -5*n + 24 for b.
0
Suppose 0*z = 3*z - 9. Suppose 4*m = -z*n + 37, -5*n - 2*m + 50 = -7*m. Let d be n/3 - 26/39. Solve -2*k + 6 = -4*o, 2*k = d*o + k + 5 for o.
-2
Let n = 30 + -26. Let j(y) = -y**3 + 5*y**2 - 2*y. Let q be j(n). Solve -2*l = 3*m + q, 8 + 0 = 4*l for m.
-4
Suppose -2*z = -5*v + 60, 2*v + v + 5*z - 5 = 0. Let f be (-2 + 90/25)*v. Solve -4*q = -4*i - f, -5*i = -5*q + 4*q + 12 for q.
2
Suppose -3*m = -c + 4, 20 = 2*m + m + 5*c. Let f be 1/(-2*1/(-6)). Suppose -t - f*t + 12 = 0. Solve -o = 5*y - 10, m = -4*o + t*y - 1 - 28 for o.
-5
Let t(d) = 2*d - 6. Let p be t(7). Let r be 286/78 + 1 + (-4)/6. Suppose c - r = -c. Solve 0 = -c*w + 2, 5*b = w - 4*w + p for b.
1
Let w = 51 + -45. Suppose -5*t = -7*t + w. Let a = -7 + 7. Solve 2*n - t*f = -2*n - 15, a = -n + 4*f - 7 for n.
-3
Let t = 12 + -10. Suppose -16 = -4*o - b, 5*o - 28 = -5*b - 8. Solve -z = 5*i + 15, -2 = -t*z + o*i - 4 for z.
-5
Suppose -2*i = 4*b - 104, 3*b + 29 = 4*b - i. Suppose -f + 4*h + b = 0, -3*h + 0 = f - 6. Solve -6*j = z - 2*j + 9, -2*j = -3*z + f for z.
3
Suppose -2*o = q - 43, 3*o + 4*q + 12 - 74 = 0. Let r be ((-33)/(-22))/(3/o). Let l(z) = 3*z + 2. Let i be l(2). Solve i*j + r = x + 3*j, -x + 8 = -4*j for x.
-4
Let l = -11 + 22. Suppose 5*f - 26 + l = 0. Let y be 20/6 + 2/f. Solve -5*d = -y*c - 16, -3*d + 2*c - 16 = 6*c for d.
0
Suppose -c = -5, -h + 4*c = -5*h + 40. Suppose 15 = h*s - 3*t, -2 - 1 = -s + 2*t. Solve 0 = 5*m + 5 - 15, s*m = -4*l - 14 for l.
-5
Let m(n) = 23*n - 205. Let u be m(9). Solve -x = -4*y - 11, x + y + u = 3 for x.
3
Suppose -s - 16 = -2*s - 4*z, -3*s = 3*z - 12. Suppose -2*l + 5 = -j - 3, -j = 2*l - 12. Solve -l*w + 3*r - 13 - 15 = s, 14 = -2*w + 4*r for w.
-5
Let q = -113 - -51. Let u = -41 - q. Solve -4*d - u = -3*j, -1 + 10 = 3*j for d.
-3
Suppose 12*t = 17*t - 10. Solve 8 = t*v - h, 3*h + 6 + 0 = 0 for v.
3
Let z(a) = a**2 - a - 9. Let m be z(-3). Solve 5*j + 15 = 4*c, j = 2*c + c - m for c.
0
Suppose 6*m - 10 = 4*m. Suppose -4*x + 26 = m*i, -2*i - 4*x - 7 = -27. Solve -g = 3*f - 2 + 6, 16 = -2*f + i*g for f.
-3
Let v(u) = -5*u + 65. Let g be v(12). Solve -3*c + 21 = -2*c - 5*p, g*c - 2*p + 10 = 0 for c.
-4
Let a be (-24 - 4)/4 - -1. Let r be (-5 + 26)*(-4)/a. Suppose 2*n - 12 + 4 = -3*b, -4*n - 16 = -2*b. Solve -5*y - 3*o = 16, b*y + o + r = -o for y.
-5
Let t(m) be the third derivative of m**6/120 + m**4/24 + 4*m**3/3 + 3*m**2. Let r be t(0). Solve -r = -c + 2*c - 3*g, 5*c - g + 12 = 0 for c.
-2
Let i be (-15)/5 - -5 - (50 + 1). Let y = -45 - i. Solve y*c - 1 = -3*u, -4*u + 0 = c + 16 for c.
4
Suppose -58*s = -s - 570. Solve 2*t - s = 0, 3 + 5 = -4*p + 4*t for p.
3
Let s be (3 + -3 + -5)/((-15)/3). Suppose 2*k + n = 7, n = 5*k - 1 - 6. Let t = k - 2. Solve j + s = 3*c + 3, t = 3*c - 3*j + 12 for c.
1
Let h(m) = -m**3 + 2*m**2 + 4*m. Suppose 3*o - 29 = -4*s, -o - 2*s + 7 = -2*o. Let i be h(o). Solve -2*x + i = z, 2*z + 0 + 1 = 3*x for x.
1
Let i(k) = -k - 1. Let z be i(-6). Let b(f) = -5*f - 10*f + 16*f - 1. Let u be b(6). Solve 1 = -2*o + z*w, -w + 14 = -u*o - 0*o for o.
-3
Let b(y) = y**2 - 5*y + 2. Let x be b(0). Solve -3*i + 4*t = x*i - 26, -2*t - 18 = -5*i for i.
2
Let t be 6 + 836/(-988) + (-4)/26. Solve 19 = 2*j - t*o, -2*j - 4*o + o = 21 for j.
-3
Let p be (-1)/(-8) + 10 + 45/24. Solve -5*l = -i + 1 - p, 3*l - i - 5 = 0 for l.
3
Let c(s) = s**2 - 5*s + 4. Let u be c(4). Suppose u = 5*i - 4*i - 5. Let k = 16 + 3. Solve 0*j + 2*t = -j - 1, -i*j - k = 3*t for j.
-5
Let i = 8 + -3. Solve -2*f + 15 = 5*b - i*f, -5 = -2*b + f for b.
0
Let x = -17 + 19. Suppose -3*n - 70 = x*k, -k = n - 2*n - 15. Let w = 22 + n. Solve 0 = 2*z - w*a, -6*z = -4*z + 2*a + 4 for z.
-1
Let c = -2 - -4. Suppose -c*o + 7 - 1 = 0. Suppose 0 = 2*l - u - o - 2, 4*l - 3*u - 15 = 0. Solve l = -5*n + j + 3*j + 17, 4*n - 30 = -5*j for n.
5
Suppose -5*i = 2*f + 5, f - 11*i - 14 = -8*i. Solve -4 + f = -u - j, 4*j + 12 = 4*u for u.
1
Suppose 0*k + 54 = -3*k. Let x = k + 21. Let l(q) = q**2 - 2*q - 1. Let g be l(x). Solve -2*s - 9 = -5*i, 11 = 5*i - s - g*s for i.
1
Suppose 4*m = 75 - 27. Suppose -9*k + 43 + 29 = 0. Let c = m - k. Solve 5 = 5*l, -5 = -c*b - 0*b - 5*l for b.
0
Let l be 4/(-16) + (1 - 3/4). Solve l*r + 2*r = f - 8, -5*f = -5*r - 20 for f.
0
Suppose -12*i - k + 6 = -10*i, 0 = -3*i - 3*k + 12. Solve 0 = -r + i*s - 6, 2*r + 2*s = r + 6 for r.
0
Let m(h) = -h**3 + 8*h**2 - 14*h + 1. Let t be m(5). Solve 4*y = 5*v - t, -7*y + 3*y - 22 = 3*v for v.
-2
Let q be (1/2 + 1)*-2. Let k be (-1)/((12/(-132))/(-1 + 2)). Let i = k + q. Solve 5 = -5*b + 5*f, 3*b - 5*f + i = -f for b.
4
Let k be 2/(0 - (-8)/12) - -2. Suppose 5*a = 70 - k. Solve 0 = 2*h - i + 9, 5*i - 2 = -4*h - a for h.
-4
Let f = -29 - -22. Let t be (2 + -1)/(f/(-70)). Solve -3*h = -l - t, -2*l + 5*l = -5*h + 12 for h.
3
Let p = -6526 + 6533. Suppose 0 = f + o - 7, -2*f - o - 47 = -7*f. Solve 0 = -3*n + u - p, -f*n - 4*u = -4*n + 6 for n.
-2
Suppose 4*w = 5*w - 3. Suppose -15*h + 40 = -7*h. Solve 3*f - 16 = 4*o, -2*o - w = f - h for o.
-1
Suppose 5*j + 90 = 5*f, -3*f + 8*f = -4*j + 72. Let q = f + -15. Solve -q = b - l - 6, 5*b = -l + 1 for b.
1
Suppose -25 = -11*t + 19. Solve -2*o + 0 = -2*a - t, a = 3*o + 2 for a.
-4
Let h be 3 - 3 - (-13 + 9). Solve -4*r + 8 = 3*u, -u = 2*u - h*r + 8 for u.
0
Let g be (-1)/3*-18 - 3. Let a(d) = -5*d. Let k be a(-2). Solve -15 = -5*y + l, g*l - l = -k for y.
2
Suppose -4*u + 161 = 33. Let m = -30 + u. Solve -4*y = -g + 5, m - 4 = -2*g + 4*y for g.
-3
Let t(p) = 8*p + 3. Let c be t(0). Solve 6 = -w + c*f, -w - f + 10 = 4*f for w.
0
Let q(o) = o**2 - 9*o + 13. Let h = 12 - 4. Let x be q(h). Solve u + 1 = 4*w - 6*w, 4*w = -x*u - 17 for u.
-5
Let s(w) = 2*w - 12. Let z be s(10). Suppose 5*g + u - 7 = 2*u, g + 2*u - z = 0. Solve 10 = -4*p + g*c, 2*c + 4 = 6*c for p.
-2
Suppose f - 2*a = 7, f + 3*f = -a + 10. Solve 0 = -5*o - 4*l + 6*l + 15, f*o + 3*l - 9 = 0 for o.
3
Let j = -13 - -17. Let n be 49*2/j*2. Let o be 16/7 - 14/n. Solve 0 = -4*i + 3*k + 24, 0 = -o*i - 2*i - 2*k + 4 for i.
3
Let r be 1/2*(-7)/(28/48). Let y be (0 - -18) + (r - -7 - 1). Solve -2*j + 9 = 2*d + j, 5*d = -3*j + y for d.
3
Let r = -7 - -30. Let v = -20 + r. Suppose -2 = v*t - 4*t. Solve -5*d + 1 + t = o, -4*o - 3*d + 12 = 0 for o.
3
Let n(y) = y**3 - 6*y**2 - 6*y - 3. Let s be n(7). Solve s*v + 2*d = -16, -2*v + 3*d = d - 4 for v.
-2
Let v be 6/15 + 702/45. Suppose -5 = -0*b + b, 3*l = 2*b + v. Suppose 3*a - 3*w = 51, -4*a + 5*w - 3*w + 60 = 0. Solve -5*c - 12 = a, 0 = l*x - 4*c - 16 for x.
-2
Suppose -153 = -4*k + 63. Let x be (2/9)/(6/k). Let j = -11 + 33. Solve b + 2*i + 3*i = -j, x*b - 3*i = 21 for b.
3
Let i = -844 - -858. Solve -2*r - i = -2*s, s + 3*r = 6*s - 31 for s.
5
Let j(v) = 2*v**2 + v**2 - 14*v - 4*v**2 - 23. Suppose 196*q - 206*q = 100. Let a be j(q). Solve -a = 5*l + 3*w, 4*w + 17 = -l - 0*l for l.
-1
Let f be (-9)/((-9)/14) + (-2 - -2). Solve 4*g + 3*p = 18, -4*g - 3*p + 2*p = -f for g.
3
Let r be (-2)/((-1)/(-12)*-3). Suppose -5*g - 60 = -r*k + 3*k, -2*k + 3*g + 21 = 0. Solve 0 = 4*d - 5*b + k, d + 18 = -2*d - 3*b for d.
-5
Suppose 7*y - 11 - 3 = 0. Let b be -6*(-3)/18*(y + 0). Solve 4*o = -4*r + 24, -3*r - b*o + 9 = -4*r for r.
1
Let z = -27 - 39. Let m = -49 - z. Suppose -7*k + 3*k - 2*s + 18 = 0, 3*k = -5*s + 31. Solve -m = -3*y - 4*a, k*a - 6*a = 5*y - 15 for y.
-1
Let c = 1 - -4. Suppose c*d - 9 = 2*d. Suppose 0*l + 4*l + 3*t = 7, l = d*t + 13. Solve y + l = 0, -j - 3*j = -y + 8 for j.
-3
Let d be (-1 - -7)/(-2)*1. Let v = d - -1. Let r = v - -7. Solve 0 = r*s + m + 6, 0*s - 3*m + 14 = -s for s.
-2
Let v(u) = -u**3 - 3*u**2 + 3*u - 3. Let g be v(-4). Let o be 9/(-2)*(-20)/6. Let m = 19 - o. Solve -2*h - 5*l + 7 = -g, -2*l - m = -h for h.
4
Suppose 7*k + 955 = 192. Let d = -104 - k. Solve -v = -3*w - 17, v = 6*v - d*w - 35 for v.
2
Suppose 13 - 1 = 3*j. Let w(c) = 4*c + 2. Let i be w(-2). Let t = i - -8. Solve -j*x - 5*n + 15 = 0, 17 = 2*x + 5*n + t for x.
0
Let p be -6 - (1/3)/(23/(-1863)). Solve 2*j = 8*b - 3*b + p, -26 = 3*j + 4*b for j.
-2
Let w = -1792 - -1795. Solve x = -0*l + l - 4, w*l = -3 for x.
-5
Let v = 74 - 73. Solve -2*h - 5*f + 20 = 0, v = 3*h + 4*f - 15 for h.
0
Let l = -9 + 12. Suppose l*y - 5*v - 37 = 0, 4*y - 65 + 1 = 3*v