Solve 5*o - 6 - s = f, -o - 13 = 3*f for o.
2
Let g(k) = -k + 13. Let m be g(11). Solve -2 = f + f - p, -m*p = 0 for f.
-1
Suppose 15 = 5*r - r - 5*p, 0 = 2*r - p - 3. Solve v - 41 = -3*v - 5*j, -2*v + 5*j - 17 = r for v.
4
Suppose 7 = s - x, 4*s + 7*x - 14 = 4*x. Solve -2*g + d = 11, 0 = -3*g + 2*d - 22 + s for g.
-5
Suppose 0 = 5*u + 9 - 29. Suppose -x + 3 = -3. Suppose 2*f - x = -f. Solve -i - 2*p - 4 = 0, -f*i + u*p + 0 = -16 for i.
2
Let h(l) = -l**3 + 5*l**2 - 7*l + 5. Let j be h(3). Solve -5*s = 5*q + 10, 3*s = -2*q + j*s - 7 for q.
-5
Let s be 4 - (-6 + 3)*-1. Let m(q) = 5*q**3 + q**2 - 2*q + 2. Let d be m(s). Solve l + d*o = 2*o + 17, o = 3*l + 1 for l.
1
Let p = 19 + -4. Let r(a) = -3*a - 1. Let c be r(-1). Suppose 18 = 5*l + c*s - 3*s, s = 4*l - p. Solve 3 + 1 = -4*m + 4*t, -l = -5*m + t for m.
1
Let w = 0 - 2. Let k be 0/w + 15/1. Suppose a + 4*a = k. Solve 5*p - v - 32 = 2*v, -a*p - 3*v = 0 for p.
4
Let r be 12/9*(-4 + (-35)/(-5)). Solve -a - 7*w - 1 = -r*w, -3*a + 2*w = 3 for a.
-1
Suppose -3*t + 7*t = 0, -2*j = 5*t - 16. Let n(o) = 3*o**3 - o**2 + o + 1. Let z be n(-1). Let w = 10 - z. Solve -5*h + j = -k, -h = -4*k + h - w for k.
-3
Suppose -292 = 5*y + 93. Let n be (-22)/y - 38/(-14). Solve -2*r + r = -2*g + 12, n*g = 4*r + 28 for g.
4
Let j(k) = -2*k - 6. Let f be j(-5). Suppose -l + 4*s = 19, 3*l - s = 2*l - 4. Suppose -z + l = -1. Solve -4*q - 8 = f*i, 5*q + i = -0*i - z for q.
0
Suppose -4*y + z = 2*z - 11, 4*y - 5 = z. Suppose 0 = 3*r - 4*f + 6, y*f + f + 1 = 5*r. Solve -2*n + 7 + 11 = -5*i, 0 = -n - i + r for n.
4
Let s(x) = -x + 12. Suppose 4*z = z + 36. Let t be s(z). Solve -3*p = r - 9, -5*r + 5*p - 15 = -t*p for r.
0
Let z = -1 - -3. Suppose 2*q - 12 = -5*p + 22, p - 10 = -z*q. Suppose 0*y - p = -3*y. Solve 4*o = -v + 16, -4*v - 4 = -y*o + 4 for o.
4
Suppose -t + 2*n - n = 0, 2*t - 5*n + 12 = 0. Let w be 6/10 - (-102)/30. Suppose 19 - w = 3*d. Solve i = -t*o - 20, -o - 6 = d*i - 1 for i.
0
Let g(k) = -k**3 + k**2 + 4. Let u be g(2). Solve u = -4*l - 2*b + 4, -2*b = 4*l + 3*b - 16 for l.
-1
Let y = -8 + 16. Suppose 2*m - y - 2 = 0. Solve 5*x = -3*q + 1, -5*q = -3*x - 8 - m for q.
2
Let x = -29 - -41. Let d = x + -8. Solve -d*i + i = 6, -10 = -y + 3*i for y.
4
Suppose 5*p - 5*d = 80, 0 = -d + 5*d - 12. Suppose -2*n = 3*n. Suppose -31 = -8*m + 9. Solve -3*f = m*x + 7 - p, -5*f + 5*x + 20 = n for f.
4
Let z = 16 + -12. Solve 4*v = z*t + 3 - 31, 14 = -5*v - 2*t for v.
-4
Let s(w) = w**2 + 3*w + 1. Let z be s(-4). Suppose 2*b + 1 = b, -5*x + 4*b + 34 = 0. Let m = x - 4. Solve 2*i - 16 = -4*g + 2*g, -z*g + 12 = -m*i for i.
4
Let o(v) = 2*v + 2. Let b be o(0). Let m = -8 - -12. Solve 0*i - 16 = -5*y - b*i, 2*i = -m*y + 12 for y.
4
Let y be (24 - 28)/(1*2/(-4)). Solve -4*u - y = -5*a, 4*u - a + 5*a = 28 for u.
3
Let j be (4/((-12)/(-5)))/((-2)/(-6)). Solve 2*f + 5*v = 2, 0*f = f - j*v - 1 for f.
1
Let i be 20/((-3)/6 - -1). Let s = i - 22. Solve -3*o - 2*x + s = -7*o, x - 5 = 0 for o.
-2
Suppose p - 8 = -p. Let i = p + -1. Suppose 5*q - 8 - 22 = -t, i*t - 3*q = 0. Solve 0 = -h - 2, t*z + 4*h + 20 = -3 for z.
-3
Suppose 3*o + 17 = 5*c, o - 12 - 5 = -4*c. Solve 5*d = 5*h, -2*h + c*d - 3 = d for h.
3
Let b(w) = w**2 - 2*w - 2. Let j be 2/6 - 46/(-6). Let c = j - 4. Let u be b(c). Solve -4*k + 12 = -2*v, -4*v - 3*k - 7 = u for v.
-4
Suppose 4*r + 34 = 114. Solve -4*u = -m + 4 + 3, 0 = 5*u + m + r for u.
-3
Let g be (-2)/3*42/(-4). Let p = -3 + g. Solve 10 = 4*v - q, 3*q = v - 4 - p for v.
2
Suppose 0 = -x - 3 - 4. Let s = -5 - x. Solve 2*g + 10 = 0, 4*p - g - s*g + 5 = 0 for p.
-5
Let v be (-2 + 1)*(4 - 4). Suppose 4*q + v*q + 4*p - 16 = 0, -5*q + 21 = 4*p. Solve -q*g = -2*c + 26, 2*g + c + 0*c + 5 = 0 for g.
-4
Suppose 0 = 2*w - 2*b + 2, 3*w + 5 = -5*b + 42. Solve -w*a = 2*o + 5 + 3, 4*o - 20 = a for o.
4
Let g(t) = 2*t**2 - 17*t + 12. Let j be g(8). Solve -j*r - 3*w + 1 - 4 = 0, 1 = -3*r - w for r.
0
Let y = 3 + 0. Suppose v + 1 - y = 0. Suppose -v*u + 0*u = -4*a + 108, 27 = a - 2*u. Solve o + 5*w + 12 = a, -23 = -3*o - 4*w for o.
5
Let w(t) = -t**3 + 5*t**2 + t - 2. Let p be w(5). Solve -1 = -2*x + c + 6, c = -p for x.
2
Let b be 10/(-5)*(-1)/2. Let q be (-1 - -3)/((-1)/2). Let j be b/q + 63/12. Solve 4*h + j*r - 32 = 0, h + 0*r - 15 = -3*r for h.
3
Suppose -5*r - 2*y + 25 = 8, 0 = -r - 5*y - 15. Solve 0 = -r*l - 3*b - 24 + 4, 0 = l - 2*b + 4 for l.
-4
Let s = 6 + -1. Suppose 0*q + 2*q = -s*r, 0 = 2*r + 5*q. Solve m - g = 4, -3*m - 4*g - 10 - 6 = r for m.
0
Let z(b) be the first derivative of 2*b**3/3 + b**2/2 - 3*b - 4. Let j be z(-2). Solve m - 15 = -j*y, -y = m + m - 5 for y.
5
Let j be 30*-1*2/(-4). Suppose 3*s + l - 15 = -2*l, s = -2*l + 9. Let f be (-9)/(s*(-9)/6). Solve 0*o = -2*i - 4*o - f, -o - j = 5*i for i.
-3
Suppose -2*q = -6*q + 8. Suppose -4*z = 2*u - q, 14 = 3*u - 8*z + 3*z. Solve 0 = 5*y + u*m - 14 + 4, 4*y + 3*m = 11 for y.
-1
Let c be (-10)/10 - 5*-1. Solve -3*m - 2 = -2*w + 5, -w - 2 = c*m for m.
-1
Let t = 17 + -15. Solve 5*w - t*j = 14, w - 3*j + 17 = 3*w for w.
4
Suppose 72*m = 73*m - 5. Solve -m = 5*j + 2*d + 21, 4*j - d + 13 = 0 for j.
-4
Suppose 0 = 3*r + 12 - 18. Solve -r*s = -2*w - w + 10, -2*s - 4*w = -4 for s.
-2
Let u(r) = 4*r**2 + r - 1. Suppose 3*f + 0 = 3. Let y be u(f). Solve -y*j = -4*c - 8, 0 = 5*j - 10*j + 2*c + 1 for j.
-1
Let q be 2/8 - (-7)/4. Let h(z) = -3*z**2 + 1 + 141*z**3 + 2*z**2 - z - 140*z**3. Let f be h(q). Solve -7 = -3*n - f*j - 1, 0 = j - 2 for n.
0
Let n = -1 + -5. Let q be 9 + 1 + (n - -4). Solve 5*p - 10 = 0, -3*p + q = 5*z + p for z.
0
Let i be 4/10 + 66/(-15). Let d(o) = 2*o**2 - 7*o + 4. Let a be d(4). Let h = i + a. Solve -2*q + 6 = 3*g, -h*g + 1 + 0 = 5*q for g.
4
Let r(u) = -u + 10. Let h be r(0). Let j(w) = -w**3 + 5*w**2 + 6*w - 5. Let z be j(6). Let q = -3 - z. Solve 0*s - s = -5*g + 19, -2*g + h = q*s for s.
1
Let m(d) = -d**2 - 3*d + 7. Let i be m(-5). Let u = -3 - i. Suppose -3*r - 3 = 3*y, -4*r + 0*r - 5*y - 7 = u. Solve -4*z = -4*p - r*z - 14, -4*z - 12 = 0 for p.
-5
Suppose -2*r + 15 = r. Let f = 6 + -3. Suppose f*k = 4*k. Solve -2 = -x, 5*w + 5*x - r + 15 = k for w.
-4
Let n = 42 + -40. Solve 14 = -3*q - n*k, 0*q + 2*q = -5*k - 24 for q.
-2
Suppose -6*c - 4 + 34 = 0. Solve -4*a = -6*a - 5*i, 3*a = c*i - 25 for a.
-5
Let q = -19 + 32. Suppose -g - 5*v = -q, 2*g + 3*v - 5 = g. Let b = -6 - g. Solve 4*n + 4 = 3*u + 2*u, n + b = 0 for u.
0
Suppose 0*c - c + o = -2, -5*c = 2*o + 18. Let l be 32 + 0/(c - 1). Let q be (-2)/7 - l/(-14). Solve -8 = 4*d - q*i, 4*i + 16 = -0*i for d.
-4
Let i be (-2)/6 + 40/12. Suppose h + 5 - 9 = 0. Solve -f = -5*o + 14, -i*o + f = -h*o + 4 for o.
3
Let i be (-36)/21*21/(-6). Let m be 1/3 + 40/i. Let p(a) = -a + 11. Let r be p(m). Solve 0 = -w + r*w - 3*g + 12, -5*g = 5*w + 30 for w.
-5
Let d = -65 - -92. Let n be 453/d - (-2)/9. Suppose -87 = -5*r - n. Solve 4*q - 2*k + 20 = 0, -5*k = 3*q - q - r for q.
-3
Let m be (-1 + (0 - 2))*-4. Suppose 4*a - 9 = -4*p + 5*a, 3*p = -a + m. Solve 6*g - 2*g - 16 = -2*i, 2*i = -p*g + 12 for g.
4
Let z be (15/6)/(4/8). Solve -5 = n - 4, 5*x = -z*n + 10 for x.
3
Let v be (-22)/4*(-4)/2. Suppose -2*x = 2*x + 4*u, 2*x - 3*u = 5. Suppose -2*a + 0 = -3*m - x, -3 = -m. Solve c - a*j = -4, -5*c + 4*j - v = 9 for c.
-4
Let p = 55 - 51. Solve -p*m + 4*o - 6 = 6*o, m = -o for m.
-3
Suppose 5*f = 4*f + 2. Suppose 2*a = -l + f, -l + 1 = -5*a - 1. Solve -3*u - 5 = -5*t, l = 2*t + 7*u - 4*u for t.
1
Suppose 0 = 2*f + u + 9, -5*f = -2*f - 5*u - 19. Let m be f/(-4)*(-28)/(-2). Let x be -1 + 6/2 + 3. Solve -x*l + 3*o = 4*o - 7, -4*o = -l - m for l.
1
Let i(u) = 26*u**3 - 1. Let p be i(1). Suppose -4*n - 3*d = -p, 3*n + 2*d = -3*d + 5. Suppose 3*w = n - 1. Solve 4*r + w*l = 17, 8 = -2*r + l + 3*l for r.
2
Suppose 5*l - 2*l = 9. Solve 0*q + 12 = l*q, 3*g - 5*q + 14 = 0 for g.
2
Let s = -14 + 17. Solve -s*t = -2*a + 7, 0 = t + a + 3*a + 21 for t.
-5
Let f = -5 - -11. Suppose 0 = 4*d + f*r - r - 26, 3*r - 10 = -d. Solve 4*m = -5*z - 1 - 0, d*m = z + 5 for z.
-1
Let s be (4/6)/(4/18). Let y = 1 + s. Solve -y*j - 5 - 6 = r, 0 = 3*j - 2*r for j.
-2
Let q(a) = a**2 + 6*a + 10. Let c be q(-4). Let l be 2 + 1*8 - -2. Suppose p - 3 = u, 2*u - u - l = -4*p. Solve 6 = 4*v - 2*d + c, -2*v - 14 = p*d for v.
-1
Let x = 6 - 1.