 = -10*k + 10 for k.
2
Let l be -71 - 2 - (-15)/5. Let x = 78 + l. Suppose -x*m = -6*m - 10. Solve 25 - m = 5*s for s.
4
Suppose 680*i - 239 = 668*i + 253. Solve 0 = -i*v - 136 - 28 for v.
-4
Let d(h) = -h**2 - 14*h - 38. Let p be d(-6). Let o(f) = -3*f - 4. Let g(z) = z - 1. Let t(w) = 6*g(w) + o(w). Let n be t(p). Solve 5*l + n = -0*l for l.
-4
Suppose 4*n = -4*g - 8 + 108, 0 = 5*g - 5*n - 135. Suppose -16*o + g = -22. Solve -o = 4*d - d for d.
-1
Suppose 5*j = 2*n - 384, 4*n + j - 243 - 547 = 0. Suppose -190 = y - n. Solve 0 = -y*v - 4 - 10 for v.
-2
Let t(l) be the first derivative of l**4/4 - 22*l**3/3 - 25*l**2/2 + 50*l - 57. Let g be t(23). Solve 5*p = 4*p + g for p.
4
Let x be (644/18 + 30/135)*(-9)/(-4). Solve 9*t = -0 + x for t.
9
Let c = -5067 - -5117. Solve c*s + 20 = 40*s for s.
-2
Let c be 5/(-21)*3 - 2/7. Let b(s) be the third derivative of -s**4/24 - s**3/6 + 3*s**2. Let z be b(c). Solve z*y = 5*y for y.
0
Let t(w) be the second derivative of -2*w**3/3 + 63*w**2/2 - 2*w - 5. Let j be t(14). Solve 0*s = -j*s - 21 for s.
-3
Let l be (197 + -223)/((2/3)/(-1)). Solve -17*s + 66 = -l*s for s.
-3
Let y(z) = 3*z**2 + 86*z - 63. Let i be y(-31). Solve -136 + i = 6*g for g.
3
Suppose 2*i + 5*y = -5, -358*i + 2*y + 30 = -356*i. Solve -45 = -i*c - 5*c for c.
3
Let y be (0 - -211) + -2 + 7 + 0. Suppose -225*n + y*n + 45 = 0. Solve -n*v = 1 - 6 for v.
1
Let t be -27*(-8)/12*6/4. Suppose -20*h + t*h = 91. Solve 0 = p - h + 15 for p.
-2
Let m be 2*-1*-4*20/16 + 3. Solve -m*r - 5*r + 18 = 0 for r.
1
Suppose 49 = 7*l - 0. Suppose -4*n - 5*r + l*r + 14 = 0, -2*n - 4*r + 12 = 0. Solve -n*z = 1 - 5 for z.
1
Let y(s) = -4*s**3 - 4*s**2 + 4*s - 1. Let a(g) = -g**2 + g. Let m(n) = -4*a(n) + y(n). Let u be m(-1). Solve -u*c = c for c.
0
Let i(o) = 5*o**2 + 46*o + 35. Let b(j) = -j**2 - 12*j - 9. Let s(c) = 9*b(c) + 2*i(c). Let v be s(17). Solve -v + 4 = 2*f for f.
-1
Let q be 0*(3 + 96/(-30)). Suppose 5*w + 5 = -j, -2*w = 2*j - 6 + 32. Let i = -12 - j. Solve q*d = i*d - 12 for d.
4
Let y be 10/(-15)*-54*-3. Let v(x) = -11*x + 28. Let c be v(12). Let l = c - y. Solve 0 = -l*u + 2*u - 2 for u.
-1
Let c(s) = s**3 + 6*s**2 - 16*s - 93. Let v be (2/3)/(200/(-48) + 4). Let p be c(v). Solve 4*q - 2 = p*q for q.
2
Suppose -9*d - 12 = 15. Let o be -4*(-27)/(-48)*8/d. Solve 0 = y - o + 11 for y.
-5
Suppose -2*s - 24 = -5*j - s, -2 = -2*s. Suppose -j*d - d = -30. Suppose 9*q - 14*q = -d. Solve 0 = -2*t - q - 9 for t.
-5
Let x = -129 - -129. Suppose -2*g = u + 47, 3*u = 2*g - u + 52. Let c = -20 - g. Solve x = 2*h - 0 - c for h.
2
Suppose -4*y + 5*p = -318, 0 = 3*p + 23 - 5. Solve 61*a = -11*a + y for a.
1
Suppose -5*u - 4*r = -4, -3*u + 2*r - 1 = 1. Let t(n) = -n**2 - 19*n + 2. Let x be t(-19). Let s be (7/(-28))/(3/(-12)). Solve u = -x*p - 3 + s for p.
-1
Let i be ((-14)/(-5))/((-36)/(-90)). Suppose -4*h + 4 = -3*o, h = -3*o + 9 + i. Let p(b) = -3*b + 6. Let q be p(2). Solve q*x - 20 = -o*x for x.
5
Suppose -4*a + 9 = y, 1260*y - 1 = 5*a + 1263*y. Solve a*x = 11*x + 42 for x.
-6
Let u = -5132 + 5128. Let t(p) = 0*p - 4 - 2*p - 3. Let l be t(u). Solve 5*z + 6 = l for z.
-1
Let j be 1026/152*60/9. Solve 48*l + 6 = j*l for l.
-2
Suppose g - 92*s - 54 = -87*s, 2*g = 3*s + 101. Solve -g*q + 23*q = 78 for q.
-3
Suppose -3*o - 4*w = -394, 0 = -3*o + 4*o - 2*w - 128. Let z = o - 109. Solve 15 - z = -2*f for f.
3
Let b = -3148 - -3158. Solve 2 = -6*f - b for f.
-2
Let i(o) = o**2 - 76*o - 412. Let m be i(-6). Solve -m*w = -73*w + 21 for w.
-3
Let o = 19 - 19. Let c be ((-165)/6)/(-1) - 2/4. Suppose c = 6*n + 3*n. Solve -n*t - t = o for t.
0
Suppose 2*y - 3*f - 51 = 0, 5*y + 3*f + 114 = 10*y. Solve y = -19*m - 2*m for m.
-1
Let l be 42/10*(-42030)/(-3269). Solve 453*z - 462*z - l = 0 for z.
-6
Suppose o + n = 193, -n = 11*o - 6*o - 981. Suppose -206*k = -o*k - 162. Solve 0 = 7*p - k - 10 for p.
4
Let u = -104 - -140. Suppose 14*d = 148 - u. Solve 4*p - d = 8*p for p.
-2
Suppose 78 = 6*l + 18. Suppose -8*t + 5*t = -l*t. Solve t*d = 3*d + 12 for d.
-4
Let b be 3/6 + 1 + (-753)/6. Let s = -79 - b. Solve -17 + s = -7*h for h.
-4
Suppose 0 = 2*z + 3*v - 102, 4 = 2883*v - 2884*v. Solve 3*o = -16*o - z for o.
-3
Suppose -4*y - 489 = -6*y - 3*r, -465 = -2*y + 5*r. Let o = -239 + y. Solve -o = 5*n - 6 for n.
1
Suppose 41*s - s - 696 = -56. Solve -18*w + s = -22*w for w.
-4
Suppose -3*g + 6*g = -5*g. Suppose -4*z = l - 8 - 2, 4*z - 4*l = g. Solve -5 = z*f + 5 for f.
-5
Let k = -82 - -89. Let x(o) = -6*o - 2. Let t(j) = 20*j + 6. Let g(l) = k*x(l) + 2*t(l). Let h be g(-2). Solve -v = -1 + h for v.
-1
Let j(k) be the second derivative of k**5/20 - 3*k**4/4 + 2*k**3/3 - 21*k**2/2 + 20*k. Let f be j(9). Let q = -237 + 239. Solve x = -q*x + f for x.
5
Suppose -7 = -2*t - 3*v, v = -t + 2*v + 1. Suppose 2*n + t - 1 = -3*p, 2*n + 2*p - 4 = 0. Let l be 5/(3/(-4) - n/(-4)). Solve 3*b - 7 = l for b.
4
Let v(t) = 2*t**3 + 26*t**2 + 78*t - 13. Let m be v(-8). Solve -1523 = m*r - 1544 for r.
7
Let q(o) = 8*o**2 + 7*o + 14. Let y(j) = 5*j**2 + 8*j + 15. Let n(i) = 2*q(i) - 3*y(i). Let h be n(12). Solve 2*b - h = -5 for b.
1
Let o = 4145 + -4057. Solve -5*p + o = 17*p for p.
4
Suppose -5*a + 20 = 5*q, 2*q - 16 = -2*q + 4*a. Let k(g) = 3*g + 1. Let p be (3 - 7)/4 - 1*-2. Let m be k(p). Solve 2*b - q = m*b for b.
-2
Suppose -3*b - 932 = -23. Let m = b - -305. Solve -28 = -5*v - m*v for v.
4
Let o(k) = -6*k + 192. Let t be o(-33). Let w be 9*(8/18 + t/135). Solve w - 55 = -5*q for q.
5
Let n = -5354 - -5367. Solve 0 = 34*x - 157 - n for x.
5
Let a = -1487 - -966. Let g = 525 + a. Solve 2*j + 6 + g = 0 for j.
-5
Let x = -6 - -18. Suppose 0 = 8*b - x*b. Suppose -v - 4 + b = 3*s, 6 = -v - 4*s. Solve f - v = -0*f for f.
2
Suppose 1 - 35 = -5*o + 4*y, y = 2*o - 13. Solve -16 = -5*v - o for v.
2
Suppose 7*t + 0*t - 28 = 0. Suppose t*s - 12 = c, -4*c + 0*c = -3*s + 22. Solve -s*h - 10 + 2 = 0 for h.
-4
Let i be (-5 + 2 - 2) + -58. Let z = 55 + i. Let a be (9 + -13)*2/z - 1. Solve -3*s - 12 = -a for s.
-4
Let v = -16994 - -17330. Solve v = 61*c - 13*c for c.
7
Let n be ((-9)/4)/((-60)/880). Suppose 8*a - n = -25*a. Solve -4*p + a = 17 for p.
-4
Suppose -65*l = -1595 - 4580. Solve l - 300 = -41*b for b.
5
Suppose 0 = 12*p - 45*p + 14*p + 1064. Solve 24 = -p*x + 62*x for x.
4
Let r = -222 - -225. Suppose 12 = 2*z - 4*s, r*s + 18 = -5*z + 8*z. Solve 0 = -z*b - 9 + 27 for b.
3
Let g = -20015 - -24867. Solve -g = 10*z - 4772 for z.
-8
Let p(r) = r**2 + 9*r + 21. Let f be (-1)/(-4)*0 - (-12)/(-2). Let k be p(f). Solve k*h + 6 + 3 = 0 for h.
-3
Let s(c) = 2*c**2 + 9*c + 5. Let r be s(-5). Suppose 13*n = r*n - 13*n. Solve n = -2*y + 7*y - 10 for y.
2
Suppose -9 = 3*j, 166*j - 91 = -4*k + 171*j. Solve -25*t + 30 = -k*t for t.
5
Let k(x) = -x - 37. Let j(y) = -5*y - 147. Let d(o) = -2*j(o) + 9*k(o). Let v be d(10). Let r = 31 + v. Solve -2*w = -0 + r for w.
-1
Let a = -6862 - -6910. Solve 57*i + a = -9 for i.
-1
Suppose -688 = 443*q - 2903. Suppose 2*r + 2*a - 6*a - 10 = 0, -4*a + 95 = 5*r. Solve 0 = -q*c - 0*c - r for c.
-3
Let c be (-2938)/(-26) + (-1 - 12). Solve 0 = -3*l + c - 91 for l.
3
Suppose 88*o - 72 = 84*o - 2*q, -4*q = o + 3. Solve -28*s = -o*s + 7 for s.
-1
Let g = -7 + 11. Let u be (g/(-10))/((-2)/20). Let x be (9/((-189)/6))/(4/(-28)). Solve -u*s - x = 2 for s.
-1
Let c(w) = w**2 + 10*w + w**3 - 12*w**2 - 2 - 20*w. Let p be c(12). Solve 30 = -p*u + 7*u for u.
-2
Let h = -71 + 73. Suppose 3*y - 3 = -21*y + 45. Solve -8 = -h*z - y*z for z.
2
Let c = 104 - 100. Suppose -5*d = -3*m + 4, -c*d = -3*m - 2*m + 11. Solve m*u = -3*u - 6 for u.
-1
Suppose -9*l + 25*l - 2256 = 0. Suppose 0 = 35*n - l - 69. Solve -3*r - 15 = -n*r for r.
5
Let i(s) be the third derivative of 5*s**4/24 - 25*s**3/6 + 12*s**2. Let f be i(5). Let a be f*5/(30/(-3)). Solve a = -m + 5*m for m.
0
Let l = -491 + 493. Suppose -20 = -6*a - l. Solve a*r - 4*r = -2*r for r.
0
Let f be 4/10 - (2 - 624/65). Let i be 2/f + (-3468)/(-272). Solve -1 = 14*t - i*t for t.
-1
Let o(d) = -d**2 + 4*d - 1. Let c be o(3). Suppose -8*p + 17 = -15. Let y be (-74)/(-14) - (p/14 + 0). Solve -y = -c*r + 3 for r.
4
Let j be 6*((-8)/28)/(8/(-14)). Let n(g) = -4*g - 2 + j*g + 0*g - g. Let m be n(-5). Solve -3*a - 4 = m for a.
-4
Let x be 5*(272 - 21) - 26. Sol