m**4/24 - 2*m**2. Let o be h(-4). Solve d = o*d for d.
0
Let w(t) = t**3 - 7*t**2 - 6*t - 6. Let q be w(8). Suppose 0 = 13*s - 9*s. Solve s*v - q = -2*v for v.
5
Let p = 0 + 2. Let m = 6 - p. Solve -2*i = -0*i - m for i.
2
Suppose -9*x + 9 = -6*x. Solve x = i - 2*i for i.
-3
Let t(u) = 2*u - 5. Let b be t(4). Let d be 2/(-7) + (-44)/(-7). Suppose d*z = z + 5. Solve -b*f - 13 = -z for f.
-4
Let p(a) = -9*a - 5. Let z be p(-1). Solve 0 = z*y + y - 15 for y.
3
Let w(m) = -m + 1. Suppose 5*a = 3*a + 2. Let q be w(a). Solve 0*y + 4*y = q for y.
0
Let c = -55 - -69. Suppose 2*l + 0*l - 12 = 0. Suppose -4*u + l = -c. Solve u*j + 16 = j for j.
-4
Let t(a) = a**3 - 6*a**2 + 2*a + 2. Let r be t(5). Let x = r - -20. Solve x - 16 = 3*f for f.
-3
Let m(y) = y**2 + 7*y + 4. Let s be m(-6). Let k = 7 - s. Solve 0 = -2*n - n + k for n.
3
Let q(u) = -2*u + 17. Let o(r) = -r + 8. Let p(h) = -7*o(h) + 3*q(h). Let s be p(9). Solve 0*b - s*b = 12 for b.
-3
Let k be (-4)/(-16) + 9/12. Suppose -3 = -u - k. Let y = 6 - u. Solve -y*x - 4 - 8 = 0 for x.
-3
Let d = -4 - -8. Suppose -d*q = q - 10. Suppose 0 = -0*l + q*l. Solve -s = -l + 2 for s.
-2
Suppose s + 9 = 4*s. Solve -k + 2*k = s for k.
3
Let c be (-10)/(-15)*((-6)/(-4) - 0). Solve d - c = 3 for d.
4
Let i = -1 + 3. Let f(a) = a**2 + 19*a + 22. Let v be f(-18). Suppose -25 = -h + 5*n, -h - 10 = 4*h + 2*n. Solve -v*s + 5*s - i = h for s.
2
Let a(j) = j**3 - j**2 - 2*j. Let g be a(2). Let t = -184 + 184. Solve -4*y + g*y - 20 = t for y.
-5
Let l be (-3 + 3)/(6 - 7). Solve -5*m + 5 = -l for m.
1
Let t(r) = -4 - r + 0 + 3. Let f be t(-5). Solve f*a = -a - 10 for a.
-2
Let u(z) = z**3 - 3*z**2 - 2*z - 5. Let m be u(4). Let d = 1 + -2. Let a(r) = -9*r. Let w be a(d). Solve 3*k + w = -m for k.
-4
Let m be 6/(-14) + 532/98. Solve -2*s + s - m = 0 for s.
-5
Suppose -5*t + 21 - 6 = 0. Suppose -4*i - i = 0. Suppose x = 3*x. Solve x*w - 3*w + t = i for w.
1
Let k = -3 - -12. Suppose -3*x + x = -12. Let v = k - x. Solve -4*g - 4 = -v*g for g.
-4
Suppose 6 + 4 = 2*y. Solve 7 = -y*x - 18 for x.
-5
Let p(w) = w**3 + 6*w**2 + 5*w + 3. Let h be p(-5). Suppose h*x - x = 6. Solve x*o - 5*o = 10 for o.
-5
Let u = 14 + -10. Solve u*z = -z - 10 for z.
-2
Let s = 10 - 7. Let a(c) = c**3 + 5*c**2 - 4*c + 18. Let m be a(-6). Solve 3 = s*t - m for t.
3
Let d be (-12)/9*(-18)/8. Solve 2*t + d = 7 for t.
2
Suppose -2*u - 3*u - 13 = b, -b + 2 = 0. Let f be -2 + 2 - (u - 12). Suppose 0 = 5*i + f, 4*m + 0*i - 6 = -2*i. Solve m*s + 4 = 4*s for s.
4
Let m(h) = h. Let p be m(3). Let f be 0/(-3 + 0 + 5). Solve f = t - p*t + 10 for t.
5
Let z(d) = -3*d - 6. Let h be z(-3). Suppose -i - 14 = -h*i. Solve -3*c + 8 = -i*c for c.
-2
Suppose -11*v + 616 = 11*v. Solve -6*f + 4 - v = 0 for f.
-4
Let m(d) = -d**3 - 6*d**2 + 5. Let u be m(-6). Let f = -1 + 1. Suppose f = 3*n + 2*r, 5*n - 3*r - 14 - 5 = 0. Solve -n*w + 15 = -u*w for w.
-5
Suppose -3 = 2*t + 9. Let c(a) = -a - 2. Let l be c(t). Solve 23 - 3 = -l*j for j.
-5
Suppose 5*d - 4*r = 15, 3*d + 7*r = 6*r + 26. Solve -d*m + 2*m - 5 = 0 for m.
-1
Suppose -4*j = 2*z - 4, -4*z = 5*j - 0*j - 2. Let d(h) = -2*h**2 + 3*h + 3. Let w be d(3). Let k be (-4)/(-6) + z/w. Solve -t + k = -2 for t.
3
Suppose -2*v + 3*t = 8, -11 - 7 = -3*v - 3*t. Solve 6*f = v*f for f.
0
Suppose 8*y = 4*y - 24. Let v be -2*15/y*1. Suppose 0 = v*x + 9 - 29. Solve 15 = -i - x*i for i.
-3
Let m(z) = -z**2 - 11*z + 3. Let g be m(-11). Let b be g/(-3 - (-33)/10). Solve 4 - b = -2*p for p.
3
Suppose p - y + 25 = 4*y, -p - 5 = -y. Suppose p = 4*s + d - 25, d + 1 = s - 4. Solve -3*o - 12 = -s*o for o.
4
Suppose 0 = d + 14 + 9. Let x = 32 + d. Let h = 21 - x. Solve t = -3*t + h for t.
3
Let w = -30 + 32. Solve 4*b - w*b = 10 for b.
5
Suppose 0 = -3*u + 5*x + 26, 2*u = 7*u - 5*x - 30. Solve -2*b - 4 - u = 0 for b.
-3
Let n = 21 - 24. Let x be -9*1*2/n. Solve b + x = -b for b.
-3
Let i be (-2)/(-1 + 0 - -2). Let y be (1/2)/(1/i). Let j be 8*(y + 3 - 1). Solve j*r = 4*r + 4 for r.
1
Let i = 16 - 16. Solve 3*c - 3 = -i*c for c.
1
Let u be (-5 - (-4 + 6))*-2. Solve 1 = -3*g - u for g.
-5
Let i(a) = a + 8. Let c be i(-4). Suppose -c*u + 2*u + 20 = -3*z, 0 = 5*u - z - 24. Let y = 9 - u. Solve -y*k = 3 + 12 for k.
-3
Let s(v) = -v**3 - 3*v**2 - 2*v - 3. Let o(r) = -r**2 - 7*r - 6. Let g be o(-4). Suppose -g = 2*f - 0. Let m be s(f). Solve -m*q = -q + 2 for q.
-1
Suppose 3 = -4*q + 5*t + 5, 0 = -5*t + 10. Solve -4*d + q*d - 2 = 0 for d.
-2
Suppose 5 = 5*b, -b - 8 = 5*x - 24. Let j = 2 + x. Let d be 4/2 + 1 - 1. Solve -d*n + j = -n for n.
5
Let l be (-8 + 10)*(1 - 0). Solve -3*k + l*k + 3 = 0 for k.
3
Suppose -4*b - 4*n = -12, -n - 1 + 2 = -b. Suppose -6*m = 5*f - 5*m - 28, 0 = 4*f + 2*m - 20. Suppose 0 = -q + f - b. Solve q*t + 19 = 4 for t.
-3
Let n = 2 - 3. Let w = -1 - n. Suppose 4*r - 8 - 4 = w. Solve -4 = -y - r for y.
1
Suppose -2*q + 2*u = -54, -3*q + 11 = -2*q - 5*u. Suppose 3*i - 3*k - 27 = 0, 3*i = 5*k + q + 4. Solve 10 = -i*z - 0*z for z.
-2
Let d be (-42)/(-6) - 1*3. Solve 0*v = d*v + 8 for v.
-2
Suppose -7*s - 5 = -2*s. Suppose 5*a - 3*x - 9 = 0, 2*x = -3*a + 4*x + 5. Let p be s + a/(3/2). Solve -p = 5*q + 24 for q.
-5
Let b = -6 - -13. Suppose 0 = -s + 3*a - b, 4*a = s - 7 + 19. Solve 0 = s*y - 3*y for y.
0
Let t be 2/2 - (-13 - -12). Solve -18 = 4*b + t for b.
-5
Let w be (4 - 4)*(-1)/(-2). Solve 0 = -w*x + 5*x for x.
0
Let a be (-6)/(-27) - (5 - 350/45). Solve 10 = -q + a*q for q.
5
Suppose -7*u = -4*u. Solve u = -4*j - j + 15 for j.
3
Suppose -18*i - 16 = -22*i. Solve b = -b + i for b.
2
Suppose 4*v + 3 = 5*v - 3*i, 4*v - 2*i - 2 = 0. Solve v*c - 3*c + 12 = 0 for c.
4
Suppose 2*k - 4*u = 26, -2 - 12 = -3*k + u. Solve 8 = k*o - 1 for o.
3
Let g(c) = -c**2 - 3*c + 3. Let j be g(-3). Let d be (1/1)/(2/8). Solve -5*h = -j*h + d for h.
-2
Let o(n) = n. Let b be o(3). Suppose b*r - r + 8 = 0, -2*u + r + 8 = 0. Suppose 3*y = 5*a - 4 - u, -y - 2 = 3*a. Solve a*k = k for k.
0
Let r be 4/3 + (-1)/3. Solve r + 7 = 4*d for d.
2
Let b(u) = -16*u - 1. Let t be b(-2). Solve 0 = -4*d - t + 11 for d.
-5
Let b(d) = -d + 15. Let l be b(4). Solve -l = -4*t + 5 for t.
4
Let w = 9 - 4. Suppose 4*u + j - 27 = -12, -w*u - j = -20. Suppose x = u*z, 4*x + z = -0*z. Solve 4*y - 4 = -x for y.
1
Let r be 2 + (2 - 4/1). Suppose 3*f + 2*u = 71, 4*f + f = u + 127. Solve r*w = -5*w - f for w.
-5
Let o = -19 + 21. Solve j - 2*j - o = 0 for j.
-2
Let a be ((-10)/(-4))/((-2)/(-4)). Let x(i) = -i**2 + 6*i + 4. Suppose -1 - 17 = -3*l. Let j be x(l). Solve -a - 15 = -j*k for k.
5
Let p(y) = y + 12. Let z be p(-7). Let g = z + -5. Solve 0 = -g*h + h + 3 for h.
-3
Suppose 0*f + 10 = f. Solve 3*x - f = x for x.
5
Let k = -72 + 74. Solve k + 2 = -4*i for i.
-1
Let k(q) = -q**2 + 4. Let a be k(2). Solve -p + 1 = -a for p.
1
Suppose 3*z - 3*w = 36 + 9, 85 = 5*z + 5*w. Solve 0 = -7*v + 3*v + z for v.
4
Let q be (1 + (-2 - -6))/1. Let d be q/(-3)*-3 + 0. Solve -d*x - 5 = -0*x for x.
-1
Let y = -12 - -13. Solve -y = a + 1 for a.
-2
Suppose 7*l = 11*l. Solve 12 = -l*h - 4*h for h.
-3
Let d be ((-16)/20)/(2/5). Let g = d + 5. Solve a + g*a - 16 = 0 for a.
4
Let i = -29 + 21. Let l = i + 8. Let o = -1 + 3. Solve -o*m - 10 = -l*m for m.
-5
Let b be (6/(-4))/((-27)/(-72)). Let f be b + 5 - (0 - -1). Solve 2*m + 11 - 1 = f for m.
-5
Suppose -q + 2*k - 1 = -2*k, 2*q + 4*k = 10. Suppose 9 = 2*t + q. Solve 4 = v - t*v for v.
-2
Let z be 2/(-10) - 48/(-15). Suppose z = 3*r + 3*t, t = 5*r - 7 + 2. Let i(d) = -d**2 - 3*d + 2. Let x be i(-2). Solve -5*q = x + r for q.
-1
Let i be 3/(-6)*(1 - 1). Suppose 2*t + 2*d - 6 - 4 = 0, i = 5*t + 2*d - 10. Suppose 3*q + 5*x - 11 = 6*q, 2*x - 8 = t. Solve -q*j + 4 = j for j.
1
Suppose -4*j + 14 = -2*j. Solve -20 = -2*i + j*i for i.
-4
Let a = 29 + -17. Let x = -2 + 5. Let s be 0 + -2 + x + 3. Solve -s*k + 7*k = -a for k.
-4
Suppose 10 + 2 = 3*z. Solve z*b + 6 = -10 for b.
-4
Let o(a) = -a**2 + 6*a + 5. Let d be o(6). Let u(z) be the second derivative of z**4/12 - z**3/2 - 3*z**2 - 2*z. Let m be u(d). Solve 0 = m*k - 3*k - 5 for k.
5
Let w be (10/(-5))/(2/(-12)). Suppose -2*u + 4 = -0*u. Solve -2*b = u*b - w for b.
3
Suppose 0 = -t - 0*t - 4. Let y be (-1)/t + (-62)/(-8). Let w be (y/(-6))/(4/(-6)). Solve w*g - 3 = 5 for g.
4
Suppose 4*z = -7 - 37. Let 