1 = 3*h + a for l.
-5
Let d(o) = 63*o + 5. Let j be d(-2). Let k = -107 - j. Solve -4*n - k = 3*a, 2*a - 8 = -2*a for n.
-5
Suppose 4*d = -4*b + 132, -6*d + 7*d = -4*b + 123. Solve -5*s = x + b, -2*x - 35 = -4*s + 9*s for s.
-5
Let u be 2 + (4 - 3) + -2. Suppose -6 = -2*d + 3*i, 0 = 5*d - 2*i - 8 - 7. Solve -4*k + 4 = -a - u, 3*k + 3 = d*a for k.
2
Let y = -16 + 26. Let d be -15*4/6*(-2)/4. Solve -2*k + 15 = 2*w + d, -y = -2*k for w.
0
Suppose 0 = 4*d - 4 - 0. Let t = 3 - d. Suppose 0*k = t*k - 6. Solve -k*h + 2*y = -20, -5*h = -0*y + 5*y for h.
4
Let l(q) = -12*q + 330. Let k be l(27). Solve 3*z = -0*z - 2*d - 4, k = z - 3*d for z.
0
Let o = 12 + -12. Suppose -h - 3*m = 11, 18 = -4*h - 0*h + m. Let w(z) = -5*z - 21. Let q be w(h). Solve -9 + o = a - q*x, 5*x = 3*a + 6 for a.
3
Let q = -1 - -5. Suppose -3*b - 2*f = -17, -559*b + 5*f = -562*b + 29. Solve -b*a = -q*g - 26, -1 = 2*a + 5*g + 20 for a.
2
Let a(i) = i**3 - 11*i**2 - i + 13. Let t be a(11). Let r be (-1)/t*0 - (7 - 7). Let b be 4*(-1)/4*-3. Solve s + 20 = b*s - 4*x, r = -3*s + x + 10 for s.
2
Let s(g) = -g**3 - 16*g**2 + 37*g + 23. Let i be s(-18). Solve 5*r - 4*v - 35 = -4, i*v = -20 for r.
3
Let i = 5 + 5. Suppose -5*l + i + 0 = 0. Let s be l*(4 + (1 - 4)). Solve 0 = s*o, 5*p + 0 = 4*o + 15 for p.
3
Suppose 6*n - 2*n - 12 = 0. Solve -3*b - 5*r = -b + 16, 0 = n*b + 4*r + 10 for b.
2
Let v be 12 + -6 - (-4 - -10). Solve 4*k - l - 10 = v, -k - l + 4 = 2*k for k.
2
Let u(j) = -3*j - 22. Let d be u(-8). Solve 4*x - 2*o + 14 = -4*o, 3*o + 17 = -d*x for x.
-1
Let m be (-1 - -1)/(-2) - -20. Suppose -1133*n = -1129*n - 12. Solve -5*w = -4*b - m, 10 + 2 = n*w for b.
0
Let s be (3 - (-24)/(-9))*18. Let c(z) = z**3 - 5*z**2 - 6*z. Let a be c(s). Let p = a - -2. Solve m + p*m = 4*j + 8, 3*m = -j + 13 for m.
4
Suppose -3*a = -7*a - 2*l - 158, 0 = -2*a - 3*l - 69. Let p be ((-6)/7)/((-6)/a). Let b be p/4*64/(-24). Solve -2*q - 6*w + b*w - 18 = 0, 5*q + 5 = 3*w for q.
-4
Suppose -3 = -4*d + 17. Let a(n) = -5*n - 3. Let f be a(-1). Solve 3*l - d = 4*w, 2*w + 2*l + 4 + f = 0 for w.
-2
Suppose b = 3*t - 34, 6*b - 52 = -5*t + 3*b. Solve -t*j + 6*j - 4*r - 16 = 0, 5*j - 2*r - 8 = 0 for j.
0
Suppose 0 = 69*f - 67*f - 2. Let r = 3 + f. Solve 0 = p - r*u + 3*u - 7, -p = u + 1 for p.
3
Suppose -65 = 38*b - 51*b. Solve 0 = -4*o - 0*k + k + 5, b*o - 15 = 3*k for o.
0
Let h be 2 - 3/(-3) - -3. Solve 0 = q - 2*x + h, 5*q = -0*x + 4*x for q.
4
Suppose -3*b - 2*c - 65 = 2*b, -4*b + c = 65. Let k = -12 - b. Let s be (k - (-3)/(-2))*10. Solve z + 0 = 3*t - 5, 0 = 4*t - 3*z - s for t.
0
Let b be (-7)/(-2) - (-30)/(-20). Suppose -3*q = -b*q - 1. Solve 5*l = -20, -m = -4*l - q - 11 for m.
-4
Suppose -6 = -68*z + 65*z. Solve -j - 1 = -z*v, -2*j = -0*j + 5*v - 25 for j.
5
Suppose 0 = 3*y - 5*y + 10, 4*y - 5 = 5*r. Solve -4 = 2*u - 3*l, 0 = -3*u - r*l - 16 - 5 for u.
-5
Suppose 4*u - 30 = -4*y + u, -4*y + 46 = -5*u. Suppose 0*f - 27 = -y*f. Solve -f*g - g = -5*p - 11, -3*p + 2*g - 5 = 0 for p.
1
Suppose -3 = -2*s + s. Suppose s*g - 25 = -13. Solve 3*p + 8 = 5*z - 1, -5*p - 15 = -g*z for z.
0
Let v be 54/459 - (3 + 134/(-17)). Solve -v*f + 10 = -2*q, 3*q = -6*f + 7*f - 15 for q.
-5
Let f(y) = -y**2 + 16*y - 10. Suppose 4*k = 62 - 2. Let s be f(k). Solve s*z + 40 = -3*h, h + 0*z = -4*z - 25 for h.
-5
Suppose 0 = n - 25 + 7. Suppose n*u = 19*u - 4. Solve 5*c = -4*d - 22, -u*d - 16 = 5*c - 3*c for c.
-2
Let y be (-34)/(-10) - (-2)/(-5). Let s be (10/6)/(20/24). Suppose y = l - s. Solve -4*n - l*b + 5 = -0, -4*n = 4*b for n.
-5
Let f = 52 + -47. Suppose -2*i - i - 3 = 0. Let z = i + f. Solve 2*t + 4*o + 17 = -t, z = -t - o for t.
1
Let u = 281 - 276. Let l = -5 + 8. Solve l*k - 15 = -u*z, 0*k - 5 = z - k for z.
0
Let n(r) = r**2 + 28*r + 101. Let d be n(-24). Solve 0 = d*b + t - 3*t + 7, 7 = -4*b + 3*t for b.
-1
Let m be (4/18 - (-170)/45) + -34. Let r = m + 32. Solve -4*p + 2*p = -5*v - r, 0 = -4*p - 3*v + 4 for p.
1
Let c(l) = -l**2 + 5*l + 3. Let z be c(5). Suppose z*h + 2*g - 24 = 6*g, -5*h + 3*g + 29 = 0. Solve -h*q + m = -10, q + 2*m = -3*q + 4 for q.
2
Suppose 5*w = 2*a + 93, -5*a - 23 = -5*w + 67. Suppose -w*n = -20*n. Solve i + 4*h - 31 + 6 = n, 0 = -h + 5 for i.
5
Suppose -2*w - 3*w = 3*w. Solve 2*q = q + x - 5, -4*q + x - 14 = w for q.
-3
Suppose -94*u - 76 = -113*u. Let i be ((-2)/(-4))/(1/8). Solve 3*n + 3*w + 3 = 0, -i*w - u + 0 = -n for n.
0
Suppose -5*t = -v + 44, -4*v + t + 91 = -2*t. Let a = v + -15. Solve 4*q = 4*d, -4*q - 26 = 2*d + a for q.
-5
Let j(l) = 11*l - 83. Let p be j(8). Solve -p*k + 1 = 4*f, 4*k + 3*f - 4*f + 16 = 0 for k.
-3
Let b(m) = -18*m - 141. Let o be b(-8). Solve -4*g + o*p = 13, -g + 2*p = p + 4 for g.
-1
Let y(c) = c**2 - 24*c + 84. Let i be y(20). Solve 0 = -i*x + v + 22, -3*x + 4*v + 28 = x for x.
5
Let z be 1 + (2 - 9)*-2. Let r be 6/z - 58/(-5). Let t be (-17)/(-5) + (-3 - 65/(-25)). Solve t*f = 4*k + 12, 2*k - 6*k - r = 0 for f.
0
Let j be (105/(-10))/(3/(-2)). Suppose 15 = z - u, -j*u + 2*u + 30 = 2*z. Solve 3*h + 6 = -4*y + 5*y, 0 = 4*h + y + z for h.
-3
Let q be ((-472)/24 - -7)*30/4. Let d = -90 - q. Solve -d*c - 2*w + w = -15, w - 11 = -3*c for c.
2
Suppose 2*n = 3*k + 91, 2*n + n = -3*k - 96. Let v = k - -51. Solve -2*y - 3*y + 3*b = -9, 0 = -4*y - 4*b + v for y.
3
Let z be (-14)/7 + -2 + (-1 - -44). Let c = z + -35. Solve 3*u + w - 15 = 0, 2*u - 2*w = -c*w + 14 for u.
4
Suppose 5*g + 9 = -4*p + 40, -g + 8 = -p. Let h(y) = -y**3 + 17*y**2 - 31*y + 18. Let s be h(15). Solve -3*n + s = 0, 8*w = 4*w + 5*n + g for w.
3
Suppose 2*j + 28 - 4 = 0. Let q be ((-8)/(-6))/(9/((-81)/j)). Solve -4*o = 4*s + 12, 3*o + q = 3*s - 2 for s.
-1
Let z be (-2 + 21/12)/(2/(-32)). Let n(g) = -g**2 - 4*g + 4. Let d be n(-4). Solve 0 = z*s - 3*b + 4*b - 8, -d*b = 16 for s.
3
Let n(c) = -1 + 2*c - c**3 - 3 + 2 - 3*c**2 - 2. Suppose 0 = -3*q - 40 + 28. Let g be n(q). Solve 5*o + 3*p = g*p - 7, 1 = -3*o - p for o.
-1
Suppose -107 = -24*v + 13. Solve 5*p - 15 = v*t, 2*p + 2*t - t = 9 for p.
4
Suppose 6 = 2*g - x, 3*g + 2*x = -4 + 6. Suppose 2*i - 7*i = -15, g*d + 10 = 4*i. Solve 2*s + d = s, -2*k = 2*s - 8 for k.
5
Suppose 0 = -5*c - 97 + 112. Solve -c*s - 4*w - 18 = -3*w, -3*s - 9 = -2*w for s.
-5
Suppose -116 - 14 = -2*t. Suppose t*s = 64*s + 11. Solve -v = 4*y - 11, 0*v + 3*v = -y + s for y.
2
Let d be -1*2 - -4*3/(-4). Let h be 4/d + 29/5. Solve u = w - 11 + h, 0 = 5*u + 5*w for u.
-3
Let f be 2/(-3) + (-8)/((-72)/33). Solve 4*l = -f*w - 15, -3*l - 3 = 3*w + 9 for w.
-1
Let i = 72 + -24. Suppose 0*b + 3*b = d - 26, i = 3*d + b. Let r = d - 13. Solve 5*p + 10 = -3*v + p, -r*v - 3*p - 11 = 0 for v.
-2
Let s be -3 + 4 + -6 + 6. Suppose 2*x - 9 = -s. Let t = -10 + 28. Solve 6*v + t = x*v + 4*p, 0 = -4*v + p - 15 for v.
-3
Suppose 2*o - o - 2 = 0. Let l(f) = 2*f**3 + f**2 + 2*f - 4. Let n be l(2). Solve h - 4*j + 35 = -2*h, 2*j - n = o*h for h.
-5
Let m = 23 - -9. Suppose -m = -6*u + 3*u - 5*o, -u - 5*o + 24 = 0. Solve -u*c - 4*b = -b - 16, -16 = -4*c - 4*b for c.
4
Suppose -16 = -14*v + 10*v. Solve -v*q = -4*a, 2*q = -3*q + 3*a + 2 for q.
1
Suppose 0 = -3*t - 6*y + 7*y + 5, -2*t + 3*y + 15 = 0. Solve -3*a - 18 = -t*a + 3*l, 3*a + 2*l = -15 for a.
-3
Suppose 2*n + 19 - 6 = -5*d, d + 2*n = -9. Let s = d + 4. Solve 0 = 2*i + 5*t - 20 - s, -3*i + 7 = 2*t for i.
-1
Let s be 10/(-4)*(-646)/323. Let v(i) = 2*i - 6. Let a be v(5). Solve -2*r + 4 = -a*b - 6, -5*b = -r + s for b.
0
Let a be 1/(-4) + (-147)/(-12). Let j(r) = -r + 6. Let l be j(-8). Suppose l*s = 10*s + a. Solve 5*v = -4*k + s, 0 = 4*v - 0*v - 5*k - 27 for v.
3
Let n = 90 - 90. Suppose -10*f + f + 270 = n. Solve -5 = 5*t + 5*s + f, -5 = 2*t - s for t.
-4
Suppose -4*r = -0 - 8. Let b be r*(3/2)/(-3)*-3. Solve 0 = -u - b*i + 5, 4*i = -3*u - 1 + 16 for u.
5
Let h be 9/12 - 57/76. Solve h = -2*r + 5*y + 13, 3*r - 7*r - 5*y = -11 for r.
4
Let p = 474 + -462. Suppose -r - 5*s = 0, 4*r + 2*s = 3*s + 84. Solve -3*j + p = -2*z, j - r = -4*j for z.
0
Suppose 1 = 6*t - 77. Let c = -4 + t. Suppose c*q = 5*q + 64. Solve -q = 4*j, 6*v - v + j + 4 = 0 for v.
0
Let z = -139 - -143. Solve 5*s - 19 - 9 = z*q, 18 = q + 5*s for q.
-2
Suppose 21*n - 3 = 20*n. Solve 3*q = -k, 5*q - n*k = -0*k - 14 for q.
-1
Let m(p) = -18*p + 162. Let y be m(9). Solve 5*c + 5 = -5