olve -d + a*d = 0 for d.
0
Suppose -u = 3*u. Let k = -13 - -18. Let z = k - 2. Solve u = -g - 0*g + z for g.
3
Let o(n) = -n**2 + 6*n + 5. Let m be 1/(1/3) - -3. Let w be o(m). Solve 12 = w*g - 3 for g.
3
Let j = 11 + -3. Suppose 5*l - 2 - j = 0. Solve 3*n + l*n = -5 for n.
-1
Let t = 10 + -8. Solve 3*i = t - 5 for i.
-1
Let m = -8 + 8. Solve m*h - 2*h = -10 for h.
5
Let q = -8 - -9. Solve -2*d + d = q for d.
-1
Let h(o) = o**3 + 5*o**2 - 8*o - 9. Let m be h(-6). Solve -5*l + 2 = -m for l.
1
Let q = 16 + -16. Suppose -5*d = 2*r - 9, -2*d - 4*r + q*r = 6. Let c be 27/(-12)*2*-2. Solve 0*a = -d*a - c for a.
-3
Suppose 47 = 3*b + 6*c - 2*c, c + 25 = b. Suppose 0 = -4*t + 5*d - 50, -98 + 30 = 4*t + 4*d. Let h = t + b. Solve 0 = -3*k + k + h for k.
3
Let t be (5/(-10))/(1/(-10)). Let h be (5 - t)/(3/3). Solve 5*k - 2*k = h for k.
0
Suppose 5*n - 12*n + 105 = 0. Solve 3*h = 8*h - n for h.
3
Suppose 5*g - 2*g = 6. Let o = 9 - 7. Let f = o + g. Solve f*n = n - 12 for n.
-4
Suppose 2*z = 3*z. Suppose z = 3*u + 3*f - 6, u - 4*f - 7 = -0. Suppose 0*s = 2*s. Solve -u*k + 5*k + 2 = s for k.
-1
Let q = 44 + -20. Suppose -v - 18 = 2*v. Let l = v - -11. Solve -q - 1 = l*w for w.
-5
Let l be (2/2 - -2) + -7. Suppose -i = -4*i + 18. Let s be 4/l*-1*i. Solve 3*q = s*q + 12 for q.
-4
Suppose 4*d + 4*c - 18 = 2*c, -c + 3 = 0. Let z be (-10)/15 - (-17)/d. Suppose -z*u + 6 = -4. Solve 13 = u*m + 5 for m.
4
Let a(t) = 4*t**2 + 4*t + 11. Let c(b) = -5*b**2 - 4*b - 12. Let j(p) = 6*a(p) + 5*c(p). Let z be j(6). Let x be (-8)/z*6/2. Solve -f - f = x for f.
-2
Suppose -4*x + 30 = 14. Solve -i = -3*i + x for i.
2
Let v be ((-4)/(-6))/((-1)/(-3)). Suppose -5*i + 8 + 2 = 0. Let k = v + i. Solve k*w = 22 - 2 for w.
5
Let u(r) = r**3 - 14*r**2 - r + 14. Let y be u(14). Solve n - 3 = -y*n for n.
3
Suppose -5*b - 4*p = -53, 4*p = 4*b + 3*p - 34. Suppose 3*y - b = -0*y. Solve -2*r = -7 + y for r.
2
Let t(c) = -c + 4. Let m be t(2). Solve -4*o - m = -10 for o.
2
Let m be 5 - 3*3/9. Solve r = -r + m for r.
2
Let w(p) = p**2 - 2*p + 4. Let u be w(3). Let i(r) = r + 3. Let j be i(u). Solve -h = -3*h + j for h.
5
Suppose 2*o + 0*o - 10 = 0. Suppose -o*x = -8 - 2. Solve -x*w = 3*w - 10 for w.
2
Let j(v) = -v**2 - 6*v + 3. Let l be j(-6). Suppose l*u = -3*u. Solve u = -3*t + 5*t for t.
0
Suppose k + 4*k + 3*l = 57, 0 = -l + 4. Let p(q) be the third derivative of q**5/60 - q**4/12 - q**3/2 + q**2. Let j be p(4). Solve k*m = 4*m - j for m.
-1
Suppose 4*y = -5*z - 2, 0 = -2*z + y + 5 + 2. Suppose -15 = -z*w - 3*w. Solve -w*s - 6 = 6 for s.
-4
Let p = 4 + 0. Solve -3*w = -p*w + 4 for w.
4
Let j(k) = -k + 1. Let r be j(-1). Let t be 1/(3/6) - r. Solve -z - 2 = -t*z for z.
-2
Let f = 10 + -6. Suppose -q - f*q - 12 = 4*h, -h - 5*q = 18. Solve -3*t + 13 + h = 0 for t.
5
Let s be -14*(-1)/3*3. Let w = -10 + s. Solve 9*g = w*g for g.
0
Let k(n) = n**2 + 2*n + 3. Let f be k(-2). Let q be 20/6*18/12. Let a(l) = l + 8. Let u be a(-6). Solve q*m - u = f for m.
1
Let f(l) = l**3 - 7*l**2 - 5*l - 10. Let u be f(8). Solve -5*r - u = 1 for r.
-3
Suppose 5*u + 65 = 4*r, 5*u - 2*u + 91 = 5*r. Let t = -1 - -2. Let i = 2 + t. Solve -i*s - r = 2*s for s.
-4
Suppose -2*l + l = 3. Let x = l - -4. Solve p - x = 1 for p.
2
Let o = -72 + 76. Solve o = 4*z + 12 for z.
-2
Let v = -86 + 90. Solve v = -l - l for l.
-2
Suppose a = -s - a + 12, 2*s + 5*a - 24 = 0. Let r be (5/(-10))/((-2)/s). Solve r*v + 9 = -0*v for v.
-3
Let m = -5 - -14. Suppose -5*i + m = -1. Suppose 0 = -0*f + f - i. Solve f*k + 1 = 3*k for k.
1
Let x(o) = -8*o**2 + 3*o**3 + 14*o**2 - 2*o**3. Let z be x(-6). Solve 2*s - 8 - 2 = z for s.
5
Suppose 2 = -5*t + n, 2*t + 3*n - 2 = 2*n. Suppose t*k - 4 = -2*k. Suppose -4 = -k*j, -2*r + 14 = -r + 5*j. Solve m + 2 - r = 0 for m.
2
Let x(c) = c + 7. Let i be x(-4). Solve 6*h = 3*h + i for h.
1
Let j be (0/(-1))/(1 + 2). Let k be 38 + 1 + 2 - 1. Suppose -k = 3*n - 8*n. Solve j = -3*u + u - n for u.
-4
Let z be (1/(-1))/(4/(-16)). Suppose -2 = -2*y + z. Suppose 5*k + 2*l + 10 = 0, -k - y*l + 8*l = -25. Solve -h = 3 - k for h.
-3
Let l = 57 - 39. Let b = 10 - l. Let c = b + 16. Solve -3*u = u + c for u.
-2
Suppose 5*w + 10 = 0, 4*w = -q + w + 9. Let b = 0 - -2. Let x = b - -3. Solve -x*v + 10 = -q for v.
5
Let p = -3 + 5. Suppose p*u - 4 = -b - 1, 3*b - 1 = -2*u. Suppose -4*d + 2*h - 6 = 0, -4*d - 12 = -2*h - 2*h. Solve -z - u + 1 = d for z.
-1
Suppose 4*y - 12 - 44 = 0. Let z(f) be the first derivative of f**3/3 - 7*f**2/2 + 2*f - 1. Let x be z(7). Solve 4*o = x - y for o.
-3
Let j = -26 - -31. Solve j*s = -0*s for s.
0
Suppose -2*h + 3*h + 2*q - 9 = 0, 21 = 5*h + 2*q. Suppose -20 = h*f - 8*f. Suppose -5*z - 5*j + 2 = -6*j, 0 = 2*z - f*j - 8. Solve -2*o - o + 15 = z for o.
5
Let k be (2/(-4))/(1/(-104)). Let c = k + -35. Solve c = -5*h + 2 for h.
-3
Let l(w) = 4*w**2 + 3*w + 2. Let s be l(-2). Suppose 2*a = -x, -5*x + a = -a - s. Let i be (x*(-2 + 0))/(-1). Solve i = -c + 5*c for c.
1
Suppose -11 = -5*t - 1. Solve -2*k = t + 2 for k.
-2
Suppose -2*v = -v. Suppose v = 5*j - 63 - 72. Suppose 0*y = -5*y - 5, 5*y = -2*s + j. Solve 5*d + 1 = s for d.
3
Suppose -7 = 4*f - 27. Let u be (-6)/15 - 3/f. Let w = -1 - u. Solve w*x - 3*x = 3 for x.
-1
Let u be -3 - (2*-5 - -2). Suppose -2*n = -2*a + 2 - 10, 20 = -u*a. Solve 5 = -5*z - n*z for z.
-1
Suppose -8 = 4*y - 8*y. Suppose 0 = -x + 6 - y. Solve x*d = -11 - 5 for d.
-4
Let h = 41 + -38. Solve -12 = h*t + t for t.
-3
Suppose 2*u - 31 = 5*h, -7 - 2 = h + u. Let n = h + 7. Solve -3*g - 13 + 4 = n for g.
-3
Suppose -2*i = 3*i. Suppose 3*l = -i*l. Suppose -c + l*c = -2. Solve -3 = -c*b + 3 for b.
3
Let u(p) = 1 + 2*p + 4*p - 7*p. Let c be u(0). Let m(x) = 3*x**3 - 2*x**2 + x. Let n be m(c). Solve n*l + 7 = 3 for l.
-2
Let d(k) be the first derivative of 5*k**4/4 - 2*k**3/3 + k - 1. Let u be d(1). Solve 0*l = 4*l - u for l.
1
Let h be 5*((-19)/(-5) + -1). Suppose 0 = -a - 4*d + 18, -a - d - 2*d + h = 0. Suppose 2*o - 26 = -2*b, 0 = -b + a*o + 2*o + 18. Solve 0 = -4*v - b - 6 for v.
-5
Let o(u) = 4*u - 26. Let a be o(7). Solve 2 = 4*l - a for l.
1
Suppose 2*i + 6 = 2*x, 7 = 3*x + 3*i - 8. Suppose t + 9 = 4*t. Solve t*c = -c + x for c.
1
Let q be 8*(0 + 2/4). Let x be -3*q*1/(-3). Solve 0 = -3*n + 7 - x for n.
1
Let o(m) = -m - 2. Let n be o(4). Let u be 1/(-2)*(n + 0). Let x be (-2 + -2)*(-3 - -1). Solve x = u*h + h for h.
2
Let c(f) = 1 + 2*f**2 - 14*f + 3 + 11*f. Let y be c(2). Solve -4 = y*s - 8*s for s.
2
Suppose c + 3*c = -16. Let j be (c/(-6))/(8/144). Solve l - 5*l - j = 0 for l.
-3
Suppose 0 = 2*p - k - 3, 0*p = 5*p + 5*k - 30. Solve 5*a - 4*a + p = 0 for a.
-3
Let m(b) = 2*b + 9. Let h be m(-6). Let l = h + 6. Let x(o) = -o**3 + 6*o**2 - 2*o - 7. Let v be x(5). Solve c + v = l*c for c.
4
Let j be 10/1 - 0/3. Let h be 2*j/(1 - 0). Let x = h + -14. Solve -x*k + 2*k + 20 = 0 for k.
5
Let s be 0 - (-3 + (0 - 2)). Let a be -1*0/(-1 - -2). Solve -s*z = -a*z - 10 for z.
2
Suppose 3*b = 5 + 25. Suppose 2*c = 4*h - b, -4*c = 4*h - 3*c - 13. Let y = 36 - 20. Solve h*t = -t - y for t.
-4
Let a(u) = -u**2 + 3*u + 2. Let v be a(3). Suppose -2*y = -v*h + 30, -4*y = -4*h + y + 64. Solve 1 = 2*g + h for g.
-5
Let x be 36/(-126) + 2/7. Suppose x = -z + 3 - 0. Solve z*b + 2 = -1 for b.
-1
Suppose -7*k = -3*k. Solve k = -5*s - 8 - 7 for s.
-3
Let c(u) = -u**3 - 17*u**2 - 13*u + 20. Let h be c(-16). Let y = h + 39. Solve 5*w - 1 = -y for w.
-2
Let l(v) = v + 7. Let f be l(-5). Let k be (-1 + 3 - -1) + -9. Let h(t) = t**2 + 6*t + 5. Let u be h(k). Solve 0 = f*r + 15 - u for r.
-5
Let o be 7/3 - 6/18. Solve r - o = -1 for r.
1
Let w be (-4)/4*(1 + -1). Let n(c) = -c**3 + 6*c**2 - 3*c - 7. Let p be n(5). Suppose 2*o + 3*m = 9, -5 = -0*m + m. Solve -i - p*i + o = w for i.
3
Suppose 0*b - 4*b = -16. Let r be (-26 - -26)/(1 - 4). Solve b = -r*a + a for a.
4
Suppose -4*j = -5*u - 1, 4*u - 6 = 2*u. Suppose -3*t = -j*t + 3. Let c be (2 - 6/t) + 0. Solve c = -2*p + 6*p - 4 for p.
1
Suppose -5*k + 1 = -9. Solve -4*d = -k - 10 for d.
3
Let c = 12 + -8. Solve -d = -0*d - c for d.
4
Suppose -2*t = 4*n - 8*n + 18, 4*t + 30 = 5*n. Let b(g) = 3*g**2 + 8*g - 4. Let q(o) = -o - 9. Let i be q(-5). Let z be b(i). Solve -6*v = -n*v - z for v.
3
Suppose -3*q - 2*i = -49, -5*q = -0*i - 4*i - 111. Let 