 = 3*j, w - 2 = -w - j for w.
0
Let n(g) = -g**2 - 5*g + 2. Let t(l) = -2*l + 7. Let s be t(6). Let i be n(s). Solve 16 = 4*a, 3*k - a - i*a + 21 = 0 for k.
-3
Suppose 13 = 4*a + 1. Solve a*p - 14 = -p - 2*x, -4*x = 4*p - 12 for p.
4
Let n = 7 + -2. Let q = n - 13. Let y be -2 - -1 - (-7 + q). Solve 0 = c + 2*l, -2*c = -c - 5*l + y for c.
-4
Let v be (-1)/14*-46 - 2/7. Solve 12 = -v*u - 3*c, -u - 3*u - 10 = c for u.
-2
Let a = -2 + 5. Suppose 0 = a*b - 5*b + 20. Solve -d - 17 = 2*t - 7, -2*t = b for d.
0
Let f be 46/3 - 2/6. Suppose -f - 15 = -2*w. Suppose 5*s + 3*g = 8*g + w, 5*s - g - 15 = 0. Solve -5*l = 4*h - 37, -2*h + 5 = s*h - 2*l for h.
3
Suppose -20 = 4*k - 5*k. Suppose -k = -0*n - 4*n. Solve r - 8 = n*w, -3*r - 23 + 7 = 5*w for w.
-2
Let a be 3*(10 - 0)/(-2). Let u be (15/4)/(a/(-40)). Suppose -5 - u = -5*f. Solve d = -3*h + 11, -2*d - 4*h + f = -11 for d.
-1
Let f = 6 - 8. Let i = 2 - f. Solve 3*u = 4*z - 32, 4*z - 28 = i*u - 2*u for u.
-4
Let u(s) = s**3 + 6*s**2. Let r be u(-5). Let b = -47 - -67. Suppose 0*m - j = -5*m + 4, 3*m = 5*j + b. Solve -3*c + m*g - 25 = 5*g, 0 = -c - 5*g - r for c.
0
Suppose g = -1 + 3. Let w(c) = -c**2 - 4*c - 3. Let p be w(-3). Solve p = g*y, 2*y + 6 = 5*h + 1 for h.
1
Let l be (4 - 3)*4*3. Solve 0*j - 19 = -j - 5*u, 4*u = l for j.
4
Suppose -15*h + h = -112. Solve 0 = 3*t - 0*t - m - h, 28 = 2*t + 5*m for t.
4
Let f be (-1 - -2 - -43) + 2. Suppose w + 5*h + 13 = 0, -3*w + h + h = -f. Suppose -v - w = -4*v. Solve v*u + 12 = q, 8*q - 2*u - 6 = 3*q for q.
0
Let d(z) = -2*z - 13. Let b(m) = 5*m + 27. Let q(h) = -3*b(h) - 7*d(h). Let v be q(4). Solve i + v = 2*u - 1, 4*i + 13 = 3*u for u.
3
Let r(t) = t**2 - t - 4. Suppose 5*x - 34 = -0*x + 3*j, -4*j - 12 = 0. Let y = x - 2. Let h be r(y). Solve -19 = -2*v + 3*u, h*u + 11 = v - 0 for v.
5
Suppose q = -q + 4*a + 10, 4*a = -5*q + 25. Solve 2*p + q*d = -11, 0 = -4*p - 0*d - d - 13 for p.
-3
Let u(j) = 3*j + 20. Let v be u(-6). Solve -5*w = v*r + 4 + 20, 4*w = -3*r - 22 for w.
-4
Let o be (-3 + 14/4)*-12. Let j = -4 - o. Solve -5*p + j*t - 12 = -2*t, -22 = 5*p + t for p.
-4
Let h be 2 - (-4 + 3) - 3/3. Let p = -3 - -6. Solve p*y = h*k, -3*y + 5 = -3*k - y for k.
-3
Suppose -8*d = 2*d - 40. Solve 2*o + r = d, 0 = -5*o - 4*r + 23 - 7 for o.
0
Let n be 4/(-10) + (-64)/(-10). Suppose -h = 2*m - 4, -3*m - 4*h = -0*m - n. Solve -2*d + 17 = -5*t, 4*d + 3 = -m*t + 1 for d.
1
Let o(c) = -15*c - 2. Let m be o(-2). Suppose -5*v = -m + 3. Solve 0 = -5*p - v*u - 41 + 1, -u = -5*p - 22 for p.
-5
Let a be 6/8 - ((-3)/12 + -1). Solve 5*q + 3*o + 11 = 5*o, 7 = -q + a*o for q.
-1
Let u be 78/4 + (-2)/(-4). Let b(r) = -r**3 + 5*r**2 + 6*r + 4. Let l be b(6). Suppose -w - 12 = -l*w. Solve -w*y + u = -2*s, -s + 14 = -4*s + 2*y for s.
-2
Suppose 4*w + 47 = o + 6*w, 0 = -4*o - 3*w + 213. Suppose -4*x = -x - o. Solve r = -3*y - 8, -1 = 2*y - 4*r - x for y.
-1
Let s be (-4)/(-2) - (2 - 2). Suppose 0 = s*p - 0*p - 6. Suppose -2*q = 2, p*q + 0 = r - 8. Solve -30 = v - 5*y, 4*v + 27 + 18 = r*y for v.
-5
Suppose -h + 1 = -3. Suppose 3*u = 8*u - 25. Solve 0*d = -5*d + b, -h*b = -u*d for d.
0
Let k(w) = -w + 11. Let h = 2 + 4. Let t be k(h). Suppose 0 = -7*r + 2*r + 15. Solve -t*v + 7*u = 3*u - 45, 0 = -4*v - r*u + 5 for v.
5
Let i = 19 + -17. Solve -5*t = -2*c - 15, -3*c + t = -i*c for c.
5
Suppose 0 = 2*y + 25 - 3. Let i = y - -36. Suppose 10 = 2*l, 2*v + 2*l + 6 - 20 = 0. Solve -o - v*o = -2*t + i, 3*o - 3*t = -30 for o.
-5
Suppose 16 = 4*i, 0 = -2*n - 4*i + 31 - 9. Solve -n*k = -u - 16, 5*k + 0 - 12 = -2*u for u.
-4
Let n be (-3 + 0 + 4)*1*3. Solve n = -3*b + 3*y - 3, -b - 5*y = 2 for b.
-2
Let q(k) = -3*k + 20. Let m be q(6). Solve 5*d + 5*a = 20, -m*d + 4*a + 5 = 27 for d.
-1
Let z be 1/(-3) - (-10)/3. Suppose 0 = n + z*n. Let o = 4 + 0. Solve 3*l = -3*b + b + 5, n = l + o*b + 15 for l.
5
Let j be ((-25)/10)/((-1)/4). Solve -j = w + 3*l, 0 = -2*w + 2*l - 6*l - 16 for w.
-4
Let m be ((-12)/15)/((-1)/(-5)). Let n = m - -6. Solve 0*w + n*q = w + 5, 4*w - 32 = -5*q for w.
3
Let s be (2/2)/1 - 1. Let d be -1 - (0 - (3 + s)). Suppose n - 6 = -d*n. Solve 0 = -5*q - 0*x - x + n, q + 4*x + 11 = 0 for q.
1
Let f be -1*(2 + 3)/(-1). Suppose 12 = f*p - 3. Suppose d + 4*u - 17 = 0, -8 + 24 = -4*d + 5*u. Solve v + v + p = -c, 5*c - 4*v + d = 0 for c.
-1
Let z = 30 + -10. Let v be 12/(-8)*z/(-6). Solve l = v*d + 20, -d = 1 + 4 for l.
-5
Let c be (-2 + (-1)/(-3))/((-4)/12). Solve -4*k = -3*y + 15, -5*y + 6 + 14 = -c*k for k.
-3
Let b = 137 - 137. Solve b*a = -4*j + 5*a - 19, 0 = -j - 2*a + 5 for j.
-1
Suppose 41*o - 32 = 37*o. Solve 3*g + 18 = -4*i, 3*g = 4*g + 2*i + o for g.
-2
Let m(s) = s**3 - 3*s**2 - s + 1. Let n be m(4). Let x = -13 + n. Solve x = -2*t + 4*q - 18, 5*q + 5 = -3*t - 0 for t.
-5
Let p(w) = -w**3 + 9*w**2 - 6*w - 7. Let h be p(8). Let n be (5 - h)*3/(-4). Solve 4*k + 34 = -j + 13, -4*k = n*j + 31 for j.
-5
Let r be (-6)/4 - (-15)/10. Solve r = 4*t + 2*o - 10, 2*o = -3*t + 5*o - 6 for t.
1
Let r be (-14)/(-35) - (-54)/(-10). Let n be r/(-10) - (-1)/(-2). Solve -3*m + n*x - 3*x + 6 = 0, 5*x = 2*m - 11 for m.
3
Let m(s) = s**3 + 4*s**2 + 3*s + 4. Let g be m(-3). Let o = -5 - -10. Suppose -o*t + 31 = 1. Solve -t*b = -g*y - b + 30, 0 = 3*y - b - 17 for y.
5
Suppose 0 = 4*y + 3*p + 60, -2*p - 12 = 2*y - 5*p. Let k be (6/(-4))/3*y. Solve 3*x + 5 = 2*n, -2*x - k = -5*n + 12 for x.
1
Let x be (-12)/(-5) - (-24)/40. Solve 6 = 2*w - 2*q + 6*q, 11 = -5*w + x*q for w.
-1
Let l be (1 + -1)*6/12. Let v be 0/(l + 1 - -1). Solve -5*h + 4 = -2*z, 2 = -v*z - z - 2*h for z.
-2
Let n = -8 + 10. Suppose f + n = y, y + f = -0*f - 2. Solve -c = -4*v - 4*c - 2, 5*v + 5*c = y for v.
-2
Let y(w) = -w**3 - 5*w**2 - 4*w. Let o be y(-4). Solve 5*i - 12 = -d, -2*d + 4*i + 0 - 4 = o for d.
2
Let g be (-2)/5 + 36/15. Suppose 4 = 2*s - f - g*f, -2 = f. Let k be s*(-2)/(-4)*-10. Solve -k*r = 2*p - 14, -r - 2*r - 3*p = -12 for r.
2
Let b(p) = p**3 + 9*p**2 - 8*p + 23. Let v be b(-10). Solve v*a + 11 = m, -5*m = -3*a - 22 - 9 for a.
-2
Let x(m) = m**3 + 12*m**2 - 13*m + 5. Let q be x(-13). Solve q*f = r + 1 - 22, 2*f + 10 = 0 for r.
-4
Let q(k) = -2*k**3 - 12*k**2 - 1. Let o(z) = z**3 + 11*z**2 + 1. Let s(y) = 3*o(y) + 2*q(y). Let m be s(9). Solve -3*c = 4*w - 5*w, -c = m for w.
-3
Suppose -4*y = -n + 14, -2*y - 3 = -3*n + 9. Suppose 0*c + 3*c - 12 = 0. Solve 5*o = c*u + 7, 0 = n*o - 4*u - 10 for o.
-1
Let k be (3 + -12)*1/(-3). Let n be (k - 21/6)*-8. Solve -n*u + 16 = -f, 3*f = -5*u + u for f.
-4
Let i(v) = -v**3 + 5*v**2 + 5*v + 5. Let x be i(6). Let n = x - -4. Solve n*d - 4*p = -0 - 17, 2*d + 5*p - 4 = 0 for d.
-3
Suppose 5*g + 5 + 10 = 0, -5*x + 17 = g. Let o = 147 + -143. Let i = 2 - -2. Solve -x = o*s + 5*f - 1, -6 = i*s + 2*f for s.
-2
Suppose -4*x + 20 = 4. Solve -g = -j + x*g + 20, -8 = 4*j + 2*g for j.
0
Let k = -1 - -6. Solve -2*z = -6, -w - 1 = -k*z + 11 for w.
3
Let k be (-5)/(-10) - 6/(-4). Suppose -4*v + k*v + 4 = w, v = 2*w - 28. Solve -4*s = w, 5 = h - 2*s + 3 for h.
-4
Let n(p) = p**3 + 7*p**2 - 9*p - 7. Let q be n(-8). Let m = q + 1. Solve 0 = -5*v - 2*k + 5, m*v - 4 = -k - 3 for v.
3
Let i(u) = -23*u**3 + u**2 + u + 1. Let g be i(-1). Suppose 5*j - g = 2*k, 4*j - 5*k = -0*k + 26. Solve 6 = 2*l + j*f - 12, -f + 3 = 0 for l.
3
Let p(r) = 6*r**3 - 2*r**2 + 1. Suppose 4*a - 4 = -0*x - 3*x, x = -4*a + 4. Let c be p(a). Solve -m - 4*n - 12 = 0, -2*m + c = -3*n - 4 for m.
0
Let j be -3*1/2*-2. Suppose -5*u + j*f + 9 = 0, u - 3*u = f - 8. Solve -w - 2*o - u = 0, 4*o + 1 = 3*w - 0*o for w.
-1
Let b(m) = -4*m**3. Let t be b(-1). Suppose -5*g + 18 = -2*g + 4*p, -t*g + p = -24. Solve -3*f - 8 - 2 = -i, -5*i + f = g for i.
-2
Suppose 24*n - 22*n = 10. Solve -18 = y + 4*g, y = -3*y - n*g - 28 for y.
-2
Suppose -2*d + 3*h = 3*d - 62, 2*d + h = 16. Let g be 6*(-12)/54*(-6)/4. Solve 0 = -g*y - 2*p + 6, -5*y + d - 3 = p for y.
1
Let q = -9 - -12. Let m = 7 - q. Solve 2*i - c = 6, -3*i - 4 = -2*i - m*c for i.
4
Let w(d) = 2*d**3 - 2*d - 1. Let z be w(2). Suppose 0 = b - 4, 1 + 1 = -2*v + 4*b. Let n = z - v. Solve -q - n*s = -20, 2*q + 5 = 3*s - 2*s for q.
0
Suppose 2*z - 5*z + 12 = 0. Let b be (12/(-8))/((-2)/z). Solve -4*v - b*l - 20 = -7*l, 10 = -2*v + 5*l for v.
-5
Suppose 5*p = 2*v - 27, 4*p - 3 = -3*v - 2