= -3*d + 8 for d.
-2
Suppose -4*a + 2*n = 4*n - 56, 66 = 4*a - 3*n. Suppose -5*f - 10 - 15 = 0, -s = 5*f + 25. Suppose 3*o + 1 - 7 = s. Solve o*u + a = -u for u.
-5
Suppose 5*s - 24 = -9. Solve -2*h + 15 = s*h for h.
3
Let f be (-35)/(-21) + (-2)/(-6). Suppose 5*o - 2*o - 9 = -3*k, -f*o = -k - 6. Let q be -3 + 1 + (2 - k). Solve 5*n = -q*n for n.
0
Let x(j) = -3*j - j + 3*j + j**2 - 3. Let t be x(-3). Let v = -2 + 5. Solve v*d - t = 6 for d.
5
Suppose 3*s - 5*s - 16 = 0. Let g = -5 - s. Suppose 0 = p + g*p - 8. Solve -p*y + 13 = 5 for y.
4
Let n(t) = 2*t - 4. Let h be 1/1 + -2 + 4. Let w be n(h). Suppose -3*v = 5*i, -v = -4*i + 4*v. Solve i*m + w = -m for m.
-2
Suppose 0 = -i - 5*p + 20, -4*p - 9 = 3. Suppose -3*q = -4*d - d - 35, -25 = 5*d - 5*q. Let h be 4/14 + d/i. Solve h = -0*f + f for f.
0
Let u = 91 + -87. Solve 0 = u*m + 8 for m.
-2
Let a be (-16)/2*(-62)/8. Suppose 4*l + 22 = -4*m + a, 5*m - 10 = 0. Solve l + 17 = -5*g for g.
-5
Let k = 4 - 1. Suppose 5*q - 45 = -5*v, 4*q + k*v - 4*v = 21. Solve -3*o + q = -6*o for o.
-2
Let y(t) = -2*t - 22. Let a be y(-11). Solve a = 2*z - 7*z for z.
0
Let c be 2 - (-1)/((-1)/1). Suppose -c - 1 = -x. Suppose -g + 5*q = x*g - 3, q = 3. Solve -g*t = -3*t + 6 for t.
-2
Suppose 0 = -5*z + 14 + 1. Let l = -2 + z. Solve -l = -t + 2 for t.
3
Let k(g) = g**3 - 5*g**2 - 11*g + 8. Let l be k(7). Suppose -l = -5*y + 2*d, 0 = -5*y + 4*d + 24 + 9. Solve 5 = -y*b - 5 for b.
-2
Suppose -4*y = 3*p - 65, 5*y - 22 = 3. Let g = -2 + 3. Suppose -5*v - 5 = -5*k, 3*k - v = k + g. Solve k = 4*o - 7*o + p for o.
5
Let b(t) be the first derivative of 2*t**3/3 + t**2/2 - 5*t + 1. Let p be b(-4). Let x = 34 - p. Solve 3 - x = -4*n for n.
2
Let p(z) = z**2 + z. Suppose s = -s - 10. Let f be p(s). Solve 2*d - f = -3*d for d.
4
Suppose 0 = -4*i + 15 + 1. Suppose -i*a + 55 = a. Let d = -8 + a. Solve d*c - 1 = 5 for c.
2
Let h = -1 - -1. Suppose 5*v - 60 = -r, -r + h*r = 0. Solve 6*q - 2*q + v = 0 for q.
-3
Let y be (-28)/(-42) + (-16)/(-3). Suppose y*u = 7*u. Solve n = -u*n + 1 for n.
1
Let s(d) = -d**3 - 27*d**2 + 27*d - 22. Let v be s(-28). Let k = -1 + 1. Solve 0 = -k*x + 3*x - v for x.
2
Suppose -2*j + 38 = 5*w - 2, w - 5*j = -19. Solve 4*t = -w - 2 for t.
-2
Let y = 110 + -105. Solve 3*s - y = 1 for s.
2
Let g be 69*2/(3 - -3). Suppose -2*d + g = -3. Solve 1 = -4*i + d for i.
3
Suppose -5*h + 4*n = -7, -2*h = 3*n - 4 - 8. Solve h = -c - 1 for c.
-4
Suppose 0 = -4*z + 7 + 9. Solve 0*g - 4*g = z for g.
-1
Suppose -3*o + 0 = -9. Let a be 4/18 + (-32)/(-18). Solve o - a = s for s.
1
Let q be 24/14 - (-2)/7. Solve v = q - 7 for v.
-5
Let j(i) = -2*i - 2. Let z be j(-2). Suppose l - 2*a + z = 17, 0 = -a - 5. Solve -l*y + 10 = -0 for y.
2
Suppose -3*h + 3 = -2*h. Suppose -2*m - 4*d = 1 + 5, 0 = -3*m + h*d + 18. Solve 11 + 1 = m*s for s.
4
Suppose 3*p + 3*i - 4 = 5, -12 = -3*p - 4*i. Solve p = 3*l - 1 - 8 for l.
3
Let w(n) = -n**3 - 9*n**2 - 9*n - 4. Let k be w(-8). Let l(z) be the third derivative of -z**4/24 + z**3/6 + z**2. Let i be l(1). Solve i = k*j + 5 + 3 for j.
-2
Let a(z) = -3*z - z + 3*z + 6. Let n be a(-9). Suppose n = j - 5. Solve 7*t - 2*t = j for t.
4
Let n be -5*(-4)/10 + 6. Solve 0 = 2*q - 0*q - n for q.
4
Let y(d) = d**2 - 5*d - 4. Let c be y(6). Let z be (-1)/1*2/c. Let m be (0 - z)/(2/8). Solve -4*n = 12 + m for n.
-4
Let w(l) = -l + 15. Let r be w(9). Let v = r + -6. Solve v = y - 5*y - 12 for y.
-3
Suppose -3*w = 4*o - 0*o - 40, -5*o = 2*w - 43. Solve -o*l + 15 = -2*l for l.
3
Let v(f) = -4 + 7*f - 6*f - 2*f. Let g be v(-5). Solve 3*j = g + 2 for j.
1
Let h(r) = -r**3 + 2*r**2 + r. Let u be h(-1). Solve -4*g - 4 = -u*g for g.
-2
Suppose 8 = 4*k - 0. Solve 0 = k*h + 3*h for h.
0
Let x(z) be the third derivative of -z**4/12 - 5*z**3/3 - z**2. Suppose -3*l + 2*f - 19 = 0, f + 1 = -0*f. Let y be x(l). Solve -y*g = -2*g + 2 for g.
-1
Let z(q) = q**3 + q**2 - 2*q + 2. Suppose -x + 1 = 4*b, -5*x = 5*b - x + 7. Let p be 3 + -1 + (b - 1). Let o be z(p). Solve u - o = -u for u.
5
Let f = -22 + 33. Let c = f - 6. Solve c*a = 6*a - 2 for a.
2
Let p be -3 + (1 - (-1 - -1)). Let w be (11 + p)/((-6)/(-4)). Solve 0 = w*l - l - 10 for l.
2
Let h(f) = f**2 + 4*f. Let g be h(-5). Let y(a) = -a**2 + 10*a - 4. Let k be y(9). Suppose r = -4*n + 2, -2*r + r - k*n = -1. Solve r = -g*v - 9 for v.
-3
Let w be 32/18 + (-10)/(-45). Solve -7*i + w*i = -5 for i.
1
Let r = 1 - 0. Let h = r - 1. Solve h*z = 4*z for z.
0
Suppose -2 = -3*t + 4. Solve 1 + 5 = -t*v for v.
-3
Let v = 22 + -20. Solve 0 = 2*c + v for c.
-1
Let p be 4 + -2*(-5)/(-5). Solve p = -2*j - 4 for j.
-3
Let s be 93/9 - 6/(-9). Suppose 0 = 5*h + 4 + s, 4*h + 15 = -u. Let w be -1 + (0 - 3/u). Solve 5*n - 6*n = w for n.
0
Let z(d) = -3*d - 6. Let i(p) = -p**2 - 5*p - 3. Let f be i(-3). Suppose -n = -f + 10. Let g be z(n). Solve -w - g = -4*w for w.
5
Suppose 3*i + 24 = -3*o, -i + 4*o + 8 = -2*i. Let u be (9/(-6))/(6/i). Solve -2*a + 4 = u*a for a.
1
Let d = 5 - 7. Let j be (-82)/(-4) + 1/d. Let a be (-10)/15 - (-8)/3. Solve 2*g - j = -a*g for g.
5
Let s(u) = 3*u**2. Let k be s(-1). Suppose 2*n - 5*q + 11 = -8, -2 = n - q. Suppose n*h - k*w = 30, 0 = 2*w - 0*w + 8. Solve -o = 2*o + h for o.
-2
Suppose 2*s = -0*s. Suppose 4*w = -0*w + 16. Suppose -22 = -4*y - 2*f, -w*y + 4 = -3*y + 2*f. Solve -5*p - y - 4 = s for p.
-2
Let f be (6*1/21)/(1/7). Solve 3*k - k - f = 0 for k.
1
Suppose 7*h - 1 = 5*m + 6*h, -2*h = -2. Solve m = 4*p + p for p.
0
Let k be 1/(-2)*20/(-2). Solve k*s = 3*s for s.
0
Let r = -1 - -2. Suppose 14*a - 10*a = 20. Solve a*f - 11 = -r for f.
2
Let d(h) = 2*h**2 - h - 6. Let t be d(-2). Solve 5*p = 6 + t for p.
2
Suppose v = -2*k + 7, -k + 1 = 2*v - 7. Suppose -2*q + 12 = k. Suppose 0 = -n + b + q, -2*n - 3*b + 4 = -6. Solve 5 + 10 = n*j for j.
3
Let s = -3 - -8. Suppose -u - 3 = -2*n + 5*n, 0 = u + s*n + 5. Suppose 2*q + q - 6 = u. Solve -q*r + 0 = 8 for r.
-4
Suppose 3*z = -0*z + 3. Let g = 68 + -49. Solve -z - g = -4*y for y.
5
Suppose -5*f = i - 22, 3*i - f - 84 = -2*i. Solve 5*d + i = -3 for d.
-4
Let f(p) = p**3 + 8*p**2 + 8*p + 10. Let y be f(-7). Suppose 0 = y*k - k + s - 9, 0 = 4*k - 3*s - 13. Solve -20 = -0*g - k*g for g.
5
Suppose -3*t + q + 3 = -0*q, 4*t = q + 4. Suppose t = -i + 3. Let d = 1 + i. Solve 0 = -2*z - d - 5 for z.
-4
Let s = 23 - 10. Let c = s + -4. Solve 2*a - c + 3 = 0 for a.
3
Suppose -15 = -2*x + 3*c, -5*x + 3*x - 3*c - 3 = 0. Solve 0 = -0*t + x*t - 9 for t.
3
Suppose -5*l + 8 = -2. Let q = 1 - 3. Let t = l - q. Solve 6*h = 2*h - t for h.
-1
Suppose -5*l = 5*x - 15, 0 = -x + l + l - 6. Let j = x + 2. Suppose -4*i + 5*g - 19 = -2*i, -j*g - 5 = -5*i. Solve 8*z + 10 = i*z for z.
-2
Suppose 2*b = 5*o + 5*b - 20, 0 = -4*o + b - 1. Let q = o - -2. Let a be q - (0/2 + 0). Solve a*z - 2*z = -2 for z.
-2
Let q = 83 + -82. Solve 2*o + q = -1 for o.
-1
Let b = 33 + -31. Solve -1 = m - b for m.
1
Let i = 80 - 78. Solve 6 + i = 4*s for s.
2
Let d be (4 - -2) + -2 + 2. Let j = 6 - d. Suppose j*p - 4*n + 20 = 3*p, 0 = -p + 4*n - 4. Solve -4*v - p + 0 = 0 for v.
-1
Suppose -2 = k - 8. Let n = -3 + k. Solve -3*a - n = -0*a for a.
-1
Suppose -2*p = -74 + 50. Solve 4*y = y - p for y.
-4
Let z = -6 - -8. Let c(k) = -k**2 - 4*k - 3. Let b be c(-2). Solve -p + b = z for p.
-1
Let o(w) = w**3 - 11*w**2 - 11*w - 12. Let n be o(12). Solve -2*a - 2 + n = 0 for a.
-1
Let a be (13/2)/((-11)/(-22)). Solve a = -2*j + 3 for j.
-5
Let z = 14 - 14. Solve -3*k - 13 - 2 = z for k.
-5
Let m(l) = -l**3 - 7*l**2 - 7*l + 8. Let q be m(-6). Let o be (-18)/(-63) + 24/q. Solve 5 = 3*z - o*z for z.
5
Suppose 0 = 4*z + z - 2*y + 34, -5*z - 55 = 5*y. Let t = -4 - z. Solve 0 = -t*k - k for k.
0
Let s = -15 + 21. Solve -c = -3*c - s for c.
-3
Let d be ((-30)/4)/(3/(-6)). Let m be (8/3)/(-2)*-3. Solve m*a - 9*a = d for a.
-3
Let k(g) = -5*g - 5. Let w be k(-2). Solve 0 = -2*b + w*b + 3 for b.
-1
Suppose 0 = -2*u - m + 11, 2*u - 4*m = m + 5. Suppose 16 = u*j + 3*w, 2*j + 0*w = 2*w. Solve 0 = -2*c - 4 + j for c.
-1
Let y be 13 - ((-1)/(-1))/1. Let r be y/(-8)*(-4)/(-3). Let k be -1 + r/(-1) - -7. Solve k = -s - 3*s for s.
-2
Let g be ((-12)/(-10))/(8/20). Solve 20 = g*k - 7*k for k.
-5
Suppose -3*a - 4*k + 20 = k, -2*k = 3*a - 8. Solve a = 4*j - 4 - 0 for j.
1
Let z be (-2)/(-3)*3