 u*y = 0 for x.
4
Let w(n) = -n**3 + 21*n**2 - 3*n + 69. Let p be w(21). Suppose -p*l - 6*l = -24. Solve -4*z + 7 = 3*r, l*z = -0*r - 5*r + 21 for z.
-2
Suppose 349*b = 342 + 356. Solve -4*v + 51*d = 52*d + 3, -b*v - 4*d = -2 for v.
-1
Let b = -979 - -615. Let a = 366 + b. Solve -4*l = 2*o - 20, -3*l + a = -3*o - l for o.
2
Let k = 58 + -53. Suppose -p + 6*p - 5 = -5*a, 0 = -3*p + 2*a - 2. Suppose -j + 3*o = -17, p = 2*o - 5*o - 15. Solve -4*d - 2 - j = 2*z, 3*d = k*z + 23 for z.
-4
Suppose 17931 = 530*y - 401*y. Solve -2*h + 6 = 4*l, -143*h + 2*l + 12 = -y*h for h.
3
Let r be (1/(-2))/((-3)/48). Suppose 6*g - r = 22. Let x be (g - 38/8) + (-30)/(-8). Solve 0 = 2*p - 3*q - 6, -2*p + 3*p - x = 2*q for p.
0
Let c(i) = 6*i**2 - 3*i - 42. Let r be c(3). Solve o - 12 - r = 4*t, -4*t + 5 = -5*o for t.
-5
Let t = -233 - -235. Let q(b) = 30*b - 56. Let s be q(t). Solve 4*m = -3*a - 24, 2*a + 4 = -2*a + s*m for a.
-4
Let v be (-208)/(-36) - 8/(-36). Let q(b) = b + 12. Let t be q(-9). Solve -2*m = 10, 2*s = t*s + m + v for s.
-1
Let p = -1660 - -1676. Solve 2*u - 4*a + 12 = 0, 21*u = p*u - 2*a + 6 for u.
0
Let s(j) = -j**3 + 12 - 1014*j**2 + 51*j + 2023*j**2 - 1014*j**2. Let y be s(-10). Solve 15 = 5*p - 5*k, -2*p = 3*p + y*k + 13 for p.
-1
Let f = -23 + 25. Suppose 0*x + 14 = -2*x. Let y(o) = o**2 + 7*o. Let a be y(x). Solve -f*q - 4*t = -10, -t - 5 = -a*q - 2*q for q.
3
Suppose -2*a - 3*s + 3 = -4, 5 = 2*a + s. Let i(x) = 25*x + 227. Let c be i(-9). Solve 3*z + 8 = 4*d + 28, c*z = a*d + 12 for z.
4
Let o be (45/10 - 3)*(-112)/(-42). Solve 41 = o*y - 3*i + 33, -3*y - 2*i + 6 = 0 for y.
2
Let s be (27/18)/(12/16). Let b be (-4 - -2*8)/2. Let l = b + -4. Solve -l*o - 2*k - 8 = 0, 0*k = o - s*k + 4 for o.
-4
Suppose -d = -532*q + 534*q - 17, 5*d = q + 30. Solve 0 = 4*u - 8*u + 2*c - 20, u = q*c - 5 for u.
-5
Suppose 18*u + 77*u = 27*u. Solve u = -2*q - 2*p - 18 + 34, 2*q - 4 = 2*p for q.
5
Suppose 214 = 326*l - 219*l. Solve 9*h - 8*h = -5, l*b + 15 = -3*h for b.
0
Let s = -216 - -224. Suppose 6*h - 25 = 4*h - 5*c, -4*c + s = h. Solve -8 = -4*g - 3*r + 8, -4*r + h = 5*g for g.
4
Suppose 0 = -20*h + 8*h. Suppose 4*l - 5*n - 23 = h, 0 = -4*l - 2*n - 3*n - 7. Solve -4*g = l*t - 18, -5*g = -4*t - 4 - 12 for t.
1
Let w(j) = 36*j**2 - j + 4. Let n be w(-3). Let g = 333 - n. Solve x = -5*r + 29, r + 7 = 4*r - g*x for r.
5
Let n(z) = -z**2 - 13*z + 50. Let j be n(-16). Suppose -8 = -s - 4*i - 0*i, s + j*i = 6. Solve -14 = -s*o + 3*p, -4*o + 0*p = -p - 18 for o.
5
Let r(v) = v**2 - 9*v - 10. Let b be r(13). Let h be 6/(-4 - b/(-10)). Let s = -14 + h. Solve 0 = -3*o - 2*j + s, -2*o + 33 = 2*o + 5*j for o.
2
Suppose 0 = 3*j - 4*j + 87*j - 344. Solve -2*r + 10 = -4*p, -3*p = 8*r - j*r + 13 for r.
-1
Suppose -2*c - 2*q = -12, 10*c = 3*q + 70 - 23. Solve -2*o + 2*b - 4*b = 0, c*o - 21 = 2*b for o.
3
Suppose 17*w = 12*w + 10. Suppose 0 = -w*t - 11*t + 78. Let a(f) = f + 10. Let z be a(-7). Solve 0 = j - 3*x + 8*x - 22, z*j - 3*x + t = 0 for j.
2
Let l(r) = r**3 + 9*r**2 + 18*r - 6. Let z be l(-5). Solve -h + 4*g = -5*h - 32, 2*h - 14 = z*g for h.
-3
Let q(k) = -2*k**3 + 23*k**2 - 54*k - 14. Let j be q(8). Let r(g) = g**2 - 7*g + 4. Let s be r(7). Solve 5*f = -s*d + 5, j*d = -5*f - 5 + 10 for d.
0
Let u = -1916 - -1916. Solve 5*l - 15 + 20 = u, 2*l = 4*j - 2 for j.
0
Suppose 0 = -2274*n + 2279*n - 20. Solve 2*i + v = 1, 0*i + n*i - 4*v = -28 for i.
-2
Let k = 9 + -7. Let s(w) = 27*w - 1238. Let o be s(46). Solve -k*b - a + 3 = -3*b, 0 = o*b - a + 12 for b.
-3
Let f = -2979 - -2979. Solve f = -9*b + 4*b, -2 = 2*y + 2*b for y.
-1
Let q = -6 - 2. Let b be 15/2 + 2/4. Let m = b + q. Solve -7*r = -3*r - 2*x + 2, 5*r - x + 7 = m for r.
-2
Let w(c) = c**3 - 29*c**2 + 41*c + 61. Let s be w(28). Let o = 430 - s. Solve 8 = d + 4*m, -23 = o*d - 0*m - m for d.
-4
Suppose -71*y + 170*y = 88*y + 253. Solve 2*v = 8, y*v = q + 19*v + 13 for q.
3
Suppose -18*c + 36*c - 115 = 65. Solve -5*n = -4*r + 5, c*n = 6*n - 4 for r.
0
Let w(j) = j**2 + 68*j - 37*j + 36 + 31. Let k be w(-30). Solve 3*r + 13 - k = 5*o, 4*r = -2*o + 6 for o.
-3
Let o = 1648 - 1648. Solve 2*j + 2*z = o, -z - z = 5*j + 3 for j.
-1
Let h = 1756 - 1713. Solve -l - 12 = -2*q, 3*q - h*l - 16 = -42*l for q.
4
Let g be 1 - (4 - 1)/(-3). Suppose -14 = -2*h - 0. Suppose -5*u - h*u + 24 = 0. Solve -5*w - 2*z + g - 1 = 0, -3*w - 9 = -u*z for w.
-1
Let m(f) = -f + 1. Let t(n) = n. Let k(o) = -m(o) - 2*t(o). Let q be k(-2). Let p be (-5)/4 + q - (-630)/120. Solve v - 3 = 5*l, -p*l + 4*v - 12 = -0*l for l.
0
Let k = -874 + 702. Let g = k + 174. Solve w + 8 = -w, 5*x - g*w + 7 = 0 for x.
-3
Let t(x) = -x**2 + 67*x - 306. Let f be t(5). Solve -20 = -v - 5*z, f*z - 29 = -9 for v.
-5
Let z be (1 + 1)*48/32. Let p = 3321 + -3319. Solve -z*b = -c + 12, 1 - 9 = -5*c + p*b for c.
0
Suppose s = 6*s + 5*r - 225, -3*r = 3. Suppose 49 = j + s. Solve 5*u - 4*u - h = 1, 3*u - 5*h = j for u.
1
Let x(o) = 7*o**2 - 17*o**3 - 12*o**3 + 30*o**3 + 14. Let p be x(-7). Solve -4*b + 3*j = -19, 5*b - 5*j = 16 + p for b.
1
Suppose -8*s + 4*s = 7*s - 55. Solve 4*v - s*p - 32 + 28 = 0, -24 = 5*v + p for v.
-4
Let h(r) = 19*r + 338 - 7*r + 10*r - 332. Let n be h(1). Solve 2*w - 5*z - n = 0, 3*w - 8 = -3*z + 2*z for w.
4
Suppose 0 = -32*h + 43*h - 44. Solve 2*d - d + 24 = 4*n, h*d + 3*n = -1 for d.
-4
Let c = 1321 + -1316. Solve -m + b = -4, c*b + 13 = -m - 7 for m.
0
Let w = -229 + 231. Suppose 3*f = -13*f + w*f. Solve 3*h - 4*d = -0*d, h - 2*d = f for h.
0
Let i = 4504 - 4502. Solve 0 = -4*m - 2*v - 14, 4*m + 5*v + i = -9 for m.
-4
Let m = 37 + -29. Suppose -4*y = -3*u + 2*u + 11, -2*y - 2*u - m = 0. Let g be y/3 + (1 - 0). Solve g = -x + 3*n + 16, 1 - 13 = -2*x + 2*n for x.
1
Suppose 4*t = 5*y - 5, 4*t = 137*y - 141*y + 40. Solve 2*i = 2*l + 12, -6*l + 4*l - 5 = t*i for i.
1
Let z(h) be the first derivative of -19*h**2/2 - 320*h - 94. Let c be z(-17). Solve c*d + 16 = -w + 6, -3*w + 5*d = -40 for w.
5
Let x(y) = 36*y + 422. Let b be x(-13). Suppose -4*k = 3*v + 85, -k + 27 = -v - 3*k. Let a = v - b. Solve -4*c - 11 = -f, -2*c - 3*c - a = 0 for f.
-1
Let h = 1416 + -1399. Solve 2*r - 5 + 19 = -3*k, -5*r = 3*k + h for r.
-1
Let u(r) = r**2 - 5*r - 5. Let j be u(5). Let x = 1 + j. Let b(p) = -p**2 - 5*p + 1. Let v be b(x). Solve -c - v = 3*a, 4*c = 4*a + 5*c + 7 for a.
-2
Let p(q) = -22*q - 1049. Let j be p(-48). Solve -3*a - 3*r + 27 = 9, 2*a + r = j for a.
1
Let d be (-33)/(-27) + (-4)/18. Let s = 391 + -389. Let a(y) = -72*y + 147. Let z be a(s). Solve z*i - 2*i - d = 2*w, -i = 4*w - 1 for i.
1
Let x = 431 + 202. Suppose 630*m - x*m + 9 = 0. Solve -4*a + m*z + 23 = -6*a, 5*a + 10 = 2*z for a.
-4
Suppose 30 = 432*n - 427*n, -5*n - 22 = -4*s. Solve 2*b - q = 7, -q - s = -4*b - 0 for b.
3
Let w = 15386 + -15381. Solve -23*z + 26*z + w*i = 22, -z - 3*i = -10 for z.
4
Let m(k) = -9*k - 40. Let v be m(-4). Let i be (0 + -2)/((-34)/255) - v. Solve 4*s + h = -0*s - 8, -3*s - 4*h - i = 0 for s.
-1
Let m be (-4)/42 + (-10462)/(-42). Let p = m - 249. Solve p = 2*n - 4*n - 4*v + 18, 20 = 4*n + 4*v for n.
1
Let w(s) be the third derivative of 5*s**4/12 + 16*s**3/3 - 151*s**2. Let v be w(-3). Solve -j + 4*o + 8 = -2*j, v*o + 22 = 4*j for j.
4
Let z = 17041 + -17039. Solve 3*w + z*f = 17, 16*w + 5 = 15*w + 2*f for w.
3
Let c = 281 - 287. Let r be c/((-120)/(-40) + -5 + -1). Solve -4*i = i - 25, -r*z - 2*i = -18 for z.
4
Let c(m) = m**3 - 6*m**2 + 28. Let t = 172 - 167. Let s be c(t). Solve -16 = -4*k + 5*y - 0, s*k - y = 12 for k.
4
Let x be ((-1992)/1162)/((-20)/14 - -1). Solve 5*j + 6*o = 11*o + 20, -4*j + x = -o for j.
0
Suppose 107*c - 99 - 368 - 68 = 0. Solve -c*p + 29 = -26*m + 24*m, 2*m + 4 = 0 for p.
5
Let m(k) = -20*k**2 + 218*k + 24. Let r be m(11). Solve 3*y + 2*i + r*i + 18 = 0, -y = -4*i - 10 for y.
-2
Let w(u) = 17*u + 3. Let x be w(2). Let o = x - 6. Let d = o - 28. Solve -4*r = -2*p - 6, r + d*p + 9 = 4*r for r.
0
Let j(t) = -2 + 3*t + 3*t - 4*t + 9*t. Let h be j(1). Suppose 0 = h*c - 19 - 17. Solve c = -z + 4*f, -2*z + 2*f + 1 + 3 = 0 for z.
4
Suppose t = 4*i + 29, 5*i = -5*t + 7*i + 73. Suppose t*k - 4*k - 45 = 0. Solve -f - n = 6 - 3, -4*f - 13 = k*n for f.
-2
Let l(r) = -3*r**2 + 14*r + 54. Let w be l(7). Solve -w*v = 3*s + 28, 7 = 3*s + 29*v - 31*v