0*o - 2*k = -5*o + 13, 0 = -o + 5*k - 2. Solve -3 = -o*v - 18 for v.
-5
Let z(b) = -2*b - 7. Let d be z(-5). Suppose -5*q + 3 + 121 = -d*k, -q - 4*k = -34. Solve -5*f + 1 = q for f.
-5
Let r(f) = -4*f**3 + 2*f**2 + 2*f + 1. Let m be r(-1). Suppose 0 = -y - 2*s - 3*s - m, -1 = s. Solve -2*o + o + 4 = y for o.
4
Suppose -3*v - 7 = -3*m - 1, 0 = -5*m + 3*v. Let a be (m + (-15)/(-6))*0. Solve a = -0*d + d for d.
0
Let n be -2 + 0 - 20/(-4). Suppose -2*z - n*z = -k - 5, 5*z = 3*k + 5. Suppose a - 1 = k, 5*a = o + 2*o - 10. Solve -o*c + 4*c = -1 for c.
1
Let b be -9*5/3*10/(-50). Solve b*h = 6*h - 9 for h.
3
Suppose -5*k + 5*u = -15, 0 = -0*k + k + 5*u - 15. Suppose 2*r = 2*s + 8, -10 = -s + 6*s. Let n = k - r. Solve 3 = -0*q + n*q for q.
1
Let p be -3*(-4)/(-8) - (-3)/2. Solve p = -2*h + 3*h + 1 for h.
-1
Suppose -2*j + 9 = w, 2*w + 3 = 9. Solve j*a - 8 = -a for a.
2
Suppose 2*t + 3*z = 0, 4 = -5*z + 3*z. Solve -5*r = -t*r for r.
0
Let h(x) = 56*x**2 - 2*x - 1. Let g be h(-1). Suppose 2 = 3*t - 7, 5*i = t + g. Solve i - 3 = 3*q for q.
3
Let w = 64 + -61. Solve -4 = -4*s + w*s for s.
4
Suppose 5*p + 3 = 4*p, 5*z + 3*p + 9 = 0. Solve 4*o = -z*o for o.
0
Suppose 0 = b - 3*t, 4*b - 3*t = 49 - 4. Solve 0 = -7*z + 2*z - b for z.
-3
Suppose 2*z = -2*z + 8. Suppose -10 - z = -3*r. Solve r*y = -0*y - 16 for y.
-4
Suppose 5*f + 4*s - 23 = 0, 5*s = -3*f + 3*s + 13. Solve 1 + f = -4*d for d.
-1
Let l(m) = -m**2 - 4*m. Let y be l(-3). Let f be (2*5)/(-1 + y). Solve -f = 3*d + 4 for d.
-3
Suppose 4 = -4*z + 5*z. Solve z*a = -11 - 1 for a.
-3
Suppose 4*w + x = 23, 3*w + 4*x - 2*x - 16 = 0. Let l(k) be the first derivative of -k**2/2 + 6*k - 3. Let s be l(w). Solve s = c - 1 - 0 for c.
1
Let l = 2 - 2. Solve -t + l = -4 for t.
4
Let y(h) = h**3 + 8*h**2 + 6*h - 17. Let b be y(-7). Let o(l) = -l**3 - 10*l**2 + 10. Let z be o(b). Solve 9*d = 4*d + z for d.
2
Suppose -4*z = -5*s - 10 - 10, 3*s + 38 = 5*z. Suppose -2*b - 2 = -z. Suppose -b*c - c + 2*u = -26, -5*c - 3*u + 11 = 0. Solve 0 = c*y + 12 + 8 for y.
-5
Suppose 4*g - 5*b + 2 = -2, g = -b + 8. Suppose -2*w - 2 = -3*w. Solve -w + g = n for n.
2
Suppose 2*m + 1 = 4*m - 3*i, -2*i = -2. Suppose 5*v = -5*r + 35, -6 = m*v - 2*r - r. Solve -v*g = -8*g for g.
0
Let d be 30/25*(-35)/(-2). Let v = d - 18. Solve -v*s - 14 = 1 for s.
-5
Suppose -3*g - 4 = -5*v, 5*g - 10 = -3*v + 3*g. Solve 0 = j - v - 3 for j.
5
Let t(z) = 2 + 12*z - 9*z - 3. Let d be t(7). Solve 2*c = -3*c + d for c.
4
Let y(o) = o**2 + 4*o + 3. Let g = -10 - -6. Let a be y(g). Solve -a*p = p for p.
0
Let l(j) be the second derivative of -j**3/3 + j. Suppose 5*k - 7*k = 2. Let v be l(k). Solve -r + v = -3*r for r.
-1
Let q be 34/4 + 2/4. Suppose -f + q = 2*f. Solve -2*v = -f*v + 4 for v.
4
Let r(n) = n - 1. Suppose 4*p + 0*k - 5*k = -12, p + 18 = 5*k. Let c(u) = -u**2 + 4*u + 1. Let x be c(p). Let z be r(x). Solve z*t + 1 = -19 for t.
-5
Let m(g) = -g + 15. Let u(z) = -2*z + 8. Let x be u(-3). Let a be m(x). Solve n = 4 - a for n.
3
Let n = -2 + 4. Let v(t) = -t**2 - 7*t - 1. Let h be v(-6). Let s be (-1 - -1)*(2 + -3). Solve s = h*m - n*m - 12 for m.
4
Suppose 0 = b + 2*b. Suppose b*w = w. Solve w = -2*n + 3 - 1 for n.
1
Let g be (-2 + 2)/(-2 - -6). Suppose 4*c - 12 = -g*c. Solve 0*x + c = x for x.
3
Let z = 20 + -16. Suppose -3*d + 36 = -k, z*d + 5*k - 6 - 23 = 0. Solve -2*y = 1 - d for y.
5
Let v(q) = -q**3 - 2*q**2 + q - 2. Let i be v(-3). Solve u - i = 3*u for u.
-2
Suppose -2*s = 3*s. Suppose s = -l - 2*l + 6. Solve 0 - 10 = -l*a for a.
5
Suppose -3*l = -q - 17, -l + 5 = -q - 4. Let r be (0 - (-2)/(-5))*q. Solve r - 3 = -g for g.
1
Suppose 3*m - 7*m = -28. Let i be m + -1 + (-4 - -1). Solve d = i*d - 4 for d.
2
Suppose 5*n = 28 + 22. Suppose 5*c + n = 0, 4*f + c = -0 - 2. Solve -o = -f + 4 for o.
-4
Suppose 2*w - 25 = -5*h - 6, 13 = 5*w + h. Solve 0 = c - w*c + 2 for c.
2
Let g be (-15)/45*(0 - 9). Solve s + g - 6 = 0 for s.
3
Let s = 9 - 7. Suppose 4*x - 3 = 5*b, x - 1 = s*x - 3*b. Solve x = 2*u - 2 for u.
2
Suppose h - 4 = -a, 3*h - 4*h = 5*a. Solve -h*i = -1 - 9 for i.
2
Let c(s) = -s**2 - 5*s - 1. Let f be c(-3). Solve 0 = 3*n + 2*n + f for n.
-1
Suppose -2*s = 4, 4*c + 5*s = s - 4. Solve 4*v = -3 - c for v.
-1
Suppose -5*w + u = 22, 0 = 2*w - 2*u - 0*u + 12. Let a be w/18 - 4/(-18). Solve a = -5*v - 2 + 7 for v.
1
Let c = -69 - -75. Solve -4*f + c - 10 = 0 for f.
-1
Let t(q) = 10*q**3 - q. Let k be t(1). Suppose 3*u = a - k, 4*a = u + 14 + 11. Suppose -a*h = -5*h - 7. Solve -h = 2*c + 3 for c.
-5
Let n(m) = -m**3 + 8*m**2 + 10*m - 4. Let q(v) = 3*v. Let z be q(3). Let o be n(z). Suppose -4*i + 7 = -2*g - 3, -o*g = -3*i + 11. Solve r = -i - 2 for r.
-4
Let h be ((-4)/3)/(14/(-21)). Let y be -1 + h - (-4 - 3). Solve -y = -p + 5*p for p.
-2
Let f = -2 - -2. Suppose -4*t = -3*u + 6, f*t + 4*t = -2*u + 4. Solve t = -3*q + 4*q + 4 for q.
-4
Suppose 0 = 4*i + 2*f + 2 - 20, 5*f = -2*i + 13. Let a(v) = v**3 - 10*v**2 - 10*v - 10. Let w be a(11). Solve -i*l = 7 + w for l.
-2
Let b be (-4 + 3 - -2) + 2. Solve -3 = b*i - 0 for i.
-1
Let j = 52 + -47. Solve 4*q = j*q for q.
0
Let f be 2/(2*(-3)/12). Let c be 1/2*(0 - f). Solve -4*h = -c*h for h.
0
Let z(d) = -4*d + 1. Let j be z(2). Let y be (1 - 1)*j/14. Solve 0 = -y*h + 4*h + 4 for h.
-1
Let h(u) = 2*u**3 + u - 3*u + 0*u**3. Let y be h(2). Solve y = -3*x - 3 for x.
-5
Let m = 4 + 4. Let i = m + -5. Suppose -i + 0 = -p. Solve 4*g = -13 - p for g.
-4
Suppose 0 = -13*t + 14*t - 8. Solve -f - t = -3*f for f.
4
Suppose t + 1 = -3*z, 15 = 4*z + z + 5*t. Let m = -2 - z. Solve m*b = b - 3 for b.
3
Suppose 366 - 84 = -3*y. Let i = -11 - y. Suppose -3*b + 92 = 3*q + 11, -3*q = 4*b - i. Solve -5*h = -10*h - q for h.
-5
Let k(m) = m**3 + 7*m**2 - 4*m - 6. Let t(y) = y. Let o(a) = k(a) - 5*t(a). Let f be o(-7). Let g = -28 + f. Solve 4 = -5*p + g for p.
5
Suppose -2*k = 3*d - 6 - 23, 19 = 5*d - 4*k. Solve 4*h + d = -13 for h.
-5
Let b(t) = 3*t + 90. Let v be b(-29). Suppose 19 - 7 = 4*z + y, 2*y - 8 = 0. Solve o - v = -z*o for o.
1
Let v be (3 - 1)*1/2. Let z = 5 - v. Suppose 0 = -2*y + 3 + 3. Solve -4*k + z = -y*k for k.
4
Let z = 4 + 4. Suppose 0 = -d - 3*d + z. Solve -l = -d*l + 4 for l.
4
Let r(k) = -k**3 - 6*k**2 - 5*k + 1. Let t be r(-5). Let x = t + 0. Solve -y + x = -4 for y.
5
Let y(w) = -w**2 - 7*w - 6. Let m be y(-5). Suppose 0 = -0*k + m*k - 32. Let t be 2 - (1 + -2) - 0. Solve -t*j + j = -k for j.
4
Let n = 3 - 1. Let g = 5 + -5. Solve -b - 2 - n = g for b.
-4
Let r = 95 - 92. Solve 3 - 9 = -r*g for g.
2
Let n be 209/44 + (-2)/(-8). Solve i - n*i = -4 for i.
1
Let o be ((-2)/(-6))/((-1)/(-15)). Suppose -g + 2*m + 6 = -4, o*g + 2*m = -10. Solve -w - 1 = -g*w for w.
-1
Suppose 0 = z + 4 - 7. Solve -5*q + z = -2 for q.
1
Let h(f) = 5*f**2 + f + 1. Let g be h(2). Let c = -14 + g. Suppose 2*s - c = s. Solve -s - 11 = -5*r for r.
4
Suppose -30 = -10*m + 5*m. Suppose -u - 4*u + 15 = 0. Solve g + m = u*g for g.
3
Let a(g) = g**2 - 10*g + 11. Let c be a(9). Let d be (c + (-9)/6)*4. Solve 0*j - 2*j = d for j.
-1
Suppose -p + 2*z + 7 = -2*z, 4*p + 2*z - 10 = 0. Solve -5 = p*v + 4 for v.
-3
Suppose -2*y + 0*y + 8 = 2*a, 2*y - a + 7 = 0. Let k = 1 - y. Suppose 4*g = k*t + g - 22, -2*g - 36 = -4*t. Solve 3*c = t*c + 20 for c.
-4
Let j(w) = w**2 + 4. Suppose -6*o + 2*o = 0. Let b be j(o). Solve -3*h - b = -h for h.
-2
Let t be (6 + -3)*(2 - -1). Let v be (2/t)/((-4)/(-36)). Solve v*z + 7 = -3 for z.
-5
Suppose -4*c = 27 + 37. Let p = c + 11. Let g(b) = -2*b - 6. Let n be g(p). Solve -4 = n*k - 16 for k.
3
Suppose -20*z + 22*z = 18. Solve z = r - 4*r for r.
-3
Suppose -i + 8 = i. Let a be (2/i)/(7/56). Solve c - 2 = -a for c.
-2
Let r be (-18)/8 + 2/8. Let m be 9/(-6)*r/3. Let z = 3 - m. Solve -11 = z*h - 3 for h.
-4
Let a = 99 + -36. Let c be 2/9 - (-994)/a. Solve -2*v + c = 2*v for v.
4
Suppose 2*g = j + 25, -83*g + 4*j = -86*g + 10. Let l(c) = c**2 - c - 2. Let k be l(2). Solve -5*z + k = -g for z.
2
Let o = -18 - -8. Let u = o - -13. Solve 2 - 5 = u*f for f.
-1
Let v(c) = c + 11. Let f be v(-11). Suppose -i - 4*g = 17, 4*g - 1 + 8 = i. Let x = i + 6. Solve f = -2*d + 5 - x for d.
2
Suppose l - v - 4 = 4*l, 2 = 3*l - 5*v. Let j = 1 - l. Solve 0*k = -2*k - j for k.
-1
Suppose -5*w = 5*t - 165, -4*w + t + 0*t + 112