u = 1, -b*u + 6 = -3*k - 7 for k.
-1
Let m be 16 + (1 - (-2 - -9)). Suppose 4*r - 2 = -o + 7, -4*r + 5*o + 27 = 0. Suppose -r*q = -2*q - 4. Solve 2*g - q*g - m = -2*f, -2*g + 25 = 5*f for f.
5
Let m = -4 - -2. Let f be (m/(-2) + 0)*16. Suppose 3*d - 4*g - 3 = 22, 4*d - g = f. Solve 0 = -2*t - 2*p - 4, d*t - 2*p + 5 + 16 = 0 for t.
-5
Let x(l) = -l - 4. Let i be x(-5). Let r be -1 - -3 - 4/2. Let c be 2 - (1 - (2 - r)). Solve -2*h - i - 3 = 0, -c*f = -2*h + 11 for f.
-5
Let k be (-48)/(-21) - 5*(-4)/(-70). Solve 2*x + 3*p = -13, 3*p - 7 + 0 = k*x for x.
-5
Let b = 11 + 0. Let v = 14 + -9. Suppose 3*x = 4*f - 17, -5*f + v*x + 12 = -13. Solve -i + c - f = 2*c, 0 = -4*i - c - b for i.
-3
Suppose 5 = 4*k + k. Suppose -2*y - 43 = -g, -k = y + 4. Suppose 3*r + 3*t = g, 5 = 5*r + t - 34. Solve -2*l = c - 9, 0*l - 2*l - 3*c = -r for l.
5
Suppose 3*a - 3*n - 21 = 0, 2*a + 3*n - 14 = -5. Let m be (2/a)/(4/(-12)). Let o be (-20)/(-5) + 0/m. Solve 2*q - u + 12 = 0, -5 = o*q + 2*u + 3 for q.
-4
Let q = -12 + 40. Suppose -2*n + q = 2*n. Solve a - 2*w - w = n, 0 = 3*a - 3*w - 9 for a.
1
Let a(v) = -4*v**2 - 5*v - 2. Let t(n) = -3*n**2 - 5*n - 3. Let g(s) = -4*a(s) + 5*t(s). Let q be g(7). Solve 0 = 4*o - b - q, 5*o - 5*b - 9 = -4*b for o.
2
Suppose -b = 4*j - 1, -2*j = 3*b + 2 - 5. Solve 2*d + j = 4*l + 24, 2*d + 12 = -5*l for l.
-4
Let f(w) = -w**2 + 3*w + 1. Let m be f(4). Let k be (m/1*1)/(-1). Solve -k*g - 15 = 3*j, -g = -4*g + 2*j - 15 for g.
-5
Let w be 34/6 - 2/3. Suppose 4*z - 6 = z, f - 6 = -w*z. Let l = f + 7. Solve -5*c - 5*r = -10, 2*c + l*r = 1 + 2 for c.
3
Let q be 2/(-13) + 80/13. Let d be 15/6 + 3/q. Solve -1 = o - 4, d*o = 4*i + 17 for i.
-2
Let u(s) = 3*s - 1. Let w be u(2). Let h be 3/(-2 + w)*1. Suppose 3*b = -6, -9 = -3*c + 4*b - h. Solve -2*p - 5*l + 20 = c, -p + l + 13 = 2*p for p.
5
Let i = -145 + 101. Let p = -18 - i. Solve -p = u + 4*u - 2*r, 5*u - r + 23 = 0 for u.
-4
Let t(w) = -w**2 + 11*w + 1. Let i be t(9). Solve 0*h - 2*h + 2*a + 16 = 0, 3*h - i = 2*a for h.
3
Suppose 3*k + 2*a - 78 = -k, -k - 5*a + 42 = 0. Solve 4*l = 5*q - k, -8 = -2*q - 4*l + 5*l for q.
5
Let y(r) = r**2 - 11*r + 32. Let z be y(7). Solve -c = d + d + 8, 0 = -z*d - 12 for c.
-2
Let s = -133 + 147. Solve -5*x + 8 = 4*r, 4*x - 5*r = -s + 4 for x.
0
Suppose -45 = -3*f - 21. Solve 4*m + 4*q = -16, q = -m - 2*q - f for m.
-2
Suppose 0 = 2*o - 4*k - 2, -o = -0*o + 5*k - 29. Solve 3*s + o = 5*c, -4*s + 16 = 2*c + s for c.
3
Let w = -2 + 10. Suppose 0 = 4*f + 3 - 31. Solve -2*k - f = -5*d + 23, -2*d + w = 0 for k.
-5
Suppose 20 = -3*x + 8*x. Suppose 5*s + 2*h - 18 = -2, -28 = -5*s + x*h. Solve -2*z + 8 = s*l, l = -l for z.
4
Let l(s) = -s + 20. Let q be l(15). Suppose 3*y + z - 6 = 0, -z = -q*y + z + 10. Solve 17 = 2*g - 3*u, -4*u = -y*g - g + 23 for g.
1
Suppose 0 = 2*j - 10 - 2. Solve 3*a + 7 = 5*l, a = -3*a + 5*l - j for a.
1
Let y be (3/((-9)/12))/(44/(-33)). Solve -9 = 5*x + o, 5*x = -y*o - o - 6 for x.
-2
Let g be (-13)/(-5) + 2/5. Suppose g*f = 5*t + 20 + 10, t - 7 = -2*f. Solve 2*x + f*a = 4*a - 6, -a = -x - 3 for x.
-3
Let x = 4 - 2. Let y(g) = -g**3 + 2*g**2 - 3*g + 3. Let a be y(x). Let r = a - -5. Solve 19 + 3 = 4*c + r*h, 0 = c - h + 2 for c.
3
Let h(m) = -m + 16. Let x be h(13). Suppose a + 4*a = 10, -10 = -2*l + x*a. Solve -d = 0, v - 5*d - l = 3*v for v.
-4
Let p = -17 - -29. Suppose p = 5*y - 8. Solve -y*o + z + 10 = 2*z, -z + 8 = 3*o for o.
2
Suppose v - 10 + 5 = 0. Solve 4*s + 16 = 0, v*l + 2*s - 3*s = 19 for l.
3
Let k be (1 - 5/(-4))/(6/32). Solve -3*b + 4*l + k + 2 = 0, -31 = 3*b + 5*l for b.
-2
Let s be ((-6)/(-9))/((-4)/6). Let z be (10*2/5)/(-2). Let x be (s/z)/(3/12). Solve 5*y + x*i - 4 = y, -i = 4 for y.
3
Let v(b) = 27*b**3 + 2*b**2 - b. Let d be v(2). Suppose 3*m - a + 2*a = 132, 5*m = -a + d. Let c = m + -24. Solve -2*t = -3*r + 15, t = -t + 5*r - c for t.
-3
Let j(o) = o**2 + 0*o - o - o + 6*o. Let m(i) = -i**2 + 3*i - 1. Let v be m(4). Let l be j(v). Solve l = -3*a + 4*q + 13, -2*q = a - 6 for a.
4
Suppose -5*j = 4*c - 3, 4*j - 5*c = -c + 24. Solve 3*u - 26 = 4*k, -j + 5 = -2*k - 4*u for k.
-5
Let j = -3 - -7. Suppose 5*m - 2*m - 9 = 5*c, j*c = 3*m - 9. Solve 0*k + i = -3*k + 17, 0 = k - m*i + 11 for k.
4
Suppose 4 + 1 = -k. Let i be -16*((-10)/(-4))/(-5). Let u = i + k. Solve 3*b = -n + 30 - 12, u*n + 4*b = 29 for n.
3
Suppose -5*k + j + 19 = 0, -k + 3*k + 5*j = 13. Let o = -4 + k. Suppose q - l = 6, -q + o*l + 15 = -4*l. Solve 4*b - 3*b - 2 = -q*h, 4*b - 20 = 0 for h.
-1
Let g(l) = l**3 + 11*l**2 - l - 10. Let c be g(-11). Let x be 3 - (4/(-4) + c). Solve -z = 2*f - 2, 4*f - 32 = x*z + 2*z for z.
-4
Suppose a - 12 = -2*g - 0*g, -3*a + 6 = 0. Let h = -114 + 114. Let v(l) = -l**2 - 5*l + 2. Let d be v(-5). Solve h = g*c + 2*s + 18, -9 = 3*c + d*s + s for c.
-4
Suppose -27*w - 16 = -31*w. Solve -3*c = 2*q + 6 + 7, q = -c - w for q.
1
Let r be 34/(-12) + (-14)/84. Let m = r + 7. Solve 2*o = 3*g + 17, 0 + 1 = -g - m*o for g.
-5
Suppose -28 = 3*w - 49. Solve -5*o = 10, -4*o - w = -q + 3 for q.
2
Let v = -7 + 13. Suppose 0 = -o + 4, -3*g - o + 4*o + v = 0. Let a = 9 - 6. Solve 4*n - 2*l + 5*l = g, 0 = -a*n - l + 2 for n.
0
Let k(y) = y**2 + 7*y - 4. Let g be k(-8). Solve 5 = u + g, 2*s - 3*u + 3 = 0 for s.
0
Let u be 2/7 - (-12)/7. Solve p = -4*g - 12, -u*g + p = -3*g for g.
-4
Let d(a) = -4*a - 1. Let b be d(-1). Let m be (-2 - 0 - -1)*5. Let y = -1 - m. Solve r - 5*q = -2*r - 19, 0 = b*r - y*q + 14 for r.
2
Let p be 18/4 + (-2)/4. Suppose -2*u = -u. Suppose 2*q + 8 = u, -2 - 10 = -3*a + 3*q. Solve a = -0*m - 5*m + o + 10, -p*m + 4*o = 8 for m.
3
Let q be 66/4 + 3/(-6). Solve -15 = 5*r, -5*k + 2*r + q = -5 for k.
3
Let c(o) = -o - 5. Let r be c(-7). Let l be ((-63)/(-6))/(r/4). Solve 3*h - l = -4*d, -2*h - 4*d + 3 = -15 for h.
3
Let p = -12 + 20. Suppose -4*w = -5*n + 4, 0 = -4*w + 3*n - 2*n + 12. Let r be 7*(-1 - 18/(-14)). Solve 3*c - p*c + r*a - 5 = 0, 0 = w*a for c.
-1
Let d be (-9)/(-6) + (-1)/2. Let u be 4 - (-1 - -2 - d). Let t(z) = -3*z**3 + z**2 + z + 1. Let x be t(-1). Solve 0 = 5*l + j - 20, u = -l - x*j - 11 for l.
5
Suppose 2*l - 10*l = -40. Solve 0*h = 3*h - f, -13 = -2*h + l*f for h.
-1
Let l(j) = j + 1. Let p be l(5). Solve z + 0*z + 4*k - 21 = 0, -4*z - p = -2*k for z.
1
Suppose -2*b + b = -5*f - 25, -3*b - 10 = 2*f. Suppose -j + 2*j = b. Solve -5*h - 5*l + 15 = j, 2*h = -h + 5*l + 9 for h.
3
Let x = -2 + 4. Let q = 4 - x. Suppose d - 5 = 5*y + 7, 5*d = 5*y + 20. Solve 2*u - 26 = 4*t, t - d*u = -13 + q for t.
-5
Suppose 1 = 3*o - 2*t - 4, -4*t + 5 = -o. Solve -4*m = -5*c + 7, -3*c - o*m - 18 = 2*m for c.
-1
Let s be (36 - 38)/(1/1 + -2). Solve -4*j - 14 = -g, 0*j = -s*j - 6 for g.
2
Let v(i) = -3*i. Let n be v(-1). Let u(x) = x**2 - 10*x - 9. Let c be u(11). Let m be c*-1*9/(-6). Solve -5*b + 13 = -n*z, b - m*z + 0*z + 7 = 0 for b.
5
Let f(v) = -v + 6. Let h be f(4). Solve 3*p - 2*o = -4, 5*p - 4*o = h*p - 2 for p.
-2
Let q(p) be the third derivative of p**6/120 - p**5/15 + p**4/24 + p**3/3 + p**2. Let h = 0 + 4. Let z be q(h). Solve 4*t + 12 = -4*g, z*t + 15 = t - g for t.
-3
Let f be -1 - (-6 - 3/(-1)). Let z be f + (4/2 - 0). Solve -5*l + z*y - 26 = 0, -14 = -0*l + l - 3*y for l.
-2
Let r be (-13*(0 - -1))/(-1). Solve -3*c - 2*c = -2*k + 16, k - r = 5*c for k.
3
Let p(t) = 8*t - 79. Let c be p(10). Solve -2*z = 3*r + 5, 1 + c = 2*r + 4*z for r.
-3
Let i be (-3)/(1/2 + -2). Suppose -5*n + 76 = -s, 4*n - 5*s - 32 = 33. Suppose 3*g = -g. Solve 5*c - 3*y + n = -8*y, -c + i*y = g for c.
-2
Let h(n) = -n - 6. Let g be h(-7). Suppose -3*s + 14 + g = 0. Solve 0 = -w - 2*l + 8, -5*w + l - s*l + 28 = 0 for w.
4
Suppose 4*a + 2*t = 18, -4*a = -0*a - 4*t. Suppose -a*o - 2 = u - 17, -9 = u - 3*o. Let m be 104/10 - (-2)/(-5). Solve -v + 5 = q, -u*q + 6*q - 2*v = m for q.
4
Let q be 20/11 + (-10)/(-55). Let k be (q + -4)*(-6)/4. Solve 5*s + v + 11 = 0, 4*s = s - 3*v + k for s.
-3
Suppose -2*c + 37 = 5*p, 33 = 4*p + 4*c + c. Solve -r = -5*o - p, -r + 6 = -o + 3 for r.
2
Suppose -z + 9 = 2*f, -z - f + 4 + 3 = 0. Let h = 5 - z. Suppose 2*c - 18 - 2 = h. Solve 2*y - 4*n = -n + 10, 3*y - 2*n = c for y.
2
Let b be (2 - 0)*(-5 + 7). Solve 14 = -5*l - 3*v, b*v + 15 = -v for l.
-1
Suppose -5*s + 70 = 5*c, 0 = -2*c + 2*s + 2*s + 10. Suppo