 12. Let f = 1944 + -1792. Suppose -f + t = -10*v. Solve 4*y = 5*h - 21, 5*h + 5*y + v = -1 for h.
1
Let i = -3149 + 3154. Let r(a) = -2*a + 14. Let x be r(6). Suppose -3 - 7 = -x*f. Solve 0 = n - i*b - f, -3*b + 25 = 3*n + 2*n for n.
5
Let y(m) = m**3 - m. Let u be y(1). Suppose u = -3*p - 6 + 15. Suppose 7 + 3 = p*h - b, h - 3*b = -10. Solve 3*n - a = 7, -h*n + 7 = 2*a - 1 for n.
2
Suppose -34*p + 36*p - 8 = 0. Solve -2*a = p*w + 6, 0 = 3*w - 2*w + a + 4 for w.
1
Let d(n) = 9*n**2 + 5*n - 2. Let o be d(1). Suppose o*l - 25 = 11. Solve 4 + 1 = 5*k, -q + l*k + 1 = 0 for q.
4
Suppose 0 = -2*k - 2*y + 2, -2*k = -4*y + 3*y - 17. Let f be (-2 - 7/1)*(-2)/k. Solve 3*c = -5*q + 10, 7*c + 40 = f*q + 2*c for q.
5
Let o = -22 + 24. Let j be 8 + (0 - o) + (-2 - 1). Suppose 10 = 2*k, -4*b + 25 = -j*k + 4*k. Solve -i + b*i + 28 = -4*q, 2*q - 2*i + 6 = 0 for q.
-5
Suppose 2*i - c + 122 + 366 = 0, -4*i + c = 974. Let g = i - -246. Solve -3*v + 4 = -g*n - 2*v, n = 4*v + 17 for n.
-3
Let g = 2529 + -2526. Solve 8 = 2*a + 4*c, 3*a = c + g*c + 2 for a.
2
Let y(m) = -m**3 - 8*m**2 - 13*m - 4. Let t = -3 + -3. Let q be y(t). Let a be 3/3*-3 - -20. Solve 4*v = -5*c + 41, q*c - a + 3 = -v for v.
4
Let m(a) = -2*a**2 - 15*a + 132. Let f be m(5). Let q(s) = -s**2 + 9*s + 27. Let i be q(11). Solve i = -5*r, -g - f*r + 5*r = -3 for g.
5
Suppose -65*a + 21*a = 22*a - 264. Solve 0 = 2*b + i - a, -2*i + 7 = -3*b - 1 for b.
0
Suppose -3*a - g + 20 = 0, -6*a = -3*a + 4*g - 35. Let s = 9704 + -9701. Solve -x + a*j - 20 = 0, -x + 3*j = s + 11 for x.
-5
Let l be 5*(2 - 6/5). Suppose c - 200 = -4*b - 32, 0 = -l*b - 4*c + 156. Suppose -2 = -9*z + b. Solve -9 - 7 = -2*i - z*o, -2*i - o = 0 for i.
-2
Let k(o) = -5*o + 97. Let w be k(19). Suppose 2*h - 6*h + 9 = -3*p, -w*p - 7 = -3*h. Solve 4 = -2*c + 2*u, h*u + 2 = 5*c - 4*c for c.
-4
Let f(q) = -2*q - 1. Let o be f(-4). Suppose -72*h = 49*h - 37*h. Solve 0 = -3*b + 5*v - v + 29, h = -4*b - v + o for b.
3
Suppose -5*i = -0*c + 5*c - 20, 0 = 5*c - 4*i - 29. Let r = c - 2. Let b(x) = -8*x**2 + 36*x - 14. Let t be b(4). Solve r = -p + 5*o + 9, o + t = 0 for p.
-4
Let k be (-120)/(-21) - (-4)/14. Let i be (-2)/k + 26/6. Suppose -815 = -174*v + 55. Solve y + 10 = -i*p - p, v*p + 25 = 2*y for p.
-3
Suppose 2*j + 206 = 216. Let d = -6 - -6. Solve d = 4*p - 2*c - 16, 2*c = j*p + 4*c - 29 for p.
5
Let x = 995 - 993. Solve -6*y = -4*n - 4*y, 4*n + x*y = 0 for n.
0
Suppose -6*m + 120 - 30 = 9*m. Solve m*d + 5 = -4*g + 11*d, -5*d + 45 = 4*g for g.
5
Let w be ((-3)/9)/((-6)/(-36)*-1). Suppose 5*p - 15 = 45. Solve 4*t + p = t + 3*a, w*t - 4*a + 14 = 0 for t.
-1
Suppose -6*f + 408 = f - 411. Solve 113*o - 2*j = f*o + 4, 4*j + 8 = 5*o for o.
0
Suppose -28*n + 35*n = 0. Suppose -22*a + 29*a = n. Solve -c = -b - 8, 3*b + 8 = -c - a*b for c.
4
Suppose -4*h - 7 + 15 = 0. Suppose 0 = h*o - 25 - 9. Suppose 8*q - o = 15. Solve -5*r = -5*v, -q*r = -3*v - 2*v + 3 for r.
3
Suppose -4*j + 5*b = 385, -2*j + 0*j - 5*b - 215 = 0. Let k = -95 - j. Suppose 4*m - 1 = 3*v, -3*m - 1 = -k*v + 1. Solve -s = t + 3*s + v, s = 4*t + 21 for t.
-5
Suppose 2*i + 78 - 2 = 0. Let u = i + 42. Suppose -5*a + 32 = -5*x + 2, 5*a - 12 = -u*x. Solve -2*m = a*g + 10, 2*m + g + g + 4 = 0 for m.
1
Suppose 21*t + 108 = 507. Let s = -3 - -8. Suppose 17 - s = 3*d. Solve 3 = -y - d*a, -t = -5*y - 5*a + 2*a for y.
5
Let b(k) = -k**2 - 2*k - 8. Let w be b(-2). Let u = w + 10. Solve -12 = -2*s + u*x, -4*s + 0*s + 2*x = -14 for s.
1
Let d = -13994 + 13999. Solve d*f - 15 = -11*o + 6*o, 3*o - 4*f + 5 = 0 for o.
1
Suppose 5*o - 52 = 2*w, 40 = 5*o + w + 6. Solve q + o = -3*v, 84*q - 85*q = -v for v.
-2
Let v be -10 - (-16 + 20 + -28). Solve -5*d = -o + v, 3*d + 4 = 5*o - 0*o for d.
-3
Suppose 5*h + 10 = 4*b, 4*b - 24 = h - 3*h. Suppose -5*s = -4*u - 105, -b*s + 110 = -2*u - u. Solve 5*n + 2*v + 15 = 0, -s = 4*n - 0*v - v for n.
-5
Let d(f) = -672*f - 3357. Let q be d(-5). Solve -q*y + 3 = 3*r, 11 - 14 = 5*y + r for y.
-1
Suppose 60*a = 1929 + 651. Solve -5*m = -4*o + 42, -3*o = -39*m + a*m + 15 for m.
-6
Let k = 62 + -60. Suppose 68 = y - 3*t, -4*t - 132 = -0*y - k*y. Let u = y + -58. Solve -3 = p + u*w, 3*p = 7*p + 2*w - 16 for p.
5
Let v = 98 - 80. Suppose -v*h + 83 + 7 = 0. Solve -h*k - f + 22 = 2*f, -8 = 4*k - 4*f for k.
2
Let i(u) = -2*u**2 + u + 38. Let o be i(-4). Let n be (3/(-2) + o)/(7/42). Solve n*g = 2*l - 6, 6 = -2*l - 4*g - 2 for l.
0
Let x = -2 - -5. Suppose -c + 2 = 3*d, -c - 12 = -4*d - 0. Let a be (d/8)/((-18)/(-72)). Solve 0 = -x*b - 5*o + 34, -b - 6 - a = -2*o for b.
3
Let j(g) = -2*g - 6. Let l be j(-6). Let p be 15/l*(-7)/((-175)/130). Suppose 0*u - 2*x + 8 = 2*u, -3*x - p = -2*u. Solve 0*n - 5 = -5*o - u*n, 2*n = -8 for o.
5
Suppose 4*h + 3*b = 824, -3*h + 897 = -2*b + 279. Let g = h - 202. Solve 3 = 2*t - 4*q - 13, -5*t = -g*q - 10 for t.
-2
Let f = -101 + 112. Suppose 7*q - f*q = -12. Solve 0 = q*i - 2*o - 2, 2*i - o = o for i.
2
Suppose 24 = 4*z, 2*z + 233 - 245 = 2*v. Suppose 5*f - 7 = -2, -4*q = 2*f - 38. Suppose 2*y = -0*y + 10. Solve v*i + 10 = 5*i + y*u, 3*u - q = 0 for i.
-1
Let y be (-2 - -18 - 3 - -1)/2. Let z = 2 - -4. Suppose 0 = -i + 2, -i - 44 - z = -4*v. Solve 2*a - v = -2*w + y*w, -2*w - 5 = -a for w.
-3
Let j = 988 - 983. Solve -d = 4*k - 1, 5*k + j = -0*k for d.
5
Let a be 6/4*(6 - (-6 + 2)). Let d be (a + -18)/((-3)/2). Solve 5*q + 6 = 1, -d*q = -5*r + 7 for r.
1
Let y = 48 + -47. Let w(x) = 30*x**2 + 4*x - 2. Let o be w(y). Suppose 4*i + o - 48 = 0. Solve -2*f - 6 = -2*v - 2*v, 0 = 5*v - i*f - 12 for v.
0
Let u(y) = -54*y + 2. Let x be u(1). Suppose 2*o + 8 = o. Let t be o/x - (-1030)/65. Solve -5*i = -2*f + 6, -3*i = -5*f - 6*i - t for f.
-2
Let q(r) = -r**2 - 12*r - 8. Let x be q(-8). Suppose -n - y = -25, n - y - 19 = 14. Let z = n - x. Solve 5*o = -z*g, -2*g = 3*o + 3 + 2 for o.
-5
Suppose 2*n + 3 = -n. Let u be n + (-2)/4 - 621/(-138). Solve -u*m = -9, -m + 4*m = 5*p + 9 for p.
0
Suppose 4*j + f = 8, -13*f + 15*f = -5*j + 10. Solve -5*h + 6*y - j*y = -8, 3*y = -4*h + 25 for h.
4
Let p be (-2 - 12/(-8))*-4. Let z be (10/(-4))/((-15)/30). Let u be 2/7 + (-33)/(-7). Solve -25 = z*h - u*d, 0 = h - 4*h - p*d for h.
-2
Let m(y) = 2*y**2 - 10*y - 8. Let c be m(8). Suppose -9*i = i - c. Solve 0 = -5*x + 2*l - 16, 0*x - i = -x + 4*l for x.
-4
Suppose 0 = 116*l - 142*l + 78. Solve 3*s - 19 = -2*i - 0*s, 0 = -l*i - 4*s + 26 for i.
2
Suppose 3*o + 5*k - 25 = -3, -3*o + 31 = -4*k. Suppose 5*p + 17*l - 14*l = o, 4*l = -p - 5. Solve p*b - 2*b - 2*c = 5, 5*b + 5*c - 25 = 0 for b.
5
Suppose 278*r + 455 = 291*r. Let q be ((-160)/(-35))/(r/(-49) - -1). Solve 0 = 4*i - q, 5*c - 7 = -i + 3*i for c.
3
Let o(x) = -4*x**2 + 18*x + 1. Let w be o(4). Let j be (-21)/49 - w/(-21). Let k = 176 - 154. Solve 0 = -d - 5*a + 29, 3*d + j*a - k = -2*a for d.
4
Let k(d) = d**2 + 23*d + 52. Let t be k(-20). Let w be (0 + t)/(9/(-90)*-10). Let m be ((-6)/(-15))/(w/(-160)). Solve 0 = -4*c - 8, -8 = h + m*c - 3*c for h.
2
Suppose 248*a - 246*a - 30 = 0. Solve l - 2*z + 31 = 32, 5*l - 5*z - a = 0 for l.
5
Let u be (-12)/3 - (-12)/2. Let m(r) = -5*r**2 - 31*r + 31. Let n be m(-7). Solve -d - 14 = -l - u*l, 2 = -l - n*d for l.
4
Let c(t) = 2*t + 0*t**3 + 0*t**3 - t**3 - 1 + 3*t**2. Let p be c(3). Solve -6 = -g - 0*g - p*u, 5*g - 1 = 4*u for g.
1
Let f be (-41 + 9 + -5)*1/(-1). Suppose -f*y = -219 + 34. Solve 3*t + 3 + 5 = -y*g, -3*t - 7 = 4*g for g.
-1
Let a(b) = -2*b + 4*b - b - 3*b + 18. Let k be a(8). Let r be k - 2*(3 + -4). Solve -4*u - u + m = -14, r*u - 12 = m for u.
2
Let f = 11357 - 11355. Solve 5*c + 13*q = 16*q - 5, 2*c = f*q + 2 for c.
-4
Let d = -22 - -25. Suppose s - 20 = -d*s. Suppose -2*i + s*i + 12 = 3*j, 0 = 3*j + i - 4. Solve 4*x = 3*h - 8*h - 15, 2*h - j = 0 for x.
-5
Let c(q) = 3*q + 10. Let n be c(10). Let x = 54 - n. Suppose -7*i = 2*o - 3*i - x, 4*o = 3*i + 17. Solve -10 = 2*w, -2*y + 23 = 2*w - o*w for y.
4
Suppose -14*m - 8 = -9*m - 6*l, 0 = l - 3. Solve 3*d = -g + 2*g + 1, m = -2*g + 4*d for g.
-1
Suppose 92*m - 862 + 142 = 292. Solve -3*u = 3*r + 38 - 26, m = -4*u + r for u.
-3
Let n = -157 + 170. Suppose n*v = 28 + 11. Solve -v*c = -8*c - 5*h, -10 = 2*h for c.
5
Let h be 2/7 + 418/7. Let o = 15 - -41. Let p = h - o. Solve 0 = 3*l + 5*a + p, -2*l - 5*a - 1