 a(q) = -3*q - 1. Let w be a(g). Solve -3*z - 2*u = w*z, 2*u = 0 for z.
0
Let z be 1*8 - 27/9. Solve -4*j = -3*v + 8, v + z*j - j = -24 for v.
-4
Suppose -4*s + 71 = -4*r + 7, -r - 52 = -4*s. Solve 5*k - 3*d - s = -0*d, k - d - 4 = 0 for k.
0
Let k = 55 + -51. Solve 5*f = -k*p - 7, -2*p = 2*f + 2 + 2 for f.
1
Let k = 4 + 0. Let b(n) = -3*n - 7. Let z be b(-11). Suppose z = 2*g - 6. Solve -4*x = -k*s + g, x - 5*s + 0 = -8 for x.
-3
Let x be 2 + (-21 - -3)/(-3). Suppose x*g - 5*g - 15 = 0. Solve -g*o + 6 = -h, 4*h = 5*h + 1 for o.
1
Let j(o) = 2*o**2 + 3*o + 2. Let i be j(-2). Suppose d - 6 = -i, 4*s = d + 10. Solve -2*k - 4 = n - s*n, 7 = 2*n - 5*k for n.
1
Suppose -3*q + 2*q = 0. Solve 4*v + 2*o + 3*o + 33 = q, v - o - 3 = 0 for v.
-2
Let b(y) = -10*y - 6. Let v be b(-3). Solve 0*u - 2*u = 8, 4*l - 2*u - v = 0 for l.
4
Let o = 2 + 3. Solve 3*k - o = 2*n + 3, -2*k + n = -6 for k.
4
Let q be 4/(-6) - 68/(-3). Let g = q + -14. Let c(o) = o**2 - 3*o. Let r be c(4). Solve 3*z = -r*f - f + 14, 0 = -2*f + g for z.
-2
Let u = 30 - 25. Solve -3*v - 3 = -2*x, u*v = -4 - 1 for x.
0
Let t(s) = -s**2 - 10*s + 1. Let g be t(-4). Solve 5*b + p - g = -3*p, -3*p - 5 = -b for b.
5
Suppose 4*b = 4*m + 20, -2*b - 2*m = -b + 4. Solve 0 = -b*o - h - 3, -5*o - 2*h + 0 = 8 for o.
-2
Let f = -4 + 8. Suppose 4*j - 5*a - 107 = 0, 4*j + 3*a - 18 - 97 = 0. Suppose 8 - j = -5*w. Solve -w*y - y = -f*r - 36, 5*y - r = 24 for y.
4
Suppose 3*q - 25 = 35. Suppose -2*b = -3*b + 4*h + q, -b = h + 5. Let w = b - -2. Solve -4*y = -4, -s - w*y + 2 = -2*s for s.
0
Suppose -10*h + 228 = 2*h. Solve 7 + 3 = 2*j, -3*j + h = 4*s for s.
1
Suppose -4 = -2*f - 12. Let i be f/(-8)*16/2. Solve 5*z + 16 = i*l, 0 = 5*l + 5*z - 18 - 2 for l.
4
Let x(v) = v**2 + 27*v + 52. Let a be x(-25). Solve -a*h + 28 = -5*o, o + 4*h + 20 = 8*h for o.
-4
Let m(x) = -x**3 - 11*x**2 - 9*x + 13. Let h be m(-10). Solve t + 4*z = -0*t - 4, -4*t - 3*z = h for t.
0
Let x = 18 - 16. Solve -x*m + 5 = -5*b + 3*m, b + 9 = 5*m for b.
1
Suppose 2*p = -2, 3 = -2*w - 4*p - 1. Solve -5*a - 5*j + 6 = 31, w = -4*a + 3*j - 6 for a.
-3
Suppose -2*o - 2*o = -48. Solve 2*z = -p + o, -p + 2*z - 2 = 2 for p.
4
Let m = 61 - 59. Solve 2*d + 5*x - 15 = 0, -m*d + 5*x - 10 = -3*d for d.
5
Let a be (-5 - -6)/((-1)/(-7)). Suppose 2*k + 20 = a*k. Solve -k*j + 6 = 2*f, -j = -0*f - 3*f + 16 for f.
5
Suppose 5*r = -6*s + s + 30, 2*r - 7 = 3*s. Solve -3*w + 5*w + 5*d - 9 = 0, -21 = 2*w - r*d for w.
-3
Suppose -24 - 4 = -4*z. Solve 0 = -4*k - 8, -3 = -s + 3*k + z for s.
4
Let o be -4 + (-6)/(-1) + 10. Let k(m) = m**2 - 9*m + 11. Let g be k(8). Suppose -g*w - w = -o. Solve p = -2*d - 2*d + 15, w*d - 21 = -4*p for p.
3
Let t(k) = -k**3 + 2*k**2 + 8*k + 6. Let u be t(4). Solve -3*a = u, 3*b - 3 = a + 2 for b.
1
Suppose 11 - 62 = -3*y. Let l = 10 - y. Let p be 1/(((-14)/12)/l). Solve 3*t = 5*z - 15, 15 = -3*t + p*z - 3*z for t.
-5
Suppose -3*v + 5*r = -32, -4*r - 12 = 2*v - v. Solve -3*w - v = f, f - 16 = -2*f + 5*w for f.
2
Let h = -1 + 3. Let f(v) = -v**3 + 5*v**2 + v + 3. Let u be f(5). Let w(q) = q + 1. Let d be w(1). Solve h*a = 2*l - d + u, -l = 2*a - 6 for l.
0
Suppose 0 = -0*i - i + 16. Suppose -2*t = -c - 2*c + 41, c - i = 3*t. Solve 5*d + 4*j + c = -8, 25 = -4*d + 5*j for d.
-5
Let t(k) = -k + 11. Let j be t(8). Suppose -c + 0*c - 3 = -3*m, -5*m - 5 = -5*c. Let w = m - -1. Solve 2*x - 2 = w*n - j, 1 = x - n for x.
4
Let x = -5 + 9. Let k(f) = -f + 3. Suppose 5*u = -0*u. Let i be k(u). Solve -4*s = x*b - 16, -3*b + i*s + 19 - 1 = 0 for b.
5
Let o(v) = -v**3 + 4*v**2 + v + 1. Let x be o(4). Let r be ((-60)/(-25))/(2/x). Solve -2*h + g + 3*g + r = 0, 2*g = -4*h - 18 for h.
-3
Let o(i) = 7*i**2 - 3*i. Let j be o(2). Suppose j = f + f. Let p = 12 + -7. Solve p*x = -5*z - f + 31, -2*x + z - 1 = 0 for x.
1
Suppose -5*v - 2*d = -15, 3*v + d + 0*d = 9. Let r be 7 - (2 + -3 + v). Solve 0 = -z - 2*m + 6, 2*m - 30 = r*z - 3*m for z.
-2
Let d = -10 + 14. Suppose 0 = d*u - 2*u - 10. Solve -c + 0*c + 4*v = -5, 25 = u*c - 2*v for c.
5
Let z be (1*14)/2*-2. Let n = z - -10. Let s = n + 6. Solve -s = -m, -r + 3*r - 2 = -5*m for r.
-4
Suppose 5*j = 2*j + 15. Solve -c + j = 2*b - 1, -4*c = 3*b + 1 for c.
-4
Let u be 2/(((-4)/2)/(-4)). Suppose -4*q - 3*l + 8*l = 25, 3*l = -2*q + 15. Suppose q*d = d. Solve d = 2*z - 3*m + 4, u*m + 0*m = 4*z + 8 for z.
-2
Let t = 3 + -10. Let y = -3 - t. Solve -4*n - y = 5*z, -3 = -4*z + 6*z + 3*n for z.
0
Let k(p) = -p**3 - 2*p**2 + 2*p + 4. Let u be k(-3). Suppose 1 - u = -2*i. Solve -i*w + 2*t - 1 = -10, 0 = -4*w - t + 1 for w.
1
Let z(o) = o + 53. Let f be z(0). Let y = f - 37. Let m = -8 + y. Solve -3*u = -2*j - u - m, 2*u = 5*j + 14 for j.
-2
Let s(p) = 4*p**2 + 1. Let t be s(-1). Solve -2*n = t*k - 30, k = -n - 2*k + 17 for n.
5
Suppose -6*t - 23 = -5. Let k be -1 - (t - 8) - -2. Solve 4*j = -16, -5*b - 5*j - k = -b for b.
2
Suppose -2*g - 42 = -4*g. Suppose g = 5*s + 6. Let y(v) = -5*v**3 - v**2 + 1. Let n be y(-1). Solve n*i + 2*b + 2*b = -15, -s*b = 2*i + 6 for i.
-3
Suppose -30 + 5 = -5*k. Solve k*m = -2*a + 20, -a = 2*a + m - 4 for a.
0
Let g(a) = -2*a**3 - a**2 - 2*a - 1. Let y be g(-2). Let l be 1/1 - y/(-3). Suppose l*v = v + 20. Solve -d = -1, -v*d + 0 = -i - 5 for i.
-1
Let z(u) = -3*u + 68. Let s be z(22). Solve -4*m + 10 = -s*x, -5*m = -3*x - 2*x for m.
5
Let o(h) = h**2 + 7*h + 13. Let s be o(-5). Solve 0 = q - c, s*q + 0*c + 20 = -2*c for q.
-4
Let p be (4/(-5))/((-6)/15). Solve -2*z + 4*z = -p*l - 10, l + 8 = -4*z for z.
-1
Suppose -r - d = -0 - 1, r + 4*d + 11 = 0. Solve -u = o - 0*u, -r*o + 32 = -3*u for o.
4
Let f(w) = -3*w**2 + 3*w**2 + 5*w**2 - 1 - 2*w**2 - w. Let l be f(2). Solve c + 8 = 3*z - l, 4*c = 4*z - 36 for z.
4
Suppose -8*f + 12 + 12 = 0. Solve f*m = 2*n + 5, 0*m - 3*m = -n - 1 for m.
-1
Let k(p) = p**2 - 3*p - 2. Let w be k(4). Suppose 2*g = -y - 3*g - 13, 0 = -2*y - 5*g - 11. Solve -5*m + 25 = 4*d, d - 5 = -y*m + w for d.
5
Suppose -3*f - 1 + 7 = 3*h, 4*h + 5*f = 6. Let m = 1 + h. Solve 2*d - 4*p + 8 = 0, 4*d + 5 = 5*p - m for d.
0
Let l = -10 + 18. Suppose -a + l = a. Solve a*i - 4*j - 19 = 3*i, -4*i = 3*j for i.
3
Let u(g) = -g**2 + 8*g - 2. Let y be u(7). Suppose -4*q + 16 = -3*n - 2, 3*q + y*n = -1. Solve -q*v + 4 = -4*b, v - 4*b + 4 = -0*v for v.
4
Let m(i) = -3*i**3 + 3*i**2 + i + 1. Suppose -8 = 5*y + 2*u, 0 = -3*y + 3*u - 1 - 8. Let v be m(y). Solve a = 5*t - 4*a - v, 0 = -5*t - 3*a + 19 for t.
5
Suppose -5*t + 7 = -b, 2*b + 3*b = 5*t - 15. Solve n + 6*q = 2*q + t, 0 = -3*n + q + 16 for n.
5
Let x(w) = -w**2 - 8*w - 3. Let r be x(-6). Let d be (1 - (-10)/(-6))*r. Let z = 15 + d. Solve -u - 1 = -2*a - z, 0 = 5*a + 25 for u.
-2
Let z = 1 + 3. Let q be 12/6 - ((1 - 1) + -2). Solve -z*r + 0*l - 6 = 5*l, 6 = -2*r - q*l for r.
1
Let t = -50 - -52. Solve -4*q = 4, -2*d + 6 = -t*q + 4*q for d.
4
Let p(b) = -b. Let o be p(2). Let g be (-4 + o)/(-2) - -1. Suppose -62 = -g*m - 22. Solve -r + 7*u = 2*u + m, 0 = 2*r + 4*u - 8 for r.
0
Let z(s) = -s + 4. Let b be z(5). Let o be b - (2/(-2) + 0). Suppose 11 + 5 = -4*m, -3*n + 5*m + 29 = o. Solve -7*w - 5*c + 16 = -n*w, 4*c = 2*w + 18 for w.
-1
Suppose -6 = 4*l + 3*a, -a + 1 - 3 = 0. Solve -2 = d + 3*v, l*d + 3*v = 4*d - 22 for d.
4
Let p = 68 - 50. Solve 0*x = 3*j - 4*x + p, 0 = 5*j - 4*x + 22 for j.
-2
Suppose -4 = -7*x + 3*x. Let k be (-33 + x + 1)/1. Let d = -8 - k. Solve -5*v = -j - 19, j + j + d = 5*v for v.
3
Suppose 0 = -i + 3. Suppose -i*c = 3*y - 9, -3*c + 19 = y - 3*y. Solve 0 = -f - u, -f + 3 - c = 3*u for f.
1
Suppose 3*q + 2*q - 55 = 0. Suppose -j = 4*j. Suppose 4*v = s - 5, j*s + 3*v + 5 = s. Solve 2*m + 4 = s*t, 4*t - 6 = -3*m + q for t.
2
Let a be 58/(-8)*(1 - 9). Suppose 2*m - a = 16. Suppose 4*z - 5*q - m = 0, 0 = 3*z - z + 5*q + 19. Solve 3*j + 14 = -4*u, -4*j + 37 = -z*u + 14 for u.
-5
Let r(o) = -o + 4. Let u be r(0). Suppose u*q - 4 = 16. Solve -q*z = -i - 30, i - 17 = -4*z - 2 for i.
-5
Let q = 16 + -13. Let l = 2 + 3. Solve -q*a + 4 = l*w + 1, 5*w + 4 = 4*a for a.
1
Let u(q) be the first derivative of -q**2/2 + 2*q + 1. Suppose 2*c - 3*c = 0. Let s be u(c). Solve -s*g - g + 13 = -5*a, 5*g = -20 for a.
-5
Let w be (-4)/(-2)*10/(-4). Let u(x) = -x + 9. Let p be u(0). Let o = p + w. Solve -2*v - g - 4 = 0, -v + 5 - o = 2*g