 0 = 0 for d.
4
Suppose 2*k - d - 15 = 0, -4*k + 4*d = -16 - 24. Suppose -33 + 8 = -4*l + k*s, s + 5 = 5*l. Solve -3*u + l + 15 = 0 for u.
5
Suppose -6 + 74 = 2*l. Suppose 2 = -c - 0*c - h, 5*h = 3*c - l. Suppose -1 = -r, c*w + 5*r - 6 = 2*r. Solve w = -o - 0 for o.
-1
Let v(r) = -r + 19. Let p be v(8). Solve -p + 2 = 3*n for n.
-3
Let t be 0/(-2)*(-1)/2. Suppose 0 + 1 = h - l, 0 = -2*h - l - 4. Let o = 9 + h. Solve -3*j + j - o = t for j.
-4
Let n be 18/(-30) + 8/5. Let z be 0 + n + (-12)/(-6). Solve 5 + z = 4*c for c.
2
Let y be 6/(-10) - 36/(-10). Solve -y*g + 2 = -10 for g.
4
Suppose 4*p - 5 = 3. Suppose i - p = 1. Suppose 0*f = -3*f. Solve f = g + i*g + 4 for g.
-1
Suppose 44 = -4*m + 8. Let z be (2 - 4)*(m - 2). Let u be 2/6 + z/6. Solve -5*r + r - u = 0 for r.
-1
Suppose 3*k - 25 = -2*m, 0*k - 60 = -4*m + 4*k. Suppose 0 = 3*g - s - m, 7*g = 3*g - 3*s + 10. Solve -7 - 9 = g*h for h.
-4
Suppose 0 = 5*x - 50 - 10. Solve 2*p = -2*p + x for p.
3
Let n(z) be the third derivative of -z**6/24 - z**5/30 - z**4/12 - z**3/6 + z**2. Let q be n(-1). Solve -q*y + 7 = -13 for y.
5
Suppose -8*l + 6 = -6*l. Solve -l = -0*s + s for s.
-3
Let u(g) = g. Let z be u(-2). Suppose 3*w + 8 = 41. Let s be -1 + w + z + 1. Solve -34 = 5*o - s for o.
-5
Let j(y) be the first derivative of y**4/4 + 4*y**3 + 5*y**2 - 8*y - 6. Let a be j(-11). Solve -a*x = 2 - 8 for x.
2
Let n be (-11)/2 - 3/(-6). Let b be (n/3 - -1)*-3. Suppose b*t + 0 = -4*r - 2, -5*r = -4*t - 17. Solve 0 = g + r + 2 for g.
-3
Let s(h) = -h**3 + 7. Let r be s(0). Let d = 7 - r. Let c be (-2)/((-10)/4 - -2). Solve d = c*g - 7*g - 12 for g.
-4
Let b be 779/171 - 4/(-9). Solve -2*v - b = 3*v for v.
-1
Suppose -23 = -3*v - w - 3*w, -3*v = 2*w - 13. Let d(a) = -a**2 + 8*a - 7. Let q be d(5). Let r(m) = -m + 10. Let p be r(7). Solve -q = p*k + v for k.
-3
Let a(b) be the third derivative of b**4/24 - 2*b**2. Let i(t) = t**2 - t. Let p(q) = -5*a(q) + i(q). Let s be p(6). Solve s = -3*h - 3 for h.
-1
Let p be (-4)/(-8) - 10/(-4). Let o(a) = -3*a**p + 5*a**2 + 3*a - 2 + 4*a**3 + 0*a**3. Let i be o(-3). Solve -4*m = -i*m + 3 for m.
1
Suppose 0 = 5*d - 59 - 96. Let j = -1 + 1. Suppose -4*l + 3*m + 4 + d = j, 5*l - m - 30 = 0. Solve 0*h = -l*h - 5 for h.
-1
Let h = 45 + -29. Let q be 1*(1 - h/(-4)). Solve 0 = c - q*c for c.
0
Let v = 27 + -7. Suppose v = 5*m - q, -5*m + 0*m - q = -30. Suppose 0*z = -5*z. Solve z = -3*l + m*l + 4 for l.
-2
Suppose -d + 4*d = 0. Suppose b - 25 = -d*b - 5*a, 2*b = 3*a - 15. Solve b = -3*t - 12 - 0 for t.
-4
Let r = -4 + 10. Solve r*x - 2*x + 12 = 0 for x.
-3
Let s(q) = -q**2 + 6*q - 6. Let f be s(3). Solve -2 = 2*w - f*w for w.
2
Let b be (2/(-6))/(3/(-27)). Suppose 10*t - b = 9*t. Solve 0 = t*i - 0*i for i.
0
Suppose 0 = 5*r + 6 - 21. Suppose -r*t = t. Solve 5*d - 10 = -t*d for d.
2
Let p = 15 + -25. Let l(v) = -v**2 - 11*v - 6. Let h be l(p). Solve 0 = m - 2*m + h for m.
4
Let k(j) = -j**2 - 5*j - 4. Let o be k(-3). Solve -4 + o = 2*y for y.
-1
Suppose 3*v - 10 = c + 3, 19 = v - 4*c. Let d(h) = -2*h**3 + 15*h**2 + 12*h - 28. Let w be d(8). Solve -v*p + 13 = w for p.
3
Let p be (3/1)/((-5)/(-15)). Solve -p = o - 4*o for o.
3
Let p = 7 + -5. Suppose -p*o - 3*c = -3*o + 15, 3*o - 5*c - 37 = 0. Solve -3*h = -o + 3 for h.
2
Let c(s) = 4*s**2 - 2*s + 4. Let r be c(4). Suppose u + 2*u = r. Suppose g - 3*b + 4 = 0, -1 - 1 = -3*g + 2*b. Solve -g*d - u = 2*d for d.
-5
Suppose -14 = -4*i - 2. Solve -i*u + 1 = -2 for u.
1
Let j = -113 + 125. Solve -3*l - j = l for l.
-3
Suppose 5*a + w - 55 = 0, 2*a = -2*a - 2*w + 50. Let f be (-2)/(-8) + (-297)/(-12). Let q = f - a. Solve 6*g = g + q for g.
3
Let h be 6/(-24)*(-4 + 0). Let x be (0 - h)/(4/(-8)). Solve -4*z = -3*z - x for z.
2
Let o = -167 - -173. Solve 0 = -o*c + c + 10 for c.
2
Let s(t) = -t**3 - 12. Let h be s(0). Let q = -8 - h. Solve -u + q = 1 for u.
3
Let w(j) = 2*j**2 + j - 1. Let r be w(1). Suppose r*h - 3*z - 16 = 0, 4*h + 0*z = 2*z + 16. Solve h*v = -v - 3 for v.
-1
Suppose -z - 5*w + 11 = -6, w = -z + 5. Solve -z*n - 4 = -n for n.
-4
Suppose f - 5*l - 1 = 38, -87 = -4*f - 3*l. Suppose 3*i - 7 + f = p, -p - 4*i = 18. Suppose -k - u + 4 = 0, 0 = 2*k - 3*u - 3. Solve 0 = k*y - p - 10 for y.
4
Suppose 5*b = 19 - 4. Suppose 16 = 4*w, 4*n - 3*w = 2 + 30. Solve b*p - n = -2 for p.
3
Let l(c) = c**2 + 3*c + 2. Let n be l(-3). Let b be (2 - (-2)/n) + 1. Suppose -2*y + 4 = -g, b*y + 2*g - 12 = 4. Solve y*r - 20 = 7*r for r.
-5
Let z be -2 - 0 - 1*-7. Suppose 5*g = -2*f + 3 + 15, 3*g + 2*f - 10 = 0. Solve 0 = z*t - 11 - g for t.
3
Let r be -2 + -1 - (-6 - -1). Let a = -2 + 5. Suppose -a*s + 11 = -1. Solve -r*c + s = -0*c for c.
2
Suppose 7*x - 16 = 3*x. Solve 0*v - 16 = -x*v for v.
4
Suppose -2*p = -o - o + 4, -4 = -o - p. Let x(l) = 3*l - 27. Let t(d) = d**3 + 11*d**2 + 9*d - 1. Let n be t(-10). Let b be x(n). Solve -o*u + b*u = -15 for u.
5
Suppose 0 = 6*w - 3*w - 6. Solve 3 = -w*z + 1 for z.
-1
Let m = 14 + -12. Let n = 1 + m. Solve k = n*k - 8 for k.
4
Suppose -54 - 1 = -5*y - 5*k, -3*k = -9. Solve u + u + y = 0 for u.
-4
Suppose 0 = 4*s + 17 + 3. Let b = s + 13. Solve b*f = 5*f - 12 for f.
-4
Let z = 5 - 3. Suppose 4*i = -2*v - 36, 3*i + 2*v = z*i - 9. Let r = i - -16. Solve -r*t + 3*t = 12 for t.
-3
Let v(u) = u**3 - 7*u**2 + 2*u - 9. Let j = 15 + -8. Let b be v(j). Let r = b + -4. Solve -3*a = r - 13 for a.
4
Suppose j = -0 - 4, 0 = -3*s + 4*j + 31. Suppose 3*n - 3*l = 18, s*n = l - 0*l + 22. Solve -c + n = 5 for c.
-1
Suppose -29 + 54 = 5*r. Solve r*j = 2*j - 3 for j.
-1
Suppose 0 = -4*n - 4*j + 32, 27 = 4*n + 5*j - 2*j. Suppose u = -n*u. Solve u*i = i + 5 for i.
-5
Let z be (-24)/36*(-1 - 8). Solve 0 + z = -2*n for n.
-3
Let v be 1 - 2/((-8)/(-20)). Let a be 2/4*(0 - v). Solve a*r = -2*r for r.
0
Let h(w) = 2 + 2*w**2 - 3*w**2 + 0*w**2. Let d be h(0). Solve 2*f - 2 - d = 0 for f.
2
Let s = 11 + -9. Solve -s*t = -5*t for t.
0
Let d = -19 + 13. Let v be ((-4)/3)/(d/9). Solve v = -2*h - 4 for h.
-3
Suppose -56*m + 20 = -51*m. Solve y = m*y for y.
0
Let z(w) = 5*w - 31. Let y be z(7). Solve 20 = -0*u + y*u for u.
5
Suppose 3*u - 4*i = -34, 3*u = -0*u - 3*i - 69. Let v be u/4 - (-2)/(-4). Let l = -4 - v. Solve 10 = -3*q + l for q.
-3
Suppose -1 = -2*k + k. Let w = k - -2. Suppose -w*i = -0*i - 6. Solve -i*q = 3*q + 25 for q.
-5
Let j(f) = f**3 - 6*f**2 + 7*f - 6. Let y be j(5). Suppose -2*a = w + w - 4, -2 = -a + y*w. Suppose a*h - 1 - 3 = 0. Solve 0*x = -h*x - 8 for x.
-4
Let q = -11 + 14. Suppose 12 = 3*g + 3. Solve -2*i + g*i = q for i.
3
Suppose 2*v + j + 19 = -0*v, -3*j = -v + 8. Let l = -7 - v. Solve l = 2*w - w + 2 for w.
-2
Let l(p) = 2*p + 8. Let x(r) = -3 + 2*r - 4 - 3*r. Let y(u) = -2*l(u) - 3*x(u). Let m be y(0). Solve 0 = m*f - 3 + 13 for f.
-2
Let p(r) = r**2 - 6*r + 9. Suppose 7 = -2*t + 23. Let g be p(t). Solve g = 4*s + s for s.
5
Suppose -20 = 5*c + 5*t, 3*t + 16 = c - t. Suppose 0 = 5*s - c*s - 25. Solve i - s*i = 12 for i.
-3
Suppose 0 = 3*b - b. Suppose b = -u - u. Solve u*q = q for q.
0
Let h(m) = 3*m**2 - 9*m + 11. Let i(v) = v**2 - 5*v + 5. Let n(j) = -2*h(j) + 5*i(j). Let c be n(-7). Suppose 9 = c*q + 3. Solve -3*w + 5 = q*w for w.
1
Let q = 95 + -86. Solve -1 = 5*v + q for v.
-2
Let o(v) = v**3 - 10*v**2 + 2*v - 10. Let y be o(10). Solve 0 = -8*z + 3*z - y for z.
-2
Let r be (-8)/6*(-3)/1. Let q = -1 - -3. Let a = 2 + q. Solve 3*i = r*i - a for i.
4
Suppose -7*m = -9*m + 2. Solve -v = -0*v - m for v.
1
Let a = -8 + 13. Suppose c - 7 - 10 = 5*z, 5*z - 2*c = -14. Let s be 6*z/(24/(-15)). Solve a*q = -s - 5 for q.
-4
Suppose 3*r - 16 = -2*i, 3*i - 2*r - 2 = -2*i. Let t(h) = 1 - 3*h**i + 2*h**2 + 0 + 2*h**2. Let g be t(2). Solve 4 = 3*a - g*a for a.
-2
Let d = 14 - 12. Suppose 0 = d*k + 3*u - 6*u - 23, 3*u + 27 = 3*k. Solve 0 = 2*h - k*h for h.
0
Suppose 0 = -3*f - f. Let t = f + 0. Let g = 6 - t. Solve -r - 15 = -g*r for r.
3
Let v(g) = 4*g - 1. Let u(x) = 7*x - 2. Let p(j) = 2*u(j) - 5*v(j). Let a be p(-1). Solve -27 = -5*k - a for k.
4
Let b(z) = -z**2 + 4*z - 1. Let o be b(3). Suppose -o - 1 = -a. Let y = -1 + a. Solve -i - y = -1 for i.
-1
Let d = -5 + 8. Solve 5 = -4*h - d for h.
-2
Let t be (-70)/175 - (-4)/10. Let q = 2 + 3. Solve 0 = -t*n + q*n for n.
0
Let t be 1*(-16)/28 + (-46)/(-7). Solve -10*i -