= 4*d + g*v for d.
-2
Suppose 13*w = -3*w + 480. Let g = w + 10. Suppose -3*u = 5*x - 57, -g = -2*u + 4*x + 20. Solve -3*c - u = -3*d, 3*c = c + 4*d - 26 for c.
-3
Let h(y) = 6*y - 27. Let z be h(6). Let q(c) = c**3 + c**2 - 5*c + 2. Let i be q(2). Solve -4*m + z + 23 = -4*a, i*m = -a + 17 for a.
-3
Suppose -30*f - 386 + 536 = 0. Solve -2*z = -n + 10, f = -z - 6*n + n for z.
-5
Let g(s) = -84*s - 440. Let f be g(-6). Suppose 30*b - 14*b - f = 0. Solve 4*h = -a + 11, -5*a - 7 = b*h - 10*a for h.
2
Suppose -2*j - 5*s = 804, 33*j - 2*s = 31*j - 804. Let v = j - -404. Solve -4*b = v*r - 20, -1 = -4*r - 2*b + 9 for r.
0
Let v(d) = 10*d**2 + 8*d + 3. Let k be v(-2). Let z = k - 25. Solve -z*u - 10 = -3*o, 0 = -3*u - u + 4 for o.
4
Suppose 0 = 5*q - 25, -q + 529 = -i - 2*q. Let p = 537 + i. Solve -2*x + p*z + 8 = 7*z, 2*x = -2*z + 4 for x.
0
Let x(v) = -v**3 - 26*v**2 + 29*v + 58. Let c be x(-27). Let p(l) = l**2 + 4*l - 1. Let d be p(-5). Solve -4*o + 4*z - c = 0, 0 = -4*o + z - d*z + 3 for o.
0
Suppose -d = -3*y + 4 + 1, 3*y - 2*d - 4 = 0. Suppose -6*c = -2*c. Suppose 12*q - 15*q + 15 = c. Solve -y*n + 1 = z, 2*z + z = -5*n + q for z.
5
Let c be 49 - 6/((-36)/(-30)). Solve 4*j - c = 4*m - 12, 4*m + j = -12 for m.
-4
Let v = 407 - 497. Let n be (-4 - v/21) + 12/7. Solve 14 = 5*b - 2*c, n*b - c = -3*c + 14 for b.
4
Suppose -5*p + 5 = 2*k - 12, -5*p - 3*k + 18 = 0. Solve p*s - l = 6, -6 = -4*s + s - 3*l for s.
2
Let k be (10 - 0)*(-147)/245. Let o be -5 - (k + 1) - -11. Solve 6*c = 4*d + c + o, 0 = -2*d - 4*c + 14 for d.
1
Suppose 4*m - m = 4*y + 37, 5*y = 4*m - 47. Solve r - 4*g - 24 = 0, 2*r + 26 = m*g + 44 for r.
0
Suppose -3*v = 8*t - 153, -8*v - 104 = -4*t - 4*v. Solve 2*w - 4*h + 22 = 0, 14*w - 11*w + t = 3*h for w.
-3
Suppose -4*n - m + 20 = 0, 4*n = -4*m - 2 + 22. Suppose -5*c - 3*q + 69 = 0, 5*q - 33 - 42 = -n*c. Solve 3*w + 4 = v, 4*w = -0*w + 3*v - c for w.
0
Let x(t) = 4 - t**3 - 3 + 2*t**2 + 2*t + 3*t**2. Let b be x(4). Suppose 0 = 5*g - 5*m - b, -2*m + 4*m = -2*g - 6. Solve i - 4*l = g, -4*l - l = 2*i + 11 for i.
-3
Let a = -216 - -253. Suppose -35*j = -a*j + 8. Solve 4*b = -4*z + 24, -j*b + 2*z = 2 + 4 for b.
1
Let t(x) = x**2 - 15*x - 184. Let i be t(23). Suppose 4*d + i*h + 3*h = 54, -h + 73 = 5*d. Solve -5*o - 4*g - d = -7*g, 0 = 4*o - g + 12 for o.
-3
Let k(q) = 2*q + 32. Let g be k(-19). Let d be (7 - 2)*g/(-15). Let f be d + -2 + -1 - (-32)/2. Solve -3*m - 3*z = f, -2*m - z - 6 = -3*z for m.
-4
Let y = 2 - 2. Suppose -5*f + 8 + 7 = y. Suppose 166*j = 17*j + 596. Solve -t = -3*g - j, -16 = -4*t + f*g - 7*g for t.
4
Let k be (-39)/(-18) + (-625)/250 - (-2)/6. Let n = 3 - 0. Solve 4*c + k*j = -j - n, 3*c - 5*j - 15 = 0 for c.
0
Let l = -401 + 435. Suppose -26*r = -l*r + 56. Solve 0*u + r = 3*k + 2*u, 11 = 3*k - 2*u for k.
3
Suppose -1 = -z, 5*z = -4*l + 3*z + 138. Suppose 7*s + l = 69. Solve 2*r - 11 - 14 = -3*o, s = o for r.
5
Let w be ((-364)/273)/(4/(-9)). Solve t = 4*i + 14, 0 = -t - 4*i + w - 21 for t.
-2
Suppose 0 = -5*l - 3*b + 18, -4*l = -b + 4 - 15. Suppose -13 = -2*d - o - 4*o, -l*o = -3. Solve -a = -3*n + 11 - 3, -3*a = -d*n + 9 for n.
3
Let z = 32189 - 32186. Solve -c + 4*r + 12 = 0, 32 = -z*c - 3*r - 2*r for c.
-4
Let y(r) be the third derivative of r**5/60 - 5*r**4/8 + 23*r**3/3 + r**2 - 11*r. Let h be y(11). Solve h*b = -i + 6*i + 8, 3*i + 3*b = -9 for i.
-2
Let n(q) = 3*q**2 - 79*q + 366. Let k be n(6). Solve -4*y + k*s = 5*s - 41, -4*y - 9 = -5*s for y.
4
Let w be 3304/(-4130) + (-14)/(-5). Suppose 0 = 4*r + 4*i, 4*r + i - 35 = 4*i. Solve 2*n - 5*n - 5*f + 13 = 0, 0 = w*n - r*f + 33 for n.
-4
Let j(i) = -16*i**2 - 118*i + 99. Let g be j(-8). Solve -o + 0*o = -5*p + g, -2*p = 4*o + 10 for o.
-4
Let g = 65 + -24. Suppose g - 11 = 5*x. Let u be 20/x - 4 - (-231)/9. Solve 4*l - 11 = -3*j, 0 = 3*l - 3*j - 7 + u for l.
-1
Let o = -45 - -48. Let j(q) = -2*q + 1. Let u = -69 + 63. Let n be j(u). Solve n = -4*k + o*h, -3*k - 4*h - 6 = 10 for k.
-4
Suppose 0 = 3*c - 3*j - 27, -174*c = -173*c + 4*j + 16. Solve -2*w - 5*h = -10, 15*h + 20 = c*w + 10*h for w.
5
Let t = -310 + 314. Let n = -1183 + 1186. Solve t*r + i = n*i - 24, 4*i - 32 = 4*r for r.
-4
Let m be 15/(-10) + 42/4. Suppose 3*p = -m + 15. Suppose 3*g = -6, 2*n + 3*n = -4*g + p. Solve -v + 9 - n = -2*q, v = -q - 2 for v.
1
Let g = 1253 + -413. Let b be -1*2/11 - g/(-264). Solve y - 5*p + b*p + 10 = 0, 5*y - 5*p + 25 = 0 for y.
0
Let m be 1 + (2/7)/((-13)/(-546)). Solve 4 = -h - 2*r, 0 = 4*h + r - 18 + m for h.
2
Let i be (-3)/(-39) - (385/(-65) - 3). Solve -u + 4*m + 16 = 0, -5*u - i = -9*u + 5*m for u.
-4
Suppose 0 = -2*b + 3 + 3. Let p be (4/(1*-2))/((-128)/108608). Let t = -1684 + p. Solve 0 = -b*a - 5*v + 8 + t, 6 = -3*a + 4*v for a.
2
Let c = -27259 + 27263. Solve 0 = -5*p + c*y - 3, 2*y = -3*p + 6*y - 5 for p.
1
Suppose 0 = -2*u - 2*i + 2, 4*u + 0*i = -i + 1. Let q(x) = 17*x + 332. Let n be q(-19). Solve -4*g + n*y - 1 = 4*y, u = 3*g + 2*y + 18 for g.
-4
Let z be (-12)/(-7) + (-4)/(-14). Let k(s) = -18*s**2 - 4*s + 1. Let o be k(z). Let l = o - -101. Solve 4*j + l = 2*v, 1 = 5*j + 3*v + 12 for j.
-4
Let u = 2285 - 2281. Solve 5*f = -20, -25 = 5*y + f + u for y.
-5
Let m(g) = -g**3 + 19*g**2 + 41*g + 23. Let j = -13 - -34. Let c be m(j). Solve -16 = 5*z + i, 0 = -c*z - z - i - 8 for z.
-4
Suppose 32*l + 2*g = 27*l + 24, 2*l + 4*g = 16. Let i be ((-56)/3)/(1/(-3)). Suppose l*s = -0*s + i. Solve 2*y = 2 - 6, -3*y = -4*j - s for j.
-5
Suppose -8*j + 118 = -154 + 240. Suppose 6*l - 50 = l. Suppose 0 = 2*b - 0*b - l. Solve -1 = -3*d + 4*q, -b*d - q = 2 + j for d.
-1
Suppose -m = -2*s + 8, -10 = -42*m + 38*m + 2*s. Solve 0 = -3*o - i - 8, 2*o = i + m - 8 for o.
-2
Let n be 2/(-8) - 245/(-20). Suppose -4*a + 7*a - n = 0. Let m(p) = -7*p - 178. Let b be m(-26). Solve 7 = -x + b*j - 5*j, -a*x = -j + 18 for x.
-5
Let h(d) = d + 1. Let o be h(1). Suppose -7*u + 0 = 133. Let i = 22 + u. Solve 5*k + 2*w + 2 = -4, -i*k = -o*w - 6 for k.
0
Let k(j) = j**3 + 3*j**2 - 7*j + 17. Let q be k(-5). Solve d - 5*b - 4 = 0, 0 = -3*d + 4*b - q*b + 12 for d.
4
Let q be (8 - 11)*(-38)/6 - 0. Solve -4*c - 5*m + 2*m + q = 0, 0 = -5*c - 3*m + 23 for c.
4
Let f(m) = -m**3 - 7*m**2 + 6*m - 8. Let n be f(-8). Let y be (-4)/(-6)*6 + 8/n. Solve 5*b - 2 = y*u + 18, -5*b + 2 = 4*u for b.
2
Let p = 7244 + -7240. Solve 5*w + l = -15, p*w - 3*l - 1 - 6 = 0 for w.
-2
Suppose 643*f - 642*f = 27. Suppose -2*a + 45 = 4*j + 13, 5*j - 4*a - f = 0. Solve 0 = -5*n + 5*d - 20, n - 4*d + 3 = -j for n.
-2
Let n be (5/15)/(2/(18*4)). Suppose 0 = 4*a + 16, n = -4*y - 5*a - 0. Solve -3*j + 28 = 2*j - 3*q, -y*q = j - 3 for j.
5
Suppose -5*d - 5*h + 77 = 7, -5*h = -d + 2. Solve -3*x - x = -2*n - d, -3*x = 5*n + 17 for x.
1
Let c be (6063/172)/(1/(-8)). Let h = 282 + c. Let g = 0 - 0. Solve -4*f + g*u + 3*u = -20, -u = h for f.
5
Suppose -5 = 3*w - 5. Let m(v) = 3 + v**3 - 2*v**3 - 2*v + w. Let a be m(0). Solve a*g + 35 = -5*o, -4*o - 1 = -4*g + g for o.
-4
Let c = 2903 + -2900. Solve 12*u = 17*u - c*n - 14, -u = 5*n - 14 for u.
4
Let t(c) = 2140*c - 12761. Let g be t(6). Solve 0 = -g*l + 77*l + x, -4*x - 40 = 2*l for l.
-4
Let a be (-1)/((-2)/(-98)*2/(-2)). Suppose 4*o = 2*l + 114, 4*o + 40 = l + 107. Let b = a + l. Solve 2*v + 14 = 2*x - b*v, -4*v = 4*x + 8 for x.
1
Let r be ((-11)/(-2))/(-11)*-8. Suppose -w - 21 = -5*m, -m + r*w + 16 = 27. Solve z = 3, 0 = -0*n + 4*n + m*z - 35 for n.
5
Suppose -x + 5*c = -12, 5*x = 4*x - 4*c + 12. Suppose -j = 2*y - 3, 5*j + 2*y = j + x. Solve -5*g + 30 = j*i, i - 2*g + 1 = -0 for i.
5
Suppose -7*f + 590 + 670 = 0. Let w = 201 - f. Solve 4*h = -5*k - w + 2, 0 = -h - 1 for k.
-3
Suppose c - 2*f + 3 = -4*c, 1 = -4*c + 3*f. Let n be ((-1)/2)/((-1)/8*c). Let p = n + 9. Solve -2*h - 14 = p*a - 4*h, 0 = -2*a + 4*h - 12 for a.
-2
Let k be 4*(-1)/(-2) + 3. Suppose k*h = 20, h + 0 = 4*q - 8. Suppose -4*m - 6 = -4*y - 30, -5*m - 4*y + 21 = 0. Solve b - 4*i + 1 = -2*i, q = -2*b + m*i for b.
1
Let f = 27344 - 27329. Solve 5*n = k - 7, 19*k = f*k - n + 7 for k.
2
Suppose -77*r - 2 = 2 - 4. Solve 0*o + 14 = o + 4*h, r = o - 3*h + 14 for o.
-2
Suppose -4*f + 83 - 79 = 0. Let c be (3 - (2 + -1 + -3)) + f. Solve c = -3*x + 3*t, -2*t + 10 = -3*x + 3*t for x.
0
Suppose 3*y - u - 27 = 4*u, -2*y - 2