 + 10 for s.
4
Let i be 58/3 + (-4)/(-6). Let q = -4 + i. Solve 0 = -k - 3*k - q for k.
-4
Suppose -4*h = -4*o - 40, 4*o + 11 + 4 = -h. Solve 33 = -h*a + 8 for a.
-5
Suppose -5*u + 101 = i, -4*i + i = -3. Solve -2*a - 3*a - u = 0 for a.
-4
Let d = -19 - -21. Solve 2*n = -d*n for n.
0
Suppose 16 = 4*y - 4*g, 12 = 2*y - 4*g + 4. Solve 0 = r + 3*r - y for r.
1
Suppose 3*m = 3, 2 = 3*h - 4*m - 0. Suppose t = -0 + h. Solve 2 = y - t*y for y.
-2
Suppose -2*q + 1 = -3*q - s, 0 = 5*q - 2*s - 16. Suppose q*h - 18 = -0*h. Solve 0 = -w - 2*w - h for w.
-3
Let t(w) = -w**3 + 4. Let b be t(0). Suppose -5*o + 4*o = -b. Suppose 53 = o*z - i, 0*i + 68 = 4*z - 4*i. Solve p = -3*p + z for p.
3
Let k(r) = -2*r - 4. Let s be k(-3). Solve 10 = -s*m - 3*m for m.
-2
Suppose 5*s + 2 = 27. Suppose -3*v + 16 = -8. Solve -r = -s*r + v for r.
2
Let d = 9 + -4. Suppose -2*l + 6*l + 16 = -x, -4*x = l + 4. Solve d*r - r = x for r.
0
Let y be (1 - (-9)/(-6))*-2. Let z be 2 + (-3 + y)*1. Solve -l = -z*l for l.
0
Suppose -12 = -5*n + n. Suppose l + n = 2*l. Solve -8*f = -l*f + 25 for f.
-5
Suppose 3*x - 3*r = 0, -1 = 3*x - 4*r + 3. Suppose 118 = 5*k - 3*i, -5*k + 110 = -0*i + 5*i. Solve 7 = -x*w + k for w.
4
Let d = 9 - 7. Solve -d*k - 3 - 1 = 0 for k.
-2
Let s = 19 + -7. Suppose -4*w = -0*w + s. Let j be (w - 1)/(-5 + 3). Solve 2 = -3*k + j*k for k.
-2
Suppose 0 = -b + 4*b - c + 4, 0 = -2*c + 8. Let j = -5 - b. Let p be (4 + j)/((-1)/2). Solve 0*d = p*d + 6 for d.
-3
Let z = 0 - 0. Let f = z - -2. Solve f = -g + 7 for g.
5
Let w(y) = -y - 1. Let b be (2 - 0 - 1)*-1. Let i be w(b). Solve -z - 2*z = i for z.
0
Suppose -3 = q + 1. Let t be 6/q*8/(-3). Solve h + t = -h for h.
-2
Suppose -6*a = 1 - 7. Solve 4 = g + a for g.
3
Suppose -v + 3*m + 8 = 0, -5*m = v + v - 71. Let l = v - 18. Solve 2 = -l*b - 18 for b.
-4
Let q(x) be the third derivative of -71*x**6/120 + x**4/24 + 2*x**2. Let w be q(-1). Suppose 4*i + 22 = w. Solve 2*o - i = 5*o for o.
-4
Suppose 2*s = -3*u + 4*u - 4, 5 = -5*s. Let f = -4 + 14. Solve u*w = -3*w + f for w.
2
Let n be 6/4 + (-3)/(-6). Solve -n*u = u for u.
0
Suppose 0*i - i + 5 = 0. Suppose 9 = -2*n + i*n. Solve 6*k - n = 3*k for k.
1
Suppose -17 = -5*d + 3*r + 25, 44 = 4*d - 5*r. Solve 2*c = 5*c + d for c.
-2
Let d(p) = p - 2. Let r be d(0). Let l be 0 + -3 + 5 - r. Solve t + l*t = -25 for t.
-5
Let g(s) = s**2 + 12*s + 2. Let d be g(-12). Solve 2*i + 0 = d for i.
1
Let q be 3 + 0 + -3 + 3. Suppose 0 = q*a + a - 8. Solve -4*p = a + 2 for p.
-1
Let j(l) = -l**2. Let b(s) = -s**3 + 5*s**2 + 2*s - 10. Let a(n) = b(n) - 2*j(n). Let h be a(7). Solve 0 = h*f - 4 for f.
1
Suppose p + 4*p = 90. Suppose v - 3*g - 28 = g, v = -g + p. Let z = v - 8. Solve 3 - z = -3*s for s.
3
Let o(g) = -g**3 - 11*g**2 + 10*g + 3. Let u be o(-12). Let j = 53 - u. Solve -j = 5*n - 1 for n.
-5
Let o be (-16)/6*9/(-12). Solve 0 = o*u - 0*u + 8 for u.
-4
Suppose 11*i - 5*i - 7*i = 0. Solve i*q + 2*q - 4 = 0 for q.
2
Suppose 8 = -4*f + 24. Suppose -k + 11 = n - 3*n, f*n = -16. Suppose -3*s + 9 = k*v, v - 3 = s - 0*v. Solve s = -h - 1 + 3 for h.
2
Suppose 2*a = -5*z - 4, 0 = -5*z + a + 1 + 1. Suppose 0*l - l = -3*w + 4, -27 = -3*l - 4*w. Suppose z = l*p - 0*p - 45. Solve 5*s + p = -6 for s.
-3
Suppose 0 = -c - n + 3 - 0, 5*c = -2*n + 6. Let g(t) = -t**3 + 7*t**2 - 7*t + 8. Let o be g(6). Solve 2*k + o + 6 = c for k.
-4
Suppose 8 + 10 = 2*h - 4*g, g + 36 = 5*h. Suppose -5*q + c + 79 = 0, -5*q - 2*c + h = -4*q. Solve 0 = 4*w + w - q for w.
3
Suppose -5*m = -6*m. Let h be 1 + 7/((-14)/(-48)). Solve -5*d + m*d + h = 0 for d.
5
Suppose 0 = -5*r - 97 + 102. Solve 2*c + r = c for c.
-1
Suppose y = 2*p - 3 - 2, 2*p + 2*y = -10. Let j(n) = n + n**2 - n**3 - n**2 + 5 - n**2. Let h be j(p). Solve -h*s + 6 = 21 for s.
-3
Let n be 3 - 3/3 - -2. Solve -n*w - 2 = 14 for w.
-4
Suppose -i - 3 = -4*q - 1, -4*i - q = -9. Suppose -i*s + 0*s = -4*m - 24, 5*s - 15 = m. Solve 4*v - s*v = 10 for v.
5
Let n(k) = -k**2 + 15*k - 11. Let r = 3 - -11. Let d be n(r). Solve -6 - d = 3*f for f.
-3
Let x be ((-56)/(-21))/((-1)/(-3)). Suppose x*g = 4*g. Solve g = 3*i - 2*i - 2 for i.
2
Suppose -5*d = -2*d - 9. Solve x = -d*x - 8 for x.
-2
Let p be 4/6 + 4/3. Suppose -4 = -0*n - p*n. Solve n*s + 3 = 3*s for s.
3
Let y = 48 - 38. Solve -5*b = -y - 5 for b.
3
Let a(d) = -d - 7. Let y be a(-21). Solve -3*s = -y - 1 for s.
5
Suppose i = -2*j + 11, -5*i + 12 = 2*j - 11. Solve 0 + j = -m for m.
-4
Let i(t) = -t**2 + t + 1. Let n(o) = o**2 - 16*o - 6. Let x(d) = 2*i(d) + n(d). Let g be x(-12). Solve -3*c = -8*c - g for c.
-4
Let o be (4 - 3) + (1 - -2). Suppose o*x = -5*v - 20, 0 = 5*x - 3*v - 5 - 7. Solve b + 0*b - 2 = x for b.
2
Let d(g) = g**2 - 5*g - 9. Let s be 2*2 - 6/(-2). Let i be d(s). Solve 7 + i = -4*o for o.
-3
Let u(k) = -2*k - 1. Let v(g) = 3*g + 1. Let t(c) = 5*u(c) + 3*v(c). Suppose -5*p + 0*p - 20 = 0. Let f be t(p). Solve -h + 2*h = f for h.
2
Let r = 89 - 86. Solve 8 = -r*o - o for o.
-2
Suppose -2*h = 2*h + 24. Let k(b) = b**3 + 6*b**2 - 2*b - 7. Let g be k(h). Suppose 3*q - 12 = -j, g*q + 2*j - 12 = 2*q. Solve 0*v - q = v for v.
-4
Let j = 11 + -11. Solve j*h + 4*h = 12 for h.
3
Let q(a) = a + 5. Suppose 5*t + 22 = 2*x, 0 = -t - 0*t + 3*x - 7. Let b be q(t). Let s = -8 - -11. Solve -2*z + s = b for z.
1
Let q(z) = 2*z**2 + 2*z + 3. Let d be q(-2). Suppose 2*g + 2*f = -f + 11, 2*f - 18 = -4*g. Solve 0 = -3*j + d*j - g for j.
1
Suppose 2*t - 3*u = 8, 5*t + 2*u = -2*u - 3. Let m be (t - (-1 - -2))/(-2). Solve 2*z = -m - 4 for z.
-2
Let t be (-6 + (-105)/(-14))/(3/2). Solve t = i - 1 for i.
2
Suppose 3*o = -h - h + 19, o = h - 2. Suppose -4*i = -d + 1, d + 1 - 2 = -i. Let t(q) = -q**3 + q**2 + 6. Let s be t(i). Solve -s = 3*w + o for w.
-3
Let q = 3 - 9. Let x be 1 - (-30 + q/3). Let u be x/15 - (-2)/(-10). Solve u = -w - 0 for w.
-2
Suppose -5*n = -3*n - 10. Suppose -3 = p, 3*a = 2*p + 17 - n. Solve d - a*d = -2 for d.
2
Let b(l) = 2*l + 3. Let a be b(6). Let z be 2/(-3) - (-100)/a. Suppose -3*k - k - x - 4 = 0, 2*x = 4*k - 8. Solve -z + k = 3*q for q.
-2
Let i = 8 + -7. Solve i + 2 = 3*j for j.
1
Let k(w) = -w**2 - 2*w - 2. Let r be k(-3). Let t = r + 7. Let z be (-1)/t*(-5 - 3). Solve -5*a - 9 = -z for a.
-1
Let w(j) = 3*j + j + j**2 + 1 - 4. Let c be w(-5). Let o be (1/1)/(c/8). Solve -f + o = -3*f for f.
-2
Let n(h) = -2*h - 21. Let a be n(-18). Solve 2*b + a = -b for b.
-5
Let a = 19 - 41. Let h = a - -26. Solve -h = -u + 2*u for u.
-4
Let s be ((-4)/10)/((-2)/10). Let i(d) = 2*d**2 - 4*d + 3. Let c be i(s). Let u(a) = 4*a - 4. Let b be u(c). Solve 5*q + b + 17 = 0 for q.
-5
Let z = -2 - -2. Let p(c) = c**3 - 5*c**2 + 5*c + 4. Let j be p(4). Solve z = -0*k - 4*k + j for k.
2
Suppose -3*i + 14 = y, 4*i - 9 - 7 = 0. Solve -y*z = z + 6 for z.
-2
Let s(p) = -p**3 + 14*p**2 - 23*p - 2. Let m be s(12). Solve 0 = 9*k - m*k - 2 for k.
-2
Let h be 3/1*(-1)/(-1). Let t(b) = 9 - 14*b + 8*b - 2 + b**2. Let a be t(5). Solve h = -a*f + f for f.
-3
Suppose -9 = 4*x - 5*y, 2*x + 0*x + 12 = 4*y. Suppose 0 = -4*f, 105 = 5*d - x*f + f. Let l be (-2)/4 + d/6. Solve -l*m - 2 = -m for m.
-1
Suppose 5*g + 1 = -29. Let w = 16 + g. Solve y - w = -y for y.
5
Let f be (25 - 65)*1/(-2). Solve 0 = -5*y + y + f for y.
5
Let l be (-65)/(-35) - 1/(-7). Solve -r = l*r + 9 for r.
-3
Suppose 0*k + 5*k - 15 = 0. Suppose 11 = k*q - 25. Solve 0*i + q = -4*i for i.
-3
Let f be 1/(-3) + (-3)/(-9). Suppose f = -4*s + 48 - 16. Suppose -5*y + s = -3*y + 4*l, -3*y - 5*l + 12 = 0. Solve -t = -3*t + y for t.
2
Suppose -w - 2*w = 0, r = 2*w + 8. Suppose -r = -f - f. Solve -f*g - 15 = -3 for g.
-3
Let c(r) be the third derivative of -r**5/60 - r**4/24 - r**2. Let y(p) = 3*p**2 + 7*p. Let l(n) = -6*c(n) - y(n). Let w be l(1). Solve -w = -4*x + 2*x for x.
1
Let l = 0 - -1. Let f(s) = -s - 2*s + l - 7. Let d be f(-6). Solve 4*b = d + 4 for b.
4
Let n = 45 - 42. Solve -n*x = -8*x + 10 for x.
2
Let y = 11 + -7. Let m = 6 - y. Suppose -4*l + 2*l + w = -4, -l - 2*w + 7 = 0. Solve -m*b - 20 = l*b for b.
-4
Let l(h) = -5*h - 5. Let t be l(-2). Solve -t*c + 3*c = -4 for c.
2
Let t(v) = v**3 - 2*v**2 - 4*v + 3. Suppose 5*z - 35 = 5*g, 2*z + 0*z = 3*g + 19. Let b = g - -8. Let y be t(b). Solve y*k - k = 2 for k.
-2
Let c be 12/54 - (-25)/9. Solve p + c*p - 16