 4/(-26) - (-24)/(-13). Let c = o + 4. Solve -3*y - c = -k for y.
2
Let o(r) = 4*r. Let c be o(2). Suppose -5*w + 4 = -p, -5*w - 6*p - c = -4*p. Solve 5 = -w*h + h for h.
5
Suppose 3*b - 15 + 0 = -3*z, 0 = -3*z - 2*b + 11. Solve -v = -2*v + z for v.
1
Suppose 0 = -5*x + h + 4, x - h = 4*h + 20. Suppose -5*m - 12 - 8 = x. Let k be (2 - m)*1/2. Solve -k = 3*f - 2*f for f.
-3
Let y = 11 + -1. Let w = -6 + y. Suppose -5*t - m + 25 = 0, 3*t - 30 = -w*m + 2. Solve 0 = -t*p - 3 - 13 for p.
-4
Suppose 9 = -0*b + 3*b. Solve b*a = a - 2 for a.
-1
Suppose 0 = -4*j + 12, -3*k + 48 = 2*j + j. Solve -k = -2*s - 3 for s.
5
Suppose -3*a + 33 = 3. Let c be ((-24)/30)/((-4)/a). Solve 0 = c*n - 0 + 2 for n.
-1
Let c = 13 - 11. Suppose j = -c*w + 11, 3*w - w - 8 = 0. Solve 0*a - a = -j for a.
3
Let l(s) = 2*s - 6. Let c be l(5). Solve m + c = 2*m for m.
4
Let u = 2 - 2. Suppose u*w = w - 4. Solve 3*k - w = 5 for k.
3
Let v = 15 - 0. Suppose j - 2*r = -3*j - 12, -5*r - 45 = 5*j. Let c = v + j. Solve 0 = 4*z + 2 + c for z.
-3
Let u(f) = -f - 7. Let d be u(-9). Solve -12 = q + d*q for q.
-4
Let j = -4 - -12. Solve -j = f + f for f.
-4
Suppose -g = 0, 3*n - 18 = -g - 3*g. Let a(h) = 3*h - 4. Let t be a(4). Solve 2*i + t = n*i for i.
2
Suppose -4*f + 5*y = -0*y - 17, -2*y - 5 = -f. Solve -f = k + 1 for k.
-4
Let n(t) = -t**3 + 7*t**2 - 4*t - 6. Let v be n(6). Suppose 0 = 4*j - 0 - 8. Let l be (-4)/(-12) - j/v. Solve l = -c - c for c.
0
Suppose 0 = 2*n - 1 - 1. Suppose 5*t - 8 = 4*t. Let w = -5 + t. Solve 0 = -b + n + w for b.
4
Let x(o) = o**2 + 14*o + 51. Let m be x(-7). Solve m*d - 2 = -0*d for d.
1
Let d = -22 - -16. Let w(t) = -t - 2. Let q be w(d). Suppose -4 = 3*p + 4*g, 3 + 9 = q*p + g. Solve -5*y = -p*y + 1 for y.
-1
Let j(n) = -n**2 + n - 9. Let h be j(4). Let o = -18 - h. Solve 0 = -l - o for l.
-3
Let n = 45 - 20. Solve 0*v = -5*v + n for v.
5
Let o(u) = -u**2 - 2*u + 1. Let b be o(-3). Let j be ((-4)/6)/(b/(-6)). Let s be (j/(-4))/((-1)/(-2)). Solve -9 = 4*d - s for d.
-2
Suppose -3*w - 5 = -4*w. Solve -2*v = -w*v - 12 for v.
-4
Let y(c) = -c**3 - 5*c**2 - 2*c + 4. Suppose 4*o + 14 = 2. Let d be y(o). Let i(h) = -2*h - 9. Let z be i(d). Solve -19 + z = 3*l for l.
-4
Let h(c) = 3*c - 13. Let k(f) = f**3 - 2*f**2 + 6. Let s be k(0). Let a be h(s). Solve a*y - 1 = -16 for y.
-3
Suppose y = 2*h + 2, 0 = -2*y + 5*y + 4*h + 4. Suppose -2*n - 5 = -3*i - y, 3*n + 2*i = 25. Solve 0 = 5*f - 15 + n for f.
2
Let g(f) = 4*f + 3. Let c(z) = -5*z - 2. Let m(s) = -3*c(s) - 4*g(s). Let r be m(-6). Solve 2*o - 5*o = r for o.
0
Suppose 0 = 5*f - f - 3*p + 23, 0 = -f - 3*p - 17. Let z be (2/(-3) - 25/3) + -2. Let g = f - z. Solve 12 = -g*x - 3 for x.
-5
Let p = 1 - 0. Solve -3*r - p - 5 = 0 for r.
-2
Suppose -5*o - q + 41 = 0, 5*o - q + 0*q - 39 = 0. Let z(i) = -i**2 + 8*i + 5. Let c be z(o). Solve 5*f - c = -0*f for f.
1
Let r(u) = 22*u - 1. Let j(n) = 33*n - 1. Let w(b) = -5*j(b) + 7*r(b). Let f be w(-2). Suppose -80 + 68 = -4*h. Solve -f = -o - h*o for o.
5
Let j(d) = 2*d + 1. Let f be j(-1). Let s(o) = 2*o - 3. Let v(t) = -t**3 + t**2 - t + 1. Let l(z) = f*s(z) - v(z). Let x be l(2). Solve -9*h = -x*h for h.
0
Let z = -21 + 29. Solve 3*m - z = 1 for m.
3
Suppose -3*q - 2*v = -4, 5*q - 7 = 2*v + 5. Solve -q*a = -5*a + 3 for a.
1
Let c(a) = a**2 + 8*a. Let l be c(-8). Suppose l = -n + 7*n - 18. Solve 2 = -x + n for x.
1
Let w(g) = -g**2 + 6*g + 4. Let r be w(6). Suppose 2*d + 6 = r*d. Solve -d*n = -n for n.
0
Let n = 4 + -2. Let t(m) = -m**3 - 21*m**2 + 21*m - 2. Let w be t(-22). Solve 7*i - w = n*i for i.
4
Let v(w) = -2*w - 7. Let c be v(-5). Suppose 0*u = c*u. Solve -4*g + 0*g - 20 = u for g.
-5
Let j(w) = 7*w + 9. Let x be j(-1). Solve x*c + 2*c = 20 for c.
5
Let a(d) = d**2 - 1. Let l(b) = -b - 11. Let k be l(-10). Let u be a(k). Solve u = 2*y - 4 for y.
2
Suppose -4*j = 3*z - 9, -5*j + z = -z + 6. Let g = 4 - 5. Let d be (3 - g) + (j - 0). Solve -2*a + d = -0*a for a.
2
Suppose 0 = 5*z - 3*i - i + 4, -2*z - 4*i = -4. Solve -a - 2*a = z for a.
0
Suppose 3*q + 5*h = -0*q + 23, -4*h = -5*q - 11. Solve n = 1 + q for n.
2
Let v be (0 + 2)*(-3)/(-2). Suppose -3*p + 15 = -3*h - 3, 2*p = -3*h - 8. Solve 0 = v*c + p*c + 15 for c.
-3
Let k(h) = 6 + 5*h - h**2 - 13*h + 0*h**2. Let t be k(-7). Let r(m) = -m**3 + 3*m**2 + 5*m - 2. Let j be r(4). Solve 0 = -3*s - j - t for s.
-5
Let g(f) = f**3 - 3*f**2 - 2*f + 4. Let u be g(3). Let x = u + 2. Solve x + 12 = 3*k for k.
4
Let z(f) = 3*f + 6*f - 2*f - 12 - 5*f. Let y be z(8). Suppose s - 2*s - 4 = -y*r, -3*r + 22 = 4*s. Solve s*v - 4 = 2*v for v.
2
Suppose -r - 12 = -4*u - 3*r, 5*u - r = 1. Let k be 6 - (-2 + (2 - -3)). Solve l = u + k for l.
4
Suppose 3*n = 8*n - 10. Suppose n*o - 2 = a + 1, 9 = 3*o - 3*a. Suppose o*w = 2*w - 10. Solve -w*s + 12 = -13 for s.
5
Suppose 4*t = 0, -4*q - t + 102 - 22 = 0. Solve -2*l = -6*l + q for l.
5
Let t be 12/8*(0 - -2). Let m(s) = s**3 + s**2. Let z(c) = 4*c**3 + 10*c**2 - 4*c. Let w(i) = 5*m(i) - z(i). Let l be w(4). Solve l = -t*d + 1 - 4 for d.
-1
Let w be 19/4 + (-3)/(-12). Solve w*n + 6 = -4 for n.
-2
Let g(o) = o**3 - 8*o**2 + 12*o - 31. Let z be g(7). Solve -z*l + 5 = l for l.
1
Let f(z) = -z**2 - 8*z - 7. Let q be f(-7). Solve 2*l + q*l = -6 for l.
-3
Let j = 12 - 7. Suppose 4*r - 3 = j. Suppose 4*x - r = -c + 2*x, -3*c + 2*x - 2 = 0. Solve 3*o + c*o = 6 for o.
2
Suppose 28 = -3*p + 10*p. Let x be 85/15 + (-4)/6. Suppose -q = -25 + x. Solve p*m + m = q for m.
4
Let w be 3/6 - (-59)/2. Let u be (w/8)/((-2)/(-8)). Solve 4*y = -y - u for y.
-3
Let w = 28 + -17. Solve -w = -4*s + 1 for s.
3
Suppose 0 = 2*t - t. Suppose t = -x + 4*x - 15. Solve -10 = x*u - 3*u for u.
-5
Let b(x) = 2*x**2 - 6*x + 2. Let j(a) = a**3 + 6*a**2 - 2*a - 8. Let o be j(-6). Let l be b(o). Solve l = 4*h - 2*h for h.
5
Suppose -2*w = -6 - 8. Let t be w/(-21) + 37/3. Solve 4*v + 0*v - t = 0 for v.
3
Let k be 9*((-20)/12)/(-5). Let g be 1 - 7*(-4 + 1). Suppose 2*p + 0*p - 13 = w, g = 2*p + 2*w. Solve -p = y - k*y for y.
4
Let s = -19 + 22. Suppose -20 = -5*w, 4*y - w = s*y - 4. Solve -7*b + 2*b = y for b.
0
Let m(l) = l. Let t(q) = -4*q. Let c(f) = 5*m(f) + t(f). Let v be c(5). Solve 0*s + 25 = -v*s for s.
-5
Suppose 3*t + 3 = -9*z + 6*z, 5*t - 3*z = 27. Solve t*n = -2*n - 5 for n.
-1
Let i = 12 - 18. Let x = -3 - i. Solve 5 + x = -2*w for w.
-4
Let j be -3 - (3 + 0 - 9). Solve -j = g - 8 for g.
5
Let t = -17 - -27. Let u be 33/7 - t/(-35). Suppose -x + u*x - 12 = 0. Solve -3 = -3*q + x for q.
2
Suppose 0 = -t + 2*t - 3*p + 15, 2*t + 2*p = 2. Let w be (10/(-3))/((-1)/t). Let r be ((-16)/w)/((-2)/(-5)). Solve 0 = -4*h - r - 0 for h.
-1
Suppose -2 = -2*m + 6. Solve 0 = m*f + 4 for f.
-1
Let q(d) = d**3 + 3*d**2 - d - 1. Let j be q(-3). Solve -l - j*l = -9 for l.
3
Suppose -4*x - x = 4*j - 50, 0 = -3*x - 2*j + 30. Suppose 0 = -4*n + 50 - x. Suppose 0 = s + 4*s - n. Solve 10 = s*r + 2 for r.
4
Let y = 155 - 155. Solve y = -d + 2 - 3 for d.
-1
Let c(g) = g**2 + 4*g + 2. Let y be c(-4). Let b be 6/2 + (-1 - 0). Suppose b*q + 10 = 4*q, 9 = y*x + q. Solve -x*j + j = 0 for j.
0
Suppose -19 = 5*t - 4. Let j be t + 7/(0 - -1). Solve 0 = j*w + 4 + 4 for w.
-2
Let g = 18 - 11. Let w = g + -1. Solve 0 = -3*p - w for p.
-2
Let u be 6*(3/9 - 0). Solve -2 = -t + u for t.
4
Let p(y) = y**2 - 3*y - 2. Let x be p(-1). Suppose 0 = -0*k - x*k. Solve 0*w + 3*w - 6 = k for w.
2
Suppose -47*y = -49*y + 54. Solve -5*f - y = -2 for f.
-5
Let n(t) be the third derivative of t**5/60 + t**3/3 - 2*t**2. Let b be n(0). Suppose -4*q = 5*f - 16, 3*f = -2*q - 0*q + 8. Solve d + b - 7 = f for d.
5
Suppose -4*z + 3*g + 51 = 0, 19 = 2*z - g - 6. Solve y + 2*y - z = 0 for y.
4
Suppose -3*o - o = 0. Suppose -y + 3 + 1 = o. Solve -4*w - 24 + y = 0 for w.
-5
Let v = -20 + 41. Let z be (0 - v)*(-4)/(-6). Let r be (-1)/(-2) - 133/z. Solve 4*i = -i - r for i.
-2
Suppose 0 = -3*x, -2*t + 4*x = -0*t - 6. Solve -2*f - f = t for f.
-1
Suppose i = -b + 25, 4*i + 30 = -0*b + b. Suppose 2*y = -h + 6*y + 1, 3 = 3*y. Let m = h + 0. Solve -m*t - b = -6 for t.
-4
Let q be 4/6*9/2. Let j = q + -1. Suppose 0 = j*p - 0*u + 4*u - 2, 20 = 5*p + 5*u. Solve 5*i + 13 = -p for i.
-4
Suppose 2*s = x - 4*x + 16, -3*x = -s - 1. Solve -1 = -h - s for h.
-4
Suppose 3*n = -2*a - 40, 2*a 