 Let x be r(7). Suppose 3*s = -5*o + 3, -5 = -x*s - 2*o - 2*o. Solve -h - s = 4 for h.
-5
Let f(u) be the first derivative of -u**2/2 + 6*u - 1. Let n be f(-6). Solve -2*r - r - n = 0 for r.
-4
Let t be 0/((10 + 2)/4). Solve o - 2*o = t for o.
0
Let k be (-10)/5 - 3 - -11. Solve 0 = -3*d - 0*d - k for d.
-2
Suppose -7*z = -5*z - 20. Solve -5*u - z = -35 for u.
5
Suppose 4*t + 12 = 2*h, 0 = -2*h - 0*h - 3*t + 26. Solve 0*c + 5*c = -h for c.
-2
Suppose 0 = 4*z - 56 + 32. Solve 2*d - z = -0*d for d.
3
Let y(h) = h**2 - 7*h + 6. Let j be y(6). Suppose j*f = -3*f. Let b(c) = c**3 - 12*c**2 - 14*c + 17. Let u be b(13). Solve u*p + 12 + f = 0 for p.
-3
Suppose 0*s - s - 2 = 2*o, -3*s + 18 = -2*o. Suppose -4 - 12 = s*q. Let u(w) = -w**2 - 5*w - 1. Let r be u(q). Solve -r*a - 4 = -a for a.
-2
Suppose 0 = 3*m + 2*m. Solve m = -l + 3 - 5 for l.
-2
Let m = 1 - -3. Suppose -3*x + 87 = 5*c, 5*c = 4*c - 4*x + 14. Suppose -m*g + g + 3*s = -c, 3*g = -3*s + 6. Solve 25 = t + g*t for t.
5
Let i(g) = g**3 + 7*g**2 + 6*g. Let r be i(-6). Solve r = -s - 0*s - 3 for s.
-3
Let f = -1 + 3. Suppose -f*d + 40 = 3*d. Solve 4*h = d - 0 for h.
2
Let w(i) = i + 8. Let v be w(-8). Suppose -5*z + y + 8 = 0, 2*y + v = -4*z - 2. Solve -z = -f + 2*f for f.
-1
Suppose 1 = f + 4*t - 1, -t - 1 = 0. Let u(z) = 2*z - 1. Let k be u(3). Suppose 0 = -3*c - 5*d + 14, -4*d - 11 = -k*c - 0*c. Solve -c*a - f = -a for a.
-3
Let m be ((-3)/(-6))/((-4)/(-32)). Solve -6*o - m = -7*o for o.
4
Let x(r) = r**2 + 13*r + 7. Let t be x(-11). Let k be (15/(-2))/(t/40). Solve 2*u - 7*u = -k for u.
4
Let a = 43 + -69. Let f be a/(-6) + 6/9. Suppose 3*h + 9 = -f*g + 6*g, h = 2*g - 13. Solve -3*v = -5*v + g for v.
3
Let n = 15 - 14. Solve 0 = x - 5 + n for x.
4
Let h = 24 - 24. Solve -5*x + 3*x - 10 = h for x.
-5
Let t = -14 + 16. Suppose 0*y + t*y = 8. Solve y*c = c + 3 for c.
1
Suppose 0 = -5*v + 9 + 11. Solve -v*g = g - 5 for g.
1
Let l be 0*(2 - (0 + 1)). Suppose 5*z + 2 = j, l*z - 2 = -3*z - j. Solve -6 = -2*p - z for p.
3
Let h = 10 + -6. Suppose -4*p = -3*i - 86, -4*i + 8 = p - h. Suppose 0 - p = -5*f. Solve 0 = f*l + 11 - 3 for l.
-2
Suppose 11 - 30 = -x. Let q = 24 - x. Solve -7 = -3*j + q for j.
4
Let z(u) = -u**2 - 6*u + 7. Let t be z(-8). Let g = -15 + 28. Let p = g + t. Solve 0*w = -p*w + 4 for w.
1
Suppose -u + 0 = 4. Let b = u + 7. Let g = 6 + b. Solve -2*j - g = -1 for j.
-4
Let z = -9 - -5. Let n be 1/(-1)*0/z. Solve n*h + 3 = h for h.
3
Let x(h) = -h**3 + 2*h**2 + 3*h. Let b be x(3). Let y(f) = -f + 8. Let v be 0 + 7 - 1/1. Let c be y(v). Solve b*l = -c*l - 10 for l.
-5
Let o = -124 - -126. Solve 0 = -o*k + 1 - 3 for k.
-1
Suppose 0*v = v - 2. Let n(h) = -2*h**2 + h**2 - h**3 + 2*h**2 + 5 - h + 2*h. Let s be n(0). Solve s*a = 17 - v for a.
3
Suppose 4*z + 4*o - 12 = 0, 4*z - o = 11 + 1. Suppose z*w + b = -2*w + 8, -4*b - 2 = 3*w. Solve -w*m + 6 = -4*m for m.
-3
Let a be (-66)/(-8) + 1/(-4). Let v(u) = -u**3 - 5*u**2 - 5*u - 2. Let n be v(-4). Let g = 4 - n. Solve 0*q = g*q - a for q.
4
Suppose 0 = -h - h + 8. Solve -1 = -h*t - 17 for t.
-4
Suppose -5*v + 93 = -32. Let j = -4 + 10. Solve -j*a + a = -v for a.
5
Suppose -4*v - 3*w = -34, 0*w - 1 = v - 4*w. Suppose -4*l + 6 = -2*r, 0*l - 2*l + 5*r = -v. Solve 0 = o - 2 + l for o.
1
Let k(j) = -2*j - 1. Let c be k(2). Let s = 5 + c. Solve s = -4*p - 3 + 7 for p.
1
Suppose -1 = 2*h - 9. Suppose o = -2*t - 3*o + 60, 4*t - 60 = h*o. Solve 0*x = -4*x - t for x.
-5
Let i(f) = 2*f**2 + 11 + 2*f**2 - 4*f - 4 + f**3. Let g be i(-5). Suppose 2*w - 5*u - 4 = 0, 0 = g*w + 2*w + u - 8. Solve -w = n + n for n.
-1
Let h(f) = f**2 - 4*f + 4. Let c be h(4). Suppose v - c = -0. Solve v*b = b + 6 for b.
2
Let r = -2 - -7. Let n = -18 - -13. Let a be ((-7)/5)/(1/n). Solve r*g - a - 3 = 0 for g.
2
Suppose 2*c + 17 - 1 = 0. Let d be -2 + (0 - (1 + c)). Solve 0 = -d*y - 5 for y.
-1
Let w be 8/(-10)*5/1. Let v be (-2)/2 - -2 - w. Solve -v*s + 7 - 2 = 0 for s.
1
Suppose 0 = 3*k + 2*j - 9, 0 = k - 2*k + 3*j + 3. Let u(x) = 7*x**2 - 2. Let i be u(-2). Suppose -4*z = h - 26, -z + i - 3 = k*h. Solve h*c = c - 10 for c.
-2
Let f(g) = 4*g + 16. Let p be f(-3). Solve 0 = p*k - 5*k - 2 for k.
-2
Suppose -5*i + 3*x + 10 = 0, -8 = -4*i - 2*x + 3*x. Solve 0*f - 2*f + i = 0 for f.
1
Suppose -3*j + 2*q + 14 = 3*q, -16 = 4*q. Let i(u) = u**2 - 6*u + 9. Let a be i(j). Solve -4*f - a = -f for f.
-3
Let f(o) = o**3 + 10*o**2 + 9*o. Let t be f(-9). Solve -4*y + 3*y = t for y.
0
Suppose 5*q - 23 = -8. Solve -q*o - 7 = -1 for o.
-2
Suppose 0 = -4*u + u + 75. Suppose x - 6*x + u = 0. Let c = x - 3. Solve -c*s - s = 6 for s.
-2
Let k = -21 - -24. Solve -k*h = -9 - 0 for h.
3
Let r be 26/6 + (-2)/(-3). Suppose -3*l - 18 = -r*t, -4*l + 34 = 3*t - 0*l. Solve -20 = -2*m + t*m for m.
-5
Let d = 1 + -3. Let f be 0*((-6)/(-4) + d). Solve k = -f*k for k.
0
Let v = 41 - 37. Solve 0*n = -v*n - 12 for n.
-3
Suppose -2*h + 13 - 4 = 5*f, -h + 5 = 3*f. Suppose -5 = -2*d - 1. Let k be (-2 + d)/(-1 + 0). Solve k = -4*n - f - 3 for n.
-1
Let v(z) = -z**3 + 4*z**2 + 5*z. Let s be v(5). Suppose 4*l - 2*c + s + 2 = 0, 5*l - 35 = -5*c. Solve a - l*a = 0 for a.
0
Suppose -2*w + 19 = 1. Let k(x) = -x**2 + 9*x + 5. Let b be k(w). Solve b + 0 = -5*v for v.
-1
Let k = -4 - -6. Let b = 10 + 3. Solve -b = 3*n + k for n.
-5
Let b = 9 - -11. Let u = -17 - -21. Solve -u*h - h = -b for h.
4
Let s be -2 + 7 - (-2 - -6). Solve 2*d - s = 9 for d.
5
Suppose 3*d = 4*d - 4. Solve -d*y = -7*y - 9 for y.
-3
Let l = -15 + 7. Let t(b) = b**2 + 7*b - 8. Let w be t(l). Suppose w = 3*m - 1 - 14. Solve -m*x = -0*x for x.
0
Suppose 0*u = -u + 3. Suppose u = y - 5. Solve -2 - y = -5*d for d.
2
Let k be (-13)/(-26) - (-1)/(-2). Suppose -2*c = -k*c. Solve c = 3*i - 4*i + 1 for i.
1
Suppose -2 - 7 = -3*w. Suppose 0*l - w*l + 27 = a, 4*l = 16. Solve 0*z - 5*z = -a for z.
3
Let y = -9 - -13. Suppose 0 = 3*o - 9, y*f - 22 = o - 9. Suppose -5*x + f + 6 = 0. Solve -l - x + 5 = 0 for l.
3
Suppose -4 = 5*a - 39. Let g = -5 + a. Solve -g*c + 2 = -0 for c.
1
Suppose 2*y = -g + 7, 10 = -y - 0*g + 4*g. Solve 3*z = 2*z - y for z.
-2
Let r(z) = -z**2 + 3*z + 3. Let j be r(7). Let b be (8/(-20))/((-1)/j). Let f be ((-4)/b)/((-1)/(-5)). Solve -f*y = -0 + 6 for y.
-3
Suppose -3*d - s + 4 = -1, -5*d = -5*s + 25. Solve -3*z + 0*z - 9 = d for z.
-3
Suppose -4*q = -5*k + 8, -3*q = 5*k - q + 4. Solve 2*o = -k*o for o.
0
Let n(q) = -q**2 - 4*q - 3. Let m be n(-3). Suppose -4*x + 5*r - 6 = 0, -4*x - 3*r - 1 = 21. Let f be 4/6*(-30)/x. Solve m = -v + f*v for v.
0
Let j = -120 + 136. Solve j*l = 17*l + 1 for l.
-1
Let h(t) = t + 6. Let g be h(6). Let b = g - 6. Suppose 3*m = 0, b + 0 = f + 5*m. Solve 0 = j - 2 + f for j.
-4
Let p = 6 - 3. Suppose z = 2*a - 2, 0 = -3*z - 2*z. Let w = a + 1. Solve -p = -m - w for m.
1
Let s be ((-57)/(-12) - 3)*4. Solve x - 2 = -s for x.
-5
Suppose 0 = -3*x + 4*x - 4. Suppose u - 4*y + 44 = 4*u, 12 = -u + x*y. Suppose -4*r = u - 24. Solve k = -k + r for k.
2
Let j(i) = i**3 - 7*i**2 + 5. Let o be j(7). Let f(y) = y**2 - 5*y + 3. Let u be f(o). Let z = 24 - 15. Solve z - u = 3*p for p.
2
Suppose -2*k + g + g - 2 = 0, k + 3*g - 11 = 0. Let p = 0 + k. Suppose p*y + 4*n + 17 - 3 = 0, 3*y - 2*n - 19 = 0. Solve y*i = i for i.
0
Suppose 2 = -g + 3*r, 5*g + 4*r - 16 = 6*r. Suppose g*z - x = 53, -2*x + 14 = 2*z - 0*x. Solve -3*u - 3 = -z for u.
3
Suppose 3*v - 6*v = 3*s - 18, 3*v - 5*s + 14 = 0. Suppose 8 - 8 = -4*t. Solve v*j + j = t for j.
0
Let y(t) = t**3 - 8*t**2 + 3*t - 5. Let d be y(8). Let w = d - 7. Suppose 4*k - x = 15, -3*x + w = k - 6*x. Solve -2*a = -k*a for a.
0
Suppose 0 = 2*m + 3*m. Solve 5*x + 4 - 9 = m for x.
1
Suppose b + 2*b = 0. Solve -3*k = -3 - b for k.
1
Suppose 5*k - k - 5*x + 12 = 0, 2*k - 4*x + 12 = 0. Solve k*m - m = 1 for m.
1
Suppose 2*v - 22 = 4*i, 5*v - 5*i - 45 = -0*v. Solve v = -4*m - 5 for m.
-3
Let y(z) be the third derivative of -z**4/24 - z**3/3 - 3*z**2. Let v be y(-4). Solve v = r + 3 for r.
-1
Let p be 1*(-1 + 0)*0/15. Solve p*d = -5*d for d.
0
Let o = 9 + -5. Solve 0 = q - o*q for q.
0
Let a be (2 - 14/6)*-3. Suppose r = -a, 4*f + 4*r = f - 10. Let t = 4 + f. Solve 4 + t = -2*y for y.
-3
Suppose 35*k - 54 = 32*k. Let n be 0 - (-6)/(-2 - -4). Suppose 11 = -n*t - 1, 24 = 4*a - t. Solve -a*q - k 