 5/k + (-10)/(-4). Solve 1 + 3 = -h*s for s.
-2
Suppose -8 = -2*o - 0*o. Suppose 3*s + 18 = o*n, 3*s + s - 1 = -3*n. Solve 0 = 2*x + n*x - 5 for x.
1
Suppose r = 3, -5*y - 3*r = -4*y. Let p = 17 + y. Suppose -o - p + 23 = 0. Solve -o = -8*v + 3*v for v.
3
Let r be 4/(-10)*(-15 + 10). Solve -r*g + 7 = -3 for g.
5
Suppose 0 = -i + 3*u - 2 + 1, 2*i - 5*u = -1. Let t be (6/7)/(i/28). Solve 4*k - t = k for k.
4
Let m = -3 + 4. Suppose 3*u + m = 19. Solve -5*h + 19 = -u for h.
5
Suppose -3*f + 18*f = 150. Solve -5*s + 0*s - f = 0 for s.
-2
Suppose 0 = 7*j - 19 + 19. Solve -b + 5 - 10 = j for b.
-5
Let g be (-1 + 1)/(-10 - -8). Let h be (g - 4/(-12))*9. Solve -h*j - 25 = 2*j for j.
-5
Let r(d) = 0*d + 1 + d + 2. Let h be r(0). Solve 11 - 5 = -h*t for t.
-2
Let t(x) = -x**3 + 9*x**2 - 8*x + 4. Let p be t(8). Suppose -2*s + r = -23, 2*s + 0*s - 8 = -4*r. Suppose b - s = -4*b. Solve -p = -b*d - 2 for d.
1
Let l be (0 - 0) + -1 + 8. Let v(y) = y - 2. Let u be v(l). Let h = u - 3. Solve h*s + 3*s - 5 = 0 for s.
1
Let y = 27 - 27. Solve y*i = 4*i for i.
0
Let c(g) = g**3 + 3*g**2 - g. Let d be c(-3). Let p(z) = -z**2 + 9*z + 8. Let b(f) = -f**3 + 4*f**2 + 1. Let x be b(2). Let s be p(x). Solve -d*q - q = s for q.
-2
Let h = -27 - -49. Suppose r - 2 = -3*u, -3*u - u = 0. Suppose 5*x = x - r*z + 10, -h = -4*x + 2*z. Solve -a - 9 = -x*a for a.
3
Suppose -3*t + a - 28 = t, 5*t - 4*a = -46. Let j be (0 + -1)*t + -3. Solve -j*q + 3 = -9 for q.
4
Suppose 0 = 6*f - 12. Solve -f*l = l + 15 for l.
-5
Suppose -5 = r - 25. Let n = 13 + 7. Suppose 4*j + n = a, 0*j = -4*a + j + r. Solve -q + a = 9 for q.
-5
Let j = 11 + -6. Let o = 11 - j. Solve 3*m + 0*m - o = 0 for m.
2
Let m(x) = -x**3 + 7*x**2 - x + 1. Let j be m(6). Suppose j + 5 = 4*v. Let u = v - 5. Solve -t + 2 - u = 0 for t.
-2
Let h be (-2)/(-8) - (-9)/(-4). Let t be (-1)/h*-2 - 4. Let d be (-2)/t + 8/(-20). Solve d = -2*k - k for k.
0
Let x(v) = -3*v**2 + 20*v - 10. Let q be x(6). Solve -a = 2 + q for a.
-4
Suppose 0 = -3*s + 6 + 6. Suppose s*l + 1 - 17 = 0. Suppose 0 = 5*g - l*g. Solve 3 = -g*k + 3*k for k.
1
Suppose -4*c = -n + 19, -2*c - 3 - 2 = n. Solve -19 + 4 = n*t for t.
-5
Suppose 3*k = 5*q - 112, 0 = 5*q - 4*k - 9 - 107. Suppose 0*g + 4*g = q. Solve g*a = -0*a - 15 for a.
-3
Let a = -3 - -3. Let d be 36/6 + 0 + 2. Solve t + t - d = a for t.
4
Suppose 4 = 3*z + u, -z + 2 = -2*z - 2*u. Solve -z*c = 2*c + 12 for c.
-3
Let o be (11 - 11)*(-1)/(-2). Solve -4*r + 23 - 7 = o for r.
4
Let d = -69 + 78. Solve d*j = 7*j for j.
0
Let q = 82 - 74. Solve -3*i - i + q = 0 for i.
2
Let r = 0 - 0. Let g be (0 - (r + -1)) + 15. Solve -5*h + 4 = -g for h.
4
Let c = 5 + -3. Solve -c*b - b - 9 = 0 for b.
-3
Suppose -n + 5*s - 13 + 3 = 0, 2*s + 4 = 2*n. Suppose 2*t + n = -5*q, -t - q = -4*t - 16. Let v = 8 + t. Solve v*b = 6 + 3 for b.
3
Suppose 0 = -8*c + 10 + 70. Solve -3*j - c = 2*j for j.
-2
Let w(b) = 2*b**2 + 16*b + 3. Let v be w(-8). Solve -3*u = -v - 12 for u.
5
Let l(j) = -2*j**3 + 10*j**2 + 2*j**3 + 3*j**3 + 4 - 2*j**3. Let f be l(-10). Let c = 22 + -13. Solve -f*h + h + c = 0 for h.
3
Let k(w) be the third derivative of w**5/60 - w**4/6 + 5*w**3/6 - w**2. Let t = -3 - -7. Let m be k(t). Solve -j = -m*j for j.
0
Let u be 2/8 + 18/(-8). Let i be -1*3/6*u. Let c be (-2)/8 + i/4. Solve -5*d - 5 = -c*d for d.
-1
Let r be 2*6/9*3. Let s = r - 4. Solve -o + 0*o + 4 = s for o.
4
Let w = -4 + 5. Solve 3*f - w = 4*f for f.
-1
Suppose 3*n = 2*n. Suppose 4*g - 2*y = -y + 26, -4*g + 22 = y. Suppose n*p + g = 3*p. Solve 3 = -p*j - j for j.
-1
Suppose 7*z - 9 = 4*z, -3*i = -z - 9. Solve w - i = -w for w.
2
Suppose 3*r + 1 = 4*y - 7, -20 = -5*r. Solve 0 = -2*z - 3 + y for z.
1
Suppose -5*o - k = 169, 5*o + 29 = 4*o + k. Let s(u) = -13*u + 3. Let r be s(2). Let b = r - o. Solve -2*f + b = 2 for f.
4
Let w(f) = 2*f - 26. Let q be w(13). Solve c + c = q for c.
0
Let x be (1/1)/((-6)/(-78)). Let s be -1 + 0 - (x - 14). Solve s*p = 5*p - 25 for p.
5
Suppose -20 = -9*t + 4*t. Solve s + 0 = t for s.
4
Let t(s) = -s**2 - 7*s - 6. Let c be t(-6). Suppose c = -3*x + 4*b + 22, -x + 3 = 2*b + b. Let p(m) = 2*m - 2. Let o be p(x). Solve d = -d + o for d.
5
Let k be ((-240)/1)/(-2 + 3). Let w be k/(-9) + (-3)/(-9). Let h = w - 18. Solve -h = -3*x - 0*x for x.
3
Let h be 43/9 - 6/(-27). Let q be -1 - -26 - (4 - h). Suppose -4*c - 4*x + q = -30, -4*c - 3*x + 60 = 0. Solve -c = -5*g + 2 for g.
4
Suppose -138 = -5*t - 3*p, 3*t + 8*p - 5*p = 84. Solve -4*d + 11 = t for d.
-4
Let w = 0 - -9. Solve -q + 4*q = -w for q.
-3
Let h = 4 - 2. Solve -t = -h*t + 5 for t.
5
Let r be 3 + -1 + (9 - 7). Solve r = -u - u for u.
-2
Let f be 15/(-3) - -4 - -7. Solve 0 = f*d - 3*d for d.
0
Let b be (2 - 4)/((-2)/8). Let o be 2/b + 57/12. Let x = o + -5. Solve x*r = -r for r.
0
Suppose -29 = -3*c + 4*a, a = 4*c - 2*c - 11. Solve -12 - c = 3*y for y.
-5
Suppose 0 = 3*t - t - 2*a + 8, -a - 4 = 0. Let u be t/(-7)*133/38. Solve d + d = u for d.
2
Let k be (-3)/(-3) + 1 + -2. Suppose -24 = -3*h - 3*d, 0 = 2*d + 3*d - 25. Solve k = c - h + 1 for c.
2
Suppose -4*y + 3*z = -20, -3*z - z = -y + 5. Suppose -u = i - 2 + 3, -5*i = -y*u + 35. Solve -u*g = -2*g for g.
0
Let r(h) = -1 + h**3 - 4*h**2 - 2*h**3 - 4*h + 0. Let t be r(-3). Suppose -14 = -y + t*s - s, 0 = -2*s - 10. Solve -2*j - j - y = 0 for j.
-3
Let j = 6 - 4. Let f be (-30)/(-4) - j/4. Suppose -5*t - f = -17. Solve -4*w - 6 = -t*w for w.
-3
Let w be (12 + -32)*(-1)/2. Solve 5 = -3*t - w for t.
-5
Suppose 5*x = -2*f + 13, -4*x = -0 - 4. Solve 6 = 2*b - f for b.
5
Let a(g) be the first derivative of g**4/4 + 2*g**3 - 3*g**2 + 9*g - 1. Let h(w) = -2*w - 1. Let c be h(3). Let x be a(c). Solve 1 + 3 = x*o for o.
2
Suppose 3*u - 20 = -u. Let z = u - 3. Suppose -z*x = 3 - 5. Solve -2*g - 5 = -x for g.
-2
Let z(c) = -c - 1. Let s be z(-1). Solve 4*i + 4 = -s*i for i.
-1
Let r(x) = -6*x + 3. Let q be r(-2). Solve -3*s + q + 0 = 0 for s.
5
Let j(m) = -m**3 - m**2 + 2*m. Let q be j(0). Solve q = k + k for k.
0
Let x(l) = -15*l + 1. Let a be x(-1). Suppose -5*m = -4*c - a, c + 8 = -c. Solve -h + 3*h - 4 = m for h.
2
Let t = 7 - 4. Let b be (-3)/(-1*t/2). Solve b*d + 4 = -6 for d.
-5
Suppose 0 = 4*y, -3*y + 7 = 2*a - 3. Solve a + 1 = 3*t for t.
2
Let z(b) = -b**2 - 6*b - 3. Let g be z(-5). Suppose -g*r = r. Suppose -2*x + 2 + 0 = r. Solve 0 = 2*w - x + 11 for w.
-5
Let v(j) = -5*j**2 - 4*j. Let d(y) = 11*y**2 + 9*y. Let a(t) = -3*d(t) - 7*v(t). Let u be a(1). Solve -1 + u = k for k.
2
Let g(u) = -u**3 - 5*u**2 - 4*u. Let o be g(-4). Solve -2*t = -o*t - 8 for t.
4
Let n = -12 - -16. Suppose 2*a - n*t - 22 = 0, 2*a - a + 5 = -2*t. Solve u = a*u - 10 for u.
5
Suppose -46 = -4*k - 26. Solve -2*m + k = 7 for m.
-1
Suppose 3*s = 3*o + 13 - 4, -3*o = 5*s - 23. Let z be s/26 + (-4)/26. Suppose -5*g + 5*f + 30 = 0, -g + 4*g + 3*f + 6 = z. Solve -3*c = -5*c + g for c.
1
Suppose -5*l = -6*l. Suppose -2*d = -l - 6. Solve -d*g = -0 - 3 for g.
1
Suppose -4*m - 6 = q, -8*m = -5*q - 3*m + 95. Suppose -1 - q = -3*o. Solve -o = -2*u + 3 for u.
4
Let p = -49 + 51. Solve -p*c - 9 = -5*c for c.
3
Suppose 4*j - 18 - 2 = -3*u, u - 8 = -2*j. Let f(v) = -3*v - 68. Let p be f(-24). Solve p*s = j*s + 8 for s.
4
Let n = -81 - -101. Solve 4*y - n = -y for y.
4
Let h be 22 + (-7)/(14/4). Suppose 3*d = -5 + h. Solve 3*k - 2 = d*k for k.
-1
Let r(n) = n - 3. Let h be r(9). Solve f + h - 4 = 0 for f.
-2
Let c = -65 - -68. Solve -x = c + 2 for x.
-5
Let w(j) = -j**2 + 9*j + 14. Let y be w(10). Solve -5*d + y = -3*d for d.
2
Let u(b) = b**3 + 11*b**2 + 12*b + 22. Let l be u(-10). Solve 5 = l*v - 5 for v.
5
Let u be 0/((-3)/(2 + -5)). Let p(f) = f**2 - f + 42. Let v be p(u). Suppose 3*x + 2 = -5*g + v, -5*g + 40 = -x. Solve 2*o = 6*o + g for o.
-2
Let t be 6 + 0 + (17 - 15). Solve 3*q = t*q - 10 for q.
2
Suppose 3*k = 5*k + 2, k + 7 = m. Suppose m = y - 1. Solve -y*t = -2*t - 15 for t.
3
Suppose 53 = 3*s - 0*s - u, 0 = u + 5. Solve 0 = -6*g + 2*g - s for g.
-4
Let k(x) = -x**3 + x - x + 6*x + 6*x**2 - x**2. Let i be k(6). Solve i + 1 = v for v.
1
Let v(h) = h**3 + 10*h**2 - h - 10. Let x(j) = j**3 - 5*j**2 + 2*j + 2. Let k be x(3). Let o be v(k). Let q be o/(-1*(0 - -1)). Solve q = -2*n - n - 9 for n.
-3
Let i(h) = 4*h - 3*h**3 + 0*h - 3*h - 4*h**2 + 4*h*