*2 + 4*m + 1. Let g be t(-4). Suppose -4*y = 8*d - 4*d - 4, 0 = -2*y. Solve -a + g = -d for a.
2
Let k be -6*((-2)/9 + (-1)/(-18)). Suppose -3*c + 10 = 4. Suppose h + k = c. Solve n = h - 5 for n.
-4
Let q be 0*(-2 - (-4 - -1)). Let v = q + -1. Let z be 4/(-2)*(v + 0). Solve r = -z + 4 for r.
2
Suppose -6*p - 8 = -8*p. Suppose 0 = 2*m - 6 - p. Solve 0 = -y + m - 3 for y.
2
Let c = -15 - -23. Let v be 3/(-4) + 22/c. Solve -2*j + 0 = -v for j.
1
Let c(m) = m**3 - m**2 + m + 5. Let l be c(0). Let a(q) = q**3 - 10*q**2. Let u be a(10). Solve -l*p + p = u for p.
0
Let a be 1*(-8)/(-28) + (-2)/7. Solve a*v - 8 = -4*v for v.
2
Let c(y) = 2*y**2 + 6*y - 3. Let t(r) = r**2 + 7*r - 2. Let f(o) = 2*c(o) - 3*t(o). Let k be f(9). Let b be k - (0 + 1)*-2. Solve -b*v = v - 3 for v.
1
Let q be (-40)/6 + 4/6. Let g(p) = p + 10. Let n be g(q). Suppose 0 = -0*a - n*a. Solve a*l = -2*l + 4 for l.
2
Let j(b) = -b**3 - 2*b**2 - b + 2. Let q be j(2). Let f = -10 - q. Solve 0*r = -3*r + f for r.
2
Suppose -2*c + 3*k = -6, -2*c + 4*k = 1 - 9. Solve c = 5*i - 3 - 2 for i.
1
Let z(p) = -p**3 - 4*p**2 + p + 5. Let q be z(-4). Suppose x - 4*l + 4 = 0, 0 = 2*x - x - 3*l - q. Solve -4 = -4*v - x for v.
-3
Let m be (10/(-2))/(-1 - -2). Let c be -2*2/4*m. Solve c*k - k = 12 for k.
3
Let q = -17 + 13. Let s = -1 - q. Solve 7 + s = -2*x for x.
-5
Let h = -3 - -5. Let y be (-3)/(-6) + (-18)/(-4). Suppose -h*d = -y + 1. Solve -d*k - 2 = 2 for k.
-2
Let o = 5 - -13. Let v be o/4 + (-6)/4. Solve -v*b + 2*b = -3 for b.
3
Let k = -1 - -4. Suppose 5*c = k*r, -4*c + 5*r = c. Suppose -8 = -2*z - c*z. Solve -z*w + 5 = 1 for w.
1
Let n(d) = -d**2 + 8*d. Let j be n(8). Solve -u - 4 = -j for u.
-4
Let p be -2 - (0 + (-2 - 0)). Suppose p*o = -o + 2. Suppose 4*x - 2*v + 2 = 0, x - v = o*v - 8. Solve -5*w - 9 - x = 0 for w.
-2
Suppose 0*q + 12 = -2*q. Let g be (15/q - -1)*-2. Solve 4*d - 3 = g*d for d.
3
Let z = -12 - -7. Let w(u) = -2*u**2 + u - 1. Let n be w(1). Let p = n - z. Solve 0 = k + p - 1 for k.
-2
Let a be (-27)/(-18) + (-2)/(-4). Solve -a*s + 0 - 2 = 0 for s.
-1
Let z = -73 - -78. Solve -z*v + 11 = 1 for v.
2
Let k = -11 + -4. Let w be (-82)/(-10) + 3/k. Solve 5*l = l - w for l.
-2
Let c be (-2)/6 + (-35)/21. Let w be (c/5)/(2/(-70)). Suppose -2*m + w + 18 = 0. Solve 5*g = 9 + m for g.
5
Let m be 2*4/(-8) + 4. Solve -p + m + 2 = 0 for p.
5
Let h = 3 + -1. Solve -3 = -h*p - 1 for p.
1
Suppose 5*f = 3*t + 25, 4*t - 5*f + 11 = -14. Let b = t + 0. Let g = 34 + -31. Solve b*u + 3*u = -g for u.
-1
Let t = 37 + -22. Solve -l + t = -4*l for l.
-5
Suppose 0 = -4*n - 13 - 3. Let g = n - -7. Let y = 1 + 5. Solve -g*v = -y*v - 3 for v.
-1
Suppose 5*k = -3*n + 3, -4*n + 4*k = k - 33. Let y be (8/n)/((-3)/(-9)). Solve y*f = f - 6 for f.
-2
Let y = 9 - 6. Solve -1 - 14 = -y*u for u.
5
Suppose 17 = 5*c + 7. Solve -1 = -c*q + 3 for q.
2
Let v be 5 - 1/(1 - 0). Let w(g) = -g + 7. Let s be w(5). Suppose s*i - 45 = -i. Solve 35 - i = -v*b for b.
-5
Let z be ((-76)/(-10))/((-2)/(-5)). Let u = z - 18. Solve -t = 4 - u for t.
-3
Let m be 12 + 2/(-1) + -1. Let s = -5 + 9. Solve -s*u + u = -m for u.
3
Let n = 26 + -17. Let b = -3 + n. Suppose -r = -b - 13. Solve 3 = 4*v + r for v.
-4
Suppose 4*a = -5*m + 8, 4*m + a - 3*a - 22 = 0. Solve p - 2*p = m for p.
-4
Let y(b) = b**3 + 7*b**2 - 10*b - 12. Let k be y(-8). Suppose 0*a = k*a - 28. Solve -3*f = -a*f - 20 for f.
-5
Let v be (-13)/(-3) + (-1)/3. Suppose -j + 24 = m + j, v*m - 78 = j. Solve 4*w - m = -0*w for w.
5
Let r be (-4)/26 - 2592/(-117). Suppose 4*y + 6 - r = 0. Solve 15 = n + y*n for n.
3
Let j = -18 + 22. Solve -19 = j*s - 7 for s.
-3
Let i be ((-9)/6)/((-4)/8). Let b = -1 + i. Solve r = -b - 3 for r.
-5
Let f(k) = -k**3 + 2*k - 1. Let d be f(-2). Solve -t = -d*t - 4 for t.
-2
Let h(g) = -g**3 - 29*g**2 - 27*g + 31. Let d be h(-28). Suppose -2*n + j + j = 18, -5*j - 35 = 5*n. Let r = -3 - n. Solve r*o - 8 = -d for o.
1
Let f = -32 + 33. Solve -2*p = -3 - f for p.
2
Let c be ((-5)/1)/(-7 - -6). Solve -9 = c*a + 1 for a.
-2
Suppose 0 = g + h - 7, 4*g - 4*h + 6 = -6. Solve -g*i - 9 - 1 = 0 for i.
-5
Let x(t) = t**3 + 7*t**2 - t - 5. Let h be x(-7). Suppose h*b = b. Let c = b - -3. Solve 0 = -c*k - 6 - 6 for k.
-4
Let u(p) = -p**2 + 7*p - 6. Let g be u(5). Let b be (-429)/26*(-2)/3. Solve -g*v + b = -5 for v.
4
Suppose -b + 0*b = 1. Let w = -3 + 1. Let h be (b - (-9)/3) + w. Solve h = -r + 6*r for r.
0
Suppose -72 + 12 = -6*w. Solve -5*y + w = 35 for y.
-5
Suppose 0 = -t - 2 + 35. Let r be (11/t)/(1/75). Solve 2*j + r = -3*j for j.
-5
Let f = 23 + -17. Solve 2*x = -0*x - f for x.
-3
Suppose r + 6 = -2*r. Let p be 0 - r/((-2)/(-3)). Solve -3 = p*b + 6 for b.
-3
Suppose 3*g - 14 = 5*i + 2, -2*g - 3*i - 2 = 0. Suppose w - 12 = -g*w. Solve x = -w*x + 15 for x.
3
Suppose 3*l + 11 + 1 = 0. Let n be 56/10 + l/(-10). Solve -5*t = -2*t + n for t.
-2
Let z(t) = -4*t - 3*t + 3*t - 3. Let a be z(-4). Suppose -4*d + a = -3. Solve -20 = -d*q - q for q.
4
Let k be (-12)/(-18) - 2*13/(-6). Solve -4*z = -k*z for z.
0
Let v be (-11)/(-3) - (-1)/3. Suppose 0 = -v*a + 20, -5*a + 7 = -n - 18. Let r be (1 + -2)*4*-1. Solve n = -d - 3*d - r for d.
-1
Suppose -i = -5*n + 16 - 2, 2 = -3*n - 2*i. Let s = -51 + 54. Solve n*v = -s*v for v.
0
Let x(s) = -s**2 + 5. Let i be x(0). Let o = -4 + i. Solve 2*g + o - 3 = 0 for g.
1
Suppose 6 = -2*y + 2*v, -y + 3*v - 18 = -v. Let k = 0 + 0. Let f = -2 + 8. Solve k*r + f = y*r for r.
3
Suppose 0*l - 43 = -5*b - 2*l, -2*b + 4*l + 22 = 0. Suppose b + 3 = 4*r. Solve -r = 2*y - 7 for y.
2
Let a(c) = -c - 2. Let j be a(-2). Suppose 4*g + 5*p + 16 = j, -p = -3*g - 2*g + 9. Suppose 6 = b + g. Solve -b*h + 0*h = 20 for h.
-4
Let g(t) = 4*t**2 + 2*t - 1. Let s be g(1). Suppose -h = -4*h. Solve h*c - 20 = -s*c for c.
4
Let v(u) = u + 36. Let o be v(-22). Solve 0 = -4*c + o + 2 for c.
4
Let c = 4 - 4. Suppose h = -2*a + 67 - 11, a + 4*h - 28 = c. Suppose -3*n + 4*u - a = -96, -4*u = 2*n - 32. Solve -3*r - 2*r = -n for r.
4
Suppose 4 = -3*g + 4*g. Solve 0 = h + g - 1 for h.
-3
Let p be 12*(-3 + 35/10). Solve v + 2 = p for v.
4
Let p be 0/(6/(-12) + 9/(-6)). Solve 2*v = -p*v for v.
0
Suppose 0 = 5*w - 0*w + 50. Let i = w + 20. Let f be i - 3 - (1 - 0). Solve -3*d + 0 = -f for d.
2
Let v = 9 - 7. Suppose -v*p - p + 15 = 0. Let t = -6 - -11. Solve -p - 5 = -t*s for s.
2
Suppose -5*f + 59 = -f + 3*j, -3*f = 4*j - 53. Solve 0 = 6*u + 13 + f for u.
-4
Let u be (69/(-9))/(1/3). Let q be u/(-4) + 2/8. Let j be (-2)/(-2) + q/2. Solve 3*d = -d + j for d.
1
Let u(i) = 3*i. Let o be u(4). Suppose -3*h + o = h. Solve 5 + 4 = h*p for p.
3
Let m be 154/10 + (-4)/10. Suppose 4*r = m - 3. Let j = -3 + r. Solve -4*h - h = j for h.
0
Let n(b) = -4*b - 3. Let q(s) = s**3 + 3*s**2 + 2*s - 2. Let f be q(-2). Let r be n(f). Suppose j - r*v = 2*j + 5, -4*v = 8. Solve -j*l + 16 = -l for l.
4
Suppose -6*r + 2*r = -p - 23, 2*p = -2*r + 4. Suppose -j + 2*v + 10 = 0, -5*j - 20 = -v - 70. Solve 0*t - j = r*t for t.
-2
Suppose -5*y - 2*p + 2 = 0, -y - 22 = -6*y + 3*p. Solve d + 1 = y for d.
1
Let d be ((-45)/(-6))/((-6)/(-8)). Suppose 2*c + d = 7*c. Let f = 0 + c. Solve 3*b + f = b for b.
-1
Let p(j) = -j**3 - 4*j**2 - j - 2. Let x be p(-4). Suppose -x*v + v - 5*a - 9 = 0, -3*v + 27 = -3*a. Solve 2*n = v*n for n.
0
Let v(i) = -i - 1. Let l be ((-9)/6)/((-1)/(-4)). Let f be v(l). Solve 7 = -f*t + 32 for t.
5
Let i(m) = m**2 + 6*m - 5. Let d be i(-6). Let z = 7 + d. Suppose -3 = r - 3*x, -3*r = r - 2*x + z. Solve r*q - 4*q = 8 for q.
-2
Let d(m) = -m**2 + 5*m + 4. Let c be d(0). Solve 5*p + c = -6 for p.
-2
Let q be 4*2/(-2) + 1. Let b be -3 - q - 5*-1. Solve 0*k = k - b for k.
5
Suppose 5*h - 3*h = 0. Suppose -28 = k + 3*k. Let v = -4 - k. Solve h = -d + v for d.
3
Let c(s) = s**3 + 9*s**2 - s - 2. Let y be c(-9). Solve 0 = 5*r + 22 - y for r.
-3
Let z = 4 - 9. Let p = z + 15. Suppose -3*t + 2 = -p. Solve -s = -t*s + 9 for s.
3
Let g(p) = -p**2 + 2*p - 4. Let j be g(3). Let k be ((-4)/7)/(2/j). Solve k*u + 12 = 6*u for u.
3
Let p = -9 + 9. Solve p*m + 2 = 2*m for m.
1
Suppose 0 = -3*s - 20 + 26. Solve -s = 2*x - 4 for x.
1
Suppose 1 - 10 = -3*v. Suppose 6 = v*r + 4*x, -2 = -3*r + 3*x + 4. Solve 0*k + 2 = -r*k for k.
-1
Let t = -62 - -65. Solve -t*z + 6 = -3 for z.
3
Let x(v) 