= -4*l + 19, 0*l = l - 5*r - 16 for l.
1
Suppose -4*m + 35 = 3. Let l = m + -6. Suppose l*v + 2*v = 20. Solve -2*s - s - 3 = 0, -v*w - 5*s + 20 = 0 for w.
5
Let g(i) = -i**3 - 7*i**2 + 4*i - 4. Let a be g(-8). Solve -4*n = 3*r + a, 5*n = -0*n - r - 24 for n.
-4
Let c(x) = -x**3 + 4*x**2 - 3*x + 2. Let k be c(3). Suppose k*b = 3*b. Solve s + s = 6, -l + s - 5 = b for l.
-2
Let y be 1*3/((-9)/6). Let c = 11 - 5. Let f = y + c. Solve -5*a - 5 = -6*q + q, -f = 4*a + 4*q for a.
-1
Suppose 3*l - 2 = 4. Let b be 2/(-4)*l - -3. Solve 2*w - 3*i = 0, 1 = -w - b*w + 5*i for w.
3
Suppose 3*s - 5*z - 100 = 0, -3*s + 20 + 35 = 4*z. Let x = s - 20. Solve 19 = -x*h - 2*r, 3*r = -2*h - h - 15 for h.
-3
Let o be (-2)/(-6)*(-12)/(-1). Suppose 0 = -3*n + 2*u + 6, 0 = -4*n + 5*u + 14 - 6. Solve p + 2 + 2 = -n*l, -o = -4*l + p for l.
0
Let c be (13 + -7)/(0 + 2). Solve 5*v + g - 3 = c*v, -3*v = -4*g - 21 for v.
3
Let s = -9 - -12. Suppose 2*l - y = -3*l + 19, -5*l - 5*y = 5. Solve 7 = 5*u - s*a - 1, 0 = -3*u - l*a + 24 for u.
4
Let l(o) = -2*o + 10. Let r be l(9). Let p be (r/(-6))/(3/9). Suppose 5*f = p*f + 5. Solve -f*s + 8 = -s + 4*x, -6 = -2*x for s.
-1
Let x be 0 + (3 - 2) + -3. Let b be (-3 - (-1 - x))*-1. Solve -b*a + 8 = 0, -5*a + 26 = 4*c - 0*c for c.
4
Suppose 5*p - 13 = -3. Let n(k) = -4*k + 3 - 5 + 2*k + 3. Let h be n(-1). Solve t - 9 = -h*t - j, p*t + 18 = 4*j for t.
1
Suppose 0*y + 5*y = 0. Let f be (1 + y)*(-4)/(-1). Solve i - 2 = 3*j - 3*i, -8 = -f*i for j.
2
Suppose -5*g + 3 = -12. Let t be 4/(-8) + 11/2. Solve -n - 6 = w, -t*w - 27 = 2*n - g for n.
-2
Let b be (10/(-8))/(4/(-16)). Let q = 10 - b. Solve 0 = -4*p + 8 + 8, -p + 9 = q*k for k.
1
Suppose 3*p = -5*y - 4 + 82, 50 = 3*y + 5*p. Solve -4*m = 20, 5*m - 4*m - y = 5*j for j.
-4
Suppose -5*f = 1 - 16. Solve 3*d - 15 - f = i, 5*i - d + 20 = 0 for i.
-3
Let f(y) = -y**3 - 6*y**2 - 6*y + 2. Let q be f(-5). Solve j = -v - q, -4*v + 19 = 3*j - 9*v for j.
-2
Let r(x) = -3*x - 3. Let v(h) = 3*h + 2. Let d(q) = 5*r(q) + 6*v(q). Let b be d(2). Solve 0 = 5*s - b*i - 26, -3*s + 0*i = -2*i - 16 for s.
4
Let h be 2 + (-2)/10*-5. Solve h*x = -5*a - 7, 0 = 4*x + 4*a + 12 for x.
-4
Let n(p) = -p**3 + p. Let h be n(-1). Suppose 2*t + h - 4 = 0. Solve v - t = -b, 0*v = v - b + 8 for v.
-3
Let s = 1 + -1. Suppose 16 = 5*g + 6. Let b be 356/18 + g/9. Solve -2*p + s*n - 2 = -2*n, -4*n - b = 4*p for p.
-3
Suppose 5*z = -a - 2*a + 19, -3*z = 2*a - 12. Suppose j + 0*v + 1 = -v, v = a*j - 9. Suppose 2 = g - 2. Solve -n = -2*n + j*w - 5, -n + 1 = g*w for n.
-3
Suppose -11*m + 2*m + 27 = 0. Solve i = -2*z + 4*z - 1, -1 = -m*z + 2*i for z.
1
Suppose 5*b + 4*u - 19 = 0, 3*u + 6 = 5*b - 6. Suppose b*m - 5*m = -6. Solve -2*k = -5*a + 3, -m*k - 8*a - 17 = -3*a for k.
-4
Suppose -5*r - 22 = -n, 4*n - 4*r = r + 13. Let b = n - -6. Solve 0 = 2*l - 5*m + 7, -6*l + 7 = -2*l - b*m for l.
4
Suppose 3*x - 29 = -3*l + 7*x, 4*x = -20. Solve 4 + 21 = b + 5*w, 0 = -l*b - 3*w + 27 for b.
5
Let y = 0 - -5. Suppose -y*i = -3*i. Solve -3*z + 3 = -i*z - 4*l, 5*l + 2 = 2*z for z.
1
Let g = 6 - 5. Let w be (-2 - -3)*19*g. Solve -n + w = -3*x + 2, -n + 4*x + 21 = 0 for n.
5
Suppose 0 = -4*j + 2*r - 164, r = -1 + 3. Let o = -25 - j. Let x be (-6)/o + (-6)/(-15). Solve 3*g - 5*m + 5 = x, g + g - 3*m + 3 = 0 for g.
0
Suppose 3 = -7*t + 66. Solve t = 3*x, -3*l + x = 4*x for l.
-3
Suppose -n - 8 = -2*l - 0, 2*n + 20 = 5*l. Let r = n + 4. Solve -h + c = h + 3, -c - 3 = r*h for h.
-1
Suppose 5 = 2*j - 11. Solve -3*m = 3*z + 3, 2*m - 26 = 2*z - j for z.
-5
Suppose 40 = 3*o - o. Let r = o + -15. Solve 2*i = -c - r, 3*c - 10 = -i - 5 for i.
-4
Suppose -5*x - 6 = -16. Solve -2*u - h + 4 = -3*h, x = -h for u.
0
Suppose 0 = 5*i + 5*f - 74 - 81, 5*i - 4*f - 200 = 0. Solve -5*a + 5*k = -1 + i, -2*a + k - 11 = 0 for a.
-4
Suppose -31 - 25 = -2*g. Let c = 4 - 2. Solve 5*r - g = 4*w, 0 = -0*r - r - c*w for r.
4
Let z(w) = 2*w**3 - 4*w**2 + 2*w + 1. Let n be z(2). Let m(h) = 19*h**3 + 1. Let o be m(1). Suppose -a + o = 4*a. Solve -2 = -c + 1, a*c - 37 = -n*l for l.
5
Let w(x) = x**2 + 11*x - 4. Let l be w(-12). Solve -2*z = p, -3*z + l*z = 4*p + 26 for z.
2
Let o = 21 - 16. Solve d + 10 = o*t, 0 = -d + 5*t - t - 7 for d.
5
Let y = -3 + 9. Let n = 10 - y. Suppose 5*z - 4*p - 32 = z, -3*p - 3 = n*z. Solve -t = 0, -z*o + 3*t + 4 = -8 for o.
4
Suppose 4*n + b - 17 = 0, -b = 2*n - 5*b - 4. Suppose -15 = -n*c - 3*f, 3*c = 4*c - 3*f. Solve c*k - 4*o = -0*k - 7, 18 = 2*k + 3*o for k.
3
Let b = 19 + -7. Let a be (-6)/(-4)*8/b. Let k be 3*(3 + (-2)/a). Solve 7*m - k*m - 20 = -5*s, -5*m = -s - 25 for m.
5
Let x(p) = -4*p + 3. Let g(u) = -9*u + 6. Let b(t) = -3*g(t) + 7*x(t). Let d be b(0). Solve -3*f = -d*z + 27, 2*f - z + 24 = -2*f for f.
-5
Suppose -3*i + 4 = -u, 0 = i - u - 3*u + 6. Let a = 7 + 0. Let o = a - i. Solve -2*h - 4 = 0, p - o*h + 8 = 19 for p.
1
Let x be 1/1 + 1 + 1. Let a be (-4 + 1)/((-9)/12). Solve -3*g = 9, x*c + 2*c - 27 = a*g for c.
3
Suppose 4 = 4*t - 4. Let z be 3/t*(-20)/(-6). Solve d - 13 = -z*p - 3, 0 = 5*p + 2*d - 10 for p.
2
Suppose -2*p = 3 - 5. Let z = -9 + 7. Let f = z + 5. Solve 2*w + f + p = u, -3*w = -3*u for u.
-4
Let d = -7 + 7. Solve d = -2*o + 4*o, 4*x - 4*o - 20 = 0 for x.
5
Let c = -62 - -62. Solve -3*w = -h + 7, -w = -c*h - h + 1 for h.
-2
Let g(i) = -5*i + 38. Let h be g(7). Solve 5*r = -3*p + 10, 3*r + 0*p + h*p = 12 for r.
-1
Let p = -16 - -18. Solve -4*i + 3 = j, -p*j - 2 = -8 for i.
0
Suppose -3*l - 12 = -30. Solve l = 4*k + 3*z, k - 3*z = -1 + 10 for k.
3
Let a be (2 - (5 + -1)) + 8 + -2. Solve 0 = -4*f - 2*h - 14, -f + a*h - 20 = -h for f.
-5
Suppose -4*g + 24 = 3*q, -7 - 3 = -4*q + 2*g. Solve -2*y + 4*p - 2 = 0, -2*y + 2*p - q = -p for y.
-5
Let k = 3 + -2. Solve -h + 2 = 4*x, h + h = -3*x - k for h.
-2
Let u(p) = -p - 4. Let b(m) = -7*m**2 - m + 1. Let z be b(1). Let s be u(z). Solve 0 = 4*r + 5*l + 17, 5*r - s*l = 27 - 2 for r.
2
Let d(p) = -12*p + 13*p - 5 - 3. Let k be d(14). Solve k = 2*w + 3*y, -3*w + 5*y + 13 = 4 for w.
3
Let h be ((-2)/3)/((-2)/(-18)). Suppose -2*w - 9 = 5. Let d = h - w. Solve a - d = g + 4*g, -2*g - 6 = a for g.
-1
Let l be (((-9)/3)/(-3) - 20)/(-1). Solve -q = 4*f - l, 2*f = -3*q - 0*f + 17 for q.
3
Let c(h) = h - 8. Let y(k) = k - 7. Let a(p) = -5*c(p) + 6*y(p). Let s be a(7). Solve 4*m + 8 + 2 = -2*x, s*x = -5*m - 15 for m.
-2
Let n = 14 - 10. Suppose -3*k - 4 - 13 = -n*z, 4*k - 5*z = -21. Suppose -5 = -4*d - k. Solve -6*f + 3*f + 37 = 5*b, 4*f - 3*b = d for f.
4
Let w = -8 - -12. Solve -2*m + 14 = -3*h - w*m, 2*m = 2*h + 6 for h.
-4
Suppose 4*w + 0*w = 0. Solve 3*s + 3*j - 15 = -3, w = 4*s - 3*j + 12 for s.
0
Let z be -1*((-2 - 1) + 2). Solve 0 = -i - 5*r + z, 3*i + r = -0*i + 3 for i.
1
Suppose 2*c - 3*j - 15 = -0*c, 3*c - 2*j - 15 = 0. Solve d = -5*s + 2, 0 = d + c*d - 4*s - 8 for d.
2
Let d be (-4)/12 + (-16)/(-3). Suppose 3*s + 3 = -5*p + 2, -d*p + 11 = -3*s. Suppose -2*q + 9 = p. Solve 0 = -z + y - 6, -q = -4*y + 4 for z.
-4
Suppose -4*s - s = y - 10, 8 = s - y. Let n = s - 1. Solve -2*b - 3 = -4*w + 11, -n*b + 18 = 4*w for b.
1
Suppose 15 = 4*k + 3. Suppose -c = 5*n - 30, c - k = -8. Let l(t) = -t**2 + 9*t - 3. Let g be l(n). Solve 4*s = 2*y + 16, -3*s + g = 2*s + 2*y for s.
3
Let s(x) = -x**3 - 6*x**2 + 3*x - 9. Let l be s(-7). Suppose -2*u + 43 = -p, 3*u = 5*p - 31 + 106. Solve 0 = -3*q - q + u, -k - 4*q = -l for k.
-1
Let q(p) = -p**2 + 6*p - 2. Let f = 18 + -13. Let h be q(f). Solve -h*c + 30 = -c + 4*d, -5*c + 3*d = -10 for c.
5
Let j be 0 + (1 - 0)*0. Solve 12 = -3*h - 4*n, j = 4*h - 4*n + 6*n + 16 for h.
-4
Suppose v + 7 = 4. Let o be (-31)/(-6) + v/18. Solve -5*m = a - 2, m - 5*m + 10 = o*a for a.
2
Let w be 51/12 + 3/(-12). Solve 2*z + 3*z + 2 = y, y = w*z + 1 for y.
-3
Suppose 3*y - 6 = 0, -4 = 2*m - 4*m + 3*y. Solve 3*i - 2*i + 13 = -5*x, 5*i = 5*x - m for i.
-3
Let n be 1 - (1 + (1 - 3)). Solve u = -n*c + 10, 14 = 2*c + 3*u - 0*u for c.
4
Let c = 16 + -13. Solve 0 = c*a - 3*w, 4*a = -2*w + 3*w - 15 for a.
-5
Suppose -2*s - 2*x + 12 = 3*x, -10 = -4*s - 3*x. Solve -3*y - 18 = -4*t + 5, s = t + 4*y for t.
5
Suppose 0 = 4*z + 5*p - 16, -p = 4*p. Let n(m) = -m**3 - 4*m**2 - 2*m + 2. Let f be n(-3). Let j = z - f. Solve 3 = 3*k - 4*x, 4*k - 2*x + j*x + 21 = 0 for k.
-3
Suppose -3