Solve h - 5 = 2*t, -5*t = 8*h - v*h + 40 for h.
-5
Suppose 8*r - 14*r = -372. Let c = r + -57. Suppose -1 = d - y, 4*d - 2*d - 3*y = -c. Solve 0 = -5*g + 3*p - 23, -2*g - d = p + 5 for g.
-4
Suppose -402*p = -368*p. Solve -4*g - 4*i - 4 = p, 4*g = 18*i - 16*i - 22 for g.
-4
Let m(n) = 2*n**2 - 6*n + 2. Suppose 2*i - 134 = -0*i. Let r = i + -64. Let x be m(r). Solve -2 = -0*b + x*b - 3*t, -t = -4 for b.
5
Let d = 219 - 209. Let p = 4 - -5. Suppose p*v + d = 14*v. Solve 6 = v*t + 5*r + 1, -9 = -3*r for t.
-5
Let b be 168/4 + 8/2. Let z = b - 38. Suppose 2*f - z = -5*v, 4*v - f - 2 = 7. Solve -x - 3*r + v = 0, -2*x + 2*r = -5*x + 13 for x.
5
Let r(y) = 2*y**2 - 12*y + 29. Let v be r(5). Suppose 35 = 9*c - v. Solve 19 = -5*z + 2*h + 1, -5*z - h = c for z.
-2
Let k = 200 - 153. Suppose -k = -r - 44. Solve r*f + 3*o - 14 = -2, -5*o + 5 = 2*f for f.
5
Let o = 1728 - 1725. Solve 2*p = 3*a - 1, -2*a + o*p + 8 + 1 = 0 for a.
-3
Let u = -36 - -40. Suppose u*f = -5*k + 21, -2*k = -3*k - 3*f + 2. Let m be -2 - (2 - 1)*(-7 + k). Solve 4*q - 4*i - 4 = m, 2*i + 9 + 5 = -q for q.
-4
Suppose 16*c - 21*c = -20. Let h be 2/c*(1 + -3)*-5. Solve -5*f + 2*s - 10 = -2*s, -5*s = h*f - 35 for f.
2
Let o(k) = -23*k + 169. Let x be o(7). Let g be (x/(-10))/(92/(-10) - -9). Solve -2*w + 17 = -6*w - j, -2*j - g = 2*w for w.
-5
Suppose 0 = -3*p + 30 - 3. Let c(b) = b**2 - 35*b - 2104. Let i be c(-32). Suppose 10*w - p*w = i. Solve -5*o = 2*h - 17, -4*o + 7*h = 2*h - w for o.
5
Let s(y) = 290*y - 2608. Let q be s(9). Solve -2 = 4*m - v, m + 2 = q*v - 2 for m.
0
Suppose 5*k - 6*k + 21 = -3*r, 0 = 3*k + 3*r + 9. Solve 2*a + 9 = k*s, a + 2*a = -4*s + 29 for s.
5
Suppose 531 + 952 = 22*u + 185. Solve -y + 5 = -3*k, -u*k + 64*k = 5*y - 5 for k.
-2
Let i(w) = -w**3 + 2*w**2 + w. Let j be i(-1). Let q be 488/3 - 2/3. Let m = q - 158. Solve -7 = 4*s - j*v - 19, -5*s - m*v = -28 for s.
4
Suppose 4 + 1 = -5*l. Let m be (l - 21/6)*4/(-6). Suppose m*d + u = 9, -3*u = 3*d - 13 - 2. Solve -h + 4 = -a, a - 2*a = -d*h + 4 for h.
0
Suppose 6*m = n + m + 25, 0 = n + m + 37. Let f be (-4)/14 - (-1 - (-465)/n). Solve 4*l + 10 = g, g - f = 5*l - g for l.
-2
Let m = 20587 - 20585. Solve m = -3*p - 0*p - q, -4*p = -4*q - 8 for p.
0
Suppose -4*u + 136 = -64. Suppose -13*b + 3*b = -u. Solve b*q - 15 = 5*a, -3*q - 4*a + a = 15 for q.
-1
Let h be (1 - (-7)/35)*5/3. Solve -3*o = -h*g - 8, -o + 3*g = 2*o - 6 for o.
4
Let w(a) = -3*a**2 - 60*a + 4. Let f be w(-15). Suppose 3*b - f + 82 = r, -2*r - 54 = -b. Let m = 50 - b. Solve m*p = 2, -6 = -2*i - 2*p + 4*p for i.
4
Let z be (-11)/(-22)*(-7 - -1)*-1. Solve a - 5*a + m + 13 = 0, -3*m = z*a - 21 for a.
4
Let q(w) = -w**3 + 7*w**2 - 3*w - 15. Let g be q(6). Suppose 10 + 50 = 5*o. Let j be -2*(-172)/72 - o/(-54). Solve -4*k = g*u - 23, u + j*k = -u + 27 for u.
1
Let c be 4/(-12) - 242/(-33). Let j be -5 + (16 - c) + -4. Solve -2*r + j = 3*u - 15, 2*r = 5*u - 25 for u.
5
Let d(n) = -390*n - 1541. Let c be d(-4). Solve 4*k - o - c = -0*k, -5*o = -5*k + 35 for k.
4
Let n(d) = 115 - 75*d + 162*d - 92*d. Let r be n(23). Solve 2*h = c - 8, r*h - 15 = -3*c + 3*h for c.
2
Let d(n) = n**3 + 6*n**2 + 171*n + 676. Let t be d(-4). Solve -4*l - t*q + 29*q + 26 = 0, 4*l = -2*q + 12 for l.
4
Let d = 192 - -2. Let s = d + -189. Solve -3*i - i + s*y = 23, y - 5 = i for i.
-2
Suppose -4*x = 8*f - 68, 4*f + 2917 = 3*x + 2886. Let v be 9/7 - (-4)/(-14). Let r(j) = -6*j + 1. Let l be r(-2). Solve -2*h + t = f*h + l, -h - 2*t = v for h.
-3
Let i be ((-5)/(2 + -7))/(((-21)/45)/(77/(-33))). Let f be 1 + 1*(0 + 4). Let t = -3 - -3. Solve 0 = -f*u - 3*j - 7, t = -i*u - 3*j - 2*j - 15 for u.
1
Let v be (6/(-9))/(2/(-9)). Suppose -v*m + 7 + 2 = 0. Let h = -22580 + 22583. Solve -7 - h = -a - m*z, 0 = -3*a - z + 6 for a.
1
Let i(r) = -r + 1. Let v(d) = 8*d. Let l(u) = 3*i(u) - v(u). Let s be l(-2). Let p = -8 - -14. Solve -s = 5*h - 5*m, -h = -p*h + 3*m - 19 for h.
-2
Suppose -z + 4 = -6. Let v be -9 + z - (-2 - 36). Suppose 4*g - 19 = 2*l + 11, -5*g + 4*l + v = 0. Solve i = 3*x - 11, 0 = -3*i + g*i + 4*x - 4 for i.
-2
Suppose -5*r - l + 3*l - 7 = 0, -l = -1. Let b be 7*(1 - (-1 - r)). Let n be 3/(8 + (-78)/12). Solve -i = j + 4, 2*j - 5*j = n*i + b for i.
-5
Suppose 0 = 4*u, 4*y + 146 = -5*u + 158. Solve 5*f = 2*r + 13, y*f + 3 + 2 = -2*r for r.
-4
Suppose -28*x - 4*x = 35*x - 1541. Solve p - 15 = 2*n, 5*p - 27 - x = 5*n for n.
-5
Let t = 2743 + -2739. Solve a - 5*b - 11 = -b, 0 = 5*a - t*b - 23 for a.
3
Let a(g) = -g + 26. Let n be a(23). Suppose 0*o + 4*o + 17 = n*q, 0 = q + 2*o + 1. Let i = -4 - -7. Solve -q*l = -5*k, -5*k = 5*l - i*k + 31 for l.
-5
Let q = -179 - -179. Suppose -10*r + 5*r + 28 = m, -4*r + 20 = q. Solve -20 = -4*v, -7 = -m*n - v - v for n.
-1
Let l be 9/((-99)/55)*(-5 - -4). Solve 2*b - l*v = -16, 0 = 2*v - 4 for b.
-3
Let j = -568 + 570. Let d = 33 - 16. Let r = d + -12. Solve -r = j*n - o, 4*o + 5 = n + 5*o for n.
0
Suppose -2*i - b - 94 = 0, 4*i + 2*b + 2*b = -188. Let y = 90 + -141. Let x = i - y. Solve 5*c - 3*j = x - 2, 4*j + 22 = -3*c for c.
-2
Suppose -6*k - 31*k = 1665. Let v be ((-48)/(-9))/8*k/(-6). Solve v*b = 3 + 2, 2*j = -3*b - 1 for j.
-2
Let f = 54 - 34. Let a be (-36*(-10)/600)/((-3)/(-10)). Solve -5*u = f, -5*u - 11 = -5*s + a*s for s.
-3
Suppose -27*b = -18*b - 1890. Let h = -200 + b. Solve -4*o = i + i + h, -5 = o for i.
5
Suppose 0 = 2*v - 5*r - 48, -4*v - 22 = -5*v + 3*r. Let s = -48 + 83. Let z = s - v. Solve -4*q = -5*o - 13, -q = -0*q + 3*o + z for q.
2
Suppose -64*n + 400 = 40*n - 79*n. Solve 0 = -q + 2, -13*b = -n*b + 5*q - 13 for b.
-1
Suppose -3*v + a = 3*a - 7, -5*v - 2*a = -13. Suppose 6*j = 3*j + 6. Solve 2 = 4*q + v*k + 3, j = q + 3*k for q.
-1
Let o = -3293 + 3295. Solve 0 = -o*l - p + 6, 0 = -8*p + 13*p + 20 for l.
5
Suppose 5*h + 27 = 7. Let d(r) = -r + 22. Let u(b) = -2*b + 45. Let i(p) = h*u(p) + 9*d(p). Let q be i(13). Solve c = 3*w - 5 - q, -c + 2*w = 8 for c.
-4
Let b(f) = -36*f - 574. Let h be b(-17). Solve -4*z - 4*r - 24 = 0, z + 41*r - h*r = -12 for z.
-3
Suppose -24 = -k + 72*o - 73*o, 0 = k + 5*o - 24. Solve 4*c - 4 = -3*j - k, 2*c - 3*j = -10 for c.
-5
Let g be (-11)/(-22) - (-9)/2. Let a = 1944 + -1935. Let r = 10 - 0. Solve -o + 2 + a = 2*v, v - r = -g*o for v.
5
Suppose 0 = -2*v + 2*g - 5*g - 54, -3*v - g = 74. Let z be 176/v + 7 - 8/(-6). Solve 0 = 2*m + f - 2 - z, -9 = -5*m - 4*f for m.
1
Suppose 4 = -q - 3. Let k(m) = -2*m**2 - 14*m. Let z be k(q). Solve -2*h + u = 2*u + 12, -h - 2*u - 12 = z for h.
-4
Let k(c) = -c**2 - 16*c + 201. Let u be k(8). Let w be u - (2 - (4 - 8)). Solve 3*v - 29 + 8 = w*y, 0 = 2*v - y - 12 for v.
5
Let t(k) = -k + 5. Let n be t(2). Let r = 67 + n. Let z = 76 - r. Solve 3*u + v - 10 = 0, 5*u + z = 3*v + v for u.
2
Suppose -2*o + 19 = -9. Suppose 0 = -7*h + o + 14. Solve h*n + u - 5*u + 12 = 0, -5*n - 3*u - 15 = 0 for n.
-3
Suppose -11*l + 37 = l + 1. Solve -3*b + 4*w = 14, -3 = -b + l*w - 16 for b.
2
Let b = -243 + 260. Suppose -b*y = -14*y - 6. Solve 5*q + 4 + 17 = y*x, q - 5*x + 18 = 0 for q.
-3
Suppose -4*w + 33*a = 37*a - 16, 0 = 3*w + 4*a - 13. Solve 2 = -2*v + 3*v - w*c, 0 = 4*v - 4*c + 8 for v.
-4
Let t be 9 + -7*(1 + (-2 - -2)*-1). Solve 4*c - 3*x = 5, -2*c + 4*x - t = 8 for c.
5
Let g be 69/15 - -11*10/275. Solve 5*v - 2 = c + 6, 11 = g*v - 2*c for v.
1
Suppose 1705 = -12*i + 1753. Solve 0 = -r - 2*c - 9 + i, -r = 5*c + 17 for r.
3
Suppose -100 = -303*f + 197 + 6. Solve q - 11 = -4*a, 24*q - f = -2*a + 25*q for a.
2
Let i = 3295 + -3291. Solve 0 = 3*v + 9, -i*d + 0*v + 3*v = -25 for d.
4
Let t(y) = -y**3 + 6*y**2 + 28*y - 90. Let m be t(8). Solve -a - a - 3*g + 3 = 0, a + m = g for a.
-3
Let t(l) = 12*l**2 - 4*l - 2. Let m be t(-1). Suppose -k + 75 = m*k. Solve -x + 3*n + 8 = -2*n, 16 = k*x - n for x.
3
Suppose 31*j - 38*j = -5257. Let i = j + -748. Solve -3*p - 9 = -i*u, -4*p = -9*p + 4*u - 17 for p.
-5
Suppose 5*w - 7*w = 5*s - 35, 0 = 3*w - 3*s. Suppose 55 = 5*f + 5*l, -w*f + 55 = 3*l - 0*l. Solve 5*k + 20 = 0, -k + f = -5*h - 0*k for h.
-3
Let s = -269 - -272. Suppose s*w - 46 = -2*l, 2*w + 2*l - 23 = 7. Solve 0 = j + 4*t + 15, -4*j - t - w = 4*t for j.
1
Let y be (-6)/(-21) + (-138)/42. Suppose 4 = -j, -5*b - 3 + 4 = j. Let p be (-11)/b*y/3. Solve -n - p + 1 = -3*h, -