 y + 14. Solve 0 = y*n - d*n - 2 for n.
2
Let n be 5 - (3/(-3) + 2). Let v(u) = u + 1. Let m be v(n). Solve 0 - m = h for h.
-5
Suppose -3*d = -4*j - 12, -5*j - d - d + 8 = 0. Let t(s) = s**3 - s**2 - s - 3. Let b = 16 - 13. Let f be t(b). Solve j = -0*h + 4*h + f for h.
-3
Suppose -5 + 3 = -l. Solve 4*u = l*u + 8 for u.
4
Suppose 0*t + 2*t + 6*t = 0. Solve 2*a + a + 9 = t for a.
-3
Let w = -8 + 13. Solve d = -4*d + w for d.
1
Let y = 0 + -2. Let n(w) = -w + 2. Let u be n(y). Suppose -2*x = 0, -4*x = u*p - 3*x - 8. Solve p*f = -f + 3 for f.
1
Let u = 10 - 7. Let s be -4*(7/(-2) - -2). Suppose -s = -y - u. Solve -r = -0*r + y for r.
-3
Let l(w) = w**3 + 6*w**2 + 3*w + 3. Let h be l(-6). Let f be -8*(2 - h/(-6)). Solve 0 = 3*d - 4*d - f for d.
-4
Let s = -7 + 7. Suppose 4*q - 73 + 9 = 0. Suppose -40 = -5*p - 5*j, p + 0*p + 3*j - q = 0. Solve m + 2 - p = s for m.
2
Suppose -23 = -3*a + a + 5*m, 2*m + 26 = 5*a. Suppose -2*g = 4*o - 20, -3*g + 7 = a*o - 17. Solve 0 = -i - o*i - 12 for i.
-3
Let k be (1 + -2)/(4/12). Let a(g) = g**3 - 3*g**2 - 5*g + 3. Let i be a(4). Let s be 2*i*k/6. Solve 2*b - b = s for b.
1
Let d(o) = o**2 + 14*o - 8. Let h be d(-15). Solve 2*w = 15 - h for w.
4
Let r be ((-3 - -5)*3)/1. Suppose -r*f + 3*f = -9. Solve f*w = -w for w.
0
Let u(t) = t**2 + 4*t + 16. Let z be u(0). Solve -2*f = -6 + z for f.
-5
Let r be (-4)/14 - 60/(-14). Suppose 3*p - 2 = -5*z + r, 0 = -2*p + 4. Solve w = -z*w for w.
0
Suppose 2*x - 14 = -2*p, -4*x + 6 = -2*p - x. Suppose 0 = 4*z - n - p*n - 16, 5*n = -20. Suppose z = f - 1. Solve -9 = -2*y - f for y.
4
Suppose -3*h = -8*h + 10. Suppose 4 = h*l - c, 5*l + 0*c - 5*c - 10 = 0. Solve -l*o - o = 0 for o.
0
Suppose -o + 104 = -5*o. Let f = -13 - o. Suppose -4*n + 61 = f. Solve 0 = 2*t + 2*t + n for t.
-3
Let g(w) = -w**3 + 11 - 9*w**2 + w**3 - 9*w - w**3. Let f be g(-8). Solve -4*l = -3 + f for l.
-4
Let g(k) = -k**2 - 8*k - 7. Let w be g(-6). Suppose -5 - 10 = -w*z. Suppose x - o + 12 = 34, -o = z*x - 58. Solve -r - 3*r = -x for r.
5
Let q(t) = 4*t**3 - 2*t**2 + t - 6. Let n be q(2). Solve -s + 6*s - n = 0 for s.
4
Let k(p) = 2*p**3 + 9*p**2 - 5*p + 2. Let j be k(-5). Solve d = -d + j for d.
1
Suppose -6*n + n = 3*v - 57, v + 3*n - 19 = 0. Solve -v = 4*r - 3 for r.
-4
Suppose -2*l + 3*h + 6 = 0, 2*h + 1 = l - 3. Suppose 0 = -5*b - 4*d + 7, 0*d - 13 = -5*b - d. Let w be 6/b - (l + 0). Solve 0 = -w*v - 0*v + 6 for v.
3
Let a(d) = -d + 1. Suppose 0 = 2*j + 4*q + 20 - 8, 5*j - 2*q + 6 = 0. Let v be a(j). Let p be 3 + v + 2 + -6. Solve -p - 2 = -2*c for c.
2
Let n be 7/2 + 3/(-6). Suppose n*j = -2*l - 0 + 22, 0 = -4*j + 16. Suppose -m = 3 - l. Solve -c = c - m for c.
1
Let b(f) = -4*f**3 + f**2 - 1. Let d be 0 + 0 - (-3 - 0). Suppose -4*y - d = 1. Let r be b(y). Solve -r*w = -0 - 4 for w.
1
Suppose -i + 0*i = 2*b + 6, -22 = -5*i + 3*b. Suppose 2*d = -i*d + 16. Suppose -4*w = -2*w - 10. Solve d*k + w = -k for k.
-1
Let k be 5/20 - 11/(-4). Suppose -2*n = k*q + 28, -q = 5*n - 0*n + 31. Let v be (q*1)/(-2)*1. Solve 1 = -v*d - 11 for d.
-4
Let k be (1 - -2) + (-3 - -4). Solve -2*a = k - 8 for a.
2
Let q = -1 - -17. Let i(j) = -j**2 + 4*j + 7. Suppose p + 0 = -5, 5*p = -3*u - 10. Let m be i(u). Solve 2*y = -m*y + q for y.
4
Let i = 14 + -11. Suppose -2*x - 45 = -3*g + i*x, 4*x - 60 = -4*g. Let r = -5 - -9. Solve r*l = -l - g for l.
-3
Suppose -s = 2*b - 11, -2*b = -3*s - s - 6. Solve 2 = -4*g + b*g for g.
2
Let v(o) = o + 4. Let l be v(0). Suppose t = 4*t - i - l, 17 = 4*t + i. Solve t*k - 1 = 2*k for k.
1
Let i be 4 + -2 - (-1 - -3). Suppose 5*f + 9 - 69 = i. Suppose r = 4*r - f. Solve -t + r*t - 9 = 0 for t.
3
Let n(j) be the first derivative of 2*j**3/3 + j**2/2 - 2*j + 2. Let g be n(-2). Let i be (8/(-3))/((-2)/9). Solve -i = g*m - 0*m for m.
-3
Let g = 1 + -1. Suppose -2*r = -5*o + 1 - 3, -2*o + 3*r - 3 = g. Let z = o - -2. Solve -3*q = -z*q for q.
0
Let x(b) = -b**3 - 5*b**2 - b - 1. Let r be x(-5). Let s be (r + 2)*20/3. Suppose 3*v - s = v. Solve -5*c = -0*c + v for c.
-4
Suppose -39 = -4*z + 41. Suppose 5*j = 5*v + 57 - 12, z = 2*j - 4*v. Let m be 2 + j - (3 + -1). Solve -p - m = p for p.
-4
Let b = -5 + 11. Let g = 11 + b. Solve 3 = -4*y - g for y.
-5
Suppose 0 = -7*t + 5*t - 2. Let a(s) = -5*s. Let z be a(t). Suppose -q = z*v - 31 + 11, -4*q + 5*v + 5 = 0. Solve -2 - 23 = q*d for d.
-5
Suppose -4*h - h + 32 = 4*g, -2*h = -g - 5. Suppose -7 - 5 = -h*a, 2*n = -3*a + 49. Solve 4*r + 0 + n = 0 for r.
-5
Let w(d) = d**2 + 5*d. Let c be w(-5). Solve 2*g - 4 + 2 = c for g.
1
Let n(x) = x**2 + 4*x - 6. Let t be n(-6). Let q be 50/8 - t/24. Solve 2*w + 2 = q for w.
2
Let g = 13 + 16. Suppose -3*l + 140 = g. Let a = -25 + l. Solve -3*t = -6*t + a for t.
4
Suppose -n = -0*n. Suppose d = -n*a + 3*a + 8, -4*d - 32 = 4*a. Let c be a/14 - (-30)/7. Solve -8 = -c*i + 8*i for i.
-2
Let x(p) = 2*p - 1. Let k be x(3). Suppose -4*y = -7 - k. Suppose 2*n - y*a = n, -n - a = 0. Solve d - 2*d + 4 = n for d.
4
Suppose 4*o = 4*d + 16, 2*o - 8 = 3*o + 2*d. Solve o = 3*p + 9 + 6 for p.
-5
Let w(m) = -m**2 - 4*m + 1. Suppose -5*s + 2 - 22 = 0. Let z be w(s). Solve 3 + z = -b for b.
-4
Let l(j) = j**2 - 5*j - 2. Let y be l(10). Let q be y/(-27) + (-2)/9. Let t be -1 + q + 4*2. Solve -t*a = -a + 12 for a.
-3
Let l(o) = o**2 + 5*o + 5. Let a be l(-4). Let m(k) = -k**3 - 5*k**2 + 2. Let r be (-4)/((-32)/(-10))*4. Let y be m(r). Solve 3 = y*x + a for x.
1
Let d be -1*3*6/(-9). Let i(n) = -3*n + 9. Let g be i(3). Suppose 3*a - d*a - 2 = g. Solve a*c = 5*c + 9 for c.
-3
Let q = 24 + -20. Let d(r) be the third derivative of -r**4/24 - 3*r**3/2 + r**2. Let y be d(-9). Solve q + y = -o for o.
-4
Let k = 20 + -3. Suppose -p + 5 = -0*p, f + k = 4*p. Let g = 2 - 2. Solve g = 4*b - 1 - f for b.
1
Suppose 4*h - 5 = -o + 14, -5*o = 5*h - 20. Suppose a + 6 = -4*b + 4*a, 2*a = -b + 4. Solve 0 = h*y - b*y + 10 for y.
-2
Let o(s) = -s**2 + 6*s - 4. Let z be o(4). Suppose 0*v - q + 2 = 2*v, 16 = -z*q. Solve 3*l + v = 15 for l.
4
Let f(w) = -w + 9. Let t be f(7). Let r(n) = -n**2 + 6*n + 7. Let h be r(6). Suppose -4*y = 3 - h. Solve t*l + y = l for l.
-1
Let o = 71 + -64. Solve -o + 3 = -2*n for n.
2
Suppose 5*r = 24 + 1, -2*a + 1 = -r. Suppose -w - k = -a + 1, 0 = 5*w + k - 6. Solve 5*i + w = 21 for i.
4
Suppose -2*l + 2*i + 22 = 0, 2*i = -3*l + 7 + 1. Let v = -4 + l. Solve v*z + 3 = -3 for z.
-3
Suppose 4*g = -3*b - 17, -2*b + 3*g - 18 = -g. Let n = 21 + b. Solve -2 = -4*i - n for i.
-3
Let p be 2 + 3 + -5 + 3. Solve -2*j = -p + 1 for j.
1
Let l = 3 - -1. Let j = 5 + 2. Suppose j + 5 = l*r. Solve -r = g - 0*g for g.
-3
Let k(l) = -8*l**2 - 3*l - 3. Let f be k(-2). Let r = f + 40. Solve 3*c + 5 = r for c.
2
Let i = 5 - 5. Suppose -8 = f + 5*s - 29, -4*s = -2*f. Suppose 2*w - 2*j = 12, 5*j + 7 = 4*w - 20. Solve i = 3*k + w + f for k.
-3
Let g be 0/((2/2)/((-4)/8)). Solve g = -b + 2*b - 1 for b.
1
Let m(i) = i**3 - 2*i. Let q be m(2). Suppose -3*s = q - 19. Solve -s*r = -0*r - 20 for r.
4
Suppose -3*v + 24 = 3*o, 11 = o + 2*v + 2. Suppose -10 = -4*b + 2*b. Let a = o - b. Solve a*s = 3*s for s.
0
Suppose 0 = 2*h - 45 + 9. Let g = h + -18. Solve 0 = 4*s - g*s + 4 for s.
-1
Suppose 0*x = -3*x + 30. Suppose 2*w - w - 2 = 0. Suppose -4*s + 34 = w*y, 5*s - 44 = -y - 9. Solve x = 4*v - s for v.
4
Let w(g) = g**3 + 6*g**2 + 6*g + 6. Let h be w(-5). Suppose 4*m = 11 + h. Suppose 6*d + 4 = 8*d. Solve -j = -d*j + m for j.
3
Suppose 4*i + 18 = -5*s - 7, i + 2*s + 4 = 0. Let v(t) = -t**2 - 11*t - 6. Let z be v(i). Solve k = -z*k for k.
0
Let w(v) = v**2 + 2*v - 4. Let r be w(-4). Let s be 8/(-1)*(-1)/r. Solve -2 = -s*p - 0 for p.
1
Suppose -5*m = -k + 3*k - 23, 3*k = -5*m + 22. Solve -m*h = -0 - 5 for h.
1
Let g(x) = x**2 + 3*x - 5. Let k be g(-5). Let z be (-2)/(k/((-30)/(-4))). Let o = 6 + z. Solve o + 3 = -3*p for p.
-2
Let n = 1 + -1. Suppose -w - 4 + 6 = n. Suppose w*r + r = 0. Solve 4 = -r*u + 4*u for u.
1
Let l be (10 + 1)/(-5 - -6). Suppose -3*n - l = 5*b, b + 0*b = -4*n + 8. Suppose 0 = -0*z - z + n. Solve -z*m - m = 0 for m.
0
Let n(b) = b**3 - 6*b**2 + 6*b. Let r be n(5). Solve 0 = r*k + 10 - 5 for k.
-1
Let m be (1 - 3) + 3*2. Solve -3*d - m - 8 = 0 for d.
-4
Let j = -32 - -32. Solve j*c + c - 3 = 0 for c.
3
Let i(h) = h**2 - h. Let l be i(-1). Su