= -3*z. Let t be b(z). Solve t*h + 2 = -1 for h.
-1
Let a = 430 - 425. Solve a*j = -21 + 6 for j.
-3
Let r(c) be the first derivative of -c**3/3 - 5*c**2 - 6*c + 3. Let y be r(-8). Solve -6 = 4*t + y for t.
-4
Suppose -4*u + 41 = -k, 4*u = -u - 3*k + 64. Suppose -21 = u*l - 54. Let y = -5 - -8. Solve -y*i = -2*i + l for i.
-3
Let w(n) be the second derivative of n**4/12 + 5*n**3/6 + 9*n**2/2 - 36*n. Let i be w(-3). Solve i*t + 8 = -t for t.
-2
Suppose 43*m - 48*m = -40. Solve 7*x = m*x - 3 for x.
3
Let h be 512/384*12/2. Solve -18*r = -16*r - h for r.
4
Let f(u) = -u**2 + 7*u - 1. Let l be f(6). Suppose 5*p = 4*y - 41, 5*y + p = 32 + 12. Let k be 3/(7/(42/y)). Solve -l*m - k = -12 for m.
2
Suppose -2*n + 18*n = 0. Solve n = d - 8*d - 7 for d.
-1
Suppose -9*g + 400 = -g. Suppose -g = -2*v - 40. Solve 5*t + v = -0 for t.
-1
Let h be 72/20 + (-6)/(-15). Suppose 0 = 3*r + h - 13. Solve 4 = -7*c + r*c for c.
-1
Let f(g) = -g**2 + 12*g + 4. Let p be f(12). Suppose -5*i + 4*q = -146, -p*i - 5*q - 18 + 102 = 0. Let r = 43 - i. Solve r = 5*a + 7 for a.
2
Let o(s) = s**3 - 9*s**2 - s + 6. Let h be o(9). Let v(g) = -g - 1. Let n be v(h). Solve n*u = 4*u for u.
0
Suppose -3*m - 6 = -5*m + 3*c, -5*c - 7 = -3*m. Suppose 4*n = 23 + m. Solve 6 = -6*a + n*a for a.
3
Let t = -4 - -17. Let c be 0 - ((-2)/8)/((-120)/(-2400)). Solve 12 = -c*u - t for u.
-5
Let g be (0 - 6)/((-1)/((-12)/(-18))). Solve g*u - 5*u = -1 for u.
1
Let n = -12 - -16. Let b be n/((0 - 3) + 4). Let u = 4 - b. Solve 0 = -2*x - u*x - 10 for x.
-5
Let t(k) be the third derivative of k**5/15 + k**4/8 + k**3/3 - k**2. Suppose 13 = 2*c + 3*g, -6*c + 4 = -5*c + g. Let w be t(c). Solve -m = w*m - 4 for m.
1
Suppose g + 10 = -7*a + 11*a, 0 = a - 3*g + 3. Solve -10*j = -13*j + a for j.
1
Suppose -5*y = -0*a + 3*a + 237, 2*a - 82 = 2*y. Let b be (18/y)/(1/(-5)). Solve -4 - 4 = b*z for z.
-4
Suppose 3*a = y - 15, 5*y = 3*a + 13 + 2. Suppose d - 2*d = y. Let k = 4 + -1. Solve d*o - 3*o = k for o.
-1
Let a be (2/(-6))/(8/(-120)). Suppose l - 7 = -a. Solve -q + 3 = -l for q.
5
Let o be (-6)/39 - (-1)/26*4. Solve -3*g + 8 - 5 = o for g.
1
Let c = 45 - 74. Let v = -21 - c. Solve -3*j = v + 4 for j.
-4
Let o(b) = b**3 - 10*b**2 + 10*b - 6. Let h be o(9). Solve -8 + 23 = h*u for u.
5
Let j be -30*(3 + (-28)/8). Suppose 5*p = m - 3, m = -4*p - 4*m + j. Let b = 4 + p. Solve -5*o = -3*o - b for o.
2
Let a = 20 + -15. Suppose -2*i + 18 = z + z, 0 = -3*i - a*z + 21. Solve -4*t + t + i = 0 for t.
4
Let l(v) = -v**2 - 17*v - 42. Let m be l(-14). Suppose 3*p - 26 = -2*w + 162, -w = 5. Let f be p/14 - (-4)/14. Solve m*o - f*o = -5 for o.
1
Let b be (-1175)/(-23) + 38/(-437). Solve 0 = 7*o + b - 16 for o.
-5
Let a(t) = -t**3 - 5*t**2 - 7. Let x be a(-5). Let n(b) = b**3 + 7*b**2 - b + 3. Let r be n(x). Let i = 29 - 25. Solve -i*p - p = r for p.
-2
Let o(a) be the second derivative of -a**3/6 - 3*a**2/2 + 6*a. Let u be o(-3). Solve -3*n + 6 + 3 = u for n.
3
Suppose 4*l - 42 = -t + 13, 51 = 3*l + 4*t. Let p = -10 + l. Suppose -g - p*g + 20 = 0. Solve -4*n = -5*n - g for n.
-5
Suppose -4*x - 4*q = -5*q - 9, x = -q + 6. Suppose -3*r - 6 = 5*v, -2*v - r + x*r = -4. Solve v*p = -5*p for p.
0
Let u(a) = 43*a + 387. Let l be u(-9). Solve l = -x - 20 + 18 for x.
-2
Let g(a) = -3 + 2*a + 0 + a**2 + 1 - 2. Let r be g(3). Let c = -2 + r. Solve -c = 4*k - k for k.
-3
Suppose 6*s - 7*s - 14 = 0. Let q be (-4 - s) + 1 + 2. Let l = q + -12. Solve k = l - 3 for k.
-2
Let p(f) be the second derivative of -7*f - 5/12*f**4 + 1/20*f**5 + 1/2*f**3 + 0 - 11/2*f**2. Let r be p(5). Solve 0*z = r*z + 20 for z.
-5
Let k = 4 - -1. Suppose 2*a - 4*r - 3 - 5 = 0, -a = k*r + 10. Solve a = 5*p - 3 + 13 for p.
-2
Let j = 0 - -7. Let m = j + -7. Suppose m = -0*h + h - 2. Solve -h*l - 1 = -9 for l.
4
Let s(y) = 4*y - 6. Let g be s(5). Let j be g/3*180/(-24). Let b = -23 - j. Solve -5*v + b = -8*v for v.
-4
Let y be (-6)/(-21) - (-6215)/77. Solve 3*a = -y + 66 for a.
-5
Let h(c) be the third derivative of c**6/24 + c**5/30 - c**4/24 - 11*c**2. Let o be h(1). Solve o*b = b for b.
0
Let y(q) = q + 14. Let v be y(-3). Solve -8 = -v*a + 7*a for a.
2
Let l(r) = -r + 9. Let u be l(7). Suppose u*y + 52 = 4*x - 0*y, -52 = -4*x + 4*y. Solve x = -3*a + 4 for a.
-3
Let z(w) = 2*w + 10. Let l be z(-5). Suppose f - i - 6 = 0, 5*f + 2*i - 11 = -2. Solve 0 = f*p - 6 - l for p.
2
Suppose -4*y - 2*r + 3*r = -95, -5*y + 124 = 4*r. Let m = y + -22. Suppose -5*s + 32 = -2*t, -4*t - 21 = -2*s - 5. Solve m*n - s = 4 for n.
5
Let c(q) = -5*q**2 + 3*q - 3. Let j be c(6). Let d = j + 109. Let t be (-312)/d + 4/(-7). Solve t*p - p - 12 = 0 for p.
3
Suppose m + 20 = 5*m. Suppose -2*r - 10 = -4*r, 3*t + m*r - 28 = 0. Solve 3*k - t = -16 for k.
-5
Let v(i) = i**2 - 4*i - 6. Let b be v(5). Let q be -3 + (9 - (2 - b)). Solve 5*a + 6 = q*a for a.
-3
Let k = 1401 - 1344. Solve 0 = -64*t + k*t + 7 for t.
1
Let i(g) = 6*g + 5. Let q be i(3). Suppose -4 - q = -9*c. Let j be (11 - (-1 - 0))*1. Solve -c*n = -0*n + j for n.
-4
Suppose g - 94 = -18. Suppose -g = 2*o - 4*o. Let q = o - 23. Solve q = 2*v - 5*v for v.
-5
Let h(z) = -z**3 + 17*z**2 - 3*z + 54. Let j be h(17). Let t(n) = n**3 - 4*n**2 + 5*n - 2. Let x be t(2). Solve x*y + 3 = -j*y for y.
-1
Suppose w - 2 + 4 = 0. Let t(l) = -5*l - 6. Let z be t(w). Suppose z = -5*u + 24. Solve -3*i = -5*i + u for i.
2
Let u be (27/180*-8)/(2/(-5)). Solve 59*h = 62*h + u for h.
-1
Suppose 3*g = -2*w + 3, 5*w = 9*w + 3*g - 15. Solve -w*m + 5 = -5*m for m.
5
Suppose 34 = -5*z + 4*q, 0 = -5*z - q - 40 - 14. Let m be (-72)/(-15)*(-25)/z. Solve -4*h = 8 + m for h.
-5
Let m be -5*(-5 + 2 - -2). Let w be -6 + 15 + -2 + -3. Solve w*y = -1 + m for y.
1
Let z be (9/((-63)/(-28)) - 0) + 5. Solve 0 - z = -3*y for y.
3
Let k(n) = -n**2 - 15*n + 10. Let o be k(-16). Let x be (4 + -3)/(-1) + o/(-6). Solve l + 3 = -x for l.
-3
Suppose -2*v - 5*x + 47 + 50 = 0, -4*v = 2*x - 234. Solve v = -w + 64 for w.
3
Suppose 2 - 18 = -2*d. Solve 0*w + d = -4*w for w.
-2
Let f = 44 - 42. Let t be (-8)/3*(-3)/f. Solve t*d = -d - 5 for d.
-1
Let o(l) = 26*l + 25*l - 57*l + 12 - 3*l**2 + 2*l**2. Let u be o(-7). Solve 0 = z - u - 0 for z.
5
Let t be (0*2/4)/(-100 + 98). Solve 5 = -5*v - t*v for v.
-1
Let u be 3 + 0/(10/5). Let z(a) = -a**3 + 8*a**2 - 10*a - 12. Let w be z(6). Solve -u*y + 2*y = w for y.
0
Suppose -2*y - 2*q = -98, -2*y - y + q = -151. Solve y*c - 47*c = 12 for c.
4
Let a = -10 - -14. Suppose 12 = 5*k + 2, 2*y - a*k - 32 = 0. Let p be y/3*(-8 + 11). Solve 0 = -c + 5*c + p for c.
-5
Suppose -5*o - 2*h = -45 - 37, 3*o = h + 47. Let g = o - 11. Solve 0 = -4*k + 21 - g for k.
4
Suppose -84*y + 9 = -81*y. Suppose 21 = 3*z - 0*r - y*r, 4*z - r = 22. Solve 9 = z*w - 11 for w.
4
Let g(f) = 3*f**2 + 38*f + 31. Let a be g(-12). Solve 9*y - a*y - 2 = 0 for y.
1
Let z = 6 + -3. Suppose 5*f - 20 = 2*l, l = f - z*l - 4. Let g be (-10)/(-8) + 2/(-8). Solve -f - g = -p for p.
5
Let j(f) = -f**3 - 6*f**2 - 2*f - 6. Let m(w) = 2*w + 4. Let p be m(-5). Let u be j(p). Solve -i + u*i = 5 for i.
1
Let s = 107 + -175. Suppose 95 = -5*g - 4*n - 11, 0 = -g + 3*n - 6. Let m be s/(-6) + (-12)/g. Solve 0*b = 4*b - m for b.
3
Suppose 9 = -3*y - 84. Let s = -29 - y. Solve -v + 3*v = s for v.
1
Let f = 19 - 7. Let c be (-2)/(-18) - 902/99. Let k = f + c. Solve 0*z - 9 = k*z for z.
-3
Let k(s) = s**3 + 4*s**2 - 3*s - 3. Let n be k(-3). Suppose -495 = -7*m - 523. Let b be m/10 + 6/n. Solve b + 5 = -5*x for x.
-1
Let n = 30 - -21. Let q = 30 - n. Let c = -19 - q. Solve -4 = -c*t - 2*t for t.
1
Let m = -21 - -12. Let j be (m - -6)*(-5)/3. Suppose -j*d - d + 12 = 0. Solve d*s - 6 = -s for s.
2
Suppose 16*g - 28 = 9*g. Solve -1 = -s + g for s.
5
Let m be (0 + 5)*(-2)/(-5). Let n = -479 + 479. Solve b + m*b - 15 = n for b.
5
Let z(r) = -r**2 + 2*r + 8. Let c be 3/15 - 244/20. Let i be (-2 + 3)/((-3)/c). Let u be z(i). Solve 0 = -q - u*q - 3 for q.
-3
Let n(t) = -3*t**2 - 19*t - 3. Let i be n(-6). Suppose -45 + 9 = -i*y. Let f be (y/16)/((-12)/(-32)). Solve f*w = -3*w + 10 for w.
2
Let r be (3 + 1 + -4)/(-1). Solve 5*w - 8*w + 15 = r for w.
5
Suppose 0 = 5*f - 10, -5*h + 84 = 2*f - 20. Let g = 16 + h. Suppose 3*d - g - 27 = 0. Solve 4*l + 1 = d for l.
5
Let w(r) = -r**2 - 7*r - 7. Let n be w(-3). Sol