*v = 3*t + a, t = 3*t + 8 for v.
1
Let h(i) = -76*i**2 + 15*i - 8. Let g be h(2). Let m = -277 - g. Solve 0*y - y - m*u = 0, 3*u - 13 = 2*y for y.
-5
Let u = -39 - -35. Let b be (11/2 + u)*-8. Let v be 3/b - 1/(-4)*45. Solve -3*r - v = -i, 2*r - 2*i = -3*i - 4 for r.
-3
Let n(p) = -p**2 - 12*p + 22. Let i(m) = m**2 + 9*m + 9. Let o be i(-4). Let k be n(o). Solve -4*b - 3*s = -5*s + 28, -5*b = -2*s + k for b.
-5
Let w(o) = o**2 + 21*o - 34. Let k be 2 - 4/16*-2*-50. Let h be w(k). Solve -3*t + h = 5*m, 0 = -2*t - m + 2*m - 5 for t.
-1
Let i(j) = 2*j**2 - 6*j + 5. Let r be i(3). Let f = r + -3. Let n be (16*(-1)/(-6))/(4/6). Solve 0*d = f*d - 4*o - 24, 16 = -n*o for d.
4
Let g = 585 + -577. Solve -3*m - 2 = -2*n, 2*m + 4*n - 12 = g for m.
2
Suppose -6*m = 2*m + 488. Let r = -59 - m. Let q be (-1)/r*(-3 - -3). Solve 2*n = -k + 5*k + 6, q = -n + 5 for k.
1
Suppose -2*x + 0 = -6, 0 = 4*o - 3*x - 7. Suppose -8 = -3*k - o*i, 2*k + 0*i = -2*i + 6. Solve -34 = -3*v - 5*j, 2 = k*v - 2*j - 0 for v.
3
Suppose 0 = -16*t + 13*t + 6. Suppose -2*a + 2 = 2*w, t*w + w = 2*a - 2. Suppose 0 = u - w*u - 2. Solve -f + 3*r + 12 = 0, 3*r = 4*f + u*r + 7 for f.
-3
Let x(b) = -82*b**2 + 3795*b - 3794*b - 4 - 35 + 2*b**3. Let z be x(41). Solve 2 = -z*t + 8, 4*c - 8 = 4*t for c.
5
Let h(x) = -19*x - 66. Let z be h(-4). Suppose 0 = b + 7*u - 4*u - z, -2*u = -b + 5. Solve 4*j + 5*p = 0, -2*j - 2 = b*p - 4*p for j.
5
Let t(w) = 5*w + 241. Let k be t(-48). Let z(j) = 4*j**2 + 3*j - 5. Let b be z(k). Solve -b*u - 10 = 0, -2*x + u = -0*u - 1 for x.
-2
Let g(k) = 584 + 17*k**2 - 299 - 293 - k**3 - 41*k. Let w be g(14). Solve -2*o + w = -4*j, 5*j = -7*o + 2*o + 15 for j.
0
Let n(i) = -26*i + 2215. Let p be n(85). Solve -15 = -2*f - p*d, 0 = 4*f - d - 3*d - 16 for f.
5
Suppose 4*h = -17 + 41. Suppose -87*n - 44 = -44. Solve n = -5*z - 4*d + 15, -3*z - h*d + 3*d = -9 for z.
3
Let z(p) = 5*p - 208. Let y be z(0). Let l = y - -213. Solve d - 24 = -5*t, -2*d + 0*t = -l*t + 12 for d.
4
Let w be 12 - (5 - (8 - 0)). Suppose -7*r + w = -83. Solve 4*a - 2*t = -r, -a - 28 = 2*a - 5*t for a.
-1
Let z = -14062 - -14083. Solve -z*x = -20*x + 4*h + 11, -3*h - 8 = x for x.
1
Suppose -19*f = 19*f - 57*f + 38. Let k = 61 - 32. Solve -3*p = -f*i - 2*i + k, -p - 2*i + 7 = 0 for p.
-3
Suppose -82*o + 87*o - 5 = 0. Suppose -o = -z - 1. Solve -5*s - 2*q + 16 - 6 = z, -5*q + 25 = -2*s for s.
0
Suppose -216 = -10*d - 14*d. Suppose 2*z - 4*f + 4 = 0, -d*z + 5*z + f = -13. Solve 0*l + 3*l = -n - 11, 3*l = z*n - 31 for l.
-5
Let j = 28 - 29. Let q be j*(-20)/25*5. Suppose q*n = 4*k - 4, k = -n + 4 + 5. Solve -3*f + 3*p + 1 = f, -k*f - 4*p = -9 for f.
1
Suppose -133*p + 128 = -69*p. Solve 3*n - t - 5 = 0, 17 = 2*n - p*t + 11 for n.
1
Let m = 194 + -177. Let t be (-1632)/(-867) - (-2)/m. Solve 0 = -2*a + 4*o - 8, 0 = a + 2*a - t*o + 4 for a.
0
Let z = -21 - -14. Let m(h) be the first derivative of h**4/4 + 7*h**3/3 - h**2/2 - 2*h - 146. Let o be m(z). Solve -o*s - 12 = -s + 4*j, s - j + 3 = 0 for s.
-3
Let x(t) = t - 2. Let y be x(6). Suppose 0 = 60*w - 59*w - 61. Let j = 61 - w. Solve -2*o = 5*q + y, o - q + 2 = -j*q for o.
-2
Let o(a) = -2*a + 38. Let z be (0 - -7)/((-4)/(-4)). Let t be o(z). Solve -6*y + 5*w + t = -3*y, -3*w = 9 for y.
3
Let r = 6398 - 6395. Solve -3*o = -3*b - 12, r*o - 124*b = -127*b for o.
2
Let j be 16/8*-5*(-6)/15. Suppose -12 = -w - 0*w + j*r, 3*w + 5*r - 2 = 0. Solve -5*k + 24 = w*g, g + 21 = 6*g + 4*k for g.
1
Suppose -117*l - 80*l = -56*l - 705. Solve 0 = 5*u - 3 - 17, l*u - 26 = 2*w for w.
-3
Suppose 24 + 35 = 17*h + 8. Solve x + 9 = h*a, -a + 4*x = x + 5 for a.
4
Suppose -2219 = -9*l + 2*l. Let h = -316 + l. Solve 3*b = -k - h, 3*k - 2*b + 4*b = 11 for k.
5
Let w be 286/(-65)*(5 + 0). Let p = w + 24. Solve 2*s - 4 = 2*d, s - p*s + 8 = -3*d for d.
-3
Suppose -4076*f = -4106*f. Solve a = -f*a - 3*t + 14, 4*a = 5*t - 29 for a.
-1
Let d(o) = 17*o + 1023. Let c be d(-59). Solve m - 21 + 5 = -3*z, 0 = 5*m - 5*z + c for m.
1
Suppose 4*n - 5*h = 7*n + 17, 5*h = 4*n + 11. Let f(b) = b + 6. Let q be f(n). Solve 3*a = 3*u + 6, a + q - 3 = 0 for u.
-1
Suppose -218 = -19*j + 97 - 220. Solve j*n = 3*z + 12, -3*n - z + 27 - 31 = 0 for n.
0
Suppose 227 - 227 = -14*t. Solve -6 = p - 3*p, t = 3*i - p + 6 for i.
-1
Let q = -7320 - -7325. Solve 0 = -4*v + w + 5, 8 = -2*v + q*v - 5*w for v.
1
Suppose 975*s + 700 = 1025*s. Solve c = 13*d - 18*d + 23, 0 = -2*d + 2*c + s for d.
5
Suppose m + 3*m = 0. Suppose -1664*f - 39132 = -42460. Solve q = -2*j - 1, f*q + m*q = 2*j + 16 for j.
-3
Let p be (1 + 0)/((-39)/(-117)). Let t = 4 - 0. Solve -4*m = -t*s - 24, -m - 3 = p*s - 1 for m.
4
Let d = 617 - 255. Suppose 366*k - 16 = d*k. Solve -z + k*n + 10 = 0, -4*z + 2*n = -0*z - 12 for z.
2
Suppose f + 1 - 5 = 0. Suppose a - 1 = 0, -f*d - 5*a + 32 = 7. Solve d*g = -4*b + 3*g + 22, 0 = -4*b + g + 7 for b.
3
Let d be (-6)/21 + (642/(-21))/(-2). Let f be ((-9)/12)/(d/(-100)). Solve t = -t - 2*z, f*t - 5*z - 40 = 0 for t.
4
Let t be (1*-3)/(-9 - -8). Suppose -t*p = -2*p + j, -21 = -4*p + 3*j. Let n be p*16/12 + 2 + -2. Solve 0 = b + 5*x - 2, -5*x = 2*b - n + 5 for b.
-3
Suppose 0 = 126*j + 29*j. Suppose -q - 3*q = -5*o + 40, -3*q = -5*o + 35. Let w(a) = a + 12. Let g be w(-10). Solve -g = 5*c - 2*z, z + o = -j*z for c.
-2
Let l = -178 - -182. Let c be (6 - 1) + 20 + l. Solve 2*x + c = -2*x - 5*o, x - o = 4 for x.
-1
Let q = 4765 - 4746. Solve 0 = 5*s + 4*y + 1, -q = -s + 44*y - 48*y for s.
-5
Let z = -425 + 430. Suppose 5*u + 7 = -3*n - 3, u - 5*n + 30 = 0. Let b = u - -8. Solve 5*p + 0 = c - 5, 3 = -b*p - z*c for p.
-1
Suppose 15 = -5*s, -z = 3*s - 230 + 237. Solve -5*n + 2*w = -15, -3*n + 21 = z*w - 4 for n.
5
Suppose -26 = -5*j + 2*v, -j - 2*v + 1 = 3. Let a be 3 - (-4 + 4 - 1). Suppose 8*w = a + 76. Solve -4*r - 24 = 4*g, 0 = g - j*r - 9 - w for g.
-1
Let j = 20546 - 20523. Solve -y + 10 = 4*x, 18*y - 3*x + 16 = j*y for y.
2
Let d be 0 + (0 + 9 - 5). Solve -d*n = j - 11, -4*j = -5*n + j + 45 for n.
4
Let q = 12738 - 12734. Solve -13 = -3*k - 2*f, 5*f + 133 - 154 = q*k for k.
1
Let k(q) = -q**3 - 3*q**2 + 26*q - 14. Let y be k(-7). Suppose 105 = 5*a - y. Solve 17 = -j + 5*d, -j + a - 8 = 5*d for j.
-2
Suppose -4 = 2*b + s, -4*b + 125*s = 115*s - 88. Solve 4*d - 8 = -b*t, 2*d + 6*t - 4 = 7*t for d.
2
Let x = -54 + 32. Let f be ((-132)/x)/((-2)/(-5 + 1)). Suppose -f*d + 60 + 0 = 0. Solve -3*u + u - 17 = -5*o, -d*o = u - 29 for u.
4
Suppose -26*n + 24*n = -4. Suppose 6*i = 10*i - n*i. Suppose i = -3*d + 5*s + 1, -2 = s - 3. Solve v - 5*l = 5, 2*v - d*l + 6*l = -18 for v.
-5
Let a(c) = c**3 - 15*c**2 + 56*c + 14. Let s be a(7). Solve -2*b = s*l - 10*l + 2, -l + 17 = 4*b for l.
-3
Let f be (-3)/(9/(-7)) + 160*(-66)/(-6336). Solve -2*q - f*g - g = 23, 7*g = q - 17 for q.
-4
Let f(d) = 2*d**3 + 11*d**2 - 24*d - 2. Let i be f(-7). Suppose u = 5*q - i, -14 = -4*q - 3*u + 5. Solve -4*n - q*h = 5 + 3, n + 5*h + 2 = 0 for n.
-2
Suppose i = -p + 6, -14*i + 15*i = 1. Solve 2*x + 8 = -2*m, p*x + m + 27 = 3*m for x.
-5
Let t = 44 + -50. Let i be -3 + -3 + -3*8/t. Let j be (-1 - (i + 6))/(-1). Solve -2*m + 6 - 13 = -y, 0 = -j*m - 2*y - 4 for m.
-2
Let q(i) = -i**2 - 6*i - 4. Let d(z) = z - 9. Let w be d(4). Let x be q(w). Let m be (-192)/(-56) + (-6)/14. Solve 4*c - 4*n = 5*c - x, m*c - 13 = -2*n for c.
5
Let t = -6 - -6. Let l(h) = h**2 - 13*h + 5. Let q be l(13). Suppose -q*f - 15 = -8*f. Solve 2*j = -f*s - t - 4, -4*j = s + 8 for j.
-2
Let m(h) = -h**3 - 71*h**2 - 146*h - 547. Let t be m(-69). Solve -19*n = -15*n - 5*s - 11, 0 = -n - s + t for n.
4
Suppose 2 = -4*y - 6, -5*y = -2*k + 66. Let p(c) = c**2 - 28*c + 7. Let s be p(k). Solve 2*u + 2*g = -g, -u + s = 5*g for u.
-3
Suppose 0*o - 40 = -10*o. Suppose -3*f - f - 24 = -o*z, 0 = 4*z - f - 36. Suppose -z = q - 12. Solve -q*l - 14 = -5*r, 4*l - 2*l + 10 = 4*r for r.
4
Let j(d) = -d - 5. Let y(c) = -c - 1. Let r(z) = j(z) - 2*y(z). Let f be r(7). Suppose 0 = f*p - 8*p + 16. Solve p*l = -5*m - 3 + 15, -5*l = -15 for m.
0
Let r(u) be the third derivative of 13*u**2 + 0 - 1/60*u**5 + 5/6*u**3 + 0*u - 13/24*u**4. Let b be r(-13). Solve 2*g = -5*p - 35, b*g - 7*p = -2*p for g.
-5
Suppose 10 = 6*d + 9 + 1. Solve 5*x = -5*g - 72 + 32, 4*x + 2*g + 24 = d for x.
-4
Suppose x + 44