a - 2 = 2*v + 4. Solve -v*c = 0, 0 = i + c + 1 + u for i.
-4
Let y = 145 - 142. Suppose 4*v + 2*x = -x + 28, -12 = -y*x. Solve 3*k = -4*o + v - 10, -o = 0 for k.
-2
Let w = -2322 + 2340. Solve 0 = -3*q + 3*d - w, -15*d + 19 = -3*q - 11*d for q.
-5
Suppose -59 = -2*s + 13. Let x be (6 - 222/s)*-18. Suppose -5 = -5*b + 5. Solve -5*n - 2*m = 0, -b*m - 10 - 6 = -x*n for n.
2
Suppose 2*o + 3*u - 2*u = -436, -o = 5*u + 227. Let h = -217 - o. Solve n + 8 = s - h*s, -s = 5*n + 10 for s.
5
Suppose -48 = -25*i + 13*i. Solve i = -2*a - 29*m + 32*m, 5*m = -2*a - 4 for a.
-2
Let r(g) = 21 - g + 18 - 17. Suppose u = 2*u - 20. Let d be r(u). Solve 0 = 2*z + 4*i - 26, -4*z = d*i - i - 24 for z.
5
Let g(z) = 22 + 5*z**2 - 46 + 28 - 4*z**2. Let p be g(-3). Suppose 0 = 17*x - p*x - 20. Solve 0 = x*l + 7*f - 3*f - 20, l = f + 4 for l.
4
Suppose -t + 3*t - 12 = 0. Let z(r) = -2*r**3 + 23*r**2 + 71*r - 11. Let f be z(14). Solve -c = 2, -a + t = -5*a - f*c for a.
0
Suppose -316 + 346 = 6*x. Suppose 9*n - 16 = 5*n. Solve x*b + 5*z + 30 = 0, -b + 2*z + n = -2*z for b.
-4
Let h be (-10)/15*(-90)/12. Let m be 116/29*(-5)/(-4). Solve m*s - h*z = 2*s + 34, 18 = s - 3*z for s.
3
Let g be (4*(-2)/(-16))/(2/(-84)). Let a be g/(-14)*(-20)/(-15). Solve -2*b - 4*d = 14, -3*b - a*d + 7*d = -12 for b.
-1
Let n(r) = -r**3 - 88*r**2 + 56*r - 2917. Let p be n(-89). Solve 0 = -5*o + 4*j + p, 74*o - 20 = 77*o + 4*j for o.
0
Suppose 0 = 8*r + 1768 + 3440. Let v = r + 655. Solve 3*s + 3*h = -2*s + 10, 4*h = -v*s for s.
5
Let k be (21/14 - -1)*48/15. Suppose 80*s - k = 78*s. Solve 3 = v - 4*y, 0*v - s*y = -4*v for v.
-1
Let m = 18 + -13. Suppose -3*t = -3*p - 14 + m, 1 = -2*t - 5*p. Solve t*c = 5*k - 9, 27 = 5*c - k + 5*k for c.
3
Let q(i) = -2*i**3 + 4*i**2 + 11*i - 19. Let v be q(2). Solve w - 6 = -2*y + 1, -3*w + 2*y - v = 0 for w.
1
Let n be (-380 - (2 - -3))*(-24)/(-10). Let x be (-4708)/n - 2/21. Solve -s = 2*z - 4, -4*s = 2*z - x*s for z.
1
Suppose -q - a = -6*q - 1423, -5*q - 1429 = 2*a. Let f = q - -289. Solve -5*c + 3*s = 0, 2*c = -2*c - f*s for c.
0
Let a(u) = -u**3 + 8*u**2 + 34*u - 138. Let i be a(10). Solve 0*p + 4*p = -f + 19, 0 = -i*p + 8 for f.
3
Suppose -5*r + 3*l = -31, 19*r - 2*l + 6 = 21*r. Let o(x) = 3*x**2 - 10*x + 10. Let j be o(2). Solve 3*u - r = -j*v - 1, 0 = -2*u + 8 for v.
-4
Let v(x) = 8*x + 96. Let y be v(-5). Let u be (-4 - y/(-16))*0. Solve 0 = h + 3*h + 4*w, u = h - w for h.
0
Suppose 0 = -10*w + 88 - 38. Suppose w*j - 14 = -2*b + 11, -2 = j - b. Solve 4*n - i = 2, 3*n = -j*i - 2 - 4 for n.
0
Let q be 92/28 - (-4)/(-14). Suppose 0 = 12*w - 11*w - q. Suppose 0 = -4*i + 4*v + 24, -1 - 6 = -2*i + w*v. Solve -3*l - 13 = -5*a, 0*l - 4*l + a + i = 0 for l.
4
Let j = -11250 - -11257. Solve r + z - 1 = 0, j*z - 10*z = -9 for r.
-2
Let m = 116 + -74. Suppose 0 = -15*y + 17*y + m. Let v be (-427)/y + 2/3. Solve -5*a - v = -2*c, 3*c + 4 + 2 = 0 for a.
-5
Let b(m) = -m**2 - m**3 + 3*m**2 + 7 - 9*m + 7*m. Let y be b(3). Let a be ((-6)/(-8))/((-3)/y). Solve a*t - 23 = 4*h + 5*t, -3*h = t + 11 for h.
-2
Let m = -101 + 98. Let k be ((-448)/42)/(2/m). Solve 4*f + 4 + k = 0, 0 = 4*n - 2*f - 30 for n.
5
Let n(y) = -y**2 + 9*y - 7. Let b be n(5). Suppose -14*m + 3 = -b*m. Suppose 25 = 5*h, -m*k + h + 51 = k. Solve -2*u + 2*f - k = 0, -13 = -u - 5*f + f for u.
-3
Let i be ((-75)/(-5))/1 + -3. Suppose -14*b + 33 = -23. Suppose 2*f - b = 2*d + 8, -3*f + d = -14. Solve m = -4*m - 3*y + i, 12 = f*m + 3*y for m.
0
Let f = -4 + 12. Let l be (-114)/(7 - 1) + 6. Let m be 2790/390 + 2/l. Solve -5*b + 10 = -2*p, p - m*b = -3*b - f for p.
0
Suppose 38 = -51*v + 191. Solve -2*f - c + 2*c = 0, v*c = f + 5 for f.
1
Let c be 4 - 0/(-4) - 4. Suppose 10*b = 7*b + 15. Solve -d - 4 = -m, -b*m + c*d + 2 = 4*d for m.
2
Let v = -11988 + 11994. Solve 2*j + v = h, -26 = -3*j + 7*j + 5*h for j.
-4
Let v be 1*((-315)/(-72) + -2*12/64). Solve -16 = -3*z - 2*g, 3*z = -v*g - 1 + 27 for z.
2
Let s = -2725 - -2749. Solve 3*x - 3*f = 12, -11*f = 4*x - 7*f - s for x.
5
Let f(w) = -w**2 + 22*w - 103. Let o be f(7). Solve 2*j = u + 11, u + o*j - 8 = -3 for u.
-3
Let y(n) = n**2 + 22*n + 52. Let q be y(-2). Solve -4*c = q, 116*u + 3 = 114*u - c for u.
0
Let a(u) = -4*u**2 - 86*u - 116. Let y be a(-20). Solve 2*s - 5*h = -y*h + 5, 5*h = -3*s + 40 for s.
5
Let t be 1855/(-21) - 4/(-3). Let x = -49 - t. Let h = x + -22. Solve -h = -2*d - 3*i - i, -i + 5 = d for d.
2
Let z = 3701 + -3698. Solve -29*m + 33*m + z*h = 26, 4*m - 16 = 2*h for m.
5
Let n(u) = -u**3 + 4*u**2 - 9*u + 47. Let d be n(4). Solve -3*m - 4*s = -2*s - 6, 0 = m + 5*s + d for m.
4
Suppose 0 = 11*v + 483 - 703. Solve v = -10*y + 13*y + 2*r, 0 = -5*y + 5*r for y.
4
Suppose 40*f - 34*f = 1056. Suppose 0 = -f*p + 171*p + 15. Solve -p*m + c = -3*c + 15, 2*c = m + 5 for m.
-5
Let i be (-1200)/(-45) - 208/(-39). Solve 3*q = 12, i - 24 = 3*l + 2*q for l.
0
Let j(o) = -o**2 - 16*o - 17. Let a be j(-13). Suppose -8*q = -10*q + a. Suppose 0 = 3*v - q + 5. Solve -2*x = 2*g + 6 - v, -2*g + 5*x = -3 for g.
-1
Suppose 3*m + 2*y = 26, 6*m - 2*y + 16 = 8*m. Solve -4*i + p = -20, 3*i - i = 4*p + m for i.
5
Let q(w) = 2*w**2 + 146*w + 1829. Let s be q(-16). Solve -36 = 4*b + 4*r, -b = 2*r - s*r - 11 for b.
-4
Suppose -5*z - 6 = -4*c + 12, 0 = -5*c - 2*z + 6. Solve 2*x = -4*u - 22, 0 = -3*x - c*u - 2*u - 23 for x.
-1
Let z(n) = 6*n**3 - 43*n**2 + 10*n - 19. Let f be z(7). Solve 0 = 5*k + 4*a, -f*k = -39*a + 43*a for k.
0
Suppose 4*a = -51 + 59. Let g = -312 - -313. Solve -3*b - 5 = y - g, a*y + 4 = -2*b for b.
-1
Let g = -219 + 210. Let d(t) = 11*t + 102. Let m be d(g). Solve -27 - 13 = 5*z - 5*h, m*z - 5*h = -32 for z.
-4
Let d = 1384 + -1379. Solve 16 = -d*p + 3*c + c, -p = -c + 4 for p.
0
Suppose -5*z + 14*d = 9*d + 85, 0 = -4*z + d - 80. Let x be ((-252)/24)/z*(-48)/(-2). Solve -2*q - x = -4*w, w - 13 = 4*w + 4*q for w.
1
Let d = 27392 + -27389. Solve 3*c + 21 = d*o, -4*o = c - 6*o + 11 for c.
-3
Suppose -2*v + 3*v = 2*h - 630, -v + 5*h - 630 = 0. Let t = v + 642. Solve -3 = -2*q - 3*m, 0 = 2*q + 2*m - 4*m + t for q.
-3
Let p(f) = -f**2 + 21*f - 26. Let a = -12 - -30. Let m be p(a). Let j = 33 - m. Solve -5*d - 5*x = -0*x + 40, -j*x = 15 for d.
-5
Let k(g) = -2*g**2 + 3*g - g - 7*g - 12 + 4*g**2. Let m be k(4). Suppose 0 = -m*z - 3*z + 5*z. Solve -4*i + 9 = q, 4*q + 4*i - 6 - 6 = z for q.
1
Suppose -3*u + 165 = -1 - 8. Solve 2*z = -4*p + 20, 5*p + 5*z - u = -23 for p.
3
Let c = 14 + -11. Suppose c*w - 4 = w. Let p = -84 + 87. Solve -1 = -2*o + w*v + p*v, -2 = -o + v for o.
3
Suppose 0 = 5*z - 3*z + 4*j - 36, z + 3*j = 21. Let m be 4 + -2 + -4 + 2. Suppose -4 + 13 = 3*a. Solve m*i = -4*i - a*t + 13, 3*t - z = -3*i for i.
1
Let i = 74 + -69. Suppose -2*b + 8 = -5*t - 27, 0 = 4*b + 3*t - i. Solve -2*l = b*w - 12, -9*l - 4*w = -4*l - 13 for l.
1
Let s be 4 - 0 - ((-7)/14)/((-2)/4). Solve -2*c - s*v + 16 = 0, 2*c + 9 = 5*v - 7 for c.
2
Let t = 4631 + -4610. Solve 0*w + 4*w - 19 = 3*a, 5*w - a = t for w.
4
Suppose 3*t + 4*l = 74, -5*l + 97 = 6*t - 2*t. Solve 4*g + 28 = -2*k, t = -6*g + 4*g - 2*k for g.
-5
Suppose -34*i + 27*i - 42 = 0. Let c be 4/(-28) + 136/(-28) - i. Solve -4*o + 5*q - 8 = 0, -5*q + 1 + c = -o for o.
-2
Let y(g) = -6*g - 56 + 9*g**2 - 13*g + 8*g**2 - 18*g**2. Let c be y(-14). Solve 0 = -5*f - 2*x - 4, 4*f - 4*x = 3*f - c for f.
-2
Let d be 8/(-44) + (-4800)/(-22) - 3. Suppose 5*t + 200 = d. Solve 10 = 2*z - 2*x, t*x - 5*x - 10 = 5*z for z.
0
Suppose -d + 38 = 26. Suppose 4*z + 4 = x + d, -x = z - 2. Solve -v + 1 = x, -g - 2 + 3 = 5*v for g.
-4
Let w be (-2)/((-132)/(-77))*(-6 + 0). Suppose 20*a - w = 73. Solve 5*c + 3*f = -3 + 2, -5*c = -a*f - 13 for c.
1
Let n = 9453 + -9446. Solve 4 = k + 192*f - 195*f, -3*k + n = -4*f for k.
1
Suppose 19*i - 497 - 491 - 380 = 0. Solve 5 = -5*h + 5*m, 70*h - 12 = i*h + 3*m for h.
-3
Let c = 5791 - 5789. Solve 2*h - 10 = 4*s, 13 = 12*h - 7*h + c*s for h.
3
Suppose -13*f = 16*f + 55*f. Solve -14 = -f*s + s - 4*x, 0 = s + 3*x - 14 for s.
2
Let f = 773 + -782. Let h(y) = y**2 + 16*y + 65. Let x be h(f). Solve 0 = 5*g - 25, 2*o + g = 15 - x for o.
4
Suppose -10*t - 5*t - 43 + 463 = 0. Solve 0 = -4*s + 4*z - t, -26*s - 3*z + 3 = -23*s for s.
-3
Let h(z) = 2*z**3 - 156*z**2 + 303*z + 82. Let m be h(76). Solve 0 = 2*d