t + 24 + 1 = l for t.
5
Suppose d + 4*c - 21 = -4*d, d - 5*c = 10. Let f = d - 11. Let y be (-6)/(-9) - 14/f. Solve 0 = y*n + n - 20 for n.
5
Suppose -31*l = 8*l - 3627. Solve 98*x = l*x - 20 for x.
-4
Let k be (-18)/(-3) - (-25 + 27). Solve 1 = -5*b - k for b.
-1
Let a(h) = -h + 9. Let n be a(7). Suppose -2*v = 3*c - 6*v - 44, -3*c - v = -19. Solve c = 3*y + n for y.
2
Let q = 437 + -426. Solve q*v - 10*v - 7*v = 0 for v.
0
Let r(l) = -17 + 6 - 6*l + 3 + 7. Let n be r(-1). Suppose 30 = n*c + 5*v, -4*c - 2*v + 15 = -c. Solve -2*o + c*o + 2 = 0 for o.
-2
Let i(t) = -t**3 - 13*t**2 - 13*t - 10. Let m be i(-12). Let z(b) = 0*b**2 + 2*b**2 - 4*b**m + 3*b**2 + 12 + 9*b. Let n be z(-8). Solve n*f - 20 = -f for f.
4
Let z be -4 - 0 - -5 - -2. Suppose -z*k = -4*b - 19, -3*b = -3*k + 14 + 1. Solve 5*h - k = 9 for h.
2
Let g be 3*1*8/12. Suppose 5*v = 2*r + 4, 0 = 5*v + 3*r - 27 + 8. Let p(n) = -n**2 + 7*n - 7. Let h be p(5). Solve 0 = -g*d + h*d + v for d.
-2
Let w be (-3)/(2/(-3)*42/28). Solve 9 = -4*u - w for u.
-3
Suppose -3 = -o + r + 1, -3*r - 12 = 5*o. Solve 4*k - 6*k - 6 = o for k.
-3
Let d(r) = r - 9. Let u be d(13). Suppose u*b = -4*m + 72, -4*b + 3*m = -b - 66. Solve -6*w = -w + b for w.
-4
Let w = 11 - 25. Let f be (-3)/(-6) - (-31)/2. Let g = w + f. Solve -3*d - g = -d for d.
-1
Suppose 2*f - 2*w + 8 = 0, 0 = -f + 2*w - 3*w - 12. Let h = f - -11. Suppose 2*c - 2*l - 2*l = 14, c - 7 = 3*l. Solve h*z = c*z for z.
0
Suppose -40*b - 93*b = -44*b - 2225. Let u be -3 + 5 - (-2 - 0). Solve -9*o = -u*o + b for o.
-5
Let r be (6/8)/(17/1020). Let h = 34 - r. Let j = -8 - h. Solve m + j*m = 16 for m.
4
Let h be (3/(-3))/((-1)/(-4)). Let p be 3 - (3 + 8/h). Solve -t = -p*t - 1 for t.
-1
Let z(x) = -4*x + 26. Let l be z(6). Suppose u - 6*u = l*g - 39, 4*g + u - 33 = 0. Solve g = 4*j - 9 for j.
4
Let b be (0*(-7)/(-42))/(-3 - -2). Solve b = 3*d - d - 2 for d.
1
Suppose 0 = -5*f + 15. Let w(g) = -2*g + f*g + 6*g**2 - 3*g - g**3 - 12. Let x be w(5). Solve -x*d = 2 + 4 for d.
-2
Suppose q + 2*d = -2*q + 12, -5 = 2*q - 3*d. Solve q*v = v + 4 for v.
4
Let q(w) = -66*w - 589. Let m be q(-9). Solve 15*f + m = -10 for f.
-1
Let d be 46/69 + 8/6. Solve 14 = -d*z + 4 for z.
-5
Let i(m) = 2*m - 3. Let u be i(3). Suppose 17 = 5*r - u. Solve 5*d + 6 = -r for d.
-2
Let d(q) = -2*q**2 - 15*q - 6. Let k be d(-6). Suppose 3*p + 0*p - k = 0. Solve -u - p = -2 for u.
-2
Let g(n) = 0*n**3 - 3*n**3 - n**3 + 5*n**2 - 1 + n + 3*n**3. Let d be g(5). Suppose 3*l = 4*p - 20, d*l + 3*p + 2*p = 25. Solve l*o + 5 = -o for o.
-5
Suppose -10*w = -7*w. Let v be (w - 1)*(-3 - 20). Let s = -2 - -6. Solve 3 - v = -s*r for r.
5
Let t be 2*(-6)/(-4)*5. Suppose 3*m + t = 8*m. Let s(l) = l + 9. Let k be s(-4). Solve -k*j - 12 = m for j.
-3
Let j be 1 + 1 + 3 + 0. Suppose -k + 13 = -3*u, 0 = 2*u - 10 + 12. Solve j*s = -10 - k for s.
-4
Let k(f) be the first derivative of f**4/4 - 5*f**3/3 + 5*f**2/2 - 4*f + 2. Let n be 1/(2/40*5). Let u be k(n). Solve 0 = -u*x + 3*x - 12 for x.
4
Suppose -5*k + 4*k + 6 = 0. Let t be (3/k)/(1/14). Suppose 0*n = n + 4*h - 8, -t = -3*n + 5*h. Solve -3*a + n = a for a.
1
Let h be (2 + 2)/(5 + 32/(-8)). Solve -8 = h*y - 4 for y.
-1
Let h be 12/(-1) + (3 - 3). Let d be 9/(-5)*20/h. Suppose -2*q = -5*q. Solve s + 2*s - d = q for s.
1
Let k be (2/3)/(4/(-6)). Let w be 8*(k - 1/2). Let o be (-4)/w*(14 + -2). Solve o*m + 10 + 2 = 0 for m.
-3
Suppose 0 = 4*h - 20 + 4. Let g be (h - 4)/(2/(-2) + -2). Solve g = 4*n + 19 - 3 for n.
-4
Let b(y) = -2*y + 1. Let t be b(5). Suppose 0 = 5*w + 3*s - 82, -4*w + s + 7 + 62 = 0. Let j = w + t. Solve 0 = 2*o - 4*o - j for o.
-4
Suppose -13*b - 3*b = -64. Solve -5*c = -c + b for c.
-1
Let l = -123 - -128. Solve l*j = j - 16 for j.
-4
Suppose -340 = -32*k + 716. Solve -k*b = -28*b - 5 for b.
1
Let f = -336 - -338. Solve -f*i = -i for i.
0
Suppose -3*n + 37 = -5*r, 0 = 4*r + 25 - 5. Suppose 4 = n*p + 3*h - 1, 0 = -p - 4*h - 2. Suppose 4*l = -c + 22, -2*c - 3*c = 5*l - 95. Solve 5*y = p + c for y.
4
Let o be 1/((-65)/33 - -2). Let x = o + -23. Solve 4*l - 2 = -x for l.
-2
Let j(o) be the first derivative of -o**4/4 - 5*o**3/3 - 7*o**2/2 - 7*o - 8. Let p be j(-4). Solve p*s - 21 = -6 for s.
3
Suppose 8*m = 23*m - 45. Let u = -76 - -84. Solve u = -m*a + 2 for a.
-2
Let r(s) = -s**2 + 22*s - 38. Let p be r(20). Suppose -4*v + p*v = v. Solve v = -3*y + 6*y - 6 for y.
2
Let k = -4 + 88. Suppose -74 + k = 5*t. Solve -i = t*i for i.
0
Suppose 3*p = -4*n + 9*n - 19, 5*p = -15. Solve 0 = -n*l - 7 - 3 for l.
-5
Let d be (9/(-5))/(60/(-400)). Suppose -2*h + d = 2*h. Suppose -n + h*m + 30 = 4*n, 17 = -n - 4*m. Solve -n*x + 4*x - 2 = 0 for x.
2
Suppose 8 + 0 = a. Suppose 0 = -l + 3, -3*x + 5*l = a + 7. Solve -2*y + y + 4 = x for y.
4
Let h(r) = r**3 - 5*r**2 - 5*r - 6. Let f be (-4)/12 + (-57)/(-9). Let l be h(f). Suppose -2*o + 18 + 12 = l. Solve x + 4*x = -o for x.
-3
Suppose 33*u - 13*u = 0. Solve -2*o + 3*o = u for o.
0
Let x(u) = u**3 + 6*u**2 - 9*u - 9. Let n be 3/(-6)*(0 - 0). Suppose 5*j = -3*h - 36, 4*h = 5*j - 13 - n. Let m be x(h). Solve m = -3*b + 20 for b.
5
Let u = 915 + -863. Solve y + u - 57 = 0 for y.
5
Let d be 9/(-24) + (-602)/(-112). Solve d*t + 12 = -t for t.
-2
Let i = 60 - 30. Solve 26*q - 4 = i*q for q.
-1
Let t = 7 + -3. Let o(l) = 5*l + 8. Let p be o(-4). Let r be (-2)/12 - 62/p. Solve r*a - a = -t for a.
-1
Let c be 5/(-10) + (-19)/(-2). Let i(x) = 2*x**2 - 21*x + 27. Let k be i(c). Solve 2*h - 5*h = k for h.
0
Let g(l) = 13*l - 165. Let d be g(13). Solve -d*h = -h - 12 for h.
4
Let m = 13 - -3. Suppose -3*q = q - m. Suppose -3*s + 6*s - 21 = -4*l, 5*l + q*s - 27 = 0. Solve 11 = -4*i + l for i.
-2
Let u(z) = 3*z**3 - 2*z**2 + z + 2. Let h be u(1). Solve h*g + 40 = 44 for g.
1
Let f(v) = -54*v**3. Let d be f(-1). Suppose 0*z - 9*z = -d. Solve -3*h + 6 + z = 0 for h.
4
Let t(r) be the third derivative of 7*r**5/60 - r**4/12 - 7*r**2. Let w be t(1). Solve -4*b - w = 3 for b.
-2
Let x(f) be the third derivative of f**4/24 - f**3/2 - 13*f**2. Let y be x(7). Solve y*r + 6 = -6 for r.
-3
Suppose 23 = 2*k - 3*p, 2*p - 23 + 97 = 5*k. Solve 0 = -21*t + k*t + 25 for t.
5
Let g be (-12)/(-21) + (-54)/21. Let m(x) = x**3 + 4*x**2 + 5*x + 5. Let y be m(g). Solve -7 - 2 = y*c for c.
-3
Suppose -4*l + 5*d - 17 = 0, 2*l - 5*d = -4*d - 13. Let w be (-1)/4 + (-2)/l. Let v be (-320)/(-30)*(-3 + (-9)/(-2)). Solve w = 4*a - 0*a + v for a.
-4
Let t(w) = -w**2 - 7*w + 100. Let n be t(-14). Solve -n*p = p + p for p.
0
Suppose -130*j + 160 = -126*j. Let z be -6*(2 + j/(-15)). Solve z*r = 3*r + 5 for r.
5
Suppose 49 = -5*b + 164. Suppose b = 4*o - 5. Suppose o*f = 12*f. Solve f = -4*i - 12 - 0 for i.
-3
Suppose 0 = -3*g + g. Suppose g*n - n = 0. Suppose 0 = 2*l + 4*y + 4, 4*l - 2*y - 12 = -0*y. Solve l*w - 6*w + 20 = n for w.
5
Let v = -11 - -2. Let u be v/((-1)/2*-3). Let l = 12 + u. Solve -2 = -2*r + l for r.
4
Let c(b) = 87*b + 2. Let q be c(1). Let d = q + -83. Solve -d*x = -x for x.
0
Let a be ((-105)/14*-4)/2. Solve 65*n - 70*n = a for n.
-3
Suppose -5*j = 10, -3*j = 3*x - 409 - 1445. Let y be (4/(-6) - 0) + x/30. Solve 4*w = -0 + y for w.
5
Let l(f) = -21*f - 8. Let a(t) = -10*t - 4. Let c(g) = 13*a(g) - 6*l(g). Let b be c(-2). Solve 1 = o - b for o.
5
Let g = -3234 - -3234. Solve 14*b - 7 + 77 = g for b.
-5
Let s = 18 + -13. Suppose -5*h = -t - 32, 4*h - 2*t - 27 = -s. Suppose h*d + 2 = 8*d. Solve 0 = -d*f + f - 2 for f.
-2
Let l be (-28)/70 + (-24)/(-10). Solve -2*p = -0 + l for p.
-1
Let z = 828 + -817. Solve -6*l + z*l = -6*l for l.
0
Let c(f) = -f**3 - 12*f**2 + 43*f - 25. Let n be c(-15). Solve -n*p = -8*p + 3 for p.
1
Suppose -4*n - s + 2 = -5, 0 = -2*s + 6. Suppose 5*r - n = 9. Solve -3 - 3 = r*u for u.
-3
Let a(m) = -m**2 - 29*m + 2. Let b(v) = 15*v - 1. Let k(h) = -3*a(h) - 5*b(h). Let f be k(-5). Solve -2*p + f - 6 = 0 for p.
4
Suppose 0*s = s + 5*i + 19, -4*s - 2*i = 76. Let f be s/(-3) + 2/3. Let v = 14 - 1. Solve -v = -4*w + f for w.
5
Let i(o) = o + 5. Let j be i(-7). Let x be 4 + -5 + 5 + j. Solve 0*c + x*c = -4 for c.
-2
Suppose 3*x - 57 = -5*m, -x + 5*x + 2 = 2*m. Solve m*f = 11*f for f.
0
Suppose -5*a - 46 = -3*r, 3*r - 29 = -4*a - 1. Let v be (-7 + 5/5)*-3. Let z = v - r. Solve 3*g - 6 = z*g for g.
-2
Let n be 2/(-11)