5*a = 5*b, t*a + 3*b = -2*a - 1 for a.
1
Let h = -17352 + 17352. Solve h = d + 59 - 57, -2*v + d = -4 for v.
1
Let p be 2/(-10)*6*-5. Suppose -d = -p*d. Suppose 3*v = -d*v. Solve 2*y + 22 = -5*j, 4*j = -2*y - v*j - 18 for y.
-1
Let v(r) = -r**2 - 4 + 13 - 3 - 51 - 14*r. Let p be v(-9). Solve -3*z + 4*m - 8 = p, -z + 5*z + m - 2 = 0 for z.
0
Let j = 43 + -10. Suppose 5*z + 4*g - j = 0, -4 = -2*g - 0*g. Suppose 4*c - 4*x - 41 = x, -2*c = z*x + 17. Solve -4*u + 32 = -c*m, -2 = 5*m + 2*u + 3 for m.
-3
Let r = -250 - -252. Suppose 12*n - 10*n + r = -4*b, -5*b + n = -1. Solve 0 = -4*s - 4*h - 12, 2*s + b = -3*h - 10 for s.
1
Let s = -10707 - -10718. Solve -7*p + 12*p + 9 = -h, -2*h - 3*p = s for h.
-4
Let a be 9*(-5)/(-30)*-10*(-6 + 5). Solve -2*s - 17*w - 8 = -a*w, 2*w + 11 = s for s.
1
Suppose 4*x - 4*o - 116 = 0, -19*x + 5*o + 5 = -18*x. Solve -3*z + 28*v - x = 23*v, v - 24 = 4*z for z.
-5
Suppose -3*x = 7*t + x - 20, t + 15 = 3*x. Solve 2*n = -6 - t, -4*r + 7 = 3*n for r.
4
Let h = 994 - 990. Solve -5*p = -2*c + 30, -15 = 5*p - h*c + 25 for p.
-4
Let j = 80 + -59. Let d(a) = 2*a**3 - 42*a**2 + 10. Let m be d(j). Solve -2*k + m = -5*l - 0, -3*k + 1 = -4*l for k.
-5
Let b be 1/2 - ((-3)/(-6) + 2). Let p be -2 + (-4)/4 + (-2)/b. Let v be p*1/2 + 3. Solve g - 2*x + 10 = 0, v*x - 10 = 5*g - 2*g for g.
0
Let h = -72 + 2. Let z be (30/h + 27/14)*2. Suppose 16 = -7*b + z*b, 4*m - 124 = -5*b. Solve -8 + m = 2*a + 4*t, -5*a = -4*t for a.
4
Let r = -1322 + 1323. Solve 2*g - 5*g - 8 = -2*j, r = 3*j + g for j.
1
Let y = 52 - -23. Suppose 5*l = y + 95. Solve 5*r - 3*u - 8 + l = 0, 0 = 4*r - 4*u + 24 for r.
-4
Suppose -4*r + 2 - 14 = 4*x, r + 3 = 3*x. Solve x = 5*i + 2*f - 33 + 23, -3*i = f - 5 for i.
0
Suppose 8*c = 383 - 79. Suppose 17*t = c - 4. Solve t*p - w - 8 = w, w = 4*p - 16 for p.
4
Suppose 0 = 8*a + 5622 - 5646. Solve -5*h = 2*x - 10 - 11, h - a = 0 for x.
3
Suppose -4*l - 10 = -6. Let w be (-2 - l)/(5/(-15)). Suppose -w*b + x + 91 = 2*x, 0 = b + x - 27. Solve 0 = -y, b = -5*p + y + 7 for p.
-5
Let y be (3 - 7 - -6)*(-38)/4. Let a(l) = l**3 + 22*l**2 + 57*l + 2. Let j be a(y). Let o be (-45)/36*(-1 + -3). Solve j*w = o*z - 22, z - 12 = -2*z for w.
-1
Let w = -5608 + 5613. Solve -2*c + 3 = 2*k + 3*c, -4*c + 16 = w*k for k.
4
Suppose -2*c + u = -3*u - 114, 41 = c + 2*u. Suppose -2*j = 5*w - 0*w - 326, 5*j - 56 = -w. Let m = w - c. Solve -2*v + 0*v + m = 3*o, -2*v = o - 11 for o.
3
Suppose 2*r + 2*i + 0 = -2, -14 = -4*r - i. Solve -5*z + r*a = 12 - 27, -4*z = -3*a - 13 for z.
4
Suppose -101*c = 98 - 257 - 447. Solve -a + 4*x = 2*x + 3, c = -2*a + 3*x for a.
-3
Let q be 2*4/((-24)/21) - 2. Let v be (-1 - (6 + q))/1. Solve -2*n - 5*d + 5 - 2 = 0, n = v*d + 6 for n.
4
Suppose 17*v + 5*v + 203 - 203 = 0. Solve 3 - 24 = 5*m - 3*c, 4*c - 8 = v for m.
-3
Suppose 4*n = -539*g + 542*g - 6, 0 = -g + 2. Solve n = 3*y - z - 3, -4*y + z = 8 - 13 for y.
2
Suppose -l - 5*y + 57 = 6, -l + 24 = -4*y. Let n be (-9)/(-2)*48/l. Solve -22 = 4*s + 2*i, -n*s + 3*i = -s for s.
-3
Let z(l) = l + 23. Let w be z(-9). Suppose 10*d + w = 74. Solve v + 11 = 4*f, -d*v - 3*f - 6 = -2*v for v.
-3
Let u be (-2)/(-3) + (-2)/3. Suppose u = -5*w - n + 21, -2*w + w + 3*n = -17. Solve w*l - 3*d + 8 = -2, -4*d = 3*l + 6 for l.
-2
Let x(v) = -v**2 + 2*v - 1. Let s be x(2). Let z be (-2 - (-3 - s))/(-2). Suppose 77*n - 54*n - 115 = 0. Solve -n*a + 6 = 3*c, a + 4 - 7 = z for c.
-3
Suppose 7*i + 3*i - 28 = 4*u, 4*i - 16 = 4*u. Solve 6*g + 9 = i*g + 5*l, -2 = -2*g - 4*l for g.
-1
Suppose 0 = 3*p - 3*m + 1815, 1126 = -2*p - 4*m - 66. Let x = p - -605. Solve 4*k = -o + 7, 0*o + x*o + 3*k - 12 = 0 for o.
3
Let l be (4 - 4)/(3/(-3)). Suppose 4*x - 18 + 10 = l. Solve -d - 5 = -x*u, -3*d + 5 = 3*u + 2 for u.
2
Let f(j) = -44*j - 3144. Let h be f(-72). Solve 4*y - 37*o + 29 = -34*o, -3*y = -3*o + h for y.
-5
Let j = -80 - -120. Let c = j - 28. Suppose -8*p = -c*p + 28. Solve 1 - p = -q + 4*m, q = -2*m for q.
2
Let z be (-8449)/21 + (-2)/3. Let q = 406 + z. Solve -6*j = -5*t - j, q*t - 1 = 2*j for t.
1
Let b(q) = -q**2 + 2*q + 66. Let y be b(-7). Suppose 3 = 4*a - 3*s + 15, 0 = 3*a - 3*s + 12. Let l = 5 + a. Solve -l*c - 26 = -2*n, n = 3*c + 12 + y for c.
-4
Suppose -39*k = 160*k - 796. Solve -k = 2*j + 19*w - 21*w, -3*j - 4*w - 27 = 0 for j.
-5
Suppose 8*n - 13*n - 1050 = 0. Let u be -2 - (-14)/8 - n/40. Suppose 8*p - 25 = 39. Solve -5*s + 3*l + 10 = 0, u*s = -3*l + 48 - p for s.
5
Let t(k) = k**2 + 2*k + 2. Let v be t(-3). Let w = -53626 + 53630. Solve -37 = 4*r - r + v*u, 1 = -w*r + 3*u for r.
-4
Suppose -2*r - 1 - 6 = -n, -2*r - 13 = -3*n. Suppose -3*m = -16*m + 507. Suppose m = -n*h + 45. Solve 4*k - 6 - h = -4*f, 4 = f - k for f.
3
Suppose -u - 3*o + 4 = -1, 3*o + 10 = 2*u. Solve -4*p - 2*w + 30 = 0, 0 = 4*p + u*w - 8*w - 5 for p.
5
Let f = -7 - 1. Let v(n) = -n**3 - 7*n**2 + 10*n + 37. Let m be v(f). Solve 2*s - 9 = -8*b + 3*b, 3*b = 4*s + m for b.
3
Suppose -6*n + 333 = -147. Suppose n*x + 21 = 81*x. Solve 5*y = -h + x, 0*h - 5*h = -y + 25 for h.
-4
Let w = 489 + 121. Let m = w + -607. Solve 0 = 7*t - 3*t + m*u + 20, -5*u = -t - 5 for t.
-5
Let t = -54 - -56. Let v be 2 + (-2 + -1 - (-12)/t). Suppose a + v*n = -1, 4*a - 3*n = -a + 23. Solve -a*p - 5*w - 28 = 0, -4*w - 3 = 13 for p.
-2
Suppose -4*l - 4*a = 12, 0 = -2*l - a + 2 - 4. Suppose 0 = 11*z + l - 56. Solve z*s + 19 = -0*m - 4*m, 4*m = 3*s + 5 for m.
-1
Let a be (-28)/(-154) - (1 + (-526)/11). Suppose -a*b + 12 = -44*b. Solve -5 = -5*t - 7*s + 2*s, -b*t + 3*s = 24 for t.
-3
Suppose -2*d = -4*j + 2*d + 880, -4*j = 4*d - 840. Suppose 13*c - 8*c = j. Let b = c - 37. Solve -2*u + 0*r + 4*r + 6 = 0, u - b = 3*r for u.
-3
Suppose 6*n + 3 = -n + 17. Solve n*l - 10 = 3*y, -4*l + 8 = 13*y - 16*y for l.
-1
Let l = -20 - -42. Let y be (43 - -1)/(22 + -24). Let q = l + y. Solve -2*d - u + 2*u = 9, 3*d + 5*u - 19 = q for d.
-2
Suppose -61 + 7 = -18*d. Solve 0 = d*q + 4*t + 35, -5*q + 0*q = -4*t + 5 for q.
-5
Let f = 2839 + -2838. Solve 10*t - 6*t - f = -h, 24 = 4*h - 4*t for h.
5
Let z(h) = -6*h + 65. Let d(y) = -19*y + 197. Let c(q) = 6*d(q) - 17*z(q). Let w be c(6). Solve -4*s + 28 = w*j - 0*s, -2*s + 8 = j for j.
4
Suppose 2*q - 20 = -3*q. Suppose -3*l - 10 = -q*h, l - 5*h + h + 14 = 0. Let a = 1113 - 1091. Solve -5*x + 4*c = -l + a, 0 = -5*c for x.
-4
Let p(c) = c**3 + 27*c**2 - 62*c - 100. Let t be p(-29). Suppose 11*v + 140 = t*v. Solve 5*m = 3*h - v, 15 = -6*m + 3*m for h.
1
Suppose 8 = 61*f - 64*f + p, -5*f + 2*p = 16. Solve -2*b - 8 = -v, f = -v + 3*b - 24 + 33 for v.
6
Let s be (10 + -6)/4 - (-13 + 5). Solve -2*z + 12*p - s*p = 0, -3*p - 18 = 4*z for z.
-3
Let t be 2 - -3 - (-1)/((-3)/141). Let s be 2/4*2 + (t - -45). Solve s*r - 5 = -r + 4*o, 30 = -5*r - 3*o for r.
-3
Suppose 3*n + c - 559 = 0, 4*n - 732 = -3*c + 5*c. Suppose -n = -22*l - 15*l. Solve g - 28 = l*h, 22 = -2*h - 0*g + 4*g for h.
-5
Suppose -346*o + 201 = -279*o. Solve -x + 15 = -2*t + 3, -o*x = 3*t for t.
-4
Let p(v) = v**3 - 13*v**2 + 28*v + 74. Let h be p(9). Solve -12 = -6*d + 2*d - a, 20 = h*d + 4*a for d.
2
Let a = 4 - -2. Suppose -3*u = a*u - 45. Let v be 1*(-5)/25 + 11/u. Solve -1 = 3*i + k, i = v*k - 4*k + 8 for i.
-2
Let o(i) = -16*i**3 + 2*i**2 - 8*i + 21. Let m be o(3). Let p = m - -421. Solve -2*b + 5*q - 14 = -3*b, 3*b - 4*q - p = 0 for b.
4
Let t be ((2/(-3))/2)/((-22)/66). Suppose 3*i = m + t, -3*i - 5*m + 10 = -21. Solve -i*d = g + 3, -5*d + 6 = -3*g - 14 for g.
-5
Let q = 4638 + -4635. Let w = 13 - 3. Solve -c + 0*r - 3*r + 7 = 0, w = 4*c + q*r for c.
1
Suppose 23 = -z + 5*z - 3*d, 0 = 3*d + 3. Suppose 5*h = -9 - 6, z*f + 5*h = 0. Solve 0 = -3*o - 9, 0*o = -f*x + 4*o for x.
-4
Let c(a) = -a**3 + a**2 + a. Let l be c(0). Suppose -38*u - 51*u + 1720 = -3*u. Solve 0 = 6*o - o - 2*d + u, l = -d for o.
-4
Suppose -6*t + 52 + 98 = 0. Suppose t + 11 = 12*l. Solve 4*n + 4 = -s + 2*n, -2*n = l*s + 8 for s.
-2
Suppose 18*s + 15 = 3*s. Let t be (26/78)/(s/(-9)). Solve 4*b - t*k - 31 = 0, 5*k - 2*k = 2*b - 23 for b.
4
Let v = -837 - -637. Let p = -196 - v. Solve -3*l + 2 = -m, 0 = p*l - 2*m - 4 for l.
0
Let x(s) = 4*s**2 + 43*s - 420. Let r be x(-17). Solve -18*v - 3*y = -21*v - 18, -27 = 2*v - r*y for v.
-1
Suppose 135 = 5*s - 7*i + 2*i, 0 = -5*s - 4*i + 135. Suppose 