x(-6). Let k = -1 - -3. Solve k*v - o = -2*v for v.
5
Let n = 21 + -17. Let x(w) = -w + 6. Let o be x(n). Solve -k + 5 = -o*k for k.
-5
Let n(t) = -t - 3. Let f be n(-8). Let i be 4/10 - (-128)/f. Suppose -i = -0*k - 2*k. Solve 4*o - k - 3 = 0 for o.
4
Suppose a + 20 = 3*x, 7*a = 3*x + 4*a - 18. Solve x*t - 4*t - 12 = 0 for t.
4
Suppose 2*a + 3 - 10 = -q, 2*q = -5*a + 11. Let i = q + -12. Solve y = 2*y + i for y.
-1
Let j(q) = -q + 15. Let x be j(8). Suppose 4*g = x*g. Solve 1 = a - g for a.
1
Let m(n) = -n**3 - 12*n**2 + 27*n - 5. Let p be m(-14). Solve 3*z = -0*z + p for z.
3
Suppose 2*z + 3*d = -12, -2*d - 10 = -z - 2. Solve 5 = -5*i - z*i for i.
-1
Suppose 0 = -10*v + 9*v. Suppose 0 = t + 4*q - 7, 0*t + 1 = t - 2*q. Solve t*j + v*j + 6 = 0 for j.
-2
Let v = 17 - -10. Let p be (-6)/v + 2/9. Suppose 38 - 13 = 5*j. Solve m - j*m + 4 = p for m.
1
Let o be 3 + (-2)/(-4)*-2. Let n be (0 + o)*(-10)/(-2). Solve -5*v - n = -0*v for v.
-2
Let k(c) = -c - 1. Let l be k(-3). Suppose 21 = 16*o - 59. Solve l*n - o = -1 for n.
2
Let y = -7 + 10. Suppose 3*d - 4 = -2*h - d, 3*d = h + y. Solve 4*i + 7 - 23 = h for i.
4
Let q(x) = x**3 + x**2 + 2*x + 2. Let l be q(0). Solve -l = -0*h - 2*h for h.
1
Let l = 6 - 5. Let d be (-1*(1 + -6))/l. Solve 3*s + 7 = -d for s.
-4
Let p(j) = -j**3 - 5*j**2 + j + 8. Let h be p(-6). Suppose 2*y - h = y. Let o be (-2)/(-7) - y/(-14). Solve o*q - 3 = 9 for q.
4
Let h be 15/(-4) + 4 + (-19)/(-4). Solve -2 - 13 = -h*u for u.
3
Let b(x) = -x**3 - x**2 - 1. Let g be b(-2). Suppose 3*d - 13 + 19 = s, 5*s + 3*d - 30 = 0. Solve s*z - g*z - 3 = 0 for z.
1
Let i(a) = a**2 + 6*a + 6. Let p be i(-5). Suppose 3*y - 2*y - 2 = 0. Let s(x) = -x**3 + 5*x**2 + 5*x - 22. Let g be s(5). Solve -y*o = -p + g for o.
-1
Let b = -84 - -90. Solve -2*x - 2 + b = 0 for x.
2
Suppose -6*m = -7*m. Solve m = 2*o - 5 + 1 for o.
2
Suppose -3*r + 3 = 3*p, 7 + 1 = 4*p + 3*r. Let f = p + 0. Solve -3*n - f = -4*n for n.
5
Suppose -4*o - o = -5. Solve 3 = -2*d + o for d.
-1
Suppose 1 = -5*d + 6*d. Solve 0 = -3*x + 4*x + d for x.
-1
Suppose -5*b = r + r - 28, 5*b = -4*r + 36. Let a(i) = -2*i - 6. Let y be a(-4). Solve -r = y*o - 2 for o.
-1
Suppose 5*s - 2 - 8 = 0. Solve 0*n + 10 = -s*n for n.
-5
Let g = -6 - -7. Let b = g + 1. Solve b*t = -2 - 2 for t.
-2
Let b = 13 + -3. Let l = -8 + b. Solve 0 = l*n - 7*n for n.
0
Suppose -6*k + k = -200. Let v be (k/6)/5*6. Suppose 4*b = -g - b - v, -2*g = b - 2. Solve 0 = -g*q - 1 - 3 for q.
-2
Suppose 6*d - 2*d - 27 = -3*w, -5*w = -3*d - 16. Solve 10 = d*b + 1 for b.
3
Let k = 2 - 0. Let s(i) = -k*i - 2*i + 9 + 5*i. Let j be s(-9). Solve j = 2*c + 2*c - 12 for c.
3
Let a(r) = r**3 + 6*r**2 + 6*r + 4. Let f be a(-4). Let s = -4 - -2. Let b = s - -5. Solve -f = b*q + q for q.
-3
Let t be 132/8 - 3/2. Solve 0 = -0*w + 3*w + t for w.
-5
Let j(v) = -v**2 + 12*v - 6. Let y be j(11). Suppose -6 = -w + 2*x, -y*x = -0*w + 4*w + 41. Let g = w - -5. Solve 2*p - g = 1 for p.
1
Let h = -8 - -15. Solve 2 = -3*p - h for p.
-3
Let p = 8 + 4. Let u be ((-16)/96)/((-2)/p). Solve -k = -4 + u for k.
3
Let v be (-48)/(-22) + 2/(-11). Suppose q - 1 = v*d + d, -2*q = 5*d - 13. Solve q*s - 4 = 16 for s.
5
Let p be 1/((4/(-6))/(-2)). Suppose p*w - g + 13 = 0, 2*w - g - 3 = 3*w. Let m = -4 - w. Solve m = 5*k - 0 - 5 for k.
1
Let h(b) = -b**2 - 1. Let a(z) = 3*z**2 + z + 5. Let y(p) = -a(p) - 5*h(p). Let g be y(1). Solve -g = -3*m - 7 for m.
-2
Suppose 3 = 3*o - 6. Let y(g) = -g**3 + 4*g**2 - 2. Let l be y(o). Suppose l*w - 2*n = 3*w + 16, 0 = 5*w - 5*n - 15. Solve 6 = -w*a - 9 for a.
-3
Suppose -4*u - 2*z + 0*z + 8 = 0, -3*u + 5*z = -19. Solve -u*b + 1 = -11 for b.
4
Suppose 0 = 5*i + 48 - 228. Suppose 5*w = w + i. Solve 0*n + 3*n = -w for n.
-3
Let y be (3/(-5))/((-5)/50). Suppose -4*b = 2*l + 4, 2*b + l = y*l + 22. Solve -2*w = -b + 5 for w.
-2
Let f(d) = -d**3 + 14*d**2 - 14*d + 15. Let g be f(13). Suppose -q = -4*x - 1, x = -4*q + g + 2. Solve k = 2*k - q for k.
1
Let z = 3 + 1. Suppose -3*d = 1 - z. Solve 5*n = -d - 14 for n.
-3
Let b(v) = -v + 4. Let s be b(2). Let g = 1 + s. Solve -q = g*q + 12 for q.
-3
Let u be -1*(-3 - 2) + 1. Suppose -u - 6 = q. Let k be (2/(-4))/(1/q). Solve 0*l + k = 2*l for l.
3
Suppose 0*i + 74 = -2*g - 2*i, -4*g + 3*i = 162. Let j be (-4)/3*g/26. Solve l = -j*l for l.
0
Let w be (-6)/4*(-2)/1. Suppose -4*k - 16 = 4*p, 2*k + 5 - 17 = w*p. Solve k = 6*c - c for c.
0
Suppose 2*y - 6 = y - 4*h, y = -5*h + 7. Suppose o = -5*v - o + 20, -y*o = 3*v - 12. Solve -2*g = -v*g - 10 for g.
-5
Suppose -4*g - 8 = -9*z + 7*z, 2*g - 2*z + 8 = 0. Solve o + g = 1 for o.
1
Let b(g) = -g**2 + 10*g - 7. Let n be b(9). Suppose 2*a = 5*a - 3. Let o = n + a. Solve -o*t = 2 - 5 for t.
1
Suppose 2*f + 62 = 5*f + u, 0 = -5*f + 3*u + 108. Let b = f + -13. Solve -c = c - b for c.
4
Let x be 1 + (-20)/5 + 5. Solve 0 = x*t + t for t.
0
Let v(f) = -2*f + 8. Let q be v(4). Solve q = -8*d + 7*d for d.
0
Suppose -6 = -6*y + 3*y. Suppose -v - 1 = -2*q + 1, -5*q + 5 = -4*v. Solve v*t - t = y for t.
-2
Let d(x) = -x - 6*x - 7 + 3*x + 2*x. Let g be d(-5). Solve 2 = r + g for r.
-1
Suppose -4 = -4*x + 2*x. Solve -2*y - x = -8 for y.
3
Suppose 3*n = -5*y + 15, -y + 2*n - 4 + 7 = 0. Solve 3*d + y = -9 for d.
-4
Let y(d) = d**2 + 5*d + 2. Let c be y(-5). Suppose -c*g = -6*g. Let r be g + -1 + -1 + 7. Solve -r*k = -k - 16 for k.
4
Let m = 16 + -14. Solve -12 = 2*b - m for b.
-5
Let s(i) = 12*i - 24. Let g be s(2). Solve u + 0*u + 4 = g for u.
-4
Let h = 53 + -33. Solve -3*p = -7*p + h for p.
5
Let f = 3 + 0. Suppose -2*s = 6, -h + s = f*s + 8. Let c be (15/(-2))/3*h. Solve w + c = 2*w for w.
5
Let c(v) = -v**2 + 5*v + 1. Let q be c(6). Let l be (-20)/5*q/2. Solve -l = 3*o - 5*o for o.
5
Let j = 49 - 75. Let k be (-8)/52 - 30/j. Let s be k + -6*2/(-4). Solve -s*v - 4 = 4 for v.
-2
Let y(z) = -z**2 - 2*z. Let u be y(-2). Suppose u*q = -q. Solve -r + 4*r - 15 = q for r.
5
Suppose 26 - 2 = 2*v. Let k be (-14)/(-12) - 2/v. Let j = 1 + k. Solve j*z + 2*z = 16 for z.
4
Let v(m) = -m**3 - 9*m**2 + 9*m - 2. Let x be v(-10). Suppose h = -3*h + x. Solve -5 = h*q + 3 for q.
-4
Suppose -5*w = -b - 14, -w + 0*w = -3*b. Solve w*g = 8 - 5 for g.
1
Let p be 12*((-6)/9 + 2). Suppose 21 = 3*k - 2*x, -5*k = 2*x + x - p. Solve k*y - 14 = 6 for y.
4
Suppose s - 4*i + i - 4 = 0, s = -i + 12. Solve -s*r = -14*r + 8 for r.
2
Let v be -2 - (-7)/(14/12). Suppose 2*b = 2*p + 2, -v*p - 4 = 4*b - 2*b. Solve -2 + b = 2*t for t.
-1
Suppose 20 = -0*p + 4*p. Solve -p = 5*j + 10 for j.
-3
Suppose 5*q - 2*c = 7*q - 42, 2*c - 99 = -5*q. Suppose q = 5*h - 11. Let w = 3 - -1. Solve w*p + 6 + h = 0 for p.
-3
Let d(f) be the second derivative of f**4/12 + f**3 - 2*f**2 + f. Let r be d(-6). Let x be -2*1/2*r. Solve 2*o + x = -2*o for o.
-1
Suppose 0*u = -5*u + 30. Suppose -2*v - 6 = -3*v. Suppose 2*j = v + u. Solve -r = -j*r - 25 for r.
-5
Let h be 0/((-5)/(15/(-6))). Solve -k + h = 1 for k.
-1
Let b be (1 + 2)/(24/32). Solve b = m + m for m.
2
Let s = 30 - -4. Suppose s = 5*r - 1. Let m = r - 5. Solve -m*j + 3*j = -4 for j.
-4
Let j = 2 - 2. Suppose j = -0*t - 3*t + 15, -4*l + t = -35. Solve -a - a = l for a.
-5
Let x(p) = -p**2 - 23*p + 26. Let n be x(-24). Solve -n*q = -6*q for q.
0
Suppose 5*p + 15 = -0*p, 5*w + 4*p - 33 = 0. Let c = -7 - -18. Solve -w = 4*s + c for s.
-5
Let i(g) = -3*g - 4. Let k be i(-3). Suppose -o + 2 = 3*x + x, 3*o + k*x - 6 = 0. Suppose -z + 4*h + 16 = -o*z, -3*z - h = 4. Solve 2*a = -z*a - 8 for a.
-4
Suppose -4*n + 8 = -0. Solve -n*j - 3*j = -10 for j.
2
Suppose 0 = -5*n - 0*n + 20. Suppose 5*h - 22 = n*w, 0 = h - w - 4 - 1. Solve -h*p + 1 = -3*p for p.
-1
Let j = 6 + -2. Solve 0 + 4 = j*u for u.
1
Let v be -1*(3 - 5) + 3. Suppose v*t + 21 = 2*p, t + 2*t = p - 12. Solve -p*c - 3 = -0 for c.
-1
Let b = -3 + 8. Suppose -4*g - b*s = -36 + 3, -5*g = 2*s - 54. Solve -3*f + 0*f = -g for f.
4
Let k(i) = i**3 - 9*i**2 + 8*i + 3. Let f be k(8). Suppose -2*r - 4*q = 8, f*q = -3*r + 2*q + 8. Solve -16 - r = -4*l for l.
5
Suppose -3*g - g = -2*q + 12, g + 12 = 5*q. Solve -x + q*x = -2 for x.
-2
Suppose 0 = 3*c + 2*s - 12 - 3, -5 = -c + 2*s. Suppose 5*u + 10 = 5*w, w = c*w - u - 11. Let z be (0 - 0)/(8/1 - 9). Solve t - w*t + 2 = z for t.
1
Let a be (-3 + -2 + 1)*(-3)/4. Solve a*m