- n*u - 4 = 0 for b.
-4
Suppose 42*q - 517 = 323. Solve -2*a - 27 = 5*k, 5*k + 33*a = 38*a - q for k.
-5
Let c = -13544 + 13569. Solve 3*h + 34 = -29*z + c*z, -2*z - 5*h - 38 = 0 for z.
-4
Let n = 70595 + -70594. Let c = 0 - -3. Solve d = -c, -3*p - p - n = -5*d for p.
-4
Let c(k) = k**2 - 6*k - 5. Let y be c(7). Suppose -5*g - 2 + 7 = -2*j, j + y*g - 2 = 0. Let t = -7 + 12. Solve -2*h + t = d - j, -h = 3*d + 5 for h.
4
Let d be 188/60 + 5*(-4)/150. Suppose 2*c = -2*c + 12. Solve 0 = d*l + 3*h + c, 3*l = 5*l + 5*h - 4 for l.
-3
Let w = 407 - 409. Let g(s) = -9*s + 3 - 3 - 1. Let i be g(w). Solve -b - i = -3*b + 5*n, -b - 5*n = 14 for b.
1
Let n(l) = 714*l**3 - 4*l - 2. Let x be n(-1). Let b = x - -714. Solve 0 = -5*a - 5*q - 45, a + a + 2 = b*q for a.
-5
Let y be (-4 - (-13)/1) + 6. Suppose -3*h - 2*z + y = 0, 13 = 5*h + z - 5. Solve c - 6 = h*x, 0*c + 4*x + 18 = -2*c for c.
-3
Let u(y) be the third derivative of -y**5/10 + 21*y**4/4 + y**3/2 - 54*y**2. Let j be u(21). Solve 5*c = j*g - 27, -3*c + 3*g + g - 25 = 0 for c.
-3
Suppose 0 = -6*b - 9*b - 220 + 295. Solve -2*y + 20 = 4*n, -8*n + 9 = -b*n for y.
4
Let g be ((-14041)/(-361) - 19) + -2 + 80/38. Solve 23*u + 12 = l + g*u, 0 = 2*l + 2*u for l.
3
Let h be (27 + (-3 - 96/4))/2. Let u(i) = -i + 7. Let m be u(6). Let n be (m - 2) + 5 + -1. Solve -3*v = -h*v - n*k, -2*k = -3*v for v.
0
Let b(p) = 6*p - 3. Let h(v) = 5*v. Let u(r) = -5*b(r) + 5*h(r). Let c be u(-9). Let l = 63 - c. Solve 3*f + 7 = 2*k, 0 = 3*k + 2*k + l*f - 28 for k.
5
Let c(f) = -f + 5. Let u(l) = -4*l - 13. Let d be u(-3). Let v be c(d). Let o be 1 + 3 - (5 + -3). Solve 5*w = -3*k - v, o*w + 2*k + 2 = k for w.
0
Suppose 0 = -16*w + 342 - 102. Let d be (-1134)/(-10) - ((-24)/w - -1). Let q = d - 110. Solve -j + q*j = o - 19, -j - 3*o = -7 for j.
-5
Let h be 10 - (92/22 - 36/198). Suppose -5*q + 10 = 2*v, 0 = h*q - 5*q + 2. Suppose c - 10 = -c. Solve 5*t = 2*p + 30, -5*p + 3*p + v = c*t for p.
-5
Suppose 5 = 5*c, m - 4*c = -4*m + 16. Suppose -m*k + 2*q + 40 = 0, -2*k + 12*q = 13*q - 12. Solve 5*u + k = 5*l - 2, -l - 4*u - 23 = 0 for l.
-3
Let x(j) = j**2 - 6*j - 47. Let o be x(11). Suppose -24 = -16*k + o. Solve -9 - 1 = k*y + 2*s, -13 = 5*y - s for y.
-3
Let a = -9 - -9. Suppose 4*z + 4*g - 204 = a, 4*g + 237 = 5*z + 3*g. Suppose 7*m - m = z. Solve m = -2*c - 3*o - 0, 3*o = -6 for c.
-1
Let u = -521 - -638. Suppose -7*n = -u + 82. Solve -3*q + 3 + 2 = 4*o, 0 = n*q + 3*o - 1 for q.
-1
Let f = -3668 + 3686. Solve -4*t + 2*b = 12, -5*t + 4*b - f = 3*b for t.
-4
Let z = -18 + 21. Let y be z*(9 + -4)/15 - -1. Solve -p - y*p + 11 = -5*g, -4*p + 6 = 2*g for p.
2
Suppose 412*q - 169 = 411*q. Let p = -164 + q. Solve 2*s - 3*s - 3*x = 4, p*x + 9 = -4*s for s.
-1
Suppose 7*h = -88 + 109. Solve 2*u = -p - 14, h*u = 2*u + 4*p + 11 for u.
-5
Let u(s) = s**3 - 20*s**2 - 35*s - 48. Let a be u(21). Let r = 345 + a. Let i(y) = -y**3 - 7*y**2 + 4. Let z be i(-7). Solve v = 3*o - v - 4, v = z*o + r for o.
-2
Suppose 0 = 3*l + o - 21 - 23, -2*o + 24 = 2*l. Suppose -l*z + 48*z - 128 = 0. Solve -4*x = 0, -z*x + 9 = -3*u - 5*x for u.
-3
Let l(h) = -34*h + 109. Let q be l(14). Let v = -366 - q. Solve v = 4*d - d + c, 0 = c + 5 for d.
2
Let r(k) = k**3 - 12*k**2 - 3*k + 41. Let p be r(12). Solve -p*o + 2*w + 5 = 0, -3*o + o + 2*w = -8 for o.
-1
Suppose -5*b - 3*b = -b. Suppose b = -0*v - 13*v + 26. Solve 6 + 4 = v*g - 5*j, 2*g = 2*j - 2 for g.
-5
Let r(c) be the first derivative of -2*c**4 + c**3/3 - c**2 - 2*c + 12. Let i be r(-1). Suppose -57*y + 60*y = i. Solve -22 = -y*l - 7, 3*w - 4*l = -20 for w.
0
Let n = 47 + -53. Let a be (n + -6)*12/(-9). Let k be (-96)/(-5) + a/20. Solve 20 = -5*d, k = 2*b - 5*b - 5*d for b.
0
Suppose -3*r + y = -11, -97 = -3*r + 5*y - 90. Solve r*w + 9 = -3*i, -6*i + 6 = -8*i + 2*w for i.
-3
Let p = 5161 + -5153. Solve -p*g = 2*d - 10*g, d - 2*g = -1 for d.
1
Suppose 218*i - 215*i - 513 = 0. Let x = i - 151. Solve -5*m + 2 = -f, -5*m = f + 4*f - x for f.
3
Suppose -5*t + 5 = -5. Suppose 3*b - 17 = 4. Suppose t*r - b*r = -6*r. Solve 0 = 4*c + 2*m + 9 + 3, r = 3*m for c.
-3
Let v = -9498 + 9500. Solve -v*a - 5*r + 20 = 0, a + 2*r = -11 + 19 for a.
0
Let n be -1 + -1 + (48/(-156) - 82/(-13)). Solve d - 3 = -3*j, -13*d + 4 = n*j - 11*d for j.
1
Let u(g) = -g**3 + 5*g**2 + g - 7. Let a be 1/(-2)*(-96)/24. Let x be u(a). Solve -4*c = t - 6*t + x, -4*c = 2*t - 14 for t.
3
Let z be 23/((-92)/(-176)) + 10 + 0. Solve -3*s - 5*l = 3, 4*s - l - 27 = -z for s.
-6
Let d be ((-84)/(-147) + -8)*-7. Solve -d = -2*q + v - 51, 2*v = -q + 8 for q.
2
Let u = -607 - -623. Let x be u/(-56) + (-32)/(-14). Solve -2*n + 6*y - 8 = x*y, -2*n = 4*y - 16 for n.
2
Suppose 19 - 34 = -36*y + 57. Solve -2*k = y*v + 2*k, -5*k + 15 = -5*v for v.
-2
Suppose 2*c = c - 5*r + 43, -2*c + 56 = 4*r. Suppose -2 = 17*n - c*n. Solve -5 = -2*l + 5*u, -2*u + 10 = 2*l - n for l.
5
Let m(u) = -u**2 - 12*u + 62. Let t be m(4). Let j be (-1034)/(-198) - t/(-9). Solve 5*c = -0*y - 2*y, -j*y = -2*c - 29 for y.
5
Let l be 15 + (1 - (9 + 2)) - (-3)/1. Solve 2*h - 10 = -4*c, 2*h - l*c - 10 = -5*c for h.
5
Let k = 9981 - 9977. Solve 2*z + 3 = -d, -4*z - 19 + 15 = k*d for d.
1
Let l be (-190)/(-10) - 9 - 7. Solve 108 = r + 4*c + 99, -l*r + 2*c = -13 for r.
5
Suppose -x = 5, c - 5*x + 79 + 56 = 0. Let n = c + 170. Solve -v = 0, -3*q - 2*q - n = v for q.
-2
Let u = -16 - -4. Let i be ((-4)/u)/((-1)/(-6)). Let g = -160 + 165. Solve -3*p + i*n = -9, -4*p + g*n + 10 = 3*n for p.
1
Suppose -3*a + 4*i = -54, -11*i + 16*i = 4*a - 72. Solve 0 = -22*l + a*l + 4*o + 16, -2*l - 4*o = 4 for l.
2
Suppose 8*g = -1918 - 1186. Let w = 399 + g. Solve -3*p + 5*z + 24 + 13 = 0, -p - 3*z = w for p.
4
Suppose -2*p = -12 + 22, 4*p + 152 = 4*j. Solve -2*s - 18 = -29*r + j*r, 3*r + s = -14 for r.
-5
Let b be (200/(-120) + (-3)/(-1))*(-6)/(-4). Solve 8 = n - 4*w, b*n - 4 = 3*w - w for n.
0
Suppose 284 + 8 = 29*t - 143. Solve 15 = 4*c + g, -3*g - 25 = -5*c + t for c.
5
Let v = -7069 + 7073. Solve -v*d = -4*j - 12, -j = 3*d - d for j.
-2
Suppose 5*n + 10 = 3*q, -10 = 29*q - 24*q + 5*n. Solve q = 5*s + 3*m + 9, 2*s + 11 - 8 = -m for s.
0
Let i = -4781 + 4799. Solve 4*m - 2*x - 16 = 0, -3*m - 4*x = -i - 5 for m.
5
Let j = -225 + 235. Let y = 21 - 18. Let a(h) = h**2 - h - 2. Let q be a(y). Solve 0 = -2*w + j, -q*w - 5 = -d - 30 for d.
-5
Suppose v - z = -2, 89*v + 4*z = 87*v + 20. Solve 4*k + 24 = -4*b, v*b - 4*k = -7*k - 17 for b.
-1
Suppose 5*z - i = 47, 5*z - 53 = 8*i - 9*i. Solve m - 3*w - 14 = 0, 0*w + z = -5*m - 5*w for m.
2
Let q(g) = -3*g**3 - 132*g**2 - 8*g - 347. Let t be q(-44). Solve -5 = 4*c + 2*x - 11, -t*c - 4*x = -12 for c.
0
Let c(t) = -14*t**2 + 589*t - 26. Let d be c(42). Solve -u + 11 = 3*m, 8*m - 4*m + u - d = 0 for m.
5
Let f(i) = -2*i**3 + 12*i**2 - 10*i + 2. Let m be f(5). Solve 0 = -m*j + 5*y - 35, 2*j - 5*j = -4*y + 35 for j.
-5
Let g(n) = 4*n - 26. Let d be g(11). Suppose 5*a = 62 + d. Suppose -3*f = -f + 4*k + 10, 4*f - k = a. Solve 4 = w + f*w - 2*r, 3*r = -3*w - 6 for w.
0
Suppose 0 = 2*q + 2 - 0. Let j be (q - -7) + (8 + -9 - 0). Suppose 12 = -a + j*a. Solve 4*t - 7 = 3*o - 2*o, 12 = -3*o + a*t for o.
-3
Suppose 16*k - 336 = -32. Solve 0 = -4*d - 8, a - k*d - 5 = -14*d for a.
-5
Let y(s) = 17*s - 64. Let h be y(4). Let k(v) = -4*v - 2 - 6*v + 4*v. Let q be k(-1). Solve 0*o = -q*o - h, 2*b = 3*o + 13 for b.
5
Let t(u) = u**3 + 16*u**2 + 4*u - 156. Let c be t(-15). Solve -2*o = s - c, -4*o - 33*s + 39 = -38*s for o.
6
Let z(x) = -19*x**2 + 192*x + 332. Let y be z(10). Solve -349*l = -y*l + 5*o + 1, 4*l - 12 = -4*o for l.
2
Let u be (-23)/(-69) + 0 + 485/3. Let x = u - 162. Solve -4*f + l = f, x = -l for f.
0
Let w = 165 + -405. Let v = w - -260. Solve -4*z = y + 3 + 11, 4*y = -4*z - v for y.
-2
Let f be -194 + 92 + (-1)/1. Let w = -74 - f. Solve 0 = -2*g + q - 3, -3*g - 3*q - 11 = -w for g.
1
Let o = -69 + 71. Suppose -35 = -4*g - 23*t + 22*t, 3*t - 41 = -4*g. Solve v = -v + o*f - g, 3*v = -f for v.
-1
Let r(a) = -6*a - 3. Let j be r(-1). Suppose -3*k - 48 = j. Let m = 19 + k. Solve 0 = 3*g + 3, 3*i - 5*g = -0 + m for i.
-1
Let i = 8317 - 8283. Solve -31*n - h - 1 = -i*n, 2*n = -4*h + 10 for n.
1
Let k(u) = u**3 + 26*u**2 + 25*u + 3. Let l be k(-25). Suppose 3*w + 12 + 3 = 0, -