 10 for l.
-3
Let k be 2/(-4)*(-120)/12. Solve k*f + 2 = 6*f for f.
2
Let l be 2 + -1 + 0 - -1. Suppose -l = -u - 0*u. Suppose 0 = -4*p + 2*p. Solve -u*o + p*o + 2 = 0 for o.
1
Let b = -7 + 7. Suppose b = -4*d + 2*v - 2, -3*d - v - 2 = -3*v. Let f be -3 + 2 - (-3 + d). Solve -4*t = -2 - f for t.
1
Suppose -4*x + 14 + 10 = 0. Suppose -v - 16 = -4*v + 2*q, 5*v = -5*q + 10. Suppose v*c - l - 11 = 0, 0 = 3*l - x + 3. Solve c*m = -m for m.
0
Suppose -q + 60 = q. Let u be (-4)/((-8)/q) - -1. Solve u = 3*z + z for z.
4
Suppose -3*a + 2*a + y + 7 = 0, 5*a = y + 23. Suppose 5*k - a*k = 3. Solve -v = k*v - 12 for v.
3
Suppose 8 = -3*r + 4*r. Let q be (-8)/(-6) + r/12. Let w = q - 0. Solve a + w*a + 6 = 0 for a.
-2
Let r be 0*1/2 + 5. Let p be (-6)/(-2)*(-8)/(-12). Let o be ((0/p)/(-2))/1. Solve o*y = y - r for y.
5
Suppose -3*a + 3 = -2*a. Solve 1 = -l - a for l.
-4
Let d(f) = -f**2 - 6*f + 9. Let q be d(-7). Let n be (1/q)/(6/48). Solve -n*k = k + 5 for k.
-1
Suppose 2*m = -2*r + 6*m + 16, -4*r = m + 4. Solve 3*l + 0*l + 15 = r for l.
-5
Let r(t) = -t**3 + 7*t**2 + 9*t + 2. Let d be r(8). Solve -3*a + d = -a for a.
5
Suppose 9*y = 16*y - 70. Solve -4*r + 2*r = -y for r.
5
Suppose -2*i + 2 = -i. Solve i*w + 3*w - 5 = 0 for w.
1
Suppose -c + 4*p + 10 = 0, p - 3*p - 4 = 0. Solve -3*n - c*n = -25 for n.
5
Suppose a + 3*a - 128 = 0. Suppose -4*q + 4*w = -a, 3*q + 5*w = 2*q - 22. Solve q*g + g - 4 = 0 for g.
1
Let w = -33 - -48. Solve 5*v = 2*v - w for v.
-5
Suppose y - 1 = 6. Let a = 17 + 8. Let h be a*(0 - (-8)/10). Solve -2*u - h = -y*u for u.
4
Suppose -5*m + 11 = -29. Suppose z + 0 = 4. Let p = m - z. Solve p*b - 11 = 5 for b.
4
Let p(q) = -q**3 - q**2 + 16. Let c be (-22)/6 + (-7)/21. Let n be (-2)/8 - 1/c. Let a be p(n). Solve -5*f + f = a for f.
-4
Suppose 0 = 2*s + z - 9, 2*s + 2*z + 0*z = 8. Suppose -s*g + 2 + 23 = 0. Let i be (2/(-2))/((-2)/6). Solve -g*d = -i*d - 10 for d.
5
Suppose -4*i - 8 = 0, 4 = -3*l - 4*i + 2. Suppose l*c = c. Solve 2*b - b + 2 = c for b.
-2
Suppose -j = 3*j - 20. Suppose -17 = -j*v + 63. Solve -2*g = 2*g - v for g.
4
Let o be (0 + (-6)/(-8))*4. Solve 2*i = -o*i + 20 for i.
4
Suppose 0 = 5*s - 0*s - 15. Suppose 5*d - 13 = -s*w, 5*w + 2*d - 23 = 5. Solve a - w*a = -15 for a.
3
Let n be 2 - 0*1/(-2). Let v be 2 - 4 - (-1 + 2). Let l(x) = 2*x**2 + 5*x + 2. Let z be l(v). Solve n*d = z*d for d.
0
Let v(y) = -y**3 + 2*y**2 + y. Let a be v(2). Suppose 0 = a*h - 0*h. Solve -u + h - 2 = 0 for u.
-2
Suppose -2*h + 7*h = 10. Let d = -767 + 771. Solve -d = h*c - c for c.
-4
Let g = -2 + 3. Let q be (7 - g) + (-2 - 1). Let w be (1 + -1 - -1) + 2. Solve -2*u - q = w for u.
-3
Let y(s) = -s**3 + 11*s**2 + 12*s + 3. Let l be y(12). Solve 0 = l*g - 3 + 12 for g.
-3
Let h = 132 + -132. Solve 2*o - 2 = -h*o for o.
1
Let q(w) = w**2 + 10*w + 11. Let m be q(-9). Solve -m*z + 3*z = 0 for z.
0
Let b = -4 - -6. Let m(l) = -4 + l**2 - 2 - b + 7*l. Let u be m(-8). Solve -5*j + 0*j = u for j.
0
Let d be 8/(-36) + -10*6/(-27). Solve 0 = d*c - c for c.
0
Let w(c) = -2*c**3 - c. Let x be w(-1). Solve -x + 5 = h for h.
2
Let q be (4/(-5))/((-4)/10). Solve -3*y = -4*y - q for y.
-2
Let m be (-3 + 1)*-1 + -4. Suppose -2*f + 0*f + 20 = 0. Let u = f + m. Solve -4*r - u = -2*r for r.
-4
Suppose 2 = -3*v - 1, p - 8 = 4*v. Solve -p*b = -6*b + 10 for b.
5
Let u(b) = -6*b + 13. Let p be u(-9). Let o = p - 48. Suppose 5*f - 2*k + k - o = 0, k = -3*f + 13. Solve 0 = -0*r - f*r - 4 for r.
-1
Let z = -12 + 3. Let k(j) = j**3 + 10*j**2 + 7*j - 8. Let a be k(z). Solve c + a = -c for c.
-5
Suppose -5*c + 4*h - 1 - 23 = 0, 2*c = -5*h - 36. Let a(m) = m**2 + 7*m - 7. Let q be a(c). Solve 5*y = -6 + q for y.
-1
Let g be 4*(-33)/(-36) + 2/6. Solve q = -0 - g for q.
-4
Let h = -10 - -12. Solve -w = -h*w - 1 for w.
-1
Let i(m) = m**3 + 2*m**2 + 2*m + 1. Let h be i(-1). Let j be (-1 + 3)*(-4)/(-4). Suppose j = q + q. Solve c + 3 - q = h for c.
-2
Let q = -21 - -13. Let b = q - -8. Solve -4*a + 6 + 6 = b for a.
3
Suppose 3*f = -14 + 23. Solve -5*q = -f*q - 8 for q.
4
Suppose -5*y + 20 = 2*f - 19, 3*f = -4*y + 34. Solve -2 = w - y for w.
5
Let s(g) = 5*g**2 + 2*g - 1. Let c be s(-2). Suppose 2*p + 4*y + 1 + 1 = 0, -2*p - 3*y = 4. Let a = 1 - p. Solve i - a*i + c = 0 for i.
3
Let v(g) = -g + 16. Let z be ((-2)/(-4))/(-1)*-24. Let s be v(z). Solve -2*t - s = -3*t for t.
4
Let y(s) = -5*s + 1. Let d be y(-5). Let c(t) = -t**3 - 6*t**2 - 3*t - 4. Let z be c(-5). Let p = d + z. Solve j + 3*j = -p for j.
-3
Suppose -4*y + 6 = -z - 5, 0 = 3*y - 5*z + 13. Let g = 59 - 25. Suppose -q - 17 = -y*h, -6*h + h = 3*q - g. Solve 4 = 3*w - h for w.
3
Let u(t) = -t - 1 + 2*t + 5 + 4. Let k be u(-8). Solve -4*p = -k*p for p.
0
Suppose -3*d = -4*d + 2. Let s(u) = u**3 + 7*u**2 - 3*u - 9. Let c be s(-7). Let a be (-5 - c/(-4))*-2. Solve -d*r + a = -4 for r.
4
Let a(i) be the second derivative of 0 + 2/3*i**3 - 3/2*i**2 + 2*i + 1/12*i**4. Let b be a(-5). Solve -b*n + 20 = -7*n for n.
-4
Let u(x) = -3*x + 30. Let y be u(10). Suppose 3*f = 14 - 5. Solve -3*h + 6*h - f = y for h.
1
Let u(i) = i**2 + 2*i - 15. Let t be u(-5). Solve t = -2*b - b + 12 for b.
4
Let w(k) = -k + 7. Let u be w(6). Suppose 3 + u = 2*m. Solve 0*b - m*b + 8 = 0 for b.
4
Suppose 31 = 3*u - 3*g + g, -5*u + 69 = g. Solve 2 + u = 5*c for c.
3
Let f = 8 - 5. Let p(s) = -3*s + 3*s**2 + 3*s - 1 - s**3 + 3 + 4*s. Let g be p(4). Solve g*c - f = c for c.
3
Let s be -2 + -1 + 6 - -3. Solve -x + 20 = -s*x for x.
-4
Suppose 5 = -u + 19. Let d(z) = z**2 - 10*z - 15. Let y be d(11). Let n = y - -6. Solve n = 4*j - u for j.
4
Let c be 8*2/(-24)*(-9)/2. Solve -6*s = -7*s - c for s.
-3
Let q(s) = s**3 - 12*s**2 + 8*s + 12. Let h be q(11). Let v = h - -25. Solve -v*p + 2 = -2*p for p.
1
Suppose 0 = y - 4*p + p - 23, -5*y + 3*p + 55 = 0. Suppose -2 + y = 3*c. Solve c*l + 1 = 9 for l.
4
Suppose 2*f = -3*w + 8, -f - 3*f - 4 = -4*w. Solve -c - w*c = -3 for c.
1
Let a(l) = l**2 - 4*l. Let s be a(4). Suppose 0 = h + j - 5, -j - 14 = -2*h - 7. Let y = h - s. Solve -15 = y*z + z for z.
-3
Suppose 0*b - 4*b - 16 = 5*i, -5*b - 20 = 4*i. Suppose i = -2*q + 3*q - 8. Solve 0*p - q = -2*p for p.
4
Suppose -3*r = 2*r. Suppose 16*z - 14 = 14*z. Solve z*a - 3*a = r for a.
0
Let u be 3/(-3) - (-2)/2. Suppose s = -u*s. Solve s*f + 20 = -4*f for f.
-5
Let u = -20 - -14. Let p = u + 10. Let s(x) = x**3 + 5*x**2 - 8*x - 2. Let k be s(-6). Solve p*d = 2*d + k for d.
5
Suppose 0 = -4*h + 4*j + 20, -2*h = 2*j - 8 + 2. Suppose 2*u = -5*w + 20, -w + 2*w - 4 = -h*u. Solve u + 5 = g for g.
5
Let m be 2/(-5) - 4/(-10). Suppose m = -2*y - 3*y. Solve 0 = 3*u - 6 - y for u.
2
Let g(n) = n**3 + n**2 + n + 4. Let u be g(0). Suppose -2*h + u*b - 1 = 7, 4*h - 20 = -b. Solve k + h = -k for k.
-2
Let v be -4 - -11 - (2 + -1). Solve 31 - v = 5*n for n.
5
Let t(x) = -2*x + 4. Let u be t(-5). Let y be u/(-21) - (-56)/3. Suppose -4*a + y = 6. Solve 0 = -a*q + 16 - 4 for q.
4
Suppose -8 = -4*c - 0. Suppose k = -k + q + c, -27 = -5*k - 3*q. Suppose 0 = 2*w - k*w. Solve v = -w*v + 5 for v.
5
Let l be ((-9)/(-27))/((-1)/(-6)). Solve 0*w = l*w for w.
0
Suppose -8 - 12 = -4*p. Suppose 0 = g + 1 - 9. Let k be (27/(-12))/((-3)/g). Solve p*x + 19 = -k for x.
-5
Suppose -7 = -3*m + 11. Let v(j) = -j + 2*j + 3 + 2. Let h be v(-4). Solve o + h - m = 0 for o.
5
Let a = 17 - 7. Solve -3*h + a = -8*h for h.
-2
Let k be (8/3)/(4/6). Let w(s) = s**3 - 3*s**2 - 3*s - 4. Let i be w(k). Solve i = z + 4*z - 10 for z.
2
Let k be 2/(3/(-48)*-4). Suppose 2*v - 1 = -0*g + 3*g, 0 = 3*g + v - 14. Suppose -4*w = -4*t + 2*t + 14, -2*t + g*w + 13 = 0. Solve a = t*a + k for a.
-2
Suppose 3*m - 4 = -5*d, 4 = 5*d + m - 4. Solve d = -h + 7 for h.
5
Suppose 26 = 4*d + 2*p, -3*d + p = -3 - 4. Suppose d*c = 5*s - 85, 30 = -4*c + 10. Solve 5*m = s + 2 for m.
3
Let n(v) = -5*v**3 + v**2 + v. Let r be 0 + (-1 - 1) - -1. Let k be n(r). Suppose -4*b + k*w - 1 = -2*b, 2*w - 6 = -2*b. Solve -y = b*y + 6 for y.
-2
Let m be (8/28)/((-2)/(-14)). Suppose -a + 5 = m*t, -4*a - 5*t = -2*a - 11. Solve -a*o - o - 16 = 0 for o.
-4
Let v(h) = 6 - 3*h + h**2 - 6*h + 0*h**2 + 5. Let p be v(8). Solve -p*x + 10 = -x for x.
5
Let s(b) = 2*b**2 - 5*b - 1. Let j(o) = 5*o**2 - 14*o - 4. Let w(c) = -3*j(c) + 8*s(c). Let g be w(-3). Solve g*i - 4*i