 4 = -h - 1. Solve f - 5 = -5*g for g.
1
Let v(g) = -2*g - 8. Let y be v(-6). Let j(i) = -i**3 + 6*i**2 - 7*i + 4. Let n be j(y). Solve w - n = -3*w for w.
2
Let b be (-1)/(-1*(-4)/(-16)). Solve f - b = -0 for f.
4
Suppose -22*v + 23*v - 4 = 0. Let w(u) = u**3 - 3*u**2 - 3*u - 4. Let r be w(v). Solve 3*q + q = r for q.
0
Let v(i) = -i**3 - 8*i**2 - 11*i - 10. Let k be v(-7). Let p = -14 + k. Solve 4*h - 16 = p for h.
5
Suppose 0*j + 2*j = -10. Let v(r) = -r**2 - 6*r - 5. Let y be v(j). Solve y*h - 4*h = 12 for h.
-3
Let i = -76 + 80. Solve i*z + z - 15 = 0 for z.
3
Let w(l) = l**3 + 6*l**2. Let u be w(-6). Solve u*i = -2*i - 4 for i.
-2
Suppose -4*m - m = 3*z - 32, 0 = -3*m + 4*z - 4. Solve 10 = -2*h + m for h.
-3
Suppose 2*r = 3*r + 3. Let i = 6 + r. Suppose 2*h - 2 = 3*h + 5*s, -h - 2*s + 1 = 0. Solve -h*y + i + 3 = 0 for y.
2
Suppose 2 = -5*c - g, 0*g - 2*g - 4 = -3*c. Let m be 2/((-5)/2 - -3). Solve m + c = -4*l for l.
-1
Let s(x) = x**3 + 6*x**2 + 6*x + 5. Let y be s(-5). Let w = y + -2. Let b be (w - -5)*1 - 0. Solve -o = -b*o for o.
0
Let q(z) = z**3 - z**2 - z. Let o be q(2). Solve -o*r = 3*r + 5 for r.
-1
Suppose 3*q + 25 = 8*q. Solve 0 = -0*b - q*b + 5 for b.
1
Let r = 6 - 4. Suppose r*d + 3*j - 14 = 2, 0 = -3*d + 4*j - 10. Suppose 5*t = -0*a - 5*a + 25, -5*a = -d*t - 46. Solve -a = x + x for x.
-4
Let g be (-1 + 1)*(-5)/(-15). Suppose g = -4*z + 3*z. Solve z*r = -2*r + 4 for r.
2
Let a(i) be the second derivative of i**4/12 + 2*i**3/3 + 3*i**2/2 + 2*i. Let n be a(-3). Suppose -5*x - 5*s = 5, n = -4*s - 25 + 9. Solve x*f = f - 8 for f.
-4
Suppose -2*m + 0*m = 0. Let i be 1*(3 - (m + 2)). Let t be (6/9)/(i/6). Solve -15 = t*d - d for d.
-5
Let g(u) = -u**3 + 2*u - 1. Let d be g(1). Let x = 0 - -6. Solve d = -5*t + 26 - x for t.
4
Let j(h) = 5*h**3 + h**2 - 2*h. Let b be j(1). Suppose -b*y = -y. Solve y*u + 2*u = -2 for u.
-1
Let i = 0 + 3. Solve x = -7 + i for x.
-4
Let c be 3/(-3) - -5 - 4. Let t be c/2 + 1 + 1. Solve t*p + 16 = 6*p for p.
4
Suppose 4*m + 3*y - 6*y - 27 = 0, -4*m + 29 = -5*y. Let t be 10/(-35) + (-32)/(-14). Solve -t*x = -5*x - m for x.
-2
Let v be -1 + (-4 - -3)*6. Let h = 7 + v. Solve h*g + 3*g = 0 for g.
0
Let p = 83 + -68. Solve 5 = 5*u - p for u.
4
Suppose 0 = 5*x - 0*x. Suppose 0 = d - x*d - 6. Suppose 0 = -c - 5, -4*u - c + d = -5. Solve q - 5 = -u*q for q.
1
Let v be (5/(-3))/((-2)/6). Let t = v - -2. Let g = -3 + t. Solve 0 = p - g*p + 3 for p.
1
Let g be (0/(-4))/(3/(-3)). Solve -2*q + q - 1 = g for q.
-1
Suppose 4 = 3*q + w - 14, -5*q + w = -30. Suppose 0 = -5*o + q*o. Suppose -4*c - 7 + 27 = o. Solve 3*h - 4 = c*h for h.
-2
Let j be (-2 + 2)/(-1 + 0). Solve -g - 1 - 1 = j for g.
-2
Let o = -62 + 64. Solve -o*i - 3 = -9 for i.
3
Let o = 160 + -153. Solve r = o*r + 30 for r.
-5
Suppose 3*n + 1 - 9 = 2*o, 0 = -n - 2*o. Suppose -a = -n*a. Solve -2*z - 2*z = a for z.
0
Let q be (1 - (-6)/(-9))*-3. Let b be (q - -2) + 2 + -3. Suppose b = 5*h - 3*h - 16. Solve t - h = 5*t for t.
-2
Let b = -10 + 13. Suppose 0 = -2*t + 4*t. Suppose 0 = -b*u - t*u. Solve u = -5*j + 3*j + 6 for j.
3
Suppose 4*j = 3*c - 16, j + 7 - 3 = -c. Solve c = -5*m + 7*m + 4 for m.
-2
Let t be (-10 - -1)*(2 + -3). Let r(z) = -z**3 + 8*z**2 + 8*z + 11. Let a be r(t). Solve 2 - 10 = -a*g for g.
4
Suppose -4*l = -n - 14, -4*n - l - l = -34. Let r = n - 8. Let h be (r*3)/(2/(-3)). Solve -6 = -5*v + h for v.
3
Suppose -41 = -4*d - 5*i, -d = -5*d - 4*i + 36. Suppose 0 = s - 2*s + d. Solve -k + s = 5 for k.
-1
Let f(m) = m**3 + 12*m**2 + 18*m - 19. Let u be f(-10). Solve k + u = -3 for k.
-4
Let w(c) = 4*c + 1. Let z be w(1). Solve z*o + 5 + 0 = 0 for o.
-1
Suppose -3*w = 9, 2*w = -3*f - w. Let p(y) = -f + y + 0*y**2 + 5 + y**2. Let g be p(0). Solve 4*l + 4 = g*l for l.
-2
Let y(w) = w**2 + 11*w + 10. Let h be y(-10). Suppose 3*r + 3*n - 33 = h, -3*n = 8*r - 3*r - 57. Solve 5*t = -r + 2 for t.
-2
Suppose -2 = 3*d - 5*i, -24 = -2*d + 3*i - 6*i. Suppose k + 45 = 4*r + 14, -2*r - 4*k = -20. Let t = -3 - -5. Solve -t*l + d*l = -r for l.
-2
Let k = -30 - -32. Solve 6*g = k*g for g.
0
Let x = 5 + -2. Suppose 0 = -x*p + 4*u + 44, 2*p + 6*u - 4*u - 20 = 0. Solve p = 7*r - 3*r for r.
3
Let w(i) = -6*i**3 + 2*i**2 + 2*i + 1. Let h be w(-1). Let n = 0 - 1. Let k = 6 + n. Solve -k*r - h = -2 for r.
-1
Suppose 3*d = 6*d - 30. Let i = d + -5. Solve -1 = -4*c + i*c for c.
-1
Let g = 5 - 5. Solve f = -g*f + 1 for f.
1
Let f(p) = p**3 + p**2 - 2*p + 1. Let n be f(2). Suppose -2*w - k + 3 = 0, -2*k + k - 11 = -5*w. Solve -d - w*d = -n for d.
3
Suppose -4*p + 3*p = 0. Suppose c + c = p. Solve 3*v + c = -3 for v.
-1
Let g = 39 - 27. Let k = -18 - -23. Suppose 4*m + g = k*m. Solve 0*z - 3*z + m = 0 for z.
4
Let k be (6 - -2)/2 + 1. Suppose w = k - 3. Solve -3*m - w*m = 5 for m.
-1
Suppose 3*t - 11 = 2*g, 5*g + 19 = 5*t + 4. Suppose -2*w - 14 = -m, -g*m - 3*w = -1 + 8. Solve -8 = -3*y + m for y.
4
Suppose -2*f - 23 = -5*j, -3*j - 4*f + 14 + 5 = 0. Suppose p = -2*p + g + 7, -2*g - 2 = 0. Solve -p = j*o - 12 for o.
2
Let a = 6 + -12. Let k(w) = w**3 + 5*w**2 - 8*w - 7. Let o be k(a). Solve o*s + 23 - 3 = 0 for s.
-4
Suppose 4*q + 19 = 5*q + 2*l, 1 = -l. Let c = q + -19. Solve -c*n = -n + 3 for n.
-3
Let y(q) be the first derivative of q**4/4 + 2*q**3 - 4*q**2 + 8*q - 2. Let c be y(-7). Suppose n = -2*n + c. Solve 3*v + n = 11 for v.
2
Let u be (6/8)/((-4)/32). Let s be 2*u/(-3) - -1. Let g = -19 - -27. Solve -g*q = -3*q + s for q.
-1
Suppose 2*g + 4*x = 8, -5*x + 4 = g - 0. Solve 32 = g*z + 12 for z.
5
Suppose -3 = -3*k + 3. Solve 6 = c + k*c for c.
2
Suppose -4*d + 36 + 28 = 0. Suppose -4*k - d = -x, -4*k = -5*x - 6*k - 8. Solve -4*f + x*f + 4 = 0 for f.
1
Suppose 3 = -m - 2*m. Let z(f) = f**2 - 13*f + 14. Let j be z(12). Let l = m + j. Solve 19 = 4*r - l for r.
5
Suppose g = -g + q + 21, -3*g - 3*q + 9 = 0. Solve -y + g = y for y.
4
Suppose -2*y - 3*y = -3*b - 45, 2*y + 5*b - 49 = 0. Let k = 20 - y. Solve q = 3*q + k for q.
-4
Let x = 11 - 1. Solve 0 = 2*j + x for j.
-5
Let n = -121 + 129. Solve -3*y + n*y = -25 for y.
-5
Let u = -2 + 1. Let l be (-17)/(-2) + u/(-2). Suppose 5*d = 3*o - 14, -d = -2*o + 2*d + l. Solve -2*t = o*t for t.
0
Suppose 5*j + 8 + 2 = 0. Let o be j/(-4) + 25/10. Solve -o*k = -7*k + 4 for k.
1
Let v be ((-8)/(-6))/((-4)/(-3)). Solve 4 = -k + v for k.
-3
Let h(o) be the second derivative of o**6/360 - o**5/30 + o**4/8 + o**3/3 + o. Let k(l) be the second derivative of h(l). Let w be k(4). Solve -2*n = w*n for n.
0
Let z be (-1)/(-3) - 4/(-6). Let b(r) = 2*r**2 + 2*r. Let k be b(-3). Let l = k - 6. Solve -5*m + l*m = -z for m.
-1
Suppose 3*i + 15 - 21 = 0. Solve -5*w - i = -6*w for w.
2
Let z(l) = -l**3 + 2*l**2 + 3*l + 3. Let i be z(3). Suppose -i*f = -6*f. Solve f*g = -2*g + 2 for g.
1
Suppose 7*k = 3*k + 8. Solve -1 - k = -i for i.
3
Let s be 0/(15/6 - (-2)/(-4)). Suppose y = -b - 2*y, -2*b + 2*y + 8 = 0. Solve s = -b*g - g for g.
0
Let v = -51 - -54. Solve v*t - 2*t + 4 = 0 for t.
-4
Let j be (-1)/3 - (-1)/3. Suppose 4*h + 3 = 19. Suppose 0 = 4*d + r - 29, 0*d - h*r = d + 4. Solve 5*i - i + d = j for i.
-2
Suppose 5*y - 5 = 5. Let i be (-1)/(1/y) + 14. Suppose 0 = v + 3*q - i, 2*v - q = v. Solve v*a - 1 = 2 for a.
1
Suppose -4*d - 4*x - 4 + 40 = 0, 2*x + 12 = d. Solve u - d = -u for u.
5
Let u = 4 + -7. Let b = u - -3. Solve b = -4*x + 12 for x.
3
Suppose 2*i - 3*w = -2*w - 4, 2*i = 5*w - 20. Solve i = -f - 3 for f.
-3
Let f(j) be the second derivative of -j**5/20 - j**4/12 - j**3/6 - 2*j**2 - 9*j. Let l be f(-2). Solve -2*n + 0 - l = 0 for n.
-1
Let b(o) = 2*o**2 - 8*o - 13. Let z be b(7). Solve -5*m - z + 9 = 0 for m.
-4
Let n(y) = -y**2 - y. Let f be n(-1). Suppose 3*v + f*v = -9. Let o = -3 - v. Solve -12 = 3*i - o*i for i.
-4
Suppose 0 = 4*b + 5 - 17. Let v(q) = -q**b + q + 2*q**2 + 2 + 5*q - 3*q. Let y be v(3). Solve 3 = -c - y for c.
-5
Suppose 4*v - 16 = b - 5*b, 0 = -5*b - 3*v + 18. Let i = b - 1. Let o be (i + -2*1)/2. Solve 2*y - 7*y + 15 = o for y.
3
Let x(d) = -d. Let u be x(-3). Suppose 4*t + u*l = 24, 0 = -4*t + 2*l + 4 - 0. Let q(z) = z**2 - 7*z - 8. Let a be q(8). Solve a = -t*n - 5 - 1 for n.
-2
Let v = -3 + -4. Let r be (7 - 0)*(v - -8). Solve 3 = -2*h - r for h.
-5
Let v = -6 - -10. Suppose v*r - 13 = -1. Suppose -3*p + r 