m be (-6)/(-4) - (-10)/g. Solve 5 = x + m for x.
4
Let c(v) = -v**3 - 9*v**2 - 8*v + 6. Let p be c(-8). Suppose p*y + 20 = y. Let i = y + 10. Solve 0 = 3*z - i*z + 6 for z.
2
Let y(i) = -i - 1. Let a be y(-6). Let z be 0 - 0*(-1 + 2). Solve z = a*x + 15 for x.
-3
Suppose -2*n + 4 = 2*p, -4*p = 18 - 2. Solve -i + n = 2*i for i.
2
Suppose 0 = 6*y - 3*y - 3. Solve -4*b + y = -11 for b.
3
Suppose -i + 1 = -3. Solve 0*y + i = -y for y.
-4
Let s = -6 - -6. Let b be s - (-1 + 2 + -1). Let f be b/(-3 + 2 + 2). Solve f = 4*n - 5*n for n.
0
Let n(x) = x**2 - 10*x - 8. Let c = 37 - 26. Let y be n(c). Solve -2*p - y*p = -20 for p.
4
Suppose 3*i - 2 - 4 = 0. Suppose -3*s = i*s. Let t be 2/(-5) - 27/(-5). Solve -3*f + t - 2 = s for f.
1
Suppose -4*f + 16 = -0*g + 4*g, 0 = 3*g - 5*f + 4. Suppose -13*w = -11*w. Suppose g*m = -w*m. Solve m*h = 2*h + 6 for h.
-3
Suppose 2*d - d = 0. Let v be d/(1 - 1 - 1). Solve 4*b - 3*b + 4 = v for b.
-4
Let f(g) = -2*g**3 - 2*g**2 + 3*g + 3. Let c be f(-2). Suppose -c*a + 15 = -0*a. Suppose a*h = 12 - 3. Solve -2*t + 7 + h = 0 for t.
5
Let q = -21 - -25. Solve p = -q*p + 5 for p.
1
Let n be -5 + 7 - 2/1. Solve -3*h + 16 - 4 = n for h.
4
Let w be 1*(-3 + 2 + 7). Let b(c) = 4*c**2. Suppose -2*g = g - 3. Let d be b(g). Solve -5*f + w = -d for f.
2
Suppose -3*d + 4*p - 16 = 0, -2*d - 20 = -3*d - 5*p. Solve 6*r - r - 20 = d for r.
4
Let k(y) = y - 4. Let d be k(4). Suppose -5*o + d*o = -15. Solve -4 = -o*i + 5 for i.
3
Let v be (-3)/(-6)*(1 - -3). Solve -o + v = 3 for o.
-1
Suppose 38 = 6*z + 8. Let w(k) = k**3 - 2*k**2 - 3*k + 4. Let h be w(3). Let v be (h/10)/(2/10). Solve -z*y - v = -4*y for y.
-2
Let j be (-14 + 4)*3/2. Let y = j - -22. Let v be 2/7 - (-19)/y. Solve -v*c + 12 = c for c.
3
Let x(h) = h**2 - 2*h + 0*h - 2*h - 5. Let d be x(5). Suppose 3*c - 4 = 8. Solve d = -c*j + 5*j for j.
0
Let m be (-26)/(-14) - (-9)/63. Solve 10 = m*c - 0 for c.
5
Let m = 2 + 1. Suppose -m*h = -6 - 0. Suppose -h - 6 = -2*i. Solve -14 = 5*z - i for z.
-2
Let z be 4/8*(1 - -11). Suppose -3*x - z = u + 9, 4*u + 25 = -5*x. Solve u = l + l - 4 for l.
2
Let i(h) = 7*h**2 + 2*h + 1. Let t be i(-1). Suppose 0 = 2*r - 8 - t. Solve 2*f - r*f - 15 = 0 for f.
-3
Suppose -9 = z - 4*z - x, 4*z = 5*x - 7. Solve 5*y = z*y + 12 for y.
4
Let i = 9 + -7. Suppose -i*a = -4*x - 10, 8*x = 3*x - 10. Solve a - 5 = -2*z for z.
2
Suppose 0*q = 2*l + 3*q - 22, 5*q = 4*l. Solve 5 + 20 = l*z for z.
5
Let s = 7 + -13. Let k be (-8)/s*(-2 + 5). Let z = -8 + 14. Solve 0 = k*y - z*y - 10 for y.
-5
Suppose 1 = -4*y + 17. Let p = 5 - y. Solve -5*b + 4 = -p for b.
1
Suppose -2*f = 6 - 18. Solve -3*a - f = -a for a.
-3
Let w = 10 + -8. Solve -2*m = w*m + 16 for m.
-4
Let g be (-6)/21 - (-153)/21. Solve -g = h - 2 for h.
-5
Let t(g) = -2*g - 8. Let n = -4 - 1. Let d = -1 + n. Let s be t(d). Solve 2*h - s = -14 for h.
-5
Let k be 1*((-18)/(-3) - -1). Let v be (-2)/(-5) + k/(-5). Let n be -1*(v + 1)*-1. Solve 0 = -h - n*h + 5 for h.
5
Let r be 116/30 - (-8)/60. Solve 8 = 3*a - r for a.
4
Suppose -5 = 4*i + 3. Let q = i - -6. Suppose 0 = -2*a + q*d - 3*d + 11, 2*a - 14 = 2*d. Solve a*u = -0*u + 12 for u.
3
Suppose 0 = -5*k, 5*x - 5*k - 102 - 23 = 0. Solve 3*s = -2*s + x for s.
5
Let c(r) = 0 - 2 + r - 5. Let g be c(8). Let z be (1 - (g - 0)) + 0. Solve 5*a + z*a = -10 for a.
-2
Let c(o) = -o - 2. Let j be c(-4). Solve -j*w - 3*w - 5 = 0 for w.
-1
Let u(s) = 4*s. Let h be u(1). Let m(k) = k**3 - 5*k**2 - 5*k - 5. Let v be m(6). Solve 5*o = v + h for o.
1
Suppose 0 = -2*d + 4*d - 2*j - 10, -3*j = 3*d + 9. Solve 5*b + 21 - d = 0 for b.
-4
Suppose -6*p = -3*u - 3*p + 36, 5*p = u. Suppose 0*b + 5*b = u. Solve -l + b = 5 for l.
-2
Suppose 4*t - 3*u - 5 = 0, t = 3*t + 3*u - 25. Let y = t + -3. Solve 2*v - 6 = -y for v.
2
Let f = 175 - 347. Let c be (-2)/(-5) + f/(-20). Solve 3*g = 6*g - c for g.
3
Suppose -2*k - s + 7 = 0, k - 2*s - 2 = -3*k. Solve k*f = -2*f for f.
0
Let h = -17 - -29. Suppose 2*f + 3*y + h = 0, -f + 9*y = 4*y - 20. Solve f = 3*c - 7*c for c.
0
Let m be 1/(0 + (-5)/(-10)). Solve 2 = -2*s - m for s.
-2
Suppose 4*q = -0*q + 3*t + 11, 23 = 4*q + t. Solve 9 - q = -4*r for r.
-1
Let x(o) = -o**2 + 30*o + 69. Let d be x(32). Solve -t + 0 = -d for t.
5
Let v(b) = b - 10. Let k(o) = 5. Let h(s) = 5*k(s) + 3*v(s). Let c be h(3). Solve -3*i + c = 1 for i.
1
Let f = -42 + 46. Solve 2*g - f = -2*g for g.
1
Let c be 1 - -1 - 5 - -7. Suppose 0 = -c*a - 4*y + 108, -85 = a - 4*a - 5*y. Solve 2*m = 7*m - a for m.
5
Suppose -2*s - 16 = -26. Solve 10 = 3*n - s*n for n.
-5
Let f(g) = -g - 2. Let a be f(-4). Let l be 3 - 5/((-5)/a). Solve s = -0*s - l for s.
-5
Let j be 5*(0 - (-12)/15). Let a be 246/(-21) - j/14. Let x = a + 18. Solve x*d - d = -15 for d.
-3
Suppose -5*v + 14 = 2*l, l = 4*v - 3*l. Solve 3 + 1 = v*g for g.
2
Let s = 41 + -37. Solve 0 = s*u + 19 + 1 for u.
-5
Let r = -25 + 25. Suppose r = 3*q + 11 - 23. Solve -q*d - 25 = d for d.
-5
Let t(v) = 2*v**2 + 5*v - 1. Let g be t(-4). Suppose 0 = 2*w - 2*k - 14, 4*w = 2*k + 9 + g. Solve 0 = j + w*j + 4 for j.
-1
Suppose v = -3*y - 19, 0*y - 2*y + 2*v - 10 = 0. Suppose -2*q = -3*c + 18, -29 = 4*c - 9*c + 3*q. Let m be 81/(-18)*c/y. Solve -m*p + 4 = -11 for p.
5
Let g(i) = 6*i**3 + 2*i + 2. Let x be g(-2). Let a = -30 - x. Suppose -3*y + a = -2*y. Solve -3*u - 2*u = -y for u.
4
Let j = -3 - -8. Let i(z) = z**2 - z + 4. Let p be i(0). Solve -c = -j*c + p for c.
1
Suppose -3 = -2*u + b + 1, -3*b = 0. Solve u*v + 15 = -3*v for v.
-3
Let t = 9 + -5. Let v = -5 + 1. Let b(j) = j**3 + 3*j**2 - 3*j + 4. Let o be b(v). Solve o = 2*p - t*p - 10 for p.
-5
Let n(o) = -16*o + 1. Let c be n(1). Let x = c + 22. Solve 0 = x*r - 2*r - 25 for r.
5
Suppose -p + 0*p - z = -21, -p + 11 = 3*z. Suppose 5*y + 1 = p. Let b = 5 - 3. Solve y*i = b*i for i.
0
Let h = -37 - -39. Let t be (2/(-3))/((-4)/30). Solve -c + t = -h*c for c.
-5
Let x be (11 - 3) + -2 + 0. Suppose 0 = -b + x*b - 115. Let l be b + 1/(-2)*0. Solve -5*d - 3 = -l for d.
4
Let g = -214 - -311. Let r = -21 + g. Suppose -24 = -5*s + r. Solve -2*j = 3*j - s for j.
4
Let a = -2 - -5. Let m = 1 + a. Solve -m*d = -d for d.
0
Let g = 2 - 3. Let x = 4 - g. Solve -x*p - 8 + 23 = 0 for p.
3
Suppose -19 = 4*n - 7. Let f be 3/(-3) + (-2 - n). Solve f = -2*d + 3*d for d.
0
Let q(b) = b**3 + 13*b**2 + 5. Let w be q(-13). Let r = 82 - 45. Solve -w*v + r = 12 for v.
5
Let j be 1002/21 - 4/(-14). Let y be 4/14 - j/21. Let z be y*(42/(-4) + 0). Solve 1 = -5*b + z for b.
4
Let k be (27/(-15) + 2)*0/1. Solve k = -0*r - 2*r - 4 for r.
-2
Suppose 5*x = 2*v + 2*x + 11, 0 = 2*v + 4*x - 24. Solve -v*c + 5 + 3 = 0 for c.
4
Let k be (-22)/(-18) + (-6)/27. Let g = k + 5. Solve 0 = 6*c - 3*c - g for c.
2
Suppose 15*s = 17*s - 4. Solve -s*x - 12 = x for x.
-4
Let z = 15 - 7. Let p be (0 - 12)/3 - 0. Let n be (-34)/p - (-4)/z. Solve -n = -5*s + 11 for s.
4
Suppose -5*r = -2*c - 22, 3*r - 11 = c + 2. Let y be r/(-18) + 38/9. Solve 5*m = 16 + y for m.
4
Let y = -11 - -21. Suppose g - y = -4*g. Suppose g*a + 5*i + 21 = 0, 0 = -5*a + 4*i - i + 25. Solve a*z - 6 = 4*z for z.
-3
Suppose b - 3*b = 0. Let l = b + 5. Let v be 2/4 + 3/2. Solve 0 = v*h - l*h + 6 for h.
2
Suppose -13*f = -f - 72. Solve l = -4 + f for l.
2
Let a = 0 - 1. Let o be 0 + 1 + (-9)/a. Let m be o/25 - (-116)/10. Solve 4*c - c = m for c.
4
Suppose -5*q + 0 + 10 = 0. Let p be 3*(-1 + q - 0). Suppose -1 = 2*m - p. Solve -h = m - 2 for h.
1
Suppose 16*m = -5*m + 63. Solve 0 = -m*s + 2*s + 5 for s.
5
Suppose 10 = t + 4*t. Suppose 0*i = -5*i - t*k + 20, 5*k - 25 = 0. Let u(p) = -p. Let a be u(-2). Solve -3*d - i = -a*d for d.
-2
Suppose 0 = 2*f + 5 - 3. Let s be f/(-3) - 14/(-3). Suppose -5*d + d = 4*x + 16, 2*x = s*d + 20. Solve x = 4*u - 0*u + 16 for u.
-4
Let u = 2 + -4. Let q be u/2 - (-5 - 2). Let o be (-4)/(-12)*q*1. Solve -o = t + 1 for t.
-3
Let b = -16 + 16. Solve 3*d = -b*d for d.
0
Let b(y) = y. Let m be b(0). Suppose -i + 2 = -0*i. Suppose -4*n - 2*t + 40 = m, t - i = -0. Solve 3*s + n = -0*s for s.
-3
Suppose -23 = -4*o - 7. Solve 3*c = 4*c + o for c.
-4
Suppose -8*a = -3*a - 10. Suppose 2*v - a = v. Suppose 3*i - j = 15, 5*i - 2*j + 5 - 29 = 0. Solve k - i = -v*k for k.
2
Suppose -c = c. Let o(t) = t**3 - t + 4. Let i be o(c). Suppose 3*f + f + 