se 24 = y + 2*y. Solve 5*k + y = 33 for k.
5
Let w be 5/(2/4*2). Suppose -q - 2*m + m + 2 = 0, -4*m = -4*q - 24. Let y be -1*-1*q/(-1). Solve -y*i = -3*i + w for i.
5
Let w be ((48/(-30))/(2/5))/(-1). Solve -w*y + 17 + 3 = 0 for y.
5
Let x = -7 - -3. Let q = 0 - x. Suppose 0 = -4*p + 4*v + q, v = 2*p + 2*v - 8. Solve b - 16 = -p*b for b.
4
Suppose 2*b = -2*f + 14, -2*f - 22 = -12. Solve 0 = -4*c + b + 8 for c.
5
Suppose -h - 8 = -5*h. Let b be h/11 - (-84)/22. Let d be (0/(-1))/(b/2). Solve 3*r + 17 - 2 = d for r.
-5
Let z = -4 + 7. Suppose 0 = -5*s - 5*d + 55, z*s - 41 = -6*d + d. Let c(b) = -b + 7. Let m be c(s). Solve m = -2*p - 2*p - 12 for p.
-3
Suppose -5*w = -0*w - 3*l, 0 = -3*l. Solve w = -9*a + 4*a + 20 for a.
4
Let t(i) be the third derivative of -i**6/120 + i**5/30 + i**4/8 - 4*i**2. Let y be t(3). Solve y*c + 5 = c for c.
5
Suppose 13*k - 20 - 6 = 0. Solve 0 = -2*a - 0*a + k for a.
1
Let o(y) = y**3 + 13*y**2 + 3. Let j be o(-13). Suppose -3*h + 1 = -2. Solve -w = j - h for w.
-2
Let l(z) be the first derivative of z**4/4 - 2*z**3 - 3*z**2 - 2*z - 6. Let v be l(7). Solve v*n = 17 + 3 for n.
4
Suppose -4*u = -5*g + g - 24, -5*g = 5*u + 10. Let o = g + 6. Solve -3*n - o = -8 for n.
2
Let k(m) = m**2 - m. Let o(z) = z**2 + 2*z - 5. Let b(g) = 2*k(g) - o(g). Let a be b(4). Solve 0 = j - a*j - 12 for j.
-3
Suppose -16 = -2*c + 3*a, -a + 18 + 22 = 5*c. Solve -5 = -c*q + 3*q for q.
1
Let y(u) = -2*u**3 - u**2 + 1. Let d be y(1). Let h(r) be the first derivative of -5*r**2/2 - 2*r - 1. Let n be h(d). Solve -2*z - n = -0*z for z.
-4
Suppose 3 + 15 = 6*x. Suppose 3*w = -7 - 17. Let m be (-3)/((-18)/w)*-6. Solve x*f - 2 = -m for f.
-2
Let x = 58 + -56. Solve 5*c = x*c for c.
0
Let f be 4/(-6) - (-52)/6. Let h be 42/f - (-2)/(-8). Suppose h + 1 = t. Solve -3*w = -t*w for w.
0
Let r(p) = p**2 - 8*p - 9. Let l be r(9). Let o be l/(2*2/(-4)). Solve o*u = -u + 5 for u.
5
Let a(z) = z**2 - 3*z + 4. Let l be a(3). Let i be (-6)/l*50/(-15). Suppose i*o = 8*o. Solve -4*t - 12 = -o*t for t.
-3
Let k = 0 + 2. Solve k*g + 2 = -0*g for g.
-1
Let v = -27 + 30. Solve x - v = -5 for x.
-2
Let d be (5/2)/((-40)/(-32)). Let g(j) = -j**2 - 10*j - 9. Let o be g(-6). Solve -d*z - o = -5*z for z.
5
Let l = 52 + -52. Solve l*z = 4*z + 16 for z.
-4
Let u = 13 - 9. Let d(v) = -v**3 - 4*v**2 - 5*v - 4. Let h be d(-3). Let c be (7/2)/(h/u). Solve 5*m + c = -8 for m.
-3
Suppose -5*u + 3*o + 27 = 0, 0*o + o - 25 = -4*u. Suppose u*h - 15 = h. Let l = 341 + -339. Solve -h = l*t + t for t.
-1
Let u(o) be the third derivative of -o**5/60 + o**4/3 + 5*o**3/6 - 9*o**2. Let s be u(7). Let r(n) = -n**2 + 8*n - 8. Let h be r(6). Solve -s = h*c - c for c.
-4
Let h be 88/20 - (-6)/10. Solve h*w + 10 = -0*w for w.
-2
Suppose -8 = -2*d + w, 3*w + 9 = -0*d + d. Let q(r) = r**2 - 2*r - 3. Let k be q(-2). Solve 0 = d*t + k + 1 for t.
-2
Suppose -4 = 2*x, 4*n = 3*x - 6 + 40. Let y = 7 - 5. Suppose 0*t + y*t - 10 = 0, 4*t = 2*h + 10. Solve n = h*m - 8 for m.
3
Suppose -5*o - i + 102 = 0, -i = -o - 6*i + 30. Solve -j + 5*j + o = 0 for j.
-5
Let n(s) = -12*s**3 - s**2 + 1. Let k be n(1). Let g = -2 - k. Solve 3*y + 5 = -g for y.
-5
Let w(p) be the second derivative of -p**6/180 - p**5/120 + p**4/6 - p. Let l(t) be the third derivative of w(t). Let z be l(-1). Solve -z*i + 1 = 4 for i.
-1
Let q be 3/2*(-4)/(-3). Let k(a) = a + 1. Let c(d) = -2*d - 2. Let m(p) = 5*c(p) + 5*k(p). Let w be m(-4). Solve -q*g - w = g for g.
-5
Let r(q) = 2*q + 11. Let s(b) = b + 6. Let x(m) = 6*r(m) - 11*s(m). Let f be x(-1). Let l be f/(1 - 6/5). Solve -l*a + 19 = -1 for a.
4
Suppose 5*i + 2 = -3. Let d = i - -3. Solve 0 = -x + d + 1 for x.
3
Let j(c) = -c**2 - 8*c - 8. Let b be j(-6). Solve -1 = -b*d - 17 for d.
-4
Let p be 44/10 + (-3)/(-5). Suppose 0 = -2*x + 4*b + 2, 5 = 7*x - 2*x - 2*b. Let v = 1 + x. Solve -v*s + p*s - 6 = 0 for s.
2
Let i be (-16)/6*-2 - 12/(-18). Solve a - 15 = i*a for a.
-3
Let h(a) = a**3 - 3*a**2 - 6*a - 5. Let f be h(5). Suppose -f = s - 2*s. Suppose -2*m + c = m - s, -17 = -5*m - c. Solve p + m = 5 for p.
1
Let i = -25 - -23. Let b be 0/((i - -3) + 0). Solve -d - 4 + 1 = b for d.
-3
Suppose -2*v + 2 + 4 = 0. Suppose -2*m - 2 - 14 = 0. Let p = m - -10. Solve -v*r - p = -4*r for r.
2
Suppose 4*a - 7 + 1 = o, a - 2*o + 2 = 0. Let b be a*6/(-4) + -3. Let p(x) = -3*x - 1. Let i be p(b). Solve -i - 3 = 4*k for k.
-5
Let t(x) be the second derivative of -x**3/6 - 3*x**2/2 + x. Let r be t(-6). Solve -q = -r*q + 2 for q.
1
Let w = 78 - 71. Let d = 8 - 5. Solve d*x - 16 = -w for x.
3
Suppose 0 = 4*y - 8. Suppose y - 47 = -3*o. Solve -l - o = -4*l for l.
5
Let a(u) = -4*u**3 - u**2 + 1. Let v be (2 - 4)*1/2. Let f = v - 0. Let k be a(f). Solve -t - k = t for t.
-2
Suppose -5*z + q + 6 = -0*q, -16 = -4*q. Suppose -4*d + 5*d - z = 0. Solve -4*a - d = -6*a for a.
1
Suppose 0 = -2*q - 3*b + 29, -5*q - 7*b = -6*b - 53. Solve 4 = -2*t + q for t.
3
Let t = 17 - 12. Let x(w) = -w - 1. Let v(p) = 8*p + 10. Let y(b) = -v(b) - 10*x(b). Let o be y(t). Solve -3*a - o = -a for a.
-5
Let c be ((-84)/(-49))/((-1)/(-7)). Suppose z + 4 = o, c = -2*o + 5*o - 5*z. Solve o*i = -i for i.
0
Let a(w) = w - 17. Let u be a(18). Solve -j + u = 4 for j.
-3
Let n = -6 + 6. Suppose n = 3*t - 5*t. Solve -w - 1 + 0 = t for w.
-1
Let n(g) = -4*g**2 - g**3 + 3*g**2 + 4*g**2 - 4*g**2 + 2. Let o be n(0). Solve -o*y = -6*y + 16 for y.
4
Let j(r) = 4 + r - 3*r - 6 + 1. Let p be j(-2). Solve -5 = -4*n + p for n.
2
Let k be 1/(-1 - 8/(-6)). Let x(r) = r**2 + 3. Let i(p) = 2*p**2 - p + 3. Let c(d) = k*x(d) - 2*i(d). Let h be c(3). Solve h = -0*j - 5*j for j.
0
Let y(x) = -x**3 - 4*x**2 - 2*x - 3. Let i be y(-4). Let s = 8 - 11. Let z = i + s. Solve -z*q = -7*q + 15 for q.
3
Suppose -5*x - 3*d + 30 = 0, -2*x + 0*d = -5*d + 19. Solve -x*o = o + 8 for o.
-2
Let k(q) = q + 19. Let o be k(-19). Solve m + o + 2 = 0 for m.
-2
Let t(n) = 2*n**2 - 6*n + 4. Let f be t(4). Suppose 0 = 2*v - 3*i + 21, 4*v = -7*i + 3*i - f. Let j = v + 9. Solve -j*c + c - 2 = 0 for c.
-1
Suppose 23 = 3*r - 5*t, 2*r + 4*t + t - 57 = 0. Suppose 27 = -4*n - 5. Let u = 8 + n. Solve -4*c + r = -u for c.
4
Suppose -6*l - 3 = -3*l. Let p be ((-4)/(12/9))/l. Solve p*q = -12 + 3 for q.
-3
Let h(u) = 4*u - 10. Let c be h(4). Solve -c*s - 5 = -s for s.
-1
Let a(j) = j**3 + 16*j**2 + 2*j. Let l be a(-16). Let m = -28 - l. Solve 0 = m*y + 16 for y.
-4
Let l be 1/(-4)*(-8)/1. Solve 0 = l*v + 3 - 1 for v.
-1
Suppose 1 + 4 = -5*c. Let h be (-23)/(-2) - c/(-2). Let l = -5 + h. Solve l = q + 1 for q.
5
Let m(l) = -l**3 + 10*l**2 + 12*l - 15. Let d be m(10). Let v be d/33 - 6/33. Solve -v*u + 9 = -6*u for u.
-3
Let i(o) = -o**3 - 6*o**2 + 2*o + 6. Let r be i(-6). Let h = 10 + r. Suppose -h*y - 16 = 0, -3*y + y - 8 = k. Solve -m + 0*m + 5 = k for m.
5
Let m(h) = 2*h**2 + 3. Let j be m(0). Let u(g) = 1 - 2*g + g - 5. Let x be u(-4). Solve x*n = j*n - 3 for n.
1
Suppose 0 = -0*r - 2*r + 8. Let b be (-7)/r + (-1)/4. Let z be (1 + -1)/(b - -3). Solve 4*x + 8 = -z*x for x.
-2
Suppose -4*z - 21 + 53 = 0. Suppose 4*k = 2*k + 6. Solve -k*o = 2 - z for o.
2
Let t(f) = -f**3 - f**2 + 3*f + 3. Let h be t(-3). Let s = h - 10. Solve 2*g + s + 0 = 0 for g.
-1
Let g(c) = 2*c - 6. Let d be g(5). Let h be (-3 + 2)/((-1)/9). Suppose 5*u - 2*w = -w + 17, -5*u + h = 3*w. Solve u*a + a = -d for a.
-1
Let g = -7 - -10. Suppose a = 4*n - 63, 2*n + g*a - 27 = 2*a. Suppose h + n = 5*v, v - h - 3 = -0*h. Solve 2*k = v*k + 3 for k.
-3
Let n be (-4 - -2)*-1*3. Let u = -4 + n. Let w = -1 + u. Solve a = -w - 4 for a.
-5
Let m(v) = v**2 + v + 12. Let o be m(0). Solve b - 4*b + o = 0 for b.
4
Let f(j) = j + 5*j**2 + 2 - 4 + 0 + j - j**3. Let l be f(5). Solve l = 7*w - 3*w for w.
2
Let d be ((-9)/(-27))/((-1)/33). Let a = d + 16. Solve 4*j = -j - a for j.
-1
Let t(m) = -2*m - 12. Let c be t(-6). Let s = 7 + -4. Suppose 0 = s*u - 4*u + 3. Solve o - u = -c for o.
3
Suppose 5*o = 106 - 91. Solve o*w - 1 = -4 for w.
-1
Suppose -2*p - r - 7 + 17 = 0, 0 = -2*p + 3*r - 6. Let x = -1 + p. Solve -x*w + 15 = -7*w for w.
-3
Suppose -3*w - 2*d = -9, 3 = -d - 0*d. Let h(j) = j**2 - 5*j. Let g be h(w). Suppose g = -4*q + 4 + 20. Solve 3*r = 6*r + q for r.
-2
Let i be 0/(-6) + 2 + 3. Solve -2*n + i*n = -3 for n.
-1
Suppose -