x = -c + 3*x + f for c.
-1
Let i = -197 - -212. Suppose -706*b + 703*b + i = 0. Solve -4*n - 27 = 3*j, 5 = -4*j - 0*n + b*n for j.
-5
Let y = 44 + -35. Suppose -y*p + 7*p = 0. Suppose 2*r = -p*r. Solve 0*j + 5*j + 5 = -3*k, r = -3*j + 4*k - 32 for j.
-4
Suppose 0 = 1121*b - 1120*b + 6, -28 = -2*a + 3*b. Solve 2*w = 3*l + 12, -a*l + 22*w - 25 = 17*w for l.
-2
Suppose -1876 = -127*c + 2696. Solve 5*d + 4*t + 4 = -c, 3*d + 27 = -3*t for d.
-4
Let m = -474 - -461. Let x(w) = 9*w + 122. Let s be x(m). Solve v + 0 = s, 2*c + 3*v - 21 = 0 for c.
3
Let u(p) = p + 8. Let n(z) = -z - 4. Let o(t) = -5*n(t) - 3*u(t). Let q be o(0). Let h be 4/(2 + q + 3). Solve 0*a + 4*a + 8 = -2*d, 0 = h*a + 4*d + 16 for a.
0
Suppose 6*l = -7*l + 78. Suppose j = 4*f - 15, 4*f = f - 5*j - l. Solve 5*y - 23 = p, 3*y - f*p - 6 - 3 = 0 for y.
5
Suppose -u + 4*h = 4 + 6, -u - 5*h = -17. Suppose -u*f + 18 = -3*r, f - 5*r - 32 = -3*f. Suppose -f*t = -t - 6. Solve 0 = c + t*c - 5*g + 15, g = -1 for c.
-5
Suppose -94*b + 92*b = 0. Suppose -d - 11 = -5*g, -7*g - 4*d + 31 = -2*g. Suppose -g*n + b*n = -6*n. Solve n = -4*q + 5*y + 1, 8*q = 3*q - 4*y - 9 for q.
-1
Suppose 266 = 7*q + 49. Solve 5*w = 5, 3*w = 33*g - q*g - 1 for g.
2
Let f(d) = -d**3 + 5*d**2 + 16*d - 8. Let s = 10 - 3. Let h be f(s). Suppose 0 = -3*g + h, k - 4*g + 8 = -3*k. Solve k = 2*m + q, -m - 9 + 0 = 5*q for m.
1
Suppose 7*d = 2*d + 10. Let i = -32 + 35. Let t be -1 - ((-3)/(-12) - 15/12). Solve -5*z = -v + 9, -d*z + v - i = -t*v for z.
-2
Let r be 2/7 - (-396)/84. Suppose g + 4*b - 14 = 0, -r*b = -3*g - b - 6. Solve -2*o = g*v + v + 1, -3*o = -2*v - 5 for o.
1
Let x(t) = -t**3 + 2*t**2 + 47*t - 6. Let y be x(-6). Solve 2*h + 7 = 5*z, y = -2*z - 2*z + 12 for h.
4
Let y(d) = 68 - 119 - d**3 - 6*d**2 + 13 - 8*d. Let q be y(-6). Solve 4*u - p + q + 8 = 0, u + 3*p = 2 for u.
-4
Suppose 3*m = -2*m + 4*a + 2, a = -2*m + 6. Let k(h) = -4*h - 86. Let r be k(-25). Suppose b - r = -6. Solve m*l = 2*f + 3*l - b, 5*l = f + 18 for f.
2
Suppose -24*m = -5*m + 7*m - 364. Solve 4 = 3*y + 4*j + 15, m = -4*y - 6*j for y.
-5
Let s be (36 - (5 - (2 - -10))) + 0 + -1. Solve -19 = -3*y - 5*x, 47*y - s*y - 11 = 2*x for y.
3
Let b = -8 + 12. Suppose 0 = -0*o + 5*o + 5, -5*x - b*o = -6. Suppose -672 = 21*m - 60*m - 129*m. Solve -x*s - m*g = -s, 0 = 2*s - 4*g - 12 for s.
4
Let k = -29 - -17. Let p(g) = -g**3 - 14*g**2 - 22*g + 42. Let z be p(k). Solve 1 = -m - 4*f, -4*f = -5*m - f + z for m.
3
Let i be 0 + (-6)/8 - (-46)/8. Let k(v) = -2*v**3 - i*v**2 + v**3 - 616 + 5*v + 614. Let t be k(-6). Solve -t*d + 3 = 3*x, -2*x - 2 + 6 = 2*d for x.
5
Let t be 40/(-4 - 6) + 6. Let b be 9/9*5 - (t + 0). Let h be (-2)/(-4)*0/(-2). Solve -b*v + 4 = -h*v + 4*c, 0 = -5*v + 3*c - 3 for v.
0
Let v be 32 - (-15 + 21) - 21. Solve -39*a + 42*a - 5*j - 27 = 0, -v = -5*a - 5*j for a.
4
Let y = -30 - -77. Let z be (-86)/(-2) - 22/((-242)/77). Let t = z - y. Solve -2*c + 4 = f - 6*c, -t*c - 14 = 2*f for f.
-4
Suppose 4*d - 22 = -5*b + 29, -5*b - 2*d + 43 = 0. Solve 3 = -4*o - 2*t - b, -4*t - 15 = 3*o for o.
-1
Suppose j - 7 = -m, 2*j + 2 = -m + 12. Let h = 633 - 633. Solve -5*t + m*s - 23 = h, -4*t = -2*t - 2*s + 10 for t.
-3
Let h be 7/(-1)*(40/(-35))/2. Suppose 2*y - p - 15 = 0, -h*y - 17 + 52 = -3*p. Let q = -10 - -10. Solve -2*d = -k - 2*k + y, q = 3*d + 5*k - 21 for d.
2
Suppose -1 = -2*d + 1, 39 = 8*v - d. Solve v*m - 4*n = -9*n + 40, n = 4*m - 12 for m.
4
Suppose 51*c = 54*c - 3*l + 6, 0 = -2*c + l. Solve -105 = -5*y - 2*h - 117, 0 = c*y + 5*h - 12 for y.
-4
Suppose -5*j = -r + 8, -3*j - 8 = 2*r + 2. Let l be 9/r*(-32)/24. Solve -4*p + m = -l*p + 13, -10 = p - 5*m for p.
5
Let b(v) = 2*v - 46. Let z be b(24). Suppose -w - 5*p = -18, 5*w - 46 = -z*p - 2. Suppose 0 = k + 3*k - w. Solve -o + 5*u = -15, -2*u + k = -3*o + 8 for o.
0
Let l(m) = 260 - 248 - 38*m**2 + 24*m + 36*m**2. Let k be l(12). Solve -k = -0*p - 3*p, 4*x = -2*p - 8 for x.
-4
Suppose 0*a - 69 = -3*h + 5*a, 3*h = a + 57. Let m = h - 13. Suppose -5*u = m*u - 40. Solve -3*r - 3 = u*n, 3*n - r = -3*r - 3 for n.
-3
Let r = -146378 - -146380. Let d = 0 + 1. Let l = 1 + d. Solve r*q - 10 = -2*b, 0 = -l*b - b - 5*q + 17 for b.
4
Suppose 25*f = 28*f - 477. Let s be f/4 + (2 - 35/20). Let k be -3 - 2 - s/(-4). Solve k*a - 4*v - 45 = 0, -5*v = -a + 2*a + 20 for a.
5
Suppose -3*z + 3*a - 1641 = 978, 0 = 4*z + 5*a + 3510. Let t = z - -880. Solve 0 = -2*n - 2*s, -n - t = -3*s - 21 for n.
4
Let k(l) = -l**2 - 41*l + 282. Let o be k(6). Solve o = 5*t - 4*r - 4, 2*r + 2 = -2*t - t for t.
0
Let z(u) = 4*u**3 - 2*u**2 + u. Let o be z(1). Suppose -150 + 171 = 7*v. Suppose -v*i = m - 16, 17*i = 12*i + 25. Solve 5*p - 3 = o*f - 5, f - m = 2*p for f.
-1
Let l be -3 - (-17 + -2)*-2. Let q = l - -137. Let j = 106 - q. Solve 4*b - 3*b - 3*t = j, 3*t = -15 for b.
-5
Suppose -620 = -5*k + 4*c, 5*c - 84 = -2*k + 164. Suppose 9*d - k = -43. Solve 3*u + 5*g + d = -7, 0 = 4*u - g - 17 for u.
3
Let o = -34 - -61. Let n = 30 - o. Solve -4*d + 19 = -3*d - 4*z, -n*z - 17 = 2*d for d.
-1
Suppose 0 = -10*x + 170 + 310. Let s = 51 - x. Solve -3*l + 37 = s*b + 2*l, 0 = b - 2*l + 6 for b.
4
Suppose 0 = -2*z - 2*u + 10, 5*z - 3*u - 2 = 7. Solve 4*s - 6 = -p - 0, z*p + 2*s + 2 = 0 for p.
-2
Suppose a = -3*a + 3 - 3. Solve -t - 3*b + 10 = a, -9*b = -3*t - 11*b + 16 for t.
4
Let k = -3120 - -3131. Solve -o = 5*v + 18, 9 = -5*o - k*v + 13*v for o.
-3
Let p(q) = -6*q**3 + q. Let i be p(-2). Let m = 56 - i. Suppose -4*b - m = -9*b. Solve b*j - 3 = -5*x + 3*j, -4*x - 3*j + 10 = 0 for x.
1
Suppose -5*c + 5*w + 25 = 0, -4*w - 18 = -3*c + 2. Solve -5*t + 15 = x, c = -0*x + x + 3*t - 9 for x.
0
Suppose s + 6 = 0, 13*s - 11*s = 5*l - 32. Solve -1 = -2*x + 3*d, -l*d + 5 = -2*x + 7 for x.
-1
Suppose -13 = 4*u + 27. Let y = u - -15. Suppose 4*j - 18 = -y*z, -j + 14 = j + 5*z. Solve -4*d - d - 4*w = 5, 2*w = j*d + 2 for d.
-1
Let p(r) be the second derivative of -r**3/6 - 5*r**2/2 - 27*r. Let u be p(-12). Let a be -1 - (-2 - u - -4). Solve 5*s - 4*b = 6, a*b = -5*s - b - 30 for s.
-2
Let p = 47 - 17. Suppose -4*i - 4*w = -8*w - 88, -i - w = -p. Solve 5*l = 4*y - i, 5*l + y - 1 = -7 for l.
-2
Let i(c) = c**3 + 16*c**2 + 66*c + 66. Let u be i(-10). Solve -23 = -4*v - f, u = -3*v - 3*f + 21 for v.
6
Let a = -1 + 2. Let f(z) = -137*z - 1088. Let o be f(-8). Let b be 4/o*((-1)/a - -7). Solve 4 = 3*n + 2*y - 4, 0 = -5*n + b*y + 7 for n.
2
Let d(r) = -r**3 + 11*r**2 + 3*r - 13. Let n be d(12). Let w = n + 127. Solve 4*k = 2*x - 6, -w = -x + 4*k + 1 for x.
-1
Suppose 15*k - 350 = -20*k. Let q(n) = n**3 - 9*n**2 - 7*n - 5. Let u be q(k). Solve -5*y = -3*z + u, 2*y - 1 + 11 = -5*z for z.
0
Suppose -12*y = -28*y - 24*y + 1000. Solve 5*x + 0*x - y = w, 0 = -4*w - x - 16 for w.
-5
Suppose 2419 + 4256 = 25*i. Let t = -265 + i. Solve -2*u - 5*d - 37 = -5*u, t*d - 6 = -4*u for u.
4
Suppose -29 = 2*h + 5*m, -15*m = h - 12*m + 18. Solve -h*l + 9 = 0, -3*x + 4*l + 3 = 3*l for x.
2
Suppose -66 - 42 = -6*n. Suppose n = -3*q + 12*q. Solve -5*m - 2 = -q*m + 4*k, -2 = k for m.
2
Let o(q) = 436*q - 4796. Let r be o(11). Solve -4*g - 6*w - 40 = r, 0 = -4*g + 12*w - 8*w for g.
-4
Let y = 55 + -55. Let d be 6/6 - (4 + y). Let a be (4/(-8) - d/2) + 9. Solve 3*k = -5*j - 10, j + k - a = -2*k for j.
-5
Let n = -7 + 36. Suppose -n + 9 = 5*t. Let m be -2*(t + 5) + 22. Solve 0 = -2*k + 6, 5*a + 6*k - m = k for a.
1
Let n be (-4911)/(-12) + ((-75)/20)/(-5). Suppose 407*i - n*i = -12. Solve 3*r = 5*h + 14, i*h + 0*h - 2*r + 10 = 0 for h.
-1
Let z = -3 - -7. Suppose -z*h + 5*k = -5, -11 = h - 4*k - 4. Solve -3*w - 4 = -h*s, -3*s - 3*w = 2*w - 16 for s.
2
Suppose -33 = -229*s + 218*s. Solve 11*r - 9*r - x - 1 = 0, -6 = s*r - 3*x for r.
3
Let h = 439 - 438. Solve -4*l - 3 = -b, -5*l + 3*l + h = -3*b for b.
-1
Let i = 450 - 266. Suppose -2*h - i = -4*g, 3*h + 100 = 2*g - 0*h. Let a = -44 + g. Solve 5*l + a*m - m - 12 = 0, 2*m - 2 = -3*l for l.
2
Let k = -7551 + 7570. Solve 2*g = -8, -k*n = -17*n + g - 6 for n.
5
Let q be (-3 + 4)*-8*5. Let t = q - -32. Let v be (-11)/(-44) + (-22)/t. Solve -w + i = w, v*w = -5*i for w.
0
Let f be -4 - (17 + 367 - (-5 - -1)). Let o = 394 + f. Solve -j - 4*j = 2*x, o*j + 16 = -4*x for x.
-5
Suppose 300 = -15*l + 375. Solve -2*p = 4*b + 27 - 35, 0 = -l*