a**2 + a + 1. Let q be r(y). Let p be (-6)/q*(-8)/(-6). Solve 2*d + 7 = 3*g, -3*d - 4 = -4*g + p for g.
5
Suppose 4*p + 0 - 16 = 0. Solve -3*r - 2*r = -5*i, i - p = -3*r for r.
1
Let u(x) = 2*x**2 + 3*x + 2. Let f be u(-2). Solve s - 4 = -a, 0 = -f*s + 3*s - 5*a for s.
5
Let v = -3 + 12. Solve 0 = 3*x + 5*g - v, -3*x + 7*x - 4 = -4*g for x.
-2
Let t = -60 + 62. Suppose 0 = -g + 5*g - 20. Solve -2*m - 3 - t = f, -g*f - 3 = -m for m.
-2
Let l = -4 - -2. Let i(u) = -u**3 - 3*u**2 - u + 2. Let k be i(l). Solve k*y - 2*o = -2*y - 18, 0 = 4*o - 20 for y.
-4
Let x be 47/9 + 14/(-63). Solve c = u + u - 8, 0 = x*u - c - 17 for u.
3
Suppose 0 = -y - g - 2*g - 13, 5*y + 4*g + 10 = 0. Let r(f) = -y + 6 - f + 1. Let c be r(0). Solve -4*o = -5*o - 2*l, -c*l = -o for o.
0
Let x(q) = -6*q - 4*q + 17 + 11*q. Let r be x(-15). Solve 0 = -3*d + 4*z + 6, -4*d - r*z - 14 + 0 = 0 for d.
-2
Let f(t) = -t**3 + t + 5. Let c be f(0). Suppose -15 = -4*l + c. Solve l*v - 5 = -2*p, -4*p + p = 2*v - 13 for p.
5
Suppose 3*g - x = 17, -3*g + 11*x = 14*x + 3. Solve -h + 4*f = -3*h + 6, 0 = -4*h - g*f + 16 for h.
5
Suppose 5*v - 5*d = 80, 5*v - 3*d = 25 + 47. Let h be (-2 + 6)/((-8)/(-48)). Let x = h - v. Solve -4*f = -y - x, -5*f + 8 = -5*y - 7 for f.
3
Let t be (-7)/28 - (-2)/8. Solve t = -4*x - 3*u - 10, -10 = 5*u - 0*u for x.
-1
Suppose 8*c + 6 = 11*c. Let o = 8 - 2. Suppose -c*w = -5*w + 3*n + o, -5*n + 14 = 3*w. Solve -w = 4*j - 4*d - 7, -2*j - 2*d + 2 = 0 for j.
1
Let x = 113 - 106. Solve -3*f - 3*d + 4*d + x = 0, 5*f + 5*d = -15 for f.
1
Suppose 16*k - 12*k = 12. Solve 7*a - 2*a = k*f + 25, 3*f = 3*a - 15 for a.
5
Let g be (3 + 10/(-6))*3. Let u be g + -2 + (0 - -1). Solve -4*l = -u*l - 2*i + 6, -5*i + 10 = 0 for l.
-2
Let u = -2 - -2. Suppose 5*z - 8 = z. Let n = 194 - 192. Solve -z*x = y - 6*y - 6, u = n*y for x.
3
Suppose 0 = -5*x + 3*q + 19, -23 = -5*x + x + 5*q. Solve -x*y + 15 = y + n, -3*y + n + 9 = 0 for y.
4
Let f(g) = 3*g**2 + g + 1. Let h be f(-1). Suppose 6*z - 24 = h*z. Solve -4*s = r, -s + z*r = 3*r - 21 for s.
1
Suppose 0 = -6*o + 3*o + 360. Suppose 3*y + 15 = 6, 5*y - o = -3*u. Solve -f + 4*f = -h - 17, 0 = 5*h + 5*f + u for h.
-5
Suppose 0*s - s - 12 = 0. Let l = -8 - s. Solve -b + l*v = -1 - 3, 0 = -3*b + v + 12 for b.
4
Suppose -62 = 4*j - 70. Solve 1 = j*c + 2*n + 3, 5*c + 4*n + 8 = 0 for c.
-4
Let r be 1/1 + 1 - -17. Suppose 1 = 3*k + h - r, -2*k + 14 = h. Let q be 1*(-39)/(k/(-2)). Solve 5*o = 4*l - 9 - q, 3*l - 5 = -2*o for o.
-2
Suppose -15 = -5*c - 5. Solve -5*z - 4*k - 15 = 0, 3*z + 3 = c*z - 3*k for z.
-3
Suppose -4*a = 16, -5*a - 29 - 7 = -4*u. Let l = -3 - -8. Let o be 2/(-6) + (-2)/(-6). Solve 4*d + 2*s = -10, -d - 6*s + u*s + l = o for d.
-5
Let b be 0 - (0 + -3) - -1. Suppose -115 = -3*q + 17. Suppose 2*r - 6*r = -q. Solve 5*a + b*x - 5 = r, -4*x = 2*a - 4 for a.
4
Let q(m) = -m - 8. Let t be q(-11). Suppose t*j - 16 = 5. Suppose 3*u - 1 = -2*d, 2*d = -2*d - 5*u + j. Solve 3*x - d = 4*a, 4*a = a + 5*x - 6 for a.
-2
Let r be 9/(0 - (-9)/6). Suppose 0 = -r*k + 2*k + 500. Suppose -5*v + k = -0*v. Solve -3*b - 19 = b - 3*m, 0 = -5*m + v for b.
-1
Suppose v - 1 = 2. Suppose -4*j - 2*a - 6 = 0, -2*j - 5 = 2*a + 3. Suppose y - 3 - j = 0. Solve 0*h = v*r - 3*h - 6, y*r + 2*h + 10 = 0 for r.
-1
Let i = -33 + 48. Suppose -95 = -5*l - i. Solve 5*k - 8 = -o + l, 8 = o + k for o.
4
Let k = 42 + -25. Suppose 2*d - 4*d = 8. Let c = -2 - d. Solve c*i = -4*q - 10, -k = q + 3*q - 5*i for q.
-3
Let b be (-20)/(-60) - 3/(9/(-5)). Solve 7 = -b*w + 3*r - 16, 2*w + 28 = 4*r for w.
-4
Let p be (30/27)/(-5) - (-33)/27. Solve 9*h + 2*r = 4*h + 12, -3*r = -2*h + p for h.
2
Suppose -2*p + a + 3 = 0, -a = -1 - 2. Solve -3*i - c = p, 0*c + 4 = -4*i + 2*c for i.
-1
Suppose -7*b + 76 - 13 = 0. Solve 2*j - b = -5*u, 4 - 19 = -5*j - 5*u for j.
2
Suppose -m + p - 9 = -2*m, 4*m - 31 = -3*p. Suppose 0 = -m*l + 3*l + 1. Solve 5*c + 3*s = 7, -5*s = 4*c - 2*c + l for c.
2
Let h be (-5 + 11)/(-2) - -3. Solve h*d - 2 = -d, 5*b + d = 17 for b.
3
Let m be (5*-1)/(-1) + 0. Suppose -36 = -x - 31. Solve -c + 8 = -x*y, -3*y = m*c - 6 - 6 for c.
3
Let t = -10 + 12. Solve 2*n + 4 = -o + 5, 0 = -4*o - 5*n - t for o.
-3
Suppose 0 = h - 0*h - 6. Let w = h - 3. Let b(x) = x**2 + 3*x + 1. Let o be b(4). Solve -2*d - 5*u = 9, -w*u + 5 = -5*d + o for d.
3
Let n(w) = -3*w**3 - w**3 + 5*w**2 + 6 + 3*w**3. Let x be n(5). Suppose o - 4*f + 8 = 0, f - x = -2*o - 2*f. Solve y - 3*v - 2 = 0, 10 = -5*y - 5*v - o for y.
-1
Let z = -32 - -41. Solve 2*t - 2 = -4*x, 3*t = x + z + 1 for x.
-1
Suppose -7*c + 12 = -86. Solve -17 = -4*b + 5*i + 1, -4*b = -3*i - c for b.
2
Suppose -4*k + 16 = -8. Suppose -r = -k*r + 20. Solve 4*y - 20 = r*h, 0 = 4*h + 4*y - 0*y - 12 for h.
-1
Suppose -5*u = 5*n - 6 + 1, -4*u + 3*n + 32 = 0. Solve -u*f = 2*o + 19, 5*o + 10 = -9*f + 4*f for f.
-5
Let h(p) = p**2 - 7*p - 18. Let g be h(9). Solve -4*b + 12 = 2*q, g*q - 2*q + 6 = 2*b for b.
3
Let u = -129 - -131. Solve -u*k - 4*v + 0 = 2, -3*k + 3*v + 15 = 0 for k.
3
Suppose 0 = 5*w - 5*m - 15, -2*w + 3*m = 7*m. Solve 3*r + w + 1 = s, 5*r + 2*s - 6 = 0 for r.
0
Let a(v) = v + 7 + 2 - 2. Let i be a(-5). Let q be (i - (-9)/(-6))*4. Solve q*d = 10, -7 + 0 = 2*o - 3*d for o.
4
Let q be (-2)/((-33)/9 - -3). Let l = 9 - 6. Solve -3*k - 2*u = 10, q*u = k - l - 12 for k.
0
Let s(n) = -n**2 - 15*n - 11. Let o be s(-13). Let c = 17 - o. Solve -4*m = -6*m + d + c, -m + d = -1 for m.
1
Suppose -l = 3*m - 0 - 4, -4 = 2*m - l. Let w(j) = 2*j. Let s be w(1). Suppose -s = -o + 2. Solve m = -4*x - o*a, -7*x = -2*x - 3*a + 32 for x.
-4
Let p(r) be the first derivative of r**3/3 + 5*r**2 + 4*r - 5. Let j be p(-10). Solve -w - j*z + 18 = w, -2*z = -2*w - 6 for w.
1
Suppose -g - 5*u + 52 - 15 = 0, 0 = -g + 2*u + 2. Solve -3*v - 22 = -3*p + 8*p, -g = 3*p + 3*v for p.
-5
Let n be (-1)/2 - 10/(-4). Let g(k) = -1. Let t(p) = -2*p + 2. Let a(l) = 6*g(l) - t(l). Let u be a(6). Solve -28 = -4*q + u*i, q + n*i = -0*i - 8 for q.
2
Let z = 19 - 14. Suppose 45 = n - z*o, 2*n - 2*o = -7*o + 30. Solve 0 = -b - 5*c + 23, -3*b - 4*c + n = -0*b for b.
3
Let t(v) = v + 4. Let g be t(0). Let x(n) = 6*n**3 - n**2. Let j be x(1). Suppose 2*m - 5*m + 12 = 0. Solve -m*h + 31 = -j*w, w + 6 + 13 = g*h for h.
4
Suppose -5*h = 4*z + 1, 0*h + 4*h = -4*z. Let w = 3 - 1. Suppose 3*i - 2*p = -w, 2*i - 8 = -5*p + 16. Solve 2*m - 1 = i*q + z, q + 17 = 5*m for m.
4
Suppose 5*b = -2*c + 20, 4*b + 20 = 9*b + 5*c. Solve 45 = 5*t - 5*l, -b*t - l - 4*l - 9 = 0 for t.
4
Suppose -3*r - 3 = 3*a, -5*a + 5*r = -3*a - 12. Let n(m) = 4*m - 2. Let t be n(a). Solve 5 = v - t*u, 2 + 18 = 4*v - 5*u for v.
5
Let o = -105 + 127. Solve -2*c - 2 = -4*k, -k = c + 3*c + o for c.
-5
Let y = 38 + -34. Solve 0 = b + x + y*x - 17, 4*b - 4*x + 4 = 0 for b.
2
Let c = -14 - -27. Solve 3*p + x + 8 = 0, -4*p - x + 2*x = c for p.
-3
Let h be (2 + 2 - 2) + 4. Let z be (4/2)/(2/h). Solve z = 3*f + s, 0*f - 2*f + 2*s - 4 = 0 for f.
1
Suppose 2*v + 3*n - 6 = -0*n, -9 = -3*v + 5*n. Solve 0 = -5*w + v*m - 10, 2*w - 4*m + 2*m = 0 for w.
-5
Let r(o) = 22*o - 28. Let k(a) = 7*a - 9. Let j(w) = 10*k(w) - 3*r(w). Let q be j(6). Solve 0 = -3*h + 4*n - 22, -h + 0*n = -4*n + q for h.
-2
Suppose -3*j + 0*j - 18 = 0. Let s be j/(-27) - 64/(-36). Solve 5*d = -5*w + 30, -s*d + 10 = 2*w - w for d.
4
Suppose 10 = 2*k - 3*l, -5*k + 34 = 5*l + 9. Suppose -2*n = -3*u + 5, 3*n - 3 = 2*u + 2. Solve -t + 5*t - 4 = 2*m, -5 = n*m - k*t for m.
0
Suppose -6*l = -4*l - 4. Let a = l - -2. Let c be -1 + 0 + 0 - -4. Solve a*j - 3 = -3*p, 0 = 4*j - 2*p - c*p - 27 for j.
3
Let c be 26/8 + 2/(-8). Suppose -4*t = -c*t - 2. Let q = t - 0. Solve 0 = 4*p + 2*n + 24, -q*n + 1 = -p + 5 for p.
-4
Suppose q - 9 - 6 = -4*l, 0 = -4*l - 2*q + 14. Solve -g = l*c - 4 - 5, -5*g + 24 = -c for c.
1
Suppose 16 = 4*j - 3*k + k, 3*j + 2*k = 5. Solve -19 = 2*z - j*f, 0 = -0*z - 4*z - 3*f + 7 for z.
-2
Let u(k) = -k**3 + 5*k**2 - k + 5. Let h be -3*1*15/(-9). Let m be u(h). Suppose 2*x - 7 - 1 = m. Solve 0 = d - 6*d - 3*z, 32 = -x*d + 4*z for d.
-3
Suppose 0*m = m + 5, 0 = -5*j - 4*m - 25. Suppose 2*l + l + 4*c - 10 = 0, -4*l + 3*c + 5 = 0. Let w = l - j. Solve w*v + 19 = n, 0 = -4*v + n + 3*n - 36 for v.
-5
Suppose 10*o = 14*o. Solve 4*t - 2*c = -o*c - 6, 0 = 3*t - c 