m - 6 = 31*m. Let f be m/(((-5)/(-15))/(6/27)). Solve 3*y - 6 = -0, 3*y - f = -h for h.
-4
Let h = -435 + 469. Let s = -30 + h. Suppose -d + 0*m - 3*m + 3 = 0, 5*d - 2*m = -2. Solve 0 = -6*g + 3*g + s*j + 7, d = -j + 2 for g.
5
Suppose 5*p - p + 4*t = 28, -3*p = -t - 13. Suppose 4*a - 15 = a, 960 = p*d - a. Suppose -93 + d = 4*m. Solve -2*c + 5 = v, 5*c + 2 = v + m for v.
-3
Let d be ((-3 - -2)*6)/((54/(-8))/9). Solve 4*h = -f + 11, 2*f - d = 2*h - 2*f for h.
2
Suppose -56 + 32 = -8*r. Suppose -4*d + 14 + 6 = 0, -d + 8 = s. Suppose 4*k - 17 + 5 = 0, 0 = -s*w + k - r. Solve w = 2*j + 5*t, 2*j - 3*j + 1 = 3*t for j.
-5
Let d be 108/16 + 1 + (-9)/12. Let r be (-4)/((-3)/(-18)*3). Let z be r/(-28) + 12/d. Solve -z*q - 9 - 1 = -2*w, 3*q - 9 = -5*w for q.
-2
Suppose -2*w - 103 = -4*d - 89, -d - 2*w = 9. Suppose 4*j + 3*r = 9, j - 2*r - 6 + 1 = 0. Solve -7 = -j*s - 5*a, -d = 3*s + 3*a - 2*a for s.
-1
Let n be -56*-6*9/24. Suppose -40 = n*q - 128*q. Solve 5*b = 2*y - 5*y - 17, -4*b + 4*y - q = 0 for b.
-4
Let w = 43 - 16. Suppose 5 = 4*x - w. Suppose 0 = 3*y - x*y + 30. Solve -3*a + 1 = -c + y, c + 11 = -5*a for c.
-1
Suppose 22*c + 558 = 28*c. Suppose 2*f - c = -99. Let d be 4/f*(-5)/((-20)/(-6)). Solve 2*y + 6 = -d*v - v, 5*y - 2*v = -15 for y.
-3
Let d = -109 - -117. Suppose d*h - 9 = 39. Suppose 29 = 3*o - 5*z, -10*o + 4*z + 52 = -h*o. Solve 2*v = 3*b - 19, -5 = 3*b + v - o for b.
5
Let r(n) be the second derivative of -21*n**2 + 0 - 8*n + 1/12*n**4 - 2/3*n**3. Let m be r(-5). Solve w = 2*k + m, -3*k + 5*w - 1 = -7 for k.
-3
Let c be 27/(-18)*8/(-18)*12. Suppose -c*b = -12*b + 112. Let t = b + -25. Solve -u + o = 0, u - 2*o + t*o = 4 for u.
2
Let p be -38 + (6 + -5)/((-1)/2). Let u = p - -39. Let j be (-7 - u)*2/(-3)*1. Solve 3*d + 2*i = 4, j*d - 5*i = -d + 40 for d.
4
Suppose -2*r + 4*r + 11 = g, -4*r - 42 = 2*g. Let v be (r - -13)/(2 + -1). Solve -a = 4*b - 6*b - v, -3 = -a + b for a.
1
Let o be 0 + -4 + 4 + 3. Suppose 7*w = 3*w + o*j + 14, -j - 23 = -5*w. Let z be w - ((4 - -1) + -2). Solve 5*c = z*a - 20 + 1, -a = 5*c + 28 for c.
-5
Let g = 11 + -6. Suppose 0 = -0*v - 6*v + 138. Suppose -2*o = -j + 18, 4*j - 4*o = 79 - v. Solve j = -2*y - g*l - 11, 0 = -2*y - 2*l - 6 for y.
2
Let n be (-4)/(6 + -12 + 5). Solve -n*j - 11 = -p + 6, 3*j + 14 = p for p.
5
Let h(c) = -3*c - 15. Let g be h(-13). Suppose 0 = w + 4*r - 13 + 1, w - 8 = -2*r. Let q be (32/6)/(w/12). Solve q = 5*x - 2*a, a + g = 4*x + 5*a for x.
4
Let r = 12186 + -12183. Solve 0 = -5*t + r*f - 2, 12*t - 9*t + 3*f - 18 = 0 for t.
2
Let c(y) = -164*y**2 + 654*y + 15. Let x be c(4). Solve -x*q + o = -6*q, 3*o - 4 = q for q.
2
Suppose -3126 = 24*q - 26*q. Suppose 1567*i = q*i + 8. Solve -2*n - 3*d = n + 24, -3*d = -i*n + 9 for n.
-3
Let r = -1 + 1. Let v = 1833 - 2687. Let f = 857 + v. Solve 3*d + 4*s - 35 = r, f*s - 18 = -2*d + 7 for d.
5
Suppose 4*c + 450 = 3*v, 8*c = -2*v + 10*c + 300. Let d be (-2)/10 - (-780)/v. Solve 5*f = 4*k + 19 - d, -4*f = 2*k - 6 for f.
2
Suppose -3*h + 288 = 3*r - 42, -3*h = 3. Suppose 90 = -r*l + 120*l. Solve 4*b + 3*s + 10 + l = 0, 4*b = 3*s - 20 for b.
-5
Let c(q) = 3*q**3 + 81*q**2 + 78*q + 12. Let v be c(-26). Solve -2*k + 2 = -3*l, 2*l + 6*k - 10*k = v for l.
-4
Let g be (6/(-9))/((-24)/288). Solve -5*k = t, t + 12*k = g*k for t.
0
Suppose -7*d + 55 = 2*j, 0*j - 3*d + 27 = 2*j. Solve 2*r + j*l = 21, -l = 4*r - 32 + 15 for r.
3
Let t = -751 + 93. Let c = t - -658. Solve 4*i + 1 = 5*z + 22, c = -3*z - 3*i + 9 for z.
-1
Let m = 728 + -720. Solve 2*b - m = -2*y, 2*b - 3 = -4*y + 7 for b.
3
Let h(q) = -18*q - 40. Let d be h(-10). Suppose -d + 200 = -2*w. Let i be 2/((5/w)/(1/(-3))). Solve 6*r - i = -3*b + 4*r, 0 = -5*r + 25 for b.
-2
Let n(w) = w**2 + 2. Let g be n(0). Let a be g*(15/(-10) + 3). Solve a*c - 8 = 2*m - 3*m, 4*c - 29 = -5*m for m.
5
Let g(v) = v**2 + 33*v + 94. Let m be g(-3). Let y be (m/7)/(57/399). Solve 0 = -4*i - 4, d + 1 + y = -2*i for d.
-3
Suppose -20*z - 783 = 17. Let f = 40 + z. Solve -3*a - 25 = 2*a, 4*m - a + 3 = f for m.
-2
Let f(m) = -m**3 - 10*m**2 - 18*m - 6. Let z be f(-8). Suppose z = -6*q + 316. Let j = -47 + q. Solve 3*a = j*d - 2*a - 4, -d - 2*a + 1 = 0 for d.
1
Let u(r) = -r + 19. Let n be u(15). Let f(l) = 8*l**3 + l**2. Let z be f(1). Let s be 0 + -1 + 45/z. Solve -s*j = 4, j - n*j = x + 3 for x.
0
Let x(y) = 2*y**2 + 4*y**2 - 2*y - y + 9*y - 2. Let h be x(-2). Solve -5*w - 5 = g + h, -5*g = -5*w + 15 for w.
-2
Suppose -2*y + 5*g - 15 = 0, 2*g + 12 = y + 18. Solve o = 11*x - 13*x + 10, y = 3*x + 4*o - 15 for x.
5
Let n be (10 + 0)*(-174)/(-12). Let v be (1 - (-11)/(-5))/((-87)/n). Solve -v = 4*b + w, b + 5 = 6*b + 5*w for b.
-1
Suppose -3*n = 5*y - 35, -3*y = 3*n + y - 28. Solve -17 - 1 = 3*g + 5*r, n = 2*g - 3*r - 7 for g.
-1
Let d be ((-5)/(-4))/(735/(-168) - -5). Solve 0 = 4*u - 2 - d, -5*z - 4*u + 29 = 0 for z.
5
Let r be (113/339)/((-1)/(-3)). Solve -n + r = -5*k - 3, -k = -n for k.
-1
Let d = -1180 - -1202. Solve 0 = -4*w + m + d - 9, 0 = 3*w - 4*m for w.
4
Suppose 4*m + 4*o - 13 = 3*m, 2*o + 16 = 4*m. Let w be ((-8 - 2)/(-2))/(1/m). Solve 0 = -5*j + w, t + 0*t - 11 = -2*j for t.
1
Suppose m - 17 = -5*f, 39*m + 9 = 36*m. Solve -f*q - 22*b + 25*b = 8, b = -4 for q.
-5
Suppose c + 22 - 2 = 3*s, -9*s - 2*c + 35 = 0. Solve 0 = -s*f + 2*o + 3, 4*f - 12*o + 11*o = 0 for f.
-1
Let s(w) = -w**3 + 43*w**2 + 139*w + 3. Let a be s(-3). Solve y + 3*y = -5*q + 41, -5*y + 5*q - 5 = a for y.
4
Suppose -708*r + 724*r = 0. Solve a - 2 = r, -9*w - 4*a + 8 = -4*w for w.
0
Let v = 122 - 201. Let p = -425 - -506. Let q = p + v. Solve s - l = -0*l, 4*s - q*l + 4 = 0 for s.
-2
Let h(w) = -7*w + 42. Let x(k) = -3*k + 20. Let i(s) = -2*h(s) + 5*x(s). Let n be i(6). Solve -5*g = -n, m + 2*m - 19 = -2*g for m.
5
Let o = 5130 - 5125. Solve -w - 4*i = o, -w - 7 = 4*w + 2*i for w.
-1
Let d be (3*(-7)/(-42))/(33/30 - 1). Solve -33*t + 30*t + 2*n - 4 = 0, d*t = -5*n + 10 for t.
0
Let q(h) = -h**3 + 12*h**2 - 20*h - 70. Let s be q(5). Solve s*f + 12 = v, -8*v + 6*v - 4*f = 4 for v.
2
Suppose 3*r - p = 45, -112*r + 108*r = p - 67. Solve -z + 23*u + r = 19*u, 0 = 2*z + 3*u + 23 for z.
-4
Suppose -11*o = -8*o - 3*b - 39, 2*o - 25 = b. Let u(d) = -d**3 + 13*d**2 - 12*d + 12. Let y be u(o). Solve 4*a + s + y = -2, -3*a = s + 11 for a.
-3
Let u = 63 + -26. Let q = 41 - u. Let x(b) = b**3 + 4*b**2 - 8*b - 10. Let j be x(-5). Solve -4*i + 2*i + 2*h = 10, j*h = -q*i + 7 for i.
-2
Let u(a) = a**2 - 9*a - 11. Let f be u(11). Suppose -3 - 52 = -f*o. Solve l + o*x = 4, 3*l + 4 - 16 = -3*x for l.
4
Let r(k) = k**3 + 2*k**2. Let b be r(1). Suppose -7*l + b*l = -12. Suppose -3 = 3*h, -i + 2*h + 3 = -l. Solve 5*q - 5 = -5*x + i*q, 25 = -5*q for x.
2
Let f be 5 + (16 - 9) - 7. Solve 3*i - f*a = -4, -3*i - 6 = 2*a + 5 for i.
-3
Let x be 2/(2*1/5). Let r(y) = 124*y + 4. Let f be r(0). Suppose 5*a = 3*p + 9 + 34, 0 = -5*p - 5. Solve -x*b - 10 = 0, 2*b = f*s - 0 + a for s.
-3
Suppose -3*q + 12 = 5*a - 17, -2*a = 3*q - 17. Suppose -3*y - 20 = -7*y. Suppose 3*d = -u + y*d + 10, -5*u + 3*d = -50. Solve c = 3*w + 8, -q*w = -1 + u for c.
-1
Let l(p) = 148*p - 146. Let z be l(1). Solve -12*b - 10 = -8*b + z*q, -13 = -2*b + 5*q for b.
-1
Suppose 0 = x - 5. Let a = -126621 + 126623. Let m(o) = -o**3 - o + 4. Let j be m(0). Solve -4*u = -2*t - 6*u - a, j*u = -x*t for t.
4
Suppose 0 = -4*n + 2*g - 12, 0*g - g - 6 = n. Let f be 8*(4 - 1)/(-6). Let j be ((-6)/f)/(n/(-8)). Solve 5*u = -3*z + 4, z + 0*z - j*u - 6 = 0 for z.
3
Let g = 39 + -30. Suppose -104 = -g*h + 5*h. Let r = h + -26. Solve r = -3*i + 2*l + 6, 5*i - 3*l - 6 - 3 = 0 for i.
0
Suppose 28221 = -102*x + 28425. Let m be (-13)/(1*-1*1). Solve s = 2*s + 4*b - m, x*s = 5*b - 26 for s.
-3
Suppose -d + 12 = 4*i, 15*i - 17*i = 3*d - 16. Solve -2*o - i*s + 16 = 0, -5*o + 36 = -2*s + 6*s for o.
4
Let t(z) = z**3 - 5*z**2 + 4*z - 12. Let y be t(6). Suppose -28*r + 25*r + y = 0. Suppose 0 = -2*m + 16 - 10. Solve o - 3*g = -0*o + r, 4*o + 11 = -m*g for o.
1
Let k be -10*((-29925)/(-250))/(-63). Solve k*w - 16*w + 30 = 5*a, 8*w = -5*a - 25 for a.
3
Suppose 0 = -2*r + 7*r - 25. Suppose -3*h + 2*a = 5, r*h + 5*a - a = -23. Let v be h/(-9)*((1 - -11) + 0). Solve -6*i + g = -7*i - 2, 0 = -5*i + v*g + 8 for i.
0
Let f(n) = n**3 - 25*n*