8, k - 8*z + 6*z = -13 for k.
-7
Suppose 0 = 243*d - 1798 - 3305. Solve 2*p + 4 = 4*c, -6*p + 11*p + d = -c for c.
-1
Let m(r) = r**3 - 13*r**2 + 11*r + 14. Let h be m(12). Solve 2*g - 4 = -3*x, -10 = -x - h*g - 2 for x.
-2
Suppose 2*s + i = 5, -3*s + 3*i - 7*i = 0. Suppose 2*o - 12 = -4*y - 4, -5*y + 23 = -s*o. Solve -2*r + 4*g + 2 = -y*r, -3 = 3*g for r.
2
Let f(v) be the first derivative of -v**3/3 + 15*v**2/2 - 51*v + 3. Suppose 384 = 41*q + 56. Let b be f(q). Solve -d - 4*n = -1, b*n + 0 = 2*d + 11 for d.
-3
Suppose -196*y + 44 = -192*y. Suppose 14*o - 15 = y*o. Solve -o*c + 4*c = 5*h - 19, 2*h - c - 9 = 0 for h.
4
Let v be (-2)/(-5) + (-6 - (-1248)/30). Suppose 15*y - 24 = v. Solve 5*a + 1 = -2*q + y*a, -q + 5*a = 17 for q.
-2
Suppose 20*w = 33 + 67. Suppose -w*i = 5*q - 10, -4*i + 5*q - 3*q + 14 = 0. Solve 2*m = 5*j + 5, 3*m - 8*j = -i*j for m.
-5
Suppose 8*l + 160 = 16*l. Let t be l + -23 + 3/1. Solve 5*u = -t*f - f - 11, -u = f + 3 for u.
-2
Let b = -3333 - -3336. Solve -2*t = 3*t - i - 26, -b*t + 2*i = -17 for t.
5
Suppose 4*h = 2*v, -102*v + 104*v - 3*h = 1. Solve 1 = 2*c + w, 5*c = 5*w - 3 - v for c.
0
Suppose 0 = 53*z - 57*z - 5*p - 12, 18 = z - 4*p. Solve -4*c + 10 - 8 = -3*h, -c + 3 = -z*h for h.
-2
Let q(k) = 2*k**2 + 10*k - 12. Let s be q(-6). Suppose -2*t + 3*t - 2 = s. Solve -4*g = -0*g - t*y - 8, -5*y = -10 for g.
3
Suppose 0 = 251*f - 136*f - 593 + 18. Solve f*j - 11 = 5*l + 4*j, -5*j + 15 = -5*l for l.
-2
Let n be 1*(-515 - -1 - 5). Let q = n - -520. Solve -4*r - 26 = 3*d, -4*r - 21 = -q for d.
-2
Let i(s) = 8*s + 5. Let x be i(-3). Let d = 23 + x. Suppose -u - d + 24 = 3*z, 3*z = 3*u. Solve -c + 8 = -u*h, 3*c + 2*c = h - 8 for h.
-2
Let b be (270/4 - 1/2) + 3. Let q = b + -58. Suppose 2*r = -2*g + q, -5*r + 22 = -2*g - g. Solve 4*s = r*z - 35, 0 = -5*s + 3*z - 3 - 31 for s.
-5
Let m = -11222 - -11321. Solve 5*v = -3*q + 34, 94*q = m*q - 3*v for q.
3
Let z(p) be the first derivative of -p**2/2 - 5*p - 34. Let c be z(-10). Solve -c*t - 3*l = l - 16, 8 = -2*t + 2*l for t.
0
Suppose 33 = -9*p + 51. Let n be ((-3)/(-2) + p)*(-48)/(-42). Solve -4*l = x - n*x - 35, 5*l + 4*x - 5 = 0 for l.
5
Let i = -389 + 391. Suppose -3*j - 5 = -i, -4 = -4*f + 4*j. Solve f = 3*d + 5*c + 1 - 9, 4*d = c - 20 for d.
-4
Let c = 36 - 30. Let o be (-11)/((-99)/c)*45/2. Solve -j + 5*v + 7 = 0, 3*j - v + o = -4*v for j.
-3
Let k be (-1)/3 - 8/(-24). Let y be 21/(-35)*20/(-6). Suppose 4*v - 4*a = y*v + 12, 3*v - 2*a - 14 = k. Solve -5*p = -2*t - 16, v*t + 4 + 8 = 0 for p.
2
Let j be 2 + 4 + (1 - 1). Suppose 0*f = -j*f. Suppose -3*o = -4*i - 6, f = 2*o + 2*o - i - 8. Solve -c = o*v + 4, -2*c + 16 = c - v for c.
4
Let y = -6184 - -6190. Solve 5*p + 10 - y = -4*g, 5*p + 2 = -2*g for g.
-1
Let c be ((-2)/(-4))/((-3)/(-6)). Let s(q) = 30*q. Let j be s(c). Let o = j + -25. Solve -5 + 26 = o*y - 3*l, 0 = -5*y - 3*l + 9 for y.
3
Let h(s) = -s**2 + 6*s - 3. Let c be h(6). Let m be 2 + c - 1*-7. Let b = -18001 + 18004. Solve 2*q - 3*q - b*x = -m, q + 2 = 5*x for q.
3
Suppose 108*u - 2811 = -25*u - 18. Solve 5*j + 6*h = 10*h - u, 0 = 4*h + 4 for j.
-5
Let w be 8 - 30/3 - -43. Suppose -4*p - 2*m - 19 = -w, -4*m - 22 = -3*p. Solve 11 = 5*f + 2*i - p, 0 = -5*f + 2*i + 33 for f.
5
Let n = -292 - -305. Suppose -17*h - n*h = 0. Solve 3*b - 4*j + 3*j + 2 = h, -5*b - 2*j = -4 for b.
0
Suppose 62 - 1 = 21*n - 44. Solve -2*a + 2*j + 4 = -5*a, n*a = -4*j - 4 for a.
-4
Let i be -4*(-2)/4 - 291/(-97). Solve 25 = i*r + 5*n, 4*n - 8 - 14 = -5*r for r.
2
Suppose 14*r - 751 = 10*r + 3*v, v = 3. Let a = -186 + r. Solve -z - z = 4*k - 14, 0 = -a*k + 5*z + 21 for k.
4
Suppose 37 + 5 = 7*z. Let k(x) = -1 - z - 10*x**2 + 5 + 3 + x**3. Let v be k(10). Solve -8*d = -4*d + 20, -3*c - 2*d = v for c.
3
Let l be (0 - 15/6)*(-72)/60. Suppose 2*w + 26 = 6*w - 5*g, -4*g - 20 = -l*w. Suppose -w = -10*i + 9*i. Solve -4 = 4*k, 0 = -i*n - 5*k + 3 - 4 for n.
1
Let m = 110 - 220. Let t = -106 - m. Solve 3*q = t*p - 0*p + 16, 4*p = -4 for q.
4
Let t be 10/(-15) + 71/3. Let b = 28 - t. Let j = -103 - -121. Solve 5*i - b*x - j = 12, 4*x + 28 = 5*i for i.
4
Let g = -45 + 49. Let k be 2/g*(-5 - -5). Let i be (-1 - 5)*(3/1)/(-6). Solve k = -i*m + 4*j - 1 - 3, 5*m = -2*j + 2 for m.
0
Suppose -5*s + 2*s + 15 = 0. Suppose 0 = -7*a + 50 + 6. Suppose -162 = -r - a*r. Solve -3*u - s*l = -r, 3*l + 12 = 7*l for u.
1
Let u(l) = 77*l + 1406. Let f be u(-18). Solve 5*w - f*b + 25 = -18*b, 0 = -3*b for w.
-5
Let g(p) be the first derivative of p**2/2 + 10*p + 4. Let q be g(-7). Suppose -17*u - 6*u = -92. Solve s + 3*k = 4*s, q*s = k - u for s.
-2
Let m(d) = 7*d**2 + 25*d - 72. Let j be m(2). Solve -4*o - y + 8 = 0, -3*o + 2*y + 0 = -j for o.
2
Suppose 0 = -5*f + 5 - 25. Let z be (16/12)/((-9)/(54/f)). Let i be z/(-3)*9/(-3) - -2. Solve 0 = -u + 3*u + q - 1, -3*u + 4*q - i = 0 for u.
0
Suppose 82*j - 85*j = -5*k + 34, -3 = j. Solve -152 = -3*g - 4*p - 151, -k*g - 21 = p for g.
-5
Let s be ((-10)/4)/(30/(-12)). Let b be (-54)/(-13) + s + (-10)/65. Solve -2*o - 5*r = -2*r + 7, -b*o = 4*r + 7 for o.
1
Let i(m) = 49*m - 880. Let x be i(18). Solve -4*v = -8*v - 2*h - 26, -h + x = -v for v.
-5
Let h(k) = -k**2 + 28*k + 1033. Let m be h(49). Solve 0 = -13*v + 17*v + 4*q + m, -v = -5*q - 29 for v.
4
Let k be 265 + -2 - 0*(-1)/(-2). Suppose -k = 3*a + 5*i, -101 = 4*a - 3*a + 5*i. Let l = -79 - a. Solve c = -3*c + 2*v - 12, 2*c + v + l = 0 for c.
-2
Let t be -1 - (-2 - -5) - -4. Let w(s) = 3*s**2 + 22*s + 37. Let a be w(-5). Solve 3*g = 5*f - 27, -4*g + t*f = -a*f + 22 for g.
-4
Let b be 3/(-5) + (-8)/(40/(-13)). Solve b*m + 20 = -s + 22, 3*s - m = -8 for s.
-2
Suppose -3*a + 120 = 3*a. Suppose 5*g - a = 5*j, 3*g + 5*j - 10 = -2*g. Suppose f + g = 7. Solve -5*r + 3*r = -3*h - 3, -5*h - f*r = 27 for h.
-3
Let m(y) = -64*y + 5315. Let w be m(83). Solve 0 = 5*b + 30 - 5, -w*o + b = 7 for o.
-4
Suppose 5*b - 8*b = 345. Let y = b + 120. Solve 0 = u + y*h - 2, h = 5*h for u.
2
Suppose -5*h - 25 = 0, -4*f - 2*h = 2*h - 4. Let k be (f/4)/(-5 - (-1285)/260). Let b = 42 + k. Solve i = -4*t - 0*t - b, 3*i - 4*t = 0 for i.
-4
Suppose -4*b = -3*p - 29, -5*b + 6*b + 3*p = -4. Solve -23*w = -4*f - 20*w - b, 10 = -4*f + 2*w for f.
-5
Let a(r) = 187*r - 1108. Let x be a(6). Solve 2*d - 21 = -3*l, -4*d = -l - 7*d + x for l.
5
Suppose -2*v = -0*v - 4. Suppose 117*k + 75 = 120*k. Let x(t) = 5*t - 119. Let n be x(k). Solve -v*b + n = 0, -y + 0*b + 3*b = 13 for y.
-4
Let k be 1 - 1 - 2/(-1). Let y(t) = -31*t + 34. Let f be y(4). Let b be (-5)/15 - f/27. Solve b*l + o + 13 = 0, 4 - 2 = -k*l + o for l.
-3
Let k = 15386 + -15386. Solve -4*a + 0*a + 4*r - 40 = k, -5*a - 5*r = 0 for a.
-5
Suppose -104 = -123*u + 115*u. Solve u = -5*g - o, 0 = -4*g + o - 5 for g.
-2
Suppose 16 = -25*s + 29 + 87. Solve -4*f - 3*a + 5*a = -16, 2*a = s for f.
5
Suppose 0 = -5*y + 34 - 9. Let t = -553 - -559. Solve 0 = y*l - 5*p + 35, -2*l + 2*p - 2 = -t*l for l.
-2
Let j = -13 + 15. Suppose g = 5*s + 33, j*s = 2*g + s - 48. Solve f = 4*a - g, f + f - 4 = -2*a for f.
-3
Let d(v) = -19*v - 1857. Let g be d(-98). Solve 20 = -l - l + g*z, -4*l - 14 = 3*z for l.
-5
Suppose 3*s + 3*f = 23 - 5, -2*f + 8 = 0. Let h = 42 - 29. Solve 2*b = 2*a - 3*a - 7, a - h = s*b for a.
3
Let l = 3994 + -3989. Solve l*r - 3 = -a, -3*a + 3*r - 11 = -2 for a.
-2
Suppose 3*f - 208 = -3*p - 199, 5 = 5*f. Solve -23 = -2*z - 5*k, -p*z + 6*k - 9*k = -13 for z.
-1
Let l(p) = -8*p + 133. Let o be l(16). Solve 0 = -o*h - 4*k - 36, 20 = -2*h - 2*h - k for h.
-4
Suppose 1207 = 5*h + 2415 - 1228. Let d(q) = 2*q. Let z be d(1). Let g = z + 0. Solve 0 = g*s - h*o - 8, s + 2 + 6 = -4*o for s.
0
Let x(n) = 9*n**3 + 12*n**2 - 19*n + 6. Let s be x(1). Solve -3*u = 4*a - s*u + 41, -a + 21 = 5*u for a.
-4
Suppose 3*u + 4*f = -253 + 467, u = -16*f - 46. Solve -5*s + v + 64 - u = 0, 0 = 4*s + 3*v - 16 for s.
-2
Let b be 9/1 - ((-336)/(-16) + -22). Solve b*x = -5*c + 15*x + 40, -c + 3*x + 16 = 0 for c.
4
Let w = -20164 - -20167. Solve 28 = 4*d + 3*q, d - w*q = 32 - 40 for d.
4
Suppose 205 + 251 = 38*r. Let j be 6/r + (-1)/2. Solve -5*q + 45 = 5*z, 4*z - 16 = -j*z + q for z.
5
Let b(x) = -x**3 + 28*x**2 + 31*x - 56. Let r be b(29). Let w be 24/(-56) - ((-640)/7 + r). Let k = -85 + w. Solve 0*i - 2*i - 2*z = -k, -5*z 