y + 0*y + p = 0. Suppose -y*f + 4 = -4. Solve u + f = -1 for u.
-3
Let l(s) = 5*s**2. Let g be l(-1). Suppose -4*f - g*m = -9, 2*f + 2*m = -2*f + 6. Solve 3*p = -2 - f for p.
-1
Suppose y = -2*w + 4, -3*w - w + 5*y + 22 = 0. Let o = w + -3. Solve o*g + 6 = -2*g for g.
-3
Suppose 5*a + 4*x - 229 = 0, -a = -x - 2*x - 42. Suppose 3*b = 5*i + 55, -3*b + 2*i = -i - a. Solve -b - 2 = 3*v for v.
-4
Let r = 81 - 79. Solve -r*g = -g for g.
0
Let d be -4*((-30)/(-8))/(-3). Suppose d*i = n + 16 - 1, 9 = 3*i - 5*n. Solve -i = -l + 2*l for l.
-3
Suppose -5*y + n + 23 = 0, 19 - 5 = 4*y - 3*n. Solve y*r + 3 = 4*r for r.
-3
Let f(o) be the first derivative of -o**2/2 + 7*o - 1. Suppose -2*t + 16 = 6. Let c be f(t). Solve u = -c*u - 3 for u.
-1
Suppose 4*h = -44 + 124. Suppose 4*n = -n + h. Suppose -3*q + 35 = -5*y, q + 4*q = 4*y + 41. Solve -n*d - d = q for d.
-1
Let m be (-3)/9 + (40/(-6))/(-2). Solve -j - m = -0*j for j.
-3
Suppose 27 = 3*b - 5*d, -2*b + 5*d + 14 = -9. Let g be -1 + b + -3 + 5. Suppose 4*p = 3*l + 1, 2*l = 7*l + g*p - 45. Solve -6 = -l*y + 9 for y.
3
Let r(x) be the first derivative of 3*x**2/2 - 6*x + 3. Let k be r(4). Let a(b) = b - 2. Let v be a(k). Solve 0*p - 16 = -v*p for p.
4
Let n(p) = -p - 3. Let r(y) = 2*y + 6. Let b(j) = 13*n(j) + 6*r(j). Let v be b(-3). Suppose v = x + x. Solve 4*m + 12 + 8 = x for m.
-5
Suppose -5*q = -c + 29, 2*c = -2*c - q + 32. Let l be 3/c*(17 - -1). Let g be 2/(-1) - -1 - -16. Solve g = s - l*s for s.
-3
Let x = 2 + 3. Suppose 25 = -5*o - x. Let n(y) = -y - 4. Let h be n(o). Solve -h*q = -0*q for q.
0
Let m(j) be the third derivative of j**6/120 + j**5/10 - j**4/12 - 3*j**3/2 + 4*j**2. Let i be m(-6). Let x be (-3)/2*8/(-3). Solve -i*g = -g - x for g.
2
Let h = -153 + 153. Solve -2*q - 2*q + 4 = h for q.
1
Let t be (-2)/(36/(-21) + 2). Let q be (t - -2)*(-4)/4. Let r be q - (-3)/((-3)/2). Solve -4*h + 15 = r for h.
3
Let t(u) = -u**3 - 4*u**2 + u - 1. Let m(q) = -q + 2. Let g be m(6). Let a be t(g). Let l = a - -7. Solve l*b + 11 - 3 = 0 for b.
-4
Let j = 10 - 7. Solve 5*c - 4*c = -j for c.
-3
Let y(u) = -5 + 3*u**2 + u**3 + 0*u**2 + 4 - 3*u. Let h be y(-3). Let o be 2 + -3 + (-24)/(-1). Solve -3*l + o = h for l.
5
Suppose 0 = 2*q - 0 + 2. Let u be q + 2/4*4. Solve 2*c - u + 7 = 0 for c.
-3
Let l be (-2 + 0)*44/8. Let g = -8 - l. Suppose -g*n + 7*n = 12. Solve n = t + 4 for t.
-1
Suppose 2*d + m = 6, -3 = 2*d - 3*m - 1. Solve d*i = -i for i.
0
Let q(n) = -n**2 - 9*n - 5. Let o be q(-4). Solve -6*m + 3*m = o for m.
-5
Suppose 0 = 2*r + 2*h - 8, -h = 3*h + 8. Let x be ((-450)/8)/3*-4. Suppose 29*n = 26*n + x. Solve i + n = r*i for i.
5
Let b = -15 - -17. Solve -q = -2 - b for q.
4
Let b = 15 + -13. Solve -b - 3 = x for x.
-5
Suppose 4*w - 35 = -27. Solve -1 - 3 = w*x for x.
-2
Let w = -8 + 13. Suppose 4*a - 18 = -5*g - 4, 5 = w*g - 5*a. Let i be (4/(-8))/(1/(-2)). Solve -3*t - i = -g*t for t.
-1
Let x = -4 - -7. Suppose -x*h + 0 = -9. Suppose 4*i - b = 8, h*b - 31 = -5*i - b. Solve -n = -i*n for n.
0
Suppose -6*x - 7 = -7*x. Solve 2 = 3*h - x for h.
3
Let a be 2/10 - (-117)/65. Solve -a = -5*s - 17 for s.
-3
Suppose -76 = -3*q - 6*m + 2*m, 4*q + 4*m = 100. Let c = q - 15. Solve -2*l + c = l for l.
3
Let n = 5 + 19. Suppose n = 10*t - 7*t. Solve -c - t = c for c.
-4
Suppose 5*z + 2 = 12. Suppose -z*y = -0*y - 4. Solve -h - y*h - 12 = 0 for h.
-4
Suppose 0 = -5*d - 20, -f + 4*d = -6*f - 16. Let m(v) = -v**2 + 4*v. Let n be m(4). Suppose 1 = 4*u - l - n, -4*l - 4 = f. Solve u = -0*z + 5*z for z.
0
Let a = 7 - -7. Let z = a + -10. Solve i = -z*i for i.
0
Suppose -3*q + 2 + 4 = 0. Solve -m - 1 + q = 0 for m.
1
Let j be (-3 + 6)*(-2)/3. Let g = j - -5. Solve 0 = m - g*m for m.
0
Let a = 11 + -2. Solve 4*s - s = -a for s.
-3
Let y be (-3)/4 - (-11)/4. Solve -7*u + y*u = -10 for u.
2
Suppose -3*k + 12*k = 45. Solve 0 = k*g - 8*g + 12 for g.
4
Let s(t) = t. Let r be s(-5). Let g(l) = -2*l - 2. Let q be g(r). Solve 5*j - j = q for j.
2
Let h(q) = q**3 - 5*q**2 - 2*q - 8. Let n be h(6). Suppose 0 = -3*c - c + n. Solve -2 = 3*b - c*b for b.
2
Let b(z) = -z**2 + 2. Suppose 0 = -2*x - 3*x. Let m be b(x). Solve 0 = -4*s - 6 + m for s.
-1
Let y(s) = 3*s - 1. Let q be y(2). Let n(t) = -3*t + 9. Let a be n(0). Solve a = q*p - 2*p for p.
3
Suppose 15*j - 4 = 13*j. Solve r = -j*r - 3 for r.
-1
Let d be 0/(-6 - -3 - -5). Suppose 6*z - 2*z - 3 = -5*x, 3*z + 4*x - 2 = d. Solve 0 = -3*f + z*f for f.
0
Let x = 22 + -16. Let o(w) = 3*w**2 - 3*w + 5. Let r(f) = -7*f**2 + 7*f - 11. Let b(p) = 9*o(p) + 4*r(p). Let y be b(0). Solve -5*v + x = y for v.
1
Let j(d) be the first derivative of 2*d**3/3 - d**2 - 2. Let a be j(2). Solve -a*g = -g for g.
0
Let s be 1278/63 - 4/14. Solve a = -4*a + s for a.
4
Suppose 0*v - 3*v - 6 = 0. Let t be ((-12)/(-20))/(v/(-10)). Solve y - 5 = -t for y.
2
Let r be 2/3*159 + 1. Let h = r + -72. Let q be (-6)/(-10) - (-14)/h. Solve 2*x = q - 3 for x.
-1
Let d(k) = 2*k**2 - 2. Let b be d(-3). Let t be 1/(-4) + (-44)/b. Let c = 4 + t. Solve -n = -2*n + c for n.
1
Let w(c) = 2*c + c**2 + c**3 - 7*c**2 + 2 - 9*c. Let j(v) = -v**2 - 7*v + 15. Let f be j(-8). Let y be w(f). Solve -2*g - y = -g for g.
-2
Suppose n + 4*t - 128 = -3*n, -3*t = -5*n + 192. Suppose 3*f = 0, -3*b + f + n = -4*f. Solve 0 + b = -4*a for a.
-3
Let a = -7 - -7. Suppose -4*k + 77 = 29. Suppose -2*q - q + 3*p = -k, 4*q - 5*p = 14. Solve 0*n - 2*n - q = a for n.
-3
Let w be (-1 - 6/4)*-2. Solve 0 = 5*l - w - 20 for l.
5
Let l be 0 + -1 - 14*(-7)/14. Solve 2*a - l = -0*a for a.
3
Let r = 34 + -24. Let d = r - 2. Solve 3*a + a - d = 0 for a.
2
Let f = 17 - 12. Let t = f - 5. Solve t = -y + 3*y + 4 for y.
-2
Let s(b) be the second derivative of b**5/10 - b**4/6 + b**3/6 - b**2 - 2*b. Let x be s(2). Solve 0 = -r - 3*r + x for r.
2
Let w = -2 - -1. Let k be (-5 - -6)*(-4)/w. Solve k*u + 2 = 10 for u.
2
Suppose -2*v - 19 = -v. Let x = v + 27. Solve -x*b = -3*b - 20 for b.
4
Suppose 0 = -4*k + 2*y + 10 - 0, -18 = -5*k - 3*y. Solve -k*z - 3 - 3 = 0 for z.
-2
Suppose 2*r - 7*r = -30. Let q = 3 + r. Suppose v + 4 = q. Solve 2*h - h - v = 0 for h.
5
Let m(s) = -4*s + 1. Let x be m(-1). Suppose -5 - 5 = -x*d. Solve 6 + d = -2*t for t.
-4
Let b = 6 - 3. Suppose b*j + 2*j = 15. Solve -3*l = j + 9 for l.
-4
Suppose -3*k + 0 = -12. Let s be ((-45)/(-10))/((-2)/(-4)). Let u(w) = 2*w - 12. Let j be u(s). Solve k*i = -j - 14 for i.
-5
Suppose -2 = -a, 17 = -0*t + 3*t + 4*a. Solve 6 + 3 = -t*s for s.
-3
Let d(t) = -6*t - 1. Let n be d(-1). Solve 3*u + n = -7 for u.
-4
Let d be 11/33*(0 + 0). Suppose d = -2*a - a. Solve 9*x - 4*x + 5 = a for x.
-1
Let x = -26 + 33. Solve -x*m - 10 = -2*m for m.
-2
Let z be 4*(-3)/6*-1. Solve 2*n + z*n - 20 = 0 for n.
5
Let a be 4/(-10) + (-924)/(-110). Solve -5*v + 12 = -a for v.
4
Let p = -6 + 21. Solve 4*h - p = -h for h.
3
Let p = -109 - -119. Solve -4*j + 6*j = p for j.
5
Let t be (-40)/(-12) + (-1)/3. Let x be (-2)/t - 28/(-6). Solve -3*s - x = s for s.
-1
Let y = 11 + 9. Let p = -18 + y. Solve p + 3 = -h for h.
-5
Suppose 4 + 2 = t. Suppose q = -q + t. Solve 6 = q*a - 9 for a.
5
Suppose 0 = 4*b - 2*b - 4. Solve 0 = -0*n - b*n + 6 for n.
3
Let c be (0/1 - (-6 - -3)) + 0. Solve w = c*w - 2 for w.
1
Suppose 8 = -5*n - 2. Let p = n + 2. Suppose -4*o + r + 15 = p, -2*o + 5*r = 3*r. Solve k - o*k = 16 for k.
-4
Let u(l) = -l**2. Let o(r) = -r**3 + 6*r**2 - 4*r + 3. Let f = -1 - 0. Let y(n) = f*o(n) - 2*u(n). Let k be y(3). Solve 6*j - j = k for j.
0
Let z(a) = 4*a**2 + a - 1. Let b be z(-2). Suppose 3*r = -5*m + 2 - 1, -5*m + r + b = 0. Solve 10 = m*k - 0 for k.
5
Let t = 0 + 1. Suppose z = j - 5, -5*j + j + 23 = -5*z. Let s be (-5 - -5) + j*t. Solve -2*h - s + 0 = 0 for h.
-1
Suppose 7*p = -0 + 42. Solve 0 = 4*a - p - 2 for a.
2
Let l(a) = -a**3 - 2*a**2 + a. Let p be l(1). Let v = p + 7. Solve -3*u - v = -2*u for u.
-5
Suppose -82 = -4*u - 34. Suppose -g + 3*g - u = 0. Solve 0 = -g*v + v for v.
0
Suppose 5*z - 13 = 2. Let o be 0 - (-8 + 6/z). Let h(u) = -u**3 + 3*u**2. Let n be h(3). Solve n = w + o - 1 for w.
-5
Let w(v) = v**2 + 9*v - 2. Let g be w(-9). Let k be 44/12 + g/3. Solve 0 = k*p - p for p.
0
Let k be ((1 - 3) + 1)/1. Let f = -1 - k. Solve f*u + 3*u = 3 for u.
1
Suppose -6*g + 40 = -g. Let r = 11 - g. Solve 2*l + r