h - 12 = -h - 5*x, h - 4 = n*x. Solve -h*c - a = -0 for c.
-2
Suppose -5*x - 15 = q, -2*q - 4*x + 2 = -2*x. Solve q*h = 3 + 17 for h.
4
Let r(b) = b**2 - 6*b + 5. Let c be r(6). Solve 5*d - c = -0 for d.
1
Suppose 4*g - m = 17, 2*m = 1 - 11. Solve -u - 5 + g = 0 for u.
-2
Suppose -2*w - 11 = y, 0*w - 2*y - 7 = -w. Let g(p) = -p + 1. Let f be g(w). Suppose f*a = -0*a, 3*a = -4*o + 36. Solve q = -2*q + o for q.
3
Suppose 0 = z - 4*z + 36. Solve -4 = 4*a + z for a.
-4
Suppose -2*y + 0*y - 12 = 0. Suppose 0 = 2*p + 3 + 1. Let x be (-1 + p/y)*-9. Solve -x = 3*o + 9 for o.
-5
Suppose 4*j = -a - 2*a + 9, -4*a = 4. Let t(m) = m**3 + 2*m - 3. Let w be t(2). Solve w = -j*x - 0 for x.
-3
Let g be 2/(-4) - (-29)/2. Let q = -4 + g. Suppose o + q = -3*a, -7 = -3*o + a + 3. Solve 0 = -o*d - 6 + 2 for d.
-2
Let x be ((-12)/(-21))/(12/42). Solve x = j - 0 for j.
2
Let u(d) be the second derivative of -d**4/12 + d**3/6 + d. Let n be u(1). Suppose 0 = 2*y + 4*h, -2*y + h + 9 + 1 = 0. Solve y = 4*p - n for p.
1
Suppose -o = -p - 0*p - 13, -2*p + 58 = 4*o. Let y be o/5 - (-9)/45. Solve -a + 0*a - y = 0 for a.
-3
Let f = 66 - 64. Suppose -4*o + 28 = 4. Suppose -o + 5 = -a. Solve -f*r - 1 = a for r.
-1
Let m be 3/(1 - 2 - 0). Let q = m + 7. Solve q*i = -8 + 24 for i.
4
Suppose -2 = -3*z + 1, 4*z = 5*u - 51. Solve -3*m + 1 = -u for m.
4
Suppose -98 = -5*g - 3. Suppose 0 = -g*y + 16*y + 6. Solve y*t + 15 = -3*t for t.
-3
Suppose 32 = 5*r + 2*m, -4 = -3*m - 1. Let i be (-2)/r + 10/3. Solve 6 = i*w - 0 for w.
2
Let s = 14 + -10. Let m be 2/4*(-1 + 7). Solve m*r - r = -s for r.
-2
Suppose 4*d - 6 = 2*d. Suppose -5*s + 7 = -d. Solve 3*f - s = 5*f for f.
-1
Let s = 0 - 3. Let d = 3 + s. Solve -c = -d*c + 2 for c.
-2
Let h be 6/(-9)*(-3)/(-2). Let w = h + 15. Suppose -2 - 2 = -l. Solve -5*y = w - l for y.
-2
Suppose -12 = -3*j - j. Suppose -t - 3 = 0, -w + t = 2*w - 183. Suppose 0*k + j*k = w. Solve -5*i = -i - k for i.
5
Suppose 0 = -m + z + 37, 0*z - 111 = -3*m - 5*z. Let r = 69 - m. Suppose -4*a + 0 = -r. Solve x + a = -x for x.
-4
Suppose x - 4*x + 6 = 0. Suppose -4*h = -x - 18. Solve -p + 2 = h for p.
-3
Let b(o) = o**2 - 7. Let d be b(-3). Solve 3*i - 4*i = -d for i.
2
Let n be (-1)/(-2) - (-15)/2. Let s(w) = -5*w + 4. Let k(g) = 2*g - 1. Let a(o) = n*k(o) + 3*s(o). Let h be a(-4). Solve -4*z + 16 = -h*z for z.
4
Let o = -8 - -17. Suppose 0 = 2*a - 14 - 26. Let q = -5 - -9. Solve 0 = q*w - o*w + a for w.
4
Suppose -15 = -4*l - l. Suppose -g + 5*p = 24, 6 = 4*g - l*p + 17. Solve 5*v = g + 19 for v.
4
Let h be (-8)/(-4) - (-4)/(-2). Solve h = -3*k + 2 + 13 for k.
5
Suppose 5*x + 32 = -3*i, 4*i + 5 = -2*x - 19. Let t be (x/10)/((-2)/(-70)). Let f be t/(-3) - (-4)/(-6). Solve p - 25 = -f*p for p.
5
Let o(a) = -2*a**3 - 3*a**2 - 2*a. Let y be o(-2). Let i(g) = -g**2 + 8*g + 3. Let s be i(y). Let h(r) = -2*r - 5. Let k be h(-4). Solve k = -s*d - 0*d for d.
-1
Let b be (-31)/(-11) + (-4)/(-22). Suppose 3*g = -2*y - b, 0 = -y + 5*y - g - 1. Solve -4*w - 10 + 2 = y for w.
-2
Suppose p = 42 - 38. Solve -d + p = -0 for d.
4
Let f = 74 + -54. Solve z - f = 5*z for z.
-5
Let x be (2 + 0)/((-2)/(-15)). Let r = 32 + -27. Solve 0 = -5*n + x + r for n.
4
Let z(h) = 4*h**3 - h**2 + 2*h - 1. Let r be z(1). Suppose 15 = w + 5*j, 8*w = 3*w - j + 3. Let c = -12 + 21. Solve -r*i + 11 + c = w for i.
5
Let l be (8/(-1))/((-12)/18). Let d = 12 - l. Solve 3*q - 14 + 2 = d for q.
4
Let t = 17 + -12. Let w = t - 4. Suppose w = 2*z + d, -z - d + 5 = 3*z. Solve 2 = z*p - 2 for p.
2
Suppose 5*i - 12 = -4*n, 4*i = -2*n - 1 + 7. Solve i = -2*q + 3*q + 1 for q.
-1
Let w(o) = -o**2 + 6*o + 27. Let l be w(9). Solve l = -h - 2*h - 3 for h.
-1
Let u(q) = 12*q + 1. Let h be u(1). Let a be 30/9*2/12*9. Suppose 0 = 4*w + a - h. Solve 0 = -5*n + w*n for n.
0
Let p(z) = z + 11. Let s be p(-10). Solve 5*x = s - 26 for x.
-5
Let r(u) = -u**3 + 11*u**2 + 11*u + 12. Let h be r(12). Suppose 9*p - 5*p = h. Solve -v + 6*v = p for v.
0
Suppose i - 5*i - 5*k = 9, 5*i + 2*k - 10 = 0. Solve 7*o - 9 = i*o for o.
3
Let f(l) = -l**2 + 4*l + 3. Let s be f(4). Suppose 0 = -s*a - 1 - 2. Let n be (a - 18/(-1)) + -2. Solve -4*i - 5 = n for i.
-5
Let s(k) = -k**3 - 6*k**2 - 2*k - 8. Let n be s(-6). Suppose n*l - 2*w + 8 = 0, -4*l - 6 = -5*w + 2. Let q be 4*l/(-4) + 1. Solve q*p + p = 0 for p.
0
Suppose -s + 2*d + 1 = 0, -4*d + 3 = 2*s - 7. Solve 11 = s*f - 4 for f.
5
Let p = -97 - -100. Solve 5 = p*c + 14 for c.
-3
Let s(d) = -d**2 + 5*d - 1. Let o(r) = -r**2 + 4*r - 1. Let g(i) = -3*o(i) + 2*s(i). Let l be g(2). Solve -2 = m + l for m.
-3
Let o be (3 - 5) + 2 + 2. Let t = 2 + 0. Solve -20 = -t*u - o*u for u.
5
Let w = 53 - 45. Solve w = 4*n - 0*n for n.
2
Let u = 7 + -6. Suppose 3*h + 4*s - 8 = 0, -4*s + u = -7. Suppose -4*g - g = h. Solve g = -2*t - t + 15 for t.
5
Suppose o = -4*l + 7, 0 = -2*o + 2*l - l - 13. Let c = -3 - o. Let q = 1 + c. Solve 0 - q = 3*w for w.
-1
Let m(b) = -5*b**3 + 3*b**2 - 7*b - 4. Let d(h) = -h**3 - h - 1. Let x(j) = -6*d(j) + m(j). Let r be x(-3). Solve 13 = -r*n - 7 for n.
-4
Let s(a) = -a**3 - 9*a**2 + 10*a + 9. Let u be s(-10). Solve -2*r - r = u for r.
-3
Let j = 30 - 28. Solve -4*q + 2 = -j for q.
1
Let s(c) = -3*c + 10. Let r(i) = 1. Let k(q) = r(q) + s(q). Let o(z) = -10*z + 33. Let m(d) = 7*k(d) - 2*o(d). Let h be m(5). Solve h*j = 2*j + 12 for j.
3
Let v(c) = -c**3 - 8*c**2 + 9*c + 2. Let o(t) = -t**3 - 6*t**2 + 3*t + 9. Let m be o(-6). Let f be v(m). Solve f*p - 3 + 11 = 0 for p.
-4
Let i = 30 + -22. Solve 0 = v + 3*v + i for v.
-2
Let n = 45 + -42. Solve -g + n = -2 for g.
5
Let z(g) = 9*g**3 - 1. Let s be z(1). Suppose 5*q - s = -23. Let p = q - -4. Solve 5*x - p = 24 for x.
5
Let g(z) = -z**3 - 2*z**3 + 2*z**3 - 2*z**2 + 0*z**3. Let o be g(-2). Solve o = 2*a - 3*a + 5 for a.
5
Let a(q) = -3*q + 9. Let i be a(5). Let k = -3 - i. Solve f - 4 = -k*f for f.
1
Let i(d) = d**3 - 6*d**2. Suppose -84 = -5*x + 5*z - z, -2*z - 34 = -2*x. Let c = x + -10. Let w be i(c). Solve w*o = -o - 1 for o.
-1
Let b be (-160)/(-6) - 1/(-3). Suppose -3*s + 4*l - 14 = 0, l = -s - 4*l + b. Suppose -3*h + 8 = 5*p, p + 5*h + 16 + 0 = 0. Solve 2*a - s = p for a.
3
Let k = 16 - 12. Suppose k*z = 13 + 7. Suppose 6 = 5*m - 4. Solve -m*c + z = -1 for c.
3
Let a be (-2)/(-2) + (-15)/(-3). Let z = 6 - a. Solve z = -i + 1 for i.
1
Let b = -3 - -5. Suppose 14 = -b*v + 4. Let l be (v/2)/((-4)/24). Solve 9*u - l = 4*u for u.
3
Suppose -17*z = -23*z + 24. Solve 3*q - 4 = z*q for q.
-4
Suppose 2*y + 5*h + 25 = 0, 4*y - 2*h + h - 5 = 0. Solve 0 = -3*m - 15 - y for m.
-5
Let k = 7 + -3. Let s(d) = 14*d**2 - 3*d - 1. Let b be s(-2). Suppose -5*t + b = -69. Solve -k*y - 10 = -t for y.
4
Suppose -3*t + 7*t = -5*j + 33, 3*t = 5*j - 54. Solve 0*l = 3*l - j for l.
3
Let a be (-129)/(-9) - (-2)/3. Let s(t) = t**2 + 11*t + 13. Suppose 5*q + 51 = 1. Let f be s(q). Solve a + 0 = -f*r for r.
-5
Suppose -g - 3*g = 8. Let q be (g/(-2))/((-5)/(-60)). Solve -2*y + q = y for y.
4
Let a be -2*1*(0 - 1). Let o(n) = n + 16. Let z be o(-11). Solve a*d + 15 = z*d for d.
5
Let o(u) = 3*u**3 + 1 - 5*u**3 + 0*u**3. Suppose -2 + 6 = -4*w. Let f be o(w). Solve t - f*t = 10 for t.
-5
Suppose -3*s + 2*o + 5 + 2 = 0, 5*s - 3*o = 12. Let b = -4 - -8. Solve -s*l = -l + b for l.
-2
Let d be (-2)/(2/((4 - 2) + -7)). Solve 3*w - 6 = d*w for w.
-3
Let l(v) = v**2 + v + 1. Let k be l(-4). Solve -k = -3*q - 1 for q.
4
Let j = 4 + 1. Suppose -4*p = 5*h - 8, -3*h - 6 = h - 3*p. Let d be 3 + -2 + 2/(-2). Solve -j*u + h*u - 15 = d for u.
-3
Let j(m) = -7*m - 1. Let q be j(-3). Suppose x - 4*r = -14, 8*x = 3*x + 2*r + q. Let y = x - 3. Solve -2 = y*s + 7 for s.
-3
Let y(s) = -8*s - 4. Let f be y(-4). Suppose -1 = -4*i - 4*j + 31, 4*i = -3*j + f. Solve i*p - 5 = -1 for p.
1
Suppose 3*d = 7*d. Suppose 2*g - 4 - 2 = d. Solve g*r = 2*r + 2 for r.
2
Suppose -2*k + 37 = 4*x + 5, -k - 2 = -x. Solve -f = f + x for f.
-3
Let u = -41 - -57. Solve -6 = 2*h - u for h.
5
Let p(o) = o + 3. Let h be p(0). Let v(y) = 2*y**2 - 10*y + 6. Let r be v(7). Let n = r - 21. Solve h*w + n = -2 for w.
-5
Let o = -64 + 22. Let p = -26 - o. Solve -p = -3*c - 7 for c.
3
Let p = 23 + -8. Solve h = -4*h + p for h.
3
Suppose 0*a - 12 = -2*a. Solve a - 3 = k for k.
3
Let z(h) = -h. Let g be z(-2). L