g*s for s.
0
Suppose 5*a + 4*j = 28, -5*a + 14 + 32 = -2*j. Solve 2*k + 0 = a for k.
4
Let y = 92 + -92. Solve q = -y*q for q.
0
Let c(w) = w**3 + 5*w**2 - 2*w - 6. Let k be c(-5). Solve -3 = -y + k*y for y.
-1
Let j(s) = 5*s**2 - 2*s - 1. Let m be j(-1). Let h be 3/m + 63/6. Solve 0 = -4*b - h - 5 for b.
-4
Suppose l - 6*r = -3*r + 1, -4*l - r + 17 = 0. Suppose -8*w = -l*w. Solve 5*v + w - 10 = 0 for v.
2
Let o = -1 - 0. Let q be (-3 - o) + 5*2. Suppose r - 2*y = -q, 4*r - 2*y = 1 - 3. Solve i - r*i = -2 for i.
2
Suppose 3*u - 36 = -0*u. Suppose -u - 5 = 4*r + 3*c, -4*r + c - 21 = 0. Let l = 13 + r. Solve -l = -m - 3*m for m.
2
Suppose 0 = -17*z + 12*z + 20. Solve -z*x = -x for x.
0
Let p(m) be the third derivative of m**5/60 - 7*m**4/24 + m**3/2 - m**2. Let n be p(7). Let r(y) = -y**2 - 6*y - 4. Let b be r(-5). Solve b - 4 = n*k for k.
-1
Suppose 0 = k - 1 + 8. Let j = 8 + k. Solve -1 - j = t for t.
-2
Suppose 3*z - 125 = -2*z. Suppose -2*p + 4*s = -24, 5*p - 2*s = 3*s + 40. Solve -p*x = x - z for x.
5
Let o be (2 - 5) + 8*(1 - -1). Solve -o = -4*x - 1 for x.
3
Let s be -1 + -1 + (-8)/(-2). Solve -s*f - 2 = 6 for f.
-4
Suppose 3*s = 11*s - 72. Solve -w + 4 = s for w.
-5
Let i(o) = o**2 - 3*o + 3. Let f be i(2). Let m(r) = r**2 - r + 1 + 3*r**2 - 1 + f. Let k be m(1). Solve t = k*t for t.
0
Let u(f) = f**2 - 7*f + 7. Let w be u(6). Solve 0 = -2*r + w + 1 for r.
1
Suppose 9*m - 4*m = -5. Let w be ((-3)/4)/(m/16). Solve 3*s - 3 - w = 0 for s.
5
Let l = 18 + -16. Solve 5*v = l*v - 9 for v.
-3
Let p be (-3)/(-3*1)*-11. Let o = p - -19. Solve -5*b = -o - 12 for b.
4
Let m be ((-5)/(-2) - 3)*-8. Suppose 3*n + 5*v = 2*n - 3, -m = 4*v. Solve 0*w = n*w for w.
0
Let a(y) = -y - 18. Let j(x) = x + 18. Let d(l) = -3*a(l) - 2*j(l). Let h be d(-15). Solve z = h*z + 2 for z.
-1
Let o = -9 - -14. Let f be (-24)/(-14) + 78/273. Solve f*u + 3 = -o for u.
-4
Suppose -2 = 2*h - 8. Suppose 17 = 5*c - 3*n, 3*c + 3*n = n + 14. Solve -2*f + h*f = c for f.
4
Let f = -90 + 92. Solve f*y = 6*y + 4 for y.
-1
Suppose -9 - 26 = -5*x - m, 3*m = -15. Suppose 2*f = 10 + x. Solve 2*d - f = -d for d.
3
Let o be 3/((-36)/(-26)) - (-10)/(-60). Solve 0 = -o*h - 2*h for h.
0
Let h(t) = t - 1. Let c be h(-4). Let i = -9 + 15. Let q be 1*i/(-3) - c. Solve 2 = -q*u - 7 for u.
-3
Suppose n = w - 4*w - 5, 3*n - 7 = 2*w. Let q be 3*-1*(w - -1). Suppose m - 10 = -x, 3*x = q*m + 21 - 3. Solve 2*j = -0*j + x for j.
4
Suppose 0 = 4*z - 4. Solve 2*t + 3 = -z for t.
-2
Let t(a) be the second derivative of -a**4/12 + 5*a**3/6 + 4*a**2 - a. Let w be t(6). Solve -2*g - 10 = -w for g.
-4
Let w(m) = -2*m + 15 - 6*m**2 + m**3 - m - 23. Let n be w(7). Solve -6*h - n = -2*h for h.
-5
Suppose 0 = 3*w - 3*l - 2*l + 14, -w = -5*l + 18. Let b be -1*(w + -7 - -1). Solve 0 = b*h + 3 + 1 for h.
-1
Let o(y) = -2*y - 1. Suppose -x + 3*f - 6 = -4*x, 4*x + 5*f - 11 = 0. Let m be o(x). Let w be 1*(-2 - -4)*m. Solve -3 = w*s + 1 for s.
-2
Let g be (-2 + 3)*0 + 2. Solve a + g*a = 0 for a.
0
Let y = 6 - 2. Let a(x) = -x**2 - 5*x + 8. Let c be a(-6). Solve 0*l + y = -c*l for l.
-2
Let x(v) be the second derivative of v**3/6 + 3*v**2/2 - 2*v. Let z be x(-6). Let u = 5 + z. Solve u*c = 3*c for c.
0
Let h(s) be the third derivative of s**4/24 + s**3/2 + 5*s**2. Let a be h(-3). Solve a = -0*k - 2*k - 4 for k.
-2
Suppose 5*n = 2*y - 14, -8*y = -3*y + 2*n + 23. Let u be 5 + (-3 - y - -1). Solve -u*d + 4*d + 4 = 0 for d.
2
Let a = -3 - -9. Suppose -10 = -2*c + 3*m + 2*m, 3*c - 4*m - 15 = 0. Solve c*w - a = 14 for w.
4
Suppose -4*h + 65 = 3*i, -5*h - 20 = -i - 2*i. Solve -d - i = -4*d for d.
5
Suppose -2*a + 14 = 5*z, 2*z - 2*a = 3*z + 2. Suppose -3*y = z*m - 9, -y + 1 = -2*y. Solve 16 = -m*k + 1 for k.
-5
Suppose 5*y - 2*y - 5*a = 29, 4*y + 4 = -4*a. Solve y + 2 = -x for x.
-5
Let y = -11 - -56. Let n = -20 - -22. Suppose -t = 5*o - y, -6 = -n*o + 3*t - 5. Solve -5*u - 33 = -o for u.
-5
Let b = 23 - 19. Let i = -4 - -7. Suppose h + b*r = 12, -i*h - 3*r = -6*h - 9. Solve h = -4*v - 0 + 4 for v.
1
Suppose 0 = 3*s - 5*s + 18. Suppose 0 = -3*q - s, -3*q - 6 = -3*j - q. Solve 5*c + 4 - 24 = j for c.
4
Let x = -51 + 55. Solve x*n - 3 = -15 for n.
-3
Suppose 5*g + 6 = -4*i, g = i + 3*i - 6. Let c be g*1 - (-8)/4. Solve 5*l = -c*l - 20 for l.
-4
Let o(x) be the second derivative of x**3/6 - 3*x**2/2 - 2*x. Let g be o(6). Solve v + 4 = g*v for v.
2
Let d = 0 - -2. Solve -18 = -4*h + d for h.
5
Suppose -2*l - 5*j + 17 = 0, 0*l = -3*l - 2*j + 31. Let r = l + -3. Solve r + 1 = 3*s for s.
3
Let l = -9 + 0. Let z be (-2)/(-9) + 2/l. Let r(t) = t**3 + t**2 + 5. Let d be r(0). Solve 0 = -z*m - d*m + 25 for m.
5
Let b(m) = -m**2 - 6*m + 10. Let p be b(-7). Solve -p*z + 13 + 2 = 0 for z.
5
Suppose -5 - 1 = 3*u. Let t be ((u - -1) + 0)*-2. Solve 2*w + t - 6 = 0 for w.
2
Suppose -3*p = p - 8. Solve -2*d = 6 + p for d.
-4
Suppose 8*g = 5*g + 18. Solve 5*b + g = -19 for b.
-5
Let x(d) = -d**2 - 3*d + 1. Let t be x(-2). Solve -j = t*j for j.
0
Let m(t) = t + 4. Let x be m(-6). Let l be ((-1)/x)/(3/24). Suppose -10 = -4*o + 2*d, l*o + 3*d = -d + 4. Solve 4 = o*f - 4*f for f.
-2
Suppose -5*g = -2*g - 12. Solve -5*i + 6 = -g for i.
2
Let s = 22 + -15. Let c = s + -4. Solve 2 = k + c for k.
-1
Let x = 0 + 2. Let c = x + -2. Suppose c*f + 1 = f + 3*o, 0 = -4*f - 3*o + 31. Solve 2 - f = 4*i for i.
-2
Let z(b) = 2*b - 28. Let v be z(12). Let m = 4 + v. Solve m*u + 4*u = -8 for u.
-2
Let j be (-2 + 0)/(4/(-8) + 0). Solve -r + j*r - 3 = 0 for r.
1
Suppose 4*u - c - 28 = 3*c, -3*u = c - 9. Solve u*f = -f - 15 for f.
-3
Let l be 5/1 + 1 + -2. Suppose -18 - 12 = -3*g - 3*u, 0 = -l*g - u + 25. Let t be g + -1 + (-2)/(-2). Solve 15 = t*a - 0*a for a.
3
Suppose 5 + 1 = o. Solve a = o*a - 20 for a.
4
Suppose 3*z + 28 = 4*a - 3*a, 3*a = 2*z + 14. Let w = z - -22. Solve 8 + w = -4*y for y.
-5
Let k be (2/3)/((-1)/3). Suppose -3*x = -1 + 7. Let t = k - x. Solve 2*j + 2 = -t*j for j.
-1
Let k(f) = -f**2 - 3. Let y be k(0). Let j = y - -16. Solve 4*q - 1 + j = 0 for q.
-3
Let m be (5/10)/(1/(-8)). Let y(i) be the second derivative of -i**3/3 - 5*i**2/2 + i. Let n be y(m). Solve -2*b + n = -1 for b.
2
Let u = -27 - -30. Solve -3 = u*t + 9 for t.
-4
Suppose 0 = 4*f - 6*f + 4*j - 4, 0 = 2*f - j + 1. Let c be 1 - 2*(-2)/4. Let q(y) = y**2 - 3*y + 2. Let t be q(3). Solve -t*k - c*k = f for k.
0
Let u(l) = -l**3 - 2*l**2 + 3*l + 3. Let y be u(-3). Suppose 8 + 1 = y*s. Solve -3*w + 6*w = -s for w.
-1
Let j(o) be the second derivative of 0 - 1/2*o**2 - 1/12*o**4 + 1/6*o**3 + o - 1/20*o**5. Let h be j(-2). Solve 9 = -5*q - h for q.
-2
Let j(v) = v**3 + 4*v**2 - v - 4. Let f be j(-4). Let z(h) = 1 - 5*h + f*h + 0. Let x be z(-1). Solve y = 3*y + x for y.
-3
Suppose -2*l + 23 = 5*g, 5*l - 3*g - 2 = 9. Solve l*x + 16 = -0*x for x.
-4
Let v(s) = s**2 - 10*s + 10. Let p be (-84)/(-9) + (-1)/3. Let c be v(p). Solve -3*o - 2 = c for o.
-1
Let b be 1/(-2)*(13 + 1). Let o = -5 - b. Solve 4*x - 6*x - o = 0 for x.
-1
Let w(b) be the first derivative of -2 - 1/2*b**4 - 2/3*b**3 + b + 1/2*b**2. Let x be w(-2). Solve -x*j = -2*j for j.
0
Let p = 1 - 1. Suppose 0*o - 4*o - 4*s = 0, 0 = 3*o - 2*s - 20. Suppose -o - 20 = -3*h. Solve 4*j - h = -p for j.
2
Let v be -2 - ((4 - (-3 + 3)) + -8). Solve v*b - 16 = -2*b for b.
4
Let p be (-34)/(-9) - (-12)/54. Suppose -r = -5*r + p. Suppose 0 = u - h - r, 4 = 4*u - 5*h + 2. Solve -u*z - 5 - 1 = 0 for z.
-2
Let b be 7 - (1 + -2 - -4). Suppose 3*n = 2*n + 3. Solve -v + n = b for v.
-1
Let n be (-1)/(-2)*2*4. Suppose n*m - 6*m - 3*u = -19, -2*m + u - 1 = 0. Suppose -s = -6 + 3. Solve 0 = -s*z - m*z + 10 for z.
2
Let u = 33 + -14. Suppose 5*q = -3*b - 4 + u, 15 = 5*q + 2*b. Suppose 5*d - 4*n - 4 = 0, -6*d + 3*d + 2*n = -2. Solve d = -z + q*z - 10 for z.
5
Let v(t) = t**2 - 4. Let z(u) = -u**2 + 3. Let a(b) = -5*v(b) - 6*z(b). Let n be a(2). Solve n*c - c = -15 for c.
-3
Let p = 17 - 9. Let i be 4/p - 2/4. Solve i*v = 4*v + 4 for v.
-1
Let n = 5 + -6. Let v = n - -3. Solve -v*a - 12 = a for a.
-4
Let z be 245/77 - (-2)/(-11). Solve -2*j = -z - 1 for j.
2
Let b = 4 - 2. Suppose -2*r - b = -r. Let f be -4 - r - (3 - 11). Solve 0 = f*k - k - 25 for k.
5
Let n = -15 - -25. Suppose -n - 2 = -2*s. Solve -2 = 4*o - s*o for o.
1
Suppose 2*k - 5*z + 7 = 0, 3