.
5
Let f = 4 + -2. Let p be (f/(-4))/((-2)/12). Solve -x - p = -2 for x.
-1
Let y be 9 - (3 - (-1 + 1)). Let b = y - 2. Let d = b - -1. Solve d*g = 4*g - 4 for g.
-4
Let b(k) be the third derivative of k**7/5040 - k**5/30 + 3*k**2. Let m(d) be the third derivative of b(d). Let n be m(2). Solve n*z = -2*z + 12 for z.
3
Let o = 28 + -20. Solve -o - 12 = -4*i for i.
5
Let q = 51 + -49. Solve 0 = -q*v - 1 - 3 for v.
-2
Let m be ((-30)/35)/(3/(-14)). Solve -3*p - p = m for p.
-1
Let s = -2 + 18. Suppose 7*x + s = 9*x. Solve 3*o + x = 2 for o.
-2
Suppose z - 20 = -3*z. Suppose -4*o - 3*s = -5*s - 14, 5*o = -3*s + 23. Suppose -2*m - 4 = -4*u, -4*m + 25 = o*u - u. Solve -z*t = -u*t - 2 for t.
1
Let z be (-3 - -7*3)/(-1). Let y = -17 - z. Solve -1 - y = -d for d.
2
Suppose -3*f + 4 + 5 = 0. Solve 5*k + f + 17 = 0 for k.
-4
Suppose 0*b = b - 2. Let k(g) = g**2 + 1. Let h be k(1). Let w be (h/3)/(2/15). Solve 3*q = b*q + w for q.
5
Let a be (0 - 2*-1)/(-1). Let b = a - -4. Let x = 3 + b. Solve 2*y - y = x for y.
5
Let o be ((-81)/(-36))/(6/8). Suppose 4*h - 3 = 5. Suppose 0 = -x + o + h. Solve -x*t + 3*t = 8 for t.
-4
Let u be (-10)/20 + (-2)/(-4). Solve a + u*a = 0 for a.
0
Suppose a + 3*a = 0. Solve a*m + 4*m = -20 for m.
-5
Let d(p) = p + 7. Let x(i) = 1. Let k(n) = d(n) + 6*x(n). Let f be k(-12). Solve z - f = -0 for z.
1
Let l(f) = f**2 - f - 4. Let s = 7 + -1. Let t = 9 - s. Let v be l(t). Solve 2*y + 0*y - v = 0 for y.
1
Let n(l) = 3*l - 1. Let a be n(-2). Let i = a - -7. Suppose i = -v + 5*v - 24. Solve -v*u + 20 = -u for u.
4
Let t be (-4)/(-18)*3*6. Suppose -2*j + 1 = -y, 3*j + 2*j = -t*y + 22. Suppose -5*i - 26 = -106. Solve -y*a + 7*a = i for a.
4
Let m be (-2*(-2)/(-4))/1. Let k = m - -6. Solve -i + 3 - k = 0 for i.
-2
Let b = -3 + 6. Solve -16 = -7*f + b*f for f.
4
Let o(m) = -m + 8. Suppose 0*i - 16 = -4*i. Let u be o(i). Solve -3*l - u = -10 for l.
2
Let p(h) = -h**3 - 16*h**2 + 18*h + 22. Let m be p(-17). Solve -17 - 3 = m*i for i.
-4
Let w(t) = -3*t**2 + 17*t + 6. Let s(x) = 2*x**2 - 9*x - 3. Let z(q) = 11*s(q) + 6*w(q). Let u be z(-2). Solve -u = 3*o + 2 for o.
-5
Suppose 5*k = 13 + 2. Suppose -g + 5 - k = 0. Solve 5*y - g = 6*y for y.
-2
Let o(s) = -s**3 + 2*s**2 + 1. Suppose 2*g + 4 = -3*z + 4*g, 0 = -4*z + 5*g - 17. Let j be o(z). Solve 0 = 5*p + j - 11 for p.
2
Let u(f) = -14*f - 1. Let y(p) = -p**2 + 3*p + 3. Let a be y(4). Let z be u(a). Suppose 3*w - 14 = z. Solve w - 1 = -4*n for n.
-2
Let u be (-1)/(-6)*-3*-10. Solve -u = -w - 0*w for w.
5
Suppose 0 = -q - 4 + 6. Let b be q/4 + (-3)/6. Solve b*m = 5*m for m.
0
Let c be -3*(3 - 0)/(-1). Solve -c = 5*o + 11 for o.
-4
Suppose -21 - 9 = 5*s. Let k = 9 + s. Suppose 2 = -3*n + k*h + 14, -3*n = -h - 16. Solve n*w = w for w.
0
Let w(y) = -y + 1. Let b be w(1). Suppose b = 4*a - 8*a - 4. Let c be (-1)/(a + (-3)/(-6)). Solve -5*f + 3*f = -c for f.
1
Let b(h) = 6*h**2 + 4*h + 2. Let t be b(-1). Solve -t*c = -3 + 11 for c.
-2
Suppose 0 = 7*z - z - 30. Solve 0 = -4*f + 3 + z for f.
2
Suppose -31*h = -27*h - 84. Solve -h = -5*j - 1 for j.
4
Suppose 0 = q - 0 - 3. Suppose -q*t = -5*d - 13, 11 = -0*t + 5*t - 3*d. Solve -u - 3 = t for u.
-4
Let f be -1*(-5)/(20/12). Solve -5*v + 4 = -f*v for v.
2
Let d = 3 - -1. Suppose p + 112 = 5*s + 1, -3*s = d*p - 62. Suppose -2*j + s = -0*j. Solve -j = -3*x - 2 for x.
3
Let y(r) = r**2 + r + 4. Let k be y(-3). Solve -5*x + 3*x = k for x.
-5
Let t = -17 - -40. Suppose 2 = 5*w - t. Solve -w*u + 4*u + 3 = 0 for u.
3
Let m = -6 - -4. Let r be (-7)/(-2) - 1/m. Solve 0 = x - r*x for x.
0
Let k be (28/6)/((-3)/9). Let c be -7*(20/k + 1). Solve 0 = -8*t + c*t + 20 for t.
4
Suppose 14*y = 9*y + 25. Solve -24 = y*h + 1 for h.
-5
Let f(z) = 5*z**3 - 2*z**2 - 2*z - 1. Let j be f(-1). Let g be (j/10)/(1/(-10)). Solve -g = -5*q - 21 for q.
-3
Let r = -2 - -14. Suppose -3*d - 4*a = -17, a + 5 - 4 = d. Solve d = 5*h - r for h.
3
Let z be ((-7)/(-2) + -3)*(3 - 1). Solve -q + z = -0 for q.
1
Let s(v) = 6*v - 10. Let o be s(3). Solve -3*b + 7 = -o for b.
5
Let y(a) = 3*a + 9. Let m be y(2). Solve 2*h = 5*h + m for h.
-5
Suppose 4*g - 2*g - 16 = 0. Suppose -5*s + 28 = g. Suppose -2*x = -5*i + s, -2*x - 3*i = 1 - 13. Solve 0*a + x = a for a.
3
Let h be (-30)/((-3)/6*3). Let p = -13 + h. Let l = 13 + -8. Solve l*s + 3 = -p for s.
-2
Let b = -24 + 17. Let f(p) = -2*p**3 - p**2 + 14*p + 17. Let w(z) = z**3 - 7*z - 9. Let l(t) = 6*f(t) + 11*w(t). Let a be l(b). Solve -d = -2*d + a for d.
3
Let g = 12 - 12. Solve 0 = c - g*c + 1 for c.
-1
Let k be (76/10)/(5/25). Let a = 63 - k. Solve -4*w - w = -a for w.
5
Let c = -8 - -19. Let z = -7 + c. Let p(n) = -n**2 + 4*n. Let s be p(z). Solve o = -s*o - 2 for o.
-2
Let j be 104/6 - (-4)/6. Let t(p) = -p**3 + 11*p**2 - p + 14. Let c be t(11). Suppose -4*h = -c*h - 2. Solve -4*a + h = -j for a.
5
Let a be 15/(-12) + 2 - (-63)/12. Solve -2*f - 2 = -a for f.
2
Let z = 12 + 4. Suppose -o - 3*o + z = 0. Solve -i - 25 = o*i for i.
-5
Let x be (1 + -1)/(0 - -2). Suppose -2*g + 5*f + 19 = x, -3*g - 4*f - f - 9 = 0. Solve 0*y = g*y - 10 for y.
5
Suppose 0 = -0*b - 3*b. Solve -t - t = b for t.
0
Let v = 130 - 120. Solve 3*u - 8*u + v = 0 for u.
2
Let l be (18 + -16)/(1/10). Solve 5*u + 0*u = -l for u.
-4
Suppose 4 = q - 0. Let i be 22/q - 4/8. Solve i*u + 25 = -0*u for u.
-5
Suppose c - 1 - 3 = 0. Solve -c*h = -h + 12 for h.
-4
Suppose 4*b - 3*b = 22. Solve -21*g + 3 = -b*g for g.
-3
Let i(a) = a**2 - 4*a + 4. Let s be i(3). Solve k + s = -0 for k.
-1
Let i be 4*3 + (-11 - -7). Solve 0 = s - 3*s - i for s.
-4
Suppose -c - c + 3*q = 8, 5*q = -2*c + 24. Let t = c + 23. Solve 6*z - z = -t for z.
-5
Let k = -7 + 7. Suppose -2*i - 2 + 8 = k. Solve 0*f = -f - i for f.
-3
Let y be (-4 - -6)*(-2)/1. Let b be (-12 + 6)*y/6. Solve -b*a + 10 = -2*a for a.
5
Suppose 5*x - 3 = 2*x. Solve -c = -0*c + x for c.
-1
Let h = 100 + -90. Solve 2*f + 0*f = h for f.
5
Let d(a) = -10*a + 8. Let b(r) = 3*r - 3. Let c(g) = g**3 - 3*g**2 - 2. Let y be c(3). Let l(k) = y*d(k) - 7*b(k). Let m be l(5). Solve 2*o + 1 + 5 = m for o.
-3
Let w be 10 - (-7)/(21/(-6)). Let m be (-29)/(-5) - w/(-40). Solve -10 = j - m*j for j.
2
Let c(b) = -6*b**3 - b - 1. Let j be c(-1). Let u = 2 + -1. Let l = u + -1. Solve l = -j*t + 2*t - 20 for t.
-5
Let t be (-1)/(0 - 1) + 2. Suppose -v - p - 8 = 0, -2*v + p = t + 1. Let k be 7 + v + 1/(-1). Solve 0 = -k*i + 7 - 3 for i.
2
Suppose 4 = j + 2. Suppose -j*f - 2 = -6. Let q be 1/4 + (-1)/4. Solve -t - t - f = q for t.
-1
Let a(h) = h**3 + 4*h**2 + 2*h. Let x = 21 + -24. Let z be a(x). Solve -z*j + 8 = -j for j.
4
Suppose -2*d = 7 + 19. Let k = -7 - d. Solve 4*i - 6 = k*i for i.
-3
Suppose 0*g + 6 = g. Suppose 0 = -w - 3*k + 6, w - 2*k + 4 = g*w. Solve w = 2*r + 2 - 12 for r.
5
Let q(o) = -56*o - 1. Let b be q(-1). Suppose -4*y = y - b. Let w = y + -8. Solve -j = -w + 1 for j.
2
Let f be ((-6 + 13)/(-7))/((-1)/5). Let k(p) = -p**3 - 2*p**2 - 2*p - 1. Let d be k(-2). Suppose -d*x + 2*m + 16 = x, x - 18 = 4*m. Solve f*z = x*z for z.
0
Let g be 2/(((-16)/(-12))/2). Solve -2*b = g*b for b.
0
Let j = 18 - 14. Suppose -4*n - f = j*f - 27, 4*n - 28 = -4*f. Solve -n = 3*w + w for w.
-2
Let o(a) = -22*a - 73. Let t be o(-4). Solve -t = 4*x - x for x.
-5
Let n(m) = -m**2 - 3*m + 1. Let p be n(-3). Let w = 1 - -2. Solve w*l - p + 4 = 0 for l.
-1
Suppose -3*d = 4*m, -5*d + 0*m = 2*m. Suppose -w = 3*j - 7, 3*w - 2*j - 10 = -d*w. Suppose l - r = -4*r + 17, 4 = w*l - 4*r. Solve 4 = -3*b - l for b.
-3
Let o be ((-12)/(-8))/(1/8). Suppose -1 - 7 = 2*t. Let a(v) = 2*v**2 - v - 4. Let u be a(t). Solve 4*g = o - u for g.
-5
Suppose 2*b - 4*h = -0*h - 22, -h = -2. Let n = b + 9. Solve n*y = -2*y + 8 for y.
2
Let n = -11 + 21. Suppose -3*m + n = -35. Solve m = -7*i + 2*i for i.
-3
Let c be (-48)/(-10) - (-3)/15. Let j = -3 + c. Solve j*a = 3 + 7 for a.
5
Suppose 0 = 3*b + 4*c - 3, -2*b + 2*c = 2*b - 4. Solve -2*l - 3 = b for l.
-2
Suppose -4*u + 17 = 1, -4*d - u + 60 = 0. Let t = -2 + d. Suppose 0 = -4*g + g + t. Solve -12 = -0*l - g*l for l.
3
Suppose -5*j = -15, 3*d - 3*j - 24 = -6*j. Suppose -1 + 18 = g + d*t, 0 = 2*t - 6. Let m = 6 - g. Solve -19 - 1 = -m*q for q.
5
Let v = 11 + -8. Suppose -3*l = 3, 2*i + 5*l = -2*i + v. Let t = i - 0. Solve -t*q = -0 + 2 for q.