f + 1 = -2*n for n.
2
Let z(q) = q**2 - 16*q + 3. Let a be z(16). Solve 1 + 6 = -5*n + f, -5*n - 1 = -a*f for n.
-2
Let i be ((-66)/(-77))/((-2)/(-7)). Solve 0 = -0*d + d - 4, -3*z + i*d - 6 = 0 for z.
2
Let k(l) = l - 11. Let r be k(13). Solve a - r*i - 3*i + 2 = 0, -10 = 5*a - 3*i for a.
-2
Let l(r) = r**2 - 6*r - 25. Let v be l(9). Solve -4*i = -5*z - 9, v*i - 7 = 2*z - 3*i for z.
-1
Suppose 0 = 4*t - 5*l - 40, -3*t + 5*l + 35 = -0*t. Let u(d) = d**3 - 3*d**2 - 6*d. Let z be u(t). Solve 5*h - z = -5*r, 4*r = -h - 2*h + 11 for h.
5
Suppose -n = -4*n. Solve n*l = -3*x - 3*l + 9, 0 = -3*x - l + 3 for x.
0
Suppose 0 = -4*m - p - 21, 3*m - p = -15 - 6. Let w be (-34)/m + (-3)/(-9). Let x = 17 + -12. Solve 2*h + v + 9 = 0, -5*h - w = -x*v + 2*v for h.
-3
Suppose 3 = -2*t + 7. Solve -3*h + d = t, 0 = -h - 4*d + 1 - 6 for h.
-1
Let p be (-23)/(-5) + 4/10. Suppose -4*t = -11 - 5. Let f = -4 + t. Solve 4*r + 10 = -0*r + p*j, f = 4*r + 2*j - 4 for r.
0
Let l be 1*(7 - 1)/(-3). Let g be (1 - l)/(-1) + 5. Let b(u) = -u**3 + 6*u**2 - 3*u - 7. Let a be b(5). Solve -r - a*f - 13 = 2*f, g*f = -3*r for r.
2
Let f = -14 + 20. Let d(v) = -v**2 + 6*v. Let l be d(f). Solve -3*o + 4*n + 26 = l, -25 = 5*n - 0*n for o.
2
Let a(i) be the second derivative of i**4/6 - 2*i**3/3 - i**2 - 2*i. Let c be a(4). Let p = -9 + c. Solve -2*x - 5 = -4*l - 1, -x - 5 = -p*l for x.
0
Let i(d) = -d**2 - 10*d + 3. Let h be i(-10). Solve 4*y + y - 2*a + 4 = 0, 3*y = -h*a + 6 for y.
0
Let g(x) = -x**3 + 3*x**2 + 2*x - 3. Let q be g(3). Let v be 9 + 0*3/9. Suppose -q - v = -4*c. Solve 2*a + 14 = 4*s - 2, -22 = -c*s + 4*a for s.
2
Let c(q) = q**2 + 2*q + 2. Let x be c(0). Solve 5*b = 5, -4 = -h - x*b + b for h.
3
Suppose 0 = 3*i - 4*k - 68, -3*i + 0*i + 52 = 4*k. Solve -5*p + 6*g - g = i, 3*p + g = 0 for p.
-1
Let f be (-14 - -15)/(2/6). Solve -2*z = 5*p - 10, 2*p + 12 + 3 = f*z for p.
0
Let c = -2 - -5. Let y be 22/3*c/2. Solve k = -3*m + y + 1, 4*k - 8 = -4*m for m.
5
Suppose -4*i + 34 = -2*z, -4*i - 8 = 3*z + z. Let w be z/(2/(-8)*1). Let f(v) = -v - 7. Let p be f(-14). Solve -5*a - w = q, p*q + 25 = 2*q - 2*a for q.
-3
Let n = 11 - 3. Suppose 0 = 2*h - n - 2, 0 = 3*t + 4*h - 11. Let y be ((-3)/6)/(t/12). Solve -w - q + 2 = 0, -6 = -3*w + y*q - 25 for w.
-3
Let w = 37 - 14. Suppose -3*c = -0*c + 63. Let f be 6/c - w/(-7). Solve -u + 3*q = 12, 0*u - 5*q = f*u - 20 for u.
0
Let q be (0 + 0 + -3)/(-1). Suppose -3*a - 7 = -4*a + s, q*a + 19 = -5*s. Solve 2*m - 5 = -2*k - 1, 4*k = -a*m + 8 for k.
2
Let j = -2 - -2. Let a be 21 + 1 + (j - 2). Solve -2*g + v + 4 = -3*g, 2*g = -5*v - a for g.
0
Suppose -2*l = -3*l. Suppose l = 3*j - p - 15, 0 = -3*j + j + 5*p + 10. Solve t + j = -2*w, -15 = -2*w - 0*w + 3*t for w.
0
Let s(f) = f**2 - 8*f + 2. Let r be s(8). Solve 12 = -r*x - 2*d, -x - 5*d - 29 = 3*x for x.
-1
Let m = -4 - -6. Suppose 0 = m*j - 4 - 8. Let s(v) = -v**2 + 5*v + 8. Let t be s(j). Solve -3*n - n + 4 = 2*x, -3*x - t*n - 6 = 0 for x.
-4
Suppose 0 = 5*t + 5*g + 10, 5*g = t - 2*t - 18. Suppose t*s = s. Let c be (4/2)/2*0. Solve -5*r - 4*m = -c*m + 4, 5*r + 5*m = s for r.
-4
Suppose 33 = 7*l + 5. Solve -3*r + 0 = -l*p - 1, -r - 5 = 0 for p.
-4
Let q(w) = 4*w**2 + 26*w + 14. Let y be q(-6). Solve 0 = y*m + 3*m - 4*p - 20, -4*m - 4*p = -16 for m.
4
Let n = -6 + 6. Suppose r = -n*r + 4. Solve -y = -s + 3*s - 7, 5*y = r*s - 7 for y.
1
Let b(m) = -m**2 + 11*m + 14. Let f be b(12). Solve -q - x - 1 = 3, 6 = -4*q - f*x for q.
1
Let t = 7 + -9. Let q = 5 + t. Suppose -f = q*k - 4, -4*k + 3*k = 0. Solve -c - 3*c - 4 = f*l, 2*c + 14 = l for l.
4
Let j = 16 + -10. Let l be (8/j)/((-10)/(-75)). Solve -5*k + 5*c + l = 0, -k + 6*k + 40 = -5*c for k.
-3
Suppose -2*y = 5*g + 24, -3*y + 6*y + 6 = 0. Let z be 1 + g*1/(-2). Solve 5*l - 27 = -z*d - 1, -18 = d - 5*l for d.
2
Suppose 6*n - 24 = 4*n. Solve 2*p - 7*p = -q - n, p = q + 4 for q.
-2
Suppose 18 = -2*i + 22. Solve 0 = i*j + 2 + 6, 4*q = 2*j for q.
-2
Suppose 4*j + j - 15 = 0. Solve -24 = -j*t + 3*a, 4*t - 2*t = a + 13 for t.
5
Suppose 0*h - 3*h + 18 = 0. Solve -5*d = -3*l - 18, -3*l - 5*d + h = -2*d for l.
-1
Let r(j) = -4*j - 22. Let k be r(-6). Solve 12 = -4*o - 4*f - 20, o - k*f = 4 for o.
-4
Suppose 3*m + 3*v = 2*m - 16, 2*v + 80 = -5*m. Let o be (4/8)/((-2)/m). Suppose 2*i - 6 = 4. Solve w - o*t + 4 - 7 = 0, i*w = t + 15 for w.
3
Suppose -w + 10 = m, 30 = m + w + 4*w. Suppose 2*s - s = m. Solve 5*x - a = s, 36 = 5*a + 11 for x.
2
Suppose 30 = 24*n - 19*n. Solve 3*z + 2 - 8 = -4*h, n = 2*h + 3*z for h.
0
Let d = -10 + 5. Suppose 0 = -4*u + 3*s - 19, 4*u - 2*s - 2*s + 20 = 0. Let z be u/(-8) - d/2. Solve -f - 4*x - 20 = 0, -5*x - 31 = z*f + 1 for f.
-4
Suppose 5 + 3 = 2*h. Suppose 4*v - 10 - 10 = 0. Suppose v*c - 14 = 6. Solve h*q = n - c*n - 7, n = q for q.
-1
Let s(n) = -n**3 + 4*n**2 - 4*n + 2. Let b be s(2). Suppose 647*p - 18 = 641*p. Solve 5*q + 16 = b*x, -5*x - p - 27 = 5*q for x.
-2
Let j be 17 + -1 + -2 + -2. Let v = j + 3. Suppose -3*b + v = 2*b. Solve 0 = -2*o + a + 2, -5*o + 3*a + 6 = b for o.
3
Let t be ((-2)/7)/((-4)/28). Suppose -5*w + r = -32, -7 = -3*w - 4*r + 3. Solve -6 = t*x, -4*q - 2*x - w = -0*x for q.
0
Suppose -3*i + 4 = -2. Suppose 2*o - 3 = -3*r + 2, 5*r - 19 = i*o. Let y = 1 - o. Solve -2*v - 4*a = 10, y = -v - 0*a - a for v.
-1
Let r(m) = -2*m**2 - 5*m + 8. Let c(j) = 2*j**2 + 4*j - 7. Let w(f) = 3*c(f) + 2*r(f). Let k be w(-4). Solve 3*b - l = l + k, -10 = -4*b - 5*l for b.
5
Let l = -46 + 64. Let c = -16 + l. Solve 3*a + 2*s = -2, 3*a - 3*s + c*s + 17 = 0 for a.
-4
Let f(c) = c**2 + 2*c - 5. Let g be f(-4). Solve -g*p = -4*x + 2, -4*p - 4*x + 3*x = -10 for p.
2
Let x be 12/5 - (-6)/(-15). Solve -4*f = -4*y, -5*y + f + x*f = 0 for y.
0
Let p = -23 - -38. Suppose 3*i = 6*i - p. Solve 3*l = 3*x + 3, 6 - 13 = i*l + x for l.
-1
Let b be (16/10)/((-26)/(-65)). Solve b = w + 5*l - 7, w = 5*l - 9 for w.
1
Suppose 2*u - 1 = 5*v + 6, -u + 11 = 5*v. Suppose 3*w - 9 = u. Solve -3*x = w*n + 24, 0*n - 4*n = 12 for x.
-3
Let h = 4 - 14. Let o be 3/((-9)/12) + -1. Let n = o - h. Solve -5*x = 2*q + 3*q + 5, -n*x - 3*q = 5 for x.
-1
Let a be (0 + 0 - -2) + 9. Solve c - a = 2*p, -4*c + p + p + 14 = 0 for c.
1
Let z be 1/(-2 + 85/40). Solve 4*h + 2*c = z*h - 8, -10 = -5*c for h.
3
Let v(y) be the third derivative of y**6/120 - y**5/15 - 5*y**4/24 + 5*y**3/6 - 5*y**2. Let g be v(5). Solve -15 = 2*n - 3*c, -g*c + 35 - 10 = 5*n for n.
0
Let z(j) = -2*j**2 - 7*j + 17. Let d(u) = -3*u**2 - 10*u + 25. Let b(r) = 5*d(r) - 8*z(r). Let a be b(-8). Solve 9 = -3*i + s - 3*s, 5 = 2*i + a*s for i.
-5
Let f = 57 - 57. Solve s - 13 = 2*s - 4*y, -5*s + 5*y - 5 = f for s.
3
Let a = 1 + 3. Suppose -50 = -5*p - 5*q, 0 = -a*p + p - q + 20. Solve 13 = -2*l - 5*c - 14, -l - 26 = p*c for l.
-1
Let a(t) = -t**2 + 7*t + 2. Let b be a(6). Suppose -26 = 3*w - 80. Let p = w - b. Solve -r - 4*r - 3*d = p, 5 = -5*r - 2*d for r.
1
Let g be 4 + 2 + 2 + -4. Solve -4*q + 4 = 0, 3*z - q - g = -5*q for z.
0
Let b be (-17 + 12)/(2/(-6) - 0). Solve -5*p + 3*z - 3 = 6, -p - 5*z = -b for p.
0
Let i = 6 + -10. Let w(y) = y**3 - 2*y**2 - 4*y + 4. Let j be w(3). Let a be 1/1*(j - i). Solve -4*d - 5 = 5*g, 9*d = -a*g + 4*d - 5 for g.
-1
Let j(c) = c - 2. Let a be j(2). Suppose a*l + 2*l = 6. Solve -i = -5, -5*p - 2*i - 10 = -l*i for p.
-1
Let h = 6 + -3. Suppose 5*n + 3*p = 26, 2*n - 10 = -h*n + 5*p. Solve 0 = n*f - q - 21, -3*f + 4*q = f - 36 for f.
4
Let y be (1 - -2)*(-4 + 2). Let g = -2 - y. Solve 4*p = 6*p - 3*h + 3, 5*h - 7 = g*p for p.
-3
Let h be (12/30 - 2)/((-4)/10). Solve -4*d - h = -3*p + p, 0 = -p + d + 2 for p.
2
Let u(x) = -x**3 + 9*x**2 - 7*x + 2. Let c be u(8). Suppose 4*a - c = -2*b, 5*b - 5*a = 46 - 6. Solve 3*q - 10 = q + 3*h, -b = -q + 2*h for q.
-1
Suppose 2*x = 3 + 1. Suppose 3*o = -x*o + 5. Solve -3*k = -l - o, -4*k - k + 15 = -5*l for k.
-1
Suppose -13*p = -14*p + 12. Solve -7 - p = -3*m - 4*b, -5*m + 25 = 5*b for m.
1
Let o(q) = q**2 - 14*q - 3. Let r be o(7). Let d be 9*(-3 + r/(-12)). Solve -5*m - d = 3, -m = -5*n + 23 for n.
4
Let c be 4 - 2/(-3)*-3. Solve -3*r + 5*o = c*o + 18, -4*o = -r - 9 for r.
-5
Suppose 2*k = 6 - 2. Suppose -5 = -k*a - 1. Solve -2*i - 13 = a*y - 3*y, 12 = -3*i for y.
5
Suppose 3*j + 3 = -9. Let r be ((-9)/(-6) + -2)*j. 