2. Let l be (3 + q)/(1/6). Solve -r = -l*r for r.
0
Let t(y) be the first derivative of -y**3/3 - 8*y**2 + 20*y + 3. Let b be t(-16). Solve 4*i + b = -0*i for i.
-5
Suppose 23 = 8*a - 41. Solve 4*l + a = 8*l for l.
2
Let y(i) = -i**3 + 8*i**2 - 8*i + 7. Let m be y(7). Let l(s) = -s**2 + 2*s + 1. Let t be l(0). Solve m = 4*v + 11 + t for v.
-3
Let j = -7 - -11. Suppose -x - 8 = -3*v - v, 0 = -5*x. Suppose 0 = g + v*k - 4, 0 = -4*k - j - 0. Solve -4*f = -14 + g for f.
2
Suppose -2*c = -5*c. Suppose 5*z - r = 25, z + 20 = -5*r - 1. Solve c = -g + z*g + 6 for g.
-2
Let t(u) = u**2 - 2*u + 3. Let z be t(2). Solve 2*d = -z*d - 25 for d.
-5
Let h(x) = -x**3 - 10*x**2 - 8*x + 12. Let j be h(-9). Let n be (-2)/(-3) + (-4)/6. Solve j*f = -n*f for f.
0
Let m = 4 - -7. Let x be (-2)/4 + 25/10. Let i = x + -1. Solve 2*o - m = -i for o.
5
Let s(q) = -2*q**2 + 14*q + 5. Let a be s(7). Solve n + 0*n + a = 0 for n.
-5
Let t be (2/6)/(2/12). Let r = 1 + t. Let j be ((-7)/(-3) + -1)*3. Solve -j*m = -r*m + 5 for m.
-5
Let f(c) = c**2 - c. Let n be f(-4). Let h = 29 - 36. Let o be (2 + -2)*h/(-14). Solve o*r - n = -4*r for r.
5
Suppose 3*l - 62 = -z, 5*l = -0*l - 5*z + 110. Suppose 0 = -4*y - 2*h + 4, -y - 1 + 11 = 5*h. Solve -l = 4*i - y for i.
-5
Suppose -4*q + 5 = -11. Suppose 0 = 4*v - 4*g - 0*g - 16, -5*v + q*g = -18. Suppose 2*u = 2*p - 2*u - 4, 0 = -u - 1. Solve p*x + x = v for x.
2
Suppose 0 = 2*s - 6 - 0. Solve -s + 2 = p for p.
-1
Suppose 2*x - 7 + 3 = 0. Suppose -4*y = y - 10. Let l = 0 + y. Solve l + 0 = -x*j for j.
-1
Let s = -5 + 6. Suppose 2*m - s - 7 = 0. Suppose -25 = -4*n - 5. Solve -n + 1 = -m*u for u.
1
Let i = -9 + 54. Suppose 2*v + v + i = 3*p, -p - v = -5. Solve -y + p = y for y.
5
Let j(b) = 2*b - 2. Let t be j(2). Solve -h + t*h + 5 = 0 for h.
-5
Let c(d) = d**3 - 7*d**2 + 2*d - 10. Let k be c(7). Solve -k*a = -a for a.
0
Suppose -15 = -3*u + 3*p, 0 = -0*u + u - 3*p - 11. Solve 2*n + u*n - 4 = 0 for n.
1
Suppose k + 7 = 5*n - 4, -n = -3*k - 5. Solve -n*z = -0*z - 2 for z.
1
Suppose 0 = -5*h + 10*h - 20. Solve 1 + 11 = -h*l for l.
-3
Let h(t) = t**2 + 11*t + 12. Let b be h(-10). Solve -f + 1 = b for f.
-1
Let p = 8 + -7. Let j be -1*(p + -1)/2. Solve j*t - 3*t + 9 = 0 for t.
3
Let o = 18 - 13. Let k be (21/(-9) + 1)*-12. Solve -o*z + z = k for z.
-4
Suppose 0 = -6*x + 14 - 2. Solve -3*m = -x*m for m.
0
Let l = 60 - 40. Let v = l + -18. Solve 0 = 4*u - 10 + v for u.
2
Let o be ((-4)/5)/(1/(-15)). Suppose 2*w + 2*b = 4*w - 38, o = -3*b. Let n = w - 11. Solve h = n - 1 for h.
3
Let g be (10/(-4))/(30/(-72)). Solve -g*y - 5 = -11*y for y.
1
Let j(y) = -y + 6. Let m be j(6). Let q = 1 - 4. Let n be 1*q/1*-1. Solve m = -h + n - 0 for h.
3
Let x = 7 - -23. Let s be 9*(-4)/x*-5. Let o(a) = -a**2 + 7*a - 2. Let t be o(s). Solve t*v = 3 - 15 for v.
-3
Suppose -a - 15 = -5*k, 5*k - 16 + 1 = 3*a. Solve 0 = 3*w - a*w - 9 for w.
3
Suppose -5*j + 25 = 0, -5*j + 11 + 14 = -2*q. Let d(m) = -6*m + 3. Let y be d(2). Let k = y - -13. Solve q = x + x - k for x.
2
Let p = 0 + 4. Let i(q) = -q + 3. Let s be i(-1). Let w = -5 - -5. Solve p*h - s = -w*h for h.
1
Let a = 38 + -34. Solve -a*o - 3 = -7 for o.
1
Suppose 6 = -3*n, 0 = f + 4*f - 4*n - 28. Suppose 5*k + 0*m = -m + 20, -f*k = 3*m - 27. Suppose -k*d + 6 = -0. Solve -d*p + 0 = -4 for p.
2
Let p be 24/(-20)*(-10)/4. Solve 3 - 6 = p*t for t.
-1
Let u(d) = d**2 + 5*d + 9. Let s be u(-4). Solve -2*z = 3*z + s for z.
-1
Let l be 28/16 - 1/(-4). Solve 0 = -q + l - 5 for q.
-3
Let g(o) = -5*o - 16. Let q(s) = -4*s - 16. Let v(r) = 5*g(r) - 6*q(r). Let z be v(11). Solve -1 + z = -a for a.
-4
Let y(h) = -4*h**3 + 2*h**2 + 2*h + 1. Let l be y(-1). Suppose -a + 26 + l = 0. Solve a - 11 = -4*j for j.
-5
Let f = 16 - 10. Solve 0 = -f*o + o + 20 for o.
4
Let z(d) = d + 16. Let q be z(-9). Solve 10 = -q*h + 2*h for h.
-2
Let k = 11 + -8. Let o be 2 - 3 - (-6)/(-2). Let n be (o - 1)*(k - 4). Solve -3*m - 14 = -n for m.
-3
Suppose 2*y + 2*y - 12 = -2*j, 4*j = 4*y. Let k(n) = n**2 + 8*n. Let u be k(-8). Solve u + y = h for h.
2
Suppose 0 = 11*k - 14*k + 18. Solve -25 = k*v - v for v.
-5
Let g(t) be the second derivative of t**5/10 - t**4/12 - t**3/6 + t**2/2 - 2*t. Let h(u) = -u - 5. Let w be h(-6). Let q be g(w). Solve 3 = s - q for s.
4
Let k = -24 - -20. Let i be (-5 - -11)/((-6)/k). Solve i*p - p = 3 for p.
1
Suppose 3*i = i - 4*y - 14, i + 17 = -4*y. Let b be (-3)/(i/4*-2). Solve 6 - 2 = -b*z for z.
-2
Suppose -3*o + 0*r + 126 = -3*r, -4*o + 5*r = -170. Suppose -3*h = h - o. Suppose 5*d = 3*d + h. Solve 0 = -d*s + 3 + 22 for s.
5
Let i(m) = 2*m**3 - 2*m**2 + m + 2. Let r be i(1). Solve -2 = r*j - 5*j for j.
1
Let q = 3 - 3. Suppose q = -2*w - 0*w - 4. Let z = -2 - w. Solve z + 3 = a for a.
3
Let i be 90/(-4) - 1/(-2). Let j = i - -26. Suppose -g + 6*g - 2*r - 30 = 0, 3*g - 3*r = 18. Solve 0 = j*u - 7*u + g for u.
2
Suppose 3*m = 2 + 7. Suppose -2 = 5*u - m*s - 21, -19 = -2*u + 5*s. Solve -u*a - 1 = -a for a.
-1
Let s = 15 - 13. Suppose 2*t + s = 6. Solve 3*f = -t*f for f.
0
Let q be 34/(-153) - ((-166)/(-9))/(-2). Solve -2*s - 7 = -q for s.
1
Let l(x) = x**2 - 7*x + 1. Let s be l(6). Let d be s/((-5)/(-2)) + 6. Let q be (-4)/(-3)*(-75)/(-10). Solve -d*r + 2 = q for r.
-2
Let g(k) = -49*k**3 - 1. Let j be g(-1). Suppose 0*h = 4*h - j. Solve 0*i = 3*i - h for i.
4
Let w be -4 + 2 + 4 + 4. Let a be (-16)/(-6) - 24/36. Solve w = g + a for g.
4
Let o be 6/30 - (-72)/15. Solve 5*j = 20 - o for j.
3
Let k(m) = -m**3 + 4*m**2 + 4*m + 9. Let b be k(5). Solve l = -l - b for l.
-2
Suppose -2*v - 1 = -3*v. Suppose 3*x - 9 = n, -x = -3*n - v + 6. Solve x*l = 3*l + 2 for l.
2
Let h be ((-1)/1)/((-14)/12 - -1). Solve 0 = 5*p + h + 4 for p.
-2
Let t be (24/15)/((-4)/(-10)). Solve 0 = -t*i - i - 10 for i.
-2
Let l be 14*((-3)/(-3) + -3). Let f be 7/l + (-29)/(-4). Let x = f - 4. Solve 0 = z + x - 7 for z.
4
Let r be (-2)/((-3)/3) + 2. Suppose r*x + 2*v - 16 = -2*v, 2 = x - v. Let z = x + 5. Solve 2*q - 4*q = z for q.
-4
Let z = -18 + 26. Solve 0 = -b - 3 + z for b.
5
Let m = -3 + 6. Suppose -4*g - 2*d + 5*d = -9, 3*g + m*d = 12. Solve g*c = 2*c for c.
0
Let d(w) = -2*w + 1. Let z be d(-1). Solve 0 = 3*g - 18 + z for g.
5
Let m = 5 - 3. Let w be (2 + -8)/(-1*2). Suppose 0 = -w*y - m*y + 25. Solve -17 = -y*j - 2 for j.
3
Suppose 7*r - 2*r + 2*f - 17 = 0, -5*r = -3*f - 37. Suppose 5*q + 3*x = 22, r*x - x - 16 = 0. Solve v + 0 = -q for v.
-2
Suppose z + 20 = 5*q - 0*q, 0 = -4*q + 16. Solve t - 4*t = z for t.
0
Suppose 0 = -5*v + 1 + 14. Solve 2*y = -v*y - 25 for y.
-5
Let f be 80/14 - (-10)/35. Let c = f - 6. Let y = -4 + 8. Solve -y = -k - c*k for k.
4
Let q be (2 + (-2 - -1))/1. Suppose 5*a + 40 = -5*w, 0 = 5*a - a + 4. Let y = 9 + w. Solve -y*h + q = -7 for h.
4
Let s = -2 - -31. Let w be 8/(-36) + s/9. Solve 6*m = w*m - 6 for m.
-2
Suppose 5*y - 17 - 8 = 0. Solve 3*n + y = -2*n for n.
-1
Let d = -41 - -46. Solve -d*z = -z for z.
0
Suppose -2*v + 3*u + 16 = 0, 5 = 2*v - 5*u - 19. Solve 4 = v*x - 0*x for x.
2
Suppose -19*x + 20*x - 10 = 0. Solve -k + x = k for k.
5
Let c(k) = k**3 - k**2 - k + 1. Let u(x) = 8*x**3 - 3*x**2 - 5*x + 4. Let i = -2 - -3. Let s(y) = i*u(y) - 4*c(y). Let b be s(1). Solve -5*q = -q - b for q.
1
Let i be ((0 + 3)/(-3))/(-1). Solve 0 = 4*x - i - 11 for x.
3
Let o = 24 + -22. Suppose -5 = -2*j - 5*f, 3*f - 6*f = j - 3. Suppose o*x - 5*y - 7 = -j*y, 5*x = -2*y + 3. Solve x = p + 4 for p.
-3
Let o(h) = h + 10. Let z be o(0). Suppose j = 5*x - z, 10 = 6*x - x. Solve -4 = -j*l + l for l.
-4
Let b(j) = -j**2 - 5*j - 2. Let t be b(-3). Suppose 0 = -3*m + y, 2*y + 2*y = 0. Suppose m = -3*p + 15. Solve t*c - p = -c for c.
1
Let b be (-2 + -1)*(-8 - -1). Let x be 12/b + 6/14. Solve 3 + x = -2*h for h.
-2
Let w = 3 - -3. Let g = -4 + w. Solve -4*c - 6 = -g*c for c.
-3
Let t(j) = -j**3 - 7*j**2 + 4*j - 9. Let a be t(-8). Solve 4*y + a - 3 = 0 for y.
-5
Let j be 12/(-2)*(0 + -1). Let o be (-2 - 2)/((-2)/3). Solve o*z - j = 3*z for z.
2
Let c be 0 - 5*(-5 + 4). Solve 0 = c*f + 30 - 5 for f.
-5
Let x(b) = 2*b - 1. Let c be x(8). Solve -c = -9*m + 4*m for m.
3
Let w be (-2)/(-10)*(-10)/(-2). Suppose -2 = -3*h + 2*y, 3*h + 0 = y + w. Solve -3*l + 8*l - 10 = h for l.
2
Suppose -4 = 5*g - 5*u + 1, -17 = -g - 5*u. Suppose 2*j + g