 -2*t + 18 = 2*j + 3*j. Solve -n - j = -0*n for n.
-4
Let k be 3/(2 + 1 + -2). Solve z - 1 = -k for z.
-2
Let q(j) = j**2 - 4*j + 2. Let v be q(4). Let p = 25 - 15. Solve v*d = -0*d - p for d.
-5
Suppose 4*y = 25 + 15. Let r be 28/35*y/4. Solve -r*m - 5 = -1 for m.
-2
Suppose 4*x = -5*p - 2, -2*p - 1 = -x + 5. Let f be 1 - -3 - (x + 1). Solve 0 = 5*v - 9 - f for v.
2
Let f = -9 - -3. Let l(t) = -t**2 - 8*t - 3. Let y be l(f). Suppose 0 = -3*w - 4*h + 18, 0*w - 2*w + h = -12. Solve 3*b + w + y = 0 for b.
-5
Let q = -30 - -32. Solve -q - 3 = 5*u for u.
-1
Let f be 2/(-7) + 10/(-14). Let j = -1 - f. Suppose 8*l - 4*l = 3*p + 8, -4*p = j. Solve -6 = -2*q + l for q.
4
Let k be 3/(-12) - 1/(-4). Solve -3*a = -k - 3 for a.
1
Let k(l) be the first derivative of -7*l**2/2 - l - 1. Let d be k(-1). Solve 0*i - 2*i - d = 0 for i.
-3
Let t(k) = -2*k - 1. Let u be t(2). Let f be (-2)/(-1) - (3 + u). Solve -c + f*c = -6 for c.
-2
Suppose 3*v = -2 + 8. Suppose -2*r - v*r = -20. Solve r*k = 6*k for k.
0
Let i = -20 + 13. Let g = -1 - i. Let u(j) = j - 2. Let r be u(2). Solve -n + g*n - 5 = r for n.
1
Let j(p) = p**2 + 4*p. Let o be j(-6). Let z = -2 - -2. Suppose -2*a - 2*a + o = z. Solve 2*t = -a*t - 10 for t.
-2
Suppose 2*r - 8 = -2*r. Solve -3*b + 25 = r*b for b.
5
Let y = 52 + -52. Solve q + 2 = -y for q.
-2
Suppose -3*r + 4 = -11. Suppose 4*l = 2*o + r*l - 7, -o - 4 = -2*l. Solve -4*x + 4 = -o*x for x.
2
Suppose 2*q - 20 = 24. Suppose -5 - 1 = -i. Suppose -4*y = i - q. Solve y*t = 5*t for t.
0
Suppose 3*h + 2*m - 6*m = 7, -2*h + m + 8 = 0. Suppose 2*c = 3 + h. Solve -6*l = -c*l + 6 for l.
-3
Suppose 2 = -3*y + 8. Suppose 0*k + 10 = -y*k. Let x(j) = -j**2 - 8*j - 5. Let u be x(k). Solve 0 = 5*s - u for s.
2
Let m = 61 + -59. Solve -m*b + 3 = -b for b.
3
Let n be (3/4)/(1/4). Let z(o) = -4*o - 3. Let y be z(-3). Suppose 3*s - 9 = -4*x + 4, y = 2*x + s. Solve -n*j + x = -5 for j.
4
Suppose -15 = 2*c - 49. Suppose -3*b + 4*b + c = 3*g, b + 4*g - 11 = 0. Let r(v) = v**2 + 6*v + 5. Let t be r(b). Solve t = -2*k - 6 - 4 for k.
-5
Suppose -2*n = 5*z - 31, z - 4*z = 4*n - 27. Solve n*q - 6*q = 9 for q.
-3
Suppose -5*f - 24 = -4*a + 17, -3*a + 3*f = -27. Suppose y - 3 = 4*y + p, 4*y + 5*p + 15 = 0. Solve -g - a*g = y for g.
0
Suppose 0 = 4*w + 2*i + i - 11, 5*i - 1 = 2*w. Solve -w*q + 7*q - 20 = 0 for q.
4
Suppose -b + 8 = 2*w, -b + 14 = -0*b + 5*w. Let r be 34/8 - (-2)/(-8). Let p be 1/r*(b + 0). Solve 0 = v + 2 + p for v.
-3
Let a be -3 + 3*(-4)/6. Let z = 8 + a. Solve 6*u = z*u for u.
0
Let v(x) = 3*x - x**2 + 0*x**2 + 1 - 4. Let d be v(3). Let t be 0 - d*(-2)/(-3). Solve s = -t + 1 for s.
-1
Suppose 0 = 10*g - 9*g. Solve -5*o + 3*o = g for o.
0
Let o = -6 - -8. Let x be ((-3)/(-2))/((-3)/(-6)). Solve x*z = o*z for z.
0
Let w(m) = m**3 - 2*m + 1. Let k be w(1). Suppose -2*n + 11 = 4*t - 1, 3*n - 12 = -3*t. Let l be k/(n/(-3 + 2)). Solve l = 3*h - h - 10 for h.
5
Suppose 3*s = -2*s + 10. Suppose 0 = -2*i + v - s, i + 23 = 4*i + 5*v. Solve 0*g = -g + i for g.
1
Suppose 4*a + 0 - 20 = 0. Suppose 0*s - a*s = -30. Solve -2*g - 4 = s for g.
-5
Let c(d) = -d**3 + 13*d**2 - 11*d - 10. Let t be c(12). Suppose -t*u + 3*p = 0, -2*u + 0*p + 4 = -p. Solve 4*y + u = -5 for y.
-2
Let x be 30/(-105) + (-4)/(-14). Solve 2*v + 10 = -x*v for v.
-5
Let g = -5 - -10. Solve 2*x + 7 - g = 0 for x.
-1
Let w(k) = -k**3 + 3*k**2 + 2*k + 8. Let u be w(4). Solve -s = -u*s for s.
0
Suppose 10 = 2*p + 2. Suppose 0 = -p*n - 4*q + 16, -3*n + 2*q + 18 = 6. Solve r - n*r = -15 for r.
5
Let z(p) = 14*p. Let r(k) = -k. Let j(h) = 77*r(h) + 6*z(h). Let d be j(1). Suppose w + 5*o = -6 + 31, w + d = 3*o. Solve -3 = 2*l + w for l.
-4
Let i(d) = 17*d + 2. Let k be i(2). Let t be (2/3)/(6/k). Solve 0 = -t*q - q + 15 for q.
3
Suppose 72 = -2*v + 5*v. Solve 5*t + v + 1 = 0 for t.
-5
Let q be (-14)/(-3) + 6/(-9). Suppose 0 = 2*o - q - 0. Solve -5*y + o*y = 0 for y.
0
Suppose -14 + 1 = -3*y - 5*q, 3*q = -5*y + 11. Suppose 0 = -n + y + 2. Solve n*a = a for a.
0
Let v(i) be the first derivative of -i**4/4 + i**3/3 + i**2/2 - 2*i + 1. Let g be v(2). Let o be ((-4)/2)/(2/g). Solve 0*l - 12 = -o*l for l.
3
Let u = -106 - -108. Let b(x) = 20*x**3 - x + 1. Let a be b(1). Suppose -4*i + a = i. Solve i*h + u = -2 for h.
-1
Let m = -9 - -6. Let j = m + 9. Solve 0*z - 2*z = -j for z.
3
Suppose -72 = 5*k - 13*k. Let m = 2 - 2. Solve -k = -3*o - m for o.
3
Suppose 7*o = 9*o - 4. Solve -o = -j - j for j.
1
Let n = 2 - 1. Suppose 13 = 3*k + n. Suppose 15 = -k*y + 47. Solve -u + y = u for u.
4
Suppose 47 = 4*w - 1. Suppose 3*m - 6*m = -w. Solve -m*o = -2 + 14 for o.
-3
Let r(m) = -m - 3. Let t be r(-6). Suppose -7 + 1 = -t*w. Solve -u + w*u + 4 = 0 for u.
-4
Suppose 0 = -4*a + 19 + 21. Let u be (-4)/a + 33/(-5). Let b = u + 13. Solve -c = -b*c + 10 for c.
2
Let b be 4/(-26) + 1566/377. Solve b*u - 5*u = -4 for u.
4
Let n(w) = -w**3 - 7*w**2 - 6*w - 2. Let l be n(-6). Let p = l + 7. Solve 4*x = p*x - 5 for x.
5
Suppose 2*l - 1 - 1 = -c, 5*l + 2*c = 4. Suppose l = -k + 10. Solve 0*f - k = 2*f for f.
-5
Let v(g) = -4*g. Let f be v(-3). Solve -x - f = -4*x for x.
4
Let l = 23 + -7. Solve 6*k - l = 2*k for k.
4
Let t(k) = k**2 - 9*k + 9. Let j(a) = 1. Let n(m) = 2*j(m) - t(m). Let o be n(6). Let p = o + -7. Solve p = r + 2 for r.
2
Suppose 1 + 14 = 5*y. Suppose 3*z = 2*z + y. Suppose 3*s - z*m = 1 + 11, -m = -3*s + 8. Solve -s = 5*k - 27 for k.
5
Let d be (0 - -2)/(-1) - -1. Let k = d - 0. Let f be (k + -2)/((-6)/16). Solve f*s - 3*s = -15 for s.
-3
Suppose -5*u = -20, -m + 2*u + 20 = 7*u. Suppose -4*j + m*j + 12 = 0. Let v be (20/(-15))/((-2)/3). Solve w - j = v*w for w.
-3
Suppose -3*f + 3*p + 24 = 0, 2*p = -f - 4*f + 12. Let m(h) = h**2 - 5*h + 4. Let c be m(f). Suppose 0 = -2*d - 2*d + 16. Solve c = -d*n + 6 - 18 for n.
-3
Suppose -4*a - 4*j + 4 = 0, j + 6 = -j. Suppose -2*q = 5*k - 7, 3*q - 1 = -3*k - a. Solve -8 = -k*z + 1 for z.
3
Suppose 0 = 4*b + 3*d, -d + 0*d = 4*b - 8. Let a = 1 + b. Let s = -2 + a. Solve 0 = -0*k - s*k - 2 for k.
-1
Let f(v) = -v + 13. Let w be f(10). Suppose 3*c - 12 = w*z, 14 = 2*z + 2*c + 2. Solve -z = -3*u + 11 for u.
4
Suppose -6 = -2*v - 0*v. Let h(j) be the second derivative of j**5/20 - j**4/3 + 5*j**3/6 - 2*j**2 - 2*j. Let w be h(v). Solve 3*t + 10 = -w*t for t.
-2
Let y(m) = -m**2 + 9*m. Let t be y(9). Suppose r + 3 = -t. Let z = 5 + r. Solve 4 = v - z*v for v.
-4
Suppose 4*u - 27 = 7*u. Let x(h) = -h - 4. Let f be x(u). Solve f*c - 2 = 13 for c.
3
Let q be (-5)/20 + (-47)/4. Let s be (40/q + 2)*-3. Solve 0 = -9*h + s*h for h.
0
Suppose -3*v - 20 = -v. Let k be -2 - (v - (1 - 1)). Solve 0 = 5*f + 17 + k for f.
-5
Let f be -6*(2/4 + -1). Let a be ((-2 + 2)/f)/1. Let x = 14 + -2. Solve 3*h + 0*h + x = a for h.
-4
Suppose f + 2 - 7 = 0. Suppose -1 = -3*p + f. Solve k + p*k = 12 for k.
4
Let t be (-7 - -2)*(-32)/80. Solve -t = 3*h + 4 for h.
-2
Let x = 3 + -5. Let s(y) = -y**3 - 2*y**2 - 2*y - 1. Let u be s(x). Solve 0 = u*b - 5*b for b.
0
Suppose -3*w + 15 = 3*b, -2*b + 4 = -b + 2*w. Suppose 5*d + 4*y = 8*y + 2, 0 = -5*d + 2*y + b. Solve 4*x = d*x - 2 for x.
-1
Suppose -2*w = 25 - 25. Suppose 66 = 4*z + 3*b, -z + 2*z - 5*b - 5 = 0. Solve w = c - 4*c + z for c.
5
Let o = -44 - -48. Solve -5*h - 11 = o for h.
-3
Suppose -25 = -2*s + j, 3*s + 4*j - 40 = 6*j. Suppose 0*b + 3*b = 0. Suppose b*c - 2*c = -s. Solve -3*p - c = -2*p for p.
-5
Let g be (20/(-30))/((-2)/9). Solve 0 = 6*x - g*x + 9 for x.
-3
Let w(x) be the second derivative of x**4/12 - 2*x**3/3 + 3*x. Let j be w(5). Let o = 1 + 5. Solve 0 = 2*k - j*k - o for k.
-2
Let p = 0 - 1. Let g = p - -3. Solve 0 = -7*q + g*q - 25 for q.
-5
Let n = -4 + 8. Let u be -1*(-5 - 1) + -1. Suppose b = u*b - 4*c - 20, 5*b = -c - 5. Solve o - 3 + n = b for o.
-1
Suppose -2*o + 4 = -3*o. Let t = o - -6. Suppose -3*j - 8*u + 5 = -3*u, -4*j - 4*u + 4 = 0. Solve j = -x - t*x - 12 for x.
-4
Let x be 8/28 - (-2)/(-7). Suppose -3*u + 12 = -0*u. Let a be -2*4*(-6)/4. Solve x = -u*z + 8 + a for z.
5
Let m(g) be the first derivative of -g**2 - 8*g - 1. Suppose -3*b + 2*a - 18 = -b, 2*a - 26 = 3*b. Let q be m(b). Solve -2 = 3*n - q for n.
2
Let s = 47 - 27. Suppose -2*o + 22 = 2*a, -4*o = -3*o - 3. Suppose q - a = -3*q. Solve -q*i - s = -6*i for i.
5
Let a(q) = 