2 = 0 for o.
-1
Let r(l) = l - 2. Let d be r(0). Let m = d - -11. Solve -m = 5*u + 3*b, -3*u + 2 = -b - 1 for u.
0
Let w(d) = -d**3 - 7*d**2 + 2*d + 6. Let z be w(-7). Let c = 13 + z. Solve 8 = 4*v + b - c, 0 = 5*b - 25 for v.
2
Let d = 8 - 3. Suppose 96 = -i + d*i. Suppose 4*z - 6 = -3*o + 21, z = -4*o + 23. Solve 0 = 2*v + 2*v + z*n - i, -12 = -3*n for v.
3
Suppose -2*t - 2 = -3*t. Solve -j + t*h = j + 2, -5*j - 2*h = -2 for j.
0
Let d(i) = -5*i - 13. Let j be d(-9). Suppose 4*a = f + j - 1, 4*a + 2*f - 34 = 0. Solve 3*u + 4*y + 21 - 4 = 0, a = -4*y for u.
-3
Let i(l) = -7*l - 6. Let x be i(-2). Suppose -3*v = -x - 4. Solve 3*a = 2*n, -v*n = n - 5*a + 5 for n.
-3
Let b(f) = -f**3 + 9*f**2 - 9*f + 10. Let g be b(8). Solve 5*u + 5*n + 20 = 0, g*u + 26 = -4*n + 10 for u.
0
Let w = 7 + -4. Suppose w*s = 3 + 6. Solve -f - 4 = 2*v, -5*f + s*v + 12 = 5*v for f.
4
Let a be (8/3 + -3)*-9. Solve 0*q + 16 = a*v + q, -5*v + 4*q + 21 = 0 for v.
5
Let a be (-1 - -6)*(2 + 0). Suppose d + 4*d = 25. Solve d*g = 5*v - 35, 3*v + 2*g - a = -v for v.
4
Let y = 34 - 22. Solve 0 = -3*k - m - 6, -4*m + 5*m - y = 3*k for k.
-3
Suppose -2*p - 18 = v - 5*v, 4*p = -4. Solve -4 + 2 = -k - l, -v*k + 8 = -5*l for k.
2
Suppose -2*y = 4*f - 8 + 2, -3*f = -3*y - 9. Solve a + c = 1 - 3, f*a = 2*c - 4 for a.
-2
Let i = -2 + 2. Suppose i = -4*x - m + 12, 2 = m - 2. Solve -6*v + 5 = g - 4*v, -3*v = -x*g - 4 for g.
1
Let i be (34/4)/((-4)/(-8)). Let h = i - 15. Solve 5*g = 3*f + 8, h*f - 4*g = g - 7 for f.
-1
Let c(q) = 5*q**3 + 1. Let v be c(-1). Let u(h) = -h**3 - 3*h**2 + 3*h - 1. Let x be u(v). Solve 5*s + x = 4*a, s + 2*a + 4 = 9 for s.
1
Let c = -13 + 15. Suppose 0*y = c*y - 48. Suppose -24 = 3*b - 5*b. Solve 2*m + 4*t - y + 8 = 0, -5*m - b = -3*t for m.
0
Let b = -49 + 54. Solve b*i + 0*i = 4*z - 40, -4*i = 2*z + 6 for z.
5
Suppose -2*u = -4*u + 24. Suppose -3*b = -b - u. Solve -5*d + 0*p + b = -3*p, p + 2 = 2*d for d.
0
Let g = 25 - 7. Let q = 21 - g. Solve h + q*w = -5, 3*h - 3*w = h - 1 for h.
-2
Suppose -5*w - 7 + 32 = 0. Let p = w - 5. Solve 3*g + 2*r + 5 = p, 2*g = 3*g - r for g.
-1
Let k(t) = 2*t**2 + 2*t. Let q be k(2). Suppose -5*o - q = -42. Solve 0 = -2*i - p + o, 0 = -i - 3*p + 13 - 0 for i.
1
Let q(s) = 6*s + 9. Let c be q(0). Solve 0 = -2*l - 2*l + 4*w - 12, -2*w = 3*l + c for l.
-3
Let l be ((-4)/(-5))/((-4)/(-30)). Let b = 5 - 3. Solve 3*c - 9 = b*h, 2*c + 0*c - l = -3*h for h.
0
Suppose -10*m + 31 = 11. Solve -m*q + 4 = 2*n, 3*n - 15 = 4*q + 5 for q.
-2
Suppose -3*v + 20 = -1. Let c = v + -7. Let z = c + 4. Solve -3*l + 3*k + 6 = -k, -z*k = -l + 2 for l.
2
Suppose -3*k + 4*p = -4, -4*p = -2*k + p + 5. Solve 4*g - 16 = -k*g - 4*r, 0 = -g + 2*r + 1 for g.
3
Let t be 4 - (0 + (-4)/(-2)). Suppose -4*y + 2*n = -104 - 96, -y + 41 = -5*n. Let f be -2 - y/6*-2. Solve -3*d = -f, -t*m - 3*m - 4*d = -45 for m.
5
Suppose -i - 3*i + 20 = 0. Solve 5*u + 17 + 8 = -i*m, -4*u - 10 = -m for m.
-2
Let g(a) = -2*a - 3. Let s be g(-3). Let x(z) = -z**2 + 5*z - 3. Let k be x(4). Let m be 1 + k + (2 - -1). Solve 5 = -r - p - 0, -2*r - s = -m*p for r.
-4
Let k = -23 - -24. Suppose -k = 5*j - 2*s + 1, -4*s = -j - 4. Solve 5*t + 2*g + 15 = j, 2*g + 3*g = t - 24 for t.
-1
Let x be (-3 - 1)/((-6)/9). Suppose -x*v + 10 = -v. Let f(z) = -z**3 - 8*z**2 - 9*z - 9. Let q be f(-7). Solve -19 = -0*a - a - q*o, a - 2*o + v = 0 for a.
4
Suppose n - 3 = 0, 0 = -4*l - l + 5*n + 5. Solve -v - l*t + 20 = -0*t, -3*v - t = -5 for v.
0
Suppose -9 = 3*o + 6. Let h = o - -8. Suppose -q - 21 = -h*r + 4*q, -q = -4*r + 11. Solve 3*a = 2*k - 15, -2*k - 5*a = r*k + 25 for k.
0
Suppose -2*q - 4*i + 7 = -15, 0 = -2*q - 3*i + 18. Solve -5*o - 5*b - 10 = 0, q*o - 4*b = -9 - 11 for o.
-4
Suppose -5*r + 18 = -3*q, -2*q + 4*r + r = 17. Let l be q*1 - (5 + -9). Solve -5*z = -l*k + 37, 3*z = 4*k - z - 36 for k.
4
Let h be (1/(-3))/(7/(-42)). Solve -g + 7 = 2*u, -h*u - g = -4*g - 19 for u.
5
Suppose 0 = -2*a - 3*a - 5*w, -4*a = -5*w - 45. Solve -g = -3*g + 3*m - 5, -3*g - 9 = -a*m for g.
2
Let s(v) = -2*v + 10. Let x be s(-11). Suppose x = 4*w + j, 0 = 2*w - 3*j - 10 - 20. Solve 4*k = -12 - 8, 2*k = -t - w for t.
1
Let x = 13 + -3. Solve 0 = -5*f + 4*h - 5, 5*f + x = 5*h for f.
3
Suppose -w - 2 + 5 = 4*a, -a = 0. Solve -2*s = -5*n + 33, -w*s = -0*n - 4*n + 32 for n.
5
Let l = 19 + 8. Suppose 0*d = -5*d + 20. Suppose 7 = -d*x + l. Solve y - x = -5*i, y + 5*i = 2*y + 15 for y.
-5
Let d(j) = j - 2. Let y be d(0). Let l be 0 - -2 - (y + 2). Solve 8 = l*z + 2*c - 3*c, 3*z = 5*c + 5 for z.
5
Let j = 1 - 0. Let v(i) = 7*i - 2 + 1 - i**2 - 6 + j. Let y be v(6). Solve -k + s - 2 = y, s - 32 = -4*k - 3*s for k.
3
Suppose 0 = -3*u + 11 - 2. Let i be (-1)/(-2) + 5/2. Solve -s + g = i, -u*s + g = 16 - 5 for s.
-4
Let w(s) = s + 8. Let u be w(-6). Suppose 3*q = 5*q - u. Suppose -3*a + q = -11. Solve a*c + 4 = -5*v + c, -2*c = 6 for v.
1
Suppose -2*z + 4 = m, 3*z + 4*m + 24 = 5*z. Solve 0 = 2*d + c - 2 + 5, -z*d + 4*c = -24 for d.
1
Let k be 2/(-2) - 1/1. Let f be (0/4)/(1 - 2). Let w be f*(9/3 + k). Solve 4*z = 4, -n = -z - w - 3 for n.
4
Suppose -3*i = w + 2 + 2, -w - 4*i = 6. Solve -m - 4 = -w*m + u, -2*m + 3 = -u for m.
-1
Suppose 0 = -7*c + 2*c + 20. Solve -2*o - 3*p - 7 = 0, 0 = c*o + 3*p + 25 - 8 for o.
-5
Suppose 3*u + 6 = 2*u. Let n be (-4 + 3)/(2/u). Solve 3*s - 24 = -5*l, -2*l = 2*s - n*l - 3 for s.
3
Suppose -2*k + 3 = -15. Suppose 3*w + 4*o + o - 27 = 0, -k = -3*o. Let h(s) = s. Let g be h(w). Solve 1 = q + 4*b, g*q - 1 = -b + 3 for q.
1
Suppose -4*i = -5*m - 158, -5*m - 173 = 3*i - 2*i. Let z = m + 50. Solve 5*q = 2*j - z, 3 = j + 3*q + 6 for j.
3
Suppose 5*s = -0*s + 60. Let n = s + 10. Solve -3*z + n = 10, -17 = -x - 5*z for x.
-3
Let t be 18/5 + (-18)/5 + 3. Solve m = -v - 1 - 0, -5*m + t*v = 29 for m.
-4
Suppose 4*k + x = 3*x + 34, -3*k + 4*x + 33 = 0. Solve -9 = -d + 2*r, -5*d + k = -4*d - r for d.
5
Suppose -5*c = -0*c + 10. Suppose 0 = 5*m + 25 - 0. Let f be -1 + c - (m - 0). Solve -4*r + 23 = -3*i, -f*i = -r + 20 - 8 for i.
-5
Suppose 2 - 8 = -f. Let u be (9/f)/(1/(-2)). Let k be 35/2 + u/6. Solve 3*j = 2*h - 11, -5*j + 3*h + 0*h - k = 0 for j.
-1
Let i(b) = b**2 + 2*b + 2. Let g = -4 - -2. Let z be i(g). Suppose 0*q - 3*q = -f + 37, -z*q = -2*f + 58. Solve 8*r - 3*r + 2*x = -21, -f = 3*r - 5*x for r.
-5
Suppose 2*u + 4*m = -22, 0 = 3*m - 9 - 3. Let r = -17 - u. Solve -b + 4*y + 16 = 0, -r*y = 5*b + y - 11 for b.
4
Suppose 20*a - 208 = 7*a. Solve -2*u + a = 2*u, 2*d = -4*u + 18 for d.
1
Suppose 0 = 4*k - 46 - 58. Let t be 2/5 - k/(-10). Let l = t - -1. Solve 4*c - x = -14, l*c - 2*x - x = -10 for c.
-4
Suppose 5*k = -j - 7 + 29, k = -4*j - 7. Solve -7 = -3*f + 2*i + 2*i, k*f = 3*i - 3 for f.
-3
Let a(y) = 11*y**2 + y. Let v be a(1). Solve -4*z = -4*k + v, z = -2*z - 5*k - 9 for z.
-3
Let f be -2*5/2 + 1. Let b be 3/12 + 1/f. Solve -2 = l + 2*t, b = -3*l - 5*t - 4 for l.
2
Let k(n) = 2*n - 1. Let u be k(3). Suppose 5 = 2*z - 3. Let c = z - -1. Solve 5*d + 20 = 0, u*f - 7 = c*d + 23 for f.
2
Let x be 1*-14 + (-4)/(-2). Let k be (-2 + 1 - x)*1. Suppose 4*v = 38 - 14. Solve -3*u = -o - v*u + k, -4*o + 4 = 4*u for o.
-4
Suppose -70 = -54*o + 44*o. Suppose -3*j - 2*j = 0. Solve -5*t - v + 13 + j = 0, v - o = -2*t for t.
2
Let z = 2 + -5. Let p = z - -6. Suppose 2*w - 2 = -2*l, l = -l - p*w. Solve x - l - 2 = -2*g, -20 = -3*g - 4*x for g.
0
Let u = -87 - -90. Solve -u*i - 3 = 0, -2*s - 5*i + i = 0 for s.
2
Suppose -9 = 3*a - 6*a. Suppose -a*o = -50 - 10. Solve -2*t - 3*u + o + 0 = 0, 0 = -5*t + 4*u + 4 for t.
4
Let m(j) = j - 5. Let n be m(7). Solve -2*d = n, -5*d + 3*d = -2*k - 8 for k.
-5
Suppose 0*x + 5*j + 15 = 5*x, j = -5*x - 3. Let d be 0/(-1 + 4 + -1). Solve -2*q - t + x = -5, -2*q - 3*t - 1 = d for q.
4
Suppose 2*y = s - 4, -3*s - 2*y = 3*y - 1. Solve -2*h = 2*z - 2, s*z + 17 = 2*h - 1 for z.
-4
Let j(q) = -q**2 + 14*q + 2. Let i be j(11). Suppose m + 20 = 5*h - 5, -5*h + 3*m + i = 0. Solve 0 = -2*u + 5*d - 1, h*u = -5*d + 13 for u.
2
Suppose -5*a + 12 = -7*a + 4*k, 0 = a + 4*k + 12. Let j be (a/10)/(18/(-45)). Suppose -c - 20 = -6*c. Solve c = -x, -2 = -j*z + x + 4 for z.
1
Suppose -3*o + 32 = o. Suppose -5*u + 17 + o = 0. Suppose -5*a + 35 = u*w - 0*a, 3*a = -w + 17. Solve 0 = -3*g + n + 11, -5*g + w 