 = 2*g + 29, -n*a + 14 = -g for g.
1
Suppose 0 = 5*a + 120 + 129 - 274. Solve -15 = 5*u + 5*v, 8*u - a*v = 12*u + 10 for u.
-5
Let y(t) = -t**2 - 256*t - 756. Let h be y(-3). Solve 103*k + 10 = 101*k + 4*s, 0 = -h*s for k.
-5
Let a be 580/280 - -3 - (-2)/(-28). Solve -25 = a*y, -2*y = 5*u - 5 - 0 for u.
3
Let l(j) = -17*j - 30. Let g be l(-13). Let q be g*2/14 + 18/(-63). Suppose 0 = -5*a - 7 + q. Solve 4*x + a*p + 8 = 0, -5*x = 2*p - 0*p + 7 for x.
-1
Let v be 13251/49 + (-3 - 54/(-21)). Let i = -270 + v. Solve -c - m + 2 = i, c + 0 = -2*m + 2 for c.
2
Suppose 249 = 55*i - 58*i. Let o = 83 + i. Solve 4*c - 4*l + 7 = -17, o = 2*c + 2*l for c.
-3
Let a be (-86)/(-10) - (-2)/5. Suppose a*s + 16 = -11. Let d(o) = o**2 - 4*o - 15. Let x be d(s). Solve -3*c = -5*c, -3*t = 4*c - x for t.
2
Let j(y) = -2*y**2 - 5*y + 12. Let d be (-1)/(-2*5/(-40)). Let t be j(d). Solve -2*w = 3*r + 16, -3*r + 2*w = -4 - t for r.
-2
Let f(v) = -38*v + 915. Let l be f(24). Solve 0 = -s + 1 + 2, 0 = -4*u + l*s - 9 for u.
0
Suppose -2*r + 232 = -5*y, -4*y = -2*r - 0*y + 230. Let o = r - 98. Solve -p + o = 4*s, 2*s - p = -2*s + 3 for s.
2
Suppose -2*v = -w - 2337 + 2346, 5*w - 3*v = 24. Solve i - 4*m + 22 = 23, w*m = -4*i - 15 for i.
-3
Suppose 4*i + 17 = -y - i, -i - 5 = 0. Suppose y + 14 = w. Suppose 0 = 3*v - 5*z, 5*v - 2*z = -z + w. Solve -4*t = 5*o - 41, -v*t = 4*o - 0*o - 40 for o.
5
Let r = 3 - 2. Suppose r + 2 = n. Let u be (367 + -366)*(24/(-2))/(-3). Solve -2*y = t - u, -5*y = 4*t - n*t - 7 for y.
1
Let i(j) = -77*j + 3237. Let o be i(42). Solve 4*y + z - 4 = 0, o*y + 7*z + 6 = 4*z for y.
2
Suppose 18 = 2*r - i, -45*i = r - 44*i - 9. Solve -5*z - 5*m = -5, -r*m + 10*m - 3 = -2*z for z.
2
Let n = -3 - -5. Suppose -3*w + 16 = 5*d, 2*w + n*d = 4*w - 16. Let k be (1/(-5))/(3/63) + (-136)/170 - -32. Solve -2*j - 4*l + k = j, j = 4*l - w for j.
5
Suppose 0 = -24*l - 47 - 49. Let x be (0/1)/((6 - -2)/l). Solve x = -5*b + f - 18, -3*b - 5*f + 6 = -0*b for b.
-3
Suppose 4*r - 26 = -14. Let l be (4/(48/(-39)) + r)*-20. Solve 3*i = -c + 2, -14 = 4*i + l*c - 2 for i.
2
Suppose -2*o = -5*n - 0*n - 19, -5*n = -3*o + 21. Let x(z) = -z**3 - 16*z**2 - 11*z + 63. Let m be x(-15). Solve -m*q - o = -5*r, 4*q - 16 = 2*r + 7*q for r.
-2
Suppose x + 4*y + 3 = -14, 3*x + 1 = -2*y. Suppose 0 = -3*q + 12, -2*d - 15*q = -16*q + 276. Let a = d + 157. Solve b = -4*v + a, 0 = 3*b + x*v - 11 - 7 for b.
1
Let d(h) = h**3 + 6*h**2 + 3*h - 5. Let p be d(-5). Solve 0 = -7*a + 5*a + p*i + 33, 4*i = 3*a - 32 for a.
4
Suppose 5 - 40 = c - 4*j, 10 = -2*j. Let g = 60 + c. Solve 2*d + g + 3 = -n, 4*d - 4*n + 28 = 0 for d.
-5
Let i be 2*(14 + -2 + 0). Let y(s) = s**2 - 4*s + 11. Let v be y(3). Let u be 49/17 + v/68. Solve -f + u*m = -8 - 8, -4*f + i = -4*m for f.
1
Let q be ((-68)/85)/((-4)/10). Solve 3*t + 6 = 5*r + q*r, -5*r + 25 = 2*t for r.
3
Suppose 4923*h + 66 = 4926*h. Solve -5*a - 15 = -4*i, -4*i - 3*a = -a - h for i.
5
Suppose -4*a = -5*i + 1817, 9*i - 8*i - 901 = 2*a. Let h = a + 452. Solve -d = l + 5, -h*d + d + 5*l = 15 for d.
-5
Let y be (-2 + 3)*(210/2 - -5). Let n = y + -106. Solve -5*j - n*x = 5, -4*j = -0*j - x + 25 for j.
-5
Suppose -13 + 78 = -5*b. Let t(y) be the third derivative of -y**4/24 - 11*y**3/6 - 45*y**2. Let j be t(b). Solve 0 = 2*p, j*f - 5*f = 4*p - 6 for f.
2
Suppose 207*f + 20 = 208*f. Let w(x) = x**2 - 24*x + 5. Let t be w(24). Solve 0 = 3*b - 2*n - 3*n - 28, f = t*b - 3*n for b.
1
Suppose -4*d + 5*d = -4*r + 149, 2*r - 5*d = 69. Let q = r - 32. Solve -3*f - 2*j + 7*j = 31, -4*f - q*j = -17 for f.
-2
Let l(t) be the first derivative of 25*t**2/2 - 148*t - 127. Let s be l(6). Let h be (4/(-3))/((-3)/9). Solve -h*y + 0*u - 12 = -s*u, -5*y = -3*u + 13 for y.
-5
Let n(g) = g + 4. Let u(s) = s. Let o be u(4). Suppose z - 3*i = 3, 3*z - 2*i - o = 5. Let k be n(z). Solve -3 = -4*v + 5*h - 0, 3*h = 5*v - k for v.
2
Let m(y) = -y**2 - 7*y - 11. Let a be m(-6). Let f be a/(-2) - 25/50. Solve -2*k - n + f = 0, n + 3 = -1 for k.
3
Let y(j) = 8*j**2 - 39*j - 4. Let s be y(5). Solve -x + s = t, x + 0*t = 2*t - 5 for x.
-1
Let t be (-16)/(-84) + (-21926)/(-12117). Suppose -154 = -4*w - 34. Suppose 12 = 3*z - w. Solve -z = s - 6*s + t*k, 23 = 5*s + k for s.
4
Suppose -3*i + 18 = -3*k, 0 = 4*i + 485*k - 480*k + 30. Solve 4*x + 1 = 5*o + 10, i = 5*x - 5 for o.
-1
Let n be 45 + 25/(25/2). Solve 2*b + 27 = -5*q, n*b - q = 52*b + 10 for b.
-1
Suppose 60 = -20*p + 35*p. Suppose 515 - 527 = -p*d. Let u be 1/3 - (-2)/(-6). Solve 5*x + 3*y + d - 1 = u, 1 = y for x.
-1
Let i be 4/6 - (-26)/6. Let o = 11163 - 11158. Solve 0 + 13 = 4*x + i*f, 0 = -x + o*f - 28 for x.
-3
Let d be (5 - (2 + -5)) + -47 + 43. Solve d*t + 5*y - 2 = 5*t, 0 = -2*t + 2*y + 4 for t.
3
Suppose -22*o + 20*o = -14. Let s be (-3)/((1 - 0)/(7/o)). Let q = s - -5. Solve 4*m - 5 = -5*y, -5*m - 3*y + 1 = -q for m.
0
Suppose -3*g - 16 + 43 = 0. Let k(o) = 3*o**3 - 29*o**2 + 18*o - 277. Let i be k(10). Solve -3*q = -2*n + 7, 5*n = q + i*n + g for q.
1
Suppose 12*x - 46 - 43 = -29. Solve 0 = 4*z - 6*z + 8, 5*b - x*z = 0 for b.
4
Let m be (-48)/(-9)*(4 - 29/8 - 0). Solve -30 = m*q - 7*q - 5*p, 5*q - 4*p - 12 = 0 for q.
4
Let z be (36/(-10))/(6/(-15)) - 4. Let l(k) = -k**2 + 8*k. Let a = 6 + 0. Let p be l(a). Solve 2*d + 4*m - p = m, -m - 13 = -z*d for d.
3
Let o be (-19)/(304/(-120))*36/15. Solve 4*l - h = -15, 4*h + o = -l + 10 for l.
-4
Let i(d) = d**3 - 25*d**2 + 47*d - 18. Let o be i(23). Let j be (-9 - (-15)/o) + 11. Solve -j*k - 3*q + 1 = q, -5*q + 35 = -5*k for k.
-3
Suppose 5*t - f = -2*f + 72, -46 = -4*t + 5*f. Let d be (4/(-8))/((-14)/112). Solve y + q - 1 = 0, y = -y + d*q + t for y.
3
Let j(d) = -d**2 + 116*d - 1983. Let s be j(21). Solve 5*y - 20 = 4*b, -3*y + 4*b + s = 5*b for y.
4
Let f = -366 - -368. Let d be (10/f)/(107 - 106). Solve d*g = -3*h + 20 - 8, 17 = 5*g - 2*h for g.
3
Let s(r) = r**2 - 2*r**2 + 5170 + 13*r - 5207. Let k be s(8). Solve -3*t = -3*l - 8 + 2, -k*l + t = -2 for l.
2
Suppose -3*v + 3*p = -15, 5*p - 4 = -24. Suppose -3*q + 7 = v. Let n be (-7 + 3)/(2/(-14)). Solve q*k - n = 5*h, 16 = 5*k - k for h.
-4
Let r(m) = 5*m**3 + m - 1. Let h(n) = -5*n - 32. Let x be h(-7). Suppose -34*p + x = -31*p. Let s be r(p). Solve 4*j + 0*g - 5*g = -23, -16 = s*j - 2*g for j.
-2
Suppose 3*b - 39 = p, 11*b + 45 = 14*b - 2*p. Suppose -5*s - 3 + 5 = 4*m, 2*s - m = 6. Suppose t = -s*t. Solve -5*v + 4*k - 30 = t, 2*k = -3*v + 3*k - b for v.
-2
Suppose 0 = 2*s + 5 - 17. Let p(g) = 8*g - 41. Let l be p(s). Let a = 3 + -1. Solve 4*v - 3*x - l = 0, v - 13 = -a*x - x for v.
4
Suppose -2*w + 2*j = -12, -26*w - 4*j = -24*w. Solve -w*y = -0*y - 4*a - 16, 3*a = -3 for y.
3
Suppose -4*h = 3*b - 17, 0*h + 10 = 4*b - h. Let l(w) = w**2 + 3*w - 14. Let o be l(b). Solve -o*t - 13 = -7*p + 2*p, -3*t = -2*p + 1 for p.
5
Let x = -456 + 456. Let f be (x - 1)*3/(9/(-69)). Solve -f = 2*v - 7*v - a, -3*v + 4*a = 0 for v.
4
Suppose 0 = -12*o - 4*o - 3184. Let r = -179 - o. Solve 0 = -2*m - 4*k + 14, -m - r = -5*m - 4*k for m.
3
Let d(t) be the first derivative of 3*t**2 + 21*t + 32. Let n be d(-3). Let v be -3 + 3 + 14/1. Solve -6*o + o = -3*q + v, 3*o - n*q = -6 for o.
-4
Let k = -20968 + 20970. Solve -k*a - 26 = 4*g, 0*g - 3*g + 3*a = -3 for g.
-4
Let q = 34598 + -34595. Solve -3*y - 15 = 3*w, 8*w + 13 = q*w + y for w.
-3
Let o = -61 - -34. Let y = -71 - -39. Let s = o - y. Solve s*t = b - 9, b - 1 = 4*t - 3*t for b.
-1
Let z(r) be the second derivative of 0*r**2 - 5/12*r**4 + 1/5*r**5 + 0 + 1/3*r**3 - 19*r. Let j be z(2). Solve -2*n = -5*a + j, 8 = -0*a + a - 2*n for a.
2
Let o(q) = q**2 - 26*q - 15. Let d be o(27). Suppose 9 = -t + d. Solve t*r + 4*l + 20 = 0, 0*l - 5 = 3*r + l for r.
0
Suppose 2*j + 3*j = 35. Suppose u - 479 = -4*a, 4*a - 475 = 2*u - j*u. Suppose 0 = 19*x - 23*x + a. Solve y = -3*n + 14, 0*n + 5*n + 3*y - x = 0 for n.
3
Suppose -5*x = -1 - 14. Suppose 0 = x*s + 4*s. Suppose 0 = -s*p - p + 3. Solve -p*z + 4*q = 13 - 3, 3*z = -q + 10 for z.
2
Let w(g) = -4*g**2 - 16*g - 12. Let c(b) = -3*b**2 - 17*b - 13. Let i(u) = 3*c(u) - 2*w(u). Let h be i(-18). Solve -4*f - 6 + 1 = -5*a, h*a - 2*f = 5 for a.
5
Let r(i) = -160*i**2 - 3*i. Let m be r(2). Let z = 649 + m. Solve 0 = -5*h - 4*n + 13 - 3, 0 = z*n for h.
2
Suppose 3*o +