 Let f be p(6). Let v = 69 - 77. Let g = f + v. Solve 1 = g*y - 5 for y.
3
Suppose j = 5*j. Suppose j*h - 2 = -h. Suppose 3 = h*c - n, -c + 9 = 2*n - n. Solve -w + 3*w + c = 0 for w.
-2
Suppose 1 = 2*m + f - 4, -5 = -m - 3*f. Let g be (2 - 3)/1*-1. Let v = 4 + g. Solve -m*h + h = -v for h.
5
Suppose 0 = -3*l + a + 13, -8*a = 4*l - 3*a - 49. Let z be 4/(l/(4 - 1)). Solve -2*k - z*k = 0 for k.
0
Let k be -4*(-6 + 3 - -2). Suppose -4*h + 16 = 4*y, -17 = -k*h - 0*h - 5*y. Solve -h*a + 2 = -10 for a.
4
Let u be (-2)/(-5) + 2/(-5). Solve -h + 2*h + 3 = u for h.
-3
Suppose 3*u + 2*u + 45 = 0. Let p be u/12*(-1 - 3). Suppose 0 = 2*g - 4*l + 12, -5*g - p = -3*g - l. Solve 5*q - q = g for q.
0
Let z be 2/(-10) + 3/15. Solve 2*o + z = -2 for o.
-1
Let d be (10 - -1) + -1 + -3. Solve 19 = -4*v + d for v.
-3
Suppose 3*j - 10 = -1. Suppose 1 = -f + 3. Solve f*t = -j*t for t.
0
Suppose 2*f = 5*f - 2*z + 8, -4*z + 16 = -2*f. Suppose -9*g = -4*g + 3*v + 15, -v - 5 = f. Solve g = -5*t + 3 - 23 for t.
-4
Let h(m) = -m**2 + 13*m - 10. Let i be h(12). Solve 0 = i*f - 4 - 4 for f.
4
Suppose -2*o = -3*o - 4*n - 15, o = 2*n + 9. Solve g = -0*g - o for g.
-1
Let f = 19 + -8. Suppose 0 = 4*j + 2*i - 2, 5*i - 1 = -5*j - f. Solve j = 3*m - 0 for m.
1
Let h(y) = y. Let j be -5 - ((-9)/(-3))/(-3). Let n be j/(-10)*75/5. Let p be h(n). Solve -3*r - p = -5*r for r.
3
Suppose -4*m - 20 = -8*m. Suppose 0 = -m*l - 5, 2*g = -0*g + 2*l + 6. Suppose g*z = -2*z. Solve -2*d + z*d = 8 for d.
-4
Suppose -z - 3*z = 0. Suppose z = 6*u - u - 5. Let j(y) = -y**3 + 3*y**2 + 2*y + 1. Let p be j(3). Solve -4*n - u = p for n.
-2
Let m be (-4)/6*63/(-14). Suppose 3*l - l = 10. Suppose b - 15 = -l*y, 9 = m*y - 2*b - 2*b. Solve y*f + 10 = f for f.
-5
Suppose -u - 1 = -5. Let t(x) = -2*x**2 - 7*x + 3. Let r(z) = -z**2 - 6*z + 3. Let g(p) = 3*r(p) - 2*t(p). Let q be g(u). Solve -y + q*y = -8 for y.
-4
Suppose -2*w + 3*n - 2*n + 12 = 0, 4 = -n. Suppose -5*g = -w*g - 4. Solve -19 = 3*i - g for i.
-5
Suppose 0 = -r + 14 - 1. Let t = r + -8. Suppose 0*o = -t*o + 125. Solve -m = -6*m + o for m.
5
Suppose 4*z + 3*p + 0*p - 23 = 0, 2*z - p = -1. Solve 4 + 4 = -z*l for l.
-4
Let r = -7 + 9. Suppose 9 - 5 = r*b. Suppose -2*o + 2 + b = 0. Solve 2*j - o + 4 = 0 for j.
-1
Let g(b) = -b + 4. Let m be g(2). Let c be (-26)/(-4) - (-2)/4. Solve i + m = c for i.
5
Let r = -8 - -20. Suppose -2*l = 4*f - 34 + r, f - 4*l + 8 = 0. Solve -f*x + 9*x - 25 = 0 for x.
5
Let i = 5 - 2. Let u(v) = v**2 + 9*v + 5. Let z = -13 - -3. Let x be u(z). Solve i*y = -6 + x for y.
3
Let u be ((-5)/3 - -2)*12. Let q = 5 - u. Suppose 4*w - 16 + 4 = 0. Solve -s + q = w for s.
-2
Suppose 3*i + 2*n + 5 = 4*i, 20 = 4*i + 4*n. Solve i*p + 10 = -0*p for p.
-2
Suppose 5*a = -5*v + 10, -6 = 3*v + v - 3*a. Solve m - 4*m - 12 = v for m.
-4
Let a be (-35)/(-10) + 1/(-2). Let z be (a + 1)/4*3. Solve -z*h = h + 8 for h.
-2
Suppose 0 = -3*q - 3*g - 75, q + 3*q - 5*g + 55 = 0. Let o = -12 - q. Solve o*p - 3*p = 0 for p.
0
Suppose 10 + 2 = 4*r. Let l be 14/r - 1/(-3). Solve -16 = l*v - 1 for v.
-3
Suppose 0 = -w - u + 15, 0*u + 75 = 5*w - 2*u. Suppose -m - 3*n - 15 = 0, -3*m - w = 2*n + n. Let z be (-11)/(-3) + (-3)/(-9). Solve z*d + 4 + 0 = m for d.
-1
Let b = 9 - 7. Let n(q) = -5*q**b - 4*q + q - q**3 + q - 2*q + 2. Let v be n(-4). Solve -7 = -v*w - 1 for w.
3
Let r = 7 + -1. Let d = 2 + 0. Solve d*k + 0 = -r for k.
-3
Let k(u) = -u**3 - 7*u**2 + 8*u. Let g be k(-8). Solve -p = -g*p for p.
0
Suppose 0*y + 1 = -4*y - l, -15 = 5*y + 4*l. Let f = -5 - -9. Let g = 1 - -4. Solve -g*w + f = -y for w.
1
Let w(o) = -o**2 - 7*o. Let k be w(-8). Let x = 2 + -8. Let v = x - k. Solve -3*y = -v*y for y.
0
Let h(b) = b**3 - 4*b**2 - 3*b - 2. Let f be h(5). Let y = 12 - 7. Solve -y*u = -3*u + f for u.
-4
Let n = 15 + -10. Suppose 4*h = 5*i - n, h - 2*i = -0*i - 2. Suppose -6 - 3 = -3*z. Solve g - 6 + z = h for g.
3
Let f = -5 + 10. Suppose -m = -f*m - 12. Let q be m/(9/6) + 3. Solve g - 1 = q for g.
2
Suppose a - 6 = 3*a, -5*c + 12 = -4*a. Solve -i + 2 + c = 0 for i.
2
Let b = 7 + -12. Let x(y) = y**2 + 2*y - 3. Let c(t) = -t**2 - t + 4. Let k(q) = 3*c(q) + 4*x(q). Let d be k(b). Solve -2*p + p = d for p.
0
Suppose 5*u - 18 = 3*w, 3*u - 12 = 3*w - 0. Let s be (w - -1)/(-1 + 3). Suppose 8 = -s*j + 2*j. Solve 5*h + j + 1 = 0 for h.
-1
Suppose -34 - 1 = -7*u. Solve 2*b = b + u for b.
5
Suppose 5 = 2*o - 1, 0 = 2*i - 3*o + 7. Solve 4 = 5*x - i for x.
1
Let n(r) = -r + 7. Let v be n(3). Suppose 0*b = v*b. Solve b = 3*j - 4*j for j.
0
Suppose -1 = l - 2*w, -2*l + 5*w = 3*l. Solve p + l = -0 for p.
-1
Let t = -1 + 4. Let h = t - -1. Solve -h*w - 3 = -w for w.
-1
Let c = -22 - -23. Solve -2*t = c - 5 for t.
2
Let k(p) = 1. Let j(l) = 2*l**2 + 7 + 5*l + 0 - 3*l**2. Let a(r) = -j(r) - 3*k(r). Let w be a(7). Solve v - w = -3*v for v.
1
Let m(w) = -w**3 - w. Let i be m(0). Let z = -2 - -3. Solve 3*c + 5 + z = i for c.
-2
Suppose -70 = -3*h - 2*h. Solve -h = 2*j - 4 for j.
-5
Let q be ((-6)/8)/(8/(-32)). Suppose -2*w = -6*w + 48. Solve -p = q*p + w for p.
-3
Let s be 1 - (2/2)/(-1). Let h = -11 + 12. Solve -h = x - s for x.
1
Let q be (0 + 1)/((-2)/(-6)). Let d(w) = -w**2 - 6*w. Let n(z) = z**2 + 7*z + 1. Let m(k) = -3*d(k) - 2*n(k). Let h be m(-5). Solve 3*p = -q - h for p.
-2
Let d be (-6)/(-27)*-1 + (-228)/(-54). Solve 4 = -d*i - 4 for i.
-2
Let n = -57 - -62. Solve -n*g + 5 = -0 for g.
1
Let q be (-2)/((0 - 2)/(-2)). Let t = q + 4. Solve -5 = -a + t*a for a.
-5
Suppose -6*t + 5*t - 6 = 0. Let o(y) = -y**3 - 7*y**2 - 8*y - 9. Let m be o(t). Suppose -x + 2*c = -15, -m*x + 6 = 4*c + 1. Solve -x*p = -2*p + 10 for p.
-2
Let o = -7 + 12. Solve -2*p + o = 3*p for p.
1
Let z = -47 - -47. Suppose -w - 5*t - 10 = 0, 2*w + 0*w - 8 = -3*t. Let m = w - 5. Solve 10 = -m*d - z for d.
-2
Let v(z) = -8 - 7*z**2 + z - 5*z + 3*z - z**3 - 7*z. Let k be v(-6). Let p = 2 + 5. Solve -6 = -p*c + k*c for c.
2
Let o(m) = 5*m. Let s be o(4). Suppose -2*g - 3*v = -14 + 1, 4*v - s = 0. Let b be g + -1 - (-3 - 3). Solve c = 2*c + b for c.
-4
Let i = 2 + -7. Let n(k) = -k - 3. Let u be n(i). Suppose -f - u*f = -15. Solve 0 - 20 = f*o for o.
-4
Let s(j) = -j**3 - 10*j**2 - 12*j - 12. Let a be s(-9). Solve -a = -4*g + g for g.
5
Suppose 0 = 2*r - 0*r. Let y(s) = -5*s. Let x = -9 + 7. Let j be y(x). Solve 2*f = -r*f - j for f.
-5
Let v be (-4)/(-3*4/18). Let i = -2 + v. Let n be i + (-2)/3*3. Solve n*x = x + 3 for x.
3
Let y be (-180)/8*2/(-3). Let w = y + -12. Solve w*c + 4 = 10 for c.
2
Let g(b) = -b + 4. Let n be g(5). Suppose 18 = -3*j + 5*o, 2*o = -0*j + 5*j + 11. Let x = n - j. Solve -t - 2*t - 15 = x for t.
-5
Let p = -111 + 112. Solve -2*n + 3 = -p for n.
2
Suppose 2*k = -3*n - 0*k + 7, k = 2*n. Let w(l) = -l + 3. Let x be w(0). Let c be 10/x - 2/6. Solve -c = 2*d - n for d.
-1
Suppose 3*h = -2*q + 22, 19 = 2*h + 3*q - 4. Solve 0 = 5*i - i - h for i.
1
Suppose -3*p + 12 = -4*n, -p - 8 = 2*n - 2*p. Let b be (-4)/(2 + (-1 - -1)). Let i = b - n. Solve i*z + 6 = -6 for z.
-3
Let g(j) = -j**2 + 4*j + 5. Let d be g(4). Solve -4*t = -d - 3 for t.
2
Suppose 5 + 2 = h. Let x = -3 + h. Suppose -j - v + 10 = -3*v, 2*j - 2*v - 10 = 0. Solve j*m = m + x for m.
-4
Let y(q) = q**2 + q + 25. Let o be y(0). Suppose 0 = -3*w + 15 + 12. Let s be 48/w + (-8)/(-12). Solve j + o = s*j for j.
5
Let h be (-95)/(-25) - (-2)/10. Let k be 0/(-1*(4 - 2)). Suppose k = -h*l + l. Solve -3*i - 2 - 4 = l for i.
-2
Suppose -a + 0 = -7. Solve -25 = 2*t - a*t for t.
5
Suppose -17 - 8 = -5*g + c, -3*g - 2*c = -2. Let t(m) = -6 + 0*m**2 + 6*m**2 + 3*m + m**3 - g*m. Let x be t(-6). Solve x = -5*l - 14 - 11 for l.
-5
Let b(t) = -t - 6. Let i be b(-8). Solve 0 = -r - i*r + 12 for r.
4
Let v(j) = -j + 19. Let r be v(14). Solve r*b - 2*b = -6 for b.
-2
Let u = -26 - -34. Solve 5*o = -23 + u for o.
-3
Let z be ((-24)/15)/(2/(-5)). Solve 5 = z*x + x for x.
1
Suppose u + u = 16. Suppose 2*w - u = w. Let f = 6 - 4. Solve f*c + 2*c = w for c.
2
Let a be 1 - (-2 - 2/(-1)). Let w(o) = 11*o**2. Let t be w(a). Solve -1 = 4*d + t for d.
-3
Let a = -4 - -16. Suppose 3 = -3*w - g, 4*g + a = 3*w + 2*w. Suppose -2*c - p = -w*c + 4, 2*p + 8 = c. Solve c = -2*x - x for x.
0
Let n(f) = -f**3 - 9*f**2 - f - 1. Let h be n(-9). Solve -h = 2*g + 2*g for g.
