pose 2*r = -4*x + 70, -4 = -2*x + s*r + 1. Solve -h + x = 4*h for h.
3
Suppose 0 = -q - q + p + 10, p = 0. Solve q*b - 2 = 23 for b.
5
Let o be 8 + (-4 - 0/1). Solve -1 + o = -g for g.
-3
Suppose 22 = -7*d + 36. Let g be (0*1/3)/(-2). Solve g = -v + d*v - 5 for v.
5
Suppose 2*o = -6*o + 40. Solve o = 3*u - 1 for u.
2
Suppose -4*s = -3*w - 0*w - 78, -5*w - 95 = -5*s. Suppose 5*c - s = -6. Solve 0*d = d - c for d.
3
Suppose -2*q = 3*q + 15. Let y be 10/15 - 10/q. Solve -p - y = -2 for p.
-2
Let j be (-5)/(6/(-12)*2). Solve j*l + 7 + 3 = 0 for l.
-2
Let n(g) = g**2 - 2*g + 1. Let r be n(1). Solve 2*u + r*u = -6 for u.
-3
Suppose -4 - 1 = -5*i. Suppose 4*d - 9 = -i. Solve 0 = 5*t - d - 3 for t.
1
Suppose -2 = 5*g - 12. Let l = 11 - 6. Suppose 5 = -t - l*m, 4*m = -t + 3*t - 4. Solve c - g*c = t for c.
0
Let o = 23 - 14. Let q be 3/o + 2/(-6). Solve q = -0*z + 3*z + 3 for z.
-1
Suppose 0*r + 8 = 2*r. Let x = 3 + -3. Let c be (-8)/24 + (-147)/(-9). Solve -5*l - r - c = x for l.
-4
Suppose -w - w = 0. Suppose w*j = -5*c - 4*j + 12, 2*c - 9 = -3*j. Solve c = -3*o + 1 - 10 for o.
-3
Let l(t) = -t**3 + t**2 + 2*t + 18. Let a be l(0). Suppose 4*h = -5*x + a + 11, -x + 3 = -2*h. Solve -14 = -5*s + h for s.
3
Let g(x) = x**3 + 7*x**2 - 2*x - 7. Let j be g(-6). Suppose 28 = 4*o + 2*s, -j = -5*o - s - 3*s. Solve -4*c + o*c = 2 for c.
2
Suppose -5*z - 15 = 25. Let a = z - -14. Suppose -2*m + 2 = -a. Solve 1 = -u + m for u.
3
Suppose 3*c - 2*s = 19, 2*c - 3*c - 7 = 2*s. Suppose x + c*x = 92. Let o = -8 + x. Solve 5*q - o = 10 for q.
5
Let q be -4 + 1/((-1)/1). Let o = -1 - q. Solve s - o + 1 = 0 for s.
3
Suppose 13 = 2*z - 7. Suppose 5 = 5*l - z. Solve -8*y - 25 = -l*y for y.
-5
Let t(o) = -o**2 - 5*o + 4. Let i be t(-5). Solve 0 = i*z - 2*z for z.
0
Let p(q) = q**3 + 2*q**2 - 8*q + 5. Let m be p(-4). Solve -m + 1 = 4*g for g.
-1
Suppose 0 = -3*x - 0*x - 39. Let v = 14 + x. Suppose c + 4*c = 0. Solve v = -c*f + f for f.
1
Suppose -5*k = -12 - 18. Solve k*t - 4*t = 0 for t.
0
Suppose -u - 3 = -0. Let h be 2 - (-5)/(-1) - u. Solve 9 = -h*k + 3*k for k.
3
Let j(d) = -2*d**2 - 3*d + 2. Let n be j(0). Solve n*u - 4 = 6 for u.
5
Suppose -5*v - 5 = -0, 31 = -4*s - 3*v. Let y = 11 + s. Solve y = l - 0 for l.
4
Suppose 2*r + 0 = 6. Solve -r*z = z - 8 for z.
2
Let u = 24 + -12. Let k = u + -8. Solve 0 = y - k + 5 for y.
-1
Let f(b) = b**2 + 5*b + 3. Let z be f(-5). Solve 2 = -5*u - z for u.
-1
Let a = 11 + -17. Let h be (2/a)/((-12)/72). Solve 12 = z + h*z for z.
4
Suppose 0 = -3*t - 6, -5*t - 12 = -2*v - 2*t. Solve -v*k + 2*k = -3 for k.
3
Let w(p) = p**3 + 7*p**2 + 5*p - 6. Let n = -14 - -8. Let h be w(n). Let z be (h + -1 + 4)*5. Solve -5*s + 0*s - z = 0 for s.
-3
Let b = -66 - -69. Solve -8 = b*x - 5*x for x.
4
Suppose -3*o - o = 0. Let m be 30*(-2 - (-15)/6). Suppose -10 = -i - 2*q - o, 3*q = 4*i + m. Solve i = -y - 0*y + 2 for y.
2
Suppose -4*z + 4*a - 12 = 0, -3 = -z + 2*a - 3*a. Let n be 1/3 - 10/3. Let l be (50/15)/((-2)/n). Solve z = -l*c - 8 - 7 for c.
-3
Let j(k) = -2*k + 3. Let s be j(2). Let m be s*(2 - 15/3). Solve m*f - 8 = f for f.
4
Let s(p) = 5*p + 14 + 0*p**2 - p**3 - 4*p - 12*p**2. Let q be s(-12). Solve 11 - 3 = q*t for t.
4
Let t = -43 - -60. Solve -3*r - 5 = -t for r.
4
Let c(n) = -n - 7. Let l(b) = -b - 7. Let f(x) = -4*c(x) + 3*l(x). Let v be f(-7). Suppose 0*g + 5*g = v. Solve g = -4*w - w for w.
0
Suppose 8*n - 5 - 19 = 0. Let p(q) = -q**3 + 4*q**2 + 5*q. Let t be p(5). Solve -x - n + 2 = t for x.
-1
Suppose -n + 2*b = -11, -4*n + 31 = 2*b + 3*b. Let j = n + 0. Solve -2*y + j = -5*y for y.
-3
Let n(k) = -2*k - 7. Let b be n(-5). Suppose 0 = 2*t - t - 7. Solve -t*a + b*a = 16 for a.
-4
Let q = -5 + 5. Suppose 0*f + f - 3 = q. Solve -j + 20 = f*j for j.
5
Let n(b) = -b**2 - 4*b - 4. Let y be n(-2). Solve 4*w + 4 = -y*w for w.
-1
Let f be (9/12)/((-2)/(-24)). Solve 4*z - 7*z = -f for z.
3
Let d be (-1)/((-1 - 1)/40). Suppose 2*g = -3*j + 7*j + d, 5*j = -15. Let r = -2 + 2. Solve -g*k = -r*k - 16 for k.
4
Let t be (-2)/(-9) - (-2)/(-9). Let m be (1 + t)/((-2)/4). Let n be (-3 - (-2 - m)) + 3. Solve -6 = -2*o - n for o.
3
Let w(j) = j**3 + 10*j**2 - 10*j + 15. Let d be w(-11). Let y(p) = -5 + 2*p - p + p. Let h be y(d). Solve 6*x - h*x - 6 = 0 for x.
2
Let c(a) = 9*a + 42. Let t be c(-4). Solve 10 = m - t*m for m.
-2
Let t be (-8)/4 + 3 + 3. Solve -2*h = -0 + t for h.
-2
Suppose -4*q + 3*t = -10 + 41, -29 = 2*q + 3*t. Let g be (8/(-10))/(2/q). Solve -7*u + 3*u + g = 0 for u.
1
Let y = 0 + 6. Solve -2*g + 2 = -y for g.
4
Suppose -2*w = -7*w. Suppose w = -0*d - d. Let q be d - (-6)/(-3 - -6). Solve -5*p = -22 + q for p.
4
Suppose 0*i - i = 0. Suppose i = -2*o + 13 - 1. Solve -o*v + 2*v = -20 for v.
5
Let d(s) = 0*s - s**3 - 6*s**2 + s**2 - s. Let b be d(-5). Let f(c) = c - 5. Let i be f(5). Solve i = -o - 4*o + b for o.
1
Let o be (-2)/3*(65/(-10) - -2). Solve 0 = -o*h - 0*h - 9 for h.
-3
Let y = -10 - -15. Let u(m) = -m**2 - m**2 + m**3 - 2*m**2 + 7 - 6*m. Let j be u(y). Solve 4 = -0*h - j*h for h.
-2
Suppose 3*g + 24 = 54. Solve 2*j = 7*j + g for j.
-2
Suppose 0 = 8*f - 4*f - 48. Suppose 5*u - 3*u = 4*q - 6, 5*q = -3*u + 35. Solve -u*p = -p + f for p.
-3
Suppose 6 + 2 = -4*d. Let k(q) = 3*q + 3. Let i be k(d). Let s be 0/(i - (3 + -5)). Solve -g + s = -1 for g.
1
Suppose 3*i - 5*j = -2*i - 20, 0 = -4*j + 20. Let x be (-30)/9*6/(-5). Let m be 18/x + 1/(-2). Solve m*l = 5*l + i for l.
-1
Let n(r) = r**2 + r - 2. Let q be n(2). Solve -i - 3 = -q*i for i.
1
Let p be 3*2/((-4)/(-2)). Suppose -6*j + p*n + 5 = -4*j, -j = 3*n - 7. Solve -j*u = u - 5 for u.
1
Suppose -4*i + 3 = -13. Let y(g) = -g**2 + 6*g - 4. Let h be y(i). Suppose h = 3*c - 2*c. Solve -2*z + c*z + 10 = 0 for z.
-5
Let q be 2648/44 + 4/(-22). Suppose 4*h + h = q. Suppose -4*m + 4*u + 24 = -0*u, -5*u - h = m. Solve 0 = -c + m*c + 10 for c.
-5
Suppose -k = k + 3*q, -2*k - q = -4. Suppose -5*j + 45 = -4*r + 7, k*r + 36 = 5*j. Solve j = -2*g - g for g.
-2
Let l(a) = -a**3 - 9*a**2 - 9*a + 1. Let v be l(-8). Suppose f = 1 - v. Let u = 0 - f. Solve -j - j + u = 0 for j.
4
Suppose 0*a + 50 = 2*y + a, -a = 5*y - 119. Let t(r) = -r**2 - 7*r - 6. Let o be t(-5). Suppose -3*c + z = 2*z - 2, -o*z = c + 14. Solve 5*m - y = c for m.
5
Suppose -3*n + n = y + 3, 0 = 5*y + 3*n - 13. Solve -d - y = -0 for d.
-5
Suppose 2*u + 0*u = 8. Let s be 50/u - (-2)/(-4). Let f = s + -9. Solve 0*o + f*o = 0 for o.
0
Suppose 1 + 1 = a. Let n be 1/(1/10) - 1. Solve -a*o + n = o for o.
3
Let v be 2*(-4)/8*0. Solve n - 5*n - 4 = v for n.
-1
Suppose -95 = 5*j - 0*j. Let i be 16/56 + j/(-7). Solve i*p = 4*p for p.
0
Suppose -4*q + 168 + 48 = 0. Let l = q - 30. Let v = l + -4. Solve 2*y = -3*y - v for y.
-4
Let t = 30 - 23. Suppose 4*q = -4*s, -5*q + 3*s = -20 + 4. Suppose q*f = f + 4. Solve t*i - f*i = 0 for i.
0
Let y(f) = -f**2 + 8*f - 5. Let i(l) = 3*l - 2. Let q be i(3). Let s be y(q). Solve s*k + 5 = -1 for k.
-3
Let y be (0 + 0)/(-2 + 4). Solve -4*t + 0*t = y for t.
0
Let b(w) = -2*w + 2. Let g be b(0). Solve 5*s - 22 = -g for s.
4
Let d(n) = -n**3 - 9*n**2 - n - 7. Let i be d(-9). Solve i*k + 0*k = 4 for k.
2
Let s(v) = -8*v. Let u be s(-2). Suppose -m = m - u. Solve -m = g - 3 for g.
-5
Suppose 4*c = 5*w, 3*w = -4*c + 3*c + 17. Solve -3*o - 2 = -c for o.
1
Suppose -d - 4 = -a + 2, -2*a + 4 = 2*d. Suppose -4*p = -0*p - 12. Suppose 0 = -p*x + x. Solve a*m - 1 + 21 = x for m.
-5
Let p(x) = -9 - 5*x + x + 1 + x**2. Let y be p(6). Suppose -4*c = -k + 1, y*c = 2*k - 1 - 1. Solve c + 3 = 3*s for s.
1
Let y(v) = 4*v**2 - 34*v + 18. Let f be y(8). Solve -3*p - f + 8 = 0 for p.
2
Let u = -21 + 30. Suppose 5*j = -15, 0*q + 2*j + 6 = q. Suppose 5 = -q*b + b. Solve b*t - u - 6 = 0 for t.
3
Suppose -3*q + 13 = -5. Solve -31 = 5*p - q for p.
-5
Let h(r) = -29*r**3 - 2*r**2 - r. Suppose 5*n + 3 = 3*l + 4, 0 = 5*l + 10. Let a be h(n). Let m be 132/a + 4/14. Solve -b + 3 = m for b.
-2
Let c be ((-64)/(-28) - 2)*7. Suppose c*w + 4 = 3*w. Solve -w*q - q - 5 = 0 for q.
-1
Suppose -2*l + 8 = -h, -5*l + 22 = 5*h + 2. Solve -k = -l*k for k.
0
Suppose 0 = -l + 4*h + 20, -5 = -0*l + 2*l + h. Solve l = -0*r - r - 2 for r.
-2
Suppose -15*o + 14 = -76. Solve -o*i - 12 = -3*i for i.
-4
Let p = -18 - -12. Let q be (-5)/(-2) + p/(-12). Solve 2