Solve -5*l = y - 0 for l.
-2
Suppose 4*o - 2*o - 10 = 0. Suppose 4*i - i - 4*h = 48, 5*h - 21 = -3*i. Solve -i + 2 = -o*d for d.
2
Let x(g) = 2*g - 12. Let r be x(7). Suppose 2*b + w + r*w + 3 = 0, -3*b + 5 = -5*w. Solve 2*f + 2 = -b for f.
-1
Suppose -2*m - 4 + 2 = 2*s, m - 15 = 3*s. Suppose 3*j - 6 = j. Suppose 2*w = -w. Solve w*r + m = j*r for r.
1
Suppose -3*w - 5 = 1. Let k be 1/2 + (-7)/w. Solve -k*b = b for b.
0
Let a(r) = -r**2 + 3*r + 12. Let c be a(5). Solve -c + 5 = -o for o.
-3
Let s be (2/6)/((-5)/15). Let j(g) = -g + 11. Let p be j(6). Let b be (p/15)/(s/(-12)). Solve y + b = -y for y.
-2
Let n be ((0/(-1))/(-3))/2. Solve n*q + 3*q = 3 for q.
1
Let z = -2 + 4. Let m be (3 + (z - 4))*0. Solve 0 = v - m + 2 for v.
-2
Let l(w) = w**3 - 5*w + 4. Let v be l(2). Solve 0 = v*k + k - 3 for k.
1
Let w(f) = -f**3 - 12*f**2 - 13*f + 1. Let q(i) = -2*i**3 - 13*i**2 - 14*i + 2. Let m(j) = 2*q(j) - 3*w(j). Let a be m(11). Solve 2 = l - a for l.
3
Suppose -19 - 1 = -4*y. Suppose -4*w - y*n + 29 = 0, 0*w + 2*n - 14 = -4*w. Solve -3*a + 4 = w for a.
1
Suppose j = 10*j - 2*j. Solve 2*w + j - 2 = 0 for w.
1
Let s be 3*2*10/15. Solve 8 = s*j - 0*j for j.
2
Let h = 16 - 12. Solve 5*u + 6 = -h for u.
-2
Let d(v) = -v**2 + 4*v - 3. Let a be d(3). Suppose 0*g - g - 2 = a. Let u = g + 4. Solve 1 = -u*h - 9 for h.
-5
Suppose 5*n + 0*n = 4*r + 54, 5*r - 20 = 0. Solve n = 5*k + 4 for k.
2
Let o be (-204)/(-8) + 1/2. Suppose -10 = 3*l + o. Let w be 7/3 - 8/l. Solve 8 = n - w*n for n.
-4
Let z be 11 + -1 + (-4 - -4). Solve z = -v - 4*v for v.
-2
Let h(s) be the first derivative of -s**4/4 - s**3 - s**2 - 4*s - 3. Suppose 1 - 7 = 2*g. Let c be h(g). Solve 0 = c*w + 3*w for w.
0
Let w = -34 - -38. Solve -w*k = k - 20 for k.
4
Suppose -4*u - b - 4*b = -10, -5*u = -5*b + 10. Let d be 0 + (u - -2) - 0. Let c be (-6)/(-9)*(5 - -25). Solve d*s = 7*s + c for s.
-4
Let x(w) = w**3 + 7*w**2 + 2*w + 10. Let h be x(-7). Let m be 0 - (-2)/(6/(-27)). Let y be 6/m*30/h. Solve 2*j - y = j for j.
5
Let h(n) = -n**2 - 9*n + 6. Let j = -12 + 3. Let r be h(j). Suppose -4*c + 2 = -r. Solve 3 = -c*w - w for w.
-1
Let g(c) = -c**2 - 9*c + 3. Let h be g(-9). Suppose 2*m - 6 = z - 5*z, -m + h = 4*z. Solve m*i - 8 - 1 = 0 for i.
3
Suppose -5*u + 7 + 3 = 0. Suppose -u*r + 3*t = 9 - 4, -5*t = -r - 13. Suppose -3*g + 0*g = l - 11, 5*l + 3*g = 19. Solve -o - r - l = 0 for o.
-4
Let l be ((-4)/3)/(30/(-45)). Solve l = -j - 2 for j.
-4
Suppose 0 = 4*p - 8, s + 16 = 6*s + 3*p. Solve 6 = s*r - 0*r for r.
3
Suppose -3*x + 18 - 3 = 0. Solve x*s = -7 + 22 for s.
3
Let p(w) = w**2 + 13*w + 3. Let k be p(-14). Suppose 0*h - k = -r - 3*h, -4*h + 18 = -r. Solve 2*j - r = 4 for j.
3
Let z be ((-14)/4 + 4)/((-1)/(-30)). Solve -u - 4*u - z = 0 for u.
-3
Suppose -3*b = 3*r - 9 - 12, 3*r - 2*b = 16. Suppose 1 = r*h - 5*h. Solve 6 = -q + h for q.
-5
Suppose 14 + 6 = 4*s. Let m = 6 - s. Solve -r + 0 = -m for r.
1
Let x(a) = a**2 + 9*a - 18. Let s be x(-11). Let p = -8 - -11. Suppose 0 = p*r + r - i - 40, -5*r - 2*i + 63 = 0. Solve -s = 3*j + r for j.
-5
Suppose 4*a = -0*a + 24. Suppose 3*o = -0*o - a. Let c be o/6 - (-2)/6. Solve c = 4*b + 1 - 9 for b.
2
Let g(o) = 10*o**2 + o + 1. Let f be g(-1). Solve -y - f = y for y.
-5
Let f(d) = d. Let m = -13 + 22. Let b be f(m). Solve -2*c - b = c for c.
-3
Let w be 0 - -3 - (2 + -1). Suppose -5*n + 28 = 4*x - 8*x, -w = -2*n - 3*x. Solve 1 = y - n for y.
5
Suppose 3*z - 6 = -2*u + u, 2*z - 17 = -5*u. Solve -15 = 3*t - u for t.
-4
Suppose 2*y + 6 = 14. Let b = 7 - y. Solve -3*d - b = -0 for d.
-1
Let l = -2 - -1. Suppose 3 = -i - 1. Let y = l - i. Solve y*a = 13 - 4 for a.
3
Suppose 3*l = 6*l - 15. Solve -p + l = -0*p for p.
5
Suppose -g - 3 = -5*c + 5, 0 = -3*c + 12. Solve -g = -0*k - 4*k for k.
3
Let l be ((-3)/(-9))/((-3)/(-225)). Solve l = 2*w + 3*w for w.
5
Let l = 10 - 7. Suppose -2*v = -l*v + 3. Solve -1 + 7 = -v*q for q.
-2
Let x(g) = -g**2 - 8*g - 5. Let u be x(-7). Let w = 2 - u. Solve 5 = -5*j - w*j for j.
-1
Suppose 5*z = 2*z + 2*j + 19, 0 = -2*z + 3*j + 21. Suppose -3*l + 4*u = -32, 2*l + l - 2*u - 34 = 0. Solve -m - z*m = l for m.
-3
Let s(r) = -3*r + 6. Let m be s(-7). Let v be (-26)/(-4) - m/18. Solve 0*p = v*p - 20 for p.
4
Let f(u) = -u**3 - 2*u**2 + 2. Let i be -1 + 0 + 1 + -2. Let z be f(i). Suppose -k + 2 + 23 = 0. Solve -7*p - k = -z*p for p.
-5
Let s = -7 + 16. Suppose i - 3*m - 9 = 0, 4*m + s = -i + m. Solve -2*c - 2 + 8 = i for c.
3
Suppose 22 = -4*z - 2. Let t(n) = n + 14. Let c be t(-13). Let o be 11 + c - (-12)/z. Solve -26 = -4*j - o for j.
4
Suppose 3*i = -i + 8. Suppose 3*f + i*w = 14, -4*w + 21 + 3 = 4*f. Let m(l) = l + 6. Let o be m(-6). Solve o = -3*v - f + 5 for v.
1
Suppose -4*p - p = 4*w + 11, 2*w = p + 5. Let r be 84/98*(-14)/p. Let d(f) = -f**3 + f + 4. Let b be d(0). Solve r*k - b = 5*k for k.
-4
Let y = 21 + -19. Solve y*q - 2 = -12 for q.
-5
Let g = 5 - 3. Let m(k) = 3*k + 9. Let q be m(-2). Solve -1 - g = q*x for x.
-1
Suppose 2 = 3*d + 8. Let g = 2 + d. Suppose g = -s - 0 + 12. Solve s = 3*h - 0*h for h.
4
Let o = -14 + 16. Solve q = -o*q for q.
0
Let w(x) = 8*x**2 - x - 1. Let z be (0 + 0 - -1) + 2. Let q be w(z). Let m be q/20 - (-4)/(-10). Solve -2*p + m*p - 2 = 0 for p.
2
Let y = 3 + 2. Suppose y*q + 2*h = 35, -2*q + 5*h - 18 + 3 = 0. Solve -k = q - 0 for k.
-5
Let w(z) = -5*z**2 - 3. Let r be w(5). Let m be r/(-22) + (-4)/(-22). Suppose -22 = -4*k - m. Solve -x = -k*x - 3 for x.
-1
Let g(t) = t - 3. Let d be g(2). Let f = d + 5. Solve 0 = -2*z + 4*z + f for z.
-2
Let b(g) = g**2 - 17*g + 35. Let r be b(15). Solve r = -a + 1 for a.
-4
Let a = 6 - 1. Suppose -54 = -a*v - 4. Solve r = -r + v for r.
5
Let t be -4*((-21)/(-12) + -3). Solve -t*p - 10 = -35 for p.
5
Let r(p) = -2*p**2 + 6*p - 2. Let h be r(4). Let k = -31 - h. Let c be k/7*2/(-6). Solve 0 = m + c + 3 for m.
-4
Let f be (-8)/((-7)/4 - 12/48). Solve 2*s + f = -2*s for s.
-1
Let l be ((-3)/(-2))/(9/(-24)). Let w = 4 + l. Solve w = 2*n + n + 15 for n.
-5
Let k = -2 + 2. Suppose -4*q - 6 = -34. Let o be 1/(1/(-2)) + q. Solve k*v = -v + o for v.
5
Let p(n) = 3*n - 15. Let q be p(6). Solve q*b + 0*b - 3 = 0 for b.
1
Suppose 2*d = -4*w + 36, 0 = d - 5*w + 3*w - 14. Solve -6*g + 2*g = d for g.
-4
Let j(h) = h**3 + 5*h**2 - h - 3. Let n be j(-5). Solve g + n*g = 0 for g.
0
Let k(n) = -2*n**3 - 3*n**2 + 3*n + 2. Let z be k(-3). Solve -4*x = x - z for x.
4
Let u(t) = -t + 8. Let d be u(4). Suppose d*g = g. Solve g = -w + 5 - 0 for w.
5
Suppose 6*u = 3*u + 9. Suppose -u*w + 21 = 3*k, -5*w = 4*k - 5 - 31. Let j(p) = 13*p**2 - 1. Let x be j(1). Solve 4*h = -w - x for h.
-5
Let t = -149 - -153. Solve t = -h + 5 for h.
1
Let l(s) = s + 1. Let x(q) = q + 12. Let i(j) = -5*l(j) + x(j). Let v(m) = 3*m - 7. Let d(f) = -4*i(f) - 5*v(f). Let n be d(-5). Solve 6 = -4*a - n for a.
-2
Let j(c) = -c**3 - 6*c**2. Let f be j(-6). Solve -2 = v - f*v for v.
-2
Let p(u) be the second derivative of u**7/504 + u**6/720 + u**4/6 + 3*u. Let f(q) be the third derivative of p(q). Let r be f(-1). Solve -4 - 16 = r*l for l.
-5
Let w(r) = 2*r**2 + 7*r + 7. Let f be w(-6). Suppose -3*i + f - 1 = 0. Let z be -2 + (-2)/(-2) - -1. Solve 0*j - 3*j - i = z for j.
-4
Suppose 5*h = -5*w - 0*w, w + 1 = 0. Let u be (6/(-10))/((-6)/30). Solve -h = t - u for t.
2
Let n be (8/16)/(1/8). Solve n*a = a - 3 for a.
-1
Let y = -19 - -19. Suppose -2*z + 6 = -z + 3*l, 4*z - 4*l - 24 = y. Solve u + z = 3*u for u.
3
Let q(v) = 7*v**2 - 14*v + 2. Let c be ((-8)/4)/(2/3). Let k(p) = 4*p**2 - 7*p + 1. Let l(z) = c*q(z) + 5*k(z). Let h be l(6). Solve 0 = 2*x - h + 13 for x.
-4
Let l be 44/6 - (22/3 - 8). Let h(p) = p. Let k be h(3). Solve l = a + k*a for a.
2
Let h be (35/(-10) + 1*4)*10. Solve h*p = p for p.
0
Let r be 1/(4/(3 + 1)). Suppose o + r = 5. Solve 9*c - o*c - 10 = 0 for c.
2
Suppose 7*q - 50 = 5*q. Solve 0 = -0*w - 5*w + q for w.
5
Let w = -5 - -9. Let b(l) = -l + 10. Let i be b(7). Solve -i*y = -2*y - w for y.
4
Let j(r) = -r + 15. Let s be j(12). Solve 0 - 6 = -s*o for o.
2
Let f(l) = -l**3 + l**2 + 2*l. Suppose 2*s - 3*s - 8 = -4*m, -2*m - 3*s + 4 = 0. Let b be f(m). Suppose -2*r + 48 - 18 = b. Solve 5*a - r = 2*a for a.
5
Let i = 4 + 2. Let g be ((-2)/5)/(1/5). Let f = i + g. Solve -11 = f*t - 31 for t.