Solve 0 = -f*s - 2 + 6 for s.
2
Let s(j) = -4*j + 16. Let c be s(6). Let i(h) = h + 13. Let k be i(c). Solve -21 + 6 = -k*r for r.
3
Suppose -37*g + 40*g - 35*g = -1088. Solve -32*l = -g*l + 4 for l.
2
Let c = -4657 - -4659. Let p be (-1)/2*(-4 - (9 + -5)). Solve -p = -c*t + 6*t for t.
-1
Suppose 0 = -5*d - 4*u + 100, 0 = 2*d + 42*u - 41*u - 37. Solve 23*j = 32*j - d*j for j.
0
Suppose -316 = -s - 299. Solve -6 = 23*v + s for v.
-1
Suppose 11 = 12*x - 25. Suppose -4*p = 4*o - 12, -3*o = -0 + x. Solve -p*s = -7*s + 12 for s.
4
Let f be 868/42 - 20 - (-58)/3. Solve -16*y + f*y = -8 for y.
-2
Suppose -3*q = q + 264. Let v = q + 72. Let w(r) = r**3 - 6*r**2 + r - 4. Let l be w(v). Solve 10 + l = -3*n for n.
-4
Let x(d) = 5*d**2 + 7*d + 13. Let f(t) = 27*t**2 + 35*t + 68. Let k(q) = 2*f(q) - 11*x(q). Let a be k(-2). Solve -5*p + 4*p - a = 0 for p.
-3
Let j(g) = -g**2 + 16*g + 10. Let a(d) = -4*d**2 + 49*d + 29. Let s(z) = -2*a(z) + 7*j(z). Let w be s(-14). Solve -2*o + w = 2*o for o.
3
Let w(i) = 3*i + 18. Let l be w(-5). Suppose -1 = -d - 8. Let c(s) = s**2 + 10*s + 23. Let t be c(d). Solve l*z = -t*z for z.
0
Suppose -125*x - 13951 + 93151 = 73*x. Solve -x*y = -396*y + 4 for y.
-1
Suppose 2*c + 2*c = -5*l + 17, 5*l - 35 = 5*c. Suppose -3*s = -l*s - 10. Let z be (-8)/s - (-18)/150*-5. Solve 0*v = -v + z for v.
1
Suppose 0 = -2*c + 20 - 2. Suppose -177*m + 179*m = 5*r - 3, 4*r - m - 9 = 0. Solve -c*g = -r*g for g.
0
Suppose 0 = 3*d - 4*d + 3. Suppose -140*n + 141*n + 3*k = -12, -5*k - 36 = -n. Solve -h = -n + d for h.
3
Let q be 76/(-8)*2*-1. Suppose 5*c + 4 - q = 0. Suppose -4 = c*z - 5*z. Solve z*f - 1 = 1 for f.
1
Let j(x) = 2*x**2 + 54*x + 32. Let y be j(-26). Let z(w) = -w**2 - 21*w - 12. Let o be z(y). Solve -2*p - o = -4 for p.
-2
Suppose 141 + 64 = 5*q + 5*r, 2*q - 4*r = 46. Solve 24*f = -11*f - q for f.
-1
Let v be (-5 - 18/(-4))*0. Suppose u + 2 - 17 = -4*o, -5*o - 4*u + 16 = v. Solve o*t = t - 6 for t.
-2
Suppose -4*y - 15 + 31 = 0. Let a be ((-12)/y)/(-12) + 15/4. Let x be 5/(11/(-3) + a). Solve -2*o - o = -x for o.
5
Suppose -35*m + 1362 = -4212 + 744. Solve -132*k + m*k = -12 for k.
-2
Let l be (86/(-3))/((-18)/27). Suppose 4*m - s - 22 = 18, -3*m + l = -4*s. Suppose 4*p = m - 1. Solve p*k + 6 = 5*k for k.
2
Let j(b) = 10*b**2 + 16*b - 29. Suppose 392*s + 26 = 405*s. Let z be j(s). Solve -6 = z*u - 41*u for u.
-3
Let j be 30/(-5)*(-20)/8. Solve 0 = -j*d + 17 - 2 for d.
1
Let b = -469 + 472. Suppose 2*r - 52 = -4*p, -3*p - b*r = 2*p - 66. Solve p = -3*d + 7*d for d.
3
Let p(l) = -11*l - 10. Let s(d) = -5*d - 5. Let y(c) = 2*p(c) - 5*s(c). Let a be y(7). Let g = -21 + a. Solve -g*z - 9 + 29 = 0 for z.
4
Let b(z) = z**3 + 2*z**2 + 4. Let p be b(0). Suppose -3*l + 25 - p = 0. Solve l*f - 6*f = 4 for f.
4
Let u = 1283 - 1283. Solve u = -2*q + q - 3 for q.
-3
Suppose 144*w = 145*w - 12. Suppose -28*n = -34*n + w. Solve c = -1 + n for c.
1
Suppose -5*f + 3*i + 2 = -3, 5*f - 45 = -5*i. Let t = -86 + 86. Suppose a - 3 = -3*h, -6*a + 5*a + 2*h - 2 = t. Solve a = -f*u + 6*u + 4 for u.
-2
Let w = -12 - -18. Let y be (3 - 1)*222/12. Solve 35*a - w = y*a for a.
-3
Let k be (-3 + 4)*0/(1/(-1)). Let v be (-3 - -8) + -1 + (2 - k). Solve b + v = -b for b.
-3
Let f(w) = -w**3 - 15*w**2 - 7*w + 100. Let a be f(-14). Suppose -2*t = r, 5*t = a*r + 3*r - 15. Solve r*m - 15 = -11 for m.
2
Suppose 5*k - 9 = -4. Suppose 0 = 5*f - f - 3*s - k, -2*f + 13 = s. Suppose 3*r - f*r + 20 = 0. Solve 5*u = -0*u - r for u.
-4
Suppose -8*x + 183 - 791 = 0. Let p = x + 86. Suppose -2*b = -3*b + 5. Solve p = b*f - 15 for f.
5
Let s(n) = -n**3 - 16*n**2 - 21*n - 14. Let x be s(-15). Let w = -79 + x. Let r be (0 - (-6)/(-2))/(w/2). Solve 0 = -r*m + 4 + 2 for m.
3
Let a(v) = 4*v + 46. Suppose -340 = 4*i + b, -2*i - 4*b = -i + 100. Let y = -94 - i. Let r be a(y). Solve r*w + 10 = w for w.
-2
Let q be (528/40 + -12)/(1/(-30)). Let i be 8/q - (-14)/63. Solve -4*o - 2*o + 6 = i for o.
1
Let v = -224 - -228. Suppose -v*b - 24 + 32 = 0. Solve 0 = 5*c + b - 22 for c.
4
Let f(j) = -2*j**2 - 49*j + 876. Let s be f(12). Solve s = 37*m - 158 + 47 for m.
3
Let n(w) = -w**3 - 13*w**2 - 12*w + 3. Let k be n(-12). Suppose -10 = -5*b + 2*u, -3*u = -7*u - 20. Let c = -5 - -5. Solve v + b + k = c for v.
-3
Suppose f - 2 = 0, 2*f - 39 = -4*o - 23. Suppose 0 = 4*v - 4*k, 2*v + 3 = o*k - 2. Solve -v*m - 6 = -2*m for m.
-2
Let q(g) be the first derivative of 9*g**4/4 + 3*g**2/2 - 2*g + 11. Let r be q(1). Solve j = -j + r for j.
5
Suppose 12 = -3*t, 0 = 3*h + 4*t + 8 - 1. Suppose 0 = -3*f - h*g + 24, 1 = f - 2*g - 7. Solve 5*k + f = 3 for k.
-1
Let l be 90 - 1 - (-3 - (-32)/4). Let p = l + -76. Solve d - p = 5*d for d.
-2
Let s(v) = -v + v**3 - 35*v**2 + 4 - 38*v**2 - 41*v**2 + 116*v**2. Let u be s(0). Suppose -i = i - 30. Solve -z = -u*z - i for z.
-5
Let d be (-34)/51 + (-8)/6. Let i be 32/14 - 6*d/(-42). Solve -i*z = -2 - 4 for z.
3
Let u be 10496/1536 - (0 + (-5)/(-6)). Solve 1 = u*v + 13 for v.
-2
Suppose 5*t = 5*m - 520, -4*m - 136 + 552 = 4*t. Let u = m + -104. Solve u*k = -3*k - 15 for k.
-5
Let p(t) = -4*t - 10. Let a be p(-4). Suppose 0 = -a*o + 3*o + 3*k + 3, -5*o + 45 = 3*k. Let f = 10 - 8. Solve f*i - 2 + o = 0 for i.
-2
Let x be 2/(-7) + 2752/224. Let f be (-192)/18*((-39)/x - -1). Solve z - f = 7*z for z.
-4
Let k be 35 - (450/(-9))/(-5). Let j = -30 + 40. Solve k = 5*l - j*l for l.
-5
Suppose 249*l - 488*l = -255*l + 32. Solve 0 = 22*y - 24*y - l for y.
-1
Let v = 29 - 29. Suppose 483 = 2*z - 6*z + 507. Solve v = -0*l - z*l - 12 for l.
-2
Let c(m) = -m**2 - 42*m - 75. Let u be c(-40). Solve u*o + 204 = 184 for o.
-4
Let i(k) be the second derivative of -k**5/20 + 7*k**4/6 + k**3/3 - 12*k**2 + 145*k. Let f be i(14). Let s = -14 + 24. Solve -f*b + s = -2 for b.
3
Let g = -246 + 246. Solve g = 5*t - 14*t for t.
0
Suppose 48*k = -5 + 5. Solve -2*f - 107 + 103 = k for f.
-2
Suppose -5*v + 2 - 111 = -4*z, -3 = 3*v. Solve 9*s = -z*s - 210 for s.
-6
Let j be ((-70)/(-40) - 1)/(3/20). Suppose 0*f + 5*f + j*h - 45 = 0, h = 4. Solve -3*w = -f*w + 4 for w.
2
Suppose 4*b = 8*b - 5*z - 31, 0 = 5*b - 5*z - 35. Let i be (b/(-6) - 0)/(114/(-171)). Let k be (13 - 14) + i*4. Solve -k*y + 4 + 2 = 0 for y.
2
Let y = -20421 - -20463. Solve -19*h - y - 53 = 0 for h.
-5
Let l be -2 + ((-4)/(-4) - -19). Suppose 4*s - 4*o = l + 14, o + 32 = 5*s. Solve s*r = 11*r - 5 for r.
1
Let v(o) = -3*o**3 - 163*o**2 + 112*o + 126. Let r be v(-55). Solve -a - r*a = -85 for a.
5
Let p be ((-30)/(-20))/(1/2). Suppose 12 = 2*g - p*o - 2*o, 3*g = -2*o - 1. Let a be (-2)/(-4*g/(-4) - 2). Solve -5 = b - a for b.
-3
Suppose 5*p - 88 = -n, 14*p + 4*n = 11*p + 46. Solve -15 + 159 = p*x for x.
8
Let r be (-1 - (-1)/7)/(162/(-756)). Solve 0 = r*p - 6*p + 4*p for p.
0
Suppose -6*s = -13*s + 14. Suppose 0*a = -d - 3*a + 8, -4*d - s*a + 22 = 0. Solve -d = -3*f + 10 for f.
5
Suppose 3*h - 24 = m, 5*m - h + 30 + 104 = 0. Let f = 41 - m. Let v = 77 - f. Solve -3*g + 0*g = -v for g.
3
Let f = 8279 - 8194. Solve 68*y - 51 = f*y for y.
-3
Suppose u - 542 = -3*l, -2*l - 174 = -3*l + 3*u. Let g = 180 - l. Solve g = -x - 4 for x.
-4
Let a(s) = 2*s**2 + 57*s + 471. Let w be a(-12). Solve -19 = 14*k - w for k.
4
Let q be 2/(-5)*10 + 64 + 12. Solve 6*j = 36 - q for j.
-6
Let g be ((-2976)/(-1632))/(2/34). Solve 0 = 22*x + 57 + g for x.
-4
Suppose -3*g + 128 = t + 110, 0 = -2*t - 2*g + 56. Solve -25*o = -t - 17 for o.
2
Suppose 4*j = 3*q + 320, 80 = -j + 2*j - q. Let x = j + -82. Let n = x - -5. Solve 0 = -n*z + 2 + 1 for z.
1
Let p(x) = -22*x - 22. Let t be p(-1). Suppose 6*c + 36 = 3*c. Let l = c - -14. Solve t*q - 2 = -l*q for q.
1
Let w(p) = p**3 + 7*p**2 + 11*p + 43. Let j be w(-6). Suppose q = -3*s + 23, 2*s - q = s + j. Solve 4 = 5*i + s for i.
-1
Let t(h) = -3*h**2 - 2*h - 5. Let u be t(-9). Let j = u - -236. Solve 3*n + j = 3 for n.
-1
Suppose -3*r + 4*r = 2*s + 3, 0 = s + 2*r - 6. Suppose 3*c = -2*u - 2*u + 55, -2*u + c + 35 = s. Let a = -15 + u. Solve i - 2*i = a for i.
-1
Suppose -3*d - 22 = -5*n, -8 = -n + 6*d - 9*d. Suppose 5 = -n*o + 20. Solve 3 = o*c + 18 for c.
-5
Let u be 10*6/(-12) - -47. Let o = 45 - u. Solve 8 = -o*k + 2 for k.
-2
Suppose 3*h = r - 2102, -16*h + 17*h + 5*r = -690. Let u = -670 - h. Solve -7*z = -z - u for 