 for j.
3
Let u(l) = 2*l - 24 + 14 - l**2 - 16*l. Let z be u(-13). Solve -22 - 9 = z*d - 5*k, 0 = -d + 2*k - 12 for d.
-2
Suppose 3*o - 5*s + 25 = 8*o, -25 = -5*o - 3*s. Solve -3*r + v = o*v - 3, -3*r - 24 = -5*v for r.
-3
Let v be (0 - -3) + (9 - 8). Solve 5*h = -v*l - 32, 2*l + 4*h + 26 = -h for l.
-3
Suppose 0 = -b + 1 + 1. Suppose 15 = b*r + 3*r. Solve r*i - 4 = 4*s, 4*s - 5*s - 2*i - 12 = 0 for s.
-4
Suppose 5*i + 3*r = -0*r + 11, -2*i - 5*r - 7 = 0. Let u = 4 - i. Suppose u = 4*z + 6 - 18. Solve 2*n - 10 = -z*n - 3*w, 3*n - w - 20 = 0 for n.
5
Let c be 3*3*(-6)/(-27). Solve -14 = -q + 3*d, 3*q - c*q + 2 = -d for q.
2
Let k = 8 - 6. Solve 0*x + 3 = x + 2*b, 0 = 3*x - k*b + 23 for x.
-5
Let o(m) = 5*m. Let b be o(2). Let p = b + -10. Solve -3*n = 3*z - 5*z + 1, -n + 2*z - 7 = p for n.
3
Let y be (1*(-2 - 1))/(-1). Suppose b = -0*b + 2, 3*u - y*b = 0. Solve -u*p - 5*t + 2 = 0, -4*t = 2*p - 0*t for p.
-4
Let a be 4/6 + 944/24. Suppose -c - 3*c = -a. Solve -k = -2*t - 9, -5*k + t - 1 = -c*k for k.
1
Let s(a) = a**2 + 3*a - 6. Let d be s(-5). Solve -d*c + 20 = -4*y, 3*y + 0*c + 2*c = -5 for y.
-3
Let m = 10 - 8. Suppose 0 = i - 0 - m. Solve -31 = -4*u - 4*z - 7, -4*z + 14 = i*u for u.
5
Let s(i) = -1 - 14*i + 9*i + 8*i. Let k be s(1). Solve -x - 2*c + c + k = 0, 2*c = 0 for x.
2
Let m = 2 + -12. Let r be ((-8)/(-10))/((-4)/m). Let w(f) = -f**3 - 2*f**2 - 4*f - 3. Let a be w(-2). Solve -u - 11 = r*u - a*n, -u = 5*n - 23 for u.
3
Suppose -2 = -4*q + 6. Let w be 3/(-2)*(-8)/3. Suppose -25 = -w*c - c. Solve 5*g + q*m - m - 19 = 0, -27 = -c*g - 3*m for g.
3
Suppose 5*m + 0 = -10. Let t = m + 6. Solve -2*u + t = -v + 2, -5 = 2*v - 5*u for v.
0
Let z be (-7)/5 - -1 - (-2)/5. Solve z = -3*c + 3*p + 6, -3*c - 2 = 2*c - p for c.
-1
Suppose 4*o + 14 = 46. Suppose 0*v - 4*v + 4*t + 8 = 0, -2*t + o = 0. Let p be 2*9/v + 0. Solve 2*y - 5*q = -4, -2*y + p*y + 2 = q for y.
-2
Let x(m) = -2*m - 8. Let n be x(-7). Suppose -2*j = z, z + 24 = n*z - 2*j. Solve z*a + 4 = 3*t, 3*a + 2 + 1 = -2*t for a.
-1
Suppose 0 = -2*g + 9 + 1, 2*x - g = -17. Let d be (16/x)/(2/(-3)). Solve -d*t - 5 = -3*w + 10, -5*t = 15 for w.
1
Let a be -2*1/10 + 104/20. Solve 0 = -a*z + 2*t + 1, 4*z - 3*t = -5*t + 8 for z.
1
Let p be -3 + (3 + -8)/(-1). Suppose 0*i = p*i - 2. Let v = i + -1. Solve 3*o + v*k = 2*k - 14, 0 = -5*o - k - 19 for o.
-4
Let t(z) = z + 2. Let f be t(-3). Let s(i) = 6*i**2 + i + 1. Let o be s(f). Solve 5*d = -5*r + 30, -r - o*d = -d - 10 for r.
5
Let n(l) = -l**3 - 7*l**2 - 6*l + 6. Let s be n(-6). Let v be (-1)/((s/10)/(-3)). Solve 3*x + 8 = 4*z - 14, 10 = -v*x for z.
4
Let r(o) = -4*o - 13. Suppose -2*g = 3*g + 50. Let l be r(g). Solve -5*p + 4*a = -37, 0 = 3*p - 0*a - 4*a - l for p.
5
Suppose -5*l + v = -25, 2*v + 3 = 2*l + 3*v. Solve 0 = -0*o + o - 4*x - 9, -2*o - 6 = l*x for o.
1
Let i be (-3 - -9)/(-1 + -1). Let b be (-4 - -3)*3/i. Solve -5*l + 5 = -5*j, 2*l - 5 - b = 4*j for j.
-2
Let h be -2 + -1 - -2 - -3. Let l = 2 + h. Suppose -3*o - 2*o = 0. Solve 3*c - l*z - 4 = 3, o = -2*c - 3*z - 1 for c.
1
Suppose 2*l + 3*l + 22 = 4*f, f = -3*l - 3. Suppose 0 = c + f*c - 16. Solve -c*i + 16 = -2*u, 20 = 2*i - 6*u + 2*u for i.
2
Suppose -3*n = 2*b - 0*n - 5, 4*b + 2*n - 14 = 0. Solve -3*v + 8 = -j, 5*v + b = -4*j + 6 for v.
2
Suppose 5*s - 13 = -3. Suppose 4*d = p - 4*p + 32, s*d + 6 = 4*p. Suppose 5*u - d = n - 3*n, u = 2*n + 1. Solve -y - 1 = 2*y + 4*g, y + 4*g + 3 = n for y.
1
Let l(h) = h - 2 - h**2 - 2 - 7*h. Let b be l(-5). Solve -v = m - b + 2, 5*v + 10 = 0 for m.
1
Suppose -2*c + 0*o = 3*o - 17, -4*o - 8 = -5*c. Solve -r - c = -4*j, 3*j = -2*r + 4 - 1 for r.
0
Let u = 2 - -4. Let a(b) = 9*b + 2*b**2 - 7*b + 5*b - 1. Let c be a(-6). Solve 4*y + c = -5*o, u = -0*y - y - o for y.
-1
Suppose p - 3*j = 5*p + 8, j = p + 2. Let v = 2 + p. Solve n + v*n + 9 = 4*b, 3*n = 3*b for b.
3
Let q be (2 + 1)*(-6)/18. Let g = q + 3. Solve -z - 20 = -5*i, 35 = -3*z + 8*z + g*i for z.
5
Let x(d) = d**3 - 4*d**2 + 2*d - 1. Let h be x(3). Let k be h - 28/(-12)*3. Solve -5 = -m + 2*t, -k*t = -3*m - 6*t + 6 for m.
3
Suppose -3*p = -h - 0*p - 3, -h - 2*p + 7 = 0. Solve 4*x - 7*z = -h*z - 8, 0 = -2*x + 5*z - 19 for x.
3
Suppose -6 = -j - 3. Suppose -4*v + 5 = -j. Let l be (-7 + 7)/(1/1). Solve 3 = u + 2*g - l*g, 3*u = v*g - 15 for u.
-3
Let b(l) = -l**3 + 3*l**2 + 7*l - 6. Suppose -t + 20 = 4*t. Let q be b(t). Solve -g + 0*g + q = -a, -4*a + g - 9 = 0 for a.
-1
Suppose 1 = 3*c - 2, -19 = -2*g - 5*c. Let s = 2 - g. Let n be (-20)/s - (-4)/(-2). Solve -l + n = -3, 4*l - 26 = 3*u for u.
-2
Let c be (-50)/(-6) - 4/(-6). Suppose -h - 2*o + 7 = 0, -h + 4*o = -0*h + 5. Suppose -3 = h*g - c. Solve d = v + 2, g*d - 6 = -3*d + 4*v for d.
-2
Let u(i) = -4 + 2 + i**3 + 3*i**2 + 2*i + 3. Let j be u(-1). Suppose -j = p - 3. Solve -2*a - o = 7, p*a + 3*o = -3 - 2 for a.
-4
Let b be (-2)/((-4)/30)*1. Let i = b - 6. Suppose 65 = 5*f + 5*j, -11 - 1 = 4*j. Solve 4*h + 3 = -4*u - i, 4*u + 2*h + f = 0 for u.
-5
Let v(q) = -q**2 - 11*q - 2. Let c be v(-10). Suppose -4*u - c = -2*r + 4, -u - 1 = 0. Let m = 6 + -4. Solve -3*o = -m*z + 6*z - 25, 16 = z + r*o for z.
4
Let h(q) = q + 5. Let d be h(0). Suppose d*j + 5 - 25 = 0. Solve -4*g + 9 = -4*v - 3, 2*v = -j*g for v.
-2
Suppose -q + 63 = 2*q + 3*x, 4*q - 68 = 4*x. Solve 2*b = w + 7, -4*b - q = 4*w - 3 for b.
1
Let f be (-14 - -13)*(-3)/1. Let h be 3*3/(-4)*4. Let l be (4/f)/((-3)/h). Solve -4*a = 3*m - l*m + 17, -3*a = -5*m for m.
-3
Suppose 0 = -0*b - 2*b + 4. Solve -4*j = 4*c - 16, 2*c = -b*j - c + 12 for j.
0
Let i be (-73)/(-7) + 15/(-35). Solve p + 9 - 2 = 4*r, 5*r + 5*p = -i for r.
1
Suppose -h + 0*h = -2. Solve i - h*y = 8, 4*i + 4*y = -11 - 17 for i.
-2
Let x be (-1)/((-9)/(-30)*1/(-3)). Solve -3*i = 2*b + x, 0*i + 4*i = -2*b - 14 for b.
1
Let l(r) = r**2 - r - 1. Let n be l(5). Solve 4*x - 3*g = g + 16, -g = -4*x + n for x.
5
Suppose 8*k = k + 28. Let q(x) = 2*x**3 - 4*x**2 + 2*x. Let m be q(2). Solve k*j - 17 = -s, 4*s - 13 = -m*j + 7 for s.
1
Suppose j - 3 = 4*j. Let s be (-4 + 3)/(j*1). Let y be (-5 + 5)/(-1*s). Solve g = h + 1 - 3, -2*h + g + 3 = y for h.
1
Let f = -176 + 180. Solve -4*a - y = 1 + 1, f*a + 4*y - 4 = 0 for a.
-1
Suppose 12 = -2*b - 4*r + 2*r, -5*r = 3*b + 20. Let p = b - -10. Solve -s = -p*v - 15, 5*s + 0*v + 29 = -v for s.
-5
Let k(m) = -m**2 + 6*m + 4. Let l be k(5). Let j be l/(-2*1/(-4)). Solve 0 = -4*g + 12, -2*g + 0 + j = -3*f for f.
-4
Suppose 4*a + 0*a = 8. Suppose i = -i - 3*m + 3, -a = -2*i - 2*m. Solve -3*t - 2 = -p - i*p, -5*p = t - 10 for p.
2
Let p(s) = -s**3 + 6*s**2 - 3*s - 4. Let u be p(5). Let n = 8 - u. Solve n*h = -0*h + 4*f - 20, 2*f = -3*h + 2 for h.
-2
Suppose -h + 4*r + 14 = 0, -3*h - 5*r = -4*r - 16. Let l = 9 - h. Let q(d) = -d + 10. Let v be q(7). Solve 10 = 5*z + v*a, z - 30 = -2*z + l*a for z.
5
Let f = 3 - 17. Let b = 14 + f. Solve b = -2*d + 2*w - 0*w + 14, -4*w = 2*d - 2 for d.
5
Let s be 26/(-10) - 2/5. Let j = s - -6. Let t be -3 - ((-1 - -3) + -8). Solve 2*l = -3*b + 5, -j*b = -b - t*l - 25 for b.
5
Suppose -3*l + f + 13 + 2 = 0, 5*l - 25 = -5*f. Solve -5*s = 4*d - 4 + 17, s - 9 = l*d for d.
-2
Let r(g) = g**2 + 2*g + 3. Let t be r(-3). Let h = t - 3. Solve -h*d = 3*p - 3, -1 = -p - d - 4*d for p.
1
Let s = 42 - 38. Solve -4 = 5*o + s*k + 4, -4*o - 3*k = 6 for o.
0
Suppose 4*k - 52 = 24. Suppose -3*j + 17 - 5 = 0. Suppose -5*m = 15, -4*z - 3*m = -k - j. Solve 2*t + 0 = -5*n - 2, -t + 2*n = -z for t.
4
Suppose -10 = -2*t + n, -5*n = 3*t - n - 15. Solve -5*j + 8 = -3*p, -2*j - 4 = -t*p + 8 for p.
4
Suppose -4*b = -4, -1 = -o - 2*b + 6. Solve 8 = -2*f + 2*k + 2*k, 11 = -2*f + o*k for f.
2
Let z(r) = 6*r - 4. Let t be z(4). Suppose 5*f = -3*w + t, -5*w + 0*w - 8 = -2*f. Solve w = -k - 4*h - 0 - 8, -10 = -4*k + 5*h for k.
0
Let d(x) = 4*x**2 - 1. Let a(l) = -l - 4. Let o be a(-3). Let n be d(o). Solve 3*w - 4*p = 1 + 11, -3*w + n = -p for w.
0
Let u(s) = -s**3 + 5*s**2 + s - 2. Let y be u(5). Suppose y*z - 8 = -2*r, 3*z + 2 = -4. Solve -3*d = -p - r, -p - 4*d = -2*d - 3 for p.
-1
Let t = -7 + 5. Let q be t*(-2)/(-4)*-5. Suppose -5*f + 3*f = -4. Solve 1 = -q*s - n, -s + f*n = -n - 3 for s.
0
Suppose 37 = 10*i + 7. Solve 0 = 2*p - 5*y + 18, 4 = -i*p + p - 2*y for p.
-4
Suppose 0 = s + 2*s + 5*b - 15