Let j(r) = r - 4. Let x be j(7). Solve 2*p + 1 + 1 = x*k, 4*k = 2*p + 6 for k.
4
Let s(b) = -2*b**2 - 3*b. Let g be s(-2). Let n(q) = q**3 - 4*q**2 + 3. Let i be n(3). Let t be (-3)/(-3)*g - i. Solve -4*y = -4*k - t, 4*y + 5 = 5*y for k.
4
Let d be ((-18)/15)/((-6)/100). Solve 5*z = 5*f - d - 20, f - 4*z = 23 for f.
3
Let f(d) = -d**3 + d + 29. Let r be f(0). Solve 2*c + 3*c + 3*o = -r, 2*o + 22 = -4*c for c.
-4
Let n = 3 + -3. Suppose n = -4*m - 3 + 7. Solve -13 = -4*t - i, 3*i - 2 - m = 0 for t.
3
Suppose 16 = 2*q + 12. Solve w - 3*j - 7 = -q, 0 = 3*j + 6 for w.
-1
Let x be 2/(10/(-15)) - (-7 - 1). Solve x*b + 5 = -0, 10 = -3*l + 2*b for l.
-4
Let z(u) = -u - 1. Let i be z(-12). Suppose 5*d - i = 79. Solve -5*b - d = -2*l + 15, 0 = -l - b - 1 for l.
4
Suppose 5*f + 25 = 3*o, o - f - 4 = 1. Let p(h) = 2*h + 22. Let v = 1 - 10. Let b be p(v). Solve o*q - 2*q - 4*l - 8 = 0, 2*l = b*q - 24 for q.
4
Suppose 5*c - 5*v = 4*c - 23, 0 = c - 3*v + 13. Let q be (8 + 2)/(1*c). Solve q*j = j - 3*r + 1, 3*j - 2*r = 22 for j.
4
Let w = 24 - 17. Let f be (w - 10)/(3/(-4)). Solve 3*v - 16 = -f*n, 0 = -6*v + v for n.
4
Let g = 157 + -153. Solve 4*f = -g*m + 16, 3*f = 5*f - 6 for m.
1
Let q = 24 + -11. Suppose -10 + 50 = 5*t. Suppose 0 = 3*b - t*b. Solve -5*m = 2*u - 23, -3*u + 2*m = -b*m + q for u.
-1
Let y = -24 - -44. Let f(v) = -v**2 - 8*v + 16. Let h be f(-10). Let j = y + h. Solve r - 2 = 0, 4*c - 3*r = r - j for c.
-2
Suppose 0 = 3*r - 2*z, 4*r + z = 2*z + 5. Let x be 0 + 0 + r*2. Solve x*q = q - o - 4, 4 = -q - o for q.
0
Suppose 0 = -3*l - 4*h + 84, -4*l + 106 - 4 = 2*h. Let s be 1/3 + 184/l. Let m = s + -2. Solve 0 = x - 3*v - m, -3*x + 3 = -4*v - 0 for x.
-3
Let x be (12/9)/(1/3). Suppose x*u = 7 + 1. Solve -u*z - 10 = -c - 0*z, c + z = -2 for c.
2
Suppose 3*t + 7 = -14. Let x be 8/1 + 14/t. Let o be -10*(3/x)/(-1). Solve -3*y = d + 7, o*d + 2*y + 0*y + 22 = 0 for d.
-4
Suppose 2*b + 3*v + 14 = -2*v, 5*v + 32 = 4*b. Solve -2*n + 18 = 4*a, 2*n - 2*a = -b*a + 6 for n.
1
Let g(x) be the first derivative of -x**3/3 - x**2/2 + 5*x - 12. Let w be (-2)/(-3) - 4/6. Let v be g(w). Solve n + 0*h - v = -2*h, -3*n + 3 = 3*h for n.
-3
Suppose m - 5*d - 10 + 2 = 0, d = m - 4. Solve 0 = -a + 2*w + 2*w - 12, -m*a = 3*w - 9 for a.
0
Suppose 0 + 9 = -3*w, -k - 5*w = 11. Let p be 3/1 + -2 - -15. Solve 1 = 2*d - k*z - 9, -d - p = 5*z for d.
-1
Let q be 1 - 0/(-2) - -9. Let m(r) = r**2 + 8*r - 3. Let a be m(-8). Let j be 2/a*(-15)/q. Solve 4*u + 9 = 3*w, -u - w = -j + 5 for u.
-3
Suppose 6*m - 20 = 4*m. Solve u + 5*d - 5 = 0, -3*u - 4*d + m = -u for u.
5
Let q be (-1)/((-21)/(-6) + -4). Solve -q*o + 7 = 3*f, -5*f + 2*o - 1 = -o for f.
1
Suppose -c = -z + 7, 13 = -5*z + 8*z + c. Suppose -3*q = -z - 4. Solve 0 = -2*y + 4*n - 18, 0*y - 16 = 2*y - q*n for y.
-5
Let q(b) = b**3 - 5*b**2 + 5*b - 5. Let u be q(5). Let x(v) = 5*v. Let o be x(1). Solve o*t + g = -g + 20, -5*t - g = -u for t.
4
Let v be (4/(-6))/(4/6). Let i be v/3 + 325/39. Solve 0 = -2*y - 3*m + 17, 3*y + 5*m = i*y - 5 for y.
4
Let p = -31 - -33. Solve -4*d + i - 19 = -p, 9 = -d + 5*i for d.
-4
Let c = 182 + -178. Solve 5*l = l - 3*t + 18, 23 = 5*l + c*t for l.
3
Let f(i) = -3 + 5*i + 3*i - 7*i. Suppose -x + q + 6 = 0, -3*q = -0*x + 5*x - 30. Let l be f(x). Solve -l*s + 3 = w - 1, -5*s + 5 = 0 for w.
1
Let k(f) = 10*f - 1. Let v be k(1). Let s = -3 + v. Solve -6*q + 2*q + 2*d + s = 0, 2*q - 4 = 2*d for q.
1
Let p(u) = u**3 + 5*u**2 - 7*u + 6. Let k be p(-6). Suppose -b = -4*b + 3*q + k, -4 = -b + 5*q. Solve -3*x - x = s + 3, 2*x = b*s + 12 for s.
-3
Let b(k) = k + 10. Let x be b(-9). Let w be x*3/3*0. Let z(u) = u + 8. Let l be z(w). Solve m = 4*g + 1, -g + 2*m + l = -3*g for g.
-1
Let o(c) = -7 - 3*c - 2*c + 0*c + c. Let x be o(-6). Solve -5*d = a - x, 0 = -2*a - d - 1 - 1 for a.
-3
Let o(g) = -g + 11. Let r be o(0). Let p be (-2)/(-8) + 79/4. Solve -p = 5*j, 4*j = 4*d + d - r for d.
-1
Suppose 0 = z - 2, -5*u + z = -2*u - 4. Suppose -w + 17 = -u*w - 5*k, -3*w = -5*k - 29. Solve 2*p + 15 = 3*m, 2 = m - w for p.
0
Let w = 8 - 6. Suppose 3*d = -2*s - 2, s + 2*s - w*d - 10 = 0. Solve 0 = 4*g + 5*v + 3 + 2, g + 2*v = -s for g.
0
Let z(h) = -3*h - 4. Suppose 0*b + 4 = b. Let f = b - 7. Let a be z(f). Solve 2*c + 11 = -a*j - 14, -3*j - 15 = c for j.
-5
Let f be (-4)/14 + (-32)/(-14). Suppose -2*v = -7 + 1. Suppose 8 = v*w + 2*q, q + 0*q - 4 = 0. Solve 3*i + 3 = -d, w = -4*d - 0*i - f*i + 8 for d.
3
Suppose -l - 3*l = -2*l. Let v(a) = -9*a - 2. Let o be v(-2). Solve r - b = 3*b + o, l = 5*r - 5*b - 35 for r.
4
Suppose 0 = -l + 2*l - 2. Suppose -k = l*k. Suppose k = -2*q + 2*i + 6, -6*q + 3*q - i + 9 = 0. Solve -q*j = -a - 1 - 10, -40 = -4*j - 5*a for j.
5
Let m(p) = 29*p**3 - 2*p**2 - p + 3. Let c be m(1). Solve -4*b = x - 13, 3*b - 3*x = -2*b + c for b.
4
Let x(c) = -c**3 - 3*c**2 + 6. Let z be x(-3). Solve 2*i = -4*q + z, q = 4*q + 3*i for q.
3
Suppose -4*o + 25 + 55 = 0. Solve 7*l + 20 = 2*l, -o = c + 4*l for c.
-4
Let u be 2/16 - (-12)/(-96). Suppose 0 = 3*p - 2*w - 3, -w + 15 = 3*p + w. Let i = p + u. Solve -i*a + 2 = -2*a, -5*a = -3*y + 5 for y.
5
Let m be (-20)/(-50) + 8/5. Solve 10 = -r + 4*h, -m*h + 5 = 4*r - 9 for r.
2
Let t be (0*(-2)/(-4))/3. Suppose 6*r - 53 + 11 = t. Solve -2*b + 3*f - 4 = 0, -3*b - f = f - r for b.
1
Suppose 0 = z - 0*z - 4*i + 9, -5*z = i - 18. Solve -l - 5*f + 4 = 0, -2*l = 10*f - 5*f - z for l.
-1
Let s = 14 - 13. Solve 0 = -4*u - 20, -4*u + s = m + 24 for m.
-3
Let n = -6 - -8. Let d = n - 2. Solve -2*f = d, f + 0*f + 5 = -z for z.
-5
Let k = -3 + 7. Suppose -3*g - 7 = -k*g + 2*b, -3*g = 5*b - 32. Solve -4*n = -f + g, 10 + 11 = -5*n - 2*f for n.
-3
Let k(y) = -2*y - 5. Let f be k(-5). Suppose 5*i = 18 + 7. Let j = f - i. Solve 0 = -5*v - 5*n - j*n - 5, 0 = 4*v + 5*n for v.
-5
Suppose 81 = 4*z - 2*d + d, -4*z = -4*d - 72. Let l = z - 17. Solve 0 = 4*b + 4 - 0, -g + 6 = -l*b for g.
2
Suppose u = -3*q + 3*u + 29, q + u - 3 = 0. Suppose 5*a = t - 22, -q*t + 12 = -3*t - a. Solve h - p = -5, t*p = -5*h - p - 1 for h.
-2
Suppose 5 = -g - 2*b, 6*g - 7*g + 20 = -3*b. Solve 2*j - g*x + 9 = 4*j, 3 = -j + 5*x for j.
2
Suppose -2*m - 3*k = 18, -3*m = -3*k + 13 - 1. Let w = 13 + m. Solve -11 = -t + 4*g + w, 26 = 3*t - 5*g for t.
2
Suppose 0*m + 1 = m, -5*m = 5*h - 70. Suppose -13 = -5*f + 7. Suppose 2*k - 12 + f = 0. Solve 0 = -j - j + k*r - 8, -5*r = -4*j - h for j.
-2
Let o = -7 + 10. Let r = o + -3. Solve -5*p + 2*x + 16 = -r*p, 0 = 3*p - 2*x - 12 for p.
2
Suppose 10 = 4*d + d. Let b(a) = a**3 - 3*a + 2. Let o be b(d). Solve 0 = -5*l + j - 6*j + 30, -21 = -5*l + o*j for l.
5
Let c = 13 + 21. Let d be (-3)/(-2)*1*2. Suppose -2*s = -5*s. Solve 5*n = 3*f - c, s*n - n + d*f - 14 = 0 for n.
-5
Let i = 5 - -19. Solve -4*y = a - 1, -2*a + i = 3*a + y for a.
5
Suppose 2 = 2*d - 3*d. Let b be (d/3)/(4/(-18)). Suppose 5*z - 6*z = -6. Solve 0 = u - z*l + b*l - 9, -8 = 4*u - l for u.
-3
Let c = 9 - 7. Solve 2*b - c*t + 2 = -2, -5*t = 3*b - 10 for b.
0
Let v = -5 - 4. Let p be v/(-5) - (-4)/20. Solve -2*t = 3*n + 13, 0 = -t + 4*n - p + 1 for t.
-5
Let p be ((-105)/14)/((-3)/(-4)). Let t = p - -16. Solve -12 = 4*g, 0 = 2*x - t*x - 2*g - 6 for x.
0
Suppose -9 = 4*p - 1. Let f be p/3*3*-5. Suppose 2*n = r + 5, 2*r - f = -2*n - 2*r. Solve 5*y + 16 = -n*g, 0*g = -5*g + 5*y for g.
-2
Suppose 0 = -3*n - 0*n + 117. Suppose -5*a + n + 21 = 0. Let v = a - 9. Solve -2*q = -l + 4, -3*q = -v*l + 4 + 5 for q.
-1
Let c(j) = j**2 + j - 2. Let q be c(2). Solve 4*u + 5*a = 4*a, 16 = q*u + 5*a for u.
-1
Suppose -5*b - 29 - 11 = 0. Let i = b + 11. Solve 3*y + 10 = -3*t - 11, 0 = -5*t + i*y - 3 for t.
-3
Let s be 2/(-4)*-6 - 7. Let u be (-2)/s*(-2 - -2). Solve -4*t - 8 = 0, 10 = -4*x - u*x - 3*t for x.
-1
Let d(k) = k**2 + k + 2. Let j(f) = 1. Let s(a) = -d(a) + 6*j(a). Let n be s(0). Solve 5*z - 12 = -n*h + 11, -4*z = -3*h - 6 for h.
2
Suppose 28 = 3*s + 2*j - 10, 70 = 5*s + 5*j. Suppose k - h = -2*h + 2, -5*k + s = h. Solve 4*v = 4*z + 28, -11 = -v + 4*z - k*z for v.
3
Let m(n) = 7*n**3 - n**2 - 12*n + 11. Let c(j) = 6*j**3 - 11*j + 10. Let l(x) = 6*c(x) - 5*m(x). Let u be l(-6). Solve -u + 2 = s, -4*i - 4*s + 4 = 0 for i.
4
Suppose -4 = 3*a - 19. Suppose 0 = -y + 2*y - 3. Solve -4*d + 4*p = 0, a = -y*d - p + 17 for d.