se -1 = 4*t - j*p - 8, 0 = t + 4*p + 3. Solve f - 4*n - 14 = 3*f, 0 = 5*f + n - t for f.
1
Suppose l - 2 = 1. Let g = 15 - 11. Suppose l + 9 = g*w. Solve 5*y + 0*r = r + 3, w*y = 2*r - 1 for y.
1
Suppose n = 3*n. Solve n = -4*r - 3*c + 7, 12 = -2*c - 2*c for r.
4
Let k = -2 + 2. Suppose u + 11 = 5*j, k*u = 2*j + 4*u. Solve -2*t - j*c = -t + 1, 3*t - 1 = -2*c for t.
1
Let y(i) = 2*i. Let f be y(2). Let p = 6 - f. Suppose 0 = -3*c + 5*x + 26, -20 = -p*x + 7*x. Solve -16 = -2*a + c*t, -2*a - 3*a + 19 = 2*t for a.
5
Let i(f) = -f + 1. Let j be i(-4). Let w be (-1 - 19) + (-1 - 0). Let p be w/(-12) - (-2)/8. Solve 3*k + t + 1 = -0*k, 0 = -j*k - p*t - 2 for k.
0
Let m be 16/6*3/(-2). Let i(y) = y. Let v(c) = -1. Let a(l) = -i(l) + v(l). Let g be a(m). Solve 0 = -4*o + 16, 0 = -g*f - 3*o - 2 + 5 for f.
-3
Let y = -1 + 1. Let r(l) = -l**2 + 6*l - 4. Let q be r(8). Let s be (q/(-6))/(3/9). Solve -s = -o - y*o + 3*p, -p = 4*o + 25 for o.
-5
Let h(l) = -l**3 - l**2 + 2*l + 2. Let b be h(-2). Suppose b*z = 4 + 4. Let a = -1 + z. Solve -4*r - 9 = 5*x + a, r + 3 = -x for r.
-3
Let o be (-1 - (-10)/2)/1. Let w be (12/(-4))/(-3) - -2. Suppose -6*d + 19 + 11 = 0. Solve -w*l + 3*y + 8 = -d*l, 2*y = l + o for l.
-4
Suppose -22 = -3*d + 2*n, -n - 17 = d - 4*d. Solve -3*w - o = -2, 0 = 5*w - 2*w + d*o - 8 for w.
0
Let r = -53 - -74. Suppose -i + r = 5*p, i = -2*i - p + 7. Solve -i = -5*x + s + 2, -x + 3 = -s for x.
0
Suppose 2 = -5*a + 17. Solve -40 = -5*m - 0*m + 3*f, -a*m - f + 10 = 0 for m.
5
Let d(w) = 5*w**2 + 2*w + 1. Let y be d(2). Solve -a + 4*a = 2*q + y, -a + 5 = 0 for q.
-5
Suppose -3*h + 13 = 2*h + 3*u, 0 = -h - 2*u + 4. Let m(c) = c**3 - c**2 + 2*c - 3. Let t be m(h). Solve -t*y = 2*v + 4, 0*y + 4*y + 20 = 4*v for v.
3
Suppose -3*l = -3*i - 2 - 4, 4*l - 26 = -2*i. Let h(s) = s**3 - 4*s**2 + 5*s - 3. Let j be h(i). Solve 0 = -2*r + k + 13, -29 = -5*r + r + j*k for r.
5
Suppose -5*i = -4*d + 21, -11 = -4*d - 4*i - i. Solve d*p = -4*y - 20, -2*y = -3*y - 4 for p.
-1
Suppose 40 = -4*l - 8. Let n = l - -14. Solve -3*z - n*q + 3*q = 18, 5*q = 15 for z.
-5
Let w(k) = -k**2 - 5*k + 5. Let l be w(-6). Let r = -2 + 1. Let c be (-3 + l + -4)*r. Solve -n - 6 = 4*u, 3*n + c = -3*u + u for n.
-2
Suppose -2*c - c = -0*c. Solve o + 0*s + 5 = s, -5*s + 25 = c for o.
0
Let i(v) = v**2 + v + 1. Let q be i(2). Let g be (-6)/(q/(-2) + 2). Suppose -2*l + 0*l + 8 = 0. Solve -g*y - y + l*b + 35 = 0, 4*y - 5*b - 37 = 0 for y.
3
Suppose 8*p - 51 + 3 = 0. Solve -5*q = -5*a + 5, 3*q + 19 = -p*a + a for a.
-2
Suppose 2*z + 4*y - 3*y + 7 = 0, 8 = -z + y. Let j = 11 + z. Let k = j - 4. Solve k*m - 4*o - 2 = 0, 4*m + o = -m - 6 for m.
-1
Suppose 3*a + 20 = 7*a. Suppose -5*u + 145 = 2*l, -5*l + 2*l = -15. Suppose -u - 3 = -a*m. Solve -4*k - 2*f = -m, 3*f + 18 = 5*k + 2*f for k.
3
Let q = 9 + -15. Let g(s) = -s**3 - 7*s**2 - 8*s - 1. Let c be g(q). Let n = c - 6. Solve 0 = 3*t - t + 8, 0 = n*j + t + 9 for j.
-1
Let d be (-2)/3 - 14/(-3). Let b(h) = h**2 + 3*h - 1. Let m be b(2). Let v be -3 - (-7 - ((-8)/4 - -3)). Solve d*c - 29 = v*g, -c - m = g + g for g.
-5
Suppose -2*n = 2*n - 24. Solve -q - 5 = -d - n, 11 = -4*q - d for q.
-2
Suppose 0 = 4*b - 4. Let k = -1 + b. Suppose 0 = 2*a - 0*a + 6, -3*o - 2*a + 15 = k. Solve -3*i + o = -4*s, 2*s + 7 = -4*i - 13 for s.
-4
Suppose -4*j + 2 = -6. Let l be (10/3)/(j/3). Solve -5*g + 3*g + 4 = l*a, -2*g = -2*a - 4 for a.
0
Suppose -c = -3*r - 4*c + 9, 5*r - 13 = -4*c. Suppose r - 13 = -4*w. Solve 2*q + 8 - w = -v, 15 = -5*q - 5*v for q.
-2
Suppose -5*v + 33 + 22 = -4*w, 5*v + 3*w = 20. Let s be 3 + (0 - 1) - 0. Let q be (-2)/16*-2 + (-595)/(-68). Solve -3*d + q = s*t, -3*d + v = -2 for t.
0
Let w = 56 - 52. Solve 4*h - 1 - 3 = 2*d, -w*h + 3*d = -8 for h.
-1
Suppose -40 + 31 = -3*o. Solve 5*p + 7*z - o*z + 18 = 0, -5*z = 10 for p.
-2
Suppose l - 5*l = -2*h - 16, l - 3*h - 4 = 0. Solve 0*t + 2*t + 4 = -2*o, -l*t - o + 4 = 0 for t.
2
Let y be 4/(-18) + 20/9. Suppose -y*i = -1 - 5. Suppose 0 = 3*b - 4*k - 3, 8*k = i*k. Solve -2*f - 2*a = 18, a = -3*f - b - 18 for f.
-5
Let i(y) = 2*y - 2. Let h be i(2). Suppose -h = -x + 1. Let o be (-1)/((-3)/(-6)) - -4. Solve -3*k + g = o, -4*g = 7*k - x*k + 24 for k.
-2
Let x(q) = -q - 3*q**2 - 3*q + q**3 + 0*q**2 - 8 - 2*q**2. Let c be x(6). Suppose c = 3*h - 11. Solve -5*g = -h*l + 5, -3*g - 6*l - 11 = -l for g.
-2
Suppose -2*n - q + 13 = 0, 3*n - 24 = -3*q - 0*q. Solve -n*s = 4*z - 9, z - 1 = -s + 1 for z.
1
Let r be (5 - 2/(-1)) + 2. Let m be (0*(-3)/r)/(-2). Solve 4*n + g - 24 = m, 0 = n + g - 7 - 2 for n.
5
Let m be ((-2)/(-5) + 0)*-5. Let k(v) = -v. Let o(i) = -2*i. Let j(u) = 2*k(u) + o(u). Let n be j(m). Solve 4*x + 11 = q, 0 = -n*q + 3*q + 4*x + 7 for q.
-1
Suppose y = 5*j + 26, -y = j - 1 + 5. Solve 13 = -4*w - 3*x + y, 4*w = 4*x - 12 for w.
-3
Let w be 4 + (1*-65)/5. Let l(s) = -s**2 - 6*s - 6. Let n be l(-6). Let v = n - w. Solve -13 = k + v*h, 0 = -0*k - k - 4*h - 18 for k.
2
Let a(c) = c**3 + 3*c**2 + c - 3. Let p be a(-3). Let k = p + 9. Solve 4*d - 2*y - k*y = 15, -5*d + 24 = -y for d.
5
Let l = 0 - -3. Let i be 0/(((-6)/l)/2). Solve u + 4*q = -25 - 0, u + q + 10 = i for u.
-5
Let w = 3 - 0. Suppose -w*t - 4*v - 3 = 0, 0 = -t + v - 2*v. Suppose -4*r - 31 = d - 2*d, 0 = 5*d - r - 136. Solve b - t*o = 3 + 3, -4*b - d = 5*o for b.
-3
Let x = 25 + -6. Let g = x - 17. Solve 0 = 2*o + 3*r - 0*r + 11, -o - g*r - 6 = 0 for o.
-4
Let p(i) = 3*i + 1. Let x be p(1). Solve 5*q + 24 = x*f, 18 = -f - f - 5*q for f.
1
Suppose -3*b - 3*n = -6, 0 = 3*b - 5*b - 4*n - 2. Solve -4*a = 3*q - 2*q + 7, 4*a = -b*q - 3 for a.
-2
Let h(p) = -p**3 - 7*p**2 - 6*p - 3. Let s be h(-6). Let n be (-24)/8 - (s + -1). Solve 3*b + 4*d - n = 12, b - 1 = 2*d for b.
3
Let b = -4 + 8. Suppose -4*g = -2*g - b*y + 4, -3*y = -2*g - 2. Suppose 0 = t + g - 4. Solve 0 = a - k - t, 0 = -2*a - a + k + 2 for a.
0
Let d(j) = -2*j**2 - 14*j - 9. Let x be d(-6). Solve 0 = 5*k + 2*h - 4, -x*h = -k + 3*k + 5 for k.
2
Suppose -4*m - 2 = -18. Solve -n + 2 = -3*y, -m*y + 0*n = -4*n - 8 for y.
-2
Let w = 27 - 16. Solve 3*d + w = x + 1, x = -4*d - 11 for d.
-3
Let c(s) = 2*s - 3. Let d be c(3). Suppose x - 12 = -4*f + 3*x, -2*x = -3*f + 10. Solve -f*l - 31 = d*l + 4*k, 11 = -5*l + k for l.
-3
Let o = 40 + -36. Solve -o*r - 2 = 5*d + 6, -4*r + 20 = -2*d for r.
3
Suppose -4*u + 5 = -3*y + 6*y, -4*u = -y + 7. Solve y*p = n - 2*n + 2, 0 = 2*p - 4 for n.
-4
Let x = -4 - -8. Suppose 2*d = -2*d + 24. Let l = d - x. Solve 3*y = 5*m + 6*y + 7, -l*y = -2 for m.
-2
Suppose 0 = -3*i + 3 + 12. Suppose 2*q = -y - 1, 4*y + 5*q = 2*q + 11. Solve -5*n - y*u - 15 = -0*n, 3*u + i = -2*n for n.
-4
Let g(d) = d + 8. Let k be (-16)/3*6/4. Let p be g(k). Suppose p = -0*w + w. Solve w*q - 3 = -2*x - q, -20 = -4*q for x.
-1
Suppose -4*f + 4 = x - 2, 4 = x + 2*f. Suppose -5*m + x*t - 1 = -11, 3*t = 0. Solve -m*a + 2*g = 4, 5*a - g - 7 = a for a.
3
Suppose -520 = -4*m + 5*n, 0 = 3*m + 3*n - 4*n - 379. Suppose 41 - m = -4*c. Let u be 5 - (1 - (2 - 4)). Solve u*i = p - 5 - 2, 5*i + p + c = 0 for i.
-4
Let r = -11 + 18. Let u = -4 + r. Suppose 2*i - 31 = u. Solve -3*n + i = 2*o, 0 = n - 4*n + o + 14 for n.
5
Let c be -2 - (0 + (-52)/4). Let i(a) = a - 10. Let t be i(c). Solve -x - 27 + 1 = -5*k, t = k + 4*x for k.
5
Let a be 6 + -1 + 0 + 0. Suppose -2*q - 2*l + 4 = -3*q, 4*q + 12 = 4*l. Let f be (q - -1)*(3 + -3). Solve a*k - h - 28 = f, 4*k + 5*h = k for k.
5
Suppose -16 - 2 = -2*g - h, 2*g - 10 = 3*h. Suppose -2*m + 2 = -g. Solve 4*r + 3*j + 17 = 0, -r + m*j = -0*r - 13 for r.
-2
Let h = 134 - 132. Solve -5*p + 2*p + 15 = 0, -p = -h*j + 1 for j.
3
Let c be (8/(-12))/((-1)/3). Suppose -2*d = 5*a - 19, a = 2*d + c*a - 7. Solve 5*h = -15, 0 = 7*t - 2*t - d*h + 9 for t.
-3
Let p(i) = i**2 + 6*i - 3. Let a(o) = -1. Let l(f) = 2*a(f) + p(f). Let k be l(-7). Solve -5*c - 7 = s, k*c + 3*c = -5*s - 15 for s.
-2
Let n(m) = -3*m**3 - 2*m**2 - 2*m - 1. Suppose 3*f = -5*q - 2, 3*f - 1 + 2 = -4*q. Let w be n(q). Solve 5*a + 4 = 5*p - 6, -a = -w*p for p.
-2
Let j = 3 - 2. Solve -x - 4*x + 3*h = -13, j = x + h for x.
2
Let r be ((3 + -3)/3)/2. Suppose r = t + 5*t. Solve t = 3*u - 4*w - 18, 0*u + 5*w = -u - 13 for u.
2
Suppose 2*m - 8 = 0, 5*m - 12 = 3*c - 64. Solve -4*u - a + 0 = -c, -4*u +