 + 3*t + 17 = l for p.
5
Let k(s) = -15*s**3 + 2*s**2 + s. Let i be k(-1). Suppose -5*x + x = -i. Suppose f = 4*f - 6, -5*w + 3*f = -4. Solve 16 = l + w*l - 2*h, x = -2*h for l.
4
Let o(j) = -j**2 - 18*j - 16. Let l(m) = m**3 - 2*m**2 + m + 1. Let z be l(-2). Let y be o(z). Solve -y = -2*x + 3*k + 1, 2*x = 4*k for x.
4
Let j(o) = -o**3 + 4*o**2 + 6. Let g be j(4). Solve m - 4*i = 7, 2*i - 2 + g = 0 for m.
-1
Suppose -2*f = a - 1 - 5, 3*f + 4*a - 4 = 0. Let d(o) = -7*o - 3. Let h be d(-2). Let g = 15 - h. Solve -2*v + 7*v - 3*s = -5, -4*v = -g*s - f for v.
-4
Let v = -10 - -13. Suppose v*k - 12 = -3*t, t - 4 + 0 = -5*k. Solve -r + 1 = 0, -b + 2*r + 2 - t = 0 for b.
0
Suppose -16 = -0*v + 4*v. Let h = 1 - v. Solve u = -u + k - 2, h = -5*u + 3*k for u.
-1
Let y(s) = 2*s - 5. Suppose 3*f + 8 = 5*f. Let u be y(f). Solve -u*j + 5*t - 16 = 0, 3*j - 3*t + 15 = 3 for j.
-2
Let k = 0 + 3. Suppose -k*i + 42 = -0*i. Solve -3*o = -a - 4, -5*a = -2*o - 5 - i for o.
3
Let m(u) = u**3 + u + 26. Let i be (-2)/(-4)*(-2 + 2). Let p be m(i). Solve 0 = 3*j - 5*l + 10, -2*j - 5*l = -11 + p for j.
-5
Suppose 5*k + 25 = 0, -2*w - 3*k = 3*w - 15. Solve 0 = -4*d - 2*y - 4, -w*d + d - 10 = 5*y for d.
0
Let c(p) = p + 10. Let k be c(3). Solve 23 = 4*f + 3*a, 0 = -5*f - 2*a - k + 40 for f.
5
Let d be (-5 + (-4)/(-4))*9/(-12). Solve -d*t + 9 + 3 = -3*z, -z - 20 = -5*t for z.
0
Let f(d) = d + 4. Let o be f(-2). Let h(j) = j. Let y be h(-11). Let k = -7 - y. Solve -k*g + o*c = -4, -5*c + 12 = -2*c for g.
3
Suppose -5*h + 17 = -3. Let o(r) = -r**3 + 13*r**2 + 3*r - 29. Let q be o(13). Solve 0 = -w - w + q, h*n = 4*w for n.
5
Let k(t) = t**3 - 7*t**2 + 8*t - 7. Let c be k(6). Suppose -6*s + c*s = -20. Solve -4*l + 8 = -5*z + 38, 0 = 4*l + s for z.
2
Let f = -82 + 103. Solve 4*b + f = -5*c, 3*c + 0*c + 12 = -3*b for b.
1
Let c be (-96)/(-9) + 6/(-9). Let y be ((-2)/5)/((-1)/c). Suppose 62 = y*z + 6. Solve -3*j - 2*m = -z, -6 - 12 = -4*j - 2*m for j.
4
Suppose -23 = -5*o - 8. Solve 5*w + 5 = -o*z, 5*z + 4*w + 3 = -1 for z.
0
Suppose 4*c - 3*n = -11, -2*n + 0*n + 13 = 3*c. Let w be 2 + -1 + (0 - c). Suppose 25 + 2 = 3*z. Solve 4*v + 12 = 4*p - w, 2*v + p + z = 0 for v.
-4
Let h(r) = -r**2 - 6*r + 3. Let w be h(-6). Let n be w + -2 + 4 + -3. Solve -4*y + n*y = 5*m, m = 3*y + 17 for y.
-5
Let t = -8 + 0. Let r be (-6)/t*24/9. Solve 3*p - r = 3*h - h, -2 = p + 2*h for p.
0
Let t(c) = -4*c - 6. Let q be t(-2). Solve -i - 13 = -q*a - 0, 3*a + i - 12 = 0 for a.
5
Suppose -5*m + 4*q = -20, 8*m - 3*m + 3*q - 20 = 0. Suppose -10 = 5*r, 7*r - 4*r + 11 = k. Solve -15 = -k*g, -g = -m*v + g + 2 for v.
2
Let m(t) = -t**2 + t + 1. Let y(o) = o**3 - 3*o**2 + o - 6. Let v(u) = -5*m(u) - y(u). Let n be v(7). Solve -s - i + n = -0*i, 8 = -4*s + 4*i for s.
3
Let z be ((-2)/6)/(1/3). Suppose 2*b - 4 - 4 = 0. Let f = b - z. Solve -i - 3*q - 12 = 0, -q - f = -2*i - 1 for i.
0
Suppose -16 = -4*m + 4*p, 9 = -5*m + 2*p + 32. Solve -3*k - 2 = -3*z + 10, m*k = -z + 4 for z.
4
Let u be ((-14)/6)/(2/12). Let b = -10 - u. Let s(t) = -3*t + 27. Let l be s(8). Solve -2*c + 3*w = b, 0 = -2*c - l*c - w + 7 for c.
1
Let u = -36 - -54. Solve 4*o - t = -3*t - u, 5*t = -5 for o.
-4
Suppose -5*o + 14 = -4*o. Suppose n = -n + o. Suppose -n = -x + 1. Solve s - x = 2*s + 3*j, 2*s + 2 = j for s.
-2
Let k be (-9)/(2 + 2/(-4)). Let b be (2 - 28/12)*k. Solve i = -b*i + 5*q + 19, -4*i = 4*q + 28 for i.
-2
Suppose -x = 3*i + 8, 7*i + 20 = x + 3*i. Suppose -3*g + 8*g - 2*m = 27, -x*g = -3*m - 16. Solve 0*a - g = k + 3*a, 5*a = -10 for k.
-1
Suppose 5 = p - 0. Suppose -4*l + 2 = -3*a, -3*a + 8 = -2*l - 6*a. Let z be 1 - ((3 - 1) + l). Solve z = 5*k - 5*g - 1 - 4, -3*k + p = -5*g for k.
0
Suppose 0 = 2*x - 3*x - 3*j - 6, 3*j = -4*x + 3. Let r be -3*16/(-18)*x. Suppose 2*t = 7 + 3. Solve -4*h + 5*o + 1 = -t, h - r = -2*o for h.
4
Let q = -3 - -3. Suppose q = -3*y + 2*x + 50, 3*x - 22 = -y - 9. Suppose -5*s = -3*s - y. Solve -5*u - 4*o = -2*o + 2, -2*u = -o + s for u.
-2
Let c be (-1)/2*2*0. Let d be c*(1 + 2)/(-6). Suppose d = -3*j - 8 + 17. Solve -j*z = -x - 6, -4*x + z + 3 = -6 for x.
3
Let y = 22 - 17. Solve 3*p - 18 = 3*j, y*p - j - 8 = 2*p for p.
1
Let f be -1 - -5 - (0 - -2). Solve -3*p - 6 = 3*q, 3*p = -f*p - 2*q - 4 for p.
0
Suppose 2*l + 3*x = -0*l - 14, x = -3*l - 7. Let f = 1 + l. Suppose -2*h = -d + 15, 1 = -2*h - 9. Solve -5*q = m + 15 - f, -m = d for q.
-2
Let w = -15 + 17. Suppose n = w*n - 4. Solve -4*b - u + 3 - n = 0, -5*u = 2*b + 5 for b.
0
Let v be 0/(1/((-1)/1)). Let p be 1/(1/18 + v). Let c be (-6)/12 - (-14)/4. Solve 2*g = -5*l - p, -23 = l + 4*l - c*g for l.
-4
Let z = 3 + -3. Let p be 4*1 - 2/1. Solve 2*h = s - h, z = p*h for s.
0
Let k(b) = b + 7. Let g be k(-5). Suppose -2 = -g*m + 4*m. Let n(w) = -30*w**3 - 2*w - 1. Let j be n(m). Solve -y + 4*y + j = -4*u, 5*u + 5 = 3*y for u.
-4
Suppose 3 = -t + 5. Let b(d) = -4 + 2*d + 18*d**t + 4 - 1. Let j be b(1). Solve -4*g + j = -4*c + 7, -2*c = 5*g - 8 for g.
2
Let f be (-6)/(-18) + (-40)/3. Let k = f - -16. Solve 5*v + k = 2*t, 3*t - 2*v = v for t.
-1
Let j = -2 - -2. Let o(q) = -26 - 20 + 50 - q**2. Let i be o(j). Solve -4*w = -3*y - 3, -w - i*y = y + 5 for w.
0
Suppose -5*w - 24 = -11*w. Solve q - w = -4*q + 3*l, -3*q - 2*l = -10 for q.
2
Let t(k) = -k**2 - 10*k - 5. Let g be t(-9). Let v be (0 + 0)*(5 + -6). Solve v*z - 14 = -2*i - 5*z, -2 = g*i - 5*z for i.
2
Let d(r) = 21*r - 3. Let v be d(3). Suppose -3*l = 2*l + v. Let c = -8 - l. Solve -3 = c*x - z, 4*x + 4*z + 9 = -z for x.
-1
Let j(a) = -a + 5. Let w be j(-10). Let x be 6/w + 13/5. Solve -3*s + x*l = 0, -l + 5*l = -2*s - 12 for s.
-2
Suppose 7 - 1 = 2*d. Suppose 2*y - 36 = -5*j + 2*j, -4*j + 49 = d*y. Solve -3*b - b + 3*r = -2, 4*b + j = -3*r for b.
-1
Let b(s) = s - 6. Let n = -7 - -12. Let d be b(n). Let h be d + 0 - (1 + -6). Solve 3*o - 2*r - 1 = 0, o = 2*o - h*r - 7 for o.
-1
Suppose 2*z - 3*u - 2 - 3 = 0, 3*z - 2*u = 15. Solve v + 3*v + 5 = 3*d, -5*v + 4*d = z for v.
1
Suppose -3*r - 1 = 2. Let j = 0 - r. Suppose m - 4 = j. Solve -m*p - 10 = 3*l, -2*p - 4 = -0*p + 2*l for p.
-2
Let d be 3/9*0 + 30/10. Solve y + 0*r + 2*r + 6 = 0, 0 = d*y + 3*r + 3 for y.
4
Let d be 96/(-36)*9/4*-1. Solve l = r + d, 4*r + 22 = 5*l + r for l.
2
Suppose 3*z + 10 = 34. Let r = z - 0. Suppose r*g = 3*g. Solve -15 = 5*n + j - 4*j, -j = g for n.
-3
Suppose 2*r - 16 = -4*z, z = -2*z - 2*r + 11. Let y = z + -2. Solve 4*s + 5 + 13 = y*h, 2*s = -3*h for s.
-3
Let c = 11 + -8. Suppose 4*x - 6 = c*x. Solve -x*v - 2 = -v + 4*u, 4*u = 8 for v.
-2
Let t = 20 - 5. Let c be 2/(-6)*(-85 - -4). Let k = c + -24. Solve -k*h + 8*h - t = -g, 7 = -2*h - 3*g for h.
4
Let m(t) = -6 - 2*t - t**3 + 0*t**3 - 4*t**2 + 0*t**3. Let g be m(-4). Solve 5*s - g*l + 10 = 0, 2*s + 4*l + 18 = -10 for s.
-4
Let w be (-6)/10 + (-46)/(-10). Let a be -3 - (-2 - 6 - 1). Solve z - 9 = -4*z - w*g, 5*g = -z + a for z.
1
Let m = 4 - -1. Suppose -4*c - 138 = -m*f, -67 = -2*f - 4*c - 23. Solve 4*p - f = 2*q, 4*q - 3*p + 5*p + 12 = 0 for q.
-5
Suppose -21*x + 2 = -20*x. Let a(j) = j**3 + 6*j**2 + 5*j. Let k be a(-5). Let v be k - (-13 + x - 1). Solve g + r + 12 = 6*g, 3*r = -g + v for g.
3
Suppose -2*x + 0 - 16 = 0. Let s = 13 + x. Solve s*r + 3*w = -20, 3*w = 2*r + 3*r - 10 for r.
-1
Let j(y) = y**2 - 2*y - 7. Suppose -3*d = 2*d - 30. Let i be j(d). Solve q = -5*t + 14, -5*q - i = -5*t + 3 for q.
-1
Let m be 32/5 - 6/15. Let o be 2*(-1)/((-4)/m). Let z be 16/10 - 4/(-10). Solve 21 - 6 = -5*i, -o = -z*w + i for w.
0
Let p be ((-4)/(-6))/((-13)/(-390)). Solve -k - g - 5 = -3*k, -2*k + p = 4*g for k.
4
Let b(y) = -y + 7. Let l be b(4). Suppose -2*w = -4*t + 2, -l = 3*w - 6*w. Suppose 0 = -d + t + 3. Solve -3*c + 5*p + 16 = -d*c, -2*p = 5*c - 12 for c.
4
Let o = 6 + 4. Let i(x) = -x**3 + x**2 + 3*x - 3. Let u be i(2). Let a be (0 - u)/((-3)/(-6)). Solve a*s + 3*c - 1 = 0, -2*s - s + 4*c + o = 0 for s.
2
Let x = -1 - -32. Solve -3*n + 13 = -z, x = 3*n + 2*n + 3*z for n.
5
Let t be 2/(-7) - (-20)/(-28). Let x(d) = 2*d**2 + 1. Let i be x(t). Solve -5*n = 4*m + 6, i*n + 3 + 8 = 5*m for n.
-2
Let v be 162/(-21) + 2/(-7). Let l(y) = 6*y - 5. Let t be l(5). Let c = v + t. Solve 0 = -z + k + k - 6, -2*z - c = -5*k for z.
4
Suppose -39*c - 6 = -41*c. Solve -4*s - c*i + 