k + q = -15 for k.
4
Let p(y) = y**2 + 5*y + 7. Suppose 0*m - 4*m - 4*z = 0, 4*z - 40 = 4*m. Let b be p(m). Solve 0 = -5*f - b - 3 for f.
-2
Suppose -3*t = -2*t - 3. Let m(p) = -7*p - 3. Let r(s) = -20*s - 9. Let i(y) = 17*m(y) - 6*r(y). Let a be i(9). Solve a = t*k - 0 for k.
4
Suppose -4*s + 5*c = -43, -4*s + 20 + 27 = -c. Suppose -6 = -u - 4*n, 1 = n - 0. Solve o = -u*o + s for o.
4
Suppose 2*q - 9 - 5 = 0. Let c be (-1)/(-3) - 16/12. Let u be (0 - c)*-1*-2. Solve -u*p - q - 1 = 0 for p.
-4
Let k(i) = 1 - 3 + 2 + 2 + i. Let w be k(-2). Solve n + 2*n = w for n.
0
Suppose -l - l + 42 = 5*h, 0 = -h + 4*l + 4. Solve z = -3*z - h for z.
-2
Let h be (-18)/15*10/(-4). Solve 0*m = -h*m for m.
0
Suppose 24 - 64 = -8*r. Solve 4*f + 7 = -r for f.
-3
Let l(y) = -y**2 - 12*y + 10. Let i be l(-12). Let a = i + -7. Solve 8*u - 5*u = -a for u.
-1
Let n = 10 + -8. Suppose 3*r = 2*c + 16, -2*r + n*c + 13 = 3*c. Solve -r = 5*w + 4 for w.
-2
Let w be (-17 + 15)*1/(-4)*0. Solve 8 = -2*c - w for c.
-4
Let t(n) = 4*n - 3. Let z be t(2). Solve z*y = -0 + 20 for y.
4
Let m(s) = -s**3 - s + 5. Let j be m(0). Let z(q) = q**2 - 2*q - 3. Let h be z(3). Suppose h = -5*g + 30 + 15. Solve -j*a - g = 6 for a.
-3
Suppose 4*i + 6 = -m, 2 = 2*m + i - 0. Suppose 2*t + 12 = -3*d, 3*t = -8*d + 3*d - 20. Solve -m*p + 4 + 6 = t for p.
5
Let s be 1/(-1) + 2 - -24. Suppose -5*w + 8 + 7 = 2*t, 3*w - 20 = t. Suppose 0 = -2*q + 6*q + w*a - s, -2*q + 10 = 2*a. Solve q = p - 1 for p.
1
Let d(u) = u**2 + 7*u + 3. Let a be d(-7). Let y = a - -2. Solve 0 = -0*k - k + y for k.
5
Let t = -1 - -5. Let h be (-3 - 0)/((-6)/t). Suppose h*l - 5*l + 25 = 5*k, 0 = 4*l + 3*k - 15. Solve l = -m - 0 - 1 for m.
-1
Suppose -4*x = -4*c + x + 20, 0 = c - 4*x - 16. Solve 5 = -c*w + 5*w for w.
1
Let t be (-24)/10 + 6/(-10). Let v(r) = -r**3 - 2*r**2 + 3*r + 2. Let n be v(t). Solve -1 = n*a + 5 for a.
-3
Let m = 10 + -22. Let v = 17 + m. Suppose 0 = 2*y - 5*i - 4, -3*y + 10 = 2*y - 5*i. Solve -y*l = -7*l - v for l.
-1
Let w be (-20)/(-6) + (-6)/(-9). Let p = w + 0. Suppose 0*a - p = 4*a - 4*i, 1 = a + i. Solve 0*m + m - 1 = a for m.
1
Let g(y) = 2*y**2 - y. Let c = 7 + -5. Let t be g(c). Solve -t*n = -n for n.
0
Let r(s) = -s**3 - 5*s**2 - 5*s + 1. Let j be r(-4). Solve d = j*d + 12 for d.
-3
Let g(t) = 2*t**3 - 2*t + 2. Let p be g(2). Let c be (-6)/21 + 4/p. Solve c*x = -2*x for x.
0
Let q be ((6/1)/(-2))/(-3 - -2). Solve 1 - q = 2*m for m.
-1
Let c be (-322)/(-77) + (-4)/22. Solve c*m + 0*m - 16 = 0 for m.
4
Suppose u + 15 = 4*y, -y + 5*y = -2*u + 30. Solve -3*x = -8*x - y for x.
-1
Let i be (9 + -2)/((-1)/(-3)). Suppose -5*l + i = -9. Solve -2*c - 2 = l for c.
-4
Suppose -5*u + 34 + 11 = 0. Let g = u + 11. Solve g = 6*z - 2*z for z.
5
Let i(o) = o + 10. Suppose 0 = 2*t - 6*t + 8. Let d(r) = 3*r + 30. Let m(h) = t*d(h) - 7*i(h). Let s be m(-10). Solve s = f + f for f.
0
Suppose 5*m + 2*g = 56, 2*m - 2*g - 2*g - 32 = 0. Solve 5*t - t = m for t.
3
Suppose -i - 3*i - 5*a + 40 = 0, -i + 10 = 4*a. Let r = i + 0. Let d = -1 + r. Solve 0 = -5*s + 16 + d for s.
5
Suppose 0 = s - 3*g + 133, -4*g + 524 = -s - 3*s. Let v be s/(-14) + (-2)/7. Suppose -5*t - 25 + 10 = 0, t = 3*b - v. Solve -7*d + b*d + 25 = 0 for d.
5
Let i be (-5 - 1)*(-2)/4. Solve 6*v + 9 = i*v for v.
-3
Let y(l) = -2*l**2 - l - 1. Let h be y(-1). Let t be h/7 - (-48)/21. Let g(x) = 2*x**2 + 4*x - 3. Let a be g(2). Solve -a = -5*o + t for o.
3
Let n be 6/(-12)*0/(3/(-1)). Solve 3*q + 9 - 3 = n for q.
-2
Let k be (6/(-5))/(24/(-300)). Let c be 20/8*18/k. Solve 4 = -c*b - 11 for b.
-5
Let h = 11 + -8. Suppose h*k - 6*k = -15. Suppose -20 = -2*j + 5*x, -2*j = 2*x + k + 3. Solve -5*g + 7 - 2 = j for g.
1
Suppose -4*q = -20, v - 24 = -0*v - 4*q. Solve -2*t + 2 = -v for t.
3
Let f = 13 + -10. Solve -p = -f - 0 for p.
3
Let m = 20 + -15. Solve 3*y + 2*y + m = 0 for y.
-1
Suppose -5*l + 5*s = 0, -4*s + 7*s = -4*l. Let j be (-1)/(-2)*l/(-5). Suppose -x - 3*x = j. Solve x = c + c for c.
0
Let q(b) = 8*b - b**2 + 2 - 2*b + 2 + 3. Let g be q(5). Suppose 3*n = -3*z + 12, -4 = -3*z + 2*n - 3*n. Solve h - 5*h - g = z for h.
-3
Suppose 0 = -2*v - 5 + 9. Suppose -22 = -4*j + 2*q, -v*j - q = 2*j - 7. Solve 3*i - j = 12 for i.
5
Let r(z) = z**2 + z + 1. Let d be r(-2). Suppose -p = -d*p. Let c = 1 + 2. Solve -c*u + 0*u = p for u.
0
Suppose 2*b + 0*g - 4*g = -14, -5*b - 4*g = -35. Solve -a + 8 = b*a for a.
2
Let d(h) = h**2 + 5*h - 8. Let o be d(-7). Suppose -o + 16 = 5*y. Solve 7 + 1 = y*l for l.
4
Let g = 1 + 0. Let t(s) = s**2 - s + 1. Let d be t(g). Let x(u) = 15*u**2 - u + 1. Let h be x(d). Solve 0 = -m + 4*m + h for m.
-5
Let o = 33 - 30. Solve -5 - 1 = o*z for z.
-2
Let j(v) = -9*v + 24*v**2 + 0*v - 23*v**2 - 16. Let f be j(11). Solve f*k + 5 = k for k.
-1
Let q = -47 + 49. Solve 0 = -4*t + q*t - 2 for t.
-1
Suppose 24 = 5*s - 3*s. Let r = 9 + -9. Let v(z) = z**2 - z + 2. Let o be v(r). Solve -s = f + o*f for f.
-4
Let c be 8/(-4)*-1*1. Let p be (-27)/(-36) + (-18)/(-8). Solve d - c*d = -p for d.
3
Let p(u) be the third derivative of -u**5/60 - 5*u**4/12 - 3*u**2. Let z be p(-10). Solve 4*i + 25 - 5 = z for i.
-5
Let p = -9 + 15. Let m be (18 + -13)/((-1)/(-4)). Solve -p*q + q = -m for q.
4
Let o(p) = -3*p. Let w = 7 - 8. Let q be o(w). Suppose -r - 5*t + 12 = 0, -6 = q*r - 4*r - 2*t. Solve -2 = f + r for f.
-4
Let k = 38 + -26. Solve -2*i - 2*i = k for i.
-3
Let b be (76/(-6))/((-2)/3). Suppose -r = 3*v + 3*r + b, -2*r - 3 = -5*v. Let x = 4 + v. Solve x*w = -13 - 2 for w.
-5
Let w(k) = k**2 - 7*k. Let o be w(6). Let a = o + 10. Solve 3*i - a*i = 3 for i.
-3
Let j(s) be the third derivative of -s**6/120 + s**5/12 + s**4/12 - 7*s**3/6 - 2*s**2. Let l be j(5). Suppose 9 = 3*x + l. Solve -16 = 2*a + x*a for a.
-4
Suppose 5*f - 4*v = 22, -4*f + 0*f + 4*v + 20 = 0. Suppose -3*j - 14 = -4*z, -3*j - f*j + 10 = 0. Solve z*p - 3 = 2*p for p.
1
Let m = 11 + -6. Let v be (5 - 0)*(-3)/(-5). Suppose -k = -5*h + v*h + 8, -10 = -m*k. Solve 0 = -4*n + h - 13 for n.
-2
Let l(m) = -2*m - 4. Let k be l(-7). Suppose -k = 2*w - 4*w, 5*g = w + 10. Solve -20 = -g*p - 2*p for p.
4
Let s be (45/12)/(-5)*-4. Suppose 3*j - 3 = s. Solve -m + 2*m = -j for m.
-2
Let d(k) = -k**3 - 3*k**2 + 3. Let h be d(-3). Suppose -z + 6 = 3*a + 17, 2*z - h*a + 22 = 0. Let m(l) = -2*l - 10. Let x be m(z). Solve -v - 2*v - x = 0 for v.
-4
Let z(i) = -2*i - 3. Let u(w) = -w**2 - 6*w - 3. Let j be u(-6). Let a be z(j). Solve 0 = -2*v + 13 - a for v.
5
Let b = 11 - 6. Suppose 4*n - 21 = n + 3*k, b*k + 25 = 0. Solve -3 = n*l + 1 for l.
-2
Let b be (18/(-4))/((-6)/8). Let h(j) = -j**3 + 7*j**2 - 6*j + 7. Let q be h(5). Suppose 5*z - 2*x - q - 104 = 0, 0 = -2*z - 4*x + 38. Solve o - z = b*o for o.
-5
Suppose -2*v - 2 = 2*x - 6, -x - 2 = -3*v. Solve -y + x = -3 for y.
4
Let l be (1/(-2))/((-2)/8). Suppose 5*u = -3*c - 15, l*c = -4*u + u - 9. Solve c = -3*n + 1 + 5 for n.
2
Let s = -11 + 15. Solve -s - 2 = 2*l for l.
-3
Let k(r) be the second derivative of -r**3/6 - 3*r**2/2 + 2*r. Let o be k(-8). Solve -o*j = 4 + 21 for j.
-5
Let f(t) = -t**2 + 12*t - 8. Let u be f(11). Suppose -u*y = 2*y. Solve y = 2*g + 2*g - 16 for g.
4
Let l = 25 + -24. Solve -4*j = 9 - l for j.
-2
Let g(z) = z**3 + 6*z**2 + 6*z + 7. Let l be g(-5). Suppose -x + l*x - 3 = 0. Suppose -x*d = -4*d. Solve d*j = 4*j for j.
0
Suppose 2*w = 3*w - 6. Let n = -3 + w. Solve -i - 20 = n*i for i.
-5
Let x(r) = -42*r + 42*r - 1 - r**3. Let v be x(-1). Solve -16 = -v*o + 4*o for o.
-4
Let r = 1 + 5. Suppose 32*z = 13*z + 38. Solve r - z = k for k.
4
Let t be (-13)/(-4) + 4/(-16). Suppose t*x + x = 80. Solve 6*q + x = 2*q for q.
-5
Let o(y) be the second derivative of y**4/12 - 7*y**3/6 - 3*y**2/2 + 3*y. Let k be o(8). Solve -k*j = 7 + 18 for j.
-5
Let i(s) be the first derivative of s**2 - 2*s + 4. Let y be i(2). Solve -y*c + 12 = -6*c for c.
-3
Let j(u) = 2*u**2. Let x be j(-1). Suppose -3 = -b + x. Suppose 0 = b*f + 12 - 42. Solve -f*m + m - 25 = 0 for m.
-5
Let g(p) = 5*p + 1. Let v be g(1). Let l = -6 + v. Suppose l*j + j = 0. Solve j = 4*f - 6*f + 4 for f.
2
Suppose 0 = -2*l - 5*d + 1 - 11, l + d + 2 = 0. Suppose l = 4*g + 1 - 5. Solve 0 = -2*n + 3*n - g for n.
1
Let j(c) = -2*c**3 - 4*c**2 - 4*c - 4. Let a be j(-2). Solve 1 + a = o for o.
5
Let j(m