for j.
-3
Let s(k) = -k**2 - 11*k - 5. Let o be s(-10). Suppose -15 = o*u + 5*y, u - y = -5*y - 12. Let v = -10 - -20. Solve 5*c + u + v = 3*i, -5*i + 4*c = 5 for i.
-5
Suppose -4*g + 2*n = -6, -4*g + 4 = -4*n - 4. Let y be g + (2 - 1)/(-1). Solve 4*f - 5*k - 16 = y, 2*f - 3*f - 5*k = -4 for f.
4
Let v(b) = 18*b**2 - b. Let k be v(1). Let z be 2/5 + 86/10. Let f be (-3)/z - 26/(-6). Solve -7*u - d = -2*u + 7, 3*d - k = f*u for u.
-2
Let a(p) = -p**3 + 8*p**2 + 2. Let j be a(8). Solve -j*z = 5*t + 3, -3*t + z + 15 = -2*z for t.
1
Let g be 6*(-4)/36*-6. Solve 8 = -q - g*b - 0, 0 = 2*q - 3*b - 6 for q.
0
Let h = -5 + 7. Suppose 0 = -4*q - 2*u + 28, -3*q + h*u + 20 = -15. Solve -18 = -0*j + 3*j - 5*x, 2*x = 3*j + q for j.
-1
Let d = -6 - -11. Let n(g) = -g**3 + 5*g**2 + g + 5. Let i be n(d). Solve -i = -z - 2*c + 5*c, -c = -z for z.
-5
Let c = 48 - 46. Let q(h) = h**3 + 6*h**2 + 5*h + 5. Let j be q(-5). Solve b - c*d = -15 + 2, -5*d = j*b + 5 for b.
-5
Let u be -3 - 7/(35/(-40)). Solve -3*d + 1 = -5*q - u*d, d = -3*q for q.
1
Let j be ((-2)/2)/((-2)/10). Suppose 0 = j*f + 4 - 29. Suppose 8 + 12 = f*o. Solve -z - 1 = -3*g, g = 5*z - o - 5 for g.
1
Suppose 0 = -3*j - 6 + 15. Let z be (-2)/j - (-284)/12. Solve -6 = 5*a + 2*g, 5*a + 5*g + z - 8 = 0 for a.
0
Let j(m) = -m - 3. Let g be j(-6). Suppose 4*b + 2*k = 14, -g*k + 7 = -4*b - 4. Let i be b - 3 - (-6 + 2). Solve 0 = 5*z + q + 27, -4*z + 4*q = i*q + 16 for z.
-5
Let k be (-16)/10*5/(-2). Suppose 0 = 4*l + 5*r + 4, -3*l + 8 = -k*l - 3*r. Suppose -4*c = y, c - y = -l*c. Solve -3*a + 3*b - 2*b - 4 = c, -4*b = -16 for a.
0
Let q be (-2)/(-4)*-4 - -4. Solve 3*b = -3*o, o - 5 + 2 = q*b for o.
1
Let j = 37 - 34. Solve v = o + 2*v - 9, j*v + 13 = 5*o for o.
5
Let z be -1*1/(-1) + -9. Let t = z + 16. Let p(m) = -m - 3. Let o be p(-6). Solve -n + t = 3*y, -o*n = y - 5*n + 9 for y.
1
Suppose -o + 20 = -4*o + h, o + h + 8 = 0. Let r = o - -8. Let x be r + (2 - (-1 - 0)). Solve -5*l + 6 = -3*u + x*u, -5*l + 10 = 0 for u.
-4
Suppose 4*b = -x + 44, 4*b + 3*x + 0*x - 36 = 0. Suppose 3*q - 12 = b. Solve v - q = -5*y, v - 4*v = 3*y - 12 for y.
1
Let w(b) = b**2 + 5. Let t(y) = -y**2 - 6*y + 7. Let a be t(-7). Let i be w(a). Solve -4*p - 2 = i*f, -2*p + 2 = p + 2*f for p.
2
Let g be (3 + 9/(-3))/(-1). Solve 3*x - x = 2, g = 2*f + x - 9 for f.
4
Suppose -8*d + 15 = -3*d. Solve 4*w - 3*o + d = 6, -3*w + 2*o + 1 = 0 for w.
-3
Suppose -3*k + 4*v = 7, v + 8 = 4*k - 0. Suppose t - 8 = -k*t. Let x(r) = r**3 - 3*r**2 + 3*r. Let l be x(2). Solve 3*a - n = 3*n - 4, -l*n - 12 = t*a for a.
-4
Let h(s) = s - 2. Let y be h(-7). Let g = 32 + y. Solve -4*f - g = 3*j, -f = 3*j + 2*j + 10 for j.
-1
Suppose -2*b + 4*b = -4. Let i = 3 + b. Suppose m - i = 4*x - 14, 2*m = 5*x - 17. Solve p - h - x = 3, 6 = 3*p + 3*h for p.
4
Let k be 0/1 + 6/3. Let v = 9 - 5. Suppose 0 = k*h - 0*h + 3*z - 30, 20 = v*h - 4*z. Solve 0 = -2*s - t + h, 0 = -4*s + s - 3*t + 15 for s.
4
Let a(x) = 3*x + 7. Let i be a(-6). Let z = i - -16. Let h be (-1 + 1)*(0 + 1). Solve 2*j = -0*c + z*c - 26, -2*j - 3*c + 6 = h for j.
-3
Suppose 0*g + g - 5 = 0. Let z(w) = 7*w - 25. Let j be z(5). Solve 0 = 2*u, -3*i + g*u = -i - j for i.
5
Let l(a) = 3*a**2 + 6*a. Let m be l(-4). Suppose 4*r - 40 = m. Solve 4*h + 4*g + r + 0 = 0, 0 = -3*g - 6 for h.
-2
Let c(x) = x - 3. Let r be c(6). Suppose a - 5 = 4*m, m + 15 = 6*a - r*a. Solve m = -2*h + 3*d + 2*d + 13, 3*h = 3*d + 6 for h.
-1
Let q(v) = v**3 - 18*v**2 - 2*v + 39. Let x be q(18). Solve -g - 5*p = -5, -g + 20 = x*g - 4*p for g.
5
Suppose -2*l + 2 = 3*s - 1, -2*s = 10. Suppose 4 = -y + l. Solve 0 = y*o + 5*f + 15, -3 = 2*o + 3*f + 2 for o.
-4
Let v = 10 - -1. Let m = 16 + -23. Let r = m + v. Solve 2*j + 3*o = -3, -18 = -j - r*j + o for j.
3
Let v be 6/15 - 52/(-20). Suppose j = 5*p - 20, -5*j - 4*p + 40 = -j. Suppose -j*i = -i. Solve 6*s - 3 = v*h + 3*s, 4*h - 3*s + 5 = i for h.
-2
Let x = 0 + 5. Suppose -12 = -4*s - l, 3*s - x - 3 = -l. Suppose -3*q + s*q - 9 = 0. Solve -y + 1 = k + y, k - 3*y + q = 0 for k.
-3
Let g = -11 - -13. Solve 0*n = -3*v - 2*n + 8, -g*n = -2 for v.
2
Let c = -17 - -19. Suppose -7*z = -c*z. Solve z = -o + d, 0*d - 35 = 3*o + 4*d for o.
-5
Let r(z) = -z**2 - 10*z - 11. Let p be r(-8). Solve 4*l - 5*b = -12, -15 = -5*l - p*b + 15 for l.
2
Let s(o) = o**2 + 7*o + 8. Let y be s(-6). Let b be -2 + -3*-3*2. Solve 2*z = -4*j - b, -2*z + 8 = z - y*j for z.
0
Let l = 13 - 5. Let j(f) = 7*f - 8. Let y(z) = -6*z + 8. Let a(o) = -5*j(o) - 6*y(o). Let m be a(l). Solve 5*p = 5, -4*c + p = -m*p - 11 for c.
3
Let a(j) = -j + 8. Let z be a(7). Let o be 0 + z - 3*-1. Suppose 0*y + 5*y = 60. Solve -5*v - 12 = -g, -o*g - y = g - v for g.
-3
Suppose 2*n = 3*n - 13. Suppose 3*v = -a - n, 5*a = 4*v + 53 - 4. Let s be 1/(-1) - (v + 2). Solve 0 = -5*h - 2*g - 5, -h - 5*g = 2*h + s for h.
-1
Let j = 16 + -12. Solve t + 3 = s, -s + 2 = 2*t - j for s.
4
Suppose 0 = -4*q + b + 10, -q + 7 = b + 2. Let o be (21/(-12))/(q/(-24)). Solve 5*j + o = 2*n + j, 0 = -3*n - 4*j + 11 for n.
5
Let s(k) = -k**3 - 3*k**2 - k + 4. Let q be s(-4). Suppose 12 = 4*d - p, -2*d + 4*p + q = 2*d. Solve 2*n = -d, o - 2*n + 0*n = 6 for o.
4
Let q = 8 - 6. Suppose 4*p + 30 = q*d + 8*p, 2*d - 15 = p. Solve 4*u - 2*n = 14, 2*n - 3*n - d = -4*u for u.
1
Suppose 5*v = 4*n - 43, 0 = -3*v - 0*n - n - 19. Let q = v + 7. Solve g + 4*g - 2 = -3*z, 5*z - 20 = q for g.
-2
Let y = -179 - -179. Solve 4*j - 25 = 5*w, y = -4*w - j - 3*j - 20 for w.
-5
Let b = 30 + -13. Suppose 4*v - b = -5. Suppose 4*q - x + 2 = 5*q, 2*q - 22 = 4*x. Solve -1 - q = 3*r + v*s, -2*s - 6 = 3*r for r.
-2
Let a be 1/((-1)/2) + 6. Suppose 3*v - 4*d = 17, -2*v + d + 7 = -a*v. Let g be 0 + (6 - (v + 2)). Solve -2*u + o - 12 = 3, g*o = 5*u + 50 for u.
-5
Let l = -24 - -204. Suppose -3*n + 54 = -4*b - 31, -b = 5*n - l. Let r = -6 - -11. Solve r*t = 5*f + n, t - 6*t + 5 = f for f.
-5
Let x(b) = -b - 2. Let k = -8 + 4. Let w be x(k). Suppose -w*m + 6 = m. Solve 2*y - 3*r - 5 = 2, m*y + 28 = -4*r for y.
-4
Let d(b) = -3*b - 11. Let j be d(8). Let a = -25 - j. Solve 0 = -0*m - 4*m + 8, 4*m - a = 2*i for i.
-1
Suppose -3*t = -3*f + 3, 7 = 2*f - 2*t + 5*t. Suppose -f*k - 6 = -4*k. Solve 5*x = 5*i + 14 + 16, -x + 14 = -k*i for x.
2
Let n be 2/9 + 194/18. Let w = n - 6. Suppose -d = j - 21, 0*j = 5*j - 5*d - 85. Solve -5*r = -10, 2*q + w*r - j = -1 for q.
4
Let l = -3 - -5. Let k be -2 - -1*2/l. Let c be k + 7 - (1 + 0). Solve 0 = -c*i, -14 = 2*f + 2*i - 4 for f.
-5
Let x(i) = i**2 + 2*i + 3. Let v be x(-1). Solve -c - 7 = -v*c + 5*y, -4*c + 3*y = 6 for c.
-3
Let z(f) = -f**3 - 2*f**2 + f - 2. Let o be z(-3). Solve -12 = -3*j + o*d, j + 0*j - 4 = 3*d for j.
4
Let b be (1 - -9) + (-30)/6. Solve -6*g + b*s + 10 = -g, -3*s + 6 = 0 for g.
4
Suppose 6*h = 8*h - 8. Solve -13 = 3*r + i, 3*r - r = h*i - 4 for r.
-4
Let q(t) = -2*t - 19. Let g be q(-14). Suppose -3*c = -5*o - 28 - g, 0 = c + 5*o - 19. Solve -p = -d - 3*d - 6, 4*d + c = -3*p for p.
-2
Suppose -5*p = -5*o + 10, -13 = 5*o - 33. Solve -5*q = v - 14, -p*q = -3*v - 0*v - 9 for q.
3
Let r be (42/18)/((-2)/(-6)). Let s be r + (-4 - (0 + -2)). Solve -9 = 2*w + 3*n, 0 = -s*w - n + 2 + 8 for w.
3
Suppose 3 = 3*q, -4*q = 4*r - 12 - 12. Suppose -2*o = 4*t - 4, -3*o = 3*t - 9 + 3. Suppose -r*u + 3*u + 28 = t. Solve 5*h + y + 9 = h, -4*y = 5*h + u for h.
-2
Let h(a) = a**2 + 7*a - 7. Let f be h(-8). Suppose 0 = 2*w - j - 1, 2*w + 0*j + f = -j. Solve -n + w*n - 1 = -2*g, -4*n + 2*g = 4 for n.
-1
Suppose 3*v - 36 + 12 = 0. Let q be (4/6)/(v/60). Suppose 4*a + 30 = q*w, a + 3*a = -4*w + 24. Solve -2*p + w = -5*h, p - 2*h = 6*p - 15 for p.
3
Let i be 14 - 1*(1 - 2). Suppose 2*v - 2 = -6. Let o = 3 - v. Solve -o*d = -5*x - 0*x + i, -4*d = 4*x - 12 for d.
0
Let o(m) = -m**2 + 15*m + 5. Let k be o(15). Solve 3*u = -5*q - u - 41, 5 = -k*q + 5*u for q.
-5
Let t = 2 - -1. Suppose t*l = l + 14. Solve x + f - l = -3*x, 3*x - 9 = -2*f for x.
1
Let p be (-25)/(-10) + (2 - (-6)/(-4)). Solve 5*s = -z + 20, 4*z + p = s - 1 for z.
0
Let h be 2/9 - 238/(-63). Solve -3*s + 0*s - 4 = 4*t, -2*s + h = t for s.
4
Suppose -2 = -n + 2*l + 5, -5*n - 3*l = -9. Suppose 26 = 5*o - 4*i, 0*i + 20 = 4*o - n*i. Solve -o*z + 0*z + u = 2, 5*u - 10 = 0 for z.
0
Let i = 0 - 0. Suppose z + 