 -2*a = -r*x - a. Solve 0 = 3*v + x + 2 for v.
-1
Suppose 0 = -d - 11*d - 1488. Let o = -121 - d. Suppose -5*x - 12 = -o*z, -4 + 0 = -x - z. Solve x*h = h for h.
0
Suppose 3*c = 3*k + 3, 5 = -2*k - 1. Let z be (-4 - -4)*(-1)/c. Suppose 2*w - 4*y + 4 = 0, 19*w - 23*w + 13 = -y. Solve z = w*a - 5 - 3 for a.
2
Let p be 17 + (3 - 0) + -2. Let y = -80 - p. Let x = -88 - y. Solve -2*r + 0*r = x for r.
-5
Let s be (-23)/(207/(-6399)) + -23. Solve -751 = 9*d - s for d.
-7
Let h be 7 + (3 - 3)/8. Suppose -96 = -h*o + 30. Solve 8*q - o = 14*q for q.
-3
Let k(f) = -143*f + 29. Let y be k(-2). Let a = -313 + y. Solve 5*g = a*g - 6 for g.
-2
Let p(b) = -b**2 - 9*b + 12. Let x be 9/(-36) + 39/(-4). Let k be p(x). Let o = 3069 - 3054. Solve k*w - o = -w for w.
5
Let w(o) = 70*o + 3685. Let n be w(-52). Solve n = 35*d - 26*d for d.
5
Suppose -308 - 616 = -22*n. Solve -1129*f = -1122*f - n for f.
6
Suppose -45*f = 71*f - 2784. Solve -14*t + f = -2*t for t.
2
Let o(f) be the second derivative of f**5/20 + f**4/2 + 5*f**3/6 - 2*f**2 - f. Let v(u) = 25*u - 27. Let x be v(1). Let k be o(x). Solve -k*m + m = 3 for m.
-3
Suppose -v + 12 = v. Let l = -317 + 321. Solve -18 = -l*u - v for u.
3
Suppose 4*l - 2 - 6 = 0. Let x = 363 - 380. Let r = 19 + x. Solve -l*o - r = 4 for o.
-3
Let p = -49 + 67. Suppose p = 2*k + 4*k. Suppose 5*g = -5, 2*x - 5*g = 4*x + k. Solve i + 0 = x for i.
1
Let f = -1076 - -1081. Suppose -d - 3*n = -8, 2*d + 5*n - 3 = 11. Let a(g) = -g - 2. Let u be a(-5). Solve d + u = -f*s for s.
-1
Let j(w) = w**2 - 12*w + 26. Let k be j(7). Let c be 0/(8 + k + -1). Solve -4*p + 0*p + 4 = c for p.
1
Suppose 151*q = 155*q - 220. Solve -3*o - 40 = -q for o.
5
Let s(f) = -42*f + 641. Let l be s(4). Solve -l*i + 475*i = 2 for i.
1
Suppose -4*w + 498 - 478 = 2*t, -t - w + 11 = 0. Solve 49*z = 55*z + t for z.
-2
Let z = 36 - 31. Let m(r) = r**3 - r + 9*r**2 + 2*r - z + 3*r + 3*r. Let a be m(-8). Solve 20 = a*h + 2*h for h.
4
Suppose 3*r - 12 = -r. Let g(o) = -o**2 + 7*o - 21. Let v be g(4). Let t be (-84)/189 + (-4)/v. Solve t = -2*m - 3 - r for m.
-3
Let l(n) = 3*n + 23. Let r(b) = 1. Let a(k) = l(k) - r(k). Suppose -3*o = 29*o + 160. Let g be a(o). Solve g*w = 2*w for w.
0
Let q = 29 + -21. Let f(b) = 3*b**2 - 197*b + 1180. Let o be f(59). Let w(n) = -n**3 - 4*n**2 - 5*n - 2. Let y be w(-3). Solve -y*a + o*a = -q for a.
2
Let j(u) = u**3 - 16*u**2 + 15*u + 10. Let b be (-1)/(-2)*(-2)/1 + 16. Let v be j(b). Let w be (-9)/(-10)*v/6*2. Solve 0 = -a - w + 1 for a.
-2
Suppose 7*r + 104 = 321. Suppose -4*b - r = -143. Let a = b - 18. Solve 2*f - a = -4 for f.
3
Suppose 0*l - l - f = -9, 0 = 3*f - 15. Let h = -1357 + 726. Let t = h + 635. Solve t*u + l = 8 for u.
1
Let y = -80 + 118. Let m be 28/(-21) - y/(-6). Solve m*u - u - 12 = 0 for u.
3
Let v(q) = q**3 + 13*q**2 + 30*q - 1. Let n be v(-10). Let g be 3/n - (-6 - 1). Let a be 80/g - 15/(-5). Solve -3 = 4*u - a for u.
5
Let a be (-6)/51 + 116*(-15)/(-340). Solve -13*w = -a*w + 8*w for w.
0
Suppose -4*i + i = 4*n, i - 5 = -3*n. Suppose -5*k + 36 = 2*o - k, o - 3 = 3*k. Let x be 4 - o/(-4)*n. Solve -5*h + x = -2 for h.
3
Suppose 5*f - 2*q - 26 = 4*f, -72 = -3*f + 3*q. Solve -24*p = 26 + f for p.
-2
Suppose -1 = -5*k - 16. Let i(f) = f + 3. Let q be i(k). Let z(l) = -123*l**2 - 979*l + 42. Let b be z(-8). Solve b = 2*y - q for y.
1
Let b(h) = -126*h - 1000. Let j be b(-8). Solve -39*o = j*o - 235 for o.
5
Let r = 9021 - 8541. Solve -13*d + r = 558 for d.
-6
Suppose 4*g + 966 - 250 = 0. Let j = g + 179. Solve -10 = 5*o - j for o.
-2
Let q(g) = -g**3 + 4*g**2 + 16*g - 15. Suppose 6*i + 2 = 38. Let d be q(i). Solve 20 = d*j - 14*j for j.
-4
Let b = -144 + 149. Suppose -4*l = 2*h - 16, 13*h + b*l = 12*h + 20. Solve -s + 1 = -h for s.
1
Let i = 17566 + -17566. Let k be 1/(-2)*8/(-4). Solve -2*v + k + 5 = i for v.
3
Let f(i) = 3*i - 2. Suppose -3*k = 3*k - 12. Let t be f(k). Let d = 47 + -44. Solve -s + d = -t*s for s.
-1
Let o(h) = -2*h**3 - 4*h**2 + 4. Let x be o(-2). Suppose 0 = -5*l + 2*s + 91, 114 - 40 = 4*l - 2*s. Solve l*r + x = 15*r for r.
-2
Let g(u) = -28*u - 47. Let w be g(-25). Let j = 664 - w. Solve -j*t + 21 = -4*t for t.
3
Let b be (51/10 - 17/170) + 315. Solve -b*r = -339*r - 76 for r.
-4
Suppose 15 + 15 = -10*q. Let s(d) = d**2 + 3*d + 3. Let z be s(q). Suppose l + 51 = 4*l + 3*a, 3*a + 51 = z*l. Solve -5*j - 3 = l for j.
-4
Suppose 4*t + 19 = 5*o + 2*t, 3*o - 9 = 2*t. Let n = 14 + -11. Suppose 3 = -n*c + 3*y, -c + 8 = y + 7. Solve c = o*x - 16 + 1 for x.
3
Let r = 10115 + -10107. Solve 27*i = r + 73 for i.
3
Let m(u) = -259*u - 2735. Let k be m(-11). Solve k = 8*h + 98 for h.
2
Let b be 31 + (-84)/154*11. Solve n = b*n + 120 for n.
-5
Let n(h) be the second derivative of -h**3/2 + 65*h**2/2 + 9*h. Let b be n(19). Suppose b*m + 7*m - 60 = 0. Solve 0 = -m*p - 5 + 1 for p.
-1
Suppose 0 = -5021*o + 5033*o - 36. Solve o*g + 803 - 794 = 0 for g.
-3
Let l be (-6)/(-39) + -2 + 12312/78. Suppose 21*d - 9*d = l. Solve d = -5*m - 12 for m.
-5
Let j(p) = 360*p + 4341. Let a be j(-12). Solve -a*d + 48 = -15 for d.
3
Let w(s) = 2*s**3 + 11*s**2 - 6*s + 4. Let r be (-2 + -3 + 1)*3/2. Let x be w(r). Suppose -5*j = -x*d + 1, -d + 23 = j + 4*d. Solve j*y - 25 = -2*y for y.
5
Suppose -21*i + 5538 = 35*i - 398. Solve i = -9*y + 79 for y.
-3
Suppose 6*u + 1229 = 113. Let x = -171 - u. Solve -x*i + 13*i = 0 for i.
0
Let a(z) = z**3 - 11*z**2 - 12*z + 2. Let i(m) = -m**2 - m. Let u be 51/15 - (-9)/15. Let r(b) = u*i(b) + a(b). Let g be r(16). Solve -2 - 6 = g*n for n.
-4
Suppose 3*m + 2*y - 22 = 0, m - 9 = -4*y + 15. Suppose -g + 2 = -3*b, -m*b = b + g - 2. Let o = 31 - 29. Solve o*z + 10 = -b for z.
-5
Let t = -517 + 535. Solve 36*a = 30*a - t for a.
-3
Let r = 5 - 3. Let m = 2835 + -2834. Solve -5 - m = -r*q for q.
3
Suppose 35 + 64 = 33*u. Suppose l + 2*c + 0*c - 22 = 0, 4*c + 76 = u*l. Solve -2*h - 30 + l = 0 for h.
-3
Suppose 5*m + 4*i = 284, -6 = 5*i - 11. Solve 0 = -5*n + 13*n - m for n.
7
Let y be ((-6)/2)/(15/(-10)). Suppose 1 = -y*x + 7. Suppose -1 = x*j - 7. Solve -d = j*d for d.
0
Let c be ((-3 - -3)/(-1) - -4) + -533. Let o = c + 539. Solve n = -4*n - o for n.
-2
Let i be (-1 - -3 - 0) + 0/1. Let k(z) = 1 - 325*z**2 + 4*z - i + 324*z**2. Let g be k(3). Solve -p + 1 = -g for p.
3
Suppose 4*y + 0*k = 3*k, y + 5*k = 23. Let n(q) = -5*q + 50. Let i be -3 + (1 - -2) + 10. Let l be n(i). Solve -y + l = -a for a.
3
Let l = -2030 + 2265. Solve 5*j - l = -42*j for j.
5
Let a(z) be the first derivative of -z**5/40 - 9*z**4/8 - 11*z**3/3 + 3. Let j(o) be the third derivative of a(o). Let v be j(-11). Solve v = 2*n + n for n.
2
Let f(a) = a**3 + 5*a**2 - 2*a - 10. Let p be f(-5). Suppose p = -4*k + 12. Solve -2*h = k*h - 15 for h.
3
Suppose -b = 2*w - 2 - 4, 5*b = -3*w + 16. Let m = 14 + -7. Suppose 3*h - m*h = 0. Solve -b*y + 2 = -h*y for y.
1
Suppose 2*n + 12 = 4*g, 3*n - 18 = -2*g + 4. Suppose -15 + g = 5*u, -5*u - 2 = 2*c. Solve -c*w - 3*w = 0 for w.
0
Let t be (3/6)/((-9)/(-108)). Solve -33*d + t = -34*d for d.
-6
Let g be ((-8)/10)/(56/(-47880)). Let m = g + -673. Solve 6*n = -m + 41 for n.
5
Let m = 80 - 70. Let j(c) = c**3 - 9*c**2 - 8*c - 30. Let d be j(m). Let n be (3 - (-2 - d))*(-21)/15. Solve -n*i = -5*i - 4 for i.
2
Let z(r) be the first derivative of -2*r**2 - 7*r - 12. Let n be z(-2). Suppose 5*w - 5*a - 10 = 0, -5*w = -0*a - a - 2. Solve -h + w = -n for h.
1
Let z be (16 - 2)*(7 - 6). Suppose 30*q = z*q + 80. Solve 5*c + q*c = 20 for c.
2
Suppose 0 = t + 3*t - 20. Suppose 2*n = -3*z + 21, 2*n + 4*z = 3*n - t. Let y(r) = -r**2 + 436*r - 1296. Let f be y(3). Solve n = -f*l + 3 for l.
-2
Suppose 3*k = 5*m - 637 + 667, 0 = -k - 4*m - 7. Solve k*w + 36 = 21 for w.
-3
Let v(g) = -33*g - 445. Let h be v(-14). Solve 72 = h*o + 7*o for o.
3
Let b(t) = -8*t**3 + 2*t**2 - t + 5. Let l be b(0). Solve 3*v + l - 17 = 0 for v.
4
Suppose 4*d = 2*u + 114, -4*d + 2*u - u + 111 = 0. Let p = -60 + d. Let l = p + 33. Solve l = -0*i - 3*i for i.
0
Let k = -64 + 77. Let l be (12/1)/2 + k + -13. Suppose h - 6 = -0*h. Solve l*d + h = 8*d for d.
3
Suppose 5*z = 5*y - 5, 3*y + y + z - 14 = 0. Let o = 556 - 1108. Let t = o + 554. Solve -y*f - t = -f for f.
-1
Let v(c) = 8*c + 32. Let a be ((-4)/3)/(-2*(-1)/6). Let f be v(a). Suppose