+ 2*j = -4. Suppose 2*z - j - 4 = 0. Let g be (-63)/(-12) - 1/z. Solve 0 = -3*m + g*m for m.
0
Suppose 3*i - 7 = -5*n, -3*n + 8 = 4*i - 16. Let k = i + -6. Suppose -17 = -k*g + 1. Solve f = g*f for f.
0
Let n(l) = -l**2 - 9*l - 8. Let b be n(-8). Suppose b = 2*g - 0*g. Solve c + g*c = 2 for c.
2
Let w(t) = -5*t**2 + 6*t + 4. Let q(i) = -4*i**2 + 6*i + 4. Let r(x) = -6*q(x) + 5*w(x). Let v be r(-5). Let a be (-10)/(-8)*v*4. Solve 0 = -h + 1 - a for h.
-4
Let o(t) = -t**3 + 8*t**2 - 7*t + 7. Let z be o(7). Let g = z + -2. Solve -3 = 4*k - g*k for k.
3
Let s(f) = 5*f**2 - 4*f + 2. Let j be s(1). Solve j*w = -0*w for w.
0
Let x(m) = -m**3 - 20*m**2 + m + 22. Let h be x(-20). Solve 7 = n + h for n.
5
Suppose 2 = 4*h - 10. Solve -25 = h*o + 2*o for o.
-5
Let z(q) = -q**2 - 6*q - 1. Let b be z(-5). Suppose k = b*o + 4*k + 19, -2*o - 11 = k. Let c = -5 - o. Solve -x = -0*x + c for x.
-2
Let x be (3/3)/(2/10). Suppose -5 = -5*o + x. Solve -6*p = -o*p for p.
0
Suppose 0 = -3*p - 15 + 36. Suppose c + 3 = 2*d, p*d - 4*c - 12 = 3*d. Let y be (0 + d)/(4 + -6). Solve -3 = -w - y for w.
3
Let g = 26 + -16. Let s = -6 + g. Solve -s = v - 8 for v.
4
Let x(f) = 2 + 6 + 2 + 2 + f**2 - f**3. Let k be x(0). Solve i - 4*i = k for i.
-4
Let d(c) = c**3 - 3*c + 2. Let g be d(2). Let l be 33/15 + 2/(-10). Suppose g = -l*v + 4*v. Solve -v*f + 9 = -1 for f.
5
Let p be 4/(-2) - -3*1. Let l(g) = g**3 + g**2 - 3*g - 1. Let d be l(-3). Let h be 1/(-2)*d + -3. Solve r + p = -h for r.
-3
Let k = -14 + 18. Solve 5*a + 21 = -k for a.
-5
Let v(p) = -3*p**3 - 4*p**2 - 4*p + 2. Let o(s) = 7*s**3 + 7*s**2 + 7*s - 5. Let a(u) = 2*o(u) + 5*v(u). Let c be a(-5). Solve 0 = t - c*t - 16 for t.
-4
Let l be 4*1/2 - -6. Suppose -d - l = -28. Solve -7*o + 3*o = -d for o.
5
Let n = 53 - 49. Solve -2*k = -n - 6 for k.
5
Let t be 3 - ((0 - -3) + 0). Let k(s) = s + 1. Let q be k(2). Solve t = -n + q for n.
3
Suppose -4*s + 28 = 4*u, -2*u + 42 = 5*s + 13. Suppose -s*q = -8 - 12. Suppose -q*r = -7*r + 6. Solve m + 12 = -r*m for m.
-4
Let l = -23 - -27. Solve 3*c - l = 2*c for c.
4
Suppose 5*k - 16 - 9 = 0. Solve -k*c + 4*c = 0 for c.
0
Let o(c) = -c**3 - 4*c**2 + 5*c. Let h be o(-5). Suppose 3*b - 5*v = 14 + 44, b + 5*v + 14 = 0. Let k = b + -8. Solve 0 = -h*s - s - k for s.
-3
Suppose 6*w - w = 5*h - 35, 5*h + 2*w = 42. Let z = 11 - h. Solve -z*s = 2*s - 15 for s.
3
Let b = -93 - -31. Let v be b/(-4) - 7/14. Solve -4*x = -x - v for x.
5
Let j be (-2)/(-8) - 6/24. Suppose j = -4*y - m - 3, -2*y - 3*m = -7*y + 9. Solve -v + y*v = -3 for v.
3
Suppose 3 + 7 = 5*i. Suppose r - i*r = 0. Solve r*s + s - 1 = 0 for s.
1
Suppose 0 = -2*l + 4*l - 22. Let g = l - 9. Solve -g*c + 0 = -8 for c.
4
Suppose -2*d + 1 = n, 4*n + 3*d = 7*d + 16. Suppose 2*y + 0*k + 2*k = 8, -3*y = 4*k - 12. Solve 0 = n*l - y*l - 2 for l.
-2
Let k(v) = -v**2 - 5*v + 2. Let o be k(-6). Let b = o - -10. Solve -b = -4*z - 2 for z.
1
Suppose 5*m = 8*m. Solve m = n - 1 for n.
1
Let g(a) = -12*a. Let f be g(-1). Let y be 1/(-4) + 15/f. Let w be y/2*(2 + 6). Solve 0*h + 20 = -w*h for h.
-5
Suppose 3*j - 5*t = 17 + 8, 5*t + 25 = j. Solve u + 2*u + 9 = j for u.
-3
Suppose 23 + 4 = 3*j. Solve -j*b = -4*b + 15 for b.
-3
Let x(i) = 2*i + 1. Let n be x(-1). Let m be (-7 - -13) + n + -1. Suppose -m*l = -l. Solve -4*a = -l*a + 12 for a.
-3
Let k be -2 + -1 - (-3 - -1). Let l be (-1 - (-3 + 2))/k. Suppose v + 3*v = l. Solve -5*b - 11 + 1 = v for b.
-2
Let t(s) = -s**3 - 9*s**2 - 3*s - 11. Let b be t(-9). Suppose b = 5*n - n. Solve -g = -2*g - n for g.
-4
Let k = 0 - 1. Let x(o) = -o**2 - 5*o + 5. Let g be x(-6). Let b = g - k. Solve -5*d - 6 - 14 = b for d.
-4
Let t(s) = s - 2. Let b be t(4). Solve -15 = -b*y - y for y.
5
Let a be 2 - (1 - (-6)/(-3)). Suppose -4*p = -5*q - p + 30, -a*p = 5*q. Solve 2*j - 1 = -q for j.
-1
Let o(y) = 2*y**2 + 2*y - 1. Let l be o(1). Let w = l - -1. Solve 0 = -k - w*k for k.
0
Suppose 5*l = 5 - 0. Suppose -2 = -z - l. Let h be 6/(-3) + 1 + 5. Solve 3*a - h*a = -z for a.
1
Suppose -5*a - 3 = -3*a + l, 0 = a + 3*l + 14. Solve y + 2 = -a for y.
-3
Let p be ((-2)/2)/(1/(-9)). Suppose 9 = u + 4*c, -4*u + 0*c - 34 = 2*c. Let o = -7 - u. Solve 0 = -r + o*r - p for r.
3
Let l(p) = -p**3 + 3*p**2 + 4*p + 3. Let i be l(4). Suppose 0*u + 60 = 5*a - i*u, 5*u - 85 = -4*a. Solve -a = -8*c + 3*c for c.
3
Suppose 0 = -4*y + 16, 2*x = 6*y - 4*y. Solve -r = 7 - x for r.
-3
Let o = 4 + -6. Let n be (-1)/o*(-12)/(-2). Let z be 12/3 - (-4)/(-2). Solve n*h + z*h = -5 for h.
-1
Let p(j) = j**2 + 11*j + 13. Let q be p(-9). Let b = 8 + q. Solve u = -b*u - 4 for u.
-1
Let u(v) = -v + 1. Let d be u(-2). Suppose -3*h = 7 + 11. Let n = -4 - h. Solve -1 - n = d*g for g.
-1
Suppose -n = 3 - 5. Solve -1 = b - n*b for b.
1
Suppose 25 = 5*k, 0 = 4*w - 0*k - 5*k + 9. Let o(f) = 2*f**2 + f - 1. Let c be o(-2). Suppose -2*d = -c*d. Solve d*i - 4 = w*i for i.
-1
Let h = -13 + 15. Solve -3*g = -g + h for g.
-1
Let u be 3*3*1/9. Suppose h + 1 - 8 = -2*o, -o + h - u = 0. Solve -6*n - 8 = -o*n for n.
-2
Let n(r) = 9*r. Suppose 3*l - 4 = -l. Let o be n(l). Suppose -3*q = q + 5*i - 23, 3*i = o. Solve 2 = -2*v - q for v.
-2
Let c = -20 + 20. Solve 0 = -c*u - 2*u + 10 for u.
5
Suppose -2*b + 8 = -y + 6, 2*b = 5*y - 6. Solve -6 = 2*a - b for a.
-2
Suppose 0 = -3*l + l. Let k = -16 - -23. Let a(b) = -2*b - 11. Let r be a(-7). Solve g - k + r = l for g.
4
Let v = 5 + -1. Suppose 0 = d - 6*d. Let f be -2*(-2)/(d - -2). Solve 0 = -f*m - 2*m - v for m.
-1
Let q be 1*-3*(-4)/12. Solve -11 + q = -5*u for u.
2
Let f(g) be the first derivative of 10/3*g**3 - 1/4*g**4 + 8*g + 1 - 9/2*g**2. Let y be f(9). Solve l + l = -y for l.
-4
Let s be (-255)/(-35) - 4/14. Let j = -4 + s. Solve -a - 1 = j for a.
-4
Suppose -7*f + 2*f + 40 = 0. Suppose 0*w - 2*w = -f. Suppose -3*p + 5 = -w. Solve -r = p*r for r.
0
Let q(f) = f + 0 - 1 + 2 + 3*f**2 - f**3. Let j be q(3). Solve j*z = -z for z.
0
Let r be (38 + 1)*(-3)/(-3). Suppose -r = -4*x - 3. Let v be x/12 - 3/(-12). Solve 0 = -5*a - v - 24 for a.
-5
Suppose 3*z = -z. Suppose 4*g + 21 = 3*a, g = a - z - 6. Solve a*k = 8*k for k.
0
Let j(m) = -m**2 - 8*m - 1. Let n be j(-7). Suppose 0 = 4*u - u - n. Let r be u + (0 - (-1 - -1)). Solve 4*f - r*f = 0 for f.
0
Let w be 2 + 0 + (5 - 7). Suppose w = -u + 4*u - 18. Let t = 0 + 3. Solve -3*b - u = t for b.
-3
Let a be ((-9)/27)/(2/(-18)). Solve 2*g - 4 = a*g for g.
-4
Let f(g) = 3*g - 12. Let m be f(4). Solve m = 4*p - 1 + 13 for p.
-3
Suppose -3*t + 2*t = -2*y + 5, 3*t - 1 = 2*y. Solve t*u = 8*u - 5 for u.
1
Let j be 0 + -1 + (-2 - -5). Suppose -j*z - 4 = -4*z. Solve -6 = -2*l - z for l.
2
Let q = 1 - 0. Let u(w) be the second derivative of w**5/20 - 7*w**4/12 + 4*w**3/3 - 9*w**2/2 + 5*w. Let r be u(6). Solve -q = r*k - 10 for k.
3
Suppose 47 = -5*h - 38. Let b = h - -27. Let r = 0 + 1. Solve -3*j - r + b = 0 for j.
3
Let l = -3 - -6. Solve -10 = l*g - g for g.
-5
Suppose 0 = 4*h - f - 11, 0*h - 3*f + 7 = -2*h. Suppose 7*t = 4*w + 2*t + 50, -h*w - 5*t - 70 = 0. Let a be (-2)/(-8) + w/(-4). Solve a*m - 5 - 7 = 0 for m.
3
Suppose 0 = -q - 2, 3*k + 3*q = k. Let s = k + 2. Let b be 2/(-4)*(-7 + -1). Solve 0 = 3*f - b*f - s for f.
-5
Let g(o) = o**3 - 3*o**2 + 5*o + 1. Let q be g(4). Suppose 0 = -5*v - 12 + q. Solve 9 = -v*n - 1 for n.
-2
Let z(p) = -p - 8. Let j be z(-5). Let l = 5 + j. Let v be (8/6)/(20/30). Solve r = l + v for r.
4
Let s(l) = l**2 - l. Let k be s(0). Suppose k*t = -4*t - 12. Let d(x) = -x - 3. Let z be d(t). Solve 4*i + 1 + 3 = z for i.
-1
Let f be (36/(-60))/((-1)/5). Solve 2*x + f = -3 for x.
-3
Let d be 4*(-4)/4 - (-20)/5. Solve d*v + 5*v = 5 for v.
1
Suppose 5*d - 26 = 3*q, 2*d - 4*q - 24 = -8. Solve d = -5*t - 1 for t.
-1
Let o = 20 + -4. Suppose -p + o = 14. Solve -p*h - 2*h = 12 for h.
-3
Let o(f) = -f**2 + 10*f - 10. Let d be o(9). Let m = d - -3. Solve -m*y + 7 + 1 = 0 for y.
4
Let k be (10/6 + -2)*-6. Let m = 15 - 11. Suppose -g + 47 = m*v - 2*g, -5*g = 3*v - 64. Solve -3*l + k = -v for l.
5
Let p(v) = -2*v - 13. Let q be p(-9). Suppose -2*h - 3*h + q = 0. Solve -2*t = -5 + h for t.
2
Let y be 4/(-10) - 9/15. Let c be y/4 - 34/(-8). Suppose j - 1 = -3*q, c*q - 28 = 3*j + j. Solve -3*z - q = 13 for z.
-5
Let w = -43 - -63. Suppose -4*z + 20 + w = 0. Let x(y) = y**