2. Let a be m(5). Suppose 0*i - 5*g - 16 = i, a*g + 12 = 0. Solve 2*n - 12 = i*u, -2*n - 2*u - 4 = 2*u for n.
2
Let b(u) = 2*u + 10. Let t be b(-5). Solve z = -s - 2*s - 2, t = 4*s - z - 9 for s.
1
Let q = 39 + -20. Suppose -5*s = 3*g - 55, g - q + 4 = -s. Suppose -2*k + w = -29, -k + 7*w - 2*w + g = 0. Solve 0 = x + l - 1 - 2, k = x + 5*l for x.
0
Suppose 0 = -4*x - x + 5*i + 15, i - 45 = -5*x. Let k(u) = 20*u**2 + x - 8. Let f be k(1). Solve -3*v - f = 2*v, -w + 3*v + 14 = 0 for w.
2
Let g(z) = z**2 - 4*z + 5. Let v be g(3). Suppose f - 4*h = 6*f - 4, -f - h = 0. Solve -b + 2 = 0, 4*b - b = f*r + v for r.
1
Suppose -2*f = 3*f + 5*k - 25, 11 = 3*f - k. Suppose -f*c + 13 = 5. Suppose 5*u - c*u = 21. Solve -3*r + 2*p = -3*p + 16, 4*r - p = u for r.
3
Suppose 5*r = g + 2*r + 15, -4*g = 4*r - 20. Solve g = 4*b + 3*h - 6, -2*b + 0*h + 10 = -2*h for b.
3
Let m = 20 + -47. Let v be (-156)/m + 4/18. Let z be v/3*1*1. Solve 0 = -z*h - 4, -3*r + 5*h = 2*r for r.
-2
Suppose 2*v - 50 + 10 = 0. Let o = -15 + v. Solve -o*b + 4*k = -14, b + 2 = 5*k + 9 for b.
2
Let r be 1 + 4 - (-1 + 2). Solve 0*s + 3*s + 2*c + 1 = 0, 0 = -r*s - 4*c for s.
-1
Suppose -3*y - 2*f = -5*y, 2*f = 0. Let i = 3 - -1. Solve y = -2*p - 3*a + 6 + 3, -5*p + i*a - 12 = 0 for p.
0
Let w = 3 - -1. Let t(p) = -p**3 + 2*p**2 + 5*p - 4. Let r be t(3). Solve -w*y + 5*y - r*l + 10 = 0, -4*y + l = 19 for y.
-4
Suppose c = -3*h + 10, 4*h - c = h + 2. Let o be 0 - (h - 2)/3. Solve 4*j = -q - 17, o = -q - 2*j - 5 - 4 for q.
-1
Let c be 2 + -7 + (-3 - -5). Let v(j) = 3*j**2 + 3*j - 4. Let b be v(c). Let k = b + -9. Solve -3*g - 5*y = 5, -g = -k*g + y - 22 for g.
-5
Let z(i) = i + 4. Let v be z(-2). Solve -3*d + 2*a = -v*a - 20, -22 = -3*d + 5*a for d.
4
Let b(k) = -k**3 + 6*k**2 + 2*k - 7. Let l be b(6). Solve 0 = -l*m - 5*d - 25, -m = 2*m + 4*d + 17 for m.
-3
Suppose 28 = 15*q - 17. Let l(j) = j + 1. Let b(m) = -m**2 - 6*m + 1. Let i be b(-6). Let k be l(i). Solve -5*g - 3*f + k = 0, -3*f + 18 = -q*g - 0*f for g.
-2
Suppose -5*f + 13 + 2 = 0. Solve 5*d - f = d + r, -3*d - r = 3 for d.
0
Suppose 2*n + 0*n = -5*w + 38, -w = n - 13. Let j be ((-8)/12)/((-2)/n). Let q be (45/3)/j + 0. Solve -3*r = 2*t - 4, -q*r + 8 = -4*r - t for r.
4
Let l be (8/(-10) - 0)*5. Let j be l/(-14) + 231/49. Solve i = -3*i - 5*f, j*i - 2*f + 33 = 0 for i.
-5
Let r = 33 - 17. Suppose 4*i - r = -0. Let u be (0 + (-6)/(-21))*14. Solve 2*d = -5*n + 7, -i = d - 3*d - u*n for d.
-4
Let x = -16 - -21. Suppose -4*v = -x*r + 65, 0*r - 4*r + 2*v = -52. Solve -2 + 0 = -q - 5*h, -2*h = 5*q + r for q.
-3
Let r(o) = -2*o**3 - o**2 + 2*o. Let x be r(-2). Let v(u) = x - 10 + u + 3. Let f be v(5). Solve -23 + f = -3*i + 5*t, 4*t = -i for i.
4
Let r(p) = 8*p**2 - 3*p + 1. Let f be r(2). Let v(o) = -o - 2. Let j be v(-5). Let g be (-3)/(-2) + (-1)/(-2). Solve -3*s - 1 = -4*c, -j*c = s + g*s - f for c.
4
Suppose 1 = -2*g + 17. Let w = -6 + g. Solve 5*q - p + 15 = 0, 0 = -6*p + w*p for q.
-3
Let g be (-15)/(-3)*2/5. Suppose -g*x = -0*x. Suppose x = 2*q - 2*j - 8, q + 5*j + 0 = -2. Solve q*f - 3 = i + 2, f - 7 = -i for i.
4
Let t be 7 + 0/(2 - 4). Let g = t + -4. Suppose 0*l = -g*l. Solve 2*r + 14 = 2*k - l*r, -5*k + 26 = -2*r for k.
4
Let i(p) = 4*p**2 - 11 + p + 11. Let m be i(1). Solve 5*r - m*u = -25, -3*r - 3*u = -0 - 9 for r.
-1
Suppose -x - o - 4*o = -43, 2*x - 5*o = 11. Suppose -4*l + 18 = 4*c - l, -1 = -c + l. Let v be (c/2)/(1/2). Solve -5*h + x = -s - 2*h, -4*h + 11 = v*s for s.
-3
Let m = -75 - -105. Suppose -i + 0*i + 4*a = 15, 3*i + 3*a = m. Solve 4*p = -i*o - 11, -2*o - 3*o - 5*p = 15 for o.
1
Let n(m) = m**2 + 6*m - 7. Let p be n(3). Solve -c - 23 + 1 = 4*h, 2*h = -5*c - p for h.
-5
Let a be 0/3 - (-3 - 0). Suppose 4*n = -7 + 23. Solve -3*t + 3 = -3*h, n*h - 23 = -a*t - 2*t for h.
2
Suppose 4*s = -s + 10. Suppose 0 = 3*j + 5*w + 5, -5*j - s*w = -0*j + 2. Solve -13 = -v + 4*l, -2*v - 4*l - 22 = -j*l for v.
-3
Let h(m) = m**2 - 2*m - 3. Suppose 2*r + 5*z - 1 = -0, 2 = -2*r - 2*z. Let x be h(r). Solve -n + x*n = -2*p, 3*p + 4*n = 0 for p.
0
Let m = 90 + -88. Let x be 1 - (-14 + 0)/1. Solve -z = -m*s - 7, 5*z = 2*z - 3*s - x for z.
-1
Let x(y) = -3*y - 7. Let s be x(-7). Suppose b - 1 = n - 3*b, 4*n + 5*b - 17 = 0. Let l be (-4)/n*9/(-6). Solve 0*q - q - 27 = -5*c, 0 = -l*q + 2*c - s for q.
-2
Suppose 4*x = -5*a + 23, x + a + 8 = -3*a. Suppose -x = -5*q + 13. Solve 5*c + 4*r = 33, q*r - 8 = r for c.
5
Let n be (4/(-5))/(1/(-5)). Solve -4*a - g + 0*g = -11, -n*a + g + 5 = 0 for a.
2
Let z be (8/(-12))/(2/(-6)). Suppose -4 = -4*r + z*r. Solve r*y - 4*s = 4, 0 = -4*y - y - s - 23 for y.
-4
Let t = -3 - -8. Let n(r) = r**2 - 3*r - 5. Let o be n(t). Let p = 9 - o. Solve p*s - 2*i = -4*i - 2, i + 1 = 3*s for s.
0
Suppose -12 - 12 = -6*n. Suppose 5*i - 6 = 4*k - 0*k, 3*i - 4 = 2*k. Solve -2*v + 10 = -2*o, -o - i*o + 6 = n*v for v.
3
Suppose -3*q + m + 0*m = -5, q - 4 = -2*m. Solve 0 = -2*f + 3*f + 5*o - 17, -8 = q*f - 4*o for f.
2
Let c(v) = 2*v**3 - 3*v**2 + v - 2. Let u be c(2). Let k = 5 - u. Solve y = 0, 0 = -x + 2*x + 4*y - k for x.
1
Let q be ((-117)/26)/((-3)/2). Suppose b - 3*h - 6 = 0, 5*b - 8 = -h + 6. Suppose -o + 19 = -3. Solve -b*v + i = 5, 5*v - q*v = -4*i - o for v.
-3
Let n = -4 - -6. Suppose -n*s - 4*b = -9*b - 14, 3*b + 14 = 4*s. Suppose 0*q - 4 = -s*q. Solve q*i - 2*m = 14, i + 2*i = 2*m + 17 for i.
3
Suppose -3*g = -g - 5*y - 20, 5*y - 5 = -3*g. Solve 3*z = 2*j - 4, -3*z + g = j - 6 for z.
2
Let f be -5*3/6*-2. Suppose 0 = -f*p + 3 + 7. Let q(o) = 2*o**3 - 2*o**2 - o - 2. Let n be q(p). Solve -3*v + 3*d = 1 - n, 2*v + 4 = 4*d for v.
4
Let w = 23 - 16. Let k be (-4 - (0 - 1)) + w. Solve -2*r = 2*h + 2, k*r - 7*h = -3*h + 36 for r.
4
Let n = -999 + 1008. Let v = 16 - 8. Solve 4*s = -5*i + n + 27, 3*i = 5*s - v for i.
4
Let k(u) = u**3 + 18*u**2 + 16*u - 14. Let a be k(-17). Solve -a*j - 3*d - 15 = 0, -d - 15 - 2 = 5*j for j.
-3
Let j = -65 + 70. Solve 3*u + 0*y = y + 1, 4*y + 21 = -j*u for u.
-1
Let k be 11/7 + 6/14. Let v = k - 2. Solve -3*g + 3*u - 25 = -8*g, -4*g - u + 20 = v for g.
5
Let q = -19 + 39. Suppose -5*p - 2*u + 10 = 0, 5*p + 0*p + 4*u = q. Solve p*f = -4*f, 3*w = 2*f for w.
0
Let k be 299/92 - 2*(-2)/(-16). Let n = -4 - -9. Solve -2*l + 4*w = n + 5, k*l + w - 13 = 0 for l.
3
Let i = -5 + -3. Let w = -4 - i. Suppose 0 = -0*h + w*h - 12. Solve 2*g - f + h = -2, -2*g + 5*f = 25 for g.
0
Let n(h) = h + 6. Let q be n(-6). Suppose -4*i + 13 + 3 = q. Solve -4*y - 3*j + 0 = -1, 0 = i*j + 20 for y.
4
Let d(n) = -2*n**2 + 7*n + 2. Let w(j) = -j**2 - 1. Let k(p) = -d(p) + 3*w(p). Let o be k(-6). Solve f = 3*f + 4*a + 6, -2*a = -3*f - o for f.
-1
Let q = -13 + 18. Let u be (-1)/(-1)*16/4. Solve 2*a - 4*h = -u, -h = q*a - a + 17 for a.
-4
Let b be 10*(-5)/(25/(-2)). Let g(n) = n**2 - 5*n + 4. Let a be g(b). Suppose a = -3*m + 2*m. Solve 2*k + 5*p - 11 = 17, m = 5*k - p - 16 for k.
4
Suppose -4*q - 87 = -3*l, -10 = -4*q + 5*l - 91. Let i = q - -27. Solve -p + 3*p - 10 = -2*x, 4*p = i*x + 20 for x.
0
Let c = -18 - -23. Solve -q + 4 = -4*d, -c*d - q = -1 + 15 for d.
-2
Suppose 2*x - 6*x - 15 = 5*r, 0 = 4*r + 2*x + 6. Solve -2*f - r = h + 2, 2*h + 5 = -5*f for f.
1
Let s = -12 + 17. Suppose 0 = s*q + 3*t - 11, -4*q - 5*t = q - 5. Solve -4*p + 2*p = 4*b - 8, -q*p = 2*b + 2 for p.
-2
Let d be 1/4*-1*-8. Let w(m) = m + 8. Let v be w(-8). Solve -2*x - 3*y + 5 = v, 5*x - 1 = 2*x + d*y for x.
1
Let r(i) be the third derivative of i**4/24 - i**3/6 - i**2. Suppose -a = -6*a + 20. Let w be r(a). Solve 4*g - w*x + 7 = 0, 5*g + x + 23 = -0*x for g.
-4
Let h be 6 - 1/1 - 2. Let d = -8 + 11. Suppose r = t + t, -d*t = -h. Solve 0 = i + r*x - 4, -5*x + 3*x = -5*i + 8 for i.
2
Suppose 0 = -l + 6*l - 30. Suppose -v + 2*v - 27 = -3*g, 0 = -2*v - l. Let y = g + -6. Solve 0 = t - 5, -2*a = -y*t + 7 + 23 for a.
-5
Let v(s) = -s**3 - 20*s**2 - 4*s - 43. Let r be v(-20). Solve 5*w - 9 + r = 3*x, w + x + 4 = 0 for w.
-5
Suppose 5*l + 5 = -5*i, 0*i - 3*i = -2*l + 13. Suppose l*p = 4*m - 10, -4*m = m - p - 11. Solve -m*q + 3 = -3*q + 2*y, -2*q + 2 = 4*y for q.
-1
Suppose -3*l = -3*f + 3, 4*l = -f + 9*l - 11. Suppose 0*y - 4*m - 32 = -f*y, -4*m = 5*y - 13. Solve y = 5*b, 4*b + 19 = 5*o + 3*b for o.
4
Let w be 3 + 0 + 1 + 0. Suppose -5*b - w + 1