z be (-102)/(-14) - (-12)/(-42). Suppose 2*f + 14 = -5*a, f - 4*a - a = 23. Solve -2*w = -z + f for w.
2
Suppose -1 = 4*p - 9. Suppose -p*k + 48 = 2*k. Solve 4*w - 8*w + k = 0 for w.
3
Let y(c) = -c**2 + 9*c - 14. Let q be y(4). Solve 5*r - 2*r = -q for r.
-2
Let a(x) = x**2 + 30*x - 58. Let p be a(-32). Solve -p*n = -10*n - 16 for n.
-4
Let w(y) = -y**3 - 18*y**2 + 18*y - 19. Let c be w(-19). Suppose -54 = -4*p + 6. Solve c*u = -3*u - p for u.
-5
Let i(c) = 2*c**2 + c. Suppose -v = -2*v - 2. Let n be i(v). Solve n + 9 = -3*b for b.
-5
Let h be (4/6)/(6/27). Suppose 0 - 12 = -h*i. Solve -3*k + 11 + i = 0 for k.
5
Suppose 0 = 3*w - z + 5, 5*w + 4*z = -0*z + 20. Solve w*r + 5 = -5*r for r.
-1
Let r(p) = p**2 + 6*p - 7. Let s be r(-7). Suppose 4 = 4*i - s. Let y(o) = -2*o - 3. Let j be y(-4). Solve -j*g + 11 = i for g.
2
Let w be (-2)/(-6) - 2/6. Suppose w*c = c - 7. Solve -5*r = -c - 18 for r.
5
Suppose 3*q + 20 = 13*q. Let o = 4 + -1. Solve 0 = -5*s + q*s - o for s.
-1
Suppose -66 = -2*l - 4*h - 22, 0 = 4*l + 4*h - 68. Let g(t) = t**2 + 3*t - 4. Let i(b) = -b + 1. Let q be i(5). Let w be g(q). Solve -6*j + 3*j - l = w for j.
-4
Suppose 0 = -3*g + 5*g - 12. Suppose g*n - 15 = 3*n. Solve 11 = n*a + 1 for a.
2
Suppose -3*f - 2*f + 15 = 0, -5*f = -s - 12. Let t be 3/6 + 2/4. Suppose -s = -v + t. Solve 3*q - q + v = 0 for q.
-2
Let v(k) = k**2 + 6*k + 7. Let s be v(-5). Let u be s/8*(-24)/(-3). Solve -3*l = -u*l for l.
0
Let b be ((-4)/(-6))/(6/9). Solve -1 = -w + b for w.
2
Let v(w) = w**2 + 12*w + 6. Let f(o) = 12*o**3 - o**2 - o. Let q be f(-1). Let n be v(q). Let b be (-1)/1*2 + 27. Solve n*p = p - b for p.
-5
Let u be 1 + -2 - (-18)/6. Let q(y) = -y**3 - 2*y**u + 4 - 3 + 0*y**2 + 3*y**2. Let h be q(0). Solve 2*w + h = -9 for w.
-5
Suppose -3*d = -75 - 3. Suppose -d = 3*u - 5*u. Solve -u = 5*b - 33 for b.
4
Let c be (-3)/(12/10)*12/(-10). Solve 16 = c*j + j for j.
4
Suppose -3*w - 2 - 10 = 0, -2*w = 5*b - 42. Let u(f) = -f**2 + 9*f. Let g be u(b). Let n(o) = -o**2 - 12*o - 8. Let y be n(g). Solve -4 + y = 2*x for x.
4
Let y = 64 + -60. Solve 0 = -y*k + 7 - 19 for k.
-3
Let c be ((-4)/(-8))/(1/2). Let i = 2 + c. Suppose i*x = -3 + 15. Solve -x*u = -2*u - 4 for u.
2
Suppose 0 = 3*j + 5*z - 4, 0 = 2*j - 5*z - 0*z - 11. Let t = 9 - 3. Solve -j*y - 3 = -t*y for y.
1
Let b be (-13 - 4/2)*-1. Solve 0*j - b = -5*j for j.
3
Suppose -r - 2*g + 10 = 0, 2*r - 14 = -2*g + 2. Solve -t = r - 2 for t.
-4
Let l be 20/(-6)*(-3 + (-6)/(-5)). Let t(j) = -j**2 - 3*j - 2. Let x be t(-2). Suppose 4*d = -2*r + 4, 5*d + 2*r - 7 + 1 = x. Solve 4*h - l = -d for h.
1
Let k(a) = 5*a + 1. Let x be k(2). Solve 2*d = -x + 1 for d.
-5
Let j(r) = 2*r**2 + 6*r + 3. Let g be j(-4). Let q = 21 - g. Suppose 0 = -3*k + 28 - q. Solve o + 15 = k*o for o.
3
Let a be (-74)/(-8) - 3/12 - 0. Solve 0 = -0*p - 3*p - a for p.
-3
Suppose 5*g = -2*k - 39, -5*g + k = 2*k + 37. Let a(l) = -1. Let p(x) = x**2 + 6*x + 2. Let c(w) = 6*a(w) + p(w). Let t be c(g). Solve -t*j - j + 12 = 0 for j.
3
Suppose 0 = -0*c + 4*c. Solve c*u = -2*u + 6 for u.
3
Let u(o) = -o - 2. Let f be u(-4). Suppose -3*i - 4*l = 6, 5*i + f*l - 7*l - 25 = 0. Solve -2*p = i*p + 4 for p.
-1
Let w be -2 + (48 - (-6)/(-2)). Let n = w - 23. Solve -6*y = -2*y + n for y.
-5
Suppose 2*b - 19 + 5 = -5*d, -2 = b - 2*d. Suppose -z + 3 = -b*x + 4, -5*z - 5 = 0. Solve 0 = y - 2 - x for y.
2
Let a(m) = 238*m + 1. Let p be a(1). Let w = p - 143. Let u be w/40 - (-4)/(-10). Solve -n - 12 = u*n for n.
-4
Let i(f) = f + 4. Let j = 13 - 15. Let a be i(j). Solve -a*x = x for x.
0
Suppose 6*j - 56 = 2*j. Suppose -s = s - j. Let h = -8 - -11. Solve -s*d = -h*d for d.
0
Let h(i) be the first derivative of i**3/3 - 2*i + 4. Let c be h(-2). Solve -c*a + 4 = -6*a for a.
-1
Let u = -59 - -64. Solve -4*t - 9 = -u for t.
-1
Suppose 2*x - 122 = 2*j, -5*x - 3 = 7. Let h be (-27)/j - (-18)/7. Let v be -1 - -1*1 - -5. Solve -h*p + 20 = v for p.
5
Let v be 9 + 1*(-1 + 2). Let d = v - 6. Solve 0*b = -d*b + 4 for b.
1
Suppose 5*f + 2 = 2*o, -3*o + 1 + 2 = f. Solve 5*h - 3 - 2 = f for h.
1
Let l = -29 - -29. Solve -10 = -2*v - l for v.
5
Suppose 5 = -5*h + 90. Solve 0 = -13*c + h*c - 12 for c.
3
Let p(v) be the second derivative of v**4/12 - v. Let r be p(-2). Solve -r = 5*h - 19 for h.
3
Let d be (4/6 - 1)*-33. Suppose 22 = 5*w - 4*g + g, -d = -2*w - g. Suppose -w*y = -3*n - 1, 5*n - 22 = -3*y - 1. Solve 2 = h - n for h.
5
Let u be -20 + 16 - (2/2 + -8). Solve q - u = -7 for q.
-4
Let p = -4 + 8. Solve -2 = p*g + 2 for g.
-1
Let d(q) = -q + 3. Let p be d(7). Let s be (259/14)/((-2)/p). Suppose 5*l = 3 + s. Solve -2 + l = -2*u for u.
-3
Let a = -6 + 4. Suppose z = -z. Let i = z - a. Solve 3*p - 1 = i for p.
1
Let m(b) = b + 3. Let w(s) = s + 2. Let t(j) = -3*m(j) + 4*w(j). Let a be t(5). Solve 5*p - 1 = a for p.
1
Suppose -2*f + 2 + 10 = 0. Suppose 4*t - 2*h + f - 14 = 0, -h = -t. Suppose 15 = t*n + 3. Solve 0 = -2*a + 5*a + n for a.
-1
Suppose 0 = -f + 3*f - 92. Let r = 64 - f. Suppose 5*i - 2*i + 2*y - 7 = 0, 3*y + r = 5*i. Solve -2*w - i = w for w.
-1
Suppose -26 = -5*p - 3*q, -5*p + q + 8 = -10. Let l = -6 - -10. Suppose -l*t + 48 = -4*w + 2*w, -4*w + 4 = 2*t. Solve 2*r - t = p*r for r.
-5
Let w be 50/6 + 8/(-24). Solve -w = 4*l - 0 for l.
-2
Suppose -2*o + 71 = 17. Solve 0 = 4*l - o + 7 for l.
5
Suppose -2*d - 14 = -20. Solve -5*k - 4 = -d*k for k.
-2
Let z = 32 + -20. Let q = z + -4. Suppose -q*r + 4*r + 6 = -2*i, -5*r = 2*i - 21. Solve 1 = y - i for y.
4
Suppose -w + 9 = 3*s - 4*w, -5 = 3*s + 4*w. Suppose 0*h = h. Let f = s + h. Solve -x + f = -2 for x.
3
Let h(s) = -3*s - 12. Let i(r) = r + 6. Let l(a) = -3*h(a) - 7*i(a). Let k be l(6). Solve -5*j + 1 = k for j.
-1
Let x = 2 + -3. Let g(d) = -4*d**3 - d**2 + 1. Let j be g(x). Solve -j*r = -0*r + 12 for r.
-3
Suppose 5*j = -2*w - 19, 4*j + 35 = 3*w + 2*w. Suppose 5*p + 3*z - 10 = 0, 2 = w*p - 2*p - 2*z. Solve 7 = l + p for l.
5
Let v(w) = -w - 5. Let s be v(-8). Let u be (-184)/12*s/(-2). Suppose 5*z + 14 = -0*n - 2*n, 0 = -n + 5*z + u. Solve -1 = o - n for o.
2
Let x = -12 - -14. Solve 2*g = -x*g + 12 for g.
3
Let z(y) = -5*y - 4. Let v(o) = 11*o + 9. Let n(f) = -4*v(f) - 9*z(f). Let k be n(0). Solve k = -5*i - 2 - 3 for i.
-1
Let t(m) = 2*m - 2. Let f be t(3). Suppose 2*w = f*j - 8, -2*j - 6 = w - 2. Solve s - 3*s - 4 = j for s.
-2
Let y be (-4)/(-10) + 132/(-30). Let h = y - -9. Solve h*g - 3 = 7 for g.
2
Suppose 2*u + 5*v - 1 = 19, -3*v = -6. Solve 2*f - 15 = u*f for f.
-5
Let z(k) = k**3 - 2*k**2 - 4*k - 2. Let n be z(4). Suppose -4*m + 14 + 10 = 3*r, 0 = -2*m - 2*r + n. Solve -2*f = m*f - 10 for f.
2
Suppose 0*d = 3*d - 6. Let g = 6 + -8. Let m = 1 - g. Solve m*x + d = x for x.
-1
Let d = -4 - -9. Solve -6*b + b + d = 0 for b.
1
Let g = -63 + 66. Solve -4 = g*m - 1 for m.
-1
Let j(s) = -5*s - 4. Let h be j(-2). Solve 5*m - h - 4 = 0 for m.
2
Let j(f) = f - 1. Suppose 3*k - 5*g + 22 = 0, -k - 5*g + 25 = -1. Let t be j(k). Solve 0*d + 5*d - 5 = t for d.
1
Suppose 4 + 0 = 2*y. Suppose -4*l + 4 = i, -2*l + 14 = y*i - 18. Solve -f - 4*f = i for f.
-4
Suppose 0 = -3*u, 3*y + 48 = 6*y + u. Suppose 3*p - 4*i = y, 5*p - i + 3*i + 8 = 0. Solve p = 5*k + 18 + 7 for k.
-5
Suppose 5*b + 2 - 17 = 0. Solve 8 = b*q - q for q.
4
Suppose 4*j = -0*j + 2*q + 12, -4*q = -3*j - 1. Suppose -2*k + j*f + 5 = -24, -2*f - 18 = -4*k. Solve 3 = 3*b - k*b for b.
3
Let p = 7 + -5. Let g(k) = k. Let c(q) = 4*q + 1. Let b(u) = -c(u) + 2*g(u). Let o be b(-2). Solve p*d - d = o for d.
3
Let k = 6 - 3. Solve k*x = 7*x + 8 for x.
-2
Let z(k) = 20*k + 3. Let d(b) = -3*b. Let c(v) = -21*d(v) - 3*z(v). Let i be c(8). Solve 2*a + i = -3*a for a.
-3
Let b = -10 - -17. Suppose 36 = -2*f + b*f - 2*m, 0 = -4*f - 4*m + 40. Let t(v) = -v**3 + 3*v**2 - 1. Let n be t(2). Solve -5*u - f = -n*u for u.
-4
Let i(h) = 20*h**3 + h**2 - h. Let r be i(1). Solve 0 = -n - 4*n - r for n.
-4
Suppose -4*j + 3*j = 0. Solve j = -b + 2 - 4 for b.
-2
Suppose -l + g = -5, -3*l - 4*g = -4*l + 17. Solve 4*u - 3*u + l = 0 for u.
-1
Let y(k) = k**3 - 19*k**2 + 36*k - 28. Let w be y(17). Solve -5 = -w*c + c for c.
1
Suppose 3*y - 1 + 0 = -5*p, y - 4*p = 6. Let a(k) = 2*k - 2*k - k - y*k**2 + k**2 + 8. Let b be a(0). Solve 5*m + b = m for m.
-2
Suppose 0*q = -2*q. Su