 -716*m + 8592. Let s be k(12). Let x(v) = -v**2 + 9*v + 8. Let r be x(9). Solve 12*p - 8*p + r = s for p.
-2
Suppose -4*o - 35 = u - 38, 9 = -2*o + 3*u. Solve 15*a - 38 - 22 = o for a.
4
Let t(v) = v**3 - v**2 - 253*v + 46. Let d be t(0). Solve -d = -10*y + 14 for y.
6
Let a be (-9 - (-18 - -12)) + 71. Solve a*q + 90 = 23*q for q.
-2
Let d = 28191 + -28166. Solve -35*p + 25 = d for p.
0
Let v be 2/9 - 364/(-63). Suppose -5*c + v = -3*c. Suppose 0 = 2*z + z - c. Solve 2*s - z - 9 = 0 for s.
5
Suppose 5*u + 4*n + 40 = 0, 17*u - 2 = 20*u - 2*n. Suppose -10 - 2 = 4*k. Let w be (-16)/(1 - k) - u. Solve w = -0*m - 3*m for m.
0
Suppose 4*f - 3 = 1, -n - 4*f - 42 = 0. Suppose 326 = 6*j + 38. Let q = j + n. Solve -2 = 2*a + q for a.
-2
Let z be ((-249)/(-12) - (-3)/12)*1. Let m be (-120)/(-56) + 18/z. Solve m*p + 16 = 1 for p.
-5
Suppose -q = 5*a + 10 + 7, -5*q - 4*a = 43. Let i = q - -9. Solve -i*y = -0*y - 10 for y.
5
Let n = 2095 - 2095. Suppose 2*u = 5*u - 18. Solve n = 7*s - u - 15 for s.
3
Suppose 5*z - 2*z = -2*j + 39, 5*z + 3*j = 65. Let t(y) = -2*y**2 + 20*y - 43. Let o be t(2). Let k = o + z. Solve -l = k*l for l.
0
Suppose 18*z + 41 = 544 + 109. Solve z*y - 32*y = -6 for y.
-3
Suppose -12*x - 9 + 32 = -1. Solve 23*z - 25 = -x for z.
1
Let t be 20/14*(-49)/(-105)*18. Solve t*f + 3 + 9 = 0 for f.
-1
Let i be 50/10 + (3 - 212). Let y = 211 + i. Solve -2*g - 5 = -y*g for g.
1
Suppose -2*p - 2*d - 31 + 81 = 0, -3*p = 7*d - 99. Solve p*o + 15*o - 42*o = 0 for o.
0
Let a = -3211 - -3274. Solve -a*o - 26 = -215 for o.
3
Suppose -2*u + 3 + 5 = 0. Let q(x) = 18*x + 93. Suppose -3*v + 2*c + 3*c - 40 = 0, c = 3*v + 20. Let d be q(v). Solve -d - 17 = -u*w for w.
5
Let f = -165 + 170. Suppose 6 = f*a - 4. Solve a*q + 1 = -3 for q.
-2
Let y = -5522 - -5532. Solve -y*l = -48 - 2 for l.
5
Let m be ((-2)/(-5))/(55/351450*36). Solve m = 22*i + 269 for i.
-9
Suppose -18*d + 9868 - 9544 = 0. Solve -d*k = -95 + 41 for k.
3
Let j be (4 + -2)*(4 + -3 + 0). Let c be (-12 - (-14)/j) + 10. Solve u + c = 4 for u.
-1
Suppose -160*l = -163*l + 2040. Let s be ((-2)/4 - 0)/((-34)/l). Solve -s*f + 3*f - 35 = 0 for f.
-5
Suppose 5*u = 0, 2676 = 4*y + 55*u - 52*u. Let i = 672 - y. Solve 4*q + 15 = i for q.
-3
Suppose 2795 = 67*u - 19. Solve 56 = -u*d + 14 for d.
-1
Suppose -61 = -o - 58. Let b be (o - 5) + -3 + 1 + 9. Solve 0 = l - b*l - 12 for l.
-3
Let w = -275 - -280. Suppose 50 = w*x + 5*q, -4*x - 15*q = -18*q - 54. Solve u - 13 + x = 0 for u.
1
Suppose 5*n = -4*p + 10*n + 78, 3*p + 3*n - 72 = 0. Let v = p + 20. Let x = 68 - v. Solve 5*g = -x + 6 for g.
-4
Let v(a) = 5*a - 100. Let d be v(20). Suppose -5*b + 5*t + 40 = d, -6*b - 48 = -10*b - 4*t. Solve 0 = -5*g - 10 - b for g.
-4
Suppose 0 = 5*j + 3*w - 5, 0*w = 4*j + 5*w + 9. Suppose j*d = -44 + 52. Suppose p - 28 = -d*i + 5*p, -4*i - 3*p = -23. Solve i + 4 = 3*x for x.
4
Let i be (-4 - (-57)/9)/((-3)/(-9)). Solve 0 = i*m + 1192 - 1178 for m.
-2
Let d = -4 + 6. Suppose -2*f + 9*f + 8*f = 0. Suppose -w + z = -2, f = -2*w + 4*w + 3*z + 6. Solve -d*t + t - 4 = w for t.
-4
Let m(q) = 2*q**3 + 48*q**2 + 43*q + 5. Let c be m(-23). Suppose 0 = 7*j + c - 88. Let f = 0 + 2. Solve 0 = -f*s - j for s.
-1
Let d be ((-189)/(-126))/((-3)/(-32) - 0). Let t be 42/9 - (2 + d/(-12)). Solve -t - 6 = 5*o for o.
-2
Let p(d) = -d**3 - 2*d**2. Let n be p(0). Suppose 5*o = -0*o + 15, n = 4*f - 5*o + 15. Solve f = 18*h - 14*h for h.
0
Let l(w) = -18*w + 72. Let h be l(4). Suppose h = 4*z - i - 45, 4*z = 25*i - 20*i + 33. Solve 0 = -8*n + 12*n - z for n.
3
Let m(r) = 4*r**2 - 142*r + 758. Let k be m(29). Let f = 0 + 6. Solve f = k*g - 2 for g.
2
Let g be 4/5*(-665)/(-38). Let x be g/(-2) - (12 + -20). Solve 0 = -2*m + 9 - x for m.
4
Let r(i) = i - 7 - i - i. Suppose 3*d = d - z - 25, -5*z = -25. Let x be r(d). Solve x = -5*s - 17 for s.
-5
Let b = 957 - 944. Solve -b*m + 386 = 321 for m.
5
Let j(f) be the second derivative of f**4/12 + 8*f**3/3 + 49*f**2/2 + 6*f + 4. Let q be j(-13). Solve -5*h + q = -0*h for h.
2
Let v(k) = -k**3 + 18*k**2 + 42*k + 2. Let m be v(20). Solve m*p - 180 = 12*p for p.
6
Let z be (-618)/(-4)*(-266)/(-57). Let c = 739 - z. Solve -3 - c = 7*w for w.
-3
Let r(j) = -j**2 + 61*j - 463. Let x be r(9). Solve 0 = -x*m - 14*m + 95 for m.
5
Let a(t) = -t**2 + 12*t - 26. Let b be a(4). Suppose -4*h + 1 + 15 = 0. Solve h*c + 2 - b = 0 for c.
1
Suppose -76*p + 4610 = -86*p. Let y = 462 + p. Solve 3*m - 4 + y = 0 for m.
1
Let p(l) be the first derivative of -l**3/3 - l**2/2 + 20*l + 2. Let k be p(0). Suppose -i + 3*i = 10, z - k = -i. Solve 2*f = -f - z for f.
-5
Suppose 2 = -a + 4*z - 6*z, -3*a - 4*z + 4 = 0. Let p be (-5)/15 - a/(-6). Let r = 3 - p. Solve r*s = 13 - 3 for s.
5
Suppose 313*j = 97*j + 648. Let f(g) = 2*g - 3. Let t be f(4). Solve j*u = t + 10 for u.
5
Suppose 2*v - 5*o = -179 + 31, -v + 3*o = 73. Let b = -79 - v. Solve b*y = y for y.
0
Suppose 9 = -24*a - 135. Let n be (a/(-45) - 24/180)/(-2). Solve -4*z + 2 - 2 = n for z.
0
Let d(o) = -o**2 + 11*o + 21. Let v be d(11). Let s be 12/14*v/6. Solve -4 = -s*z - 1 for z.
1
Suppose 568*d = 466*d + 15504. Solve 29*k = 10*k - d for k.
-8
Let o = -50 - -50. Suppose 2*i = -2*b + 7*i + 123, o = 2*b - 4*i - 118. Let d = b - 49. Solve s + 2 - 5 = d for s.
3
Let g = 23 - 23. Suppose -n - n - 2 = g. Let j be 7 + (-1 - 1) + n. Solve -m + 0*m = -j for m.
4
Suppose -5*i + 17 = -p, -10 = -2*i - 997*p + 999*p. Solve -416*l - i = -419*l for l.
1
Let w(j) = -2*j + 26. Let k be 0 + (-274)/(-8) - 1/4. Suppose 37*s = k*s + 36. Let g be w(s). Solve g = p + 4 for p.
-2
Suppose 0 = -6*n + 26*n - 4960. Let i = -241 + n. Solve 0 = -i*c - 7 for c.
-1
Let r = 13 + -9. Suppose 8*h - 2*h + 12 = 0, -4*h = t + 2. Solve r*l = 18 - t for l.
3
Suppose -2*g + 5*g + 3*g = 0. Suppose -4*j + 16 = 3*a - 6, -2*j + 8 = g. Suppose 5*h + 15 = 3*y, a*y - 3*y + 5 = -2*h. Solve h*v = -v - 2 for v.
-2
Suppose 0*l - 2*l = 12. Let b be (l - -5)/(1/(-4)). Suppose 0 = -10827*h + 10850*h - 161. Solve -b*d - 9 = h for d.
-4
Let i be 1818/54 + (-2)/3. Suppose -3*w - i = -6*w. Solve 12*d = w*d for d.
0
Let g be 30/4*2/3. Let y(r) = -r**2 + r - 8. Let b(d) = -3*d**2 + d - 24. Let v(l) = 2*b(l) - 7*y(l). Let n be v(3). Solve g*x - n*x = -12 for x.
-4
Suppose -y + 5*p + 6 = 0, -18 = 833*p - 835*p. Solve 11*j + 128 = y for j.
-7
Suppose 353 = 12*j + 293. Let v = -28 + 39. Let x = -9 + v. Solve 12 = x*a - j*a for a.
-4
Suppose -3 = -t, 3*a + 15 = -a + 5*t. Let o = a - -7. Suppose 0 = -v + 2*w + 15, -4*v - 3*w = 2 - o. Solve v = -4*s + 13 for s.
2
Let t be ((-77)/28)/11 + 5/4. Solve 0 = 63*k - 62*k + t for k.
-1
Suppose 65*x = -55*x + 434 + 5326. Solve 275*s = 263*s - x for s.
-4
Let x(v) = v - 9. Let a(i) = -2*i + 17. Suppose -3*b - 12 = 3*f, -5*f + 15 - 44 = -4*b. Let m(r) = f*x(r) - 3*a(r). Let j be m(11). Solve 4*p = j + 3 for p.
2
Let d(p) = -143*p - 1127. Let c be d(-8). Solve 16*z = c*z - 7 for z.
7
Suppose 2*n + 4 = -5*l + 6*n, 3 = 3*n. Let o(c) = c**2 - 9*c + 10. Let b be o(8). Let w be 46*6/24 + (-6)/(-4). Solve -b*m + 3 - w = l for m.
-5
Let s(w) = 2*w**2 + 3*w + 35. Let u be s(0). Let y = u - 33. Solve 0 = -y*k + 3*k - 1 for k.
1
Let d be 972/21 - 4/14. Suppose y + 215 = 5*r, -77*y + 74*y = -r + 43. Let f = d - r. Solve l - f*l = 0 for l.
0
Let v(r) = 2*r + 37. Let n be v(-11). Suppose 5*z + n = 20, 15 = a + 5*z. Solve 0*q - a = 2*q for q.
-5
Let l = -55111 - -55114. Suppose 4*u - 2*u = 0. Suppose o + u - 2 = 0. Solve l = w - o*w for w.
-3
Let a(d) = -334*d - 3338. Let b be a(-10). Let y(f) = -2*f - 3. Let o be y(-2). Solve -o = b*r - 3*r for r.
1
Let k(j) be the first derivative of -2*j**3/3 - 3*j**2/2 + 2*j - 4. Let n be k(-3). Let r = n - -9. Solve -r - 6 = -2*q for q.
4
Suppose 0 = -115*r - 169*r + 1704. Let t(b) = -b. Let x be t(-2). Solve x*f - 10 = -r for f.
2
Let y = 259 - -166. Suppose -y - 55 = -12*k. Solve 2*n - 34 = -k for n.
-3
Let q be (-448 + -3)/((-19)/19). Let w be q/(-41)*(-8)/22. Solve w*n = 35 - 31 for n.
1
Suppose 17*v - 933 - 495 = 0. Solve -81 + v = b for b.
3
Let j = 3229 - 3214. Solve 5 = j*x - 10*x for x.
1
Let x be (220/12 + -16)/((-2)/(-6)). Solve -89 + 110 = x*z for z.
3
Let t = 297 + -289. Let h(v) = -11*v + 95. Let y be h(t). Solve 0 = y*k - 4*k - 15 for k.
5
Suppose 2 = 20*c + 2. 