-7 = -l*v + i*v for v.
-1
Let t(b) be the third derivative of -1/3*b**4 + 11*b**2 + 0*b + 0 - 1/60*b**5 - 2*b**3. Let y be t(-6). Solve 3*m = -y*m - 12 for m.
-4
Let i be (-770)/105*9/(-2). Suppose -140 = -i*h + 13*h. Solve 3 = -5*u - h for u.
-2
Let y be 159129*(-34)/(-3213) + 12/126. Solve -y = 11*t - 1772 for t.
8
Suppose 18*m = 14*m. Suppose u = 4*h + 14, -5*u + h - 4*h + 1 = m. Solve 5*l - u*l = 12 for l.
4
Suppose 0 = 63*j - 67*j - 20. Let r(m) = 12*m**2 + 63*m + 19. Let s be r(j). Suppose 2*a + 11 + 5 = 4*z, -4*z - 12 = 5*a. Solve 2*h = z - s for h.
-1
Suppose 5*z = -42 - 83. Let i(x) = -x**2 - 25*x. Let p be i(z). Solve p = -l - 2*l - 12 for l.
-4
Let p(b) = -b**2 + 11*b - 23. Let u be p(10). Let a be ((-2)/(-6))/(u/(-117)). Suppose 11 - 5 = a*k. Solve -k*o + 9 = 1 for o.
4
Suppose -2*t = 134 - 146. Let d = t + 4. Suppose d*l = 1 - 1. Solve 0*z + 3*z + 15 = l for z.
-5
Let b(n) = 34*n**3 - 8*n**2 + 8*n + 1. Let y be b(1). Solve -y*j = -33*j - 12 for j.
6
Let m = -74 - -65. Let h be m/6*(-48)/18. Suppose 3*g = h + 2. Solve 0 = -z - g*z for z.
0
Let i be 121 - (11 - (-42)/(-7)). Let f = i + -111. Let y(w) = -3*w**3 - 2*w - 1. Let s be y(-1). Solve -s*t = 7 + f for t.
-3
Let v = -20 - 17. Let m = v - -42. Solve 4*y = m*y for y.
0
Let t(y) = -y**3 - 17*y**2 - y + 40. Let n be t(-17). Let c = 68 - n. Solve 5*f = c + 4 for f.
3
Suppose q + 252 = 5*q. Let v be (-16)/(-6)*(-3 - q/(-14)). Suppose -a + v = 3*n + n, 5*n + 3*a - 12 = 0. Solve 0 = -n*z + z - 1 for z.
1
Let q(r) = -3*r**3 - 20*r**2 - 5*r + 168. Let x be q(-3). Solve -74*k + x*k = 30 for k.
3
Let z(g) = -g**2 + 13*g + 961. Let c be z(38). Solve 3*q + c - 5 = 0 for q.
-2
Let t(m) = 2*m**2 - 31*m + 123. Let l be t(13). Solve -l*a + 8*a = 0 for a.
0
Let x be 1/(-7 - 9372/(-1338)). Solve -9*l - 205 = -x for l.
2
Let y(z) be the second derivative of z**4/12 + 2*z**3 + 15*z**2 + 10*z. Let q be y(-7). Let s(d) = -2*d - 6. Let h be s(q). Solve -2*k - h = -6 for k.
1
Let g = -20 + 20. Let j(u) = -3*u**2 + 44*u - 24. Let q be j(14). Solve -t - t + q = g for t.
2
Let q = 17242 - 17242. Solve -26*c + 21 + 57 = q for c.
3
Let s be (0 - 1)/(-2 - -1). Suppose -6*m + 8 + 10 = 0. Let x(y) = 2*y**3 - 7*y**2 + 3*y + 4. Let w be x(m). Solve 0 = -w*r + 3 + s for r.
1
Let l = -2680 + 2722. Solve -l*g + 46*g = -20 for g.
-5
Suppose 59*x - 871 - 840 = 0. Solve -2*c = 21 - x for c.
4
Let j be -2 - (-45)/20 - 1442/8. Let s = 180 + j. Solve -3 = w - s for w.
-3
Let j(f) = 4*f + 10. Let s be j(-4). Let b be ((-314)/(-10))/(((-30)/25)/s). Suppose 156*r = b*r. Solve r = 2*i + 1 - 7 for i.
3
Suppose -45 = -10*y + y. Suppose y*v = 8*v - 6. Suppose v*t = 14 + 8. Solve -4*z + 3 = t for z.
-2
Suppose -c + 9 = 2*t, -143*c + 144*c + 3 = 4*t. Solve c*n + 1944 = 1929 for n.
-3
Let o = 24543 + -24508. Solve -51*t = -43*t - o*t for t.
0
Let m = -16413 + 16428. Solve -m = -19*t + 14*t for t.
3
Let o be 62/3 + (-15)/(-40)*(-24)/(-27). Solve -o*t = -51 - 96 for t.
7
Suppose -3*m = -4*q + 319 + 150, 0 = -5*q + 6*m + 566. Solve q*o = 92*o + 256 for o.
8
Suppose 0 = -3*z - 5*p + 7, 11*z - 7*z - 4*p - 20 = 0. Let o(v) = v**3 - 4*v**2 - v + 7. Let i be o(z). Solve 5*w - i*w = -10 for w.
-5
Let m(f) = f**3 + f**2 + 2*f. Suppose 0 = d - 0*d. Suppose -5*y = -d*y - 3*l + 15, -25 = 5*y - 5*l. Let n be m(y). Solve 3 = -n*i + 3*i for i.
1
Suppose -5*l - 15 = 0, z + l = 4*z - 15. Suppose -3*y = -2*v + 6*v - 13, -5*y = -z*v + 21. Let g = 21 + -13. Solve 12 = v*u - g for u.
5
Suppose 99 + 65 - 52 = 7*z. Solve -o - 15 + z = 0 for o.
1
Let a(d) = 7*d + 13*d**2 - 46*d**2 - 22*d + d**3 + 19*d**2 + 8. Let j be a(15). Solve -7 + j = -h for h.
-1
Let p be ((-4)/8)/((-5)/50). Let y be 327/27 + (-899)/3069 + 4/22. Solve p*f = f - y for f.
-3
Let k = 2806 - 2739. Solve k*v + 9 = 70*v for v.
3
Suppose 19429 = -19*r + 19467. Solve -r*p + 65 = 71 for p.
-3
Let n(j) = -j**2 - 25*j - 121. Let v be n(-18). Suppose -z + 5*q = -25, 0*q = 2*z + v*q - 110. Solve 11*u + 12 = z for u.
3
Suppose 276 = -2*w + 6*w. Let q = w + -72. Let o be 24/9 + ((-8)/3 - q). Solve 2*j + o = -j for j.
-1
Let k = -39 - -33. Let n(w) = 3*w + 20. Let s be n(k). Suppose 33 = 5*q - 5*h - 7, -1 = 3*q + s*h. Solve 0 = 2*a - q*a + 3 for a.
3
Suppose -x = -w - 6*x + 22, -66 = -5*w - 3*x. Suppose -492*z - w = -498*z. Solve g - z*g + 3 = 0 for g.
3
Let y(o) = o**2 + 41*o + 367. Let s be y(-28). Solve s*f - 15 = -0 for f.
5
Let k be 0 + 6/(-36) + 605/30. Solve -k = 6*o - 38 for o.
3
Let x be 7 + 12/(0 - 3). Suppose 0 = 5*q - 23 - 182. Suppose 3*g - 116 = -q. Solve -x*o + g = 2*o for o.
5
Suppose -4*o = -5*x + 352, -213 = -11*x + 8*x + 3*o. Solve -62*u = -x*u - 36 for u.
-6
Let k = -2340 + 2340. Solve 0*x + 36*x + 180 = k for x.
-5
Suppose 33*h - 18 = -41*h + 73*h. Solve h*m + 22 = 130 for m.
6
Let i = 6 + -6. Suppose 2*f - 8*f + 0*f = i. Suppose -5*z = -f*z. Solve x = -2 - z for x.
-2
Let q = -721 + 1683. Solve 2 = q*r - 964*r for r.
-1
Suppose 0 = -2*c - 0*c - 130. Let u = 65 + c. Solve 2*r + 1 + 1 = u for r.
-1
Suppose -3*m - 2*t = -47 + 59, -3*t = 5*m + 18. Solve m = 50*d + 47 - 397 for d.
7
Let l(i) = -28*i**2 + 281*i - 8. Let q be l(3). Solve -8*b + 535 - q = 0 for b.
-6
Let t = 25162 - 22357. Solve 0 = -f - 2797 + t for f.
8
Let q(v) = v**3 - 16*v**2 + v - 11. Let i be q(16). Suppose -i = 3*b - 35. Suppose -16 = -b*y + 8*y. Solve -2*h + 6*h = -y for h.
-2
Let w(n) = -11*n - 438. Let a be w(-40). Suppose 3*i + 15 = -x + 6*x, 4*i + 20 = x. Let d = x + 2. Solve 0 = -0*s + a*s + d for s.
-1
Let a(n) be the first derivative of -21*n - 2*n**2 - 8 - 8 + 49*n + 3. Let v be a(7). Solve w = -v*w - 2 for w.
-2
Let h(l) be the third derivative of -l**6/120 - l**5/15 - 5*l**4/24 - 3*l**3/2 - 13*l**2. Let q be h(-4). Suppose q = 3*d + 8. Solve k - 2 + d = 0 for k.
1
Suppose 0 = -3*j - 6, 2*m + 6*j - 2*j = -156. Let a = -114 - m. Let p = a + 48. Solve -p = -5*h - 18 for h.
-2
Let k(p) = 17*p - 187. Let o be 6 - (-4 - 4/(9 + -5)). Let c be k(o). Solve 4*n = -4 - c for n.
-1
Suppose y - 2*v - 7 = 0, -29*v + 27*v = -8. Solve -y*c + 9 = -6 for c.
1
Let t(q) = 10*q - 4*q**2 + 10 + 6*q + 5*q**2. Let b be t(-18). Let m = -41 + b. Solve m*a + 4 = a for a.
-1
Let o be 4278/207 - 16/6. Solve -112*h + o = -109*h for h.
6
Let f be (85556/438 - 20/6) + 0 + -6. Solve -f*n = -185*n - 4 for n.
4
Suppose -7*s - 72 = 117. Let w be 12/2*(-72)/s. Suppose -2*q + w = 4*r, 2*q - 10 = 4*r - 2*r. Solve f = q*f + 20 for f.
-4
Let w = -1490 - -1497. Solve -9*b + w = -38 for b.
5
Suppose 5 = -16*s + 134 - 1. Solve 304 - 272 = s*i for i.
4
Let g(u) = 4*u + 49. Let r be g(-16). Let n be 2 - (r - 4) - 3. Solve 14*c + 12 = n*c for c.
3
Let q(z) = 38 - 222 - 3*z - 28*z. Let o be q(-6). Solve o*y = -3*y for y.
0
Let l = -62 + 66. Suppose -5*r - 6 = -l*h + 10, 4*r - 2*h = -8. Suppose -4*n = 16, -4*s - s + 4*n = -21. Solve -a - 3 + s = r for a.
-2
Let r be ((48/30)/(-4))/(3/(-105)). Suppose -d = r*d - 45. Solve d*o + 0*o = 15 for o.
5
Suppose 3*n - 188*w = -192*w + 204, 5*n + w - 340 = 0. Solve -n*c = -71*c for c.
0
Suppose -103 = 4*h + 101. Suppose -9 = 3*q, -p + 0*q + 45 = 2*q. Let s = h + p. Solve s = -3*z - 2 - 10 for z.
-4
Suppose -5*j + 3*j + n = 18, 2*n - 43 = 5*j. Let i be j/(-42) - (-267)/18. Suppose 0*h - 3*k = 2*h - 7, -5*k = i. Solve 0*o - h = 4*o for o.
-2
Let q = -206 + 288. Suppose 74 = 3*p - 13*t + 8*t, -q = -3*p + t. Solve -2*y - p + 24 = 0 for y.
-2
Suppose -3*j + 4*j + 2*q = 3, -5*j - 7 = -q. Let l(m) = -61*m**3 + 4*m + 3. Let r be l(j). Solve 0 = -19*z + 4*z + r for z.
4
Suppose -5*s - 10 = -5. Let t be (-3)/(-2)*((-13)/(-3) + s). Suppose -5 = -4*i + y - 3, -3*i = 2*y + 4. Solve -q + t*q - 16 = i for q.
4
Let v(a) = 3 + 9 - 7*a + 12*a + 23*a**2 + 20*a - 4*a**3 + 3*a**3. Let u be v(24). Solve -x - 38 = -u for x.
-2
Suppose -2*o - 3*b - 120 = 71, 3*o - 3*b = -309. Let a = o - -106. Solve 2 + a = -4*t for t.
-2
Suppose -f + 6 = 5*g - 7, -g = f - 5. Let o(u) = -u**2 + u + 2. Suppose 0*w + 5*w + 2*w = 0. Let k be o(w). Solve k*j - g = -0 for j.
1
Suppose 7*b = 231 + 91. Suppose 0 = -5*x + 3*f + b, 3*x + 18 = 6*x + 3*f. Solve -3*s + 7*s = -x for s.
-2
Let f(b) = -b**3 - 18*b**2 - 79*b + 10. Let p be f(-10). Let l(h) = h**3 - 3*h**2 + h + 24. Let n be l(p). Solve -7*q - n = -q for q.
-4
Let k(y) = -y**3 + 12*y**2 - 6*y