 7 = p for l.
-3
Suppose w - 3*w + 2*t = -6, -7 = -3*w + 5*t. Suppose d = -w + 3. Let x be -1 + -1 + (d - -4) + -1. Solve 5*i = -x*i + 25 for i.
5
Let x be (21/(-4))/(9/(-84) - 0). Suppose 11 = -48*c + x*c. Let g = c + -9. Solve 1 + g = -d for d.
-3
Let z(l) = -6*l - 2. Let v be z(-5). Let f be (-21)/((-147)/v) - (0 - 0). Solve -f = -2*x + 4*x for x.
-2
Suppose 11 = 10*v - 9. Let c be ((0 + 1)/1)/(-1). Let o = 9 + c. Solve 0 = v*t + 2*t + o for t.
-2
Let c be (-1866)/(-21) - ((-600)/84 + 8). Solve 0 = 2*g + 9*g - c for g.
8
Let v = 65 - -1. Let u = v + -60. Solve -17*z + 20*z = u for z.
2
Suppose 608*d - 392 = 216*d. Suppose -5 - 1 = -3*t. Solve -t - d = a for a.
-3
Suppose -97 + 2701 = 62*s. Solve -129 = -s*r - 465 for r.
-8
Let k be 0*6*16/(-1056). Suppose 2*t + r - 6 = 5*r, r = t + 1. Let v = 8 + t. Solve k = 3*d - v for d.
1
Let w(q) = -q**3 + 25*q**2 + q - 19. Let f be w(25). Let z(x) = -x**2 - 3 - 3 + 0 + 7*x. Let u be z(f). Solve 12 = -u*l - 3*l for l.
-4
Suppose 13*q - 10*q = 9. Suppose -2*h = 3*l - 25, q*h + 4*l + 22 = 57. Suppose 0 = -8*o + h*o. Solve 0 = -o*v - v + 5 for v.
5
Let a(s) = -s**2 - 2*s + 66. Let o = -37 + 44. Let i be a(o). Let f be -1*(0 - (7 - 2)). Solve 0 = 4*k + i + f for k.
-2
Let v be (1 - (-24)/14) + 36/126. Let t be (1*-4)/(2/4). Let d(m) = -m - 5. Let g be d(t). Solve 0 + v = g*s for s.
1
Let r(n) = -2*n**3 - 7*n**2 + 35*n + 189. Let v be r(-4). Solve -108 = v*i - 83*i for i.
6
Let h be (-13 + 22)*(-1)/(-3). Suppose -g + 16 + 2 = -2*o, 83 = 4*g + 3*o. Solve -g = y + h*y for y.
-5
Suppose -256*c - 80 = -5*j - 261*c, 3*c - 18 = 0. Solve -7 + 77 = j*w for w.
7
Let o = -430 + 454. Solve -21*u = -o*u + 9 for u.
3
Let m(g) be the first derivative of 5*g**3/3 + 9*g**2/2 + 13*g - 76. Let j be m(-2). Solve 4*w = j - 23 for w.
-2
Suppose a - 656 = -3*l, -18 + 3 = -3*a. Suppose -18*m = -107 - l. Solve -16*q = -m*q - 4 for q.
-2
Let i be (0 - 3)/3 - -2601. Let h be (-4)/(-22) - i/(-220). Let z be 19 + -18 - (1 - 2). Solve -h = u + z*u for u.
-4
Suppose -2*m = m. Let p(f) = 205*f + 2355. Let n(w) = 9*w + 107. Let k(o) = -45*n(o) + 2*p(o). Let b be k(22). Solve b*y + 1 - 16 = m for y.
3
Let y(u) = -u**2 + 3*u + 32. Let w be y(-4). Let l be (-2)/(14*1/(-4) + w). Let j be 0 + l - (-4 + -6). Solve 3*x = x + j for x.
3
Suppose -3*r + 17 - 8 = 0. Let o be (-166)/(-9) - (217/63 - r). Solve o*d - 12*d = 12 for d.
2
Let t(q) = 2*q**2 - 42*q - 56. Let l be t(-14). Solve 0 = r - l + 918 for r.
6
Let t be -6*(-5 + 282/54)*(-9)/4. Solve t = 6*r + 39 for r.
-6
Let f(t) = t**2 + 2*t + 4. Let s be f(-2). Suppose 0 = -5*d - 5 - 5. Let p(u) = -u - 2. Let g be p(d). Solve h - s + 2 = g for h.
2
Let c(r) = -8*r - 60. Let o(q) = 24*q + 178. Let h(k) = -14*c(k) - 5*o(k). Let s be h(-7). Solve -2*m + s + 4 = 0 for m.
5
Let m = -416 - -418. Suppose m*n - 17 = 3*w, -7*n - 3 = -4*n + 5*w. Solve 0 = n*s + 38 - 54 for s.
4
Suppose 8*p + u = 7*p + 4, -p - 4*u + 7 = 0. Suppose -3*d - p*f + 21 = 0, 4*d + 0*f = -2*f + 18. Solve d*l - 8 = 6*l for l.
-2
Let q(r) = -r**2 - 7 - r - 9*r - 3*r + 20*r. Let d be q(2). Solve a - 2*a = -d for a.
3
Let f be 16/10 + 12/(-20). Let w be 0 + (1 + -2)*f. Let v be (-50)/(-25) - (w + 0/1). Solve -5 - 1 = -v*b for b.
2
Let k(n) = 21*n**2 - 29*n + 2. Let m be k(2). Let q = -3 - -15. Suppose 4*f = m - q. Solve 10 = 2*g - f*g for g.
-5
Suppose 3*g - 15 = -y - 0*g, -2*y - 2*g = -10. Suppose 4*v - 22 - 10 = y. Suppose v = -4*h + 4*r, 0*h = h - 4*r + 17. Solve -h = 4*x + 1 for x.
-1
Let f = -9197 - -10447. Solve -f*i + 1238*i - 96 = 0 for i.
-8
Let x be ((-80)/20 + (-1 + 0)*-2)*-14. Solve -x = 4*c - 0 for c.
-7
Let z(u) = -13*u - 1. Let k(v) = -5*v + 23. Let w be k(-19). Let d = 117 - w. Let r be z(d). Solve -m - r = 3*m for m.
-3
Suppose 4*y - 5*q - 363 = 0, 383*q + 389 = 5*y + 386*q. Solve y + 74 = -39*p for p.
-4
Suppose -p - 21*q = -25*q - 21, 3*p = 5*q + 35. Suppose -41 = -2*y + 3*u, 4*u - 5 = p*u. Let h = -17 + 29. Solve 5*f = -y - h for f.
-5
Suppose 5*z = -5*b + 145, 4*b + 646*z = 644*z + 126. Solve -b*s = -26 - 178 for s.
6
Let r(c) = -c**3 + 8*c**2 - 18*c + 20. Let s be r(5). Suppose 5*q - 4*p = -60, -2*p + 6*p = -2*q - 52. Let l = -5 - q. Solve -s*w = -l - 14 for w.
5
Suppose -5*h + 45 = -5*t, -5*h = 4*t - 5 - 22. Solve h*q = -18*q + 100 for q.
4
Let u = -394 - -194. Let c = u + 200. Solve 4 = -c*h - 4*h for h.
-1
Let f(w) = 5*w**2 + 4*w - 3. Let t be f(1). Suppose -42 = t*b - 11*b - 3*j, 2*j = -5*b + 43. Solve -10*c + 3 = -b*c for c.
3
Let m = 91 + -86. Suppose 0*z - 5*x - 37 = -4*z, -m*z - 3*x = -74. Solve 12*t - z*t = -2 for t.
2
Suppose 8*f - 5*f + 2*j = 0, 0 = -4*f + 3*j. Suppose -s - 1 = 2*l - 13, f = -2*l - 3*s + 4. Solve -u - l = -13 for u.
5
Suppose 0 = 2*p - 4*j - 22, 0*j + 13 = -p - 4*j. Suppose -11*w + p*w + 104 = 0. Solve w*f = 18*f - 20 for f.
4
Let j be (1 + 1)/((-4)/6). Let w(v) = -v**2 - 20*v - 30. Let c be w(-18). Let h be 2/c + (-5)/j. Solve -h*z = z for z.
0
Let z(q) = -q**2 - 2*q + 20. Let c be z(-6). Let j be -3*(c/22 - (-16)/(-33)). Suppose -j*g = -10, -2*h = -h + g - 12. Solve -5*r = h + 13 for r.
-4
Suppose 4*v + 4*p - 344 = 0, 3*v - 138 - 132 = -5*p. Solve -17*j = -j + v for j.
-5
Suppose -30 = -5*r + 5*g, -g = -6*g - 15. Suppose -3*v + 2 = 2*o - v, 3*v - r = 3*o. Solve o = 2*d - 4*d - 10 for d.
-5
Let u be (1 - 220/3)/(3199/(-2742)). Solve u = -21*o - 43 for o.
-5
Suppose 3*m + 3*g = -714, -18*m = -22*m + 3*g - 980. Let d = m - -245. Solve -d*k - 5 = -11 for k.
2
Suppose -11*f = 2*f + 65. Let a(b) = -10*b**2 + 16*b + 1. Let k(v) = 7*v**2 - 11*v - 1. Let n(y) = f*a(y) - 7*k(y). Let t be n(2). Solve 2*h + 2 + 4 = t for h.
-3
Let i = -10 + 30. Let x = 48 + -44. Let s be (-17 + 17)*2/x. Solve -4*k = -s*k + i for k.
-5
Let g(i) be the third derivative of i**5/60 - 19*i**4/24 + 5*i**3/6 + 9*i**2. Let k be g(14). Let d = k - -65. Solve d*r - 3 = r for r.
-3
Let p = 128 + -122. Let d be -1 + 10/p*(-18)/(-15). Let l = 5 + -3. Solve -l*u - d + 7 = 0 for u.
3
Suppose -2*i = i - 12. Suppose b + 12*b = -31*b + 528. Solve i = -4*c - b for c.
-4
Let l(x) = -93*x - 1386. Let y be l(-15). Solve -y*d = 115 - 79 for d.
-4
Let o = -352 - -152. Let y = o - -210. Solve 4*l - 6 - y = 0 for l.
4
Suppose -5*b = 4*b - 1638. Suppose 184*d = b*d. Solve d = -7*f + 2*f for f.
0
Let n be 5/25*185 - 14. Solve n*j + 21 = 16*j for j.
-3
Let n = -2922 + 4379. Solve -1448*l - 27 = -n*l for l.
3
Let b(d) be the second derivative of -d**4/12 + 5*d**3/2 - 15*d**2/2 - 40*d - 1. Let i be b(13). Solve 3*x - i = -23 for x.
-4
Let d be 0 + -4 + (-36 - 402/(-6)). Solve 14 = 13*z + d for z.
-1
Let y be -6 + (-20540)/(-90) - (2 + (-48)/27). Solve 6*q + 180 = y for q.
7
Suppose 5*h + 100 = 5*q, -h - 4 = -3. Solve q*r + 64 - 140 = 0 for r.
4
Let o(d) = d**3 - 3*d**2 - 56*d - 64. Let f be o(-5). Solve -79*z - f = -71*z for z.
-2
Let z(j) = -3*j**3 - 3*j**2 + 2. Let m be z(-2). Let f be 636/132 + (-24)/(-132). Suppose 4*r - m = -0*r - 2*d, 4*d - 16 = -f*r. Solve r*p = 28 - 8 for p.
5
Let k(v) = 11*v**2 + 13*v + 13. Suppose 10*t - 50 + 60 = 0. Let c be k(t). Solve -4*p = 3 - c for p.
2
Suppose 2*a = -0*a + 16. Let r = 118565 + -118556. Solve a*s - 11*s + r = 0 for s.
3
Let a = 105 + -40. Suppose -10*m + 5*m = -a. Suppose y = -3*c + m, -3*c = 5*y - 9*y - 23. Solve -8*f + 9 = -c*f for f.
3
Suppose -3*v + 2*v = 4*z + 2232, 5*z + 2790 = -v. Let o = -543 - z. Solve 3*b + o - 9 = 0 for b.
-2
Let p = 1006 + -940. Solve p = 15*t - 26*t for t.
-6
Suppose -12*q + 24 = -12. Let b be (6/(-3) - (3 - 3))*-1. Suppose -b*o = s - 3*o - 4, 0 = -s + 2*o + 7. Solve q = -2*h + s for h.
-1
Let g be (((-1032)/(-28))/3)/(2/7). Let z(i) = -8*i + 350. Let p be z(g). Solve -8*m = p*m + 56 for m.
-4
Let t(k) be the second derivative of k**3/2 - 25*k**2/2 + 8*k. Let b be t(11). Suppose -2*g = 4*a - 6, -2*g + b = -0*g + 3*a. Solve g = 2*d + 5 for d.
1
Let t(i) = 6*i**2 - 6*i - 4. Let j be t(-4). Suppose -2*o + 126 = j. Suppose o = 7*a - 16. Solve -s = a*s for s.
0
Let m be (-24)/18*-1*3. Suppose -5 - 3 = -m*t. Let g(j) = j**3 - 34*j**2 - 7*j + 238. Let u be g(34). Solve -2*v - 6 - t = u for v.
-4
Let m = 8330 - 8325. Solve -m*g = -10*g + 20 for g.
4
Suppose -8*i - 28 = -15*i. Suppose -4 = -v + t + 6, -t - 31 = -i*v. Solve -v*j - 5 = 2 for j.
-1
Let w(z) = 2*z - 4. Let