-j = d for y.
2
Suppose -67*u + 58*u - 9072 = 0. Let b = u + 1008. Solve 2*n + 2*v = -2, b*n = 3*n + 4*v + 8 for n.
4
Let u = -16967 - -16972. Solve -2*r = -u*a - 22, 19*a - 14*a + 16 = -4*r for a.
-4
Let u(x) = x**2 - 54*x + 741. Let c be u(26). Suppose -69 = 4*p - 13. Let o be 8/28 - 52/p. Solve -5*l + 0*t = t - c, -o = 4*l - 4*t for l.
2
Suppose 2*b = -2, m + 0*b = -3*b - 1. Let f be (-1)/(-5) - m/15*384. Let y = f - -52. Solve -4*o + 2*i = 10, 0 = 5*o - i + 19 + y for o.
-5
Suppose 2*r + r + 2*c = 38, -58 = -5*r - 2*c. Let y be (-6)/r - 69/(-15). Solve -y*x + 2*p = 12, -4*p = -0*x - 2*x for x.
-4
Let h(l) = -67*l + 145. Let k be h(-4). Let s = -409 + k. Solve s*v = -0*w - 5*w + 27, -w + 15 = 4*v for w.
3
Let q(b) = b**2 - 13*b - 30. Let t = -138 - -153. Let l be q(t). Solve 4 = 4*h, l = -2*k + h - 3*h + 10 for k.
4
Suppose -481 = 14*g - 2581. Let m be (-6)/9*-1 + g/45. Solve s - m = 0, -3*s = 4*d + 2*s - 32 for d.
3
Let c = 2014 - 2009. Solve 0*y - y + 4*v - 15 = 0, -2*y - c*v = -35 for y.
5
Suppose 2*v - 22*c = -17*c + 33, 0 = -3*c - 15. Solve 2 = 2*q + 4*b + 12, v*b = 2*q + 10 for q.
-5
Let f be (-2)/(-3)*(-91 + 157). Solve r - 11 = -2*d, 41*r + 3*d = f*r + 3 for r.
3
Let f = -48 - -50. Suppose 4*h + 16 = f*v, -2*h = -0*h - 6. Suppose -2*k = 2*u - v, 5*k + u - 28 = k. Solve 2*a = 5*c + k, 4*a + 11 + 5 = 0 for c.
-3
Suppose 8*r - 21 = 19. Suppose 5*f - 5 = -0*x - 4*x, 5*f - r = -x. Solve -3*c + i + 1 = x, 4*c - 2*i + 2 = -4*i for c.
0
Suppose 5*g = -5*x - 40, -10 = 2*g - 0*g. Let z be (-3 - x - 0)/(-2). Solve 5*q + z*c = -3*c - 14, -10 = q + 3*c for q.
-1
Let b be (-2)/(-47) + 278/94. Solve -b*h = -4*f + 29, 0*h - 40 = -5*f + 5*h for f.
5
Let q = -18 - -24. Let n(o) = -o**3 - 15*o**2 + o + 16. Let x be n(-15). Let s be 425/170*28*x/5. Solve 4*z - j = 2*z + s, -2*z = 4*j + q for z.
5
Suppose 9*t - 24335 = -22*t. Let l = t + -785. Solve l = -2*o + f - 1, -5*o + 2 = -3*f + 3 for o.
-2
Let c = -6273 + 6276. Solve -a + b - 3 - 2 = 0, -3*b = c*a + 9 for a.
-4
Suppose 63 = -5885*z + 5894*z. Solve z - 12 = -2*j - 3*l, 40 = -3*j + 5*l for j.
-5
Let v be ((-4)/3)/(12/126). Let c be 28/3 - v/21. Let z be (-16)/40 + 154/c. Solve -4*i - z = 5*s, -i + 4*s + 7 + 5 = 0 for i.
0
Let p(h) = -h**3 + 16*h**2 + 23*h - 38. Suppose -3*k - 119 = -10*k. Let w be p(k). Suppose w - 60 = s. Solve -20 = s*r - 4*n, 5*r + n - 11 = -3*n for r.
-1
Let z = -17603 - -17603. Solve z = x + 2*j, -13*x + 2*j = -18*x + 16 for x.
4
Let s(n) = -81*n - 1453. Let y be s(-18). Solve y*f + 23 = 2*x + 30, -4*x = 4 for f.
1
Let a(m) = -51*m - 197. Let c be a(-4). Solve 0 = -5*o + 15, -9*o - c = k - 12*o for k.
2
Let i(c) be the second derivative of 19*c**3/6 + 3*c**2 + 4*c. Let j be i(-2). Let b be (-28)/(-10) + j/40. Solve 2*n + b*n = 2*s + 16, 5*s - 2*n = 0 for s.
2
Let w(u) = -39*u + 1407. Let j be w(36). Solve j*h = 0, -4*d - 3*h = -6*d + 6 for d.
3
Suppose u = -5*f + 42, 2*f - 70 = -3*u - 61. Solve -f*w + 14*w - 5*i + 35 = 0, -4*w = -5*i + 31 for w.
-4
Let k be 1/8 + 3*6328/192. Let v = 102 - k. Solve 5*p = 5*m - 4 - 6, -3 = v*p - 2*m for p.
1
Let h = 2 + 2. Let f be 4 + 14661/(-63) - (-2)/(-7). Let d = -226 - f. Solve -d*y = 12, w = -3*w - 2*y + h for w.
3
Let y be ((-27)/(-60))/(6/8) - 57/(-5). Solve -5 = -3*l + 16*o - y*o, 40 = -4*l - 4*o for l.
-5
Let n(h) = 2*h**3 + 23*h**2 + 13*h + 22. Let p be n(-11). Suppose p = 11*r - 69 + 14. Solve 6 = -j - r*q + 15, -3*q = j - 7 for j.
4
Let g(t) = -2*t - 9. Let v be g(-6). Suppose -110*u + 115*u = 10. Let l be 25/5 - 3 - -3 - u. Solve -o + l = -3*i + 2*i, -5 = -v*o + 5*i for o.
5
Let d = 34 - 24. Suppose 76 = -182*s + 181*s. Let a = 78 + s. Solve -4*y = -3*m + 14 + 6, d = -a*y - 2*m for y.
-5
Let n be -4*(-8 - -3)/10. Suppose -v = 5*p - 6 - 17, 2 = -2*v + n*p. Solve 6 = -h - v*l, 3*l + 2 = l for h.
-3
Suppose -12*y = 8 - 32. Suppose -y*g = -3*g - 3*b + 1, 0 = 5*g - 5*b - 45. Suppose -10*p = g*p - 3*p. Solve 0 = -v - p*v - 3*j - 1, -2*j - 1 = v for v.
-1
Let i(k) = 33*k - 27*k - 13*k - 25. Let g(y) = -y - 1. Let t be g(3). Let d be i(t). Solve -4*u + 27 = 5*o, -u - o = -3*o + d for u.
3
Let p be 2*18 - (4 - -2). Suppose 1 = 4*r + 3*x, 5*x + 45 = -0*r + 5*r. Suppose r*n - 3*n - p = 0. Solve 3 = g + 4*w - 0, -4*g - n = -5*w for g.
-5
Let n = -6202 - -6222. Solve 4*u = 3*x + n, -18*u - 20 = 4*x - 20*u for x.
-4
Let x be 9*(3 - 175/63). Solve 4*d = 3*q - 35, -x*d - 2*q = -3*q + 15 for d.
-5
Let k = 143 + -113. Let n be (-2 + -8)/((-25)/k). Solve -2*w + 2*t - 6 = 0, 5*w + 0*t + n = 2*t for w.
-2
Let n be (37 + (2 - 3))/(2 + 0). Let s be 40/n - (40/45)/4. Suppose -2*i + 12 = 3*v, v = s*v + 4*i - 14. Solve v*q + k - 6 = -4*k, k = 0 for q.
3
Let l = -52 - -52. Suppose -7*g + 31 - 3 = l. Let v be ((-5)/2)/((-2)/g). Solve -13 = -5*q + 3*d - 2*d, -2*q + v*d = -19 for q.
2
Suppose -21 = 16*r + 75. Let n be ((-8)/r)/(4 - (-10)/(-3)). Solve -5*y = 2*w + 7, -2*y + 4 = 2*w + n for w.
4
Let s(m) = -m**3 - 8*m**2 - 7*m + 35. Let k(b) = -15*b - 81. Let t be k(-5). Let q be s(t). Solve -q*n + 8 = 4*y, 0 = -n - 0*n for y.
2
Suppose 1695 = 3*u - 6*i, 12*u - 7*u + 3*i - 2773 = 0. Solve -21 = -2*w + 5*g, -4*g = 3*w + u - 554 for w.
3
Suppose 39*f = 41*f, 2*d - 8 = -5*f. Let i(l) = l**3 + 13*l**2 + 11*l - 9. Let y be i(-12). Let k = y - 3. Solve -3*s + 1 = 2*v, k = d*s - v - v + 8 for s.
-1
Let n(u) = -u**2 + 18*u + 7. Let s be n(18). Suppose -s*z + 56*z = 196. Solve 3*t - r = -12, -t + 2*r - z = -3*r for t.
-4
Let a be 63*(-1)/(3 + -5 + 1). Let j = a + -44. Suppose 14 = 3*v + h, -4*v + 5*h + 6 + j = 0. Solve 0 = 2*l - m + v, 0 = -5*l - 5*m - 4 - 1 for l.
-2
Let n = 5562 + -5399. Solve 0 = 5*a + 5*w - 5, -159 = 4*a - 2*w - n for a.
1
Suppose 0 = 3*h + 4*y + 181 + 157, -444 = 4*h + 2*y. Let x = h + 110. Solve -5*j - 5*p = -2*j - 2, x = j + 5*p - 4 for j.
-1
Suppose 92*j - 2889 = 47*j - 62*j. Solve 2*g - 20 = r - 9, j = 4*g - 3*r for g.
3
Let x = 3 - 9. Let y be 23/5 + 1*x/10. Solve 16 = -4*p, g - y*p + 18 = -8*p for g.
-2
Suppose 0 = s + 4869 - 4872. Let j(b) = 5*b + 14. Let l be j(-1). Solve -m - q - l = 4*m, -s*m = 5*q + 23 for m.
-1
Suppose 234 = 6*l - 96. Suppose -p = 4*p - l. Solve 3*c = 2*o - 23, 5*c + o + p = 2*c for c.
-5
Let j be ((-8)/6)/(3/(-9)). Suppose -5*c + 172 = 22. Suppose -127*k + 125*k = -c. Solve m = -4*v - k, 32 = -j*v + 4*m - 8 for v.
-5
Suppose -3*w = 4*b - 2*b - 58, -2*w - 148 = -4*b. Suppose -12*h + 1 = -b. Solve z - 4*t + 5 = 0, 2*z - h*t = -0*t for z.
3
Suppose -2 = -2*b, -2*v - 374*b + 369*b = -17. Solve -346*q + 344*q - 4*o + 12 = 0, o - v = q for q.
-2
Let c(o) = o**2 + o + 5. Let j be c(0). Suppose -j*l + 72 = 327. Let x = l + 52. Solve 4*g = 2*m + 6, 3*m + g + x = 6*m for m.
1
Let l = 764 - 760. Solve -2*v = 2, 5*h = l*h - 2*v - 6 for h.
-4
Let d be 21 + 1 + -1 + -1. Let s be 4*(9/18 + 186/8). Suppose 0 = 31*c - 12*c - s. Solve -u - d = u - c*b, -u = 2*b + 1 for u.
-5
Let t be (-476)/(-221)*91/14. Solve p + t = 3*j, 5*j - 20 = -3*p + 22 for p.
4
Let f(j) = j - 17. Let c be f(27). Suppose -2*t = 4*l - 0*t - 10, c = 3*l + t. Solve -l*z = b + 4 + 21, 3*b + 2*z + 10 = 0 for b.
0
Suppose 8*u - 4*u + 16 = 0. Let g be (3/(-4))/(u + 203/56). Let f(k) = -k + 9. Let l be f(6). Solve -3*i - 3 = -3*y + l, g*i - 5 = 5*y for y.
-3
Let r(p) = -36*p + 1156. Let y be r(32). Solve -y*c - 1 = -5*o - 0, -3*c - 18 = 2*o for c.
-4
Let r(d) = 7*d + d - 34 + 2. Suppose 3*m + 5 = 4*m. Let u be r(m). Solve 2*x - 5*p = -0*x + 8, 2*x + 2*p - u = 0 for x.
4
Let d(i) = -52*i**2 + 365*i - 2. Let g be d(7). Solve 4*p + 33 = g*v, 5*p = -4*v - 12 + 22 for v.
5
Let d(u) be the third derivative of u**4/8 - 13*u**3/6 - 6*u**2. Let c be d(7). Suppose -48 + 16 = -c*m. Solve f + 5*g + m = -f, -10 = 5*f - 5*g for f.
-2
Suppose -801 = 5*n + 3*x, -3*x = -4*n - 427 - 230. Let a = n + 166. Solve a*z - 2 = -i + 11, 0 = i + z - 7 for i.
5
Let v(d) = d**3 - 8*d**2 + 5*d - 61. Let s be v(8). Let k be (-17)/(-4) - s/(-84). Solve 5*n - 13 = -7*l + 6*l, k*l + 14 = 2*n for n.
3
Suppose -5*x - p = -48, -p + 0 = 4*x - 39. Solve -d + 3*s = x, 11*d = 12*d - s + 5 for d.
-3
Let m = 4 + -4. Suppose 3*y - 2*j - 36 = 0, 2*y - 5*j - 24 = -4*j. Suppose -2*p - 20 = -y*p. Solve t - 2*o - 12 + 5 = m, -o - p = -t for t.
-3
Let w(q) = q**3 + 17*q + 135. Let a be w(-4). Solve -a*i = -0*i - 3*p