 Suppose -5*o + 0*o = -z. Let f be (-2 - -1)*(0 + 0). Solve 5 + 7 = -w + 2*y, f = 5*w - o*y + 20 for w.
-2
Let w be 2/10 + (-158)/(-10). Suppose w = -0*s + 4*s. Solve -d = s, -3*d + 7*d = -5*c - 41 for c.
-5
Suppose 4*j = l + 7, 5 - 7 = j - 4*l. Solve 1 = -x, -4*x + 1 = -j*q - 3 for q.
-4
Let d = 28 - 23. Solve d*v + 4*i = -37, -2*v - 3 = -2*i + 1 for v.
-5
Let w = -6 - -2. Let c be (14/w)/(3/(-12)). Solve 0*b + a - c = -3*b, a + 4 = 3*b for b.
3
Suppose -b - 135 = 4*b. Let y be (-1)/3 - 549/b. Solve 6*v + 9 = v - 4*f, -5*f + y = 0 for v.
-5
Suppose z = -4*f + 23, 5*z + 11 = -f + 2*f. Let a = f - 4. Let g = a + 4. Solve 2*j = 4*l + 18, -g*j + 4*j + 5*l = -23 for j.
-1
Suppose 0*m = -3*m + 12. Solve -m*t - 4 = 4*q, 4*q = -4*t + 3*t + 8 for q.
3
Let y be (-1)/1*2 + 4. Solve 0 = -5*g + 15, 0 = j - y*g + 5 for j.
1
Let c = -1 - -6. Suppose w + c - 25 = 0. Suppose 2*j = -3*j + w. Solve t - 12 = -4*t - 4*d, t + 4 = -j*d for t.
4
Let r be (-4 + 5)/(2/(-30)). Let i be (-23)/(-5) + (-6)/r. Solve 5*a = 3*a - i*q + 22, 0 = -q + 4 for a.
1
Let q = 19 + -11. Suppose -2*z = j - 7, 3*j - j = -2*z + q. Let m be 3 + j/(2 - 1). Solve 0 = -2*f - 2*i - m, 2*f + 10 = 7*f - 5*i for f.
0
Let h(u) = -u**2 + 10*u - 12. Let j be h(8). Solve 7*o = j*p + 2*o + 19, -2*p - 3*o = -7 for p.
-1
Suppose -6 = 3*m - 0*m. Let r be -4*((-33)/(-6) + m). Let g = 29 + r. Solve -3*w = -6, 0 = -3*x - 0*w - 3*w + g for x.
3
Let a(k) = 8*k - 4 + 3 + 10 - k**2. Let f = 14 + -5. Let l be a(f). Solve -4 = -3*w + i - l, 0 = -3*w - 2*i + 19 for w.
3
Let t(u) = -u**3 + 7*u**2 - 4*u - 7. Let y be t(6). Solve 5*a - 30 = -y*p, 3*p - 3*a + 2 = -2*p for p.
2
Let i(z) = -2*z - 6 - 2 + 2. Suppose 6*m = h + 2*m - 7, 3*h - 3*m = -6. Let q be i(h). Solve -4*y = q*l - 8, 0 = 5*y + l + 8 - 26 for y.
4
Let q(u) = -u**2 + 30*u + 3. Let l be q(30). Solve l*y + 2*n = 17, y + 2*y = -4*n + 25 for y.
3
Let r(u) = -u**3 + 18*u**2 - 17*u + 4. Let y be r(17). Solve -y*a = s - 16, -4*a + 16 = s - 4*s for s.
0
Let n = 3 + -3. Suppose -5*z = k - 21, 0 = 4*k - n*k + 2*z - 12. Let o be ((k - 2)*2)/(-1). Solve 5*v = -5*b + 10, -o*v - 8 = -6*b + 2*b for v.
0
Let l(c) = c**2 - 3*c - 5. Let p be l(4). Let g be 1 - ((-3 - p) + 0). Solve 0 = u - 2*w + 2, u + 0*u - g*w = -3 for u.
0
Let s(x) = -11*x - 9. Let t be s(-1). Solve 3*i + t*i - 7 = 4*b, -i + 4*b = -11 for i.
-1
Let w(f) be the second derivative of f**3/3 + f**2 - 6*f. Let x be w(1). Solve p + 11 = 2*h, -p + 0*p = x*h - 7 for p.
-5
Suppose 4*u - 4 = f, 2*f + 0*f - 4 = 2*u. Let t(v) = v + 5. Let b be t(7). Let c be ((-32)/b)/((-8)/12). Solve -n + u*n - 2*z = -12, -3*n + 14 = c*z for n.
-2
Let u(p) = p - 1. Let l = -2 + 6. Let m be u(l). Solve -6*x - 2*z = -3*x + 8, x = -z - m for x.
-2
Suppose 7*f + 8 - 36 = 0. Solve f*x + x - 5*r + 10 = 0, 16 = x + 5*r for x.
1
Let m(u) = u**3 - 3*u**2 - 3*u - 2. Let a be m(4). Let s = 18 + -14. Solve 5*f - 2*x + a = 0, -s*f + 6*x = 2*x + 4 for f.
0
Let n be (-2)/(-6)*0 + 4. Solve -3*d - n*g = -24, 4*d + 0*g = -4*g + 28 for d.
4
Suppose -4*i = -3*l, i + i = -4*l + 22. Solve -y = -3*u - l, -5*y + u - 4*u + 20 = 0 for y.
4
Let o(w) = -2*w - 12. Let i be o(-8). Solve -12 = -2*t - 4*h, i*t - 2*h - 9 = 5 for t.
4
Suppose -2*w - 15 = 9. Let q be (w/(-10))/((-4)/(-10)). Suppose 3*i - 4 = -3*j + 5*j, q*i + 2*j = 8. Solve u + i = -0*p + 4*p, -4 = 2*u - 2*p for u.
-2
Let s be (-9 - 1)*(-24)/40. Solve -w + s = w - 2*q, 5*w = 4*q + 10 for w.
-2
Let f = 11 - 7. Suppose 10 = 5*i, -39 = -f*n - 3*i - 13. Let z(u) = -u**2 + 6*u + 3. Let q be z(6). Solve 8 = 3*s - n*s, -4*k - q*s = -4 for k.
4
Let d(y) = -3*y**2 + 20*y**3 + 5 + 6*y + 7*y**2 - 21*y**3. Let i be d(5). Let f = 8 - 5. Solve -4*b + 0 = -3*u - 15, -u = -f*b + i for u.
-1
Suppose 3*r - 16 = -5*r. Solve 2*i = 5*a - 7, a = -2*i + r*a + 5 for i.
4
Suppose -f = -0*f - 3*c - 11, 0 = 5*f + 5*c + 5. Suppose -4*i = i - 20. Let k = 9 - i. Solve 5*t = k*b, 4*b - 3*t - 4 = -f for b.
2
Suppose 36 = 4*h - 4*a, 2*h - 4*a = h + 12. Solve 3*m - 1 = 2*j, 0 = m + 2*m + 5*j - h for m.
1
Let w be -6*(1 + (-15)/9). Suppose -4*j + v - 4 = -j, -w*j = -3*v + 12. Solve -3*m = -0*m + 4*q + 19, j = m + q + 5 for m.
-1
Let i(w) = -w**3 - 7*w**2 + 7*w - 3. Let c be i(-8). Solve 0 = 5*q - 5*g + 40, 2*g = -4*q - 3*g - c for q.
-5
Let c(w) = -w**3 - 8*w**2 + 2*w + 18. Let i be c(-8). Solve -4 = b, i*u + 0 = 3*b + 12 for u.
0
Suppose -4*f = -2*b - 46, 3*f - 6*f + 3*b + 42 = 0. Solve -3*j - f = -4*r + r, 3*j - 2*r = -6 for j.
0
Suppose 3*u + 6 = -5*c, 7*u = 4*c + 4*u + 21. Let w be 34/4*(5 + c). Solve -5*i - 4*s - 4 = -w, -5*s = 4*i - 5 for i.
5
Let r be 6/(-24) + 0 + (-69)/(-4). Solve r = -4*j + k - 0*k, -2*j - 25 = 5*k for j.
-5
Suppose -5*j - 4*w = 16, -w + 20 = 5*j - 6*w. Let z = 2 + j. Solve 0 = 4*t + 3*p + 2, -3*t + 3*p + 5 = z*p for t.
1
Let t(n) = n**2 + 2*n + 3. Let q be t(6). Let u = 3 + q. Suppose -2*j = -4*a - u, -a - 54 = -2*j - 0*a. Solve 6*s + j = 2*s + 5*l, -s = l for s.
-3
Let c = -54 + 57. Solve 4*v + 8 = 4*l, -l - c*l + 14 = 2*v for l.
3
Let j(p) = 2*p**2 + 6*p. Let h be j(-4). Let n = h - -4. Solve -3*g + 7 = -2*g + 4*y, 3*y = -3*g + n for g.
3
Let n(o) = o**3 + 5*o**2 - 7*o. Let v be n(-6). Let l(q) = -q**2 + 5*q + 8. Let t be l(v). Solve -t*d + p - 12 = -3, 3*p = 3*d + 18 for d.
-3
Let s be (-6)/((-27)/6 + 3). Solve -8*l + 12 = -s*l - 2*n, 5*l + 3*n = -7 for l.
1
Let r(p) = 2*p**2 - 13*p + 10. Let x be r(6). Solve x*i + 1 = -l, 1 - 5 = 4*l for i.
0
Let t be (-4)/3*(-3)/2. Let g be 1/(t/10)*1. Let m = 27 - 24. Solve 0 = 2*l - m*v - 5, -g*l - 3*v + 23 = -0*v for l.
4
Let q(d) = -d**2 + 10*d - 9. Let w be q(9). Suppose 5*g + 6 - 26 = w. Solve 5*z - g*n + 3 - 13 = 0, 3*n + 10 = 5*z for z.
2
Let u = 7 + -4. Suppose d - u*d + 48 = 0. Let x(s) = -s**2 + 10*s + 14. Let g be x(11). Solve -5*w + d = -3*v + 4*v, g*w - 19 = 4*v for v.
-1
Let k(h) = h**2 + 11*h - 4. Let c be k(-12). Let x be (-12)/c*(-110)/15. Solve -n - 4*q = -2, -5*n + 2*n - x = -5*q for n.
-2
Suppose -2*l + 26 - 10 = 0. Suppose -4*a + l = -8. Solve -q - a = 3*h, -2*q + 4*q = -4*h - 6 for q.
-1
Suppose -4*i + 5*j + 10 = -9*i, -19 = -3*i + 2*j. Solve -2*n = -6, -4*t - i = -0*n + 3*n for t.
-3
Let l = -52 - 72. Let s be 3/(-9) - l/12. Solve 0 = 4*j + 3*q + 2, -4*q = -4*j - q + s for j.
1
Let b = -31 + 34. Solve 4 + 12 = -2*l + 2*k, b*l + 20 = 2*k for l.
-4
Suppose -18*d + 15*d = -12. Solve 2 = u + u - d*f, -3*u + f = -8 for u.
3
Let q(m) = 2*m - 9. Let a(t) = -2*t - 12. Let y be a(-9). Let j be q(y). Let v be -2 + j - 2/(-1). Solve v*l = 2*i - 1, -3*l + 3 = -2*l + i for l.
1
Let p(b) = 2*b**2 + 27*b - 14. Let q be p(-14). Let y = -1 + 1. Suppose 12 = -3*z, 3*r - 4*z = 17 + 8. Solve q*l - 9 = -r*a - 2*l, y = -a + 3*l - 8 for a.
1
Let j be (6/(-21))/((-1)/7). Suppose -6 = 2*v, -2*x - 7*v = -3*v + j. Solve 0*l - y + 1 = 3*l, -15 = -x*l + y for l.
2
Suppose 0 = 4*g - 7*g - 12. Let c = 1 - g. Solve 20 = -5*x, 3*x + x - 4 = c*i for i.
-4
Let r = -1 - -6. Solve r*t = 2*i + 4*t + 13, -14 = i - 3*t for i.
-5
Let c = 66 - 34. Solve -3*l = -q + 4, 7*l = 3*l - 4*q - c for l.
-3
Suppose -2*t = -0*t - 5*j - 14, t - 7 = 5*j. Let s = 12 - t. Solve -18 = 3*u - 3*v, -s*u - 3*v + 2*v - 18 = 0 for u.
-4
Suppose 3 = -2*a - 1. Let n(x) = x**3 + 3*x**2 + 2*x + 2. Let p be n(a). Solve -3*f - p*m - 4 = 2*m, -5*f = 3*m - 8 for f.
4
Suppose -3*h = -0*h. Suppose h = -7*c + 4*c + 24. Solve c*t - 18 = 3*t + 2*i, 3*t + 3*i = -6 for t.
2
Suppose -6*j + j = 5*d - 20, 2*d - 2*j = 4. Solve b + 2 = k - d, 5*b = -5 for k.
4
Let m(u) = -u - 5. Let f be m(-5). Let z(s) = -s + 1. Let a be z(-2). Solve -2*h - 2*c - 5 + a = f, -4*h - 3 = 5*c for h.
-2
Suppose -8 = 3*q + q. Let i be q*1 + 2 + 0. Suppose i = 3*t + 4*n + 6, -4*n = t - 0*n + 10. Solve 4*p = -5*r + 12, -15 = -5*p - 0*r - t*r for p.
3
Suppose 3*i - 5*n = -0*n - 19, -4*n = -2*i - 16. Let s be 2*-1*(-5)/i. Let b = -3 + 4. Solve -b = -s*y + 4*y, 0 = l + 3*y for l.
-3
Suppose -p - 4*p = -25. Suppose -g + p = -0. Suppose -4*d + 4 = -3*x + 5, 13 = -d + g*x. Solve 5*v + w = -d*w - 25, 0 = -2*w for v.
-5
Let z be (2/3)/((-6)/(-36)). Suppose -4*h = z*d - 40 + 8, -5*h - 56 = -3*d. Solve 0 = 3*t - d, -3*o + 2*o + 22 = 5*t for o.
2
Let l = 39 - 26. Let d(c) = -2*c - 4. Let y be d(-4). Suppose -l - 35 = -y*s. Solve k - 13 = -3*f - k, 3*f 