
Suppose -5*z - 5*a = 15, 0 = z + 3*a - 6*a - 17. Solve z = -o - 1 for o.
-3
Let r(s) = -s**3 - 7*s**2 + 7*s - 6. Let i(h) = -8*h. Let j be i(1). Let a be r(j). Solve a = -f + 3*f for f.
1
Let t(q) be the first derivative of -q**2/2 - 9*q - 5. Let v be t(-14). Solve 4 = -v*g - 6 for g.
-2
Suppose -5*k + 4*l + 20 = 0, 5*k - 4*l = 4*k + 20. Suppose k = j - 5*w - 14, -4 = -j + 2*w + 7. Solve 0 = -2*u + 1 + j for u.
5
Suppose 34 = -3*o + a, 2*o = -3*o + 5*a - 50. Let f = -12 - o. Solve f = 2*j + 2*j - 8 for j.
2
Let l(v) = -14*v - 1. Let c be l(1). Let q be (33/c - -1)*-10. Solve t + q = 4*t for t.
4
Let h = -41 - -42. Suppose -d = -3 - 2. Solve 4 = -d*n - h for n.
-1
Let p(y) be the first derivative of y**4/4 + 7*y**3/3 - 7*y**2/2 + 11*y - 2. Let n be p(-8). Solve -2*c = c + n for c.
-1
Let n be ((-4)/3)/((-6)/108*8). Solve n*c = -4 - 5 for c.
-3
Suppose 4*f - 4*z = 4, -7 = -2*f - 0*f + z. Suppose 10 = -q + f*q. Solve 2*d + q = 4 for d.
1
Let w be 1/2*4 + -8. Let m(u) = -u**3 - 6*u**2 + 8. Let c be m(w). Solve 3*v + c = -7 for v.
-5
Suppose -2*l = -4*l + 2*g + 12, 0 = 5*g - 15. Let n be (18/4)/(l/24). Let q be (n - -3)/3 + 3. Solve 3 = 5*y + q for y.
-1
Let r = 1 - -4. Suppose -5*m = -m - 4*u - 8, -5*u = 25. Let c = -3 - m. Solve 15 = r*t - c*t for t.
3
Let w(j) = j**2 - 2*j - 1. Let x = 6 + -7. Let u be w(x). Suppose 0 = -u*k - 1 + 11. Solve -2*l - 5 = k for l.
-5
Suppose -36 = 2*b + 5*h, -4*h = 4*b + 15 + 33. Let x(v) = -3*v - 18. Let l be x(b). Solve -10 = 4*f + l for f.
-4
Suppose 3*u + 10 = u - 4*f, -5*f - 15 = 2*u. Suppose -9 = -z - u. Solve j + z + 1 = 0 for j.
-5
Let t be 16/4 - 0 - -6. Solve 5*b + t + 5 = 0 for b.
-3
Suppose 3*m + 0*t - 20 = 4*t, 2*t + 16 = 3*m. Solve m*q + 20 = -0*q for q.
-5
Let s(k) be the first derivative of -5*k**2/2 - 3*k + 3. Let j be s(3). Let z be (1 - 0)/((-6)/j). Solve z*v + 6 = -3 for v.
-3
Let x(u) = -u + 10. Let d be 4 + ((-1)/1 - -7). Let o be x(d). Solve o = 6*j - 2*j for j.
0
Let n = 118 + -111. Solve n*y - 25 = 2*y for y.
5
Let c = 11 + -7. Suppose 0 = -5*d + 4*k - 1, k + 3 - 7 = 0. Suppose -6*v = -5*v - d. Solve 0 = -v*g - 7 + c for g.
-1
Let a be 27/(-3)*(-8)/6. Let w = a - 30. Let o be w*(-1 + 4)/(-3). Solve o = -3*f + 3 for f.
-5
Let k be -9*1*20/(-30). Solve -2 = 2*f - k for f.
2
Suppose -9*s = -13*s + 44. Solve -2*h - 1 + s = 0 for h.
5
Suppose -2*l = -4*f - 4 - 6, 2*l - 10 = -3*f. Suppose 8 = 4*k - f. Solve y - 4 = -k for y.
2
Let g be (0 - -8)*5/10. Suppose 30 = g*c + c. Let x(m) = m**3 - 7*m**2 + 10*m - 8. Let d be x(c). Solve q = 5*q - d for q.
4
Let t = 20 - 15. Solve 2*r = t + 1 for r.
3
Let u be (5/(-3))/((-4)/36). Solve -4*g + 1 = -u for g.
4
Let b(l) = l**3 + 5*l**2 - 4*l + 8. Let m be b(-6). Let o = -4 - m. Let p = 13 - 9. Solve r = -o*r + p for r.
4
Suppose 2*k + 12 = 6*k. Suppose 5*t - 21 = k*z, -t = -2*t + 2*z. Solve -t*u = -4*u - 4 for u.
2
Let t = -3 - 1. Let b = 9 + t. Solve 5 + 5 = -b*m for m.
-2
Let o(n) = -2*n**3 - 3*n**2 - n - 1. Suppose -4*y = 2*l, -y - l + 3 = 1. Let p be o(y). Suppose 0 = -p*f + 10 - 0. Solve 4*g - 18 = f for g.
5
Let o = 7 - -2. Suppose -5*s + o + 6 = 0, 0 = 4*v + 2*s - 30. Solve v = 4*j + 2 for j.
1
Suppose 5*i - s + 9 = 21, s = -4*i + 6. Suppose o = i*o. Solve o*u + 5*u = 0 for u.
0
Suppose -3*j = -t + 14, 14 = -0*t - 3*t - 5*j. Let x be (3 + -10)/((-4)/4). Solve x*g = t*g for g.
0
Let b be (4/3)/(1/(-6)). Let g(r) = -r**3 - 7*r**2 + 8*r + 4. Let q be g(b). Let o be 0 + (6 - 2 - 2). Solve o*t + 0 = q for t.
2
Suppose 0 = 4*x + k - 6*k - 7, k = -5*x + 16. Solve -1 = 2*b - x for b.
1
Suppose -4*n + 16 = 5*m, n - 20 = 3*m - 4*n. Solve m - 25 = 5*w for w.
-5
Suppose -l - 10 = -z, 2*z + l - 31 = -11. Solve x + z = -x for x.
-5
Let b = 2 - -33. Let a be 30/7 - 10/b. Solve -a*f = -f for f.
0
Let r(i) = -i - 2. Let c be r(-5). Suppose 0*v + 44 = 4*p - 4*v, 39 = 3*p - 5*v. Solve w = c*w - p for w.
4
Suppose 3*h - 25 = -7. Solve 0 = -3*d + d + h for d.
3
Let i(k) = -k**3 - 7*k**2 - 7*k - 5. Let c(x) = -x**2 - 5*x - 6. Let a be c(-5). Let j be i(a). Solve m + j = 2 for m.
1
Let k(y) = y**3 + 10*y**2 + 7*y - 13. Let p be k(-9). Let o = -3 + p. Solve -o*r = r for r.
0
Let k(o) = -o**3 - o**2 - o - 1. Let s be k(-1). Solve -2*q - 2*q + 12 = s for q.
3
Let s(l) = -l**3 - l**2 - l - 1. Let t be s(-2). Solve t*o - o = -4 for o.
-1
Let q(s) = -2*s**2 + 3. Let h be q(3). Suppose 3*f + k + 12 + 74 = 0, 0 = f - 5*k + 34. Let a = h - f. Solve 0 = -5*i - 1 - a for i.
-3
Suppose b = 2*b - 4, -3*p = b - 4. Suppose 0 = 2*w - 2*z - 6, 5*z = -w - p*z - 15. Let r be (-16)/(-6) + (-6)/9. Solve -r*i - 2*i = w for i.
0
Suppose 4*f = -5*z + f + 12, 5*z - 3*f = 18. Let k(m) = m**z + 0*m - 4*m + 0 - 3*m + 6*m**2 + 5. Let r be k(-7). Solve 0 = r*a - 3 - 2 for a.
1
Let d be (-3)/(-2) + 4/8. Suppose -2*u + 8 - 4 = 0. Solve -d*r = -r + u for r.
-2
Let x(l) = -l**2 + 5*l - 3. Let w be x(4). Let g = 7 + w. Solve -g = -4*t - 0 for t.
2
Suppose -3 = -2*l + 7. Suppose -4 - 11 = -l*c. Suppose 0*y + 2*y + 5*v - 7 = 0, 4*y + 3*v = 7. Solve c*b + y = -2 for b.
-1
Suppose -5*h + 4*y + 3 = 0, 11 = 4*h + 5*y - 16. Suppose -4*c = -c - q - 32, -11 = -4*c - 5*q. Solve 3 = -h*u - c for u.
-4
Let u(q) = -q + 15. Let t be u(0). Suppose 0*w - t = 5*w, -2*k + 16 = -4*w. Suppose 0 = 2*j + k*j. Solve -5*m = 15 - j for m.
-3
Suppose 4 = -4*o - 8. Let c be 12 - (3/o - -2). Suppose 0 = 3*a + 3*n - 33, 4*a + c = 5*a + 3*n. Solve -4*i - 27 + a = 0 for i.
-4
Suppose -5*r = -3*r - 30. Suppose r = -3*d + 6, -5*l - 2 = 4*d. Solve 0*j = -l*j for j.
0
Suppose 3 = 4*y - 1. Suppose -5*n - 2*o + 9 = 0, -4*o + o = -3*n + 18. Let f = -1 + 3. Solve f = n*q - y for q.
1
Let r(u) = -u**3 + 4*u**2 - 2*u - 1. Let k be -27*(0 - 2)/6. Let l = -6 + k. Let n be r(l). Solve n*w - 3 = 3 for w.
3
Let v(q) = -36*q + 6. Let b(g) be the third derivative of 7*g**4/24 - g**3/6 + g**2. Let f(p) = -11*b(p) - 2*v(p). Let i be f(-1). Solve i*j - 5 = -25 for j.
-5
Let t be 18/5 + 6/(-10). Let i(v) = 2*v - 4. Let x be i(t). Suppose 0 = 4*a - 20 + 8. Solve -p - x*p = -a for p.
1
Let o be ((-6)/5 - -2)*5. Let k(q) = -1 - 2 - 3 - q + 4*q. Let t be k(o). Solve t = -3*g + g for g.
-3
Let q(f) = f**2 - 4*f - 28. Let c be q(-4). Let l be (1 - 1)/(2 + -1). Solve l*r = -c*r for r.
0
Suppose 3*y - 26 = -0*y + 4*s, -4*y - 5*s = -14. Solve y*o = 2*o - 16 for o.
-4
Suppose -x = -3*x - 14. Let i = -8 - x. Let s be ((-24)/(-16))/(i/(-2)). Solve s*z + 2*z = 0 for z.
0
Let i be (-159)/(-15) + 6/15. Let w = -7 + i. Suppose 5*r - 21 - 3 = -4*o, 2*o = -r + 6. Solve -o = -w*q - 5 for q.
-1
Suppose 48 - 52 = -2*x. Solve q - x*q + 3 = 0 for q.
3
Let r(z) be the first derivative of z**4/4 + 4*z**3/3 + z**2/2 + 2*z - 2. Let c be r(-4). Let b be (c - (0 - 1)) + 1. Solve 3*k + b*k - 12 = 0 for k.
4
Let i(o) = 2*o - 2. Let j be i(2). Suppose 4*w - 18 = -j*a, a - 5*w = -6 + 15. Solve 0 = 4*r - 7 - a for r.
4
Let o = -6 + 8. Solve -6*q = -o*q for q.
0
Suppose -2*m + 11 = 1. Suppose -h + 0 = -5, 0 = 5*i + 3*h - 15. Solve i*c + m = c for c.
5
Let q be (-4)/6 + 16/6. Suppose -7*v + 15 = -q*v. Let w = 4 + 1. Solve w*u = 4*u - v for u.
-3
Let x(r) = -r**2 - 7*r - 7. Let b(y) = 4*y + 4. Let v(m) = -5*b(m) - 3*x(m). Let n be v(2). Let g(k) = -k**2 + 5*k. Let z be g(4). Solve t - n = z*t for t.
-5
Let n(z) = z + 7. Let x be n(-7). Suppose x*d = -d. Solve d = 3*m + 6 for m.
-2
Suppose 5*v - 5 = -0*v. Solve 6 - v = m for m.
5
Let h = 44 + -12. Let l = h - 17. Solve 0*y = 3*y - l for y.
5
Let j = 130 + -92. Suppose 2*r + 0 = j. Solve 0 = 5*t - r - 1 for t.
4
Let l = -20 + 25. Solve 0 = -2*p + 5 + l for p.
5
Suppose d = 4*p + 26, 0*d + 2*d - 4*p = 32. Solve -m - 10 = -d*m for m.
2
Suppose 5*t = -10, -4*z + 18 = 4*t - 3*t. Suppose 0 = -2*r + 2, -z*r + 1 = 3*v - 5*v. Let k = 1 - -1. Solve -6 + v = -k*m for m.
2
Suppose -t + 4 = 2. Suppose -3*q = 5*j - 32, -t*j + 4*j - 24 = -4*q. Suppose d - 36 = -j*p + 23, -4*p - 3*d = -57. Solve 0 = 3*a - 0 + p for a.
-5
Let a(l) = -l**2 + 7*l - 2. Let s be a(6). Let c = 6 + 1. Solve c*i = s*i + 3 for i.
1
Suppose -5*c = -c + 20. Let p = c + 5. Solve -2*m + 0*m - 8 = p for m.
-4
Suppose -s = -1 + 6. Let l be ((-8)/10)/(1/s). Solve y = -y + l for y.
2
Let b = 9 - 6. Let j(o) = o**3 + 5*o**2 - 9*o - 10. Let u be j(-7). Let f be u/12*(-16)/3. Solve -2*q - f = 