et c = 15 + -13. Let s = 2 + c. Solve 4 - 24 = s*k for k.
-5
Suppose -3*m + 3*a = 0, -4*a + 2*a + 5 = -m. Solve -1 = m*i + 19 for i.
-4
Let y be -10 + (6/(-3))/(-2). Let i(t) = t**2 + 10*t + 2. Let p be i(y). Let g be (-3 - -5)*(-1 - p). Solve -3*h - 3 = g for h.
-5
Let y(z) = 7*z**2 - 6*z. Let h(s) = -8*s**2 + 7*s. Let m(r) = -6*h(r) - 7*y(r). Let p be 0*(-1 - 0/(-2)). Let w be m(p). Solve w = 3*j + j - 12 for j.
3
Suppose 0 = 5*j - 9 - 1. Suppose -2 = -2*b + j*u, -u = 5*b - 7 - 4. Solve -5 = -x - b for x.
3
Let b = 1 + 1. Let i be (2/b)/((-7)/(-21)). Suppose -i*g - 3 = -3*x, -3*x + g + 13 = 2. Solve y - x = 6*y for y.
-1
Suppose w - 2*w + 2 = 0. Suppose 0 = -2*a + 4. Suppose -f = -6*f. Solve w*t + a = -f*t for t.
-1
Let v(p) be the second derivative of p**3/6 - 3*p**2 + 2*p. Let b be v(6). Solve -q = -b - 5 for q.
5
Let z be 6 - (-3)/((-12)/8). Solve -16 = -4*r + z for r.
5
Let g(o) = 2*o**2 - o + 1. Let w be g(-2). Suppose -3 = -3*r + 2*k - k, 4*r + k - w = 0. Solve -r = -0*i - i for i.
2
Let q(j) = -j**2 - 9*j - 5. Let i be q(-7). Let v(c) = c**3 - 8*c**2 - 9*c + 2. Let p be v(i). Solve -p = -0*k + k for k.
-2
Let w be (-35)/14*(-2 + 0). Let p be (-4)/(-5)*110/4. Solve p = w*n - 3 for n.
5
Suppose 0*r = 4*r. Let t = -19 - -21. Suppose s = -s + 3*o + 23, -3*o - 7 = t*s. Solve r = 3*u + s - 1 for u.
-1
Suppose -2*f + 16 = -4*l, 2*f = -f - 2*l. Let g = 1 + f. Solve h - 1 = g for h.
4
Let r be -5 + (1 + -3 - -12). Solve 0 = -3*z + 4 + r for z.
3
Let i(r) = r**2 - 14*r + 18. Let x(g) = -g**2 - 10*g - 3. Let t be x(-8). Let y be i(t). Solve -4*q + y = -7 for q.
3
Suppose 2*g + 11 = 5*w + 44, 5 = -w. Suppose 2*j + 3*j = 0. Let k(c) = 2*c**2 + 2*c - 2. Let u be k(1). Solve -g*v + 14 - u = j for v.
3
Let x(j) = j**3 + 6*j**2 + 4*j - 3. Let z be x(-5). Suppose 5*d + 9*f - 5*f - 35 = 0, 4*f - 8 = 4*d. Solve z*w = 5*w + d for w.
-1
Let f = 0 - -5. Let k = 7 + -5. Solve 7 - k = -f*v for v.
-1
Suppose 0 = -4*d + 167 + 353. Let y be d/15*(1 + 2). Suppose -5*a + y = -j, a - j + 2 - 8 = 0. Solve -18 = a*v + 7 for v.
-5
Suppose 7*p + 3*p = 20. Suppose 0 = -2*c + 4, 0 = 2*i + c - 6. Solve i*j + p*j = -20 for j.
-5
Let x(a) = -2*a - 26. Let l be x(-18). Solve 7*h - 5*h = l for h.
5
Suppose 2*t - 12 = -4*d, t - 3*d = 2*t - 8. Suppose 4*f - 2*y = f + 4, 3 = -f + 5*y. Let v = -6 + 9. Solve v*k + f = t*k for k.
-2
Let n(i) = i + 2. Let g be n(2). Solve -g*w + 8*w = -12 for w.
-3
Let x(q) = q**3 + 7*q**2 - q - 7. Let w be x(-7). Solve w = 4*k + 4 - 16 for k.
3
Suppose 0*b - 3*v + 17 = 2*b, 0 = 2*b + 2*v - 12. Solve -7 = 2*g - b for g.
-3
Let z = 3 + 1. Let c(v) = -v**3 + 25. Let f be c(0). Solve -z*w = w + f for w.
-5
Let h = -7 + 9. Let z = 4 - h. Let q(n) = n**2 - 2*n - 3. Let o be q(4). Solve z*s + o - 1 = 0 for s.
-2
Let u = 11 - 8. Suppose j = -j + 4. Suppose -j*s + u*s = 0. Solve s*a = -4*a + 4 for a.
1
Let o = 350 + -340. Suppose 0*i + 2*i = 2*z + 6, -2*i + 5*z - 3 = 0. Solve -r - o = -i*r for r.
2
Let g = 8 - 5. Suppose 0 = -5*j - 3*x - g + 18, -6 = -2*j + 2*x. Suppose j*i + 40 = 7*i. Solve 3*h + i = 4 for h.
-2
Let m be -2*(0 + 2/(-4)). Suppose -10 = 4*f + 2. Let w(x) = 2*x**2 + 5*x + 2. Let u be w(f). Solve -4*c - u = -m for c.
-1
Let r be (-2)/6*3 - -1. Suppose r*z = 4*x + z - 55, -5*x - 2*z + 71 = 0. Solve 4*n - x = -1 for n.
3
Suppose -1 - 4 = s. Let z = s - -7. Solve z*l = -3*l for l.
0
Let f = 13 + -9. Suppose 3*t - w - 9 = -4*w, -2 = t - f*w. Solve 2*j + 8 - t = 0 for j.
-3
Suppose -4*v = 3*g - 72, 5*g + 0 - 35 = -v. Solve 2*o - 7*o = v for o.
-3
Suppose 1 = u + 3. Let p = -1 + 1. Let v be (p/u)/((-4)/2). Solve v*x + 9 = -3*x for x.
-3
Suppose -1 - 7 = -4*p. Solve -3*c + 11 = p for c.
3
Suppose q + 3 = 5. Suppose -2*a = 4*w - 16, -a = -3*w + q*a + 3. Solve 0 = w*f - 4 + 7 for f.
-1
Let x = -5 - -5. Let g be (x + 5)*(-3 - -4). Let p = -3 + g. Solve p*k = -k + 15 for k.
5
Suppose 2*z - 3*n = 0, 3*z + 3*n + 0*n = 0. Solve m + 0*m - 3 = z for m.
3
Let w = -17 - -11. Let j be (w/(-2) - 3)/(-1). Solve j = 4*a - 11 - 1 for a.
3
Suppose -3*f + 1 = 2*d - 0, 4*f + 2*d = 4. Suppose -2*x = f - 7. Solve x*g - 6 = 4*g for g.
-3
Let p = 11 - 7. Suppose -3*z - 7 = -5*z - 3*f, 0 = f + 1. Suppose -3*u = 7*l - 3*l - 52, z*u = -5*l + 60. Solve 4*k - p = -l for k.
-3
Suppose 3*i + 2*i + 17 = -4*n, -i = 4*n - 3. Let k = -29 - -35. Suppose 2*d = a + 2, a - k = -n*a + 2*d. Solve 2*g + a = 2 for g.
-1
Let d be (8/3)/(2/6). Suppose -2*v + 2*z = -26, -3*v + v - 4*z = 4. Let x(l) = l**2 - 9*l + 10. Let q be x(v). Solve 6*a + d = q*a for a.
-2
Let n(w) = w + 2. Let b be n(-3). Let y be (b/3)/((-1)/21). Solve -3*m = -19 + y for m.
4
Let l be (-2)/6 + 19/3. Let f(y) = y**2 - y + 1. Let c be f(2). Solve c*t = -3 - l for t.
-3
Let u be 4 + 1 + 0/(-1). Suppose -t = 4*c + 4, -2*c + 3 = u*t - 5*c. Solve q + t + 3 = 0 for q.
-3
Suppose -c - 4*c = 3*w - 28, -w = c - 8. Suppose 4*q = w*q. Solve 4*y - y - 15 = q for y.
5
Suppose -19 = -3*k + r, 3 = -0*r - 3*r. Solve n - 1 = -k for n.
-5
Suppose 0 = -2*t - 3*k + 42, 2*t = -t + 4*k + 29. Solve -h - t = 2*h for h.
-5
Let a(w) = -w**3 + 4*w**2 - 3*w + 6. Let z be a(4). Let t(r) = r**2 + 5*r + 5. Let u be t(z). Let j = u + -8. Solve -j*q = -0*q for q.
0
Let q(w) = -3*w - 1. Let j be q(-1). Let b(v) = v**2 - v - 2. Let r be b(j). Solve -n = -r*n - 3 for n.
3
Suppose 2*a - 8 = 32. Let p be 6/4 + 1/2. Solve -3*r = p*r + a for r.
-4
Let k(v) = -v**2 + 14*v - 20. Let q be k(12). Solve -l - q = l for l.
-2
Suppose -3*w + 5*n + 20 = 0, -2*w - n + 5 = 4*n. Let k be 4/5*(1 - -14). Suppose 2*d = -w*l + 15, -5*d + k = -13. Solve -g = 2 - l for g.
-1
Let i = 3 - 0. Suppose -7*u - 8 = -i*u. Let j = 1 - u. Solve -j*d - d + 12 = 0 for d.
3
Let o be (-2)/3 + 16/(-12). Let p = 2 - o. Solve -4 = p*w - 0 for w.
-1
Suppose 2*q - 24 = -4*t, 5*t - 10 - 11 = 2*q. Suppose t*b = -3*k + 10, -4*k + 3*b + 2*b + 60 = 0. Solve p + 4*p + k = 0 for p.
-2
Let u(c) = 21*c**3 - c**2 - c + 1. Let v be u(1). Suppose 2*k + 0*a = a + 7, -v = -5*k + 5*a. Solve -k*r - 2 + 14 = 0 for r.
4
Let h(a) = 3*a**2 + 0*a + 3*a + 0*a - 4*a**2. Let s be h(2). Suppose -133 = -5*y + 4*v, 2*y - 17 = -s*v + 29. Solve 7*l - 2*l = -y for l.
-5
Suppose z - 3*z + j + 9 = 0, 12 = 3*z - j. Suppose z*p - p = 0, -4*x + p + 24 = 0. Suppose 2*m - 7*m + 5*a + 10 = 0, 3*m + 2*a = x. Solve -y - m = -0*y for y.
-2
Suppose 2*z + 22 = -2*p, 0*p = -4*p + 5*z - 17. Let a = p - -11. Solve 0*w + a*w + 3 = 0 for w.
-1
Let j be (176/55)/(4/10). Let x be 148/16 + (-2)/j. Solve -11 = 5*f + x for f.
-4
Let d = 29 + -5. Solve -8 = -4*m - d for m.
-4
Let d(j) = 6*j**3 - j**2 - 2. Let g(z) = -7*z**3 + z + 3. Let m(n) = 6*d(n) + 5*g(n). Let q be m(5). Solve 6 = -q*o - 0 for o.
-2
Let u = 12 - 1. Let o = -2 + 2. Suppose -3*l = -4*s + 7, -4*s = -o*l - 2*l - 10. Solve -l*d + u = 2 for d.
3
Suppose 3*p + 0*p = 4*u - 2, 14 = 4*p + 3*u. Solve -4*m + 14 - p = 0 for m.
3
Suppose -4*i + 132 = -5*z + 31, 2*i = -2*z + 46. Suppose b - i - 21 = 0. Suppose 33 = 3*s + 2*r - 3*r, b = 3*s - 5*r. Solve 0*h - 2*h = -s for h.
5
Suppose 2*h = 7*h + 2*z - 14, 0 = -5*h + z + 8. Solve 4 = h*j - 0*j for j.
2
Let k be (4/(-3))/(1/(-3)). Solve h + k + 0 = 0 for h.
-4
Let d be (-2)/(6/9)*-7. Let p be (-6)/d - (-116)/14. Solve 4*b = 2*b - p for b.
-4
Let l be 6/1 - 9/(-3). Let m = -4 + l. Solve g - 3 = -m for g.
-2
Let j(v) be the first derivative of v**2 - 16*v - 3. Let q be j(9). Solve -q*g + 8 = 2 for g.
3
Let y be (6/3)/(2/(-3)). Let z be 4*y/((-24)/10). Let r(o) = o**2 - 16*o - 76. Let d be r(20). Solve -s - z = d*s for s.
-1
Suppose -2 = -3*k + 4, 3*t + 5*k + 23 = 0. Let r = t + 9. Let d be 3/(9/42) + r. Solve -5*p - 13 - d = 0 for p.
-5
Suppose -18 = -10*z + 7*z + 3*f, z + 2*f + 3 = 0. Let r = -7 + 16. Suppose 2*u = u, u = z*b - r. Solve b*y = y - 10 for y.
-5
Suppose 3*j - 4*j = 0. Let f = -4 + 8. Let i be (-2)/(-3)*(5 + -2). Solve -f*m + i + 2 = j for m.
1
Let f = 9 + -17. Let p = 2 - f. Solve 0*x = 2*x - p for x.
5
Let j(a) = -3*a + 25. Let i be j(10). Suppose -3*f = -3*s - 6 - 6, 0 = -3*s + f - 8. Let t = s - i. Solve -t*n + 20 = n for n.
5
Suppose w + 13 = 3*w + z, -5*z + 15 = 0. Suppose 0 + 20 = w*g. Solve 4 = -g*o + 2*o for o.
-2
Suppose -7*f + 6*f + 1 = 0. Solve f = -2*u + 7 for u.
3
Suppose -5*r + 14 = -3*r - 2*s, 4*r - 2*s = 32. Solv