j*x + 0*x = 4*d - 24 for x.
-4
Let j(i) = -i + 2. Let p be j(2). Suppose -5*v = -4*r - p*v, 5*r + 3*v = 0. Suppose -5 = c - 5*w, -3*w + 3 + r = -5*c. Solve c = -m, 3*h - 2*m - m = 0 for h.
0
Suppose 2*t = x - 25, 3*t - 2 = 1. Let c be (x/(-45))/((-2)/10). Solve c*h + 2*i + 18 = 4, 3*i - 5 = 2*h for h.
-4
Let n = -3 + 6. Solve -3*z + f + 3*f - 7 = 0, 0 = 3*z + n*f for z.
-1
Let c(o) = -o**3 + 4*o**2 - 3*o + 2. Let j = -2 - -5. Let d be c(j). Let s be 2 + (0 + 0 - d). Solve -w + 3 = -n + 12, -4*n - 4*w + 4 = s for n.
5
Suppose -3*t + 6 = 0, 2*l + 3*l = 4*t + 17. Solve -6*g = l*h - 4*g - 28, 4*h + 2*g = 24 for h.
4
Suppose 2*z - 4*m - 24 = 0, 3*m + 1 = z - 15. Let h(p) = p**3 - 5*p**2 + p - 3. Let f be h(5). Solve -y + 8 = f*y + 2*s, 4*s = -z*y + 12 for y.
2
Suppose o + 1 = 16. Solve u - 5*w + o = 0, 0 = -u + 5*u + 2*w + 16 for u.
-5
Suppose -5*y - 9 - 8 = 3*s, -11 = 2*y - 3*s. Let x = y - -9. Solve -x = -5*i - 5*p, i - 5*p + 4 + 25 = 0 for i.
-4
Suppose t - 2*o + 1 - 3 = 0, -4*t - 3*o + 19 = 0. Solve -u - 2*u - 12 = -3*d, 3*d + 5*u + t = 0 for d.
2
Let j be (-2)/(-6) + (-17)/(-3). Let o = -4 + j. Let k be (2/(-6))/((3/9)/(-1)). Solve -k = -r - o, 2*p = -2*r + 2 for p.
2
Let r = -3 + 6. Solve -r*n + 5 = 2*o, -2*o + 13 = 3*n + 2*o for n.
-1
Let f(w) = w + 2. Let j be f(1). Solve 3 = -4*t + j*u - 3, 0 = -4*t + 2*u - 8 for t.
-3
Let g be ((-4)/2)/((-4)/6). Suppose -6 = -3*n + 3*v, -g*v + v = -8. Let q = 2 + 0. Solve 5*j - n = y + 2, 4*y - 3*j = q for y.
2
Let b(q) = q**3 - 5*q**2 + q - 1. Let i = 8 + -3. Let m be b(i). Solve 5*r = -3*d - 10, -6 = -2*r - 4*d + m for r.
-5
Let p(v) = v**3 - 6*v**2 - 7*v + 3. Let i be p(7). Solve 5*r = -i*y + 10, -4*r - y + 3*y + 8 = 0 for r.
2
Let h = -7 - -5. Let o be (h/5)/((-2)/10). Solve o*c + 20 = 4*f - 0*f, -f = 5*c + 17 for c.
-4
Suppose -6*b + 2*b = -124. Let z be (3/(-15) + -2)*-5. Let h = b - z. Solve 5*m + p + h = 0, -4*m + 5*p = -5*m - 4 for m.
-4
Suppose -26 = -2*r - 4. Suppose -2*z - 3*x - r = 0, -3*x - 33 = -4*z + 2*x. Solve -2*j - z*j - 4 = -4*i, 2*i + 18 = -3*j for j.
-4
Suppose 10*k + 26 = 12*k. Let h be -1 - -4 - (k + -15). Let b be 1/(-4) + 26/8. Solve -h*z = -2*o - b, 0 = 4*o - 2*z + 14 for o.
-4
Let l(k) = k**2 - 3. Let t be l(-3). Suppose 8 = 24*u - 26*u. Let q be (-40)/u*(-1)/(-2). Solve -q*s = 3*d - 16, 3*s + 3*d - t = -0*d for s.
5
Suppose 3*w + 2 = 5*h + 49, -4*h + w - 32 = 0. Let v(z) = z**2 - 2*z + 11. Let f be v(0). Let c = f + h. Solve -4*t = 5*j + 12, -c*j - t - 3*t - 8 = 0 for j.
-4
Suppose p = 3*p. Suppose p*t + 3*t = -5*c + 16, -14 = -5*t - 2*c. Solve 5*m = 5*j - 45, -t*m - 8 = -0*m for j.
5
Suppose 11 = -4*x + 3*x. Let d = -21 - x. Let c be (-1)/(-2) - 115/d. Solve -2*b + 3*k = -c, 5*b + k = -0*k - 4 for b.
0
Suppose 5*v = -44 + 154. Solve 4*z + 2*h + 26 = 0, h = -3*z - h - v for z.
-4
Let j(o) = o**3 + 6*o**2 + 3*o - 16. Let w be j(-4). Suppose s - 9 = 3*r - 0*r, 3*s + 1 = -5*r. Solve 2*b + 18 = w*q, -s*b - 15 = -2*q - 0*q for b.
-3
Let n(l) = l**2 + 6*l - 3. Let h be 2 + -2 + 3 + -10. Let c be n(h). Solve -b = c*x + b - 10, 0 = -2*x + 3*b - 15 for x.
0
Let n be (12 - 11) + 1 + 0. Let i be 1/n - (-6)/4. Solve 4*k + p = -14, 3*p - 6 = 2*k + i*k for k.
-3
Let z = 18 - 16. Solve z*p + 2*o + 8 = 0, 5*o - 16 = 2*p - 43 for p.
1
Let c(j) = j + 1. Let d be c(-1). Suppose -2456*f - 16 = -2457*f. Solve -3*n = k + 8, -k + 0*n + 3*n + f = d for k.
4
Let l(i) = i**2 - 2*i - 3. Let x be l(-2). Solve -8 = 4*c, n + 4 + x = -4*c for n.
-1
Let q be -5 + 3 - 6/(-2). Let o be ((q - -2)*1)/1. Solve 0 = -0*u - u + 4*n - 7, -2*u - 3*n = o for u.
-3
Suppose 0*q = 4*q - 40. Let o = q + 4. Solve 0*v = -z + 4*v - o, -v - 5 = 4*z for z.
-2
Let q(j) = -j**3 - 13*j**2 + 30*j + 5. Let r be q(-15). Solve 2*n = -5*a + r, -2*a - 2*a = -4 for n.
0
Let s = 10 - -15. Suppose -5*z + v + 15 = 3*v, s = 4*z - v. Solve 2*a = z*l + 4, 3*l + 3*a + 12 = a for l.
-2
Let k(s) = -s**3 + 5*s**2 + 7*s - 4. Let m be k(6). Solve -2*h = -5*d + 3*d + 6, m*h + 3 = 5*d for d.
-1
Let x be (-3 - 11)*(-4)/14. Suppose -x*h + 92 = h - 3*a, 2*h - 3*a - 44 = 0. Solve 5*j - 7 = -2*n - 2*n, j + h = 5*n for n.
3
Let b(w) = -w**2 - 5*w - 4. Let q be b(-3). Let n(k) = k**3 + 9*k**2 + 9*k + 18. Let o be n(-8). Solve 4*r - 13 = -d, -r = -2*d + o - q for r.
2
Let s(m) = m. Let g be s(-3). Let f be (4/g)/((-8)/12). Suppose 0 = -a - 0*a + 4. Solve -6*b = -w - a*b + 2, f*b = -4 for w.
-2
Let w = -19 - -36. Solve -3*r = 2*h + 11, 7*r - 2*r + w = -3*h for h.
-4
Let y be (-11)/(-3) + 4/(-6). Suppose -y*j - 7 = -4*m - 2, 0 = -2*j - 4*m + 10. Solve 3*f - 5*b = j, -f + 1 = 3*b - 4 for f.
2
Suppose 2*f + 0*f = 8. Suppose 4*q - 9 - 3 = t, 0 = t - 3*q + 9. Suppose t = 2*r - 9 + 1. Solve -r = 2*n - 0, p = f*n + 8 for p.
0
Suppose 0 = -5*c + 2*o - 3, 4*c = -6*o + o + 24. Solve c = r + 2*d, d = -3*d for r.
1
Let j = -66 - -69. Solve v = p - j, v + 5 = -p - 2*v for p.
1
Let l be (1 - 0) + (-4 - -1). Let a be (1 - 3)*l/4. Let c be ((-2 - -1) + 1)/a. Solve 4*m = 8, c*m + 4*m = 2*g + 10 for g.
-1
Let f(w) = w**3 - 2*w**2 - 3*w + 2. Let s be ((-3)/2)/((-6)/12). Let j be f(s). Solve -10 = 2*d, l - d = 2*l + j for l.
3
Let w be 5/2 - (-2)/(-4 + 0). Solve -3*u + 5*t + 1 - w = 0, 0 = -4*t + 8 for u.
3
Suppose -5*p + 45 = -3*k + 255, 4*p + 207 = 3*k. Let n = -35 + k. Solve 6 = -3*r + 3*x, -5*x = 3*r + n - 8 for r.
-4
Suppose 3*h = -2*h + 10. Solve 2*k - 6*k - 15 = 5*o, -h*o - 6 = -k for k.
0
Suppose 2*k - 4 = -2*c + 3*k, 2 = c - 5*k. Solve 3*a = c*a + 3*h + 15, a - 19 = 4*h for a.
3
Suppose -q = -2*n + 3, n - 6*n + 3 = -4*q. Solve 4*a = 2*s, 1 + 11 = q*s for a.
2
Suppose -5*z = -4*f - 0*z + 28, 0 = 2*f + 4*z - 14. Suppose 0 = -2*n + f*n - 15. Solve 10 = -2*m - 3*p, n*m + 5*p = -0*p - 17 for m.
1
Let c be (-4 - 0)*(0 + -7). Suppose -5*v = -v - c. Solve 4*o + 3 = r, v - 22 = -o - 5*r for o.
0
Suppose -21 = -3*k + 2*k. Solve 0 = 2*l - 3*z - k, -5*l + 3*z = 6*z for l.
3
Let r(g) = -9*g - 8. Let v be r(-6). Suppose v = 4*k - 6. Solve 3*z = -2*s + 4 - k, -8 = s + 5*z for s.
-3
Suppose -u = 3*u - 4*s, 32 = 5*u + 3*s. Solve -4*i - 4*z - 18 = -z, -u*z = 8 for i.
-3
Let j(n) = 13*n + 1. Let h be j(-1). Let d = h + 32. Suppose 0 = -b - 3*b + d. Solve u = b*y - 3*y - 12, -7 = -4*u - 3*y for u.
-2
Suppose 0 = -5*u + 3 + 12. Solve -k + 3*y = 7, -u*y - 4 = -5*y for k.
-1
Let z(m) = -m**2 - 16*m + 4. Let a be z(-16). Solve -a*h - 4*y + 9*y = -4, 4*y = 4*h - 4 for h.
1
Let o be -5*(-2)/10*3. Suppose 0*p + 2*p - 6 = 0. Suppose 2*l - 4 = -2*g, -g + 5*l + 0*l = -8. Solve -5*w + o*a = -g*w - 3, 4*w - p = 5*a for w.
-3
Let t = 8 - 11. Let b be 1/t + 1/3. Let z be -1*(-6 + -1 + -1). Solve b + 1 = -y, z = 2*g + 2*y for g.
5
Let v be (-3)/2*(-176)/33. Solve -2*b + v = 2*p, -3*b + b + 3*p = 17 for b.
-1
Let n be (-10 + 14)*(-2)/(-4). Solve 10 = 5*y, -n*g = 4*y - 8 - 2 for g.
1
Let t(q) = -q**2 - 8*q + 4. Let w be t(-6). Let p be 2/9 - w/(-9). Solve 3*v = 2*y + 2*y - 4, -5*y - p = -2*v for y.
-2
Let k(s) = s + 5. Let a be k(4). Suppose 0 = -5*b - 4*h + a + 9, -18 = -4*b - 5*h. Solve -2*y - b = w, 2*y = -3*w + 4*w - 10 for w.
4
Let p be (6 - 0)/((-14)/(-21)). Suppose -5*w = -p - 1. Solve 12 = -w*r + 3*c + 2, -2 = 2*r - c for r.
1
Let r be 0/1 + (-9)/(-3). Solve 4*h = -z + 6*h + 2, -r*z + h + 11 = 0 for z.
4
Let b = -5 - -8. Solve -5*m + b*h = -6, 0 = 3*m + m + h - 15 for m.
3
Let n = 2 - -7. Let x be (-3)/n - 13/(-3). Let o(v) = v**2 - 2*v + 3. Let k be o(4). Solve 4*i + 3*h + 1 = 0, k = x*i - 3*h - 6 for i.
2
Let s = -106 + 108. Solve -c - 13 = 5*v, -s - 5 = 5*v - c for v.
-2
Let g = -8 + 11. Solve -g*t + 4*l - 3 = -2*t, -3*t + 6 = 3*l for t.
1
Suppose -4*m + 3 = -17. Suppose -3*o = -m*y - 26, -y - 18 = -3*o + 2*y. Solve -4*t + 5*c - 28 = 0, c = -t - 0*c + o for t.
-2
Let n be (-8 - -5) + 3/1. Let b be 1/1*n/3. Solve 20 = k + 4*f, b*k + 4*k - 15 = -3*f for k.
0
Suppose 9*a - 13 = 14. Solve -5*b + 3*v - 10 = 0, 0*v + a*v - 19 = -4*b for b.
1
Let g be (3/5)/(8/40). Solve -4*o + 2*o = -g*c + 5, 5*o = -5*c + 50 for c.
5
Let p = 0 + 3. Suppose 4*l + 6 = -p*a + 34, -3*a = -4*l + 4. Suppose 4*i - 6 - 34 = 0. Solve a*j + i = 3*t - 0, 0 = -4*j + t - 14 for j.
-4
Let w(v) = -v**3 + 5*v**2 + 2*v**3 - 2*v**3 + 6*v. Let a be w(6). Solve -3*m + 4*d - 13 = 0, -3*m + 0*m - 5*d - 4 = a for m.
-3
Let m(z) be the t