= 11 + -8. Suppose 2*z - 11 - 3 = 4*f, 4*z - 4*f = 24. Suppose -22 = 3*k - z*k. Solve 2*d + k = 4*s + h, 0 = s + 4*d - 20 for s.
4
Suppose 4*s = s + x + 12, x + 3 = 0. Suppose 2 = -2*w - 2, 3*w = 3*v - 21. Suppose -v*o = 15, 0*o + 15 = s*p + o. Solve 2*n = -4*t - 1 + 5, -t = -3*n + p for t.
0
Suppose 23 + 21 = 22*m. Solve 1 = l + 5*t - m, 4*l = t + 12 for l.
3
Let j(i) = -4*i + 26. Let v be j(14). Let m = v - -35. Solve 5*c = -l, 0 = -c - 3*c - m*l for c.
0
Suppose -12*n + 10*n = 0. Suppose f + 4 = n, 2*y + y = -3*f. Solve 3*d = -2*b - y, -d - 3*b + 2*b - 2 = 0 for d.
0
Let n = -11 + 24. Suppose -n = -4*m - 5. Suppose -23 = -5*a - 4*b, 2*a + b - 12 = -m*b. Solve a*o - 2*o = 4*g - 16, -4*o = -5*g + 31 for g.
3
Let o = 71 - 69. Solve 0 = 2*w + 3*d - 3 - 6, -o*w - 5*d + 15 = 0 for w.
0
Let y(j) = j - 1. Let b be y(7). Let g = b + -1. Suppose 2*h + g = 3, -4*z + 2*h + 14 = 0. Solve -d - 6 = -2*w - z*d, -13 = -3*w - 5*d for w.
1
Let w be 5397/1028 + ((-2)/1)/8. Solve -w*y = 0, -4*k + y - 4 = 3*y for k.
-1
Let g(r) = -r**2 + 6*r + 9. Let q be g(7). Let o be (-28)/q*(-4)/14. Solve 0*f + o*f + 8 = -t, -6 = 5*t + 3*f for t.
0
Let s(a) = a**2 - 6*a - 71. Let f be s(12). Solve -t + 4*t + 2*n = f, 0 = -t - n for t.
1
Let w(b) = -b**3 - 2*b**2 + 19*b + 8. Let y be w(-7). Suppose 116 = -q + y. Solve 6*r + g - q = 3*r, -r = -5*g - 12 for r.
2
Suppose 3*h = -h + 56. Let z = -2270 + 2281. Solve h = -3*l - x, -2*l = -x - 0*x + z for l.
-5
Let x be ((-3)/2)/(6/(-156) + 0). Let h = x - 26. Solve t + 5 = -4*j - 11, 4*t = j - h for t.
-4
Let p be (-5 + -1 + 7)*3 - -7. Solve -1 = g - 10*o + 9*o, p = 2*o for g.
4
Let w = -7 - -5. Let x be w/(-5) + (-18)/(-5). Suppose -12 - 24 = -5*s + 4*i, 4*i = -x*s. Solve 10 = 5*u, s*y = -6*u + 3*u + 10 for y.
1
Let o = -54 + 59. Solve -2*t - 2*w = 10, t - w + o = -6*w for t.
-5
Suppose 95*x = 93*x + 24. Suppose 12 = -y + x. Solve z - 1 = -4*u, y*u - z = -u - 1 for u.
0
Suppose a + 16 = -a. Let u(o) = -2*o - 2. Let h be u(a). Let m = 18 - h. Solve 5*r - 10 = -3*l, -4*r - m*l = -0*l - 16 for r.
-1
Let w(s) = -s**3 + s**2 + 3. Let i be w(0). Suppose 22 = 5*y - i. Suppose -y*l + 8 = -l. Solve -5*v + 16 = -2*p, -3*p = -l*v + p for v.
4
Let u(a) = -a**2 + 45*a + 201. Let s be u(-4). Solve -2*q - s*d = 13, -6*q + 3*q - 8 = -4*d for q.
-4
Suppose -92*t = -91*t - 5. Solve f = -3*v + 4*f + 15, -3*v - t*f = 25 for v.
0
Suppose 3*j - 7*w + 4*w + 60 = 0, 4*j = -3*w - 108. Let d be ((-6)/(-10))/(j/5 - -5). Solve 0*r = -d*r + 5*i + 40, i = 5*r - 30 for r.
5
Suppose -3*k + 8 = -7. Let r(v) = v - 6*v - 1 - v. Let m be r(-1). Solve 5*z + k = -5*a, z - m*z = 5*a for a.
4
Let a(x) = x**2 - 11*x - 6. Let g be a(-4). Let w be g/2 + 4 + -7. Suppose d = -2*d + 6, 0 = -3*u + 2*d - 4. Solve 5*v = 5*c - c + 5, u = -3*v - 3*c - w for v.
-3
Let j = -16 + 23. Suppose 3*p + 2*r + 4 = j*r, 3*r = -2*p + 10. Solve 2*l + 6 = 4*y, -p*y + 13 = l - 0*y for l.
5
Let a be (-1)/(-7) - (-270)/21. Suppose -a*k = -11*k - 6. Solve -i - 6 = -4*u - 4, 0 = -u + k*i + 6 for u.
0
Let i be (20 - 19)/((-1)/(-75)). Let u be (1/3)/(-6 - (-455)/i). Solve u*n - 2*k = -17, -13 = -2*n - 5*k - 43 for n.
-5
Suppose 0 = 3*x + 4*d + 2, 5*x - 47 = 4*d - 29. Solve -4*o = -4*k + 28, k - x*k + 13 = -3*o for o.
-3
Let y(g) = 1 + 4*g - g - 14*g + 10*g. Let r be y(-4). Solve -2*k = j + r, j - 4*j = -4*k + 15 for k.
0
Let g = 55 + -58. Let l be (-8)/g*(-11)/((-176)/24). Solve l*z - 3*p = -11, -3*z + 12 = -z + 2*p for z.
1
Let b be (-32)/(-10) + (-44)/(-55). Suppose b*l = 2*n - 18, -2*n - n - 5*l - 6 = 0. Solve -4*r + 7 = -n*x - 1, 4*r + 12 = -2*x for x.
-4
Suppose 0 = -5*t + m - 1 + 3, 5*t + 4 = -2*m. Let f = 6 + t. Solve -f = -2*o, -r + 2*o + o - 14 = 0 for r.
-5
Let v be (-888)/(-28) + 28/98. Solve -4 = -2*a - s, 3*a - 7*a + 4*s + v = 0 for a.
4
Suppose 0 = -13*x - x + 70. Suppose -x*a - 28 + 118 = 0. Solve -5*h - 7 - a = 0, 3*w = -5*h - 34 for w.
-3
Let m(d) = -d**3 - 6*d**2 + 52*d - 30. Let z be m(-11). Solve -2*y = 4*w + 4, z*y - 8*y + 3*w + 16 = 0 for y.
2
Suppose -5*u + 18 = -4*a, -3*u + 5*a = a - 14. Solve 3 - 11 = 4*s + 3*f, -u*f + 3 = s for s.
-5
Let q be (18/7)/(9/42). Solve q = o + 2*o + 4*t, -9 = 4*o - 3*t for o.
0
Let w(z) = 9*z - 7. Let r be w(-6). Let q = -54 - r. Solve -4*c - q = -3*a - 2*a, -4*a + 8 = -4*c for c.
-3
Suppose 5*n - 4*y + 1 = 0, 11 = -3*n + 5*y - 0. Suppose k = 2*c + 2, -k + 2*c + 5 = 3*c. Solve 3*l = i - 7, i - 20 = -n*i + k*l for i.
4
Let g be (-29)/(-6) - (-1)/6. Let x(l) = -l**3 - 8*l**2 - 6*l + 7. Let v be x(-7). Solve -c + 3*z - 5 = v, g*z - 31 = -0*c - 4*c for c.
4
Let a be (17/51)/((-1)/(-6)). Suppose a*c + 5*r = 8 + 1, 3*c + 5*r = 11. Solve -2*f - 13 = -5*p, -c*f - 2*f - 11 = -5*p for p.
3
Suppose 0 = -5*y + 5*v - 10, 2*y = 3*v - 6. Solve -5*a + o = y, -2*o = -3*o for a.
0
Suppose 55*g + 40 = 150. Let r be 5/((2 + -1)*1). Solve -5*x - 2*o = 5 + g, -3*o = -r*x - 27 for x.
-3
Suppose 5*h + 22 - 2 = 0. Let j be -2*(-2)/h - -3. Solve j*q + 4*d - d = -7, -13 = 3*q + 2*d for q.
-5
Suppose 0*x = x - 2. Suppose -c - 3*c + 2*p + 16 = 0, 20 = x*c + 2*p. Solve 5*l + 28 = 3*g, g + 0*l - c = l for g.
1
Suppose 5*r - 130 = -45. Solve -5*d = 3*o - r, -o - 15 = d - 5*o for d.
1
Let k = -4 - -4. Suppose -2*b + 10 = -k*b. Suppose 5*z + 1 = -4*x + 4, -b*x = -5*z + 30. Solve z*a = a - m - 12, 2*m = -4 for a.
-5
Let l = 28 + -97. Let y = l - -76. Solve -5*m = -v - 3*m + y, 4*v + 4*m = -8 for v.
1
Suppose 47*c = -27*c + 296. Solve -c*b - 4*a + 32 = 0, 5*b + 0*b = 5*a for b.
4
Let y = 4 + 1. Let x(n) = n + 3. Let m be x(-3). Suppose m = 3*g - 5 - 7. Solve -22 = -y*t + g*q, -q = -5*t - 0*q + 13 for t.
2
Let z = 208 - 204. Solve v - 12 = b - 4*b, -b + 4 = -z*v for v.
0
Let k(u) = u**3 + 13*u**2 - 13*u + 18. Let i be k(-14). Suppose -i*a - 13 = -17. Solve f - 2*g = 3*f - 4, -2*f + a = 5*g for f.
3
Let f = -70 + 74. Suppose u - 1 = f*a, -3 - 2 = -5*a. Solve 2*r - 10 = -5*s + u, -r - 3 = -s for s.
3
Suppose -30*h + 12 = -27*h. Suppose 5*o + 4*t - 122 = 0, -5*t - 2 - 5 = -o. Suppose -28 - o = -5*l. Solve -h*b = 2*v - l, v + v = -3*b + 5 for b.
5
Let a = -1593 + 1597. Solve t + a*t = 2*p + 30, 0 = 5*t - 5*p - 45 for t.
4
Let q(z) = -1. Let r(i) = -4*i + 3. Let y(v) = 4*q(v) + r(v). Let m be y(-2). Suppose 8*h - m*h = 0. Solve w - 5*u + 23 = 0, h = 4*w + w - 5*u + 15 for w.
2
Suppose 67 - 34 = -3*o. Let s be 1 - -1 - (o - -10). Let h be 3 - 0/(0 - -1). Solve -20 = -k - 3*x - h, 2*x + 7 = s*k for k.
5
Let d = -4 + 7. Let s be (1 - -1) + (d - 3). Suppose s*j - 3*q + 8 - 3 = 0, q = 2*j - 1. Solve -5*a - r + 2 = -3*r, -2*r = 4*a + j for a.
0
Suppose 3*n - 10 = 2*r, 0*r - 4 = 2*r. Suppose 3*y = n - 98. Let w = y - -34. Solve -3*i = w*d - 5*i - 8, 5*d = -2*i + 13 for d.
3
Suppose -31 - 89 = -3*j. Suppose j = -2*b - 0*b. Let z be (16/b)/(6/(-15)). Solve -z*p - 20 = -4*w - 8, -w + 21 = -5*p for p.
-4
Let x = -113 - -117. Solve 4 = -u + 5*q - 21, -x*u + 2*q - 28 = 0 for u.
-5
Let q(p) = p**2 - 11*p + 10. Suppose -5*r + 4*h + 34 = 0, -2*h + 50 = 3*r + 3*h. Let x be q(r). Solve -i - 3*m = -10, x = -i - 4*m + 5 + 8 for i.
1
Let w be (0 + -1)/((-14)/28). Let s = 30 + -27. Solve -s*m - 6*f - 6 = -f, 4 = -w*m - 2*f for m.
-2
Let a be 2*-1*(-45)/18. Let j = -308 + 313. Solve 0*k + 4*s = -3*k + 3, 5*s = -j*k + a for k.
1
Suppose 6*c - 1 = 23. Solve -2*d + 0*d = -z, -4*z = -c*d for z.
0
Suppose g = 4*g + 3, 5*s - 21 = -4*g. Let w(v) = 4*v**2 - 2. Let x be w(-2). Solve s = -2*m - 5*a, -26 = -5*m + 5*a + x for m.
5
Suppose -4 = -12*n + 10*n. Suppose -n*a - 2*a + 24 = 0. Suppose -l + 6 = 3*g, -a = -3*g + 3*l + 12. Solve -4*i = -s - 5 + 4, 0 = 3*s + g*i + 18 for s.
-5
Let n = 97 + -96. Suppose d - 2 = n. Solve d*c + 13 = -w, -2*w - 10 = 3*c + 4 for w.
-1
Suppose -11 = -344*j + 333*j. Solve h - 4*f + 4 = j, 1 = -4*h + 5*f for h.
1
Suppose 4*r - 72 = -32*r. Solve -4*x - r*d + 20 = 0, -d + 3 = -1 for x.
3
Let j(u) = 2*u**2 + 4*u - 37. Let a be j(-6). Solve 5*q - 14 - 16 = -5*z, -2*q + a = z for q.
5
Let h(q) = -2*q + 1. Let m be h(4). Let g(r) = r**3 + 7*r**2 - r - 4. Let z be g(m). Solve -3*a = c + a - 16, -z*c + a + 9 = 0 for c.
4
Let g be (-4)/10 + (-728)/(-520). Solve 0 = -z - 2*o + 5*o + 8, g = 5*z - 2*o for z.
-1
Suppose 9*c - 180 = -9*c. Solve -t - 4*t = -5*b - c, 5*b = 4*t - 11 for t.
-1
Suppose 154*p