 + 15 = 0 for r.
-5
Suppose -2*o = -3*w + 5, -2*w + w + 5 = o. Suppose -o*h = -h - 5. Solve -4*f + 25 = h for f.
5
Let o be (10 - 6)*(1 - (2 - 2)). Let i(b) = 7*b + 1. Let q be i(1). Let v be (-3)/(-6)*4 + q. Solve o*c = -c + v for c.
2
Let z(r) = -r**3 - 6*r**2 + 7*r + 1. Let m be z(-7). Suppose g - m = 4. Suppose 0 = 5*b - 0*b. Solve -g*s + 0*s - 15 = b for s.
-3
Suppose -5*j - u - 4 = 0, -16*u - 8 = 2*j - 14*u. Solve j = 2*m - m - 1 for m.
1
Let a = -18 - -6. Let r(b) = -b**2 - 10*b + 28. Let m be r(a). Solve 26 = -m*x + 6 for x.
-5
Suppose -5*z + 20 = 0, 2*w - 5 = 4*z - 21. Solve 8*n + 12 - 4 = w for n.
-1
Let i(m) = m**3 - 6*m**2 + 2*m - 7. Let f be i(6). Let v = -6 - -9. Suppose v*h = b + 7, 3*h - 2*b - 10 + f = 0. Solve -h*s + 2 - 17 = 0 for s.
-5
Suppose 2 = -2*v - 2*j + 12, 5*j - 20 = -4*v. Solve -v = -6*g + 1 for g.
1
Let f = 23 - 69. Let y = 46 + f. Solve -5*n - 1 + 6 = y for n.
1
Suppose -106 + 40 = -2*o + 2*p, 5*o - 159 = 2*p. Suppose -5*q + 3*g + o = 0, 34 = 5*q + 3*g - 5*g. Solve 0 = -q*s + 4*s - 20 for s.
-5
Suppose 29*m + 5*k = 34*m - 15, 0 = 3*k. Solve 2*t + m*t = -t for t.
0
Suppose 20 = 4*z + 5*c, 5*z - 13 = 4*c + 12. Suppose -3*b = 4*x - 7, 0 = -b + x - 6*x - z. Suppose -i = i - 2*q - 10, -b*q - 17 = -i. Solve -6 - i = -2*h for h.
4
Let y = 36 - 19. Suppose 25 - y = 4*p. Let l be (-4)/6 - (-23)/3. Solve -l - p = -3*d for d.
3
Let q = 146 + -140. Suppose -k + q*t + 22 = 11*t, 3 = t. Solve 6 = k*d - 5*d for d.
3
Suppose -5*c + 5*u = 75, -5*c - 7 - 70 = -4*u. Let r(z) = 2*z + 36. Let s be r(c). Solve s = -v - 0 for v.
-2
Let z be (-6)/9 - (44/(-12) - -5). Let n be 4 - (2 + z)*(3 + -2). Solve 0*i = n*i - 8 for i.
2
Let c = 18 + -15. Let m be 15/(-3)*c/(-3). Suppose 3*o + 5*h = -1 - 10, m*h = 4*o - 32. Solve 0 = o*n - 6 - 3 for n.
3
Suppose a = -4*o - 3, -2 = -a + 2*o - o. Let u be (a - -5) + 3 + -5. Let m(l) = l**2 - 4*l. Let t be m(u). Solve t = 5*j - 4*j for j.
0
Suppose -2*y - 6 = 0, 4*x - 5*y + 152 + 1 = 0. Let b = x - -42. Let w = -8 + 13. Solve b = -p - 0*p + w for p.
5
Let v be -43 - -42 - 1*(-67)/(-1). Let f = v - -68. Solve 5*d + 9 + 6 = f for d.
-3
Let y(x) = -x**3 + 8*x**2 + 151*x - 8. Let o be y(-9). Solve o*z - 26*z = 32 for z.
-2
Suppose 16 = 3*h + 2*s, 3*h + h = 4*s + 8. Let f(d) = -3*d + 49. Let g be f(15). Solve -h*a - g = -12 for a.
2
Let b = -884 + 889. Solve b*p + 139 = 119 for p.
-4
Let t = 66 - 66. Solve y - 6 + 1 = t for y.
5
Suppose -f + 0*a - 30 = 5*a, 12 = -f + a. Let p be f + (-8 + 0)/(-4). Let i = 15 + p. Solve 0 = n + i*n + 6 for n.
-2
Suppose -2*x = a - 33 - 3, 2*a + 47 = 3*x. Solve o - 15 = -x for o.
-2
Suppose -3*w - 2*n = -6, -5*w + 3*n - n = -10. Solve -w*c + c + 4 = 0 for c.
4
Suppose 2*o = -2*o - 4*p + 248, -5*o + 3*p + 342 = 0. Let j = 68 - o. Solve j = u - 2*u for u.
-2
Suppose 0 = -227*h + 229*h - 18. Solve 5*l = -1 - h for l.
-2
Let r(c) = -c**3 + 4*c**2 - 12*c + 49. Let y be r(4). Solve -1 + y = -6*h for h.
0
Suppose 2*x + 6 = -4*l, 3*l - 6 = x - 3. Suppose 0 = 5*o - 5, l = -2*r - 5*o + 2*o + 31. Let d = r - 10. Solve 4*k = 16 + d for k.
5
Let k = -39 - -63. Let i = k + -24. Let b be 107/7 + 6/(-21). Solve i = -x - 2*x + b for x.
5
Let c = -14 + 17. Suppose -j = -c*j. Suppose j = 6*d - 3*d. Solve -h + 2*h = d for h.
0
Let c be (4 + -7)/(3/21). Let f = c + 22. Solve -2*i - f = -3*i for i.
1
Suppose -8*r = -v - 3*r + 92, -2*r = -3*v + 250. Solve -7 = -15*z - v for z.
-5
Let o = 7 - 4. Suppose -4*a + 1 = -o. Let u be -1 + 4 + a + -1. Solve -u*z = 3 + 6 for z.
-3
Suppose -6*a + 3 = -a + k, 2*a + 9 = 3*k. Suppose -m = -f, -m + f - 5*f = a. Solve m = 6*c - 2*c - 20 for c.
5
Let v(f) = 50*f + 391. Let q be v(-7). Solve 41 = 2*h + q for h.
0
Let f(s) = -4*s + 7. Let h be f(1). Suppose 0 = h*m - 2*n - 11, -5 = -3*m + 4*m - 5*n. Solve m*b = 4*b for b.
0
Let n(v) = -v**3 - 6*v**2 + 27*v - 1. Let b be n(-9). Let m be ((-9)/(-18))/(b/(-24)). Suppose o + 3*o = 0. Solve -3*k + m = -o*k for k.
4
Let k be (0 - 4)*(-162)/(-36). Suppose -3*w - 2*c = -0*w - 54, -5*c = w - 18. Let i = k + w. Solve i = n + n - 8 for n.
4
Let n = 20 + -2. Suppose 5*a + 4*a = n. Solve 4*v - a - 6 = 0 for v.
2
Let u = -172 + 188. Solve 11 = -9*j - u for j.
-3
Suppose -3*b = -2*m + 14, 0 = -6*b + b - 2*m - 18. Let x be 1/b*-8 - (0 - 3). Solve -3*y - x = 4 for y.
-3
Let j(u) = u**3 - 6*u**2 - 2*u + 3. Let w be j(0). Solve 0 = 8*s + w*s - s for s.
0
Let w(f) = -2*f - 3. Let a be w(0). Let l be (a - -3)/(-2) - 0. Solve -3*s + l - 3 = 0 for s.
-1
Let c be -15*(0 + (-1)/(-3)). Let y = 0 - c. Solve -k + y*k - 16 = 0 for k.
4
Suppose -3*b - 84 + 29 = -4*d, 0 = -5*b - 5. Let y = -9 + d. Suppose 7*l - 4*l + 5*q = -8, -4*l + 32 = -y*q. Solve 0 = -m + l*m + 15 for m.
-5
Suppose 5*w + 4*d - 230 = 0, w - 2*d - 2*d - 46 = 0. Suppose 0 = -w*a + 49*a - 12. Suppose -y + 4 + 13 = 0. Solve a*f - y = -1 for f.
4
Suppose -21*k = 13*k - 68. Solve -5*b - k*b - 21 = 0 for b.
-3
Let j(v) = 5*v + 31. Let b be j(-5). Solve b - 1 = 5*d for d.
1
Let h = -195 - -201. Solve 2*a - 16 = h*a for a.
-4
Let w = -9 + 13. Suppose w*i = -i + 20. Solve -4*t = -2*t - i for t.
2
Suppose -82*s + 12 = -80*s. Solve -3*b = -b - s for b.
3
Let n = 367 + -364. Solve 4*g - n*g = 0 for g.
0
Let z(c) = -c**2 - 5*c - 27. Let k be z(-11). Let i = k + 96. Solve -2*q + i = q for q.
1
Suppose 3*d = -x - 7, 4*x - d + 21 = 45. Solve -x*n + 25 = 5 for n.
4
Let u = 330 + -300. Solve 2*a = 12*a + u for a.
-3
Suppose 6*t - 119 - 691 = 0. Suppose 10*p + t = 15*p. Let n = p - 23. Solve 0 + n = 4*g for g.
1
Let o = 781 - 774. Let l = 10 + -5. Suppose 0 = t - 3 - l. Solve o*z = 3*z + t for z.
2
Suppose -4*z = 4*p + 8, -3*p + z = -2 - 8. Suppose 4*m - 5 = f + 3, -m + p = f. Solve 0 = -f*v + v + 2 for v.
-2
Suppose -720 = -2*n - 2*q, -11*q = 2*n - 8*q - 716. Solve 0 = -b + n - 362 for b.
2
Let p be (4/(-8))/(5/40). Let c be ((-8)/(-6))/(p/(-6)). Suppose -5*y + 6 = 2*q, q + 5*y = 6*q - 15. Solve -c*s - s = q for s.
-1
Suppose 2*f + 4*a = -0*f - 10, 2*f + 15 = -5*a. Suppose -2*h - 4*x - 14 = 0, 2*h = 6*h - f*x - 37. Suppose -3*k = h*k. Solve -m = -k*m + 3 for m.
-3
Let l(i) = -i + 14. Let o be l(7). Let g = 82 + -55. Let m = -24 + g. Solve -o*r - 16 = -m*r for r.
-4
Suppose 8*q - 30 = 13*q. Let u(l) = 8*l + 1. Let h be u(-1). Let z = q - h. Solve 3 - z = s for s.
2
Let w = -190 - -194. Solve -18*v + 22*v - w = 0 for v.
1
Let q be 15/((2 - 1) + -2). Let r be (-55)/q - 2/3. Suppose 0 = b - c + 5*c - 17, -3*c - 6 = -r*b. Solve -14 = 3*g - b for g.
-3
Suppose h + 6 = r - h, -4*h = -3*r + 14. Solve r*n = 6*n + 12 for n.
-3
Let u(a) = a**2 - 2*a + 2. Let s be u(2). Let v(y) = -y + 7. Let w be v(7). Solve i - s = -w*i for i.
2
Let a be (-1 - 4) + -53 + 58. Solve 2*t + 6 + 0 = a for t.
-3
Suppose -p - 15 = -3*n, p + 6 + 12 = 4*n. Let o = 0 - p. Solve j + o = 1 for j.
-5
Let c(a) = a**3 - 5*a**2 + 12. Let k be c(5). Let s be (k/(-9))/(3/(-9)). Solve -s*m = -6 - 6 for m.
3
Let u(q) = -q**2 + q - 2. Let y be u(4). Let x = y + 16. Suppose -n + 6 = x*b - 3, 3*b = 9. Solve -a + n = 1 for a.
2
Let q be (12 + -18)/(-6)*(0 + 11). Solve -q = 7*x - 25 for x.
2
Suppose 0 = -4*k + 229 + 67. Let a = 75 - k. Solve 0*n - a = -n for n.
1
Let n = -2607 + 2607. Let o = 1 - 1. Let t = o + 4. Solve n = p - t*p for p.
0
Let d(s) = s**2 - 12*s + 36. Let n be d(7). Solve 2*r - n - 7 = 0 for r.
4
Suppose -15*z = -40 - 20. Solve 0*o + 4 = z*o for o.
1
Let n(c) = -c**3 - 5*c**2 - 7. Let z be n(-5). Let s(u) = u**2 + 7*u + 10. Let i be s(z). Solve i*b = 5*b for b.
0
Let w(o) be the third derivative of -o**5/60 + o**4/6 - o**3/6 + 10*o**2. Let v be w(3). Solve v*s = s for s.
0
Let f = -781 - -857. Solve -f = l - 77 for l.
1
Suppose u - 3*g - 49 = -20, 0 = -5*u + 4*g + 101. Solve -7*i = -u*i for i.
0
Suppose 5*v = 12*v. Solve v = 19*a - 22 - 16 for a.
2
Let v(b) = b + 3. Let o be v(0). Let d(i) = -i**3 + 3*i**3 - 3 - o*i**3 + 9*i + 9*i**2 + 15. Let u be d(10). Solve 1 - 3 = -u*s for s.
1
Let k be (5 - 6) + 7/1. Let d be (k/(-8))/(9/(-24)). Suppose d = -i + 2*i. Solve -i = -w - 5 for w.
-3
Let k(r) = 3*r - 10. Let q(p) = 4*p - 11. Let t(a) = 3*k(a) - 2*q(a). Let v be -5*(-11)/((-33)/(-6)). Let b be t(v). Solve -b*s = -0*s for s.
0
Let p(z) = z - 9. Let l be p(9). Suppose -2*b - 2*b = l. Suppose -58 = 2*a - 58. Solve b*m + m = a fo