k, 3*b = 3*z - 6 for b.
0
Let p(g) = -3*g + 20. Let a be p(6). Solve 0 = -2*r - 3*x + 14, -r - a*r = 2*x - 11 for r.
1
Let g be (0 - 2) + 2 + 2. Suppose g*z = -0*z. Solve -3*o + 2*o = t, -o - 4*t - 9 = z for o.
3
Suppose 5*h + 2*u - 3*u - 73 = 0, h = -3*u + 21. Let r be 1/(3 + -2) + -1. Let t = r + h. Solve 3*y - 4*y = -3, -2*v + t = 5*y for v.
0
Suppose 0 = -0*n + 2*n. Suppose n*s + 25 = 5*q + 5*s, 0 = -q + 3*s - 7. Let r = 5 - q. Solve -4*z = -2*b + 12, -r*z + z - 3*b = 22 for z.
-5
Let t be 24/32*12*2. Suppose -m + t = 5*b, -b - 1 - 2 = -2*m. Let j be ((-20)/(-6))/(2/3). Solve -5*f = 5*x - m*x + 9, 3*x - 24 = j*f for x.
3
Let n = 0 + 4. Suppose 8 = 4*d - n*z, -10 = -5*d - 3*z + 5*z. Solve -5*v + 4*f = -9, 5*v + d*f + 2*f = 41 for v.
5
Suppose 0 = 12*a - 10*a - 38. Let h(b) = b**2 + 6*b. Let z be h(-6). Solve 4*f = 5*u - 24, 3*u + u - 3*f - a = z for u.
4
Let w be 2/(-1)*1 + 0. Let a be ((-4)/5)/(w/5). Let r be 8 - (3 + -2) - a. Solve -2*u + 8 = u + h, -u - 2 = r*h for u.
3
Let y be ((-91)/14)/(2/(-4)). Solve 2*n + 2*c = 2, -5*c + 8 = -3*n - y for n.
-2
Suppose 5*d - 15 = -0. Let k(z) = z - 1. Let c be k(d). Solve c*m - 7 = 3*m - 3*a, -4*m - a = 15 for m.
-4
Suppose -5*j + 4 = -6. Solve 2*y + 3*d = 17, 5*y + 5*d = j + 28 for y.
1
Suppose l + m - 5*m - 33 = 0, -143 = -5*l - 2*m. Solve 4*o = -4, -4*o - l = -2*p + 7*p for p.
-5
Let r be 4 + (-2 + 1 - 0). Suppose a - 13 = r*c, a + 0*a + 4*c = -8. Solve 0 = a*d, -5*d + 3 = -3*z - 0*d for z.
-1
Suppose 24 + 30 = 18*m. Solve 2*c - 2*j - 14 = -3*c, 0 = 5*c + m*j - 29 for c.
4
Let l(w) = w**2 + 11*w + 3. Let g be l(-11). Suppose -j + 12 = -4. Solve 2*n + 11 = g*x - 12, 4*x - j = -n for x.
5
Let k(y) = -3*y - 8. Let p be k(-6). Solve p = w - 6*w, 5*x + 5*w + 25 = 0 for x.
-3
Let f(a) = -5*a - 1. Let w be f(-1). Let h(y) = -y**3 - y + 3. Let p be h(0). Suppose -4*b + 23 - p = 0. Solve 1 + 2 = -5*u - 3*m, b*m = w*u + 32 for u.
-3
Let q(x) = -3*x - 3. Let i(w) = 4*w + 3. Let c(n) = 2*i(n) + 3*q(n). Let a be c(-7). Suppose 0 = -a*r + r. Solve -5*o - 10 = r, -o = -2*j + o + 12 for j.
4
Let x be 2/(-8) + 110/(-8). Let s = 37 + x. Suppose 4*q + s - 55 = -5*i, 2*q + 2*i - 14 = 0. Solve 4*g + q*n + 3 = -0*n, -g + 8 = -n for g.
3
Suppose 0 = 2*g + 12. Let t(y) be the second derivative of y**4/12 + 7*y**3/6 + 3*y**2 - 3*y. Let o be t(g). Solve -2*n = -2*c + 4, -3*n - 4 = -o*c - 5*c for n.
-3
Suppose 0*x = 2*x - o + 7, -3*x - 30 = 5*o. Let g = x + 25. Solve 0*p + 2*p = -4*v + g, 4*v - p - 8 = 0 for v.
3
Suppose -4*q = p - 2*q - 4, 2*p = -3*q + 5. Let n be (p/(-3))/(2/6). Let j be 6/(-9) - 15/(-9). Solve 12 = -w + 4*o - j, -4*w + 2 = n*o for w.
-1
Suppose -3*f + 5 = -1, 3*f + 94 = 5*h. Solve b + 3*d + h = 3, -b + 3*d = -7 for b.
-5
Let q be -3 - (-10 - (0 - 2)). Suppose -o = -n - 1, 0*n + 5*o - 19 = -2*n. Solve -2*w + 12 = n*w + 2*k, -q*w - 5*k + 20 = 0 for w.
2
Suppose -5*u - 19 = -4. Let y be ((-2)/2 - u)*-1. Let r be -2 - (y - (3 - 0)). Solve -r*i + 3*z = -9, -3*z + 0*z = -4*i + 8 for i.
-1
Let c be 6 + (4 - (-8)/(-1)). Solve -5*o = -4*o, p + c*o = -3 for p.
-3
Let r(q) = -2*q - 1 - 4 + q. Let y be r(-7). Suppose -3*p + y*c = -10, -c + 9 = p + p. Solve -2 = 3*d + 3*o + 7, 0 = p*o + 8 for d.
-1
Suppose -g - 5 + 8 = 0. Solve -g*t - 4*d = -4, 5*t = 3*d - 3 - 0 for t.
0
Let n = -42 - -72. Solve -z + 6*z - n = -5*y, 4*y - 4 = z for y.
2
Let o = 21 + -3. Let j = 5 + 5. Suppose 0 = -4*h + 6 + j. Solve -h*v + 5*p - 18 - 9 = 0, 4*p - o = 2*v for v.
-3
Let q = 7 - 1. Solve -2*x - 3*v - 16 = -q*v, 20 = -2*x + 4*v for x.
-2
Suppose 5*n = 2*n + 4*q + 36, -2*q = -3*n + 30. Solve -5*w = 3*f - 13, 1 = 3*f + w + n for f.
-4
Suppose 7*h - 10*h + 6 = 0. Solve 2*n + 0*n - 3*a = 2, -10 = -h*n - a for n.
4
Let c = -2 - -7. Let f(r) = -r - 7. Let d be f(-12). Solve -4*j = -3*g + c, 0 = -g + 6*j - 3*j + d for g.
-1
Suppose -2 = -m - 3*b, -4*m - 5*b + 0 = -8. Suppose -2*d = -14 + m. Let n be (-6)/4*(-28)/d. Solve 2*x - 17 = 5*k, 0*k = -3*k + 2*x - n for k.
-5
Let j be 0 + 1 - (-5 - -1). Solve 2 = -a + 2*k - 3, -13 = j*a - 4*k for a.
-1
Suppose 0*g = -2*g. Solve g = m - 2, -4*m + 8 = -2*p - 3*m for p.
-3
Suppose 0*x - 5 = -5*x. Solve a - v + 2*v + 1 = 0, x = 5*a + 2*v for a.
1
Let r(l) = l**2 - l - 2. Let x be r(2). Solve -i + 3*w + 2 = x, i + 8*w - 10 = 3*w for i.
5
Let x be ((-2)/6)/(1/(-9)). Suppose -x*y = y. Solve y = 3*i - 2*w - 8 - 7, -2*i = 2*w for i.
3
Let f(y) = -y**2 - 8*y + 21. Let c be f(-10). Solve c = l - 2*s, 0 = -9*l + 4*l - 5*s + 5 for l.
1
Let q = -1 - -5. Suppose -w = -3 - q. Solve -v - 4*d + w = 0, -10 = -2*v - 0*v - 4*d for v.
3
Let c(m) = -2*m - 7. Let x = 5 + -11. Let p be c(x). Suppose 5*i = -p*a + 60, -5*i = -4*a + 50 + 7. Solve 4*g = -3*h - 2*h + a, -4*h - 6 = -5*g for h.
1
Suppose -4*j + 5*r + 45 = 0, 0*j + 84 = 5*j + 3*r. Suppose -3*p + 1 + 8 = x, -5*p - 3*x = -j. Solve p*g - 4 - 14 = -5*y, -y - 4*g = -7 for y.
3
Let w(r) = r**2 - 15*r + 41. Let t be w(12). Solve -a - 2*y + t*y + 15 = 0, -3*y = 15 for a.
0
Let f(d) = -4*d**3 + 2*d**2 + 2*d + 1. Let t be f(-1). Solve -4*h - 1 = -3*g, 0*g - 4*h + t = -g for g.
3
Suppose -7*x + 8 = -11*x. Let s be 1 + 3 + (x - -1). Solve -4*z - 4*j = -16, -s*z - 4*j = -6*z + 12 for z.
4
Suppose 0*i + 10 = 4*i + 3*p, 18 = 3*i - 3*p. Solve 5*z + 40 = 5*r, i = 5*z + 4*r - 1 for z.
-3
Let r be (12/(-8))/((-2)/(-24)). Let b be (r/(-12))/((-3)/(-10)). Solve 5*m + 30 = b*p, -p - 2 = -3 for m.
-5
Let f be 4*(2 + 3/(-2)). Let t = -4 - -6. Suppose -11*o + 71 + 116 = 0. Solve -5*l - m - o = -f*l, -23 = t*l + 3*m for l.
-4
Let c = -104 + 128. Solve -3*m = -4*p + m - c, 0 = -2*p + 4*m - 18 for p.
-3
Suppose 6*t = 4*v + 3*t - 17, 2*t + 8 = v. Solve y = -v*o + 9, 5*y - 5 = -o + 4 for y.
1
Suppose 44 + 216 = 13*w. Solve 0 = 5*v - 4*t + 31, -t - t = -4*v - w for v.
-3
Let j(x) = x. Let a(n) = -5*n - 4. Let o(q) = a(q) + 6*j(q). Let m be o(10). Let i(r) = r - 2. Let l be i(m). Solve -l*d = -9*d - f - 5, -4*d - f - 4 = 0 for d.
-1
Suppose 4*q + 4 = 3*h + 2*q, 32 = 4*h + 4*q. Suppose h = i - 1. Solve -u + 4 = -5*v, -4*v - 10 = i*u - 30 for u.
4
Suppose 2 = p - 2*y, -y = 2*p - 0*p - 9. Suppose 0 = -0*a - a + p. Suppose -2*u + 0 = -a. Solve n = 3*n - 5*m + 2, -3*m = 2*n + u for n.
-1
Let l = -3 - -6. Suppose 7*x - 4 = 6*x. Solve 0*k - k + 2*b + l = 0, k + 9 = -x*b for k.
-1
Suppose -d + 3*d = 6. Solve d*y - 2*r = -0*r - 3, -3*y - 3*r - 3 = 0 for y.
-1
Let j be (-2)/(-2) - (2 + -36). Solve 5*c = 5*k + j, -2*c - 2*k = -3*k - 9 for c.
2
Let d be ((-20)/(-15))/(20/12 + -1). Solve 2*v + 19 = 3*a - 2*v, -4*a - 4 = d*v for a.
1
Let f(g) = g + 5. Let j be f(8). Suppose 5*t + 13 = 3*w - 1, 5*w + 2*t - j = 0. Solve 17 = -w*b - 4*x, -3*b + 4*x - 2*x = -13 for b.
1
Let g(m) = m**3 - 6*m**2 + m - 7. Let u be g(6). Let d = u + 4. Solve -d*o + r = 19, -2 = 3*o - o + 2*r for o.
-5
Let p = 18 - 13. Suppose p = 5*i - 5*m, -5*i + m = -0*i - 9. Let u be 18/(-9)*5/(-2). Solve 0 = 3*v + 3*w - 12, u*v - i*w - 20 = -0*w for v.
4
Let w = 14 - 4. Suppose 2*x + 41 = z, 4*x + x = -4*z + 99. Solve d = -5*p + z - w, -19 = -5*p + d for p.
4
Let m be -1*(-2)/(-6)*0. Let t = 4 + m. Solve t*g + h + 1 = -g, 5*h = -g + 19 for g.
-1
Let y be 1 + -1 + 7 + (-8)/4. Solve y*w - 3*n + 8 = 24, 4*n = -w - 6 for w.
2
Let b = -35 + 35. Solve 2*v + 5*u + 12 = b, -5*v + 29 = -3*u - 3 for v.
4
Suppose h + 4*c - c = -10, 5*h + 5*c = 0. Solve -4*w - 3 = -h*x + 9, 0 = 3*x for w.
-3
Let c = -10 - -25. Suppose 1 = 3*l + 4, c = 2*v + 3*l. Solve 3*r - 3*u = v, -2*r - 5*u - 23 = -1 for r.
-1
Let h(w) = -2*w + 2. Let a(b) = -b + 1. Let o(p) = 3*a(p) - h(p). Let x be o(0). Solve 0 = 4*r - 3*l - 2, -5*r - x + 0 = -2*l for r.
-1
Suppose -50 - 5 = -5*m. Solve -4*w - 28 = -4*f, -2*f + f + 2*w = -m for f.
3
Suppose 0 = -z - 4*t, 5*t = -3*z + 4*z + 9. Let u be z - (-9 + 0 + 2). Solve 5*y + u*j = 4*j - 22, 4*y - 5*j + 26 = 0 for y.
-4
Suppose 0*g + 4*h - 8 = -3*g, 10 = 5*h. Solve 3*z = -t - 1, -t - 3*t - 2*z + 6 = g for t.
2
Let b be 12/3 + 1/1. Solve 5 = 2*h - g, 0 = -2*h + b*g + 5 + 20 for h.
0
Suppose 11*b - 6*b = 0. Solve b = -2*j + d - 6, 5*j + 5*d + 18 = 3*j for j.
-4
Let s = -64 - -69. Solve -25 = -5*t + s*w, 0 = -5*t + w - 4*w + 1 for t.
2
Suppose -o + 10 = 3*l, 4*o - 33 = -5*l - 0*l. Solve 3*c = 5*c - 4*q - 6, -c - o = 3*q for c.
-1
Suppose g = -3*w -