f = -3*h, -4*h + 5*g = -7. Solve 0 = -6*l + h*l + n for l.
2
Let d(q) = -q**2 - 6*q + 5. Let c be d(-6). Suppose -c*n - 3 + 13 = 0. Solve -5 = 7*x - n*x for x.
-1
Let n be 1/4*21 + (-64)/256. Solve 6 - 1 = n*f for f.
1
Let t be (2 - 12)*(15/(-6) + 0). Solve -6*v - t = -11*v for v.
5
Suppose -4*o + 7 = -1. Let j be (1 + -19)*(-1)/o. Solve 8*b - 5*b = j for b.
3
Let f be 118/4 + 4/(-8). Let l = f - 26. Solve -l*g = -4*g for g.
0
Let g = 3 - 2. Suppose -4*c + 5 = g. Let x be (32/(-6))/(c/(-3)). Solve -5*l = -x + 1 for l.
3
Let r = -39 - -39. Solve 3*b - 6 = -r for b.
2
Let g be (-3)/4 - 14/(-8). Suppose 0 = 4*s - 1 - 19. Solve -g + s = 2*x for x.
2
Let t(x) = x**3 + 2*x**2 - 3*x + 4. Let k be t(-3). Suppose k*p - 3*p = 0. Suppose p = 4*m - 26 + 6. Solve g = m*g for g.
0
Let c be (-3)/5*15/(-3). Let y be 8/3 - (-2)/6. Solve c*n - 15 = -y for n.
4
Let g(l) = 4*l**2 - 2*l + 1. Let k be g(1). Solve k*i - 5*i = 6 for i.
-3
Suppose -4*x - 10 = -u, -4*u = x + 3*x. Solve -3*m = u - 11 for m.
3
Let g be 3 + 0 + (6 - 3). Let z(x) = x + 3. Let k(s) = 3. Let l(f) = -3*k(f) + 2*z(f). Let o be l(4). Solve -h - o = -g*h for h.
1
Suppose -4*a - q = -13, 0 = 2*a + 5*q - 22 - 7. Solve -a*p + 4 = 8 for p.
-2
Suppose 0*t + 10 = -5*t. Let k be (-5)/(1/(t/2)). Solve -5*l = -20 - k for l.
5
Suppose -5*c + 16 = -24. Suppose -4*v - 5*b - 31 = 0, -b = -5*b - 12. Let a be (-13)/v - 3/12. Solve 5*u = -a + c for u.
1
Let a(l) = -2*l**2 - 3*l + 1. Let g be a(2). Let h(z) = z + 17. Let j be h(g). Solve -3 - 17 = j*y for y.
-5
Let t(q) = 4*q**2. Let b be t(1). Let o be 0/(b/2) + -2. Let i be (0/(-2))/(o - -4). Solve -n = -i*n for n.
0
Suppose 2*r + 2 + 0 = 0. Let n(z) = -3*z + 2. Let g be n(r). Solve 0 = -g*x - 3 - 2 for x.
-1
Suppose 2*h + 16 - 24 = 0. Solve 2*p = h*p for p.
0
Suppose -h - 10*h + 22 = 0. Solve 0 = l + h*l - 9 for l.
3
Suppose -17*o = -10*o. Solve -t - t - 6 = o for t.
-3
Let t = -45 - -32. Let z = t + 13. Suppose a + 10 = 5*r - 2, 4*a = -4*r. Solve -2*d + 3*d + r = z for d.
-2
Let q = -18 - -19. Solve 5*g = q + 9 for g.
2
Let u(j) = -j**2 - 2*j + 2. Let m be u(0). Solve -3 = -q - m for q.
1
Let x be (-2 - 1) + 6 - (7 - 4). Solve x = b - 4*b for b.
0
Let k(a) = 2*a - 9. Let x be 4/(-22) + (-136)/(-22). Let u be k(x). Suppose -u*h + 10 = -q + 3*q, 0 = -4*h. Solve q*g + 11 = -14 for g.
-5
Suppose 0*w - 2*g - 8 = w, w - g = 4. Let m be -1 + 22/(2 + w). Suppose 10 = 4*h + 2*n, -4*n + 6 = 3*h + 1. Solve 0 = h*o - 8*o + m for o.
2
Let m(d) = -d**3 + 5*d**2 + 2*d - 7. Let l be m(5). Let g = -6 + 9. Solve -g = l*n - 12 for n.
3
Let a be -2*(5/(-2) + 1). Let w(i) = i**3 + 5*i**2 - 5*i + 8. Let o be w(-6). Suppose 4*q - l - 17 = 4*l, -14 = -q - o*l. Solve -a*u - 2 = -q for u.
2
Let b = 16 - 14. Let g(n) = -n**3 - 5*n**2 - 6*n - 5. Let t be g(-4). Suppose 3*h + 9 = t*l, h + b*l = 7*l - 19. Solve -3*y = -h - 2 for y.
1
Let v be 4/(-12) - 80/(-6). Suppose -33 + v = -4*m. Suppose -3*c - c = -48. Solve -2*o - c = -m*o for o.
4
Let v be 2 - 4 - (0 + 3 + -10). Solve -3 = -4*d + v for d.
2
Suppose 2*v + v - 6 = 0. Let w be (v/5)/(7/35). Let d = -8 + 13. Solve 6 = w*o - d*o for o.
-2
Suppose -3*m - 4*a = -14, -2*m + 4*a - 2 = a. Suppose 8 = -m*u, -u - 2*u = 3*i. Solve -k + 6 = -i*k for k.
-2
Suppose -4*c = -0*c - 48. Let h be 54/c - 1/2. Solve h*k = -k for k.
0
Let j be (-1)/4 + (-74)/(-8). Let b = 64 + -64. Solve -3*z + b*z = j for z.
-3
Let g(c) = 2*c**3 + c**2 + c - 1. Let n be g(1). Suppose 3*b = 3*i - 15, 3*i - n*b = i + 13. Solve -f + 0 = i for f.
-2
Suppose 0*h = -4*g - 2*h - 6, -8 = 2*g + 2*h. Let f(a) = -g - 5 + 2*a + 1. Let s be f(4). Solve s*o + 16 = -o for o.
-4
Suppose d - 4 - 9 = -2*t, 24 = 4*d + t. Solve -3*v = -d + 11 for v.
-2
Let a be 5/(-2)*66/(-55). Solve 9 = -0*z + a*z for z.
3
Suppose d = -y, -d - 2*y = -3*d + 12. Solve 0 = -g + d + 1 for g.
4
Suppose -5*p = 4*m - p + 4, 3*m = 5*p + 5. Solve m*t + 2 = -2*t for t.
-1
Let s = 41 + -28. Let f = 17 - s. Solve a = -f*a for a.
0
Let w be (0 - -2)*1 + 0. Let i(z) = 3*z + 10*z**w - z + 3 - 2. Let s be i(-1). Solve -3*f + s = -0*f for f.
3
Let h(f) = f**3 + 5*f**2 - f + 5. Let w be h(-4). Suppose n - 2*n + w = 0. Let o = n + -18. Solve -o*u = -2*u for u.
0
Suppose 3*q + g = 28 + 5, -5*q + 2*g + 55 = 0. Let n = q + -5. Solve 3*a - n = a for a.
3
Let c(w) = -w**3 - 4*w**2 + 7*w. Let o be c(-5). Let a be (2 - o/(-4))*-4. Solve g = a*g + 4 for g.
-4
Suppose x - 144 = -x. Suppose u - 5*y = -2, -3*u - 2*y + 7 + x = 0. Suppose 33 = 5*v + 2*n, -2*v - 2*n = v - u. Solve -2 = -v*j + 3*j for j.
1
Let l(g) = 2*g + 3. Let t be l(9). Solve t = -5*p - 4 for p.
-5
Let z = 0 - -15. Let j = z + 11. Solve 1 - j = -5*q for q.
5
Let s = -9 - -12. Let m = s - 1. Solve m*q = q for q.
0
Let m be 0 + 4 + 3 + (-4)/1. Solve -m*y - 12 = -7*y for y.
3
Let r(f) = f**2 + 4*f + 8. Let a be r(-6). Suppose -2*k - 3 - 3 = 0, 14 = 4*g - 2*k. Let s(v) = -v**2 + v. Let x be s(1). Solve g*y + 3*y + a = x for y.
-4
Suppose -4*s = -62 + 18. Solve 4*w = s - 3 for w.
2
Suppose -4*a - 50 = a. Let g = a - -16. Solve -3*b + g*b = -12 for b.
-4
Let b be (-2)/(3 + 21/(-6)). Suppose 3*w - 14 = w. Let z(t) = -t**2 + 7*t + 6. Let r be z(w). Solve b*d = 2 + r for d.
2
Let d = 3 + 1. Suppose 4*f = f - d*k + 14, -2*f - k = -11. Let r = f + -1. Solve 2*y = r*y + 15 for y.
-5
Suppose 13 - 3 = 5*j. Suppose -j*o = -l - 1, 0*l = -2*o + 4*l - 8. Let y = -1 + 1. Solve -g - g + o = y for g.
1
Suppose p + 14 = -p - 4*n, 3*p - 3*n = 24. Let f(q) = q**3 - 4*q**2 + 3*q + 3. Let i be f(p). Solve i*u = -2*u + 10 for u.
2
Let t = -52 - -55. Solve -2*z + t = z for z.
1
Suppose 4*p = -2 - 2. Let x be (-2 - p) + 2/2. Solve -q - 4*q - 25 = x for q.
-5
Let y = 8 - 4. Suppose -y*u + 29 + 51 = 0. Solve 6*v = 2*v - u for v.
-5
Suppose -3*x + 11 = 2*k - 4*x, 0 = -4*k - 3*x - 3. Let v(o) = o**2 - o - 2. Let t be v(k). Solve t = 2*p + 6 for p.
-1
Let g(s) = -s**2 - 6*s. Let z be g(-6). Let x = 2 + z. Suppose -3*j - 5*y + 4 - 2 = 0, x*j - 5*y - 18 = 0. Solve 0 = -3*b + 5*b - j for b.
2
Let b be (-2)/(-3) - (-4)/3. Suppose -3*y + b*y = 0. Solve 5*f + 4 + 1 = y for f.
-1
Let w be (-10)/15 - (-104)/(-6). Let s = w - -38. Suppose 3*t = -2*q - 3 + 1, -5*q - s = 0. Solve -v = -t - 3 for v.
5
Suppose -3*i - 80 = -4*h, -4*h + 5*i + 39 + 33 = 0. Solve -3*v + h = 8 for v.
5
Suppose 0 = -8*q + q + 35. Solve 0*h = q*h + 10 for h.
-2
Suppose 2*w = -3*w + 15. Let y be 10/w*(-24)/(-20). Suppose -5*z = -y*z - 3. Solve -z*s + 3 = -2*s for s.
3
Let v = 11 + -18. Let j = 8 + v. Solve 0 = 5*d - 16 + j for d.
3
Let s = 12 + 0. Let x = -3 + s. Solve 3*l - x = -0*l for l.
3
Let y be (5 + -2)*(-8)/(-3). Solve y = n - 5*n for n.
-2
Suppose -3*j - 122 = -140. Solve -2*r + 0 = j for r.
-3
Let r be 1/(-2) + 14/(-4). Let s be r*1/6*-3. Suppose 2*o = -s*o. Solve o = 5*q - 14 - 6 for q.
4
Let q be (-1)/3 + 4/3. Let y(u) = -5*u**3 + 2*u**2 - u. Let z be y(q). Let t be -2 + 1 + (-1 - z). Solve -i = t*i - 15 for i.
5
Suppose 5*k + 2*v = k + 4, 0 = v + 2. Suppose 3*c + k = 8. Solve 0 = -3*f - c*f - 10 for f.
-2
Let f be 1 + (1 - 0/(-2)). Let w = -2 + f. Solve w = -2*i - 0*i + 2 for i.
1
Suppose -4*g = -5*g + 2. Solve -k = -3 - g for k.
5
Let j = -23 + 26. Solve 0 = 2*d - j*d - 5 for d.
-5
Let t(l) = -2*l**3 + l**2. Let d be t(1). Let q(y) = -4*y - 1. Let i be q(d). Suppose 0 = 2*j + j. Solve j = 5*s - i*s for s.
0
Let n be 3 + (-5 + -4)/3. Solve -a + n = -2 for a.
2
Let s be 2/(-8)*(-7)/(-28)*0. Solve 3*m - m - 6 = s for m.
3
Let k be 1/(-5) - (-11)/5. Suppose 5 = k*v + 5*f - 24, 0 = 2*v - 2*f + 6. Solve -11 = 3*l - v for l.
-3
Suppose 5*j - 5*d = j + 55, 0 = 5*d + 15. Suppose -2*m + j = -0. Solve 0 = -m*i - 13 - 12 for i.
-5
Let h be 172/16 + (-1)/(-4). Suppose -6*o + h = -3*o - z, 5*z - 20 = 0. Suppose 0 - 10 = -o*v. Solve v*y + 15 = -y for y.
-5
Let n(d) = -6*d - 22. Let b be n(-4). Solve -j + 5 = -b*j for j.
-5
Suppose 5*c = -9 - 6. Let x be -8*(0 + c + 1). Solve -s + x = -5*s for s.
-4
Let a be -2 + 5 + (-1)/1. Suppose t + 4*t = -4*v + 6, -a*v = 2*t - 2. Suppose 0 = -2*s - q - 1, t*s - 5*s - 5*q = 5. Solve 5 = 5*f - s*f for f.
1
Let q(u) = u**3 - 3*u**2 + 2. Let m = 6 + -3. Let l be q(m). Solve -2*k - 16 = l*k for k.
-4
Let j(a) = a**3 - 7*a**2 + 7*a - 5. Let s be j(6). Suppose -u + 9 + s = 0. Solve 5*p = 3*p + u for p.
