 4*i - 3*y + 12, -55 = 5*i + 5*y. Let c = 12 + i. Solve 0 = -5*v + c*k + 12 + 18, 5*k + 18 = r*v for v.
4
Let a(z) = z**2 + 19*z + 72. Let i be a(-14). Solve i*c - 10 = 2*b, 3*c = 6*c - 4*b - 20 for c.
0
Let q = 15 + -10. Let c = -61 + 42. Let i = c + 24. Solve 2*d = -3*v + q*d + 18, i*v = -4*d + 21 for v.
5
Let c = -1467 + 1473. Solve -7*k - 4*f + 11 = -c*k, -4*k = -2*f + 10 for k.
-1
Suppose 267*p = 269*p - 6. Solve -3*z = 2*z, p*v + 5*z - 15 = 0 for v.
5
Suppose 5*g = -5*t - 5, 23 + 8 = -g + 5*t. Let u = 9 + g. Solve -5*p = -3*p, 6 = u*l + 4*p for l.
2
Suppose 5*y + 8 = -2*b - 22, -2*y + 4*b = 36. Let a be (0 + (-44)/y)*2. Solve -t + 2*v + 0 = -a, -5*t - 5*v - 20 = 0 for t.
1
Let n be (6/(-7))/(-3 - 152/(-56)). Solve r - n + 5 = 2*x, 0 = 4*x - 5*r - 16 for x.
-1
Let k(g) = -g**2 - 4*g + 6. Let m be k(3). Let o be (-10)/(-4)*(-12)/m. Suppose -o*a = -3*a. Solve 4*x = -a*x + 5*d - 22, 0 = 5*d - 10 for x.
-3
Let p(b) = 2*b**3 + 16*b**2 - 16*b + 20. Let u be p(-9). Solve u*m + 3*k + 3 = -2*k, -5*k + 21 = -4*m for m.
-4
Let b(w) = -20*w - 6. Let j be b(-2). Suppose 4*z + 1 = 3*o - j, 3*z = -o - 10. Solve o*h = 3*r - 10, -2*h = -4*r - 7*h - 10 for r.
0
Let i(k) be the second derivative of -k**5/20 - 7*k**4/12 + k**3 - 4*k**2 - 3*k. Let r be i(-8). Solve 3*b - r = -4*z, -3*z + 31 = -3*b - b for z.
5
Suppose 54 - 62 = -4*b. Solve b*f = -5*a - 16, -5*f + 0*f = 3*a + 2 for f.
2
Suppose 4*f = -13 + 29. Suppose f*b + 3*p + 27 = 0, p - 2*p + 7 = -4*b. Let r be 24/4*(-2)/b. Solve -4*i - 3*j - r = 10, -5*i + 3*j - 4 = 0 for i.
-2
Suppose 0 = 2*r - 2 - 6. Suppose 3*p - 5*w + 5 = -0, -3*p = 4*w - 31. Suppose n - p*a = -5, 30 = n + 3*n + 5*a. Solve j - 6*j - 24 = l, n*l + r = 4*j for j.
-4
Suppose 0 = 6*h + 632 - 614. Let x be (-4)/14 - (-10)/(-14). Let r be (-1)/((-1)/h*x). Solve -3*y - 5*s + 18 = 0, 0 = -y - s + 1 + r for y.
1
Let j = 68 - 14. Suppose -11*r + 5*r + j = 0. Solve 0*a + 5*h - 9 = -2*a, 5*a + 2*h = -r for a.
-3
Let y(t) = 22*t - 22*t + 3*t**3. Let l be y(1). Solve l*h + 13 = -5*c, h - 24 = 3*c + c for h.
4
Let o be (-4)/(-8) - 34/4. Let h be o*((-8)/(-4) + -1). Let i = -3 - h. Solve 0 = 5*w + 4*n + 36 - 14, n = -w - i for w.
-2
Let q be (-136)/32 + 4 + (-10)/(-8). Solve -b + 14 = -4*f - 5, -4*b = -f - q for b.
-1
Suppose 14*l - 12*l = 5*b - 21, 0 = l - 4*b + 18. Solve 0 = -l*x + 5*o + 33, -2 - 2 = 4*x + 4*o for x.
4
Let a = 214 - 210. Solve 0 = -f + 5*s - 16 + 1, 0 = -a*f + 2*s - 6 for f.
0
Suppose -5*c + 0*c - 4 = -2*t, -4*t - c + 8 = 0. Suppose -8*r + 57 = -79. Let y(i) = -3*i + 74. Let v be y(r). Solve 2*l - 6 = t*a, -a + v = 2*a + 5*l for a.
1
Suppose -21 = p + 3*z, 4 = -3*p - 4*z - 34. Let y(v) = v**3 + 5*v**2 - 9*v - 14. Let o be y(p). Solve -4*a + b - 2 = -5*a, o*b = 0 for a.
2
Let a(n) = n**2 + 14*n + 26. Let t be a(-2). Let g be 108/135*(-10)/(-4). Suppose -2*r = -r. Solve g*u = t*x - u + 13, u - 5 = r for x.
1
Suppose 0 = 2*v - 21 - 17. Suppose 0*j = 2*j + 3*l - 25, -5*l = -j + v. Suppose 2*y - j + 2 = 0. Solve -y*p - 7 = -2*p + t, -5*p - 15 = -5*t for p.
-2
Let m(y) = 2*y**2 - 29*y + 99. Let n be m(9). Let s(q) = 3*q**2 - q - 1. Let p be s(-1). Solve n = 5*w - 3*u + 30, 0*w = 4*w + p*u - 3 for w.
-3
Suppose 7*k = -9*k. Suppose 0 = 5*z - 25, k*a - 15 = -a - 3*z. Solve -2*d + u = -6*d - 8, -u = a for d.
-2
Let g be -5 + (7 - 0/((-5)/(-1))). Solve g*r + 2*r = 5*a, 4*a = 0 for r.
0
Suppose u + y + 4 = 3*y, 4 = 2*u + 2*y. Solve 2*q - 5*i - 2 = u, 2*q - 3*i + 1 = -1 for q.
-4
Suppose 11*v = -3*v + 14. Suppose 4*a - 4 = -5*y, -2*y + 2*a = y - 20. Suppose -16 = -4*t + y. Solve t*d - 2*x = 15, d - x = v + 2 for d.
3
Let x = -24 - -23. Let f(t) = 5*t**2 - 1. Let l be f(x). Suppose -2 = -3*w + l. Solve -4*z + 2*v = -4 - 16, -v + 2 = w*z for z.
3
Suppose 26*t + 1247 = 69*t. Let s = 5 - 1. Solve -5*k - 37 = s*v - v, 5*k + v = -t for k.
-5
Suppose 4*o = 3*d - 10 + 16, 2*o = -3*d + 12. Solve -3*a + 7 = 2*k, 4*k - 2*k - o*a = 13 for k.
5
Let p = 173 + -173. Solve -5*h - r - 3*r + 9 = p, 2 = -3*h + 5*r for h.
1
Let m be 4/10 + (-26)/(-10). Let z be ((-2)/(-5))/(m/30). Let i = z - 1. Solve 0*u = a - i*u, 2 = 2*u for a.
3
Suppose -2 = -2*f + f. Suppose 2*c - 7*p = -2*p + 93, 3*p - 53 = -2*c. Let v = -28 + c. Solve 0 = 2*b + 3*o - 1 - 9, b + f*o - v = 0 for b.
2
Let f = 1922 + -1922. Solve f = 8*p - 7*p + 2*i - 1, -2*p + i = -7 for p.
3
Let n be 0/(-6 + 8 - 3). Solve 2*w + 14 = -2*d + 4, n = 5*d + 5 for w.
-4
Suppose s = -2*l - 16 - 36, 5*l + 160 = 5*s. Let g = 32 + l. Solve 3*q = b + 14, -g*q - 5*b = 2 - 8 for q.
4
Suppose 0 = -10*b + 27 + 153. Solve 2*o - 5 = -4*y + 11, 0 = 4*y + o - b for y.
5
Suppose -4*i - 20 = -4*f, -9*f + 3 = -10*f - 3*i. Solve 5*v - 2*k + 1 - f = 0, -2 = -v + 2*k for v.
0
Let v(k) = -2*k - 20. Let c be v(-13). Suppose c = -4*r + 7*r. Solve r*d + 7 = -3*w, 8 = -d - 4*w - 3 for d.
1
Suppose 6*m = 8*m. Suppose -s + 1 + 3 = m. Let r be 6 + -3 + s + 1. Solve -3*h - 2*u + 26 = 3*u, 2*u = r for h.
2
Let r(x) = x**2 - 35*x - 114. Let v be r(38). Solve 4*l + m = -m, v = m for l.
0
Let q = -10 + 14. Suppose -2*c = -q*c + 14. Suppose 15 = -5*s, -2*d + c*d - 5*s = 100. Solve 4*k = 5*w + 6 + 15, -3*k + 5*w = -d for k.
4
Suppose 7*u - 4*u + 24 = 3*i, -5*i + u + 24 = 0. Suppose -5*d + 5*r + 100 = -0*d, 0 = -i*r - 12. Solve -5*n = 4*c + 25, 5*c = -n - 9 - d for n.
-1
Let k = -41 - -35. Let g be ((-26)/3)/(k/9). Solve -6 = 5*i + 2*c, 5*c + g = -2 for i.
0
Suppose -71*o = -85*o + 182. Solve 9 = -3*z + 2*p, -3*p + o + 2 = -5*z for z.
-3
Suppose 5*v = f + 25, 27*v + 20 = 31*v - 2*f. Solve 10 = -v*u - 15, -18 = -o + 4*u for o.
-2
Let n = -395 + 399. Solve 2*m = -m - 3*a - 15, -2*m + 4*a = n for m.
-4
Let f(i) = 4*i + 36. Let k be f(-8). Let m be k + 2/(-2) + -3. Solve 2*c + 4*h = 10, 5*c + h - 25 = -m*h for c.
5
Let h = -317 + 320. Suppose -3*o + k = -4, 3*k = -2*o + 5*k. Solve -o*v + 13 = h*n, 7*v = n + 2*v + 7 for n.
3
Let a(b) = -b**2 + 21*b - 93. Let x be a(14). Solve -f + 0*f - x = 0, f + 5 = -5*v for v.
0
Let s be 3/((-7)/(-7)) + 1 + 11. Suppose 0 = -j + 5*j + 5*u - 30, 0 = 5*u - 10. Let z = j + 6. Solve -5*c = -4*i - z, 4*c - s = -5*i + 2 for i.
1
Suppose 2*s = 7*s + 60. Let l be (s - -17) + (-1 - 0). Solve l*z = 2*z + 2*t - 2, 5*t = 3*z + 3 for z.
-1
Let m(n) = -n**2 + 10*n - 11. Let z be m(2). Suppose 4*j = 9 + 3. Suppose k + j = z. Solve -2*d + 4*d = -5*i - 12, k*d + 2*i = -6 for d.
-1
Suppose 0*m - 4*j - 16 = -2*m, 0 = -2*m + j + 7. Let i = 36504 + -36501. Solve 2*l - r + 4 = 4*l, m*l - i*r = 12 for l.
3
Let b be -11*6/(-2) + (-10)/(-5). Suppose 12*q = 7*q + b. Solve -l = -4*f + q, -l - 4*f + 5 = -4 for l.
1
Suppose 5*n + 5*x - 6 = x, -2*x + 4 = 3*n. Suppose 0 = -n*b - 12 + 14. Solve 0 = 2*c - 2*o + b + 1, 3*o = 0 for c.
-1
Suppose 0 = 7*c - 22 + 1. Solve c*t + 2 - 7 = r, 0 = -2*r + t - 5 for r.
-2
Suppose -2*j = 35*j. Solve -6 - 10 = 5*l - 3*k, 5*l - k + 12 = j for l.
-2
Let h = 7 + 1. Suppose 5*o - d - 11 = 0, -2*d - d = -5*o + 13. Suppose -3*k + 3*n + 97 = 2*k, -3*k = o*n - 62. Solve -3*g + m + k = -7*g, -h = 2*m for g.
-4
Let u(x) = -x**3 + 10*x**2 + 12*x - 11. Let f be u(11). Let s be 6*(-3)/(-9) + 0. Solve -11 = 3*o - s*k, 3*o + 2*o - k + 9 = f for o.
-1
Let a(j) = -2*j**3 + 9*j**2 - 8*j - 1. Let x be a(3). Suppose -3*f + 5*f + 4 = 4*c, -5*c + 2 = -4*f. Solve x*v = -0*d - 5*d - 12, -4*d + f*v = 6 for d.
-2
Let d(o) = o**3 - 3*o**2 + 8*o - 20. Let i be d(3). Solve -5 = -2*v + 5, 0 = -i*s + 2*v - 18 for s.
-2
Let f(g) = 4*g**2 + 3. Let c be f(0). Solve -c*w - 6 = 0, 4*d + 3*w = -2*w + 10 for d.
5
Suppose 3*p - 5*p = -36. Let q(i) = -i**2 + 18*i + 4. Let y be q(p). Solve -y*d - 5*n = -13 - 4, 13 = 4*d + n for d.
3
Suppose -14 = -3*g + g. Let w(z) = z**2 + 7*z - 29. Let d be w(-10). Let x be 3 + -5 + d + (-2)/(-2). Solve 0 = -m + a - x*a - g, 0 = -4*a + 8 for m.
-5
Suppose 36*r = -35*r + 355. Solve -r*u - 5*y + 16 = -4*y, -3*u = 3*y - 12 for u.
3
Let u(w) = 3*w**2 - 2*w - 2. Let d be u(3). Suppose 0 = 3*n - 12, -2*l + 61 = 5*n + d. Solve 4*m + l = t, 3*t = -2*m + 3 - 26 for m.
-4
Suppose 45 + 10 = 11*n. Suppose 5*s = 4*b + n, -4*s = 3*b - 0*b - 35. Solve 4*m + 3*v + 14 = -17, 4*m + s*v + 41 = 0 for m.
-4
Suppose -20 = k - 6*k. Suppose 0 = 48*f - 55*f + 28. Solve -j - k*s + 9 = 0, -f*j = -3*j + s for j.
-3
Let c = 2589 - 2584. Let g