l = o for l.
3
Suppose 0 = 5*h - 108 + 23. Suppose -i = -4*k - 2590, 8*k - 4*k = 3*i - 2594. Let y = -643 - k. Solve h - 5 = -y*c for c.
-3
Suppose -4*j - 2*g + 1050 = -0*g, -3*j + 4*g = -782. Suppose -2*x - 2*b + 108 = 0, 8*x = 3*x - b + j. Let r = -47 + x. Solve -r*l + 5 + 15 = 0 for l.
4
Let k = -3742 - -3746. Solve 0 = 47*q - k - 43 for q.
1
Let i = 573 + -575. Let l be 1344/105 - (i + (-28)/(-10)). Solve 22*d = 18*d + l for d.
3
Let m(x) be the third derivative of -x**6/120 - x**5/12 - x**4/24 + 17*x**3/6 - x**2. Let v = -373 + 369. Let w be m(v). Solve 30 - w = 5*j for j.
5
Let c(m) = m + 5. Let w be c(-3). Suppose w*i - 6*i - 72 = 0. Let k = 19 + i. Solve 3 = 4*a - k for a.
1
Suppose -3*f = -8*f. Let p be 5/10*-230 - (f + -4). Let g = -96 - p. Solve 4*u + 1 = -g for u.
-4
Let x be (-10262)/56 + 5/4. Let g = 185 + x. Solve 0 = 4*w - w + g for w.
-1
Let b be ((-54)/(-4))/(-9) + 1065/10. Let f = 108 - b. Solve 8 = -f*v + 5 for v.
-1
Suppose 3*v = 13 - 1. Let i(d) = 2*d**2 - 399*d - 794. Let q be i(-2). Suppose -4*f - 2*m + q = 0, 0*f + 4*f - v = -4*m. Solve f*t = 10*t for t.
0
Let r(c) = -2*c**2 - 36*c - 50. Let h be r(-15). Solve 12*z = h - 16 for z.
2
Let y be 0 + 9 + 0 + (5 - 1). Suppose 23 = u + 5*w, 0 = u - 0*u - 4*w + y. Solve u = 5*a + 18 for a.
-3
Suppose -242*d + 237*d - 395 = 0. Let t = 89 + d. Solve 0 = -0*b - 5*b - t for b.
-2
Let p(w) = 3*w - 18. Let f be p(10). Suppose 5*m - 4*m - f = 0. Solve -9 = m*s - 15*s for s.
3
Let w = -30359 - -30442. Solve w*x = 85*x - 8 for x.
4
Let d(q) = -q**3 + 25*q**2 + 29*q - 67. Let u be d(26). Suppose -u*s + 16 = -7*s. Solve -2*m - s = -8 for m.
2
Let m(p) = -p**2 - 36*p + 535. Let u be m(-45). Solve -98*k + 33*k - u = 0 for k.
-2
Suppose 0 = 3*k - 3*l - 45, -4*k + l - 39 + 81 = 0. Solve 7*n - k = 12 for n.
3
Let l be (-856)/(-6)*12/(-8). Let r = -214 - l. Solve r*o + 6 = -6*o for o.
-1
Suppose 94*h + 1134 = 157*h. Solve 38*b - 20 - h = 0 for b.
1
Let y(z) = -6*z - 5. Let r be y(-1). Let o(m) = -9*m - 4. Let g(p) = -8*p - 3. Let n(s) = 6*g(s) - 5*o(s). Let w be n(-1). Solve -3*t + r = -w for t.
2
Let v = 13 + -15. Let x(w) = 6 + 3*w**2 - 2*w**2 + 17*w + 10*w - 22*w. Let k be x(v). Solve 0*z - 3*z + 6 = k for z.
2
Suppose 0 = 4*g - 0*g + 3*n - 11965, -6 = -2*n. Let i be (g/61)/(0 - (0 + 1)). Let f be 14/(4/(-2))*21/i. Solve -10 = f*r + 2*r for r.
-2
Suppose -4*p = 0, 3*o + 3*p - 15 + 6 = 0. Let h(d) = d**3 - 2*d**2 - 4*d + 7. Let v be h(o). Solve v*r - 16 = -0*r for r.
4
Let a = -111 + 122. Suppose 0 = -a*q + 13 - 13. Solve 2*t - t + 3 = q for t.
-3
Let m(i) = -i**2 + 26*i - 80. Let a be m(4). Suppose -52 = -a*p - 18*p. Let b(j) = j**3 - j + 25. Let g be b(0). Solve -7*s + p*s + g = 0 for s.
5
Let g be 368/138*1/(2/48). Suppose -6*o - 40 = -g. Solve 1 = o*a - 3*a for a.
1
Let n = 6 + -3. Suppose -2*h + 26 = -a, -n*a + 63 = 5*h - 6*a. Solve 10*s = 5*s + h for s.
3
Let c be 19396/4476*(-18)/(-26)*9. Let y(v) = -v. Let d(u) = u**2 + 9*u - 4. Let p(i) = d(i) + 6*y(i). Let q be p(-4). Solve q = -5*l - 2 + c for l.
5
Let l = 103 - 92. Suppose -l*o + 226 = 94. Solve -8*x = -2*x - o*x for x.
0
Suppose 0 = -46*r + 95*r - 196. Let a = 29 - 27. Solve -6*j = -a*j + r for j.
-1
Let w(q) = -q**3 - 8*q**2 - 9*q - 6. Suppose r - 81 + 88 = 0. Let i be w(r). Solve -i = -k + 5*k for k.
-2
Let i = 97 - 12. Suppose i = -4*f + 357. Let y be f/12 - (-1)/3. Solve -2*h - y = 2 for h.
-4
Let r(m) = 4*m**2 - 29*m + 216. Let s be r(10). Solve -s = 2*p - 322 for p.
-2
Let g = 1629 + -1601. Solve 66 = 19*o + g for o.
2
Suppose 18*l = 99 + 45. Solve 0 = 4*z + l*z - 48 for z.
4
Let r = 25 - 7. Let n be r/3*2/4. Suppose 11*m - 97 = 13. Solve -n*f + m = -f for f.
5
Suppose -5*o - 2*l - 3*l + 95 = 0, 0 = -3*o + 4*l + 29. Let s be (-22)/((0 - -9) + -7). Let c = o + s. Solve -p = p + c for p.
-2
Let z be (38/(-247) + 58/39)*21. Solve 2*x = -z*x - 60 for x.
-2
Let z(p) = p**3 - 15*p**2 + 7*p - 80. Let n be z(15). Let k = n + -21. Solve -k*r = 2 - 6 for r.
1
Let v(g) = -65*g - 5767. Let h be v(-89). Solve h = -13*t + 4*t for t.
-2
Let r(k) = -k**2 + 9*k + 34. Let m be r(10). Suppose -x - 2*x - 2*b + 18 = 0, -3*x - 4*b = -m. Solve 2*n - 4 = x for n.
4
Let i(z) = 6*z**2 - 178*z - 178. Let l be i(34). Solve -707*j = -l*j - 1 for j.
1
Let v be 45/15 - (-2)/(-2). Suppose 255 = r + v*r. Let n be (-34)/r + (-22)/(-5). Solve n = -c + 1 for c.
-3
Let j(d) = 2*d**2 + 11*d + 7. Let i be j(-5). Let g be ((-4)/(-9))/i + (-1769)/(-261). Solve g = 3*a - 2 for a.
3
Let s = 801 - 793. Solve -s*b + 655 = 663 for b.
-1
Let n = 1368 + -1241. Solve -25*q - 52 + n = 0 for q.
3
Suppose 4*i + 2*u - 21 = -u, -5*i = 2*u - 21. Suppose -14 = i*f - 4*f. Solve 12*z - 2 = -f for z.
-1
Suppose -j - 36 = -p, 0*j = -3*j + 2*p - 107. Let o = 38 + j. Solve l - o = 1 for l.
4
Let j be (-6 + 0)*1/3. Let x be (-2)/(2/4*j). Suppose 5*p = l + 15, -3*p - l + 7 + x = 0. Solve -p*m = 1 + 2 for m.
-1
Suppose 0 = -5*i + 4*i + 6*i. Suppose -2*t - 23 + 55 = i. Suppose 2*a - t = 2*r, -2*a + 9 = -4*a - 3*r. Solve -a*s = s + 20 for s.
-5
Let d be -2 + 2 + 187/11 + -1. Solve 46*o + d*o = -434 for o.
-7
Let w be 4/2 + 9/(36/(-208)). Let b = 53 + w. Solve -b*a + 0*a - 6 = 0 for a.
-2
Let p = -2560 + 2676. Solve -4 = 40*l + p for l.
-3
Let x = 44 + -39. Suppose 0 = -x*k - 0*k - p + 30, 0 = -3*p + 15. Suppose 0 = -3*o - s + 5, -1 - 5 = -k*o - 4*s. Solve 3*d = o - 8 for d.
-2
Suppose 1073 = 87*v - 319. Solve v*y - 14 = 34 for y.
3
Suppose -5 = -d + 4*a, 2*d + 1 = -0*d - 3*a. Let v be 0/((2 - d)/1). Suppose v = -5*h + 29 - 4. Solve 0 = -h*c - 21 + 1 for c.
-4
Let d be 2055/11 - (4/(-66))/(113/339). Solve 9*c = 124 - d for c.
-7
Let t = -24 - 35. Let y = -55 - t. Suppose y*k - 5*z - 11 = -3, 0 = 3*z. Solve -5 = k*c - 7*c for c.
1
Let s = 31 - 32. Let f be 22/(-11) + 20 + 2*s. Solve -f + 21 = -c for c.
-5
Let k = -7817 - -8327. Solve -44 = -k*q + 499*q for q.
4
Suppose 3*x - 183 = 2*t, -44 = -3*x - t + 157. Solve -x*r + 67*r = 0 for r.
0
Let b be (-7 - 142)/(2/8 + 62/(-124)). Solve b*w = 585*w - 66 for w.
-6
Let k = 101 + 2. Let i = -103 + k. Suppose i = -6*l + 10*l. Solve -2*v + 5*v = l for v.
0
Suppose -927*z + 928*z = -566. Let a = -552 - z. Solve -f + a = 6*f for f.
2
Let r(d) = d**3 - 6*d**2 + 6*d - 1. Let s be r(1). Suppose -41*l - 254 + 1033 = s. Solve 15*c - l*c + 16 = 0 for c.
4
Let b(n) = n**3 + 5*n**2 + 6*n - 7. Let g be b(-6). Suppose -y + 83 = -203*j + 204*j, 5*y - 5*j = 395. Let u = y + g. Solve -u*o + 13 = 5 for o.
4
Let d be 12/(-12)*(-1 + 6). Let x be d - -2 - (7 + -10). Solve x*n + 35 = 7*n for n.
5
Suppose 1472 = 16*m + 320. Solve -m*c + 40 = -82*c for c.
-4
Let n = -967 + 978. Suppose 3*s - n = f, f - 7*s + 2*s = -21. Suppose 0 = -2*l + 11 + 7. Solve l = -f*k - 3 for k.
-3
Let s(t) = t**3 + 10*t**2 - 3*t - 16. Suppose -2*w - w - 15 = 0. Let m be s(w). Let p = -124 + m. Solve -5*r + 7 + 8 = p for r.
3
Suppose -140 = -2*i - 50. Suppose 38*o + 42 = 42*o + 3*v, -5*o - 4*v = -53. Solve 0*q = o*q - i for q.
5
Let b(g) = -g**3 - 37*g**2 + 340*g + 2. Let s be b(-45). Solve s*i - 77 = 891*i for i.
7
Let t(x) be the third derivative of x**5/60 + x**4/24 - 8*x**3/3 + 16*x**2 + 1. Let r be t(4). Solve -1 + r = i for i.
3
Let s be (2 - -38)*18/72. Suppose -s = -2*f + 5*d, 5*f - 2*d = f + 4. Solve f*v = 3*v - 15 for v.
5
Let h be (51/34)/((-3)/22). Let f(j) = 4*j + 51. Let d be f(h). Solve -3*u = -d*u for u.
0
Let s = 6026 + -6026. Solve -38*f - 118 + 270 = s for f.
4
Let q = 15441 - 15401. Solve 42*v = -2 - q for v.
-1
Let u(y) be the second derivative of y**5/20 + y**4/2 - y**3/6 - 5*y**2/2 + 134*y. Let t be u(-5). Solve 4*i = -t + 13 for i.
-3
Let l be (-14 + -368)/(2*(-2)/36). Let i be 4/(-18) - l/(-162). Solve 0 = 3*m + 6 - i for m.
5
Let q = 143 - 139. Suppose -85 = -q*f - 69. Solve 0 = -0*u - f*u + 20 for u.
5
Suppose -10*h + 818 = -575 - 47. Solve 186*z = 162*z + h for z.
6
Let m = 159 + -162. Let d be 6/((6/(-1))/m) + -1. Solve -d*s - 7 = -3 for s.
-2
Suppose 0 = -52*x + 58*x - 108. Suppose -35*y + 68 = -x*y. Solve -14 = 3*f + y*f for f.
-2
Let v = -781 + 784. Let l = 71 - 49. Solve -l = v*f - 7 for f.
-5
Let c be (-15)/25 + 5 + (-2)/5. Suppose -5*y + 17 = 3*n, -c*y + 3*n + 13 = 6*n. Let u be (1 + y)*(-4)/(-10). Solve 3*a + 4 = u*a for a.
-4
Suppose 5*d - 7*d + 16*d = 55