 m - 7. Let i be s(0). Let k = i + 12. Let t = -18 - -18. Solve t = k*o - 3*o for o.
0
Let n(j) = -2*j**2. Let z be n(0). Solve -m + 5 = -z*m for m.
5
Suppose 0 = -2*j + 23 + 25. Let q be 3/4 - (-6)/j. Solve -q - 14 = 3*y for y.
-5
Suppose 5*s = -0*y - 2*y + 2, -4*s = 8. Let f(a) = 2*a - y - 3*a + 2*a. Let b be f(6). Solve 0 = -b*j + j + 1 for j.
-1
Let y(m) = m - 5. Let k be y(8). Suppose 4*j = 5*s - 7, -3*j + 8 + 7 = k*s. Suppose -j*x - 4*c - 13 = -x, x + c + 1 = 0. Solve -2*z = -3*z - x for z.
-3
Suppose 0 = -4*m + 5*l - 25, 3*l - 15 = -3*m - 0*l. Solve m*d = d for d.
0
Suppose s + 4*s - 50 = 0. Suppose 8 = -3*i + i - 3*f, 3*i - f - s = 0. Suppose -20 = 2*v + 4*z, -2*z - 8 = i. Solve -p = -v*p + 2 for p.
-2
Let o = 34 + -24. Suppose 2*t - o = -3*t. Suppose t*d = -3*d + 75. Solve -4*k + d = -k for k.
5
Suppose 23*j - 21 = 16*j. Solve 6*n - j*n + 15 = 0 for n.
-5
Suppose 2*l - 2 - 14 = 0. Let m be (6/(-12))/((-2)/l). Suppose n + 1 = -3, n = -m*q. Solve 15 = t + q*t for t.
5
Let m be 11/4*(-4)/(-1). Solve 1 = -4*t - m for t.
-3
Suppose h - 6 = -v, 3*v - 4*h - 6 = -3*h. Solve g - v*g + 6 = 0 for g.
3
Let l be (-3*1 + (0 - -3))/2. Solve -d + l*d = 0 for d.
0
Suppose -10 + 14 = 2*a. Solve 3*c + 10 = -a*c for c.
-2
Let c(b) = 1 + 1 + 2 + b - 3. Let p be c(8). Solve 4*w - w + p = 0 for w.
-3
Suppose -5*h - 1 = -21. Suppose 4*b - h - 4 = 0. Suppose 4*r = -r. Solve 0 = -b*o - r*o for o.
0
Let j(g) = g - 2. Let d be 7/49 + (-69)/(-7). Let q be j(d). Solve 0 + q = 2*b for b.
4
Let n(p) = -3*p - 17. Let i be n(-7). Solve 0 = i*z - 7 - 1 for z.
2
Let p = -40 + 40. Solve -5*m + 5 = -p for m.
1
Let x = -22 - -10. Let b = x + 26. Solve -2*r = 4 - b for r.
5
Let i(k) = -k**3 + k**2 - k + 3. Let a be i(0). Solve 0 = 5*t - a - 12 for t.
3
Suppose x + 3 = -5*a, -2*a + x = -3*x - 12. Let m = 0 - a. Solve m + 8 = -4*k for k.
-2
Suppose -15*s + 60 = -0*s. Solve 7*d - s = 3*d for d.
1
Let r be (1 - 0)*(-7 + 13). Solve u - r*u = 0 for u.
0
Suppose -2*y - 3*b + 13 = 2*b, -15 = -5*y + 5*b. Suppose -h + 6 = -4*h. Let r(o) = -o. Let d be r(h). Solve 0 = -y*c - 10 + d for c.
-2
Let a(m) = m**2 + 6*m + 7. Let s be a(-5). Solve -12 = r + s*r for r.
-4
Suppose -o - 1 = -2. Let g be 1/(-3)*(-16 + o). Solve -4*f - f = g for f.
-1
Suppose -y = 2*y - 18. Suppose 0 = -m + 2, -3*d + m + 8 = -m. Let c = -2 + d. Solve 0 = c*j - y*j - 16 for j.
-4
Let h be 17 + (-1)/(3/(-3)). Suppose -3*m - 42 - h = 0. Let v be (6/5)/((-6)/m). Solve -p + 15 = -v*p for p.
-5
Suppose 2*m + 8 - 12 = 0. Suppose m*f - f = 0. Solve 0 = -f*s + 2*s - 2 for s.
1
Let w = -10 + 11. Suppose -2*c + 1 = -y, -5 = -3*c + w. Solve 0*j - 12 = -y*j for j.
4
Let w be (-27)/(-6)*(-8)/(-6). Suppose -h + 5 = -w*h. Let k be (2/4)/(h/(-12)). Solve -3*y + 6*y + k = 0 for y.
-2
Let a be (-1 - -3) + -1 + 0. Let g be 2*1 + 1/a. Let b be 2 - 31/(-6) - 5/30. Solve -g*h = -b*h + 20 for h.
5
Let f be 218/8 - (-15)/20. Let a be (-8)/f - 68/7. Let r be ((-16)/a)/((-4)/(-10)). Solve 2*d - 3*d = -r for d.
4
Suppose -g = 4*g. Suppose -6 = -3*b - g. Solve 0 = 2*s + 4 - b for s.
-1
Suppose 3*m = -m + 12. Solve 0 = -5*s + m*s + 4 for s.
2
Let t = 1 - 1. Solve -4*l - 20 = -t*l for l.
-5
Let h be 1/2 + 3/2. Suppose h*d - 3*d = 2*a - 13, -4*a + 3*d = -1. Let i be ((-8 - -2)/3)/(-2). Solve i = 5*n - a for n.
1
Suppose -b = 2*k - 0*b - 22, 4*k + 5*b - 50 = 0. Let y = 10 - k. Suppose -2*n - 3*m + 8 = 1, n - 5*m - 10 = 0. Solve -5*a + 0 - n = y for a.
-1
Let r = 4 + -6. Let o be r/7 + 208/(-56). Let h = o - -5. Solve 1 = f - h for f.
2
Let l be ((-4)/(-3))/(8/48). Let k = -4 + l. Solve 4*r = -0 + k for r.
1
Let t(o) = -o + 11. Let g be t(6). Solve g*s - 1 = -21 for s.
-4
Suppose 0*y = 2*y - 4. Suppose -11 = -y*s - 3. Suppose 4*h = -n + s, -2*n = -2*h - 5 - 3. Solve f + f + 10 = h for f.
-5
Suppose -5*x + 16 = -x. Suppose 9*p - 4*p = 4*h - 100, 2*h = -5*p + 20. Solve -8*g + h = -x*g for g.
5
Let u(y) = -y**3 - 8*y**2 - 11*y - 17. Let h be u(-7). Solve 2*b - 5 = -h for b.
-3
Let p = 17 + -12. Suppose 3*u - 1 = p. Solve u*x = 5*x + 15 for x.
-5
Suppose -2*f + 1 = 2*t + f, -8 = -4*t - 4*f. Solve o - 2*o = -t for o.
5
Suppose -9*l = -47 - 61. Solve h + l = -5*h for h.
-2
Let z(f) = f**3 - 2*f**2 + 3*f - 3. Let i be z(2). Let a be (3*1)/(i/2). Solve -a*v = -5*v for v.
0
Suppose w = 3*r - w - 8, 4 = 2*r - 2*w. Solve 2*i = r - 6 for i.
-1
Let s(h) = -h**2 - 9*h - 15. Let d be s(-3). Solve d*i = 11 + 1 for i.
4
Let x(i) = i**2 - 6*i + 3. Let a be x(7). Let g = 12 - a. Solve 2*z + g*z - 4 = 0 for z.
1
Suppose 5*s - 5*x + 3*x - 8 = 0, 2 = 2*x. Let q be 0/(s/2*2). Solve 10 = -q*z - 5*z for z.
-2
Let s = 29 - 16. Let o = s + 4. Solve -o = 4*w + 3 for w.
-5
Let g(b) = 2*b**3 + 22*b**2 + 25*b - 7. Let z(d) = -d**3 - 11*d**2 - 13*d + 3. Let w(h) = 4*g(h) + 7*z(h). Let q be w(-10). Solve q*p - p + 2 = 0 for p.
-1
Suppose -6*k = -0*k. Solve k + 8 = -4*m for m.
-2
Suppose 3*k + 29 = 4*a + 5, -24 = -4*a - k. Suppose 2*q - 4*b + 2 = 14, 4*q = -2*b - a. Solve q = -2*y + 9 + 1 for y.
5
Let o be (-4)/10 - (-2)/5. Let f(m) = -m**3 + 4*m**2 - 2*m + 3. Let z be f(3). Solve o = 2*w - z*w - 20 for w.
-5
Let m = -8 - -8. Solve m = -3*h + 4*h + 2 for h.
-2
Let z(o) = 2*o + 24. Let h be z(-11). Solve 4*x = -h + 10 for x.
2
Suppose -3*c = -5*c - h + 8, h - 16 = -4*c. Solve 1 = -c*g - 7 for g.
-2
Suppose 0 = 2*z - 6*z + 60. Let a be (-28)/(-6) + 5/z. Let t = a - 3. Solve t = -2*k - 2 for k.
-2
Let s be -3 + 1 + (0 - -2). Solve -2*m - 2 - 6 = s for m.
-4
Let j be 4/(-14) - (-230)/70. Solve -v + j*v = -2 for v.
-1
Let x(j) be the first derivative of j**3/3 + 9*j**2/2 + 10*j - 1. Let g be (14 + -20)*8/6. Let y be x(g). Solve -4*r + y*r = -4 for r.
2
Suppose 0*u + 4*d = -u + 32, 2*u - 40 = -2*d. Suppose -u = -5*r + r. Let c(n) = n**3 + 9*n**2 - n + 3. Let i be c(-9). Solve 4 = r*y + i for y.
-2
Let y(g) = g**3 - 7*g**2 + 11*g - 3. Let r be y(5). Solve r - 3 = -t for t.
1
Suppose 6 + 6 = -4*z, 2*x - 3*z - 21 = 0. Suppose -3 = -x*m + 5*m. Solve -m*u + 0*u = 0 for u.
0
Let s be -4*((-4)/(-2))/(-4). Suppose 5*f = -1 - 14. Let l be 5 + (0 - f/(-1)). Solve 0 = -s*g - l*g for g.
0
Let s = -4 - -6. Suppose -h = -s*w + 3 - 0, 5*h = w + 12. Solve -2*a - 1 + w = 0 for a.
1
Let a be 6/15 + (-13)/(-5). Solve 23 = -a*u + 8 for u.
-5
Let p(n) = -n**3 - 7*n**2 + n + 9. Let y = 1 + -8. Let g be p(y). Let a = 1 - 1. Solve g*z - 6 = -a*z for z.
3
Let d(l) = l**2 + 2*l - 3. Let z be d(1). Suppose -6 = 2*v - 4*v. Solve -v = -z*a - a for a.
3
Let i be (-2)/(-5) + (-8)/(-5). Let n be (-1 - 4/i) + 6. Solve -12 = -n*z + 3 for z.
5
Let v be 2*(2 + (-1)/(-2)). Suppose v*w + 26 - 86 = 0. Let j(c) = -2*c. Let z be j(-3). Solve -z*y - w = -2*y for y.
-3
Let i = 7 + -4. Suppose i*z = z + 4. Solve -23 - z = 5*l for l.
-5
Let k be ((-4)/3)/(2/(-6)). Let c = k - 3. Solve c = -n - 4 for n.
-5
Let y = -15 + 18. Solve -2*q = y*q for q.
0
Let x be 74/14 + (-16)/56. Suppose 44 = x*h - 6. Solve h*p - 5*p = 0 for p.
0
Let o(h) = h + 0*h - 7 - 8*h - h**2. Let s be o(-5). Suppose s*r = -r. Solve r = -x - 4 + 3 for x.
-1
Suppose 0 = -3*w + 2*w + 1. Let j = 0 + w. Let t = 1 + j. Solve -2*f - t*f - 12 = 0 for f.
-3
Suppose 6*b = 3*b + 9, 0 = -4*r + 5*b - 3. Let x be 21/(-6) - 3/6. Let j be (-8)/(-3) + x/6. Solve -r*y = j*y for y.
0
Let r(a) = a**3 + 5*a**2 + 3*a + 2. Let k be r(-4). Solve -20 = 2*f - k*f for f.
5
Let f = 40 + -38. Solve h = -f*h for h.
0
Let h be (-3)/(-8 - -2)*0. Suppose h = -b + 2*b. Solve b = 4*g - 20 for g.
5
Let j(u) = -u**2 - 8*u - 8. Let l be j(-6). Solve l*v = 7*v for v.
0
Let h(o) = o**3 + 7*o**2 - 8*o + 2. Let u be h(-8). Let l = -2 - -7. Solve k + u = l for k.
3
Let n(p) = 2*p**2 - 19*p + 26. Let w be n(8). Solve 4 = -w*j - 0 for j.
-2
Let g(x) = x - 2. Let o be g(5). Suppose -o*a - a = -8. Solve -9 = -f - a*f for f.
3
Suppose 18 = 2*m - 3*v - v, 0 = -m + v + 6. Suppose 0 = 4*l - 8, 0 = -0*w - m*w - l + 38. Solve 2*s + w = -2*s for s.
-3
Let b(u) = 0 - 4 - 3*u - 2 + 0. Let y be b(-3). Solve y*o = 4*o for o.
0
Let u(t) = t**2 + 4*t + 3. Let d be u(-4). Solve d*z = 14 - 2 for z.
4
Suppose 5*a - 11 - 14 = 0. Solve -a = 2*h - h for h.
-5
Let g = -8 - -6. Let s be g - (-3)/(9/15). Suppose -60 = -2*t - 5*p, -5*p - 80 = -s*t - 2*t. Solve 7*l = 3*l - t for l.
-5
Let v = 38 - 35. Solve -2 = v*s + 13 for s