= 3*u + 5*p + 3, l = -u - 5*p - 7 - c for u.
4
Let h(f) = f**2 - 6*f + 3. Let m be h(6). Suppose m*g = -0*g. Solve -4*b = 4*v - 8, 5*b - 4*v + g*v = -8 for b.
0
Suppose 2*a - 5*y = -10, -1 = -4*a + 2*y - 5. Let t be 0 - -1 - (a + -1). Solve 0 = -t*s - 2 - 2, 2*m = s - 6 for m.
-4
Let u(s) = s - 7. Let z(n) = n**2 + 8*n - 10. Let d be z(-10). Let f be u(d). Solve 0 = p - 4*r - 21, -f*r - 36 + 14 = -2*p for p.
5
Suppose -15 = -7*v + 2*v. Let m be 2 + (309/v - 0). Let s = m - 71. Solve -5*w = 2*a + 30, -3*w - 3 - s = 5*a for w.
-4
Let c(s) = 4*s**3 - 2*s**2 - s. Let d be c(-1). Let k(m) = -m**3 - 4*m**2 + 5*m + 2. Let r be k(d). Solve 2*b = r*g - 8, 3*b + 19 = g - b for g.
-1
Suppose -2 = i - 3*f - 14, 4*i = -4*f - 32. Let k be -2 - (-1 - 1) - -7. Let s = i + k. Solve 5*r + 5*h = 40, s*r - h - 3*h = 0 for r.
4
Suppose -c = 5*y - 26, 0 = -3*y + 2*c - 3*c + 16. Let k be 6*(y/3 + -1). Let x be k*(-1 + 2)/1. Solve -2*u - x = -u, 3*h - 13 = 4*u for h.
-1
Suppose 4 = -5*d + 7*d. Suppose d*k = 3 + 1. Suppose 0 = 5*o - 0*o + 2*n - 22, 2*o + k*n - 10 = 0. Solve -5*i - o*h = -5, -5 = -5*i - 5*h + 3*h for i.
1
Let d = -17 - -18. Solve h + 3*r + d = 0, r = 5*h - 31 + 4 for h.
5
Suppose -1 - 5 = -2*u. Let b = -11 - -14. Let k(c) = c**2 - 3*c + 2. Let n be k(3). Solve -3 = -3*s, -b*s - 2*s + n = -u*x for x.
1
Let k be (-2)/6 + (-16)/(-12). Let z = k + 4. Suppose 0 = -4*h - 4*x - 20, -4*h + 2*x - 3*x - z = 0. Solve -9 = 4*w - 5*d, 5*w + 7*d - 3*d + 1 = h for w.
-1
Let b be (-6)/(-33) + (265/(-11))/(-5). Solve b*z - 35 = 5*l, -3*z = -l - 0*z - 11 for l.
-5
Let f(d) = -d - 11. Let h be f(-15). Solve 10 = -h*n - 3*q, 2*n + 2*n + q = -6 for n.
-1
Let p be 2 + -4 + (0 - 0). Let w be (-2 - 2/p)*-3. Solve -3*j + 2*g = w*g - 11, g + 13 = 5*j for j.
3
Let c(p) = 6 - 2*p + p + 0*p. Let a be c(5). Let j = a - 1. Solve -5*o - 2*f - 9 - 1 = 0, j = 2*f + 10 for o.
0
Let s(i) = -i**3 - 4*i**2 - 5*i - 3. Let t be s(-3). Suppose 0 = 4*g - t*g. Solve -1 = z - 0*z - 5*x, 3*z - 5*x + 3 = g for z.
-1
Suppose -4*h - 3 = -23. Solve 9 = 2*j + 5*t - 10, j + 13 = h*t for j.
2
Suppose 2*t = -2*t + 68. Suppose c + 0*c - t = -4*h, 0 = 3*h - c - 4. Solve -1 + 7 = 3*d, -h*y - 4*d = -23 for y.
5
Let s(x) = x**2 - 11*x - 7. Let v be s(13). Suppose 6 = 5*i - v. Solve i*d - 3*d - 5*p = -12, p = -4*d + 20 for d.
4
Suppose -24 = -16*j + 10*j. Solve -j*f - g = -1, 5*f = -0*g + 2*g - 15 for f.
-1
Suppose -3*u - c + 17 = 0, 2*u + 3*c - 11 = 2*c. Suppose 3 = -y + 3*q - 7, 2*q - 5 = -y. Let i = u + y. Solve -4*h = -3*w + 7, -5*h - i*w = -2*h - 2 for h.
-1
Let s be (-9)/(-7) + 4/(-14). Suppose 2*l = z + s, l + 2*z = -2*z - 4. Suppose 4*h = 4 + 8. Solve -3*g + 18 = h*o, -4*o - 5*g = -l*o - 29 for o.
1
Let k = -20 + 29. Let t(w) = -w + 13. Let s be t(k). Solve s*r - 3*z = z + 20, -8 = 2*z for r.
1
Let z = -19 + 136. Suppose 3*j - z = -0*j. Suppose 5*x - j = 21. Solve -4*u = x, -2*l = -l - 5*u - 15 for l.
0
Let f = 11 + 28. Suppose 0 = c + c - a - 9, -f = -5*c - 3*a. Let g be (-144)/c*(-10)/8. Solve 5*x + 5*o + g = 0, -4*x - 6 = 2*o - 4*o for x.
-3
Let d be (-1 - -15) + 1*-3*1. Solve 2 = -l + 4, 4*l = -3*k + d for k.
1
Let d(j) = 0 - 4 + 4 - j. Let o be d(-3). Solve 2*u = 4*z - o*z, 5*u + 5*z = -30 for u.
-2
Let r = -7 - -25. Let j = 4 + -2. Solve 4*o - 2 = -j*x, 7 = -5*x - r for o.
3
Suppose -5*i - 73 = -3*r, -3*r = -0*r - 4*i - 68. Solve -v - 7 = t + 1, r = -4*v for t.
-4
Suppose -12*x + 9*x + 9 = 0. Suppose h - 3*k + 6 = -1, x*k = 4*h - 8. Solve -9 = -5*m - 4*f, 0 = 4*m - h*f - 2 + 3 for m.
1
Let p(w) = w**3 - 2*w**2 - w - 1. Let f be -1 + 3 - 3/(-3). Let u be p(f). Solve -2*r - 3*x = 14, -4*r - 2*x - u = 15 for r.
-4
Suppose 3*l - 8 = 5*m + 17, 5*m - 15 = -5*l. Let v be 0/(-4 + 6*(-3)/(-6)). Solve a + 2*a - 4*i + 3 = v, l*a - i = 12 for a.
3
Let i be 6/(-4) + 30/4. Let d = -3 + i. Solve 3*s + 2 = d*v + 5, 3*v - 15 = -3*s for v.
2
Let b(q) = q**2 + 4*q + 3. Let g be b(-3). Let h be 2 + g + -4 - -4. Solve 14 = -4*s - 0*m - 2*m, -5*m + 1 = -h*s for s.
-3
Suppose -3*f + 8 = f. Let d(n) = n**3 - 2*n**2 + 2. Let a be d(f). Solve 5*c = -s - 14, -c = 5*s + 24 - a for s.
-4
Suppose 0 = -a + 2*a. Solve q + 2*d - 3 = 0, 3*q - d - 16 = -a*q for q.
5
Suppose -f = -4*f. Suppose -2*m - 56 = -5*r - f*r, 4*m - 8 = -2*r. Solve -5*v = 4*a + r, 0*a = -2*v - a - 1 for v.
2
Suppose -3*i + 8*i = 2*w + 23, 0 = -i + w + 7. Solve -1 = -j + i*r, 0*r + 4*r + 3 = 3*j for j.
1
Let t = -1 - -1. Suppose -4*j + 5 = 2*d - 5*d, -3*d - 3*j = -9. Solve t = 4*b + 3*q + 16, b = 4*b - q - d for b.
-1
Suppose -4*z - 1 - 3 = 0. Let v = z - -21. Solve -7*q + 2*q = 4*k - 16, 5*k - v = 4*q for k.
4
Let t(g) = -g**3 + 6*g**2 - 6*g + 7. Let q be t(5). Solve 2*y = -n - 1, 0 = -n + y + q*y - 6 for n.
-3
Let j(f) = -5*f**3 + 1 + 11*f + 3*f**3 - 10*f**2 + f**3. Let s be j(-11). Solve 0 = y + 4*t + 3, -s + 14 = y - 4*t for y.
5
Suppose -2*z = -3*u + z + 21, -5*u = -2*z - 23. Solve -4*o - 2 = -h + u, -3*o - 3*h = 0 for o.
-1
Let g(d) = d**3 + 4*d**2 + 4*d. Let t be g(-2). Solve -2*o + s + 2*s - 4 = t, -5*o - 2*s = 29 for o.
-5
Let x = 1 + -2. Let c be (x + 3 + -2)/1. Let q(z) = z + 4. Let o be q(c). Solve -w = -4*d + 15, 2*w = -o*d - w + 35 for d.
5
Let w = -82 - -86. Solve -4*x + 13 = 2*r + r, -x + w*r + 8 = 0 for x.
4
Suppose -1 - 3 = 2*g. Let x be (g*4)/(-2 - -1). Suppose -3*p = p - x. Solve 4*w + 18 = -2*a, -3*w + 5 = p*w - 3*a for w.
-2
Let q = -9 + 7. Let t be (-4)/6*9/q. Let s = t - 3. Solve -4*p - 5*i = -6, -3*p + 7 = -s*p + 5*i for p.
-1
Let u = 2 - 0. Let k = u + 1. Solve 4*v = z + 13, 4*z + 10 - 34 = -k*v for z.
3
Suppose -3*m - 5*t + 2*t = -21, -4*m + 5*t - 17 = 0. Let y = m + -5. Let u be (1/(-2))/(y/102). Solve -3*l + 4*c + 2 = -u, 0 = -2*l + 2*c + 10 for l.
1
Let j(b) = b**3 + 10*b**2 - 1. Let k be j(-10). Let o be (13 - 8)/(k + 2). Solve o*c = 5, 0*c - c = -z for z.
1
Let w(q) = -q - 1 + q + q + 2. Let s be w(3). Solve -3*y + 2*r + 22 = y, 4*y - 32 = s*r for y.
3
Let j be (-7 - -5) + (1 - -17). Solve j = -3*q + b, -b - 17 = 4*q + 2*b for q.
-5
Let i = 72 - 25. Suppose 4*w + 2*v - 48 = 0, 5*v - v + i = 3*w. Let l be (15/(-10))/(3*3/(-42)). Solve -4*h - w = l, -15 = -5*p - 2*h for p.
5
Let w(z) = -z**2 + 4*z - 1. Let n be w(3). Solve 5*t + 3*p = 40, p = n*t - 5 - 0 for t.
5
Suppose 2 = -3*v + 38. Suppose -w = -5*w + v. Let k = w - 3. Solve k = h - 2*h + 3, 2*f = h - 3 for f.
0
Let c be (-3 - 42/(-8))/((-15)/(-40)). Solve -p - 12 = -5*s, -3*p = 2*s - 3*s - c for s.
3
Let d = -6 + 6. Solve d = -2*r + 7*r - 3*s + 7, -3*r = -3*s + 3 for r.
-2
Let w be 0/(-1 + 0/(-1)). Suppose 19 = n + n - 3*x, -n + 5*x = -20. Solve 7 = 5*f - q, n*f + 5*q - 3*q - 16 = w for f.
2
Suppose -40 = -2*h - 2*i, 2*h - 3*i - 9 - 6 = 0. Let p be 2 + -3 + h*1. Solve -4*q - p = 5*d, 5*d + 5 + 5 = 0 for q.
-1
Suppose 13 = 3*b + 1. Let c(a) = -a - 1 + b + 0*a. Let z be c(-11). Solve -z = -0*d + d - 4*m, -3 = -m for d.
-2
Suppose 2*y - 5 = 3*y. Let l = -5 - y. Solve -3*v + 2*k - 10 = l, 0 = -3*v + k - 0*k - 11 for v.
-4
Let n = 7 - -4. Let m(u) be the first derivative of -u**4/4 + u**3/3 + 3*u**2/2 - 2*u - 2. Let j be m(2). Solve s - q + n = -4*q, j = q + 5 for s.
4
Let f(u) = u**3 + 2*u**2 + u + 1. Let i be f(-2). Let z be ((0/4)/(-4))/i. Solve 5*r + 22 = -d, z = -r - 3*r - 20 for d.
3
Let i be (8/(-6))/((-3)/9). Solve -5*o - v = 7 + 8, i*v = 2*o + 6 for o.
-3
Suppose 2*g - h + 20 = -g, 34 = -4*g + 5*h. Let k(i) = i + 8. Let b be k(g). Solve 5*f + 0*x - 23 = -b*x, 3*f = -5*x + 10 for f.
5
Let t(w) = -w**3 - 3*w**2 - 5*w - 9. Let c be t(-3). Solve 3*q - c = -s - 1, -2*s = -q - 3 for s.
2
Let a be (-100)/(-36) - 2/(-9). Solve 5*g + 2*m + 16 = 0, 3*g - a = 2*m + m for g.
-2
Suppose 0 = -r + 2*f - 3 - 1, 2*r + 2 = -2*f. Let i be ((-3)/(-6) - 2)*r. Solve -3 = -a + 3*y, 0 = 4*a - 2*a - i*y for a.
-3
Let y = 23 + -17. Let i = 3 - 1. Let n = -6 + 11. Solve -4*l - 5*x = i - y, -n*l = -x - 5 for l.
1
Let c = 38 + -27. Solve 2*q - 5*t + 1 = -2*q, -5*t = -q + c for q.
-4
Let o(q) = -q**3 + 7*q**2 - 5*q - 5. Let l be o(6). Suppose -9 = -2*j + l. Solve j*y + 3*h = 30, 3*h - 8 = -3*y + 16 for y.
3
Let s be (3 - 7/5)*15. Solve -5*a + s = -h, -4*h - 13 = a - 1 for a.
4
Let t = -22 + 37. Suppose -4 = 2*k - 0*k. Let j be 0 + (1 - k/2). Solve 0*h = -m + 2*h + t, j*h + 35 = 5*m for m.
5
Let 