
-3
Let k = -7 - -13. Let j be ((-8)/6)/(4/(-6)). Let d(b) = 4*b**3 + 2*b**2 - 1. Let w be d(1). Solve -j*m + w*m = k for m.
2
Let d be (-2)/(-10) + (-432)/(-90). Solve d*b = 4*b + 3 for b.
3
Suppose 3*c = 4*c + 3. Let x be (c - (-6 + 3))*-1. Solve x = -9*f + 4*f for f.
0
Suppose 0 = 3*r - 0 - 0. Solve r*h + 6 = -3*h for h.
-2
Let x be (4/16 + -1)*-4. Solve 3 = -0*h - x*h for h.
-1
Let q(m) be the first derivative of m**2/2 - 8*m - 1. Let w be q(8). Solve -k + w = -3 for k.
3
Let u be 18 - 2 - (-1 + 2). Suppose -z = -2*x + 7*x - 33, -u = -4*x + 3*z. Let v = 8 - x. Solve -d + 3 = -v for d.
5
Let f = -14 - -17. Solve -h = -f*h for h.
0
Let a(b) = 2*b - 11. Suppose 5*j = 2*f + 48, -2*j = -j + 2*f. Let c be a(j). Solve 2*w - c = -13 for w.
-4
Suppose -5*k - 3 = -4*j, 0 = -2*j - 4*k + 6 + 2. Solve 3*w - j*w + 3 = 0 for w.
-3
Suppose -q - r - 13 = -4*r, 2 = -4*q + 2*r. Suppose 0 = -3*b + q + 4. Suppose 0*k - 12 = 4*k, 5*t = b*k + 16. Solve 2*f = t - 12 for f.
-5
Suppose -12 = a - 4*z, -5*z + 10 + 26 = 4*a. Solve a*r - r - 6 = 0 for r.
2
Let m(g) = -g. Let r be m(-5). Suppose 5*y + 3*l = -r, l - 2*l = -y + 7. Suppose -3*n = 2*b + 2*b - 23, 5*n = b. Solve -3*s - y*s - b = 0 for s.
-1
Let f(h) = -h**3 + 10*h**2 + 14*h - 8. Suppose 3*n + 2*n + 14 = -t, 3*t - 3*n - 48 = 0. Let y be f(t). Suppose 2*v = -3*v + y. Solve 0 = -0*w + w - v for w.
5
Let n be 0*(4 + 51/(-12)). Solve -4*i - 7 - 1 = n for i.
-2
Suppose 0 = j - 3*l, 2*l = 2*j - 0*l - 8. Solve 3*k - j*k + 9 = 0 for k.
3
Let b be (-16)/(-6)*3*-1. Let p = -8 - b. Solve p - 5 = -a for a.
5
Let s = 18 - 14. Suppose -4*n + u = s*u + 3, -2*u - 10 = 0. Solve -n*w = -w for w.
0
Suppose 3*y = 7 - 1. Let w be (-2 - -1)/(y/(-10)). Let b be (-3)/9 + 7/3. Solve 0 = b*p - w*p for p.
0
Let o be 7/5 - (36/(-10) - -4). Solve -2 = -3*y + o for y.
1
Suppose v - 2*a + 5 = -4*a, 20 = 4*v - 2*a. Let c be 13/v + 8/(-24). Solve n + c = 2*n for n.
4
Let k = 0 - 0. Suppose -d + 10 = -k*d. Solve 0 = 3*o + 2*o - d for o.
2
Suppose -1 = -v + 3. Let a be 2/(-4) + 38/v. Solve 0 = -y - 2*y + a for y.
3
Let t = -6 + 6. Suppose t = -g + 3*g - 4. Solve b = -g*b - 6 for b.
-2
Suppose 12*s = 5*s. Solve -c + 4*c = s for c.
0
Suppose -26 = -4*s - 6. Solve 2 = s*t + 17 for t.
-3
Let w be 4 + (0 - -1)/1. Suppose t + 13 = 2*g - 0*g, -7 = 2*g + 3*t. Solve -g*i - w = i for i.
-1
Suppose -2*i + 5*c = -2, 5*i + c + 22 = -0*c. Suppose -4*s - 28 + 0 = 0. Let l = i - s. Solve h = -l*h for h.
0
Let b(s) = 5*s + 44. Let u be b(-8). Solve -7*f = -6*f + u for f.
-4
Suppose 6 = -a + 17. Suppose 5*c + a = -9. Let i be ((-2)/c)/(1/4). Solve 0*z + i*z = 0 for z.
0
Let v(p) = -p + 1. Let d be v(7). Let r = d - -26. Solve 7*m - r = 3*m for m.
5
Suppose -3 + 15 = 3*b. Let k be ((-2)/4)/((-1)/b). Let q = 3 - k. Solve -2*y + 1 + q = 0 for y.
1
Let q = -14 + 13. Let h = -2 - -1. Let x = q - h. Solve -2*n - 2*n = x for n.
0
Let z be (-840)/(-14) - (-1 + 1). Suppose -6 = 2*x, 16 - 3 = 4*m + x. Suppose 0 = u + m*u - z. Solve -5*p - u = -p for p.
-3
Suppose 0*a + 4*a - 8 = 0. Solve -8 = a*v + 2 for v.
-5
Let t(w) = 6*w - 30. Let o be t(6). Solve 0 + o = -2*g for g.
-3
Let z = 0 - 0. Solve -n + 5 - 1 = z for n.
4
Let i = 27 + -19. Solve 6*h - i = 2*h for h.
2
Let t be (-2)/(-2) + -5 + 6. Let j(k) = -k**3 + 3*k**2 - 3*k + 3. Let s be j(t). Let g = 2 + s. Solve -a - 2 = -g for a.
1
Let d(u) = u - 12. Let f be d(12). Suppose f = -3*p - 0*p. Let t be (-2)/4 - (-18)/4. Solve p = t*b - 4 - 16 for b.
5
Suppose -5*y = -0*y - 25. Let z = y - 0. Solve f + z = -0*f for f.
-5
Let j(t) = -t**2 + 9*t. Suppose -17 = 3*g - 8. Let a be -3*1/(g/9). Let o be j(a). Solve o = -3*x + x + 4 for x.
2
Suppose -i + 4*i - 9 = 0. Let d(r) = -r**i + 3*r**2 - 3 - 4*r**2 + 2. Let k be d(-2). Solve 0*q - k*q + 12 = 0 for q.
4
Suppose -3*x + 5 = -2*m, -5*m = x + 2 + 19. Let c be (x - (-7 + 1)) + 2. Solve -c*z = -2*z + 20 for z.
-4
Let z = -14 - -6. Let y = -6 + 2. Let d = y - z. Solve -s - 5 = d*s for s.
-1
Let u(b) = b**2 + b - 2. Let i be u(1). Let k be ((-2)/3)/(2/3). Let q be (6 - i) + 0/k. Solve -4*l = -q*l + 8 for l.
4
Let y(l) be the second derivative of l**3/6 - 3*l**2 + 3*l. Let z be y(7). Solve -5*t = -11 + z for t.
2
Suppose 4*x + 5*s - 6 - 27 = 0, 20 = 4*s. Solve 0*i + x = -2*i for i.
-1
Let p = -7 - -9. Let a = 0 + p. Solve 0 = a*s - 4 + 2 for s.
1
Suppose -i - 5 = 3*o, 5*o = -4*i + 1 - 0. Let k = o + 3. Solve k = -2*q + q + 4 for q.
4
Let h(i) = i**2 - 7*i - 8. Let w be h(8). Suppose z - 4*z = w. Solve 0 = -c - z*c - 1 for c.
-1
Suppose 18 = 5*p + g, -4*g = 7 + 1. Solve p*d + 5 = -d for d.
-1
Let k = -84 - -84. Solve k = -0*w - w - 1 for w.
-1
Let s = -4 - -24. Let y = -4 - -9. Solve y = 3*c + s for c.
-5
Suppose 5*a - 30 = 5*g, 2*g - 3*a + 6 = 2*a. Suppose -l = -9*d + 4*d - 16, d - 3*l = -6. Let m = d - g. Solve 0*p = m*p for p.
0
Suppose 0*v + v - 4 = 0. Solve z + 1 - v = 0 for z.
3
Let t = -4 - -8. Suppose t*y - 26 = -k, -k = y - 4*y + 9. Solve 6 = 3*z - k*z for z.
-2
Suppose -2*f - 12 = -5*f. Solve -f = 3*x + x for x.
-1
Let i(w) = w + 2. Let t be i(-4). Let q = t - -4. Suppose -2*y = -y. Solve -q*r - 5 - 3 = y for r.
-4
Let w = 2 - -2. Let x(b) = -b**3 + b**2 + 3. Let t be x(0). Suppose 0 = t*m - 9 - 27. Solve m = -4*i - w for i.
-4
Suppose 0*n = -2*n + 4*t - 22, -4*n + t - 23 = 0. Let o = 8 + n. Let z = 4 - o. Solve 19 = 5*l - z for l.
4
Let x be 4 - 3*(-2)/(-3). Let k be (-36)/(-5) + (-8)/(-10). Solve -x*n = -0*n - k for n.
4
Let b(u) = -u**3 + 5*u**2 + 4*u. Let w be b(5). Solve 5*t - t = -w for t.
-5
Let f be 32/14 - (-4)/(-14). Suppose 0 = -4*g - 4, 3 - 19 = 2*u + 2*g. Let h be 18/(-36) + u/(-2). Solve h*x + 1 = -f for x.
-1
Suppose 0 = 3*p + p + 8, -5*z + 4 = 3*p. Solve z = -n + 3 for n.
1
Let i be ((-4)/6)/((-16)/72). Solve 3*k + 6 = -i for k.
-3
Let b(r) = -6 - 4*r**2 + r**3 + 5*r - 3*r + 0. Suppose 0 = i + 4*i - 20. Let f be b(i). Solve j + j = f for j.
1
Let j(l) = -l. Let d be j(-6). Let p be (-1 + 2)/(d + -5). Let m = 0 - -2. Solve 0 = -k + p - m for k.
-1
Let u(z) be the second derivative of z**5/20 - 5*z**4/6 + 4*z**3/3 + 13*z**2/2 - 5*z. Let a be u(9). Solve a*x - 2 + 18 = 0 for x.
-4
Suppose r - 4*r + 3 = 0. Solve -b = -5 + r for b.
4
Let y(r) = -r**3 - 5*r**2 + 7*r + 9. Let k be y(-6). Solve -15 = -k*m + 8*m for m.
-3
Let v(h) = 3*h - 3. Let k be v(1). Solve -4*c + 0*c - 8 = k for c.
-2
Suppose 4*l + 5*q = 2*l + 25, -2*l + 27 = 3*q. Let p(t) = 5*t**2 + t - 1. Let u be p(1). Solve u*m = 2*m - l for m.
-5
Let s = -3 + 7. Suppose 0 = l - 1, 4*k - 9 = -l - 0*l. Suppose -s*o + k = 2*z - 2*o, 2*o = -10. Solve -2*q = 16 - z for q.
-5
Let v = -16 + 23. Let u = 7 - v. Suppose u*q - 9 = -3*q. Solve q*k + 3 = -0 for k.
-1
Let m(h) = h**2 - 4*h + 4. Let f be m(3). Let q be f/(-2) + (-3)/(-6). Suppose -z = -4*w - 12, -5*z + 12 + 6 = w. Solve -z*a - 4 - 16 = q for a.
-5
Suppose -3*n = -3*q - 0*n - 18, -q = -5*n + 22. Let x(r) = -3*r**3 - 2*r**2 - 1. Let z be x(q). Suppose z = 4*w - w. Solve -w*y = -4*y for y.
0
Let x(l) = 6*l - 1. Let m be x(1). Let v be -1*m/(-4)*4. Solve -h - 4*h + v = 0 for h.
1
Let o(c) = -c - 2. Let g be o(-4). Suppose 11 + 25 = g*h. Solve -2 = 4*f - h for f.
4
Let x(w) = w**3 - w + 3. Let a be x(0). Suppose 3 + 6 = a*d. Suppose 2*i - 1 = -z, -3*i + 6 + 2 = -5*z. Solve -g = -i - d for g.
4
Let l(y) = 4 + 5*y**2 - 7 + 2. Let o be l(-1). Solve -s - o = -1 for s.
-3
Let w be (3/(-6))/((-1)/4). Let c be w/(-3) + (-124)/(-6). Solve c = -3*a - 2*a for a.
-4
Let d(f) = 3*f - 9. Let r be d(4). Solve -5*g = -12 - r for g.
3
Suppose 2 = 5*t - 23. Let m(d) = -d**2 + 12*d - 7. Let o be m(8). Solve -o = -t*y - 0*y for y.
5
Let a(j) = -j**2 - 4*j - 4. Let p be a(-2). Solve p = b + b for b.
0
Suppose 3*p + 6 = 12. Suppose -3*j = 4*w - p*j - 53, -5*j - 11 = -3*w. Solve 0 = -5*z + z + w for z.
3
Suppose 4*x + 2 = 14. Suppose d - 15 - 1 = 0. Let o be (-8)/x*(-36)/d. Solve 4 = -2*q - o for q.
-5
Let j = -1 - -5. Suppose -8 = -5*y - r, -4*r = -j*y - 3 - 5. Solve -26 = 5*o - y for o.
-5
Let k be 124/30 - 14/105. Solve 0*p - 2*p = -k for p.
2
Suppose 2*t = u - 2, 0 = -5*u - 3*t - 3 - 0. Solve -a + 1 = -u for a.
1
Suppose 37 = -g + 10. Let u = -1 + g. Let o be (-120)/u - (-2)/(-7). Solve 0 = o*r - 3*r for r.
0
Let k(y) = -y**3 - 4*y**2 - 3*y + 3. Let w be k(-3). Suppose -w*