= j + 2. Let f be u(2). Suppose f*c - 10 = y*c. Solve n = 6*d - 3*d - 6, c*d = n + 8 for n.
-3
Let m(t) = -t + 11. Let a be m(9). Let r = a - -5. Suppose 19 = 5*x - 2*k, 15 = r*k - 2*k. Solve 0 = -x*s + z + 12 + 18, 4*s - 4*z - 40 = 0 for s.
5
Suppose 12 = 3*s + s, 14 = c + 4*s. Solve -2*m - 10 = -c*x, -5*m + 0*x - 20 = -4*x for m.
0
Let m be (50/15)/(4/3 - 1). Solve -45 = 5*s - 4*u, 2*s = 4*s + 4*u - m for s.
-5
Let t = 48 - 45. Solve -20 = t*z - u, 25 = 5*u - 0*u for z.
-5
Suppose 0 = -3*j - 4 + 25. Let g = j - 5. Solve -g*f = 5*i, -2*f = 5*i - 5*f for i.
0
Let s = 49 + -46. Solve 0 = 2*i + 6, -s*r - 4*i = -0*i + 24 for r.
-4
Let f be (6/5)/(2/5). Suppose 4*n - f*n = 0. Suppose 4*l - 7 - 9 = n. Solve 5*j = l*o - 14 - 4, 3*j + 4*o - 2 = 0 for j.
-2
Suppose -15 = 4*i - 3*i. Let q be 1/(-2 + i/(-6)). Solve -4*z = -q*y - 0*z + 6, 4*z - 15 = -5*y for y.
3
Suppose -3*r = -0*r. Let f(q) = q**2 + 6*q + 2. Let t be f(-6). Solve 26 = -0*v - v + 5*g, -t*v + 4*g - 22 = r for v.
-1
Let n = 12 - 9. Suppose -4*l = -5*y - 0 - 15, 2*y + 13 = n*l. Solve c + 4*c + l = -3*q, -5*q + 37 = -3*c for c.
-4
Let z(j) = j**3 - 2*j**2 - 6*j + 10. Let g be z(4). Solve -2*a - 6*v = -4*v - g, -16 = -4*v for a.
5
Let m = 0 + 3. Solve -o - 5*y = 2*o + 35, o - m = 2*y for o.
-5
Let y be (-3)/5*(0 - 15). Let c = 9 - y. Solve c = 3*x, -4*d - 2*x + 3 + 13 = 0 for d.
4
Let f(b) = b - 1. Let s be f(5). Let l(y) = 2*y**2 - 3*y + 1. Let j be l(2). Let t be 23/5 + 2/5. Solve s*u - g + 5*g = -4, j*u + t*g - 3 = 0 for u.
-4
Suppose o = 5*o. Suppose f - 8 - 3 = -2*p, 2*f - 6 = o. Let l be (-42)/(-8) + p/(-16). Solve -x - 5 = 2*h, 0*h = l*x - 4*h + 11 for x.
-3
Let h(t) = 15 + 11 - t**2 - 31 + 6*t. Let j be h(5). Let n = 2 - -1. Solve 0*d + 12 = 4*g - d, j = n*g + d - 16 for g.
4
Let v(u) = u**2 + 4*u - 2. Let g be v(-5). Solve 0 = -2*j - 2*i + 6, j + 2*j - g*i - 3 = 0 for j.
2
Let m = 19 + -17. Solve -3*l = 4*r - 11, 0 = 2*l - 6*r + m*r - 14 for l.
5
Suppose -5*s = -4*t - 5, -5*t - 5*s = -53 + 3. Let i(q) = -q + 2 + 3 - 4. Let g be i(-10). Solve -3*x - 10 = -5*o + g, -t*o + 5 = 5*x for o.
3
Let z = -32 + 17. Let b be ((-8)/6)/(10/z). Let u = 0 - -5. Solve r = -u*k + 4*r + 24, -b*k + 12 = -2*r for k.
3
Suppose -5*n + 27 = -2*o, n + 4*o = 6*n - 19. Let b = n + 12. Let r(z) = 22*z**2 + z - 1. Let q be r(1). Solve 4*t = -0*t - 3*c - b, 5*c + q = 3*t for t.
-1
Suppose 60 = 2*y + 54. Solve -4*b + 0*b + 4*p + 20 = 0, 5*p = -y*b - 17 for b.
1
Let p(u) = 8*u**2 + 2*u + 2. Let k be p(-1). Solve -k = -5*v - h + 12, -15 = 3*h for v.
5
Let c(i) = -i + 5. Let x be c(5). Let b = 2 + x. Suppose w = -5*v + 15, 2*v - v = 2*w + 14. Solve -o + 2*z - 5 = 0, b*o - 15 = -v*z + 15 for o.
5
Suppose 0 = 5*t + 2*y - 7*y - 15, y + 3 = 0. Solve -4*n - 7 + 23 = t, -2*n = -2*c - 6 for c.
1
Suppose 2 = 4*q - 6. Solve 3*j + 20 = 4*d, -q*j + 4 = 2*d - 6 for d.
5
Suppose -i - 3*i = 0. Suppose -8*v + 4*v = i. Solve -5*r = -2*b + 3*b + 18, -5*b - r + 6 = v for b.
2
Let o = 6 - 1. Suppose 0 = 2*s - 5*s - 9. Let k = o + s. Solve 0 = 3*f - k*t + 13, 8 - 29 = 5*f - 4*t for f.
-5
Let w(y) = -y**2 - 8. Let n(t) = t**2 + t + 8. Let z(k) = -4*n(k) - 5*w(k). Let c be z(6). Suppose -4*i + c = -0*i. Solve 3 = -2*b + i, -3*f + 2*b = -7 for f.
3
Let w = 6 + -1. Solve 2*f = -5*y - 13, w*f = -0*y - y + 2 for f.
1
Let f be (-140)/21*(27/(-12))/3. Solve 3*b + 2 - 13 = -l, 0 = 2*l - f*b for l.
5
Let c(l) = -l + 3*l + 0*l + 18. Let h(r) = 3*r + 27. Let x(u) = 8*c(u) - 5*h(u). Let k be x(-7). Solve a - 3*v + 11 = 0, -k = -2*a - v + 4 for a.
1
Suppose a - 15 = 6*a, -3*z + a + 9 = 0. Solve -5*s + 0 = -h + 2, 5*h + z*s = 10 for h.
2
Let m(g) = g**2 - 11*g + 6. Let r be m(10). Let j be r + 2 - 4/(-2). Solve j = 5*d + 4*c - 1, 0 = 5*d + 3*c - 6*c - 8 for d.
1
Let i = -2 - -6. Suppose -p = -3*k + 20, i*k - 5*p + 13 = 47. Solve -13 = 5*t + m, m - 4*m + k = 0 for t.
-3
Let i(s) = s**2 - 7*s + 7. Let o be i(8). Solve 2*x = -x - 2*f - 9, -o = 5*f for x.
-1
Let f(a) = a**2 - 5*a - 6. Let q be (-8)/(-1) + -4 + 2. Let t be f(q). Solve t = -w - 5*m + 5 - 0, 12 = -4*w - 4*m for w.
-5
Let f = -6 - -9. Suppose f*y = y. Suppose 2*o = 4, 0*o + 2*o + 44 = 4*n. Solve 3*w + 6 = y, 0 = s - 3*s - 3*w - n for s.
-3
Let r be ((-33)/22)/((-1)/2). Solve 0*m = -h - 2*m + 2, -5*m = -r*h + 17 for h.
4
Let t(f) = f**3 - 4*f - 7. Let v be t(3). Solve -5*g - i + 18 = -v, -4*g = i - 21 for g.
5
Let x be (2 - -1 - 3)/(-1). Suppose x = -q - q + 4. Solve o = 7*k - 5*k + 6, 18 = -q*k - 2*o for k.
-5
Suppose 3*a - 19 + 4 = 0. Suppose 0 = -a*z + 4 + 6. Solve -2*b - 10 = -4*h, b = 5*h + z*b - 9 for h.
2
Let q(o) = o**3 + 9*o**2 - 4. Let b be q(-9). Let s be (b/7)/((-2)/7). Solve 0 = -s*f - 6, -5*w + w + f + 15 = 0 for w.
3
Suppose 3*v = 4*p - 27 + 356, 0 = p - v + 83. Let k = 9 + 33. Let h be 12/k - p/14. Solve 2*f + 16 = -4*w, f - 5*w - h = -0 for f.
-4
Let k be 7 + 7/(42/(-18)). Solve -9 = -2*s - 1, d + 16 = k*s for d.
0
Let s be 120/50 - 6/(-10). Solve 2*t = 3*c - 7, -t - 18 = -2*c - s*t for c.
5
Let o(i) = 2*i + 24. Let d be o(-12). Solve d = 5*n - 3*c + 16, -2*c = n - c for n.
-2
Let r = -8 - -14. Let d(g) = -g**3 + 4*g**2 - 2*g + 12. Let s be d(4). Solve r*k - 3 = -x + 4*k, 0 = -s*x + k - 6 for x.
-1
Let y(j) = -j**3 - j**2 - j + 14. Let i be y(0). Suppose -i = -w - 6*w. Solve 0 = 2*q - w*x - 18, -4*x - x = -2*q + 30 for q.
5
Let g(w) = 6*w. Let c(t) = -t. Let k(f) = -5*c(f) - g(f). Let i = 0 - 5. Let o be k(i). Solve -3*r - 3*s + 2 = -1, 3*s = -o*r + 1 for r.
-1
Let h(v) = -2*v - 9. Let d be h(-7). Let p = d + -3. Let f = 4 - p. Solve 2 = f*s - 3*y, s - 12 = -7*y + 3*y for s.
4
Let g be 8/(-20)*(1 - -14). Let r = -3 - g. Solve 5*n + 30 = 4*z + r*n, 2*z + 3*n = -5 for z.
5
Let u be 6/4*(-10)/(-3). Suppose 7*m - 11 = -4. Solve 0 = 3*q - 2*g - m, u*q - 5*g + 4*g + 10 = 0 for q.
-3
Let a be (-4 - -3)/(2/(-18)). Suppose 0 = -3*l - 0 + a. Let c = l - 3. Solve 2*o + 1 = -3*z + 4*z, -3*o - z - 9 = c for o.
-2
Suppose -2*r - 4*d = -24, -2*d + 16 = -r + 3*r. Let i be ((-50)/r)/((-3)/6). Let x = i + 0. Solve -19 + 4 = h - 4*z, -5*z = 5*h - x for h.
1
Let r = -73 + 78. Solve -4 = -4*u + 3*q, r*u + 3*q - 5 = q for u.
1
Let w = 2 + 8. Solve 0 = -3*t + 3*d - d + 2, -t = 2*d + w for t.
-2
Let o = 19 - 12. Suppose -o*l + 5*l + 6 = 0. Solve 2*b - l*b + y = 4, 5*b = 2*y - 5 for b.
1
Suppose 0 = -5*h - n + 32, 5*h - 25 = n + 3. Let y = -67 + 41. Let l = y - -45. Solve x - 12 = 2*z, 5*x - l = 3*z + h for x.
2
Suppose -4*u + 167 + 33 = 0. Suppose 5 = 5*i - u. Suppose 2*m - 4*f + 3*f - i = 0, -8 = m + 4*f. Solve m*y + 2 = k, y + 2*k + 5 = -0*k for y.
-1
Let q = -4 + 4. Suppose -n - 2*n + 75 = q. Solve 3*h - 4*j + 15 = 0, -h + 6*h = 4*j - n for h.
-5
Let x be (3 - -7)*6/15. Suppose -3*w + x = -w. Solve -h + k = 3*k - 9, 0 = -k + w for h.
5
Let m(y) = y**2 + 4*y - 2. Let n be m(-4). Let u be -1 - -1*(-10)/n. Solve -5*o + 2*c - 2 = 1, u*c = 5*o + 1 for o.
-1
Let v(t) = t**3 - 8*t**2 + 7*t - 2. Let g be v(7). Let c be (-14)/(-5) + g/(-10). Let a be (0/(-2))/(1 - 2). Solve a = -c*f - 3, 0 = -d - f - 3 - 3 for d.
-5
Suppose 5*u - 29 = -4. Suppose -5*s + u = -0*s. Let o be (-1)/(1/((-4)/s)). Solve 2 = 4*w - o*m - 2, 5*m = w - 9 for w.
-1
Suppose -4*a = -44 + 8. Let g(k) = -k**2 + 10*k - 7. Let y be g(a). Let d be y + (-1)/(3/(-6)). Solve -6*v + v + 1 = d*t, -4*t = 3*v + 1 for v.
1
Let j(y) = -y**3 - 10*y**2 + 11*y + 6. Let r be j(-11). Solve 4*t = -2*x - 20, x = -4*t + r*x - 20 for t.
-5
Let n(p) = -7*p - 8. Let m be n(-2). Solve -4*o + 4*l + 4 = -4, -o + 5*l = -m for o.
1
Let j(a) = -a**2 + 15*a - 35. Let g be j(12). Solve -5*x - 42 = -3*l - 7, 0 = -x - l + g for x.
-4
Let m be (-2)/7 + 46/14. Let r = 27 - 22. Solve 3*c - r*f - 48 + 16 = 0, c + m*f = -8 for c.
4
Let z(j) = -j**3 - 2*j**2 + 4*j + 8. Let c be z(-2). Solve c = 3*o - 5*h + 2, 4*o + 3*h - 1 + 23 = 0 for o.
-4
Suppose 0 = -4*o + 2*d + 10, -4*o - 2*d + 5 = -5*o. Let t be 1/((2/4)/1). Solve t*a + o*c = -0*c - 30, 8 = -4*a + 3*c for a.
-5
Suppose 4*i + 2*m - 16 = 8, 2*i - m = 12. Solve 5*f - i*q + 2*q - 25 = 0, -f - 14 = 3*q for f.
1
Let z = 48 + -46. Let h be ((-60)/(-16))/((-6)/(-16)). Solve o = -2*w + 3*o + h, 10 = 4*w - z*o for w.
0
Suppose 0 = 2*b + 2*b - 8. Solve m = 2*j - b*m - 2, -3*j + 2*m = 7 for j.
-5
Let k be (-135)/(-25) + (-2)/5