12. Let t be i(3). Suppose -70 = -5*a - 2*w, -59 = -4*a + 4*w - 5*w. Let o = -11 + a. Solve -o*p - 2*g = t, -p = -2*p - 3*g + 13 for p.
-2
Let k = 23 + -15. Suppose -k*n = -9*n + 17. Solve 5*r - 40 = 4*t, 0*t + 3*r = t + n for t.
-5
Let n be 2/(-10) + (-678)/(-15). Suppose 0*x + x + 1 = 0, n = 4*k - x. Let a = -9 + k. Solve 5*o - 8 = a*z + 7*o, 8 = -2*z - 3*o for z.
-4
Suppose 3*f + 3*z = -3, 0 = -18*f + 13*f + 2*z + 30. Let g(l) = -l**3 + 4*l**2 - 2*l + 1. Let k be g(3). Solve k = -b + m, b + 0*b = 5*m - f for b.
-4
Suppose 3*c = 3*m + 324, -2*m - 5*c - 176 = 26. Let i = -104 - m. Solve -5*z + i*s + 25 = 0, 3*z + 3*s - 16 = -1 for z.
5
Suppose -28 = -6*l + 2*l. Suppose -l*c - 15 = -141. Solve -2 = -5*r + f + 26, -3*r = -f - c for r.
5
Let y(x) = -7*x - 79. Suppose -q + 3 = 0, -q + 13 = 4*i + 58. Let j be y(i). Solve 2*k = -5*b + 17, 5*k + j*b - 2 = 3 for k.
-4
Let k = 502 + -498. Solve -2*h - k*v = 2, 9*h - 4*h - 10 = 5*v for h.
1
Suppose n = 6*n - 3*m - 1, -3*m = 3*n + 9. Let h be ((-90)/(-12) - 2)*(-2)/n. Solve 5*t - 35 = 4*g, 2*t = -g + 2*g + h for t.
3
Suppose 2*g = -h + 3 + 5, 0 = -4*g + 8. Suppose -h*i - 2*i = -18. Solve -3*j + 2*j + 5*f = -i, 5*j + 12 = -2*f for j.
-2
Let o = -20 - -41. Let b = o + -27. Let s(z) = z**2 + 4*z - 4. Let g be s(b). Solve 4*i = 2*q - g, 0*i = -3*q - 2*i - 12 for q.
-2
Let l be 2 + ((-3)/1)/(30/20). Solve 3*b + 4 = -2*t - b, 2*t - 4*b - 20 = l for t.
4
Suppose 8*a = 7*a. Let y(d) = d**3 - d**2 - 2. Let q be y(2). Let i be (1/2)/(1/q). Solve -3*t = -3*z, a = -z + 4*t - i - 2 for z.
1
Let j(s) = -s - 5. Suppose 25 = -0*h - 5*h. Let b be j(h). Let g = -2 + 21. Solve o + 4*c + g = b, -o + c + 3*c + 21 = 0 for o.
1
Suppose -186*r + 16 = -182*r. Solve -3*p + 5*p - 2*x = -r, 0 = 5*p - 4*x + 7 for p.
1
Suppose -10 = -22*u + 56. Solve 5*q - y + 16 = 0, -u*q + 7*y = 4*y for q.
-4
Let f be (-4 + (-32)/(-6))*-9. Let v(x) = x**3 + 12*x**2 - 2*x - 16. Let i be v(f). Solve -4*s + 21 = -c, 2*s - 3*c + 5*c = i for s.
5
Let a = -23 + 24. Let h(r) = -3*r - 4. Let n be h(-2). Solve -a = 4*l - o, 0*o = 4*l + n*o - 2 for l.
0
Let p(m) = -m**3 + m**2 + m + 28. Let u be p(0). Let t = u + -2. Solve -2*w = -5*n + t, -2*w + n - 10 = -0*w for w.
-3
Let b(p) = p**3 + 8*p**2 - 9*p + 4. Let s be b(-9). Suppose -s*g - 4 = -12. Solve g*t - 6 = 5*v, 3*v - v + 4*t = -12 for v.
-2
Let n = -46 - -47. Let g be -1 + 7 + -3 - n. Solve 0 = 4*p + g*l + 8, -2 = -3*l + 4 for p.
-3
Suppose 6 = 2*g, -3*b + 0*g + 15 = 3*g. Solve z = 4*t + 16, t + b*z + 0 + 13 = 0 for t.
-5
Let x = -1697 - -1697. Solve 2*k - 2 - 2 = x, -2*m - k + 6 = 0 for m.
2
Suppose 35 = 2*t - 5*x + 9, -t = 3*x - 13. Solve 5*q - 9 = k, 5*k + 2 - t = -3*q for k.
1
Let i = 235 - 231. Solve 0 = -0*c - 5*c - i*w - 19, 0 = -3*c - 2*w - 11 for c.
-3
Suppose 7*r = -0*r + 63. Suppose 2*u = -x - 8, 3*u - 10 + 22 = 5*x. Solve 3*i = 5*p - r, -5*i = -x*p + 2*p + 15 for i.
-3
Suppose d - 12 = -3*d. Suppose -10*k = 2*n - 5*k - 11, -3*n = 5*k - 19. Solve 3*g + d*r = -12, 2*r = 3*g + r - n for g.
1
Suppose -59*b + 2 = -58*b + 2*x, 3*b + 5*x - 8 = 0. Suppose -11 = -3*o - 2. Suppose 2*y - 4 = y. Solve 2*l + b = -3*j, -4*l - o = y*j + 1 for j.
-4
Let p = 96 - 142. Let u = -44 - p. Solve -2*z = -z - 4*g - 14, -u*g = z + 10 for z.
-2
Let s be 8/(-108) - 896/(-432). Solve 0 = -s*m + 6*m + 5*n - 6, 5*m + n = 18 for m.
4
Suppose -10*o + 38 = -42. Suppose -2*m = 2*m, 4*m = 4*y - o. Solve -4*u + 0*a - 5*a - y = 0, -5*u = -a - 12 for u.
2
Suppose 0 = -4*r - d + 13, -4*d + 41 - 37 = 4*r. Let k = 2 - 0. Suppose k*g - 3*g = -5. Solve g*j - 3*t = -r - 8, -j - t = 4 for j.
-3
Suppose -22 = -5*t + u - 3, -2*t + 4*u + 22 = 0. Solve -5*r - 8 = -4*c, -t*r - 18 = -c - 9 for c.
-3
Let m = -12 + 12. Suppose 12*g = -m*g. Solve g*y = -y - 5, 3*b - 4*y - 32 = 0 for b.
4
Let l(m) = -4*m + 26. Let s = 143 + -137. Let v be l(s). Solve -v*u + 4*n = -4 - 18, 0 = n + 5 for u.
1
Let d = -538 - -542. Solve 5*s = d*u - 25, 0*s + 3*s - 17 = -4*u for u.
5
Let v = 6 - 1. Let j be 4/(-14) + (-324)/(-252). Let m(a) = a**3 - 5*a**2 + 2. Let c be m(5). Solve -v = 5*u, c*g + u = -12 + j for g.
-5
Let o = -139 - -142. Solve -4*u - d = 3*d, -o*u = 2*d - 1 for u.
1
Let x be (17 - 1)/(-4)*357/(-14). Suppose x = -2*t + 8*t. Solve 5*o + 3*c = t + 12, -2*o - 7 = -5*c for o.
4
Let s be 0/((-4)/(1 - 5)). Let p be 1 - (-2 - (-2 + s)). Let o be p/3*18/1. Solve -3*m + o = t, m - 2 = -2*t - t for t.
0
Suppose 20 = 2*r - 0*r. Suppose -r = 4*h + 2. Let p be 0 - -1*(8 + h). Solve 0 = 4*c - 5*q - p, -c - 4*q = -6 - 11 for c.
5
Suppose -3*j + 28 = -5*g, 3*j + 0*j = 4*g + 23. Suppose 0 = t - j - 3. Solve -3*n - 5*r - 8 = 0, t*n = -4*r + r - 7 for n.
-1
Let c be -4 - (-1 - (-5 + 4)). Let i be 8/(2 - 1) + c. Solve 0 = 2*n - i, -2*h + 3*n = n + 6 for h.
-1
Let d be -3 - (-4)/8*98. Let b be d/14 + (-12)/42. Suppose 4*o + 2*f = 12, -4*f = o - 3*o + 16. Solve -14 = -2*n + 2*p, -o*n - n = -b*p - 29 for n.
4
Let y = -280 + 280. Solve -p = -y*p - 5*b - 30, -b = -4*p + 25 for p.
5
Let i(o) = -7*o - 1. Let s(m) = 20*m + 3. Let r(a) = 17*i(a) + 6*s(a). Let f be r(5). Solve f = 4*v - 2*z, 2*z - 26 + 11 = -3*v for v.
3
Let b be 501/(-21) + (-10)/70. Let p be 3*b/(-18)*1. Solve -5*q + p*g - 9 = 0, -4*q + 4 = -2*g + 16 for q.
-5
Suppose 0*s = 3*i + 3*s, 2*i + 5*s - 6 = 0. Let a be (3/i - -1)*0. Solve -3*f - 17 = 2*q, -5*f - 3*q + a*q = 28 for f.
-5
Let b = -921 + 922. Solve -7 = -2*p + o, -3*o + 14 = 3*p - b for p.
4
Let j(i) = 2*i - 3 + 8 + 16. Let m be j(-9). Solve 0 = -2*s + s - 5*o + 5, -o = -m*s - 1 for s.
0
Suppose 5*j + 4*o - 10 = 16, 5*j + 5*o - 30 = 0. Solve 4*n - 7 = 5*y, -3 - 1 = j*n for y.
-3
Let a be 2/(-1)*(-22)/(-4). Let n = a + 12. Let o = -38 + 43. Solve o*y - 3*t = -0*y - 18, -n = -y - 4*t for y.
-3
Suppose -5*z - 5*f - 175 = 0, 2*z + 65 = 2*f - 5. Let a = z + 37. Let p(w) = 3*w - 3. Let o be p(2). Solve -3*j = o*t - 9, 4*t = -a*j - 3 + 7 for j.
4
Let g = -15 + 15. Suppose g*z = -2*z. Solve -2*w - 1 = -7, -2*b - 5*w + 11 = z for b.
-2
Let c be 4/(-22) - ((-1160)/88 + 11). Solve 3*i - c*i = 2*f + 8, -i = 2*f + 8 for f.
-4
Let r = 9 + -12. Let n(h) = -h**2 - 5*h - 2. Let m be n(r). Solve m*d - 3*d = 2*x + 3, -x + 2*d = 0 for x.
-2
Suppose -5*u + 54 = -2*u. Suppose 5*g - b = 3*g + 11, -g = -3*b - u. Solve -n + 3*c - 10 = 0, g = 2*c - c for n.
-1
Suppose 0 = 5*v - 4*h - 275, 15 = -h + 4*h. Suppose v*u = 64*u. Solve 2*r = u, -4*g = -4*r + r + 12 for g.
-3
Let r be (15/(-6))/(16/((-2688)/70)). Solve -3*l = 3*j - 7*l - 3, -r = -j + 3*l for j.
-3
Suppose 9*l = -6*l + 450. Solve 20 = -5*d, -q = 4*q - 5*d - l for q.
2
Suppose h - 6*h - 15 = -5*q, -2*h - 2*q + 10 = 0. Solve -x + 4*v + 19 = 0, 5*x + v + 11 = h for x.
-1
Let k(h) = -h**2 + 0*h + 4 - 11 - 6*h. Let t be k(-3). Solve -5*u + 3*x = 12, -t*u + 3*x - 2 = 1 for u.
-3
Let b(p) = -p**2 + 8*p - 12. Let q be b(6). Let i be 2*-1 - 8/(-1). Suppose -6 = -2*w, x + 0*x = -w + i. Solve 2*y - 6 = -g, x*y - 6 = -q*y - 3*g for y.
4
Suppose -2*t + 2*o - o = -10, o = 0. Suppose -t*r = -19 + 4. Solve 7*j - b = 4*j + 8, 16 = 5*j - r*b for j.
2
Suppose -6 = -3*k + k. Suppose -17 = -10*n + k. Solve 15 = m + n*s + 5, 0 = 5*m + 3*s - 15 for m.
0
Let i = 1826 + -1823. Solve -3*s + 21 = 4*a, 0 = 4*a + i*s + 2*s - 27 for a.
3
Let i(y) be the third derivative of y**5/30 - 7*y**4/24 + 5*y**3/6 + 18*y**2. Let c be i(3). Solve -a = -j - 0*j, -c*a + 5*j = 12 for a.
4
Let o(c) = c + 32. Let g(f) = -1. Let a(h) = 6*g(h) + 2*o(h). Let z be a(-28). Solve z*k + 40 = -3*k - 5*y, 3*y + 6 = 3*k for k.
-3
Let z = 23 + -21. Solve 2*o + 2*c - 2 = 0, 27 = 3*o - 5*c + z*c for o.
5
Let s(y) = y**2 - 5*y - 9. Let n be s(8). Let c = 18 - n. Suppose 2 - 1 = -c*x - 5*w, 5*w = -10. Solve -j = t - x, -5*j - t = -4*t + 25 for j.
-2
Suppose -2*q = -0*q. Suppose -4*u - 5*u + 54 = 0. Let o = 95 + -93. Solve 2*b + u = -4*f - 8, q = o*b + 5*f + 17 for b.
-1
Let z(g) = g**3 - 6*g**2 - 8*g + 9. Let k be z(7). Let d be (-19)/(-5) - 9/(-45). Suppose k*q = d*q - 32. Solve -4*j - v = q, -3*j + v = -v + 12 for j.
-4
Suppose 0 = 2*a - 17 + 5. Let w(q) = q**3 - 7*q**2 + 8*q - 7. Let x be w(a). Suppose 0 = -0*r + 3*r - 126. Solve o + 21 = -5*h, 5*o - x*h - 3 = r for o.
4
Let v = -5 + 7. Let s(f) = 2*f - 10. Let h be s(7). Solve v*w + w + 4*b + 23 = 0, -5*w + h*b - 17 = 0 f