*i = 14 for o.
2
Suppose 12*y - 11*y = 24. Let a = -22 + y. Let w = -1579 + 1580. Solve 3 = -u - 2*m, 0*u = 3*u + a*m + w for u.
1
Let l = -4210 - -4214. Solve -l*k - 23 = k - i, 2*i = -4*k - 10 for k.
-4
Suppose -a + 16 + 3 = 5*r, 0 = 2*r - 3*a - 11. Suppose -3*u + 18 = -w + r, -4*w + 9 = u. Solve i - w = q, 4*i - 2 = 8*q - 3*q for i.
3
Let m be (8/(-10))/((-2)/50). Let p = -32461 + 32461. Solve -o + m = -5*z + 49, p = 3*z + 4*o + 1 for z.
5
Let f(i) = -i**3 - 13*i**2 - 46*i - 78. Let n be f(-9). Solve n*m = 5*j + 9*m + 3, -m = -1 for j.
0
Let q = 297 + -295. Suppose 2*l + 2*r + 3*r = -39, 3 = -4*l + 5*r. Let p be (55/(-35) - -1)/(q/l). Solve y - 4 + 0 = -z, -2*y = -p*z - 8 for z.
0
Let f = 570 + -544. Suppose 23 = -d + f. Solve -l + d = 4*c - 2, 3*l + 13 = 2*c for c.
2
Suppose 5*f + 5*b = -5, -11*f + 16*f - 58 = 4*b. Solve 3*m + 22 = 14*r - 12*r, -m = 2*r - f for r.
5
Let l = -5864 - -5882. Let k(m) = -2*m**3 - m**2 + 1. Let c be k(-1). Solve 5*i + t = l, -t + 0 = -c*i + 10 for i.
4
Suppose -66*s - 33*s + 258 = -13*s. Solve -2*h - 1 = s*y, 3 = -5*y - 2*h + 8 for y.
3
Let q = 10 + -6. Let k(b) = 4*b**2 - 6*b - 16. Let d be k(5). Let w be (-294)/168 - d/(-8). Solve -7*j = -3*s - 6*j - q, 0 = -3*s + 2*j - w for s.
-1
Let j(p) = 6*p + 44. Let s be j(-7). Suppose -15 + 3 = -b - 2*k, -20 = -5*b - s*k. Solve b*n = -5*o + 6*n + 13, n + 17 = 4*o for o.
5
Let t(v) = v - 10*v + v**2 + 20 - v. Let h be t(8). Suppose -2*q + 2*u + 0*u - 10 = 0, -q = -h*u + 20. Solve 2*s + 0*c + 1 = c, 4*s + c - 13 = q for s.
2
Let z(r) = 32*r - 379. Let s be z(12). Suppose -8*o + 10*o - 11 = n, s*n + 19 = -2*o. Suppose 0 = w - 4*w. Solve 4*x + 4*m = 12, w*m - 3*m = -x + o for x.
3
Suppose 0 = -689*p + 660*p + 638. Solve 0 = 4*d - c + p - 19, 4*c + 5 = -d for d.
-1
Let r = 8678 + -8628. Solve -4*x = r*z - 49*z + 20, 5*x - 5*z = -25 for x.
-5
Let g = 535 + -517. Suppose g*p - 6 + 6 = 0. Solve 0*o - 12 = -2*m - o, -m + o + 3 = p for m.
5
Suppose 0*t = -10*t + 3*t - 9*t. Solve 0 = -3*x + 9, v + t = -x + 5 for v.
2
Let y be 48/10*(7/105*115 + -6). Let h = 18 + -11. Solve r - 2*n = -h, y*n - 25 = -5*r + 3*n for r.
1
Let a(u) = -34*u**2 - 35*u + 4. Let s be a(-1). Solve 0 = 2*o + 3*m - 0*m + 5, 5*o + 25 = s*m for o.
-4
Let w be 0 + 51/7 - 8/28. Let b(v) = v**2 - 9*v + 22. Let t be b(w). Let o be (t + -4)*2/16*16. Solve 0*a = -3*a + 3*u + 3, 0 = 2*a + u - o for a.
3
Let d(t) = 64*t - 1728. Let o be d(27). Solve -5*a - 3*j + 5*j = -13, 5*j + 20 = o for a.
1
Let h be 0/(63/9 - 6). Solve s - 4 = -4*s - 3*u, h = 3*u - 9 for s.
-1
Suppose 133*y - 134*y - 11 = -5*g, 3*g + 3*y = 3. Solve -g*p - 2*p - 2*i = 2, p + 5*i - 4 = 0 for p.
-1
Suppose -6*v - 4998 = 8*v. Let i = 361 + v. Solve 0 = b, -16 = -i*d - 0*b + 4*b for d.
4
Let m be (3 + -3)/(23 - 483/23). Solve m = 3*x - 3*n, -3 + 5 = 5*x - 4*n for x.
2
Suppose -95*b + 97*b - 2 = -4*r, 0 = -b + 4*r + 13. Solve -7 = -2*a - b*u, -u - u = 5*a - 7 for a.
1
Let y be -3*((-4)/(-10) + (-16)/15). Solve -3*d - 12 = 3*t, 4*d + y = 3*t + 7 for d.
-1
Let g = -1 + -4. Let m(u) be the second derivative of u**4/6 + 11*u**3/6 + 10*u**2 - 8*u + 6. Let n be m(g). Solve -2*z = z - 3*x - 9, z = -5*x + n for z.
5
Suppose -6 = -2*w + q, 5*q = q. Suppose w - 33 = -10*k. Solve 0 = 2*n + 3*n + k*b - 3, -4*n = -4*b + 4 for n.
0
Let x(r) = -2*r**3 + 7*r**2 + 36*r - 116. Let z be x(4). Solve -16 = -4*g - h, 15*g - z = 12*g + h for g.
4
Suppose -12*n + 39*n - 90 = i, -14 = -i + n. Solve 2*f = -3*m + 17, 3*m - 3*f + i = 15 for m.
3
Let x(t) = 20*t - 93. Let j be x(6). Suppose -15*v = 17*v - 64. Solve -w + j = 5*d + 4, 4*d - v*w = 24 for d.
5
Let i be 8 - (-1)/1*-1. Let r = 4804 + -4704. Suppose -12*k = -i*k - r. Solve 2*h + 8 = 5*q + 33, -4*h + k = 0 for q.
-3
Suppose 0 = 5*l - 18*l + 2*w + 140, 3*w + 35 = 2*l. Solve 4*y - 9*y + 13 = x, l = x + 4*y for x.
-2
Let r = 785 - 750. Solve 3*h - r = 4*s - 0*h, 0 = 3*s - 5*h + 40 for s.
-5
Suppose 0 = 88*w + 32*w - 480. Solve 0*d - 3*s = -d + 4, 0 = -d - 4*s + w for d.
4
Let z = 4811 - 4810. Solve 3*p = -2*r + 14, -9 = -2*r - p + z for r.
4
Let m be 30/12 - 6/(-4). Solve -x = m, d + 4*x = 6*x + 5 for d.
-3
Suppose 12 = -3*t, 4*p + 1 = -4*t + 5. Suppose 7*s = p*s + 4. Suppose -4*g + s + 2 = -4*a, -2*g + 18 = 2*a. Solve -4*m = -3*o - 4, 5*o - a*m = o for o.
4
Let h be 110/25 + (-4)/10. Let v be (-52)/(-18) + -5*(-3)/135. Solve -v = h*i + 5*p, i + 4*p + 3 = 5 for i.
-2
Let r be (-1)/((1 + -5)/(-796)). Let m = 21 - r. Suppose 12*j = j + m. Solve 3*n - 4*k - j = 8, 0 = -4*n - 4*k for n.
4
Let j(z) = z**3 + 9*z**2 - 23*z - 8. Let a be j(-11). Suppose 0 = n - a*p - 17, 0 = -7*n + 5*n + p + 14. Solve -3*g + 25 = 2*i, -6*i + n*i + 5*g = 20 for i.
5
Let x be (42/(-24))/((-12)/48). Solve 9*t = 13*t + 3*d - 11, -x = -2*t - d for t.
5
Let f(b) be the first derivative of 7*b**2/2 - 11*b + 29. Let g be f(3). Let d be (4/g)/((-3)/(-15)). Solve 5*h - 4*w = -3, 10 = -h - d*w + 1 for h.
-3
Let m = 8 + -11. Let v be (-1)/m - (-2 - 6/(-18)). Let o be ((-1)/2 + 15/10)*v. Solve -j = -3*y + 3*j + 32, -2*y + o*j = -18 for y.
4
Let j = -4 + 4. Suppose j = u + 2*u - 18. Suppose 16 = 2*d + u. Solve s = 4*m + 1, -5*s = m - 21 - d for m.
1
Suppose 9*b + 3*b = -2*b. Suppose 0 = -17*l - b. Suppose 5*n - 11*n + 78 = l. Solve -3*k = -4*z + n, -2*k - 3*z = -0*k + 3 for k.
-3
Let d(g) = g**2 + g**3 + 8 - 862*g - 3 + 832*g. Let c be d(-6). Solve 0 = -k + c*p - 9, -2*k - 7 = -k - 4*p for k.
1
Let g = -402 + 418. Solve 2*c - 5*i - g = 0, 0 = 4*c + 4*i + 7 + 17 for c.
-2
Suppose 2*s + 24 = 6*s. Suppose s*n = 14*n - 48. Suppose -x = 5*x + n*x. Solve -5*t = -4*d + 17, -3*d - 21 = -x*d + 3*t for d.
-2
Let j(s) = 4*s + 30. Let a(r) = r + 10. Let x(u) = -21*a(u) + 6*j(u). Let i be x(9). Let l be (-2)/((8/i)/4). Solve 2*k + 1 = l*c - 6*c, 24 = 3*c - 3*k for c.
3
Let j = 1916 - 1911. Solve -9 = 3*f + j*p - 4*p, -4*f - 12 = 4*p for f.
-3
Let y = -3050 + 3063. Solve 0 = -12*s + 4*o + 44, -8*o + y = -s - 11*o for s.
2
Let v = -2 - 12. Let h = -9 - v. Let p be 0 + 35/h - 4. Solve -6*g - 5*z = -2*g + 2, -4*g - p*z = 6 for g.
-3
Suppose -8 + 3 = -c. Let h be (10 - (8 - c)) + 5. Solve 5*y = 5*s - 27 + 7, 3*y = 5*s - h for s.
0
Suppose 3*o + 0*g - 4*g = 6, -3*g = -2*o + 3. Solve 5*s - 30 = 5*q, -2*s + o = -4*q - 10 for q.
-2
Let u(x) = 41*x + 131. Let d be u(-3). Suppose -45 + 21 = -d*w. Solve -2*q + 5 = -w, v = 5*q - 15 for v.
5
Suppose 0 = -44*f + 177 + 43. Solve -4*s = 24*v - 21*v - 20, 30 = 5*s + f*v for s.
2
Let n(z) = 5*z**2 - 8*z - 10. Let g be n(-1). Solve g*p - 2 = -0*p - f, -5*f = 20 for p.
2
Let v = 5093 + -5091. Let s(t) = t**3 + 4*t**2 + 2*t + 2. Let k be s(-4). Let c be -3*(1 - (-10)/k). Solve -c = 3*u - v*u + 2*d, 2*u + d + 7 = 0 for u.
-4
Suppose 22*w - 4*f = 21*w - 7, -w = 5*f - 56. Solve 4*u + 9 - w = -4*v, -3*u = v - 3 for v.
3
Let z = -304 + 320. Let o(w) = w**3 + 44*w**2 + 81*w - 121. Let a be o(-42). Solve 5*u + 7 = -3*c - a, -4*c - z = -2*u for c.
-4
Let w be (-4)/(-14) + (-2)/7. Suppose -2*x = 8, -447 = 2*r - 2*x - 499. Solve 5*c = -w*c - 5*q + 25, -r = -2*c - 5*q for c.
1
Let i be ((-7)/21)/((-1)/159). Let b = -99 + i. Let x = -38 - b. Solve 4*g - g = -2*f + 7, 0 = 2*f - 2*g + x for f.
-1
Suppose 4*g = 7*g. Suppose -2 = -2*p, n + 4*n - 4*p - 6 = g. Suppose c + n*c = -4*f + 27, -5 = -c. Solve 2*z + f*z + 17 = -2*j, -2*j = -z - 13 for z.
-5
Let j(h) = h**2 + 4*h + 3. Let u be j(-4). Suppose i - u = -0*i. Let d be 3 - 0*(-2)/4. Solve -d*y + 2*f = i, -4*f = 5*y - 11 - 6 for y.
1
Suppose 33*a + 28 = 38*a + p, 0 = -3*p + 9. Solve 14*v - a*o = 10*v - 18, -4*o + 16 = -4*v for v.
-2
Let r(p) = -p**2 + 13*p - 7. Let i be r(10). Let y = i - 46. Let z = -19 - y. Solve 1 = z*k + 2*n + 17, -4*n = -5*k - 20 for k.
-4
Let v(y) = -12*y + 23. Let o be v(10). Suppose -14*q - 1087 - 327 = 0. Let t = o - q. Solve a + t*a = -3*n - 16, 0 = -4*a + 5*n + 2 for a.
-2
Let o(k) be the third derivative of k**5/60 + 5*k**4/24 - 29*k**3/6 - 20*k**2 + 1. Let q be o(-10). Solve -3*r + q - 4 = 4*y, 0 = -y + 2 for r.
3
Let v = -18 - -18. Let o = -31 - -33. Suppose -7*y + 23 = o. Solve -y*m = g - 15, -g + 4*m - 20 = -v*g for g.
0
Let f = -230 + 426. Let x = f - 191. Solve -5*m = x*j - 8 - 7, 10 = 5*j for m.
1
Suppose 5*f - 54 = 2*f + d, -5*d = -5*f + 80. Solve 3*k + 12 = 2*n, -f*k + n