-3
Let n = 32 + -28. Solve -n*z - 15 = -3 for z.
-3
Let y be 0*(6/(-4))/3. Suppose y = -5*b + 6 + 4. Suppose -b = -9*x + 8*x. Solve -4*n = x + 14 for n.
-4
Suppose -3*n - 4*r = 6, 5*r + 13 = 2*n + 2*r. Solve -2*j = n + 8 for j.
-5
Suppose -6 = 2*w + 5*f - 0, 0 = w + 3*f + 4. Suppose 2*g = -w*i - 2, i - 4*g - 18 = -2*i. Solve -5 = 3*p + i*p for p.
-1
Let o be 2 + 2 - (-7 - -1)/6. Solve o*x + 15 = 35 for x.
4
Suppose 0 = -3*j + 3*c + c + 61, -4*c = 16. Solve j = -7*o + 4*o for o.
-5
Suppose 3*v = -3*m - v + 16, 0 = -4*m - 3*v + 12. Solve m*u = -u - 5 for u.
-5
Suppose -w + 0*w + 5*z = 38, w - 2 = -5*z. Let p be (-1)/(-3) - 48/w. Solve 2*o - p*o = 5 for o.
-5
Let s = -92 + 94. Solve -20 = 2*a + s*a for a.
-5
Let r(f) = f**2 + 4*f + 5. Suppose 8 = 3*p - 16. Suppose -4*a = -2*a + p. Let j be r(a). Solve -12 = -t + j*t for t.
-3
Let t be 10/2*(-6)/(-15). Suppose 0 = -p - 2 + 4. Suppose 51 = 5*l - 4*u, p*l - 19 = l + 3*u. Solve t*s + 15 = l*s for s.
3
Suppose 8*i = 7*i - s - 1, -4*i - 5*s - 8 = 0. Let h(n) = -n**3 - 5*n**2 + 5*n - 4. Let c be h(-6). Solve c*j + i = -j for j.
-1
Let l(k) = -k**3 + k**2 + k + 1. Let y be l(-1). Let i(a) = 4*a - 5 - 10*a + 0 - 6*a**y + 5*a**2. Let r be i(-5). Solve r = -o - o - 2 for o.
-1
Suppose -3*b + v - 3 + 11 = 0, 0 = -5*b + v + 14. Let a be b/6 + 1/(-2). Solve a = 4*o + 4 + 12 for o.
-4
Suppose -w + 5*b + 5 = 4*w, -4*w + 22 = 5*b. Solve w + 0 = -y for y.
-3
Let o = 34 - 19. Suppose 0 = -s - 5*d - o, 0*s + 12 = 4*s + 2*d. Solve 11 = -s*l + 36 for l.
5
Let v be ((-12)/(-24))/(1/((-12)/(-2))). Solve 0 = y - 0*y - v for y.
3
Let m be (-2 - -4 - 1) + 2. Suppose 27 = -2*q + 5*p, 6*p = -m*q + 3*p + 12. Let o be 2/q*(2 + -3). Solve 0 = -t + o*t - 5 for t.
5
Let a(v) = -4*v - 4. Let s be a(-2). Suppose -2*y = 6*j - 2*j - 12, s*y + 4*j - 12 = 0. Solve y = -5*m + m for m.
0
Suppose 5*i - 7 = 13. Let h be (-10)/i*(-96)/60. Suppose 0*a = -5*a. Solve h*c - 2*c = a for c.
0
Suppose -s = -3*b + 2*s + 36, 0 = 5*s + 10. Let g be 0 + (4 - 2) - 0. Solve b = g*v + 4 for v.
3
Suppose 40 = i + 3*w, 100 = 8*i - 3*i - 5*w. Suppose -5*x + i = 5. Solve 9*o = x*o - 20 for o.
-4
Suppose 2*v = -3*v. Let i = v - -1. Solve -d + 4 = -i for d.
5
Let p = -6 - -8. Suppose -p*g + 8 = -14. Solve 5*r + g + 14 = 0 for r.
-5
Let c be 2/8 - 5/20. Let s(w) = 3*w**2 + 2*w. Let p(q) = -7*q**2 - 5*q. Let l(u) = -2*p(u) - 5*s(u). Let i be l(c). Solve j + i*j = 0 for j.
0
Suppose 4 = j + 2. Let m be (1 - -2) + (2 - j). Solve -i + 2*i = m for i.
3
Suppose -5*q - 13 = -o, o - 6 = q - 5. Let j be (-2)/((-2)/o + -2). Solve -5*x - j = 23 for x.
-5
Let w = 18 + -3. Suppose -2*p - w = -55. Solve -4*u + p = -0*u for u.
5
Suppose 4*s - 4 - 20 = 0. Solve 2*y = s*y + 12 for y.
-3
Suppose 2*u = -u - v + 17, -5*v = u - 29. Let m be (-3 + u)*(3 + -1). Solve l + m*l = 9 for l.
3
Let q(x) = 5*x**2 + 3*x + 3. Let c be q(-1). Solve -z + c*z + 12 = 0 for z.
-3
Suppose 12*i - 21 = 5*i. Solve 0 = -i*s + 7*s for s.
0
Let t be 24 + (1 - (1 + -1)). Let i(a) = -a**3 + 2*a**2 - 4. Let w be i(4). Let q be 222/27 - (-8)/w. Solve -q*v + t = -3*v for v.
5
Suppose -26 = -3*t + 3*b + 2*b, 2*t - 5*b - 24 = 0. Solve -t*d = 2*d - 4 for d.
1
Let b(p) = 3*p + 3. Let t be b(-3). Let d(l) = -l**2 - 7*l + 6. Let y be d(t). Solve -2*r + y = 4 for r.
4
Suppose 3*z = 2*z - 5. Let n be ((-6)/(-4))/(z/20). Let h be (n/(-4))/(3/24). Solve -3*f = -6*f - h for f.
-4
Suppose 3*x = 1 + 8. Suppose 81 = -5*n - 29. Let a be (x + n)/(-2 - -1). Solve -5*w = a - 4 for w.
-3
Let k(g) = -g - 11. Let a be k(-9). Let y be (0/(-2))/((-1)/(-1)). Let q be (y + 0 + 0)/a. Solve q*r = r + 4 for r.
-4
Let z(b) = b - 3. Let g be z(3). Suppose g = 2*v - 12 + 2. Solve -v*h = -h + 4 for h.
-1
Suppose -2*b + 9*b - 175 = 0. Solve -b = 3*q + 2*q for q.
-5
Suppose -3*z = 3*n - 24, 2*n - 3*z = -2*n + 4. Solve 11 + 9 = n*m for m.
5
Let o(r) = -2*r + 36. Let d be o(17). Solve -2 = d*t + 6 for t.
-4
Let n be (-48)/6*(-2)/4. Suppose 0 = -4*b - 8, -3*i + 10 = -3*b + n*b. Let z be i*4/(16/15). Solve 2*w + z = -3*w for w.
-3
Suppose 4*a + 2*s + 2 = -0*s, -3*s - 3 = 3*a. Solve -10 = 5*w - a*w for w.
-2
Let h(t) = -t**3 - 5*t**2 - 4*t + 2. Let o be h(-4). Suppose -3*z = -5*z. Let w be 0/(-1 + 4 + -2). Solve o*q + z*q = w for q.
0
Let q be (-3)/9 - (-28)/3. Let h be (-6)/8 + q/12. Solve 4*g = -8 - h for g.
-2
Suppose a = l - 5, 3*l + 3*a = -8 + 17. Let j be 2/(-7) + 191/7. Let i = j + -18. Solve i*m - 5 = l*m for m.
1
Let j be 4/(-18) + 20/9. Suppose 4*x - d + 0*d = 4, -j*d = x + 8. Solve x = -5*s + 12 + 13 for s.
5
Let v be 75/9 - (-2)/(-6). Solve -r + v = r for r.
4
Suppose -2*m = m - f - 10, -m - 5*f - 2 = 0. Suppose -m*r - 10 = -8*r. Solve k - r = -k for k.
1
Suppose -2*l - 5 = 1. Let p = 3 + l. Solve -2*i = -p*i - 4 for i.
2
Suppose 5*y - 3*l = 7, -2*l = -7*l + 5. Solve -4*a = -3*a + y for a.
-2
Suppose -z - 9 = -s - 3, 0 = 3*z. Solve -p - s + 2 = 0 for p.
-4
Suppose -2*f - k = 2, 6*f = 7*f - 2*k - 9. Solve -f = v - 0*v for v.
-1
Suppose 3*i + 26 = 8. Let g be ((-3)/i)/((-2)/(-24)). Solve 4 = 2*x - g for x.
5
Let a(f) = -13*f + 3. Let x be a(-1). Solve -x - 4 = -5*q for q.
4
Let j(p) = -p. Let k = -8 - -4. Let l be j(k). Let o = 2 + -2. Solve o = 2*f - l for f.
2
Let p be 3/(-5) - 1320/(-75). Solve -2 = -3*s - p for s.
-5
Let h(b) = 4*b. Let j be h(1). Suppose -45 = -4*q + 3*l, 0*q + 64 = 5*q + j*l. Suppose 4*m - 2*o + q = 38, -45 = -5*m + 5*o. Solve 3*a = -m - 2 for a.
-2
Suppose a + 1 - 3 = 0. Let z(i) = -2 - 3*i + 0 + 2*i. Let h be z(-2). Solve w + a = -h*w for w.
-2
Suppose 0 = -2*q + 3*l + 8, -q - 3*q = -l - 16. Suppose 10 = -q*f + 42. Solve 0*m = -4*m + f for m.
2
Let q = 21 - -2. Let a = -16 + q. Let v = -3 + a. Solve 4*u = 5*u + v for u.
-4
Suppose 2*m = l - m - 27, -4*m - 80 = -5*l. Solve l = f + 3*f for f.
3
Let b(t) = -t**3 - 6*t**2 - 7*t. Let y(g) = -g**3 - 6*g**2 - 5. Let l be y(-6). Let v be b(l). Let w be 1/(-5) + 22/v. Solve w*h = -h - 6 for h.
-2
Let s be 4/(-10) - 8/(-20). Suppose 10 - 1 = 3*p. Suppose -i + p = -s. Solve 0 = 2*f - 5 - i for f.
4
Suppose -3*h + 2 = -1, 51 = 5*p + h. Suppose 2*n = -0*n + p. Solve -1 = -n*l + 4 for l.
1
Let a be (3 - 1)*(-15)/(-6). Suppose -6 = a*d - 8*d. Solve d*w = -1 + 11 for w.
5
Let f(q) = q**2 - 16*q. Let n be f(16). Solve n = -2*a - 2*a + 12 for a.
3
Let r(j) be the third derivative of j**5/30 - j**4/12 + j**3/6 - 2*j**2. Let v be r(2). Solve 0*z = -v*z for z.
0
Suppose 5*s - 2 - 18 = 0. Solve 0*a + s = -a for a.
-4
Let h be 1/(-5) - 62/(-10). Suppose -2*b - 9 = b. Let j = h + b. Solve j*c - 5 = 2*c for c.
5
Let z(h) = 2*h - 13. Let y be z(9). Suppose -20 + 5 = -y*q. Suppose -7*s = 3*w - q*s + 6, 0 = w + 4*s + 10. Solve -7 = w*l + 3 for l.
-5
Let z(j) be the third derivative of j**5/60 - j**4/12 - j**3/2 - 4*j**2. Let l be z(3). Solve 4*k - 4 - 4 = l for k.
2
Let z be 8/12*-3*13. Let s = 45 + z. Solve 1 = -5*h - s for h.
-4
Let x be 6 - 5 - (0 - 5 - -1). Solve -7*d + x = -2*d for d.
1
Let c be 6 + 0 - 24/(-12). Solve 3*w + 7 = -c for w.
-5
Let u = 7 - 4. Let m be -10*(u/6 + -1). Solve m*s = -14 - 11 for s.
-5
Let l(f) = f - 1. Let t(p) = -6*p + 8. Let h(r) = -5*l(r) - t(r). Let x be h(6). Suppose -4*q - 12 = -x*a, 4*a = 4*q + 5 + 11. Solve -z = a + 1 for z.
-5
Let o be (-9)/12 + 15/20. Solve o = 6*y - y + 25 for y.
-5
Suppose -3*g - 23 = 4*z, -z - 3 = -4*g - 2. Let f(v) = 5*v**3 - v**2 - v - 1. Let h be f(g). Let p be h/(-3) + 1 + 0. Solve 12 - 3 = -p*m for m.
-3
Let w = 7 - 5. Suppose 0 = 3*d - 15, 5 = -w*r - d + 4*d. Solve -r*b - 4 = 16 for b.
-4
Let d be (-33)/(-12) + 2/8. Let k(n) = -2*n - 7. Let i be k(-6). Suppose 0 = 3*m - i - 1. Solve d = -m*l - 3 for l.
-3
Let p(q) = -q - 3. Let u be (4 - 0)*(-9)/4. Let w be p(u). Suppose x + 80 = w*x. Solve 0 = -5*b + b + x for b.
4
Let i(a) = a**3 + 5*a**2 + 2*a + 2. Let g be i(-3). Solve -16*d = -g*d for d.
0
Let o be 6*(20/6 - 3). Solve -o*w - 13 = -5 for w.
-4
Let z(w) = w**3 + 4*w**2 + 4*w + 2. Let d be z(-2). Suppose d*p - 5*p + 15 = 0. Let i be 3/((-16)/(-14) - 1). Solve -4*g = -i + p for g.
4
Let i = -31 + 62. Suppose 0 = -h - 4*l + i, -3*l - 38 = 4*h - 5*h. Suppose -f - 2*t = f - 18, -h = -4*f - 5*t. Solve -c = c + f for c.
-5
Suppose b - 4*b + 15 = 0. Solve l = 2 - b for l.
-3
Let t(y) be the third derivative of y**6/120 + y**