lve 0 = -3*p - d*z - 11, -3*z - 2 - 9 = -p for p.
-1
Suppose -2*q + 8 = -36. Suppose -5*s + 23 = -q. Solve 5*m + 2*w + 10 = m, 0 = -3*w + s for m.
-4
Let r(z) = -3*z + 2. Let y be r(5). Let s = -4 - y. Solve o - 3*a = -10 - s, 5*a = 25 for o.
-4
Suppose 0 = 4*g + 3*a - 21 - 0, 0 = -5*g + 5*a. Solve -g*n - 5*l = n - 10, -l = -4*n + 22 for n.
5
Let p(l) = -4*l. Let b be p(-1). Solve -5*w + 5 = b*f - 9*f, -30 = -5*f - 2*w for f.
4
Suppose 3*f = -3, 4*d + f - 18 = -7. Solve -d*g = -5*u, 0*g = 3*u - 4*g for u.
0
Let d(l) = -l**2 - 7*l - 5. Let q = -23 + 18. Let z be d(q). Solve -3*m + z = -4*p, -7 = 3*p - 1 for m.
-1
Let j(k) = -2*k**3 + k**2 + 2. Let m be j(2). Let u(w) = w**2 + 10*w + 4. Let p be u(m). Solve 5*a + 4*h = -12, -12 = -p*a + 4*h - 0*h for a.
0
Let b(t) = -2*t - 2. Let z be b(-4). Let y = -124 - -128. Solve -2*f = -y*o + 4 - 12, -3*o - z = -4*f for f.
0
Suppose -7*b + 52 = -74. Solve -2*q - 3 = 7, z + 4*q = -b for z.
2
Let c = 0 + 1. Let o be -20 - (-1 - 1/c). Let a be ((-12)/o)/(1/6). Solve 2 = z, 0 = -a*y - 0*z + 2*z - 4 for y.
0
Let k = 2 + 2. Suppose -c = -5*x - 2*c + 462, 4*c = -4*x + 376. Suppose 3*w - x = -w. Solve 2*p + p - o = -16, k*p = 3*o - w for p.
-5
Let c(i) = -i**2 + 6*i + 6. Let m be c(6). Let l be (m - 5)/((-2)/(-32)). Solve -4*f - l = -d, 1 = -3*f - 2*d - 0*d for f.
-3
Let s(l) = 3*l - 3*l - 4*l - 1. Let g be s(-5). Suppose -2*o - 3*z = 11, -o + 2*z = 6*z + 18. Solve 0 = 2*r - o*h + g - 5, 5*r + h = -11 for r.
-3
Let o(c) = c**3 + 3*c**2 - 5*c. Let v be o(-4). Let u be 165/35 - v/(-14). Solve 0*x - 10 = -2*x + 4*b, -u*x + 14 = b for x.
3
Suppose -2*t + 6*t + 24 = 0. Let q be 6/9*-5*3. Let h = t - q. Solve -6 = f - h*m + 6, -4*f + 8 = -2*m for f.
4
Suppose -4*l + 4 = 0, 2*b - 1 = -0*b + 5*l. Let v = b - 0. Solve -3*a - 3 = -4*d + v, -2*a = -5*d + 4 for d.
0
Let k(f) = f - 3. Let c be k(4). Let t be (-4 + 1 + 7)*c. Solve 5*r + 34 = -3*g, -t*r = -3*r + 4*g + 17 for r.
-5
Suppose 20 = 2*k - 6*k. Let y = k - -8. Suppose -y*z = -z - 48. Solve x - 7 = 2*g, 3*x + 2*x - z = -g for x.
5
Suppose 2*z = -4*l + 24, -4*l + 0*z + 2*z = -40. Solve 5*u = 4*q + 21, 2*u - 2*q = -0*q + l for u.
5
Let m = 8 - 1. Solve -14 = -5*k - 2*j, 11 + m = 5*k + 4*j for k.
2
Let c be (-1 + 1)/((-18)/(-6)). Suppose 163 = 5*x - c*x + 4*o, 0 = x - 4*o - 47. Solve -r + 5*r = 4*q, -4*r = 3*q + x for q.
-5
Suppose 3*v - v = 6. Let k(s) = s + 8. Let t be k(-6). Solve 0 = -l + t*x - 2, -v = -l + 3*l - 5*x for l.
-4
Let u(l) = l**2 + 3*l + 4. Let n be u(-3). Suppose g + s = -3*s + 16, -5*g + n*s + 104 = 0. Solve g = -4*y, 2*z - y - 15 = 4*y for z.
-5
Let f be -4 - (-3)/(-3)*-19. Suppose 0 = 3*d - 0*d - f. Solve w = -d*r + 4, 2*r - 8 + 1 = 5*w for r.
1
Suppose 0 = -0*u + 5*u + 3*o - 41, u - 3*o - 1 = 0. Suppose 0 = -3*f + 5*s + 1, -f = -0*f + 5*s - u. Solve 0*q - 3 = q - f*r, -2 = 2*r for q.
-5
Suppose 148*o - 8 = 144*o. Solve -o*a = g + 3*a, 9 = 2*g + a for g.
5
Suppose -2*v = -v + 24. Let f be (2/(-8))/(6/v). Solve 3*m + 4 = -2*c - f, 0 = 3*m + c + 7 for m.
-3
Let t = 31 + -20. Solve -5*x - 17 = 2*r, 4*x + t = -x + 4*r for x.
-3
Suppose -7 = k - 19. Solve 0 = -2*i - 5*l - k, 0 = -2*i - 8*l + 4*l - 8 for i.
4
Let k = 6 + -4. Let r(g) = -g**3 - 9*g**2 - g - 7. Let x be r(-9). Suppose -x*f = k*f - 12. Solve -n - f*n + z + 11 = 0, 2*z = -2*n - 2 for n.
2
Let a be (-8)/28 - 4/(-14). Solve 3*k + 5*r = r - 5, a = -k - 2*r - 5 for k.
5
Suppose 5*d + 0*d = 0. Suppose 0 = -r - 4*z + 1, d = -r + 3*z + z + 9. Solve r*l + 15 = 2*j, -j + l + 0*l = -3 for j.
0
Suppose 2*k - 2*i - 10 = 0, 6*i + 14 = 4*k + 5*i. Solve 8*f - 12 = 4*f - k*g, 3*g = -3*f + 9 for f.
3
Let k be 3 - -1*1/(-1). Let r(f) = f**3 - 2*f**2 + 2*f - 1. Let j be r(k). Solve 2*b = 4*x + x - j, 2*b = 2*x - 6 for b.
-4
Let g be ((-115)/(-15) - 7)/(2/15). Solve g*l = -2*q + 29, -4*l - 6*q + 30 = -q for l.
5
Suppose 2*q - 6 = -0. Solve -a - a = -3*j + 13, 0 = -3*a - q*j + 3 for a.
-2
Let a be (-100)/(-6) + (-4)/6. Let i = -1 + a. Suppose 0*v = 3*v - i. Solve v*x + 4*d = 40, 8*x - 5 = 3*x + 3*d for x.
4
Suppose -7*g - 9 = -10*g. Solve -5*m = -5*j - 5, 2*m - g*m - 5 = 5*j for j.
-1
Let n = 6 + -3. Suppose -3*g = n*j - 12, 2*g - 3*g = -3*j - 4. Solve 8 = 2*u - 7*u - 3*t, g*u = 2*t - 24 for u.
-4
Let a(t) = 2*t**2 - 5*t. Let i be a(3). Solve -i*v + p - 6 = -0*p, 3*v = -p for v.
-1
Let r be 4*(1 + 1)/(-2). Let v be 21/6*r/(-7). Solve -2*o = v*w - 6*o - 6, -2*w = -o - 6 for w.
3
Suppose -3*m - 3*r + 27 = 0, -2*r + 3*r + 5 = 0. Solve m = -3*f + 2*b, -6*b + 11*b = 5 for f.
-4
Suppose 4 = 2*l - 4. Solve 0 = l*f - 5*y + 3*y + 16, 3*f + 5*y - 1 = 0 for f.
-3
Suppose -5*g - 2*s = -143, 3*s = g + s - 19. Solve c = 5*m + g, -4*c + 9*c + 10 = -4*m for c.
2
Let o be (-5)/(-4) + 7/4. Solve 6*x = 2*y + x - 22, 13 = -o*y - 4*x for y.
1
Let t = 1 + 4. Let j(i) = -4*i + 8*i - i**2 - 4*i**2 + 4*i**2 + 7. Let w be j(t). Solve 25 = -3*o + 4*l, -w*o - 3 + 1 = l for o.
-3
Suppose -4*c = 2*z - 16, -19 = -5*z - 0*z - 3*c. Suppose -z*y + 6 + 2 = 0. Solve -y*u = 4*a - 3*a - 7, 4*a + 29 = 3*u for u.
3
Let m(l) = -4*l. Let w be m(-1). Let p(o) = 2*o**2 + o - 1. Let x be p(2). Solve w*t = r - 9, 2*t + x = -5*r + 4*t for r.
-3
Let k(h) = h - 2. Suppose -r = 1 - 5. Let w be k(r). Solve 2*b - w*g = -14, -3*b + 4 = -g + 3*g for b.
-2
Let p be ((-2)/(-6))/((-5)/(-60)). Let h be (0 + (-2)/(-2))*1. Solve 3*z + z + p = 4*s, z = 5*s - h for s.
0
Let i(j) = -4*j + 27. Let k be i(6). Solve 4*w - 3 = 3*f - 0*f, k = -3*f for w.
0
Let k = -8 - -13. Suppose -2*v + 5 + k = 0. Solve 3*x + 8 = -4*l, -v*l + 16 = -5*x - 9 for l.
1
Let z = -1 - -1. Let f = z - -4. Let k = 9 + f. Solve 5*u + 2*x - 19 = -2*x, -k = -4*u - x for u.
3
Let w be (2 + -2 + -2)*-2. Suppose x = 2*x - w. Suppose 0*f + 10 = 5*f. Solve -5*o = -15, 0*r - f*o - 14 = x*r for r.
-5
Let r = -5 + 12. Suppose r = 2*a + 1. Solve -h = 4*t - 10 + a, 1 = h + t for h.
-1
Suppose -2*c - 4 = -3*c. Let y = 103 + -99. Solve -x - 12 = -3*t, y*t - 3*t - c = -x for t.
4
Let w(v) = -8*v + 0*v**2 - 5*v**2 + 4*v**2 + 2*v - 3. Let z be w(-4). Let o be -4*(-2 - z/(-4)). Solve -12 = 2*y + 5*x, -2*y + o*x = -0*y - 4 for y.
-1
Let n be 20/2*(54/12 + -1). Solve 0 = 2*j + 4*u + 10, -5*j = -4*u - u - n for j.
3
Suppose 2*a + 3*q - 18 = 0, -4*q + 7 + 9 = 0. Suppose -s - 2 = -a*s. Let v be s - -2 - 2/(-2). Solve -v*z - 2 - 14 = 2*g, -3*g - 5*z = 22 for g.
-4
Let c = -7 + 15. Let o = c + -1. Solve x + 2*x = s + 19, -o = -3*x - 2*s for x.
5
Let l = -137 + 140. Solve -5*g = -5, l*v - 2*g + 13 = 2*g for v.
-3
Let o be 44/10 - (-8)/(-20). Let g be 1*11 + (-26)/(-13). Solve 0 = -3*j + 2*d - 10, 4 + g = -o*j - d for j.
-4
Let o = -3 + -1. Let s be 2*26*o/(-8). Solve -2 = m + 3*v, s + 0 = -5*m + v for m.
-5
Suppose 0 = l - 4*l + 42. Solve 0 = -h + 5*y - l, -2*y + 2 = -2*h - 2*h for h.
1
Let p(m) = 4 - 8*m**2 + 0*m - 8*m**2 + m - m**3 + 15*m**2. Let g be p(0). Suppose 4*l - 5*l + g = 0. Solve 0 = 3*f + 4*w - 6 + 14, -f - l*w = 0 for f.
-4
Let t = -2 - -4. Suppose 6*z - 5 = z, -3*u - 5*z - 7 = 0. Let x be u/3*(-1 - t). Solve 17 = 5*a + b, -x*b = -a - 2*a + 24 for a.
4
Suppose 3*g - 2 = 13. Solve -2*q - 5*m = 0, -g*q - 2*m - 33 = -6*m for q.
-5
Let p(b) = b**3 + 13*b**2 - 13*b + 14. Let o be p(-14). Solve q = -2*c + 3, o*q - 4*q = -5*c + 1 for c.
1
Let g(d) = d**3 - d**2 + d + 5. Suppose 0 = -4*u + 10 + 10. Suppose 0 = -0*p + u*p. Let f be g(p). Solve -14 = 2*k - 4*x, -2*k + 0*x - 5 = f*x for k.
-5
Suppose -a = -5*a + 72. Let r = 22 - a. Solve -r*j = 0, 0*g - 3*g + 4*j - 3 = 0 for g.
-1
Let o = -4 + 5. Let u be o/(-5) + 16/5. Let z be (16/u)/((-3)/(-9)). Solve -p - z = -3*s, 3 - 8 = -2*s - 5*p for s.
5
Suppose -8 = -2*u - 2. Let f(k) = k - 4. Let d be f(u). Let i be d - 1*9/(-3). Solve -i*v + 6 = 0, 2*l - v = -5*v + 20 for l.
4
Let g be 0 + 3*4/12. Suppose 3*t + 1 = 2*t. Let y be t - g/((-2)/46). Solve y = -4*j + 2*x, 4*x + 6 = -2*j - 0 for j.
-5
Suppose -5*z + 8 = -z + 4*x, -4*z + 4*x + 16 = 0. Suppose 0 = -b + z*d + 10, 6*d = -5*b + 3*d + 68. Solve -3*o + 4*i + b - 5 = 0, 0 = 2*o - 2*i - 2 for o.
-4
Suppose -4*i = -4*o - 28, 4*o + 12 = 2*i + 3*o. Solve 0 = 4*l + 4, i*v + l = -l - 27 for v.
-5
Let k = -57 + 84. Solve -3*w + 2 = -w, 5*v + k = 2*w for v.
-5
Let l = -2 + 4. Suppose 2*x - l*n - 3 = n, 0 = 4*x + 4*n + 4. Solve -5*r + 