Let j = 41 - m. Solve -t = -3*f - 7, 4*t - 5*f = -a*f + j for t.
4
Let m = 5 + -10. Let c(w) = -w - 2. Let v be c(m). Solve 2*t = n - 6 - v, 5*n - 30 = 5*t for n.
3
Suppose 3*v + 4*q - 13 = 0, -1 = 2*q - 3. Let k(w) = w - 1. Let m be k(3). Let y be 2 - (2 + 0 - m). Solve -y*n + 13 = -b, n + 4 = -v*n - 4*b for n.
4
Let z = -6 - -11. Suppose 17 - z = f. Solve 8*d - 3*d = -5*a, -3*a = -f for d.
-4
Let y be (-8)/6 - (-60)/(-9). Let c = -7 - y. Let v be ((-3)/(-2))/(2/28). Solve -x = -o + c, -5*x + o - v = -8 for x.
-3
Let p(n) = n**3 + 6*n**2 + 6*n + 7. Let l be p(-5). Suppose l*a - 2 = 6. Solve -4*y = -y - k - a, y = -3*k + 18 for y.
3
Suppose -8 - 2 = -2*q. Solve -q*w - 3*u + 7*u = 2, -w - 4 = u for w.
-2
Let t(a) = -a**2 - 6*a - 3. Let k be t(-2). Solve k*g + 20 = -i, 24 = -5*g + 4 for i.
0
Suppose -28*k + 12 = -25*k. Solve 8 = 2*w + k*l, -2*l = -5*l + 9 for w.
-2
Suppose 3*n = -7 - 23. Let y = -17 - n. Let d(r) = -2*r - 2. Let c be d(y). Solve 3*p + c = 3*t, 2*p - 3*t + 5 = -4*t for p.
-3
Let m = 7 - 10. Let g(x) = -x**3 - 2*x**2 + x - 3. Let c be g(m). Solve -2*i - 4*a = -14, i - 3*i - 21 = -c*a for i.
-3
Let h = -4 - -9. Suppose -3*m + h*w = -2*m + 23, 0 = 3*m - 2*w + 4. Let q be 1/(((-1)/m)/(-1)). Solve q*z + 2*a - 12 = 0, 3*a = -2*z + 9 + 6 for z.
3
Let t = 6 - 4. Suppose 5*w = 2*m - 22, m + t*w = -w - 11. Suppose 3*x - m - 8 = 0. Solve -x*v = v - 20, 2*d = -v + 13 for d.
4
Suppose -3*q + 0 = -9. Let t(s) = -s**2 - 4*s - 3. Let o be t(-4). Let g = q + o. Solve g = -4*l + 3*z - 4 - 2, -2 = -2*l - z for l.
0
Let v be ((-12)/36)/(2/(-18)). Suppose -v*n - n = -12. Solve -4 = -p - 2*m - 1, -5*m + n = p for p.
3
Let l be (2/3)/((-2)/3). Let n = -8 + 5. Let q be 20 + 0/n + l. Solve 0 = -3*v + 7*v + 3*i - q, v - 9 = -5*i for v.
4
Let i be (-48)/(-10)*(2 - -3). Let s be ((-1)/(-3))/(4/i). Solve -t - 15 = 5*h, -t - 2 = -s*h - 1 for h.
-2
Suppose -s = x + x + 6, 0 = -2*s + 2*x + 18. Suppose -s*f - 7 = -23. Solve -f*n + 4*l + 0*l + 20 = 0, 0 = 5*l + 15 for n.
2
Suppose -2*g = 0, 0 = -a - 0*g + 2*g + 3. Solve -4*y - t - 9 = 0, a*y + 2*t = 9 - 22 for y.
-1
Let n(i) = 3*i - 35. Let m be n(20). Solve -5*b + m = 0, 10 = -4*q - 4*b + 2*b for q.
-5
Let c = 79 + -49. Suppose -5*f + c + 10 = 0. Let u = -3 + f. Solve 3*n = b + 2, -n - u*b + 2 = -4*n for n.
1
Let v be 7 - ((0 - -1) + 1). Let m = v + -2. Solve -w - s + 4*s = -m, 0 = 2*s for w.
3
Let v = 5 + -3. Suppose 0 = g + g + v. Let f be g + 2 + -4 + 7. Solve 0 + 6 = 3*d, 0 = r + d - f for r.
2
Suppose -3*v = 5*w - 20 - 15, 3*v - 45 = -3*w. Solve 3*d - 3*c + 2 = 26, -2*d + 3*c = -v for d.
4
Let x = -10 + 17. Let m be x - (0 + -3 + 4). Solve -10 = 2*v, -6 = -z + 3*v + m for z.
-3
Let k(z) = z**3 - 3*z**2 - 3*z - 1. Let a be k(4). Solve -9 = -5*c + 4*c + 3*v, -4*v = -a*c + 7 for c.
-3
Let n(u) = -u + 4. Let g be n(2). Solve -2*o - 2*h = 0, g*o + 3*h + 2*h = -6 for o.
2
Suppose -12*c = -8*c - 28. Solve -2*x + 4*z - 10 = 0, -5*x - 2*z - c = 18 for x.
-5
Let v be 1/((-6)/(-3) - 1). Suppose 4*r - 9 = -v. Suppose r*c - 13 - 1 = 0. Solve -m - 2*a = -c, 3*m = -a + 4*a + 12 for m.
5
Let c(n) = -n**3 - 4*n**2 + 4. Let i = -11 + 7. Let p be c(i). Suppose 0 = l + 5*s - s - 8, 0 = -5*l + 2*s - p. Solve 3*t - 3*k = l, 0 = -4*k - 2 - 18 for t.
-5
Suppose 52 = 3*c - 4*g + 2*g, 4 = -2*g. Solve 3*t - 5*t = m + 3, -3*m - c = -t for m.
-5
Suppose -5*q + 33 = 4*l, 3*l - 4*q = l - 16. Solve 4*b = -5*z + 13, l*z + b - 3 = z for z.
1
Let x(k) = 2*k**2 + 5*k - 4. Let o be 0 - (-1)/((-3)/12). Let u be x(o). Solve s - u = 2*w, -8 = 5*w - 3*s + 12 for w.
-4
Let x be (16/3)/(8/60). Suppose -4*o + 60 = 3*c, 3*o - 3*c - x = -4*c. Solve -4*a = -2*z - o, -3*z + 0*a - a + 17 = 0 for z.
4
Suppose 5*g + o - 14 = 3*g, 2*g + 4*o - 20 = 0. Solve -3*l - 4*s + g = 0, -5*l + 2*s + 5 = -5 for l.
2
Let o = 12 - 7. Suppose 0*p - 35 = -o*p. Suppose 2*f = 5*x - p - 11, -4*x = -3*f - 20. Solve -3*t - 10 = -2*i, -4*i - x*t + 3*t = 0 for i.
-1
Let c(p) = -p**2 + 1. Let l be c(-2). Let s be (1 + 8)*l/(-9). Let m be 4/(-1 + s) - -1. Solve -a + m*a = 3*b, -5*a - 7 = -4*b for b.
-2
Let m = 0 + 0. Let p = 0 - 0. Suppose p = 3*f - m - 3. Solve 4 = t + 3*o, -3*t - 4*o + f = -6 for t.
1
Suppose 3*b = -1 + 7. Let r(i) = i + 38. Let p be r(-17). Solve -b*g - 5*z = -p, 6 = z + 3 for g.
3
Suppose 2*a - 64 = 4*k, 0 = -k + 1 - 2. Let s be 1/3 + (-328)/(-24). Let p = 14 - s. Solve u + 3 = p, 2*u - a = 5*i - 11 for i.
-5
Let n = 2 - -2. Suppose -l - n = 5*o - 14, -o - 2*l = -2. Solve 17 = y - 4*x, -2*x - o*x - 20 = 0 for y.
-3
Let a(t) = -t**3 - t**2. Let r be a(0). Suppose 16 + r = 2*g. Suppose 4*p = -4*d - 4, -g*p + 3*p - 4*d - 2 = 0. Solve 2*j = -j + l - 4, -p*j + l = 2 for j.
-2
Suppose 2*t = 4*t - 6. Let o be 0/(-1) + (8 - 3). Suppose -o*f + 46 = -14. Solve 3*c + f = -0*c, -t*q - 2*c + 4 = 0 for q.
4
Let m be 2 + -1 - (-2 - -3). Let k(a) = 2 + m - 4 - 1 - 4*a. Let x be k(-2). Solve 12 = -4*i + 3*f - 2*f, -x*f + 3 = -i for i.
-3
Suppose 0 = f + 23 - 24. Let q be (-24)/(-9) + f/3. Solve -3*s = -q*y + 1 - 7, 5*s - 14 = 3*y for y.
2
Let a = 8 - 0. Let g = -7 + a. Solve -2 = -c + x + 2, 0 = 2*c + 5*x - g for c.
3
Let d be (33 + -34)*(7 + -1)*-1. Solve -5*m = -20, -6 - d = -4*j - m for j.
2
Let u(c) = -c**3 - 8*c**2 + 8*c - 9. Let i be u(-9). Suppose -s - 3*s = -5*y + 35, i = -3*y - s + 4. Solve -2*w - w + 4*h = -y, 0 = -2*w - 4*h + 22 for w.
5
Let r be (9/6)/((-6)/(-12)). Solve 3*t - d = -4, r*t + 10 = 2*d + 2 for t.
0
Let i = 3 + -2. Suppose i - 5 = -u. Solve 3*s + 5 = -2*b - 3, u*s = -4*b - 16 for b.
-4
Let b = -9 + 18. Solve -3*h - k = -6*k + b, -5*k = 4*h - 23 for h.
2
Suppose -399 = -19*v - 38. Solve -4*j - 2*s - s = -v, -j = 5*s - 9 for j.
4
Let q(c) = c**2 + 4*c + 6. Let x be q(-4). Solve t + 6 = -t - 3*b, 4*t + x = -3*b for t.
0
Suppose -2*k - 8 = -5*k + l, -4*k + 10 = -2*l. Suppose 0 = -0*b - k*b + 15. Solve -4*z = -2*u - 18, 0 = -2*u + z - b - 4 for u.
-3
Let n(x) = -2*x - 7. Let g be n(-5). Let z(l) = 0 + l - 3 + 8 - 2*l. Let q be z(g). Solve q*o = 2*j - 4*j - 2, 3*j = 3*o - 3 for o.
0
Let a be (24/(-9))/(6/(-9)). Suppose -1 = a*w - 5. Solve -2 = 3*g - j + w, 0 = 2*g + 4*j - 12 for g.
0
Suppose 2*w - g = 3, 0 = 2*w - 5*w - g + 12. Solve -3*j + w*d = j, -d - 8 = -4*j for j.
3
Let x = 10 + -5. Let b = -33 + 57. Suppose -a - b = -x*a. Solve 3*m + a*v - 19 = v, -2*v = -10 for m.
-2
Let a(w) = w + 5. Let g(z) = 2*z**3 - z**2 + 2*z - 1. Let h be g(1). Suppose 0 = -h*i - 2*i. Let v be a(i). Solve o = -0*o + 2, 0 = -2*b + v*o - 12 for b.
-1
Suppose 2*y - 6*y - 48 = 3*a, -4*a - y = 64. Let o be 5 - 1 - a/(-8). Solve 8 = -4*c - 5*s + o*s, -2*s + 2 = -c for c.
-2
Let b = -27 - -47. Suppose -2*d + b = 3*d. Let x = d - 1. Solve -x*a = -3*f - 2*a - 4, 0 = -f + a for f.
-2
Suppose 26 = k + i - 2*i, -4*i = -3*k + 81. Let f = 11 - 4. Solve -l = -5*u - k, -5*u - 3*l + f = 38 for u.
-5
Let f = -13 + 7. Let u = 9 + f. Suppose u*o - 11 = -l - 0*o, o = 2*l - 1. Solve -2*s - 6 = 3*b - l, 5*b = s + 2 for b.
0
Let j = 2 - -15. Suppose -3*n + j = 5*u, -4*n - 4*u + 20 = -0*u. Solve 0 = 5*o + n*y - 2, -y + 4*y + 1 = -5*o for o.
-2
Let k = 18 + -9. Suppose 3*d + 3 = -v, -2*d = v - 0*d - 2. Let r = 4 + 1. Solve t = 2*q - k, -q - r = -t - v for t.
-5
Let w = 3 + -3. Let a = 6 - 4. Solve w = 3*h - 2*c - a - 1, 2*c = -2*h + 2 for h.
1
Let q(o) = o**2 - 4*o. Let h be q(6). Let j be (2 + h)/(1 - 0). Suppose -3*c + j = -2*c. Solve v - c = -2*y - v, -v = -2*y - 1 for y.
2
Let n(d) = d**2 + 5*d - 3. Let w be n(-6). Suppose -9 = -2*x + y, -w*x + 2*y + y + 18 = 0. Solve -8*l = -x*l - 5, -3 = -2*q + l for q.
2
Let j(y) = y**3 + 3*y**2 - 4*y + 4. Let g be j(-4). Suppose 3*q = -5*r + 4, g*q - 9 = -5*r - 2. Solve f - q*l = 15, 3 = 3*f + l - 2 for f.
3
Let z(w) = 2*w**3 + w**2 - w + 2. Let d be z(-2). Let b = d - -11. Suppose -5*q + 5*f = -b + 18, -4*q + 28 = 4*f. Solve 0*m + m = -q, -4*m - 8 = -5*g for g.
0
Let h(v) = v**2 + v - 5. Let t be h(-5). Let f be (2/5)/(3/t). Suppose -3*q = -4*q + f. Solve -2*n + s - 3 = 0, -6*n = -q*n + 3*s + 1 for n.
-1
Let u = 1 + -1. Let w = -6 - -9. Suppose z = -u*z + w. Solve -4*y - z = -2*s - 3*y, -3*s = 4*y - 21 for s.
3
Let w be 19/7 - 4/(-14). Let x = -1 + w. Let j = 38 - 10. Solve b + x = -k + 2*k, -5*k - b = -j for k.
5
Suppose 2*u - 6*u = 2*g - 16, 0 = 5*g + 5*u