12). Let d be (j*4/36)/(2/9). Suppose -2*g + 7 = -d*t + 25, 0 = t + 4*g - 20. Solve 4*x + 0 = -t for x.
-2
Suppose 4*h - 12 = 0, 3*h = -3*c + 3 + 63. Suppose 15*d - 34*d + c = 0. Solve 4*g - 5 + d = 0 for g.
1
Suppose -5*r - 4*k = 140, -2*r + 5*k - 5 = 84. Let t = 68 + r. Suppose 5*l + 4*p = 87, -3*l + 48 = p + 7. Solve -5*x = -t + l for x.
5
Let x(d) = 2*d**3 + 13*d**2 + 12*d - 11. Let f be x(-5). Let o be f - (-1 + -2) - 6. Solve 0*j - o = -j for j.
1
Suppose -78 = 9*d - 114. Let g(n) = -2*n + 8. Let i be g(d). Solve -r = -i*r + 3*r for r.
0
Let g(r) = -10*r. Suppose 1 = -0*j - j. Let y be g(j). Suppose 3*n + 9 = -5*z, -y - 5 = -5*z + 5*n. Solve 0*u + 2*u - 8 = z for u.
4
Let k = 1451 - 2249. Let p be (1/2)/(19/k). Let g be 24/7 + 9/p. Solve -l + 0 = g for l.
-3
Let g(k) = -17*k - 42. Let f(t) = 17*t + 40. Let a(c) = 6*f(c) + 4*g(c). Let n be a(-2). Solve n*b - 10 = -2 for b.
2
Suppose -171*w + 51*w + 14160 = 0. Solve -5*i - 98 = -w for i.
4
Let p(z) be the first derivative of 2*z**2 + 2*z + 2. Let i be p(7). Suppose -2*f = i - 40. Solve -g = -f*g for g.
0
Let b = 481 - 479. Let p be (3 - (-4 + b)) + 6 + 1. Solve 0 = 13*s - p*s for s.
0
Let x be 5/(-30)*-3*-134. Let u = 115 + x. Let h = u - 46. Solve r + h*r = -3 for r.
-1
Let d = 334 + -329. Suppose 0 = d*z + 254 - 349. Solve -4 = -3*v - z for v.
-5
Let y(o) = -o**2 - 3*o + 8. Let p = 184 + -188. Let l be y(p). Solve 0*x = l*x for x.
0
Let c = -1707 - -1747. Solve c*n - 47*n - 35 = 0 for n.
-5
Let r(c) = -7*c - 35. Let j be r(-7). Suppose -86 = -10*h + j. Solve -26*g = -21*g + h for g.
-2
Let i be (-3)/2*4864/(-16). Let b = 482 - i. Solve b - 6 = 4*k for k.
5
Suppose 91*t - 1689 = -3*d + 90*t, -t - 1677 = -3*d. Solve -107*k = 295 + d for k.
-8
Let u(c) = -c**3 + 9*c**2 - 6*c - 14. Let n(w) = -2*w + 18. Let v = -85 + 90. Let z be n(v). Let l be u(z). Solve -17 = -5*x - l for x.
3
Let y = -3085 + 3100. Solve -y*a + 2 = -13 for a.
1
Let p(n) = -n**3 + 19*n**2 + 60*n - 4. Let q be p(-3). Solve 10 = 12*w - q for w.
2
Let d = 33536 - 33528. Solve d = 16*g + 40 for g.
-2
Suppose 20 = 4*q - 5*w, -10*q = -13*q + 3*w + 12. Solve -199*m + 189*m + 50 = q for m.
5
Suppose -99*h + 158 = 5*t - 95*h, -3*h = -6. Solve -19 = -t*f + 131 for f.
5
Let c(w) be the second derivative of w**3/2 + 13*w**2/2 - 28*w. Let v be c(-3). Let q be (-4 + 18/5)/(v/(-20)). Solve k = q*k - 5 for k.
5
Let x be 8 - ((36 - 28) + 34*-10). Solve t - x = -333 for t.
7
Let k(b) = b**2 + 7*b + 7. Let z be 0 - (0 - 1 - 2). Let o be (-4)/(z - 14/6). Let p be k(o). Solve -3 = 4*w + p for w.
-1
Let l(i) = i**2 + 15*i - 134. Let n(p) = 11*p + 165. Let y be n(-17). Let j be l(y). Solve s + j = -3*s for s.
-5
Let v be ((-1232)/(-24) + -6)/(-4*1/(-6)). Solve 96 = 41*y - v for y.
4
Suppose l = -4*h + 6*l + 45, -4*l = 4. Let d(w) = w**2 + 4*w - 9. Let v be d(-7). Let i = v - h. Solve -17 + 7 = i*p for p.
-5
Let c(g) = 6*g + 51. Let p = -138 + 131. Let s be c(p). Solve 2*i = -3 + s for i.
3
Let u be 2/8 + 79/4. Let z be (-9)/(-2)*(-51)/((-29376)/640). Let h(k) = -k**3 + 9*k**2 + k - 9. Let o be h(9). Solve o = -z*n - u - 5 for n.
-5
Suppose -44*n = 41*n - 201 - 54. Let q(j) = -5 - 5*j + 1 - 1. Let m be q(-5). Solve 2*f = -n*f + m for f.
4
Let n = 199 + -204. Let g be (n - -11) + 4/(-1). Solve b - 2 = g for b.
4
Let g be ((-8)/6)/(22/198). Let h be 27/4*g/(-9). Solve t = 4*t + h for t.
-3
Suppose 3*z = 5*z - 12. Suppose 108 = -2*b + 4*b. Let j be 24/b - (-14)/9. Solve -j*v + z = -4 for v.
5
Let k = -3767 + 3773. Solve -6*d = 2*d + k*d for d.
0
Let f be (0 - -1 - -5) + -3. Let d(v) = v**3 - 6*v - 1. Let y be d(f). Suppose 9*n - 44 + y = 0. Solve -u - n = 1 for u.
-5
Let i be (1 + 8)/((4 - 10) + 5). Let a(b) = 7*b + 68. Let d be a(i). Solve -d*x = -x - 12 for x.
3
Let b = -2157 - -1437. Let m be ((-2)/3)/(30/b). Solve 10*j + m = 2*j for j.
-2
Let j(o) = o**3 - 33*o**2 + 35*o - 75. Let d be j(32). Suppose d*b + 25 = 130. Solve 0 = b*w - 0 + 10 for w.
-2
Let c = -23 + 13. Let w(n) = -n**3 - 9*n**2 + 4*n - 58. Let k be w(c). Solve -3*i + 20 = k*i for i.
4
Let n(u) = 2*u**2 - 17*u - 16. Let c be n(10). Suppose 0 = -c*a + 19*a - 15. Solve 4 = -a*p + 2*p for p.
-4
Let d = -5857 - -5911. Solve -2*b - 25*b = d for b.
-2
Let i be (75/(-15))/((-1)/(-3)). Let r = -12 - i. Suppose r*x = 7 - 4. Solve 5 + x = -3*v for v.
-2
Let k = -17891 + 17885. Let w = 1 - -2. Let h be w/k*-2 + 7 + -5. Solve h*m - 12 = -m for m.
3
Suppose 25 - 61 = -9*n. Suppose 2*v - 2 - 2 = 0. Let k(p) = -p + 1. Let u be k(1). Solve v*f = -u*f - n for f.
-2
Let d = 280 + -278. Suppose -d = p - 2*p, -3*q = p - 2. Solve q = 4*u + 9 + 11 for u.
-5
Let v(q) = -16*q - 6. Let s be v(-1). Let c = -470 - -478. Solve 13*u - s = c*u for u.
2
Let g(w) = 26*w**2 - 318*w + 118. Let q be g(12). Solve 0 = q*f - 20*f - 26 for f.
1
Suppose -p + 3*t = 3*p - 4, 4*t = 2*p + 8. Suppose 3*z + 7*z = p*z. Solve -f + 3*f = z for f.
0
Suppose 180*q - 815 = 17*q. Solve q*m + 4*m = 6*m for m.
0
Let r(c) = 31*c + 126. Suppose 363 = -10*w + 323. Let d be r(w). Solve -o + 3 = d*o for o.
1
Let l = 26096 + -26049. Solve 4*p + 19 = l for p.
7
Let n = -79 - -8. Let w = n - -74. Suppose -3*k = -w*t + 33, 3*k - 51 = -4*t - 0*t. Solve -3*l - l - t = 0 for l.
-3
Let b(c) = 59*c - 577. Let s be b(10). Solve -36 = s*h - 49 for h.
1
Let g(h) = 1303*h - 8975. Let b be g(8). Solve b*q + 88 = 1460*q for q.
8
Let h be (-83107)/(-1107) + (-2)/27. Solve h = -39*w - 81 for w.
-4
Let q(w) = w**2 - 2*w - 6. Suppose -18 = -10*l + 22. Let f be q(l). Solve 0 = 5*n - f*n for n.
0
Suppose 24 = 4*i - 4*c, -c = -41*i + 37*i + 6. Let y = 9 + 5. Solve i = -y*t + 12 + 30 for t.
3
Let f be 2/6 - (-22)/6. Suppose -3*y = 2*k + k - 138, -3*y + 122 = -k. Suppose 2*a + 60 = 5*c, -4*a - y = -5*c + 8. Solve 0 = -2*u - f + c for u.
5
Suppose 0 = 5*w + 5*m - 85, 11*w = 9*w - m + 37. Suppose 0 = w*s - 13 - 87. Solve s*d = -4*d - 9 for d.
-1
Suppose 13*j - 42 = -j. Suppose -4*t + 48 = 4*f - t, -5*f + 60 = j*t. Solve -m + f = -5*m for m.
-3
Let j be ((-14)/(-28))/((-1)/14) - -16. Solve -26*o + j = -43 for o.
2
Let j(b) = b**2. Suppose 0 = -4*m + 2*n + 2, 7 = 3*n + 16. Let s be j(m). Let q = -1 + 3. Solve q*g - 9 = s for g.
5
Let z(l) = l**2 - 16*l - 156. Let x be z(23). Suppose x*j - 225 = -5*t, -7*t + 4*t + 123 = -j. Solve -4*w - 38 = -t for w.
1
Let i(c) = 3*c - 1. Let s be 1 + 1*0/(-2). Let t be i(s). Let d be 9 + (84 + 12)/(-12). Solve 0 = f - d - t for f.
3
Let x(y) = -y**3 - 13*y**2 - 25*y - 4. Let q be x(-12). Let j = 159 - q. Solve -j*o = -4*o + 12 for o.
-4
Suppose 97 = 5*h + 2*s, 46 = -3*h - 5*s + 127. Solve h*v + 144 - 42 = 0 for v.
-6
Let v be (-38)/(-9) - ((-78)/(-27))/13. Suppose d = v*h + 23 - 1, 0 = 3*d - 3*h - 21. Solve 0 = 3*q + d - 5 for q.
1
Let c(w) = w**2 - 223*w + 2926. Let b be c(14). Solve 30*g - 15*g - 90 = b for g.
6
Let g be (-10)/(-6) - (-1)/3. Let w(v) = -9*v - 6. Let k be w(-2). Suppose 3*n - k = 6. Solve -n*c - 16 = -g*c for c.
-4
Suppose -49 = -15*m + 746. Suppose 14*i - m - 73 = 0. Solve -4*a + a - i = 0 for a.
-3
Let t = 3173 - 3162. Solve 0 = -t*x + 6*x + 15 for x.
3
Let x be 1 - (1 - (3 + -1)). Suppose 3*l - 930 = -4*f - 372, 0 = -5*f + 3*l + 684. Suppose 11*h = -39 + f. Solve k - h = -x*k for k.
3
Let j(i) = 13*i**2 - 4*i - 2. Let f be j(-1). Let u(y) = y + 1. Let d(h) = 2*h + 1. Let q(v) = -6*d(v) + 11*u(v). Let l be q(5). Solve l = a - 6*a - f for a.
-3
Let f = 23134 - 22835. Solve -309*u + f*u = 0 for u.
0
Suppose -11*q - 160 = -6. Let d be q/(-2) - -15*5/(-15). Solve 2 = d*c - 8 for c.
5
Let j be (3/24*-3)/(11/(-88)). Suppose -2*i + i = -j*i. Solve -3*r = 3 - i for r.
-1
Let c = -31 + 51. Suppose 3*x = 3*a - 18 - 69, 3*x = 2*a - 56. Solve -a*k + c = -35*k for k.
-5
Let j(n) = n**3 - n**2 + n - 1. Let r(s) = -3*s**3 - 4*s**2 - 9*s + 15. Let l(a) = -4*j(a) - r(a). Let i be l(8). Let b = -20 + i. Solve -5*y - b = 6 for y.
-3
Let g = -169 - -173. Let n be 100/(-15)*27/(-6). Let p = -28 + n. Solve g*q - 8 = p*q for q.
4
Suppose -20 = 5*y, 4*y + 16 = -2*t + 6*t. Suppose -4*w = -2*j - 30, t = j + 29 - 26. Solve 0 = n + 1 - w for n.
5
Let l(d) = -4*d**3 + 2*d + 1. Let r = 38 - 23. Suppose r = -5*j, -2*j = -m - 5*j - 10. Let q be l(m). Solve -12 = -q*b + 3 for b.
5
Let g(y) = -5*y**3 + 6*y**2 + 5*y + 3. Let h be g(-2). Suppose