ve 0*t - v = -o*t for t.
5
Let d(a) = 5*a**3 - 11*a - 5. Let r(k) = 6*k**3 - 11*k - 3. Let i(o) = -5*d(o) + 4*r(o). Let m be i(-3). Solve -m = -4*l - 15 for l.
-2
Let f = 22540 + -22465. Solve -118*p = -133*p + f for p.
5
Let p be 4 + 7/((-14)/6). Let m(k) = k + 1. Let a be m(p). Suppose 5*v - 7 = -22, 0 = 2*d + a*v - 10. Solve 0 = -5*f - 3 + d for f.
1
Suppose 14 - 2 = d + b, -b = 5*d - 44. Suppose 64*h + d = 8. Solve 8*p - 3*p - 5 = h for p.
1
Let y(u) = -31*u**2 - 2*u - 1. Let k be y(-1). Let d be 2 - ((-4)/6)/((-20)/k). Let s be 2/(0 - (14/6 - d)). Solve -s*o - o = 12 for o.
-3
Let l(m) be the second derivative of m**4/6 - m**3/3 + m**2 - m - 1. Let u be l(2). Let h be ((-3)/2)/((-9)/24). Solve 0 = d - h*d - u for d.
-2
Suppose -15*k + 936 = -4*k - 3*k. Solve k*q - 121*q = -24 for q.
6
Suppose 3*y - 3834 = -5*a, -177 - 1350 = -2*a + y. Solve -777 = -6*t - a for t.
2
Let d(s) = s**2 + 9*s. Let j be d(-9). Suppose 4*f = -j*f + 4*l + 28, -4*f - 4*l + 12 = 0. Suppose 6*c = 27*c + 8*c. Solve c*a + f*a = 25 for a.
5
Let n be 22/(-4)*(-4)/11. Suppose 0 = -5*s + 20 + 5, n*u - 28 = -2*s. Solve -u*q + 50 = q for q.
5
Let m = -3242 - -3248. Solve -2*s = m*s - 32 for s.
4
Suppose 4*n + 16 = 0, 4*y - 5*n + 4*n - 16 = 0. Let l = 4 - y. Let i be (-2 - 0/l)/(2/(-3)). Solve 8 = u + i*u for u.
2
Let l(j) = 7 - 46*j + 17 + 45*j. Let f be l(14). Suppose -31 = -f*q - 1. Solve g = q*g + 8 for g.
-4
Suppose -4*f + 2914 = 2770. Let x = 44 - 2. Let o = x - f. Solve -14 = -5*w + o for w.
4
Let z be (4/(-7))/(2/(-28)). Let n be z/(-14) + (720/28)/10. Solve 3*y - n*y - 4 = 0 for y.
4
Let f be 10*(-3)/3 - -8. Let n be (-15)/15 + (-6)/f. Solve -6*u - n = -8*u for u.
1
Let s be 10/12*1260/105. Solve -s*w + 360 = 400 for w.
-4
Suppose 5*i = -4*s + 1, 3*s + 0*s = 2*i + 18. Let x be ((-1)/((-5)/s))/((-3)/(-30)). Solve 3*y = 2 - x for y.
-2
Let v(g) = -g**3 - 9*g**2 + 4*g - 27. Let d be v(-10). Solve 0 = 8*s + 81 - d for s.
-6
Suppose -2*u + v + 278 = 0, 506*v = -3*u + 501*v + 378. Solve 4*t - u = -140 for t.
-1
Suppose 518 = -19*b + 1525. Solve 0 = -b*n + 50*n + 12 for n.
4
Let j = -6055 + 6114. Solve -85*w = -j*w + 78 for w.
-3
Let v = -1048 - -1052. Solve 18 = v*x + 5*x for x.
2
Suppose 154*v = 204*v - 12100. Solve 53*x - v = -30 for x.
4
Let v = 110 + -110. Suppose 4*b - 5*r - 45 = 0, -b - 2*b + 2*r = -25. Solve v = b*z - 0*z - 20 for z.
4
Let r(c) be the third derivative of -5/3*c**3 - 19*c**2 - 1/60*c**5 + 1/3*c**4 + 0 + 0*c. Let n be r(5). Solve 0 = -s + n - 3 for s.
2
Let k = 19560 + -13699. Solve -5849 + k = 2*a for a.
6
Let h = 25 + -22. Let i(y) = 3*y**2 + y**3 - 5*y - 14*y**2 + y**3 - 4*y**h + 2. Let a be i(-5). Solve a*p = 3 + 7 for p.
5
Suppose 0 = 49*g + 33*g - 1473 - 2627. Solve g = -9*l + 23 for l.
-3
Let k be (-18385)/(-105) + (-1 - (-152)/168). Solve 0 = -18*d - 17*d + k for d.
5
Let u(y) = 114*y - 2*y**2 - 135*y - 3*y**2 - 8*y**2 - y**3 + 15. Let w be u(-11). Solve -2*h = -w*h + 2 for h.
1
Suppose -5*w + n + 290 = 0, 4*w - 186 = n + 45. Let q = w + -53. Solve q = -4*m + 2*m for m.
-3
Let v = -601 - -1253. Let l = -571 + v. Solve -n = -l + 80 for n.
1
Let h be 1/(-2)*-42*5/(-15). Let n be (-109)/(-11) + 4/(-308)*h. Solve 0 = -11*a + 6*a + n for a.
2
Let z = -5276 + 5276. Solve 2*p + z + 4 = 0 for p.
-2
Suppose -2130 = 26*u + 3018. Let d = u + 200. Solve -4*v + d = -2 for v.
1
Let h(t) = 2*t**3 + 4*t**2 - 16*t + 25. Let r be h(4). Solve -2*s = -r + 145 for s.
4
Let b(g) = g**3 - 8*g**2 + 13*g - 40. Let h be b(7). Suppose 2*v - 7 = s, -2*s = -h*v + s - 3. Solve -8*z + 2*z = -v for z.
1
Let p be (-47 + 5)/((-1)/((-1)/(-2))). Suppose 4*t + 2*s = 100, 114 = 5*t - 24*s + p*s. Solve -t = 9*w - 3*w for w.
-4
Suppose -52*g + 48*g - 12 = 0, -2*g = -5*f + 76. Solve -2 = 8*i + f for i.
-2
Let t(o) = 2*o - 5. Let u be t(4). Suppose 3*f - 24*h + 261 = -2*h, 4*f - 28 = -2*h. Solve -u = -k - f for k.
2
Let i = -197 + 202. Suppose -3*f + 10 = -4*r - 6, -4*f + 11 = i*r. Solve 7*p - f*p = 0 for p.
0
Suppose -4*w + 2*j + 90 = 0, 3*w = -4*j + 243 - 258. Let a(x) = 17*x - 3. Let v be a(2). Solve v*k = 28*k - w for k.
-5
Let l(v) = v**3 + 81*v**2 - 306*v + 16. Let b be l(4). Solve 53*w = 15*w - b for w.
-4
Let x(u) = -26*u - 6. Let q(k) = -25*k - 11. Let v(i) = 5*q(i) - 6*x(i). Let b be v(1). Solve b*n - 6 = 9*n for n.
2
Suppose -g - 43 = -3*h, -32 - 36 = -4*h - 4*g. Solve -h = 4*m - 35 for m.
5
Let l(g) = -g + 8. Let j be l(0). Let b(s) = -4*s + 9*s**2 - 6*s**2 + 18 + 5*s - 27*s. Let m be b(j). Solve 0 = m*h - 3 - 5 for h.
4
Let x be 1*1*69 + 19544/(-1396). Solve 0 = -55*k + 66*k + x for k.
-5
Let s(q) = -3*q - 25. Let v be s(-9). Let p be (90/(-8))/((-27)/144*v). Solve 0 = k + 5*k - p for k.
5
Let y(p) = 2*p**3 - 13*p**2 + 5*p - 2. Let a be y(6). Let b be (10/a)/(21/(-84)). Solve 9*h - b*h + 16 = 0 for h.
-4
Let l(o) be the second derivative of o**4/12 + 13*o**3/6 + 22*o**2 + 7*o. Let v be l(-6). Let t be 12 - 10 - 0*(-1)/v. Solve -12 = 2*u + t*u for u.
-3
Suppose 5*u - 44 = -14. Suppose -4*l + 24*c - 21*c = -403, -5*l = -5*c - 510. Suppose -109*y + l*y = -180. Solve y = u*m - 3*m for m.
5
Let h = -162 - -183. Solve 0 = 14*r - h + 7 for r.
1
Let t(v) = 2*v**2 - 51*v + 84. Let j be t(24). Solve -72 = -12*h - j for h.
5
Let i = -4 + 0. Let v(k) = k**2 + 8*k + 15. Let g be v(-4). Let c = g - i. Solve -7 = c*q - 1 for q.
-2
Let i = -172 - 355. Let f = 546 + i. Solve -23*q = -f*q - 12 for q.
3
Suppose -3*m - 2*m = -25. Let c(a) = -2*a**2 + m*a + a**2 - 2*a + 0*a**2 + 10. Let l be c(4). Solve -w - 25 = -l*w for w.
5
Let t(f) = 34*f - 1064. Let h be t(32). Solve 12*v = -h*v for v.
0
Suppose 24*d = -0 - 0. Suppose 23 = 3*t - 2*t. Suppose 25*j - t*j = d. Solve -2*n - 2 + j = 0 for n.
-1
Let a be (-579)/(-5) + 61/305. Solve 17 + a = 19*g for g.
7
Suppose -120 = -43*d + 3*d. Suppose -d*i = -2*s - 58, -5*s + 38 + 17 = 5*i. Solve 0 = -i*v + 18*v - 4 for v.
2
Suppose 8153 = 597*p + 4906 - 14066. Solve p*s + 36 + 80 = 0 for s.
-4
Let p(j) = 63*j - 883. Let a be p(15). Solve -a = 31*k + 62 for k.
-4
Let u(p) = 7*p**2 + 668*p + 667. Let y be u(-1). Solve 0 = y*s + 1 + 11 for s.
-2
Let p = 12283 + -12105. Solve -p = -60*n + 242 for n.
7
Let t(a) = a**2 - 47*a - 884. Let o be t(-15). Solve -o + 48 = -u for u.
-2
Let a = -22 - -29. Let p(z) be the first derivative of z**2/2 - 5*z + 6. Let i be p(a). Solve -i = -0*w + w for w.
-2
Suppose -3*x + 7 = o, -5*x + 65 = -19*o + 24*o. Solve 99 = -o*q + 35 for q.
-4
Suppose 55*x - 1458 = -26*x. Let k = 15 + -8. Suppose k*t = 10*t - x. Solve -1 = -5*s - t for s.
-1
Let w = -3949 + 3967. Solve 27*x = 45*x - w for x.
1
Suppose -s = -5*k + 23, 4 = -2*k - 4*s - 0*s. Let j be k + (-1 + 5)/(-2). Suppose -3*h + 3 = 0, -j*f - 2*f + 5*h + 11 = 0. Solve -z - f*z - 5 = 0 for z.
-1
Let d = -6 + 8. Let q be -1*-1*(0 + 0). Let w(o) = -13*o - 406. Let n be w(-32). Solve n = -q*t + d*t for t.
5
Suppose -514*v + 363*v = -755. Solve -v*h + 21 = 16 for h.
1
Suppose -157*p + 2138 = 40*p - 3575. Solve -p*i + 37 + 137 = 0 for i.
6
Suppose 2*l - 41 = 15. Suppose l = 5*m + 8. Suppose -3*d = m*d - 98. Solve d*i = 12*i + 2 for i.
1
Suppose -14 = 6*m - 5*m. Let c(h) = -7*h - 95. Let b be c(m). Solve -b*p + 8*p = 0 for p.
0
Let f be 1*(8 + -12) - 16/(-2). Suppose -3*l = -0*q + 2*q - 19, -5*q + f*l - 10 = 0. Solve q = h - 1 for h.
3
Let x(m) = m**3 + 9*m**2 - 11*m + 1. Let k be x(-10). Let l = 270 - 263. Solve v - k = -l for v.
4
Let g be (-2)/7 + 72/154 - 9840/(-330). Solve 0 = 13*n + 9 + g for n.
-3
Let a be 2/(8/52) + 103 + -108. Let y = -1 - -1. Suppose y = -p - p - 10, 0 = -5*j + 3*p + 25. Solve j*u = -a - 2 for u.
-5
Let k be (-7 + (-140)/(-12))*36. Let x be (k/(-14))/(-24)*12/2. Solve 13*p = 14*p - x for p.
3
Let m = 519 + -453. Solve 464*w = 475*w + m for w.
-6
Let p be (-1044)/(-60) - (69/(-15) + 5 + -1). Solve -27*g = -p*g - 18 for g.
2
Let r = 5855 - 5753. Solve -r*k + 91*k = 77 for k.
-7
Let t = 313 - 311. Suppose -t*u + h + 0*h + 10 = 0, -2*u - 4*h = -20. Solve -u*o + 4 = -5*o for o.
4
Suppose -31*a = 1070 - 78. Let y be (-1 - 3/(-2))*(-448)/a. Let q = 9 + -3. Solve q*t + 5 = y*t for t.
5
Let i be (10/(-15))/(12/(-36)) - (-12)/2. Let b be ((-21)/(-6) + -4)*0. Solve i + b = 2*x for x.
4
Let c(i) = -79*i - 1422. Let q be c(-18). Suppose -2 + 4 = p. Solve 2*l - l - p = 