be (6 - -1) + a/2. Solve 0*j - 3*j + t = 0 for j.
3
Suppose -w - w + 6 = 0. Solve -7 - 5 = -w*n for n.
4
Suppose -2*g - 2*g = -6*g. Suppose -63 = -5*a - 2*h + h, -2*a + 3*h + 32 = 0. Suppose -5*v = -4*m + 8 + a, 17 = 4*m - v. Solve g = 7*k - 3*k + m for k.
-1
Let h(o) = 7*o**2 + o. Let b be h(-1). Suppose -m + 1 = -4. Suppose 3*a = 8*a, 20 = 5*w + m*a. Solve w*j - 2 = -b for j.
-1
Let y(h) = h**2 + 5*h - 1. Let w be y(-3). Let f(v) = -v**3 - 7*v**2 + v + 10. Let k be f(w). Suppose 0 = 3*u - 5*m + 1, 7 + k = 2*u + 2*m. Solve u*l = l for l.
0
Let j(x) = -3*x**2 - 3 + x**3 - 1 + 0. Let m be j(4). Let f = -4 - -6. Solve -f*c + m = c for c.
4
Let j(l) = -3*l - 14. Let i be j(-6). Solve 5*y = i*y for y.
0
Suppose 0 = a + 11 - 13. Solve -a*n - 6 = n for n.
-2
Suppose 23 = 5*o + 4*y, -5*o = 2*y - 5 - 24. Solve o*c = 3*c + 8 for c.
2
Suppose 0 = -2*s + 4*s - 4*q - 32, -31 = -2*s + 3*q. Let x be 35/49 + 4/s. Solve -5 + x = -p for p.
4
Suppose 3*v = -0*v + 6. Suppose 0*t - v*t = 5*i - 47, -2*i + 15 = -3*t. Suppose 0 = -h + i - 4. Solve 0 = 5*d - 20 + h for d.
3
Let r be (-2)/(-2) - -11*4. Suppose 3*n = -5*c + r, 5*c - 9 + 69 = 4*n. Solve -p - n = 2*p for p.
-5
Let a be (54/(-6) - -11)*(-2)/(-1). Solve a = 7*z - 11*z for z.
-1
Suppose -2*b + z + 4 = 0, -5*z - 13 + 35 = 4*b. Suppose b*d - 4 = 2. Solve 4*l = d*l + 10 for l.
5
Suppose 2*i = 17*i - 0*i. Solve i = 4*r - 0 - 12 for r.
3
Suppose -4*j - 2*b = -60, 3*j - 38 = -13*b + 15*b. Solve -3*t = 8 - j for t.
2
Suppose -i + 1 = -1. Let o = 11 + -8. Suppose -4*m + 13 = o*v, 0*v + 4*v = -m. Solve m = i*b - 6*b for b.
-1
Let b(h) = h**3 + 7*h**2 + h - 5. Let l be b(-6). Solve -c = 4*c - l for c.
5
Let a(x) = -x**3 + 3*x**2 - x - 1. Let d be a(1). Let m(c) = c**3 + 3*c**2 - 5*c - 1. Let r be m(-4). Solve d = -r*k + 6*k for k.
0
Suppose 5*s + 21 = 3*a + 5, -5*a - s = 20. Let b be 6/(-6 - a) + 2. Solve b = -w - 4*w - 20 for w.
-4
Let f(n) = -34*n**3 - 2*n**2 + 2*n - 1. Let x be f(1). Let l = -3 - x. Let j be (-2 - 3)*l/(-10). Solve -j = -4*r - 4 for r.
3
Let t be 1 - -1 - 3*-1. Suppose 2*x - t - 15 = -2*p, 3*p - 20 = -5*x. Let l be (1/1)/(1/p). Solve -2*j - j = -l for j.
5
Suppose 6*x = x. Let n be (-203)/(-21) - (-2)/6. Solve x = -j + 3*j + n for j.
-5
Let t be (-1 - 0)*(-6 + 13 + -7). Solve -4*p + 4 + 8 = t for p.
3
Suppose 22 = 6*z - 2. Solve z*b - 18 = 2 for b.
5
Let n(w) = -4*w - 7. Let i be n(3). Let j = -5 - i. Solve -5*f + j = -6 for f.
4
Suppose 6*f + 112 = 2*f. Let s = 81 - 77. Let n be s/14 - 160/f. Solve 0 = -m + n*m - 5 for m.
1
Let a(k) = -k - 9. Let p be a(-8). Suppose -5*r - 4 = -q, -5*r + 3 = -2*r. Let i = q + p. Solve i*n - 5 = 3*n for n.
1
Suppose 3*s - 34 = -4*l - 0*l, -s + 2*l = 2. Let h(p) = -p + 10. Let o be h(s). Solve 3*z - o = -z for z.
1
Let v be (11/4)/(4/(-16)). Let a be v/(-2) - 18/(-12). Solve 0 = -5*z - 8 - a for z.
-3
Let y be -1*2 + -2 + 6. Suppose -y*j = -3 - 7. Solve j*u - 1 = 4*u for u.
1
Let n(x) = -x**2 + 10*x + 10. Let p(k) = 5*k**2 - 41*k - 40. Let o(m) = -9*n(m) - 2*p(m). Let d be o(-5). Solve d*h = -0*h - 25 for h.
-5
Suppose 27 = 7*c + 6. Let l = 2 - 2. Solve -d - c*d - 20 = l for d.
-5
Suppose -5*l - g = -25, 0 = -6*l + 3*l + 5*g - 13. Solve l*p + 1 = -11 for p.
-3
Let d = 9 - 7. Suppose 5*p = -0*p + 15. Suppose 3*z + 2*i = 2*z + 35, 130 = 5*z + i. Solve -p*b + z = d*b for b.
5
Let d = 40 - 35. Solve 2*x = d*x + 15 for x.
-5
Suppose 0*f + o - 9 = -f, -2*f + 5*o = -11. Let c be ((-14)/f - -1)*4. Let k(j) = -j + 2. Let q be k(c). Solve -q = -3*s + 4 for s.
3
Suppose -b + 4*b - 6 = 0. Let z(c) = -c + 3*c - 4 + 1. Let u be z(b). Solve 9 - u = -4*i for i.
-2
Let n be (-5)/(-15) + 2/3. Suppose -3*m + 14 + 9 = -2*w, -n = -m - w. Solve m*k - 26 = -1 for k.
5
Let a(q) = -q**2 + 2*q + 8. Let t be a(0). Solve 0 = r + r - t for r.
4
Let t = -96 - -101. Solve -t*r = 11 - 31 for r.
4
Suppose 4*k + 59 = 5*h - 9, -2*k + 4*h = 40. Let a(p) = p**3 + 8*p**2 + 5*p + 7. Let r be a(-7). Let t = k + r. Solve -t = -3*s - 3 for s.
2
Let w = 32 + -29. Solve -2 = -5*l + w for l.
1
Suppose -4 = 2*y - 3*y. Suppose -y*b + 4*a = -104, 3*a + 10 = a. Suppose b = d + 2*d. Solve 3 = -4*t + d for t.
1
Suppose -7*g = -6 - 22. Solve -14 + g = -5*b for b.
2
Suppose 3*z - 5*z + 18 = 4*w, -4*w - 5*z + 27 = 0. Solve x = w*x + 2 for x.
-1
Let j be (-85)/(-34) + 6/4. Let m(c) = -c**3 + 7*c**2 - 7*c + 6. Suppose -2*z - 3*o = -2 - 10, z = -4*o + 6. Let f be m(z). Solve q + 0 + j = f for q.
-4
Let c be 2 + (4 - 6) - -8. Solve 4*m - c = 6*m for m.
-4
Let s be 20/(-15) + 13/3. Solve 2*l - s = 1 for l.
2
Let k be 9 - 3 - (1/(-1) + -1). Solve -5*u + k = -u for u.
2
Let w = 0 - -2. Let s be (w*-1)/((-8)/28). Let l = 11 - s. Solve 2 + 2 = -l*x for x.
-1
Let r = 363 - 624. Let k be 1/6 + r/(-54). Solve -3 = -4*b + k for b.
2
Let g be (14 + -14)*(-1)/3. Solve g*p + 3*p = -3 for p.
-1
Let b(k) be the third derivative of -k**5/60 + k**4/2 - 4*k**3/3 + 2*k**2. Let h be b(11). Let j(q) = -q - 3. Let z be j(-6). Solve h = -3*n - z for n.
-2
Let w = -10 - -13. Suppose 0 = 5*c + w - 13. Suppose 2*z + 3*j - 1 = z, -4*j = c*z - 4. Solve 7*i + 3 = z*i for i.
-1
Suppose 6*c - 8 = 2*c. Suppose 0 = c*t - 4*j - 4, j = t - 2*j - 3. Solve t = -4*y + y for y.
0
Let w be (-2 + 2 - -7)/(-1). Let a = w - -10. Let p = 1 + a. Solve 27 = p*l + 11 for l.
4
Suppose -2*p + 18 = 4*r, -3*p = r - 2*r + 1. Suppose -4 + 13 = 3*n, -5*x + 3*n + p = 0. Solve 0 = -0*a + x*a - 6 for a.
3
Let u = -135 - -139. Solve -8 = u*x + 4 for x.
-3
Suppose -5*y + 10 = 2*p, 2*y = 2*p - 0*p + 4. Suppose -6*g = -5*h - 4*g, h = -4*g. Solve p*k + 4*k = h for k.
0
Let t(w) be the first derivative of w**3/3 - 7*w**2/2 - 7*w - 3. Let l be t(8). Solve 0*a + a = -l for a.
-1
Let b(s) = -6*s - 7. Let t be b(-3). Let j = -7 + t. Solve -j*n = -3*n for n.
0
Let q(n) = n**2 + 2*n - 4. Let f be q(-4). Solve f*k - 9 = 7*k for k.
-3
Let v be (-5)/1*(-12 - -7). Suppose 5*f + 10 = 5*o, 8 + 6 = -f + 4*o. Solve -v = f*b + 3*b for b.
-5
Suppose -3*u = -4*u + 7. Suppose -5*y + u*p + 66 = 3*p, 0 = 2*y + 2*p - 30. Suppose 0*l + 2*l = y. Solve 2*s - 10 = l*s for s.
-2
Suppose 3*c - 7 = 2*c. Suppose 0 = c*x - 3*x. Let r = x + 3. Solve 0*a - 6 = r*a for a.
-2
Let d be ((-2)/6)/((-2)/12). Let w be ((4/d)/1)/1. Let a be (1 + w)*(-2 - -3). Solve 6 = -a*c - 6 for c.
-4
Suppose -3*s = y - 4, 4*y + 18 = 6*s - s. Let i be (1/(-2))/(y/(-24)). Let b be i/(-2) - (-15 - -3). Solve 5*j = -b - 5 for j.
-4
Let d be 2/(-4)*0/(-2). Solve d = -2*i + i + 5 for i.
5
Let r be (-48)/(-9) - (-8)/12. Suppose -r = -a - a. Solve -a*p + 4*p + 1 = 0 for p.
-1
Suppose 0*v - 2*v + 6 = 0, -12 = -g - 3*v. Solve -12 + 0 = g*u for u.
-4
Let a(k) = k**2 - 13. Let c be a(4). Solve 0 = 5*v + c + 2 for v.
-1
Suppose 3*g = -4*x - 24, -x - g = 2*x + 13. Suppose 2 + 2 = -2*d. Let q be -3 - d - (-4 + x). Solve -4*m = -q - 14 for m.
5
Let y be 2 + 0/(-1) + 0. Suppose 2*w = 2*a + y, -2*a = -3*w - 3*a + 3. Solve -v - w = -0*v for v.
-1
Let x(z) = -3*z - 3. Let k be x(-2). Solve k*h = 2*h for h.
0
Let j = -6 + 10. Suppose 3*i + j*h = 14, 5*i = 3*i + 3*h - 2. Solve 0 = -4*m - 2 - i for m.
-1
Suppose 3*r = 3*r - 4*r. Solve 0 = -r*g + 4*g + 4 for g.
-1
Let i(j) = -j**2 + 3*j + 4. Let l = 1 - -2. Let f be i(l). Solve 6 + 2 = f*d for d.
2
Suppose j = -26 + 28. Solve j*v = -3 - 1 for v.
-2
Suppose -4*j - 18 = -66. Solve 4*x + j = -8 for x.
-5
Let m = -5 - -2. Let w = m - -7. Let b(y) = y**2 + 1. Let x be b(2). Solve x*t - w*t + 1 = 0 for t.
-1
Let d(o) = o. Let z be d(0). Solve 5*r + z = 5 for r.
1
Let x = -235 - -333. Suppose -3*n - x = 10. Let u = -21 - n. Solve 0 = -4*a + 5 + u for a.
5
Let g = -3 - -3. Let i = -6 + 12. Suppose 5*t = 5*r + 15, 6*t = 3*t - 2*r - i. Solve 2*w + g*w + 8 = t for w.
-4
Let x(n) = n**3 - 3*n**2 - 2*n - 4. Let i be x(3). Let q be -21*((-11)/(-3) + -3). Let f = i - q. Solve 8 = 2*h - f*h for h.
-4
Let o(y) = -6*y. Let a be o(3). Let i = a - -12. Let s be 20/(-15)*i/4. Solve -u - 1 = s for u.
-3
Let v be 2 + -5 - (-8 + 1). Solve -7*w + 3*w = v for w.
-1
Suppose 0*p - 10 = 2*p. Let o(s) = -s - 1. Let x be o(p). Solve 4*d = x - 12 for d.
-2
Let g(t) = -8*t + 0*t**2 + 7*t**2 + 3 + 5 + t**3. Let v be g(-8). Solve 2*f - v = -0*f for f.
4
Let y = 69 - 53. Solve 6*x - 2*x = -y for x.
-4
Suppose -21 = -3*r - 9. Solve r*m + 1