 + -14. Let i = u - 22. Let k = i + 15. Solve -4 - 4 = k*x for x.
-2
Let s = -5 - -8. Suppose 0 = 8*p - 4 - 12. Solve -p*q - 5 = -s*q for q.
5
Let i be 4/(-14) - (-18)/14. Let w be 2*i - (-8)/4. Suppose 0*u - m = -5*u + 36, 2 = u + 5*m. Solve u*x = w*x + 6 for x.
2
Suppose 30 - 38 = -4*r. Solve 4*d - r = 3*d for d.
2
Let r be (-82)/(-8) - 5/20. Solve -4*p + r = -2*p for p.
5
Suppose -3*f - 12 = 3*t - 0*f, 2*t = 4*f - 8. Let r be 1*(-3)/(6/t). Let w be r*6/(-14)*-14. Solve 4*h - 28 + w = 0 for h.
4
Let u = -71 - -75. Solve u*h - 2*h = -4 for h.
-2
Suppose -5*t = -11 - 9. Let u be ((2 - 1) + 1)*5. Solve -l = t*l - u for l.
2
Let p be 6/((-1)/(16/(-12))). Suppose -z - 3*v + 2 = -10, -3*z + 5*v + p = 0. Suppose 3 = a - 2. Solve 1 = a*i + z for i.
-1
Let z be (-1)/(-4) - (-39)/4. Solve 0*x = 5*x + z for x.
-2
Let n(a) = -3*a**3 + 7*a**2 + 6*a + 4. Let o be n(3). Solve -3*d + 10 = o for d.
2
Let g be 1/(0 - 1)*-3. Let y be 0*(3/g - 2). Solve y*i = -3*i + 3 for i.
1
Let r = 0 + 2. Let k be (50/40)/(r/8). Solve 4*b = k + 15 for b.
5
Suppose -c = -1 - 4. Solve f = 6*f + c for f.
-1
Let s = 14 - 6. Suppose 2*w = 3*h - 0*h + 30, -w - 2*h = -s. Let a = -10 + w. Solve -8 = -a*m + 6*m for m.
-2
Let d = -3 - -13. Solve -3*i + d = 2*i for i.
2
Suppose f - 37 = -5*k, 5*k - 3*k = 4*f - 38. Suppose 2*t - 121 = -5*w, 0 = -w + 3*t + 30 + 1. Suppose 0 = b + 4*b - w. Solve -i + b*i = f for i.
3
Let r = 20 - 7. Suppose 5*c = r + 17. Let g = 8 + c. Solve -4*q + g = -2 for q.
4
Let o = -45 + 53. Let i(k) = k - 2. Let f be i(5). Solve f*x = 5*x - o for x.
4
Let g = -105 - -110. Solve g*v = 4*v + 1 for v.
1
Let p(d) = d**2 + 2*d - 4. Let a be p(-4). Let n be 309/9 - 2/6. Suppose n = 5*u - 31. Solve a*q + 1 = u for q.
3
Let v be 4/(-10) - 66/(-15). Solve v*n - 1 = 7 for n.
2
Suppose 0 = -0*w + 2*w - 6. Suppose -2*c - 2*r = -w*r - 1, 4*c + 2*r = -2. Suppose c = -5*s + s + 28. Solve 3*y + 8 = s*y for y.
2
Let k = 3 - -7. Suppose -5*b + k = -0*b. Suppose -1 = -b*s + 5*r, 2*r + 10 - 3 = 3*s. Solve -s*p - 5 - 1 = 0 for p.
-2
Suppose -3*y + 5*y - 6 = 0. Solve -x = -y - 2 for x.
5
Suppose -13 - 7 = -4*h. Let p(j) = 4*j - 12. Let y(b) = -2*b + 6. Let m(q) = -4*p(q) - 9*y(q). Let f be m(h). Solve 6 + 2 = f*o for o.
2
Let y = 13 + -7. Solve 4*j - j = y for j.
2
Suppose 2*f - 23 = 1. Let a = f + 0. Solve 3*j + a = -j for j.
-3
Suppose -4*t + 13 = -s, -3*t - 4*s = -19 - 5. Suppose 3*p - 4*b = -5*b + 16, 3*b + 30 = t*p. Suppose -19 = -5*z + p. Solve z*k - 5 = 4*k for k.
5
Suppose 5*b + 16 = 3*a, 3*b + 2*a + 2 = -0*a. Let t(d) = 6*d**2 - d - 1. Let s be t(b). Solve 0*r - 5*r = -s for r.
5
Suppose 4*m - 71 = -3*c, -2*c - 48 = -3*m + c. Solve -8 = 5*f + m for f.
-5
Let o be (2/(-3))/(2/(-18)). Let c = o + -1. Solve -3 = c*l + 2 for l.
-1
Suppose -3*k + 4*y - 2*y = -1, 27 = 5*k + 3*y. Solve -2*x + 5*x = k for x.
1
Let z = 77 + -71. Solve 4*x = z*x for x.
0
Let b be -1 + 0 + (-3 - -3). Let d = b - -3. Suppose 2*g = -0*g, -d*g = -y. Solve 0*a + 4*a - 16 = y for a.
4
Let x(o) = 25 + 3*o - o - 33. Let f be x(12). Solve 4*w - f = -0*w for w.
4
Let y = 31 + -26. Let q(o) = o + 7. Let p be q(5). Solve y*j - p = 2*j for j.
4
Let y be 51/12 - (-1)/(-4). Suppose 3*t = 2*t + y. Solve -2*q + t = 2 for q.
1
Let f(r) = 3*r + 0*r - r - 3*r. Let k be f(-2). Solve -k = -4*w + 14 for w.
4
Suppose -3*x + 0*x = -9. Solve 0 = k + 2*k - x for k.
1
Suppose -m - 3 = -2*m. Suppose -11 = -m*x + 4. Solve -8*p - x = -3*p for p.
-1
Let q(c) = c**2 + 5*c + 6. Suppose -u + 12 = -4*u. Let i be q(u). Solve -l + i*l = 0 for l.
0
Let c be (-3 - 8/(-3))*(1 - 28). Suppose 0 = -o - 0 + 1. Solve 0 = -5*j + o + c for j.
2
Let r(v) = v**2 - 2*v + 1. Let m be r(2). Solve 0 = -2*x + 5 - m for x.
2
Suppose 65 = 5*w - 2*o, -3*w = -o - 0*o - 38. Solve -w = -4*j - 3 for j.
2
Let v be (26*1)/2 - 1. Suppose 4*u = -4*p + v, 6*u = 3*u - 4*p + 10. Let w be (-1)/(u/(-14) + 0). Solve -w - 13 = 4*r for r.
-5
Let l be (-12)/42 - 2/(-7). Suppose l*p + 3*p = a + 5, -2*p + 6 = 2*a. Solve 0 = p*r + 3*r for r.
0
Suppose -4*t + 79 = -3*l, 84 = 4*t - 0*t - 4*l. Let b = t - 13. Solve -g = b + 1 for g.
-4
Let u = -139 + 142. Solve u*q = 7*q for q.
0
Suppose -2*m = -11*m + 27. Solve -12 = m*g - 0 for g.
-4
Suppose 3 = -4*x + 11. Solve -4 + 0 = -x*l for l.
2
Let k be (0 - (-3)/1)*1. Suppose 13 = 2*b + k. Solve 0 = -b*y - 0*y - 15 for y.
-3
Let r(k) = -k + 6. Let o be r(5). Let f be (45/(-6))/(o/(-2)). Let c(u) = 2*u**3 - 4*u**2 + 3*u - 2. Let z be c(2). Solve -f = -z*n + 1 for n.
4
Let t(q) = -q. Let s(k) = -k**3 - 4*k**2 + 5*k - 3. Let y(z) = s(z) + 3*t(z). Let j be y(-5). Solve -2*g + j = -6*g for g.
-3
Let m(l) = 5*l**3 - 6*l**2 + 10*l + 4. Let p(d) = -6*d**3 + 6*d**2 - 11*d - 5. Let w(a) = 5*m(a) + 4*p(a). Let x be w(5). Solve x*z + 7 = 2 for z.
-1
Suppose 0 = -4*g - 20, 2*o = -g - 0 + 9. Let u = 13 - o. Solve -a = -u*a + 20 for a.
4
Let z(t) = t**3 - 8*t**2 - 8*t - 9. Let r be z(9). Solve r = -3*g + 7 + 8 for g.
5
Suppose 18 = 4*t - 6. Solve 20 = t*j - 2*j for j.
5
Suppose 4*f - 190 = -f + 5*m, 4*f - 128 = -4*m. Suppose 0 = 5*z + 4*b + f, 4*z - b = -2*b - 17. Let l be (8/3)/((-2)/z). Solve 1 = -l*d - 11 for d.
-3
Suppose 7*y + 8 = 5*y. Let w = y - -5. Let u = w - -3. Solve 0*n = 4*n - u for n.
1
Let q be 2/(-11) - (-167)/11. Let a = 21 - q. Let x = -4 + a. Solve -v - 7 + x = 0 for v.
-5
Suppose 2*y + 4*i + 20 = 0, -16 = y + 4*i - 0*i. Let g be -1 - -2 - (y + 5). Suppose g = -0*s + 3*s - 6. Solve -2*b = -b - s for b.
2
Suppose -5*d + 23 - 16 = -f, d + 13 = 5*f. Let a = 1 - -2. Solve -13 = -a*q + d for q.
5
Suppose s + 2*s - 22 = -4*f, -4 = -f. Solve -4*v = -5*v + s for v.
2
Suppose 2*g - 24 = -4*p - 2, 2*g - 7 = p. Suppose 2*u = -3*u + 20. Suppose u*q = g*q. Solve q = -v - 1 - 4 for v.
-5
Suppose -4*q = -3*i + 6*i - 20, 8 = -2*q. Suppose i = 4*o - 2*o. Suppose 4*p = o*p. Solve p = s - 4*s for s.
0
Suppose -5*l + 31 = 2*d, -2*l + 6*d = 10*d - 6. Solve l - 32 = 5*k for k.
-5
Suppose -3*t = -2*f - 5 - 0, 4*f - 2*t = -14. Let j = f + 4. Solve j*b + 4 = b for b.
4
Suppose -9*g = -8*g. Suppose 4*l - 5*k = -l + 10, g = -k + 1. Solve l*r + 1 = 7 for r.
2
Suppose -5 = 2*f - 13. Suppose 4*a - 14 = -3*z, -f*a = 5*z - 9*a. Solve -8 = -0*o - z*o for o.
4
Let x(i) = 4*i**3 + i**2 - 2*i + 2. Let w be x(1). Solve -1 = 2*t + w for t.
-3
Let b(t) = 6*t**2 + 3*t - 2. Let m be b(2). Let f be m + 4/(-2 + 0). Suppose -3*p = 3*n + 5 + 1, 0 = 3*n - 5*p - f. Solve -n*j = 1 + 1 for j.
-1
Suppose -3*q = -3*f + 6, 3 = -f + 2*q + 1. Suppose -6*o + f = -3*o. Solve 0*l = o*l - 2 for l.
1
Let o be (-18)/30 + 16/10. Let i be 0*(3 - 2)*o. Solve i = -3*j - j for j.
0
Let v(i) = i**2 + 8*i + 13. Let s be v(-7). Solve -3*g + s*g + 3 = 0 for g.
-1
Let w(r) = -r - 6. Let p be w(-6). Let m be p - 3/(-6)*2. Solve 2*i = 3*i + m for i.
-1
Let c = 25 + -21. Solve -16 = c*d + 4 for d.
-5
Let w be 1/(-2)*(-2 + 2). Solve w = 3*r - 4 + 1 for r.
1
Let i = -55 - -56. Solve -i = 2*p - 5 for p.
2
Suppose 0 = 13*n - 7*n. Solve n = -m + 2 + 2 for m.
4
Suppose 0*b - 6 = -3*k - b, -2*k - 2*b + 4 = 0. Let v = -5 + 17. Solve -2*a - k*a - v = 0 for a.
-3
Let n = 15 - 10. Let a be (n - -2) + -3 - 2. Solve -5*g = -3*g - a for g.
1
Let w = -2 - -4. Let j be -5 + 7 - 0/w. Solve 0 + 6 = j*x for x.
3
Let h be 3 + -1 + -2 + 3. Let u be ((-4)/(-10))/(h/(-30)). Let t be 7*(24/(-21))/u. Solve -t*j = -6*j for j.
0
Suppose 0 = 2*o + 2*p - 4, 2*p = -2. Suppose u - o*f - 11 = -2, 4*u = -3*f - 9. Suppose -2*x - 3*k + 12 = -u*x, 2*x - k - 4 = 0. Solve 8*h - x*h = 5 for h.
1
Let m(w) = -w**3 + 6*w**2 - 4*w - 1. Let o be (-2)/(-8) - (-57)/12. Let i be m(o). Solve -6*t = -i*t for t.
0
Let b = 0 + 0. Let w be 4/(-14) - (-32)/14. Let i be 4/(-2) + w + b. Solve i = -5*h + 3*h + 8 for h.
4
Let u(r) = r + 12. Suppose 1 = p - 1. Suppose 8 + 12 = -p*i. Let s be u(i). Solve s*q = q + 4 for q.
4
Let u = 3 + 9. Solve z + u = -3*z for z.
-3
Let n(f) = -f**3 - 7*f**2 - 2*f - 12. Let j be n(-7). Suppose -j*o = o. Solve -4*c + 4 = -o for c.
1
Suppose 91 = -5*m + 116. Solve -4 = -4*c + m*c for c.
-4
Let f(t) = -t**3 + 6*t + 7. Let q be f(-2). Solve 11 = q*p - 4 for p.
5
Suppose -3*s - 12 = -7*s - 4*z, -3*z = 5*s - 17. Solve s = 2*q + 2*q for q.
1
Let b(u) be the second derivative of -u**5/20 - 7*u**4/12 + 7*u**3/6 - 4*u**2 - 3*u. Let l 