 + 2 = -2*o for b.
0
Let l = 37529 + -37526. Solve 3*f = -a + 1, -13*a + 12*a + l*f = -7 for a.
4
Suppose -84 = 32*k - 53*k. Suppose 42 = 2*d + d. Solve k*s - g = g + d, 5*s + 15 = -4*g for s.
1
Suppose -4*c - h + 14 = 0, -15*h + 2 = -16*h. Solve -18 = -c*i - a, -2*a - 5 = -3*i + 3 for i.
4
Let z = -17590 + 17592. Suppose -3*s - 2 = -4*s. Suppose z*g - 2*h - 10 = 0, 2*g + 4*h = -0*g - s. Solve -a = -0*a, b + 3*a = -g for b.
-3
Let x = -537 + 543. Solve 2*o = g + 5, x = -6*o + 8*o for g.
1
Let b(x) = 5*x + 27. Let f be b(-3). Suppose s + f = -5*q, -5*s = 3*q - 63 + 57. Solve -5*n + v - 2 = -10, 4*n + s*v + 5 = 0 for n.
1
Let t = 0 + 0. Let z be (-1 - 2)/(-1 + 28/49). Let k be 6/14 + 95/z. Solve 5*x - 2*q - 20 = t, q = 3*x + 5*q + k for x.
2
Let a(d) = -d**3 + 31*d**2 - 158*d + 207. Let x be a(25). Solve -4*r + 14 = -3*z, -3*z + 8 = -x*z for r.
2
Let o be -1*(0 + 2 - 25). Let r = o + -4. Solve 0*c - 2*c = -5*n - r, c = 4*n + 14 for c.
2
Let f be 10/(-6)*456/(-380)*9. Solve -19 = o - 5*r, -3*o + 5*o + 4*r - f = 0 for o.
1
Let z be (0 + 4)*8/8. Suppose 3*w - 6*w + z*u = -2, 3*w - 10 = -4*u. Let n = 16 + -14. Solve w*f + 3*d = f + n, 0 = 2*f - 5*d - 15 for f.
5
Suppose l + 51*g = 48*g - 3, 0 = 5*l + 2*g - 50. Solve 0 = 2*r - 3*i + 8, 0*r = 3*r - 3*i + l for r.
-4
Suppose 630*c = 627*c + 12, -c = v - 16. Solve y = -3*k + 9, 15*y - 1 = 4*k + v*y for k.
2
Let v be (54/15 + -3)/(6/20). Suppose 0*s + s = 8. Solve 5*c - v*c - q = -s, 0 = 3*q - 15 for c.
-1
Let q be 2 + -2*1 + 61. Suppose 72*p - 71*p - 59 = 0. Let h = q - p. Solve 0 = -3*k - h*w + 8, 4*k + 5*w - w - 12 = 0 for k.
2
Let h(a) = -171*a. Let o be h(0). Solve 1 + 9 = k - 5*j, 4*k + 4*j + 32 = o for k.
-5
Suppose 0 = 3*m - s - 4, -6*s + 4 = -7*s. Suppose 8*d - 15 - 17 = m. Solve 3 = -3*q - 5*y + 2, d*y - 10 = 3*q for q.
-2
Let w = -1022 + 1003. Let s = -19 + -5. Let x = w - s. Solve -5 - 2 = n - 3*t, 0 = x*n + t + 3 for n.
-1
Suppose g - 3*g = -3*i - 25, -3*g - 3*i + 60 = 0. Suppose -5*z - 17 = -3*w - 3, 2*z = 5*w - g. Solve 4*d = 5*t - 0 + 27, -w*d - 6 = 5*t for d.
3
Suppose 5*x - 9 = 4*v, 5*v - 3*x = -974 + 979. Solve 4*g - 9*r = -14*r + 12, v*g + 2*r - 12 = 0 for g.
3
Let l = 509 + -661. Let p be -2*7/63 - l/36. Solve 0 = p*u - 2*f - 6, 2*f = -4*u - 5 - 1 for u.
0
Suppose -7*l - 5*l + 7*l + 200 = 0. Solve 8 = -2*t + 3*x, -45*x + 9 = t - l*x for t.
-1
Let l = 12414 + -12379. Solve 0 = 5*b, l*g - 8 = 31*g - 4*b for g.
2
Suppose 23*o = 5*g + 25*o + 1147, 0 = -4*g + o - 928. Let r = -229 - g. Solve v - 20 = -5*h, 2*v = -2*h - r*v + 26 for h.
3
Suppose 32*h - 376 = -96 + 488. Solve 0 = 2*g - 4*f + 16, 4*g - 22*f + h*f - 18 = 0 for g.
2
Let r be (60*7)/(-4)*(-4)/3. Suppose r = 4*q - 40. Let u be (-2)/((-12)/(-3)) - q/(-10). Solve 5*s + f - u*f - 28 = 0, -2*f = 5*s - 23 for s.
5
Let i = -1603 - -1606. Solve 3*u - 12 = 0, -i*d + u - 8 = d for d.
-1
Suppose 0*u + 6 = 3*u. Suppose 0 = -10*d - 12*d + 154. Let a = d - u. Solve -a*c - 20 = -3*k - 2*k, 12 = -4*c + 3*k for c.
0
Suppose -7 = g - 5*w, 0 = 4*g + 30*w - 31*w - 105. Solve g*b + 14 = -m + 25*b, -m - 11 = 2*b for m.
-5
Let x(a) = -11*a**2 + 49*a + 82. Let m(d) = -9*d**2 + 48*d + 85. Let h(t) = 5*m(t) - 4*x(t). Let i be h(46). Solve -3*z - 3 = -5*c, 1 = 4*c + 4*z + i for c.
0
Let l(m) = -11*m**2 + 258*m - 111. Let o be l(23). Solve -3*j - j = -2*n - 10, o*j - 19 = 5*n for j.
1
Let i = 118 + -116. Let f be -3 + 28/16*4. Solve f = g - 2*s, 0 = 3*g - 0*g + i*s + 4 for g.
0
Suppose 4*f - 5 = 11. Suppose -2*n - 21 = 3*n + 3*w, -3*n - 27 = -3*w. Let s be n/4*(-6 + f). Solve -2*o = 5*a + o + 10, 0 = -3*a + s*o - 30 for a.
-5
Suppose 0 = -4*g - 4*c, 6*g - 10*g + 5*c = -45. Solve -g*u + 5 = -5*x, 0 = x - 3*u - 4 + 3 for x.
-2
Let d(b) = -4*b - 38. Let c(y) = y**2 - 14*y + 14. Suppose -10 = -10*l + 110. Let k be c(l). Let o be d(k). Solve 5*f = o*h + 14, 3*h - f = h - 6 for h.
-2
Let m(w) = 3*w + 57. Let q be m(-19). Suppose -2*v + 44 = 3*o, q = -2*o - 4*v + 2*v + 32. Solve -11 = 3*g - 2*d, -2*d + 5*d + o = -5*g for g.
-3
Suppose n - 3*m + 11 = 0, -14*n + 5*m - 5 = -9*n. Solve -5*c + 4*b = -7 + 26, 5*c + n*b = -11 for c.
-3
Suppose 0 = 2*n + 3*k - 57, 4*k + 57 = 3*n - k. Suppose -n = 16*y - 20*y. Suppose 8 = p + y. Solve -4*w + p*c - 3 = 9, 4*w + 12 = 3*c for w.
-3
Let g be -4*(-5)/4*(-10)/(-25). Let b(s) = -s - 3. Let z = -18 - -13. Let w be b(z). Solve 5 = -g*u + 5*c - w*c, 4*c - 15 = u for u.
5
Suppose 3*s - 13 = 5*k, 2*s = -5*k + 7 + 10. Let i be 64/(-14) + (48/(-28))/(-3). Let b be i - (-4 - 0 - 2). Solve b*x = f - s + 15, -17 = -4*x + 3*f for x.
5
Suppose 0*l - 2*l = -48. Suppose l = 2*y + 6*y. Suppose 5*u - y*u + 2*m = 14, u - 3 = m. Solve -u*d - 33 = -13, -5*d - 14 = -3*v for v.
-2
Let t(n) = -11*n + 28. Let d be t(-16). Let g be d/26 + (-2)/(-13). Suppose 0 = -4*x - 0*x + g. Solve x*k - 10 = -0*k, -5*k + 16 = 3*q for q.
-3
Let m = -9189 - -9194. Solve -m*t - z + 19 = 0, 4*t - 1 = -z + 15 for t.
3
Let b(j) = 2*j**2 + 37*j + 53. Let q be b(-17). Solve -h + 3*v = 10, 148*v = -q*h + 147*v + 1 for h.
-1
Let h be 0 + (0/(0 + 3))/(-2). Suppose o - 5*w - 65 - 37 = 0, -4*o - 3*w + 339 = h. Let j = 92 - o. Solve 0 = 5*u + j*t - 30, 1 + 14 = 5*t for u.
3
Suppose -3 = -t, -1 = -z + 5*t - 6. Suppose 4*j = 2*j + z. Solve -1 + j = 2*i + 5*f, 3*i + 5 = -2*f for i.
-3
Let h(j) = -2*j**3 + 35*j**2 + 27*j - 159. Let g be h(18). Solve -6 = -2*i, g*x + 2*i - 9 = -2*i for x.
-1
Suppose 4*o - 3*o + r - 18 = 0, -4*o = -3*r - 86. Suppose o = u + 16. Solve 2*q = -u*p - 2*q + 12, -q + 8 = 2*p for p.
5
Let z = 17 - 5. Suppose 0 = -4*i + 3*m + 3, 0 = i + 8*m + 23 - 50. Solve d = -i*g + 8, 2*d + 16 = 5*g - z for g.
4
Let t(s) = s**3 - 30*s**2 + 41*s - 346. Let o be t(29). Solve -c - 2*c - o*r = 0, 6*r = 3*c + 24 for c.
-2
Suppose 0 = -53*h + 3098 - 2621. Suppose 5 = m + 3. Solve 11 = 3*y - m*y - 3*x, 0 = -y + 2*x + h for y.
5
Let d be 36 + (6 - 19 - 1). Solve -6*r + 2*r = 4*g - 24, 2*r + 4*g = d for r.
1
Suppose -28*j + 25*j + 4*l = -7, 25 = 3*j + 5*l. Solve 5*m = 9*m + 5*h + 1, 2*m - 3*h - j = 0 for m.
1
Let h be (-1 - (-9)/(-6) - 2)*2. Let s be -1 - 0 - 2 - (-12 - h). Suppose 4*w = s, 2*n - w - 4*w = 62. Solve -4*a = -4*j - 32, -n = -2*a + 4*j + j for a.
3
Suppose 63*s - 255 = -22*s. Suppose -2 = 2*t - 8. Solve -5 = -m - t*p, -s*p + 21 = -3*m - 0*m for m.
-4
Let l = -18 + 22. Suppose -5*r = -l*t + 2*t, 5*r = 0. Solve -8 = -5*x + 5*y - y, t = -3*x - y + 15 for x.
4
Let o(q) = -q**3 - 98*q**2 + 6*q + 591. Let x be o(-98). Solve -3*j + x*c + 18 = 0, 21*j - 25*j - 11 = 3*c for j.
1
Suppose -8*p + 6 - 222 = 0. Let r = p - -52. Solve -t + 2*b - r = -2*b, -5 = -b for t.
-5
Suppose -33*c - 735 = -900. Solve -4*p - c*u = 1, 4*p = -u - 39 + 42 for p.
1
Suppose 4*f = 307 - 339. Let s(n) = -14*n - 112. Let u be s(f). Solve o + 3 = u, -3*j + 5 = -5*j - 3*o for j.
2
Suppose -2*o + 574 = 4*v, -o - v - 28 = -312. Let b = 284 - o. Solve 0 = -4*z + 2*z + j + 4, 3*j = -b*z + 15 for z.
3
Let z(l) = -10*l - 4. Let p be z(6). Let a = p - -42. Let s be a/(-6) - -4*(-5)/30. Solve -5*f - 3 = -g + s, 3*g - 5 = 2*f for f.
-1
Let w = -106 + 108. Suppose 0 = -10*u - w*u + 60. Suppose -5 = u*m - 6*p + 9*p, 2*m + 4*p + 16 = 0. Solve 3*n = m*f - 25, -2*n + 3*n = -f for n.
-5
Suppose -201*i + 12*i + 111*i + 2886 = 0. Solve -54 = -4*v - 3*d - i, 4*d - 6 = -2*v for v.
5
Suppose -6*g + 2766 = 192. Let p = -416 + g. Solve -3*b + 4*j = -4 + 7, 2*b + j + p = 0 for b.
-5
Suppose -171*r = 209*r + 525*r + 146*r. Let l(g) = g - 3. Let d be l(4). Solve r = h - 4*n - 17, 2*n = 3*h + d - 2 for h.
-3
Let o be (-2)/9 - 130/(-18). Let a(z) = -6*z + 17. Let b be a(-7). Suppose -4*d - 43 = -b. Solve -o*n = -3*n - 4*r - 8, -13 = -5*n + d*r for n.
5
Suppose 0 = 7*c - 3*c. Let w = c + -14. Let z be (-115)/(-35) - (-4)/w. Solve u = -v + 4, 5*u + 5 = -z*v + 23 for v.
1
Let r(b) = b**2 + 26*b - 5006. Let i be r(59). Suppose -3*f + 4*f - 2 = 0. Suppose -3*a = -f*a - 13. Solve 5*u + i + 14 = 3*v, -3*v - a = 4*u for v.
1
Suppose 0 = 11*q + 861 - 883. Solve 3*j - 8 = -2, q*j = 3*v + 16 for v.
-4
Let s(l) = -2*l**3 + 64*l**2 - 62*l - 9. Let w be s(31). Let t(n) = n**3 + 15*n**2 + 50*n - 20. Let u be t(w). Solve f = -z + 7, -2*z + u = 2*z for f.
3
Suppose 8*n + 1 = 17. Suppose 5*v + 23 = n*x, -5*v = x - 4 + 15. Solve -p + 15 = -2*y 