 = -0*u. Suppose -6 = -u*v - 0. Solve -c - v*c = 9 for c.
-3
Let x(c) = -c**2 - 7*c + 2. Let f be x(-7). Suppose -h + 9 = -2*d, 3*h - f*d - 12 = h. Solve -6 = h*i - i for i.
-3
Suppose 2*h - 14 = -6. Solve -3*a - 2 = -h*a for a.
2
Let z = 37 + -34. Solve -1 = -z*q - 7 for q.
-2
Let l be (3 + 0)*36/27. Solve 2*c + 2*c = -l for c.
-1
Suppose -5*c - 2*d - 5 = -7*d, 0 = 4*d - 4. Suppose c = -5*x + 26 - 6. Suppose b = 2, 2 = 2*i - b - 0. Solve x*m = i*m for m.
0
Let k = 38 - 27. Solve 1 - k = -5*r for r.
2
Let n = 6 + -4. Suppose 4*d - 14 = -0*f + n*f, -d - 10 = -5*f. Solve -4*v = -1 - f for v.
1
Let l be (16/(-6))/(4/(-6)). Suppose -l*h + 0*o - 3*o + 49 = 0, -5*o = -2*h + 5. Solve 5*i + 0*i + h = 0 for i.
-2
Let h = -122 - -124. Suppose 6 = 2*b + b. Solve h*u = b + 2 for u.
2
Let k(i) = i**3 - i**2 - 2*i + 3. Let s be k(2). Solve 2 = -2*l + s*l for l.
2
Let i be (1 - (-28)/12)*36/10. Solve 2*p + 2*p - i = 0 for p.
3
Let d(u) = -u**2 + 10*u - 6. Let x be d(9). Solve i - 5 = -x for i.
2
Let v(l) = -l**3 + 5*l**2 - l - 8. Let o be v(4). Solve o*q + 5 + 11 = 0 for q.
-4
Suppose -2*k = -6 - 8. Suppose 3 - 16 = -3*p + c, -3*p - 5*c + k = 0. Suppose 0*n + 16 = p*n - 4*q, 2*q - 1 = -n. Solve 0 = 5*b - n*b for b.
0
Suppose -4 = -2*j, -4*j = -u + 5*u - 20. Solve 5 + 4 = -u*i for i.
-3
Let j(n) be the second derivative of -n**5/20 + n**4/3 + 3*n**2/2 + 3*n. Let d be j(4). Let z = -11 + 19. Solve z*i + 5 = d*i for i.
-1
Suppose 7*m = -7*m + 28. Solve 1 = -m*r - 1 for r.
-1
Let w(b) = -b + 1. Let r(a) be the second derivative of a**4/6 + a**3/2 - a**2/2 + 2*a. Let n(o) = r(o) + 2*w(o). Let j be n(-2). Solve -18 = 5*l + j for l.
-5
Let o be 2/(-4)*-2 - 1. Solve -p - p - 10 = o for p.
-5
Suppose 4*j - 53 = 51. Suppose 0*o - 4*o + 5*n + 4 = 0, j = 3*o + 2*n. Let w(b) = -b**2 + 5*b + 6. Let a be w(o). Solve a*q + q = -1 for q.
-1
Let w be (-32)/(-24)*(-6)/(-4). Solve 0 = -w*s + 4*s - 2 for s.
1
Let l(k) = k - 4. Let s be (9/(-6) + 2)*6. Let g be l(s). Let j = -1 - g. Solve j = 3*t - 0*t for t.
0
Let l = 1 - 1. Suppose -4*h + 7 = 4*d - 33, l = -3*d + 3*h + 42. Suppose -4*r = -2*r - d. Solve -5*t - 4 - r = 0 for t.
-2
Suppose 0*p = p - 6*p. Solve 5*r + 0*r + 25 = p for r.
-5
Suppose 0 = 4*a - 5*y + 1 + 2, 5*y - 6 = 3*a. Solve a*u + 2*u = 25 for u.
5
Let i = 87 - 87. Solve i*n - 3*n = -3 for n.
1
Let h be (3 - 2) + (-2 - -2). Let z = 3 - h. Solve -5 + z = -y for y.
3
Let j(z) = 2*z**3 - z**2 - z - 2. Let k(y) = 8*y**3 - 5*y**2 - 5*y - 9. Let t(w) = -9*j(w) + 2*k(w). Let u be t(-1). Solve -u*m + 0*m - 2 = 0 for m.
-1
Let k(z) = z**3 - 4*z**2 + z + 5. Let w be k(4). Solve -w + 3 = 2*r for r.
-3
Let k be ((-14)/(-6))/((-6)/(-18)). Suppose 4*s - k = 1. Solve -s = h - 0*h for h.
-2
Let x(i) = i**3 + 10*i**2 - 12*i - 7. Let y be x(-11). Suppose -10 = -y*d - d. Solve d + 18 = -5*k for k.
-4
Let a(y) be the first derivative of y**2/2 + 14*y - 1. Let x be a(-9). Solve -8 - 7 = -x*g for g.
3
Let y(o) = -o**2 + 8*o + 3. Let z be y(8). Solve -z = -r + 2 for r.
5
Suppose -3*j - 2*l - 5 + 1 = 0, -3*j = 3*l + 9. Solve -4*p = j + 6 for p.
-2
Let d = 23 + -8. Suppose 5*l = -4*a + a + 37, l = 5*a - d. Suppose 0 = l*p - 2*c - 2 - 16, 5*c = -p + 9. Solve 2 + p = 3*k for k.
2
Suppose 4*b - 13 = -3*q, 7*q - 12*q = 25. Solve 2*n = b*n + 15 for n.
-3
Let w(k) = -3*k - 6. Let i be w(-6). Let d be (-8)/i*(-6)/4. Solve -6 + d = f for f.
-5
Let k(b) = 3*b**2 + 10*b + 1. Let s(z) = 8*z**2 + 29*z + 4. Let y(x) = 11*k(x) - 4*s(x). Let i be y(7). Let f be i/(3/6*1). Solve f*g - 2*g = -10 for g.
-5
Let q(o) = o**2 + 2*o + 1. Let l be q(-4). Let m = -7 + l. Solve m*s - 5 = -1 for s.
2
Let k be 52/((-16)/(-4)) - -1. Suppose 2*m - k + 3 = -p, 2*p - 2*m = -2. Let t(y) = -y**3 - 3*y**2 + 2*y - 5. Let s be t(-4). Solve -s*d + 3 + p = 0 for d.
2
Let v be 3/3 + -2 - -1. Let k = -4 - -10. Suppose -3 = -3*d + k. Solve 3 = d*f - v*f for f.
1
Suppose 0*h = 2*h - 6, 2*h = 4*i - 2. Suppose 2*p + 56 = 5*d, -3*d - i*p + 14 = -d. Solve -5*c - d = -3*c for c.
-5
Let l be (24/(-14))/(4/(-14)). Solve -c = -l*c - 10 for c.
-2
Let d(g) = 3*g - 5*g**2 - 3*g**2 - 11 + 0*g**3 + g**3 + 7. Let a be d(8). Solve 0 = 3*q + q + a for q.
-5
Suppose -3*l - 4*b = -29, -6*l = -10*l + 5*b - 13. Let x be (-2 + 2)/(-2) + 2. Solve x*j = l*j + 1 for j.
-1
Let c = 107 - 70. Suppose 4*j = -5 + c. Suppose 3*v = 3*z - 12, v - 13 = -4*z + 18. Solve -5*i - j - z = 0 for i.
-3
Suppose 3*n + 8 = 7*n. Let m(z) = -10*z**2 - 16*z - 5. Let j(u) = 2*u**2 + 3*u + 1. Let c(v) = n*m(v) + 11*j(v). Let f be c(-3). Solve -p - f = -5*p for p.
4
Suppose 2*s = -3*s + 90. Let g(i) = 27*i**2 - i - 1. Let z be g(-1). Let o = z - 21. Solve -o = -3*x - s for x.
-4
Let n(a) be the second derivative of 0 - 5/3*a**3 + a - 2*a**2 - 1/12*a**4. Let h be n(-9). Solve 3*f + h = 2*f for f.
-5
Suppose 0 = -4*k - 3*b + 108 - 45, 5*k = 5*b + 70. Solve 0 = -4*h - h + k for h.
3
Suppose 0 = -4*d - x + 17, 0*d - 4*x - 27 = -3*d. Let r = -3 + d. Let u be (22/8)/(r/8). Solve 0 = -3*p - u - 4 for p.
-5
Let h = 47 + -43. Solve h*c - 5 = 3 for c.
2
Let q(v) = -v**3 - 8*v**2 - 8*v - 3. Let a be q(-7). Suppose -2*n = 5*m - 15, 12 - 3 = 3*m - n. Solve 3 = a*z - m*z for z.
3
Let g = 60 + -4. Let m be 3/(-9) - g/(-6). Solve 5*o + m = -16 for o.
-5
Suppose -5*i = -2*i - 3, 2*g + 5*i = 29. Let k = -8 + g. Let r be (0 - -4)*1/2. Solve -u = r - k for u.
2
Let c(p) = -p**3 - 3*p**2 + 4*p + 2. Let o be c(-4). Solve -o*s + 1 + 1 = 0 for s.
1
Let u be (-28)/2*2/(-4). Suppose s - 2 + 1 = -r, s - 5*r = u. Solve 5*g - s = 3*g for g.
1
Let d(i) = i**3 + 6*i**2 + 3. Let x be d(-6). Suppose 2*v - t = 9, x*v + 2 - 3 = -t. Let m be (0 + 2 + -2)/(-4). Solve m*c - 2 = -v*c for c.
1
Suppose 31 = 4*w - 9. Solve -2 - w = -3*s for s.
4
Let c be 1*(-2 - (-4 + 0)). Solve 0 = -c*d + 6*d for d.
0
Suppose -4*c = 5*w - 2*c - 6, 8 = -w - 5*c. Suppose 2*r - 3 = 7. Solve -g + w = r for g.
-3
Let y = 0 + 3. Suppose -y = -a + 2. Let p = 147 - 143. Solve -a*g = -p*g + 2 for g.
-2
Let k be 2/(-4)*(0 - 0). Suppose 2*q - 3*s - 4 = -k, -8 = -4*q - 4*s. Solve -q*d = -0*d + 10 for d.
-5
Suppose -k - 42 + 45 = 0. Solve k = -0*h + h for h.
3
Let v(x) = x**2 + 7*x. Let u be v(-5). Let c be ((-3)/(-2))/((-5)/u). Solve -6 = f - c*f for f.
3
Suppose 0 = -l - 5 + 18. Suppose -l*i + 16*i = 0. Solve 4*d = 4 - i for d.
1
Let w(k) be the first derivative of -k**4/4 + 7*k**3/3 - 3*k**2 + 7*k - 1. Let h be w(6). Let n = 9 - h. Solve 2*x = 2 + n for x.
2
Suppose -1 = 4*s - 5*q - 2, -6 = -2*q. Suppose 0 + 4 = v. Suppose 0 = v*w - 0*w - 24. Solve -n = -s*n + w for n.
2
Let l(o) = o**3 - 7*o**2 + 7*o - 6. Let h be l(6). Suppose r - 12 = -h*r. Let u(y) = -y**2 + 6*y - 3. Let q be u(5). Solve 2*f = -q*f + r for f.
3
Suppose -5*j = g - 7, -5*g - j + 6 = -5*j. Suppose 1 = g*t - t. Solve 5*i = t + 4 for i.
1
Suppose 3*i + 6 = 5*i. Solve 4*k = 3*k + i for k.
3
Let r be (4/24)/((-2)/6)*-4. Solve -r = x - 1 for x.
-1
Suppose -2*g - 1 + 13 = 0. Suppose 2*n - 12 = -4*l, -5*n - l - 15 = -g*l. Let d = 0 - -3. Solve -d + n = -x for x.
3
Let c be (39/(-9) - -3)*(-3)/2. Solve -c*q = q for q.
0
Let h = -8 - -12. Solve d = -h*d - 15 for d.
-3
Let j(s) be the third derivative of s**4/24 + s**3/2 - 2*s**2. Let i be j(0). Suppose 0 = -0*t + i*t. Solve t = -0*b + 3*b - 12 for b.
4
Let x = 16 + -10. Suppose 3*g = 5*g - x. Solve -3*o = 12 + g for o.
-5
Suppose -2 + 10 = 2*v. Let l = -2 + v. Solve -n + l = -3 for n.
5
Let o = 8 - 4. Suppose -6*z + 30 = -2*z + 2*s, -z + 3 = 2*s. Let m = z - o. Solve -m = x - 0 for x.
-5
Let j be 2 - (-1 + 2*(-2)/(-4)). Solve j*p + 2 = p for p.
-2
Suppose 0 = 5*h - 4*p - 17, -4*h + 23 = 2*p - 1. Solve -5*g - h = -0*g for g.
-1
Let l be 8/(-12) - 11/(-3). Solve -l*m + m = -8 for m.
4
Let n be 18/(-27) + 2/3. Solve n = -4*s + 13 + 7 for s.
5
Let n = 7 - 5. Let p be ((-9)/6 + 2)*n. Suppose -5*d - 3*b + 12 = 0, -4*d = -b + 5 - p. Solve d = 3*z - 11 - 4 for z.
5
Suppose 14 + 31 = -5*a + 4*i, 0 = -2*i. Let n be (2/(-6))/(a/54). Solve 1 = 3*q - n for q.
1
Suppose -j + 3*g - 21 = 0, -2*j + 33 = -4*j + 3*g. Let t be 0 + (j/2)/(-2). Let z be (1/(-2))/(1/(-4)). Solve 5*i = t + z for i.
1
Let i be 1 + 3/1 + 2. Solve -8 = -2*f + i*f for f.
-2
Let s = 14 + -12. Solve -b = -0 + s for b.
-2
Let t be (4 - (-5 + 6)) + (-3)/3. Solve 8 = t*a - 2 for a.