 -c*z - h = -1 + 8 for z.
-2
Let b(y) = -y**3 + 5*y**2 + 49*y - 113. Let t be b(9). Solve 8 = -4*j, -j = t*l - 3 + 1 for l.
1
Suppose -3*l - 3*p = -45, 3*p - 8*p = -30. Solve -i - 3 = 0, -2*q + 5*i = -18 + l for q.
-3
Let u be 1 + (-5 - (0 + 1)). Let l = -3 - u. Let n = -515298 - -515302. Solve 4*i = o + 13, n*o + l*i = -0*i - 16 for o.
-5
Let l(g) = 11*g + 0*g**2 - 9*g**2 + 8*g**2 - 59 + 5*g. Let s be l(7). Solve -4*o - 25 = -7*o + s*q, 4*o = -3*q for o.
3
Let r(o) be the second derivative of -o**4/6 - 2*o**3 - 5*o**2 - 92*o. Let w be r(-5). Solve 2*q = 10, 3*k + w*k = -2*q + 19 for k.
3
Let f(n) = -23*n + 94. Let x be f(5). Let q = -16 - x. Let s(l) = -l**3 + 2*l**2 + 2. Let a be s(2). Solve z - 14 = g - 7, -q*g = a*z for z.
5
Let f = -55 + 59. Suppose -f*b = -39 - 25. Solve -3*n = 2*n + 4*i - 23, -5*i = 2*n - b for n.
3
Let a(z) = -z**3 - 23*z**2 + 26*z + 69. Let p be a(-24). Suppose -5*t = -2*r + p, -6*r + 2*r = -2*t - 18. Solve 2*j - k = r, -2*k + 7*k + 1 = 3*j for j.
2
Let p be (-4)/(-6) + (-364)/(-39). Let t be ((-1000)/(-45))/p + 6/(-27). Solve -5*c + 15 = 0, c = -t*l + 12 - 1 for l.
4
Let x = 5591 - 5591. Solve x = -2*v - k - 13 + 16, 6 = -2*k for v.
3
Let n be (39/(-5) - -8)/(1/(-5)) - -1. Solve -5*a + 5*q - 20 = n, -a - 5*q - 20 = 2*a for a.
-5
Let j be (69/12 + -2)/(618/824). Solve 0 = -s - w + 3, -j*s - 5*w - 20 = -7*w for s.
-2
Let n = 49 + -43. Let q be 10/(-4)*(0 - 2). Solve -q*a + 1 = n, -2*z + a = 7 for z.
-4
Suppose 412*n - 4253 - 2986 = -1471. Solve -4*c - b = -16, 29 = c + 3*b + n for c.
3
Let k = -3024 + 3045. Solve 5*a = 5*i - k - 29, -2*i + 5 = a for a.
-5
Suppose w = 4 - 0. Suppose -a - 2 = -w. Let o be a/(-10) + (156/(-5))/(-6). Solve -o*y = -3*y + 3*m - 19, 2*m = 3*y - 9 for y.
5
Suppose 0 = 41*m - 115 + 74. Solve 6*j + 3*r + m = 4*j, 15 = 5*r for j.
-5
Let t(n) = -16*n - 180. Let z(a) = -a - 4. Let v(j) = t(j) - 10*z(j). Let k be v(-28). Solve s - k = 6*s - 2*l, -3*s = -3*l + 24 for s.
-4
Suppose -k = 3*a - 5, -4*k + 12 = -163*a + 167*a. Solve -19 = -3*u + 11*p - 12*p, -3*u = k*p - 23 for u.
5
Suppose d - 9*d = -176. Suppose -17*w + d*w - 25 = 0. Solve 9 = 2*h - f, w*h - 5*f - 33 = -3 for h.
3
Let v = -766 - -769. Suppose -v*d + 3 + 47 = 4*g, -12 = -g - d. Solve 0*j + 3*j = -5*m - 2, -j - g = -5*m for j.
-4
Let m(j) = 5*j**2 - 4*j + 2. Let h = -45 - -47. Let q be m(h). Solve 5*w - 7 = -d + w, q = 5*d - w for d.
3
Let w(k) = k**2 + 55*k + 524. Let r be w(-11). Solve -35*l + 3*i = -r*l + 9, 5*i - 15 = 0 for l.
0
Let p(s) = s**3 - 5*s**2 + 38*s - 91. Let r be p(3). Solve 5*u + r*t - 10 = 0, -5*t = 18*u - 15*u - 16 for u.
-3
Suppose -4*w = 27*w. Solve -5*h = -3*i - i - 8, -i + h - 1 = w for i.
3
Let z be ((-13 - -10 - -3)/2)/(-8). Solve 43*s - 2*g - 1 = 46*s, z = s + 2*g - 5 for s.
-3
Let t = -7143 + 7146. Solve 0 = -2*a - 4*d + t*d - 7, -2*a - 5*d = 19 for a.
-2
Let i = -57 + 65. Suppose 0 = -240*t + 243*t - 84. Let p be (-328)/(-28) + i/t. Solve -p = -3*a, 5*a + 3 = c + 25 for c.
-2
Let u(m) = m**2 - 789*m + 4700. Let w be u(6). Solve -12*z - w*s + 2 = -8*z, 0 = 3*s - 15 for z.
-2
Let z be 20/(-70) + ((-13)/3)/(14/(-30)). Solve -16 = -u - 3*y, -u - 5*y - 12 = -z*y for u.
4
Suppose -7*v - 92 = -30*v. Let l(a) = 26*a - 100. Let h be l(v). Solve h*t - 5*t + 16 = 3*w, 5*t = 5*w - 20 for t.
1
Suppose 0 = 692*b - 683*b. Solve 2*p + 0*p - 1 = f, 5*f + 5 = b for p.
0
Let f be 8/(-2 + 18) - ((-46)/4 + 8). Solve 0 = -4*x - f, -21*y - 6 = -22*y + 2*x for y.
4
Let s = -26 + 26. Suppose 0 = -s*z + 3*z - 3. Suppose 7*p + z - 15 = 0. Solve 2 = p*d - r, 2*r + 2 - 1 = d for d.
1
Let n(g) = g**3 + 6*g**2 - 8*g - 26. Let c be n(-6). Suppose 5*z - c = b, 3*z = 5*b + 15 + 7. Solve d + z*l = 2*l - 11, 2*d - 5 = 5*l for d.
-5
Let j = 5360 + -5344. Solve -3*p + 14 = w, -j*p + 19*p - 4 = 4*w for p.
4
Let l = -5917 + 5920. Solve -d - 2*q + 9 = 21, l*q = -4*d - 23 for d.
-2
Let m(s) = 51*s - 22. Let x(p) = -105*p + 46. Let v(l) = -13*m(l) - 6*x(l). Let t be v(0). Solve 0 = 3*n - 9 - 6, n + t = 5*j for j.
3
Let z = 10490 - 10478. Solve r + z = 4*t + 27, -4*t - r - 9 = 0 for t.
-3
Suppose 6*g = -4*x + 50, -93*x - 30 = -94*x - 5*g. Let p = -4 + 15. Solve 0 = -4*a - x*m - p, -4*a + 9 - 2 = -m for a.
1
Let t(n) = -3*n + 54*n**3 - 45 - 157*n**3 + 52*n**3 + 53*n**3 + 30*n**2. Let d be t(-15). Solve 5*j - i - 18 = d, 2*i = 5 - 1 for j.
4
Suppose y - 15 = 5*g, 41*y = 38*y - 4*g - 12. Solve 0 = 4*v, -4*v + y*v + 15 = -3*m for m.
-5
Suppose 11394*i + 168 = 11418*i. Solve 4*w = s - 5, -2*w - 3*s + 8*s - i = 0 for w.
-1
Suppose -5*b = -3*i - 0*i + 69, -5*i + 4*b = -102. Let l = -16 + i. Let n be ((-52)/3)/((-4)/6). Solve 2*y = l*a - 8, -8*a = -3*a + y - n for a.
5
Let h be ((-14)/8)/(2/(-32) + 0). Let a = 19 - h. Let s(w) = -w**2 - 11*w - 16. Let l be s(a). Solve -6 = -4*k + l*g, 0*k + 3*k - g = 3 for k.
0
Let s(g) = -7*g - 53. Let z be s(-18). Suppose -z = c - 75. Let y(n) = -3*n. Let u be y(-1). Solve u*d + 0*d + c*f = 0, 3*d = -f + 3 for d.
2
Let n = 47 - 42. Suppose 0*g - 12 = -3*o - 3*g, 20 = -4*g. Suppose n*l + o = -3*i, 0 = -4*i + l + 4 + 7. Solve 5*p = 5*v - 25, -i*p + 3 - 13 = -v for v.
0
Suppose 4*l = 5*v - 2*v - 34, -5*l = 5*v - 10. Let n(y) = y - 4. Let p be n(v). Solve -p*k + 10 = 4*d, -5*k - 15 - 5 = d for d.
5
Let r = -181 - -192. Let d be 14/4 - (55/(-10))/r. Solve -4*x + 3*h = -9, -d*x + 5*h + 0 = -7 for x.
3
Suppose 3*f - 3*a - 39 = 0, 3*f + 567 - 646 = -5*a. Solve 4*t = -w + 14, 2*t - f = 6*w - w for w.
-2
Let w(g) = 3*g - 21. Let t(v) = -v**3 - v**2 - 9*v - 15. Let p be t(-2). Let k be w(p). Solve 4*i - 2*c = -k*c, -4*c - 9 = i for i.
-1
Suppose 0 = -68*y + 55*y + 13. Suppose 3*f - 2*z - 8 = 0, -y = -f - 3*z - 2. Solve -2*v = -l + 8, -4*l - f*v + 17 = -7*v for l.
-2
Let k = 67 + -67. Suppose k = -35*p + 34*p + 5. Let n be 4 - ((-10)/p + 4). Solve -4*g = -7*g + 2*l + n, 3*g - l - 4 = 0 for g.
2
Let c = 299 - 391. Let t = c + 95. Solve 0*q + 2 = q - t*y, -4*q + 8 = -5*y for q.
2
Suppose -3*p + 0*p - 168 = -5*n, 3*p - 102 = -4*n. Solve 5*m - 6 = -4*a, 5*m + 14 = 31*a - n*a for a.
4
Let a(u) = 29*u + 1366. Let o be a(-47). Solve -2*b = o*f - 4*b - 28, 0 = -3*f + 4*b + 38 for f.
6
Let x = -1642 + 1650. Solve 2*t - x = -v + 5*v, -4*v = -5*t + 2 for t.
-2
Let t = 33201 + -33188. Solve 5*r + 1 = -t*u + 14*u, -2*r = 2 for u.
-4
Suppose 424 = 82*n + 286 - 600. Solve 31 - 25 = -2*s, x - 4*s = n for x.
-3
Let w = 9126 - 9126. Solve -5*u + 136*o + 32 = 140*o, w = 4*u + o - 19 for u.
4
Let t = -450 + 757. Let k = t + -303. Solve 2*c = -3*c + k*q + 5, -3*c = 5*q - 3 for c.
1
Let q(x) = 75*x + 2629. Let c be q(-35). Solve 0 = -2*k + 4*h + 57 - 51, -2*h + 12 = c*k for k.
3
Let l = -53 - -6. Let y = -52 - l. Let b be 3*y/12*-4. Solve -j = 3*v + 7, -b = 2*v - 2*j + 5 for v.
-3
Let h = -10595 + 10597. Solve -5*y + 5*a - 2*a = h, 2 = -y - a for y.
-1
Suppose 4*g - 4*k + 12 = 9*g, 2 = -2*g - 5*k. Suppose 0 = -b + 2. Solve b*o + 3*z = 12, 5*o = -0*z - g*z + 16 for o.
0
Let r(y) = -y**3 + 8*y**2 - 44. Let u be r(6). Suppose -3*q = u - 37. Solve 2*n + 2*p = -18, -4*n - q*p + 2*p = 21 for n.
-4
Let f be 3/(-12) - 26/(-8). Let n = 141765 - 141763. Solve -f*j + n*w = -23, 0*w = -4*j + 5*w + 40 for j.
5
Let y = 0 + 2. Suppose -k + 3 = -4*d - 8, -2 = y*k + 4*d. Suppose 13*r + 2900 = 2965. Solve -r = 4*a + 5*u, -2*a - 2*u - k*u - 15 = 0 for a.
5
Suppose -9*j = -s - 6*j + 28, -4*s + 128 = 4*j. Solve 0 = -5*t - 3*w - 32 + 3, 4*t + 5*w + s = 0 for t.
-4
Suppose 23535 = -27*y + 23643. Solve 5*r + 0 = -y*m + 37, m + 17 = 4*r for r.
5
Suppose -c + 33 = -5. Suppose -42*g = -c*g - 84. Suppose 0 = -2*m, -4*m = 3*r - 8 - 1. Solve 5*q + r*f - 28 = 0, 2*f = 4*q - g + 3 for q.
5
Let u be (-1 + -83)*((-10)/(-6) + -1). Let y be -8*(301/u - -5). Solve -21 = -5*o + l - 4*l, y*l - 9 = -o for o.
3
Suppose -5*q + 32 - 7 = 0, 0 = 5*m - 5*q - 30. Solve 3*g = -4*d + 9, 9*g - 14*g = -2*d + m for d.
3
Suppose w - j - 1 = 0, -j = 2*w + 1333 - 1347. Solve -w*s + 2*q - 38 = 6*q, 4*q = -4*s - 32 for s.
-6
Suppose 4 = 12*a - 13*a, 0 = -5*q - 3*a + 33. Suppose 5*b + 3*r + q = 0, -r - 10 + 7 = 0. Solve 5*v + 20 = b, w - 10 = -w + 3*v for w.
-1
Let w be 153/(-31) - (-12)/(-186) - -10. Solve -v + w*a + 0 + 4 = 0, -2*a - 4 = 2*v for v.
-1
Let m = -12 - -15. Suppose -j + 4 = 4*y, -y - m*j - 2 = -2*