5*o for z.
4
Let t be (-4095)/(-441) - 12/42. Solve 3*p = -3*d - 12, 2*d = -0*d - 3*p - t for d.
-3
Suppose 4 = -3*n + 5*o - 1, n - 3*o = -3. Let d = 0 + -18. Let z = d - -22. Solve f - 2 = v - n, 32 = -4*f - z*v for f.
-3
Suppose -44*f + 12 = -43*f. Suppose -96 = -7*y - f. Let s be (-252)/(-45) + (-3)/5. Solve -2*d = -s*d - 9, d = -5*x + y for x.
3
Let j(f) = -4*f - 1. Let d be j(-3). Let z be (-113)/678 - (-29)/12 - 5/20. Solve -z*k - u - 11 = -4*u, -k + d = 4*u for k.
-1
Let k = 471 + -469. Let r = 6 - k. Solve -r*i + 10 = 3*n, 0 = -n + 4*n - 5*i + 26 for n.
-2
Suppose 1098 = 2*l + 7*l. Let y = l - 70. Suppose k + 12*k - y = 0. Solve 5*v - 13 = -0*v + k*c, 2*v - 5*c = 12 for v.
1
Let m = 266 + -47. Let a = -216 + m. Solve k - a = g, 0 = 3*k + 2*g - 3*g + 1 for k.
-2
Let l(n) = 2*n**2 + 75*n + 453. Let o be l(-30). Solve u + 5*f = 4*u - 20, -2*u - o*f + 7 = 0 for u.
5
Let i be 1/7 + ((-12316)/(-28) - 9). Let f = i + -428. Solve -2*b + 1 = u, -f*u + 6 = 3*b + 3 for u.
1
Let u = 76 + -71. Suppose -u*x + 2*x = -84. Let l = -25 + x. Solve 4*j + z = -2, -l*z - 6 = -6*z for j.
-1
Let t(r) = -r**2 - 12*r - 32. Let k be t(-8). Let q be (4 + (5 - 4))/1. Suppose q*l - 16 = 29. Solve -l = -3*m + 3*w - k, 5*w + 23 = m for m.
-2
Let o = -5366 + 5370. Solve -o*x - 2*l - 16 = 0, -3*x - 2*x + l = 20 for x.
-4
Suppose 5*o - 3 - 6 = -2*z, -4*z + 12 = 4*o. Solve 12 = -2*d - 4*w, z*w + 13 = d + 7 for d.
0
Suppose 0 = 3*b - i - 61 + 23, -50 = -4*b + i. Suppose -4*y - 4*l + 8*l = -b, 0 = 3*y + 3*l + 3. Solve r + 2*c = y + 11, -25 = -5*c for r.
2
Let t = -361 - -377. Let f be ((-8)/t)/(1/(-8)). Solve 0 = -3*b - 6, 3*b + 2 = 2*j + f*b for j.
2
Suppose 3*f - 3*v = 2*f, 0 = f + 3*v - 6. Suppose -d = 12*d + 18*d. Solve o = -0*o, -f*h - 5*o = d for h.
0
Let w(j) = -j**2 + 174*j - 7315. Let n be w(72). Let b be 12/(-10)*10/(-3). Solve 2*r + 5 = b*r - h, -3*h = 5*r - n for r.
4
Suppose -104013*g + 104017*g - 8 = 0. Solve -4*r + 2*r + 5*y = 28, 2*r + g*y = 0 for r.
-4
Let f be (-6 - 329/(-56)) + (-3600)/(-128). Solve -6*x - 1 = -8*x - 5*g, -5*x - 4*g = -f for x.
8
Suppose 0 = 3*x - 4*s - 12 + 3, 3*x - 3*s = 9. Solve -10*c - 21 = -7*c - 3*f, 4*f - 23 = x*c for c.
-5
Let t(k) = k**3 - 9*k**2 - 23*k + 13. Let d be t(11). Suppose c = -d*c + 72. Solve -x + c = 4*o + 2*x, 5*o - 3*x = 3 for o.
3
Let v(q) = 29*q + 1423. Let k be v(-49). Solve 6*n - 2*u + 6 = 7*n, -k = -5*n + 4*u for n.
2
Suppose -16 = 2*m + 4*l, 17 = -4*l - 3. Solve 2*s = -3*p + 5 - 9, -s - m = -5*p for p.
0
Let m(i) = -i**3 - 41*i**2 - 40*i + 18. Let s be m(-40). Let p(k) = k**2 - 5*k - 2. Let f be p(6). Solve -2*h - 4*b = 2*h - 24, -f*h + 2*b + s = 0 for h.
5
Suppose 23 = -8*v + 13*v + 13. Solve -v*q = 4*h - 12, -2*q + 7 + 10 = 5*h for h.
5
Let u(f) = -2*f**2 - 87*f - 910. Let l be u(-25). Solve 2*m - 17*t + 10 = -l*t, 5*m = -4*t + 20 for m.
0
Let x = 180 - 119. Suppose z + w - 12 = 0, 3*w = 4*z - 8 - x. Solve 5*y - 2*v = 2*y - z, -4*y - 5*v = 20 for y.
-5
Suppose 45 = -c - 47. Let f = -304 - -396. Let d = c + f. Solve u + s - 3 = d, -u + 4 + 1 = -s for u.
4
Let i = -2680 - -2687. Solve 0 = -4*h + 12*t - i*t - 24, 4*h = 3*t - 16 for h.
-1
Let r(k) = -8*k + 47. Let v be r(4). Suppose c = j + 6, 12*c + 15 = v*c - 2*j. Solve -4*o + 3*d - 3 = 2, 6 = -3*o + c*d for o.
1
Suppose -2*o + 12*f - 16*f + 14 = 0, 2*o + 4 = 2*f. Let k be (4 + (-210)/50)/(o/(-10)). Let a = 25 + -18. Solve -a*y - 9 = -3*y - d, k*y = -2*d - 2 for y.
-2
Let j = 206 + -176. Suppose -q = -5*k + 3*k + j, -76 = -5*k + 3*q. Solve 0 = 2*y + 2*d + k, -4*y - 4 + 0 = -4*d for y.
-4
Suppose 0 = -u - 3*u + 4. Let h = 400 + -295. Suppose 826*g - 833*g = -h. Solve 0 = -4*z - 3*x + g, -2*z = 2*x - 11 + u for z.
0
Suppose 10*p = -21*p + 15531. Let t = 514 - p. Solve 0 = -3*r + 4*h + t, -14 + 6 = -4*r + 3*h for r.
-1
Let n be 4/10 + 166/10. Let c = -893 - -893. Suppose c = n*s - 20*s + 6. Solve 3*q + 5*m - 7 = 0, -3*m - 1 = -s*m for q.
4
Let d be (-1 + -9 - 6)*6. Let j = d + 109. Solve -3*k = -5*u - 29, -3*k + j = -0*u - u for k.
3
Let u = -36366 + 36384. Solve 0 = -4*j - s + 17, j - u = -3*s - 0 for j.
3
Suppose -72 = -6*w - 2*w. Suppose 3*q = w + 6. Suppose 0*p = p - q*p. Solve 0 = 2*v - 5*i + 35, p*v + 5*i = -3*v + 10 for v.
-5
Suppose -26*v + 249 - 28 = -169. Solve -3*z = -3*y + 6, -2*y - 8 = -z - v for y.
5
Suppose 3*r + 4*v = 291, 139*r = 138*r - v + 96. Solve -94*f - 7 = 3*h - r*f, 0 = 5*h - f + 1 for h.
-1
Let h be ((-18)/(-30)*-5)/(12/(-80)). Solve 0 = -4*u, -h = 4*r + u - 3*u for r.
-5
Let h(v) = 7*v - 7. Let k(r) = 15*r - 13. Let b(g) = 9*h(g) - 4*k(g). Let l be b(5). Suppose l*u - 21 - 3 = 0. Solve -3*n + 6 = 4*i, -2*i + u + 2 = 4*n for i.
0
Let c = 71 - 68. Let w be (-1)/(-2)*0 + (c - -2). Solve -3*n + 31 = -w*b, -4*b - n = -5*n + 28 for b.
-5
Let x(c) = 53*c**2 - 46*c + 22. Let m be x(1). Solve -3*d + 26*j - 12 = m*j, 4*d + 3*j = -13 for d.
-1
Suppose -18*f + 41*f + 2601 - 2716 = 0. Solve -u = 5*g - 23, -f*u - 2*g + 17 = -6 for u.
3
Suppose 80 = x + 77. Suppose j - a - 8 = -4*a, -2*j + x*a = 2. Solve 0 = 5*s - j*k - 21, s = -0*k + 3*k + 12 for s.
3
Let c be (7 + -7)/((-1 + 0)*1). Suppose 3*u + 5*p - 59 = c, -3*u = u - 4*p - 36. Suppose u*o - 10*o = 15. Solve -3*w = -3*v + 1 - 10, o*v + w + 27 = 0 for v.
-5
Let w(i) = -i**3 - i**2 + 2*i + 1. Let o be w(-4). Suppose o*s + 18 = 50*s. Solve 5*a - 2 = -s*q, -2*q + 6*q + 4*a = -8 for q.
-4
Let y = 4835 + -4827. Solve -2*n + y = -2*x, 2 + 13 = -3*x for n.
-1
Suppose -4*w = 3*f - 54, 4*f = 1445*w - 1449*w + 52. Solve w = 5*d + 5*a, -106*a - 11 = -d - 103*a for d.
5
Let b be 0/((-20)/(-25)*((-85)/(-2))/(-17)). Solve -2*p + 4*h - 6 = b, 7*p - 3 = 2*p + 4*h for p.
3
Suppose -4*x = l - 82, -8*l = 5*x - 12*l - 113. Suppose z + 2*a - 13 = 0, -3*a + x = z + z. Solve 4*i + 3*r = -7, -z*i + 9 = -i - r for i.
2
Let f(p) be the first derivative of -p**3/3 + 5*p**2/2 - 10*p - 17. Let l be f(5). Let c = l + 20. Solve 0*b - 6 = 5*r - b, -3*b - c = -r for r.
-2
Let g be -2 - (-4 - 2/1). Let h = -3319 - -3324. Solve 3*f - 2*l - h = -l, -2*l - 10 = g*f for f.
0
Let t = -89 + 94. Suppose -t*f + 9*f = 16. Suppose -3*y + f = -2. Solve 2 = -y*d - 3*b, 0 = 5*d - d - 2*b - 28 for d.
5
Let p(t) = t**3 - 36*t**2 + 68*t + 4. Let m be p(34). Solve -3*x - 1 = -u, m*x + 132 - 104 = -4*u for x.
-2
Let q = 507 + -502. Suppose 185 = -q*p + 285. Solve 5*y + 5*g - 45 = 0, g = 5*g - p for y.
4
Suppose 10*q = -0*q - 10. Let y be 60/4 + (-4 + q)/(-1). Solve 2*h + 3*k + 4 = 0, k - y = 2*h - 8 for h.
-5
Suppose -395*y + 56400 = -85. Solve 3*s - 8 = -2*j, 144*j - 5*s = y*j + 4 for j.
4
Let d(x) = x**3 + 5*x**2 - 2*x - 5. Let u be d(-5). Suppose 10 + u = 5*a. Let h = -71 + 83. Solve 3*r - a*z = h, -5 = z - 6*z for r.
5
Let z(y) = -3*y + 9. Let s be (2/5)/((-3)/(-15)). Let v be z(s). Suppose -75 = -9*a + 4*a - 4*w, v*a = w + 28. Solve 4 = -5*o - a, 3 = -3*r + 2*o for r.
-3
Suppose -5*t - 491 = 2*q, -37 = 2*t - 4*q + 145. Let k = t - -160. Let l = k + -63. Solve f - 2*f - 2 = l, 5*h = -2*f - 4 for h.
0
Let z(w) = -3*w**2 + 4*w**2 - 2*w + 13*w - 14 + 3*w. Let v be z(-10). Let t = -44 - v. Solve -2*u + 5*h + t = -9, 5*u - 4*h = 5 for u.
-3
Suppose 2 = -2*d + 5*h, 6 + 16 = 4*d + 3*h. Let r = 2247 - 2247. Solve r = 2*f - d*o + 9 + 9, 3*f + 9 = -3*o for f.
-5
Let b(k) = 216*k - 1500. Let l be b(7). Solve 16*d - 4*a = 14*d - l, 6 = -d + 5*a for d.
-6
Let n be -1*1*-1*(-28 - -30). Suppose 17 = -5*q - 3*y + 4, -n*y - 2 = 0. Let s be q/(-10) + 38/10. Solve -2*o - 4 = -s*o - 5*x, -5*o = x + 13 for o.
-3
Suppose -4*i + 5*i + 25*i + 18*i = 0. Solve -4*d + 3*s - 4 = i, -14*s + 17*s - 20 = -4*d for d.
2
Let i = 5 + -3. Suppose 4*s - 4*g = 12, -2*g - 2 = 4. Let k(v) = v**2 + 3*v + 3. Let f be k(s). Solve m = -3*y - 4, y = -f*m - 3*y - i for m.
2
Let x = -639 - -619. Let c be (-8)/x*(8 + -3). Solve 3*n = -c*w - n + 10, -2*n = 4*w - 20 for w.
5
Let j = -87 - -99. Let u = j + -8. Let r = -10 - -15. Solve -5*g = r*c, -4*g = -g + u*c + 5 for g.
5
Let u = -997 - -1002. Let s = -240 - -244. Solve -f + 1 = -3*a, -s*f + 18 - u = -3*a for f.
4
Let f be 5/(20/24) - (42 - 39). Solve 3*b + f*y = 3, 2*y + 2 = 4 for b.
0
Suppose 5*g - 2*g = 69. Let q(a) = -18 - 4 - 3*a**2 - 12*a - 1 + 4*a**2 - 10*a. Let m be q(g). Solve -2 = -4*n - 2*w - 0, -5*n - 3*w = m for n.
3
Let b 