
Let h(b) = 2*b**2 - 2*b - 4. Let a be h(2). Solve -q - 3*w + 12 = 0, 0 = 4*q + w + 7 - a for q.
-3
Suppose 3*o = 8*o - 10. Suppose 15 = p + o*p. Solve 0 = -p*a, -4*z + 0*a = -2*a + 12 for z.
-3
Suppose 0 = -3*y - 0*y. Solve -4*n + 3*u + 11 = y, 18 = -0*n + 3*n + u for n.
5
Suppose 5*d + 0*d = 4*w + 17, -5*w + 30 = 4*d. Suppose 5*y - 8 = -t, -w*y + 6 = 2*t - 26. Solve q - 7 = -v, -q - q = 3*v - t for q.
3
Let v(s) = s**2 - 2 + s - 3 + 2*s + 2*s. Let w be v(-4). Let o = 13 + w. Solve -24 = -o*i - d - 3*d, d = -3*i + 10 for i.
2
Suppose 10 = 4*h - 5*x, 4*h - 18 = -x + 2*x. Solve 2*j - 2 = -h*y, 5*y - j = j + 18 for y.
2
Suppose 15*h - 25*h + 40 = 0. Solve -h*y = -3*t - 5, -2*y = 3*t - y - 5 for t.
1
Suppose 3*p + 0*u - 11 = -2*u, -p = -u - 2. Suppose -h = 2*m + 8, 3*m + p = h - 9. Solve h = 5*f - 4*k - 29, -4*f + 29 = -2*k + 7 for f.
5
Let i = 9 + -5. Let o be i/(3 + (-2 - 0)). Solve l + 3*m = 3, o = l - 3*m + 1 for l.
3
Let m(h) = -h**2 - 4*h - 4. Suppose -3*z - 10 = 2. Let u be m(z). Let k(o) = -o + 1. Let r be k(u). Solve -10 = -r*p + 2*p + c, -2*p + 2*c + 8 = 0 for p.
3
Let s(x) = x**3 + 9*x**2 + 7*x - 4. Let u be s(-8). Let b(h) = -h - 3. Let l be b(-5). Solve l*a = 5*y - 27, 2*a + u = 2 for y.
5
Suppose -i = 4*x + 7, -3*x + 5*x + 4 = 0. Solve h - i = -w, -w = h - 4*w - 13 for h.
4
Let a(n) = n**2 + 1. Let f = -13 + 11. Let k be a(f). Solve -5*j = -3*c - 1 + 3, k*j + 10 = 5*c for j.
2
Let w be (-2)/2 - (-9 + (-18)/(-6)). Solve -5*g + 9*r - 4*r = 40, -4*r - 13 = w*g for g.
-5
Let d = 9 - 9. Solve d = 4*p + 4*o, 0*p + p + 2*o + 2 = 0 for p.
2
Let x = -13 + 8. Let j be ((-18)/15)/(2/x). Solve a = m - 2, -4*a - 7 = -2*m + j for m.
-1
Let n(l) = -l**3 + 2*l + 10. Let c be n(0). Solve 2*d - 4*i = c, -2*d - 3*i = 2*i - 10 for d.
5
Let x(q) = q**3 - 3*q**2 + 3*q. Let l = 22 + -20. Let v be x(l). Solve -4*y - 5*t = -t - 8, 0 = -y + v*t + 5 for y.
3
Let q be ((-10)/7)/(7/(-49)). Solve 5*g - q = 0, -5*a = 4*g - 1 + 18 for a.
-5
Let p(l) = -4*l - 1. Let b be p(1). Let u = -2 - b. Suppose -2*s = -2*f - u*s + 3, 9 = 4*f + 3*s. Solve f = -2*h + 2*t + 8, 4*h + t = 1 for h.
1
Suppose 0 = 5*d + m - 5 - 0, -d - 25 = -5*m. Solve v + 1 + d = k, 0 = k - 4*v - 16 for k.
-4
Suppose 0 = -5*d + 4*r - 11 + 1, -5*d - 3*r = 45. Let g be d/21 - (-48)/21. Suppose -2 = -g*w + 2. Solve 0 = k - 2*k + w*a - 7, 3*a - 23 = 4*k for k.
-5
Let l be 3*((-13)/(-3) - 3). Solve -4*r + 12 = 0, -14 - 4 = -3*w - l*r for w.
2
Suppose 4*b = -b + 30. Let w(g) = g - 2. Let j be w(b). Solve a - 5 = 3*s + 6, 3 = -a - j*s for a.
5
Let w = 1 + -2. Let a be (-24)/8 + (w - -29). Solve -a = 5*p + 3*u, -3*u + u - 10 = 0 for p.
-2
Let t = 19 + -17. Let d be t/(0 + -1 + 2). Solve -4 = -d*f, r = 6*r + 3*f - 1 for r.
-1
Suppose 16 = 2*p + 4. Let d be (-1 - (-3)/9)*-3. Solve 0 = 3*x + 9, 3*f + d*x - p = 7*x for f.
-3
Let q(l) = 2*l - 6. Let b(m) = m**2 + m + 2. Let x be b(-2). Let t be q(x). Solve 3*w - 18 = 4*u + u, -t*w - u - 1 = 0 for w.
1
Let j(o) = -9*o + 2. Suppose -6*i = -i + 10. Let n be j(i). Let r be 8/n + (-8)/(-5). Solve k + 4*w - r*w + 6 = 0, 0 = -2*k + 5*w - 3 for k.
-4
Let m = 0 + 0. Solve -2*y - 4*n + 10 = -m*n, 5*n = 20 for y.
-3
Suppose 5*l + p - 3 - 26 = 0, -40 = -4*l - 5*p. Solve 4*q = -3*j - 0*q + 8, 0 = l*j + q + 15 for j.
-4
Let r be (2/3)/(2/3). Suppose -p = -4 + r, -16 = -m - 5*p. Let q be (0*m/3)/1. Solve q*j - 5*g = -5*j + 15, 0 = -4*j + g + 9 for j.
2
Let s(i) = i - 3. Let f be s(3). Suppose 3*g + 5*v - 16 = f, 4*g - g = -4*v + 14. Let m be g - (-9 + 3)/(-3). Solve 0*u + u = -h + 4, -3*u + 9 = m for h.
1
Let z(j) = -j - 1. Let r be z(-1). Let y = 0 - -8. Suppose h = 3*h - y. Solve -n - 7*v + 2*v + 20 = r, -h*n + 4*v = 16 for n.
0
Let j(a) = -a**2 - 9*a + 3. Suppose -5*d - 47 + 2 = 0. Let v be j(d). Solve 0 = c - 3*c - 4*t - 12, -4*t - 32 = -v*c for c.
4
Suppose 3*k = -k + 12. Suppose -4*v = -2*o + o - 19, -2*o - 26 = -5*v. Solve v*i = k*u + 14, 4*i - 18 = -0*u + u for i.
5
Suppose -2*r + 0*r = 0. Let v = 9 - r. Let y = v + -3. Solve -q + y = n, -3*n + 5*q + 6 = 4*q for n.
3
Suppose 0 = 3*t - 2*u + 4*u - 7, -5*u + 10 = 5*t. Suppose -2*v = v + 48. Let k be (v/(-10))/((-26)/(-65)). Solve r - 5*r = 0, -p - t*r = -k for p.
4
Let n(s) = -s + 10 + s + s. Let b be n(-9). Suppose t - 4 = b. Solve 0 = -r - v - 3*v + 3, t*v = 0 for r.
3
Suppose 2*p - 16 = -2*f, 10 = 4*f + 2*p - 12. Suppose -f*z + 6 = -3*s, 3*z + 7*s = 2*s + 6. Solve 4*i = z*w + 6, 0*w = -5*i + w + 12 for i.
3
Let x be 2*2 - (4 + -2). Suppose -3*m + b - 5*b = 0, 0 = x*m - 4*b. Suppose -3*v + m*v = 0. Solve v = -4*n + 12, 8 + 3 = -4*o + n for o.
-2
Let n be 1 + 21 - (-13 - -9). Let t = -22 + n. Solve -3*q - t*x = -q - 14, -3*x + 18 = 3*q for q.
5
Let q be (-3 - -3)/(-1 + 0). Suppose -64 = -4*y - 0*y. Let z(a) = a**2 + 3*a - 14. Let w be z(-6). Solve q = -v + 2*v + 1, 4*c = -w*v - y for c.
-3
Let b(u) = -3*u - 2. Let q be b(-2). Solve -16 = 3*o - 5*o - 4*l, -q*l = 4*o - 12 for o.
-2
Suppose 5*l + 8 = 18. Solve -2*w = -5*d - 27, 3*w + l*d = 2 - 9 for w.
1
Suppose -50 = -5*d + 5. Let m(s) = -s + 15. Let c be m(d). Solve r + 0*r - c*k + 13 = 0, -r - 11 = -3*k for r.
-5
Let t(m) = -3*m - 8. Let v be t(-4). Let b be (v - 4)/(-4) + 2. Solve -b*r = -p + 2*p + 1, -2*r - 6 = 2*p for r.
2
Suppose -8*z + 5*z = -9. Solve -4*f - 12 = -z*k - 7*f, 16 = 4*k + 2*f for k.
4
Let v = 32 + -27. Solve 4*j = -o + 20, -3*o + j - v = o for o.
0
Suppose -2*p + 7 = 1. Suppose p*m = 2 + 25. Suppose -k - 2*r + 6*r - 8 = 0, -m = -2*k + 3*r. Solve 1 = -4*u - y + k, -2*y - 17 = -5*u for u.
3
Suppose 10*a - 16 = 14. Solve -4*p - 5 = -a*h, -1 + 6 = 3*p - 4*h for p.
-5
Suppose -i = -2*g, -3*g - 4*i + 2*i = 0. Let a be 1 + -1 - (g - 0). Suppose a*l - 5*l + 30 = 0. Solve 4*h - n = -l, 5*h = 4*h - 4*n + 7 for h.
-1
Let v be (-180)/(-35) - (-2)/(-14). Solve v*p + 4*c = 16, -3*c - 11 = -3*p + p for p.
4
Suppose -8*t - 6*t = -84. Solve 4*n - 32 = -t*o + 2*o, o + 8 = 3*n for n.
4
Suppose -l + 8 = 3. Suppose 3 = -3*y + 15. Solve 0 = -l*u + 3*o + 13, -o = -4*u + y*o for u.
5
Let i(q) = 2*q**2 - 6*q + 5. Let g be i(3). Solve -s = g*t - 10*t - 27, 3*t = -5*s - 5 for t.
-5
Suppose 0 = -4*z - 5*o + 15, 2*z - 4*o - 30 = 10. Solve v = -5*x - 17, 0 = 5*x + 2*v + z + 9 for x.
-3
Let i = 37 - 17. Suppose -8*y + i = -4*y. Let w(o) = -8*o. Let g be w(-1). Solve 3*s = y*z - 1 - g, 4*s - 5 = z for s.
2
Let t(g) = 0*g - 2 + 0 - g. Let b be t(-7). Suppose -16 = -4*w - 4*s, b*w - 2 = -4*s + 17. Solve 4*x + 19 = -k, -w*x - 8 = -3*k - 2*x for k.
1
Let d(v) = v - 5. Let l be d(7). Let a be 3 + -2 + 17 + l. Let u be (1/2)/(1/8). Solve 2*y + t - a = 5*t, -3*t - 15 = u*y for y.
0
Let h = 9 - -27. Let n be (-8)/h + 38/9. Suppose -117 = -3*z - 0*z - 3*r, -124 = -4*z + 4*r. Solve 4*p + 5*k + 37 = 0, -2*p - 5*k + n = z for p.
-3
Suppose 0*x - x = -1. Suppose 0 = -2*j + 15 - 5. Suppose 6 - x = j*n. Solve 0 = -3*s + v + 13, -2*s = 3*v + n + 5 for s.
3
Suppose 16 = 2*k - k. Let c = -6 + 8. Solve d - q - 13 = -c*d, -4*q - k = 0 for d.
3
Let o = -2 + 9. Solve 4*a = -4*w, 0 = 2*w - o*a + 2*a - 35 for w.
5
Let g = 10 - 4. Suppose -5 - 8 = 4*t + b, t + g = -3*b. Let c be -2 + 4 - (t - -2). Solve 12 = -2*m - 2*m, 4*m = -c*w for w.
4
Suppose 2*f - 4*f = -18. Let g = -14 - -3. Let l = 1 - g. Solve -v = 5*i + l + f, 4 = v for i.
-5
Suppose 0 = -s + 4*s + 15, 5 = 4*k - s. Let w be 0 + k + (-6)/(-2). Solve n - 5 = 0, 0 = -b + n - w*n + 11 for b.
1
Let o = -173 + 177. Solve n = -w, 4*n + 0 = -2*w - o for n.
-2
Let z(j) = j**3 + 21*j**2 + 20*j + 15. Let o be z(-20). Solve -3*s + 5*c + 27 - 8 = 0, -o = 5*s + c for s.
-2
Let p(i) = -i**2. Let j be p(0). Solve -2*l + 1 + j = 5*m, -4*m + 8 = -2*l for l.
-2
Suppose -4*p = p - 15. Suppose -9 + 39 = 5*q + 5*s, 0 = -5*q - 4*s + 31. Solve -2*y - 5*o - q = -4*o, -p*o - 5 = -2*y for y.
-2
Let o be (-2)/5 - 18/(-45). Solve o = 3*c + 3*r + 21, 2*c - 7*c + 10 = -4*r for c.
-2
Suppose -s = -k - 19, s - 4*k = 6*s - 86. Let a = 2 - 0. Solve a*o - s = -2*g, 3*g - 3 = 5*o - 2*o for g.
5
Let f(r) be the second derivative of 7*r**3/6 + r**2/2 + 2*r. Let n be f(3). Suppose 6 - n = -4*w. Solve -3*o - 9 = -3*m - 6*o, 3*m - 12 = -w*o for m.
0
Let q = 12 - 7. Solve 6 = -2*m, -4*o - 6 = q*m + 29 for o.
-5
Suppose 6*t = 19 - 1. Solve -6 = -4*w - t*c, -5 + 13 = -5*w + 4*c for w.
0