53 - 3*s + 2*s + 50. Let r be l(3). Let d = -3 - r. Solve d*y + 8 = y for y.
-4
Suppose 0 = -66*w + 12*w + 540. Solve -8*f + 2 = -w*f for f.
-1
Let w = -1711 - -1760. Solve 0 = 51*g - w*g + 10 for g.
-5
Let j be (3 + 2)*(-3)/(-3). Suppose -2*h + j*h = 0. Let t = 10 - 7. Solve -t = -h*b - b for b.
3
Let r(p) = -p**3 + p**2 - 7. Let m be r(-2). Suppose -44 = -4*h - 4*l, 32 = 4*h - 2*l + 12. Let f = 7 - h. Solve m*b - 2*b = f for b.
0
Suppose 4*t = -25*t. Solve t*b + 3*b = 12 for b.
4
Let o = -207 - -144. Let f = -51 - o. Solve f = 3*y - 3 for y.
5
Suppose 0 = -8*a - 20 + 20. Solve -2*f = 3*f - a*f for f.
0
Suppose 5*v = -5*i + 160, -i = -2*v + i + 68. Let q be 286/v + (-2)/3. Suppose -q = -4*g - 0. Solve z = -g*z - 9 for z.
-3
Let a(s) = 2*s - 2. Let h be a(12). Let p = 35 - h. Suppose 2*f - j + p = 4*f, 5*f - 25 = -j. Solve -10 = -b - f*b for b.
2
Suppose 0 = -19*u + 26*u. Solve -8*w + 0*w = u for w.
0
Let n = 776 - 772. Solve -2*t - 2 = -n for t.
1
Let n be 4 - 10/1 - -6. Solve i + n*i - 3 = 0 for i.
3
Let n be (-6)/2 - -10*3/6. Solve -n*a = -11*a for a.
0
Suppose 2*x = 3 + 61. Let a be 124/x + (-3)/(-24). Solve -2*i = -4 - a for i.
4
Let m(w) = 2*w - 7. Let c be 4/14 + (-162)/(-21). Let p be (-5 + 1)*(-10)/c. Let r be m(p). Solve 0*x = x + r for x.
-3
Suppose 15 = 9*o + 15. Solve o*q + 20 = -5*q for q.
-4
Let v = -116 - -112. Let u(b) = -6*b - 22. Let g be u(v). Solve -g*k + 3 = k for k.
1
Let n = 37 - 23. Suppose 3*k - 1 - n = 0. Solve 0 = k*z + 1 - 11 for z.
2
Suppose 5*t = -q - 2*q + 24, t = 3*q - 24. Let m be 4/(q/2) + 1 + 5. Solve 4*l = m*l - 15 for l.
5
Let u(k) be the first derivative of -k**4/4 + 3*k**3 + k**2/2 - 9*k + 21. Let b be u(9). Let v be ((-2)/((-2)/5))/1. Solve 25 = -v*f - b*f for f.
-5
Let r(u) = -2*u - 5. Let i be r(3). Let y = i + 14. Let l(s) = s + 8. Let f be l(-6). Solve o + f*o + y = 0 for o.
-1
Let r(u) = -2*u**3 - 15*u**2 - 7*u. Let b be r(-7). Solve n - 12 + 13 = b for n.
-1
Suppose -3*z + 5*x = 22, x - 12 + 2 = 2*z. Let y be (z - -4)/(-1 - (0 + 2)). Solve -2*b + y = -2 for b.
1
Let g be ((3 + -3)/(-5) - -4) + 4. Solve v - g + 4 = 0 for v.
4
Let b(n) = n**2 - 5*n - 14. Let o = 7 - 0. Let t be b(o). Suppose t = -3*x + 3*r - 3, 0*x - 3*x - 9 = -5*r. Solve -x*m = -5*m + 3 for m.
1
Let q = 232 - 228. Solve 14 - 2 = q*i for i.
3
Let f = 1 - -7. Let u be (-1)/2 - (-44)/f. Solve -u*c + 3 = -22 for c.
5
Let r(k) = k**2 + 9*k - 20. Let p be r(-11). Suppose -2*o - j + 0*j + 9 = 0, 0 = -3*o - p*j + 16. Solve -m - 3 = o for m.
-5
Suppose -52 = -7*l + 242. Solve -21*r = -7*r - l for r.
3
Let m = -5 + 12. Let j = -7 + m. Let l = j + 3. Solve l = v - 0*v for v.
3
Let h(j) = 3*j**3 - 29*j**2 - 8*j - 18. Let z be h(10). Solve 0 = 9*a - z*a - 14 for a.
2
Let c(r) = 37*r - 31. Let v be c(1). Solve 8*l = 22 - v for l.
2
Suppose 0 = -29*l + 23*l + 24. Solve -7 = -l*g - 3 for g.
1
Suppose -40 = -25*u + 5*u. Solve -u*x - 3*x + 7*x = 0 for x.
0
Let z be 0/((3 + -2)*1). Let g be z/(-1 + 0 + -1). Suppose -l = -4*h - 13, -h - 17 = -4*l + 5. Solve -3*x + 1 + l = g for x.
2
Suppose c + 8 = 5*c. Suppose -17 = -c*r + 3. Let b be (-245)/(-13) - r/(-65). Solve 6 = -5*z - b for z.
-5
Let y(h) = 8*h - 144. Let p be y(18). Solve p = -14*f + 18*f + 12 for f.
-3
Suppose -2*b - 5 = 4*g - 1, 5*b + 10 = g. Let u(l) = -l**2 + 5*l + 1. Let m be u(0). Solve g = f - m for f.
1
Suppose 55 = 3*v - 17. Suppose -4 = 30*t - 31*t. Suppose -t*d = -3*j - 4, -5*j = 2*d - j - v. Solve -s = d - 0 for s.
-4
Let b = -1862 + 1866. Solve 10 = 6*k - b*k for k.
5
Suppose -2*r - 1 = 3. Let l(x) = -x**2 - 12*x + 2. Let g be l(-12). Let m = g - r. Solve m*a + 2 = -6 for a.
-2
Let n(c) = 2*c - 7. Let u be n(8). Let q(f) = f - 7. Let d be q(u). Solve -5*h = -d*h for h.
0
Let q be (8/12)/(6/45). Suppose -k - 3*r - 26 = -q*k, 2*k - 4*r - 18 = 0. Solve -k*h = -3 - 2 for h.
1
Let v(d) = -d**3 + 4*d**2 - 4*d + 4. Let u be v(2). Solve 5 = -c + u for c.
-1
Suppose 0*o = o - 4. Suppose -9 = -o*v + 7. Solve 0 + v = 4*z for z.
1
Let p(u) = -26*u - 48. Let b be p(-2). Solve 8*m + 12 = b*m for m.
-3
Let u(i) = -i**3 - 17*i**2 + 15*i - 49. Let t be u(-18). Solve -t*k - 10 + 35 = 0 for k.
5
Let u = 2 + -101. Let a be 3/(u/6) + 114/22. Let t(k) = 6*k**3 - 2*k**2 + 2*k - 1. Let z be t(1). Solve -4*f - a = -z*f for f.
5
Suppose 0 = 7*u - 8*u + 4. Let m be -3*u/42*-7. Solve -3*n + n = -m for n.
1
Suppose 0 = 5*z - z. Suppose -8*y + 13*y - 300 = z. Suppose -8*a + y = -3*a. Solve -a = 3*t + t for t.
-3
Suppose 0 = 26*v - 21*v + 3*c + 5, v + 13 = -3*c. Solve -v*j + 0 = -8 for j.
4
Let x be (-2)/(-5)*5 - -4. Suppose -x*c = -9*c + 6. Solve -3*i = c*i + 10 for i.
-2
Suppose -421 = 5*i - s, 71 - 493 = 5*i - 2*s. Let a = i - -93. Solve -3 = -4*t + a for t.
3
Let k(y) be the third derivative of -y**6/120 - y**5/15 + y**4/8 - y**3/6 + 9*y**2. Let o be k(-3). Let l = -14 - o. Solve -i + 8 = -l*i for i.
-2
Let c = 119 + -116. Let m be (-6)/(-8)*(-2 + 6). Suppose 2*k + k - 9 = 0. Solve -c - m = -k*x for x.
2
Let n(h) = 9*h - 13. Let b be n(3). Solve -b = -3*f + 1 for f.
5
Suppose 0 = -3*n - 2*v - 3*v - 75, -3*n + 5*v = 105. Let m = n + 33. Solve 4*q + m = 11 for q.
2
Let y = -5 - -10. Suppose -36 = 3*x - 6*x + b, -48 = -4*x + y*b. Suppose 8*a - 4*a = x. Solve -5 + a = -p for p.
2
Let h(t) = 74*t - 92. Let q be h(3). Solve q*l + 3 = 127*l for l.
-1
Let y(c) be the first derivative of -c**2 + 12*c + 11. Let k be y(6). Solve 0 = 2*a - k*a - 8 for a.
4
Suppose -61*a = -65*a + 280. Solve 4 = a*x - 68*x for x.
2
Let g(m) = -7*m - 6*m**3 - 8 + 5*m**3 + 3*m**2 + 27*m. Let t be g(6). Solve p - 5*p = t for p.
-1
Let l = -1296 + 1348. Solve -46 = 6*a - l for a.
1
Let w(i) = -i**3 + 16*i**2 - 18*i + 12. Let y be w(15). Let b = y - -12. Let s be (22 + b)*2*4. Solve -3*n = 1 + s for n.
-3
Let j(d) = d**3 + d**2 - 9*d - 7. Let m be j(-3). Suppose -4*x = t + m*t - 1, -4*x - 23 = -5*t. Let l = 34 - 24. Solve -t*y - 2*y = -l for y.
2
Suppose 0 = 8*f - 2*f - 48. Let s = 8 - f. Solve s = -5*d - 2 - 3 for d.
-1
Let a(b) = -b**3 + b**2 + b + 11. Suppose 3*z = -w + 2, 2*z + 4*w - 6 = w. Let d be a(z). Solve 1 - d = -5*n for n.
2
Let t be ((-12)/(-5))/(78/910). Solve 18*l - 25*l + t = 0 for l.
4
Suppose -4*f = -6*f + 3*c - 158, c = -5*f - 361. Let i = f + 76. Solve z = 2*z + i for z.
-3
Let w(v) = -v**3 + 5*v**2 + 6*v + 6. Let m be w(6). Let c be -6*(-1)/2 + -30. Let j = 28 + c. Solve 0 = k - m + j for k.
5
Let v be (5/(-3))/(75/18 - 5). Let x = 4 - 1. Solve -7 - x = v*w for w.
-5
Suppose -4*g + 4*o - 19 = 29, -4*g - 62 = 3*o. Suppose s + v + 11 = 3*v, 5*s + 55 = v. Let w = s - g. Solve -9 = 2*y - w for y.
-3
Suppose -5*m = 9 - 4. Let k = m - -5. Solve -15 = k*p - 3 for p.
-3
Let h(y) = -y**2 - 57*y - 501. Let k be h(-12). Solve -k*i = -29*i + 40 for i.
-4
Suppose 2*i + 100 = 2*k, k + 0*k - 46 = 5*i. Let z be 1/(105/k + -2). Let r = 27 - z. Solve -r = b + b for b.
-5
Let n = 69 + -66. Suppose a = n*a. Solve -2*j + a*j = 2 for j.
-1
Let g = 17 + -9. Suppose -6*x - 2 = -g*x. Solve 0 = -r - x + 3 for r.
2
Suppose -3*d + 2*d = -2*d. Solve d*a - 6 = -3*a for a.
2
Let x = -255 + 255. Solve 2*i + 31 - 31 = x for i.
0
Suppose 6*v + 19 - 43 = 0. Solve 0 = -8*n + 6*n - v for n.
-2
Let s(i) = -2*i**3 - 7*i**2 + 3*i + 21. Let a be s(-3). Let q = 16 + -12. Solve q*w - a = w for w.
1
Let v be (-210)/(-60) + 6/(-4). Solve -x = -v*x + 2 for x.
2
Suppose -4*c - 382 = -5*o - 0*c, c = 2*o - 154. Let n = o + -78. Solve -2*z = -n + 2 for z.
-1
Let o(a) = a - 3. Let k = -17 + 21. Let p be o(k). Let w(m) = 6*m - 2. Let v be w(p). Solve v*g - 6*g - 4 = 0 for g.
-2
Suppose -m - 3*q - 12 = -10, -4*q - 4 = m. Solve -m*z = z - 15 for z.
3
Suppose 3*f = o - 1, -2*o = 4*f - o - 1. Suppose 12 - 2 = 5*d. Solve -3*w + d*w + 1 = f for w.
1
Let f = 10 - 7. Let j(u) = -u**2 - 3*u + 4. Let y be j(-4). Suppose f = r - y*r. Solve -a = -7 + r for a.
4
Let y be 15 - (1 + (-3 - -2)). Suppose -2*f + 1 = l, 0 = -2*f + f - 1. Solve -y = -l*p - 2*p for p.
3
Let i = 102 - 101. Let b be (5 + 10/(-2))/i. Solve 5*h - 5 - 20 = b for h.
5
Let u be 7 + (-12)/(5 - 2). Suppose 4*y = u*j - 40, -2*j - 2*y + 16 = j. Let r be 6/j*(-13 - -17). Solve 8 = r*d + d for d.
2
Let c(m) = -26*m - 180. Let s be c(-7). Solve s - 8 = -2*f for f.
3
Let o(x) = x**3 + 6*x**2 - 7*x + 4. Let j be o(-7).