
Let p(j) = j**3 + j**2 - 2. Suppose 0 = -0*l - 3*l + 6. Let h be p(l). Solve -2*m - m - x + h = 0, 2*m = -5*x - 15 for m.
5
Let t be 5/45 + (-26)/(-9). Solve 3*n - 2 = 2*x - t, -5*n = -x + 11 for n.
-3
Suppose -2*v + 29 = 5*k, -v = v - k + 1. Solve 0*m - 12 = -v*m - 3*g, -1 = -m + g for m.
3
Let a be ((1 - 1)/2)/(-2). Suppose a*f - 12 = -2*v - 2*f, 0 = -3*v - f + 14. Let c be 2/((v/(-18))/(-1)). Solve 3*g = -2*z - 8, -4*g - 3*z = -2*z + c for g.
-2
Suppose 4*t = 5*b - 1, -2*t - 11 = -2*b + 3*b. Let r be (-1)/((-2)/6) - b. Solve 2*i + j = 2 - r, -4*i = j + 8 for i.
-2
Let c = 12 + -9. Solve 0 = 2*x + 2*p - 2, -3 = -c*p + 2*p for x.
-2
Let q(y) = -y**2 - 8*y - 9. Let r be q(-7). Let v be (-4 - r) + 2 + -9. Let o = v - -16. Solve 5*t = 3*s + s - o, 0 = 2*s - 3*t - 3 for s.
3
Suppose 4 + 8 = -4*o. Let k(t) = -t**2 - 5*t - 2. Let w be k(o). Solve -2*h - w = 4*p, -10 + 0 = 5*p for h.
2
Let n be (-8)/((-2)/6 - -1). Let t be 4/n - (-20)/6. Solve 5*q + t*m + 5 = -2*m, 25 = 3*q - 4*m for q.
3
Suppose 217 = -5*q + 7. Let g = q + 72. Solve 5*t + 3 - g = 4*u, -5*t - 3*u = -6 for t.
3
Let p be -1*(-4 - -5) - -1. Solve 0 = 4*d - 3*i + 2, -2*d - 2 = -2*i - p for d.
1
Suppose 7*q - 11 = 31. Solve m = 0, z + 2*m + q = 3*z for z.
3
Let c = 5 - 4. Let m be 1 - (-3 + (2 - c)). Suppose m*t + 35 + 75 = 5*v, -t - 110 = -5*v. Solve 4 = 3*h - d, 0*h - v = -4*h - 2*d for h.
3
Let v be (-2 - 4)/(-1) + -2. Let b be 15/v - 1/(-4). Suppose 3*x = -2*c + 12, 2*c - 5 = -b*x + 3*c. Solve -o + 14 = -x*u, -o + 5*u + 33 = o for o.
4
Let t be 4*(2/(-3) + 7/6). Solve -b + 3*b + t*h - 14 = 0, 0 = -5*h + 25 for b.
2
Let u = -3 - -5. Suppose -q = -u*q + 16. Let g = q - 9. Solve -3*w - 23 = -5*n, 2*n - g*n = -20 for w.
-1
Let c be 18/15*(-10)/(-3). Let q be (c - 2)/2 - -3. Suppose -10*m - 9*m = -76. Solve s - m = 0, q*s = -2*a - 2 + 10 for a.
-4
Let u = 11 - 0. Let g = u - -2. Suppose -33 = -5*w - g. Solve 5*x + 21 = -w*z, -2*z + 0*z - x - 9 = 0 for z.
-4
Let b be 1/3 + (-76)/12. Let w be ((-9)/4)/(b/64). Let k be w + -1 + 0 + 2. Solve u - 2*r + k = -4*u, 4*u - 2*r = -20 for u.
-5
Let k be 67/5 - (-4)/(-10). Suppose g - 52 = -g - 4*y, -3*g - 3*y + 63 = 0. Solve 4*j = -f - 33 + k, j - g = 5*f for j.
-4
Suppose -5 - 9 = -f. Solve -20 = -2*m - 4*b, 2*b = 8*m - 3*m - f for m.
4
Let s = 18 + -13. Suppose -4*r + 0 = -20. Solve r*t = 5*d + 30, 0*d = d + s*t for d.
-5
Let a be 204/8 + 1/2. Suppose -2*s - 10 = -q - 5*s, 5*s = -4*q + a. Solve -4*n + q*o - 28 = 0, n - o = -4*o + 1 for n.
-5
Let c(f) = 6*f**2 - 11*f + 9. Let i(t) = 5*t**2 - 10*t + 8. Let k(v) = -6*c(v) + 7*i(v). Let x be k(-4). Solve 2*d - 22 = x*p + p, d - 5*p = 25 for d.
5
Let j(c) be the third derivative of c**5/60 - c**4/24 + 2*c**3/3 + 2*c**2. Let f be j(4). Let d = f + -2. Solve -3*l + 2*k - d = -0*l, -2 = 5*l + 2*k for l.
-2
Suppose -5*n + 9 = -y, 3*y - 4*n + 6 = 1. Let q(h) = 4*h**2. Let j be q(y). Let o be (2 - 0)/1 - 0. Solve f - 7*m + 5*m = 3, j*m + 18 = -o*f for f.
-3
Let s(p) = -2*p + 1. Let w(x) = -8*x + 4. Let v(c) = 22*s(c) - 6*w(c). Let j = -1 + 5. Let g be v(j). Solve 5*t + 3*b - 26 = 0, -2*b + g = 4*t - 3*b for t.
4
Suppose 16*j - 16 = 8*j. Solve 6 = -4*g + j*q, -3*g + 2*q = -q + 3 for g.
-2
Let n = -1 - -1. Let l = 11 - n. Suppose -2*m + 3*m = 20. Solve 0 = 5*h + v - m, 2*v - 30 = -3*h - l for h.
3
Let m(d) be the second derivative of d**3/6 + 5*d**2/2 - 3*d. Let u be m(0). Solve -9 = -0*r - r - 2*n, u*r + 4*n = 21 for r.
1
Suppose -8*f + 7*f + 4 = 0. Solve -6 = -3*g, -y - g + 27 = f*y for y.
5
Suppose 0 = -0*a + 4*a - 4. Let n be -1*(-4 + 1)/a. Solve -5*f = 5*u - 20, 5*f + n = 2*u + 2*f for u.
3
Let r be (-2 - -2)/(-1 + -1). Suppose -g + 3 = -r. Suppose -4*l + 3 = -g*l. Solve -5*n - 3*j + 10 = 0, 25 = 6*n - l*n - 2*j for n.
5
Let h = -7 + 15. Let n = h - 5. Solve -x = -3*r + 7 + n, 0 = -5*r + 3*x + 18 for r.
3
Suppose 3*s - 3*r = 21, -r - 9 = -3*s + s. Let n(p) = -p**2 - 2*p**2 + 2*p**2 + 0*p**3 + p**3. Let v be n(s). Solve 2*a - 7 = v*k + 5*a, 0 = 5*a + 5 for k.
-1
Suppose 4*z + z - 20 = 5*u, u - 44 = -5*z. Let c = z + -5. Solve -2*s = c*x + 7, 4*s - 31 = -3*x + 6*x for s.
4
Suppose 10*p = -10*p. Solve p*h - h + u + 5 = 0, 2*h - 3*u - 14 = 0 for h.
1
Let c = 1 - -1. Suppose -3*k + 10 = -2. Suppose 5*w - 1 = -4*z + 9, -4 = -c*w + k*z. Solve 0 = -5*i + 4*q + 29, 4*q - 8 = -w*i + 2*q for i.
5
Suppose -3*b - 4*n + 0 = -3, 5 = 5*b - 5*n. Solve m - 8 = a, 5*a + b = -19 for m.
4
Let j(d) = -d + 5. Let x be j(2). Solve -1 = -5*z - r, 3*z - x*r = -8*r + 5 for z.
0
Let y be 5/15 - 8/(-3). Let m = 5 - y. Solve -2*z + 2*i = -i - m, -2*i = 4*z + 28 for z.
-5
Let s be 16*3*3/9. Suppose -q = -3*y - 31, y - 3*y + 3*q = s. Let i be (4/(-2))/(2/y). Solve 3*l = c - i, 0 = -l - 3*l - 5*c - 2 for l.
-3
Let s be (-1625)/(-45) + (-3)/27. Solve -11 = -5*u + u + t, 4*u = -4*t + s for u.
4
Let k = 181 + -42. Suppose -4*u + k - 11 = 0. Solve a - 12 = 5*a, 4*a = -4*b - u for b.
-5
Suppose -6 - 6 = -k. Solve -4*n - 5*b + 1 = -k, -4*n - b + 9 = 0 for n.
2
Let w = 53 - 48. Solve -5*y = -2*r + 29, -16 + 6 = -w*r for y.
-5
Let y(b) = -b**3 - 7*b**2 - 6*b + 2. Suppose -n = n + 12. Let k be y(n). Solve 4*t - u - 2 = 3, -k*u = -5*t + 4 for t.
2
Let y be (5/15)/(2/24). Solve 0 = -2*n - y*z + 10, -4*n - 10 = -2*n - z for n.
-3
Suppose 0*v + v = 3. Suppose 92 = 4*t - 4*s, -3*t = 4*s - s - 87. Solve 2*q + 9 = -3*l, 0 = 3*q - 4*l - v - t for q.
3
Suppose 17*a - 126 = 8*a. Solve -2*o = 5*s - a, 4*s = -s + 5*o for s.
2
Suppose -3*c = p - 18, 6*c - c + 5*p - 20 = 0. Solve -g + 0 - c = -2*d, 0 = 4*d - 3*g - 15 for d.
3
Let j = 5 - 3. Solve -j*q = -2*r + 14 - 0, 8 = -4*q - r for q.
-3
Let k = 6 + -4. Let g(r) = -23 + 21 + 5*r - 3*r + r**3 + 4*r**2. Let h be g(-2). Solve h*v + 6 = -4*z - 0, 2*v + k = 0 for z.
-1
Let m(n) = 10*n - 1. Let w be m(-2). Let b = -11 - w. Suppose 2*c = 10 + b. Solve -4*f - 3*d + d + c = 0, -3*d = 2*f - 11 for f.
1
Let t = 0 + 0. Suppose 2*a + t*k - k = -104, 4*a + 4*k = -196. Let q be (-1)/4 + a/(-12). Solve 0*z + 4*r = 3*z - 14, 0 = q*z + 2*r + 18 for z.
-2
Let z = -11 - -15. Suppose -z*l - 10 = -2*d, 4*d - 2*l = -d + 25. Solve d = -3*v + 2*w, 6*v + 5*w - 23 = 3*v for v.
1
Let u(h) = 6*h**2 - 2*h + 4. Let x be u(2). Let g be 12/4 + 2*1. Solve g*k - 4*d + x = 0, -k + d = -0*d + 5 for k.
-4
Suppose -4*t - 4*j = -3*t + 16, 3*t + 12 = -3*j. Solve 4*x + 2*y - 6 = t, x - 9 = -x + 5*y for x.
2
Suppose -h + w + 7 = -3*w, 0 = -h - 4*w - 1. Suppose 3*p = 2*p + 5. Suppose -2*n = -0*n - 38. Solve 0 = -p*m + 10, m - n + 2 = h*g for g.
-5
Let i(s) = s**3 - 5*s**2 - 6*s + 9. Let w be i(6). Let y = 1 + 20. Let b = y - w. Solve 0 = 2*g + 5*c - b - 5, 0 = 4*g - c - 1 for g.
1
Let c(a) = a**2 + 11*a + 12. Let f be c(-8). Let r be -2 - (-3)/(f/(-92)). Solve v - 4*s - 9 = 0, 3*s - 7*s - r = 3*v for v.
-3
Suppose -3*q = 5*p - 3*p - 16, q - 2*p + 8 = 0. Suppose -3*s + q + 4 = 0. Suppose -3*u + 23 = 2. Solve -l + 4*d - s = -u, -2*l = -4*d - 6 for l.
1
Suppose 3*k + 6 = -n, -3*n - 2*k - 4 = -2*n. Suppose 4*v = -n*v + 12. Solve 0 = 3*i - 2*j - 3, 0 = -4*i - 3*j + 1 + v for i.
1
Let x be -4 + 1 + (5 - -1). Solve 5*b = -2*g + 24, 22 = x*g + 7*b - 3*b for g.
2
Let i be ((-3)/2)/(5 + (-217)/42). Solve 0 = s + 2*f - 4*f - i, -2*s = 3*f + 10 for s.
1
Let s be 38/14 - (-4)/14. Let z(g) = -2*g + 1. Let o = -1 + 0. Let y be z(o). Solve -s*x + y*j = -0*x - 6, x + 4*j = -8 for x.
0
Suppose 0 = -33*f + 30*f + 9. Solve 3*t = -3*y + 4 - 1, 4*y + f = 3*t for y.
0
Let t(c) = c - 2. Let d = -10 - -17. Let w be t(d). Solve 3*m + 4 = 2*z + 5, 2*m - 26 = -w*z for z.
4
Let k(d) = d. Let c be k(0). Solve -h = -b, 6 = -2*b - c for h.
-3
Suppose -2*a + 0 = -8. Suppose -4*k - 6 = -5*k. Let l be 3*k/(-9) + 5. Solve a*g + t = -5 - l, -t = 0 for g.
-2
Let t be (-2 + -4)*2/(-3). Solve -2*g = 2*j + j + 6, -t = -4*g - 2*j for g.
3
Let y = -2 + 5. Let m(n) = n**3 - 7*n**2 + 7*n - 5. Let x be m(6). Let v be (7 + 0)/(4/4). Solve y*p + 5*g = 23, -v = -2*g + x for p.
1
Suppose 0*t - 5*d = 3*t + 8, -4*d - 16 = 0. Suppose -a = -2*a - 3*g - 1, t = -g. Solve -3*c - 6*l = -l + 17, -3*c - a = -l for c.
-4
Suppose 0*z = 4*x + z - 98, 0 = -5*x - 5*z + 115. Let q = x + -21. Solve 5*w - 3*v = -0*v + 3, q*w = -v - 1 for w.
0
Let q(a) = a**3 + 6*a**2 + 4*a - 4. Let c be q(-5). Solve -c = k + v +