3, f*u = -2*y + d for y.
4
Suppose 4*o + 63 - 18 = 3*z, 2*z + 2 = 0. Let h(m) = -11 + 4*m - 4 - 5*m + 5. Let r be h(o). Solve 4*d + 15 = -3*u, u + 1 = -r*d - 4 for d.
0
Suppose 2*d + 3*h + 18 = 0, 192*d = 196*d - 4*h - 24. Solve -7*u + 4*v + 19 = d, u = 4*v - 2 - 9 for u.
5
Suppose 197*c - 7 - 978 = 0. Solve -16 + 10 = 2*w + c*b, 10 = -5*b for w.
2
Let s(t) = 13*t**3 - 3*t**2 - t + 3. Let j be s(1). Let d be j/(2 + 0) - 6. Solve -5*q + 12 = -2*q, -f + q - 4 = d for f.
0
Suppose 18 = -2*u - 7*u. Let g be 8/4*((-6)/u - -2). Solve -3*m + 20 = 4*z, -5*z + 4*m + m = g for z.
2
Suppose 128*b = 167*b. Solve -3*t + 2*s + 21 = b, 9*t - 5*t - s = 23 for t.
5
Let f = -14158 - -14174. Solve -5*t - f + 6 = 0, -3*b + 2*t = -4 for b.
0
Suppose -10*j + 62 = 12. Suppose j*l - 20 = 0, 3*l = -4*h + 7*l - 16. Solve p + 8 = -4*u, -u + 17 = -h*u + 5*p for u.
-3
Let i = -17861 + 18191. Solve i*y = w + 332*y + 2, 3*w = -4*y for w.
4
Suppose -j = 5*v - 19, 0 = -2*v - j + 6 + 1. Suppose -x = -k + 12 - 19, 4*x + 4 = -v*k. Solve -x*i = 2*z + 23, -3*i + 4*z - 2 = -3 for i.
-5
Let f = -24514 + 24516. Let k = 1 + -1. Solve 4*q = 5*s + 13, k = s - f*s - 2*q - 11 for s.
-5
Suppose 197*m - 785 + 191 = 194. Solve -4*p - 9 = -5*o, 23*o - 24*o = 5*p + m for o.
1
Let c(t) = -2*t**2 - 534*t + 1624. Let s be c(3). Solve 2*j = s*g + 8, -7*g - 24 = 3*j - 4*g for j.
-4
Suppose 98 = -151*v + 147 + 404. Solve -3*m + 3 = -q + 4*q, 3*m = v*q + 27 for q.
-4
Suppose a = -5*c + 26, 26 = 4*c - c - 2*a. Suppose c = -77*t + 80*t. Solve -t*p + 1 = -3*h + 2*h, -3*h = p + 10 for h.
-3
Let p(g) = 6*g**2 + 2*g + 1. Suppose 27 - 3 = -6*w. Let k be (w - (-3 + 1))*(-2)/(-4). Let h be p(k). Solve -c - 3*l - 27 = 2*c, -c - h*l - 25 = 0 for c.
-5
Suppose 12 = p + 5*y, -13 = -p - 4*y - 3. Solve -15 = -p*t - 9, 2*t = 4*k + 14 for k.
-2
Suppose 0 = 2*d + 12, 3*f - 2037*d = -2040*d + 342. Solve 0 = 4*a + t + 14, 3*a + 11 = -121*t + f*t for a.
-3
Suppose 1464 = 3*o - 0*o. Suppose -12*x = 628 + o. Let q = x + 94. Solve 2*m = -5*k + 6, q = m + 4*k - 2 for m.
3
Suppose 16*f - 143 = -68*f + 25. Solve -4*o - 2 = -2*s, 5*o - 4*o = f*s + 4 for o.
-2
Suppose -138 = -8*u + 118. Let n = u - 66. Let y = n - -34. Solve 4*j - 27 = -5*r, -6 = -3*j - y*r + r for j.
3
Suppose 3*y = -2*g + 21, 14 = 2*y - y + 3*g. Solve -3*f = -4*z + 3, -y = 5*z + f - 3*f for z.
-3
Suppose 0 = -5*h + 4*f + 11, 13*h - 1 = 14*h - 4*f. Solve -6 = h*p + 3*l, -3*p + 5*p = -4*l - 12 for p.
2
Let a(l) = -14*l - 73. Let u be a(-6). Suppose -2*v = 164 + 116. Let o be v/(-44) - 2/u. Solve -4*z + 2 + 1 = d, -6 = -3*z + o*d for z.
1
Let f(g) = -g**3 + 32*g**2 + 39*g - 196. Let w be f(33). Solve -11 = -2*v - 3*m, -3*m + 9 = -w*v + 14 for v.
4
Let r be -7 + 11 - 4/((-9)/(36/(-16))). Solve 3*z = 6*z + r*a + 6, 0 = 2*z - 3*a - 11 for z.
1
Let h(a) = -a**3 + 24*a**2 + 27*a - 49. Let z be h(25). Solve 0 = 5*p - 3*m + z, -2*m = -p - 5*m - 11 for p.
-2
Suppose -58 = -81*s + 78*s - 2*l, -2*l + 102 = 5*s. Suppose 28 = s*p - 8*p. Solve -4*z + 12 = 2*i, -3*z = -p*z + 4*i - 17 for z.
1
Let u be 52/(-5) + 4/10. Suppose 4*x - 7*d = -3*d - 4, -d = x - 3. Let b be (5/(u/(-4)))/x. Solve 3*v = -4*z + 8, -5*v - 3 = 3*z + b for z.
5
Suppose q - 9*h + 3 = -8*h, 5*q + 3*h - 25 = 0. Let d be 3*(-8)/6 - (-4 - q). Solve 0 = 5*k + 3*u + 3, -d*k - 22 = -2*u - 2*u for k.
-3
Suppose -4*w = 5*u - 10, 2*w + 18*u - 44 = 22*u. Solve 2*f + 8 = -2*t, f - 2 = -5*t + w*t for f.
-3
Let o = 5914 + -5909. Solve 4*x - 11 = -3*c, -o*c + 21 - 18 = -x for x.
2
Suppose -5*t + 13 = -7. Let l(y) = y**3 + 12*y**2 + 2*y - 19. Let s be l(-9). Let b = s + -186. Solve 5*z = -b, -t*k + 2*z + z = -32 for k.
5
Let i be (-4 - -1) + 6 + -21. Let w = i - -24. Suppose -t - 8 = 5*z, -4*t = -0*z - 4*z - 16. Solve 2*x - 3*x = t*l - w, -3*l + x = -9 for l.
3
Let o be 2*(-4)/8*-5. Suppose -2*k = 3*i - 177, -2*i = 3*i + 15. Let n = 97 - k. Solve n*c = 3*h, 0 = 5*c - 0*h + o*h - 35 for c.
3
Let x(u) = -u**2 - 2*u + 59. Let v be (-7 - 0)*5/((-105)/18). Let l be x(v). Solve -3*c = 2*o - 0*o + 19, o = -2*c - l for o.
-5
Let d = 1086 + -1070. Solve 0 = 2*p + t - 3, d*p - 4*t = 13*p + 21 for p.
3
Let r(o) = -6*o**2 + 4. Let k(g) = -7*g**2 - 3*g + 4. Let n(c) = -5*k(c) + 6*r(c). Let q be n(15). Solve s - 12 = a + q*s, -5*s - 34 = -3*a for a.
3
Let l = -524 - -524. Solve l = 5*b - 4*q + 11, 3*q + 3 = -5*b + 20 for b.
1
Suppose -11*o = -14*o + 9*o - 12. Solve 4*m = 3*l - 8, o*l - m = -0*m - 3 for l.
-4
Suppose 0 = 3*s + 76 + 32. Let r = 59 + s. Suppose 24*y = r*y + 2. Solve 2*o - 24 = -4*z, y*z = -o + 3*o for z.
4
Suppose 4*t + 20 = 2*v, -4*v - t + 3 = -1. Suppose -4*a - v + 14 = 0. Let j be ((-64)/(-10) - (-10)/(-25))/a. Solve 2*q - 2*w = 2, j*q + 0*q = 4*w + 10 for q.
-3
Suppose -2029 = -11*l - 2*l + 142. Solve 2*b = -8, 168*b + 19 = 3*k + l*b for k.
5
Suppose -r + o = -9, 44 = 4*r + o + 8. Solve c - 5*l = 2*c - 21, 5*c - r = -l for c.
1
Let a = 8380 - 8380. Let r(j) = j**2 - 7*j + 6. Let g be r(7). Let x be (g/(-2))/((-9)/6). Solve 3*k - 5*z + x*z - 3 = a, 0 = 2*k + 2*z + 14 for k.
-3
Let c(b) = -7*b + 34. Let v be (-4 - (-3)/(-3))*(-24)/10. Let q be c(v). Let w = q - -55. Solve t - 2 = 0, 2*t = -w*s - 0*t - 16 for s.
-4
Let m(t) = -4*t**2 + 25*t + 278. Let n be m(12). Solve -5*l - 11 = n*s + 4, 0 = -3*l - 3*s - 18 for l.
-1
Let u = 248 - 701. Let c = u - -484. Solve -2*x - c = -4*i - i, -x - 4*i = -17 for x.
-3
Suppose 5*i = r - 399, 6*i - 782 = -2*r + 8*i. Let q = 391 - r. Solve 0 = -j + 2, 3*w + 3*j = 4*w + q for w.
4
Suppose -133*l = -316 - 94 - 122. Solve 4 = -l*a, 4*n + 3*a = -1 - 2 for n.
0
Suppose 3*q = -6*t + 12, 4*t + t = 5. Solve -a + 0*a + 5 = -q*x, 24 = -3*x - 4*a for x.
-4
Let m = -10 + 14. Suppose -4*p - 2*k = 20, -2*p - 14 = 2*k - 4. Let j be 1*(4 + 6) + p. Solve 0 = -j*b - f - 14, m*b - 1 + 29 = -5*f for b.
-2
Let d = 302 + -198. Suppose -113 = -9*f - d. Solve 0 = -c + o + f, -3*c + 3*o + 11 = -2*o for c.
-3
Suppose 66*s - 69*s = -3*r - 9, -s - 2 = 4*r. Suppose -6*p + 2*p + 36 = 0. Suppose -4*z - 1 = -p. Solve -5*b = 3*t - s, -z*b = 3*b - 3*t + 22 for b.
-2
Let t(d) = 22*d + 20. Let q(j) = -20*j - 18. Let p(k) = -4*q(k) - 3*t(k). Let h be p(1). Solve 0 = 2*i + 4*o + 18, 4*i + 3*o + h = -0*o for i.
-5
Let a = 247 + -53. Let y = -174 + a. Solve -3*o - y = -5*p, 0 = 2*p - 5*o + 2*o - 17 for p.
1
Let g = -363 - -363. Suppose g*i = 7*i. Solve -y - v = -3 - 0, 5*v = i for y.
3
Suppose c = -2*c + 6. Suppose 0 = f + c*f - 15. Let q = -46288 - -46291. Solve -q*u = -n + 14, f*u + 11 + 9 = 0 for n.
2
Let z(r) = 4*r**2 - 35*r - 7. Let c be z(9). Suppose c*p + m - 8 = 3*m, 0 = -2*p - 2*m + 24. Solve 3*i - 5*t - p = -3, 0 = 3*t + 12 for i.
-5
Suppose h - 3 = -32*o + 27*o, 0 = -5*h - o + 39. Solve h*z + 10 = 10*z, 2*d = -5*z + 25 for d.
0
Let f(r) = -2*r**3 + 30*r**2 + 35*r + 40. Let n be f(16). Let d = -83 + n. Solve 0 = -c + 3*o - 0*o - d, 0 = -5*c + 2*o - 25 for c.
-5
Let v = -11293 - -11359. Solve -65*k = -v*k - 5*d + 1, -4*d = 0 for k.
1
Suppose 85*i - 550 - 708 = 357. Solve 4*v + i = f, 55*f - 58*f + 22 = -5*v for f.
-1
Let t be 7 + 18 + 6/(-6)*5. Solve t*l - 24*l - 1 = -5*u, -4*l + 4*u = 0 for l.
1
Suppose 0 = 4*v + 2*q - 76, -3*q - 19 = -v - 4*q. Let b = v + -15. Solve 13 = b*m + 3*l - 2*l, m = -3*l + 17 for m.
2
Let u(a) = 2*a - 1. Let p be u(4). Suppose -p*n = -6*n - 10. Let q be 38*((-5)/n)/(-1). Solve -5*x - 11 = -l - 3*x, -4*l + 3*x + q = 0 for l.
1
Let o = -679 + 685. Suppose 79*g - o = 76*g. Solve 9 + 5 = -2*r - 4*h, -4*r + g*h = 8 for r.
-3
Suppose z + 2 = -4. Let y be z/(-1)*3*12/27. Solve l - 3*l - 5 = -b, -5*l - y = -b for b.
3
Let v(g) = -2*g**2 + 13*g - 14. Let a be v(2). Solve -3*k + 0 + 16 = 2*t, a*k = -4*t + 24 for t.
2
Let u(a) = -3*a - 4. Let t be u(-10). Suppose -2*x = h + 6, 4*h - 5*x - t = h. Let y = 1781 + -1778. Solve -2*o = y*f - 7, -5*f - h*o = -f - 12 for f.
5
Let w(g) = -g + 11. Let k be w(9). Let z = 6085 + -6081. Solve 5*n + 4 = 4*r, z*r = -n + 2 + k for n.
0
Let m(f) = -f**2 - 8*f - 6. Let y be m(-7). Suppose 7*n - 2*n + y = 4*i, -i + 16 = 4*n. Solve 8 = -i*p + 3*s, p + 2*p = -5*s - 6 for p.
-2
Let x be 12 + (-18 - 30/(-3)). Solve 0 = -4*g - x, -3*u = -2*g - 7 + 2 for u.
1
Let y be (1/1 - -1) + 26. Let a = y - 23. Let n be (-12)/(-6) + -7 - -10. Solve 4 + 14 = -4*w + 2*s, a*w = -3*s 