lve 0*n = z*n for n.
0
Let r = 38 + -33. Solve -a + 3 = r for a.
-2
Let r = -23 - -26. Solve r*d = -1 - 11 for d.
-4
Suppose -3*o = -2*w + 1, -5*o + o = -3*w + 2. Let v be w + -3 - 3*-1. Suppose -4*g = v*p - 26, 0*p + 2*p - g - 1 = 0. Solve p = 2*u - 1 for u.
2
Let w(x) = x**3 - 6*x**2 + 5*x + 4. Let v be w(5). Solve v = 2*a - 6 for a.
5
Suppose 5*d - 11 - 1 = 4*v, -3*v - d + 10 = 0. Solve f + 6 = -v*f for f.
-2
Let d(w) = 3*w**2 - 18*w + 19. Let p(n) = -2*n**2 + 12*n - 13. Let k(m) = -5*d(m) - 7*p(m). Let r be k(4). Let a = r + 1. Solve 0 = -t - a - 0 for t.
-5
Let w(u) = u - 10. Let n(s) = 3*s - 29. Let h(q) = 6*n(q) - 17*w(q). Let r = 1 - -6. Let l be h(r). Solve 0*t - l*t - 9 = 0 for t.
-3
Let q(d) = d**3 - 5*d**2 + 6*d. Let y be q(4). Let n(m) = 2*m - 10. Let f be n(y). Let k be (-20)/(-6) + (-6)/18. Solve 3 - f = k*u for u.
-1
Suppose -3*d - 12 = -5*d. Solve -d = 5*b + 4 for b.
-2
Let s = -12 - -13. Solve -c - 1 = s for c.
-2
Suppose o = -3*o + 12. Suppose -6 = -4*d - 3*h, 2*d + 6 = -0*d + o*h. Solve -3*f - f + 16 = d for f.
4
Suppose -2 = -a + 1. Let c be (a/(-2))/(6/(-32)). Solve -4*t + c = -0*t for t.
2
Let d = -73 - -75. Solve 0*l + 6 = -d*l for l.
-3
Suppose 11*s - 6*s - 30 = 0. Let p(f) = -f**2 - 6*f - 1. Let i be p(-5). Suppose -i*q + 40 = 4*r, -q + 20 = q + 5*r. Solve s = 4*b - q for b.
4
Suppose -3*w + 5*w + 40 = 4*b, 0 = -3*w - 6. Let u = b + -9. Solve -2*i - 2 - 8 = u for i.
-5
Let k = 8 - 11. Let h = -1 - k. Let z(p) = 12*p + 1. Let o be z(h). Solve -5*t - 5 = -o for t.
4
Let a be 32/6 + (-6)/(-9). Suppose -5*m + 4*m + a = 0. Solve -m*n = -n - 5 for n.
1
Let p be -2*(-8)/16 + 1/(-1). Solve p = -2*y - 3 + 7 for y.
2
Let i = 7 - 3. Suppose -3*z + 5*w = -i, 4 - 3 = w. Let u = z + -3. Solve -n - 2*n - 9 = u for n.
-3
Let w(x) = -x. Let b(z) = z**3 - 2*z**2 + 4. Let j(g) = b(g) + 3*w(g). Let y be j(3). Solve -y*h + 5*h = -5 for h.
-5
Suppose -p = -4*p + 6. Suppose 0 = t - 2. Suppose -2 = t*r + 2*o, -p*r = r + 5*o + 13. Solve 3*g = 2 + r for g.
2
Let b = 45 - 42. Let l = 2 - -7. Solve 0*c - l = b*c for c.
-3
Let y be 6/21 - (-158)/(-14). Let b = y + 14. Solve -b*i - 9 = -0 for i.
-3
Suppose v + 5*n + 15 = 0, 3*n - 3 = 4*n. Let a(i) = -i**3 + i**2 - i + 5. Let y be a(v). Solve y*r - 15 = -0 for r.
3
Let t(u) = -u**3 + 5*u**2 - 7*u + 5. Let n be t(4). Let s = 10 + n. Solve 0 = i - s*i for i.
0
Let y(l) = -l**3 + 7*l**2 - 5*l + 9. Let n be y(6). Let s be 1/((-3)/(-6)*1). Suppose 0 = -s*v - 0*v. Solve v = -2*x - x - n for x.
-5
Let l(o) = -o**2 + 6*o - 6. Let f be l(4). Solve f*j - j - 3 = 0 for j.
3
Let k(p) = -p**3 + 5*p**2 + 7*p - 2. Let c = 8 - 2. Let b be k(c). Suppose 40 = 5*x - 5*w, -b*w + 1 + 3 = 2*x. Solve -x*z = -z - 15 for z.
3
Let k = 9 - 6. Solve k*w = 4*w + 5 for w.
-5
Let f(s) = s + 8. Let h be f(-7). Let u be (2 - (1 + h))/2. Let v = u - -1. Solve v = -5*i - 4 for i.
-1
Let h = 6 - 6. Suppose 4*o + h = 20. Solve -8 = q - o for q.
-3
Let m be 2 - 3 - (-20 + (-4)/(-1)). Solve 5*g = -0*g - m for g.
-3
Let i be (-5)/(-3) + 2/6. Solve 0 = h + i*h - 15 for h.
5
Let r(g) = g**3 + 2*g**2 + 2. Let k be r(-2). Suppose w = 5*d - 3 + 4, -2*d + 3*w - 3 = 0. Suppose -q + d = -2*a + 10, -3*a + 15 = 3*q. Solve q + 6 = k*o for o.
3
Suppose 7*k - 2*k - 4*b = -30, 5*k - 3*b + 35 = 0. Let d = 2 + k. Let p = d - -14. Solve 9 = -3*x - p for x.
-5
Let z(g) = g**3 + 6*g**2 - g + 1. Let b be z(-6). Let m = b - 7. Solve m = -3*d + 22 - 7 for d.
5
Let f(g) be the third derivative of -g**4/24 + 11*g**3/6 + 8*g**2. Let p be f(7). Solve 12 = -p*x - 0 for x.
-3
Let s(t) = -t**3 + 6*t**2 - 3*t - 7. Let w(f) = -7*f - 2. Let a be w(-1). Let c be s(a). Solve -13 = 5*o - c for o.
-2
Suppose 14*g - 170 = -58. Solve -i + g = 3 for i.
5
Suppose q + 0*q = 4. Suppose d + 8 = 2*l, 5*d - q = -2*l - 8. Suppose 0*m + l*m = 9. Solve m*r = r for r.
0
Let v(u) = u + 3. Let q be v(5). Solve 2 = -5*h - q for h.
-2
Let i = -8 + 20. Let d = 37 - i. Solve -5*g - d = -0 for g.
-5
Let w(u) be the third derivative of u**5/60 + u**4/3 - 2*u**2. Let f be w(-8). Solve f = -0*q + 4*q + 20 for q.
-5
Suppose 2*h = -0*h + 6. Suppose h*x - y - 20 = 0, x = -y - 0*y. Solve 2*d + 15 - x = 0 for d.
-5
Suppose -5*q + 16 + 9 = 0. Suppose 0*j = j. Solve q*u - 4*u + 3 = j for u.
-3
Suppose -2*d = 2*f, 0*f + 28 = 5*d - 2*f. Solve -3*a - d = -1 for a.
-1
Let f = -11 - -16. Let c be -1 + 2 - f/(-5). Solve 0*u + 10 = c*u for u.
5
Let j be ((-12)/15)/((-4)/60). Suppose 5*q - 2*q = j. Solve 0 = -q*z + 5*z + 1 for z.
-1
Suppose h - 6 = 4*h. Let k be 2 - 0/h - 1. Suppose -k - 1 = -2*m. Solve -m = 2*x + 1 for x.
-1
Suppose -2*j + j = 0. Suppose 0 = 3*m - j*m. Solve 3*l + m*l = 0 for l.
0
Let m(b) = b**3 + 8*b**2 - 8*b - 3. Let z be m(-9). Let p = z - -14. Let y = -3 - -5. Solve -p*o = y*o for o.
0
Let y be ((-3)/(-1))/((-3)/(-17)). Let w = y - 17. Solve w = c - 4*c + 6 for c.
2
Let z(k) = k**2 + 3*k - 2. Let t be z(-4). Suppose -2*q + 32 = 2*q + 2*x, -5*x = t*q - 24. Solve -2*r + q*r - 5 = 0 for r.
1
Let u = 3 + -1. Let p(w) = 3*w**2. Let l be p(u). Solve 0*c - l = 3*c for c.
-4
Let b(m) = -3*m - 5. Let g be b(-9). Suppose 3*z - g = 4*y - 0*y, 5*z - 25 = -5*y. Let o be (1 - -17)*4/z. Solve -o = 3*s - 6*s for s.
4
Suppose 2*c + 2*c - 4*m = 16, 2*c + 3*m - 28 = 0. Let p be (2*15/(-20))/(3/(-4)). Solve 3*n = p - c for n.
-2
Let t(o) = o**3 - 18*o**2 - o + 22. Let f be t(18). Solve f*z = z for z.
0
Suppose 3*g - 2*z + 17 = 2, 5*g + 2*z = -9. Let r = 10 + -5. Let t = g + r. Solve t + 13 = 5*n for n.
3
Let u = -1 + 5. Suppose -5*r = -r + 3*m, -u*r + m = 0. Solve r*f - 15 = -3*f for f.
5
Suppose 18*k - 15*k - 15 = 0. Solve -8 = -f + k*f for f.
-2
Suppose 4 = 6*b - 4*b. Solve 1 + 1 = b*q for q.
1
Suppose 4*f - y = 35, 4*y - 2*y = -3*f + 18. Let g be 0 + 1 + (1 - -3). Solve g*b + f = -7 for b.
-3
Let z(i) = -3*i - 67. Let t be z(-24). Solve 0 = t*g - 10 - 0 for g.
2
Let u = -1 - -5. Solve u*w - w + 9 = 0 for w.
-3
Let z = 107 + -95. Solve 5*l = 9*l - z for l.
3
Let c = 10 - 6. Suppose -c*g = g + 5*v - 115, 4*g - v - 117 = 0. Suppose -4*a = 2*o - g, -3*a = -0*a - o - 16. Solve -5*z = a - 16 for z.
2
Suppose 3*l = -3 - 6. Let t be (5/(-2))/(l/6). Solve t*v - 32 = -12 for v.
4
Let x = 7 - 6. Suppose t + q = x, t + 3*q - 2 = -3*t. Let c be t/(-1)*0/1. Solve 0 = -c*o - 5*o + 20 for o.
4
Let f(u) = -u**2 - 9*u + 2. Let w be f(-9). Suppose 2*i + 3*j + 1 = -3, 3*i - 20 = w*j. Solve i*m - 4 = 3*m for m.
4
Let j(i) = i**2 - 4*i - 1. Suppose 20 = 5*n - 0. Let s be j(n). Let p be (4 - 4)/(2 + s). Solve 0*r - 4*r - 8 = p for r.
-2
Let d be (-60)/(-14) + 22/(-77). Suppose d*o = -0*o. Solve 4*i + o*i = -8 for i.
-2
Let l be (-2)/(-6)*0 + 0. Solve -3*x - 2*x = l for x.
0
Suppose 81*l - 84*l = 0. Solve l*d = -4*d - 20 for d.
-5
Suppose -3*u + 5*t + 35 = 0, -3*u - 4*t = -t - 27. Let h(o) = -5*o + 1. Let n be h(-1). Solve -n*f + f = u for f.
-2
Let k(m) = 0*m**3 - 8*m**2 + 9*m**2 + m**3. Let s be k(-1). Solve a = -s*a + 3 for a.
3
Suppose 0 = -t - 5*c + 29, t + 2*c - 19 = -c. Solve 7 + 1 = t*l for l.
2
Let w(u) = -4*u - 4. Let q be w(-2). Let x = -7 + 11. Solve x*o = 20 - q for o.
4
Let a = -86 + 92. Solve 1 + 17 = -a*t for t.
-3
Let u = 7 - 6. Solve -n + 2 = -u for n.
3
Suppose 9*m + 4*w + 26 = 14*m, -30 = -5*m + 5*w. Let z(k) = -k + 2. Let t be z(2). Solve -r - m - 2 = t for r.
-4
Let m = 105 - 103. Let f be (-16)/(-7) - (-2)/(-7). Solve 0 = m*u - 0*u + f for u.
-1
Let q be (2 + 1)/3*0. Suppose -j + 0*j = q. Suppose j = t - 3*t + 4. Solve t*v + 9 = -v for v.
-3
Suppose -2*g + 0*g = 4*h - 58, h + 13 = 5*g. Suppose 4*c = 4*o - 16, -2*o + 5*c = -6*o + 7. Solve -o*s = -0*s + h for s.
-4
Let i = 4 + -5. Let c be -1 - (0/i - 2). Suppose 2*o - 12 = -2*o. Solve c = 2*f + o for f.
-1
Let h = -16 - -2. Let q = h + 30. Solve -2*t - q = 2*t for t.
-4
Let p(g) = 26*g + 7. Let n be p(3). Suppose -5*i - 5*b + n = 0, 4*i + i + 2*b - 85 = 0. Solve 0 = -5*y - 8 - i for y.
-5
Suppose 5*f - 5*n - 45 = 0, -n + 3*n - 47 = -3*f. Let p = -9 + f. Solve p*w = -0*w + 4 for w.
1
Let c be 9*(0 + 2/6). Suppose -z - 9 = c*l, 2*z - l - 8 - 2 = 0. Suppose -2*v = -z*v. Solve v = 5*o + 17 - 2 for o.
-3
Suppose 2*t - 2 = 10. Suppose 4*l + 4*u = -20, -4 = l + 4*u + 4. Let k = t + l. Solve -3*j = k*j for j.
0
Let z be (-2)/5 + 44/10. Let d(l) = l**3 + 7*l**