= d*a - 1162. Let j = a + 86. Solve -4*v = -v - j for v.
1
Let b be (-5)/(-40)*-4*(-1 + 1). Suppose 2*c = -0*c + 8. Solve -2*a - 4 - c = b for a.
-4
Suppose -58*y + 640 = 127*y - 25*y. Suppose -2*m + 15 = -5*m. Let r(d) = -3*d + 1. Let l be r(m). Solve 0*t = -y*t + l for t.
4
Let x(c) = -193*c - 7010. Let l be x(-37). Solve -85 = -23*z - l for z.
-2
Let g(t) = -187 - 7*t + 118 + t + 123. Let m be g(7). Solve -m = -0*p + 4*p for p.
-3
Let i = -94 + 104. Let w be 3*(-6)/6 + i. Solve -5 = 3*x + w for x.
-4
Let m be ((-12621)/(-77))/3 - 52/(-143). Solve 0 = 30*c - 41*c + m for c.
5
Let j be 16 + 2 - (0 - -1). Let a(z) = 2*z**3 + 35*z**2 + 34*z + 294. Let n be a(-17). Solve n = -j*y + 16*y for y.
-5
Suppose 0 = -3*y - 5*y + 144. Suppose -5*q + y = 4*q. Solve q*b + 2 = -4 for b.
-3
Let f(w) = 6*w + 2. Let x(p) = -3*p + 23. Let n be x(6). Suppose 0 = n*j + 2*j. Let q be f(j). Solve -4*v - 10 = -q*v for v.
-5
Let j be (-4)/2 - (1 - 11). Let a = -5 + j. Let q = 4490 + -4488. Solve q*b - 1 = a*b for b.
-1
Let o = -611 + 639. Suppose -o*q + 97 + 491 = 0. Solve 6*a = q - 3 for a.
3
Suppose 30 = 28*a + 114. Let c be (-12 + 20)*a/(-6). Solve -12*n + c = -8*n for n.
1
Let j = -70 - -76. Let r(n) = n**3 - 5*n**2 + 16*n - 104. Let t be r(j). Solve -7*b + t = -0 for b.
4
Suppose 5*r + q = 38, 14 = -5*r + 3*q + 40. Solve 23 + r = 10*t for t.
3
Let k = -36151 + 36163. Solve -246 = -k*h - 162 for h.
7
Let m be 12/(-3)*30/(-15). Suppose -15 = 2*s + s, m = 3*o - s. Suppose -9 = c - 4*c. Solve 5 = c*j - o for j.
2
Suppose 0 = 3*h + 2*h - 3*a + 4, -3*h - 12 = -3*a. Solve -5*n = -h*n + 7*n for n.
0
Suppose 0*x + 2*x - 8 = 0. Suppose 2*t - x - 6 = 0. Let h(f) = -11*f**2 - 65*f + 97. Let y be h(-7). Solve 3 = -t*u + y for u.
2
Let v = 1 - 0. Let w(z) = 169*z + 2877. Let l be w(-17). Solve v - l = d for d.
-3
Suppose -3*g = -4*y + 2*y - 344, 3*g - 3*y - 342 = 0. Suppose 5*c = -g + 141. Solve -c*q = -8*q - 3 for q.
-1
Let i(h) = -h**3 + 9*h**2 + 3*h - 3. Let f be i(9). Suppose w - f = 3. Suppose 0 = -31*r + w*r + 8. Solve 0 = r*q - 5*q for q.
0
Let f(s) = 6*s**2 + s - 1. Let v be f(-1). Suppose 3*j + v - 19 = 0. Suppose j*m = 3*z + 51, -3*m + 4*z - 6 = -41. Solve -3*c + m - 3 = 0 for c.
2
Let b = -814 - -793. Let z = -35 - -21. Let t = z - b. Solve t*y - 2*y - 5 = 0 for y.
1
Let s(w) = 2*w**2 + 12*w + 214. Let q be s(-10). Solve -295*a + 5 = -q*a for a.
5
Suppose p = -9 + 13. Let i(w) = -2*w**3 + 5*w**2 + 2*w + 3. Let y be i(p). Let c = y - -38. Solve -v - c = -0*v for v.
-1
Let d = -29345 + 29413. Solve -d*h = -h - 469 for h.
7
Suppose 74 = -3*n + 80. Let m be (n/7)/1 - 5373/63. Let f = 88 + m. Solve f*t = 6*t + 9 for t.
-3
Let s be 7/(-70) + 55/50. Let h be ((-30)/s)/6 - -25. Solve 0*z - h = -5*z for z.
4
Let w = 2 + 1. Let b(f) = -9*f + 572. Let n be b(0). Let g be 2/9 + n/99. Solve -g*u - 6 = -w*u for u.
-2
Let l(k) = -1 + 8*k**2 + k + k - 3*k. Let h be l(-1). Suppose 5*y - 96214 = g - 96142, 0 = g + 17. Solve -h = b - y for b.
3
Suppose 0 = -11*r + 46 - 24. Let j be ((8/20)/(-1))/(r/(-30)). Solve -15*m = -j*m - 9 for m.
1
Let h(j) = -j**2 + 6*j. Let l be (-6)/(-2) + -9 + 12. Let y be h(l). Let z = -7070 + 7075. Solve -z*i + i = y for i.
0
Let d(k) = 6*k - 153. Let z be d(26). Solve 23*j + z = 20*j for j.
-1
Let s be -2*(296/(-814) - (-36)/(-22)). Solve 2*p + 30 = -s*p for p.
-5
Let q be (-2)/((-8)/(1584/1593) + 8). Solve i - 46 + q = 0 for i.
2
Suppose 5*n - 402 - 622 - 506 = 0. Solve 15 = -301*c + n*c for c.
3
Suppose -708 - 9516 = -48*t. Solve -2*g - t = -211 for g.
-1
Suppose -298*d - 327 - 353 = -315*d. Solve 5*r - 35 = -d for r.
-1
Suppose -17*w = -3369 - 150. Solve -63 = 36*d - w for d.
4
Suppose -5*i = 3*d + 573 - 598, 5*d + 25 = 5*i. Suppose v + 5*h = -2*v + 28, 5*h = -5*v + 40. Solve -4*w + v*w + 2 = d for w.
-1
Let n(y) = 3*y**2 - 6*y - 26. Let v be n(-3). Suppose -15*t + 71 = -v. Solve t*a = 2*a - 20 for a.
-5
Suppose 43*c = 42*c + 3. Suppose -65*i + 64*i + c = 0. Suppose 4*g = g + 3*p, -i*g + 24 = 5*p. Solve 4*s - 5*s - g = 0 for s.
-3
Let o = 685 + -673. Let i = -7 - -8. Suppose 0 = -2*w - 5*k - 5, -1 = 5*w + 2*k + i. Solve w = -2*v + 5*v - o for v.
4
Let r = -202 - -205. Let k be (63/(-27))/(-2 + 5/r). Solve 5*u + 3 + k = 0 for u.
-2
Let w = -5009 - -5033. Solve w*j - 139 + 19 = 0 for j.
5
Suppose -86*k + 428 = -23 - 323. Solve -11 + 2 = -k*m for m.
1
Let a be (1 - 7)/(-5*(-5)/(-200)). Let j = a + -46. Solve j*g + g = 15 for g.
5
Suppose -32 - 929 = -31*u. Solve -70 = u*c + 23 for c.
-3
Suppose -28*a - 2*r - 37 = -25*a, 0 = 3*a - 2*r + 17. Let m(i) = 2*i**2 + 22*i + 38. Let f be m(a). Solve 0 = 7*w + f*w - 27 for w.
3
Let c = 4431 - 4311. Solve 121*g = c*g for g.
0
Let v(t) = 7*t**3 - t + 1. Suppose 0 = -3*g + 7*g + n + 5, n - 5 = g. Let i be v(g). Let d = i - -55. Solve d = 2*m - 6 for m.
4
Let z(l) be the third derivative of -l**5/60 + 3*l**3 - 2*l**2 + 9. Let k = -16 + 20. Let a be z(k). Solve 14 - a = -4*i for i.
-3
Let c = -40 - -40. Let v(n) = -5*n + 4. Let a be v(-2). Suppose -15*k = -a*k - 4. Solve 4 = k*f - c for f.
1
Let j = -51 + 118. Let n = 67 - j. Solve n = -q - 3 for q.
-3
Let g be (1 - ((-4)/2 - -4))*-27. Let u be (-3 + g/7)*(2 - -5). Let w(o) = -o**2 + 8*o - 4. Let i be w(u). Solve i = -5*b + b for b.
-2
Let o(v) = -v**3 - 3*v**2 + 6*v + 10. Let z be o(-4). Suppose -2*j - 3*k = 10, 2*j = 6*j + k. Solve w - j = z for w.
3
Let p = -77 + 98. Suppose 135*h = 128*h + p. Solve 37 = h*y + 31 for y.
2
Let o(w) = -w**2 - 55*w - 294. Let c be o(-12). Solve -c = -52*v + 15*v for v.
6
Let u(x) = 2*x + 17. Let r be u(-7). Let y(t) = 3*t**2 - 2*t + 2. Let a be y(r). Let w = -22 + a. Solve -h - w = -5 for h.
4
Let o(c) = -89*c + 35. Let m be o(6). Let h = 503 + m. Solve 0 = h*t - 10*t + 6 for t.
1
Suppose 0 = -v - 3, -3*v = -4*y + 73. Suppose 0 = 4*j - 40*j + 180. Solve -p + y = -j*p for p.
-4
Suppose 363 - 3 = 10*o. Suppose -o*r + 286 = -10*r. Let b be (0/1 - -1)*0. Solve b = -5*a + 9 + r for a.
4
Let h be 50 - 8/(24/(-63)). Solve 14*n + 1 - h = 0 for n.
5
Let r be -8 + (2 - 5 - 1) + 2. Let o(i) = -6*i - 1. Let m be o(r). Let t = m - 55. Solve -t*z + z + 12 = 0 for z.
4
Suppose -f = 5*v - 3465, 2*v - 653 = -5*f + 733. Solve -v*b - 21 = -700*b for b.
3
Let p = -4078 - -4086. Solve p*b = 12*b for b.
0
Suppose -2*h + 1 = -13, -3*r - h + 700 = 0. Solve 39*f - 6*f = r for f.
7
Let r = -133 - -138. Suppose n - 5*l - 8 = -1, -5*n - r*l = -35. Solve 8*d - 3 = n*d for d.
3
Suppose -4*v - 20 = -h, h + 0*h + 25 = -5*v. Let r be -6*8/(144/(-30)). Solve h = d + d + r for d.
-5
Suppose 4*d - 7 = -127. Let h(l) = -l**3 - 32*l**2 - 60*l + 1. Let p be h(d). Solve 2*u = -p - 3 for u.
-2
Let t = -36 - -62. Solve -t = 46*d + 296 for d.
-7
Let d be -4 + (9 - 6) - -5. Suppose 4 = 2*w, -d*l = 32*w - 31*w - 2. Solve 10*z - z - 36 = l for z.
4
Let o(y) = 3*y + 19. Let r be o(-5). Let i = 4106 - 4104. Solve -14 + i = r*j for j.
-3
Suppose -17*p + 20 = -439. Let j(w) = -w**2 - 5*w + 3. Suppose 7*a - 3*a + 3*n = -7, -4*a - 10 = 2*n. Let z be j(a). Solve p = -4*y + z for y.
-5
Suppose 0 = 16*r - 11*r - 120. Let s = -62 - -50. Let g = r + s. Solve 3*d + g + 3 = 0 for d.
-5
Let t = 164 + -183. Let r = t - -31. Solve -r + 0 = -4*f for f.
3
Let r = 2335 - 2324. Suppose -2*h - 16 = -6*h. Suppose 0 = h*s - 27 + r. Solve -8*d + s*d - 4 = 0 for d.
-1
Let g = -18 - -21. Suppose q - 4*z - 16 = 3*q, -q - 12 = g*z. Let r be (-2 + -1 - -7) + q. Solve -3 = 7*p - r*p for p.
-1
Suppose 360*h - 40227 + 6484 = 23497. Solve -h - 44 = -29*i for i.
7
Let h be (-44)/33*(-741)/38. Solve -10*n - 48 = -h*n for n.
3
Suppose 95*b - 96*b + 854 = 2*t, 3*t + 3*b - 1269 = 0. Solve -t + 447 = 4*m for m.
4
Let v = 871 - 814. Solve -v*p = -60*p + 3 for p.
1
Let s = -132 - -66. Let o be (-4)/8 - s/4. Suppose 0 = -4*b + o, m + b = 2*m + 4. Solve -g - 1 = -m*g for g.
-1
Suppose 2*p - h - 19 - 53 = 0, h - 144 = -4*p. Solve p*i - 42 = 138 for i.
5
Let f be 10*((-9)/(-45) - (-1 - -1)). Solve -f*b - b = 3*b for b.
0
Suppose 2*u - u + 6 = b, u - 36 = -6*b. Suppose -l - 18 = -6*l - v, 4*l - 2*v = 6. Solve 0*q + l*q = u for q.
0
Let q(k) = -4*k**2 + 5*k - k**2 + k**3 - 2*k - 10*k - 16. Let r be q(7). Solve 31*p - 4 = r*p for p.
-2
Let a be 2*1 + 11 + -13. Suppose 4*j + a*j = 0, -4*o = 5*j - 48. Suppose -5*v = -o + 2. 