et p(s) = -s - 4. Let x(y) = 7*y - y + 9 - 2*y - y. Let w(u) = 13*p(u) + 6*x(u). Let f be w(2). Solve f = l + 2*l for l.
4
Suppose 3*t + h + 0*h - 13 = 0, -t - 17 = -5*h. Suppose -4*l + 2*o + 20 = 0, -8 = -l - 3*l - 4*o. Suppose 50 = t*c - l. Solve -6 = -4*v - c for v.
-3
Let w = 7 - 6. Let f be -7 + 6 + 3*w. Let l = 3 + f. Solve l*v = v - 8 for v.
-2
Suppose -13*f + 177 + 70 = 0. Let k be -8*((-1)/1)/2. Solve 3*i + k = f for i.
5
Let j(t) = -14*t + 2. Let o be j(-1). Solve -3*l - o + 4 = 0 for l.
-4
Let d(s) = -s + 6. Suppose 5*t = 8*t + w - 13, 12 = 3*w. Let m be d(t). Suppose 2*k - 50 = -2*z, 0 = -4*z - m*k + 11 + 84. Solve z = 4*f + f for f.
4
Let d be 1 + 2 + 0/1. Let x(t) = -2*t. Let s be x(-2). Suppose 10*h = 17*h - 35. Solve -h = d*w + s for w.
-3
Let d be 2/(-4) + (-6)/12. Let k = 1 + d. Solve n + 0*n - 5 = k for n.
5
Suppose 2*m - 2*t = 0, 5*t - 8 - 7 = 0. Let k be ((-2)/(-6))/(1/3). Let q(o) = 2*o**2 - 5*o - 1. Let v be q(3). Solve m*a + v = -k for a.
-1
Suppose 3*b = 6*b + 39. Let v = -12 - b. Solve -v = -2*g + 3*g for g.
-1
Let u = 5 - 5. Suppose -2*f = -3*t - 3, u = -5*f - 2*t - t + 60. Solve 0 = -6*i + 3*i + f for i.
3
Let o be (1 + 0)/((-3)/(-9)). Let m(k) = k**2 + k + 4. Let s be m(o). Solve 0 = -v - 3*v - s for v.
-4
Suppose q + 5 = 13. Solve 4*j - 12 = q for j.
5
Suppose -2*t + 16 = 4*i, 0*i = 3*t - 2*i + 8. Solve t*s = -s for s.
0
Let v be -2*(-4)/(-6)*3. Let z be v/(-10) - 4/10. Let b be -1*(1*(-6)/(-2) - 3). Solve z = -b*f - 3*f + 15 for f.
5
Let x(b) be the second derivative of b**3/6 + 3*b**2 + b. Let n(z) = z + 5. Let w(h) = 4*n(h) - 3*x(h). Let m be w(2). Solve m*k - k + 9 = 0 for k.
-3
Suppose -3*k - 2*h + 32 = 0, 12 = 3*k - 4*h - 14. Suppose -3*s + 4*y = 14, 0 = 5*s - y - 6 + 1. Solve -s*f = -0 - k for f.
5
Let v(i) = i**3 - 2*i**2 + 1. Let s be v(1). Suppose -5*l + 8 + 2 = 0. Solve -c + l*c = s for c.
0
Let k be 7 + 2/(-4)*6. Suppose -k*q = -q. Solve q*u = u - 2 for u.
2
Suppose -41 = -5*c - t, 6 = 4*c + 5*t - 10. Let f = -4 + 12. Solve f*b = 5*b + c for b.
3
Let b(t) = t - 2. Let v be b(5). Let h be 0 - (-1 + (v - 4)). Solve -3*o - h*o - 25 = 0 for o.
-5
Suppose 0 = 3*d - 5*u + 7, 9 = 4*d + d + 2*u. Solve w + 6 = d for w.
-5
Suppose 2 = -2*t + 20. Let r = t - 9. Solve r = i - 6*i for i.
0
Suppose 0 = -3*b + 2*b + 4. Let a be 102/(-18) - b/(-6). Let n be (-16)/(-8)*a/(-2). Solve -n*o - 8 = -o for o.
-2
Let d = -9 + 14. Solve 2*y = d*y for y.
0
Let i(l) = l**3 + l - 1. Let a = -1 - -2. Let x be i(a). Let v be 0 - -2 - 0 - -2. Solve -c + v = -x for c.
5
Let u be ((-2)/8 + 2)*4. Solve 4*w + 5 = -u for w.
-3
Let y(v) = v + 2. Let t be y(8). Let m be 2/(-3 - t/(-3)). Let x be m/(-8) - (-3)/4. Solve -5 = w - x for w.
-5
Let l(g) = 6*g**2 - g. Let k be l(-1). Let i = 22 - k. Let n = -1 + i. Solve -3*t + 1 = -n for t.
5
Let s = 76 - 73. Solve 5*x + s = 8*x for x.
1
Let m = 15 + -10. Solve -1 = m*d - 6 for d.
1
Let r be (-249)/(-15) + (-4)/(-10). Suppose 3*x = 92 - r. Solve a = -4*a - x for a.
-5
Let l(a) be the second derivative of a**3/6 + 2*a. Let r be l(-6). Let t = 13 + r. Solve 4*k - 1 = t for k.
2
Let v be 1 - (-1 + -1 + 1). Suppose -4*t = 5*g - 20, 2*t + 3*t = -v*g + 8. Let d be 3*4*1/6. Solve t = 3*j - j + d for j.
-1
Suppose 3*k + 15 = -k + 3*w, -2*w = 3*k - 10. Solve 4*p = -k*p + 12 for p.
3
Suppose -z + 2 = -0. Suppose -19*u = -10*u - 27. Solve -z*g + u = -5*g for g.
-1
Let m(j) = 2*j - 14. Let b be m(9). Solve 0*t - t + b = 0 for t.
4
Let x = -18 - -22. Solve 15 = x*j - j for j.
5
Let l be -4*(-4 - -3) + -1. Solve l*b - 2 = -11 for b.
-3
Let k(g) = -g - 4. Let c be k(-7). Let r(u) = 3*u**2 - 4*u**2 - 3*u + 6*u. Let z be r(c). Solve -q = -z*q + 5 for q.
-5
Let f be (4/10)/(14/140). Suppose -n - f*n + 10 = 0. Solve -5*o + n*o = 3 for o.
-1
Let d be (-2)/(-3)*((-60)/(-8) - 0). Solve -m = -d*m + 4 for m.
1
Suppose 3*u - 18 = u. Solve 5*w = -4 + u for w.
1
Let i = 3 - 1. Suppose 5*d = -i*y + 20, 2*y = 2*d - d - 16. Suppose 0 + d = 2*n. Solve 2*j - 5 = -n*j for j.
1
Suppose 5*h + 9 = 2*k, h - 1 = 2*h. Let z be k/(-11) + (-92)/(-22). Suppose l + 2*l = 3*x - 36, z*x - 38 = -l. Solve -5*d = x + 15 for d.
-5
Suppose 4*s + b - 19 = 0, -7*b = -3*s - 3*b. Solve 0 = -5*u - s + 19 for u.
3
Suppose -z + 0*z + 3*v - 10 = 0, -5*v + 5 = -4*z. Let y(i) = 3*i - 7. Let h be y(z). Let f = -6 + h. Solve r + f = 2*r for r.
2
Let a be 5/(5/2) + 2. Suppose 6 = k + 5*w - 1, a = 4*w. Solve -2 = -m + k for m.
4
Suppose 5*a - 2 = 8. Suppose -8 = a*c - 4*c. Suppose -2*j + 2*q - 39 = -5*j, -2*j - 3*q = -31. Solve -1 = c*p + j for p.
-3
Suppose 7 = -i - 5*f - 15, 3*f + 30 = 5*i. Solve 0*p = i*p + 3 for p.
-1
Suppose 0 = 7*u - 4*u + 15, 0 = -4*f + u + 5. Solve f = -i - 3 + 5 for i.
2
Let y be 4 - (0 - 2/1). Let k be 14/2*(-18)/21. Let h be 4/(-5)*15/k. Solve y + h = 2*b for b.
4
Let x(y) = y**3 - 11*y**2 - 14*y + 26. Let j be x(12). Solve -j*q + 7 = 17 for q.
-5
Let s(y) = -2*y**3 - y**2. Let i be (10/(-6) - -2)*-3. Let h be s(i). Solve -b + 2 = h for b.
1
Let o be 6*(-4 + 2)/(-6). Solve -o*j = -j + 2 for j.
-2
Let k(u) = u**3 + 8*u**2 - 4. Let n be k(-8). Let h = 7 + n. Solve -f - h = 1 for f.
-4
Let c(g) = 3*g - 1. Let b be c(2). Suppose 2*m - 62 + 17 = 3*v, b*m = -v + 121. Solve -5*o - 1 = m for o.
-5
Let p = -3 - 0. Let u be p/(-1)*1 - 3. Solve u = 3*f + 5 + 4 for f.
-3
Let c be (-7 - -4)*(1 - 2). Solve -3 = c*u - 4*u for u.
3
Suppose -7 + 52 = -3*s. Suppose l + 20 = 3*l. Let f be (-6)/s + 16/l. Solve -b - 3 = -f for b.
-1
Suppose g - 3*g = 0. Let h be (2 - 1) + 15 - g. Suppose -3*k - 4 = -h. Solve 2*x - x = k for x.
4
Let t(j) = j - 12. Let i be t(15). Solve 2*y - i = y for y.
3
Suppose -5*x = 2*g - x - 14, 25 = 5*x. Let r be 6/9 - 13/g. Suppose -16 = -r*i - 6. Solve 0 = i*t + t + 9 for t.
-3
Let p(z) = -5*z. Let s be p(-1). Suppose -2*q = -s*q + 18. Solve -4*m + q - 22 = 0 for m.
-4
Let d be 3/1 - 6/(-3). Let m(s) = -s**3 + 4*s**2 + 5*s + 3. Let q be m(d). Let n be 3 + q/9*0. Solve -7 = -n*v - 1 for v.
2
Suppose -24 = -o - 4*r, 0*r = -4*o - 3*r + 31. Let v(h) be the first derivative of -h**2/2 + 4*h - 4. Let s be v(o). Solve 12 = -3*l - s*l for l.
-4
Let t(n) be the third derivative of -n**6/120 - 2*n**5/15 - n**4/24 - n**3 + 3*n**2. Let p be t(-8). Solve 3*l = -p*l + 25 for l.
5
Suppose -2 = 5*t + 3, -4*x - 21 = 5*t. Let q = x - -4. Solve q = 2*k - 2 + 6 for k.
-2
Suppose -5*h + 44 = 3*f - 48, -5*h = -f - 76. Solve -k = -5*k + h for k.
4
Let d(b) = -b**2 + 17*b - 62. Let w be d(6). Solve y - w*y + 3 = 0 for y.
1
Suppose w - 12 = -3*w. Let q(u) = -u - 1. Let n(b) = b**2 + 11*b + 8. Let l(s) = -n(s) - 6*q(s). Let i be l(-4). Solve 1 = -w*k - i for k.
-1
Suppose -5*l + 11 = -2*k - 0*k, 0 = -4*k - 12. Let x be 5/(-10)*14*l. Let h = 7 + x. Solve h = -p - 3*p + 12 for p.
3
Let f(w) be the first derivative of w**4/4 - 2*w**3/3 - w**2/2 + w + 1. Let q be f(2). Let t be (-1 - 2)/q - 1. Solve -t*l - 4 = -6*l for l.
1
Let f be (-5)/((-15)/2)*-9. Let x be (f/9)/(3/(-9)). Solve x*m + 2 = m for m.
-2
Let t(r) = r**2 + 7*r - 4. Let o be t(-8). Solve o*b = 3*b - 5 for b.
-5
Let v(m) = -m**3 + 3*m**2 - m + 1. Let s be v(1). Solve 3*l - 4 = s*l for l.
4
Suppose -2*g = -3*x + 3*g + 7, 2*x - 6 = 4*g. Let p = -9 - x. Let o be (p/14)/((-2)/7). Solve -o*q + 12 = 2*q for q.
3
Let v(f) = -f**2 + 9*f - 5. Let j be v(9). Let k = j + 4. Let u be (k - 0)/(3/(-57)). Solve u = -4*z + 7 for z.
-3
Suppose o + 28 = 30. Solve -o = -t - t for t.
1
Let j be 7/21*(1 + 5). Solve j*i = 5 + 1 for i.
3
Let f = -34 + 38. Solve -27 = f*d - 11 for d.
-4
Suppose 5*w + 0*s - 35 = 4*s, -3*w + 4*s + 29 = 0. Suppose -z - 3 = -t + 5, -10 = 5*z. Solve 0*d = -w*d + t for d.
2
Suppose -3*z = 2*z - 4*a - 32, 3*a + 21 = 3*z. Suppose -2*p + w = -w + 8, 5*p + 2*w = 8. Suppose -5*h + 10 + 10 = p. Solve -2*c = z + h for c.
-4
Let x = -54 + 92. Let s = x + -18. Solve -s = 3*c + 2*c for c.
-4
Let b be (2 - 3) + -2 + 9. Let f be 1/(-2) + (-13)/(-2). Suppose -5*t - 2*y = -f, 0*y - 4 = -4*t - 2*y. Solve -4*u = -t + b for u.
-1
Let c(u) = -4*u + 1. Let v be c(-1). Suppose 3*j = v + 10. Solve j = -3*h - 10 for h.
-5
Let n(m) = 2*m + 49. Let k be n(-23). Solve k*t = -0*t + 3 for t.
1
Let a(n) = -n**2 + 5*n + 5. Let l be a(5). Let k be ((-6)/9)/((-8)/(-6))*-4. Suppose -5*z - i = -30, l = 3*z - 4*z + k