p - 0 + 8. Solve p*o - 2*t - 12 = 0, -o - 3*t + 2*t + 2 = 0 for o.
4
Let l(j) = -j**2 + 6*j + 4. Let i be l(6). Solve 3*n - 11 = i*f + 9, 0 = -4*n + 2*f + 10 for n.
0
Let m(f) = f**2 + 9. Let v be m(0). Suppose -4*k = h - 30, -5*h + v = 4*k - 13. Solve 2*a = -4*o - k, a = -2*o + 4*a - 12 for o.
-3
Suppose 2 = -5*l + 17. Solve -3*p = -0*p - 3*o - l, 5*o - 16 = -2*p for p.
3
Let j = 16 + -11. Let f(h) = -2*h + 1 - 4 + 3*h. Let l be f(j). Solve -2*u = l*q + q - 25, -2*q = -3*u + 5 for q.
5
Suppose t + 4*t - 10 = 0. Let s(a) = a**3 + 3*a**2 - 1. Let l be s(-2). Suppose 2*n - l*n + 12 = 0. Solve -2*o + n = -5*z + t*o, -2*z = -2*o + 6 for z.
0
Let p(m) = -m. Let l be p(-4). Let a = 7 - l. Solve a*i + 4*t - 15 = 0, 0 = -i - t - 3*t + 5 for i.
5
Suppose 0 = -4*z + 15 - 3. Let r be z + -4 - (0 + -3). Suppose -19 = -5*t - 4*b, -6 - r = 2*b. Solve w - u = 0, 3 = w + u + t for w.
-2
Let f be ((-2)/4*0)/(-2). Suppose 2*m - 10 = -f*m. Solve 0*b + 31 = 2*b + m*z, -2*z = 2*b - 16 for b.
3
Suppose 30 = -b - 4*x, -5*b - 204 = -0*b + 2*x. Let w be (b/(-35))/(4/30). Solve 4*n + w = 2*h - h, -n = h + 6 for h.
-3
Let h = -72 + 74. Solve 3*b = -i - 10, -h*i + b + 0 = -1 for i.
-1
Let r(t) = t**3 - 5*t**2 + 4*t + 4. Let n be r(4). Suppose -6*q = -n*q - 8. Solve -4*o = -q*v + 12, 2*v + 0 = o + 4 for v.
1
Suppose 2*i + 4*b = 42, 0 = -3*i - 7*b + 2*b + 58. Solve k + 4*l - 8 = 0, 0 = 2*k - 5*l + 12 + i for k.
-4
Let x(t) = -t - 6. Let q be x(-6). Let s be -1 - (-3 + q/(-3)). Solve 2*i = -s*y, 2*i + 3*i + 6 = y for i.
-1
Let c = -18 + 33. Suppose 4*o - c = 13. Solve 0 = -o*g + 3*g - 2*y, 4*g = -4*y + 4 for g.
-1
Let p(h) = -2*h - 12. Let f be p(-8). Solve 4*u = -5*m + 7, m + f*u + 0 = -5 for m.
3
Suppose -2*l + 18 = 4*f, f + 0 + 3 = l. Solve b + l*j - j = 0, 0 = -3*b - 5*j for b.
0
Suppose -n - 17 = -s, 0*s + 16 = 3*s + 4*n. Suppose -3*q = -0*q - s. Suppose q = a + a. Solve -h + a*o + 8 = h, h + 3*o = 4 for h.
4
Let p be ((-32)/24)/((-1)/3). Solve 0 = -4*w + j - p + 23, w + 5*j = -11 for w.
4
Let v = 108 - 86. Solve -v = -4*y + d, -5*d + 0*d = 10 for y.
5
Suppose -5*f - 8 = -r + 4, 0 = -2*r - 4*f - 4. Let c be 0*r/(-8) + 2. Solve 0 = -2*a - 4*m + 26, c*a + a = m + 4 for a.
3
Let b(x) = -x**3 + 17*x**2 - 3*x + 55. Let j be b(17). Solve 5*f = 3*k - 14 - 0, -12 = f + j*k for f.
-4
Let c(w) = -w. Let q(d) = 4*d - 8. Let y(j) = 3*c(j) + q(j). Let k be y(8). Solve k = 4*x - 5*m - 16, 4*m + 10 = -3*x - 9 for x.
-1
Let i be (-35)/10 + 2/(-4). Let t = 6 - i. Let s be (-4)/8 + t/4. Solve 0 = -3*l - 3*y - 15, -s*l - 2*y = -4*l + 6 for l.
-1
Suppose 2*l + 4 = 4*l. Let j be (-15 + -4)/(-3 - -2). Solve j = -4*n - a, l*n = 5*a + 4 + 3 for n.
-4
Let z be 2/7 + 4/(-14). Let u = 1 + -3. Let k be u/(-3)*(-54)/(-12). Solve 2*a - a = z, 4*c = k*a + 8 for c.
2
Let m(t) = -t**2 - 8*t - 3. Let a be m(-7). Suppose -5 = -b - 0*b. Suppose 0 = b*k - 29 - 36. Solve 5*v = a*v - 2*c + 5, -2*v - 5*c + k = 0 for v.
-1
Let o be 30/(-4)*(48/(-15))/4. Solve -o + 46 = -4*d + 5*c, c = 3*d + 19 for d.
-5
Let q = 52 + -47. Solve 5*i + 4*h - 4 = 5*h, q*i + 3*h + 12 = 0 for i.
0
Let l be (-30)/40 + (-22)/(-8). Suppose -4*n + 12 = -n. Let g = -16 + 22. Solve -2*a + a = n, l*a + g = -f for f.
2
Suppose -r - 5 = -8. Let y = 8 + -14. Let g = y - -8. Solve 7*c = -k + 4*c - g, 3*c = r for k.
-5
Let q(u) = -u + 1. Let p be q(1). Let r = p - -5. Solve -4*z + 12 = -y - 3*y, -33 = r*y + 4*z for y.
-5
Let q = 3 + 3. Let r be (1 + 0)/(3/6). Solve -n + 0*n = v + q, r*v - 3 = n for n.
-5
Let m(x) = 6*x - 45. Let b be m(8). Solve -3*o - b*v - 5 = -8*o, 0 = -2*o + v + 3 for o.
4
Suppose 4*i - 8 = -0. Solve 0 = m + 5*t + 1, -15 = -5*m - 7*t + i*t for m.
4
Let f(y) = 2*y + 2. Let r be f(0). Suppose r + 3 = o. Solve -4*n - o*m - 45 = 0, -50 = -0*n + 5*n + 5*m for n.
-5
Suppose -g + 43 = -5*k + 14, 2*k = -10. Suppose -4*a + 30 = -30. Solve g*r - 4*v + a = r, -2*r = 2*v + 10 for r.
-5
Suppose -r + 4*r - 9 = 0. Let d(b) = -5*b - 30. Let w be d(-7). Solve -w*x + r*g - 18 = 0, 0*g + 3*g = 3 for x.
-3
Let x = 25 + -11. Let q be (-7)/x + 2/4. Suppose 2*z - 3*z = q. Solve -2*y = -n + 5, z = 5*n - 0*n - 4*y - 25 for n.
5
Let l be (-319)/44 - 1/(-4). Let o = 13 + l. Solve 5*k - 4*y + o = 0, 3*k + 0*y + 4*y + 10 = 0 for k.
-2
Let u = 101 + -99. Solve v - 2*m - u = 2*m, -5*m - 5 = 0 for v.
-2
Suppose 13 = 5*u - 7. Let m be (-4 + -2)/(u/(-14)). Solve -c + 6 = -a, -4*a + 5 - m = 0 for c.
2
Let b be 94/12 + (-1)/(-6). Suppose -4*q - g - g = -10, -4*g + b = 2*q. Let x be -4 + 2/1 - -4. Solve -5*f - q*k = -f - 24, -f + x*k = 4 for f.
4
Suppose 34 = 3*j + 2*j + 2*l, -3*j - 3*l = -15. Solve 4*f + 4*x - j = 0, -4*f - 2*x + 4 = -4 for f.
2
Suppose -4*b - 28 = -36. Solve 5*y - 19 = -2*o, -y + b*y = 3*o - 3 for o.
2
Let y be (10/(-4))/((-6)/(-24)). Let t be 56/10 - (-6)/y. Solve 5*k = -t*h + 10, 4*h = 2*k + 3*k + 17 for h.
3
Suppose l - 5*w = -0*l + 27, -w = -2*l + 18. Solve -3*a - 15 = -3*s, -3 = -2*s + l for a.
0
Let r(k) = 2*k + 4. Let a(o) = 4 - o + 0*o - 6. Let p(j) = -5*a(j) - 2*r(j). Let m be p(3). Solve -2*w = -10, -m*c = -c + 3*w - 15 for c.
0
Suppose 6 - 2 = p - 5*j, 2*j - 16 = -4*p. Solve -5*x - 42 - 3 = -p*r, r = -4*x - 15 for x.
-5
Let q be (-23)/(2 + (8 - 4 - 7)). Solve 3*l = 6*o - o - q, 3 = -3*l for o.
4
Let r = 51 - 95. Let m be (-6)/(-9) - r/6. Solve -2*n - 2*l + m = -0*l, 0 = -5*n + 2*l - 15 for n.
-1
Suppose -t - 25 = -6*t. Let h(m) = -m**2 + 9*m. Let s be (-2)/3*(-63)/6. Let x be h(s). Solve 5*b - 5*d - 5 = 5, b - t*d = x for b.
-1
Suppose -6*m = -3*m. Solve 4 = a + 2*i, 4 = -m*a + a - i for a.
4
Let m = 22 - 20. Let g = -34 + 19. Let i = g - -21. Solve -i*c = -j - 2*c - 21, m*c - 3 = -j for j.
-5
Let p be (-27)/(18/(-4) + 3). Let n = p - 13. Solve -19 = -3*s - n*f, -5*s - 4 = f + 1 for s.
-2
Let q be 78/16 - 5/(-40). Suppose -6*a = -2*a + 2*y + 10, q = a - y. Solve a = -4*d - 8, 3*x - 1 = -4*d - 9 for x.
0
Let t(h) = h**2 - 2*h - 5. Let b be t(5). Suppose -14*z + 40 = -10*z. Suppose 0 = 5*s - z. Solve 2*u + w + 10 = 6*w, s*u = -3*w - b for u.
-5
Let q be ((-2 - 3) + 5)/4. Solve 2*l - 11 = -l - 5*w, -4*l - 3*w = q for l.
-3
Let x(g) = 6*g - 1. Suppose 0 = -4*s - 2*q, 18 - 40 = -3*s + 4*q. Let j be x(s). Solve 0 = -3*k - 2*v - j, k = 5*v - 2*v + 11 for k.
-1
Suppose 3*u + 24 = u. Let a be 3 - (u/(-4) + -2). Let n(j) = j - 4. Let d be n(4). Solve d = -b + 4*v, -a = -3*v + 5*v for b.
-4
Let f(a) be the second derivative of 2*a**3/3 - 2*a**2 - 2*a. Let t be f(3). Solve -18 = -4*b + 2*d, -9 - t = -5*b - 3*d for b.
4
Suppose 28 = 4*i - 5*w, -i - 2*i + 3*w + 18 = 0. Solve c - i*c = -3*f - 5, 5*c = 2*f - 14 for f.
-3
Let d(v) = 2*v + 4. Let f be d(4). Let p be (3/9)/(2/f). Let o = 32 - 18. Solve -2*k - 2*y = -0*y + 2, 4*k - p*y = o for k.
2
Let h(c) = c - 2. Let z be h(4). Let m = 1 + 3. Let u be (-2)/4 + z/m. Solve -g = -3*j - u*g - 5, 3*j + 7 = -g for j.
-2
Suppose -5*p = -2*y - 1, 4*y + 0*p - 3*p + 9 = 0. Let k(d) = -d**3 - 4*d**2 - 4*d. Let z be k(y). Solve -5*s + z*n - 15 = -40, 3*s - 15 = -3*n for s.
5
Suppose -2 = -3*u + 4*k, -2*u + 4*k - 8 = -k. Suppose 3*t - t = 4. Suppose 0 = 4*y - y. Solve y = t*z + 5*m + 4, u = -6*z + 3*z + 4*m for z.
-2
Let f be 3/(-1) - 0 - -2. Let x(h) = h**3 - 7*h**2 - 1. Let m be x(7). Let s = m - f. Solve s = 5*g - 2*w - 2*w - 28, g - 4*w = 12 for g.
4
Let p be (-5 + -5)*(-2)/4. Suppose 0*n - n + 23 = 5*i, 5*n - p = -3*i. Solve z - 6 + 16 = -i*k, k + 11 = -2*z for k.
-1
Let o be (-2)/8 + 39/12. Let u(x) = -x**3 + x**2 - x + 5. Let w be u(0). Suppose 3*z - 3 = 3. Solve 0 = 4*i - o*n - w, z*i = i + 3*n - 10 for i.
5
Let x(v) = -4*v**3 - v**2. Let d be -3 + (3/1)/3. Let q be x(d). Solve 5*a + q = 3*m, 5*a - 3*m = -8*m - 20 for a.
-5
Let h be (8/(-2))/8*-6. Solve -2*n - 14 = -h*k, 3*k - 4 = -4*n + 4 for k.
4
Suppose -l + 11 = 2*g, -1 = -2*l + 1. Suppose -g*d - 4 = -29. Let a = -1 + 1. Solve -d = v, -4*y + 6 = -2*v - a for y.
-1
Suppose -5*g + 53 = 43. Solve -5*m + g*q - 37 = -4, 30 = -2*m + 5*q for m.
-5
Let t(n) = 28*n. Let j be t(1). Solve -3*s = 2*z + 2*z + j, -3*s - 3*z = 24 for s.
-4
Let w(u) = u**2 - 4*u + 6. Let p be w(3). Solve -p*c + 4*x + 7 = 0, 4*c = 4*x - x + 14 for c.
5
Let b be (-1)/2 - (-10)/4. Let k be (2 + (-3)/b)*0. Suppose -5*a + n - 3*n + 30 = k, -5*n = -2*a + 41. Solve 3*w - 18 = 3*t, 