/13*20/4. Solve 0*v = s*v - 45 for v.
3
Let j be (-2 - 20/(-25))/((-3)/10). Solve 0*q - q = j for q.
-4
Let x(o) be the first derivative of o**4 + o**2 - o + 1. Let k be x(1). Let y be 1 - (-11 - (4 + -11)). Solve -4*u + y = -k*u for u.
-5
Let n be (-13)/26 + (-50)/(-4). Let l be (-6)/(-4)*16/n. Solve 0 = -5*g + l*g - 9 for g.
-3
Let o be (-282)/9*(-3)/(-1). Let r = o - -94. Solve r = -f + 2 - 1 for f.
1
Let a(m) = -12*m - 72. Let g be a(-6). Solve g = -2*o + 3 - 9 for o.
-3
Suppose 3*d + t - 7 = 0, 3*t = -3*d - 2 - 1. Let g be (0 - (-6)/9)*3. Suppose 18*b - 16*b - 2 = 4*y, b + 2*y - 5 = 0. Solve -g = -b*k + d for k.
2
Let w be 1/2 - 56/(-16). Suppose d + d = -w. Let n be (-6)/(-3)*(-3)/d. Solve n = s + 8 for s.
-5
Let q(u) be the second derivative of 0 + 5/12*u**4 - 1/2*u**2 - 5*u - 1/2*u**3. Let m be q(-2). Solve -3*f = -8*f - m for f.
-5
Let l = 260 - 254. Solve -5*k + 31 - l = 0 for k.
5
Let s be (1 + -10)*51/(-153). Solve s*x = -15*x + 4*x for x.
0
Let n(h) be the third derivative of -h**4/24 + 11*h**3/6 - h**2. Let l be n(7). Let m(z) = z**2 + 6*z. Let v be m(-6). Solve v = -4*k + l - 0 for k.
1
Let g = -23 - -26. Suppose 10 = 2*f + g*f. Solve -2 = t - f*t for t.
2
Let c = -32 + 20. Let d be ((-36)/(-15))/(c/(-40)). Let y = d + -6. Solve y*o - 12 = -o for o.
4
Suppose -24 = -15*g + 9*g. Let a be (-10)/g + 1 - 56/(-16). Solve 0*n = -a*n - 2 for n.
-1
Let d(r) = r**3 + 9*r**2 + 24*r + 23. Let k be d(-5). Solve k*u - 3 = -0 for u.
1
Let a(f) = -f**2 + 5*f - 4. Let l be a(3). Let x(h) = 4*h + 91. Let s be x(-19). Solve -l*w = -5*w - s for w.
-5
Let h(q) = -3*q**3 - q**2 + 6*q + 7. Let m be h(-2). Solve 3*k - m = -12 for k.
1
Suppose 4*s = 7 - 3. Let r(j) = 5*j**3 + 2*j**2 - j. Let t be r(s). Let o be (-14)/462*6 + (-356)/(-22). Solve -o = 2*h - t*h for h.
4
Suppose 7*n + 35 = 2*n. Let f(c) = 3*c**2 + 0 - 2*c**2 + 3 + 7*c + 0. Let x be f(n). Solve -q - 6 = -x for q.
-3
Let u = 732 - 717. Solve u = -f + 11 for f.
-4
Let x(m) = m**2 - 3*m + 2. Let y(k) = -2*k + 19. Let p be y(8). Let u be x(p). Solve u*z + 4 = -2 for z.
-3
Let x(u) = -2 - 2*u**2 + 0*u**2 - 8*u - 2*u**2 + 3*u**2. Let r be x(-8). Let y be (r/(-5))/((-6)/(-60)). Solve -5*k + 1 = -y for k.
1
Suppose 7*z = -0*z - z. Suppose -w = -z*w - 5. Solve 3*s - 2 = w*s for s.
-1
Suppose 3*u - 4*b = -11, 5*u + 0*b - 35 = -4*b. Solve -u*o + 12 = o for o.
3
Suppose -g = 2*d - 7, -4*g + 3*d - 4 = g. Let i = g + 2. Solve -i*v = -8*v + 25 for v.
5
Suppose -3*s = 2*b - 7, 5*s - 13 + 0 = -3*b. Let c = -2696 + 2710. Suppose -11 = -2*u + 3*a, 0*u - 4*a = 3*u + 9. Solve c + u = s*z for z.
3
Let p be 12/(-9) + (-110)/(-6). Let i = -16 + p. Let s be (3 - 6 - -3)*i. Solve -4*t = -s*t for t.
0
Let v be (-96)/(-15) + (-12)/(-20). Let p = -39 - -18. Let w be 0 + 1 - p/v. Solve -w*n = -5 - 11 for n.
4
Suppose -1 + 5 = 4*c. Let z be (10 - (0 + 2)) + c. Let s be (3 - 0)*15/z. Solve -s*r + 20 = -r for r.
5
Suppose 0 = -5*q + 5, -3*q - 6 = -2*a - 1. Suppose -70 = -a*f + 4*m - 14, 0 = 5*f - m - 58. Solve -2*v = -f + 3 for v.
4
Suppose -4*r = -5 - 3. Let v be (80/(-45))/4 + (-11)/(99/(-4)). Solve v = r*j + 16 - 6 for j.
-5
Suppose 158*w - 142*w = 0. Solve w = -9*s + 3*s + 12 for s.
2
Suppose -15 = 18*s - 15*s. Let v be 1/(s - -2) - 20/(-6). Solve 6 = -v*x - 0*x for x.
-2
Let g(j) = j - 16. Let u be g(16). Solve -4*y = -u*y + 16 for y.
-4
Suppose -2*k = 4*g - 258, -4*k - 168 - 9 = -3*g. Let s = -40 + g. Let j = s + -21. Solve h = -j + 4 for h.
2
Suppose -5*c + 1 = -3*j + 2*j, j - 2*c = 2. Let d = -574 + 575. Solve k + j + d = 0 for k.
-5
Suppose 8*t + 72 = 17*t. Solve -t*m + 15 = -3*m for m.
3
Let v(c) = -2*c - 6. Let k be v(-4). Suppose 0 = g - k*g + 4. Suppose g*h - 4 = 8. Solve -h*b - 18 = -3 for b.
-5
Suppose r - 5*u = -4, -4*r = u - 69 + 22. Let z(n) = n**2 - 11*n + 2. Let h be z(r). Solve -5*i = -h + 27 for i.
-5
Let y = -191 - -196. Solve -y*c + 4 = 29 for c.
-5
Let k(h) = 2*h**2 - h + 2. Let a(b) = 4*b**2 + b**3 - 2 - 4*b + 2*b - 2*b**2. Let d be a(-1). Let j be k(d). Solve 0 = g + j*g + 8 for g.
-2
Let z be 1 + -4 - (-8 + -1). Let p be (z/4)/((-33)/220). Let n = 15 + p. Solve 3*m = n*m for m.
0
Let f = -11 - -14. Let y = f - 1. Suppose 0 = 3*a - y*o - 16, 0 = -8*a + 5*a + 3*o + 15. Solve 6*w - 3*w - a = 0 for w.
2
Let d(q) = -q**2 - 13*q + 19. Let s be d(-14). Suppose -s*m = 11 - 31. Solve j = -3*j - m for j.
-1
Let h be 4/(-30) + 186/45. Suppose 5*b + h - 14 = 0. Suppose -b*x + 2 = -8. Solve x*k - k = -8 for k.
-2
Let k be 1/((-60)/58 + (-1)/(-1)). Let i = k - -31. Let h(g) = -g**3 - 14*g**2 - 12*g + 13. Let v be h(-13). Solve v*c - c - i = 0 for c.
-2
Suppose -4*g + 5*w + 67 = 0, -w + 3*w = -3*g + 33. Suppose -g*r = -10*r + 66. Let o = r + 22. Solve d + 1 = -o*d for d.
-1
Suppose 2*b - 1 - 7 = 0. Suppose 2*y + 12 = 3*o, -b*y - 2*o + 8 = -2*y. Solve 0 = -y*g - g for g.
0
Suppose 0 = -3*b + 6*b - 99. Let m = 145 - b. Let c be 2/7 + 416/m. Solve -x + c = -0 for x.
4
Suppose 35 = -2*v + 55. Solve -v*i + 5*i = 15 for i.
-3
Suppose -15 = 8*h - 39. Suppose 2*i - 15 = -h. Solve i*c + 12 = 3*c for c.
-4
Let z(i) = 2*i**2 - 76*i + 76. Let y be z(37). Solve 3*g = y*g + 5*g for g.
0
Let k be (-1)/(-2)*5*2. Let o(r) = r**2 - 2*r - 2. Let n be o(-3). Suppose -250 + 853 = 61*y - 1715. Solve n = k*m + y for m.
-5
Let g = 54 + -49. Let h = 8 - g. Solve h*n = -0*n + 9 for n.
3
Let i be 72/(-3)*9/12*1. Let y be -4 - i/(-4)*(-40)/30. Solve 0 = -3*z - y*z for z.
0
Let c = -2061 + 2064. Let q = 3 - 5. Let d be 0*((-3)/q - 2). Solve c*f - 15 = -d*f for f.
5
Let p = 441 - 436. Solve -35 + 25 = p*i for i.
-2
Let a be (36/3 + -12)*(-2)/4. Suppose 2*t + 4*g = 4, 5*t - 8 = t + 3*g. Solve a = s - 0 + t for s.
-2
Let i = 496 + -492. Solve i*d = 5*d + 2 for d.
-2
Let n = 116 - 256. Let d = n - -142. Solve -h - 2 = d for h.
-4
Let o(g) = 50*g - 230. Let c be o(5). Solve -24 = -f - c for f.
4
Let j = 21 - 11. Let d = j - 10. Suppose x + 3 = -5*c - 2, 3*x - 5*c - 5 = d. Solve x = 6*n - n + 25 for n.
-5
Suppose 5*w - 4 = 3*k - 1, -3 = -w. Suppose 0 - 3 = -y. Suppose -y*c = 2*c - 10. Solve k*t = c*t for t.
0
Let c(o) = 2*o**3 + 4*o**2 - o + 3. Let j be c(-2). Solve -h + j = 6 for h.
-1
Let k = -13 + 9. Let w be (-6)/k*48/18. Suppose -1 = -2*y - p, w*p = y - 4*y - 6. Solve -y*u = -6*u + 8 for u.
2
Let w(y) = 3*y + 7. Suppose -r = 7*r - 2*r. Let o be w(r). Solve 0 = -o*v + 2*v for v.
0
Let b(f) be the first derivative of -1/2*f**2 + 1/4*f**4 - 3*f + 6 + 4/3*f**3. Let n be b(-4). Solve -7 = -2*g + n for g.
4
Let g(y) = 2*y - 11. Let l = 57 - 49. Let r be g(l). Solve r = o + 1 for o.
4
Let t be 4*(-1 - (-15)/4). Suppose t*w = 10*w + 11. Let d = w + -4. Solve 13 = 4*o - d for o.
5
Let i(a) be the second derivative of -a**5/120 - a**4/12 - a**3/3 + a. Let m(z) be the second derivative of i(z). Let k be m(-4). Solve 0 = o - k for o.
2
Let t(g) = -g**2 + 7*g + 7. Let i be t(8). Suppose z = 2*s - 3 + 2, -s = 2*z - 13. Let d = s + i. Solve -d*p = -p for p.
0
Suppose 2*a = o - 56, 3*a - o = -2*o - 94. Let r be 2 - (3 + a/6). Suppose -4*h + 5*h = 0. Solve h*w = -r*w + 16 for w.
4
Suppose -25*z + 28*z + 9 = 0. Let w(p) be the third derivative of p**6/120 + p**5/15 - p**4/24 - 2*p**3/3 - 2*p**2. Let t be w(z). Solve -d + t = d for d.
4
Let n(j) = 2 - 1 + 2*j**2 + 0 + 2*j**2. Let y be n(1). Solve -r - 2 = -y for r.
3
Suppose -3 = 5*m - 13. Suppose 4*x + m = 5*p - 15, -3*p = 5*x - 25. Solve -2*q - x = -10 for q.
4
Suppose -2*n + 11 - 13 = 0, -4*k + 4*n = -52. Solve 14*j = k*j + 2 for j.
1
Let f(n) = n**3 + 10*n**2 + 25*n + 31. Let c be f(-7). Solve -c*z = 4 + 8 for z.
-4
Let b(l) = -l - 2. Let h be b(-4). Suppose p + 10 = 3*p - w, 0 = -h*p - 3*w - 6. Let m(i) = -i**2 - 11*i + 7. Let y be m(-9). Solve 0 = -2*q - p*q - y for q.
-5
Suppose -4*s + 4*c + 16 = 0, -s - 4*c + 0 = 6. Solve 0 = j + s + 1 for j.
-3
Let i be ((-2)/4)/((-3)/(-66)). Suppose -2*t - 11 = -3*t. Let a = i + t. Solve a = 5*x + 4 + 1 for x.
-1
Let j(u) = -6*u - 124. Let f be j(-21). Solve -4*o + 3*o = -f for o.
2
Let x = 126 - 120. Solve x*d + 1 = 7 for d.
1
Suppose c - 4 = -r - 9, -4 = r. Let k be ((-8)/(-12))/(c/(-3)). Let b(i) = -i**2 - 8*i. Let q be b(-8). Solve q = k*s + 3*s for s.
0
Let b = 38 + -39. Let t be b/(1/1)*(-2 + -7). Solve 0*p + 3*p = -t for p.
-3
Let v = 6 - 5. Let n be (