se 0 = 5*w - 0*w - 20. Solve -5*y = 2*t - 2, -2*y - 10 = w*t + y for t.
-4
Let n be (-6)/10 + (-51)/15. Let i = 5 + n. Suppose -4*y + i - 18 = -v, 0 = -3*v + 3*y + 24. Solve -x + 12 = -v*j, -j - 2*x - 9 = -0 for j.
-3
Let o(n) = -n + 5. Let g be o(3). Solve 0 = -4*l + g*q + 12, -4*q = 5*l - q - 15 for l.
3
Suppose 3*n - t = -2*n + 22, -5*t = -15. Suppose -n*c = -13 - 2. Solve -c*u + 4 = 4*r, 4*u + 10 = -r + 6*u for r.
-2
Let c(n) = -n**2 + 7*n - 5. Let k be c(5). Solve k*u = -3*f - 12 - 1, 2*f - 3*u - 23 = 0 for f.
4
Suppose -2*s - 3 = 1, q - 11 = 3*s. Let a be 60/(-18)*6/(-5). Solve 2*b = -q*u + 13 + 1, -b + 10 = a*u for u.
2
Suppose 0 = -a + 3*a - 8. Suppose -5*y + 3*y + 6 = 0. Let i be -1*(-1 + -1*2). Solve -a*z - 11 = y*k + 1, -3 = i*k + z for k.
0
Suppose 4*d + 2*l = 12, -5*l + 10 = 5*d - 10. Solve 5*h = d*x + 6, -x = -2*x + 5*h - 8 for x.
2
Suppose -14 = -3*g + 3*p - 8*p, -5*g - p + 16 = 0. Solve g*q - 5 = 5*z, 5*q - 15 = -0*z + 5*z for q.
5
Suppose 0*i + 30 = 5*i. Let n(m) = -m - 4. Let g be n(-7). Suppose -7*t + i*t = -g. Solve -t*y + 5 = 5*q, -q + 3*q - 2*y = 18 for q.
4
Let i = 44 + -33. Solve 6*u - 4*k = u - 19, 5*u = -4*k - i for u.
-3
Suppose 3*p + 0*p = 72. Solve 5*b + p = -0*b + 4*j, -9 = b - 5*j for b.
-4
Let v(y) = 2*y + 2. Let b be v(0). Let c = -1 + 9. Let n = c - 6. Solve n*d - 3*j = -j - 2, 0 = -3*d - b*j + 2 for d.
0
Let j be 10/45 + (-75)/(-27). Solve 2*b + 2*n = 0, -j = -2*b + n - 0 for b.
1
Suppose 0*a = -2*a - 24. Let w be (-93)/(-12) + (-3)/a. Solve 4*z - 4*l - w = 0, -l + 24 = 4*z + 6 for z.
4
Let k(o) = o**3 - 5*o**2 + 2*o - 6. Let u be k(5). Suppose -93 = -3*p - 3*j, 13 = p - j - 28. Let w = -20 + p. Solve -y - 5 = -2*g + 3*g, u*g - 5*y = w for g.
-1
Let q be 0/(-3 - (0 - 2)). Let b = -3 + 8. Solve -b*a + 0*a = -5*k, q = 5*k - 2*a + 15 for k.
-5
Let u(f) = f**2 + 9*f + 4. Let b(k) = k + 1. Let j(c) = -5*b(c) + u(c). Let x be j(-5). Solve -i - 8 = x*d, 0 = 2*d + d + 9 for i.
4
Suppose 29 = 3*v + 128. Let d be v/(-7) - 2/(-7). Solve d*z = -3*b - 10, 0*z - z - 15 = -2*b for z.
-5
Suppose 5*l + 4*q = -10 + 32, l - 14 = -4*q. Suppose 0 = 3*i + 7 + 8, -4*d - 3*i = 3. Solve -l*c - 6 = -c + d*o, -4*c - 3*o - 15 = 0 for c.
-3
Let f be (2*1)/((-2)/(-4)). Suppose -f*o - 2 = -34. Solve -9 = -4*z + 3, 5*j + 4*z = -o for j.
-4
Let j(m) = m. Let c(h) = h**3 - 2*h**2 + h. Let b be c(2). Let l be j(b). Solve -3*p + l*p = -3, 5*r + 19 = -2*p for r.
-5
Let z be ((0 - -4) + 1)*4. Suppose -2*r = r - 6. Let f be (-12 + 2)/r*-1. Solve 3*c + 5*a + 5 = 2*c, -z = 4*c + f*a for c.
-5
Let q(v) = v**3 + 4*v**2 + 4*v. Let o(y) = -y**3 - 4*y**2 - 2*y. Let c be o(-3). Let t be q(c). Let j = -3 - t. Solve j = -3*w + x + 16, 16 = 4*w - x - 5 for w.
5
Let j(n) = -n. Let u be j(3). Let w be u - (-3)/3*6. Solve 0 = 6*r - r - 2*k + 2, -w*r - 3*k = 18 for r.
-2
Let h(v) = v - 10. Let y be h(8). Let m = 6 + y. Solve 0 = -5*g - c + m*c - 15, 3*g - 10 = -2*c for g.
0
Let l be -1 + -3 + (-2 - -7). Solve -4*k + 2*q - 4*q = 0, -k - q + l = 0 for k.
-1
Let z(g) = 2*g + 3. Let j(u) = -u**2 - 10*u - 12. Let f be j(-8). Let a be z(f). Solve -3*q - y = a, 0*q + 8 = -q + 4*y for q.
-4
Let f(l) = l**3 - 7*l**2 - 8*l. Let y be f(8). Suppose y*h + 2*h + 22 = 4*g, 4*g - 21 = h. Solve 4*s = -5*b + 27, 2*b - 15 = -g*s + 6 for b.
3
Let p be 3/(-24) + (-2)/(-16). Solve p*r + 3 = 4*r - 3*k, 2*k = -2*r - 2 for r.
0
Let p be (-3 - 188/(-36)) + (-2)/9. Solve -2*a - 1 = -x + 3, -2*x + 2*a = -p for x.
-2
Suppose -2*m = 5*w - 12, -5*m + 5*w = -0 + 5. Let y(x) = m + x**2 + x - 2 - 3. Let g be y(-3). Solve g*j = -j - o - 19, -4*o = -5*j - 9 for j.
-5
Suppose l = 3*l - 12. Let k = -9 + 13. Solve 2*i + 20 = -k*o + l, 12 = -4*o for i.
-1
Let q = -7 + 7. Suppose b - 1 - 1 = 0. Suppose b*y - 4 = 2. Solve 2*w - 4 = -q*w, -y*j - 3*w = -12 for j.
2
Suppose -5*f - 8 = 4*h, -5*f - 1 + 9 = -4*h. Solve f = -3*a - u + 6, 3*a + 2 = 2*a + u for a.
1
Let x = 17 - 12. Solve 6 = 2*c - v, -2*c - 4 = x*v - 10 for c.
3
Let p(k) = k**3 - 11*k**2 + 11*k - 8. Let q be p(10). Suppose -q*h + 3 + 1 = 2*i, 4*i - 24 = 4*h. Solve -t = -y - 2*t + 9, -40 = -i*y - 5*t for y.
5
Let h = 9 + -6. Let q(j) = j**3 + 8*j**2 - j - 2. Let k be q(-8). Suppose 5*i - y - k = 0, -i + 5*y = h*y + 6. Solve -3*m + 2*g + 5 = -i, 3*g - 22 = -2*m for m.
5
Let l = 42 - 35. Solve 4*w + 3*c = l*c, 0 = 5*w + c - 30 for w.
5
Let b be (-318)/(-24) - 2/8. Solve 3*l - b = 5*i + l, 0 = -3*i + 4*l - 5 for i.
-3
Let h(n) = n - 7. Let m be h(10). Suppose 0*x + 2*x - 4*b - 14 = 0, 0 = -4*x + m*b + 38. Solve 4*q + x = 5*l, 4 = -l + 3 for q.
-4
Suppose -3*u + 12 = -0*u. Solve 2 = -2*w + 2*a, -9 = -0*w + u*w + a for w.
-2
Suppose -3*x + 3*u = -51, x + 3*u + 64 = 5*x. Solve t + x = -2*s, -4*t + 2*s = 3*s + 17 for t.
-3
Let y(u) = u**3 + 2*u**2 - u + 2. Let a be y(-2). Solve 2*d - 7*z - 28 = -2*z, 5*d = -a*z + 4 for d.
4
Let n(v) = v**3 + 7*v**2 + 4*v - 9. Let d be n(-6). Solve -3*i - 2*i + 13 = -2*q, q - 10 = -d*i for q.
1
Let t(z) = z**2 - 10*z. Let n be t(10). Let w(u) = -u + 4. Let v be w(4). Let m = v - -2. Solve -m*r + 4*q - 22 = n, -r - q = 1 + 1 for r.
-5
Suppose 3*n + 9 = 6*n, 5*n - 55 = -4*r. Solve 3*x = -2*h - 0*h + r, 3*x - 14 = 2*h for x.
4
Suppose -5*s - 10 = -3*u, -5 - 1 = u + 3*s. Let t = u + 0. Suppose -8 = -2*m - t*m. Solve 6 = -3*x - 3*f, -m*x + 2*x = 3*f + 2 for x.
-4
Let x(m) = -m**2 - m. Let a be x(0). Let y = -14 - 0. Let f = -11 - y. Solve a = -5*u - f*b + b + 3, 2 = -2*b for u.
1
Suppose 4*o = -3*a + 27, 18 + 4 = 4*o + 2*a. Solve -5*m - 5*r - 15 = 0, 5*r = o*m + 22 - 5 for m.
-4
Let r be 1/(2/(-2)*-1). Let z = 0 - r. Let g be (45/(-10))/(z/6). Solve o + 5 = 0, 5*c = -5*o - g - 18 for c.
-4
Suppose 2 + 3 = 5*u, 3*c = 4*u + 8. Solve h + 2 = -c*v - 0, h = 2*v - 2 for v.
0
Let m be ((-16)/6)/((-2)/6). Suppose -2*n + 2*k + 10 = 0, -7*n + 5*k = -3*n - 25. Suppose n + 6 = 2*b. Solve 0 = -7*y + b*y + 4*x + m, -5*x = 5*y + 10 for y.
0
Let a(k) = k**3 - 6*k**2 + 8*k + 6. Let o be a(4). Solve v + o = 3*u, 0 = -4*u + v - 2 + 10 for u.
2
Suppose -4*s = 3*w - 31, 2*w - 13 - 10 = -5*s. Let t be (w + -6)/(6/40). Solve -4*q + 20 = m, t = 4*q + m + m for q.
5
Suppose 1 = -5*m + 11. Let d = m + -2. Solve r - b = d, 0 = -r - 5*b - 6 for r.
-1
Let z(p) = -p**3 - 8*p**2 + 6*p - 27. Let t be z(-9). Solve -2*a - 4*h + h + 2 = t, 2*h - 12 = 4*a for a.
-2
Let t(b) = b**3 - 2*b**2 - 4. Let v be t(3). Let w = v + -2. Let j be 6*(-1 + (-7)/(-3)). Solve 0 = 5*f + w*s + 13, -5*f + f - 3*s - j = 0 for f.
-5
Suppose 4*x - 5*l = 13, 2*l - 6 = -5*x + x. Solve 1 = 3*p + 2*y, -3*p = -3*y - 4 - x for p.
1
Let l be (-3)/(1*-3)*4. Suppose -n - l = -3*n. Solve 4*k - 8 = n*k - p, -k - 2*p = -4 for k.
4
Suppose -3*t + 4*x = -1 - 6, -5*t = -5*x - 15. Solve d - 11 = -3*q, -t*q + 2*d - d = -21 for q.
4
Let x = 5 + -3. Suppose -2*m = -5*l + 20 + 11, -x*l + 16 = -2*m. Suppose -18 = -5*p + 2, l*k + 3*p = 27. Solve -3*r + 7*r - 6 = 2*s, k*r = -5*s + 24 for s.
3
Suppose 6 + 2 = 4*z. Let p = 3 + z. Solve -p*o = 4*r - 41, 4*o + r + 10 = 34 for o.
5
Suppose 2*m = 4*m - 6. Suppose 4*p = -m*j + 2 + 26, -3*j + 3*p = -21. Solve 7 = -0*r - r + 2*f, 0 = 2*f - j for r.
1
Suppose 26*u = 7*u + 57. Solve 6*c - c + 5*v = -15, u*c - v = -1 for c.
-1
Suppose -22 = 5*s - 22. Solve 2*u = -v - 4, s = 4*v - 5*u + 3*u + 6 for v.
-2
Suppose -3*v = 4*q - 137, -5*v - 110 = -2*q - q. Solve -3*y + 5*m = m - q, 4*m + 20 = 0 for y.
5
Let d = -14 - -18. Solve 3*j - 5*a = 7 - 1, 9 = -d*j + a for j.
-3
Suppose -4*n + 5*u + 36 = 0, 3*u = -6*n + 3*n. Suppose -5*y = -n*r + r + 7, 0 = 3*y + 3*r - 15. Let o = 3 + y. Solve -v - 5*q + 1 = o, 3*q = 5*v + 15 for v.
-3
Suppose -3*d + 35 = 4*o, d = 4*o - 2 - 13. Suppose d*g - 10 = -3*f, 2*f + 7 = 3*f - 2*g. Solve 2*l + f = -2*s + 5*s, -2*l = -s + 3 for s.
1
Let l = 6 + -4. Let h(z) = z - 1. Let r(m) = -m. Let d(s) = -3*h(s) - 4*r(s). Let p be d(0). Solve 2*f + 3*j - 6 = f, p*f + l*j - 4 = 0 for f.
0
Let h = -10 - -14. Let r(w) = 5*w + 8. Let c be r(3). Suppose -h*k = -5*b - c, 2*b = -4*k - b + 31. Solve 4*z - k + 20 = 5*y, -4*y = z - 23 for z.
3
Suppose -20 = 2*g - 2*q - 3*q, q - 4 = 3*g. Let z be 15/6*(-2 + g). Let n be 2/z - (-44)/10. Solve -3*i - 22 = -5*b - 0*i, -n*b = -i - 12 for b.
2
Let b(d) = 5*d**2 + d - 1. Let k be b(1). Suppose -5*v + k = 2*t + 3*t, 