 = -o + 16. Suppose -w = -0 - o. Solve 4*b - w = 2*b for b.
4
Let q(w) = 7*w - 7. Let g(d) = -4*d + 3. Let n(l) = -5*g(l) - 3*q(l). Let r be n(5). Solve -r = -0*f - f for f.
1
Let v = -1 + 16. Solve -v = -0*o - 5*o for o.
3
Suppose 3*i + 5 + 13 = -v, -24 = 4*i - 3*v. Let k = i + 8. Suppose 8 = 5*h - 17, -w + 13 = k*h. Solve -w*j = -j + 6 for j.
-3
Let p = -58 - -61. Solve -3 = p*t + 3 for t.
-2
Suppose -3*l + 3*d + 0 = 3, -l + 1 = d. Solve l = 3*o - 4 - 2 for o.
2
Let y be 22/(-5) + (-6)/(-15). Let m = 0 - y. Solve g + m*g - 20 = 0 for g.
4
Suppose -5*i - 12 = -4*i. Let h = i + 24. Solve 2*r + 2*r = -h for r.
-3
Suppose 5 = -5*h - 0. Let z be ((-6)/4)/(h/2). Suppose 30 = 3*g - 3*a, -g = z*a + 6 + 4. Solve g*b = -7 - 18 for b.
-5
Let q be ((-68)/6)/(4/6). Let i = -12 - q. Suppose -k + 14 = i*u + 3*k, -5*u - 3*k + 13 = 0. Solve -4*s + 2 = -u for s.
1
Let m = -72 - -51. Let z be m/(-4) - (-1)/(-4). Solve 0 = 4*j + j + z for j.
-1
Suppose 0 = -3*s - 9, 2*z - 4*s + 3 - 15 = 0. Let o(x) = -4 - x + 2 + x**2 + z. Let f be o(3). Solve 0 = -4*j - 0 - f for j.
-1
Suppose -q + 0*q = -3. Let o(y) = y**3 + 6*y**2 + 2. Let b be o(-6). Suppose b*r - 11 = -0*z - 3*z, 3*z = 4*r - 49. Solve 8*j - r = q*j for j.
2
Let q(s) = 4*s - 66. Let l be q(18). Solve 4*v - 2*v = -l for v.
-3
Let z = 46 - 44. Solve -h - z*h = -3 for h.
1
Let a(n) = -n**3 + 6*n**2 - 4*n - 3. Let t be a(5). Suppose 0 = -i + t*i. Solve i = 2*m - 0*m - 10 for m.
5
Let b be 1/((2/2)/3). Solve b*k = k for k.
0
Suppose -2 = 2*u, -5*f - 3*u = -5*u - 2. Suppose -5*c + 3 = -3*v, 0*c + 2*c - 3*v + 6 = f. Solve 0 = c*z + 2 + 13 for z.
-5
Let q(r) = -r**3 + 6*r**2 - 5*r + 7. Let h be q(5). Let w(k) = k**2 - 6*k - 7. Let a be w(h). Let g = -1 + 3. Solve a*t = g*t for t.
0
Let n = 22 - 10. Suppose n = -2*r - r - 3*z, -4*r + z + 9 = 0. Solve -5*a + 4 = -r for a.
1
Suppose -4*r + 4*d = 20, -4*d = 2*r - 20 + 6. Let q = 73 - 72. Let w be (r*q)/((-8)/32). Solve 0 = w*p - 8*p - 12 for p.
-3
Let f = 30 - 27. Solve -p = -f + 7 for p.
-4
Suppose -5*b = -0*b + 55. Let i = 15 + b. Solve 0 = i*j - j + 15 for j.
-5
Suppose 2*y - 10 = 20. Let r be 39/y - (-2)/5. Let p be (-6)/(r*-1) + 4. Solve 3*l = -9 - p for l.
-5
Suppose 3*d - 43 = 4*q + q, -26 = 3*q - 2*d. Let b(v) = v**3 + 7*v**2 - 9*v - 3. Let z be b(q). Solve -z = -l - 0*l for l.
5
Let j = -125 - -127. Solve 0 = j*r - r for r.
0
Let r(a) = a**3 - a**2 - 1. Let l be r(2). Let t = l - 3. Let h = 5 + t. Solve h*o - 14 = 6 for o.
4
Let n(q) = q**3 + 7*q**2 + 6*q + 4. Let i be n(-6). Let m be 4*(3/i + 0). Let g = -2 + m. Solve -a - g = -0 for a.
-1
Let m be 111/(-12) + 2/8. Let v be (-4)/(-3)*m/(-6). Suppose v = 4*z - 18. Solve 0*j = z*j for j.
0
Let p = 8 + -5. Suppose 3 = p*j + 21. Let f = j - -8. Solve -f*t = t for t.
0
Let j be ((-2)/(-4))/(8/80). Solve 0 = j*z - z - 20 for z.
5
Let g = 12 + -4. Suppose g = 5*o - o. Suppose -5*k + 5 + 10 = 0, 5*a + o*k - 26 = 0. Solve 3*c - a*c = 0 for c.
0
Let j(t) = -2*t. Let u be j(-2). Let q = u + -4. Suppose q = 2*w - 6*w. Solve -5*l - 20 = -w*l for l.
-4
Let x be 6/(-4)*16/(-12). Let j be -3*(1/1 - x). Solve j + 7 = 2*k for k.
5
Let x be (-4 - 2)*(2 - 1). Let c = x - -6. Solve -5*l + 2 - 12 = c for l.
-2
Suppose 5 - 1 = 4*c. Suppose 2*t + t = 42. Solve -5*q = -c - t for q.
3
Suppose -6 = 3*r - 9*r. Solve d - r = 4 for d.
5
Let d = 6 + -2. Let w be 1 - (-1 + d/1). Let m(h) = 5*h**2 - h - 2. Let j be m(w). Solve 3*u = -u + j for u.
5
Let l = 11 + -9. Suppose d + l = 5. Solve -d*r + 5 = -10 for r.
5
Suppose 2*j + 21 = j + 3*q, 4*j - q + 106 = 0. Let i be -2*(j/(-6))/(-3). Solve 0*a + 12 = -i*a for a.
-4
Suppose 4*t - 13 - 15 = 0. Solve -12*n - 10 = -t*n for n.
-2
Suppose -5*z + 34 = 3*s, 2*z - 3 + 2 = 3*s. Let o = 18 - 13. Suppose -20 - 5 = -o*a. Solve -s*h - 14 = -a for h.
-3
Let f(k) = -k + 8. Let y be f(8). Solve 2*s - 2 = -y*s for s.
1
Let y be (-1)/(10/(-4) - -2). Let p(k) = k**2 + 2*k - 5. Let s be p(-4). Solve -c + y = -s for c.
5
Let x(g) = -9*g - 6. Let o be x(-4). Let h be 22/5 - (-18)/o. Solve -h*b + 31 = 6 for b.
5
Let x(p) = -p**2 + p + 23. Let t = 6 - 6. Let y be x(t). Solve -2 - y = 5*u for u.
-5
Let y(r) = -r**3 - 6*r**2 - 5*r + 2. Let x be y(-5). Let w(n) = n**3 - 7*n**2 - 6*n - 11. Let o be w(8). Let v be o - -2 - (x - 0). Solve -z = -v*z + 12 for z.
3
Suppose -u + 3*c - 3 = -5*u, u = -5*c - 12. Suppose u*t = -5*d + 103, -4*d + 92 = -4*t + 16. Solve 4*n = -n - d for n.
-4
Suppose 3*y - m = 16 - 6, 3*y - 14 = -m. Solve -2 = y*r + 2 for r.
-1
Suppose 2*k + 2*h + 12 = -h, 5*h + 20 = -k. Solve k = 4*w + 6 - 2 for w.
-1
Let w be 11*2*(-1)/(-2). Let s(a) = a + 16. Let z be s(-10). Suppose z*j + 3 = 9*j. Solve -w = -4*y + j for y.
3
Let a be 36/(-45)*(-10)/4. Suppose -2 = -4*c + a*c. Let x be c - ((1 - 1) + 1). Solve -s = -x*s - 5 for s.
5
Let i = 17 - 14. Solve 15 = i*c + 6 for c.
3
Let y(p) = 7*p - 5. Let a(g) = 28*g - 21. Let c(r) = 5*a(r) - 21*y(r). Let o be c(-4). Suppose x - 3*q + 2 = 0, 2*q + o = 4*x - q. Solve 2*z = x - 0 for z.
5
Suppose 5*f + 95 = 5*c + f, 0 = 3*c - 5*f - 70. Suppose 3*o = -y - 5, -3*o + c = 2*y + y. Let j be 3/(6/y) - 2. Solve -j*s = -12 - 3 for s.
5
Let o be ((-4)/(-8))/(1/4). Let h be (4 - 2)*(2 - 3). Let n = h + 4. Solve o*u = -n*u - 4 for u.
-1
Let j = 6 - 1. Suppose 0 = -0*f + j*f. Suppose f = -3*u + 12, 2 = 5*g - 0*u - 2*u. Solve k + 1 = g*k for k.
1
Let m(d) = -d - 5. Let i be m(-5). Solve -r + 5*r = i for r.
0
Let w(p) = p - 3. Let m be w(5). Solve 5*n + m = -18 for n.
-4
Let m = -275 - -275. Let t(f) = -f**3 - 5*f**2 + 3. Let p be t(-5). Let v(q) = -q**2 + 4*q + 1. Let d be v(p). Solve -d*n - n + 25 = m for n.
5
Let s = 68 - 68. Solve -5*r + 30 - 5 = s for r.
5
Suppose 2*a + 0 - 6 = 0. Suppose a*i = -2*i. Solve i = 2*w - 3*w for w.
0
Let p(d) = -d**2 + 11*d - 12. Let k be p(8). Solve -j - 3*j - k = 0 for j.
-3
Suppose -24 = -4*w - 8. Let v = -2 + 5. Solve -x - v*x = -w for x.
1
Suppose 5 = -4*j - j. Let p be (0/j - -4)/2. Let n be (5 - 3) + p + 1. Solve 0 = -3*y - 1 - n for y.
-2
Let v be (-3)/(-4) - 33/(-4). Let m = -6 + v. Let h(o) = -o**3 + 2*o**2 + 5*o - 2. Let p be h(m). Solve -p*n + 12 = -n for n.
4
Let t = -71 - -76. Let z be 8/6*(-15)/(-2). Let n = 1 - 1. Solve z = -t*h - n for h.
-2
Let y be 4/18 - 168/27. Let l = y - -8. Solve -3*v - l*v = -20 for v.
4
Let n(l) = -1 + l - 2*l + 3*l**3 + l**2 - 8*l**3 + 4*l**3. Let z be n(-1). Solve 8 = 2*b + z*b for b.
2
Let b be (-8)/(-12) + (-76)/(-12). Solve -3 = m - b for m.
4
Let i(g) be the third derivative of -g**5/60 - g**4/3 + 5*g**3/6 + 3*g**2. Let t be i(-7). Solve -3*j + 6*j - t = 0 for j.
4
Suppose 25 = 2*n + y - 0*y, -2*y = 10. Suppose -3*o = 3*s + o - n, -s - 2*o + 7 = 0. Solve s = v - 4 for v.
5
Suppose -q + 6 = q. Suppose -5*g + 190 = -115. Suppose 4*z - 35 = g. Solve 9 - z = q*x for x.
-5
Let o = 1 - 1. Suppose -4*a + 9 = -19. Suppose -2*i = -23 + a. Solve 2*l = -o*l + i for l.
4
Suppose 7*a - 6*a = 0. Suppose 2*d + a*d - 12 = 4*p, -2*p = 2. Solve -4*k = -3*k + d for k.
-4
Let x = -1 - -3. Suppose 0*o = -x*o + 4. Solve -4 + 0 = -o*w for w.
2
Let q be (6 - 5)*-2*1. Let n(x) = x**2 + x - 2. Let w be n(q). Suppose -3*m = -u - 0*m + 9, 3*u + 2*m - 5 = w. Solve -u*b - 8 = b for b.
-2
Suppose -h + 8 = -4*k, -5*h = 5*k + 13 - 3. Let z be (3 + -5)/(h + -1). Solve -z*d + 3*d = -1 for d.
-1
Let j(i) = i**2 - 7*i - 13. Let t be j(9). Let k be t*(-4)/(-6 + 2). Solve -14 - 11 = -k*z for z.
5
Let y(k) = -k**2 + 3. Let d be y(0). Solve -5 = -d*x + 4*x for x.
-5
Suppose -9 = -m - 2*m. Solve 0 = -5*p + 13 - m for p.
2
Let i(n) = -5*n**3 - n**2 - n. Suppose -4*q + 2*q = 2. Let s be i(q). Suppose 0 = 5*j + s*m - 35, -1 = 5*j + 4*m - 8*m. Solve -3 + 18 = j*y for y.
5
Let z = -2 - -4. Let q(k) = k**3 + 8*k**2 + 6*k. Let w be q(-7). Solve -z*t + w = 3 for t.
2
Suppose -5*z = -0*z. Suppose 5*s + 2*p - 5 = z, 4*p + 26 = 2*s - 0*s. Solve 0 = -3*r - 0 - s for r.
-1
Suppose -12 = -2*n - 4. Suppose 2*m - n = 6*m, -4*j + 3*m = -11. Solve -6 - 4 = -j*x for x.
5
Suppose 2*d + 5*s - 5 = 16, 5*s = -4*d + 27. Let x(f) = f - f**3 - 5*f**2 + 2 - 3*f + 0*f**d. Let j be x(-5). Solve -n = 2*n + j for n.
-4
Suppose 2*l + 4 - 2 = 0. Let b = 4 + l. Solve -b*s - s = 0 for s.
0
Let h be 0 + -1 - (-12)/2. Let g be (-8 + h)*(-4)/(-6). Let f be (4 + 5)/(g/(-2))