12. Suppose -o*r + 4 + 8 = 0. Solve -r*u - w = -8 for u.
-5
Let a(o) = 18*o**2 + 48*o - 8. Let i be a(-6). Let q = 374 - i. Solve q*h + 6 = 24*h for h.
3
Let n(i) = 7 + 7 + 12 + 3*i. Let l be n(-7). Suppose 13 = 3*g + l*h, -5*g - 2 + 35 = -3*h. Solve -g = -p - p for p.
3
Suppose 4*w = -1 + 21, -3*x - w = 406. Let m = 142 + x. Solve -m*o + 8 = -7*o for o.
-4
Let z be -1 + 14 - (-112)/8. Solve 31*r - 20 = z*r for r.
5
Let h be (-28)/(-462)*22*(-30)/(-4). Solve h = -2*z + 4*z for z.
5
Let f = 7 - 9. Let o(y) = -31*y**2 - 8*y - 3. Let b(s) = 57*s**2 + 15*s + 6. Let w(l) = 6*b(l) + 11*o(l). Let u be w(f). Solve u*j - 5 = 10 for j.
5
Let f = 136 + -113. Suppose 0 = -5*y + 17 + f. Solve -3*d + y = -4 for d.
4
Let u be 271/(((-20)/(-8))/((-5)/(-2))). Let i = u + -264. Solve i*h + 6 + 8 = 0 for h.
-2
Let t be ((-1235)/39 + 31)/(2/(-12)). Solve -216*l = -215*l - t for l.
4
Suppose 51 = 4*a + 31. Let w(u) = -u**3 - 6*u**2 + 7*u + 5. Let f be w(-7). Suppose -2*t + 7 = -2*s + 1, -4*t + 5*s + 15 = 0. Solve a*l + f + 0 = t for l.
-1
Let a(n) be the second derivative of -n**3/3 - 4*n**2 + 4*n. Let l be a(-6). Let c = -501 + 526. Solve g + l*g = -c for g.
-5
Suppose -4*b + b = 3, 2*m - 14 = -4*b. Suppose m*p + 27 = 72. Solve 4*x + 11 + p = 0 for x.
-4
Let x = 19 - 15. Let f be 2 - -2*x/40*5. Solve -f*i - 16 = i for i.
-4
Let v = 2233 - 1720. Solve 10*t - 493 = -v for t.
-2
Let y(w) = 31*w**2 + 84*w + 170. Let v be y(-2). Solve -131*f + 15 = -v*f for f.
3
Let k = 12283 - 12267. Solve 22*j - k = 14*j for j.
2
Let l be 0/((-10 - -4) + 10). Suppose -6 = -3*t + 3*r, -2*r + 2 = -l. Solve -2*j - j = t for j.
-1
Let k(h) be the first derivative of h**3/3 - 5*h**2/2 - 18*h - 9. Let l be k(8). Let u = -13 + 17. Solve -5*m - l = u for m.
-2
Let x = 27675 - 27675. Solve -7*h - 7*h + 9*h = x for h.
0
Let n(g) = g**3 + 3*g**2 - 17*g + 6. Let j be n(-6). Suppose -3*u + 6*u + 75 = j. Let x = u + 29. Solve x*f = -0*f for f.
0
Let m be (2/(-44))/(1/4) - 730/(-22). Solve 0 = 16*f - 27*f - m for f.
-3
Let v be 376/14 - (-5 + (-570)/(-105))/(-3). Solve 4*f + v*f + 217 = 0 for f.
-7
Let y be ((-6)/4)/((-12)/848). Suppose -2*p + y = 36. Suppose 0*v + 4*b - 16 = v, -p = -5*v - 3*b. Solve -8 = -v*i + 4 for i.
3
Let q = 26219 - 26213. Solve -15 + 27 = -q*j for j.
-2
Let w(h) = -5*h**2 - 3*h + 26. Let p be w(-7). Let m = p - -202. Solve 0 = t - 0*t - m for t.
4
Suppose -r = -8*j + 4*j + 13, 5*j - 23 = -r. Let h be (-64)/j*((-70)/4)/5. Solve 53 - h = i for i.
-3
Suppose -2*r - 2*u - 246 = 0, 3*r - u + 359 = -2*u. Let w = 121 + r. Suppose 0 = -0*n + 2*n - 4. Solve -1 = -w*x + n for x.
1
Let v(l) = 2*l**2 - 105*l - 1320. Let h be v(-12). Solve 9*p = 165 - h for p.
-7
Let j = -143 - -145. Suppose -2*x = -6*x - j*w + 26, x = 4*w + 2. Solve -5*f + x = -4 for f.
2
Suppose -2*t + 5*t = 0. Let k = t - 23. Let v = k - -23. Solve -s + v*s = 0 for s.
0
Let z(m) = m**3 + 53*m**2 + 461*m - 55. Let g be z(-42). Let y(s) = -4*s - 5 + 5*s + 20. Let v be y(g). Solve -v*c + 0*c - 4 = 0 for c.
-2
Suppose 5*w - 7*w - 10 = -l, 6 = -l - 2*w. Suppose -l*x - 3*z + 9 = 1, 4*x + 2*z = 8. Solve 11 - x = 2*m for m.
5
Let i(a) = a**3 + 30*a**2 - a - 30. Let o be i(-30). Suppose -6*m + 33 + 21 = o. Solve -4*b + 9 = m for b.
0
Let n = 77 - 75. Let t(a) = 11*a**2 - 10*a - 3. Let l be t(n). Solve -6*i = -9 - l for i.
5
Let m = -745 + 742. Let l be 75/15 + m*(-2)/(-2). Solve w - l = -w for w.
1
Let d(q) = 3*q - 9. Let s be d(13). Let v = -18 + s. Let t(y) = 7*y + 9. Let c be t(-1). Solve 2*z + c*z - v = 0 for z.
3
Let b be (-2)/(-13) + 4940/845. Solve -b*h = -8*h + 2 for h.
1
Let i(t) = 567*t - 637. Let r be i(9). Solve -r = 3*a - 4439 for a.
-9
Let x(c) = c**2 - 2*c + 1. Let t(b) = 8*b**2 - 21*b + 4. Let n(k) = t(k) - 4*x(k). Let g be n(4). Solve g = -2*i - i for i.
-4
Let b = -401 + 399. Let o be b/2*1 - (-185 - -184). Solve 5*m + 16 + 9 = o for m.
-5
Suppose d + 6 = -q + 1, 4*q + 20 = -3*d. Suppose -3*y - 4*h - 10 = 7, -y + 4*h + 21 = d. Solve 14 = -3*r - y for r.
-5
Let a = 11 - 2. Let r be (-15)/(-2)*6/a. Suppose r*l + 19 = 49. Solve -l = g + g for g.
-3
Let h = 1 + 2. Suppose 8 - 28 = -4*s, 4*s - 20 = -h*m. Let n(g) = 337*g - 85252. Let q be n(253). Solve m = 3*r - q + 21 for r.
-4
Suppose 0 = 42*k - 222 - 156. Solve 27*x - k*x = -72 for x.
-4
Let i = 46 - 44. Let n(m) = -m**2 - 3*m - 2. Suppose 0 = -v - 5*u - 17, 3*u - 4*u = -v + 1. Let y be n(v). Solve -i*k = 2 - y for k.
-1
Let z = -440 + 485. Suppose -z - 211 = -16*y. Solve 9*p - 17*p = -y for p.
2
Let f be (0 - -2)*((-22)/(-4) + 1). Suppose f*v = 6*v. Let i be 1608/168 - (-6)/14. Solve i = -v*q - 2*q for q.
-5
Let m be (-1106)/154 + 6/33 + 64. Solve 0 = -70*q + m*q + 52 for q.
4
Let b = -138 - -136. Suppose -u - 2*u - 24 = 0. Let r = b - u. Solve -3*w + w + r = 0 for w.
3
Let m(t) = -t**2 - 2*t + 6. Let u = -264 + 264. Let x be m(u). Solve -x*w + 5 = -w for w.
1
Let y = -1644 - -1659. Solve y*j - 11*j = -20 for j.
-5
Let j = 56 - 14. Let s be (9/27)/(1/j). Suppose 4*r - 3*b = s, -r - 5*b - 1 = 7. Solve 2*o = -r*o for o.
0
Let l(o) = o**2 + o + 5. Let g(b) = 11 + 3*b + 2*b**2 + 7 - 8. Let j(w) = -4*g(w) + 7*l(w). Let r be j(-2). Solve -5*s + r = 11 for s.
-2
Let x(k) = 3*k**2 - 5*k - 23. Let a be x(-7). Let b = 174 - a. Let v be (7/(-21))/(3/(-27)). Solve v*p = -0*p - b for p.
-5
Let p be 6/39 + ((-7329)/(-91))/3. Let n be 1*4 + (27 - p). Solve -8*w - 16 = -n*w for w.
-4
Let d(l) = 2*l - 17. Suppose -108 - 44 = -4*u. Suppose -3*j + u = 8. Let x be d(j). Solve x*z = -z - 16 for z.
-4
Let s(l) = -l**2 + 69*l + 716. Let h be s(78). Solve -1 + 43 = -h*o for o.
-3
Let c(l) = -l**3 - 9*l - 12. Let u be c(-3). Solve 4*s = -u + 26 for s.
-4
Let y(w) = -1098*w**2 + 17 + 1099*w**2 - 8*w + 0. Let x = 6 - 0. Let a be y(x). Solve 0 = a*i - 8 + 3 for i.
1
Let m be 3 - 0/((-1 + 2)*-3). Suppose -a = m*a - 12. Suppose 2*x + 0*x - 3*h = 0, 3*x - 30 = -a*h. Solve 0*u - x = -2*u for u.
3
Suppose -4*p + 5*p - 6 = -2*b, 5*b = 5. Suppose 16 = -2*w + p*w - 4*s, -5*s = 5*w - 10. Suppose 0*z = -w*z. Solve z*g - 1 = -g for g.
1
Suppose -5*x + 129 - 334 = -4*v, -3*v = -2*x - 82. Let y = 43 + x. Suppose 4 - 12 = -y*s. Solve f + s = 1 for f.
-3
Let h(o) = 2*o**3 - 9*o**2 + 6*o + 3. Let m be h(6). Suppose 4*z + m + 5 = 0. Let w = -35 - z. Solve w*c - 26 + 11 = 0 for c.
5
Let h be (-2)/(-9) - (-34)/9. Suppose -760 = -7*a + 199. Let w = -128 + a. Solve d = h*d + w for d.
-3
Let s = -122 - -140. Suppose -145*t = -142*t. Solve t = 22*x - s*x for x.
0
Let n(w) = w**2 - 5*w + 1. Let c = -510 - -515. Let j be n(c). Solve 2*x - 3*x + j = 0 for x.
1
Suppose 0 = k - 3*k. Suppose 5*s - 10 = -k. Let f be (3/(-6))/(-3*s/36). Solve 0 = -8*a + f*a - 15 for a.
-3
Let h(o) = -25*o + 109. Suppose -6*i + 5*i = n, 4*n - 3*i = 28. Let f be h(n). Solve -8*r = -f*r for r.
0
Suppose -7*y = -180 + 194. Let j be -4*(-28)/8*(-1)/y. Solve -2*h + j*h = 20 for h.
4
Let x(h) = 2*h**2 - 44*h - 1. Let o be x(20). Let n be 1*-3*-3*(-9)/o. Solve -n = -5*s - 16 for s.
-3
Let u be (4 + (-15)/5)/(-1)*-2. Suppose 44 = 5*y - u*f, y - 5*f = 11 - 16. Solve y*n - n + 18 = 0 for n.
-2
Suppose 5*r - m - 689 = 0, 0 = -2*r + 2*m + 186 + 88. Solve 0 = 22*x - r - 16 for x.
7
Let k be ((-104)/(-39))/(4/(-6)). Let t be -4*(77/(-14) - k). Solve -3 - 9 = -t*v for v.
2
Suppose -6*y - 475 = -5*n - 11*y, 5*y = 4*n - 335. Solve 54 = -12*m + n for m.
3
Suppose -j = -4*o - 44 + 52, 0 = 3*o - 12. Solve a - j = 9*a for a.
-1
Let x be (-14 + 0)/((-8)/(-160)). Let b be (x/(-10))/(2/6). Let g = b + -72. Solve 0 = 5*r + 2 - g for r.
2
Let h(y) = -y**3 + y**2 - y + 21. Let j be h(0). Suppose 2897*v + 84 = 2904*v. Let a = j - v. Solve 0 = -2*r - 1 + a for r.
4
Suppose -5*k - 66 = -v, 11*v - k - 168 = 9*v. Suppose -80*m + v*m - 30 = 0. Solve 11 - m = -6*j for j.
-1
Let a be 19 - -4 - (-5 + -3 - -3). Solve -4*m + a = 32 for m.
-1
Suppose 32*h = 24*h + 24. Suppose 7*i - h*m = 6*i, -m = -5*i. Solve i = 5*a - 1 - 9 for a.
2
Let q(s) be the first derivative of -6*s + 16 - 1/3*s**3 - 7/2*s**2. Let i be q(-5). Solve 0*w = -i*w - 12 for w.
-3
Suppose 2*o - 4*o = -60. Let p(v) = v**3 - 31*v**2 + 29*v + 34. Let m be p(o). Solve 5*n = -m - 11 for n.
-3
Suppose -5*l + 10*l + 4*u = 33, 5*u + 15 = 0. Solve 8*h = 1 - l for h.
-1
Suppose 131 = -350*b + 372*b - 1. Solve