2. Let m(t) = 2*t + 1. Let z be m(i). Suppose -z*u + 2 = -13. Solve u = -s - 2 for s.
-5
Suppose 10 = 2*a - 3*q, -5*q = 4*a + a. Suppose -5 = -a*k - 1. Solve k*u - 4 = -0 for u.
2
Let q = 9 + -4. Solve 6*v - v + q = 0 for v.
-1
Let i = 1 - 2. Suppose -2*u + 41 = -5*f, -3*f = -0*f + 4*u + 35. Let w be (-3 - i)/(f/18). Solve 2*a - w*a = -6 for a.
3
Let w(t) = t**3 + 9*t**2 - 10*t + 12. Let n be w(-10). Suppose -15 = -7*s + 2*s. Solve 0*h + n = s*h for h.
4
Suppose 5*g = -2*v + 11, 0*v + 5*v + g - 39 = 0. Let z = 0 + v. Let c = 5 - 2. Solve -s + c*s - z = 0 for s.
4
Let g = 43 + -40. Solve 0 = -2*x - 3 - g for x.
-3
Let w(d) = -d + 11. Let x be w(11). Solve 5*v + 11 + 4 = x for v.
-3
Let b = -31 + 31. Solve 10 = -b*h - 2*h for h.
-5
Suppose 5*b + 22 = -3. Let w(s) = -s**3 - 3*s**2 + 5*s - 5. Let y be w(b). Let q = -5 + y. Solve -3*z = -0*z + q for z.
-5
Suppose -1 = -v + 2*z + 3, -4*v + 2*z + 4 = 0. Let y = v + 2. Solve -y*w + 1 = -3*w for w.
-1
Let n = -28 + 48. Solve 5*z - n = z for z.
5
Let h(i) be the third derivative of -i**5/60 - i**4/4 - i**3 - 2*i**2. Let n be h(-4). Solve -n*d + 12 = 2 for d.
5
Let y(k) be the second derivative of k**4/12 + k**3/6 + 3*k**2/2 - 4*k. Let o be y(0). Let w = o - 3. Solve j - 2*j + 4 = w for j.
4
Let r = 114 + -108. Solve 4 + r = -2*c for c.
-5
Let q = -3 + -2. Let u be (-4)/7 - (-6)/(-14). Let c = u - q. Solve -a = -c*a for a.
0
Let y(f) = -2*f**2 + 14*f - 8. Let q be y(6). Solve -3 = q*v - 23 for v.
5
Suppose -4*m + 16 = 4. Solve -m = -2*b + b for b.
3
Let z be -2 - (-4 - 28/2). Solve -2*i - 2*i + z = 0 for i.
4
Let r(f) = 5*f - 3. Let n be ((-4)/(-2) + -1)/(-1). Let u(o) = o - 1. Let s(t) = n*r(t) + 4*u(t). Let w be s(-3). Solve -w*g = -3*g + 4 for g.
4
Suppose 5*b - 14 = 3*b. Suppose 52 - b = -3*n. Let q = 25 + n. Solve 5*d = -0*d + q for d.
2
Let h(m) = -2*m + 1. Let l = -4 + 3. Let t be h(l). Suppose -y + 1 + t = 0. Solve i = -y*i for i.
0
Suppose -w + 2*k = 2*w - 25, 0 = 2*k + 10. Let b be (w/(-2))/(1/(-6)). Suppose -6*o = -3*o - 15. Solve 0 = -o*c + b + 5 for c.
4
Let k = -7 + 13. Solve -3*o + k*o = -3 for o.
-1
Let o = -75 + 34. Let u = -24 - o. Let a be (3 - (-6)/(-1)) + u. Solve 3*x - 1 = a for x.
5
Let g be -1 + (-4)/8*-8. Solve 0 = -r - g*r for r.
0
Let v(n) = n - 2. Let m be v(-4). Let z = -2 - m. Solve 0 = z*q - 0*q + 4 for q.
-1
Suppose 1 = -10*c + 11*c. Let i = 17 + -12. Solve c - i = 2*k for k.
-2
Suppose 0*z - 4*z = -5*r - 12, 5*r + 3 = z. Suppose z*y - 8 = -4*n + 2*y, 5*n - 3*y - 27 = 0. Solve 0 = 2*l + n*l for l.
0
Let b = -6 + 10. Suppose 2 + 37 = 4*p + 3*h, -3*h + 3 = 0. Solve -b*r + p*r = 0 for r.
0
Let g(h) be the first derivative of -h**4/4 - 2*h**3 - 5*h**2/2 - 5*h + 3. Let n be g(-6). Let x be ((-32)/12)/((-2)/3). Solve -x*j - j - n = 0 for j.
-5
Suppose 0*s - 5*s + 52 = -3*z, 0 = 2*z - 2*s + 32. Let k = 1 - z. Solve -4*t - k = t for t.
-3
Suppose 90 = 21*y - 15*y. Solve 0 = -3*d + 3 - y for d.
-4
Suppose 17*m - 19*m = 0. Solve -4*c - 11 + 3 = m for c.
-2
Suppose 0 = -5*y - 0*a + 3*a + 9, 4*a = 8. Suppose 2*v = v + 5. Suppose 0 = 3*g - v*g. Solve -y*f + 22 - 10 = g for f.
4
Suppose -2*w + 4 = -4*t, -9 = -4*w + 3*t - 1. Solve w*k - 12 = -2*k for k.
3
Let m(t) = 3*t + 22. Let w be m(-6). Solve 1 = w*v + 17 for v.
-4
Let u(r) = -r - 4. Let b be u(-9). Solve 10 = -b*y - 5 for y.
-3
Let a(x) = -x**3 - 6*x**2 + 6*x - 3. Let u be a(-7). Let d be ((-8)/(-6))/(-1)*-3. Suppose 0 = j + j - d. Solve -3*p + u = -j for p.
2
Suppose 0 = 6*m - 3*m - 15. Let q = 9 - m. Solve -13 = q*h - 1 for h.
-3
Suppose 0 = 5*t - 4*t - 4. Solve 2*g - 4 = t for g.
4
Suppose -o - 4*o - w + 41 = 0, 2*o + 4*w - 20 = 0. Suppose 5*d - 4*m - 16 = 0, 0 = -4*d - m - 2*m - 12. Solve 4*p + d*p = -o for p.
-2
Let s = 7 - 5. Suppose -3*y = -0*y - 24. Suppose 32 = s*t + y. Solve h = -2*h - t for h.
-4
Let s be -1 - 1/((-3)/6). Let r = s + -1. Suppose 22 + 2 = 4*q. Solve -3*l - q = -r for l.
-2
Suppose -r + 1 + 0 = 0. Let f(j) = 26*j**2 - 3*j + 1. Let i be f(r). Solve 4*k - i + 4 = 0 for k.
5
Let f = -11 + 15. Solve -f*o + 3 = -9 for o.
3
Suppose 3 - 11 = 2*g. Let u be (-9)/(-12) - 5/g. Suppose i = b - 0*b + u, -4 = -3*i + 2*b. Solve i = -0*f + 3*f for f.
0
Suppose -16*o = -11*o - 25. Solve -o*h + h + 20 = 0 for h.
5
Let t(v) = v**3 - 4*v**2 - 2*v + 10. Let i be t(4). Solve -u = -i*u for u.
0
Suppose 3 = 4*j - 1, 0 = 5*p + 5*j. Let i(v) = -4*v**3 + v**2. Let z be i(p). Solve -2*l + 3 = -z for l.
4
Let w(m) = -m**2 + m - 1. Let u(t) = 4*t**2 - 6*t + 1. Let d(k) = u(k) + 3*w(k). Let n = 2 - -2. Let g be d(n). Solve -6*a = -g*a + 20 for a.
-5
Suppose 0 = -3*i + 15, -4*s - 5*i + 12 = -9. Let n be (s - 3)/(-2)*1. Solve n*k = k + 4 for k.
4
Suppose -2*y = -3*r + 17, -5*r + 31 = -3*y + 4. Solve -r + 11 = 4*f for f.
2
Suppose 5*s = 5*v - 10, 0 = 2*v + v - 2*s - 10. Suppose 4*f = -0*o - o + 5, 4*f = 2*o - 10. Solve f = v*y - y + 15 for y.
-3
Let t(s) = s**2 - s - 4. Let m be t(3). Solve m*u + 3*u = -10 for u.
-2
Let q(t) = -t - 2. Let z be q(0). Let k be 1 + 1*(1 + z). Suppose 4*g - 23 + 3 = k. Solve -g*v - 1 = 9 for v.
-2
Suppose s + 4 = 6. Solve 3*b + 1 = -s for b.
-1
Let w be (4 - 2)*(-2 + 3). Let o(b) = 20*b**2 - 2*b - 18. Let k(h) = -7*h**2 + h + 6. Let x(t) = 17*k(t) + 6*o(t). Let f be x(-6). Solve -w*u + 8 = -f*u for u.
4
Suppose c = -y + 5, 3*c + 8 = 2*y + 3. Solve z + y = -0 for z.
-4
Let u be 28/(-10)*(-12 + 7). Let b = u - 4. Solve -3*o - 2*o = b for o.
-2
Let y = 1 - 1. Let p be -1 + 2 + y/(-7). Solve -t + 4 = p for t.
3
Let f(g) = -3*g**3 - g**2. Let x be f(-1). Suppose -5*z - 4 = 26. Let c = 12 + z. Solve -x*j = j + c for j.
-2
Suppose 12 = b + 6. Let a = 14 - 28. Let m be ((-8)/a)/(b/21). Solve 4 + m = 3*p for p.
2
Let l(u) = -u**2 - 5*u + 3. Let g be l(-5). Solve g*f = f + 4 for f.
2
Let x = 20 - 12. Suppose x = g + g. Solve 0 = -0*f - f - g for f.
-4
Let n = -5 + 1. Let o = 6 + n. Solve 0 + 8 = o*t for t.
4
Suppose -3*u - 8*n + 4*n = -59, -3*n = -u + 11. Solve 5 - u = -4*d for d.
3
Suppose -2 = -3*b - 14. Let j = 4 - b. Solve j*a = 3*a for a.
0
Let i(y) = y**3 - 2*y**2 - 3*y + 1. Let v be i(3). Suppose 0 = 4*g - 4. Let h be -2 - (-1 - (g - -4)). Solve -v + 9 = -h*q for q.
-2
Let k be ((-8)/22)/(-2) + (-46)/253. Solve 3*d + 9 = -k for d.
-3
Let n(h) be the first derivative of -3*h**2/2 + h - 3. Let d be n(-7). Solve -4*c = -d + 2 for c.
5
Let f(p) = p + 11. Let t be f(-11). Solve -2*r + 4*r - 8 = t for r.
4
Suppose -23 = -4*i - 3*l, l + 1 = -i + 8. Solve 2*b - 4*b + i = 0 for b.
1
Let g = -2 + 3. Let i(h) = -h**3 - h**2 + h. Let w be i(g). Let o be w/(3/(-27)) - 1. Solve 3*n + o + 7 = 0 for n.
-5
Let o(j) = -j**2. Let l be o(-1). Suppose 0*r + 5*n - 1 = 3*r, 8 = -2*r - 4*n. Let u be 1 - ((r - l) + 1). Solve 3*v = 4*v + u for v.
-1
Suppose -4*k = k - 5. Let a be (k - 9/3)*1. Let t = -2 - a. Solve c + 4*c + 15 = t for c.
-3
Suppose 0 = 3*y + 5*s - 18, -4*s + 2*s + 6 = 0. Solve -y = 3*o + 5 for o.
-2
Let d = -29 - -36. Solve -2*v + d*v = -10 for v.
-2
Let q = 15 + -21. Let o be -1 - 2/q*3. Solve o*r = -2*r for r.
0
Suppose 0 = -2*t - 2*t - 2*l + 54, -3*l = 3*t - 39. Solve 2 = -4*n - t for n.
-4
Suppose -4 + 40 = 3*w. Solve -2*i = 2 - w for i.
5
Let w be (-1)/((-2)/10) + -1. Suppose 0*y = 2*y - 4. Solve -w*u + y*u = 0 for u.
0
Suppose w = -4*q - 5 + 44, -23 = -2*q + 3*w. Let b = -5 + q. Let f(t) = -t**2 - 2*t + 11. Let v be f(0). Solve b = -4*j - v for j.
-4
Suppose 2*g - 23 = -17. Let o(q) = 2*q + 2. Let v be o(3). Suppose -g*s = -v*s. Solve -3*j + 8 + 4 = s for j.
4
Suppose -3*i - 2*i = -3*q + 50, q = -3*i - 2. Let k = -3 + q. Solve 2*m = k*m - 15 for m.
3
Let c(v) = -2*v**2 + 11*v + 8. Let h be c(6). Solve 5 = -h*a - 3*a for a.
-1
Suppose -3*u - u - 4 = 4*s, 5*u - s = 25. Suppose 6*a - 4*d - 1 = 3*a, 0 = 4*a - 4*d - u. Suppose -8 = a*t - 5*t. Solve 2*n + 2 = t for n.
1
Suppose 3*x = -12, 2*b + 2*x + 8 = -0*x. Suppose b = -0*a + a. Let h = 3 - 2. Solve 2*c - c + h = a for c.
-1
Let g be ((-12)/(-10))/(3/10). Let t(c) = -c - 2*c**2 - c**2 + 4 - c**3 + 7*c**2. Let u be t(g). Solve u = -q - 2 - 2 for q.
-4
Let j(m) be the second derivative of m**5/20 - 2*m**4/3 + m**3/6 + m**2 - 4*m. Let p be j(8). Solve 4*r - p = 10 for r.
5
Let r be 46/16 + 1/8. Solve 4 = r*f - f for f.
2
Let s = -13 - -16. Suppose -x + 3*x - s*r = 0,