s + 5*k + 7 for s.
-3
Let k(p) = -p**3 + 6*p**2 - 7*p + 15. Let u be k(5). Solve 23 = u*n - 4*i + 16, 3*i = n - 8 for n.
-1
Suppose -2*g = 4*g + 18. Let y be (g/1)/(24/(-32)). Let z be 2*(y/(-2) + 4). Solve z*i = -4*x - 28, 3 = -2*i + 3*i - x for i.
-2
Let a(d) be the first derivative of 3*d**2 - 2*d - 8. Let u be a(2). Let w = 17 - 13. Solve o + 25 = -4*o + w*i, -2*o - 5*i = u for o.
-5
Let y(p) = -p**3 - 32*p**2 + 67*p + 2152. Let q be y(-32). Solve g + 2 = -5*f, 4*f + 10 = q*g - 6*g for f.
-1
Let g(a) = 4 - 2*a + 11*a - 4*a - 22*a**3. Let p be g(-1). Let y be (-21)/(-3) - -1 - 3. Solve 3*f = -5*m - 34, -y*m = 5*f + 19 + p for f.
-3
Let v(a) = -a + 13. Let y = -46 + 54. Let k be v(y). Suppose 2*l = -1 + 7, 11 = k*o - 3*l. Solve -o*z + 4*i - 26 = 2, 0 = 2*z - 4*i + 24 for z.
-2
Let z = 42 + -37. Let o be ((-34)/(-170))/(1/z). Let c(w) = w**2 + 2. Let p be c(0). Solve o = 3*d - 4*g - p, -5*g = 0 for d.
1
Let g = 2997 + -2992. Solve 17*q = 12*q - 3*y - 21, 3*y = g*q + 9 for q.
-3
Suppose 4*y + 126 = 2*y. Let c be (y/7)/(0 - 1). Suppose 4*t = t + 15. Solve t*p + g - c = -g, -3*p = -2*g + 1 for p.
1
Let m be (3/9)/((-186)/432 - 8/(-18)). Solve -80*a - 3*n - m = -84*a, -a = 2*n + 5 for a.
3
Let i = 3230 + -3230. Solve -4*r - 5*x = -r + 21, 4*r + 3*x + 17 = i for r.
-2
Let j(d) be the second derivative of -d**5/20 - 7*d**4/6 + 5*d**2/2 + 10*d + 2. Let q be j(-14). Solve -14 + 0 = 3*c - k, 0 = -4*c - q*k + 13 for c.
-3
Let h(o) = -84*o + 2692. Let f be h(32). Solve 5*t + 10 = -f*d, 4 = 3*t + 2*d + 8 for t.
2
Let w = 109 + -57. Let r = w - 35. Suppose 7 = 5*z - 3. Solve 5*u = -3*c + z, 2*u + r = 3*c + 1 for u.
-2
Let g(y) = -y**3 - 10*y**2 + 77*y + 22. Let i be g(-15). Let h be (i - -8) + (-6 - -11). Solve -h*c + 0 = 4*j - 2, c - 2 = 0 for j.
-2
Suppose 0 = -8*q + 61 - 429. Let f = q + 53. Solve 0 = 2*t - 3*b - 11, -f = -2*t - b for t.
4
Let s = 10 + -2. Let m(i) = -333*i**2 + 12322*i - 31. Let z be m(37). Solve s*x + 1 = b + 4*x, -2*b + 4*x = -z for b.
5
Let w be ((-12)/15)/(1/5). Let m = w - -8. Suppose -96*c + 97*c = -5*d + 4, 0 = d + 4*c - 16. Solve 2*o + 4 = -4*x, 0 = -x + m*o - d - 1 for x.
-1
Let i = 8334 - 8322. Solve -4*z + h = 4, -12 = 10*z - i*z + 4*h for z.
-2
Let c be (-7 - 126/(-12))*8/14. Solve -3*u - 14 = z, -5*z + 30 = c*u - 7*u for z.
1
Let b(c) = -2*c**3 - c**2 - 2*c - 4. Let z be b(-2). Suppose z*a - 25 = 7*a, 4*f - a - 43 = 0. Solve 0 = 2*p + 4*g + 4, p - 6*p + g + f = 0 for p.
2
Let b be (-3)/(-5) + (14994/(-35))/(-21). Solve 0 = -5*q + 10, 5*n - 22*q = -24*q - b for n.
-5
Let b be 117/(-3)*(-2)/6. Suppose 0 = 3*u - 424 + 103. Suppose -93*p = -u*p + 28. Solve r + 3*r - b = l, 4*l = p*r - 10 for r.
3
Let s(v) = -v**3 + 240*v**2 - 1172*v - 5. Let a be s(5). Solve 0 = -3*w + 2*z + a, 22 = 5*w - 39*z + 41*z for w.
4
Let v = 47 - 26. Let r be 15/(-9)*(-57 + 54). Solve 0 = -s + r*n - v, -5*s + n + 4*n - 25 = 0 for s.
-1
Let u be (-10)/40 - (159/4 + -1). Let r = u + 42. Solve -5*q + 3*p = 2, 16 = 4*q - r*p + 5*p for q.
2
Let a be (1 + -3)*6/4 - 31. Let j = 26 - a. Let v be (225/(-6))/(-5)*72/j. Solve t = -3*n + 2*n - 1, -2*t + 5*n - v = 0 for t.
-2
Let d(u) = -u**2 + 14*u + 20. Suppose 5*o - j - j - 67 = 0, -2*j + 38 = 2*o. Let a be d(o). Solve z = a*q - 24, -3*z - 5*q + 8 + 20 = 0 for z.
1
Suppose -148*u = -152*u + 2*v + 18, 3*v + 19 = 4*u. Solve u*s - y = 12, y - 16 = -s - 2*s for s.
4
Suppose 35*b - 248 = 66*b. Let z be ((-4 - b) + -7)*110/(-33). Solve 0 = -5*t - 3*w - 0 - z, -5*t = w + 10 for t.
-2
Suppose -5*j - 20 = -55. Let l = j + -1. Solve 4*b - 6 = 3*m - m, -2*m + b = l for m.
-3
Suppose -516*z = -2*f - 515*z + 93, -f + z = -49. Solve 2*t - 99*a + 94*a + f = 0, -5*t + 4*a = 42 for t.
-2
Let m = 7 - -39. Let v(q) = -q + 4. Let o be v(-6). Suppose 94 = o*u - m. Solve -3*w = -2*j - 4*w + 9, 0 = 3*j + w - u for j.
5
Suppose 0 = -6*y + 36 - 12. Suppose 0*c + 5*h + 2 = -c, 3*h = -y*c + 9. Solve -3*x = -c*d, 5*x = -4*d - 8 - 10 for d.
-2
Let q = -59 - -61. Suppose -18 = a - 5*y, 2 = 4*a + q*y - 36. Solve -v = 4*t - a, 2*v - 4*t - 2 = -0*v for v.
3
Let j(i) = i - 2 - i**3 + 3 + 2*i**2 - 3*i + 2*i**2. Let l be j(3). Let r be 0*(84/(-7) - -11). Solve r = l*d - t + 18, 0*t = t + 2 for d.
-5
Let f(c) = c**3 - 8*c**2 + 5*c + 18. Let p be 168/60*(-10)/(-4). Let a be f(p). Solve -2*y = 2*b + a, -2*b - b - 2*y = 8 for b.
-4
Let x = 9254 + -9252. Solve -2*m + 8 = l - 0, -3*m = -x*l - 5 for l.
2
Suppose 0*c = 7*c - 98. Let i = 5615 - 5613. Solve -4*b - i*h = -10, -b + 2*h = b - c for b.
4
Let a be 162/(-36)*(-48)/(-180)*-5. Suppose 2*r - 4 = 3*d - 4*d, 0 = -3*r + d - 4. Suppose -4*s + 6*s = r. Solve 3*f + 18 = -3*k, s = -k - k + f - a for k.
-4
Let r(n) = 2*n**3 - 29*n**2 + 93*n + 10. Let o be r(5). Solve a - 10 = -w - 12, 2*w + 3*a + 7 = o for w.
1
Let y be 12*((-15)/40)/((-126)/56). Suppose -5*s + 2 = -8. Solve -s*d + 2*m = y*d, -m = -d - 1 for d.
1
Let m be 15/(15/14)*1. Let g be 4/((5 - -1) + -1 + -4). Solve -2*f - 3*c - m = 6, -f + 2*c + g = 0 for f.
-4
Let q(m) = 79*m - 69*m + 4*m**3 + 12 - 8*m**2 - 5*m**3. Let u be q(-9). Solve 0 = -n + u, -2*d = -0*d + 4*n - 10 for d.
-1
Suppose 6*l - 47 = -23. Let q be 9/(-6)*(5 + (-28)/l). Solve 0 = 5*p - q*n - 11, -2*n = -p - 3*n + 7 for p.
4
Let s = -15826 + 15828. Solve 0 = 7*a - 5*a - 2*c + s, a = -c + 3 for a.
1
Suppose 0 = -m + 5*i + 49 - 17, -5*m + 40 = -i. Let l be (126/12)/(3/56). Let h be 24/60 - l/(-10). Solve 0 = -4*r - 3*t - m, h = -4*t for r.
2
Let r(s) = 11*s - 9. Let z be r(2). Suppose 8 = 5*n + z. Let y be (-3)/(n + (-4)/8). Solve 8 = -0*v + 4*v, -3*j = y*v - 7 for j.
1
Let o be (-19 + (13 - 4))*(-4)/8. Solve -o*p + 10 = -6*p + 2*d, 5*p + 5 = -5*d for p.
-4
Let n(c) be the first derivative of 1/4*c**4 - 3 + 3*c**2 - 2*c - 5/3*c**3. Let w be n(4). Solve 3 = -y + v + 5, -4*y + 2*v + w = 0 for y.
1
Let h(j) = 9*j**2 + 899*j - 900. Let f be h(1). Solve 2*s - 12*u = -9*u, f = -4*u for s.
-3
Let p = 2 + 1. Let z be 8*(-1)/(-20)*-5. Let c = p - z. Solve 0*j - l + 1 = -j, -1 = c*j - 3*l for j.
1
Let a(y) = -1902*y - 7521. Let n be a(-4). Solve n*i - 85*i + 3 = 3*x, -4*x + 5*i = -4 for x.
1
Suppose 2 = -34*o + 35*o. Let j be 4 - o*-19 - -4. Let d = j - 42. Solve d*m + 2*z = -2, 2 = -3*m + z - 7 for m.
-2
Let v(m) = 2*m**3 + 9*m**2 + 9*m + 2. Let n be v(-3). Solve 3*h - 2*i = -0*h - 5, -n*h - 20 = 2*i for h.
-5
Let d be 3 + (-10 - -8)/2. Suppose y + 2 = c, 0 = -5*c + 6*c - 5*y - d. Solve 4*x - c*r = -30, 0*x + r = -x for x.
-5
Suppose 0 = 7*u - 53 + 2552. Let o = -357 - u. Solve 2*c = 0, 0 = y - 4*c + 1 - o for y.
-1
Let s = 3067 + -3065. Solve s*y = q - 3*y + 16, 2*q + 8 = 4*y for q.
4
Let l be 3*(4 - (-2 - -1 - 0)). Suppose -l = -5*o + 5*m, m - 14 = -2*o - m. Solve -o*c + 5*j + 5 = -c, 30 = -5*c - j for c.
-5
Let r(c) = c**3 - 72*c**2 + 623*c - 30. Let w be r(10). Solve -2*j - 2*a - 8 = w, 0 = -4*j + 2*j + a + 1 for j.
-1
Let h = 733 - 730. Suppose -9 = -h*f, -5*f + 29 = 4*k - 2*f. Solve -3*m = 0, -k*z + z = -3*m for z.
0
Let w(i) = 2*i + 10. Let u be w(-3). Let f be 3 + -7 + u + 13. Suppose -d - 3*m = -f, 7*m - 45 = -4*d + 2*m. Solve 0 = -4*y + 2*y + 3*g + d, 0 = -g - 4 for y.
-1
Let h be (33 + 246/(-8))*(-16)/(-6). Solve -18*v + 20*v = 2, -31 = 5*k - h*v for k.
-5
Let m be 1068/120 - 15/(-150). Solve -11*a + 3*x = -m*a - 4, -5*a = 3*x + 32 for a.
-4
Let i be 0*((-3)/(-3)*-1)/1. Suppose -3*f = -f - i*f. Suppose -5*o + 0 + 10 = f. Solve -21 = 3*v + 5*m, o*v + 2*v + 2*m + 14 = 0 for v.
-2
Let f be (12/(-5))/((-24)/400). Let d(h) = 23 + 32 - f + h. Let y be d(-13). Solve 4*z + 23 = 5*q, 5*z + 1 = -y*q - 3 for z.
-2
Let j(c) = 5*c - 3*c - c + 1 - 3*c. Let o be j(4). Let u be 8/(3 + -7) - o. Solve -5*k - 3 = -4*b + 2*b, -20 = -u*b for k.
1
Let x(f) = -79*f + 1741. Let y be x(22). Solve a + 4*j + 10 = -2, 2*j = y*a - 6 for a.
0
Suppose 448 = 34*u - 20*u. Suppose -98 - u = -26*r. Solve -5*l = -2*z - 4, 5 = r*z - 6*l + l for z.
3
Let u(f) = -119*f - 114. Let l be u(-1). Solve -13 = -l*a - 2*w - 4, -5*w - 9 = 2*a for a.
3
Let b be ((-49)/28)/((-1)/(75 + 1)). Let z = b + -128. Let s be (-5)/z*(-15)/3. Solve -p = s*g - 24, 0 = -g - g + 10 for p.
-1
Suppose u - 4*f = 126, -u - 42 + 175 = 3*f. Let z be 2/4*u/13. Solve 0 = -3*k - k + z*p + 8, -2*k + 3*p = -4 for k.
2
Let u be (-1 + -4)*28/35. Let r 