 - u for k.
4
Let t be (-74)/14 - (-2)/7. Let j be (-6)/5*t/2. Suppose v - z - 4 = -j, 3*v + 2*z = 18. Solve 2*w + 6 = -0*w - 2*i, -3*w - 9 = v*i for w.
-3
Suppose p + 23 = 5*k + 1, k = -3*p + 14. Let m be -2 - 1*-7*1. Suppose -p*a = -m - 10. Solve -h - a = 0, -5*h = -4*g + 7 + 14 for g.
-1
Let x = 27 - 16. Let g = -2 + x. Solve -1 = a + 5*d + g, -4*d + 16 = -4*a for a.
-5
Let s(a) = -a**2 + 9*a. Let q be (63/(-35))/((-1)/5). Let d be s(q). Solve d*n - 3*w = -5*n + 3, 2*n - w - 2 = 0 for n.
3
Let p = 4 - 1. Solve -2*i + 16 = -0*m - 2*m, 0 = -p*i + 12 for m.
-4
Suppose o - 4 = u, 0*o + 12 = o - 3*u. Suppose 2*h + 11 - 15 = o. Solve -2*j - 2*j - 8 = -h*c, 3*c + 2*j = -12 for c.
-2
Suppose -4*b - 6 = p + 35, 28 = -2*b - 2*p. Let r = 9 + b. Solve -t + 2*v = -0*t - 5, r = -4*v - 4 for t.
3
Suppose 2*y = 4*y - 2. Suppose -3*g = -5*c + 14, -c + 1 = -g - y. Solve x = v - g*x + 8, -5*x = 2*v - 28 for v.
4
Let t = -95 - -100. Solve -5*j + t*g = -10, 2*j + 11 = -0*j - g for j.
-3
Suppose 2*o + 3*n + 19 = 0, 2*n = -o + 5*o + 14. Let v = 10 + o. Suppose 124 = 5*h + 64. Solve -3*x + 14 = g, v*x - h = 2*g + 2*g for g.
2
Let w be 1 + (-2)/(2/3). Let z be (w - -3)/(5/25). Solve -n + 0*i + 19 = -z*i, -5*i - 20 = 0 for n.
-1
Let g be -3 + -6*3/(-6). Solve 2*b = -3*a - b + 27, 4*a - 2*b - 6 = g for a.
4
Suppose 0 = -4*m + m - 27. Let f be 2/((-6)/m) - 1. Solve 3*n = -f*d + 9, -5*d - 2*n + 5*n = -12 for d.
3
Let o = -31 - -29. Let a(d) = d**2 - 3*d - 5. Let t be a(o). Suppose -x + 28 = -5*h, -x - 2*h = -0*x + 7. Solve q = -x, -q - 23 = -0*g + t*g for g.
-4
Suppose 0 = 2*l + y - 18, 0 = -4*l - l - 3*y + 47. Solve -4*j + l + 9 = -2*s, 2*j = -s for j.
2
Let f be 2 + -22 - (-2)/1. Let z be 4/((-3)/f*3). Solve 3*w = 2*v - z, -4 = 2*w + 4 for v.
-2
Let x(l) = -3*l - 1. Let u be x(-8). Let z = u - 20. Solve 0 = -p + 4*v + 24, 3*v + z + 12 = 0 for p.
4
Let h(b) = b**3 + 10*b**2 + 9*b + 7. Let x be h(-9). Solve -4*w = q + x, 0 = -q - q + 10 for w.
-3
Let n(m) = 2*m + 8. Let x be n(-2). Solve -4*p - 24 = -8*p + x*i, -3*i = -p + 14 for p.
2
Let o be (12/8)/((-2)/4) - -6. Solve 4*s = d - 19, -o*s - 6 = -0*d + 2*d for s.
-4
Suppose -52 = -4*g - r, 1 = -g + 4*r + 14. Suppose -x + 3*a = 7*a + 15, -3*x + 4*a = g. Let k = x + 12. Solve -f = k, -3*w - 5*f - 30 = -4*w for w.
5
Let q(b) = -b**3 - 9*b**2 - 9*b - 9. Let i be q(-8). Let o = -1 - i. Suppose o = -2*z - 3*z + 95. Solve -3*n - 5*g + z = 0, 4*g + 0*g = -5*n + 10 for n.
-2
Suppose 0 = -t + 4*t - 12. Suppose -2*u + t + 18 = 0. Let q = 6 - 4. Solve y = -5*p + q*y - u, -3*y - 1 = 2*p for p.
-2
Let c be ((-9)/27)/((-1)/9). Suppose -4*h + 15 = -h. Suppose 4*a = -a - 5*x + 5, 3*a - 5*x - 19 = 0. Solve -d - 16 = 7*w - c*w, -h = -a*w - 5*d for w.
-5
Let j = -5 - -10. Let s be 1/(-2) - (-2)/4. Suppose s = -0*d - d + 2*k - 2, 5*d + 1 = k. Solve -v - 2*v + 5*i - 34 = d, -j*v - 2*i - 5 = 0 for v.
-3
Let v(w) = w**2 + 10*w. Let z be v(-5). Let s = -1 - z. Suppose -f = -2*x - s, 3*f - 30 = x + 37. Solve g + f = -4*k, -g + 7 = -3*k + 3*g for k.
-5
Let c(n) = n**2. Let x be c(2). Solve -4*o + 7 = b, b + b = x*o - 10 for b.
-1
Let i(f) = -f**3 + 7*f**2 - 4*f + 30. Let j be i(7). Solve 5*u = -5*g + 5, -4*u + j*g = 17 + 3 for u.
-3
Suppose 0 = -7*g + 3*g + 12. Solve -3*j = d + 5, -3*j + g*d + 5 = -7*j for j.
-2
Let m be 0 + 2 + 0/(-3). Let g(p) = 5*p**2 - 1. Let y be g(1). Solve -5*h = y*w - h, m*h = -5*w - 12 for w.
-4
Suppose -4*q + 3*l = -3*q - 1, -2*l - 6 = -2*q. Suppose q*k - k - 12 = 0. Solve -k*r = 4*p + 4, 2*p - 2*r + 2 = 4 for p.
0
Suppose 0 = -4*b + 64 - 52. Solve -4*v + 8 = -3*h, -h = -2*v + b*v - 9 for v.
5
Suppose 3 = -x, 10 = 2*n - 2*x - 2. Solve -30 = -4*z - z - 2*o, 4*z + n*o = 31 for z.
4
Let m(k) = -k**3 - 3*k**2 + 3*k + 3. Let h be m(-3). Let d = -2 - h. Solve -21 = -d*j - 5*t, -5*j + t = -t - 18 for j.
4
Suppose 0 = 5*c - 3*c - 10. Suppose 0 = -2*v - c*h + 6, 2*h + 7 = -5*v + 43. Let d be -18*9/(27/(-2)). Solve -2*x - 3*t + v*t + d = 0, 0 = -x - 3*t - 5 for x.
1
Let s be 12/5 - (-3)/5. Let n(h) = s + 7 - 3 + h. Let k be n(-7). Solve k*r - 5*r = -2*v - 17, -2*r - 4*v = -2 for r.
3
Suppose 21 = -2*v - 9. Let o = -11 - v. Let j(w) = -w**3 - 14*w**2 + 4. Let i be j(-14). Solve -3*y + 6 = 0, -o*y + 20 = -i*z - 0*z for z.
-3
Let f(g) = -3*g - 3. Let s be f(-2). Let t be ((-5)/(-10))/((-2)/(-8)). Solve t*c + c = -b - 2, 0 = -s*b + 2*c + 16 for b.
4
Let c be 10/4 - 27/(-18). Solve -m = -l - 1, -c*m - 2*l + 4*l = -4 for m.
1
Let g be (4/8)/(3/60). Suppose 3*r = -2*r + g. Solve -4*l - 24 = -4*x, -r*x - 3*l = x for x.
3
Suppose 2*y + 2*y = -3*b - 8, -5*b = -3*y - 35. Suppose 4*x - 4 = b. Suppose -i = -2*l + 3, 0*l + 2*l - x*i = -2. Solve 4*j - 4*a + 36 = 0, l*a = -2 + 22 for j.
-4
Let r(n) = -n**3 + 2*n**2 + 4*n - 1. Let h be r(3). Let t = 1 + h. Solve 3*w = p + 11, 0 = t*p + 2*w + w - 27 for p.
4
Let q = 8 + -5. Suppose -q*k + m + 4 = -1, 0 = 5*k - 3*m - 11. Let s be 2/(4/14)*k. Solve 5*r - w - 6 = 0, w = 4*r - 2*w - s for r.
1
Suppose 9*l = 4*l + 10. Solve 2*y + 2 = -0*y - l*s, 0 = -5*y + 4*s + 4 for y.
0
Let u be 3/4 - (-1)/4. Solve 2*t + 2*m + 3 + u = 0, -3*m = t + 12 for t.
3
Suppose 3*o - 14 = 5*c - 0, o + 3*c = 0. Solve 0*z + s = 4*z + 8, -21 = 3*z + o*s for z.
-3
Let c = 15 - 11. Let p be -4*18/16*2. Let r = p + 10. Solve 0*y - 2*d - r = -y, -c*y - 6 = -3*d for y.
-3
Let w(p) = 6*p**2. Let l be w(1). Suppose -3*z + l = -0*z. Suppose 2 = -3*m - 2*n, -4*n - 2 = 3*m + 8. Solve -3*f - 18 = -m*x - 3, x - 9 = z*f for f.
-3
Let j(v) = v - 4. Suppose -4 + 2 = -s. Let h = 4 + s. Let m be j(h). Solve 2*z + 1 = 3*p - 2, m*p - 2 = 3*z for p.
1
Let w = 40 + -32. Solve -y = -4*s + w, 5*s - 21 = -2*y + 6*y for y.
-4
Suppose -5*w + 18 = -2*w. Let d = -2 + w. Suppose 0 = -r + 3, 0*j + 18 = d*j + 2*r. Solve 6*c + 2*l - 8 = 2*c, -3*c + j*l = -15 for c.
3
Let a = 7 + -4. Let g(v) = v**2 + 4*v + 3. Let y be g(-4). Suppose a + y = 2*d. Solve -3*o = z + 7, -z + 4*z + d = -3*o for z.
2
Let a be (10/3)/(-5)*-3. Suppose a*o = 76 - 12. Solve -4*h + o = 4*d + 4, 5*d - 5 = 5*h for d.
4
Suppose -y + 0 = -1. Suppose 0 = 2*s + y - 11. Solve 0 = -4*n + 5*d + 11 + s, -3*n = -d - 12 for n.
4
Suppose -4*z + 3*t - 16 = 7*t, -z + 5*t + 20 = 0. Let x(y) = -y**3 + 3. Let v be x(z). Solve 0 = m - 4*d - 3 + 2, -v*m + 3 = -2*d for m.
1
Let f(n) = -12*n - 2. Suppose 5*t = -0 - 5. Let y be f(t). Solve 0 = v - 5, -4*i = i - 2*v - y for i.
4
Let m = 4 - -1. Let u be (-1)/(((-15)/12)/m). Solve -3*p = -u*x - 7*p + 12, -2*p = -4*x for x.
1
Suppose f + 3 = -2*f. Let p(n) = n + 1. Let u be p(f). Suppose -3*g + 65 + 10 = u. Solve 5*c + 3*s = 2*s - 15, 5*s + g = 0 for c.
-2
Let l(v) = v**2 + 10*v - 17. Let i be l(-12). Solve d = -2*s + i, -3*s = 2*s - 15 for d.
1
Suppose 2*v + 21 = -21. Suppose 5*b + 3*g + 0 + 10 = 0, 2*b = 3*g - 4. Let k be v/(-9) + b/6. Solve 4*u - 4*n + 5*n = -6, 0 = -4*u + n - k for u.
-1
Let r = -4 + 9. Suppose r*h + 35 = 5*o, -o - 3*h - 13 = -3*o. Let d = 13 - o. Solve 2 = -q - d*u + 10, 4*q - 10 = 2*u for q.
3
Suppose -c = -5*v - 5*c - 51, -3*c + 3 = 0. Let t = -6 - v. Suppose -8*r + 45 = -3*r. Solve t*l - 5 = -2*m, -2*l - 5*m + 2*m - r = 0 for l.
3
Suppose -4*x - 24 = -6*x. Let z = -5 - -7. Suppose 3*m = 4*q - 16, -4*m + 3*q + z*q - 20 = 0. Solve 4*k - x = -2*t, m = 3*t - 8*k + 3*k + 4 for t.
2
Suppose -27*g + 14*g = -39. Solve 4*p = g*u + 7, 2*p + 3 = u + 6 for u.
-1
Let w = 5 - 1. Solve -w*r - a + 13 = 0, -5*a + 4 = -a for r.
3
Let v(y) = 2*y**2 - 3*y + 1. Let f = 4 - 2. Let t be v(f). Solve 0*l = 5*r - l - 23, 0 = -4*r + t*l + 25 for r.
4
Let l(h) = -h**2 + 5*h. Let w be l(4). Suppose -12 = -2*x - 3*a + 53, w*x = 2*a + 90. Suppose 67 = 4*s - x. Solve -2*b = -5*o + s - 6, 3*b = 5*o - 13 for b.
4
Let f be 65/20 - 3/12. Solve n - 3*n = 2*o - 6, -f = -n - 3*o for n.
3
Suppose -2*h = -7*h. Let v be (0 - h)/(2*-1). Suppose v = -0*o - o. Solve -4*x - 8 = -o*f + f, -2*f - 5*x - 10 = 0 for f.
0
Let u be (-7)/(14/(-24)) + -2. Let v = u + -9. Let a = v - -3. Solve -2*s + a = q - 1, 0 = 5*s + 5*q - 10 for s.
3
Suppose -5*n = -5*k + 75, 5*k - 3*k = -n + 42. Solve -k = -5*d + 4*g, 3*d + 3*g - 9 + 3 = 0 for d.
3
Let y = -15 + 22. Suppose -3*u - 3*o + 36 = 0, -u + y*o = 3*o + 13. Let n be 1/(-7) - 116/(-28). Solve n*h = -d - u, 0 = 5*d - 3*h - 0*h - 11 for d.
1
Le