12*p - 37, 0 = 3*p - n*x - 28 for p.
4
Suppose -3*z = -0*z - 12. Let h be (40/60)/(1/18). Suppose -z*w + 2*a - 4 = -h, 0 = -w + 3*a - 8. Solve -3*k = w*m + 8, -3*m - 2 = -m + k for m.
1
Let t(c) = 2*c**2 - 34*c + 7. Let z be t(17). Suppose 3 = 3*x, 2*w - 4*x - z = -3*x. Solve 4*u + 11 = 3*g + 3, 0 = -2*u - g - w for u.
-2
Let m(y) = -3*y - 5. Let n be m(-4). Let h be (n + 9)*(-18)/(-8). Let v = 2 + 2. Solve 0 = 4*z + v*o - h, 23 = 4*o + 7 for z.
5
Suppose 8 = -4*s + 24, -132 = -3*i + 3*s. Suppose -28*b + 36 = -i. Solve 5*x + 5*d = -25, 0*d + b*d = -5*x - 21 for x.
-3
Suppose -222 = 4*n + 290. Let a = n + 133. Solve l + 3*j = 16, a*j - 9 - 14 = 2*l for l.
1
Let n be -2*1 - ((-6 - 0)/6 + -5). Solve 0 = 3*i + 4*f - 8, i - f - 1 = -n*f for i.
4
Suppose -9*n = 4*l - 60, 1 = 5*l - 4*n - 13. Solve -u = 1, 11*u - l*u = -4*m - 25 for m.
-5
Let u = -16018 - -16028. Solve 31 = 3*j - u*p, -2*j + p + 19 = -7*j for j.
-3
Suppose -2*t = -4*i + 18, 2*i - 61*t + 58*t = 11. Solve o + 22*y - 9 = 27*y, -o = i*y for o.
4
Suppose -116*q + 115*q = -4*r - 23, -3*r - 12 = q. Solve 5*u + w = 26, q*u + 11 - 24 = 2*w for u.
5
Suppose 4*o - 24 + 12 = 0. Suppose 0 = 2*h - 5*a - 21, -h = o*a + 3 + 3. Solve 3*w - h*z = -2*w - 25, -2*w - 2*z = 10 for w.
-5
Suppose -1212 = -5*z + 5*k + 1473, 0 = 5*z + 2*k - 2671. Let v = z + -516. Solve f - 8 = 5*o + v, 4*o = 2*f - 24 for o.
-5
Let i(f) = f**3 - 77*f**2 - 21*f + 1621. Let n be i(77). Solve -6*a = n*r - 2*a, -5*r - a = 12 for r.
-3
Let b(z) = 1292*z + 6482. Let s be b(-5). Solve -31*l - 4*q = -33*l + s, -2*q = 4*l + 16 for l.
-1
Suppose 2706*n = 2771*n - 2405. Solve 0 = -3*i + 4*c + 7, -3 = 40*c - n*c for i.
1
Let v be 1/(4/(4 - 8)). Let k be (-174)/(-54) - 4/18. Let g be -4 - ((-18)/k + v). Solve -a = -3, -2*n + a - 8 = g for n.
-4
Let x be (-1 + (-39)/(-9))/(-4) + 4522/1596. Suppose b - 5 - 4 = -p, -2*p + b + 21 = 0. Let w = 15 - p. Solve 0 = -4*y - x*j - 4, w*y - 5*j + 19 = -16 for y.
-3
Suppose -133*p + 779 - 513 = 0. Solve -19 = p*v - 5*j, 3*j + 0 - 7 = -v for v.
-2
Suppose -16*g - 20*x = -15*x - 185, -2*g + 45 = 5*x. Solve g*y + 4*q - 5 = 13*y, 2*q + 11 = -3*y for y.
-3
Suppose 38*u = 40*u - 1336. Let l = 672 - u. Solve -2*q + 3*y + 8 = l*y, q + 3*y = -1 for q.
5
Suppose -3*c - 2*u + 215 - 76 = 0, 0 = -5*c - 3*u + 231. Let x = 27 - -12. Let s = c - x. Solve 3*h + 2*l - 13 = -2*h, -2*h - l + s = 0 for h.
1
Suppose 139 = -4*b - 3*v + 156, 3 = -3*v. Solve -4*y = 0, b*p - 2*y - 18 = -13 for p.
1
Let q = -198 + 202. Suppose 2 + 78 = -2*j. Let u be (j/12)/5*-3. Solve -q*h - h = i + 9, 2*h + 2 = -u*i for i.
1
Let c = 37 + -30. Suppose -2*p = -9*p + c. Suppose 0 = -2*g + 4*t - 8, -g + 6*g - 3*t = p. Solve 4*i = b - 16, -4*b - i - g*i = 31 for b.
-4
Let n(p) = 24*p**3 + 107*p - 218. Let o be n(2). Solve -o*w = -189*w + 3*z + 18, -30 = -5*w + 3*z for w.
3
Let d be 5 - (36/120)/(3/30). Suppose -3*b = d*y - 69, -y + 6 = b - 18. Solve 5*t = 4*o + 41, -4*o + t + 0*t - b = 0 for o.
-4
Let i be ((-38)/5)/((-2)/(-28) - 1650/3500). Solve 5*q = 4*w - 24, 0 = 4*q + 7*w - 10*w + i for q.
-4
Let j be ((-6)/5)/(3/15). Let p = -2078 - -2069. Let s be j/p + (-129)/(-9). Solve -4*l - 5*y = -9*l, -l = 2*y + s for l.
-5
Suppose 0 = 64*s - 22 - 298. Solve -5*q = s*c + 10, c - q + 1 + 1 = 0 for c.
-2
Let c(n) = 14*n - 165. Let q be c(12). Solve q*w = 5*v + 2 + 1, 4*w + 2*v + 22 = 0 for w.
-4
Let i be 13 + 1 + -9 + (-64 - 0). Suppose -t - 79 = 3*o, 0 = 5*o - 2 + 27. Let b = i - t. Solve -2*f - 1 = -4*y + 3, f + b = 3*y for f.
4
Suppose 7*q - 3*q + 32 = 3*k, -2*k - 4*q + 8 = 0. Suppose -k = -2*j - 2*j. Let w be 435/(-290) + (-135)/(-10). Solve 4*n = n - w, j*r + 2*n = -6 for r.
1
Let z be ((-2)/(-4))/((-3)/(-12)). Let c = 61518 + -61513. Solve 9 + 15 = -c*p - w, 0 = -2*p + z*w for p.
-4
Suppose 0 = -3*f + 9, 969 = 5*p + 3*f - 5*f. Let o = 199 - p. Solve -4*l - 3 = -15, -o*y - 2*l = -6 for y.
0
Let s = -81 - -85. Let m(a) = -35*a**2 - 248*a - 16. Let i be m(-7). Solve -k = -i*u - 15, -u - 16 = s*k + 8 for u.
-4
Let r(m) = -m**2 - 80*m - 1098. Let h be r(-62). Solve h*n = 3*a + 21*n + 6, a = -4*n - 17 for a.
3
Suppose -3*h - 60 = 12*d, -20 = 3*d - 2. Solve -24 = j + 2*j - 3*m, -3*j + h*m = 25 for j.
-7
Let u(f) = 4*f**2 - 12*f - 57. Let g be u(-5). Let x = -97 + g. Suppose -2*o - q = -1 - 0, -q - 2 = o. Solve -o*t + 0*h - 11 = -h, 2*t + x = h for t.
-5
Let s = -30 + 30. Suppose 2*y - 7*y = s. Suppose y = 6*f - 14*f + 8. Solve 4*w - 10 = -v + 3*v, w = f for v.
-3
Suppose 0 = 32*u - 30*u - 10. Suppose -u*t = -o - 0*o - 7, -5*t + 16 = 2*o. Solve -t*p + 8 = -5*r, 2*r - 5*p = r + 3 for r.
-2
Let m = -360 - -329. Let f = m - -34. Solve 2*r = -d - 7 + f, -3*d = 3*r for d.
4
Let b be 4/(-3)*12/(-4). Let v = 60882 - 60879. Solve -3*m + 0*m + v*t = -3, 3*m - 8 = b*t for m.
-4
Suppose -11*h + 2 = -42. Solve -2*z = -4*o - 14, -h*z - 2*o = -6*z + 8 for z.
1
Let c be (3/(-6))/((-1)/66). Let a(f) = -f**2 + 32*f + 140. Let g be a(-4). Let d be c/6 - (3 - (-14)/g). Solve 2*n - d = p, 4*p + 3*n - 2*n - 12 = 0 for p.
2
Let d(r) = r**2 + 14*r - 12. Let y be d(-15). Suppose -y*z = -34 - 2. Suppose z + 3 = k. Solve -2*u = -2*s - s - k, 2*u + 2*s = 0 for u.
3
Suppose o + 3*m - 447 + 421 = 0, 4*o + 2*m - 154 = 0. Solve -5*q - o = 4*h, -2*h = -5*q - 3*h - 29 for q.
-5
Let d be (273/(-24) - 5) + 12/32. Let y be (d + 11 + 13)/(4 + -2). Solve 0 = -y*r + 3*p - 3, 2*p = -2*r - 4 - 8 for r.
-3
Let o be (30 + -3)/3 + -57 + 52. Solve -x + 0 - 3 = 0, -5*r = o*x + 32 for r.
-4
Let u = 9593 - 9587. Suppose -3*f = -4*f + 3*d + 18, 28 = 2*f - 4*d. Solve -3*c - 7 + f = -o, -4*o = -2*c + u for o.
-2
Suppose 0 = 2*p - 5*j + 7, -4*j = 11*p - 6*p + 1. Let a be (-30)/(-3)*p*1/(-2). Solve -12 = -g - 3*u, -u - 16 = -5*g - a*u for g.
0
Let t be 9 - (3/(-27) + (-7 - 635/(-45))). Let j be 1 - 1/((-3)/21). Solve 0 = -r + t*g - 12, -5*r - 3*g - j = -0*g for r.
-4
Let m be -4 + (-42)/(-11 + 4) + (-4 - -2). Solve 5*o + 4*q - 19 = m, -4*o + 4*q + 7 = -1 for o.
3
Suppose -3*y - 4 = 4*p, 2*p = y - 2 + 10. Suppose -3*o - 11 = p*u, -5*u + 2 = 5*o + 17. Let h be 1/(1 - 12/15). Solve -2*w - 8 = w + h*c, 5*w + 7 = -u*c for w.
-1
Suppose 0 = 2*m - 4*g - 24, 5*g + 6 + 15 = m. Let k = m + 0. Suppose k = 2*p + p. Solve y - 1 = 3*r - r, -r = -p*y - 4 for y.
-3
Let k = 292 - 568. Let g = -272 - k. Solve 0 = -5*z - 2*b - 13, -3*b = g*z - 5 + 21 for z.
-1
Let n(c) = 88*c - 140. Let p be n(2). Solve 2*a - 31*w - 25 = -p*w, 2*a = 5*w - 25 for a.
0
Let y = 3734 - 3732. Solve c = y, -c + 5*c = 4*n for n.
2
Suppose 20 = 4*b + 2*i, -2*b - 2*i - 10 = -3*b. Suppose 2*q = b*q - 16. Suppose 0 = p - q - 2. Solve 4*u + 3*w - 15 = 0, 3*u - 20 = p*u - 4*w for u.
0
Let b be (-10)/(-35)*(-42)/(-6). Suppose -3*v = -k + 36, -b*k + 66 = k + 5*v. Solve -2*l + 0*m + 4*m + 6 = 0, 4*l + k = -5*m for l.
-3
Let l(g) = -28*g + 140. Let y be l(9). Let q be (-8*(-14)/y)/((-2)/10). Solve -5*o + 0 = -q*k + 10, 5*k - 5 = 4*o for o.
-5
Let j(z) = -z**3 + 32*z**2 + 38*z + 95. Let c be j(33). Suppose 40*p = c - 60. Solve -p*o - 5*q = -0*q + 15, 2*q = 4*o - 18 for o.
2
Let s(a) = 17*a**2 - 392*a + 33. Let c be s(23). Solve y - 1 = -7*n + c*n, -6 = 3*n for y.
-5
Suppose 2*u + 5*h + 1 = 0, 14 = 2*u - 4*h + 6. Suppose -8*s - 14 - 26 = 0. Let y be (2/s)/(3 - 31/10). Solve m + m - y*j = -22, -u*m - 18 = -3*j for m.
-3
Let c(m) = m**2 - 52*m - 843. Let t be c(-13). Solve 0 = 3*j - t*z + 1, j - 2*z + 6*z + 5 = 0 for j.
-1
Let d = -21706 - -21712. Solve -3*p + d = g, -42 + 27 = 5*g for p.
3
Suppose -75*m - 4319 = -4909 - 6835. Solve -2*i = 4, -m*d + 4 = -94*d - 2*i for d.
0
Suppose 20 = -206*m + 216*m. Solve 5*f - 3*s = -1, m*f - 4*f - 7 = s for f.
-2
Let b = 2189 + -2184. Solve -y = -b*p - 2 - 8, -2*p - y = 4 for p.
-2
Let v(s) = s**2 - 5*s - 3. Let q be v(6). Suppose 0 = 24064*t - 24081*t + 85. Solve n = -q*c + t, -5*n + 1 = 4*c - c for n.
-1
Let n(m) = m**2 + 44*m + 292. Let u be n(-36). Let k = 17 + -16. Solve 0 = 5*f - z - 17, u*f + 2*z - 7*z = k for f.
4
Suppose -4*v = -3*j + 4*j - 60, -4*v = 2*j - 64. Let y be ((-6)/(-5))/(v/35). Suppose 30 = -315*q + 330*q. Solve 5*p + 2*m = -1 - q, m = -y*p - 1 for p.
1
Let d = 23960 - 23938. Solve -5*v = -l - d, -51*l + v = -53*l for l.
-2
Let l(p) = -7*p**3 + 2. Let j be l(-1). Suppose -j*m + 53 + 82 = 0. Solve 5*o 