et m be u(b). Solve 4*v - 6*c + c - 24 = 0, 12 = -m*c for v.
1
Let c be 1/(6*(-5)/(-240)). Let p = -8 + 18. Let f = p + -7. Solve -u = -2*w + 2, c = -w - f*u + 2 for w.
0
Suppose -4*v = -6*v + 4, 2*v = a + 756. Let q = a - -756. Solve -3*b = 2*u - q, 4*u + 5*b - 7 = u for u.
-1
Let v(d) = -101*d - 101*d - 28 + 200*d. Let y be v(-13). Let n be (-2*(-8)/y)/(-2). Solve -b + n*s + 14 = 0, 4*s = -0*b + 3*b - 10 for b.
-2
Let r be 2/(-5) + 2210/(-850) - -6. Solve -10*b = -7*b - 15, 0 = -r*v - 2*b + 16 for v.
2
Suppose -2*p - 15 = -3*p - t, -2*p + t + 21 = 0. Suppose -p = -h + 5*h. Let x be 12/(-10)*20/h. Solve -3*c + 1 + 10 = 4*v, -4*c - 2*v + x = 0 for c.
1
Let w be 12 - (-56)/(-6)*6/7. Solve 3*z - 5*i + 6 = 26, 16 = -3*z - w*i for z.
0
Let w be -3*((-1)/(-3))/(2/8). Let l be (-2)/(w/32 - 0). Suppose -3*z + l = 10. Solve -5*k + 10 = -z*s, 4*s + 25 = -k - s for k.
0
Suppose 3*f - p = -0*p + 3, f - 12 = 4*p. Suppose 2*x - 8 - 16 = -2*r, -3*x - r + 28 = f. Suppose 6*q = x + 10. Solve 5*h - b + 9 = -3, -q*b = -5*h - 16 for h.
-2
Suppose -37 - 23 = 3*s + 3. Let q = 31 - -5. Let w = q + s. Solve 5*m - 5 = -0*b - b, 0 = 5*m - b - w for m.
2
Let t be (-1 - -1)/(-1 - -3). Suppose t = -4*r + y + 3, 6*y - 10*y = r - 22. Suppose 14 + 11 = 5*k. Solve -b + r = 2*g, b + 5*g = k + 3 for b.
-2
Let p(r) = 2*r**2 - 681*r + 2727. Let b be p(4). Let y(l) = l**2 - 3*l + 3. Let w be y(3). Solve 5*k = -5*n - b, w*n + 5*k + 0 = -29 for n.
-3
Suppose -5*j = -14 + 374. Let i = 76 + j. Solve p + 4*l - 5 = 0, 0 = -4*p - 2*l + i + 2 for p.
1
Suppose 3*y - 22*d = -17*d + 53, 0 = -2*y - d + 44. Solve -5*a + 17*k - 13 = y*k, 1 = -2*a - 3*k for a.
-5
Suppose -21*i = 125*i. Solve 2*n + 14*g - 18*g + 20 = i, 14 = n + 4*g for n.
-2
Suppose -m = 3*x - 213 - 671, x = m + 288. Let u = x + -292. Let n(l) = -l**2 - 11*l - 10. Let w be n(-10). Solve 3*f + 5*s + 7 = u, 4*f - 5*s - 27 = w for f.
3
Let y be 18/(-12)*-2 - -1. Suppose 0 = y*b - 26 + 22. Solve 3*r + o + 3 = b, -3*r + 10 = -5*o for r.
0
Let q(m) = -m**2 - 6*m - 3. Let b be q(-5). Suppose 3*t - 17 = -b. Suppose 0*h - 3*r = t*h - 28, -h = -5*r. Solve d = 2*a - 3*a + h, -5*d - 4*a + 24 = 0 for d.
4
Let f be (2 - (-12)/(-3))/(8 + (-20 - -11)). Let n be (6/4)/((-2)/(-60)). Suppose -2*m - m + n = 0. Solve -f*q - 4 = -o + 2, 5*q = o - m for o.
0
Suppose -32*x = x - 264. Suppose 0 = -x*r + 41*r + 3*r. Solve r = -3*z - 4*g - 1, 5*g - 4 = 3*g for z.
-3
Let d be (-22)/(-77) - (3 - 183/21). Suppose 2 = 2*g - 4*q + 2*q, 3*g - 2*q - d = 0. Solve -3 = -2*u + p - 4, -g*u - 1 = -3*p for u.
-1
Suppose 0 = 22*y - 24*y + 172. Suppose 5*x = -231 + y. Let z = -28 - x. Solve 2*f = 2*p + 4, p + f + z + 7 = 0 for p.
-5
Suppose 42 = 3*u - 3*h, 2*h = 3*u - 68 + 22. Suppose -12*j + u*j = -30*j. Solve -4*f + 5*l - 20 = j, l = 4*l for f.
-5
Let f = -19 + 14. Let u be (5 - f)/((-4)/(-2)). Suppose y = u*i - 59, i + 2*y - 15 = -y. Solve 3*l = -3*v, 0*l + 3*v - i = l for l.
-3
Let x = -66 + -116. Let l = x + 186. Solve -l*d - 3*p + 26 = d, 16 = 2*d + 4*p for d.
4
Let r be (-4)/(-8) + (-14)/4. Let u(s) = s**3 + 4*s**2 + 4*s + 3. Let k be u(r). Solve -d = t - 2*d + 1, k = -2*t + d for t.
1
Let f = 46 + -31. Suppose -w + 8 = -s, 22*s - 23*s = -3. Suppose -u - w = -f. Solve -k - 12 = 4*m + k, k - u = 0 for m.
-5
Suppose -2*p = h - 7 - 9, -2*h - 2*p + 20 = 0. Solve 3*x - h*i + 9 = -5*i, i = 6 for x.
-5
Let m = -198 - -206. Suppose 3*w + 2 - m = 0. Solve -i + 2 = -n, 3*i = w*n - 3 + 10 for n.
1
Let x(a) = a**3 + 6*a**2 - 5*a + 10. Let n be x(-6). Suppose -8*z + 6*z = -n. Let c = -17 + z. Solve -c*q - 2*h - 2*h = 1, q + h = 0 for q.
1
Let t(m) = m - 4. Let l be t(4). Suppose 0 = 23*x - 17*x - 36. Solve l*v + 3*p = -v + x, -v = -3*p + 6 for v.
0
Suppose -6*u - 20 = -164. Suppose -60 - u = -6*f. Solve 0*m + 14 = 2*d + 4*m, 3*m - f = 2*d for d.
-1
Let w = -68 - -72. Suppose 306 = w*x - 5*q, -104 = -2*x + 5*q + 54. Let k = x + -73. Solve 5*b + v - 5*v = 21, k = v for b.
5
Let u(v) = -30*v + 876. Let n be u(29). Solve x - 7 = 2*c - 0, 4*c + 2*x - n = 0 for c.
-1
Suppose 4*k = 4*t - 64, k + 16 = -3*k. Let o be (-2 - t/(-4)) + 1 + 1. Let h be (6/24*-10)/(4/(-8)). Solve o*l + 15 = -h*i, -i = -l - l + 3 for l.
0
Let n(v) = 78*v - 1168. Let a be n(15). Solve 9 = -3*f, 2*x - a*f - 9 = -f for x.
3
Let h = -693 - -732. Suppose -23*z + 36*z = h. Solve -2*w - 2 = -5*c - w, z*c - 18 = -5*w for c.
1
Suppose -3*n = 3*r, 2*r + 1 = 3*r + 4. Solve n*q + 4 = 3*u + 13, 0 = -u + 3*q - 11 for u.
1
Let h be (-237)/(-7) + 2/14. Suppose -4*r = 18 - h. Solve 2*x - 4*t = -8, r*t = -3*x + 6*x + 10 for x.
-2
Suppose -10*q + 1152 + 4038 = 0. Let g = q + -515. Solve -u - 7 = -g*x, 0 = -u + 2*x - 5*x + 14 for u.
5
Suppose 9*t - 4*t = 20. Let j(h) = -11347*h + 136164. Let i be j(12). Let m be -1*2 + (2 - 0). Solve -t*a + m*z - z + 17 = i, a + 2*z - 13 = 0 for a.
3
Suppose -3*r = -5*c - 278, c + 2*c = -3. Suppose r - 16 = 15*w. Solve 0 = 2*q - 0*g - w*g - 5, 0 = -5*q - g - 1 for q.
0
Suppose -3*a - 22 = 3*u - 8*a, 3*u + 2*a + 50 = 0. Let w = u + 18. Solve -4*f + 2*c = 14, c - 20 = 5*f - w*c for f.
-3
Let t(r) be the first derivative of r**2/2 + 5*r - 2. Let w be t(4). Suppose -14260 = -27*x - 14098. Solve x = 2*o - 2*l, 3*l - 2 = -o + w for o.
5
Let m = 5200 + -5196. Solve -4*i + m*u = 6 - 22, 3*u + 12 = i for i.
0
Let m be ((-84)/(-98))/(17/14 - 1). Suppose -4*u - 4*o = -32, -m*u + 12*o = 7*o - 50. Solve 0 = 2*f - 1 - 1, -5*f = -s - u for s.
-5
Let g = -15083 - -15087. Solve -g*x - 20 = 0, 2*x - 8 + 23 = 5*y for y.
1
Let p(c) = 37*c + 2261. Let f be p(-61). Solve f*z - r = -7, 5*z - r = -35 + 27 for z.
-1
Suppose -8*d = -468 - 220. Suppose 0 = 5*w - d + 66. Suppose 0 = -0*a - a + 18. Solve u - 2 = -f + 3, -2*u = w*f - a for f.
4
Let s be (2/4)/((-7)/(-84)). Let d = -3363 + 3368. Solve -4*x + 2 = d*u, -x = -5*u + s + 6 for u.
2
Let p be (-7)/((-35)/(-3)) + 826/10. Let a = p + -82. Solve a = 2*d + 3*n - 7, 6*n - 3*n = -3*d + 9 for d.
2
Suppose 0 = -9*g - 345 + 3783. Let h = -379 + g. Solve 3*p + 16 = -l, h*p - 11 = -4*l + 6*p for l.
-1
Let t be (-1 + 0 + 4 + -1)*591/394. Solve -g + t*l = 3, -2*g - 6 = -4*l - l for g.
-3
Let f(o) = -4*o**2 - 3*o + 20. Let q be f(-5). Let k = q - -67. Suppose -k*n = 45 - 55. Solve n = 5*l, -4*r - 3*l - 1 = -0*r for r.
-1
Let l(n) = 6*n**2 + 384*n - 386. Let c be l(-65). Solve -5*g + v = -15, -c*v + 17 = 5*g + 2 for g.
3
Let g be 14/(-77) + (-2)/(-11). Suppose -3*d - p + 5 = g, 0 = -6*p + 2*p - 4. Let x = -82 + 83. Solve 2 = -4*f + 2*f + d*u, f - 4*u + x = 0 for f.
-1
Let s(h) = 22*h**2 + 14*h + 20. Let w be s(-1). Solve 10 = 5*v + 5*z, -1 = 3*v + w*z - 32*z for v.
1
Let g(l) = -3*l**3 - 30*l**2 + 21*l + 232. Let r be g(-10). Solve -3*z = -3*t + 6, -72*z - 5*t + r = -73*z for z.
3
Suppose -9*o + 2 = -z - 13*o, 2*z = -2*o + 20. Suppose z*y = 23*y - 12*y. Solve y = 3*i, -v - 4*i - 3 = -7 for v.
4
Let n be (8/7)/(8/28). Let m be n/(-5)*20/(-8). Solve i - k - 9 = -i, -m*i = 4*k - 4 for i.
4
Let i(l) = 4*l**3 + 2*l**2 - l - 3. Let w be 185/(-4) - (-2)/8. Let v = -44 - w. Let r be i(v). Solve 4*a = 5*y - r, -a + 6*y - 14 = 3*y for a.
-5
Let d = 337 - 74. Let c = d + -261. Solve -k = -2*q + 7, -c*q + 3*q - 11 = 2*k for k.
-5
Let b(j) = -5*j**2 + 11*j + 32. Let n be b(7). Let r = 142 + n. Solve -3*v - 2*g + 1 = 0, -2*v = -g + r*g - 19 for v.
-3
Let d = 2162 - 2160. Solve d*b - 6 = -4*s, -3*s + 0 = -3*b - 18 for b.
-3
Suppose 0*l + 51 = 4*l + r, -2*l + 5*r + 9 = 0. Solve 8*d - 11*d = 3*f - 12, 5*f - l = -3*d for f.
0
Let s be ((-2)/(-8))/((-95)/(-3040)). Solve -4*q + s*c - 7*c - 23 = 0, -3*q = 3*c + 6 for q.
-5
Let n = -5338 - -5348. Solve 2*q - n = -2*m, 10*m - 5*q + 25 = 6*m for m.
0
Let d = -1324 + 1329. Solve 3*k + 5*z = -25, 2*z - 26 = 4*k + d*z for k.
-5
Let a = -32 + 57. Suppose -3*s = 4*v - 90, 2*s - 97 + 93 = 0. Solve -4*c + 5*u + a = c, 5*u = 3*c - v for c.
2
Suppose -55 + 87 = -4*z. Let f be -4 - z/4 - -5. Suppose n - f*i = -17 + 2, -n - 10 = -2*i. Solve -5*m - 3*s - 7 = n, -1 = 4*m - 2*m + 3*s for m.
-2
Let z be ((-80)/24 - -4)*321. Let u = z - 212. Suppose -3*y - 9 = -6*y. Solve -4*j = f - 2, y*f + 1 = -3*j - u for j.
1
Let h = -12 - -16. Let d be (-144)/(-78) + h/26. Solve -5*u + u - 4*x = -20, -u = -d*x + 4 for u.
2
Suppose 4*l = 5*f - 984, 40*l + 180 = f + 35*l. Sup