 for s.
-4
Suppose -10*k + 12 + 38 = 0. Let w = 0 + 2. Suppose -w*h - 9 = -k*h. Solve -2*z - z = h for z.
-1
Suppose 7 = -l + 5*f, -l + 3 = -3*f + 6. Solve 12 = l*r + 27 for r.
-5
Suppose 5*j - 4*q + 0 = -28, -5*j - 2*q - 16 = 0. Let o be (j - -3)*(1 - 2). Suppose 2*k - 3*k = -o. Solve -p + 0 - k = 0 for p.
-1
Let j(p) = -3*p**3 - p**2 - p - 1. Let x be j(-1). Suppose -x = -3*h + 4. Suppose h*a = -a + 9. Solve -a = k - 5 for k.
2
Let l be 10/4*(3 + -1). Suppose 486*d + 477*d = 977*d - 182. Solve d = l*m - 7 for m.
4
Let y = -1 - -4. Solve -2*o - y*o + 15 = 0 for o.
3
Let f = -56 - -53. Let r be ((-21)/f - 4) + 3. Solve -5*h + r = 16 for h.
-2
Let v(h) be the first derivative of -h**4/4 + 7*h**3/3 + 6*h + 3. Let b be v(7). Solve y - 4*y = -b for y.
2
Let b = 109 + -106. Solve -4*k = -b*k - 1 for k.
1
Let s(g) = g**2 + 2*g - 3. Let r be s(-3). Suppose 5*k + 7*m - 18 = 3*m, -5*k + 20 = 5*m. Suppose -k*l = -12 - r. Solve -4*j = -7*j - l for j.
-2
Suppose 4*b - 31 = -0*b - 3*q, 3*b + 5*q = 15. Let p(n) = 2 - 6*n**3 - 10*n - 9*n**2 + 2*n**3 + 5*n**3. Let h be p(b). Solve -h = 3*i - 17 for i.
5
Let u = -74 + 74. Let c = 13 + -11. Let d be c*-1 - 49/(-7). Solve 0 = -d*h - u*h - 20 for h.
-4
Suppose 126 = 12*h + 18. Solve 3*v = -0 - h for v.
-3
Let q be ((-4)/3)/(6/(-9)). Let a = -35 + 37. Suppose 3*y + 3 = -2*c, 5*c - a = -y - 3. Solve -q*s - 2*s = c for s.
0
Let h = 1727 + -1718. Solve 10*z = h*z for z.
0
Suppose -5*p + p = -48. Suppose 5*m = -c + p - 1, 4*m = -2*c + 4. Solve -m*b - 1 = -7 for b.
2
Suppose -6*j - 6 = -9*j. Let c = j - -18. Solve 0 = -p - 4*p - c for p.
-4
Let f = 2 + 6. Suppose -c = -i + 3*c - f, 2*c = -4*i + 40. Solve y = 5*y - i for y.
2
Let c(u) = 2*u**3 - 11*u**2 - 5*u - 7. Let m be c(6). Let j be (-1 - 1 - m)*-5. Solve 0*p = -j*p + 15 for p.
3
Let a = -49 - -73. Let b = -16 + a. Solve -b = -5*i + i for i.
2
Let c = 789 + -485. Solve c = -7*q + 297 for q.
-1
Suppose -3*h - 5 + 20 = 0. Let z = h + 0. Solve 0 = 3*g + z + 7 for g.
-4
Suppose -4*w - 3*m + 57 = 0, 2*w - 65 = -3*w - 5*m. Suppose -4*g = -w + 2. Suppose -5*b + c + 17 = -b, 3*b = -c + g. Solve -b*y + 8*y = 10 for y.
2
Suppose 3*o + 2*h = 0, -7*o + 2*h + 14 = -3*o. Suppose -2*k - 122 = -12. Let t = k - -75. Solve -o*b = -6*b - t for b.
-5
Suppose p = 7*d + 141, -5*p - d + 724 = 163. Solve 16 = -p*j + 121*j for j.
2
Let b = -65 + 83. Suppose -b = -c - 5*c. Solve j + c = -2 for j.
-5
Let u = 7 - 5. Suppose 0 = -5*c + u*y + 8, -20 = c + 6*y - y. Suppose c = -3*w - 2*g + 4, g - 7 - 2 = -5*w. Solve 5*n = 3*n + w for n.
1
Let v = 1219 - 1183. Solve -8*s + 17*s - v = 0 for s.
4
Let d = 0 + 2. Suppose -9 - 15 = 3*b. Let f be 1/(3 + 20/b). Solve d = f*y - 2 for y.
2
Suppose 4*o + 108 = 4*b + o, 0 = 2*b - 4*o - 64. Let y = -22 + b. Let x be (-20)/(-9) + 2/(-9). Solve -y - 8 = x*q for q.
-5
Suppose -20*z + 27*z - 77 = 0. Solve -7*y = z - 4 for y.
-1
Let k = 37 - 35. Suppose -k*o = -l - o + 2, 0 = -4*l - o + 33. Suppose l*w = 6*w + 10. Solve 2*s - w = -3*s for s.
2
Let j be (-1 + 7)*(-1)/2. Let v be ((-21)/(-14))/(j/(-22)). Suppose -v = 2*g - 15. Solve g*n = -10 + 4 for n.
-3
Suppose 11 = w + 9. Suppose -7*v - w = -8*v. Solve v*g = g - 4 for g.
-4
Suppose -131 - 7 = -3*p. Let i = p + -43. Solve 0 = -2*t + i*t - 5 for t.
5
Suppose -69*f + 70*f = 0. Solve f = 5*r + 6 + 19 for r.
-5
Suppose -5 = o + 5*t, 4*o = -2*t - t + 48. Let b = o - 13. Suppose 2*q - q - 2*p = 2, b*q = -3*p + 11. Solve -2*a + 6 = -q*a for a.
-3
Let c(b) = b**2 + 54*b - 200. Let s be c(4). Solve -38*h + 30 = -s*h for h.
5
Let r(y) = 21*y - 104. Let t be r(7). Solve -13 = -6*w - t for w.
-5
Let g = 225 + -217. Solve -12*s = -14*s - g for s.
-4
Let r be 84/56*(-2 - -4). Solve 9*y = -r*y + 24 for y.
2
Let v be ((-51)/9 + 1)*42/(-49). Suppose 0 = v*c + 3*t - 39, -5*c + 6 + 4 = -4*t. Let f(p) = -p**2 - 7*p - 7. Let u be f(-5). Solve u*g + 15 = c*g for g.
5
Suppose -4*k = 104 + 20. Let t = -31 - k. Solve 5*w = -t*w + 15 for w.
3
Let f(r) = 2*r**2 - 14*r**3 + 3*r - 16*r**3 + 3 + 29*r**3. Let u be f(2). Solve 7 = -4*s - u for s.
-4
Let v be 4/8 + -1 + 1/2. Let p(j) = -6*j - 5. Let o be p(-5). Solve -5*c - o = -v*c for c.
-5
Let j = 11 + -9. Suppose -j*y - y - 69 = 0. Let r = y + 35. Solve r = -0*m + 4*m for m.
3
Suppose 0 = 149*x - 138*x - 88. Solve -r + x = -5*r for r.
-2
Suppose -5*d + 0*d - 18 = -l, -2 = 2*d. Solve -4 = 3*o - l for o.
3
Let o be (45/(-10))/(9/(-6)). Solve 3*y = -0 - o for y.
-1
Let g be (0 + -24)*67/(-67). Let x = 12 - -9. Let b = g - x. Solve b*r + 10 = r for r.
-5
Let i be 27/18 + (-6)/(-4). Suppose i = 4*g - 9. Solve 5*b = g*b + 10 for b.
5
Let g(t) = t**2 - 4*t. Let z be g(5). Suppose -y - 20 = -z*y. Let k = 7 - y. Solve -w - 3 = -k for w.
-1
Suppose -9*b - 8 = -26. Solve 19 + b = -7*m for m.
-3
Suppose 0 = 25*q + 9*q. Solve q*c + 4 = -4*c for c.
-1
Suppose 2*m = 703 - 175. Let w be (-4)/22 + m/121. Suppose -w*l + 47 = 3*g + 14, -l - 5*g + 34 = 0. Solve -4*t + 5 = -l*t for t.
-1
Let c(t) = t**2 + 7*t - 25. Let x be c(5). Solve 2*y = 9*y + x for y.
-5
Let b = 12 - 3. Solve -3*c + 0*c - b = 0 for c.
-3
Let j = -18 - -21. Let n be (0/3)/(0 - -1). Suppose n = b - 5*z + 19, -6*b = -2*b - 5*z + 1. Solve j*f = -3 - b for f.
-3
Suppose 3*y - 12 = y. Let c(x) = x**3 + 2*x**2 - x + 2. Let f be c(-2). Suppose f*i = -2*i + 2*i. Solve i = 3*v - y for v.
2
Let p(d) = 2*d - 1. Let i be (-2)/3*-3*4. Suppose 3*c = -c + i. Let k be p(c). Solve -v + k*v - 8 = 0 for v.
4
Let f(t) be the second derivative of -t**4/12 - 7*t**3/6 + 24*t. Let j be f(-7). Solve 4*w + w - 25 = j for w.
5
Suppose 0 = 3*d - 5*i - 62, -i = -4*d + 2*i + 68. Let x = d + 0. Let z = -9 + x. Solve -3*s - 2 = -z for s.
1
Let z be (14/4)/((-2)/(-12)). Solve -3*o - 15 = -z for o.
2
Suppose 4*x = -w + 2 + 4, 0 = 4*w + 4*x - 24. Let k(h) = -4*h - w + 3 + 19 - h**2 - 6*h. Let p be k(-11). Solve 10*m - p*m = -25 for m.
-5
Suppose 0 = 3*w - 6, -w - 2*w = 2*q - 54. Let g = 21 + -33. Let b be (-14)/g - 4/q. Solve 2 = -m - b for m.
-3
Let r be (-3 - 27/36)*(-8)/3. Suppose -c - 3*z + 8 + 0 = 0, -3*c + 24 = -5*z. Solve c*m - r = 3*m for m.
2
Let j be -7*((-8)/(-14) - 2). Let h be j/(-25) + (-124)/(-10). Suppose -2*i = g + 3*g - h, 5*i - 14 = -2*g. Solve 1 = -i*f - 1 for f.
-1
Suppose -4*g + 30 = 2*x, g + 2*x + 0*x = 9. Suppose i + 6 = 4*i - k, -g = 5*i + 4*k. Solve i = 2*u - 1 for u.
1
Let n = 30 - 28. Suppose 7 - 1 = 6*a. Solve -a = 3*j + n for j.
-1
Let b be 7/5 + 253/55. Solve 2*l = b*l - 8 for l.
2
Let s(t) = -3*t**2 - 11*t + 8. Let v be s(-4). Solve v*g + 8 = -4 for g.
-3
Suppose -z - 2*z = -9, -s + 12 = 2*z. Solve 3*d + 0*d - s = 0 for d.
2
Suppose 3*a = 4*a + 7. Let t be 14*(19/a + 3). Suppose 3*c + 3 = t*c. Solve -c*v + 6 = -5*v for v.
-3
Let u be 3/(1 - 6/15). Solve -u*g = -4*g - 2 for g.
2
Let l = 78 + -41. Let b = 39 - l. Solve 0*u - b*u = -10 for u.
5
Suppose 0 = -3*g + 79 - 10. Suppose o - 3*j = -0*j - 1, 3*j + g = 4*o. Solve -25 = -3*f + o*f for f.
-5
Let n be 446/5 - (-8)/10. Suppose 107 = -4*w + 3*d, -3*d = -5*w - 8*d - n. Let g = -11 - w. Solve 5*z + g = z for z.
-3
Let x be (5/(-2))/((-2)/4). Let o be (-9)/(-3) - 1*-42. Let g = 49 - o. Solve -x*f + 24 = g for f.
4
Suppose 4*v + 62 = 18. Let m(y) = -y**2 - 10*y + 13. Let z be m(v). Solve 5 = o - z*o for o.
-5
Let t = 7 + -3. Solve t*d + 7 = -9 for d.
-4
Let b(v) = 3*v**2 + 4*v - 3. Let c be (60/(-9))/(-5) + (-6)/18. Let r be b(c). Solve 6*q = 5*q - r for q.
-4
Suppose -6 = -19*y + 51. Solve 6*a + 27 = -y*a for a.
-3
Let q be (-2)/(-2) + 0 + -4. Let h be ((-2)/4)/(q/24). Suppose h*c + 2 = 26. Solve 2*r + r = -c for r.
-2
Suppose 3*a - 19 = -2*t, -4*t - a = -0*a - 13. Suppose 163 = 33*z + 31. Solve -t = 2*c + z for c.
-3
Let x(k) = 2*k + 3. Let y be x(3). Suppose p = y*p + 9*p. Solve 5*s = -p*s + 10 for s.
2
Let m(f) = -2*f**2 + 9*f + 17. Let a be m(4). Solve -3*q = -a + 12 for q.
3
Suppose -5*h + r - 2 + 22 = 0, -5*r + 12 = 3*h. Let q = -3 - -3. Suppose 12 = 2*t + 2*c - 2, q = 3*c. Solve -t = -3*p - h for p.
1
Let r = -1446 - -1459. Solve -5*a - r = -8 for a.
-1
Let w(p) = -4*p - 25. Let x be w(-10). Suppose -x - 42 = -2*u - 3*l, 0 = 4*u + 4*l - 116. Let a be (-10)/4*(-36)/u. Solve 4*y + 3 = a*y for y.
-3
Suppose 0*p = r - 5*p - 23, 4*p = 2*r - 28. Suppose r*o - 25 = 15. Let n be ((1 - 2) + 3)*