ppose 9 = 3*r + 5*z, -2 = -t*r - 3*z + 4. Solve -3*b + 6 = -r for b.
3
Suppose 0*i - 4*z + 50 = 5*i, 4*i = -2*z + 34. Solve -i*v = -7*v + 2 for v.
2
Suppose -3*j = -12, x + 1 = 2*j - 1. Solve m + x = -m for m.
-3
Suppose -5*b + 3*n = 1 + 4, -1 = 2*b - n. Solve 0 = -b*v + 7*v - 5 for v.
1
Suppose -2*d - 2 - 6 = 0. Let n = 6 + d. Let p = 6 + -2. Solve 0 = 2*u - n + p for u.
-1
Let v = 125 - 122. Solve -6 - v = -3*x for x.
3
Let c = -101 + 107. Solve -5*s + c = -3*s for s.
3
Let w(z) = z - 3. Let l be w(6). Suppose 0 = -l*h - 2*h. Suppose 15 = 2*i + i. Solve i*u + 0*u - 15 = h for u.
3
Let b(p) = p**2 - 18*p - 61. Let s be b(21). Solve -s = -u + 2 for u.
4
Let k be (-22)/(-2) + (-1 - -1). Suppose 0 = 2*i + 2*i - 4, -2*x = 3*i - k. Solve -12 = x*s - 4 for s.
-2
Let f(s) = s**2 - 5*s + 6. Let h be f(4). Suppose -2*q - 3*q = 0. Solve q*l = h*l + 6 for l.
-3
Suppose x = 2, -4*x + 49 = 3*i + x. Let j = i + -11. Solve -j*g = 3*g for g.
0
Let o(y) = -y**3 + 7*y**2 - 4*y - 4. Let x be o(6). Suppose 0 = -12*i - 20*i + 11*i. Solve -2*d + 0*d - x = i for d.
-4
Let r = -3 - -1. Let p be 7 + (r - (-1)/1). Suppose p*f = 2*f + 16. Solve 3*d - f = 2 for d.
2
Suppose 2*k - 8 + 1 = -5*b, 2*k + 2 = -2*b. Let t be (-6)/(-9) - 23/b. Let n be (-33)/t + (-2)/(-7). Solve 0*p - 20 = -n*p for p.
4
Suppose -6*l = -5*l - 10. Solve w + w = -l for w.
-5
Suppose 5 = -3*g + 11. Solve 10 = -g*m - 0 for m.
-5
Let w be -1*(0 + (-8)/4). Solve -w*l + 4*l + 2 = 0 for l.
-1
Suppose 4*p + 5*g - 5 = -0*p, -3*p = -5*g + 5. Let q = 2 + p. Solve s + 1 = -q for s.
-3
Let s be (120/(-5))/(1 + -3). Solve -p = 2*p - s for p.
4
Let o(l) = 2*l. Let p be o(0). Solve 0 = j - p*j + 2 for j.
-2
Let i be (1/2)/((-3)/(-6)). Let b be i - 0 - 2/(-2). Suppose 4*x - 6 = 6. Solve -b*n = x + 7 for n.
-5
Suppose z = -2 - 1. Let l be (-2)/6 - 10/z. Solve l*r - 5*r - 2 = 0 for r.
-1
Let a = 47 + -32. Solve -2*p - p = -a for p.
5
Suppose -3*x + 7*s - 24 = 2*s, s + 6 = -3*x. Let f be (-1)/3 + (-1)/x. Solve 2*n + 3 + 1 = f for n.
-2
Suppose -5*w = 13 - 18. Suppose -4*a = -0*a. Let s be (w - 1)/(a - -2). Solve -y + 3*y = s for y.
0
Suppose 32 = -16*u + 20*u. Solve 4 = 4*g - u for g.
3
Let g be -1*(3 + -2) - 1. Let w be -1 + 2/g*-7. Solve j - 2 + w = 0 for j.
-4
Suppose -3*j - 4 = -13. Let a(v) = -v**2 + 5*v - 3. Let x be a(j). Suppose -3*t + 2*f = -7, -3*t - 4*f = 2 + x. Solve t = 2*y - 7 for y.
4
Let i(a) = a**3 - 7*a**2 - 7*a - 8. Let o be i(8). Solve v - 12 + 7 = o for v.
5
Let o(r) = -r**2 - 8*r - 3. Let v be o(-7). Suppose -2*q - 11 = -f, f - 3*q - 62 = -v*f. Suppose x - z = f, -3*z - 82 + 13 = -5*x. Solve a + x = -2*a for a.
-5
Let f be 0 + -1 + (3 - 0). Let y = 2 + 5. Let x be 1*y + f/(-1). Solve i + 16 = x*i for i.
4
Suppose -4*s = -2*u - 6, -s - 2 = 4*u - 8. Suppose 2*t - 3*g = -0*g + 4, -s = -t - 2*g. Solve 0 = t*l + 2*l + 4 for l.
-1
Suppose g + 1 = 2*g. Solve 4*k + g = 5 for k.
1
Let p = 1 + 1. Let x(u) = u - 2. Let t be x(3). Let a(v) = v**2 - 12*v + 23. Let d be a(10). Solve -p*b = d - t for b.
-1
Suppose -k = -2*k - 4. Let g = k - -9. Let b = 14 - 6. Solve b = -g*n - 12 for n.
-4
Suppose -z + 111 = 17. Suppose 0*u = -v - 3*u + 52, 2*v + u - z = 0. Let j be v/14 + 2/(-7). Solve 0 = j*i + 15 for i.
-5
Let g be ((-66)/(-55))/((-6)/(-20)). Solve g = d + d for d.
2
Let j(r) = -r**2 + 6*r - 8. Let u be j(8). Let s be (-80)/u + 2/(-6). Suppose -2*f = -s*f + 3. Solve i - 4 = -f*i for i.
1
Suppose 0*p = 3*p + 3, 2*m - 3*p - 9 = 0. Suppose i - m*v + 2 = -3, i = -2*v + 10. Suppose -d + 0*d + i = 0. Solve b + 1 + d = 0 for b.
-5
Let m be 21/6 + (-2)/(-4). Suppose -s + 7 = -f, 3*s + m*f + 8 = 2*s. Solve -6 = -7*x + s*x for x.
2
Let k = -11 - -12. Let t(o) = 4*o**2 - 1. Let a be t(k). Solve -a = m - 0 for m.
-3
Suppose -4*f - 3*b = -16, 3*f - 1 = 3*b + 11. Let t be f/6 - 28/(-21). Let k be (-9)/4*8/(-3). Solve -t*d - k + 2 = 0 for d.
-2
Let v(y) = y**2 + 1. Let i be v(3). Let q = i - 10. Solve -4 = s - q*s for s.
-4
Let o(l) = -l**2 + 5*l - 4. Let v be o(3). Suppose 14 = 5*y - n, -v*y + 6*y + 2*n = 0. Let j be (-22)/(-4) - 3/6. Solve -j*b - 13 = y for b.
-3
Let d(g) = -g**3 + 5*g**2 + 9*g - 2. Let h(i) = -7*i**3 - 2*i**2 + 1. Let w be h(-1). Let k be d(w). Solve 2*l - 6*l - k = 0 for l.
-4
Let s be (-6 + 5)*4*(-1)/1. Solve 0 = -s*k + 8*k - 12 for k.
3
Let f(p) = -p**2 + 7*p - 3. Let s be f(6). Solve -s = v - 0*v for v.
-3
Let s(x) = 2*x**2 + 2*x + 1. Let v(d) = d**2 - 9*d + 6. Let u be v(8). Let z be s(u). Solve 8*t = 7*t + z for t.
5
Let p = 4 - 0. Suppose 0 = -0*o + 4*o. Suppose 4*g - p = -o. Solve 3 = 2*r + g for r.
1
Let t be (-54)/(-7) + 22/77. Let y = t + -5. Solve y = -f + 6 for f.
3
Let l be (-7 + 1)*2/(-4). Suppose 0 = 3*k - 0*k - 15. Suppose k = -2*i + 15. Solve r - l = -i for r.
-2
Let c be (-1)/(-5) - (-124)/(-20). Let a = c + 9. Let m be a/(2/(-16)*-6). Solve -m*y + 5 = 25 for y.
-5
Let m be (-2)/(-5 - -3) - 6. Let h be m/(15/(-18)) - 2. Solve h*q + 2 = -2 for q.
-1
Let n be (2 + -1 + -1)/(12 - 9). Let d(o) = -o + 4. Let m be d(3). Let x be (4 - 2/m) + 1. Solve x*l + l + 8 = n for l.
-2
Let k = -13 - -26. Suppose g + 4*g - 50 = 0. Suppose v = -4*h + g, 4*h + 2*v = -h + 11. Solve k = h*w + 1 for w.
4
Let h(t) be the third derivative of -t**6/120 + t**5/12 + 7*t**4/24 - t**3/2 + 5*t**2. Let o be h(6). Solve -o*p = -4 - 11 for p.
5
Suppose 0 = -p + 4*v + 30, 4*v + 40 = 2*p + v. Suppose -i + 3*i = p. Suppose i*d = 3*d + 24. Solve -d = w - 4 for w.
-2
Suppose 0 = p - 4*k + 11, 0 - 6 = -2*p + k. Solve -h + 6 = p for h.
1
Suppose -3*u - 2*h + 22 = -u, -4*h + 53 = 5*u. Let k be (-4)/(-6) + 78/18. Solve -u = k*j - 29 for j.
4
Let h = 14 - 4. Let n(q) = 3*q**2 - 7*q + 6. Let p be n(4). Let u = p - h. Solve 5*x + 1 = u for x.
3
Let u be (-1 - 1)/1*-2. Suppose -3*t + 10 + 2 = -3*c, 4*t = -u*c. Solve 11 - 3 = -t*q for q.
-4
Let n = -130 + 132. Solve 0 = 2*j - 3*j + n for j.
2
Let o(y) = -7*y + 7. Let z be o(2). Let i = -8 - -15. Let v = i + z. Solve -2*x + 4*x = v for x.
0
Let p(v) = 2*v**2 + v - 2. Let l be p(-2). Suppose -14 = -l*s + 22. Solve 0 + s = -3*w for w.
-3
Suppose z + 25 = 7. Let c be (2/6)/((-2)/z). Suppose c*k + 15 = 4*k. Solve -4*l - l = -k for l.
3
Let j(r) = r**2 - 6*r - 1. Let d be j(9). Let z(x) = 5*x - 3. Let h be z(-5). Let u be 6/15 - h/5. Solve -d = 5*o - u for o.
-4
Suppose 11 = -3*j - 1. Let h be 7/2*(-2 - j). Solve 0 = -2*u - h + 1 for u.
-3
Let v = 1 - -11. Let d(s) = -s**3 + 9*s**2 + 11. Let k be d(9). Let c = k + -6. Solve 2 = -c*z + v for z.
2
Let w = 95 + -86. Solve 4*g = -w - 11 for g.
-5
Suppose -60 = 3*c - 9*c. Solve 3*l + c = l for l.
-5
Let z(l) = -2*l - 6*l - 2 - 3 + 2. Let q be z(-1). Solve q*b + 9 = -1 for b.
-2
Let n be ((-8)/10)/(10/(-25)). Let c(f) = f**3 - 17*f**2 - 2*f + 41. Let t be c(17). Solve -20 = n*p - t*p for p.
4
Let s be (2/4)/((-1)/(-6)). Let o(j) = j**3 - j**2 - j + 4. Let h be o(0). Solve 3*k - s = h*k for k.
-3
Suppose 0 = -2*n + 4*n - 18. Let j(d) = d - 2. Let f be j(5). Suppose -2*k + 6*k + f*l = 5, 0 = 5*k + 4*l - 6. Solve k*h + n = -h for h.
-3
Suppose -b = 14 - 19. Solve b*j + 16 = 1 for j.
-3
Suppose 9*a = 8*a + 7. Solve 0 = 3*z - a*z + 4 for z.
1
Let b = 17 + -15. Let d = 10 + -5. Solve -b*u - 5 - d = 0 for u.
-5
Let c(q) = -3*q**2 - q + 4. Let m be c(4). Let o be (-119)/(-6) - 8/m. Solve -o = -x + 6*x for x.
-4
Suppose 75 = 14*y + y. Solve 0 = y*q - 28 + 3 for q.
5
Suppose -2*g + 8 = l - 7, -5 = -3*l + 2*g. Suppose -38 = -l*m - 13. Solve m*j + 0 = 5 for j.
1
Let c(b) = b - 2. Let k be c(9). Let f = -5 + k. Solve 0 = -5*g + f + 13 for g.
3
Suppose -3*i - 16 = 5*y, 0 = 3*i - 7*i - 4*y - 8. Solve -5*m - i = -4*m for m.
-3
Suppose 2 = -2*c + 22. Suppose 3*p + 11 + 4 = -5*b, c = b - 2*p. Suppose n = 3*l + 4, n = -l + 5*l + 3. Solve b = -2*s + n*s + 20 for s.
-4
Suppose 0 = 4*z + r - 6 - 2, -z + r + 7 = 0. Suppose 0 = -2*c - 7 + z. Let t be (0/(-1))/((-4)/c). Solve t = 5*q + 8 + 2 for q.
-2
Let n = 5 + -12. Let t = n + 12. Solve -b = t - 1 for b.
-4
Suppose 6*b = b + 15. Solve -b*g + 2*g = -4 for g.
4
Let v = 1 + -1. Suppose -4 + 6 = x. Solve v*q + 2*q + x = 0 for q.
-1
Let b be 4 - (-1)/(1/(-2)). Suppose 2*r + 4*t = -14, -t + 0*t = b*r - 1. Solve -r = 2*h - 5*h for h.
1
Let z = 3 + 0. Suppose -3*s + 3*u + 2*u = -11, 4*s = -u + 7. Solve -s*p = -z*p f