ose -4*s + 16 = 2*i, 2*i + 10 = y*s + i. Solve -3*v = o - s for v.
-1
Let w(o) = -o**3 + 8*o**2 + 8*o + 12. Let h be w(9). Solve a = h*a for a.
0
Let n(l) = -4*l + 12. Let o be n(3). Solve 4*r - 3 - 1 = o for r.
1
Suppose 2*h - 7*h + 10 = 0. Solve h*z - 1 = 3*z for z.
-1
Let x = -4 + 12. Let r(m) = -m**3 - 8*m**2 - 7*m + 9. Let h be r(-7). Let a be h/(-6) + (-6)/(-4). Solve -s - s - x = a for s.
-4
Let y(g) = -8*g - 2 + 9 + 7*g. Let o be y(5). Solve -o*b - 8 = 2*b for b.
-2
Let p be (-2)/(-6) - 2/6. Suppose 12 = 5*h - 3*a, a + 11 = 4*h - p. Let r be (-4)/(-2*h/18). Solve -4*u + r = -8 for u.
5
Let u be 3 - (14 - (-2 + 0)). Suppose -5*f - 2*x = -80, 2*x + 4 = 2*f - 42. Let b = f + u. Solve -3 = b*n - 8 for n.
1
Let m(l) = -l**2 + 3*l - 2. Let x be m(2). Solve x*q = 4*q + 4 for q.
-1
Let m(c) = 2*c**2 + 4*c + 2. Let l(q) = 3*q. Let s be l(-1). Let b be m(s). Solve 0*k = -4*k + b for k.
2
Let y be (-3)/6 + (-3)/(-2). Solve -a + 0*a = -y for a.
1
Suppose -21 + 1 = -4*u. Suppose 14 = 4*q + 2*x, 0*q + 55 = u*q - 5*x. Let v = q + -4. Solve v = 4*g - 5*g for g.
-2
Suppose -2*p = y - 4*p + 4, 2*y - 5*p = -13. Let g = y + -6. Solve g = -3*m - 1 + 7 for m.
2
Let m(x) = x + 2. Let a be m(0). Solve a = -4*w + 6 for w.
1
Suppose -8 = -5*g - 3*g. Solve 2*s = -5 - g for s.
-3
Let b(t) be the first derivative of -1/3*t**3 - 1 + 0*t + t**2. Let o be b(2). Solve 2*a - 7*a - 5 = o for a.
-1
Let c be -3 + 0 - 21/(-3). Solve -s = -0*s - c for s.
4
Suppose 2*s = -0*s + 18. Let i be 4/(-6) - (-51)/s. Let u = i + -2. Solve 4 = -t - u*t for t.
-1
Suppose -3*u + 9 = -5*f, -6*f = -2*u - 4*f + 2. Let h(y) = y**3 + 4*y**2 + y - 1. Let g be h(u). Solve -g*j + j - 8 = 0 for j.
-2
Let j(y) = y - 1. Let d be j(5). Let g = 24 + -21. Solve -g + 23 = -d*i for i.
-5
Suppose 3*g + 54 = 6*g. Suppose -4*t + 5*v + 35 = 0, 2*t + 0*v - 2*v - g = 0. Solve 0*c = 5*c + t for c.
-2
Let y(u) = u**2 + 2*u - 1. Let n be y(-3). Solve c + n = -2 for c.
-4
Let u(r) = -3*r + 11. Let k be u(3). Solve -k*q + 6*q = -16 for q.
-4
Suppose 4*j - 4 = -b, 0*b = -3*j - 2*b - 2. Suppose 0*m = -m + 1. Solve j = i + m for i.
1
Let c be 6/4*(-4)/(-6). Suppose -p = 2*p - 6. Solve -p*m = -3*m + c for m.
1
Let s(f) = 8*f**2 - 1. Let n be s(1). Suppose 4*h = -n - 5. Let z = 5 + h. Solve -5*q + z*q = -12 for q.
4
Let n(k) = 2*k**2 - 3*k. Let l be n(2). Suppose 18 = -5*j + l*j. Let u be (2 - 1)*(10 + j). Solve f = -u*f for f.
0
Let r = -79 - -93. Solve 0 = 4*w - r - 6 for w.
5
Let x be (-10)/(-5 + -2 + 6). Solve -5*a = -x*a + 15 for a.
3
Suppose 35 = 4*v + v. Suppose -2*k - 17 = -v*k + 4*a, -3*k + 5*a = -5. Suppose 0 = -2*u - 2*t + 2, 5*t - 3*t + 8 = 0. Solve u*q - 10 = k for q.
3
Let z(r) = -r**2 + 8*r - 10. Let p be z(7). Let k be (-1 - -2)/(-1) - 8. Let l be 4 - p/k*3. Solve l*x + x - 8 = 0 for x.
2
Let b = 3 + 9. Suppose -3*f = 3*p - b, -p - 6 = -3*f - f. Solve 4 = -f*s + s for s.
-4
Suppose 2*x - b + 12 = 3*b, 2*x = b + 3. Suppose -d - 1 = -x. Solve -d*h - 2*h = -10 for h.
2
Let v(l) = l. Suppose -a + 7 = 2. Let y be v(a). Solve -5*o - y - 15 = 0 for o.
-4
Let b be (-1 - -8) + (-3 - 0). Suppose -5*l - 2*k = -21, -2*l - b*k + 7 = l. Let u = l - 3. Solve -3*i - 4 = -u*i for i.
-4
Let w = 3 + -2. Suppose r + w + 3 = -2*n, -3*r - 12 = 4*n. Let t be n*(0 - (-2)/2). Solve b + 5 + t = 0 for b.
-5
Let r = 4 - 1. Suppose -r*h + 5*i = 0, 30 = 3*h + 5*i - 0. Solve 7 + h = -4*u for u.
-3
Let t(p) = 5*p**2 + 8*p + 6. Let o(g) = -14*g**2 - 23*g - 17. Let y(n) = 4*o(n) + 11*t(n). Let d be y(-4). Let b be 0*(1 + d/4). Solve b*i = -i for i.
0
Suppose 0 = u - 4 - 3. Solve 4*o = u + 5 for o.
3
Let y be -1*(3 + 8/(-1)). Let c = -3 + y. Solve -c*s - s = 6 for s.
-2
Let d be (14/(-28))/(2/(-8)). Solve d*w = w for w.
0
Let u(o) = -o**3 + o - 2. Let v be u(0). Let q(a) = 3*a**2 + 4*a + 2. Let s be q(v). Suppose s + 3 = 3*n. Solve -n*l = -0*l + 6 for l.
-2
Let f = 1 + 2. Let y be (18/f - 2)/2. Solve -8 = -0*v + y*v for v.
-4
Suppose -4*p = 4*y - 27 + 135, -p = 0. Let d be 8/6*y/(-6). Solve -2*m - d = m for m.
-2
Suppose 3*i - 15 + 0 = p, 5*p - 15 = 0. Solve i*v - 3*v = -15 for v.
-5
Let c = 20 - 16. Suppose 0*q - i + c = 3*q, 4*q - 3*i - 14 = 0. Solve -q*d = d for d.
0
Let h(a) = -a + 1. Let p be h(-1). Suppose -j + u = j - 14, p*u = 0. Solve j*q + 15 = 4*q for q.
-5
Let b be 6*-1*2/(-3). Suppose 2*n - b = -0. Let x be (-2 - 14/(-4))*n. Solve h + x*h = 12 for h.
3
Suppose 3*j + k - 5 = 6*k, -3*j = -4*k - 4. Let g be (2/(-3))/1*-18. Let f(m) = m**3 + 4*m**2 - 6*m - 1. Let c be f(-5). Solve j*n = c*n + g for n.
-3
Let s be (6/(-2))/(9/(-6)). Suppose s*i = -4, 0 = 4*g + 5*i - 0 + 2. Solve 0*c = g*c for c.
0
Let q be 2 - (-3 - -3) - 1. Suppose -3*o + 5*p - 12 = 0, 2*o + 2*p - 1 = 7. Suppose q + o = y. Solve 0 = y*h + 1 + 9 for h.
-5
Let s = -7 + 9. Suppose -v = -5*p - 35, s*p - p - 123 = -5*v. Solve -a + v = -6*a for a.
-5
Suppose 3*s = -5 + 20. Solve -5*k + 0*k = -s for k.
1
Let b be (-1 - (-39)/6)*2. Let g = -9 + b. Solve 4 = 3*j - g*j for j.
4
Suppose 0 = -2*c - 2*c - 76. Let o = c + 29. Suppose -r + 2*p - p + 5 = 0, -4*r - 2*p = o. Solve r = -0*j + 5*j + 5 for j.
-1
Let t = 35 - 33. Solve -2 = o + t for o.
-4
Let z be (2 - -5 - 1)/2. Suppose f - z*o - 14 = 0, -5*f + 3 + 3 = o. Solve f*h + 6 = -2 for h.
-4
Suppose i + 3*i = 16. Suppose i*k = -h + 6*h - 21, 4*k = 4*h - 20. Solve -u + 2 = -h for u.
3
Let t be -2*2*(-1)/2. Solve t*h + 5 = 15 for h.
5
Suppose -4*v = 66 - 126. Solve -4*t = -t - v for t.
5
Suppose d = 3*d - 6. Solve 3*s = -0*s - d for s.
-1
Let p(n) = n**3 - 7*n**2 - 6*n - 11. Let f be p(8). Suppose 2*r = -3*a + 67 - f, 4*r - a - 138 = 0. Let x be (-1 - 0)/(14/(-70)). Solve -9 = x*m - r for m.
5
Let a be (7 - 228/28)/((-4)/14). Solve 0 = a*f + 13 - 1 for f.
-3
Suppose 1 = -2*h + 9. Suppose -3*i = -h - 8. Solve -f = -0*f + i for f.
-4
Suppose 0 = 3*a - 0*a + 33. Let o be a/22 + 3/2. Solve -o = -m + 1 for m.
2
Let t(o) = 21*o**2 - 1. Let c be t(1). Let a be -2*3/(-6) + c. Let l = -15 + a. Solve l*r = r for r.
0
Let s = -42 + 59. Let w = s + -15. Solve -15 = w*y + y for y.
-5
Let f(y) = -y**3 + y**2 + 6*y + 3. Let c be f(3). Solve -7*x + 12 = -c*x for x.
3
Let w(v) = -v**2 - 9*v + 2. Let x be (2 - 12) + 2 + -1. Let g be w(x). Solve 0 = g*a - 3 - 5 for a.
4
Let i = -17 - -20. Solve i*j + 6 = 3 for j.
-1
Suppose 2*b + 0 - 14 = 0. Suppose 5*n = 3*v - 38 + b, 0 = -3*v + 3*n + 21. Solve v*p = 5 + 3 for p.
4
Let p(x) = x**2 - 12*x - 18. Let b be p(14). Let k = -8 + 23. Solve -b - k = 5*q for q.
-5
Let l = -7 - -1. Let k = l - -12. Suppose -2*q + 4*o + 20 = 0, 3*o = -3*q + 2 + 1. Solve -q = -4*w + k*w for w.
-2
Let k be ((-2)/5)/(2/(-10)). Suppose 2*i = 2*b + 22, -3*b = -2*i + 40 - 5. Let g = -9 - b. Solve -k*u = g - 2 for u.
-1
Suppose -3*a - n = -71, 5*a + 4*n - 109 = -0*a. Suppose 5*m + 1 + 0 = -4*b, -3*m + a = -4*b. Solve -g - 20 = m*g for g.
-5
Let i = -3 - -4. Let d = i + 1. Solve -d*n + 4 = -n for n.
4
Suppose 0 = 3*r - 5*a + 24, -r - 3*a = -3*r - 16. Let c be (4/r)/(2/(-20)). Solve 0 = -j - 0*j + c for j.
5
Suppose o = -3*o + 24. Suppose -13*v + o = -11*v. Solve v*c = -2*c for c.
0
Suppose 10*d + 4 = 74. Solve -8 = 5*v + d for v.
-3
Let u = -73 + 73. Solve u*x = -5*x for x.
0
Let t(c) = c**2 + 4*c + 3. Let w be t(-6). Let y be 33/15 - (-2)/(-10). Let r = -2 + y. Solve r*s + 5*s = w for s.
3
Let t(i) = -3*i + 3. Let b be t(-3). Suppose -5*s + b = l, 3*l = -2 - 7. Solve s*z = 2*z + 2 for z.
2
Suppose 2*j - 12 = 22. Suppose 5*y = -4*x - 24 + 59, -y = -4*x + j. Solve 0 = n - 0*n - x for n.
5
Let d = 5 + -3. Suppose 0*i + 2*i = d. Let w be (-1)/(i - (-12)/(-10)). Solve -2*q - 3 = -w*q for q.
1
Let b(f) = -5*f**2 + 9*f + 23. Let x(k) = 2*k**2 - 5*k - 11. Let o(q) = 3*b(q) + 7*x(q). Let n be o(-6). Suppose -t = n*t. Solve l - 4 + 0 = t for l.
4
Let f be 2 - -4 - (1 + -1). Suppose -4*b = 20, 2*z + 28 = f*z - 4*b. Suppose 4*d = -4*c - 8, -5*c = -z*d + 4*d + 19. Solve 6*r + d = 3*r for r.
-1
Let m = -32 + 16. Let u = m + 29. Suppose -r - 2 = 0, -r - u = -5*f - 2*r. Solve -f*k = -5*k - 6 for k.
-3
Suppose 2*p = s + 10, 5*s = 4*p - 8*p + 48. Suppose 2*k = 20 + 4. Suppose 3*q - p*q = -k. Solve 7*b = q*b + 20 for b.
5
Suppose 0 = 4*r - 3*r - 5. Suppose r*i + 3*w + w = 36, -5*i + 28 = 2*w. Solve -2*c = -c - i for c.
4
Suppose 0*w - w + 9