ppose 0 = -o + m*o. Solve -3*k - 1 + 4 = o for k.
1
Let w be -1 + (-1 - -24) + -2. Solve 0*b + 4*b = w for b.
5
Suppose i - 4*l - 27 = 0, 0*i - 4*l = 4*i - 8. Let v = i - 7. Suppose d - 2*d + 5*k + 15 = v, -5*k = 2*d + 15. Solve d*h - 10 = 2*h for h.
-5
Let o(y) = y + 4. Let j be o(-3). Suppose -2*k - 3*s = -16, 0 = k - 3*s - 0*s + j. Solve -k*u - 7 - 18 = 0 for u.
-5
Suppose 0 = -5*h + 5*u - u + 10, -4*h = -u - 19. Solve 2*q - 12 = -h for q.
3
Let u be ((-16)/(-12))/(-4)*6. Let o be (-5)/((-15)/6) + u. Solve 0 = -o*l - l + 1 for l.
1
Let y(r) = 6*r - 1. Let g be y(-1). Let b be -1 + g - -1 - 2. Let n be (-1)/(1/2) - b. Solve -3*c + 4 = n for c.
-1
Suppose 4*b + q - 6*q = 19, 2*b - q = 5. Solve -2*z + 9 + b = 0 for z.
5
Let r be 12 + 2 + 2*-1. Let t be (-11)/(-4) + 2/8. Let v = -5 - -5. Solve t*a + 3 + r = v for a.
-5
Let b be 1*-3 + 0 + 3. Let f(t) = -2*t**3 + 3*t**2 - 1. Let w be f(2). Let g(h) = h**3 + 6*h**2 + 5*h + 4. Let y be g(w). Solve s + y = -b*s for s.
-4
Let u = 15 - 10. Suppose -3*o - o = -u*f + 21, -f = -5*o. Suppose o = -2*z + 9. Solve -4*q + 2*q = z for q.
-2
Let c be 15 - (-1)/((-3)/(-6)). Suppose -3*h + 4 = -d, -d + c - 7 = 4*h. Suppose -12 = -d*s - 4. Solve 0 = 5*p - p + s for p.
-1
Suppose -3*g + 8 + 7 = 0. Solve -g*v - 5 = -30 for v.
5
Let j be ((-2)/6)/(3/(-27)). Solve -j*g + 8 = -1 for g.
3
Suppose -5*j - 4*g - 2 = 11, 4*g = 3*j + 27. Let w(b) = 2*b - 2*b - 2 - b. Let d be w(j). Solve 7*u - d = 4*u for u.
1
Let b be -12*(1 + 3/(-2)). Let q(l) = -l**3 + 8*l**2 + 10*l - 13. Let m be q(9). Let f(r) = -3*r - 7. Let u be f(m). Solve 4 = u*v - b for v.
2
Let j(f) = -f + 15. Let m be j(13). Suppose -m*z - 4*p + 4 = z, 3*z + p - 10 = 0. Solve -15 - 1 = -z*o for o.
4
Let i(n) = 3*n + 10. Let z be i(-6). Let c be ((-8)/10)/(z/60). Solve c - 2 = 4*a for a.
1
Let u = -10 + 12. Suppose 0 = 2*k - 3*k + 2. Solve 0 = -u*z - 0*z + k for z.
1
Suppose -4*t - 2*a = -3*a + 3, a = -4*t + 3. Solve -3*y + 0 + 12 = t for y.
4
Suppose -h + 3 = -4*h. Let x be 0 + (3 + -2)/(-1). Let r = x - h. Solve 4 = -4*l - r for l.
-1
Let q(k) = 21*k**2 + k - 1. Suppose s - 4*j + 0*j - 7 = 0, -j = 3*s + 5. Let r(w) = -2*w - 1. Let v be r(s). Let a be q(v). Solve 5*u + a = -4 for u.
-5
Suppose 3*w + 2*n + 2*n = 14, 0 = -2*w - 3*n + 9. Solve 0 = w*t - 2*t for t.
0
Let u(f) = f - 2. Let o be u(0). Let h be 330/27 - o/(-9). Let c be (-3)/h*6*-6. Solve c - 1 = 2*q for q.
4
Let j = 0 + 1. Suppose -b + 2 = j. Solve -3*y + b + 2 = 0 for y.
1
Let u(s) = s**3 - 8*s**2 + 2*s - 1. Let d be u(8). Solve -5 = 2*y - d for y.
5
Let b be 30/4 + (-3)/(-6). Let x(g) = -g**3 + 9*g**2 - 9*g + 10. Let j be x(b). Suppose -m + j = -0*m. Solve 8 = -2*o - m for o.
-5
Suppose -x = 3*z, -z = -2*x + 4*z. Solve 0 = 4*w - 16 - x for w.
4
Let m(w) = 3*w**3 - w**2 + 1. Let x be m(1). Suppose -x = -2*d + d. Solve d*u = -u + 12 for u.
3
Suppose 0 = -2*x + q + 30, 2*x - 4*q + 15 = 3*x. Solve -4*o = o + x for o.
-3
Let h = -1 - -6. Let z be 90/14 - 54/126. Solve z = o + h for o.
1
Let h = -13 - -11. Let d be (-24)/(-2)*h/(-8). Solve 2*w = -d*w - 20 for w.
-4
Let y be -2 - (0 - 0) - -57. Suppose 2*w = u + 40, -45 = -5*w - 4*u + y. Solve -f + 6*f = -w for f.
-4
Let g(c) = -c**3 + 5*c**2. Let w be g(5). Suppose w = -y + 3*y - 4*j + 16, 4*y = -5*j + 20. Solve 2*a + 2*a = y for a.
0
Let j be (9 + -12)*2/(-2). Suppose 0 = s - 5*x + 20, j*s = -x + 2 + 2. Suppose -5*i + 20 = -s*i. Solve -5*h - i = -h for h.
-1
Let s be 94/18 + (-4)/18. Let k = 11 - s. Solve -k*w = -w for w.
0
Suppose -8 = -3*l - l + 5*f, 0 = 4*l - 4*f - 8. Suppose -4 = -l*u - 0. Solve u*w + 8 = 4*w for w.
4
Let w be 6/(2*6/(-8)). Let j = w + 8. Solve -t = 2 - j for t.
2
Suppose n = -3*k + 40, k - 4 = n + n. Solve -2 = 5*f - k for f.
2
Suppose -24*q + 20*q = -16. Solve q*z + 2 = 10 for z.
2
Suppose 0 = -3*d + 6 + 3. Suppose 6*x - 2*x = o - 20, -12 = d*x. Solve o*k - 3 = k for k.
1
Suppose 6*r - 2*h + 12 = 3*r, 15 = -3*r + 3*h. Let m = -2 - r. Solve -3*o + 1 + 8 = m for o.
3
Suppose -7*z = -3*z + j - 101, -130 = -5*z - 5*j. Solve 0 = 5*a + z - 5 for a.
-4
Suppose -o + 4*t + 20 - 2 = 0, 5*t = -o - 27. Let l be o/(-9) - (-77)/(-63). Let g = 0 - l. Solve 0*c = -c + g for c.
1
Let b(z) = z**2 + 6*z. Let y be b(-6). Suppose -3*r = 4*g, 0 = -y*g + g - r + 7. Let a be -3*2/3 - g. Solve v = -a - 1 for v.
-2
Suppose -2*p + 0 + 2 = 0. Suppose 0 = y + 4*g - 1, -5*y = 3*g + 1 - 6. Let t = y - p. Solve t = -2*i - 2 + 10 for i.
4
Suppose 0 = 2*b + u + 9, b - 2*u + 3*u + 3 = 0. Let m be (-2)/b - (-16)/6. Let a = 3 - m. Solve 2 = -a*g - 2*g for g.
-1
Suppose 11 = 3*u + 5*r, -r + 0*r = -2*u + 16. Let p be (-8 + u)/((-1)/1). Solve -l = p + 2 for l.
-3
Let v(b) = -b + 4. Let s = -17 - -21. Let c be v(s). Solve c = 5*q - 4 - 6 for q.
2
Let r = -27 - -30. Solve 0 = -r*s - 0*s - 3 for s.
-1
Suppose -3*d = -8*d + 5. Let l(x) = 5*x + 1. Let f be l(d). Solve f*i = 4*i + 6 for i.
3
Let v(c) = -c**2 + 11*c + 3. Suppose -1 = -2*w + 3. Suppose -w*i = -2*k - 28, 2*i + 4*k = 3 + 7. Let g be v(i). Solve g*a + 2*a = 0 for a.
0
Let t(k) = 5*k + 28. Let w(u) = u + 7. Let n(z) = 2*t(z) - 9*w(z). Let g be n(9). Let x = 11 + 1. Solve x = -5*r + g for r.
-2
Suppose 11 + 26 = 4*o - d, -2*d = 5*o - 30. Let x = -1 - o. Let y be (-30)/x - 1/3. Solve 5 = -y*s + 8*s for s.
1
Suppose 45 = 4*r - 75. Let n be 36*(1 + 2/8). Suppose 3*w - n = r. Solve w = 4*q + q for q.
5
Let h(z) = z**3 - 3*z**2 + 2. Let v(o) = -o**3 - 4*o**2 - 4*o. Let m be v(-3). Let g be h(m). Solve -g = -t - 5 for t.
-3
Suppose r - 5*u + 3 = -2*u, 0 = -4*r - u + 14. Let f be (-3)/2 + (-21)/(-14). Solve f = o + r*o - 12 for o.
3
Suppose 4*z + 3*n = 7, -3 = 3*z + 5*n - 0. Solve -f - z = f for f.
-2
Let o be (4 - 5)/(4/(-40)*2). Solve -4*j = o + 3 for j.
-2
Let h be (3 - 1)*5*(-12)/(-30). Solve -3*c - h = -4*c for c.
4
Let v(j) = 2*j**3 + 13*j**2 - 3*j + 7. Let b(q) = q**3 + 7*q**2 - q + 4. Let g(c) = 5*b(c) - 3*v(c). Let t be g(-5). Solve -11 = t*n + 5 for n.
-4
Let q(k) = k**2 + 4*k + 2. Let v be q(-4). Suppose 5*u - 5 = -5*f, -3*f - 2*u + 2 = -v. Solve -r - f = -3*r for r.
1
Let d(y) = -22*y - 1. Let b be d(-1). Suppose 2*p = -2*p + 20. Let z(k) = -k**2 + 6*k + 4. Let w be z(6). Solve p*m = -b - w for m.
-5
Let u be 483/46 - 2/4. Solve 2*p + u = -0*p for p.
-5
Let z be 2*-1*(-7)/7. Let q be (-7)/1*9/(-21). Solve q = -z*k - 1 for k.
-2
Let f be (-164)/6 + (-4)/(-12). Let h be (-2)/(-3) - (-18)/f. Solve h = 5*y - 2*y for y.
0
Let x = -104 - -112. Solve 4*c - 4 = x for c.
3
Suppose -2*o + 2*d - 8 = -3*o, d + 18 = 5*o. Solve -15 + 3 = -o*a for a.
3
Let s(y) = y**3 - 4*y**2 + 2*y + 2. Let c be s(3). Let i = c - -4. Solve i*q + q = -20 for q.
-5
Let m be -3*(-1)/3*9. Let p = m - 5. Solve -2*j = -0*j - p for j.
2
Let l be 4 - -5*8/(-20). Solve 5*m = l*m - 12 for m.
-4
Let k(g) = -g**3 + 8*g**2 + g - 7. Let d(s) = 7*s**2 + 1. Let r be d(-1). Let o be k(r). Solve -2*y - o = -y for y.
-1
Let l(g) = g**2 + 12*g + 2. Let u be l(-13). Suppose -6*i - 3*t = -i - 9, 4*i = -5*t + u. Solve 2*m - 1 - 3 = i for m.
2
Let n(s) = -s**3 - 5*s**2 + 5. Let c be 4/(-2) - (2 - -1). Let w be n(c). Solve -w*t + 4 + 6 = 0 for t.
2
Let i = 0 - -1. Let b be i/(-1 - 0) - -1. Solve -2*k + 3*k - 3 = b for k.
3
Let n(i) = -3*i**2 + 3*i - 2 + i**3 - 1 - 3*i**2. Let b = -12 + 18. Let p be n(b). Solve j + p = -2*j for j.
-5
Suppose -5*b + 2*o + 2*o = -12, 3 = 4*b - o. Solve b*f + 2*f + 6 = 0 for f.
-3
Let w = -7 - -12. Suppose -3*r = -5*l + 62, 16 - 40 = -2*l + 2*r. Solve w*h = l + 2 for h.
3
Suppose 5*f - p = -6*p + 25, -2*f - 5 = -3*p. Let s = f - -1. Solve 0 = s*j - 13 - 2 for j.
5
Let w(n) = 10*n. Suppose 4*p + 15 = j - 6*j, -9 = 3*j - 5*p. Let c be w(j). Let m be 4/8 + c/(-4). Solve m = 4*u - 8 for u.
4
Suppose -4*x + 6*x = 18. Solve 0 = -3*u - 6 - x for u.
-5
Suppose -2*j + 1 = -3*w - 3, 0 = j - 2*w - 2. Let v be 5/j*(1 - -1). Solve v*t + 10 = -5 for t.
-3
Let i(c) = 3*c + 1 - 1 - 12 - 2. Let p be i(6). Solve 3 + 1 = p*u for u.
1
Let c(m) = m**2 - 14*m + 15. Let f be c(13). Solve 10 = -f*a - 0*a for a.
-5
Let t(v) = v - 5. Let d be t(5). Let y(p) = p**2 + 7*p - 4. Suppose 1 = 3*m - 8, 2*f - 3*m + 25 = 0. Let c be y(f). Solve d = -w + 2*w - c for w.
4
Suppose -s = -2*y, 2*y + 0*y + 8 = 3*s. Solve -2*g = -s*g + 10 for g.
5
Suppose 9*q - 13*q + 20 = 