pose 4*w = -2*w + 120. Solve 3*k = -k - w for k.
-5
Let p be (0/(2 + 0))/(-1). Solve 2*q - 5 - 3 = p for q.
4
Suppose 0 = 7*o - 3*o - 12. Let t = -3 - -6. Let i = -3 + t. Solve i = -o*d - d for d.
0
Let y(s) = -s**3 + 2*s**2 + 5*s - 4. Let u be y(3). Suppose 5*z + 4*d + d - 15 = 0, -3*d = 0. Solve u*a = -z*a - 5 for a.
-1
Let y(n) = -n + 29. Let z be y(0). Suppose -o + 1 = c - 11, 2*c - z = -3*o. Solve c*h = 3*h - 12 for h.
-3
Suppose -3*a - 3*h = 3, -h - h + 4 = 5*a. Let g(j) = -j**3 + 5*j**2 + j - 3. Let t be g(5). Suppose q - 2*q + t = 0. Solve -a*p + 8 = -q for p.
5
Suppose -2*i + 8 = -12. Let t = i + -8. Let r be (-5)/(15/6)*-8. Solve 0 = 2*w + t*w - r for w.
4
Let t(u) = u**3 + 9*u**2 + u + 13. Let s be t(-9). Suppose 3*c + 12 = s*c - 4*j, 4*c + j = 14. Solve 9 = c*i + 21 for i.
-3
Let g = -17 + 21. Solve -4 - 4 = g*q for q.
-2
Let v be (-6)/(-4)*8/6. Suppose -20 = v*n - 5*k, 2*n - k + 0*k + 4 = 0. Solve 5*m + 0*m - 15 = n for m.
3
Let x(h) be the second derivative of h**5/20 + h**4/2 + 6*h. Let a be x(-6). Solve 6*s - 5*s = a for s.
0
Suppose 3*l - 5 - 6 = 5*b, -2*l = -4*b - 8. Suppose 2*n = q + 3, 3*q = -l*n + 6*q + 1. Suppose 5 + 23 = n*y + 4*o, -o + 27 = 3*y. Solve -y*a + 4*a = 12 for a.
-3
Suppose -2*y + 4*g = -26, 2*y - 4*g = 6*y - 4. Solve 0 = y*r - 0*r + 5 for r.
-1
Let b be 4/6 - (-8)/6. Solve -z + 0 = b for z.
-2
Let p(d) = -d**3 + 11*d**2 - 10*d + 3. Let m be p(10). Solve 5 - m = -i for i.
-2
Let t be 1*(5 - (3 + -1)). Let d be (-5 + 4)*t*-1. Suppose 0 = -5*q - 5*r + 15, q - 12 = -3*q + d*r. Solve 0 = -q*o - 0*o for o.
0
Suppose 0 = -2*q - 2*i + 34, 0 = -2*q + 3*q + 2*i - 13. Let p(l) = -l + 7. Let f be p(6). Solve f - q = 5*s for s.
-4
Suppose -5*d = 5*x - 4 - 1, 3*x = -2*d - 2. Suppose 2*p - 33 = -1. Solve -d*v = -v + p for v.
-4
Let y = -5 + 8. Suppose -y + 7 = j. Solve -6 = -5*f + j for f.
2
Let j = 0 - 8. Let g = j - -16. Solve 4*d + g = -4 for d.
-3
Let b(m) = m**2 + 7*m + 8. Let k be b(-6). Let i = k - -1. Let c be 0 + i + (2 - 1). Solve q - c = -q for q.
2
Let d(t) = t**3 + 4*t**2 - 2*t - 5. Let h be d(-4). Let b(i) = i**h + 3*i**2 + 4 - 3 - 5*i - 1. Let s be b(-4). Solve 2*f = -2*f + s for f.
1
Let f = -21 + 39. Let d = f + -13. Solve 0 = d*l - 4*l + 1 for l.
-1
Let y be (-6)/27 - 20/(-9). Suppose 4*w - f + 12 = y*f, 3*f = -5*w + 12. Solve 4*q - 4 + 8 = w for q.
-1
Let y = 2 - -3. Suppose 4*d = 2*q + 22, 4*q - q + 5*d - 22 = 0. Let f = y - q. Solve -f*i = -i - 5 for i.
1
Let r(b) = b + 10. Let m be r(-8). Suppose -25 = -m*y - 2*y - o, 4*o = 20. Solve y*w - 9 = 2*w for w.
3
Suppose 0 = 2*k + 2*k. Let b be (3 - 0)*350/21. Suppose -7*c + 2*c + b = k. Solve 5*n + 5 = -c for n.
-3
Suppose -3*c + 3 = -6. Let m = 9 - 5. Solve -m*u - c = 9 for u.
-3
Let a be 7*1 + 5/(-5). Let g be 13/5 - a/(-15). Suppose -g*d = -2*d - 10. Solve -4*h + 6 + d = 0 for h.
4
Let q(m) = m - 7. Let f be q(4). Let p be f/2*4/(-2). Solve -p = 3*g - 6*g for g.
1
Let w = 5 + -2. Let n be (2/w)/(8/36). Suppose 2*t = -h, -3*h - 4*t = t - 4. Solve -h = c - n*c for c.
4
Let h be (-3)/(6/44)*-1. Solve -7 = 5*q - h for q.
3
Suppose 5*o - 13 = 42. Solve 0 = -3*i - o + 2 for i.
-3
Suppose 2*u - 6*u = 0. Suppose 4*h + 3*d - 17 = u, -5*h - 5*d = -0*h - 25. Let n be (-2)/(-4)*(h - -18). Solve -n + 26 = -4*k for k.
-4
Let z(c) = c**3 - 4*c**2 + 5*c - 3. Let j be (-2)/(-3)*(-15)/(-2). Suppose 3*w - 17 = 4*y, 3*w - j = 4*w + 4*y. Let b be z(w). Solve 0 = -m - b*m - 12 for m.
-3
Let a(f) = -f**3 + 6*f**2 + 3*f - 15. Let y be a(6). Solve 0 = -y*r + 8*r for r.
0
Suppose 23 = 3*t - 4*y, -9*t + 4*t = y. Let l(d) = d**2 + d - 1. Let o be l(t). Let a(s) = -s + 5. Let u be a(5). Solve u = -5*v - 24 - o for v.
-5
Let n = 17 - 5. Solve -3 = -5*y + n for y.
3
Let t(h) = h**3 + 3*h**2 - 3*h + 1. Let c be t(-3). Solve -4*s + 2 = c for s.
-2
Suppose u - 10 = 4. Solve 5*a + u - 4 = 0 for a.
-2
Suppose -4*p = -k - 8, 20 = -0*k + 3*k - p. Solve -3*r = 1 + k for r.
-3
Suppose -40 + 58 = 6*z. Solve z*m + 5 = -2*m for m.
-1
Let y be (-2)/(-3) - 12/18. Suppose y = -7*z + 6*z + 4. Solve 20 = -4*m + z for m.
-4
Let k(u) = u**2 - 4*u - 77. Let b be k(11). Solve w = -b*w for w.
0
Suppose 14*r + 56 = 420. Solve r*y - 25*y = 3 for y.
3
Let h = 16 - 10. Suppose 3*j - 12 = -5*l, 6*j - 2*l - 16 = 2*j. Suppose 0 = i - 0*i - j. Solve 0 = i*p - p + h for p.
-2
Suppose -8*q = 6*q - 2*q. Solve q*s = s + 3 for s.
-3
Let x(t) = t**2 - 10*t. Let y be x(10). Solve 0 = -y*g + 4*g + 12 for g.
-3
Suppose 0*m = -0*m + 2*m. Solve m*u + 5*u + 5 = 0 for u.
-1
Let j(z) = 3*z + 2. Let g be j(1). Suppose -4*b = -b + 6. Let q = b - -4. Solve n + g = q*n for n.
5
Let b(s) = -s**2 - 5*s + 8. Let u be b(-6). Solve -3 + 5 = u*n for n.
1
Suppose -7*r + 31 = -4. Solve r*d - 7 - 3 = 0 for d.
2
Suppose 2*f = -0*f + 2*k + 4, -5*f = 2*k - 31. Suppose -2*q - 3*q = -5*y - 10, 0 = f*y - q - 6. Solve m + 3 = y for m.
-1
Suppose 3*x - 5 = -4*k + 7, 0 = 4*k + x - 4. Let r be -2*1/1 + -1. Let y be (-16)/3*r/2. Solve k = f + 3 - y for f.
5
Let n(w) = -w + 5. Let t be n(3). Solve -t = r - 0*r for r.
-2
Suppose -4 = -5*u + t + t, 4*t = 3*u + 6. Suppose -n + u + 1 = 0. Suppose -5*b + 20 = -4*p, -2*p - 5*b - 3 = -23. Solve 6*d - n*d - 9 = p for d.
3
Let d = 1 + -2. Let w be (1 + d)/(-4 - -2). Let c be 0 - (0 + (-1 - 0)). Solve w*n + n = -c for n.
-1
Let u = 12 - 0. Solve 2*z + 2*z = u for z.
3
Let g(z) = z + 2*z - 3*z + z. Let i be g(4). Solve -2*w + i = 6 for w.
-1
Suppose -9*z + 50 = -7*z - 2*o, -z + 3*o + 27 = 0. Solve -4*c + z = 12 for c.
3
Let x be (4 - 2) + 6 - 1. Let a = x - 5. Solve -o - 1 + a = 0 for o.
1
Let t = 20 - 16. Solve f + t = -0 for f.
-4
Suppose -15 = 5*c - 4*m, -3*c - c + 14 = 2*m. Let l be (-2)/(-2)*5/c. Suppose -l - 7 = -3*b. Solve -b*a = a + 10 for a.
-2
Let d(u) = u**3 - 5*u**2 + 7*u - 8. Let f be d(4). Let j = 13 - -7. Solve h = -f*h - j for h.
-4
Let l = 2 + -1. Let w = 5 - l. Let u be w + (1 - 1)/1. Solve -u*g = -g - 15 for g.
5
Suppose a - 6 = -2*a. Solve -4 = -a*y - 0*y for y.
2
Suppose 3*s + 0*d + 4*d - 21 = 0, -5*s + 3*d = -6. Solve -r - 4 = -s for r.
-1
Let h = -10 + 10. Solve 4 = 2*l - h*l for l.
2
Suppose 4*u = -6 - 2, -12 = 4*t - 2*u. Suppose -3*k - 2 = -5*q - 12, -4*q = 4*k - 56. Let y be (t/10)/((-1)/k). Solve 6 + y = -2*f for f.
-5
Let y be 4/(-8)*(-1 + 1). Solve y = 2*r - 3 + 13 for r.
-5
Let r be 32/12*(-3)/(-2). Suppose -14 = -u - r*g, u = -0*u + 4*g - 10. Solve 0 = -4*o + 2 + u for o.
1
Suppose 1 = 2*h + 5. Let f = h - -3. Let n be 0 - (-3 + f + 0). Solve 0 - n = -a for a.
2
Let l = 6 - 6. Let c be l*(-3)/(6/2). Solve i + c*i = 4 for i.
4
Let g be (12/30)/(1/5). Let n(v) = v**2 - 5 + 5 + 6*v. Let i be n(-6). Solve i = g*l - 0*l for l.
0
Suppose -a + 0*a + 2 = 0. Suppose 3*n - 4*j = 12, a*j = -3*n + n - 6. Solve 12 = -n*r - 4*r for r.
-3
Let u(v) = v**2 - 10*v + 26. Let w be u(6). Solve 1 = w*o - 3 for o.
2
Let h(b) = 2*b**2 + 8*b + 7. Let m be h(-5). Let g = -12 + m. Solve 0 = -0*u - g*u + 25 for u.
5
Let z = 3 + 6. Solve 0 = -0*h + 3*h - z for h.
3
Suppose -2*t + 3*k = -1 - 5, 0 = -5*t + 5*k + 15. Let q(z) = -z**3 + 3*z**2 + 2*z. Let u be q(3). Suppose -14 - u = -m. Solve -2*h + m = t*h for h.
4
Suppose -3*h = 0, 0*h + 5*h + 28 = -4*w. Let p(b) = -2*b**2 + 2*b + 1. Let x be p(3). Let r = w - x. Solve n + n = r for n.
2
Let i be 15/20 + 9/4. Solve i*q + 5 = -4 for q.
-3
Suppose u = -2*u. Suppose u = -4*f - 0 + 12. Suppose 3 = -f*v + 18. Solve 9 = v*h - 6 for h.
3
Let z(r) = -r**2 + 8*r - 9. Let d be z(6). Solve -h = d*h for h.
0
Let s = 1 - -1. Solve 1 = s*p - 1 for p.
1
Suppose -300 = -9*d - 75. Solve -d = r + 4*r for r.
-5
Let a(q) be the third derivative of q**5/30 - q**4/12 + q**3/3 - 3*q**2. Let p be a(2). Let c = -2 + p. Solve t - c*t = 9 for t.
-3
Suppose o + 198 = 6*o + 3*m, 5*m - 200 = -5*o. Suppose -23 = -4*b + 3*b. Let v = o - b. Solve 3*w = -w - v for w.
-4
Let b(w) = 2*w - 26. Let h be b(18). Solve 2*a + h = -0*a for a.
-5
Suppose -2*g - g + 9 = 0. Suppose -3*r + 3 = -g. Suppose p - r = -0. Solve a - p*a = -1 for a.
1
Let f(v) = v - 7. Let g be f(9). Solve g*w = -0*w for w.
0
Suppose -3*d + 0 + 17 = y, -3*d = -2*y - 2. Solve 5*h - y = 10 for h.
3
Let w = -68 + 68. Solve 4*c + 12 = -w*c for c.
-3
Let a be 0 + (-9)/(-3) - 6. Let g = a - -9. Solve 2*x + 20 = g*x for x.
5
Suppose 0