-3
Suppose -1 = 2*u - 9. Suppose -2*p + 4*b - 6 = 0, -p + 5*b = u + 8. Solve 2*n + p*n = 25 for n.
5
Suppose 10 = -2*f, 0 = -4*z - 4*f - 8. Suppose n = -0*y - y - z, -25 = 5*n. Solve y*p = -3*p for p.
0
Let n(k) = 7*k**3 + 15*k**2 + 11*k - 5. Let y(l) = 11*l**3 + 23*l**2 + 17*l - 7. Let c(m) = -8*n(m) + 5*y(m). Let g be c(-5). Solve -4*i = -9*i - g for i.
-4
Suppose -6*g = -4*g - 6. Solve g*l + 5 = 2 for l.
-1
Let t = -15 - -17. Suppose -t = -g + 4*y - 14, g + 4*y = 12. Solve 0*s - 3*s = g for s.
0
Suppose 4*g - 7 = -t, 2*t + 5 = 2*g - 1. Let m = t - -1. Suppose -3*l = -0*i - i - 1, m = 4*l + 5*i - 33. Solve 7*r = l*r + 25 for r.
5
Suppose -5*f + 15 = -15. Let h = f - 3. Solve -6 = 5*a - h*a for a.
-3
Suppose -5*p + 13 = 3. Solve a - p*a - 4 = 0 for a.
-4
Let c = -10 + 10. Suppose -4*i + 4*r + 20 = 0, 4*i - 3*r + c = 17. Solve -v + i = v for v.
1
Let t = -76 + 78. Solve t*i + 5 + 5 = 0 for i.
-5
Suppose -4*z + 3 = -17. Let j(s) = -s + 7. Let c be j(z). Let n(p) = -p**3 + 2*p**2 + 5*p - 3. Let w be n(3). Solve c*a + 11 = w for a.
-4
Let b be 4/22 - 26/22. Let j be (b/3)/(5/(-30)). Solve j*v = -2*v + 12 for v.
3
Let x(u) = -6*u**3 + 2*u**2 - u. Let g(m) = 7*m**3 - m**2 + m. Let p(v) = -3*g(v) - 2*x(v). Let f be p(-1). Solve -f + 1 = 4*s for s.
-2
Suppose 0 = -8*s - 0*s. Suppose -2*w - 2 + 8 = s. Solve -w*k = -k - 4 for k.
2
Suppose -10 = -5*w + 2*i, 0 = -2*i - 10 - 0. Solve w*j = -j + 2 for j.
2
Let j = 10 + -16. Let n = j - -6. Solve 4*k + 4 = -n for k.
-1
Suppose 5*q - 3*q = 0. Let k(i) = 9*i**2 + i. Let d be k(-1). Let f = -4 + d. Solve q = f*u - 3*u for u.
0
Suppose -5*t = -11 - 9. Solve 2 = 2*h - t for h.
3
Suppose 5*q = 5*h, -h + 3*h - 12 = -2*q. Suppose 3*u - h = -a, 3 = -2*a + 5*u - 2. Solve a = 3*v - 2*v for v.
0
Suppose 13*y - 11*y = 0. Suppose y = 5*z - 9*z + 100. Let n(r) = -r**3 - 5*r**2 + 5*r - 2. Let c be n(-6). Solve c*b = -b - z for b.
-5
Suppose 7 = 5*m - b, -4*m + 15 = -m + 3*b. Solve -m*c - 8 = -2 for c.
-3
Let f = -4 + 6. Let q be f/6 + 2/(-6). Solve q = 2*x - 4*x + 2 for x.
1
Let f(k) = k**2 - 6*k + 4. Let i be f(4). Let v be 2/(-9) + i/(-18). Solve -c + v = -5 for c.
5
Let r = -18 - -34. Solve 0 + r = 4*l for l.
4
Let j = -8 + 5. Let t = 2 + j. Let k = 3 + t. Solve k*a = 4*a for a.
0
Let a be ((-25)/(-10))/((-1)/(-2)). Suppose 5*m - 114 = a*s - s, -2*m - 22 = s. Let u = s - -46. Solve q = -3*q + u for q.
5
Suppose 0*z + 2*z = 90. Suppose -k - 4*k = 5*l - z, -2*k = -l - 3. Solve 0 = k*m + m for m.
0
Let f be (2/(-4))/((-1)/30). Let p = -11 + f. Solve -c + p = 3 for c.
1
Suppose -2*t = -5*o + 39, -3*o + 28 = 3*t - 8. Solve 5*s = -o - 11 for s.
-4
Let f(z) = -2*z**2 + 3*z - 4. Suppose -5*d + 13 = -2. Let k be f(d). Let j = 18 + k. Solve q - j + 3 = 0 for q.
2
Let c = -29 + 30. Solve -4*o + c = 17 for o.
-4
Let p be (40/10)/((-4)/(-2)). Solve 0 = 4*a - p*a + 4 for a.
-2
Let j(u) = -u**2 - 7*u - 5. Let n be j(-5). Suppose -n*h + 8 + 4 = r, -2*r - 5*h + 14 = 0. Suppose r*g - 8 = -2*g. Solve -2*q + 6 - g = 0 for q.
2
Suppose -52 + 2 = -5*y. Suppose -1 = -i - 5*c - 6, y = i + 2*c. Solve -5*u + 0*u = -i for u.
4
Let j be (-135)/(-4) - (-3)/(-4). Suppose 3*d - 3*s = j, -5*s - 2 = -7. Solve -3*n - 3 = -d for n.
3
Suppose -4*q - 3*c = -17, 2*q - 4*c = -q - 6. Solve q*y + y - 9 = 0 for y.
3
Suppose 0 = -d - 20 - 0. Let r be d/6*6/(-4). Suppose -r*c + 2 = -n - 2, -5*n - c + 84 = 0. Solve 5*k - k = n for k.
4
Suppose -4 = -5*o - f, -2*o + f + 3 = -0. Solve t + o = -3 for t.
-4
Let u(n) = 3*n + 3. Let t be u(3). Let j(m) be the second derivative of -m**4/12 + 5*m**3/6 + 4*m**2 + 2*m. Let z be j(6). Solve -2*q - t = z*q for q.
-3
Let a be ((9/(-2))/9)/((-1)/10). Solve w - 2*w - a = 0 for w.
-5
Suppose 0 = f - 6*f + 10. Let t(u) = f*u + 8 - u - 2*u. Let s be t(4). Solve 0 = s*z - 0*z + 20 for z.
-5
Let l = -3 + 5. Solve 4*y + l = 14 for y.
3
Let i be (2/3)/((-1)/3). Let q be -2*(2 - (-3)/i). Let j = 2 - q. Solve -j*c = 2*c - 10 for c.
2
Let s(l) = 4*l - 5. Let g(v) = v**2 - v. Let b be g(-1). Let f be s(b). Solve -f*t - 8 = t for t.
-2
Let s = 15 + -9. Let l(c) = -c**2 + 2*c + 3. Let q be l(3). Let g = 12 - 8. Solve q = -s*r + g*r for r.
0
Let i be (13 + -3)/((-2)/4). Let x be ((-6)/(-4))/((-6)/i). Solve -9 = x*v - 2*v for v.
-3
Suppose -2 = -2*y + 16. Solve 3 = -4*u - y for u.
-3
Let z be (-88)/(-77)*28/2. Solve -6 = z*y - 19*y for y.
2
Suppose 0 = -0*k - 3*k - 6. Let t be (-8)/(-12) + k/3. Solve t = -5*j + 4*j + 5 for j.
5
Let l(i) = -i + 4. Let n be l(0). Suppose 0 = -4*g - b + 14, 0*b - 2 = -2*g - 3*b. Solve 3*j - n*j = -g for j.
4
Let a(x) = -x**2 + 7*x - 3. Let q be a(6). Solve -q*f + 0 + 3 = 0 for f.
1
Suppose -7*a + 17 = x - 2*a, 0 = -4*x + 3*a + 22. Solve -2*g = 9 - x for g.
-1
Let w(x) be the third derivative of -x**4/24 - x**3/2 - 2*x**2. Let q be w(-4). Solve 4 = -o + q for o.
-3
Suppose -18 = -3*d - 3. Solve -10 - 5 = -d*o for o.
3
Let w(g) = 3*g - 3. Let m be w(2). Solve -7*n - m = -4*n for n.
-1
Let b = 38 - 27. Let n = b + -8. Let w = -1 + n. Solve 2*h = -w*h for h.
0
Let d = -3 - -4. Let c = d + -8. Let w = -4 - c. Solve w*r - 7*r = 0 for r.
0
Let f = 77 - 57. Solve -2*p - 3*p - f = 0 for p.
-4
Let g be (51/(-36) + 2/(-8))*-3. Solve -20 = g*v - 10*v for v.
4
Let u = 16 + -5. Let g = u + -7. Suppose 0*l = -g*l. Solve -7*h + 3*h = l for h.
0
Let v(l) = l**2 + 6*l + 8. Let r be v(-6). Suppose -d - 12 = 5*m + 3, 0 = 4*d + 5*m. Solve -r - 7 = d*a for a.
-3
Suppose -10*j + 15 = -7*j. Suppose -a - 4 = -j. Solve 11 = -4*s - a for s.
-3
Let l(g) = -g + 9. Let n(p) = 2*p - 19. Let w(j) = 7*l(j) + 3*n(j). Let t be w(8). Let a = 3 - t. Solve -3*s + 8*s = a for s.
1
Suppose d - 3*h = 5*d + 23, -4*h - 26 = 3*d. Let r be (-1 - 3 - d) + 2. Solve r*x = 5*x + 15 for x.
-3
Let h be 3 + (4 + -2 - 2). Solve -2*t - h - 1 = 0 for t.
-2
Suppose -2*z - 2 = -3*z. Solve -z*c - c = -3 for c.
1
Let n(h) = -3 + 0*h**3 + h**3 + h + 0*h**3 - 8*h**2. Let m be n(8). Suppose m*s - 14 = -o, 0*s + o = -s + 2. Solve -s*b = b for b.
0
Suppose 4*q - 48 = j, 0 = q - j - 0*j - 9. Suppose -g + 10 = 5*i - 22, 3*i = 4*g - q. Let l be 19/7 - (-2)/g. Solve -l*z = z for z.
0
Suppose -5*n = -2*n + 5*w + 20, -5*w = 2*n + 20. Solve n = -4*b + 7 + 5 for b.
3
Let d be 7 - (-2 - -1)*-1. Solve -3*f + 0*f + d = 0 for f.
2
Let z = -5 - -4. Let q = z + 5. Suppose -q*t - 36 = -7*t. Solve 5*y = -t - 8 for y.
-4
Let k be (-1)/(8/6) - 405/(-60). Solve -4*x - 26 + k = 0 for x.
-5
Suppose 0 = a - 1, -6 + 2 = q - 4*a. Solve 2*c - c - 5 = q for c.
5
Suppose -2*o - 3 = -3*o. Solve -o = 3*f + 6 for f.
-3
Let u(g) = -g**3 + 5*g**2 + 5*g + 8. Let q be u(6). Suppose -k = -q*d + 6, 2*d = 4*d - 4. Let p be -2 - k*1 - -15. Solve -4*y + p = 3 for y.
3
Let i = 1 + -1. Suppose -2*q + 12 = -5*p, 3*q = 2*p - 7*p - 7. Let x be (0 + 1)/(q/3). Solve -x*n + 1 - 4 = i for n.
-1
Suppose 3*z + 18 = 66. Suppose 5*o = 41 - z. Solve o*s = 7 - 32 for s.
-5
Let o(x) = x**3 + 4*x**2 - 3*x + 15. Let y be o(-5). Solve 0 = -y*i + 5 + 5 for i.
2
Let b = 25 - 12. Solve 3*g + b = 4 for g.
-3
Let o = 7 + -10. Let f = 0 - o. Solve -f*c = -4*c for c.
0
Let z be 2/(7/((-21)/(-6))). Solve -4*b + 5 = z for b.
1
Suppose 3*d + 12 = 0, -3*s + d + 3*d + 22 = 0. Suppose -m + 4 - 2 = 3*u, -10 = -s*u - 5*m. Solve u + 6 = 3*c for c.
2
Let y = 21 + -15. Suppose y - 3 = -n, -5*n - 3 = 4*k. Solve -5 = k*b + 7 for b.
-4
Suppose -b = -0*b + 5. Let l = -3 - b. Let p(f) = -3*f**3 - 3*f**2. Let r be p(-2). Solve 0 = -g - l*g - r for g.
-4
Let d = 7 - 5. Let u(h) = h**3 - 5*h**2 - 5*h - 3. Let l be u(6). Suppose 5*k = l*k + 4. Solve -p - d = -k*p for p.
2
Let n be (-12)/10*80/(-24). Let k = n - -1. Solve -k*m - 5 = -0*m for m.
-1
Let i(r) = 3*r**2 - 1. Let l be i(-1). Let s(x) = -x**3 - 4*x**2 - 4*x - 3. Let y be s(-3). Suppose y = l*w - 4*w. Solve -2*q + 4*q = w for q.
0
Suppose c - 2 = -25. Let b = -70 - c. Let u = -32 - b. Solve 0 = 2*g + g + u for g.
-5
Let z be 57/(-6) - 2/4. Let j = z - -19. Solve 0 = k - 4*k - j for k.
-3
Let b(a) = 10*a**3 + 2*a + 1. Let g be b(-1). Let p = -5 - g. Let v be ((-2)/p)/(2/(-18)). Solve v*y = y for y.
0
Suppose q - 5*n = -3, -2*q + n + 2 = -n. Solve -5*j - q - 3 = 0 for j.
-1
Suppose -11 = -3*g + 25. Suppose -6*m - g = -30. Solve -m = 2*d + 5 for d.
-4
Let h = 1 - 1. Suppose -c + 2*b + 7 = h, -2*c + 