6 for j.
-3
Let a = 1 + -1. Suppose -p + 8 = -a. Suppose -4*s - 5*q = s - 25, -p = -4*q. Solve y + 14 = s*f + 2*y, 0 = -3*y - 3 for f.
5
Let b be (6 - 7) + (0 - -10). Let g be -2 + b + (1 - 3). Solve 3*n + 3 = -3*l, -3*l - 5*n = l + g for l.
0
Let i be 2*3/(-6) - -4. Suppose -3*q = -i*z - z, q - 13 = -3*z. Solve -3*l - 4*x - 14 = 0, 5*l - 2*x = z*x for l.
-2
Suppose 4*g - 8 = -2*b - 2*b, 6 = -2*b. Solve g*f - 10 = 5*s, -4*s + 4 = f + 2 for s.
0
Suppose -12*h + 4 = -10*h. Solve -4*b - 3 = -3*n + h, 8 = n + 5*b for n.
3
Suppose 6 = -3*x + 2*o, -7*x + 6*x = 5*o - 15. Solve 2 = -2*b - 5*v + 3, b + v + 1 = x for b.
-2
Let r be 0/((4 + -1)*(-4)/(-6)). Solve 4*n - 5*b + 19 = r, 7 = 2*n + b + 2*b for n.
-1
Let o(r) = r**2 - r + 2. Let a be o(2). Suppose -4*l + 22 - 10 = 0. Suppose 42 = l*i - 3*b, b + 0 - 1 = 0. Solve -1 = 2*w + 5, i = -a*t - w for t.
-3
Suppose t = 6*t - 10, 4*t = 4*j. Solve 4*u - 7*x = -4*x - 23, -j*u - 14 = -2*x for u.
-2
Let r = 0 - -2. Let i be ((-5)/(-2))/(r/4). Solve -4*x = -2*x, -2*h - i*x = -4 for h.
2
Let d(t) = -3*t**2 + 5*t + 3*t**2 + 5 + t**2. Let r be d(-5). Solve -23 = -r*l + 4*s, -2*l + 4*s + 15 - 1 = 0 for l.
3
Suppose 0 = -10*m + 33 + 227. Solve 2*t - 4*p = 5*t + 7, 2*t - m = 5*p for t.
3
Let c be (8/5)/(-2 + (-24)/(-10)). Let q = -3 - -6. Solve 2*z - 4*w = 12, -c*z + q*w + 24 = 5 for z.
4
Let t(h) = 4 + 9*h + 0 - 4. Let b be t(2). Solve -b = -4*x + 2*f, -5*x + 4*f + 25 = -f for x.
4
Let m(g) = -g + 1. Suppose -3*i + 5 - 2 = 0. Let f be m(i). Suppose 5*y = w - 28, -4 + 27 = w - 4*y. Solve -q + w = 3*r + 4*q, 4*r + 5*q + 1 = f for r.
-4
Suppose 0 = y + 4, 5*b + 0*y + 1 = -4*y. Solve -2*o = 5*i + 18, -i - 3 = -b*o + 4 for i.
-4
Let x = -4 - -4. Suppose 0*p - 5*p + 10 = x. Suppose -i = -p*i. Solve i*t + 12 = 3*j + 2*t, -3*j = -5*t - 12 for j.
4
Let s be 7*(-3)/(-6)*2. Let g = s - 4. Let u(i) = -i**2 + 8*i - 4. Let d be u(7). Solve d*n + 0*n + 3 = 3*r, -g*n - 11 = -r for r.
-4
Let y = -15 + 25. Solve 0 = 3*z - 3*w, z + 5*w = -4*z - y for z.
-1
Suppose 0 = 3*k + 4 - 22. Let x = 73 + -70. Solve k*g - x*g + 8 = w, -2*g - 8 = -2*w for g.
-2
Suppose 2 = -4*p - 2. Let a(x) = x**3 + 5*x**2 + 5*x + 4. Let j be a(-3). Let y = j + p. Solve -2*h + 4*i - y = 0, i = 4*h - 2*i + 12 for h.
-3
Suppose 5*o = -q + 18, -6 = -5*o - 2*q + 5*q. Solve 3*t + 0*u - 15 = o*u, -5*u = t + 25 for t.
0
Let o(d) = -d**2 - 7*d + 3. Let v be o(-7). Suppose k = -0*k + v. Solve 2*s + 3*c - 4 = 18, -4*c = -k*s - 1 for s.
5
Let q be (4 - 7 - -3)/(-1). Solve 2*j + 10 = -5*c, q*c - 4*c = -3*j + 8 for j.
0
Let s(m) = -m + 23. Let k be s(20). Let l be 1 + 4 + -1 + 0. Solve 4*p + q = 15, -l = 5*p + k*q - 28 for p.
3
Let x be ((-32)/40)/(1/(-10)). Solve x = 5*g + 3*t, -3 = -4*t + t for g.
1
Let d(b) = -b**2 - 5*b - 4. Let y be d(-3). Solve -z = 4*j + 17, -5 - 1 = y*z + j for z.
-1
Let o = -70 - -75. Solve 4*d - 25 - 15 = o*h, -2*d = 5*h + 10 for h.
-4
Let w(r) = 8*r - 4. Let m be w(3). Suppose 2*s - m = -3*s. Suppose 2 = s*p + 2*u, -3*p - 17 = -7*p + 3*u. Solve 8 = -4*q + x, p*q - 4*x - 2 = 3*q for q.
-2
Suppose 4*b - 20 = 2*b. Let y be (12/b)/(22/55). Solve -w - 4 = 0, -y*x + 7*x + w + 8 = 0 for x.
-1
Let b = 6 - 1. Solve 0 = -4*w - 4*g + 3 + b, 12 = -2*w + 2*g for w.
-2
Let n = 19 + -14. Solve -s = -5*h + s, h - n*s = 23 for h.
-2
Let m be 6 - ((3 - 1) + 1). Solve -4*k + 24 = g + m*g, 2 = k - g for k.
4
Let l be 1/(-1) - (0 - 2). Suppose -k + 4 = l. Solve 5*p - 23 = a, 5*a + p + 14 = k for a.
-3
Suppose -9 = -4*y + y. Suppose -5*j + u = -28, -1 = -j - 2*u - 2. Solve 0*f = -4*f + j*r + y, 3*f - 4 = 2*r for f.
2
Let l = 1 - -3. Let p be (0/(0 - -1))/2. Solve p = l*z - 2*r + 14, 0*r + 4*r = 4 for z.
-3
Let u(i) = -3*i**3 - i - 2. Let o be u(-1). Solve -3*g + 2 = -g - 4*x, o*x - 19 = -3*g for g.
5
Let a(z) = -2*z**3 - 15*z**2 - 5*z + 21. Let i be a(-7). Solve -i = g + t - 3*t, -4*t + 16 = 0 for g.
1
Let l(x) = x**3 - 7*x**2 - x + 12. Let k be l(7). Solve -k*j = 2*r - 8, -2*j + 5*j - r = 7 for j.
2
Suppose 27 = 2*r + 17. Suppose -3 = -2*u - l + 6, 0 = -u - l + r. Solve -4*h = -u*v, 2*v = v + 4*h + 6 for v.
-2
Suppose -h = 4*h - 75. Solve -h = 3*d - 3*r, -5*d - 4*r + 15 = -r for d.
0
Suppose -5*w = 5*v, 0*v - 5*w = v - 12. Let r be ((-6)/v)/((-2)/(-7)). Let k = 13 + -9. Solve -k*m = -2*m + 4*g, -3*g - r = 5*m for m.
-2
Let f be (2/(-3))/(6/(-27)). Let u be f - -1 - (4 - 3). Solve -u*v - 22 = -2*q - 2, -4*v + 2*q = 24 for v.
-4
Let y(z) = -z**2 - 10*z - 9. Let j be y(-7). Suppose -5*h + j = -h. Solve 14 = -2*n + 4*u, -1 = 4*n + h*u + 16 for n.
-5
Let v(o) = -3*o**3 - 2*o**2 - 2*o - 1. Let w be v(-1). Solve 0 = -3*t + m + 11, 0 = w*t + 5*m - 7 + 28 for t.
2
Let r(l) = l**2 + 3. Suppose 6*u - u = 10. Let f be r(u). Solve -3*m = -15, 3*b + 4*m - 24 = f*b for b.
-1
Let p(d) = -d + 1. Let x be p(1). Suppose 2*l - 90 = -4*y, -2*l + 29 + 21 = 2*y. Solve -2*w = -2*n - y - x, 5*w - 25 = 0 for n.
-5
Let m = 10 - 6. Suppose 0 = -2*c - 3*q + 23, -c - q + 29 = m*q. Solve -c*d = -4*y - 6*d - 12, 18 = -2*y + 2*d for y.
-5
Let k(s) = s**2 - 15. Let n be k(5). Solve -3*v + 5*c + 25 = 0, 3*v + 2*c + n = v for v.
0
Let t(f) = 1. Let k(w) = -w + 6. Let n(a) = -k(a) + 6*t(a). Let i be n(4). Solve 0*h + h + i*p = -21, 3*h - 4*p = 1 for h.
-5
Suppose x - 10 - 7 = 0. Suppose 5*l - 8 - x = 0. Let p(s) = -s**3 + 5*s**2 - 3*s + 1. Let f be p(2). Solve c + 0*w = 2*w + l, c = -w - f for c.
-3
Let o = -9 + 36. Let l be -3*6/o*-3. Let v = -5 + 6. Solve w + 0*w - v = -g, 4*g = l*w - 26 for w.
5
Let j = -41 - -41. Solve z = -j*r + 2*r - 6, 2*r - 3*z - 14 = 0 for r.
1
Let m(k) = -k**3 - 4*k**2 + 5*k + 7. Let f be m(-5). Suppose 0 = f*q - 4*q. Solve 5*s = q, o + 2 = 5*s - s for o.
-2
Let s(r) = r**2 + r. Let i(o) = o**2 - 5*o + 1. Let g be i(4). Let h be s(g). Let y be h + -2 + 2 + -1. Solve y*x - 7 = -2*f, 0*x = -4*x + 3*f + 24 for x.
3
Suppose t = 2*t - 2. Suppose j = -4*b + 11, 0*j = -j + b + 6. Let r = -2 + j. Solve 0 = 2*o - 4*k - 14, 2*k + 23 = r*o - t*k for o.
3
Let z(p) = p**3 - 4*p**2 + 7*p - 4. Let y be z(3). Solve -4*k - y = -w - 3, -15 = -3*w - 5*k for w.
5
Let m = 44 - 40. Let s = 14 + -7. Solve x + m*k - 11 = 0, -s = 5*k - 17 for x.
3
Suppose -6 = -3*q, 5*q - 4*q = -t + 2. Solve t = 3*s + 4*m + 12, -4*s + 3*m + 5 = -4 for s.
0
Let p(i) = i**3 - 3*i**2 - 4*i + 2. Let d be p(4). Let y be (6/(-4))/(3/(-4)). Let a = d - y. Solve -2*o = 2*x + 4, -2*o + x + 0 - 1 = a for o.
-1
Let g = -25 + 27. Solve -2*w + 2 = 2*f, -3*f - g*f - 22 = -4*w for f.
-2
Suppose 0 = -j - 2 + 3. Suppose -t = j - 4. Suppose -19 = -l + 1. Solve -t*u = 2*u - 5*v - 25, -5*u = -4*v - l for u.
0
Suppose l = -2*l. Let i = l + 3. Suppose 4*p + x = 6*x + 18, 0 = -5*p + 3*x + 16. Solve -2*d - 3 = -q, 2*d = 3*q - p - i for d.
-1
Suppose -2*y + 5*f = -35, -4*f - f + 55 = 4*y. Solve 0 = u + i - 1, 0 = 2*u + u - 3*i + y for u.
-2
Let k be (-14)/3 - 4/12. Let t = 0 - k. Solve 5*d = -2*s + 4*s + 18, -3*d + 7 = -t*s for s.
1
Suppose t = 5*j + 25, 3*t + 0*t = -5*j - 5. Solve q = 4*p + 8, -5*p = t*q + 20 + 15 for q.
-4
Let z = -4 - -8. Solve z*j = 8, -3*u + j - 23 + 9 = 0 for u.
-4
Suppose 0 = -4*k + 29 - 17. Solve -k*t = 2*m + 9, -2*t + 5 = -4*m + 27 for m.
3
Suppose -2*z = 3*f + 13, 3*z + 5*f + 14 = -8. Let a be (16 - (0 + 1))*z. Solve -2*y - y + a = 3*g, 0 = 4*y + 3*g - 16 for y.
1
Let c = -15 - 0. Let a = c + 47. Suppose 0 = 5*o - 18 - a. Solve 4*u - 5 = -b, u + o = 2*b - 2*u for b.
5
Suppose 4*z - 2*z + 5*l + 16 = 0, -2*z - 12 = 3*l. Let y be (z - -3)*2/4. Solve 20 = -4*g, -4*g - 20 = 3*s - y*g for s.
0
Let l(q) = q**3 - 4*q**2 + 4*q - 3. Let v be l(2). Let f = -2 - v. Suppose f + 11 = 4*p. Solve 3*w - i - 4 = 0, -2 = -p*w + 2*i - 0*i for w.
2
Suppose 0*t = 5*t - 25. Let i = -8 - -4. Let n(z) = z + 9. Let u be n(i). Solve -u*j + 0*w + 6 = 3*w, -2*j + t*w - 10 = 0 for j.
0
Let f(z) = 3*z + 18. Let j be f(-5). Solve 4*a + 4*u = -8, 0 = 2*u + j*u - 5 for a.
-3
Let y(t) = -15 + 2*t + 6 + 0*t. Let m be y(6). Solve -2*d + m*d - 2*a = 2, -4*d + 5*a + 2 = 0 for d.
-2
Let x(v) = v**3 + 13*v**2 + 14*v + 29. Let f be x(-12). Solve c - f*c - 12 = -4*u, -3*u = 3*c - 9 for c.
0
Suppose 10*q = 6*q + 12. Solve -12 = -x + q*k + 7, 3*x + k = 7 for x.
4
Suppose -1 = 3*u - 7. Solve -3*l - 18 + 1 = u*s, 0 = 4*l + 20 for s.
-1
Let d = 5 + -3. Let p 