*2. Let y = l - 4. Solve -2*a + 6 + 2 = y for a.
4
Let b = -4 - -6. Let f be (-4)/(-4)*(3 + -3). Suppose -4*w + b*w = f. Solve -m + 8 - 3 = w for m.
5
Suppose 4 = -y + 6. Solve 5*r = 4*r - y for r.
-2
Suppose 5*v + 12 = d + 50, 0 = 3*v - 2*d - 27. Solve 1 = 4*x - v for x.
2
Suppose -4*d + 17 = 2*i + 7, 2*d = 4*i. Let t be (d + 2 + -3)*2. Solve 0 = t*y + 3 - 1 for y.
-1
Suppose 0 = -o + 3. Let f(h) = 2*h**2. Let u be f(1). Suppose 2*g - 4 = u. Solve 0*v = -g*v + o for v.
1
Let d be (-16)/9 - (-4)/(-18). Let s = 4 - 6. Let w = d - s. Solve w*j + j - 1 = 0 for j.
1
Let t be ((-10)/4)/((-2)/4). Let f = -1 + t. Solve 0 = -g - f*g for g.
0
Suppose -11*u + 6*u = -15. Solve -2*l + u = l for l.
1
Let v be (-3)/6 - (-70)/(-4). Let d be 2 + v*1/(-2). Suppose -x - 6 = -3*p + 3*x, -4*p + 5*x = -8. Solve 3 - d = -p*j for j.
4
Let l = 2 + -1. Let b be 3*(6 + -2 + l). Let r = 163 + -161. Solve b = -r*x + 7*x for x.
3
Let a(w) = -w**2 + 3*w + 3. Let v be a(3). Solve 1 = g - v for g.
4
Let p = -7 + 7. Let m be p/(-3 - (-3 - -1)). Solve -5*c + 2*c + 3 = m for c.
1
Let v be 7/(-2)*(-32)/56. Let f = 6 - v. Solve f*n - 5*n = 2 for n.
-2
Suppose 0*g - 3*g = 0. Suppose -p + 2 = -3*l + 9, 8 = 4*l - p. Solve g = -2*r - l - 5 for r.
-3
Suppose -5*m = t, 0*m = 5*m - 20. Let x = 27 + t. Solve -2*k + x*k = 0 for k.
0
Let m be (-342)/81 - 4/(-18). Let h be (-13 - -1)/m - -1. Solve h*g = 5*g + 2 for g.
-2
Let y be 3/6*2*10. Let r be (-5)/y*(-1 + 1). Suppose 2*v + r*p + 1 = -3*p, 2*v = 2*p + 14. Solve -1 - v = -w for w.
5
Let j(q) = -q**3 - 3*q**2 - q + 1. Let f be j(-3). Solve f*p = -7 + 11 for p.
1
Let y = -17 - -33. Suppose v = -5*j - 18, -3*v - v + 2*j + y = 0. Suppose -4*z + 3*m + 0*m = -10, v*m + 4 = 0. Solve c - z = 3 for c.
4
Suppose 2 - 5 = -x. Let k = x - 1. Let a(g) = 2*g**3 - 3*g**2 + 3*g - 2. Let r be a(k). Solve -4*v = 12 + r for v.
-5
Let o = 26 - 21. Suppose t - 2*l + o*l = 24, t + 5*l = 32. Solve 8*y = 4*y - t for y.
-3
Let k(t) = -t**3 - t**2 + 2. Let g be k(0). Suppose g*j - u - 17 = -2*j, 0 = -5*j + 2*u + 25. Let l be -1 - -8 - (1 + 1). Solve j = l*a + 23 for a.
-4
Let k(x) = -x**2 - 2*x - 1. Suppose 15 = -3*g - 2*g. Let y be k(g). Let v be ((-2)/y)/(1/2). Solve 2 = r - v for r.
3
Let a = -92 + 99. Solve 2*o - a*o - 20 = 0 for o.
-4
Let p be (1 - (-2 + 3)) + 1. Suppose -3 = d - p. Let j be ((-3)/(-4))/(d/(-40)). Solve -2*g - j = g for g.
-5
Suppose -8 = -5*v + 2. Let f(x) = -x**3 + 2*x**2 + x + 1. Let s be f(v). Suppose -3*o + 3 = -a, 2 + 7 = 4*o - s*a. Solve o*b + b = 1 for b.
1
Suppose 0*n = n + 4*n. Solve n = 3*r - r for r.
0
Let w(k) = k + 2. Let q be w(-2). Solve 0 = -q*y + 3*y for y.
0
Suppose -8 = -9*z + 7*z. Solve z*w + 6 = 26 for w.
5
Let k be 3 + 2*(-3)/6. Suppose -k = -w - 0. Let y be 1*(1 + w - 0). Solve -y*s = -0*s for s.
0
Let v be (-1 - 3)/(-3 + 1). Solve v*z - 4 + 6 = 0 for z.
-1
Let n be 2 - -4 - 3 - -7. Solve n = -0*l + 2*l for l.
5
Suppose 0 = 5*f - 0*f. Let p be (-60)/(-14) - (264/42 - 6). Solve p = -q - f*q for q.
-4
Let q(w) = 2*w - 9. Let r be q(6). Suppose -5 = -4*g - r*l, -l - 5 = -g + 5. Solve g*o - 16 = -1 for o.
3
Let k be 1*4/2 + 4 + -1. Solve 0 = -2*n + n + k for n.
5
Let x = -7 + 11. Suppose 4*l + x - 36 = 0. Let h = 14 - l. Solve i - 3*i = -h for i.
3
Let d be (0 - 3) + 25 - 3. Solve 4*c + 3 - d = 0 for c.
4
Suppose 15 = -3*n, 8 = -4*w - 5*n - 9. Suppose v = -w*v + 30. Solve -2 - v = -4*k for k.
3
Suppose 65 = 5*a - 4*k, 3*k - 3 = -2*a - 0*k. Let i = a - 6. Suppose -25 = -2*g - i. Solve 3*z - g = -2 for z.
3
Suppose -7*d = -14 - 0. Solve 2*h + d = -0*h for h.
-1
Let g be 22/4 + (-2)/4. Suppose -4*i = 3*q - 10, -5*q + i + 14 = g. Solve 2 = 4*w - q for w.
1
Let z be (-99)/(-21) - (-6)/21. Let s(i) = i**2 - 2*i - 7. Let h be s(z). Let q = 11 - h. Solve 0*v = v - q for v.
3
Suppose 15 = 3*n - 5*t + t, -3*n + 15 = -t. Solve 0 + 10 = -n*i for i.
-2
Suppose -3*q + 5 + 10 = 0. Suppose -r = -q + 1. Let i = 1 - 1. Solve g = -i*g + r for g.
4
Let n be (12/10)/(4/20). Let g be (0/n)/(2*1). Solve 4*x + 2 + 6 = g for x.
-2
Suppose 2*r + 5 - 15 = 0. Suppose -r*a - 37 = 33. Let l be (-4)/a + (-360)/(-63). Solve n = l*n + 5 for n.
-1
Let n be (-4)/(-6)*6 + -4. Solve n = -g - g + 6 for g.
3
Let m be 24/9 - (-2)/(-3). Let t(k) be the first derivative of -k**2/2 + 14*k - 2. Let n be t(9). Solve a - m + n = 0 for a.
-3
Suppose 3*n - 9 = -o + 4*n, -5*o - 2*n = -17. Suppose o*p - 6 = 3*p. Solve -p*l = -8*l + 15 for l.
3
Let b = -17 - -20. Solve 0 = -b*u + 2*u for u.
0
Let p(h) = h - 2. Let g be p(6). Suppose 3*r - j = 4, -g*r = -8*r - j + 17. Suppose -8 = -4*k, 4*k = -n - 2 + 15. Solve -13 = n*b - r for b.
-2
Suppose -5*f - 2*u = -64, -4*u + 3*u = -2*f + 31. Solve 5*t + f = -1 for t.
-3
Let n(p) = 2*p**2 + 2*p + 1. Let g be n(-2). Suppose z - 3*i = 4*z - 3, g*z - i = -1. Solve z = -3*s + s for s.
0
Let f(n) = n**3 + 6*n**2 + 6*n + 4. Let m be f(-6). Let x = -23 - m. Let q(h) = -h**2 - 16*h - 10. Let k be q(-15). Solve k*c - 6 = x for c.
3
Let y be (4/10)/((-1)/(-10)). Solve -2 = 2*l - y*l for l.
1
Let f = -16 - -31. Suppose p - 29 = 3*h, -3*p + 7*p = -4. Let x = f + h. Solve 2*a - x = -3*a for a.
1
Suppose 2*j = -5*a + 18, -25 = 4*j - 5*a - 1. Let k be (j/2)/(4/(-40)). Suppose 16 = -0*x + 2*x. Solve -x = f - k for f.
-3
Suppose -v = -3 - 1. Suppose -3*j + 0*y = -y - 34, 0 = -2*j - 4*y + 4. Suppose 0 = -3*b - 4*i + 16 + j, 0 = -2*b + 4*i - 16. Solve -v = b*l - 6 for l.
1
Let d = 265 - 262. Let m be 2 - (0 + (-2 - -1)). Let c = 6 + -4. Solve m = c*y - d*y for y.
-3
Let k = 16 + -11. Solve 0 = k*b + 3 + 2 for b.
-1
Let k(b) = b**2 + 5*b - 4. Let c be k(-4). Let f = c + 2. Let x = f - -8. Solve -x*m + 12 = m for m.
4
Suppose 4*w - 3*w - 140 = -3*j, -3*w + 138 = 3*j. Let c = 72 - j. Suppose -3*z - 8 + 2 = 0, -5*z = -5*h + c. Solve -h*s - 21 = -9 for s.
-4
Let x be (189/12)/(2/8). Let l be (-3)/(-5) + x/45. Solve -n = -0*n - l for n.
2
Let m be 8/(-24)*(-20 + -1). Solve -m*p = -2*p + 10 for p.
-2
Let p be (-6)/15 - 36/(-15). Suppose -6 = -0*k - p*k. Solve -k*j = -4*j - 1 for j.
-1
Suppose 3*c - 17 = 25. Let m(q) = q**3 - 3*q**2 + 3. Let i be m(3). Suppose 4*g = -i*r + c, 3*r - 1 = -2*g + 9. Solve 2*s = -g*s for s.
0
Let n(f) = -2*f**3 - f**2 + 2. Let q be n(-2). Suppose -u + 3*u = q. Solve 3 = 4*c - u*c for c.
-1
Let z = -26 + 45. Let u = -15 + z. Solve u = -2*v + 2 for v.
-1
Let i(z) = -z**3 - 3*z**2 - z + 5. Let b be i(-4). Let w = -40 - -62. Suppose w = 3*t + 4. Solve t*y = y + b for y.
5
Let f = 3 + 10. Suppose 4*w + f + 3 = 0. Let y be (w/3)/(6/(-9)). Solve -7 = -y*u + 3 for u.
5
Let q(y) = 2*y - 36. Let z be q(21). Solve -2*x + z = -0*x for x.
3
Suppose 4*y = 5*m - 16, -y + 0 = -5*m + 19. Solve 0 = -2*k + m - 2 for k.
1
Let b be (-768)/(-78) + 2/13. Solve -2*z = -0*z - b for z.
5
Suppose 19 = -4*v + 27. Solve v*o - 6 = -2 for o.
2
Suppose 20 = 8*s - 4*s. Solve 3*d - 4*d = -s for d.
5
Suppose -2*n = -37 + 7. Let k be 14/3 - 4/(-12). Solve -n = -4*a + k for a.
5
Let u(q) = 2*q - 3. Let h be u(-10). Let b = 38 + h. Solve -2*o = 3*o + b for o.
-3
Let j = -61 + 61. Solve 3*s - 12 + 3 = j for s.
3
Let t be (-4)/(-6) + 77/(-21). Let u be 0/(t - (0 - 1)). Suppose y + 4*y - 10 = u. Solve -y*l = -0*l for l.
0
Let q(u) = -11*u - 9. Let n(y) = -5*y - 4. Let i(l) = 7*n(l) - 3*q(l). Let t be i(-3). Solve -t*z + z = -20 for z.
5
Suppose 4*r = 4*c, -24 = -4*r - 0*r - 2*c. Suppose 12 = 4*u + r*f, -u + 0*f + f - 5 = 0. Let o = 3 + u. Solve -o*b - 9 = b for b.
-3
Let f(v) = -6*v**2 + 17*v + 12. Let j(r) = 5*r**2 - 16*r - 11. Let q(b) = -6*f(b) - 7*j(b). Let g be q(-10). Solve 3*m = 2*m - g for m.
-5
Let u(y) = -4*y - y + 2*y - y**2. Let r be u(-2). Suppose 5*p - r*p - 6 = 0. Solve 0 = l + p*l for l.
0
Suppose -3*b - 12 = -b. Let s = -2 - b. Suppose 0 = 3*z + o - 5, -o - o + 7 = 3*z. Solve s*p - 5*p = -z for p.
1
Suppose -5*u + 3*n = 7, 3*u + 3*n - 17 = -2. Suppose 10 = 4*k + 2. Solve -5 + u = k*c for c.
-2
Let k be (5/2)/(58/8 - 6). Suppose -2*s + 3*s = 0. Suppose s*t = k*t. Solve t = -r - r + 8 for r.
4
Let h(d) = -d**3 - d**2 + d. Let v(f) = f**3 + 4*f**2 + 3*f. Let c be v(-3). Let y be h(c). Solve y = 5*b - 5 for b.
1
Let a(k) = k - 5. Suppose -2*j - 5*c + 37 = 0, -4*j + 0*c = 3*c - 39. Suppose -d = g + 3*g - 3, 0 = -d - g + j. Let z be a(d). Solve 0 = 4*w -