y + g*c for y.
-1
Let z(r) be the first derivative of r**4/4 - 3*r**3 + 5*r**2 - 12*r + 3. Let v = -21 + 29. Let w be z(v). Solve 3*k = 5*b - 28, -9 = -4*b + w*k + 15 for b.
5
Suppose -8 = -5*b + 12. Let j(i) = -i**2 + 3*i + 2. Let x be 2 - (-3)/(6/2). Let p be j(x). Solve b*d = 4*z - 3*z - 9, -6 = p*d for z.
-3
Let d(g) = -g**3 + 7*g**2 - g + 15. Let f be d(7). Suppose -f = -5*v + 17, 80 = 5*w - v. Solve -8 = s - 5*i + w, 2*s + 4*i - 6 = 0 for s.
-5
Let z(a) = 2*a + 41. Let r be z(-14). Solve 0 = -3*v + 4*l - 2 - r, 5 = -v - 4*l for v.
-5
Suppose -5*k = a, -2*a + 0*a + 3*k = -39. Solve 0 = 4*p - w + 9, 0 = -p - p - 3*w - a for p.
-3
Let x be 0 + (7 - 2) + 3. Solve x = -2*l, 5*z + 10 = 2*z - 4*l for z.
2
Let l = -31 - -45. Solve k + 1 = -1, 2*u + l = -2*k for u.
-5
Let s(g) = -g**3 - 18*g**2 + 2*g + 39. Let v be s(-18). Solve 5*n = -5*h - 10, -v*h - 5*n = -4*h + 22 for h.
2
Suppose -20*g = -19*g - 7. Solve 3*a + 0*d - 1 = d, 0 = a - 2*d - g for a.
-1
Let o be (-864)/(-208) - 4/26. Suppose 0 = 4*s - 12, -4*m + 2*m - 5*s = -21. Solve -o*u = -m*h - h, -2*u = 0 for h.
0
Suppose -3*k = 4*h - 30, 5*k = 3*h - 6 + 27. Suppose s - 3 = g, 3*s - k = -g + 3. Solve -4*w = -4*y + 3*y + 23, g = -4*y + 12 for w.
-5
Let w be (-1*1)/(5/(-40)). Suppose 0 = -2*m - 2 + w. Solve -2*f = m*i + f + 3, 0 = -i + 4*f + 24 for i.
4
Suppose -3*s + 8 = -2*s. Solve -22 = -2*x - 0*x - 3*c, -3*c - s = -4*x for x.
5
Suppose 0 = 2*b + 3*b - 15. Let z(k) = k**2 + 2*k + 1. Let o be z(-2). Solve -5*d - 9 = -4*n, 0*n = -b*n - 4*d - o for n.
1
Let v be (-679)/(-133) + (-6)/57. Suppose t - 8 = -0*t. Solve r + v*x = 10, -6*x = -2*r - 2*x - t for r.
0
Let p = -6 + 9. Let t(r) = -r**3 + 9*r**2 - 7*r - 4. Let k be t(8). Solve -6*q = -p*x - 3*q + 3, 4*x = -k*q + 12 for x.
2
Let n(o) = -o**3 + 3*o**2 + 4*o. Let s be n(4). Let m be 2 + ((-2)/1 - -2). Let y = m - -13. Solve 0 = -3*k - 2*d + y, 4*k + s*k - 18 = -2*d for k.
3
Suppose 0 = -4*u - 4, -5*h - 7 = -2*u + 4*u. Let i = h - -7. Suppose 2*b + 2*d - 7 = 1, b - i = d. Solve 4*v + 3*p - 2*p + 15 = 0, 4*p - 24 = b*v for v.
-4
Let d = -4 + 4. Let i = d - -3. Suppose 6 = i*q - 6. Solve 0*u = 3*u - q*f - 22, -2*u + 3*f + 16 = 0 for u.
2
Let z be -1*(2 - 16) - 3. Let o = z + 13. Solve -4*h - 20 = 4*x, 0 = 4*h + 6*x - x + o for h.
-1
Let z be -2*(-6)/(-12) - -7. Solve 4*s - z = -2*n, 4*s = s - n + 7 for s.
4
Let g be (20/(-6) + 3)*-15. Solve 0 = 4*d - t + g, -2*d - t = -7*d - 5 for d.
0
Let g = 10 - 5. Let s(v) = 5*v - 2. Let k(d) = -21*d + 8. Let w(l) = 2*k(l) + 9*s(l). Let r be w(2). Solve -r*f + 4*j = 4, 6*j = g*f + 2*j + 5 for f.
-1
Let p be ((-16)/(-4) - 3) + 39. Solve -3*k + 2*w + 1 = -1, 5*k - p = -4*w for k.
4
Suppose 0 = -6*b + 9*b - 45. Suppose -3*u - 2*u + 100 = 0. Solve q - 5 = 4*h + b, -u = 4*h for q.
0
Let z(n) = -n - 2. Let u be z(0). Let o be (9/6)/(u/(-4)). Solve 11 = -p + l - 4*l, -5*l - 23 = -o*p for p.
1
Let k = 7 + -12. Let p(r) = r**3 + 5*r**2 - r + 4. Let q be p(k). Suppose -a - f = -0*f - q, -3 = -f. Solve -a = 2*m, 2*o + m + 10 + 3 = 0 for o.
-5
Suppose -16 = 10*d - 14*d. Solve 0 = 6*a - 2*a - d, -5*u = a - 21 for u.
4
Let q be (-185 - 0)/((-6)/24). Let t be q/44 - (-2)/11. Solve -5*o = -0*o - 3*f - 25, -t = 4*o + 5*f for o.
2
Suppose -i = -5*j + j - 4, -3*i - 5 = 5*j. Let y be j - (-2)/(2/47). Let h be (1/1)/(2/y). Solve 7 - 28 = 3*l - 3*t, -h = 5*l + t for l.
-5
Let o be 1/(11/5 - 2). Let s(m) = m**3 - 3*m - 2. Let a be s(-1). Suppose -3*h + 8 = k, h - 5*k + 24 = -a*h. Solve 3*b - h = 4*r + o, 0 = -2*r - 6 for b.
-2
Suppose 7 + 9 = -2*g. Let n = -6 - g. Solve -27 = -5*t - f, -f - 2 - 6 = -n*t for t.
5
Suppose 0 = -4*r + 6 + 18. Suppose j - r*j = -15. Suppose -j*z - 3*a + 8*a - 8 = 0, z = a. Solve u = -z*f + 2*u - 5, -5*u - 17 = f for f.
-2
Let x be 5 + (4 + -4 - 0). Solve -q + x = 0, 2*g + 1 + 30 = 5*q for g.
-3
Suppose -d + 1 = -2. Solve -7*m - 3*k - 19 = -d*m, -5*m = 5*k + 30 for m.
-1
Suppose -4*o = -2*o - 6. Solve -4*u = 5*h + 9, -h = 5*u + o + 3 for h.
-1
Suppose 0 = 5*w - 2*w - 12. Solve -22 = -h + w*j, -4*h - 3*j - 3 = 4 for h.
2
Let d = 23 + -32. Suppose 5*f = 2*s - 8, -3*f - 17 - 19 = 4*s. Let x be 9/s*12/d. Solve v - 1 - 4 = -o, -x*v + 3*o = 15 for v.
0
Let q(d) = -d**3 + 4*d**2 + 5*d - 1. Let w be q(5). Let r(u) = -4*u**3 - u**2. Let y be r(w). Solve -y*o - 3*c - 2*c = 9, 0 = 2*o - 3*c + 6 for o.
-3
Let t = 180 + -121. Suppose -3*z + 4*z - 4 = 0. Suppose 4*u = 5*m - t, 76 = 4*m - 0*u + z*u. Solve 5*k + 5*f + 11 = f, 5*f + m = -5*k for k.
1
Suppose -3*y + 5 = 26. Let r = y + 19. Suppose 4*s - r = -0*s. Solve -s*c - 35 = 5*z, c - 4*z = -c + 6 for c.
-5
Suppose 5*t = -234 - 291. Let u be (-2)/15 + (-224)/t. Solve -5*f + w + u = 0, 5*f + 2 = -5*w - 8 for f.
0
Suppose 3*c + 2*c = 2*q - 23, 3*q + c = 9. Let x be ((-256)/8)/(-8) - (1 + 0). Solve -x*s = 2*s - 3*a + q, 15 = 5*a for s.
1
Suppose 2*x - 1 = 15. Let g be -2 + -1 + 56/x. Solve 5*c = l + 23, -5*c + 24 = -2*c - g*l for c.
4
Let c = 22 + -22. Suppose c*d = -5*d + 25. Let l = 4 + 0. Solve -o + 8 = -3*i + d*i, -l*o + 17 = 3*i for i.
3
Suppose 4*q - u = -4*u + 31, -5*u = -5. Let i be (-6)/15 + 27/5. Let r = 8 - i. Solve x + y = -2*y + q, r*x = -2*y for x.
-2
Suppose 6 + 6 = 4*t. Suppose 3*g + 4*q - 1 = 0, g + t = -2*q - q. Solve g*k + 16 = 2*z, 2*z + k - 8 = -0 for z.
5
Suppose 3*m = 7*m + 24. Let q be m/6 + 3*1. Let i be (-1 - -5 - 1) + q. Solve -i*a + 3*y - 8 = 0, -5*a = y - 2 + 6 for a.
-1
Let p be (1 + 2)*2/(-15)*-10. Solve 5*m - 30 = -p*o, m - 8 = 2*m - 2*o for m.
2
Suppose 4*n = -5*x + 3*x + 28, 4*n = 16. Suppose -20 = -5*y, -q = -2*q - y - 15. Let r = -14 - q. Solve -5*k - 18 = -4*v, -r*v + k = x*k for v.
2
Let o(j) = -5*j + 2 + 5*j**2 + j**3 - 3*j**2 + 2*j**2. Let s be o(-5). Solve -3*z - 4*y = -9, -z + s*y = 2*z - 9 for z.
3
Let i be (8/6)/(18/27). Solve -4*l - i = 2*a, -5*a = 7 + 8 for l.
1
Let t be (-2)/((-5)/((-150)/4)). Let z be (-1)/((-1)/1) - t. Let v be 6/(-5)*(-40)/z. Solve -4*u - 27 = v*x, 0 = u + 3*u - 2*x + 2 for u.
-3
Let l = 5 - 2. Suppose -4*p + 19 - l = 0. Solve -o = -6*o + c + p, 3*c = -12 for o.
0
Suppose -3*a + 45 - 9 = 0. Solve -2*i - h = a, 33 = -3*i - 2*i - 4*h for i.
-5
Let w = 2 + -3. Let p(u) = 4*u**3 + 12*u**2 - 6*u**3 - 12*u**2. Let d be p(w). Solve -d*c - 4*s + 1 = -c, 2*c - 2 = -5*s for c.
1
Let b(q) = -q + 10. Let t be b(8). Suppose 5*n = 12*a - 17*a - 10, -2*n + 2 = -a. Solve t*k - 4*i = 4*k, n = -k - 4*i - 2 for k.
2
Suppose 3*q + p = -0*q + 8, 4*p = 8. Let g(z) = q + 2*z + 0*z**2 + 4*z + 1 + 2*z**2. Let s be g(-4). Solve k = 4*k - 4*a - 3, 3*a + s = 4*k for k.
5
Suppose -h - 3*x + 6 = 0, 3*h - x = 3*x - 8. Let b be 2*(-1)/2 + h. Let q = 5 + b. Solve 8 = -q*o - 3*l, 7*o = 4*o - 3*l - 9 for o.
1
Let x be (2 + (-21)/9)*-6. Let s = x - 0. Suppose 18 = l - s*q, 2*q = 3*l - 2*q - 52. Solve -2*y - 2*k + 8 = 0, y + 4*k - l = 2*y for y.
0
Let q = -9 + 20. Suppose 0 = -2*f - 5*n + 52 - q, n - 13 = -f. Solve 3*g - f = -4*m, g + 5*m = m for g.
4
Let v = -22 - -25. Solve 3*k - 7 = -f, -5*f - 5*k + v - 8 = 0 for f.
-5
Let x be (6 - 1) + -1 - -1. Suppose -4*t - 9 = 3*n, 0*n - n = 2*t + 3. Let d = t + x. Solve -2*w = q, -4 = d*w + 1 for q.
2
Suppose -21 = -5*l - 0*l - i, -4*l + 5*i + 40 = 0. Solve -l*y - 4*x + 13 = 0, 9*y + 5*x - 15 = 4*y for y.
1
Let x be 2*2/(8/6). Suppose 3*r - 10 + 1 = 0. Suppose 0 = r*b - 3, 3*b = 3*n + n + x. Solve a + 3*w + 11 = n, 0 = -5*a + w + 4*w + 45 for a.
4
Let s = 16 - 11. Solve -2*w = d + 6, d = s*w - 4 + 12 for w.
-2
Suppose 0 = -3*z - z + 4. Let j = 7 + z. Solve -a = -2*n - j, 5*a - 2*a + n - 10 = 0 for a.
4
Let f(m) = -m**3 + 4*m**2 + 4*m + 6. Let g be f(5). Solve 0 = -4*w + r + 5, -4*w + 2*r - g = -7 for w.
1
Let x be (-1)/(-2)*6 - -2. Suppose 0 = r - x*r + 12. Solve -4*y = -4, -c + 5 = c + r*y for c.
1
Let b(o) = -10 - 11 + 12*o + o**2 + 4 + 4. Let g be b(-13). Suppose c - 10 = -c. Solve -3*h - 13 = 4*p + 7, p + 4*h + c = g for p.
-5
Suppose 0 = q - 0*q + 1. Let s(a) = -4*a**2 - a. Let k be s(-1). Let r = q - k. Solve 6*m = 2*m + 4*d - 24, r*d = -2*m for m.
-3
Let y(x) be the first derivative of x**2/2 + 10*x + 2. Let k be y(7). Solve -d - k = -5*h, -2 = 3*h + 3*d - 5 for h.
3
Let d be (-21)/(-9) + (-5)/15. Solve d*m = -h + 6, -h - 3*h = -5*m + 2 for h.
2
Let p be 8/(-3)*(-6)/4. Suppose p*k = -3