-10 + 14. Let k = r - -1. Solve -3 - z = k*h for h.
-2
Let v = 135 - 96. Solve 6*n = v - 15 for n.
4
Let v be (364/(-35))/((-4)/10). Solve 6 = -4*z + v for z.
5
Suppose 29 = 5*o - s, 2*o - 2*s + s = 14. Suppose x = -o*x. Solve -2 = y - x for y.
-2
Let m be (-2)/(-3 - 0 - 5/(-2)). Solve 0 = -5*p + m*p + 2 for p.
2
Suppose 0 = -4*s - t - 2*t - 3, -5*s = t + 1. Solve -2*k + 3*k - 4 = s for k.
4
Suppose -20 - 10 = -5*s. Suppose 67 = 4*h - 13. Solve w - h = s*w for w.
-4
Let y(w) = w**2 - 11*w - 22. Let c be y(13). Solve -c*r + 2*r + 4 = 0 for r.
2
Let q(p) = 0*p - p**2 + 3 - 4*p - 6*p. Let b be q(-10). Solve -s = -1 - b for s.
4
Suppose 20 = 5*k, 2 = -3*n + 5*n - k. Suppose n*q - 13 = -4. Suppose 0 = -4*o - 3*y + 106, -2*y = q*o + o - 104. Solve 0 = -5*i + o for i.
5
Suppose -3*c - b - 2 = 0, -2*c + 3*c - b = -6. Let o be c/2*(-2 + 2). Suppose q - 4 = -o*q. Solve -23 = -q*d - 3 for d.
5
Let c be 3 + (-3 - 4/(-2)). Suppose 11 = 3*f + c. Solve 4 = -f*t - 5 for t.
-3
Suppose -2*z + 4*z = -u - 5, 5*z + 11 = -2*u. Let b = -1 - z. Suppose -2*c + b*c = -6. Solve -c*m + 8 = m for m.
2
Let b = -48 + 52. Solve -2*q + 2 = b for q.
-1
Let m = 117 - 72. Suppose 5*p - m = 5. Suppose q + 3*q + 5*a = p, 0 = 3*q + 4*a - 8. Solve -c - 7 + 2 = q for c.
-5
Let r(i) = -i + 9. Let f be r(6). Suppose -f*s = -4*s + 3. Solve -6 = s*j - 0 for j.
-2
Suppose -t - 5*a = 10, 6*t - 3*t - 3*a = 6. Solve t = 5*p - 4 - 6 for p.
2
Suppose -5*t + 6*t = 6. Solve -3*l + 5*l = -t for l.
-3
Let a(y) = -y**3 - y**2 - y + 3. Let x be a(-2). Solve 1 + x = 2*b for b.
5
Let f(z) = -z**3 + 3*z**2 + 2*z - 4. Let b be f(3). Let v = 3 - b. Let t(c) = 2*c - 2. Let h be t(2). Solve -h*y = -y + v for y.
-1
Let x(r) = -r**2 - 6*r - 4. Let h be x(-2). Solve 0 = -3*a + h*a for a.
0
Suppose -3*a + 4 + 2 = 0. Suppose -2*k + 13 = -5*l, -5*k + a*l = 4*l - 18. Solve k*h = -0*h - 8 for h.
-2
Let h be 4*3/12 + -2 + 2. Solve -9 = -2*u - h for u.
4
Let z(j) = -j**3 - j**2 + j + 4. Let u be z(0). Let v be 13/u + 2/(-8). Let b be (-9)/(-2) + (-2)/(-4). Solve b*x = v*x for x.
0
Let f be (4/(-5))/(10/(-50)). Solve 0 = -2*n + f*n for n.
0
Let o = 12 + -8. Suppose 3*d + 3*g + 7 = g, 3*d - o*g - 23 = 0. Solve 7 = -3*k + d for k.
-2
Let g = 64 - 61. Solve -3 = -0*s + g*s for s.
-1
Let n(y) = y**2 + 7*y - 5. Let t = -7 + -1. Let a be n(t). Solve z = 1 - a for z.
-2
Let y(p) = p. Let w be y(1). Let u be (-1)/1*w + 3. Suppose 2*a - 14 = -4. Solve u*l + 1 = -a for l.
-3
Let c(l) = -l**2 - 6*l + 1. Let w be c(-3). Suppose 2*z = -3*z + w. Let n be z + 2*(-8)/(-2). Solve -4*t - t + n = 0 for t.
2
Suppose -5*t + 2*t = 0. Suppose 15 = -t*x + 3*x. Let d = x - 3. Solve -2 = -d*z + z for z.
2
Suppose -12 = 3*d, 3*j + j + d - 12 = 0. Suppose 3*t + 6 = 3*w, j*t = -t. Solve l - w = 3*l for l.
-1
Suppose 0*d = 5*d + 4*o - 55, -4*d + 43 = 3*o. Let k(u) = u**2 - 7*u + 2. Let f be k(d). Solve 4*r + 10 + f = 0 for r.
-3
Let z = -4 - -10. Let g = 44 + -14. Let t be g/(-4)*(-4)/6. Solve 0 = -t*j + z*j for j.
0
Let a be (3 + -1)/(((-55)/(-10))/11). Solve -a = -4*b + 8 for b.
3
Suppose -4*c - 4*z + 20 = -0*z, -3*z = -3*c + 39. Let u(t) = 2*t - 15. Let s be u(c). Suppose p - 6 = -2*p. Solve k = -p*k - s for k.
-1
Suppose -4*d = 4*m - 56, m - 3*d + 54 = 5*m. Let w = 17 - m. Suppose 5*k + 13 = 4*k + w*u, k + 5*u - 17 = 0. Solve -k*g = 3*g for g.
0
Let k(c) = c + 3. Let r be k(-3). Solve r = -4*a + 3 + 1 for a.
1
Suppose 4*n = 21 + 7. Suppose -n*c + 5*c = -6. Solve -m + c = -0 for m.
3
Let c(b) = -b**2 - 4*b - 2. Let n be c(-4). Let o = 0 - n. Suppose 7*q - 4 = 2*q + 2*d, -4*q = o*d + 4. Solve q = -4*h - h for h.
0
Let l(w) = -w**2 + 8*w - 4. Let d be l(7). Suppose -4*v + 7*y - d*y = 36, -4*y + 18 = -v. Let t be 2 + 3/(v/(-20)). Solve -t = 4*f + 8 for f.
-5
Let j be 0/(2 + -2 + -1). Solve 0 = 5*h - j*h + 10 for h.
-2
Let u = -5 + 8. Suppose -u*y = -8*y. Let v be 94/3 - 1/3. Solve y = -5*p + v - 6 for p.
5
Let j(m) be the first derivative of -m**3/3 - 4*m**2 - 8*m + 2. Let d be j(-6). Suppose d*y = -y + 45. Solve 5*r - y - 1 = 0 for r.
2
Let k = -2 - -18. Let l(o) = -o**3 - 6*o**2 - 4*o + 7. Let j be l(-5). Suppose -j*p - p + 3 = 0. Solve 3*r - k = -p for r.
5
Suppose -14*s = -19*s + 30. Let g(y) = -y**3 + 6*y**2 + 2*y - 8. Let b be g(s). Solve 0 = -5*t - b - 21 for t.
-5
Let u = 17 - 18. Let v be 4/u*(-1 - 0). Solve 5*t = v*t - 1 for t.
-1
Let t(j) = -7*j - 5. Let p be t(-1). Solve -2*i = p*i for i.
0
Let q = -122 + 122. Solve q = -6*d + 2*d for d.
0
Let h(k) = -k - 5. Let r be h(-8). Suppose -3*n = 2*n - 40. Suppose r*a - 19 = 2*b, 3*a - n*a + 57 = 3*b. Solve -a = -v - 2*v for v.
3
Let d(x) = x + 8. Let g be d(-4). Suppose 0*k = 2*k - 2*w + 2, 2*w = 4*k - g. Solve 0 = -k*u + 3 - 0 for u.
1
Suppose 8*k - 4*k - 15 = 5*m, 0 = 3*k + 5*m - 55. Solve -p = p - k for p.
5
Suppose -2*m = -0 - 6. Let n = 5 - m. Let p(f) = -f**3 - 11*f**2 - 10*f + 6. Let g be p(-10). Solve n*u + 0*u = g for u.
3
Suppose -14 - 10 = -4*i. Let p = i + -1. Solve -2*o = -o - p for o.
5
Let x(j) = j**3 - j**2 - j + 22. Let s be x(0). Suppose -n - 2*u - u + s = 0, -12 = -n + 2*u. Solve -2*c - n = 2*c for c.
-4
Let r = 24 - 13. Suppose 0 = z - r - 9. Let i be (-3)/(-2)*z/6. Solve 0 = 4*v + i - 1 for v.
-1
Let j(y) = 2*y**3 + y**2 - y. Let t be j(1). Let k(o) = 3*o + 2. Let h be k(t). Solve 7*s + h = 3*s for s.
-2
Let n be (4 - (3 + 1)) + 0. Solve 4*h = -n*h for h.
0
Suppose -t + 2*d = -12, -2*t + 2*d - 6 = -24. Let b be (-2)/(-10) + (-2)/10. Suppose -5*i = 4*a, 2*i = i. Solve a = -b*s - 3*s - t for s.
-2
Suppose n = -3 + 8. Suppose n*g - w - 6 = -0*g, -2*w + 8 = 0. Solve 3*s + g = -1 for s.
-1
Suppose -15*w - 6 = -17*w. Solve 3*d + w = 6*d for d.
1
Let b(a) = a**3 + 9*a**2 + 4. Let c be b(-9). Suppose -i - i + 10 = 0, c*f - 40 = -4*i. Solve -f*r + 3 = -7 for r.
2
Let r(b) = -3*b**2 + 8*b - 12. Let z(o) = -o**2. Let t(v) = -r(v) + 4*z(v). Let q be t(-9). Solve 3*a + 6 + q = 0 for a.
-3
Suppose 4*z - 3*w + 3 = 1, -10 = -5*w. Let p(m) be the second derivative of m**5/20 + m**4/2 - 7*m**3/6 + m. Let l be p(-7). Solve -b = -l*b + z for b.
-1
Let s = 0 - -3. Suppose 5*m - s = -y + 35, -2 = y. Solve 5*h - 12 = m for h.
4
Let w be (-19)/7 - (-6)/(-21). Let m = w - -3. Solve -j + m = -3 for j.
3
Let r be -3 + 2*(-1)/2. Let n = r + 7. Suppose 5*o - n = 7. Solve -o*g + 7*g + 10 = 0 for g.
-2
Suppose -4*f = -r - 17, r - 11 = -3*f - 0*r. Let h be (f/(-10))/(3/(-180)). Suppose -3*n + h + 1 = -5*a, -n + 4*a - 1 = 0. Solve -5*s + n = -0*s for s.
3
Let m = -3 + 3. Suppose 3*f - 5*f = -6. Suppose 0*t = f*t - 6. Solve w + 0*w + t = m for w.
-2
Suppose -6*p + 10 = -2. Let l(w) = -w**3 + 5*w**2 + 7*w - 3. Let q be l(6). Suppose p*a = t - q*t + 6, -4*a = 5*t - 11. Solve -a*f = f for f.
0
Let y be (126/(-4))/9*-2. Solve 20 = y*q - 3*q for q.
5
Let f = 4 + 0. Let t(d) = 2*d + 8. Let x be t(-3). Solve f*r = 3*r + x for r.
2
Let n = -3 + 6. Solve -n*g = 10 + 2 for g.
-4
Let f(l) = -l + 1. Let u be f(-4). Suppose 0 = -c + 5*n, -3*n + 21 = c - n. Solve u*p + 0 - c = 0 for p.
3
Let s = -11 + 17. Let m(w) = 7*w + 0*w**2 + 2 - w**2 + 2 - 1. Let r be m(7). Solve 0 = 3*y - s - r for y.
3
Let a = -4 + 6. Suppose -40 = -5*u - v, 5*u - 5*v + 0*v = 40. Solve -u = 2*o + a for o.
-5
Suppose 5*i = 4*x - 5 + 85, 0 = -2*i + 4*x + 44. Solve 5*v - 8 - i = 0 for v.
4
Let d(q) = -q**3 - 6*q**2. Let u be d(-6). Suppose z + 0 - 6 = u. Solve 16 = -2*s + z for s.
-5
Suppose -2*v - 3*m + 2*m = -10, -2*v - 4*m + 4 = 0. Let k be (-3)/v*-4*2. Suppose 6*t + 22 = 2*f + t, -16 = -4*f - k*t. Solve -b - f = -2 for b.
-4
Suppose -5*s = -s. Let n(d) = d**2 - d + 3. Let l be n(s). Solve 0 = 5*w - l*w - 10 for w.
5
Suppose 24 = o + o. Solve -3*l - o = l for l.
-3
Let k = 25 - 13. Let v = -2 + k. Solve -4*x = v + 2 for x.
-3
Let l(i) = -i**3 + 4*i**2 + 6. Let y be l(4). Solve -4*c = -c - y for c.
2
Let n(m) = -m - 1. Suppose 4*l + 8 = 3*v, l + 4 = 4*v - 3*l. Let t be n(v). Solve 3*d = 9 - t for d.
2
Let o(m) = -2 - m**2 - 3 + 4. Let x be o(2). Let f = x - -11. Solve -f = -h - 3 for h.
3
Let m = 7 - 4. Let r be (-4 - -4)/(-2 + m). Solve -4*u + 4 - 12 = r for u.
-2
Let t be 6 + 1 + 1 + -2. Let a(l) = -2*l - 10. Let u(p) = -p - 5. Let c(m) = -6*a(m) + 11*u(m). Let h be c(-4). Solve -t = d - h for d.
-5
Let m = -5 + 13. Suppose -6*i + 4*i + 