k + 8 = z for k.
2
Let y(q) = q**2 + 4*q - 10. Let n be y(-6). Solve 0*d + n = -d for d.
-2
Suppose 5*o - 3*h = 3, 0*h - 4*h = 4. Solve o = 3*m + 1 - 10 for m.
3
Suppose -4*r - r = 0. Let o = r - -2. Solve -d = o*d - 15 for d.
5
Suppose 14 = 5*d - 26. Let t = -8 - -43. Suppose s + 2*k + 5 = -1, 5*s = 3*k + t. Solve -d = -0*x - s*x for x.
2
Suppose k + d = 4, 0 = 5*k - 2*k + d - 14. Suppose 2*o - 10 = 0, -9 = -2*m + 6*m - k*o. Solve 0 = 3*r + 11 + m for r.
-5
Suppose -9 = 2*r - 5*r. Suppose 0*y + 9 = r*y. Suppose -v + 14 = -0*v - 4*l, 0 = 4*v + y*l + 1. Solve 2*p = -v*p for p.
0
Let v = -2 - 4. Let s be -3 + 11 + v/(-2). Solve s = -4*k - 1 for k.
-3
Let p = -25 + 67. Let i = p + -22. Solve 7*b - i = 2*b for b.
4
Let a be (1/3)/((-1)/(-171)). Let d be a/(-2)*(-6)/9. Solve 4*x + 1 = -d for x.
-5
Suppose 0 = o - 5 + 3. Suppose -3*l + o + 34 = 0. Suppose b - 2 - 2 = 0. Solve -b*n = -l - 0 for n.
3
Suppose -3*m + 5 + 1 = 0. Suppose s + m*s - 9 = -3*p, 3*s - 17 = 5*p. Solve -a + s*a = 0 for a.
0
Suppose -d + 7 = -9. Suppose -4 = 3*h + 4*n + 4, 4*n = -h - d. Suppose h*u + 13 - 61 = 0. Solve -4*q + u = -q for q.
4
Let g be ((-26)/(-39))/(2/6). Suppose 5*q - j - 16 = -5*j, -g*j = -2*q + 10. Solve q*l + 0*l + 8 = 0 for l.
-2
Suppose 0*q + 4*s = -q - 13, -s + 8 = 4*q. Solve -q = -p - 2 for p.
1
Suppose c = 5*p + 10, 18 + 2 = 4*c. Let v = 6 + p. Solve 3*k = v*k - 6 for k.
3
Let k be 16/(-6)*3/(-2). Suppose -r - 3*b + 19 = 0, 5*b - 38 = -k*r + 3. Solve r*h = -2 - 14 for h.
-4
Suppose -7*x + 3*x = -5*t - 33, 2*x + t + 1 = 0. Suppose 4 = x*o - 6. Let m(n) = n**2 - 12*n + 15. Let p be m(11). Solve -o + 21 = -p*k for k.
-4
Let x(z) = z**3 - 17*z**2 + 16*z + 5. Let j be x(16). Let t be ((-4)/(-2))/2 + 1. Suppose -j*h - t*v + 58 = -0*v, -38 = -3*h + 2*v. Solve 4*d - d = -h for d.
-4
Let o(k) = -k**3 + 4*k**2 + 2*k - 6. Let d be o(4). Let a be 4*(1 + d - 2). Solve -a*m + m = 9 for m.
-3
Let s be 84/15 - (-2)/5. Suppose s*n = n. Solve -4*j + 0 + 4 = n for j.
1
Suppose 4*o + k - 6 = 3, 2*o - 5*k = 21. Suppose 16 = 2*i - 4*i. Let f be 0/(-2) + i/(-4). Solve -f*z = z + o for z.
-1
Suppose 3*d + 2*z = 1, -3*d - 3 = 4*z - z. Let y(o) = o**2 + 1. Let m be y(-1). Let t = d + m. Solve 10*f + 20 = t*f for f.
-4
Let c = -44 + 48. Let q(k) = -k - 5. Let x be q(-9). Suppose 5*v = x*w + 13 - 2, 2*v - 5*w - 1 = 0. Solve g = v - c for g.
-1
Let z = 14 + -14. Solve z = -7*t + 2*t + 5 for t.
1
Let b be 3/5 + 4/10. Solve -b + 9 = 2*o for o.
4
Suppose 3*q - 48 = 3*o, 0*q + 5*q = -o - 28. Let d = o - -20. Solve 2 = -d*s + 3*s for s.
2
Let s(z) be the first derivative of z**4/4 + z**3/3 + z**2/2 - 2. Suppose 0 = 17*v - 18*v. Let f be s(v). Solve f*x = -x for x.
0
Let l = -16 - -27. Let z = l + -4. Solve -2*m + 1 = -z for m.
4
Suppose 2*u = 3*l + 44, -u + 8 = u. Let v = -7 - l. Solve 0 = -v*b - 7 - 18 for b.
-5
Let p = -139 - -139. Solve 2*x - 3 - 3 = p for x.
3
Let x = -43 - -47. Solve -5*u = -x*u - 4 for u.
4
Suppose -5*c + 4*i = -46 + 4, 5*i + 21 = c. Solve -2*q = q - c for q.
2
Suppose 1 = f - 3*r, 2 = -r + 3*r. Solve -20 = f*m + m for m.
-4
Suppose 0*d + 3*d = -6. Let p be d/2 + (3 - 1). Solve 7 - p = 2*c for c.
3
Let w = 6 - 3. Suppose 5*d - 5*i = 55, -5*i + 5 = w*d + 2*d. Solve j - d = 3*j for j.
-3
Let x(h) = -h + 21. Let o be x(21). Solve -r = -o*r for r.
0
Let i(v) = -11*v**2 - 7. Let k(h) = -6*h**2 - 4. Let d(s) = -3*i(s) + 5*k(s). Let c be (-2)/5 - (-3)/(-5). Let p be d(c). Solve p = f + 7 for f.
-3
Suppose -4*v - 2 - 22 = 0. Let g be (-1)/(-1) - (-24)/3. Let x = v + g. Solve -x*o = o + 12 for o.
-3
Suppose 4 = j - 0*j. Suppose -2*w - 7 - 1 = -4*t, -j*t + 22 = 5*w. Solve -4 = 2*r + w for r.
-3
Let v(p) = p**2 + 9*p + 6. Let r be v(-9). Solve 0*y + 2*y = r for y.
3
Let n be 20/11 - 10/(-55). Solve -n*c = -c for c.
0
Let i(n) = -n**3 + 4*n**2 - 4. Let a be i(3). Solve -a*u = -8*u - 6 for u.
-2
Let u = -5 - -7. Let h = u - -3. Suppose 7 = h*w - 3. Solve i = -w*i for i.
0
Let r(x) = x + 1. Let l be r(3). Let t(j) = -3*j. Let i(v) = -v. Let q(p) = 6*i(p) - t(p). Let z be q(-1). Solve y = z*y + l for y.
-2
Suppose 4*r = -3*h + 5 + 2, -3*r = 2*h - 5. Let i be (h - (-4)/(-1)) + 9. Solve -15 = x - i*x for x.
3
Let d(w) = w**2 + 7*w + 6. Let q be d(-6). Suppose -2*r - 3*r + 15 = q. Suppose -v + 4*m - 1 = -14, -v - 3*m = 8. Solve -4*b + r = -v for b.
1
Let b = 2 + 0. Suppose 5*x + 3*u + b = -0, 0 = 3*x - 2*u - 14. Solve x + 1 = o for o.
3
Suppose 3*s + 4*o - 21 = -o, -7 = -5*s + o. Solve 2*l + s = l for l.
-2
Suppose -11*c = -16*c. Let t(y) = -2*y + 7. Let n be t(c). Solve -2*b = -n*b for b.
0
Let s be (4 - 5) + (3 - -2). Solve -x + s*x = 12 for x.
4
Let j(g) = g**2 + g + 1. Let x be j(0). Let h = -1 + 5. Solve o - x = h for o.
5
Let k(f) = -f**3 + 4*f + 3. Let d = -5 + 3. Let z be k(d). Suppose 4*m - m + 22 = 2*g, -z*g - 1 = 4*m. Solve g*i + 9 - 29 = 0 for i.
4
Let l be (-7 - 41)/((-9)/6). Let z = l - 29. Solve z*j + 0*j + 3 = 0 for j.
-1
Let d(i) = 4*i - 5. Let b be d(4). Suppose 0 = 2*g - 3*o - 5, -2*g - g + o = -b. Solve g*p = 8*p - 20 for p.
5
Let h be ((-12)/14)/((-3)/21). Let d be (h/21)/(2/14). Solve 0 = l + l + d for l.
-1
Suppose 0 = -3*m - 10 + 25, -4*m + 5 = -5*z. Suppose -z*t = t. Solve 8 = 4*l - t for l.
2
Let k = -65 + 67. Solve 4*s = 2*s - k for s.
-1
Suppose -10*h + 3*h = -14. Solve 4*x = 3*x - h for x.
-2
Suppose 3 = y - 1. Let p(l) = l**2 - 4*l + 3. Let v be p(y). Suppose -7 + v = -2*f. Solve -r + f*r = -4 for r.
-4
Suppose 0 = -3*t + 5*t - 6. Suppose -7 = -2*i - t. Solve i*w = 2 + 4 for w.
3
Let n be 10/(-14) + (-6)/21. Let z be 3/(3/2) + n. Solve z + 5 = -2*k for k.
-3
Let m be -3 + 0 - (0 + -13). Solve w = -4*w - m for w.
-2
Let a be (-3)/(3/(-2)) + 0. Let y = 177 + -171. Solve a*b = 4*b + y for b.
-3
Suppose 4352 = -2*u + 6*u. Let b be 2/9 - u/36. Let x = b + 45. Solve -5*z + 0*z = -x for z.
3
Let h be 26/(-4) - 2/(-4). Let a be 38/h + (-8)/(-24). Let k be 2 - 0*3/a. Solve -k*b = -b for b.
0
Let b = 4 - -2. Let p be 3/b*(9 - -1). Solve p*u - 10 = 15 for u.
5
Suppose -4*w = 4, 4*o - 3*w - 51 = -20. Let y = o - 1. Suppose 3*u + 6 - 9 = 0. Solve -y = a - u for a.
-5
Let q(t) = t**3 - 13*t**2 - 15*t + 17. Let p be q(14). Solve 0 = 7*i - p*i for i.
0
Let c = 14 - 11. Suppose -27 + c = -4*w. Solve 3*a = w*a - 6 for a.
2
Let x = 14 - 8. Let d be ((-3)/(-2))/(x/64). Solve -3*r = r - d for r.
4
Suppose 4*w = 5*w - 5*m + 15, -5*w - 2*m + 6 = 0. Solve w = -5*l + l - 20 for l.
-5
Let c be (-5 + 5)*(-1)/(-4). Solve c = 3*l + l for l.
0
Let t(m) = 5*m + 4. Let z be t(-3). Let a(q) = -q**2 - 12*q + 14. Let x be a(z). Solve h - 6*h = -x for h.
5
Let l be ((-3)/(1 - 0))/(-1). Let n = -2 + 2. Suppose -i + 16 = -5*i, l*f - i - 10 = n. Solve h = -f*h for h.
0
Suppose -4*c - 7 = 5*x, 4*c - 11 = 4*x + 9. Let m = 16 + -22. Let q be (-44)/m*(x - -6). Solve -3*a - q = -7 for a.
-5
Let r(j) = -j**2 + 2*j + 4. Let s be r(0). Solve 3*y = -s + 1 for y.
-1
Suppose -r + 30 = 4*x, r = -5*x - 2*r + 41. Suppose 0 = 5*z - 48 + 23. Suppose -2*s - 16 = -z*c, 0*s + x = -c - 3*s. Solve -c*w = 3*w for w.
0
Suppose -5*i - 3*t + 2*t = -5, -2*t = 5*i - 10. Suppose i = -5*j - 15, 3 = -y - y + 5*j. Let d(k) = k + 13. Let l be d(y). Solve x + l = 2 for x.
-2
Let c be 1 - (-1 + 3 + (-3 - 8)). Solve 6*j = c*j + 20 for j.
-5
Let v(i) = 5*i - 5. Let u be v(3). Solve -3*m = -1 + u for m.
-3
Suppose -3*w - 2 = -23. Suppose -13 = -w*b + 8. Solve b*y = -2*y for y.
0
Let n be (-1)/(0 - (-4)/(0 + -4)). Solve -n = 5*s - 16 for s.
3
Let z(l) = 2*l**2 + 6*l + 2. Let o be z(-5). Suppose 4*i - 76 = -4*q, 2*i + 13 - 99 = -5*q. Let k = q + -10. Solve 0 = -4*s - o + k for s.
-4
Let r be (-46)/(-6) + (-5)/(-15). Suppose f - 4*b = -f - 16, 2*f - r = -2*b. Solve f*j = -2*j for j.
0
Let i be (-58)/(-6) + (-4)/6. Suppose 0 = -4*l + i + 7. Let p be -1*(2 - l - 0). Solve p*j = -6 - 4 for j.
-5
Let l = 4 + -4. Suppose l = -8*f + 5*f. Solve 1 = -b - f for b.
-1
Let h(q) = -q**2 - 14*q - 31. Let c be h(-11). Solve -c*o = o - 9 for o.
3
Let f(i) = i. Let o be f(1). Let q(b) = -2*b - 4. Let j be q(-3). Let h be o/(j/32) + 0. Solve 0*t + 4*t - h = 0 for t.
4
Suppose 2 = p + p. Let y = -33 - -34. Let d be -1*(-4 - p)*y. Solve -d*w + 16 = -w for w.
4
Suppose 5*w + 3*l = 47, -l = 5*w - 0*l - 49. Suppose -c - w = 4*c. Let z be -2*-1*(-5)