z for l.
-4
Let n(x) = 2*x + 36. Let a be n(-17). Suppose -a*d + 5*d = 9. Solve -d*g = -3*q - g + 2, 0 = -2*q - 3*g + 23 for q.
4
Suppose 3*f - 2 = 4. Let c(u) = -20*u - 20. Let h be c(-6). Let l be h/30*3/2. Solve l*r + 2*o = 3*r + f, 5*r - 3*o = -3 for r.
0
Let n(q) = -q - 22. Let p be n(-14). Let t be (-1 + -9)/(p/8). Solve 3*y - 15 = 0, y - t = -u - y for u.
0
Let v = 25 + -17. Let l(i) = -i**3 + 4*i**2 + 4*i. Let p be l(5). Let z = p + v. Solve 2*a - z*q = 15 + 3, 5*a + q - 11 = 0 for a.
3
Let i = -3 + 15. Suppose 3 + i = 3*y. Suppose 2*d - y*d + 42 = 3*u, 5*u = -4*d + 67. Solve 5*n - u = 5*x + 4, 2*x = -3*n - 6 for n.
0
Suppose 2*h - 55 = -5*j, -h + 3*j - 5*j = -26. Solve -5*a + 5*k - h = 0, 12 = -2*a + 5*k - 2*k for a.
0
Let k be ((-125)/10 + 8)*(-2)/(-3). Let q be 1 - (-2 + 1 + k). Solve 3*l - 3 = u, 5*l - 5*u = -0*l - q for l.
2
Let s(w) = w**3 + 3*w**2 + 4*w + 3. Let t be s(-2). Let p be -34*t/(-6)*-3. Let x = p + -13. Solve 4*o - 4*j + 12 + 16 = 0, o + x*j - 8 = 0 for o.
-4
Let p(k) = 30*k + 10. Let c be p(-3). Let y = c + 124. Solve 2*q + 3*a - 15 = 0, 4*q + 5*a + 17 - y = 0 for q.
3
Suppose -h - 3*h = -20, 5*h = 5*o + 40. Let f be 1*(-29 + -1)/o. Suppose 42*z = 41*z + 2. Solve -5*q = -5*w + 35, -4*q + z*w - 8 = f for q.
-2
Let m(g) = -2*g**2 - 21*g - 23. Let o be m(-9). Solve 5*r - x + 23 = 0, -o*r - 29 = r + 2*x for r.
-5
Let v(r) = -5*r**2 + 5*r + 6. Let w be v(-3). Let j be w/(-10) - (-8)/(-20). Solve -5 = -5*c + j*u, -2*u - 5 - 3 = c for c.
-2
Let o be (-8)/(-6) + (-88)/(-33). Let d(b) = 2*b**3 - 4*b**2 - 2*b + 4. Let a be d(3). Solve a = o*p + 4, -w = -2*p + 6 for w.
0
Suppose 0 = -10*v + 43 + 7. Solve -3*i - 2*l = 3 + 2, v*l = 25 for i.
-5
Suppose -41*b + 190 = -3*b. Solve 0 = -5*m + 4*t - b, 0 = 3*m + 3*t - 4*t + 10 for m.
-5
Let j = -25 + 39. Suppose -n + j = x - 4*n, x + 4*n = -14. Suppose 3*t - x = 4. Solve -q - 2 = 0, 0 = -2*i - t*i + 2*q + 20 for i.
4
Let j = 8 + -6. Let i be 59/6 - 6/(-36). Let g = 12 - i. Solve 3*z = -g*b + 1, -1 = j*z + 4*b + 1 for z.
1
Let v be ((-90)/(-12))/(-2 - 21/(-6)). Solve -25 = -v*t - b + 5, 2*t + 4*b = 30 for t.
5
Suppose -5*j = 101 - 16. Let l = j + 19. Suppose -4*s = -8 - 0. Solve 0 = -s*r - 4, l*n + 5*r + 1 = -n for n.
3
Suppose -6*h - 3 = -3*h. Let d be h + 0 + (-2)/(8/(-12)). Solve 5*v - 4 = d*i + 4, -4*i + 4 = 0 for v.
2
Suppose -5*s + 18 - 2 = -3*v, -12 = -s + 5*v. Let h be s/(4/7)*(-8)/(-14). Solve 6 = k - h*p, k - 3*k + 5*p = -15 for k.
0
Let g(p) = -p**3 + 8. Suppose -4*c + 9*c = 0. Let a be g(c). Suppose 4*f = a - 0. Solve 4*n = 3*w - 0*n - 5, -10 = 4*w - f*n for w.
-5
Let t = 17 - 7. Suppose 36 = 15*l - 24. Solve -2*x + 5*c = -t, 0 = l*c - c + 12 for x.
-5
Let j = -36 - -39. Let v(q) = 5*q**3 + q**2 + q - 1. Let t be v(1). Suppose -3*z + t = -0. Solve -1 = -z*r - d, 5*d + j = 2*r + 8 for r.
0
Suppose -2*t + 7 = 3*b + 2*t, 0 = -5*b - t - 11. Let f be 7/3 + b/9. Solve -x = -2*s - 5 - f, 3*s = 2*x - 13 for s.
-1
Suppose -4*o - 5*d + 21 = -6*d, 3*o = 4*d + 19. Solve c - 2*i + 0 = -6, 18 = -c + o*i for c.
2
Let o(z) = 3*z + 14. Let c be o(5). Let k = c + -27. Solve 2*m + l - k = 0, 3*l + 10 = 3*m - m for m.
2
Suppose 16*m = 17*m - 2. Solve -3*h - 2*x = 4, m*h - 2*x = -0*h + 4 for h.
0
Suppose 3*h + 2*y = -4 + 18, 0 = -h - 5*y + 22. Solve -3*t + 7*f = h*f + 20, -f = -1 for t.
-5
Let x be (-52)/8*44/(-143). Solve 0 = 2*j + 2*j + x*m + 22, 0 = 3*j + 3*m + 24 for j.
-3
Let s be ((-72)/27)/((-2)/(-9)). Let l = -9 - s. Solve -2*g = l*t + 8, -5*t + 0*t + 8 = -2*g for t.
0
Let q(r) = -4*r + 8. Let d be q(0). Suppose 4*l + 5*y - 61 = 0, -5*l - 3*y + 110 = -d*y. Solve -5*o = -6*m + 2*m + 10, -3*o - l = -5*m for m.
5
Suppose 0 = 2*i + 18*i. Solve 3*u - 4*b - 2 = i, -b + 6*b - 13 = -4*u for u.
2
Let u be (8/6)/((-34)/(-15) + -2). Solve 5*z = -2*c - 4, 22 = -u*z + 5*c - 3 for z.
-2
Let p(g) = 0*g**2 + 8*g - 13 - 9*g**2 + 2*g**2 + 8*g**2. Suppose h - 24 = 3*h. Let i be p(h). Solve 5*d + 4*l = i, 28 = d - 0*d + 5*l for d.
3
Suppose 0 = -f + 4*f - 12. Suppose 2*o = -3*o + 190. Suppose 6*a = 4*a + o. Solve -f*b = 3*v - a, 2*v = -2*b + b + 6 for b.
4
Let b = -8 - -6. Let w = b - -36. Solve 2*i + 2*j - 3*j - 13 = 0, -5*i + 3*j + w = 0 for i.
5
Suppose -16 = 5*j - 61. Let r = j - 5. Solve 0 = r*v + 5*i + 15, 16 = -4*v + v + i for v.
-5
Suppose 0 = -31*k + 31 + 31. Solve -k*t + 5*y = 2 + 6, -3*t + 2*y = 1 for t.
1
Let q be 4/8 + 12*4/32. Solve -k - 4 = q*u, 3*k + 3*u + 19 = 8*k for k.
2
Let u = 65 + -29. Suppose 2*h - 9 = 4*k + 11, -16 = 2*h + 5*k. Solve -4*z + h*p + 10 = 0, 3*p - 4 = -5*z + u for z.
5
Suppose u + 15 = i, 0*i + 4*u - 10 = -3*i. Let q = -6 + i. Solve k + 25 = -3*k - s, -q*k - 40 = 4*s for k.
-5
Let n(w) = -w**2 + 6*w + 80. Let b be n(-6). Solve -4*a - b = 4*o, 2*o + 6 + 4 = 4*a for o.
-3
Let s(n) = -n**2 - 5*n + 6. Let x be s(-6). Suppose x*z + 2 = z. Solve -4*r + z*t + 0 - 26 = 0, 0 = -r - 3*t + 11 for r.
-4
Suppose 3*o = -2*x + 23, -x - x = -2*o + 2. Solve -5 = 5*s, x*s = 5*z + s - 13 for z.
2
Suppose 71*t - 93 = -22. Let r = 17 - 7. Solve 2*x + 4*p + r = 0, -5*x + 5*p = -6 + t for x.
-1
Let b = -2 + 2. Suppose 10783 = 12*p + 10759. Solve b = -6*o + p*o - 2*i + 28, 5*o = 2*i + 17 for o.
5
Suppose z + 6 = -2*z. Let d be 0/z*3/9. Suppose d = -3*o - 2*o + 15. Solve o*j + 10 = y, -3*y = y + 5*j - 6 for y.
4
Suppose 5*o + 23*o - 56 = 0. Suppose 0 = 3*j - 2*j - 4. Let t be (-22)/55 - 27/(-5). Solve -3*c - 3*i = 2*i + t, -j*i = -o*c + 4 for c.
0
Suppose -6*g + 8 = -2*g. Suppose -g*j = j. Solve y + 22 = -4*h, 0 = 3*h - j*h + y + 17 for h.
-5
Suppose 6*u - 12 = u - t, 0 = 3*u - 3*t. Suppose -u*z + 6*z - 74 = -5*r, -2*z = -4*r + 54. Solve c + 5*i + 18 = 0, -c - 2*c = 5*i + r for c.
2
Let i(p) = p + 9. Let f be i(-3). Suppose a - 17 = 4*s, -f*a + 2*s + 26 = -2*a. Solve 13 = -5*h + 2*o, 0 = a*h + o + 17 - 1 for h.
-3
Suppose -6 = 3*d, c = d + 3*d + 51. Let w = 58 - c. Solve 4*t + 2*x = x + w, 2*x - 3 = t for t.
3
Suppose -f + 2*d = -0*f - 10, 4*f - 25 = 3*d. Suppose -40*j = -48*j + 16. Solve -j*a = 4*r + 2*a + 12, 0 = -f*r - 3*a - 11 for r.
-2
Let d be -3 + (-4 + 0 - 10)/(-2). Solve 3*u = 4*j - 32, -j = -u - d - 5 for u.
-4
Suppose 5*j = -0*j. Let u be (-2 - -1)*(j - 2). Solve -k - 6 = u*g, g - 11 = -0*k + 3*k for k.
-4
Let d be 8 + (2 - (7 - 1)). Let h be 3 - (0 - (0 - 0)). Solve 4*w = d*z - 4, -3 = -h*w - 2*z - z for w.
0
Suppose 7*a + 3*a - 20 = 0. Solve 4*g = 3*y + 17, -2*y - 9 = -a*g - 1 for g.
5
Suppose -8*r - 74 + 330 = 0. Let n = r - -3. Solve -z - 13 = -0*z - 4*b, 5*z - 5*b = -n for z.
-5
Suppose -y - g + 1 = 0, 5*g - 3 = 2. Suppose -5*v - a = -y*a + 41, 4*a + 28 = -3*v. Let f = v - -8. Solve -2*q + 0*q + k - 3 = f, 4*k + 12 = 0 for q.
-3
Let t(b) = b**2 - 13*b - 10. Let r be t(13). Let v = r + 1. Let j be (-3)/v*-3 + 5. Solve 3*w + 0*w + 6 = 0, z = -j*w - 10 for z.
-2
Let u = 6 - 4. Let i(v) = v**3 - v**2 - 3*v - 2. Let o be i(3). Let g(s) = -4*s**2 + 31*s - 5. Let r be g(o). Solve 2*j + u*j = 4*w - r, 4*w = 5*j + 16 for w.
4
Suppose -4*s - 238 - 64 = 3*j, -5*s - 25 = 0. Let a = j + 104. Solve 3*t = 5*n - 6, a = 3*t + 3*n - 8 for t.
3
Suppose 0 = 36*l + 12*l - 576. Solve 0 = 4*i + 4*c + l, 24*c = 26*c - 4 for i.
-5
Let f(q) = q - 3. Let s be f(5). Let l(a) = 6*a + 1. Let t be l(2). Let h be (0*5/15)/(-5 + 2). Solve -4*m + 12 = h, m = 3*z + s + t for z.
-4
Suppose -29*t = -6*t - 69. Solve -3*y - t*v = -12, 8 = 5*v - 2 for y.
2
Suppose -5*w + 12 = 2*s, -s + 5*s - 12 = -4*w. Let b be (1 - s)/(5 + 0 + -3). Solve 4*i - 2*o + 4*o + 8 = b, 4 = 4*i - 4*o for i.
-1
Let o = 200 - 197. Solve 21 = 6*i - 4*i + 5*f, -2*f = o*i - 4 for i.
-2
Suppose 0 = 5*u - 20 + 10. Suppose u*j = 3*f + 13 - 0, -5*j + 4*f + 29 = 0. Let k = 6 + -4. Solve -k*h = -2*x + 3*h - 5, -4*x + 5*h = -j for x.
5
Let x = 111 - 44. Let o = 69 - x. Solve 0*b - 3 = b - o*t, -2*b - 3*t - 13 = 0 for b.
-5
Let s be (7*(-52)/(-42))/(8/12). Suppose z = 3*w - 2, -1 - 7 = -3*w + 4*z. Let v be 0 + 2 + w - 0. Solve -2*n - 4*x = 3*n - s, 0 = n + v*x + 1 for n.
5
Let l = 1976 - 1976. Solve l = -y - 3*u + 11, 4*y - 22 = -3*u + 4 for y.
5
Let s = 36 - 32. Suppose -2*i + 3*y = -0*i - 14, 2*i = -y + 14. Let d be (-9)/(-15) - i/(-5). Solve 3*z - 3*b + 27 = 0, -d*z + s*b + 9 = -7*z for z.
-5
Suppose 3*c - 14 - 10 = 0. Suppose v - 45 = -c*v. Solv