1/(108/(-56) - -2). Suppose -4*i = -k + f, -i - i - 16 = -2*k. Solve -2*p - 4 + k = 0 for p.
1
Let z(s) be the third derivative of s**6/120 - s**5/15 + s**4/12 - s**3 - 2*s**2. Let q be z(4). Solve k + 3 = -q for k.
-5
Suppose 0*b + 4 = 2*b. Let t = -9 - -17. Solve -2*q - t = b*q for q.
-2
Let k = -32 + 32. Solve k = 2*m - 3*m for m.
0
Suppose -v + 2 = -18. Let f = -15 + v. Solve f*o + 13 = -7 for o.
-4
Let i(v) = -v**2 - 6*v. Suppose 3*u - 3*c + 12 = 0, u = 5*u + 4*c + 32. Let t be i(u). Solve t*g = 4*g - 4 for g.
1
Let a(j) = 3*j - 2. Let k be a(2). Suppose 5*v - v = k. Suppose -2*w = -v - 1, -4*t + 3*w = -5. Solve -4*u - 14 = t for u.
-4
Let n be 0 - -1 - (-3 - -2). Solve -2*l - n = -0 for l.
-1
Suppose -3*s = 3 - 9. Solve -6*p = -s*p - 20 for p.
5
Suppose 6*c = 10*c - 88. Solve -6 = -4*s - c for s.
-4
Let q be (13/39)/((-1)/(-6)). Solve 0 = -0*j - q*j for j.
0
Let w(h) = -h - 1. Let g be w(-1). Solve -5*b + 5 = -g for b.
1
Let g = 16 - -2. Let t = 12 - g. Let w = t + 9. Solve 0 - w = -3*j for j.
1
Suppose -5*b + 4*b = -6*b. Suppose -20 = -6*j + 2*j. Solve 8*z - j*z - 6 = b for z.
2
Let p = 18 + -15. Solve -5*t + p*t - 6 = 0 for t.
-3
Suppose 7 = 10*b - 3. Let y = 11 + -6. Suppose -y = -c - 2. Solve -c*h - 5 = b for h.
-2
Suppose 5*m - 6 - 2 = -4*c, 3*m = 0. Let z(r) = r**2 + 4*r + 3. Let a be z(-3). Suppose 2*i + w + 4 = 0, -16 + a = -2*i + 4*w. Solve i = -l + c*l - 5 for l.
5
Suppose 5*v - 2 + 22 = -5*k, -3*k = -3*v - 12. Let w be -1*(-3 + -1 + 27). Let n = -20 - w. Solve k*z = n*z for z.
0
Let d(w) = -w**2 - 6*w + 4. Let l be d(-8). Let b be 7/2 + 6/l. Suppose m + b*m = 0. Solve m*j - 2 = 2*j for j.
-1
Let i(l) = -l**2 - 14*l + 1. Let t be i(-13). Solve t = 2*o + 4 for o.
5
Suppose -o = 4*o. Suppose o = -0*u - 5*u + 45. Suppose 3*g - u = -c + 4*c, 9 = 3*g + 3*c. Solve 0 = -s - g*s + 4 for s.
1
Let h(p) = p**2 + p + 3*p - 2*p. Let s be h(2). Solve -s + 0 = -4*x for x.
2
Let b(p) = 5*p**3 - 7*p**2 + 2. Let s(q) = -4*q**3 + 6*q**2 - 2. Let v(n) = -5*b(n) - 6*s(n). Let f be v(0). Solve 4*i = f*i for i.
0
Let j be 2*1 + 0/4. Suppose 2*r + 0*o + o = 28, -r = 5*o - 32. Suppose -j*h + r = 2*h. Solve 6 = x + h for x.
3
Suppose -9 - 1 = -2*n. Let i be (12 + -10)/(2/n). Let p(x) = x**3 - 5*x**2 - 6*x. Let j be p(6). Solve -g - 4*g + i = j for g.
1
Let q = 1 - -3. Let t be q/(-1 + 15/18). Let v be (t/(-4))/((-6)/(-4)). Solve 6 = v*a - a for a.
2
Suppose -6 = -3*a + a. Let d be ((-6)/15)/(1/5). Let s = d + 2. Solve s*b - 9 = a*b for b.
-3
Let n be (4/(0 + 2))/2. Let a be 35/(-84)*3*-4. Solve f - n = -a for f.
-4
Suppose -2*f = 4*f - 12. Solve -1 = f*v - 7 for v.
3
Let g = 7 - 7. Let b = g - 0. Solve -3*z + b*z + 12 = 0 for z.
4
Let u(w) = -4*w - 3. Suppose -g + 6*g = -25. Let h be u(g). Suppose s - 2*s - h = 4*j, -s = -3*j - 18. Solve s*b + 0*b = 0 for b.
0
Suppose 6*t - 67 = 23. Solve q - t = -4*q for q.
3
Suppose 3*p - 4*t - 28 = -1, -5*t - 10 = p. Suppose a = p*a - 24. Let o be ((-3)/9)/((-2)/a). Solve -5*s = o + 14 for s.
-3
Let r(c) = c**2 + 16*c + 4. Let q be r(-16). Solve -2*u = -q + 14 for u.
-5
Let v(p) = p**3 + 5*p**2 - 6*p + 5. Let q be v(-6). Let x = 11 - 7. Suppose -5*r = -x - 6. Solve -i + r = q for i.
-3
Let a = 135 + -132. Solve a = -3*q - 3 for q.
-2
Let a be ((-2)/4)/(7/(-154)). Let w = 14 - a. Solve -w*d - 20 = d for d.
-5
Suppose 0 = -6*h + 3*h. Solve h*z = z for z.
0
Let s be 2/7 + (-4)/14. Suppose s = -11*u + 6*u. Solve -2*m + 5*m = u for m.
0
Suppose 2 = p + p. Let r = -9 + 13. Solve p = q - r for q.
5
Suppose -4 = -4*y + 2*z + 6, 0 = 2*y + 5*z - 35. Solve -y*o - 42 = -17 for o.
-5
Suppose -28 = 2*f - 168. Let k(b) = -b**3 - 8*b**2 - 6*b - 9. Let r be k(-6). Let u = f + r. Solve 4*n = -n - u for n.
-5
Suppose 0 = 2*b - 0*b - 5*c - 36, 2*c - 90 = -5*b. Suppose 3*l + 5*a - b = 4*l, -a + 6 = l. Solve 12 = -l*v + 5*v for v.
4
Suppose 4*l - 7*l + 30 = 0. Solve -l = -7*y + 2*y for y.
2
Suppose 0 = n - 2 - 0. Suppose 0 = 4*p - 22 + n. Solve 0 = p*f + 4 + 11 for f.
-3
Let v be (0 + 0 - 2)*-2. Suppose -i - 12 = -v*i. Suppose -5*n + 2*u = -0*u - 12, 4*n + 2*u - 6 = 0. Solve 0 = n*t - i - 0 for t.
2
Let t = 1 + 2. Let i be (4 + 1)/(6 - 5). Suppose -g - 5*o = 9, 0*g - 2*g - i*o + 7 = 0. Solve -k = t*k - g for k.
4
Suppose -2*w = -w - 6. Let j be w + -1 + 0 + -2. Let g = 9 - j. Solve -3*y = g + 6 for y.
-4
Let o = 0 - -3. Solve -10 = -o*m - 1 for m.
3
Suppose 0 = -4*u + u + 3*o + 3, 0 = -3*u + 4*o. Solve u*j + 0*j - 20 = 0 for j.
5
Let x = 3 + -1. Let s(z) = -z + 7*z + 4 + z**2 - x. Let i be s(-6). Solve -1 = -d - i for d.
-1
Suppose -5*t = 4*m + 17, 3*m - 8*m - 2*t = 0. Solve -m*n = 3*n for n.
0
Suppose 5*o - 17 = 4*l, -30 = -l - 4*l - 4*o. Let t(p) = p**2 + 5*p - 2. Let u be t(-5). Let m = l + u. Solve -4*x - 9 + 29 = m for x.
5
Let k(p) = p**2 - 58. Let y be k(8). Solve 5*o + y = 3*o for o.
-3
Let s(w) = 3*w**2 - 2*w + 3. Let t be s(3). Suppose 4*a - 4*i - t = 0, -4*i - 15 - 5 = 0. Suppose y = 2*x + a, 4*y - 2*x - 4 = -0*x. Solve -5*u + y = -19 for u.
4
Let k = -92 + 94. Solve 0 = -k*p - 3*p - 10 for p.
-2
Let l(u) = u + 2. Let t be l(-2). Solve t*s = -s - 1 for s.
-1
Let k(p) = p**3 + 3*p**2 - 2*p + 8. Let o be k(-4). Solve o*t = -5*t for t.
0
Let o(a) = 3*a. Let p be o(1). Suppose -5 = 5*b, -3*b + 6*b - 57 = -p*i. Solve 0 = -4*x + i for x.
5
Let i(v) = 4*v**2 + 8*v + 2*v**2 - 9 - v**2 - v**3. Let a be i(6). Let g be 3 + 4 + -3 + 6. Solve a*b - b = -g for b.
-5
Let n(y) = -y - 2. Let g be n(2). Let r = -1 - g. Suppose -x + 10 = 5*i, r*x + 3 = i + 33. Solve x = -5*a + 3*a for a.
-5
Let r be -3*(3 - (4 + 0)). Suppose 16 = -3*a + 7*a. Solve -y + r*y - a = 0 for y.
2
Let x(f) = -6 - f + 3 + 1. Let a be x(-3). Let c be (-4)/6 - (-16)/6. Solve -a = -y + c for y.
3
Let p be (-10)/(-6) - (-4)/(-6). Solve p = 4*o - 7 for o.
2
Let b = 0 + 0. Let h = 21 + -9. Suppose -h = 4*m - 32. Solve m*n - 15 = -b*n for n.
3
Let l(f) = 2*f**2 + 11*f - 3. Let s be l(-6). Solve q - 1 + s = 0 for q.
-2
Let k be ((-3)/(-4))/((-3)/(-12)). Suppose k*m = m + 4. Let r = 6 + m. Solve 0 = n - 3*n + r for n.
4
Suppose 0 = 3*a - 5*h - 21, -5*a + h = -0*h - 13. Solve a + 2 = 4*t for t.
1
Let t(o) = -o. Let n(p) = -2*p**2 - 3*p + 2. Let c(u) = -n(u) + 2*t(u). Let x be c(2). Let i be (x + -3)*6/5. Solve 2*h + 2 = -i for h.
-4
Let w be (0*3/9)/3. Let z be w/((2 + 0)/2). Solve z*x + 5*x - 25 = 0 for x.
5
Let c be -2 - ((-5)/((-15)/(-21)) - -3). Solve c + 8 = 2*o for o.
5
Let i = 181 + -269. Suppose 30 = -2*h + 7*h. Let m be (-2)/3 - i/h. Solve 1 = 3*z - m for z.
5
Suppose -m + 4*v = 8, -m + 2*v = -3*m + 14. Suppose 0*f - 6 = -3*f. Let y be 0/((3 + -1)/f). Solve m*a + 1 + 3 = y for a.
-1
Suppose 0 = -5*b - 1 + 11. Suppose d + 4*i = b, d - 5*d + 8 = 5*i. Suppose a - 14 = -5*v, d*a + 1 = 5*v - 1. Solve v*s - 5 = -13 for s.
-4
Let d = -12 - -18. Solve 0*w = -2*w + d for w.
3
Let y = 16 - 14. Solve -y*m = -3*m - 4 for m.
-4
Suppose -u - 7*y = -3*y + 17, -5*u + 5*y = -40. Suppose -5*j = -2*c - 12, u*c - 5 = -5*j + 2. Solve 3*b + j*b = -15 for b.
-3
Suppose 2*a + 5*u + 6 = 0, -3*a + 3*u = -6*a. Suppose a*h - 8 = -2*o, -h = -5*h + 8. Suppose 2*x = 6*n - 2*n + o, -4*x - 3*n = -15. Solve x*j = -j - 16 for j.
-4
Let x = 1 - -3. Let q(o) = o**3 - 4*o**2. Let r be q(x). Solve -3*d = -r - 3 for d.
1
Let u(n) = -n**2 - 14*n - 12. Let b be u(-12). Suppose 4*t - t - 2*k - b = 0, k + 20 = 5*t. Solve 7 = t*p - 9 for p.
4
Let c(a) = -a**2 - 10*a - 5. Let x be c(-9). Suppose 0 = -u + x*u - 6. Solve m + 2 = -u for m.
-4
Let h = 10 + -4. Let i = -3 + h. Solve -20 = 2*o + i*o for o.
-4
Let f be (-94)/(-12) + (-2)/(-12). Suppose -f - 4 = -4*x. Solve -2*i = x*i for i.
0
Suppose -2*b + 9 = s, 4*s - 1 = 2*b + 5. Solve -b = q - 0 for q.
-3
Let k = 4 + -2. Solve -2*a = k*a for a.
0
Suppose -5*d + o = -o - 15, -o + 5 = 0. Let x = -7 + 8. Solve -4*g + d = x for g.
1
Let g be (-2)/(-8) - (-150)/(-24). Let b(u) = u**2 + 6*u + 8. Let f be b(g). Solve 2*a + 0 - f = 0 for a.
4
Suppose 2*y = -2*i, 4*y - 4*i = 1 - 9. Let k be 2 + (y - 1*-2). Let j be 4/10 - 12/30. Solve -2*f + k*f + 4 = j for f.
-4
Suppose 3*n - q = -3*q + 2, 4*n - q - 10 = 0. Suppose 4*f = -2*v + n, -f + 5*v = -3*f - 11. Suppose -f*s - 3*s - 3*w = -10, -4*w = 0. Solve l = s*l for l.
0
Let m = -106 - -108. Solve 2*x = 6 + m for x.
4
Let z = 10