2*a + 2*o - 11, -3*o = 4*a - b for a.
2
Suppose -641 = 18*g - 677. Solve h = g*c + 6, 5 = 2*c + 11 for h.
0
Suppose -6*w + 12 + 18 = 0. Suppose -4*n + 7 = w*o - 28, 0 = 4*n + 2*o - 26. Solve 3*y + 1 + 2 = -4*b, 3*y = n*b + 24 for y.
3
Let m be -1 + 4 - (-9 - 0). Solve 0 = 2*w - 10, 0 = 5*r + 4*w - m - 33 for r.
5
Suppose -y = 3*o - 5*o - 11, -4*o = 12. Solve -y = l + 2*t, -t = 5*l - 2*t - 30 for l.
5
Let i be 2/(-12) - (-302)/12. Suppose -2*m + i = 3*m. Suppose -m*q = -4*s - 124, -3*q - 3*s = s - 68. Solve 4*d = -5*x - 0*x + 21, 5*d - q = -4*x for x.
1
Let p be (-3 + 2)*8/(-1). Suppose p + 7 = 5*a. Let f be (0/1)/(-1) + a. Solve 0*k - 3*z - 6 = f*k, 0 = k - z - 2 for k.
0
Suppose 0 = 4*u + 20, -5*u + 25 = 5*c - 4*u. Let n be (-3)/(c/(-46))*(3 + -2). Solve 0 = 3*z - 4*w - n, -z + 2*w = -3*z + 6 for z.
5
Let l = -9 + 20. Solve k = -5*d + 9, 4*d = -2*k + 5*k + l for k.
-1
Let t(v) = v + 15. Let r be (-59)/5 - (-9)/(-45). Let x be t(r). Solve -2*f = b + 10, -2*b = -x*f - 8 - 7 for f.
-5
Let g(f) = 31*f - 184. Let d be g(6). Solve 3*k + k = -d*r, -5*r - 20 = 0 for k.
2
Suppose 2 = -2*k + 10. Suppose 0 = o + k*o - 35. Let n(w) = -w**2 + 7*w + 2. Let u be n(o). Solve -4*c + b = -23, -2*b + 4 = -u*c + 4*c for c.
5
Let g(c) = -9*c + 276. Let j be g(29). Solve 0 = d - 5*f - 12, -3*f - 1 = -5*d + j for d.
2
Let x = -14 - -38. Let f be (x/(-20))/(4/(-10)). Let p(j) = j. Let d be p(f). Solve 15 = -d*w - 3*t + 3, 12 = -w - 3*t for w.
0
Suppose 4*n = 6*n - 16. Suppose n = 2*v, v - 5 = -d - 0*d. Solve 0 = -2*b - 2*x - d - 1, 2*b + 18 = 2*x for b.
-5
Let c be -2*(-6)/4 + -3. Let v be 4 - c/(3/3). Solve v*m - 4*g + 0*g = -32, g - 23 = 4*m for m.
-5
Let z = 1948 + -1948. Solve 2*v - 3*f = z, -7*f + 5 = 3*v - 9*f for v.
3
Let c = -500 + 518. Solve 2*t = 3*m + m - c, -1 = 4*t - m for t.
1
Let h be 3/(-2)*(-220)/165. Suppose 2 = -5*p + 4*v - 3, 5*p + 3*v = 30. Solve -5*d = h*j - 16, j + 14 = -0*j + p*d for j.
-2
Let d = -161 - -163. Solve -5*j - 5 = 2*c, 2*j + d = 2*c + c for j.
-1
Let f be 225/21 - 4/(-14). Suppose 2*t - 10 = -4*y, -y = -3*y - 3*t + f. Let g be (1/y)/((-1)/(-4)). Solve g*c - 4*z = -12, 3*c + z + 3*z - 26 = 0 for c.
2
Let s = -26 - -28. Let k(t) = t**2 + 6*t - 6. Suppose 0*o + 3*o + 21 = 0. Let r be k(o). Solve s*w - 4*b + r = -5, -3*w + 5 = b for w.
1
Let a = -471 + 476. Solve 5*k + 2*n + 3*n - 40 = 0, n = -a*k + 28 for k.
5
Let l = 3 - -2. Suppose 162*d - 20 = 157*d. Solve l*h + 26 - 1 = r, d*r = h + 24 for r.
5
Suppose 3*g - 4*v = -g - 8, 4*v - 8 = 0. Suppose g = p + 3 - 20. Let z = -12 + p. Solve 0 = -4*x + z*l + 15, x + 2*l - 7 = -0*x for x.
5
Let j be ((-16)/(-48))/((-3)/(-45)). Solve -j*b + 18 = -4*t, 0 = -2*b - 0*b + t + 6 for b.
2
Suppose -d - n + 3 = -4, 5*n - 15 = 0. Let v = 8 - 18. Let q be (-6 - v)*(3 - 2). Solve d*o + 2*p - 24 = -2*p, q*o - 4*p = -8 for o.
2
Let b = -38 - -49. Suppose -2*x - 2*q + 3*q = 1, 3*q = 2*x + b. Solve -4*y + y + 17 = 5*o, 18 = -x*y + 4*o for y.
-1
Suppose 12*u - 103 + 55 = 0. Solve -4*d = u*h - 9*h + 7, -5*h + 23 = 4*d for d.
2
Let v be ((-2)/(-1) - -1) + -12. Let i(c) = -c - 7. Let o be i(v). Let u be (o/(-2))/(1/(-2)). Solve 4*t - 5 = -a, 0*t - u*a = 3*t for t.
2
Let p(y) = -4*y - 11. Let l be p(-5). Suppose 15 = a + l. Suppose -a*s + 21 = -9. Solve 0 = 2*f - q + 8 + 2, 0 = -s*q for f.
-5
Let a = 196 - 163. Let r = 0 + -4. Let g be r/(-18) - (-32)/18. Solve g*q - 1 = -3*x, -2*x - 7 = -5*q - a for q.
-4
Let p(j) = j + 26. Let m be p(-15). Solve o + 3*n = n + m, 5 = n for o.
1
Suppose -77*p + 16 = -69*p. Solve -c - x + 1 = 0, p*c - 7 = -c - 5*x for c.
-1
Suppose 9*n - 10 = 4*n. Suppose i - 2*i = 2, -i - 82 = -5*k. Let a = 41 - k. Solve -2*s - s - 13 = -n*j, 5*s + a = 0 for j.
-1
Let k = -995 - -997. Let a = 2 + 0. Solve -4*t + 2*t + k*j = 0, -a*j - 1 = -3*t for t.
1
Let m be 0/(1*(-5 + 4)). Suppose -20*f + 22*f - 18 = m. Solve -4*c - 5*y = -f, 0 = -3*c - 4*y - 0 + 7 for c.
1
Let z(j) = 10*j - 8. Let k be z(-5). Let w = 62 + k. Solve -m + 5*l = 6 - 28, -4*l = -w*m + 8 for m.
-3
Let v = -257 + 259. Solve -4*r - 4*i = 0, v*r - 4*i = -0*r + 6 for r.
1
Let o be -1 + (-3)/(-5 - -2). Suppose 0 = -o*n - 2*n - 102. Let a be (1 - 3) + n/(-3). Solve -y = 7*p - 4*p - a, y + 4*p = 19 for y.
3
Let t be (-40)/280 + 3/(63/318). Solve -y + 20 = -3*n, -y - t = y + 5*n for y.
5
Suppose -5*b = -3*y + 15, 4*y - 22 + 2 = -2*b. Solve -y*h - o = 0, 2*h - o + 7 = -0*o for h.
-1
Let l(x) = -x**2 - 61*x - 547. Let v be l(-11). Solve v*j + 4 = -5*p, -18 = 3*j + 2*j - 3*p for j.
-3
Let o be (-1)/(-4) - (-72)/(-32). Let g be 4/(-5) - (-49)/(-35)*o. Solve 0 = 3*y + g*n - 22, y = n + 3*n - 16 for y.
4
Let f be (4 - -1)*((-66)/(-15) + -4). Let a(d) = -6*d + 4 + 3*d**2 + 1 - 3 + 0*d**2. Let q be a(f). Solve 2*y - q = -0*y, 0 = k + y - 4 for k.
3
Suppose 12 = 4*c + 4*j, 126*c = 131*c + j - 23. Solve 0 = -c*d + 4*n + 9, 2*d + 1 = -0*n - 3*n for d.
1
Suppose -15 + 0 = -5*y. Suppose l + 4 = -2*h, 4*l + y*h + 0 - 4 = 0. Solve -l*i - 2*g + 8 = 0, 3*i - g - 6 = 2*g for i.
2
Let z be (4/3)/((-1)/(-6)). Suppose m - z + 3 = 0. Solve -4*w - 4*v = v - 16, 0 = -m*w + v + 20 for w.
4
Let r(b) = b**3 - 27*b**2 - 29*b + 33. Let t be r(28). Suppose -3*i - 5*q + 20 = 0, -2*i + 2 + 9 = q. Solve 3*y - t*n + 8 = -7, -i*y - n = -3 for y.
0
Let q be ((0 - 2) + 2)/(-2). Solve -3*n + v = -9, q = 2*n - 3*v + 1 for n.
4
Let u = 43 - 40. Let z be (-4)/u - (-5)/(120/152). Solve 0 = -5*p - 6*r + 2*r + 25, 24 = -p + z*r for p.
1
Suppose -29 = -t - x - 28, -5*t + 5 = -4*x. Solve -f = 3*n - 5, -2*n - f = -3*n - t for n.
1
Let z(d) = d**2 - 11*d + 12. Let l be z(9). Let v be 8 + l + (-6)/(-2). Solve -2*m - 8 = -v*a, 5*m + 3*a - 9 = 2 for m.
1
Let r = -4 + 7. Solve 0 = 3*i - 8*i + 3*c + 14, -3*i = -r*c - 12 for i.
1
Suppose -5*a - 29 = -9, -n + 6 = -2*a. Let r be (-32)/(-3 - n) - 2. Let d = 55 - r. Solve 0*j + 4*j = 4*m + 12, 5*m + d = 0 for j.
-2
Suppose -26*a - 3 = -27*a. Solve -v = h + 2, -v + a*h + 5 + 1 = 0 for v.
0
Suppose -3*i = 3*h + 63 - 69, 4*i = 0. Solve b - h*d = 0, -b + 0*b + 4*d + 2 = 0 for b.
-2
Suppose -177 = -3*t - 0*t - 3*k, -3*t = -k - 161. Suppose -2*o + 3 = -t. Solve -3*i = v - 5*i + 11, 4*v + o = 5*i for v.
-1
Let f = 15 + -15. Suppose -5 = 2*s - 13. Let y be (-1)/6*-3*s. Solve f = -3*q + 3, y*z + 2 = q + 11 for z.
5
Let t be 2/(-6)*1*(-4 - 29). Solve -k + 2*k = 2*m + 4, 4*k = -m - t for m.
-3
Let r(v) = v**2 - 15*v + 47. Let f be r(4). Solve -o = -4*b - f, 0 = 5*b - 7*o + 2*o for b.
-1
Suppose -3*o - 36 = -3*z - 12, 5*z - 16 = -o. Solve 4*m + z = -0*m, 3*m = 5*s - 23 for s.
4
Suppose -28*b - 213 = -99*b. Solve -3*k - 2*s + 4 = -5*k, -b*s + 5 = -2*k for k.
-1
Suppose -63 = -5*a + 2*g, -16 = -a + 5*g + 15. Suppose -10 = 6*q - a*q. Suppose -4 = -j + u, 0*j - 5*j + 8 = -u. Solve -l = 4, 15 = 2*k - q*l + j for k.
3
Suppose 3*k + 33 = 3*b, 3*b + 0*b - 5*k - 35 = 0. Suppose 107 - 17 = b*a. Solve -5*x - w + a = 0, x - 1 = -2*w + w for x.
2
Let i be 6*12/(-18) + 7. Solve 8*w = -2*r + i*w + 5, -5*w = -5 for r.
0
Let m(r) = -58*r - 157. Let h be m(-3). Solve 0 = -3*i - 0*i - l - h, 0 = 3*i - 3*l + 9 for i.
-5
Let v(r) = 15 - 5*r + 14 + 3*r. Let h be v(13). Solve 2*x + u - 3*u - 8 = 0, -x = -h*u - 8 for x.
2
Suppose -84 = -5*r + 61. Let l = r - 24. Solve 3 = y, 19 = -l*x + y + 2*y for x.
-2
Suppose -11*n + 15*n - 44 = 0. Let d be (((-55)/(-2))/(-5))/(n/(-22)). Solve -c + 8 = 3*k, -k + 2*c - 4*c = -d for k.
1
Let p(s) = -10*s + 110. Let r be p(11). Solve r = 2*y - 4*x - x + 13, 3*y + 2*x = -10 for y.
-4
Let m(x) = 2*x**3 + 44*x**2 + 2*x + 48. Let g be m(-22). Solve -3*y + 3*q = 6, g*y - 3*q + 8 = 3*y for y.
1
Let p = -37 - -42. Suppose c = -p*v + 16 + 2, 2*c + 3 = 3*v. Solve -h - 8 = 3*z, -c*h - 4 = 5*z + 4 for h.
4
Suppose 2*q = 2*g - 3*q - 3, 5*q + 11 = 4*g. Solve -g*p + 10 = -3*h + 3, -4*p - h - 13 = 0 for p.
-2
Let n be ((-32)/(-28))/((-1)/((-7)/2)). Suppose -2*p = 4*b - 8, -3*p + n*b - 8 = -2*p. Solve p = -5*w - 2*z + 8, w + 0*w - 3*z + 12 = 0 for w.
0
Suppose -4*o = 4*h - 64, 0 = -5*o - 3*h - 19 + 93. Solve z + 4*k = -6, 3*z + o*k - 12*k + 7 = 0 for z.
-2
Let k(f) = -2*f**2 + 60*f - 91. Let x be k(28). Solve 4*r + 2*s + 6 + 12 = 0, s + x = -5*r for r.
-4
Suppose -4*x - 2 = 46. Let k be ((-9)/(-6))/((-6)/x). Suppose 0 = k*f + 2*f - 15. Solve -2*j + 5*a - 16