 4*a + 6 for j.
1
Let p = 184 - 75. Let n = p - 106. Solve 0 = 5*d - q + 2*q - n, -2*d + 2*q + 6 = 0 for d.
1
Let y = -461 - -290. Let m = 174 + y. Solve m*u - 6 = 2*z - 3, 5*u - 27 = -4*z for u.
3
Suppose -s = 6*g - g - 15, -g = -4*s - 24. Suppose 4 = 5*z - 5*r + 9, -g*z - 2*r + 26 = 0. Suppose 12 + z = 4*y. Solve l - v - 8 = 0, y*v = -0 - 12 for l.
5
Let t be 4 - (18/117 + 435/(-39)). Suppose 4*r = 2*v + 20, r + 6*v = 9*v + t. Solve -3*u + 6 = -r*i - 0*u, i - 1 = 2*u for i.
-5
Let d = 58 - 61. Let l be (-2)/d - 34/51. Solve 2*v = -4*c - 0*v, 3*c - v = l for c.
0
Let v(o) = -o**2 + 14*o + 2. Let w be v(6). Let r = -45 + w. Solve 3*h = 3*l + 8*h + 1, 2*l - r*h = -9 for l.
-2
Let o = -22 + 29. Let b = -29 - -22. Let v = 9 + b. Solve v*s - q = 3, 3*s - 4*q + 1 + o = 0 for s.
4
Let b be 11 - 30/45*-21. Solve k - 4*v = -3*k - 40, 5*v = b for k.
-5
Let v be -1*(-2)/(-8) + 2/8. Let q(w) = 14*w - 14. Let b be q(4). Let u = -37 + b. Solve -5*f = -v*f + 3*o + u, 5*o = 2*f + 33 for f.
-4
Let v be 30*(16/(-12) - -2). Suppose w = 6*w - v. Let k be 7 + (-4)/w + -4. Solve -12 = 2*d - 3*x, -4*x + k = 2*d - 0 for d.
-3
Suppose 73*c - 77*c - 17 = -m, 5*m - c - 28 = 0. Solve 2*q - 13 + 38 = m*d, d = -2*q + 5 for q.
0
Suppose 0*m - 4*m = -k - 120, m = -k - 95. Let r = k + 104. Solve 3*j - 5 = 2*s + 6, r*j = 2*s + 12 for j.
1
Suppose -71*d = 34*d - 420. Solve -d*v - c + 4*c = 13, 0 = 4*c + 4 for v.
-4
Let u be (-405)/(-54)*(-4)/(-10). Suppose 3*d - 5*j - 31 = -4*j, u*d = 5*j + 11. Solve 0 = h + 2*n - 6, 5*n - 3*n - d = -4*h for h.
2
Let i(v) = 3*v - 11. Let u be i(5). Suppose 0 = 5*s + 6 + u. Let h be 0/(4/s - -4). Solve h*g + 5*b = 2*g, 0 = -g - 3*b for g.
0
Let u be 1*(-1)/(-5) + 8/(-40). Suppose -s = -u*s - 62. Let n = -42 + s. Solve -3*y + n = -2*b, 2*b + 3*y + y - 8 = 0 for b.
-4
Suppose 3*t - 8 - 4 = -5*n, 0 = -4*n + t + 30. Solve -2*i - 10*u = -13*u + 11, -5*u - 19 = n*i for i.
-4
Suppose 4*u - 8 = 0, -5*u + 19 = 68*s - 65*s. Solve 5*d + 27 = -8*j + 4*j, s*d = -j - 12 for d.
-3
Let g be 30/7 + (-8 - (-378)/49) - 0. Solve -4*w = 5*z - 5, -4*z - g*w = 4 - 12 for z.
-3
Let k(p) = 842*p + 5055. Let z be k(-6). Solve -49*f = 2*t - 44*f + 3, -z*t - 4*f = 1 for t.
1
Let f(o) = 25*o + 100. Let v be f(-4). Suppose -3*u + 6*u + 12 = d, -4*d - 2*u + 20 = v. Let g = 4 - -6. Solve a - d*a = 5*h + g, -2*h = a + 2 for h.
0
Suppose -103 = -61*c - 75 + 94. Solve -c*y = 2*w, y + 3*y + 3*w + 4 = 0 for y.
-4
Let a be (-3 + 1)*4*13299/(-9672). Solve 4*v - 3*c + 11 = -15, a = -3*v - 2*c for v.
-5
Let j(g) = g**2 - 63*g + 755. Let d be j(16). Solve -5*w = -d*p, -2*p - 5*w = 11 - 36 for p.
5
Suppose 40 = -77*v - 48 + 88. Suppose -4*p + 45 = -35. Solve -2*s + n = -4*s - 9, v = 3*s - 5*n + p for s.
-5
Let k(b) = -939*b + 4714. Let f be k(5). Solve -2*r + 5 = q, 15*r = 3*q + f*r - 13 for q.
3
Suppose -3*b - 4*m = -36, -5*b + 243 = 4*m + 199. Solve -b*x + 5*i - 20 = 2*i, -i - 5 = x for x.
-5
Suppose h = -d + 29, -9*h + 151 = -4*h + 3*d. Suppose -3*o - 2*a - 64 = -7*o, -2*a = -2*o + h. Solve -4*c - 6 = -3*t, -2*c + 6*c + 2*t = -o for c.
-3
Let x be ((-6)/(-3))/(2 + 784/(-391)). Let f = -387 - x. Solve 0 = 2*r - f*l + 30, 10 = -3*r + 2*l - 3*l for r.
-5
Let g be ((-30)/(-5) - 8) + (-1 - -1). Let p be 3/g*(-40)/15. Solve -z - 16 = 5*a, -p*z - 7 = a - 0 for a.
-3
Let m be 7 - (-2 + 0/(-9) - -4). Solve -m*y = -i + 5*i + 24, -3*i + 5 = -2*y for i.
-1
Let q be (5/3)/(1001/(-234) + 4). Let l(y) = -y**2 - 8 + 0*y**2 + 4*y + 2*y**2. Let m be l(q). Solve 5*r = -2*x - 4 + 14, 0 = m*r - 8 for x.
0
Let g(t) = -5*t**2 - 8*t - 42. Let n(c) = -4*c**2 - 9*c - 41. Let i(v) = 3*g(v) - 4*n(v). Let r be i(-7). Solve -r*u - 8 = -u - 2*o, 0 = 5*u + 2*o + 13 for u.
-3
Suppose 21*a - 5*r + 64 = 22*a, 0 = -2*a - r + 65. Solve -24*u = -a*u - 15, -3*o = 5*u for o.
5
Let x = -4570 + 4576. Let n(v) = -v**3 - 5*v**2 - v - 2. Let t be n(-5). Solve s - 8 = -t*s + 2*a, 3*s = -5*a + x for s.
2
Let j = 382 - 368. Let k be j/8 - (-11 - (-172)/16). Solve 6 = -k*n, 5*q - 2*q + 4*n + 9 = 0 for q.
1
Let q = -9 + 11. Suppose -10*a + 4*a - 2*a = 8*a. Solve w + 9 = 2*u, 3*w + q*u + 0 - 5 = a for w.
-1
Let m = 5829 + -5824. Solve -4*w - 17 = -2*w + m*c, 17 = -5*w - 4*c for w.
-1
Let c be ((-5 - -2) + 4)*(-48 - 1). Let y = -165 - -118. Let b = y - c. Solve 2*m - 4*p - 32 = -b*m, -2*p = -4*m + 26 for m.
5
Let d(a) = -493*a**3 + 249*a**3 + 5*a**2 + 239*a**3 + 5*a. Let n be d(-1). Solve 0 = t + 1, 0 = -n*w - 0*t - t - 11 for w.
-2
Suppose -3*f - 177 = -3*b, 66 = -10*b + 5*f + 681. Solve -w - 7 = 4*l, -2*w + 56 = 2*l + b for l.
-1
Let a be 5/(15/6) + (14 - 6). Suppose 4*q - 114 = a*q. Let t = -14 - q. Solve -l + c + c + 3 = 0, -5*l = t*c for l.
1
Suppose -2*p + 39 - 29 = 0. Solve 0 = 5*c + p*m + 10, 0 = -3*m - 0*m - 15 for c.
3
Let h be (-36)/(-6) - 4/2. Suppose -h*m + 0*m = -4, 3*c = -3*m + 30. Let x(q) = q**2 - 5*q - 6. Let a be x(7). Solve -5*n + a + c = -y, -n + y = -1 for n.
4
Suppose 0 = -2*s + 4*z - 2*z + 12, 0 = -5*s - 4*z - 6. Let g(a) = 15 - 17*a - 6*a**s + 5*a**2 + 7. Let u be g(-18). Solve -4*l = u, 0*r - r - 4 = -l for r.
-5
Let r be (2 - (-2)/(-4))/(2/4). Suppose 0*i - r*t = 5*i - 6, 5*i - 18 = t. Solve 3*m + 8 + 16 = 3*q, i*q + 3*m = 0 for q.
4
Suppose 5*c + 210 = 5*t, -t - 2*c - 126 = -4*t. Suppose 0 = f - 0 - t. Let d be (-14)/f - 61/(-3). Solve 5*m = -5*h - 30, -h - d = 2*h + 5*m for h.
-5
Let p = 3082 + -3079. Let c(t) = t**2 - 7*t - 13. Let m be c(9). Solve 3*x = 2*b + 3*b + 31, m*x - 25 = p*b for x.
2
Let w be -1 + 144 + (-8)/(-2) - 1. Let y = 153 - w. Suppose 0 = 3*s + s - 8. Solve 3*r - 16 = s*q + y*r, -2*r = -3*q for q.
-2
Let n = -115 + -17. Let u = -142 - n. Let w be (-27)/45 + (-6)/u. Solve 0*v - 3*m + 5 = -4*v, -m - 1 = w for v.
-2
Let r = 372 - 165. Let q = r + -205. Solve 2*v - 20 = -4*p - 6, 0 = q*p - 4*v - 12 for p.
4
Let d(t) = -8*t + 93. Let v be d(11). Solve -2*a = -f + v, 2*a + f - 2 = -1 for a.
-1
Suppose 12*b + 24 - 240 = 0. Let n be (b/15)/(28/70). Solve 5*f + 4*w = 12, w + 12 = -n*f + 5*w for f.
0
Suppose 1168 = 2*y - 176. Suppose o + 7*o = -y. Let h = o + 87. Solve -3*b - 5 = x, -h*x + 4*x + 5 = -2*b for x.
-5
Suppose -3*v + 7*v = 0. Suppose -4*j + 48 = 3*g, 64 = 4*g - v*g - j. Let n be (3 - 1)*(-5)/(-2). Solve -x - 7 + 2 = s, 0 = 2*s + n*x + g for s.
-3
Let f = -8160 + 8181. Solve p - 3*q - 1 = 0, 9*q = -4*p + 4*q + f for p.
4
Suppose 2*c = 5*c - 15. Let r(d) = d**3 - 4*d**2 - 4*d. Let m be r(c). Suppose m*j + t = 7 - 0, -2*t - 6 = 0. Solve -4*v + j*i + 4 = 0, -3*i + 6 = 18 for v.
-1
Suppose -3*f + 3 + 1 = 2*s, 0 = -4*f - 2*s + 4. Suppose 1943 + 3302 = 1049*c. Solve -3*o = -12, f*a + c*o - 30 = -2*a for a.
5
Suppose -5*t - 5 = 5*c, 70*c + 4*t = 73*c - 18. Solve 10 = -5*q, 0 = j + q + q + c for j.
2
Let q be -2*(138/(-15))/(-4 - (-240)/50). Solve 5*c - 13 = -a, -2*a - 13 = -26*c + q*c for a.
-2
Let v be 0/(-1*6 + 3). Suppose -12 = 4*r, 5*r = 3*l + 3*r - 81. Let q = l + -16. Solve -b = 2*c + c - q, v = 4*b for c.
3
Suppose -2*t + 23 + 114 = 5*z, 0 = -3*t - 4*z + 209. Let r = -71 + t. Let s be 3 + r - 4 - -3. Solve 0 = -0*j - s*j - n, 0 = -4*j + n + 12 for j.
2
Let a(h) be the first derivative of -5*h**3/3 - 7*h**2/2 + 10. Let k be a(3). Let v = 86 + k. Solve -2*z - 2*t + v = 0, 0 = -3*t + 2*t + 5 for z.
5
Let g be (-2)/12 - 4/(192/(-152)). Suppose -3*m + 1 + 2 = 0, -2*m = -4*x - 10. Let o be (60/9 + x)*(-18)/(-21). Solve g*k + o*b = 4, k = 2*k - b - 6 for k.
4
Let r be (-5)/2*(-54 + 57)*-4. Solve 9*z - j + 9 = 5*z, 5*z = 5*j - r for z.
-1
Suppose -176*c + 570 = 109*c. Solve -6 = 2*v + 2*y, -4*v - c*y + 3 = 13 for v.
-2
Let p be (616/6)/(-4) + (-2)/6. Let l = -26 - p. Let b be (-143)/(-11) + l + -1. Solve -5*h = -w + 14, -3*h + w + 2 = b for h.
-2
Suppose -7 = -31*p + 489. Suppose 0 = 18*z - 14*z - p. Solve -17 = z*j - r, -4*r - 16 - 21 = 5*j for j.
-5
Suppose -6042 + 5917 = -25*x. Solve -5*d = -x*f - 15, 2*f = -3*d + 12 - 8 for d.
2
Let w(m) = -2*m**3 + 18*m**2 + 2*m - 12. Let h be w(9). Suppose -p + 28 = h*p. Solve 3*r = f + 1, -r + p = 3 for f.
2
Let x = 23483 - 23476. Solve 6*r + 4*q - 2 = 0, 0*r = -3*r - 4*q - x for r.
3
Suppose 4*w + l - 112 = 0, -1697*l + 1692*l - 7 = -w. Solve -r - w + 22 = 0, q - 2*r = 7 for q.
-3
Let q = 51 - 22. Let t(a) be the third derivative of 2*a**5/15 - a**