z, -3*x - 9 = 0 for z.
5
Suppose 10 = 6*u - 3 - 11. Solve 0 = -2*l + 5*d + 2, -3*d + 6*d = -u*l + 4 for l.
1
Suppose o + 20 = -5*g - 5, 20 = 5*o - 4*g. Let a = 0 - 171. Let l = 197 + a. Solve 8 + o = -4*n + 3*i, 0 = 2*n + 4*i + l for n.
-5
Let c be (-2)/(-9) - (10/(-15) - 680/45). Solve 17*k - 8 = 22*k + 2*i, 4*i + c = 4*k for k.
0
Let b be 2/3*18/4. Let h be 13/5 - 110/(-275) - (-13)/1. Solve -2*w = 2*y + 10, -2*y - h = b*w + w for w.
-3
Let n(v) = -4*v - 42. Suppose -2*o + 784 = -58*o. Let j be n(o). Solve -5*y = 5*b - 45, -2*b + j = -0*y + y for y.
4
Suppose 5*a - n - 16 = 0, 3*a + 877*n = 874*n + 6. Solve 36 = a*t - 5*g + 6, 5*t - 10 = -5*g for t.
5
Let n = 10 + 0. Let i be (-5 + 75/12)/((-2)/(-8)). Suppose -8 = -5*t + 17. Solve -2*u - t*m - 30 = -u, -n = i*u - 3*m for u.
-5
Let m(c) = -2*c - 4. Let s be m(-2). Suppose s = -g + 2. Suppose g*z + 0 = 12. Solve -5*k = -2*w + 2, 2 = 2*w - z*k + 3*k for w.
1
Let g be (-12)/26 - (-109760)/3185. Solve -c - g = -5*p, -2*c = 4*p + 5 - 21 for c.
-4
Let h(g) be the second derivative of -g**4/6 - 10*g**3/3 - 8*g**2 + 395*g. Let k be 2*(-1 - 14/4). Let f be h(k). Solve -f = t + u, -u = 2*t + 1 + 1 for t.
0
Suppose -4*i - 2*n + 4 = -4, 4*n - 8 = 0. Let g be i/7 + 24/(-21). Let j be g + 0 + 60/12. Solve 14 = -j*l - 0*l + 2*c, 14 = -l - 3*c for l.
-5
Let n = -2433 + 2433. Solve n = b + 4*z + 21, -2 = -36*b + 33*b + z for b.
-1
Suppose -127 = -6*z - 115. Suppose 5*g - 23 = d, -4*d + 0*d - 3*g = -23. Suppose 1 = -r + d*r. Solve 4*o + 10 = z*u, r = 5*u - 5*o - 9 for u.
-1
Let g be 128 - (10 + 56/(-8)). Let r = g + -117. Solve -3*z + 6*z - 5 = -2*w, 4*z = -3*w + r for w.
4
Let i be 2/(-1)*(-254 - -268 - (-32)/(-2)). Solve -3*x + 9*k - i = 7*k, -5*x = k - 15 for x.
2
Suppose -12*s = -18*s + 66. Suppose 413 - 28 = s*v. Solve -2*y + 7*y - v = -5*h, y = -4*h + 16 for h.
3
Let l = -353 - -357. Let u be (468/65)/(-6)*(-10)/l. Solve u*d + c - 1 = -12, 0 = 3*d - c + 1 for d.
-2
Suppose 11*f + 7 = 7*f + 5*w, -3*f = -5*w + 9. Solve 5*q - 37 = -3*r, -6 = 4*r - 4*q - f for r.
4
Let m = -5 + 5. Let d(g) = -g**3 + 6*g**2 - g - 8. Let v be d(5). Suppose 0 = -v*h + 14*h - 4. Solve -h*n = -2*b, 2*n + 7 + 3 = m for b.
-5
Let v = 29 + -27. Let x(z) = -9 + z**3 + 18 - 9*z - 9*z**v + 3*z**2 + 7. Let h be x(7). Solve 3 = -i - h*t - 0*t, 4 = 4*t for i.
-5
Suppose 24*w + 1899 - 9315 = 0. Let o = w + -305. Solve -o*l - 11 = -4*n + l, 5*n + 4*l - 24 = 0 for n.
4
Let h = -45 - -50. Let k(v) = v**2 - 6*v + 6. Let w be k(h). Let l be 19 + -13 + w*3. Solve 3*y = -3*z, -l + 1 = 2*z for y.
4
Let j(v) = -2*v**2 + 25*v - 8. Let o be j(12). Suppose 233*i = 222*i + 143. Solve -o*q = 2*s - 3*s + i, 5*q + 23 = -s for q.
-4
Suppose -13*a - 15*a + 112 = 0. Solve 0*o - q = a*o + 27, 20 = -3*o - q for o.
-7
Suppose 0 = 2*n - d + 6*d - 16, -4*n + 2 = -5*d. Let p(m) = -m**3 - 14*m**2 - 59*m - 69. Let v be p(-4). Solve -v*c + n*c = 4*t + 4, 3*c = -4*t - 3 for c.
-1
Suppose 0 = 5*b - 2*b - 3*g + 6, 0 = -b + 2*g - 6. Suppose 19*i + 600 = 94*i. Let l = -89 + 89. Solve b*s + i = l, -2*s - 18 = y + y for y.
-5
Let m(q) = -3*q**3 + 124*q**2 + 79*q + 215. Let p be m(42). Solve t - 4*t = -2*f + 1, -5*f + 10 = -p*t for t.
3
Let h(i) = 2*i**3 + 12*i**2 + 9*i + 3. Let p be h(-5). Solve -3*u + 22 = -2*w, -p*w + 4*w - 4*u = 4 for w.
-5
Suppose 2 = 112*t - 111*t. Suppose 6*i - 9*i + 6 = t*z, 4*i = 3*z + 8. Solve 0 = -4*l - 4*m + 4, i*l + 0*l + 1 = m for l.
0
Let t = 270 + -267. Suppose -5*m + 5*r + 30 = 0, t*m - 2*r + 0*r = 16. Solve -2*v = m*h + 18, -v + 2*h = 3*v + 16 for v.
-5
Suppose m - 8 = t - 0*t, 6 = -2*t. Let w be 7/(-70)*4 - (-27)/m. Solve -28 = -w*s - 3*b + 6, -s = 4*b - 17 for s.
5
Suppose 5*x + 276 = 4*r - 257, 3*x + 3 = 0. Let f = 140 - r. Let v(d) = 2*d**2 - 2*d - 2. Let g be v(-2). Solve -4*w + 2*l = -g, -3*w = -0*w - l - f for w.
3
Suppose -11*u = 3*u - u. Suppose -5*d + 24 = 2*t - u*t, -2*t = -3*d + 8. Solve 7*s - d*s - 3*l + 15 = 0, -15 = 2*s - 3*l for s.
0
Let x(m) = -4*m**3 + m**2 + 8*m + 4. Let n be x(-2). Suppose 3*z + 4*c = 125, 0 = 3*z + c - 43 - 76. Suppose 5*j = -n + z. Solve a - 2 = h - a, j*a = 6 for h.
2
Suppose 0 = -x - 4, -240*y - 8 = -244*y + 2*x. Solve -8*t + 4 = -12*t, 2*z + 4*t = y for z.
2
Let j be 430320/(-648) - (-4)/54. Let m = j + 668. Solve -2*p = 2*d - m*p + 6, p = 5 for d.
2
Suppose 8*t + v + 36 = 12*t, 4*v = 5*t - 34. Suppose -5*l + l + 20 = w, -3*w + t = 2*l. Solve 2*h + 6 = 3*r - w, -4*r + 8 = 0 for h.
0
Let k(r) = -6*r + 281. Let c be k(32). Solve 5*v - c = 4*s - 54, -5*s - 28 = -v for s.
-5
Let y be ((-244)/(-28) + -9)*-42. Solve -h = 2*m - y, -9*m - 22 = -13*m - h for m.
5
Let b = 18274 - 18271. Solve 0 = j - u - 8, -b = 2*j + 3*u + 11 for j.
2
Let b = -699 - -241. Let x = 458 + b. Solve 10 = z + 3*o, -2*z + x*o + 4*o - 10 = 0 for z.
1
Let a be (-1)/(-4) - (-30)/8. Let k = 1597 + -1891. Let u = k - -299. Solve 3*p + 6 = a*b, -2*p = -2*b + u*b - 13 for p.
2
Suppose -4*i - 3*l - 15 = -23, 4*l = 5*i - 41. Solve i*d = 3*k + 6, -3*d - 4*k + 40 = 19 for d.
3
Let c(t) = t - 22. Let b be c(14). Let z be 30/(-20)*b/(-3). Let x be (7/2 + z)*-10. Solve 4*g - 12 = -y, 2*y = 3*y - x*g + 6 for y.
4
Let y be 6/(-15)*(-3 + -2). Let l(h) = -4*h - 44. Let w be l(-14). Suppose w = -4*f, -3*x + f + 18 = -3*f. Solve -3*v + c - 10 = y*c, v - x*c = -15 for v.
-5
Suppose 32*b - 13 = 51. Solve -9*m + 4*m + 4*i = 5, b*m = -4*i - 2 for m.
-1
Let y = 3368 + -3365. Solve 2*z + 6 = -4*l, -3*l + 2 = -8*z + y*z for l.
-1
Let x = 32 + -9. Let b be (-14 + x)/(1 - 0). Let l(p) = p**3 - 9*p**2 + p - 7. Let n be l(b). Solve 6*u = 3*u - 4*c + 6, n*u - 2 = -2*c for u.
-2
Suppose -2*n + 20 = 2*n. Let m be ((-50)/(-30) + ((-1)/(-1) - 2))*3. Solve -3*x + n*k = 5, x - 6*k + m*k + 4 = 0 for x.
0
Let q(r) = 3*r**2 - 3*r - 2. Suppose 11 = h - 0*t + 3*t, 2*h + t - 2 = 0. Let s be q(h). Solve -s*w + 15 = -3*w + 2*n, 3*w + n = 20 for w.
5
Suppose 6*x - 155*x + 12 = -286. Solve -u - 5*w = 9, -4*u - 40*w - x = -37*w for u.
1
Suppose 43*j = 764 - 592. Solve -26 = -j*s + 6*h, -4*s - 2*h = -4 - 14 for s.
5
Suppose -771 = 12*k - 16*k + 3*a, 4*a = 3*k - 573. Let f be (7/(70/4))/(26/k). Solve -n + 6 = -l, -5*n - 4 - 6 = f*l for l.
-5
Suppose -84 = 22*i - 180 - 278. Solve n = -4, -3*x + i = -3*n + n for x.
3
Let h = 124 + -89. Let o(i) = 24 + 3*i + 3 - i. Let p be o(-11). Solve p*w - 1 = -2*m - 16, -4*w = -3*m + h for w.
-5
Let g be (-56)/(-24)*-39*(-8)/28. Solve -21*w = -g*w + 3*d - 19, 0 = 5*d + 10 for w.
-5
Suppose 0 = 4*z - 3 + 11. Let d be (z/3)/((-291)/(-99) + -3). Solve 2*a = -3*x + d, 2*x - 5*a - 2 = -a for x.
3
Let s = 62 + -57. Suppose 3*b + x = 4 - 7, x + 3 = -s*b. Solve 3*k = -2*d - 6, 0 = -b*d + 4*d + k + 2 for d.
0
Let g be (-63)/28*120/(-18). Solve -g + 10 = -5*w + 5*p, -3*p = -5*w - 5 for w.
-4
Suppose 9685*l = 9713*l. Solve 5*m + 20 = l, 1 = 4*j - 4*m - 3 for j.
-3
Let h be -1 + (-1 - (-6 + -1)) + -3. Suppose -10 = h*i, 5*r = 3*i + 10 + 50. Suppose r = 3*t - 0*t. Solve -t*o - 2*o + 14 = -b, -5*b - 12 = 4*o for b.
-4
Let t be 3/(-9) - 3/(-9). Suppose -3*u = -m - 2*u + 16, -24 = -3*m - 5*u. Suppose -m = a - 43. Solve -5*f - c + t*c = 0, -5*c - a = -5*f for f.
1
Let o = -4005 - -4013. Solve -3*u - p = 1, 3*p + o = -4 for u.
1
Let p = -56 + 63. Suppose -p*v = v - 5*v. Suppose 2*c + 13 = -5*x - 3, v = 5*c - x - 14. Solve -5*q + 5 = -c*k - 3*k, 5*q = k + 1 for q.
0
Let u be (-55)/(-65) - 1 - 873/(-13). Let y = u + -51. Let v = 0 + y. Solve 4*h + v = 0, 0 = 2*f - 7*f - 3*h + 8 for f.
4
Suppose 5*j + 4*l - 4119 - 392 = 0, 0 = j - l - 895. Let y = -896 + j. Solve 5*p - 4*n + 5 = 0, -6*n = 5*p - y*n - 30 for p.
3
Let d = -78 + 93. Suppose -10*z + 75 + d = 0. Solve 3*l - 7 = -5*v, 3*l - 8 = 5*v + z for l.
4
Let b(u) be the third derivative of u**5/60 - u**4/12 - u**3/6 + 5*u**2. Let x be b(8). Let z = x - 43. Solve 0 = 2*s - r + 11, 2*s - z*r = -0*s - 20 for s.
-4
Suppose 3*f - i = 68, -2*f + 4*i = 6 - 48. Suppose -20*k - 6 = -f*k. Solve 5*v + 3*q - 8 = 0, 10 = k*v + 3*v + 5*q for v.
1
Let j = 75 + -71. Suppose 2*h = j*p + 4, -3*h = -2*h + 2*p + 2. Suppose 2*f = -i + 10, 2*f + 5*i = -h*f + 26. Solve z - 6 = f*o, -3*o - o + 2*z - 8 = 0 for o.
-2
Let v be (-91)/21*(1 + -163). Suppose 2*t + 222 = v. Suppose 5*y = 17*y - t. Solve 4*g = -2*c - y, -2 = -g + c - 1 for g.