3*r + m. Solve -4*l = -l - x for l.
3
Let q = -18 + 22. Solve -q*p = -0*p for p.
0
Let n(c) = c. Let j(z) = z**3 + 6*z**2 + 5*z + 3. Let f be j(-5). Let v be n(f). Let i(d) = -d**2 - 3*d. Let o be i(-3). Solve l - 1 + v = o for l.
-2
Let t be (-8)/(-6)*(-240)/(-64). Solve 0 = -0*b + t*b for b.
0
Let c = -1 + 1. Let q(p) = p**3 - 7*p**2 + p - 5. Let t be q(7). Solve t*u + 9 + 1 = c for u.
-5
Let f(z) = 8*z - 3 + 0 - z**2 - 1. Let k be f(6). Solve -6*i - k = -2*i for i.
-2
Let h = -11 - -17. Let n = -4 - -6. Suppose n*w + 2*u = 6, -2*w + u + u = h. Solve w = 4*c - c - 6 for c.
2
Let u = 21 + -19. Solve -u*z + 1 + 3 = 0 for z.
2
Suppose 2*g - 7*g - 11 = -3*h, -g + 5 = 3*h. Suppose 4 = h*w - 0. Solve -12 = -w*o - 2*o for o.
3
Suppose -3*x + 5 + 7 = 0. Solve 0 = 5*t + x - 19 for t.
3
Let s(r) = r**3 - 3*r**2 + r + 1. Let i be s(3). Let z be ((-50)/i)/5*-2. Solve -z*x = -0*x for x.
0
Suppose -k - 8 = 4*r, k - r = -3*k + 19. Suppose 3*d + k = -2*f, 4*f = -f - 2*d + 12. Solve 0 = h + 3 - f for h.
1
Suppose -4*k + 3*k + 18 = 5*x, 0 = 2*x + 3*k - 15. Solve 4*h = -x - 9 for h.
-3
Let m be 2*(2/(-10) - (-12)/10). Solve 6*l - m*l + 8 = 0 for l.
-2
Let x = 6 - 7. Let j be (3/x)/(-3)*3. Solve -j*b + 8 = -7*b for b.
-2
Let x be 1/((15/12)/5). Solve -y - y = -x for y.
2
Suppose 3*i - 6 = -0*i. Let m be 5 + i/2 + -1. Let x(g) = g**2 + 2*g. Let a be x(0). Solve a*d = -d - m for d.
-5
Let b = 54 + -50. Solve b*f = f for f.
0
Suppose 2*g + h + h = -12, -5*g - 3*h = 36. Suppose 0 = 4*j + 64 - 12. Let y = g - j. Solve y = 3*o - 11 for o.
5
Let b = 6 - 4. Suppose b = -u + 4. Suppose -2 = 2*f - 22. Solve -u*k - f = -4*k for k.
5
Let r be (-57)/(-7) - 6/42. Let i = r - 6. Solve -4*h + i = -2*h for h.
1
Suppose 2*o + 5 = 3*i, -3*o - 5*i - 7 + 47 = 0. Solve 0 = 5*k - 10 - o for k.
3
Let i be -1*0*(-2)/4. Let v(k) = -14*k**3 - 2*k - 1. Let b be v(-1). Solve -3*a + i*a - b = 0 for a.
-5
Suppose -3*k - q = 25, 5*k = -0*k - 3*q - 39. Let y = k + 13. Solve y*o - 1 = 3*o for o.
1
Suppose -12*d + 140 = 8*d. Solve -d*o = -5*o for o.
0
Let s(q) = -7*q**2 + 6*q - 2. Let g(f) = 8*f**2 - 6*f + 3. Let t(r) = 6*g(r) + 7*s(r). Let p(v) = 6*v. Let z be p(1). Let j be t(z). Solve -11 = j*w + 5 for w.
-4
Let k = 56 - 50. Solve 4*h = -2 - k for h.
-2
Let j be 42/9*6/4. Let k = -3 + j. Solve 2*i - i - k = 0 for i.
4
Let q(a) be the second derivative of -a**5/20 - a**4/3 + 2*a**3/3 - 3*a**2/2 - a. Let b = 16 - 21. Let u be q(b). Solve -2*o + 20 = u*o for o.
5
Let a = -72 - -76. Solve 0 = m - a - 0 for m.
4
Let y(c) = 6 + c**2 - c + 5*c + 0*c. Let x be y(-4). Suppose 5*r = l - 2*l - 19, -r = -2*l + x. Solve 0 = 4*f - l - 3 for f.
1
Let u(h) = h**3 - 8*h**2 + 7*h. Let w(p) = -p + 1. Let x(v) = u(v) - 2*w(v). Let k be x(7). Let b be 1/(-4) - (-3)/k. Solve b = 2*m - 6*m - 20 for m.
-5
Let d(o) = -o**3 + 15*o**2 - 15*o + 16. Let u be d(14). Solve -u*g = -g - 4 for g.
4
Let j be ((-22)/(-11))/((-2)/(-5)). Solve -1 = 3*p + j for p.
-2
Suppose -v + 3*v - 4 = 0. Suppose -v*g = 4*u - 4, -16 = 4*g + 4*u - 8*u. Let m be ((-1)/2)/(g/20). Solve 3*b = -2*b + m for b.
1
Let q be -4 - -5 - (2 - 1). Suppose 5*o = -q*o + 25. Solve 2*n = n + o for n.
5
Let w = 7 + -3. Solve -10 = n + w*n for n.
-2
Suppose 2*t = -3*t + 150. Let p = t + -18. Solve -4*s + p = -s for s.
4
Suppose -2*h + 7*h = 10. Suppose -3*a = -h*a. Solve a = -j - 3 for j.
-3
Let m be (-42)/8 - 2/(-8). Let v be 4/6 - (-26)/6. Let d = m + v. Solve -4*h + 0*h - 12 = d for h.
-3
Let h(b) = b**2 - 2*b + 4. Let k be h(0). Suppose -k = -5*s + 6. Solve -n - s = -3 for n.
1
Suppose 2*g = -6, 4*v - 19 - 5 = 4*g. Let m(y) = -4*y - 13. Let k be m(-4). Suppose -3*t - k*o + 13 = -t, -v*t + 13 = -2*o. Solve 0 = -t*c - 7 + 17 for c.
2
Let w(t) = 7*t**2 - 2*t - 1. Let p be w(-1). Suppose p*z = 3*z + 25. Suppose -3*y = -r - 11, -y + 3*r - r + 2 = 0. Solve -3*d = -z*d + y for d.
2
Suppose 12 = 2*m + 6. Let y = -3 - -9. Solve -3*b = -y*b + m for b.
1
Let t(m) = m**2 + 4*m + 4. Let s be t(-4). Suppose -s*l = -8*l + 8. Solve v + l*v = 9 for v.
3
Let p = 8 - 8. Suppose -3*b + 0*z - 3*z = -27, -6 = -b - 4*z. Let w = b - 2. Solve -2*s + w = -p*s for s.
4
Let j(x) = -2*x**2 - 18*x - 23. Let g be j(-7). Solve g*u = -11 - 14 for u.
-5
Let l = 1 + 1. Suppose 0 = -5*c + l*c + 4*y + 14, 2*c + 2*y = 0. Suppose 5*a - 4*v - 4 = 0, 3*a = c*v + 2 - 0. Solve a*d = -2*d - 8 for d.
-4
Let x(u) = u**3 + 6*u**2 + 3*u - 7. Let r be x(-5). Let l be 4 + -2 + (-1 - -3). Solve r*i - 8 = l for i.
4
Let y be 3/(-6)*16/(-1). Suppose -5*f + 4*a = -20, -4*f - 5*a + y + 8 = 0. Solve -j = -3*j + f for j.
2
Let c be (0 - 6)/(9/(-6)). Let h be (-2)/(((-16)/6)/c). Let w = h - 2. Solve -m - w - 3 = 0 for m.
-4
Let l = -1 + 3. Suppose -12*d + 7*d + 15 = 0. Solve l*x = d*x for x.
0
Let m(l) = -l**2 - l - 3. Let o be m(-3). Let d = -5 - o. Suppose -2 = -2*v, -3*v + 37 = d*z + 2*v. Solve h - 3*h + z = 0 for h.
4
Let r be ((-2)/8)/(1/(-16)). Solve 4*n + r = 3*n for n.
-4
Suppose 6 = 2*o + 2. Suppose -43 = -5*w - 13. Solve -o*q - w = -0*q for q.
-3
Let w = 7 + 0. Let o be 18/(-54)*(-1 + 2/2). Solve 2*t - w*t - 10 = o for t.
-2
Suppose 5*c - 1 = 24. Solve -i + 20 = -c*i for i.
-5
Let i be 2/(-4)*(1 + -1). Suppose i = -4*j + 15 + 61. Let w = j + -10. Solve -3*u = -0 + w for u.
-3
Suppose 4*b - 10 - 14 = 0. Suppose -2*k = -5*k + b. Let c(a) = 7*a + 1. Let p be c(k). Solve 0*w = -3*w + p for w.
5
Let u = -7 + 12. Suppose -u*v + 2*v = -15. Solve v*p + 0 = 10 for p.
2
Let m(p) = p**2 - 6*p - 3. Let n be m(7). Solve -3*c - 5 = n for c.
-3
Suppose -i - 4*v = 8, -2*v + 5 + 19 = 4*i. Suppose 4*s = -l + 12, 6 = i*s - 3*s - l. Suppose 3*p + 10 = -s*k, -2*k - 10 = -4*p - 0*k. Solve d = -p*d - 2 for d.
-2
Let k = 0 + 0. Let w = 8 - 4. Let q be (-1)/2 + 10/w. Solve 4*c - q - 6 = k for c.
2
Let v = 79 + -74. Solve 0 = -v*j + 11 + 14 for j.
5
Let p(n) = 5*n**2 + n. Let c be p(-1). Suppose -c*r = -r - 18. Solve 2*l - r = -0*l for l.
3
Let w(x) = -x**2 - 3*x - 1. Suppose 1 - 28 = -3*n. Let s be 8/6*n/(-6). Let i be w(s). Solve -5*m = -4*m - i for m.
1
Let s = 14 - 11. Let j(c) = c**2 + 6*c - 5. Let w be j(-7). Suppose -w*p = -2*k - 7*p + 9, s*k - 11 = -5*p. Solve 0*h = h - k for h.
2
Let y = -114 - -115. Solve 0 = -5*c - y - 14 for c.
-3
Let n = 10 - 5. Solve -n*p = -6 - 9 for p.
3
Let q = 1 + 2. Suppose -h + 6 = -q*n + 3, 5*h + 4*n + 61 = 0. Let a(x) = -x**3 - 9*x**2 - x - 7. Let r be a(h). Solve d + d = -r for d.
-1
Suppose 4*l + 2*v - 3*v - 41 = 0, 5*v = 4*l - 61. Let p be 3*-2*(-6)/l. Suppose p*i - 5*i + 28 = -5*w, 0 = 4*i - 2*w - 22. Solve r - i = 2 for r.
5
Let y = 2 + -11. Let w be ((-2)/4)/(y/(-18)). Let x be w - 5/(15/(-9)). Solve 0 = -q - 3 - x for q.
-5
Let c(f) = f**3 + 5*f**2 - f - 1. Let a be c(-5). Solve a*z - 6 = 6*z for z.
-3
Let o = -53 - -57. Solve 0 = -o*w - 0*w for w.
0
Let m(c) = c + 11. Let t be m(-9). Solve -t*l + 7 = -1 for l.
4
Let a(r) = r**2 - 15*r + 40. Let w be a(12). Solve 0 = s + w*s - 5 for s.
1
Suppose r = 5*a - 4 - 13, -2*a - 5*r - 4 = 0. Suppose 0 = -3*k + 6, 0*f + 16 = a*f + 2*k. Solve 6*q = f*q - 2 for q.
-1
Let t be 1/1 - (-9 - 1). Let u = t + -7. Solve u + 5 = 3*h for h.
3
Suppose 4*g - 60 = -28. Solve 0 = 4*i - 2*i + g for i.
-4
Let h be (-8)/36 - (-11)/9. Solve 2 = -l - h for l.
-3
Suppose -5*i = -2*q - 3*q - 25, 0 = 3*i + 3*q + 15. Solve 0*d + d = i for d.
0
Suppose 5*o - 10 = -0*o. Solve -3*r + 2*r = -o for r.
2
Suppose 0 = -t + 5, 2*r + 2*t - 7 = 9. Suppose 3*x - z - 8 = 1, 0 = z + 3. Let g = x + 1. Solve r*i = 2*i + g for i.
3
Suppose -4*m = -5*a - 12, 3*m + 2*a - 12 = -3. Suppose 2*p + m - 11 = 0. Solve -5*f - 1 = p for f.
-1
Let v(u) = 11*u - 1. Let b be v(3). Suppose g + b = 2*w - 4*g, -5*w - g = -26. Solve -3*k - w = -0*k for k.
-2
Let y(s) = 3*s**2 - 1. Suppose 2 = -2*l - 0*l. Let g be y(l). Suppose 0 = -o - o + 4. Solve o*k = k - g for k.
-2
Let u be (-25)/3 - 2/(-6). Let a be 16/10 - u/20. Suppose a*i + 3*g - 90 = -36, -3*g = -2*i + 42. Solve 4*l + 8 = i for l.
4
Let z = 9 - 8. Solve -3*y + 2*y = -z for y.
1
Suppose -z = 4*z. Suppose -l - 3*g = 14, 6*l - g - 10 = l. Suppose 0*q - q + l = z. Solve -k - q = -3 for k.
2
Let i be 2/5 - 6/15. Let t(a) = -11*a + 7. Let x(l) = -5*l + 4. Let v(n) = -4*t(n) + 9*x(n). Let f be v(8). Solve f = -i*z - z for z.
0
Let b be (-106)/(-2