5*u - 42*d - 20. Solve k + 4*k = 5*y, u*k - 20 = 0 for y.
4
Let k = 446 + -443. Solve k*f = 4*o + 5, -3*f + 3 = -o + 13 for o.
-5
Suppose 3*z + 5*f = -56, -4*f - 28 = -0*z + z. Let j = -9 - z. Solve 2*y + j*y = 5*o - 15, 12 = -2*y - 4*o for y.
-4
Let c = -93 - -55. Let j = -35 - c. Suppose -n = 1, 2*n = -3*o + 6*n + 19. Solve 5*l + j = 3*f + 18, 0 = 2*f + o*l - 15 for f.
0
Let s(b) = -2*b + 5. Let y be s(-9). Suppose -1 = -6*t + y. Solve 0*o = t*o - 16, -4*o - 9 = 5*r for r.
-5
Let n(t) = -t**2 - 10*t - 9. Let m be ((-30)/(-3) + 1)*-1. Let i = m - -5. Let o be n(i). Solve 3*g = 5*f - o, f + g + 15 = 6*f for f.
3
Let m = -580 - -584. Solve o - 17 = m*a, -5 = 4*a + o + 2 for a.
-3
Suppose 0 = 8*a - 12*a + 20. Suppose 2*t = l + 3*l + 16, a*l = -3*t + 13. Let i be (40/30)/(4/t). Solve -4*o = -2*d - 22, 14 = 4*o + i for d.
-5
Let d be (-1)/1*(6 - -10 - -1). Let c = d - -30. Solve w + 3*w = -5*q - 10, -3*w - q - c = 0 for w.
-5
Let b = -100 + 115. Solve -5*k + b = 10*z - 6*z, 0 = -z for k.
3
Let l be ((-12)/21)/(1/(-14)*2). Solve -d + l = d + 4*t, -6 = -3*d - t for d.
2
Suppose -n - 2 = 3*a + 2, -4*a - 8 = 0. Let h(z) = 12*z - 8. Let m be h(-4). Let d be (1/2)/((-7)/m). Solve -x - d*u = 19, -2*x - n*u = -u + 3 for x.
1
Let s(q) = -q**3 + 4*q**2 + 5*q + 3. Let v be s(5). Suppose 3*z = -v*b - 0 - 6, 20 = 4*z - 3*b. Solve -x - 4*x = 3*p - 5, -4*p = 2*x - z for p.
0
Let t(b) = 2*b**3 + 31*b**2 - 53*b - 17. Let g be t(-17). Solve -2*z + 10 = -r, 2*r + 0*z - 3*z = -g for r.
-4
Let g be (-24)/(-56) - (-286)/(-14). Let i be (g/12)/(2/(-12)). Suppose 6*n - 5*n = 0. Solve v + 3*j + 8 = n, -2*v - 5*j - 3 - i = 0 for v.
1
Let r = 6 + -5. Let n be r*(-1)/(-2)*4. Let a(u) = u**3 - 9*u**2 + 12*u + 18. Let q be a(7). Solve -4*l = 4, n = -2*w + q*w - 2*l for w.
0
Suppose w + 5 = -4*w, 2*j + 5 = -5*w. Solve 3*i + 5*a + 6 + 8 = j, 3*a = -5*i - 2 for i.
2
Let l be ((-3)/2)/(7 + (-124)/16). Solve l*q - 20 = -5*h, -5*h - 3*q + 20 = q for h.
4
Suppose 4*h + 3*t - t = -14, -t + 3 = 0. Let w = 6 + -14. Let c = h - w. Solve 0 = -c*u + p + 3, -4*p = 2*u + 9 + 3 for u.
0
Let v = 42 + -33. Suppose 2*h - 4 = -5*l, 0 = 2*h - 5*h - v. Solve -4*p - 13 = 5*n, -l*n - p + 1 = 5 for n.
-1
Suppose -r + 12 = 5*k, 6 = 4*k - 3*r + 5*r. Solve 5*f - h = 2*f + k, 18 = 3*f + 4*h for f.
2
Let h(b) = b**2 + 9*b + 18. Let y be h(-8). Solve 0 = 2*u + 4*g + y, -3*g + 1 = -5*u - 7*g for u.
3
Let d be (-2 - -1)/(3 + 20/(-5)). Let p(x) = 8*x - 2. Let s be p(d). Solve -4*h + 4 = 5*t - 11, -s = -2*t - 3*h for t.
3
Suppose 4*i = 52*q - 57*q + 26, -3*q = -3*i + 33. Solve 2*f + 6 = 4*d, 4*f = -3*d + 30 - i for f.
3
Let h = -268 + 273. Solve -3*y - q + 15 = 2*y, 25 = h*q for y.
2
Let i(n) = -3*n**2 - 46*n - 86. Let h be i(-13). Solve -9*j - 37 = -5*j + 5*y, -y = -h*j - 10 for j.
-3
Let x(c) = -c + 4. Let l = 11 - 7. Let r be x(l). Suppose 6*v - 532 = -22*v. Solve -4*y - 2 = -2*g, 5*g + v = -2*y - r*y for y.
-2
Let s be (1*(-12)/15)/(6/(-15)). Let r be (1/(1/s))/(-2 - -4). Solve 2*w = 3*p - 1, 5*p = 3*w - 0*w + r for w.
-2
Suppose 24 = -4*y + 12*y. Suppose -3*h + 60 = 3*l, -l + 5*h - 55 = -3*l. Solve 2*i + 0*i + 11 = -p, y*i + l = -p for i.
-4
Let o be (-1)/3 - 50/(-15). Suppose -3*n = o*n - 54. Solve -4*k + n = -5*l, -2*l + 3*k = -2*k + 7 for l.
-1
Let i(o) = o**3 - 16*o**2 + o - 12. Let l be i(16). Solve -4*z + 2 = h - 3, -z + l = 3*h for h.
1
Let r = -436 + 442. Solve 6 = 4*m - r, 2*i = m - 11 for i.
-4
Let r = 23 + 0. Suppose -5*m = -2*s + r, m - 21 = -3*s + 4*m. Suppose -5*l = -2*x - 83, 9*x = s*x - 20. Solve -2*q + 17 = -5*q - 5*g, 4*g = -q - l for q.
1
Let k be (-2)/((-3)/(-6) - 1). Suppose -a = 4*q - k, 2*a + 2*q = -a + 22. Solve 2*i - 1 = -y + a, 0 = -4*y + 4*i - 12 for y.
1
Let g be 6/(-18) - 44/(-6). Let r be 108/63 - (-2)/g. Suppose -j - r*j = -12. Solve -p = 3*p - b - 25, j*b = -3*p - 5 for p.
5
Let z(f) = -f**3 - 5*f**2 + 5*f - 2. Let g be z(-6). Suppose -5 = 6*l - 17. Let r be 65/26 - (2/l)/2. Solve 4 = i - 3*q + 6*q, -2*i - r*q = -g for i.
1
Let f(v) = v**2 - 3*v - 7. Let i be f(5). Let n(c) = 2*c**2 - 2*c + 2. Let t be n(2). Suppose t*q = -3*q + 4*q. Solve -2*g - 2 = q, -g = -i*z + 2*z for z.
-1
Let h be (1 - -1)*-2 - 2. Let q be ((-2)/(30/(-25)))/((-2)/h). Solve -l - 7 = -5*p - 5*l, 0 = -q*l - 10 for p.
3
Let b(z) = -z**3 - 4*z**2 - 9*z - 6. Let k be b(-2). Solve -5*v - w - k*w = 20, -4*w - 10 = v for v.
-2
Suppose -5*k + 2*k = 0. Let w = -1007 + 1011. Solve 3*f - 3*r = f - 14, k = w*f - 3*r + 22 for f.
-4
Suppose 3*g = g + 3*r + 16, -4*r = 8. Let d be (-3)/(-3) - g/(-5). Suppose d*l - 7*l + 20 = 0. Solve z + l = -3*c - 2, -z - 4*c = 9 for z.
3
Suppose 0 = -11*b + 14*b. Solve -4*h - 33 = h - 4*r, b = h + 4*r - 3 for h.
-5
Let l be (4 - (7 + -3))/1. Solve -p - 1 = x, l*x - x + 4*p = 1 for x.
-1
Let y(u) = -u**3 + 15*u**2 + 18*u - 27. Let q be y(16). Solve -q*r + g - 26 = -g, -16 = r - 4*g for r.
-4
Let l = -228 - -233. Solve l*r - p = r - 13, -p = -3*r - 11 for r.
-2
Let t = -79 - -63. Let f = 20 + t. Solve 0 = -z - z + 4, -f*i + z = 18 for i.
-4
Let a = -106 - -109. Suppose a*b = -b + 8. Solve -b*p + 4*c + 14 = p, -5*p = -c - 12 for p.
2
Let p be 10*((-6)/(-16) + (-3)/(-120)). Solve 4*o + p*l + 8 = 0, 6*o - 4*o - l = -13 for o.
-5
Let q(h) = -h**3 + 20*h**2 - 18*h - 14. Suppose -4*g + 80 = 4*x - 6*g, -x - 2*g = -15. Let o be q(x). Solve -o*a + 12 = 3*w, 5*a + w - 11 = a for a.
3
Suppose -42*n + 684 = -4*n. Solve -2*b = 2*j, -2*j + 4*b - n = 3*j for j.
-2
Let y(w) = -w**2 + 6*w + 8. Let a be y(7). Suppose 4*u = 2*r - 18, u + 10 = 4*r + 2. Let v be (2 + r)/(1/3). Solve 2*x + 2*l - a + 7 = 0, -2*x = -3*l - v for x.
0
Let r(k) = -3*k + 38. Let m be r(11). Solve m*h = -3*n - 0*n + 19, 0 = -n + h - 7 for n.
-2
Let v(o) = -o**2 + 8*o - 8. Let k be v(6). Suppose -k*t = -0 + 24. Let n(w) = 2*w + 18. Let z be n(t). Solve -2*h + 5*h = -9, -3*f + z = -5*h for f.
-3
Suppose -3*n + 15 = -4*z, -5*z - 3*n + 15 = -2*z. Suppose -11*a + 85 - 30 = 0. Let f be (-4)/18 + 256/18. Solve -2*r + z*r + a*k - f = 0, 0 = 4*k - 8 for r.
-2
Let u = -487 + 487. Solve 5*a - 5*k = a + 17, u = -5*a + 2*k for a.
-2
Let d be (-2)/11 + 184/44. Solve z = -r - 3*z + d, 4*r = 3*z - 22 for r.
-4
Let k be 31 - (-9)/(36/(-16)). Suppose k*y = 25*y + 4. Solve 3*s + y = 5, n = -s for n.
-1
Let v(i) = -i + 4. Suppose 0 = u - j, 0*j - 3*j - 8 = -5*u. Let f be v(u). Let m be (-4 + f + 3)*-12. Solve 0 = -5*h + 5*t - 25, 3*t = 3 + m for h.
0
Let r = -845 + 850. Solve -3*c + 8 + 5 = 2*z, -5 = -r*c for z.
5
Let f = 1499 + -1497. Solve -3*j = -c - 13, -4*j + 5*c + 26 = -f*j for j.
3
Let x be (-1 - -107) + 1 + 2. Let c = x + -98. Solve -y = 2*t - 6, 3*t + 4*y = 2*t - c for t.
5
Let j(i) = i**3 - 2*i - 5. Let m be j(3). Solve 4*h = -4*l - 16, -h + 5*l = -4*h - m for h.
-2
Suppose -2*d = -d + 5*t, 3*d = 2*t. Suppose -4*w - m + 19 = d, -1 = -4*w - 2*m + 21. Solve 3*z - 7 = 3*p - 1, -w*z + 6 = -5*p for z.
4
Let u be -3 - 50/(-18) - 1040/18. Let g = 62 + u. Solve 3*x + 18 = 5*d - 3, 2*d = -x + g for x.
-2
Let s be (-27)/(-6)*2/(-3) + 3. Solve s = 3*z - 5*u - 37 - 0, 3*z = -u + 7 for z.
4
Let g be 2 + (-23 - -2) + -1. Let m = g - -11. Let s = 11 + m. Solve -4*k = 7*v - 2*v + 28, -k - 10 = s*v for k.
-2
Let z(q) = 6*q - 117. Let j be z(20). Solve -27 = 3*l - j*v - 9, -3*l - 5*v = -22 for l.
-1
Let n(q) = -q**2 + 7*q - 10. Let d be n(4). Suppose -3*o = -s + 2, 10*s = 8*s + d*o + 8. Solve -4*g + 3*u = 9, s*g + 9 = -u - 7 for g.
-3
Suppose i + 4*c - 1 = 0, 5*i + 5*c - 3 - 77 = 0. Suppose k + 3 = 2*k. Solve 0 = 3*d - 3*l - i, -4*d + k - 10 = 3*l for d.
2
Let m = 234 - 226. Solve m = -2*z - 2*d, z = 6*z - 5*d for z.
-2
Let t = -27 - -35. Let v be 31/t + (-10)/(-80). Let u(d) = -d**3 + 4*d**2 - d + 4. Let f be u(v). Solve f = 2*n + x - 1, -5*x = -7 - 8 for n.
-1
Let q be (26/6 - 3) + 100/150. Solve 13*s - 8*s + 15 = 0, q*s + 6 = -c for c.
0
Suppose 8*f - 4*f - 12 = 0. Suppose 3*t - 3 - f = 0. Solve -t*a - 5*j = -3, a + 0*j = 4*j - 5 for a.
-1
Suppose 0 = -4*c + 5*l + 30, 2*c + 3*c = -5*l + 15. Suppose -4*b = -3*u - 9, -5*u + 5 = -0*u. Solve -c*p = -q - b + 23, -23 = -4*q + p for q.
5
Suppose -4*z = 4*y - 8, -12 = 5*y - 3*z - 22. Solve -5*u - 40 = 5*p, -5*u - y*p = -u + 26 for u.
-5
Let w be -30 - ((-81)/21 - (-1)/(-7)). Let t = 29 + w. Solve -2*y + t*a 