et i = -29 - -39. Solve 0 = d + d - i for d.
5
Let b(m) = 2*m + 36. Let v be b(-16). Solve -v*w = -0*w - 4 for w.
1
Suppose 0 = 4*r - 16 - 12. Solve -r*h + 2*h = -15 for h.
3
Suppose 4*a - 4*q - 32 = 0, -7 = -4*a - 4*q + 3*q. Suppose -5*f - a = 3*b - 15, 2*f - b - 7 = 0. Suppose -h = -f - 1. Solve -s + 3*s = -h for s.
-2
Let b = -141 - -95. Let p = b - -64. Let k = p + -10. Solve -4*o - k - 8 = 0 for o.
-4
Suppose -j - 4*j = -c + 6, 0 = -2*c - j + 23. Solve -3*d + 4 + c = 0 for d.
5
Suppose -2*p + 1 = 3*t, 2 = 3*p - 2*t - 6. Solve p*v = 5 + 3 for v.
4
Suppose 51 = 13*b - 14. Solve -j + 2 = b for j.
-3
Let t be (8/14*1)/((-6)/(-21)). Solve -25 = -t*d - 3*d for d.
5
Let a(n) = -4*n - 3. Let w be a(-2). Suppose -4*v = 4*u - 20, w = -u - 2*v + 6*v. Suppose u*q = -2*q. Solve -16 = -q*s - 4*s for s.
4
Suppose -2*r = -2*a + 1 - 5, -3*r + 8 = -2*a. Suppose k + 13 = 2*w, -r*w + 5*k = -7*w - 13. Solve w = t - 0*t for t.
4
Let n = -2 + 5. Let r = 21 + -1. Suppose 5*o - r = 0, -3*h + 4*h - 2*o + 3 = 0. Solve -n = -h*k - 28 for k.
-5
Let m be (-18)/(-5)*5*-1. Let y be m/4*56/(-12). Let z be (-1 - (-1)/2)*-8. Solve z = 5*u - y for u.
5
Suppose 0 = w - 5*p + 10, -p = -5*w - 2 - 0. Let y = 2 + w. Suppose y*j + 0*j = 0. Solve z - 5 = -j*z for z.
5
Let b(n) = -n**3 + 7*n**2 - 5*n - 3. Let u be b(6). Solve 0 = u*y - 0*y for y.
0
Let f be 380/15 + 2/(-6). Solve 0 = 3*d + 2*d - f for d.
5
Let z(r) = -10*r + 8. Let c(x) = -11*x + 9. Let v(w) = -5*c(w) + 6*z(w). Let p(i) = 4*i - 2. Let g(u) = -3*p(u) - 2*v(u). Let f be g(-1). Solve -l = f*l for l.
0
Let y = 24 - 18. Solve 0 = -4*x + 22 - y for x.
4
Let h(n) = n**2 - 3*n - 3. Let b be h(6). Let y = 17 - b. Solve -1 - 3 = -y*d for d.
2
Let m(p) = 3*p - 7. Let l be m(9). Solve 6*r - r = -l for r.
-4
Let m be 6/(3 - (-15)/(-10)). Solve 0 = -7*i + m*i for i.
0
Let m(j) be the second derivative of j**5/60 - 5*j**4/24 + j**3 + j**2 - 4*j. Let p(v) be the first derivative of m(v). Let t be p(4). Solve l = -0*l + t for l.
2
Let n = 45 + -35. Suppose 5*j = 3 + 2. Let w be (-1 + 1)*j/(-2). Solve w = -n*a + 5*a for a.
0
Let t be 11 + -10 - 8/(-2). Solve o + 4 = t for o.
1
Suppose -l + 2 - 1 = 0. Solve -l = -5*g - 21 for g.
-4
Let i be (-4 + 6)*1*-1. Let m(x) = -x**3 - 2*x**2 - 1. Let b be m(i). Let j(l) = -2*l**3 + 2*l**2 + l. Let k be j(b). Solve 0*z - 6 = k*z for z.
-2
Suppose 3*m = -2 + 50. Solve -6*n = -2*n + m for n.
-4
Suppose 0 = 4*k - 184 - 36. Suppose 4*z + 0*f = f + k, 0 = 5*z - 3*f - 60. Solve -5*j = -0 + z for j.
-3
Suppose 2 + 10 = 3*y. Suppose -2*a + 6 + 4 = 0. Suppose 0 = -a*z + 5, 4*u - 4*z = -4 - 0. Solve u = h - 2*h - y for h.
-4
Suppose -5*n = -4*w - n + 20, 5 = -w + 3*n. Let l be (-2)/(-8) - w/40. Suppose l*q = -3*q. Solve 4*d - d - 12 = q for d.
4
Let b be 1 - 0 - (0 - 1). Solve b*o = o + 4 for o.
4
Suppose 0 = 2*x + 6, -5*x + 6 = 3*k - 9. Solve k = -g - g for g.
-5
Let w = -77 + 81. Solve w*p - 15 = 9*p for p.
-3
Suppose -f = 5*b + 3, 0*b + 4*f + 12 = b. Suppose -2*m - s = -11, -m - 4*s + 1 + 8 = b. Solve q = 2*q + m for q.
-5
Let s = 95 + -90. Solve s*z + 8 = z for z.
-2
Let i be (-2 + 1)*-2*(-2 - -4). Solve 2*f = i*f for f.
0
Let i(x) = -x**2 + 2*x + 2. Let p be i(4). Let z = -6 - p. Solve z = 3*m - 9 - 0 for m.
3
Suppose -g - g = -4. Let w = -34 - -34. Solve 0 = g*f - w*f + 2 for f.
-1
Suppose -x = x - 5*r - 13, 4*x - 3*r - 19 = 0. Let d be 13/5 - x/(-10). Let n(z) = -z**2 + 6*z - 6. Let y be n(3). Solve -3*o - y - d = 0 for o.
-2
Suppose 0 = -3*i - 3 - 6. Let z = i - -3. Let d be (1 - z)*(2 - -1). Solve 7 = 2*a - d for a.
5
Let c be (10 - 8)*(3 + (-1 - 1)). Solve -c = -g + 1 for g.
3
Suppose -h = 7*h. Solve 2*g - 1 - 5 = h for g.
3
Let j be 3 - 12/16 - (-2)/(-8). Solve -5 = j*i + 5 for i.
-5
Let x(o) = -o + 20. Let p be x(0). Suppose -4*i - p = -9*i. Solve j = -i - 0 for j.
-4
Suppose -5*p = -15, 0*p - 5*p + 24 = 3*f. Suppose 4*c - n - 12 = 0, 15 = -5*n - 5. Let h be (4/5)/(2/25). Solve -f*t - h = c*t for t.
-2
Let p(o) = -3*o**3 + 2*o**2 + 2*o + 1. Suppose 3*d - 15 = 0, -4*h + 2*d - 5*d = -11. Let r be p(h). Let a be -4 + 4 - -3*r. Solve 4*w + 0*w = a for w.
3
Suppose 0 = 5*t - 0*t - 15. Suppose 17 = 2*g + 3*z, 2*z - 27 = -3*g - t*z. Suppose 2*l + g*m = 14, -4*l + 8 - 2 = -3*m. Solve -u = l*u - 8 for u.
2
Let a = 32 - 27. Solve -18 - 2 = a*o for o.
-4
Let o(g) = -g**3 - 3*g**2 + 2. Let i(f) = -f - 3. Let l be i(-4). Let w be l/((-8)/6 - -1). Let y be o(w). Solve -y = 5*s + 13 for s.
-3
Suppose 0 = 2*f + t + 2*t + 5, 5*f - 5 = -4*t. Suppose 5*l + 6 = -9. Let g = f + l. Solve -11 = -g*v - 1 for v.
5
Let d be (-1)/((-6)/9*(-3)/(-6)). Solve w + 2*w = -d for w.
-1
Let g be (-2)/(-3) - (-8)/6. Suppose 2*t + 4 = -g*c, -4*c = 5*t - 2*c + 4. Solve -5 = -t*m - m for m.
5
Suppose 2*h - 4*l + 12 = 0, -5*h - 2*l - 3 + 9 = 0. Solve h*j + 5*j + 5 = 0 for j.
-1
Let t = -41 - -44. Solve n = t*n + 6 for n.
-3
Let f = -9 - -11. Solve 0*x - f*x - 10 = 0 for x.
-5
Let j(t) = -t**2 + 5*t + 1. Let z be j(5). Solve 2*o = -5 - z for o.
-3
Let b = 8 + -5. Suppose 0 = 5*a - b*a. Solve -5*y + a - 20 = 0 for y.
-4
Let s = 1 + -1. Let r = -7 - -6. Let d = r + 5. Solve 2*b + s = -d for b.
-2
Let l(k) be the first derivative of -k**4/4 - 5*k**3/3 + 5*k**2/2 - 3*k + 5. Let d be l(-6). Solve -2*q = 5 - d for q.
-1
Let k(t) be the second derivative of 41*t**4/12 + t**3/6 - t**2/2 - t. Let w be k(1). Suppose -3*o - 17 = -3*s - 2*o, 5*o = 4*s - w. Solve -s*z = z + 20 for z.
-4
Suppose 0*b = 4*b + s - 14, 4*s = -4*b + 8. Solve b*g + 5 + 15 = 0 for g.
-5
Let s(f) = -f**2 + 5*f + 5. Let h be s(7). Let y = h + 5. Let r = 12 + y. Solve -r*q - 20 = -4*q for q.
-5
Let t = 172 - 171. Solve 5 + t = -3*y for y.
-2
Suppose 6 = 5*c - 34. Suppose 4*z + 0*g + 3*g - 33 = 0, -z - g + c = 0. Solve 0 = 4*o - z*o for o.
0
Let p = 75 + -75. Suppose 0*x - x = 10. Let l be 2*(x/(-4) - -2). Solve -3*y + 0 + l = p for y.
3
Let w(t) = t**3 + 4*t**2 + 2*t. Let b be w(-3). Suppose -z - 21 = -3*s - 2*s, -b*s = -15. Let r = -3 + z. Solve -a = -2*a + r for a.
1
Suppose -5*m = -m - 4. Let i be m*-2 + 0 + 0. Let a = 2 + i. Solve a*n - 1 = -n for n.
1
Let w = 8 + -5. Solve -w*u + u = 6 for u.
-3
Let q(a) = a**2 + 4*a. Let i be q(-4). Let x be i/(0 - -1) + 0. Let j be (2 + -2)/(x - -2). Solve -w = -j*w for w.
0
Let s(y) be the third derivative of y**5/24 + y**4/24 - y**3/2 + y**2. Let v(o) be the first derivative of s(o). Let w be v(1). Solve -w = -4*l + 2*l for l.
3
Let v(p) = 2*p**2 + 6*p + 2. Let c be v(-5). Let g be 1/2 + c/4. Solve -z = -g*z for z.
0
Let j be (2*-3)/(15/(-20)). Solve 3*i - 1 - j = 0 for i.
3
Suppose -5*a + 5 + 0 = 0. Let r = 63 + -52. Solve 2*s = -r + a for s.
-5
Suppose -4*k - 4*o + 11 = -121, 3*k - 94 = 2*o. Solve k = 5*d + 12 for d.
4
Let r = 7 - 15. Let f be ((-12)/r)/(3/10). Solve -f + 1 = 2*x for x.
-2
Suppose 1 = -2*f + 5. Suppose 0 = 3*c + 3*t - 5 + 8, -2*c = t - 3. Solve -5*v + f = -c*v for v.
2
Let t be -2 - (-10 - -4) - 4. Solve t*g - 4 = 2*g for g.
-2
Let j = 2 + 1. Let s be (46/(-10) + (-9)/(-15))*-1. Solve -4*g + j*g = s for g.
-4
Suppose 3*n = 3*q - 36, 0*n = 2*n + 2*q + 4. Let k be 1/n + 86/14. Solve -y = -3*y - k for y.
-3
Suppose 16 = -3*n + 4*m, 4*m = m + 12. Let u = 22 - 12. Solve n = -5*x - u + 25 for x.
3
Let l be 12 - (-5)/((-5)/4). Solve 0 = -3*q + l + 1 for q.
3
Suppose -h - 3*a + 5 = 0, -19 = -5*h - 4*a - 5. Suppose -3*w + 9 = h*i, 5*w + i - 37 = 5*i. Let g = w + -5. Solve g = -7*f + 3*f for f.
0
Suppose u - 21 = -2*u + 5*s, 0 = -2*u - 4*s - 8. Solve u*y - 15 = -3*y for y.
3
Let c = -6 + 8. Let t = -3 - -5. Let a be (t/3)/((-2)/(-3)). Solve c*m - a = 1 for m.
1
Let s(l) = l**2 + 3*l + 3. Let c be s(-3). Solve u = -c*u for u.
0
Suppose 0 = 4*z + 5*g + 25, -z - 4*g - 20 = -0*g. Let y(s) = -s**2 + 6*s - 5. Let a be y(4). Solve z = -b - a*b - 16 for b.
-4
Let w(y) = -y**2 + 2*y + 3. Let z be w(3). Suppose t + 2*r = -6, z = 5*t - r - 3. Solve 0*l - l - 3 = t for l.
-3
Let b be (2/3)/((-9)/(-54)). Solve b*x = -x for x.
0
Suppose 0 = -4*l + 3*w + 14, -l - 5*w - 14 = -3*l. Let t(i) = i**3 - 2*i**2 + i + 2. Let s be t(l). Suppose -16 + s = 3*f, g + f = 0. Solve 12 = 2*p + g for p.
4
Suppose 2*b = 3*b. Suppose b = -8*n + 7*n. Solve 6*z - z - 5 = n for z.
1
Let g(w) = w**3 - 3*w**2 - 8*w - 5. Let n be g(5). Solve n*p - 20 = -0 fo