.
5
Let y(m) = m**2 + 1 - 4*m - 4 + 0 + 2. Let b be y(3). Let z = 7 + b. Solve 4*g - z*r = 5, 2*g - r - 1 = 2 for g.
2
Suppose 12*t - 12 = 6*t. Solve 0 = n - 2*a - 6, 9 = n - t*a - 3*a for n.
4
Let s(r) = r**2 - 15*r + 28. Let j be s(13). Solve -5*o + j + 3 = -5*y, -4*o = 4*y - 20 for y.
2
Let w be 6/(-15) - 24/(-10). Solve 4*c = -4, o - w + 1 = 4*c for o.
-3
Let v = -27 + 41. Let l = -14 + v. Solve b - 3*d + 5 = l, 2*b = -4*d + 3*d + 11 for b.
4
Let p(z) = 3*z. Let j be p(1). Suppose -3 = 5*y - 28. Suppose -2*q - 1 = 5*v, -5*q + y = 4*v + v. Solve -q*h = 2*h - j*i - 6, 5*i - 19 = -3*h for h.
3
Suppose 4*k + 20 = 180. Suppose 2*n = 4*n. Suppose n = r - 2 - 3. Solve 22 = 7*a - 2*a - q, -5*a + k = r*q for a.
5
Suppose -5*u - a - 2606 = 417, -3*u = a + 1813. Let m be u/(-20) + 1/(-4). Let t be m/6*4/10. Solve -3*h - 4*f - t = -2*f, 3*h + 4*f + 4 = 0 for h.
0
Let g(r) = 4*r - 4. Let f be g(3). Suppose -5*m = f - 18. Solve -3 = 3*y + 5*s, -4*y - 7*s = -m*s - 1 for y.
4
Let g = 27 - 22. Solve 0 = -q + g*n, q = -0*q - n for q.
0
Let s be 24/9 - 2/(-6). Suppose 5*y = -5*v + 30, 0 = -y + s*v + 2*v - 12. Solve -4*t = -y*p + 1, -5*t = -0*p + 5*p + 45 for p.
-5
Suppose 5*t = 4*b + 9, 0 = -5*b + t - 0*t - 27. Let m be b/4*10/(-3). Solve 4*h = -m*z + 5*h - 20, -4*h = 4*z - 8 for z.
-3
Let i = -103 - -109. Solve 16 = 4*a + 4*u, 0 = 4*a + 2*u - i*u - 16 for a.
4
Suppose -4*k = k + 40. Let t = k + 5. Let f(p) = -p**2 - 3*p + 4. Let b be f(t). Solve -4*m = 4*n - 20, 2*n - 8 = -n + b*m for n.
4
Suppose -5*i - 8*l = -5*l - 30, i + l = 8. Solve i*r - 3*z - 3 = 0, 4*r + 2*z + 26 = -0*z for r.
-4
Suppose -6*s + 2 = -5*s. Let a(k) = k**3 - k**2 - 1. Let t be a(s). Solve t*q = -p - 2*p - 9, 5 = -3*p - 5*q for p.
-5
Suppose 16 = 3*p - c - 7, 25 = 5*p - 5*c. Suppose p = 2*z + 1. Solve z*j - 22 = -3*q, 4*q = -3*j + 8*j - 12 for q.
2
Let c(o) = o - 24. Let f be c(40). Let q = 12 - 4. Let v = -5 + q. Solve -5*i - v*l + 5*l - f = 0, 5*i + 26 = -3*l for i.
-4
Suppose 0 = -3*n - 15, 2*n - 28 = 2*g + 6*n. Let a be 5/(-20) + (-1)/g. Let z be a + 6 + -3 + 2. Solve 3*l + z*i = -0*l + 3, 5*i = -5*l + 5 for l.
1
Let p = -22 + 36. Suppose -4*o - p = -42. Solve -t + 2*s = -4, 2*s - 7 = -t + o*s for t.
2
Let a = -65 + 69. Solve 2*b = -2*t + 3*t - 1, 3*b + 9 = a*t for b.
1
Let r(u) = u**3 - 13*u**2 + 11*u + 14. Let i be r(12). Suppose 22 + 18 = 2*m - 2*q, 3*q = -i*m + 65. Solve 2*p = -3*f - 3*p - m, 0 = 4*p + 20 for f.
0
Let j(h) = h**2 - 14*h + 5. Let d be j(14). Solve -z - f = -5, -19 = -d*z - 4*f + 2 for z.
1
Suppose 75 = z + 17. Let n = z + -30. Solve i - 4*q = 3*i + n, -5*q - 45 = 5*i for i.
-4
Suppose -4*p - 2*p + 66 = 0. Solve -p = 3*v - 2*w + w, -v - 25 = 5*w for v.
-5
Suppose -2*r + 3 = 3*d, 2*d - 3*r - 12 = d. Let c be (1/2)/(d/30). Solve 5*t - 25 = -c*k, 1 = 4*k - 3*t + 2 for k.
2
Suppose -2*i + 4*i + 2 = 0, 5*i = 5*y - 50. Let b = -9 + y. Solve -5*g = -5*p, b = g + 2*g + 2*p - 25 for g.
5
Suppose 3*a = z + 1 - 5, 0 = -3*z - a + 12. Suppose -3*h = -2*m + h + 18, -3 = -m - h. Solve 0 = -m*k + p, 5*k - z*p = -6 - 9 for k.
1
Suppose 86 = -q - 3*y, 3*q + y + 226 = -0*y. Let i = q + 109. Solve t + 11 = -3*p, 6*t = 3*p + t + i for p.
-5
Let s(g) = -2*g - 8. Suppose -4*b - 20 = 2*f, 3*b - 10 + 4 = 2*f. Let c be s(f). Solve -3*i + 11 = -2*t + t, -c*i - 5*t + 40 = 0 for i.
5
Suppose -5*z + 30 + 15 = 0. Let f(v) = v**3 - 10*v**2 + 8*v + 11. Let u be f(z). Suppose u*o = 3*o. Solve 3*s - j = 4 - 0, 2*j - 4 = o for s.
2
Let f(s) = -s**3 - 4*s**2. Let m be f(-4). Let v = m + 4. Suppose 0 = -4*r + 20, -3*r = 3*j - 79 + 25. Solve -5*g - 40 = -5*p, p - 6*g = -v*g + j for p.
3
Let z(v) = v**2 - 2*v - 3. Suppose g - 4*g + 9 = 0. Let r be z(g). Solve r = t + 2*a + 9 - 4, 4*t - 5 = -3*a for t.
5
Suppose -12 = -3*v - v. Solve 0 = 5*n - 4*b, -2*n + b - 15 = v*n for n.
-4
Let s = -2 + 7. Solve 3*v - 1 = 3*a - 2*a, -s*a + 35 = 5*v for a.
5
Let u(j) = 0*j**2 - 3*j + 2 - 2 + 3 + 2*j**2. Let i be u(2). Solve 5*m + 4*c - 19 = 0, 0 = -2*m - 3*c + 4 + i for m.
3
Suppose -t + 12 = 3*t. Let h(g) = -g. Suppose -2*f = f. Let m be h(f). Solve 10 = 5*p + 3*x + 1, m = -t*p + 5*x + 19 for p.
3
Suppose -114 = -3*z + 3*f, -z + 26 = -7*f + 2*f. Let v = -23 + z. Solve 4*o - 4*g = 4, -g + 3*g = -2*o + v for o.
5
Let l(n) = 4*n**2 - 1. Let m be l(1). Suppose 2*k = -3*t + 2*t + 7, -2*t - m*k = -12. Solve -t - 17 = 3*o - v, -5*o + v = 30 for o.
-5
Suppose -12 = d + 3*h, 12 = d + 4*h - 9*h. Let r(n) = -n**3 - 3*n**2 - n - 2. Let o be r(d). Let b = 2 - o. Solve -3*u - b = 2*a + 2, 0 = 3*a + 4*u + 3 for a.
3
Let g = 11 + -1. Let c = 7 - g. Let a = 5 + c. Solve 0 = s + 5*y - 4, -3*y = a*s + y - 8 for s.
4
Let k be (-12)/9*(-3 + 6). Let y = k - -8. Solve -f + 1 = t, -12 = -8*f + y*f - 2*t for f.
5
Suppose 9*q = 2*q + 49. Solve -q = 2*v + z, -2*z - 10 = 2*v - 0*z for v.
-2
Let w(m) = 3*m**2 + 6*m - 4. Let j = 5 + -10. Let r be w(j). Let t(l) = 5*l**2 + l - 1. Let c be t(-1). Solve c*f - f = p - 14, -4*p + r = -5*f for f.
-5
Suppose -4*u = -u. Solve -4*c - 5*j + 11 = -u*c, -3*c - 6 = -j for c.
-1
Let f be (7/(-21))/(1/(-9)). Suppose -f*a = -8*a - 5, 5*z = 4*a + 109. Solve 2*d - s = -1 - 0, -z = 2*d + 3*s for d.
-3
Let u(a) = a**3 + 3*a**2 - a. Let h be u(-4). Let p be 12/10*(-30)/h. Solve -l - l = -z - 5, z = -p for l.
1
Let v be 0 - (-4)/(16/140). Let a be 4/(-10) + 154/v. Suppose 0 = 2*u + 8, -4*u + u - 12 = -5*p. Solve n - 3*d + a*d = 4, 2*n + d - 3 = p for n.
-1
Let r = 13 - 8. Solve b = -4*j - 9, -15 - 3 = j - r*b for j.
-3
Let m(g) = g - 1. Let j be m(5). Suppose 4*u - j = 2*u. Suppose -5*c = -10 - 0. Solve 0 = t + u*v - c, 5*t + 2*v + 18 = 6*v for t.
-2
Let z(t) = -t**2 - t. Let v be z(1). Let p be -3 - (-7 - 0/v). Solve 4*h + 10 = p*r + 2, 5*r - h - 22 = 0 for r.
5
Let q = -24 - 0. Let g = 26 + q. Solve 0*y - 5*y = -l - 2, 5*y = -l - g for y.
0
Suppose -t + 2*t - 10 = 0. Solve 5 = 3*q - 4*q + r, -2*q - 2*r = -t for q.
0
Let s(f) = 4*f - 22. Let h be s(10). Solve 0 = 4*r + n, r - h = -r + 4*n for r.
1
Let o be (-12)/18*(-3)/(-2) - -1. Solve -4*s + x + 3*x - 16 = 0, -4*x = o for s.
-4
Suppose 0*q - 3*q = -15. Let p(k) = k**2 - 2*k - 2. Let y be p(q). Solve -4*w - 6 - 8 = r, y = r - 5*w for r.
-2
Suppose 0*j - 13 = -2*m + j, -m + 2*j + 14 = 0. Suppose 2*y - 4*y + 3*s + m = 0, -s = -2*y + 4. Solve -y*t - 5*n = 1, -3*t - 5*n = -0 + 4 for t.
-3
Let l be -5*(-2 + (0 - -3)). Let q = 5 + l. Solve 5*v - 6 = 2*s + 10, -5*s + 2*v - 19 = q for s.
-3
Let s = -1 - -1. Solve -5*n = -5*b - n + 21, s = -3*b + n + 14 for b.
5
Suppose 0 = -3*w - 0*w - 3. Let l be ((-2)/(-4))/(w/(-6)). Solve -5*j + l*k = -13, 2*j - 4*k = j - 11 for j.
5
Let i(o) = 15 + o**3 - o - o**2 - 6*o**2 - 6. Suppose 4*f - 7 = 3*f. Let q be i(f). Solve -6 = -d + a, -4*a - 4 - 2 = q*d for d.
3
Let f be -1*(-1)/(-2)*-2. Let t be (-3)/((-12)/4) - f. Solve -5*x + 17 = s + 3*s, t = 4*s - 4*x + 28 for s.
-2
Let g = -1 - -2. Let k = g + 3. Solve -k*z = -2*p - 2, p + 2*z - 2 = z for p.
1
Suppose -5*w + 75 - 55 = 0. Solve q - 2*f = 3, -w*q - 5*f + 24 = -f for q.
5
Let d(t) = 4*t + 3*t + 1 - 6*t. Let n be d(2). Solve -13 = 5*a + 3*l - 4*l, 15 = -3*a + n*l for a.
-2
Let p(v) = 5*v - 3*v - 3 - 9 + 5. Let w be p(6). Solve -2*c + k = c, w*c = -3*k - 14 for c.
-1
Let n(r) be the first derivative of 2*r + 0*r**3 + 3/2*r**2 + 2 - 1/4*r**4. Let w be n(-2). Solve m + 5 = 4*k - 3, -3*m - 2*k + w = 0 for m.
0
Let m(s) = s - 1. Let l = 14 + -11. Let d be m(l). Solve 2*i - 3*q = -0*i - 14, q = d*i + 6 for i.
-1
Let b(m) = m - 3. Let n be b(3). Suppose 0*w - w - 2*i + 15 = 0, w + i - 10 = 0. Solve -h = 2*o - 3, -o + n*h = w*h + 21 for o.
4
Let j(r) = r**2 - 10*r - 8. Let d be j(11). Solve -4*z + 0*z - 4*u = 4, -4*u - 32 = -d*z for z.
4
Let f = 6 + -4. Let j be (1 - 2)/(6/162). Let r = -17 - j. Solve -f*b = 0, c + 4*b = -4*c + r for c.
2
Let p = -6 - -8. Suppose 5*w + 129 = 9. Let q = w + 44. Solve -2 - 6 = -5*t + 3*n, q = 3*t + p*n for t.
4
Suppose 2*a - 24 + 4 = 0. Let l be 2/a - (-1)/(-5). Solve -5*v = 3*i - l*v + 13, 4 = -2*v for i.
-1
Let n be -2*(-9)/12*4/3. Solve n*g = -2*p + 2, 5*g - g - 2*p + 8 = 0 for g.
-1
Let o = 39 + -36. Solve 3*a = -5*d + 8*d - 27, -4*a - 31 = -o*d for d.
5
Suppose 8 = 4*j - 8. Solve 0 = -2*h + 4*y - 24, j*y = -h + 11 + 7 for h.
-2
Let b be 1 + (1 - 10/5).