4*k - 16. Let q be o(5). Let d = -1 - -1. Suppose -2*b - b = d. Solve b = -3*w - q + 16 for w.
4
Suppose 11*c = 16*c - 5. Solve c + 3 = -2*v for v.
-2
Suppose h - 26 = 3*g, -2*h + 2*g = -g - 46. Solve -p - h = -6*p for p.
4
Suppose 0 = 2*l - 4*y - 20, 6*l + 2*y - 38 = 3*l. Solve 0 = 5*u + l + 8 for u.
-4
Let p = -5 - -5. Let y be p/(3 - 3/3). Suppose y = m - 6 + 3. Solve 2*q = q - m for q.
-3
Let t be (-1 + 0)*(9 + -12). Solve -t = -3*n + 3 for n.
2
Let z(g) = -g**3 + 2*g + 1. Let f be z(-2). Suppose 0 = -f*t + 2*t. Suppose 5*a = 1 + 9. Solve -h + a + 3 = t for h.
5
Let y = -2 - -6. Let o be -62*(2 + 10/(-4)). Suppose q - 5*q + 2*j + 26 = 0, -o = -2*q - 5*j. Solve -q = -0*s + y*s for s.
-2
Let z(s) = -s**2 + 6*s + 10. Let t be z(7). Let c be (2 - t - 0)*-17. Solve -4*y + 3 + c = 0 for y.
5
Suppose 12 = 9*u - 6. Solve -u = 2*r - r for r.
-2
Suppose -g - 3 = -15. Suppose -4*p - g = -t - 4*t, 4*t - 3*p - 10 = 0. Suppose 3*c = -4*d - d + 16, -c - d + 4 = 0. Solve c*m + t + 4 = 0 for m.
-4
Let k = 55 + -53. Solve 2 = -k*l - 2 for l.
-2
Let g be (4/(-10))/((-2)/10). Solve g*d - 8 = 4*d for d.
-4
Let i = -20 - -22. Solve -i*g = g - 12 for g.
4
Let p(o) = -4*o**2 - 1. Let v be p(1). Let m(r) = r**3 + 5*r**2 - 2*r - 1. Let a be m(v). Solve 2*u = -u - a for u.
-3
Suppose -3*d - 20 = -5*m, 3 = -3*m + d + 15. Solve 5 = m*y - 3 for y.
2
Let n = -20 - -14. Let r = 6 + n. Let f be r/(1/2*4). Solve f*y - 16 = 4*y for y.
-4
Let v(i) = -2*i - 6. Let y be v(-8). Suppose 0*l + y = 5*l. Suppose 0*r - 2*r + 14 = 0. Solve -l*h + 5 = -r*h for h.
-1
Let f be (-2 - 2)/(4/(-2)). Let b be ((-3)/f)/((-1)/2). Solve 15 = -b*a + 8*a for a.
3
Suppose 6 - 21 = -3*l. Suppose 4*q = -q. Solve q = -c + 2 - l for c.
-3
Let s be (-11)/(-1) + 1 + -2. Let p be (24/(-30))/((-4)/s). Solve p*o - 3*o = 0 for o.
0
Let u(x) = 6*x**2 - 1. Let o be u(-1). Solve o*h - 6*h = -3 for h.
3
Let t be ((-12)/(-3) + -4)/(-1). Suppose -k - 4*k + 15 = t. Solve -2*r = -k*r - 2 for r.
-2
Let f(s) be the third derivative of -s**4/24 + s**3/6 + 3*s**2. Let k be f(-3). Suppose -k*l = l. Solve -x + 4 - 3 = l for x.
1
Let f(d) = -d - 7. Let h(o) = o**2 - 11*o + 11. Let n be h(9). Let r be f(n). Solve 5 = -r*a - a for a.
-5
Let o = 1 + 0. Solve 5*f - 9 = o for f.
2
Suppose 0 = 5*p - 19 - 11. Suppose 3*u - 2*u = -s + p, 4 = 4*u. Solve 0 = -g - 3 + s for g.
2
Suppose -8 = -y - 4*x, -8*y + 3*y + x + 19 = 0. Solve -y*r = r - 25 for r.
5
Let f = -204 - -204. Suppose 0*s - 20 = 4*s, 3*s - 3 = -2*m. Solve f = 4*k - m + 21 for k.
-3
Suppose 0 = -3*p - 4*b + 5 - 1, -4*b + 8 = 4*p. Suppose -4*v + 21 = -v. Solve -3*j + p = v for j.
-1
Suppose -10*v = -21*v + 33. Solve -y + 2 = -v for y.
5
Let s be (20/25)/(2/(-15)). Let x be 9/3 - s/(-2). Suppose x*v = -5*v + 15. Solve 0 = v*u + 7 - 22 for u.
5
Let a = 6 + -7. Let b be -1 - -3 - 2/a. Solve -b*u - u - 10 = 0 for u.
-2
Suppose 2*x + 4 = -2*c, -c - 13 = -4*x - 1. Solve -2*y + 2 = -x for y.
2
Let f be (((-63)/9)/7)/((-1)/2). Solve 0 = -3*i - f - 10 for i.
-4
Suppose -3*y + 2*n = -21, -n - 28 = -3*y - 2*y. Let j(w) = 4 - w**3 + 2*w**2 + 8*w + 4*w**2 + w**2. Let r be j(8). Solve 3 = -r*t - y for t.
-2
Let f(c) = -c - 4. Let j = 8 - 3. Suppose j*z + 10 = -20. Let l be f(z). Solve -a + 2 = -l*a for a.
-2
Let f = -2 + 2. Suppose g + 2*m - 29 = -4*g, 0 = -5*g - 5*m + 35. Solve f = 2*u + 3*u - g for u.
1
Let g = -6 - -9. Suppose 1 = 2*a - g. Solve a = -2*d - 0*d for d.
-1
Suppose -3*z + 2 = -2*z. Suppose 2*h = -l + 7, -2*h = -h - z*l - 1. Suppose t = -t. Solve 0 = -h*f - t*f for f.
0
Suppose -6 = 4*s + 6, 5*n - 2*s = 31. Suppose n*q = q + 8. Solve -r - q*r + 12 = 0 for r.
4
Suppose 6*f = 55 - 25. Suppose 0 = g + 2*b - 4, 2*g + 2*b = -2*g + 10. Solve f = -y + g for y.
-3
Let f = 2 - -2. Solve -3*q - 1 + f = 0 for q.
1
Suppose t + 2*c + 4 = 0, 0 = -3*t - c + 1 + 2. Let w(v) = -v**2 - v + 4. Let u be w(0). Suppose 0*l = -2*h + 2*l + u, -4*l - 8 = 0. Solve -2*m - t = -h for m.
-1
Suppose -4*u - 5*y = -72, 3*u - 23 = 7*y - 3*y. Solve -3*h + 2 = -u for h.
5
Suppose 24 = 5*w - 3*d - 4, 5*w + d = 24. Suppose -3*x + p - 9 = -2*p, 2*x + w*p = 22. Solve -4 - x = -5*c for c.
1
Let k be (-2)/(2/(-8)*2). Solve a - k = -3*a for a.
1
Let h be (-2)/13 + 268/52. Solve h*o = 4*o + 2 for o.
2
Suppose 0 = 4*d + 6 - 18. Suppose -2*s + 12 = 3*f, d*f - 3*s + 2 = -1. Suppose 5*p = 15, 3*y - f*p = -p + 42. Solve -2*n - y = n for n.
-5
Suppose 2*x = -3*x + 5*p + 65, 4*x + p = 52. Suppose 0*r = -r + x. Solve 2*i + r = 3 for i.
-5
Let m(z) = -z**3 - 12*z**2 - z - 7. Let s be m(-12). Solve 0 = -r + s*r + 4 for r.
-1
Suppose 0 = -4*g + 3*n + 26 + 4, -2*g + 28 = 5*n. Suppose 3*v - g = -0*v. Solve -v*b + 8*b = -20 for b.
-4
Let r(g) = 2*g**2 - 2*g - 1. Let l be r(-1). Suppose 3*w + 9 = l*m, 0 = 3*m + w - 1 + 4. Solve 4*f - f = m for f.
0
Suppose -49*j + 42 = -43*j. Solve 4*v = -5 - j for v.
-3
Suppose 0*u + 6 = 3*u. Suppose j - 3 = -q + 4, -u*q + 16 = 3*j. Solve q*w - 18 = 7 for w.
5
Suppose c + 0*c = d - 3, 2*d + 2*c = 2. Solve -2*q - d - 2 = 0 for q.
-2
Suppose 1 = t + w, 4*w - 18 = -t + 4*t. Let g be (t/(-4))/(8/16). Solve 3 - g = u for u.
2
Suppose 0*w - 4*w - 144 = 0. Let x be (-100)/w + 2/9. Solve q - 1 = -x for q.
-2
Suppose 190 = 5*c - 0*w + 5*w, -100 = -3*c + 4*w. Suppose -c = -4*u + u. Suppose -u = -4*g - 4*b, g + b - 6*b - 33 = 0. Solve -i + g = i for i.
4
Let p(b) = b**2 + b. Let i be p(-2). Suppose -5*m + 11 = -3*t, 2*t - 6*t = 2*m - 20. Suppose m*y + 4 = 0, 0 = f + y - 0 - 6. Solve 0 = i*o - f*o for o.
0
Suppose 4*w + 2 = -6. Let u be (-1 + w)*50/(-15). Solve 3*n + 2*n + u = 0 for n.
-2
Suppose 0 = 5*c - 4*c - 1. Suppose 8 = 3*h - c, 0 = 5*w - h + 13. Let z be 1*w*1 + 6. Solve -z + 3 = b for b.
-1
Let q(d) = 2*d**3 + 17*d**2 - 9*d + 2. Let t be q(-9). Solve t*s = -2*s - 16 for s.
-4
Let w be (-4)/(-3)*(-7)/((-7)/6). Suppose 3*d + 0*d - 15 = 0. Solve -3*h + d = -w*h for h.
-1
Suppose 5*y + 20 = 0, -z = 4*z + 3*y + 37. Let k be (-2 - -1)/(1/z). Let a = k - 4. Solve -u + 3 = a for u.
2
Suppose o = 2*o - 5. Solve 7 = 2*k + o for k.
1
Suppose -25 = -5*y, -5*u + 4*y = 2*y + 430. Let f be (8/(-6))/(8/u). Suppose 0 = k + k - f. Solve -k = 4*s + 1 for s.
-2
Suppose 2*w = 3 + 3. Solve -a - 8 = w*a for a.
-2
Let c be 1 + -4 - (-24)/3. Suppose 5*v + 25 = c*a, -8 = -2*a + 5*v + 5. Solve s + a = 2*s for s.
4
Suppose 5*h - 98 = -2*t, h - 56 = -2*h - 4*t. Solve -2*k + 6*k = h for k.
5
Suppose 28 = 2*p + 20. Solve p*j = 9 + 7 for j.
4
Suppose -s + 3*l + 20 = -2*s, -s = -4*l + 6. Let p be (2 - -1)/((-21)/s). Solve 5*x + p = -13 for x.
-3
Let j(a) be the first derivative of -a**3/3 - 7*a**2/2 - 2*a - 3. Let d be j(-6). Suppose -3*n - 19 = -5*z, 2*n + d*z - 21 = 3. Solve 0 = 7*i - n*i for i.
0
Suppose -5*h + 22 = 3*p, 4*h + p = -3*p + 24. Solve 8 - 14 = h*x for x.
-3
Let q(l) = 5*l**2 - l + 1. Let g(s) = 6*s**2 - 2*s + 2. Let m(v) = 4*g(v) - 5*q(v). Let c be m(-4). Let z = -1 - c. Solve x - 2 = -z for x.
2
Suppose 9*s - 10*s = -5. Solve 11 = s*r + 26 for r.
-3
Suppose 4*w = n + 11, -w + n + 4*n = 21. Solve w*l - 1 = -5 for l.
-1
Suppose 0 = -4*j + t + 2*t - 15, -2*t = j + 12. Let m be j/4*78/(-9). Suppose 2*h + 2 = -b, b - h - m = 2*h. Solve 0 = b*w - 3*w + 1 for w.
-1
Let d(q) = -q**3 + 10*q**2 + 11*q + 1. Suppose -7 = -2*r + 15. Let c be d(r). Let f(p) = p**2 - 6*p + 5. Let x be f(5). Solve x = -5*b - c - 4 for b.
-1
Let n(j) = j**2 - 3*j - 3. Let o be n(5). Solve -o*b = -2*b - 10 for b.
2
Let r(y) = -y**3 - 15*y**2 + 18*y + 32. Let u be r(-16). Solve 4*h - 3 + 7 = u for h.
-1
Suppose -15*w + 3 = -14*w. Solve -5*k = w + 17 for k.
-4
Let u(j) be the second derivative of j**3/6 - 7*j. Let b be u(7). Solve -b = 3*c + 5 for c.
-4
Let t = 11 - 7. Suppose 3*g - 5*p + 8 = -2, -3*p = -3*g. Suppose 5*b - 20 = g*z, 5 = 5*b - t*z - 13. Solve -5*u - b = 8 for u.
-2
Let y(g) be the first derivative of -g**2/2 + g + 5. Let r be y(-3). Solve -r*t + 15 = -t for t.
5
Let w be 5 + 2 + (1 - 1). Let j = 11 - w. Suppose 0 = -j*u - 6 + 26. Solve o - u*o - 8 = 0 for o.
-2
Let r be (-9)/(-6)*(1 + 1). Solve -r = q - 1 for q.
-2
Suppose -2*j + 0*j = -12. Solve j*w - 2*w = 8 for w.
2
Suppose -7 + 4 = -y. Let q(f) be the third derivative of f**4/12 - f**3/2 + f**2. Let v be q(y). Solve -1 = o + v for o.
-4
Suppose -p + 4 - 2 = 0. Suppose 4*u