(z) = l(z) - 6*t(z). Let b be c(-8). Let p be (3/(-2))/3*-6. Solve b*x - p = -0*x for x.
1
Let r be (-3)/((-2)/10*90/12). Solve 0*j + r*j + 10 = 0 for j.
-5
Let y = 5 + -7. Let j = y - -4. Suppose -z + l + j - 4 = 0, 0 = 2*z + 5*l - 24. Solve 0 = -2*c - z*c + 12 for c.
3
Let z = 40 + -30. Solve 3*i - i = z for i.
5
Let o = 4 + -2. Let u be (18/(-21))/(1/7). Let p be 19/7 - u/21. Solve -p*a + o = -4*a for a.
-2
Suppose -l = -5*v + 9, -3*v + 11 = -3*l + l. Let w = l + 1. Let m be (14/w)/(-2)*3. Solve -m = -2*i - 1 for i.
3
Let r(n) = -n**2 - 20*n + 23. Let j be r(-21). Solve 0*p - 10 = -j*p for p.
5
Let p(s) = s + 1. Let c be p(7). Let n = c + -6. Solve 2*x + n + 2 = 0 for x.
-2
Let a(y) be the first derivative of y**3/3 + 5*y**2/2 + 3*y - 4. Let w be a(-5). Solve w*o - 12 = -0*o for o.
4
Suppose -3 = d - 2*d. Let s(x) = -8*x**3 - x**2 - x - 1. Let k be s(-1). Solve d*b = k*b + 4 for b.
-1
Let i be 3 - (-1 - 3)/2. Solve -3*d - i = -2*d for d.
-5
Let i(j) = -j**2 + 0*j**2 - j - 5*j. Let s be i(-5). Solve -s = -5*d + 10 for d.
3
Let y = 4 - 2. Solve 7 = -i + y for i.
-5
Let v = 44 - 30. Suppose 0*b + 2*b - v = -3*f, -22 = -f - 5*b. Suppose -4*t + 7 = -5. Solve -f*k - t*k = -20 for k.
4
Let l = 5 - -2. Suppose -3*q - 8 = -l*q. Suppose -o = m - 6, -o - m + 2*m = -12. Solve q*i = o - 3 for i.
3
Let b = 2 - 2. Suppose b = 3*j - 2*x - 24, 4*j - 3*x = -2*x + 37. Solve -2 = 4*w + j for w.
-3
Let p = 21 - 16. Solve x = -0*x + p for x.
5
Suppose 24 = 5*p - 1. Solve -o = -p*o - 4 for o.
-1
Let v = -12 + 14. Let d be 6 + -2 - 1*v. Solve 7*f = d*f - 10 for f.
-2
Suppose 0 = 8*s - 3*s. Solve s*c - 4*c = 0 for c.
0
Suppose -33 = 4*p - j - 4*j, -5*p = -2*j + 37. Let h = p + 11. Solve h*z - z = -3 for z.
-1
Let z = 1 - -2. Let d be 4/(-14) + (-2)/(-7). Solve 5*q - z*q = d for q.
0
Let o be (-1 - -3)*(-4)/8. Let i be 10 + (o - -2) - 3. Solve 5*u = -12 - i for u.
-4
Suppose 0 = 3*w - 9, 5*t - 45 = -5*w - 0*w. Let o be (-60)/8 - (-1)/2. Let k = 11 + o. Solve p = k*p + t for p.
-2
Let m(x) = 1 - x + 3 - 1. Let d be m(0). Suppose -6*t - 1 = -2*t - f, 0 = 4*t + 4*f - 4. Solve -i - d = -t for i.
-3
Suppose 3*o - 16 = -o. Solve q = -o*q for q.
0
Suppose 10 = 2*x + 2*m, -3 = -x + 2*m - 4. Let c be x/((-2)/6*-3). Solve c*u = u for u.
0
Suppose -3*y + 15 = 0, 0 = 5*l - 4*y - 9 - 1. Suppose l + 4 = 2*n. Solve -n = -a - 0 for a.
5
Let t be (-1)/1 - (-3 + 1). Let h be 1/((-12)/10 + t). Let q = 10 + h. Solve -q*d - 11 = 9 for d.
-4
Let u(b) be the third derivative of -b**6/120 - 7*b**5/60 - 5*b**4/24 + 4*b**3/3 - 3*b**2. Let t be u(-6). Solve 4*f = t*f for f.
0
Let v = -27 - -30. Solve 0 = 6*d - v*d for d.
0
Let p(u) = 6*u - 2. Let b be p(1). Solve -b = 5*l + 6 for l.
-2
Let n(m) = m**3 - 4*m**2 + 5*m - 2. Let a be n(3). Suppose 6 = -a*z + 7*z. Solve 2 = r - z for r.
4
Let d = 6 + -2. Let k(s) = 14*s**2 + 2*s - 1. Let r be k(1). Solve -d*x - x = -r for x.
3
Suppose y - 13 = 4*z, 2*y - 26 = -2*y + 3*z. Let a be (-6)/y*(-90)/36. Let j be 46/4 + 2/4. Solve 0 = a*x + x + j for x.
-3
Let y = 11 + -8. Solve 8 = -j + y*j for j.
4
Let t(m) = -m + 3. Let d be t(0). Suppose d*w = 3, 7 = j + 2*w - 7. Solve 4*c + j + 0 = 0 for c.
-3
Let l(k) = k - 1. Let b be l(5). Solve 0*d = -b*d + 8 for d.
2
Let y be (-4)/(-3)*(-18)/(-4). Let j be (-2)/8 + (-2)/(-8). Let f be -1*(-1 + 1 - j). Solve f = -2*k - 0 + y for k.
3
Let b(l) = l + 5. Let m be b(-4). Let j be (-52)/(-3) + m/(-3). Solve -j - 8 = 5*a for a.
-5
Suppose -5*b = -4*n + 2*n - 17, 0 = 2*b + 5*n - 1. Let z = 0 + b. Suppose 2*m - 3*f = 6*m, m = 4*f. Solve w + 2*w + z = m for w.
-1
Suppose h = -2*h - 4*f - 1, 0 = -5*h - 3*f + 2. Suppose -i + h = -5. Solve -4*a + 2 = i for a.
-1
Let o be 8/(-36) - (-600)/27. Suppose -8 = -5*t + o. Solve -3*r = 3 + t for r.
-3
Let i be (-72)/(-45) - (-3)/(-5). Solve -5*z = i - 26 for z.
5
Let r(l) = -1 + l + 2*l - 5*l - 1. Let j be r(-4). Solve 4*x = -j + 18 for x.
3
Let n be (-5)/15 - 11/3 - -4. Solve -1 = i - n for i.
-1
Suppose -4*s - n - 6 = -4*n, -4 = -2*n. Solve 5*x + 21 - 6 = s for x.
-3
Let c be 34/(-9) + 6/(-27). Let n be ((-18)/(-15))/(c/(-10)). Solve 0 = -3*p - n - 9 for p.
-4
Let y(p) = p**2 - 9*p + 6. Let r(a) = 3*a - 4. Let i be r(4). Let b be y(i). Let v = -2 - b. Solve v = -x - 3*x + 20 for x.
5
Suppose -3*y = -4*y + 4. Suppose -h - 4*p = 3, 1 = 3*h - 2*p - y. Let g be (-1 + 1)*1/(-1). Solve g = -5*f + h - 6 for f.
-1
Suppose 3*r = 7 + 5. Suppose r = 2*t - 0. Suppose -18 = -i - t*i. Solve -5*o - i = 14 for o.
-4
Let u be 4/6 - (-28)/(-6). Let a be 0/(u*3/(-6)). Solve -5*g = -a*g - 25 for g.
5
Let j = 4 - -1. Suppose 4 = 6*a - j*a. Solve 3*k = -k - a for k.
-1
Let k(s) = s + 7. Let f be k(-5). Suppose -5*q + f*z = z - 10, 4*q = z + 8. Solve y = q - 0 for y.
2
Let q(u) = -u. Let g be q(-3). Let k(m) = -2*m**2 - m + 14. Let x(i) = i**2 - 7. Let d(h) = 4*k(h) + 7*x(h). Let b be d(-5). Solve -g*y + 10 = b*y for y.
2
Let y be 2/(-4) - 407/22. Let w be y/(-3) - (-8)/(-24). Solve -w*c + 4 = -2*c for c.
1
Let x(v) = v**3 + 3*v**2 + 3*v + 3. Let n be x(-2). Let g be (1 - n)/(7 + -6). Solve -4*f + 3*f - 5 = g for f.
-5
Suppose -17 - 4 = -7*c. Solve -c*t + 2 = -t for t.
1
Let m = -6 - -8. Solve -m = i + i for i.
-1
Let g be (-4)/(-10) + (-8)/20. Solve g = 3*w - 7*w + 8 for w.
2
Suppose 3*b + 3*m - 24 = 0, -5*m + 10 + 3 = -4*b. Suppose 8 = b*k - 4. Suppose k*w + 5*x + 2 = 0, -4*x = -4*w + 5*w + 6. Solve 0 = q + w*q + 9 for q.
-3
Suppose -10 = y - 2*p + 3*p, -4*p - 16 = y. Let r = 6 + y. Let d be (r - -3)*(-2 - -3). Solve -2*s - 7 = -d for s.
-3
Let n be (-5)/(-2) - (-15)/(-30). Let d(z) = -z**3 - 2*z**2 - z + 1. Let i be d(-2). Let p = -27 - -42. Solve n*t = -i*t - p for t.
-3
Let h(f) be the second derivative of f**3/6 - 2*f**2 + 2*f. Let x be h(5). Solve 2*t - 7 = -x for t.
3
Let y(h) = -h**2 + 7*h + 4. Let x be y(6). Let w = -6 + x. Suppose 193 = 5*c + 43. Solve -c = -w*i - 10 for i.
5
Let b be (-6)/27 + (-184)/(-18). Solve 0*i + b = -5*i for i.
-2
Suppose -4 = 4*w + 4*t - 20, 0 = -3*t. Let u be (12 + 3)*(-1)/(-1). Solve -c + w*c = u for c.
5
Suppose 34*l - 31*l = 3. Solve 3 = 2*u - l for u.
2
Let q(f) = -f**3 + 4*f**2 + 3*f + 12. Let h be q(5). Solve 0 = h*k - 8 - 0 for k.
4
Suppose 39*j - 44*j + 55 = 0. Solve -5*s + j = 36 for s.
-5
Let u be 22/8 - (-2)/8. Let i(b) = -b**3 - b**2 + 28. Let v be i(0). Suppose 5*t - 2*r = r + v, u*t = 3*r + 12. Solve 4*w = 8 + t for w.
4
Let a(p) = p**3 + 9*p**2 - p - 4. Let t be a(-9). Let v be (-2 + 7)/1*1. Suppose -3*z + 24 = z + v*c, -6 = -z + 4*c. Solve 0 = t*j + z + 14 for j.
-4
Let i be 14/6 + (-1)/3. Let p = -7 + 13. Let y(x) = x**2 - 6*x + 6. Let m be y(p). Solve -m = -2*h + i for h.
4
Suppose -54 - 6 = -5*m. Let f = m + -8. Solve -f*j + 2 = -3*j for j.
2
Let h(x) be the second derivative of x**3/6 + x**2/2 + 2*x. Let o be h(-2). Let w be o + (-2)/(-1) + 4. Solve -b + 3 = w for b.
-2
Suppose 4*o - 63 = 3*t, -6*t + t + 33 = o. Let k be o/12*2/3. Solve k = 2*b - b for b.
1
Let o = -1 + 8. Solve -5*m + 2 - o = 0 for m.
-1
Let q = -52 - -84. Let o be (-594)/(-48) - (-3)/(-8). Suppose -4*c = -2*b - 22, -c - 4*b - 8 = -0*b. Solve -q + o = -c*y for y.
5
Let s(v) = v - 8. Let a be s(8). Suppose -t - 5*m + 8 = 1, a = -m + 1. Solve 0 = -w - t for w.
-2
Suppose 7*c = 4*c + 15. Suppose 0 = -2*a + 2*j + 2, 6 = c*j - 3*j. Let x(v) = v**2 + 3*v - 6. Let u be x(-5). Solve -a*d - 4 = u for d.
-2
Let d be (0 + -9 - 3)/(-2). Let c(i) = -7*i - 1. Let v be c(-1). Let j be (-8)/v*(-9)/d. Solve -r - j*r - 15 = 0 for r.
-5
Suppose -15*k + 7*k = 0. Solve -4 = -4*o - k*o for o.
1
Let d be -2 + 8/(2/(-1)). Let c(y) = -y**3 - 8*y**2 - 8*y. Let k be c(d). Let x = -12 - k. Solve 8 = -4*o - x for o.
-5
Suppose 4*i + 2 - 14 = 0. Solve 2*s - 5 = -i*s for s.
1
Let m(s) = s**3 - 5*s**2 + 4*s. Let x be m(3). Let z be (-23)/(-7) - x/(-21). Suppose -4*c + c = -4*y + 5, 0 = -2*y + 10. Solve -l = c - z for l.
-2
Suppose 3*d = -d + 16. Suppose -m + d*g + 12 = 0, 3*m - 4*g = 24 - 4. Solve b - 25 = -m*b for b.
5
Let c be (4/(-6))/((-14)/84). Solve c*b = -13 - 7 for b.
-5
Let w(o) be the second derivative of o**3/3 - o**2 - 9*o. Let t be w(2). Solve 4*h - 2 - t = 0 for h.
1
Let w(i) = -i. Suppose 4*s = -2*j - 32, 0*j + 5*j - s = -25. Let n be w(j). Let a be 0/(-1) + (5 - 1). Solve -n = -2*m + a for 