16*k - 11. Let x be v(w). Solve -d + x*d = 3 for d.
1
Suppose 4*w + 3 = 19. Solve -c - w = -1 for c.
-3
Let s = -6 - -11. Suppose -48 = s*c + f, 12 + 9 = -2*c - f. Let z be c/(-6)*8/6. Solve z = d + 5 for d.
-3
Suppose -4*o + 0*o + 40 = 0. Solve 4*l - o = 6 for l.
4
Let n(h) = h**2 - h - 5. Let x be n(3). Solve x = 2*a + 3 for a.
-1
Let d = -6 + -1. Let g = d + 7. Solve g*l = -5*l for l.
0
Suppose 40 = 4*z + 4*w, -z - 3*w + 2 = -6*w. Solve -2*v + 0*v = -z for v.
4
Let d be 5/15*9*(-20)/(-12). Solve d*j + 12 = j for j.
-3
Let i = 10 - 6. Suppose 0 = -i*w - w + 25. Suppose -2 = 3*f - w. Solve 0*p = -p + f for p.
1
Suppose 2*c - 7*c = -10. Let v = c - 3. Let d be (v/(-3))/(1/6). Solve -w - d*w = -6 for w.
2
Let k = -6 - -9. Suppose 0 = 6*l - k*l - 36. Let y = 28 - 28. Solve -l = -y*q - 4*q for q.
3
Let t(d) = -4 + 5 + 5 - d. Let x be t(9). Let s be (1 - 2) + (1 - x). Solve s*f - 4*f - 1 = 0 for f.
-1
Let j be (1 + -3)*18/4. Let v be (-3)/j - (-8)/3. Solve -5*o + v = -2 for o.
1
Let d(w) = 4*w**2 + 1. Let s be d(1). Suppose -s*b + 5 = -5. Solve -2*z = b + 2 for z.
-2
Let n be (-4)/(-12) + (-4)/3. Let l = n + 3. Solve -m - 15 = l*m for m.
-5
Let i be 14/77 - (-20)/11. Suppose i*q - 1 = w - 3, -2*w + 3*q + 3 = 0. Solve w = 2*j - 0 - 6 for j.
3
Let j(g) = g**3 + 5*g**2 + 2*g - 1. Let p = -8 - -14. Suppose -x - 3*v - p = 3*x, v - 5 = x. Let m be j(x). Solve m = -5*s - 14 for s.
-5
Let j be (-18)/(-24)*((-56)/(-12) + -2). Solve -4 + 8 = j*k for k.
2
Suppose 7 = j - 8. Suppose 141 + 9 = 5*s. Suppose -2*w - 2*v - 2 = 0, 0*v + 2*v + s = 5*w. Solve y - j = w*y for y.
-5
Let i(m) = -7 - m**2 + 5*m + 11 + 4*m + 10. Let h be i(10). Solve 0 = h*n + 2 + 2 for n.
-1
Suppose 0 = -4*p - 3 - 1. Let w be (1/2)/(p/(-10)). Suppose -k = -1, w*t - 8 = -k + 3*k. Solve -2 = -t*n - 0 for n.
1
Let j be 121/7 + 4/(-14). Let q = 19 - j. Solve q*x - 7*x = 5 for x.
-1
Let w(j) = -j**3 - 4*j**2 + 1. Let n be (2 + (-48)/(-9))*3. Let b be 2/(-6) + n/(-6). Let k be w(b). Solve 2 + k = o for o.
3
Suppose 0 = h - 5*l + 18, h - 4*l + 4 + 10 = 0. Suppose w + 4*p = 4*w + 2, w = -h*p + 6. Suppose -w*d = -8 - 16. Solve -a + d = 2*a for a.
4
Let o(z) = -z**3 + z**2 + 5. Let t be o(0). Suppose t*v + 0*v = 15. Solve 5 = -v*r - 1 for r.
-2
Let v(q) = q. Let u be v(2). Suppose 4*w - o - 2 = 3, w = 5*o - 13. Let x be 1 + (3 - w/u). Solve i + 2*i = x for i.
1
Let o(m) = -m**3 - m**2 + 3*m + 4. Let p be o(-2). Solve p = 5*d + 7 for d.
-1
Let u(t) = t**3 - 8*t**2 + 8*t - 7. Let l be u(7). Let h = 2 - l. Solve -4 = 3*y - h*y for y.
-4
Suppose -5*w - 5*l - 10 = 0, 5*l - 6 = -2*w - 16. Let y be 0/(w + 3/3). Solve 0*q - q + 5 = y for q.
5
Let g(a) = 0*a**2 - 1 + 3 - a + a**2. Let v be g(0). Solve 0 = v*d + 6 - 16 for d.
5
Suppose -4*b - 4*z + 45 = b, 0 = 3*b - 2*z - 5. Solve b*w = -21 + 1 for w.
-4
Let u(t) = -6*t - 2. Let p be u(6). Let i be p/(-14) - (-4)/14. Suppose i*w - 5 = 1. Solve -w*r - 3*r = 0 for r.
0
Suppose 23*x = 20*x. Solve x = -4*l + 4 for l.
1
Let a(b) = -b + 1. Let c be a(0). Let i(t) = 7*t**2 + t - 1. Let v be i(c). Solve v = -3*p - 5 for p.
-4
Suppose 2*z - 3*j + 20 = -2*z, j - 25 = 5*z. Let w(t) = -t**3 - 6*t**2 - 7*t - 6. Let d be w(z). Solve 2*o - d*o + 4 = 0 for o.
2
Let r(b) = -b - 1. Let m = -7 + 3. Let z be r(m). Suppose z*a - 17 = 19. Solve a = 2*g + g for g.
4
Let n = 8 + -6. Suppose 4*o = 4, -n*b - o = -5*b + 8. Suppose -b*s + 9 = -0*s. Solve s = 2*a + 1 for a.
1
Let h be (-4)/(-2)*(-1)/(-1). Suppose 0 = 5*j - 2*x - 48, 2*j + h*x = j. Solve -5*f + j = -f for f.
2
Let o = 4 + -2. Let m be -2 + (1 - o - -7). Suppose a - 4*z = -m, 2 = 3*z - 1. Solve -4*p + 3 + 1 = a for p.
1
Let s be (-3)/6*0/1. Solve s = -g - 0*g + 3 for g.
3
Suppose -a - 3*i - 9 = 2*i, -3*a + 3*i + 27 = 0. Solve -a*s = -3*s for s.
0
Suppose -3*u = -4*n - 3, n - 3*u + 3 = 6*n. Solve n*f = 2*f + 10 for f.
-5
Let z(u) be the first derivative of -u**3/3 - 4*u**2 - 5*u + 3. Let y be z(-6). Solve 3 - y = q for q.
-4
Suppose 15*s - 14*s - 5 = 0. Solve c = s*c + 16 for c.
-4
Let a = 7 - -3. Let t = a + -7. Solve -r - t = -1 for r.
-2
Let d = 10 - 10. Let c be -3*(d - 1) + -3. Solve -p + 2*p + 1 = c for p.
-1
Let d = 41 - 33. Let c = -3 + 7. Solve 4*g - d*g + c = 0 for g.
1
Suppose 4*h = 8*h. Suppose 0 = 4*a + a - 80. Solve 3*o + o - a = h for o.
4
Suppose 0*b = -2*b + 6. Solve b*a + 10 = 8*a for a.
2
Let f(q) = q + 6. Let k be f(0). Let m = -8 + 8. Suppose -4*h = -4*y + 2*y - 92, -2*h + 2*y + 42 = m. Solve -k*l = -l - h for l.
5
Let w = -13 + 7. Let o = w - -9. Solve 0 = o*b + 5 + 4 for b.
-3
Suppose -5*a + 16 = -2*n, -a + 2 = -0*a - n. Solve -4 = -a*r + 12 for r.
4
Suppose 10 = 5*d - 0. Solve 1 + 1 = -d*w for w.
-1
Let o(i) = i**3 + i. Let s be o(1). Solve g - 4 = s*g for g.
-4
Suppose v = 0, -4 + 0 = -g - 4*v. Suppose -5*w + 2*n + 0 + 19 = 0, -g*w - 4*n + 4 = 0. Solve -w*b = -b for b.
0
Suppose -2*n + 34 = 154. Let a be (4/(-5))/(4/n). Let f = 2 - -2. Solve 0 + a = -f*b for b.
-3
Suppose 2*q - 32 = 2*p, 3*q - 10 = -5*p + 38. Let b(s) = -s**2 + 6*s - 3. Let t be b(6). Let w be (q/(-6))/(2/t). Solve 3*m = 2*m + w for m.
4
Suppose 0 = 2*m - 16 + 6. Solve -4*y - 4 = -m*y for y.
4
Suppose -5*c = -c - 12. Let s(a) = 2*a**3 - 3*a**2 + a - 1. Let f be s(2). Suppose -8 = -f*i - 2*b + c*b, -i + 2*b = 2. Solve k = -i*k for k.
0
Suppose -n + 10 = 4*n. Let c be (0 - -2)*n/(-2). Let b be (-7 + 1)*c/6. Solve -b*k = k for k.
0
Let v = 44 - 26. Suppose -l + v = -p, p - 21 - 6 = -2*l. Solve 5*q - l + 0 = 0 for q.
3
Suppose -3*v + 1 = 2*x, -2*v = x - 0*x - 1. Let m = 3 + x. Let h(f) = f - 1. Let c be h(4). Solve -m*k = k - c for k.
1
Let x be 8 - ((-4 + 2 - -5) + 2). Suppose -1 = -i + 1. Solve -k - x = -i for k.
-1
Let w be (-5)/(-3)*(2 - -1). Solve -w*s + s = 0 for s.
0
Suppose 2*z + 12 = f + 3*f, -z + 3*f - 10 = 0. Let n = -5 - z. Let c(w) = w + 7. Let j be c(n). Solve -3*u + 0*u + 6 = j for u.
2
Let u = 4 + -3. Solve 0 = -2*n - u - 7 for n.
-4
Let v = -16 + 18. Solve v*t + 8 = 2 for t.
-3
Let j be ((-12)/18)/((-2)/18). Let i be 4/j + (-8)/(-6). Let d be i/(-6)*(-4 - -1). Solve 2 = -o + d for o.
-1
Suppose -8 - 8 = -4*y. Solve -y*d + 4 = 20 for d.
-4
Let r(d) be the third derivative of -d**4/24 - d**3/3 - 6*d**2. Let y be r(-5). Solve y = -i + 2*i for i.
3
Let p be 0*2/4 - -5. Solve 8 = -p*y + 28 for y.
4
Let w(n) = 2*n + 43. Let k be w(-19). Solve k*v + 4 = -11 for v.
-3
Let h(y) = 7*y - 22. Let f be h(4). Solve 2*s - f*s = 0 for s.
0
Let n = 3 - 0. Solve -l - n + 7 = 0 for l.
4
Let t be 19 + (2 + 2 - 8). Solve 4*r + 5 = -t for r.
-5
Let u(c) = -c**3 - 9*c**2 - 4*c + 12. Let n(a) = -a**3 - 9*a**2 - 3*a + 11. Let k(x) = 4*n(x) - 3*u(x). Let f be k(-9). Solve -6*d - f = -2*d for d.
-2
Let j = -3 - -8. Suppose -j*f = -0*f. Suppose -n + 4 = -f*n. Solve 0 = -o - n + 2 for o.
-2
Suppose w + 5*f - 15 = 0, 0*w + 6 = w + 2*f. Solve w = t - 5*t for t.
0
Suppose -19*y = -14*y. Suppose -4*c + 3*c = y. Solve -w + 4*w = c for w.
0
Let j(p) = p**2 - 5*p + 7. Let t be j(3). Solve -5*z = 6 - t for z.
-1
Let n(g) be the second derivative of -g**4/12 - 2*g**3/3 + 3*g**2/2 - g. Let y be n(-4). Suppose -5*q - 3*s = 15, -4*q - 2 + 7 = -s. Solve q = -j + 2 + y for j.
5
Suppose -3*q = -4*f - 0*q + 18, 0 = -5*q - 10. Suppose -u + 3*y + 10 = y, u + 5 = -f*y. Solve -u*k + 0*k - 16 = 0 for k.
-4
Let w(v) be the third derivative of v**6/720 + v**5/40 - v**4/8 + 2*v**2. Let c(p) be the second derivative of w(p). Let l be c(7). Solve -s = s + l for s.
-5
Suppose 4*l = -2*v + 32, -16 + 40 = 5*v - 4*l. Solve 0 = -3*y + v*y for y.
0
Let v be 5 - (1 + 0 - 0). Solve -v = -u - u for u.
2
Let h be -1*(-4*2 + 2). Let l = -2 + h. Suppose 0 = -0*p + 3*p - 39. Solve l*z - 3 = p for z.
4
Let v(c) = c**3 + 4*c**2 - 4*c + 7. Let o be v(-5). Let l = 2 - o. Solve l*g = g for g.
0
Suppose u = -5*u. Solve u = -2*c - 5 - 5 for c.
-5
Let n(y) = y - 3. Let c be n(8). Suppose 2*q - 8 = -3*q + 3*z, -z + 4 = c*q. Solve 0 = k - 3 + q for k.
2
Let g(l) = -l**3 - 11*l**2 + 12*l + 5. Let h be g(-12). Suppose -15*j + h = -10*j. Solve j + 1 = -i for i.
-2
Let z = -7 - -9. Solve -z*h - 3 = -5*h for h.
1
Let v(w) = -w**3 - 2*w**2 - 4. Let p be v(-3). Suppose -s + 2 = -2*a, p*a = -s + 2*s + 1. Solve -20 = 8*u - s*u for u.
-5
Suppose 6*g = g. Suppose p - d = g, 3*d - 8 = -3*p + 10. Solve