 + 3. Let p be m(-4). Let j = v + p. Solve -2*t - 2*t - j = 0 for t.
-4
Let w(a) = a**2 + 13*a + 7. Let c be w(-13). Let y = 52 + -47. Solve c = -y*d + 2 for d.
-1
Suppose -4*u - 24 = -5*u. Suppose n = -n + u. Solve -i + n = -4*i for i.
-4
Suppose -4 = 3*a - 1. Let c = a - -5. Solve -9 = -c*v + v for v.
3
Let s(n) = 9*n - 36. Let r be s(4). Solve -2*y - 15 + 7 = r for y.
-4
Let q(w) = w**3 + 8*w**2 + 8*w + 12. Let y be q(-7). Solve -2*m = -3*m - y for m.
-5
Let t = -1 - -6. Let h be (-2)/(-1*(-1)/(-2)). Suppose 2*o - t*z - 17 = -h*z, -o + z = -10. Solve 0 = -2*a + o - 1 for a.
3
Suppose f - 2 = -4*u - 4, 4*u + 10 = 3*f. Suppose 3*w - 27 = f*w. Suppose 3*k - w = -3*x, 0*k = -4*k + 4*x + 4. Solve 0 = -3*t + k*t + 2 for t.
-1
Suppose 3*h = 18 - 3. Suppose 7 = 4*f - 5. Suppose -170 = -5*x - 5*p, -4*x + 108 = -0*p - f*p. Solve -x + 5 = h*z for z.
-5
Suppose -x = -3*x - 2*x. Solve -2*b + x = -6 for b.
3
Let x be -12*(2 - (-15)/(-6)). Suppose x = -c + 1. Let d be (c/(-10))/((-2)/(-8)). Solve 0 = d*u - 7*u + 20 for u.
4
Suppose 2*m - 6*m = -2*l - 22, 0 = -l - 5. Solve w = -m*w - 12 for w.
-3
Let m(r) = -r**2 + 10*r - 12. Let c be m(8). Suppose -t + 3*q - c = 0, -4*q = -2*t - 2*t + 16. Let n(b) = -b - 5. Let d be n(-5). Solve d = t*i - 3*i for i.
0
Let u(l) = l**2 + 21*l + 24. Let d be u(-20). Solve d*p = -7 + 3 for p.
-1
Suppose -h - 4*t + 23 - 1 = 0, h - 3*t = 1. Solve y + h = 3*y for y.
5
Suppose -4*l - 4*l = -8. Solve l = -3*p + 7 for p.
2
Let y be 0*(-2 - -6)/(-8). Solve 3*g + y*g = -3 for g.
-1
Suppose -8*w + 50 = 18. Solve 0 = -0*d - w*d - 12 for d.
-3
Suppose a = 2*f + 6, -5*a - f = -8 - 0. Solve -a*z + 10 = -4*z for z.
-5
Suppose -4*w + 5*w - 3 = 0. Suppose -3*n + 8*n = -250. Let p be (-7 - -1)*n/15. Solve -p = -w*t - t for t.
5
Suppose 0 = 2*o - 68 + 64. Solve -2 = o*g - 10 for g.
4
Let l = -60 - -63. Solve -l*a = -0 - 9 for a.
3
Suppose -2*s - 2*f - 1 = -19, -f + 4 = 0. Suppose s - 2 = 3*z. Solve 0 = 3*r - 13 + z for r.
4
Let u be (-4)/(-16) + 17/(-4). Let y(m) = m**3 + 5*m**2 + 5*m + 6. Let q be y(u). Solve -q*v - 2*v + 16 = 0 for v.
4
Suppose 5*u + 2 = -4*i, -6 = -0*i + 2*i. Suppose l = -10 + u. Let s be (-15)/(-6)*l/(-10). Solve 2*g + s = 3*g for g.
2
Suppose v = -3*a + 6, 0 = 2*v - 6. Solve -1 = -i + a for i.
2
Let u = 3 - -10. Suppose -u = 4*w - 3*m, 2*m = -4*w - 0*m + 2. Let f be (-4 + 5)/(w/(-2)). Solve 4*a + 2 = -f for a.
-1
Let w be (-16)/(-24) + (-7)/(-3). Solve 0*q + 6 = -w*q for q.
-2
Let k(v) = 9*v - 1. Let h be k(1). Suppose 3*x = -2*x + 20. Suppose -3*t - g + 9 = -2*g, -3*t = g - 15. Solve x*r + h = -t for r.
-3
Let w = 19 - 15. Solve 0*b = -w*b for b.
0
Let p be (-4)/6*(7 - 4). Let z = p + 4. Solve 8 = -0*i - z*i for i.
-4
Let b(u) = -u**2 - 3*u + 32. Let k be b(-7). Solve -2 = 2*w - k*w for w.
1
Suppose 5*i - 180 = 5*y, 3*i = 2*y + 2*y + 140. Let d(a) = -a**2 + 2. Let u be d(4). Let c be y/u + (-8)/28. Solve -7 + c = -m for m.
5
Let t = 8 + -3. Solve -1 + t = -4*i for i.
-1
Let v(h) be the second derivative of h**3/2 + h**2/2 + 3*h. Let a be v(5). Solve 3*l - a = -l for l.
4
Let l = 65 - 36. Suppose -3*d + l = -4. Solve -4*h + d = 3 for h.
2
Let m(n) = 5 - 3 + n + 2*n. Let u be m(3). Let b = -5 - -10. Solve u + 9 = b*r for r.
4
Let v(l) be the second derivative of -l**5/20 - 5*l**4/12 - l**3/3 - l**2 - l. Let y be v(-5). Suppose -16 = -4*d + y. Solve f + f + d = 0 for f.
-3
Let n(a) be the second derivative of a**4/6 + a**3/6 - a**2 + 5*a. Let f be n(-2). Solve u = -u + f for u.
2
Let k(j) be the second derivative of -j**5/20 - j**4/3 - 2*j**3/3 + j**2/2 + 6*j. Let t be k(-3). Solve 0*p + 20 = -t*p for p.
-5
Let b be (-3)/(-1) - (-6 + -66). Suppose 8*d - 3*d = b. Solve x = -4*x + d for x.
3
Let k = -7 - -11. Let l = -8 + k. Let m be 2 + -2 + l/(-1). Solve 0*t + t = m for t.
4
Let q be (0 - -12) + (0 - 1). Suppose 3*b - 2*u = -q, 6*b = 2*b - 4*u + 12. Let p be b + (3 + -1 - 1). Solve c = -p*c - 5 for c.
-5
Let s(q) = q**2 + q - 9. Let c be s(-4). Solve c*m - 3 = -0 for m.
1
Suppose 5*d - 4*c = -0 - 19, -1 = d + 2*c. Let u(q) = -q**3 - 4*q**2 - q - 1. Let t be u(d). Let w = t - -11. Solve 3 + 1 = w*z for z.
1
Suppose y - 10 = 5*z - 3*z, -8 = 2*z. Suppose -4*j - 55 = -5*g, -4*j + 65 = g + y*g. Solve -4*k + 3 = g for k.
-3
Suppose 4 = m, -3*a + 3 = -m - 2. Solve a*q - 14 = -2 for q.
4
Let s be 3 + (-3 - -4) + 1. Solve 29 = -s*c + 4 for c.
-5
Let b be 2 - 2 - 2 - 14. Let p = -6 - b. Let d be (12/(-20))/((-2)/p). Solve -2*x - d*x = 0 for x.
0
Let w = -6 - -10. Solve -q - w = q for q.
-2
Let h(r) = -2*r - 8. Let l be h(-9). Solve s = -s - l for s.
-5
Suppose 3*n - 6 = 2*y, -2*y - y = n - 13. Solve 0 = 2*t - 1 - y for t.
2
Suppose b + 10 = 6*l - 2*l, -4*b = 4*l. Let i = 0 + l. Solve -1 - i = w for w.
-3
Let a(b) be the first derivative of -3*b**2/2 + 1. Let m be 3*10/(-15)*3/2. Let y be a(m). Solve y*z = 4*z for z.
0
Suppose -2*t = 4 - 14. Suppose 6 = h + 2*h + z, 0 = -t*z - 15. Solve -2*d + d + h = 0 for d.
3
Suppose -r = 3*r - q + 3, 16 = -3*r - 2*q. Let k be (-13)/(-4) - r/(-8). Solve k*d = 4*d + 3 for d.
-3
Let o = 23 + -23. Let c be (o/2*1)/2. Solve c = -9*z + 4*z for z.
0
Let i(d) be the second derivative of -1/3*d**3 - d**2 - 1/2*d**4 - 1/20*d**5 + d + 0. Let j be i(-6). Solve j = 5*v - 10 for v.
4
Let p be (0 + 2 + -1)*-1. Let c be p/((-1)/6) + -1. Let k(n) = 3*n + 13. Let h be k(-3). Solve -5*u - c = -h*u for u.
-5
Let v = 15 + -11. Let x = -3 + v. Solve -h + x = 4 for h.
-3
Let b be (-6)/(-15) - (-246)/10. Let r = b - 21. Solve 0 = r*o - 1 - 19 for o.
5
Let f = -1 - 2. Let w be f + 11 + 0/2. Solve 4*d + 8 = -w for d.
-4
Suppose 14*k = 10*k + 12. Solve 19 - 4 = -k*y for y.
-5
Suppose 4*x + 5*g = 5, g = -2*x - 0*x + 7. Solve 12*z + x = 13*z for z.
5
Suppose 0*r - 5*r = -320. Suppose -g + 5*g - r = 0. Solve 0*n + 4*n + g = 0 for n.
-4
Let d be (-12)/(-84) - 34/(-7). Suppose 0 = -4*h - 5*b - d, -40 = h - 5*h + 4*b. Solve -2*t = -h*t for t.
0
Let v = -88 + 89. Solve 0 - v = -j for j.
1
Suppose -5*o = -3*j + 1, -j = -5*j + 5*o + 3. Suppose -h - h = -j. Solve -s = -0 - h for s.
1
Let s(z) be the second derivative of z**5/20 - 5*z**4/12 - 5*z**3/6 - 2*z**2 + 19*z. Let o = 1 + 5. Let t be s(o). Solve u = -u + t for u.
1
Suppose -2 = -5*p + 3. Suppose -2 = -2*y + 8. Let i = 1 + y. Solve -o + i - p = 0 for o.
5
Let d be (-33)/(-12) + 5/((-20)/3). Let g(i) = i + 3. Let f be g(0). Solve v = f + d for v.
5
Let k = -2 + 2. Suppose -3*s - 12 = 0, -3*q = -4*s + 9*s + 17. Suppose d - q = -k*d. Solve a + 6 - d = 0 for a.
-5
Suppose -4*b = 5*m + 65, -m + 3*b + 3 + 3 = 0. Let f(o) = o + 5*o + o**2 + 3*o + 2. Let p be f(m). Solve 2*s = -p*s for s.
0
Suppose 2*y - 5 + 1 = 0. Suppose -5*n = 4*q + 6, -3*q - 4 - 4 = 2*n. Let j = -3 - -3. Solve y*s + j = n for s.
1
Suppose -3 = y - 5. Solve t - y = -0*t for t.
2
Let b be (-32)/(-6) + 6/(-18). Suppose -4*x = -2*c - 1 + 21, b*c - 17 = -x. Solve 6*u - 5*u = c for u.
4
Let i(t) = t - 2. Let w be i(-7). Let h be (3/w)/((-2)/6). Let m be (11 + 2)*h - -2. Solve -4*q + m = 3 for q.
3
Let a(w) = w + 5. Let l be a(-5). Suppose 4*z - 7*z + 6 = l. Solve -3*k = z*k - 5 for k.
1
Let d(p) = p**2 - 4*p - 5. Let u be d(5). Suppose -2*h = -3*h. Solve h = -u*k - k for k.
0
Let q(y) = y + 8. Let d be q(-11). Let x(w) = w**2 + 3*w + 4. Let h be x(d). Solve p + h = -p for p.
-2
Let k be ((4 - 0) + -5)*-8. Solve 6*a = 4*a - k for a.
-4
Let q be (-6)/4 + 22/4. Solve q*t - 9*t = 10 for t.
-2
Suppose -2*y = 2*y - 72. Suppose -3 = 5*u - y. Suppose u*k = 3*h - 9, k + k - 4 = 0. Solve h*d = d for d.
0
Suppose -5*q = -3*q - 20. Solve -4*o = o - q for o.
2
Suppose 0 = -2*h + 4*h. Let y(n) = n + 2. Let r be y(-2). Solve h*s - 3*s = r for s.
0
Let m be (-24)/(-9)*3/2. Let a be 34/6 - (-1)/3. Solve -m*k - a = -k for k.
-2
Suppose 9 - 2 = y. Suppose 5*w - 17 = -0*q + q, -5*w + 4*q + 8 = 0. Solve -w*s = -y - 1 for s.
2
Let i(t) be the third derivative of t**5/60 - 11*t**4/24 - 5*t**3/3 - t**2. Let l be i(12). Solve 14 = -l*v + 4 for v.
-5
Suppose -9 = -5*k + 2*k. Solve 0 = -6*s + k*s - 3 for s.
-1
Let k = -14 - -16. Let u = 1 + -1. Solve u = -k*v + 5 - 1 for v.
2
Suppose 112 = z + 3*z. Suppose 16 = -4*a, b + 5*a = 1 - z. Let c(r) = r + 10. Let n be c(b). Solve 3 + n = -3*s for s.
-2
Let f(q) = -7*q + 1. Let p(l) = -l**2 - l - 1. 