 4*s + 16 = m for s.
-4
Suppose -4 = -373*p + 371*p. Solve -p*f = 2*f + 16 for f.
-4
Suppose -27*r - r = -280. Solve -r = 4*d - 30 for d.
5
Suppose 2*m = -2*p + 63 - 1, 0 = -4*p + 2*m + 124. Solve p = 3*y + 22 for y.
3
Let u(n) = 14*n + 6. Let s be u(1). Solve -f + 6*f = -s for f.
-4
Let r(o) = -3*o + 13. Let d be r(-6). Let q = 32 - d. Let b be (-56)/(-70) + q/5. Solve -b + 13 = -3*l for l.
-4
Let a(v) = 3*v - v**2 + 4*v + 2*v**2 + 2. Let z be a(-7). Solve x - 4 = -z for x.
2
Suppose p + 16 = -3*p. Let z be (p + (2 - -1))*-18. Suppose -8 = -n - s, 4*n - 3*s = n + z. Solve n = 4*b - 1 for b.
2
Suppose -25 = -5*c + 2*g, -3*c + 18*g + 15 = 13*g. Solve 4*w - c*w = -5*w for w.
0
Suppose r - 4*w - 32 = 0, -w - 34 = -3*r + 40. Solve r = 4*m + 8 for m.
4
Suppose 0 = 5*g + 5*j - 45, -j + 4*j - 19 = -g. Solve 2 = g*p - 18 for p.
5
Suppose 6 = 3*a - 2*n, 2*a - 4 = 2*n - n. Solve 0 = -a*b - 2*b for b.
0
Suppose 2*v - 116 + 34 = 0. Let w = -41 + v. Solve 5 + w = -5*y for y.
-1
Let j = -2 + -6. Let u(m) = -m - 2. Let p be u(j). Let f be (-8)/(-18)*27/p. Solve -f + 4 = -q for q.
-2
Let s be (64/(-12) - -2)/((-4)/(-6)). Let u be 2/s + 5*(-36)/(-75). Solve -3 = n + u for n.
-5
Let s(l) = 2 - 9 + l**2 - 2*l**2 + l**3 - l + 5*l**2. Suppose 0 = -2*n + 4*n + 6. Let k be s(n). Solve -3*q = k + 1 for q.
-2
Let k be -5*12/(-20) + 0. Solve k = -5*l - 7 for l.
-2
Let t = -469 - -469. Solve t = 6*r - 9 + 39 for r.
-5
Let f be (-1)/(-3)*-1 + 594/81. Suppose 2*y - f*y + 75 = 0. Solve x + 2*x - y = 0 for x.
5
Suppose 0 = -3*h + 121 - 109. Solve -h = -v + 3*v for v.
-2
Suppose 3*z = x - 6, 5*x = -2*z - 0 - 4. Suppose -4*a + 7*a - 27 = x. Suppose -4*h + s = -2*s - a, -2*h + 2 = -4*s. Solve -h*d - 12 = -0*d for d.
-4
Suppose 3*m - 25 = 5*n, -n = -m - 3*n + 12. Let l be (3 + m/(-3))/(3/(-18)). Solve -l*u + 15 = u for u.
5
Let y(v) = -4*v**3 + 2*v**2 - 2*v - 6. Let a(x) = 3*x**3 - 3*x**2 + 3*x + 5. Let o(t) = 3*a(t) + 2*y(t). Let m be o(4). Solve 1 = 3*b + m for b.
-2
Suppose 36 = 5*m - 14. Let u = 18 - m. Solve -n + u = -5*n for n.
-2
Let h(u) = u**2 + 11*u - 13. Let z be h(-12). Let r be 5/1*(0 - z). Suppose -5*k + 25 = -r*m, 4*m + 14 = 3*k - 2. Solve -10 = -2*i + k*i for i.
-5
Let a be ((-3)/(-6))/(1/6). Suppose 0 = -j - o - 6, 5*o - 1 = 2*j - a. Let z = 4 + j. Solve y + 2 + 2 = z for y.
-4
Let m(d) = 9*d**2. Let x = -3 - -2. Let c be m(x). Solve -f = 2*f + c for f.
-3
Let p(j) = -4*j + 7. Let a be p(3). Let k be (-26)/(-5) - 4/a. Solve -3*h + h = -k for h.
3
Suppose -2*g + 22 = 3*g + 2*c, -g = c - 2. Solve g*f + 17 = 47 for f.
5
Let x(f) = f**3 - 13*f**2 + 12*f + 4. Let r(o) = o**3 - 9*o**2 + 15*o + 5. Let t be r(7). Let w be x(t). Solve w*s + 11 + 1 = 0 for s.
-3
Suppose 122 + 46 = -4*n. Let g = n + 45. Solve k - g*k - 4 = 0 for k.
-2
Let j be ((-180)/(-6))/((-2)/(-1)). Solve 4*x - j = -x for x.
3
Suppose -31 = -5*i - 1. Suppose -4*a + 103 = 83. Solve -a*p - 16 + i = 0 for p.
-2
Let y be 1/2*(1 - -1). Suppose -13 = -v + y. Let g = 14 - v. Solve -4*l + l - 15 = g for l.
-5
Let b = -6 + 9. Let r(q) = q**2 - 19*q + 20. Let f be r(18). Let s be (7/2)/((3 + -2)/f). Solve -b*h + s = 1 for h.
2
Let u be ((-2)/7)/((-9)/63). Let m be ((-10)/(-6) - u) + 49/21. Solve -m*q - 13 = -5 for q.
-4
Suppose y - 8 + 4 = 0. Suppose -20 = -y*s - 0. Solve 0 = s*z - 3*z - 10 for z.
5
Let b(m) = m + 12. Let a = -61 + 55. Let o be b(a). Solve -o*q = -3*q + 15 for q.
-5
Suppose 3*f - 2 = -2*g, -f - 3*g + 4 - 8 = 0. Solve -3*j - 10 = f*j for j.
-2
Let v be (34 + -34)/(2 + -1). Solve 14*o - 13*o - 2 = v for o.
2
Suppose 3*r = -2*z - 3 - 97, -3*r - 3*z = 105. Let o = -22 - r. Solve -3*s = -o*s + 10 for s.
2
Suppose 0*h + 4*h = 4*m + 40, -20 = -5*h - m. Let w(j) = -2*j**2 + 30*j - 34. Let t be w(14). Let i = 21 + t. Solve -2*x - i + h = 0 for x.
-5
Let a be (-9)/(-5) + (-54)/(-270). Solve 20 = -3*m - a*m for m.
-4
Let z = 37 - 34. Suppose 3*r - 9 = -j + 41, -r + z*j = 0. Solve r = -0*b - 3*b for b.
-5
Let n = -31 + 34. Let t be 4 - (-1 - (3 - n)). Let d be (-3 - (-12)/3)*t. Solve 0 = -d*x + 7 + 13 for x.
4
Suppose j = -6*a + 3*a, -a = -j. Solve -3*o = -j*o + 15 for o.
-5
Suppose 0 = -7*p + 2*p + 300. Let r = p - 58. Solve -4*z - 2 = r for z.
-1
Suppose 20*q - 11312 + 11212 = 0. Let d be 23/7 - (-6)/(-21). Solve -6*l + q*l = -d for l.
3
Suppose 37*m - 31*m - 36 = 0. Solve -m*s = -15*s for s.
0
Let o(v) = v**2 - 14*v + 35. Let n be o(12). Solve -n*g = -13*g - 6 for g.
-3
Let s(y) = 29*y - 169. Let l be s(8). Solve l - 84 = -7*m for m.
3
Let k(s) = -2*s + 3. Let b be k(3). Let f be ((-14)/b + -5)*-6. Solve -f*i + 12 = i for i.
4
Let i be 6/4*(-160)/(-48) - -20. Suppose 5*c + 44 = 3*c. Let a = i + c. Solve -a*y = 1 + 8 for y.
-3
Suppose -4*x + 0*w - w + 111 = 0, -4*x - 5*w + 107 = 0. Let z = 28 - x. Solve -2*c = -z*c - 4 for c.
2
Suppose -11*g + 1692 - 108 = 0. Let f be (2/6)/(4*1/g). Solve -i - 2*i = -f for i.
4
Let z = -16 - -22. Suppose 857*u = 866*u - 18. Solve 4*v = -z + u for v.
-1
Let m(t) = -t**2 - 6*t - 6. Let j be m(-3). Suppose j*o = 1 + 5. Let w(a) = -a**3 - 6*a**2 - 2*a - 4. Let d be w(-6). Solve -o*b - 4 = -d for b.
2
Suppose 0 = 4*o + r - 6, -16*r = -17*r - 2. Solve -4 = 3*h + o for h.
-2
Suppose t - 1 = 0, -2*m = -4*m - t + 9. Suppose -m*k - k = 0. Suppose 7*h - 18 = 4*h. Solve 3*s + k*s - h = 0 for s.
2
Let n(a) = 50*a + 506. Let y be n(-10). Solve -5 + 11 = -y*z for z.
-1
Let l = 78 + -74. Let k be l/16 + 5/(-20). Solve k = -p - p - 4 for p.
-2
Let j be (0 + 4)/((-2)/(-8)). Suppose 4*y + 4*b + 28 = 0, -3*y + 4*b + j = 2. Let p(k) = -k + 1. Let v be p(y). Solve 0 = -v*u + 11 + 4 for u.
5
Suppose 2*v - 11*z - 3 = -12*z, -z = -5*v + 25. Solve v*w - 6 - 2 = 0 for w.
2
Let l = 346 + -343. Solve 2*b - b = -l for b.
-3
Suppose -5*h = d + 4, 2*h - 2*d - 4 = -d. Solve 6*v - 6 - 12 = h for v.
3
Suppose 72 = -49*i + 58*i. Solve -i*r + r - 35 = 0 for r.
-5
Let y be 4 - (8 + -4)/4. Let v be (-2)/6 - (-1)/3. Solve v*x = y*x for x.
0
Let s(q) = -8*q + 112. Let x be s(13). Let d(p) = p**2 - 5*p - 4. Let z be d(5). Let l = x + z. Solve 5*n - l*n = 4 for n.
4
Suppose -24*v + 4*i + 6 = -21*v, 2 = v + 2*i. Solve -v*k = 4 + 4 for k.
-4
Let a(s) = -s**3 - 17*s**2 + 4*s - 23. Let y be a(-17). Let i = y - -95. Solve 0 = g + i*g for g.
0
Let w = -10 + 14. Suppose -2 = 2*m + 2. Let n = w + m. Solve 0 = 2*j + 12 - n for j.
-5
Let k(o) = -4*o + 17. Let z be k(3). Suppose 0 = 4*c - z*g - 60, 5*c + 4*g - 25 - 9 = 0. Solve -4*u = u + c for u.
-2
Suppose -5*m - 2*a = -135, m + 2*a = -0 + 35. Solve -m*i - 15 = -22*i for i.
-5
Let b be (-14)/(-8)*(-2)/(-7)*2. Suppose -b = -n + 2. Solve 0*m = n*m for m.
0
Suppose 0 = -6*q + 154 - 10. Suppose -2*b - 8 = -q. Solve b = 4*u - 0 for u.
2
Let f = -30 + -5. Let p = f - -38. Let d be ((-6)/(-5))/((-3)/(-20)). Solve w + d = -p*w for w.
-2
Suppose -20*c + 4*g - 10 = -22*c, 5*g + 33 = 4*c. Solve -37 + 16 = -c*y for y.
3
Let x(a) = -a. Let b be x(-6). Suppose -12*m - b = -15*m. Solve -7*s - 15 = -m*s for s.
-3
Suppose 0 = h + 33 - 36. Solve 0 = -5*f + h*f + 4 for f.
2
Let f be -2*((-15)/(-9))/(4/(-6)). Suppose -q - 2*q = -4*n - 8, f*q + 10 = -5*n. Suppose 2*o = 4*o - 6. Solve 0*y - o*y = q for y.
0
Suppose -37 - 23 = 4*r. Let h = -12 - r. Solve 9 = -h*p + 6*p for p.
3
Let m(z) be the second derivative of -z**4/12 + 3*z**3/2 - 6*z**2 - 4*z. Let y be m(8). Let w be 6/(y/((-16)/6)). Solve -5 = w*s + 11 for s.
-4
Suppose 187*d = 40*d. Solve d = g - 4 + 6 for g.
-2
Suppose -4*r + 8 = -0*r. Suppose 2*b = j - 1, -j = -3*b - r*b - 1. Suppose b = 4*p - p. Solve n + n = p for n.
0
Suppose -3*k + 5*k + 8 = 4*r, 2*r - 12 = -k. Solve -r*a + a - 3 = 0 for a.
-1
Let o(a) = a**3 - 7*a**2 + 12*a - 40. Let z be o(5). Suppose 0 = -4*f + 8 - 144. Let n = z - f. Solve -1 + n = 3*x for x.
1
Suppose -z = 6 - 17. Suppose 0 = 3*h - 4*h + 16. Let p = h - z. Solve -p*k = -20 - 5 for k.
5
Suppose 3003 = -6*n - 5*n. Let h be 2/(-3)*n/26. Solve 1 = 2*y - h for y.
4
Let m(t) = 45*t**3 + t**2 - 2*t + 1. Let k be m(1). Let r = -30 + k. Suppose 10 = 4*d - 3*g, 8 + 8 = 2*d + 4*g. Solve -d*w = r + 1 for w.
-4
Let j(d) = -d + 6. Let x be j(4). Suppose 2*w = 17 - 3. Suppose -5*b + w = -13. Solve 0 = -x*h + 3*h - b for h.
4
Let n(i) = -11*i + 5. Let f be n(-5). Suppose -x = 4*x - f. Let r be (1 - (20/4)/5)/1. Solve 5*