 - k + y, -3*u + 14 = -5*k for u.
3
Let r(v) = 4*v**3 - v**2 + 2*v. Let p = -248 - -249. Let y be r(p). Solve x + 2*x - 3 = -y*h, 3 = 3*x for h.
0
Suppose -4*h + 3*k = -4, -k + 8 = -0*h + h. Suppose h*s - 50 = 5*m - 2*m, -2*m - 26 = -2*s. Solve 0*w + l = -4*w - s, -5*w = 2*l + 16 for w.
-2
Let f = -128 + 138. Let w = -8 + f. Suppose -5*y + 15 = -0*y. Solve 5*s + p - 11 = 0, -w*s - 3*p = -4 - y for s.
2
Let p(g) be the first derivative of -g**4/4 + 6*g**3 + 19*g**2/2 + 11*g - 52. Let j be p(19). Solve 0 = 2*v - 5*b, v - 2*v - j = 3*b for v.
-5
Let m = 578 - 638. Let p be (32/(-6) + 5)/(2/m). Solve -2*b + 5*k = -3*b - p, -5*b + 10 = 5*k for b.
5
Let y = -13 + 8. Let a = 8 + y. Let h = 14120 + -14117. Solve -4*q + 2 + 3 = -d, -h*d + a*q + 3 = 0 for d.
3
Suppose 0 = 3*g - 2*f + 2, -833*g + 2*f - 2 = -829*g. Solve 4*d - 2*q + 6 = 2, g = -4*q - 8 for d.
-2
Let j = -619 - -626. Suppose -5*b = 12*b + j*b. Let h be 1/3 - 10/(-6). Solve -h*v = -2*t + 12, b = -2*v - 5*t + 9 for v.
-3
Suppose 42*q - 247 = -163. Solve 4*j + 4 = q*a, 0 = 3*j - 14*a + 9*a + 10 for j.
0
Let p(q) = 2*q**3 - 3*q**2 - 40*q + 25. Let b be p(5). Solve 2*d - 2*k - 14 = b, 14*d + 4*k + 24 = 17*d for d.
4
Let p = 3127 - 3123. Solve 0 = 5*d - 2*j, -4*d - p*j = -7*j for d.
0
Suppose 1276*b - 16 = -5*u + 1280*b, 16 = -4*b. Solve u = -4*r - t + 8, -4*r = -0*t + 5*t - 24 for r.
1
Suppose 3*r - 12 = -2*f, 4*f - 3*f - 13 = -5*r. Let i be (-266)/(-18) - (96/54 - r). Suppose -20*w + i = -15*w. Solve -w*m = 4*u + 2, 8 = -u + 3*m - 0*m for u.
-2
Let c = 596 + -594. Suppose -c*t + 4*r = t, 3*r - 9 = 0. Solve 0*n + n = 3*k - 15, -22 = 2*n - t*k for n.
-3
Let d(m) = 13*m + 4. Let q(p) = -12*p - 4. Let s(n) = 6*d(n) + 5*q(n). Let v be s(0). Solve 8 = -o - l, o + l + v*l = -28 for o.
-3
Let i be (-435)/(-12) + 15/(-60). Suppose q + 3*j - i = 0, -3*j = -10 - 5. Solve b - 14 = 2*v, v + b + q = 5*b for v.
-5
Let d(k) = -3 - 11*k - 10*k + 34*k - 14*k. Let h be d(-5). Suppose h*c + 0*c - 4*a = -4, -4*c - 2*a + 22 = 0. Solve 0 = -3*m - 3*j + 9, c*j - 18 = -m - 3 for m.
-1
Let x(c) = c**2 + 25*c - 961. Let t be x(21). Solve -3*m - 9 = -114*l + 118*l, 0 = -t*l - 2*m - 13 for l.
-3
Let g = 271 - 267. Suppose 5*x = 2*u - 25, x + 25 = -u - g*x. Let y be 1*2/(-3)*-3. Solve l = 3*z - 6 + y, u = -5*z for l.
-4
Suppose a - 2*w - 9 = -0*a, 4*w + 11 = -5*a. Let i be a/4 - 517/(-44). Let m = 13 + i. Solve 4*b + 5*z + m = 0, -z - 20 = b + 3*z for b.
0
Let l be (34/6)/((-12)/(-108)). Suppose -6*v = -63 + l. Solve -2*b + 2*i - 7 = -3*b, -v*b + 7 = -3*i for b.
5
Let j(f) = -3*f**3 + f**2 - 8*f - 18. Let r be j(-2). Let k(h) = h**3 - 26*h**2 + 11. Let q be k(r). Solve 4*g + i - 18 = 1, 3*i = 5*g - q for g.
4
Let m = -168 + 170. Suppose r - 4 = 3*w + m*r, r + 4 = -5*w. Solve 5*p + 2*l = 6*l + 7, -p - l + 5 = w for p.
3
Let k be (-34)/(-204)*-24 + 1*7. Solve -26*h = 4*y - 28*h, y - k*h - 10 = 0 for y.
-2
Let o = -2884 - -2896. Solve -5*a - 28 = -o*p + 9*p, -3*p + 23 = -4*a for p.
1
Let z(t) = t**2 + 31*t - 102. Suppose -m - n - 29 = 0, m + 59 = 17*n - 12*n. Let x be z(m). Solve -u - j - 1 = -x, 0 = 5*j - 15 for u.
-4
Suppose 3*n - 33 = n + 5*h, -36 = -4*n + 4*h. Suppose 0 = r + n, -2*z = -z - 5*r - 20. Solve -5*f + c - 24 = 0, 2*f + 14 = -z*f - 4*c for f.
-5
Let a(q) = -q**3 - 21*q**2 + 199*q + 88. Let u be a(-28). Solve -2*m - 2 - 16 = -3*d, 5*m - u*d + 31 = 0 for m.
-3
Let j(t) = 3*t**2 - 87*t - 374. Let p be j(-4). Solve p = -2*a + 4*u + 18, -5*a = 5*u + 10 for a.
-2
Suppose 4*l + 3*y + 1 = 0, 78*l + 2*y = 80*l - 10. Solve 0 = -4*k - 16, -4*p - 2*k = l*k + 28 for p.
-3
Let u = -7692 - -7696. Solve 14*i - 12*i + u*w = -12, 0 = 5*w + 20 for i.
2
Let m(k) = 1 + 0*k - k - 1 + 1. Let y be m(-3). Let s(w) = -w**3 - 20*w**2 - 34*w + 36. Let z be s(-18). Solve v = 4*v - y*b - 26, 5*v + 3*b + 5 = z for v.
2
Let j(l) = -l**2 - 13*l - 12. Let k be j(-12). Suppose -7*i + 5*i - 2 = k. Let g be ((-20)/(-20))/(2*i/(-4)). Solve -g*b - 7*s + 20 = -2*s, b + 4 = s for b.
0
Let j be ((-1)/(-2))/((-5)/(-50)). Suppose -j*r + 17 + 23 = 0. Suppose 3*u - 4 = 2*u. Solve 2*g - r = -u*o, -2*g + o = 1 + 6 for g.
-2
Let n(p) = -3*p**2 - 24*p + 28. Let r(l) = -l**2 - 8*l + 9. Let x(w) = 2*n(w) - 7*r(w). Let a be x(-9). Solve 0 = 2*i - 5*s + 25, -a*i + 4*s + 2 = 22 for i.
0
Let x(q) = 8*q**2 - 19*q + 2*q**2 + 17*q - 1. Let n be x(-1). Solve l + 2 = f, -5*l = f + f - n for f.
3
Let d(z) = z**2 - 63*z + 240. Let c be d(4). Solve 16 - 4 = 2*o + 4*f, c*o + 3*f = 14 for o.
2
Suppose 5*z + 5*g + 0*g - 70 = 0, 0 = -4*z - 5*g + 60. Let m be 12/(-1)*z/(-30). Solve 4*q + 10 = 2*s, m*s = -4*q - q - 32 for q.
-4
Let t = 46801 + -46792. Suppose -r + a - 60 = -5*r, -4 = -r - 3*a. Solve t*w - 27 = 4*w + n, 2*w - r = 3*n for w.
5
Let b = 4044 - 4029. Solve -5*y + 25 = -10*y, -4*w + b = y for w.
5
Suppose -114 + 94 = -10*p. Suppose 2*c = -4*w + 42, 2*w - 14 = p*c - 80. Solve -4*d = 3*n - c, 0*d + 4*d = 2*n + 14 for n.
3
Let b = -14 + 17. Suppose 0 = b*j - 10 + 4. Suppose -2*y = 3*x - 18, 8*y - 4*y - 12 = -3*x. Solve 4*v = -m - 0*m + x, 0 = -j*v - m + 6 for v.
1
Let f be 24*3277/3132 + 20/(-18). Solve 3*t - 8 = 2*c, 0 = -f*t + 22*t - c - 4 for t.
0
Suppose 0 = 5*c + 2*s - 21, -3*s + 15 = 2*c - 0*s. Suppose -4*g + 7*m = 10*m - 17, -2*g + c*m - 5 = 0. Solve 3*x + w = -g*w + 30, 0 = 5*w - 25 for x.
5
Let b be 3660/(-5185)*17*-1. Solve 0 = y - 3*z - b, 6*y + 3*z + 12 = 2*y for y.
0
Let k = -757 + 813. Let q be (248/k)/1 + 4/7. Solve 0 = -q*n - 4*j + 37, 0 = 4*n - j - 17 - 0 for n.
5
Let y be ((0 - 8/6) + 2)*6. Solve g = 2*t - 6, -3*t - 2*g = -y*g - 11 for t.
1
Suppose 63*u - 24*u - 22*u = 23*u. Solve u = y - 5, -9 = -5*j - 5*y + 26 for j.
2
Let r = 84 - 90. Let k be (-35)/(-15) - 4/r. Solve -4*n - 5*d - 3 = 2, k*n - 4*d = 4 for n.
0
Let i(m) = -5*m**2 + 33*m + 127. Let g be i(9). Solve 24*j + 25 = g*j + 5*d, -2*j - 5*d = -11 for j.
-2
Suppose -6*r - 249 = -9*r. Let m = r - 77. Solve -2*a - 3*a = 2*l - 3, m = -2*a + l for a.
-1
Let a = 0 - -76. Let s be (-15)/(-4) + 2 + (-57)/a. Solve 4*o - 2 = s*m - 0, 3*m - 18 = -4*o for m.
2
Let p be 1 + 0 + (-6)/(-6) + -2. Suppose 0 = 2*l - o + 3, p*o + 15 = -5*l + 5*o. Let s be l - (-4)/14 - 89/(-7). Solve 2*v - 5*b = 28, b + s = 4*v - 7 for v.
4
Let s be (1*-4)/(13 + -22 - -8). Solve 3*k + s = z + 12, 4*z + k + 19 = 0 for z.
-5
Let w(t) = 3*t - 6. Suppose 4*p + 24 = i, -p = 4*i - 2*p - 21. Let z be w(i). Solve -z = -3*k - k - 5*u, 3*u = -6 for k.
4
Suppose 5*c = g + c - 10, -5*g + 5*c = -20. Let v = -375 - -361. Let o be v/42 + 1/3 - -2. Solve z = -g*k - 2, -3*z + o*k - 6 = -6*z for z.
4
Suppose -1000 + 2857 = 5*x - 4*r, -2*x + 3*r = -747. Solve -x*i - 12 = -372*i, 0 = -h + 5*i - 25 for h.
-5
Let w = -475 + 480. Solve 0 = 4*z + 15 - 27, 0 = -2*t - z + w for t.
1
Suppose 0 = -20*v - 6*v + 298 - 168. Solve 4 = 3*y + 2*r, 0 = 3*y + v*r - 12 + 11 for y.
2
Suppose 5*g = -3*a - 3, 2*a + 13*g - 2 = 11*g. Suppose 5*z - a*p - 26 + 2 = 0, -p - 1 = 0. Solve -f - f = -z*s + 30, 0 = f + 5*s - 20 for f.
-5
Suppose -6 = f - 8. Suppose -s + 5*r + 7 = 0, -3*r - f - 1 = 0. Solve 3*t = 8*t - s*c + 23, -2*t = -3*c + 7 for t.
-5
Let s be (-24 - -48)*(-6)/(-16). Let c be (1*0/(-2))/(-1). Suppose 3*v + c*j + s = 3*j, -2*v = 3*j - 9. Solve 0*b - 3*t = -b + 10, -2*b + 2*t + 4 = v for b.
-2
Let f be 2/(-15) + (-141)/(-45). Solve d + 21 = 5*k, 2*d + 4 + f = 3*k for k.
5
Suppose 3*i - j = 89, j + 62 = 2*i - j. Let x = -13 - -16. Let h(r) = r**2 + r - 63. Let d be h(9). Solve 0 = 3*g - 3*o + d, 4*g - x*g - 5*o = -i for g.
-4
Let k(z) = 0 - z**2 - 3 - 8*z - 4 + 2. Let b be -35 - -31 - (2 - -1)*1. Let g be k(b). Solve -3*w = g*w - 5*o + 15, -w = o + 3 for w.
-3
Suppose 0 = p - 5*z - 28, 0*p + 40 = 5*p - 5*z. Let b(u) = -39 + 68 + 68 - 3*u + 1. Let v be b(26). Solve -v = w + 4*y, w - p*y = -0*y + 15 for w.
0
Suppose 0 = -0*o + 3*o - 15. Let h(i) = -4*i - 19. Let m be (-1)/3 - 64/6. Let b be h(m). Solve 3*p = o*v + b, 0 = -0*v + v + 5 for p.
0
Let i = -2112 - -2112. Solve -1 = 5*a - 3*w - 0*w, a - 5*w + 9 = i for a.
1
Let m be 1/(-3) - 2/(-6). Let p(r) = -3*r - 59. Let h be -9*((-95)/(-15) - 4). Let j be p(h). Solve -4*v - 9*u + 4*u = 10, v + 2*u + j = m for v.
0
Let a = 82 - 80. Let t = 82 + -26. Let c = t + -52. Solve 2 = -a*r, c*r + 0 - 12 = 4*o for o.
-4
Supp