- 10*h. Suppose 3*a + 2*m = h, -3*a = -0*a - 2*m - 12. Solve a*f - 6*f = 0 for f.
0
Let f be (1 + (-27)/6)*-2. Solve 2*g + f = 3 for g.
-2
Let q(k) = -k + 4. Let g be q(-2). Let r be ((-1)/2)/(1/(-4)). Suppose -r*d - g = -4*l + 16, -3*d + 22 = 5*l. Solve a = 2*a + l for a.
-5
Let a be 5 - (2 + -5 + 5). Solve -a*p = -2*p + 3 for p.
-3
Let w = 0 - 0. Suppose 4*c + 8 + w = 0. Let u(q) = -q**2 - q + 2. Let i be u(c). Solve i = -j - j - 8 for j.
-4
Let t = 10 + -12. Let i = -2 - t. Solve -v + 2 + 1 = i for v.
3
Suppose -11*k + 5 + 50 = 0. Solve -3*y - 6 = -k*y for y.
3
Let v(a) = a. Let u be v(-3). Let t be ((-4)/(-6))/(2/u). Let n be ((-1)/(0 - -1))/t. Solve o = 2*o + n for o.
-1
Suppose -3*x = 3*t - 81, -3*x - 8 + 114 = 4*t. Let o be ((-10)/t)/(1/(-25)). Solve -4*n = -9*n - o for n.
-2
Suppose -a + 2*a = -4*q + 122, -3*q + 88 = -a. Let w be 50/q - 2/(-6). Solve 3*t + w*t = -10 for t.
-2
Suppose -4 = 3*y - y, -3*u - y + 7 = 0. Solve u = -2*o + 13 for o.
5
Let j be 5*(4/10 + 0). Suppose 0 = j*p - 4 - 0. Let l be 0/(-5 - -3 - -3). Solve 8 = p*v - l*v for v.
4
Let o = 6 - 4. Suppose -o*u = -4*u. Solve u - 6 = 3*a for a.
-2
Let w be 46/14 + (-28)/98. Solve w*m + 6 = m for m.
-3
Suppose 3*r - 21 = 2*c, 2*r + 2*c - 16 = 8. Suppose -4*g + r = -3. Suppose 0 = -o - g*o + 12. Solve -o*u + 1 = -2 for u.
1
Let r(c) = -c**2 + 11*c - 12. Let n be r(9). Suppose t + 3 = 7. Suppose 0*q - 2*q - 5*l = -n, -t*q = -l - 12. Solve f = -q + 1 for f.
-2
Let x = -30 + 33. Solve -15 = -x*m - 0*m for m.
5
Let h(v) = -v**3 + 13*v**2 - 13*v + 11. Let w be h(12). Let k(q) = -q + 2. Let s be k(w). Solve 4*a - 15 = -s for a.
3
Suppose 0 = 6*z - 57 - 63. Solve 6*i = i + z for i.
4
Suppose 0 = -0*t + 4*t + 12. Let g = t + 6. Let k = 5 - g. Solve 4*j = k*j + 10 for j.
5
Let v be (-1)/(1 + 0) - -3. Suppose 0 = -r - 4*r. Solve u = -v - r for u.
-2
Let n = -20 + 20. Solve n = -0*a - 4*a for a.
0
Let o be (-2)/(-5) + (-43)/(-5). Let t be 3/(o/(-6)) + 3. Solve 0 = -4*i - t + 5 for i.
1
Let k be ((-9)/6)/((-1)/2). Let v(o) = -o**2 - 6*o - 2. Let t be v(-5). Solve -k*f - t = -6*f for f.
1
Let k = 5 - 12. Let c(f) = f**2 + 6*f - 7. Let n be c(k). Solve -3*g + 18 - 3 = n for g.
5
Suppose -2*q + 16 = 2*q. Solve 9 = q*f - 7*f for f.
-3
Suppose -5 = 4*y - s, -5 = 4*y - 2*y - s. Solve 2*k - k = y for k.
0
Suppose 0 = -2*v, 2*v - 6 = -t - 3. Solve -5*r + 12 + t = 0 for r.
3
Suppose 0 = -2*w - w - 9. Let u = w + 5. Suppose -u*k - 10 = -4*k. Solve 15 + k = -5*i for i.
-4
Let d = 13 + -10. Let y be (1/1)/(d/60). Solve -5*k + 5 = -y for k.
5
Let s(p) = 2*p**3 + 2*p**2 - 1. Let i be s(1). Suppose d = -0*d. Solve -i*q = -d*q + 9 for q.
-3
Let n(z) = z. Let b be n(0). Suppose -5*m + 3*s - 1 = 0, -2*m + b = 2*s - 6. Suppose -a = -2 - m. Solve -a = 6*t - 3*t for t.
-1
Suppose -5*t - 3*j = -63, 27 = -4*t + 5*t - 3*j. Solve -2*m = -5*m - t for m.
-5
Suppose -9 = -s - 1. Suppose -w = -2*r - 0*w + 11, 4*r + s = -4*w. Solve c = r*c + 6 for c.
-3
Suppose 6*b - 34 = 26. Solve 0 = -v - v - b for v.
-5
Suppose -t - 2*t - o + 20 = 0, -3*t + o + 28 = 0. Let r be (t/(-10))/((-11)/55). Solve 3*j = -j - r for j.
-1
Let c = 31 - 107. Let q = c - -108. Solve 5*d + 12 = q for d.
4
Let l(z) = z + 1. Let a be l(3). Solve 0 = x - 3 + a for x.
-1
Suppose 0 = v + 2*v + 12, 0 = 4*k + 3*v - 36. Let r be 2 - 3/(3/(-4)). Let m be (k/(-1))/(r/(-4)). Solve -m = -5*p - 3 for p.
1
Let g(i) = -3*i - 2. Let f be g(-2). Suppose -6 = 4*m - 5*m + 2*w, 2*m - 28 = -4*w. Solve -k + m = f*k for k.
2
Let v = 4 - 2. Let l(g) = -g**3 - 2*g - 3. Let q be l(-2). Let c = q - 2. Solve -c*p = -v*p for p.
0
Let n(o) = -2*o**2 - 17*o. Let p be n(-8). Solve -p = r - 3*r for r.
4
Suppose 2*i - i = -3*y - 8, -2*i = 4*y + 12. Let x be (4 - i)*2/4. Let l be 2/8 - 105/(-12). Solve 0 = -x*w + l for w.
3
Let o = -5 - -5. Suppose o = -2*a - 2*a + 20, -2*b + 4*a - 20 = 0. Solve 0 = -b*h + 2*h - 2 for h.
1
Suppose 3*w - 15 = -2*w, 3*u = 2*w - 24. Let z = -6 - u. Solve 5*k - 4 - 11 = z for k.
3
Suppose 5*s = -10, 5*v = -2*s - s + 124. Suppose 0*z - 9 = -z - a, -4*z - 2*a + v = 0. Solve 4*n - z = 8*n for n.
-1
Suppose -4*d = -31 - 9. Suppose 5*i = -0*n - n + d, -22 = -2*i - 4*n. Suppose -7 = -2*q - i. Solve -q = -4*j + 5 for j.
2
Let n(h) = -h + 6. Let x = 0 - -3. Suppose -x*y + 5*y - 8 = 0. Let m be n(y). Solve -7 + 1 = m*z for z.
-3
Let r = 12 + -4. Let i be 1/(4/(-10))*-2. Let c = r - i. Solve -o + 6 = -c*o for o.
-3
Let s(y) = y**3 - 8*y**2 + 9*y - 10. Let p be s(7). Suppose 0 = -p*f + f + 12. Solve -3*c - 11 = f for c.
-5
Suppose -2*r + 7 = 23. Let h(y) = y**3 + 7*y**2 - 9*y - 1. Let k be h(r). Suppose -2*l - 3*t + 18 = 6, -k = -l - 2*t. Solve -l*g - 2*g + 15 = 0 for g.
3
Suppose 3*s + 35 = 5*i, 5*i + 91 - 21 = -4*s. Let h = -2 + -9. Let j = h - s. Solve 0 = j*t - 4 - 4 for t.
2
Let n = -4 - -7. Suppose 0 = -2*a - 3*a + 10. Suppose 4*q - 3 = -2*v + 5, -q = -a*v + 8. Solve n*u - 6 = -q*u for u.
2
Let d(g) = -g + 8. Suppose 0*z = y + 3*z + 6, 36 = 4*y - 3*z. Let s be d(y). Suppose -3*q + 33 = s*w - 3*w, -5*w = 3*q - 15. Solve 0 = 4*r + q + 6 for r.
-4
Let s be 4*(9/(-6) + 4). Solve 7*l = s*l - 12 for l.
4
Let y(a) = 0*a**2 - a**2 + 2*a - 7 + 7*a. Let o be y(8). Solve 7 = 4*r - o for r.
2
Let f(t) = -5*t - 21. Let x be f(-5). Solve -8*c - 16 = -x*c for c.
-4
Suppose 9*v - 56 = 2*v. Solve 4*a + v = -8 for a.
-4
Let i(o) = o**3 - 5*o**2 - 6*o + 9. Let x be i(6). Solve 0 = -3*f + 6*f + x for f.
-3
Suppose 5*y - 3*p = -53, -2*y + 7*y + 4*p + 46 = 0. Let f be (-4)/5*y/4. Let o(u) = u**2 + 5*u - 3. Let s be o(-6). Solve l - f = s*l for l.
-1
Let u = -38 + 54. Let w = 3 + -3. Let a be 2 + (4 + -3 - w). Solve -a*n = -7*n - u for n.
-4
Let m = -1 + 1. Let s = 10 + -8. Suppose 0 = -s*n + 4*l, m + 5 = 4*n - 3*l. Solve 0 = -7*w + n*w - 10 for w.
-2
Let c(r) = -r**3 - 6*r**2 - 7*r - 5. Let t = 3 + -8. Let k be c(t). Suppose 3*g = 2*w + 3*w - 19, 0 = -5*g + w + k. Solve -m - m + g = 0 for m.
1
Suppose -2*j + 3 = -3. Suppose -3*x + 2*g + 0 = 1, -4*x = j*g - 27. Solve -6*u + 3 = -x*u for u.
1
Let f(u) = -u**3 - 6*u**2 - 10*u - 10. Let y be f(-5). Solve -l + y = -6*l for l.
-3
Let p = 7 - 2. Suppose -4*l - 3*w - 9 = 19, 0 = -2*l - p*w - 14. Let i = 13 + l. Solve -i*x - 8 = -4*x for x.
-4
Suppose 4 = -3*t + 4*z, z = 5*t - 6 - 10. Solve -m = -t*m - 6 for m.
-2
Let l(r) = r**3 + 8*r**2 + 5*r + 2. Let w be l(-7). Suppose -2*i - 2*i = -w. Solve 4*t + 0 = i for t.
1
Suppose -3*d + 34 = -2*o, d + 3*o + 39 = 4*d. Suppose 9*u - 3 = d*u. Solve 4*w - 7 = -u for w.
1
Let m be 0 - (-1 - 1) - -5. Let g(i) = 3*i**2 + 1. Let y be g(-1). Solve -y*r + 15 = -m*r for r.
-5
Suppose -5*k = -0*k - z - 1, 4*k - 5*z = 5. Suppose k*v + 3*v + 4*l - 33 = 0, 0 = 4*v + 5*l - 45. Let p = 3 + -1. Solve 0 = -p*w - w - v for w.
-5
Suppose -2*q - 2*r - 2 = 4, -q - 9 = 3*r. Suppose 4*f - 9 - 11 = q. Solve f*c - c = -4 for c.
-1
Suppose -3*r + 20 = 11. Solve 0 = y - r*y for y.
0
Let r(p) = 7*p**2 - p. Let u be r(1). Let n be -55 - -60 - (-1 + 1 + -5). Solve -u*f + f + n = 0 for f.
2
Let i be -2 - ((-63)/(-1))/(-3). Suppose -4*u - 2*g + 25 - 9 = 0, -2*g + i = 5*u. Solve 0 = u*k - 6*k - 6 for k.
-2
Let z(j) = j**2 - 8*j + 7. Let v be z(9). Suppose -i = -v + 6. Let d be 95/25 + 2/i. Solve -2*y - 2 = d for y.
-3
Let x(b) = b + 13. Let f be x(-13). Solve f*z = 2*z + 2 for z.
-1
Suppose -5 = -2*g - 3. Let s be ((-3)/(-6))/(g/4). Solve -s*x - 2*x = 8 for x.
-2
Let k be (15/(-1))/(-2 - -1). Suppose 3*a - t - t = -39, 5*a - 4*t = -67. Let m = -7 - a. Solve 0 = -9*p + m*p + k for p.
3
Suppose -4*y - 2*q = -8, 2*y + y - q = 1. Solve -4*p = -9 + y for p.
2
Let x be 230/50 + (-6)/10. Solve 4*r = -0*r - x for r.
-1
Suppose 22*h - 24 = 10*h. Solve -4 = -h*u - 0 for u.
2
Let g = -20 + 20. Solve 3*m + g = -6 for m.
-2
Let m = 10 + -3. Let n be m + (2 - (-2)/(-1)). Suppose -b = -5, 5*x - n*b + 3*b = 0. Solve x = -0*p - 4*p for p.
-1
Suppose 47 = 8*n - 1. Solve -n = -5*b + 9 for b.
3
Let p be (0 - 25/(-10))*22/5. Let b(g) = g**3 + 5*g**2 + g + 6. Let w be b(-5). Solve -2*n + w = p for n.
-5
Suppose -4*n = -2*n + 3*n. Solve -3*d + n*d + 12 = 0 for d.
4
Let t(i) = -i**3 + 8*i**2 + 10*i + 10. Let g be t(9). Let z = g - 14. Solve 2*v = 1 - z for v.
-2
Let p be (-1 - (2 + 1)) + (-3 - -10). Solve 0 = -p*c + c + 6 for c.
3
Let a(k) = -k*