 y be q(11). Solve 0 = -2*u - 2*u + y for u.
1
Suppose 2*k + 5*r + 15 = 0, 0*k - 5*r - 15 = -3*k. Let a be (k + 14)*1 + -2. Solve 3*z + z - a = 0 for z.
3
Let p = 6 - 3. Suppose -p*l = -0*l + 54. Let b = l - -25. Solve -b*z = -3*z + 12 for z.
-3
Suppose a - 5*a + 3*w + 35 = 0, 3*a - 5*w = 40. Solve 0 = t - a*t - 8 for t.
-2
Suppose -2*a + 15 - 7 = 0. Let s(k) = -3*k**2 - 9*k - 2. Let b(y) = -7*y**2 - 19*y - 5. Let l(o) = 4*b(o) - 9*s(o). Let d be l(3). Solve a - 8 = d*i for i.
-1
Let h(c) = -c - 2. Suppose q = -0*q. Suppose -2*s + q*s = 8. Let y be h(s). Solve y + 3 = -i for i.
-5
Let z be ((-42)/(-3) - -2) + 0. Suppose -4 - 4 = -2*p + 2*y, 4*p + z = -4*y. Suppose p = -5*w + 20, 0 = 5*a - 0*a + 4*w - 41. Solve 3*k - 1 = a for k.
2
Let k(u) = 3*u + 24. Let m be k(-8). Suppose -5*b + 6 = 3*d - d, -5*d + 15 = 4*b. Suppose m = j - d*j. Solve j*s + 12 = -3*s for s.
-4
Let t = -17 - -22. Solve 0 = 6*s - s + t for s.
-1
Suppose f = -4*k - 2*f + 2, -5*f - 6 = 2*k. Solve -k*a + 20 = 2*a for a.
5
Suppose 20*n = 16*n + 8. Solve 12 = -d - n*d for d.
-4
Suppose 2*u - u - 5 = 0. Suppose u*m = -11 + 26. Suppose -3*z = -6*s + s - 16, 0 = -2*s - 4. Solve -5*v - z = -m*v for v.
-1
Suppose 2*s + 0*s = -8. Let h = s - -7. Solve 9 = -h*m - 6 for m.
-5
Let l be ((-5)/(-4))/(2/(-8)). Let u = l - -9. Solve -u*x = -2*x + 8 for x.
-4
Suppose -m + 5*c - 16 = 0, -3 + 19 = 3*m + c. Let g = 1 - -6. Suppose -3*d = -i - g - 0, -3*i = 4*d - 31. Solve 0 = -m*n - d - 12 for n.
-4
Let f be -2*(-3)/6 + 31. Suppose -f + 4 = -4*g. Solve -v + 3 = g for v.
-4
Let n be 2/(-4) - (-21)/6. Suppose 30 = -0*a + 2*a. Solve 2*x = -n*x + a for x.
3
Let m(u) = -u**2 - 14*u - 24. Let c be m(-11). Solve -6*q = -3*q - c for q.
3
Let n(z) = -z**2 + z + 2. Let p be n(0). Let o be p/((-3)/15*-2). Solve -5 - 5 = -o*q for q.
2
Let u(v) = -v**2 - 4*v - 4. Let s be u(-5). Let q = s - -13. Solve 1 + q = -l for l.
-5
Suppose 2*u = -r + 5, -u + 5*u - 4*r - 16 = 0. Suppose 3*d - u = 0, d - 4 = -5*s + 2. Suppose 5 = -a + 5*w, 3*a + 0 - s = -w. Solve a*k = -k for k.
0
Let m(c) = -c**2 + 5*c - 4. Let w be m(3). Suppose -w*k + 3 = -k. Solve -s - k + 2 = 0 for s.
-1
Suppose -2*c - 25 = -3*b - c, -2*c = 3*b - 13. Let n = -3 + b. Let l(p) = p**2 - 8*p + 2. Let x be l(8). Solve n*w + x = -2 for w.
-1
Let k(b) = -b**2 - 7*b - 8. Let c be k(-6). Let g be 1 - (c + 5)/(-3). Solve -g*y + 0*y = 2 for y.
-1
Let k be (-12)/5*(-40)/12. Let v(w) = -w + 14. Let x be v(14). Solve 2*l - k = -x*l for l.
4
Suppose 9 = 4*p - p, -4*p = -5*t + 88. Solve 0*d = 4*d + t for d.
-5
Let w(m) = -m**2 + 4*m + 5. Let g be w(5). Suppose h + h = g. Suppose h*u - u + 7 = 0. Solve u*v - 2*v - 25 = 0 for v.
5
Let f be 5/(-20) - 3/(-12). Solve 0 = -p + 4 - f for p.
4
Suppose -2 = -x - 0, 0 = q - 3*x + 7. Let z = q - -3. Let r = z - -8. Solve 4*o - 2 + r = 0 for o.
-2
Let x(l) = -l. Suppose 6*f - 2*f - 12 = -5*a, 4*f = 2*a + 40. Suppose 8 = 3*u + 4*s, -f = u - 5*s + 2. Let m be x(u). Solve m = -4*c - c - 5 for c.
-1
Suppose 0 = -p + 2 + 3. Let k(a) = a**2 + 8*a + 1. Let t be k(-8). Solve 14 = p*w - t for w.
3
Let j(b) = -b**2 - 6*b. Let h be j(-6). Let a = -7 - -7. Let v = a - -4. Solve -i + h*i = -v for i.
4
Let r be (0 - (-1 - -2))*0. Suppose r = b - 4. Suppose -4*z + b*o = -24, -2*o + 21 = z + 2*o. Solve -5*t - z - 1 = 0 for t.
-2
Let p(n) = -n**3 - 18*n**2 - n - 6. Let y be p(-18). Solve -4*r + 0 - y = 0 for r.
-3
Let t(z) = z + 4. Let w be t(-2). Suppose 0 = -2*x - 4*g + 5*g + 24, -2*x - 3*g = -24. Solve x = w*y + 2*y for y.
3
Let q be ((-2)/4 + 0)*-38. Suppose -2*a - 5 + 25 = 0. Suppose 5*n = 3*z + q, -n - 4*z - a = -0*n. Solve -n*w + 5*w = 0 for w.
0
Let v = -6 + 5. Let o = 3 - v. Solve -o*r = r for r.
0
Suppose -4 = -i, -p + 19 = 5*i - 3. Suppose 2*w + 5*c = 5*w - 17, -3*c = 3. Suppose -w*k = k - 10. Solve -k = a + p for a.
-4
Let f = -9 - -13. Solve r + 20 = -f*r for r.
-4
Let h(b) = b**3 + 2 - b**2 + 5*b + 0 + 0*b**3 - 4*b**2. Let w be h(4). Solve -w = n + n for n.
-3
Let o(s) = s + 11. Let z be o(-9). Solve 0*r - 8 = -z*r for r.
4
Let y(z) = -4*z + 2. Let r(g) = g + 1. Let w(i) = 5*r(i) + y(i). Let m be w(-7). Solve 0 = -m*b + 5*b + 5 for b.
-1
Let j = -26 + 32. Solve 5*t + 4 = j*t for t.
4
Suppose 0 = 5*y + 3*l + 2*l, 3*l = 4*y. Suppose 3*u - 12 = 2*z, -u + 0*z + 2*z = 0. Let m be u + -2 - (0 - y). Solve 0 = -m*h + 12 + 8 for h.
5
Let z(o) = o + 9. Let y be z(-5). Suppose 3*t = 6*w - w + 20, 2*t + w = -4. Suppose -3*n = -4*u - 141 + 34, t = -y*u - 8. Solve n = -5*d + 8 for d.
-5
Let h = 7 - 2. Suppose -h*w + 12 = o, w + 0*w - 9 = 2*o. Solve -j = w*j for j.
0
Let p be ((-28)/(-5))/((-8)/40). Let q = 5 + -24. Let x = q - p. Solve -4*s - x + 1 = 0 for s.
-2
Suppose 1 = 3*s - 2. Let n be ((-2)/5)/(s/(-10)). Solve n = -3*o + 5*o for o.
2
Let i = -7 + 16. Suppose -5*j + 0*j = -5*v + 15, 9 = -2*v - 3*j. Suppose -4*g + 12 = -v*g. Solve -g*q - i + 0 = 0 for q.
-3
Suppose 2*q = -2*q + 60. Let o be 1/((-3)/(-5 + 2)). Suppose -4*m = -q - o. Solve -m = -3*c + 7*c for c.
-1
Let p = -88 - -90. Solve 0 = 12*r - 11*r + p for r.
-2
Suppose w - 3*w = 0. Suppose 3*y + 1 = 4*y. Solve w*q = q - y for q.
1
Let w(z) = z**2 + 2*z - 4. Let u be w(3). Suppose 0 = v + 4*o - u, 3*v + 2*o = -o + 24. Suppose 0 = -3*y + v*y. Solve 9 = -y*s + 3*s for s.
3
Suppose 8 = 6*g - 4*g. Suppose 2 + g = 2*x. Solve x*z + 1 = 2*z for z.
-1
Suppose 5*z + 0 = -4*v + 14, z - 4*v - 22 = 0. Solve z = 6*w - 3*w for w.
2
Let v(t) = -7*t + 1. Suppose -3 = 5*p + 7. Let b be v(p). Solve -4*r + b = -r for r.
5
Suppose -5*p - 4*l + 30 = 0, 5*p - 3*l = -2*l + 5. Suppose -15 = -p*v + 7*v. Let n(x) = x**2 + 2*x + 2. Let k be n(v). Solve 2*r - 9 = k*r for r.
-3
Let x(b) = b**3 - 7*b**2. Let z be x(7). Suppose 17*u - 12*u = z. Solve u*g + 1 = g for g.
1
Let c(j) = j**3 + 2*j**2 + j + 1. Let t be c(-1). Let m be 1*(0 - t - -4). Solve y - m*y = 10 for y.
-5
Let i(x) = x**2 + 1. Let f be i(-1). Solve 2 = -k - f for k.
-4
Suppose 4*c - 38 = -2. Suppose -3*l + c = -0*l. Let m be (-2)/(-2)*1/1. Solve m - 4 = l*r for r.
-1
Let y(f) = 5*f**2 + 3*f + 3. Let p be y(-2). Let z = p + -1. Suppose -2*x + 5 + 1 = 0. Solve -z = x*c - 1 for c.
-5
Let s = -8 + 7. Let c be (s/(-3))/((-1)/(-15)). Solve 2*f - 3 - c = 0 for f.
4
Suppose 5*f + 2*b - 50 = -3*b, 0 = -4*f + 4*b. Let v = f - 2. Suppose 0 = -2*a + 19 - v. Solve 0 = -3*x - x - a for x.
-2
Let d = 19 - 16. Solve 1 = d*o - 14 for o.
5
Let z be (-5 + 1)*(-1 + 0). Suppose 0 = l - z - 0. Suppose 0 = -6*q + 2*q. Solve q*g + g = l for g.
4
Let t(f) = f**3 - 7*f**2 + 6*f + 5. Let s be t(6). Suppose -45 = -s*n - 5*p, 3*n - 3*p - 27 = 6. Solve 5*u = -0 + n for u.
2
Let h(d) = d**3 - 3*d**2 + d + 2. Suppose -6*g = -g - 15. Let x be h(g). Solve -x*r + 8*r = 0 for r.
0
Suppose z - k = 3*z - 5, -5*z = 4*k - 11. Let x be (23 - 6) + 1*z. Solve -m - x = 4*m for m.
-4
Let d(r) = -11*r**2 - 5*r + 3. Let i(c) = -5*c**2 - 3*c + 1. Let b(x) = 4*d(x) - 9*i(x). Let s be b(-7). Suppose -s*o = -0*o. Solve o*f + f = -4 for f.
-4
Let a = -169 + 172. Solve 0 = a*j + j - 8 for j.
2
Suppose 3*l - 7*l = -8. Suppose -l*f + 20 = 2*f. Solve 4*j + f = 5*j for j.
5
Let u(n) = -n + 1. Let p be u(0). Solve -k = -4 + p for k.
3
Let o(w) = -w**3 - 5*w**2 - 3*w + 4. Let t be (3 + 0)/((-6)/8). Let c be o(t). Solve 4*l + 5 + 15 = c for l.
-5
Let m be (6 - 3)/1 - -2. Suppose -m*v + u = 3*u - 30, 5 = 5*v - 3*u. Solve 20 = -v*t - 0*t for t.
-5
Suppose -4*u = -7 - 13. Solve 0 = -3*z - u + 2 for z.
-1
Let p(s) = 2 + 0*s + 2 - s. Let n be p(0). Suppose -a = a - n. Solve -4*i - 2 = a for i.
-1
Suppose 0 = -3*h - 0*h - 90. Let a be (36/h)/((-3)/10). Suppose 3*p + 1 - a = 0. Solve -p = -4*l - 21 for l.
-5
Suppose -2*i + 30 = -5*n, -i - 40 = -6*i - 5*n. Suppose -4*v = k - i, -3*k - v + 0 = -8. Solve -1 = 3*g + k for g.
-1
Suppose -2*y - 3 = -2*q + y, 2*y + 10 = 0. Let r = 0 - 2. Let i be (20/15)/(r/q). Solve 8 = -i*z - 8 for z.
-4
Let s(a) = -a**3 + a**2 + 2. Let f be s(0). Let d(o) = o**3 - 5*o**2 + 3*o - 1. Let j be d(4). Let l be (j + 2)/((-3)/3). Solve -l*m - f - 4 = 0 for m.
-2
Let i(c) = c + 3. Let x be i(-5). Let j(u) = -u. Let n be j(x). Let q = 5 - n. Solve 8 = -q*r - 1 for r.
-3
Suppose 2*p - 10 = -2*u, -p - p + 5*u = 11. Let a(x) = x**2 - x. Let h be a(1). Let t = p + h. Solve -k - t*k = -6 for k