 x*v - 4*v, -l*k + 27 = -4*v for k.
3
Suppose -11*v - 34 = 6*v. Let p be (v - 76)/(-6) - (0 + 0). Solve -5*x = 2*q - q + 23, -3*x - q = p for x.
-5
Suppose 5*r + 5 = 4*n, 0 = -2*n - 0*n. Let t be r - (-70)/((-15)/(-3)). Solve -4*q = 3*f - t + 41, -f + 16 = -5*q for f.
-4
Let v = -15207 - -15217. Suppose 2 - 7 = -f. Solve 0 = 2*q - 2*k + v, -f*k + 5 = -2*q + q for q.
-5
Suppose 5*h = -g + 4415, 3*g = 3*h - 1614 - 1017. Let j = h + -881. Solve -2*a - 4*p + j = 25, 0 = a + 3*p + 16 for a.
-4
Let j(p) = -7*p + 5. Let t be j(0). Solve -632*g - 4*l - t = -637*g, 4*g = -4*l - 32 for g.
-3
Let r = 67 - 56. Let n = r + -5. Solve -3*k + 4*c + 2 + n = 0, 4 = -2*k - 2*c for k.
0
Let w(r) = 2*r**3 + 5*r**2 + 4*r + 3. Let h be w(-3). Let a be 10/(-3)*-1*(-27)/h. Solve j = 4*b + 2*j - 22, -2*b + 20 = a*j for b.
5
Let f(x) = -2*x**3 + 2*x**2 - 73*x - 247. Let k be f(-3). Solve -y + 5*v - 59 = -k, 5*v - 20 = 2*y for y.
-5
Let a be -3 - 122/(-42) - 6565/(-2121). Solve 0 = -5*s + 3*j + 16, -4*j = a*s - 8 - 19 for s.
5
Suppose 0 = 4*t - 2*t - 14. Suppose t*f - 10*f = 6. Let n(k) = -k**3 - k**2 - k - 1. Let p be n(f). Solve 5*c - 30 = p*w, -2*c = -0*w - w - 7 for c.
1
Suppose -24*v = -17*v - 14. Solve v*k - 4 = o, -k - 1 = -0*k + o for k.
1
Let w be (-2346)/10 + (-8)/20. Let k = -210 - w. Solve -5*a - k = 4*o, 4*a - 12 = a + 3*o for a.
-1
Suppose 8*c - 4*c = 2*n + 72, 4*c = -n + 66. Solve -7 = -2*t + o, -5*o - c = 3*t + 5 for t.
1
Let o be 20/(-70)*63/(-6). Solve 0*t - 5*m = -o*t + 2, 3*t - 3*m = 0 for t.
-1
Let f = -49 - -33. Let y(b) = -2245*b**3 - 29 + 1135*b**3 + 15*b**2 - 18*b + 1111*b**3. Let g be y(f). Solve 1 + 1 = 2*k + 2*h, -g*k = -5*h - 27 for k.
4
Let r(m) = m + 16. Let c(y) = y**2 - 10*y + 15. Let s be c(5). Let p be r(s). Suppose p*j + 2 = 8*j. Solve 0*u - 19 = -5*u - 2*q, -q - j = -u for u.
3
Suppose 2*q = 2*l - 4, 3*q - 2*l - 186 + 183 = 0. Solve 2*f = -y + q, 5*y + 5*f + 0 - 20 = 0 for y.
1
Let s be (-192)/88 - (-2)/11. Let u be 24/s*5/(-10). Suppose 14 = u*k - 10. Solve -k*x + 40 = -5*t, 2*x + 5*t + 4 + 6 = 0 for x.
5
Let x = -1845 - -1867. Let u(h) = -3*h**2 - 21*h - 19 + 2*h**2 + 2*h**2. Let p be u(x). Solve 2*z = -z - p*f - 6, -5*z - 26 = -3*f for z.
-4
Suppose -54*m = -56*m + 210. Suppose 3*k - m = -3*x, -2*k + 4*x + 156 = 2*k. Solve -5*b = -4*w - 9 + k, b = -2*w for b.
-4
Suppose 5*o + 3*u - 111 = 0, 3*u + 11 = o - 2*u. Let a be 3/(-2)*(-56)/o. Let p be 7/3 - a*2/(-12). Solve 2*i + c + 9 = 0, -i - 4 + p = 4*c for i.
-5
Let a be ((-16)/5)/(4/(-10)). Let t = a + -3. Let m(b) = -32*b**2 + 127*b + 6. Let c be m(4). Solve -2*o + v - 14 = t*v, 5 = -3*o - c*v for o.
1
Suppose 9*a = -3*a + 924. Suppose a + 121 = 22*m. Solve -5*k - m = -2*t, -t = 5*k + 7 + 11 for t.
-3
Suppose -564 = -33*s - 234. Solve -2*m + 6 = -4*h, -5*h - m - s = -6 for h.
-1
Suppose 0 = 12*z - 9*z - 12. Let i be (-1)/(z/16) - 1. Let l be ((-5)/1 - -4)*i. Solve 4*a - l*a = -5*n - 5, 5*a + n + 1 = 0 for a.
0
Suppose 8*u - 15368 = 42*u. Let v = u + 454. Solve -2*y = 2*n - 2, -3*n + y = -v*y - 21 for n.
4
Let p = -123 - -132. Let y be 6/p*-6 + 4. Solve 5*m + 19 = 6*g - 4*g, y = m + 5 for g.
-3
Let y be (86/1)/(3*2/(-6)). Let t = y + 90. Solve 2*j = g + 2 - 4, t*g - 5*j = 2 for g.
-2
Suppose c - 3*c + 3*u + 69 = 0, -3*u - 150 = -5*c. Suppose -5*o + 25 = 0, 0 = 2*q - 2*o - c + 25. Solve 3*j + 3*i - q = 0, 2*j - i + 0 - 1 = 0 for j.
1
Let v(a) = -a + 7. Let h be v(4). Suppose 0 = 2*l - 4*z, -3*l + h*z - 5*z = -8. Solve 3*y - 10 = -2*y + 5*m, l*y - 1 = 3*m for y.
5
Suppose 546 = 5*d - 379. Suppose d = 7*o - 2*o. Suppose 0 = -o*z + 30*z + 189. Solve -z = 5*n + 2*y, -4*n - 3*y - 8 = 15 for n.
-5
Let p = 8 + -4. Suppose -2*h - 10 = -p*y, 5*h - 2 = y - 0*h. Suppose 14*z - 3 = 13*z. Solve 2*i - z*b = 1, y*i = 3*b + 3 - 0 for i.
2
Suppose -t + 5*j + 12 = -15, 5*t = 9*j + 103. Solve -t*d + 13*d + 5 = -5*l, -50 = 5*d + 5*l for d.
-5
Let d be ((-14)/(266/(-209)))/1. Solve -t - 5*k + 3 = 0, -t + 5*k + 4 = d*k for t.
-2
Suppose p + 21 = 4*p - 3*w, 3*p - 1 = -2*w. Let k(y) = 198*y + 5347. Let t be k(-27). Solve p*u - 2*u - 15 = -5*b, 0 = u - 3*b + t for u.
5
Let k be -209*(-37)/703 + (0 - 9). Solve 15*i = 10*i - k*w - 12, -2 = 2*w for i.
-2
Let w(z) = -z**2 - 270*z - 534. Let c be w(-2). Solve -6*o = -2*j - 2*o - 14, 3*j = -c*o + 19 for j.
3
Let b = 5526 - 5523. Solve 13*d + 9 = -k + 14*d, 0 = -k - b*d + 11 for k.
-4
Suppose -9 - 6 = -3*d. Let i(k) = -4*k - d + k**2 - 2 + 6. Let n be i(5). Solve n*z = 5*q + 3, 3 = 3*q + 3*z - 6 for q.
1
Let w(o) = -2*o**2 - 488*o + 3518. Let r be w(7). Solve 40*i - 45*i = r*l - 28, -5*i + 12 = -4*l for i.
4
Let k be (3 - 4/2) + (0 - -1). Let c = -126 - -128. Solve 4*t - 11 = -3*z + k*z, -c*z + 4*t = 2 for z.
3
Let g = 79 + -11. Let j = 75 - g. Suppose y + 6 = -2*t, j + 2 = -y - 3*t. Solve -o + 0*o + 5*l - 9 = y, -4*o - 4*l + 12 = 0 for o.
1
Let t(a) = 2*a**2 - 194*a + 1428. Let h be t(89). Solve 4*d = -3*x - 5 - h, -x = -1 for d.
-3
Suppose -4 = -3*i - 3*q + 11, q = -3. Suppose -4*s = h - 19, -3*s - 30 = -i*s + 5*h. Solve -5*j = -t - 2*j + 4, s*t - 3*j - 20 = 0 for t.
4
Let i(w) = -4*w**2 + 49*w - 1. Let o be i(11). Suppose 2*z = 4*u - o, 3*u - 8*u - 2*z + 54 = 0. Solve 0 = f - 0*f + 2*k + u, -5*f + 5*k = 0 for f.
-4
Suppose 0 = 8*g - 7*g. Let u = -126 + 147. Suppose g = 23*n - u*n. Solve 0 = -4*r - n*r - 2*z - 24, -5*r - 4*z - 33 = 0 for r.
-5
Let j = -144 + 146. Suppose -j*u = 5*s - 18, -2*s = 5*u + 8 - 32. Solve -n + s*m = -4, 16 = -n - n - 2*m for n.
-4
Let c(a) = -10*a + 41. Let v(s) = -30*s + 124. Let p(w) = -14*c(w) + 5*v(w). Let b be p(3). Solve 0 = 2*k, -4*r = -2*k + 4*k + b for r.
-4
Suppose -a + 4 = -r, -42*a - 4 = -44*a - 2*r. Solve -5*u = -2*l - 21, -a*u - 2*u + 29 = 2*l for u.
5
Let o(h) = -2*h**2 + 14*h - 35. Let y be o(7). Let a be (180/y + 6)/(1/7). Let t be (3 + -4)*10/(-2). Solve -3*l = -t*m - 21 + 5, -a = -3*l + 3*m for l.
-3
Suppose 1 = z - 4. Let g be 5/2 + 2/(-4). Let i(m) = -m**2 - 18*m - 51. Let n be i(-14). Solve 2*a + z = -n*d + 23, -10 = -g*a - d for a.
4
Let a(z) = 2*z**3 - z**2 - z - 4. Let r be a(2). Suppose r*o - 24 - 6 = 0. Solve 3*w - 2 = q, w - o*q = -q + 19 for w.
-1
Suppose 4*o + 17 - 1 = -2*r, -5*o + 2*r = 20. Let t = -4 - o. Solve -16 = -5*c + 2*j - 5*j, -4*c + j + 23 = t for c.
5
Suppose 4*a - 3*j = -12, -j = -a - 0*j - 4. Suppose a = 2*h - s - 2*s - 37, 3*h - 36 = -2*s. Solve 0 = 2*m - 2*t + 2, -5*m - 4*t - 18 - h = 0 for m.
-4
Suppose -646 = 45*s - 781. Solve 0 = 2*a - 2*y - 6, -12*a + 15*a + s*y - 3 = 0 for a.
2
Suppose 3*b - 7 = 29. Let q be (-13)/((-4)/(b/(-3))). Let f = 15 + q. Solve -f*k = 5*l + 5, 5*k - 3 = 4*l - l for k.
0
Suppose 4*n = -2*y + 3*n, 3*n = -y. Let d = 5 - y. Suppose -h = 4*v - 68, d*h = -8*v + 4*v + 52. Solve -3*g + v = -5*l, 3*g + 5 + 1 = -3*l for l.
-3
Let i be 6/15*2*(-456 + 461). Solve -2*a + 6 = i*j, a = 2*j - 0*a + 7 for j.
-1
Let b(u) = -u**2 - 6*u - 2. Let s be b(-6). Let x be (-1 - s) + (-2 - -2) + 2. Suppose 57*q - 58*q + x = 0. Solve -q*k - k = y + 1, -5*y + 16 = -k for k.
-1
Suppose -13*r = -10*r - 3*y - 12, -5*r + 28 = 3*y. Solve -15 - 10 = -r*l + s, -3*l + 27 = -3*s for l.
4
Let b = -1992 - -1997. Solve 5 + 4 = 2*j - b*w, -4*w = -4*j for j.
-3
Let c = -7230 + 7250. Solve -c = 5*p, p + 8 = -135*q + 133*q for q.
-2
Suppose 6*l = 71 - 41. Let w(v) = -l - 9 + 25*v - v**2 - 10. Let r be w(24). Solve r = 5*m - 2*f + 10, -15 - 14 = m + 5*f for m.
-4
Let j be ((-3)/6)/(7/756). Let y be (-13)/(-4) - j/(-216). Solve -5*m + 2 = 5*n - y, -m = 3*n + 1 for m.
2
Suppose p + 2*p + 6 = 0, -2*s - 2*p = -8. Suppose -10*l - 416 = -2*l. Let b be l/(-234) + (-32)/(-18). Solve -q = -5*v - 2*q - s, -b*q - 2 = 0 for v.
-1
Let s = -3685 + 3687. Solve -s*n + 4 = -2*f, -f + 5*n + 8 = -2*f for f.
-3
Let p = -2 + 2. Suppose p = f + 5, 4*k - 6*f = -f + 101. Let w = 21 - k. Solve 5*h = 6*n - 8*n + 27, 5 = w*h - 5*n for h.
5
Suppose t + 2*i = -7, 2*i + 0*i = t - 13. Suppose t*m + m - 88 = 0. Suppose -29*g + 95 - 36 = -144. Solve -4*s - m = -2*l, -g = 5*s - s + 3*l for s.
-4
Suppose -208 + 4 = -3*j - 3*r, 16 = 4*r. Let s be -9 + j/4 - 7. Solve -2*x - 2*c = s, 0*x + 4*c = -x - 6 for x.
2
Let o = 173 - 170. Let t = 4 + -1. Suppose 5*f = -t*b, -10 = -b + f - 2. Solve -3*c = 4*i + 9 + b, 0 = -o*i - 4*c - 7 for i.
-5
Let 