. Solve 4*z + 0*z = s for z.
0
Suppose 6 = n - 4. Solve -n - 5 = -5*p for p.
3
Suppose 2*t = -52 + 56. Solve 0 = -0*v + t*v for v.
0
Let x be 1*(2 + (-1)/(-1)). Suppose 24 = 4*d - x*o, d + 23 = 6*d - 2*o. Suppose d*u - 4 = u. Solve -6 = -b - u for b.
4
Suppose -n + 2*z = -11, 2*n - 2*z - 3 = 11. Suppose -w + n*t + 52 = w, t + 44 = 2*w. Let s(a) = a**2 + 2*a + 3. Let g be s(-3). Solve g*c = 2*c - w for c.
-5
Suppose -4 - 16 = -4*x. Solve 7 = 4*q - x for q.
3
Suppose -4*h + 7*h - 15 = 0. Solve -s - 1 = -h for s.
4
Let a = -34 + 19. Let f = a - -19. Solve 3 = f*z - 1 for z.
1
Let f be (70/(-15) + 5)*18. Let l be 2/8 + 22/8. Solve -5*p = -l*p + f for p.
-3
Let z(o) = 4*o**2 - o + 1. Let y be z(1). Let v = y - -4. Suppose -v = -4*n + 6*t - 2*t, 3*n - 6 = -2*t. Solve -1 = -3*q + n for q.
1
Let k = 65 + -61. Solve c = -3 + k for c.
1
Let l be -3 + 3/6*-2. Let r = -1 - l. Solve -r = -3*j - 0 for j.
1
Suppose 0*p - 3*p = 0. Suppose p = -x + 76 - 5. Let a = -46 + x. Solve -s = -6*s - a for s.
-5
Suppose -2*q = 2*q - 8. Solve -3*x = 7 + q for x.
-3
Let x(t) = t**3 - 11*t**2 + 9*t + 14. Let g = 27 - 17. Let o be x(g). Solve 7 + 1 = -o*w for w.
-2
Suppose 2*x + 3*s - 9 = 0, x - 4*s + 4 + 8 = 0. Solve 2*p + p = x for p.
0
Suppose -30 = 4*g - g - 3*c, 2*g - 3*c + 22 = 0. Let p = 13 + g. Solve 4*k - 5*k = -p for k.
5
Suppose -5*b - 43 = 3*f - 11, -f = -2*b - 4. Let o be (-8)/f - 2*1. Solve 3*v - v + 10 = o for v.
-5
Let i(l) = l**2 - 8*l + 7. Let t be i(5). Let w = 28 + t. Suppose p = -4*v - 4*p + 45, -p + w = 3*v. Solve 0*f = -v*f for f.
0
Let f(h) = h + 6. Let y be f(-7). Let l be (0 + 0)/(1/y). Solve -5 = -l*a + a for a.
-5
Suppose 0*i = n + 2*i - 15, 30 = 4*n + 2*i. Solve n*w + 0*w = 15 for w.
3
Let a = 7 + 0. Suppose -5*p - 19 = 3*i + 3, 4*i = -16. Let f = p + a. Solve 14 = -f*o - 6 for o.
-4
Let m = -38 + 53. Solve -2*q - m = q for q.
-5
Let q be (-12)/5*30/(-9). Let a = q - 5. Solve -1 = -g + a for g.
4
Let s = 3 + 1. Let g be -4 - -7 - (1 - 0). Solve g*t + 2 = s for t.
1
Let l = 5 - -5. Let c(b) = b**2 - 7*b + 7. Let u be c(8). Solve -5*y + u = -l*y for y.
-3
Suppose -3*r = -2*r + 24. Let s = 34 + r. Let g be 4/s - 144/(-15). Solve 3*l = l - g for l.
-5
Suppose -2*h + 15 = 3*k, 4*k + 50 = 4*h + 6*k. Let j(p) = p**2 + 7*p + 16. Let z be j(-5). Solve z*x = x - h for x.
-3
Let b be 0 + 2 - (14 + -2). Let v be ((-16)/b)/(2/35). Suppose -u - 4*u - 3*q = -14, v = 5*u - 4*q. Solve u*n + 2 + 2 = 0 for n.
-1
Let x(j) be the third derivative of j**6/120 + j**5/20 - 5*j**4/24 - j**3/3 - 2*j**2. Let o be x(-4). Solve -o*a = 2*a for a.
0
Let f(i) = i**2. Let l be ((-6)/(-4))/((-6)/(-8)). Let h be f(l). Solve -2*u = h - 2 for u.
-1
Let g be 0/(-2 - (-2 + 2)). Let j = 4 - -4. Solve g = -4*t + j*t for t.
0
Let a(q) = 7*q**2 + 11*q + 5. Let d(y) = 15*y**2 + 23*y + 10. Let c(g) = 13*a(g) - 6*d(g). Let v be c(-5). Solve 17 = 4*r + v for r.
3
Suppose -2*n + 3*n = -4, -16 = -4*d + 4*n. Let c be d - (-2)/((-4)/(-34)). Suppose 11 = 6*a - 2*a - i, 4*a - c = 3*i. Solve v + a*v = 0 for v.
0
Let w be (-32)/6*(-15)/(-10). Let g = 9 + w. Solve 0*k - g = -k for k.
1
Let l be (20/25)/(4/20) + 0. Solve 0 = -s - l*s for s.
0
Suppose 3*w + 2*i + 20 = -2*w, -25 = 5*w + i. Let z = w - -20. Let k be (z/(-4))/(1/(-4)). Solve -6 - k = -5*q for q.
4
Suppose 5*g = -5*q, 3*g + 4*q + 10 = 4*g. Suppose 2*r + 55 = 3*b, g*r - 3 = -b + 2. Solve -2*f = f - b for f.
5
Let r = -11 - -13. Suppose 3*j = -4*s + j + 42, -32 = -3*s - r*j. Solve -3*p + p = s for p.
-5
Let q(m) = 4*m**2 + m + 2. Let v be q(2). Solve 2*b + v = -3*b for b.
-4
Suppose -b = -4*l + 24, l + b - 6 = -3*b. Solve -18 + l = 3*g for g.
-4
Suppose 3*l - 5*l + 4 = 0. Suppose -3*a - 3*d + 10 = l*a, -10 = 2*a + 4*d. Solve 16 = -a*x - 4 for x.
-4
Suppose 2*l = -4*l + 24. Solve 6 + 6 = -l*d for d.
-3
Let b(v) = 4*v + 38. Let r be b(-8). Solve s + s = -r for s.
-3
Let b(w) = -3*w + 37. Let y be b(11). Solve -y*r + 3 = 11 for r.
-2
Let z = 2 - 0. Suppose -z*n + 12 = -m + n, -5*m + 20 = 5*n. Solve m*b - 4*b = 0 for b.
0
Suppose 0 = 11*i + 1 - 34. Solve -u = -5 + i for u.
2
Let r(y) = -y**3 - 6*y**2 - 6*y - 4. Let d be r(-5). Let k be d/(-2)*(-24)/6. Solve -k*f = -0*f + 4 for f.
-2
Let t = 62 - 59. Solve -t*m = -0*m for m.
0
Let c = -45 + 46. Solve -d - 4 - c = 0 for d.
-5
Let u = 5 + 0. Suppose 2*m + 2 = 12. Solve u*r - m = -0 for r.
1
Suppose -8*j + 10*j - 24 = 0. Solve j = -a + 4*a for a.
4
Let j be (12/3)/((-4)/(-2)). Suppose 2 = j*f - 6. Suppose -2*x + 0 = 3*n - f, -2*n = 2*x - 4. Solve n*o = 3*o - 15 for o.
5
Let m(z) = z**3 - 5*z**2 - 5*z - 7. Let n be m(6). Let g be 1 + (2 - (n - 2)). Suppose q + 18 = 5*b, -q + 2*b - 6 = -0*b. Solve -5*i = -q*i + g for i.
-2
Let l = -7 - -12. Solve 0 = -5*i + l + 15 for i.
4
Let v = 45 + -38. Solve -19 = -4*w - v for w.
3
Let j be (-3)/5 - 8/(-5). Solve -f = -j - 0 for f.
1
Suppose -g - 2*g = 0. Suppose 3*s + n - 7 = -0*n, 2*n - 4 = -s. Solve g*t + t = -s for t.
-2
Suppose 0 = -2*i + 3*i - 2. Suppose 0 = -0*h - h. Solve 0 = -h*r + i*r for r.
0
Let d = -8 + 24. Suppose 4*b - 6*b = -d. Suppose -b + 23 = 5*r. Solve -r*p + 5*p = 0 for p.
0
Suppose 9 = 3*x - 0. Solve 2*k - x = 3 for k.
3
Suppose -i = -5*i + 24. Let x = i - 4. Solve -x*m = -4*m for m.
0
Let d = -9 - -34. Solve -d = -9*i + 4*i for i.
5
Let z be (17 - (-9)/3)/1. Solve 4*m = -0*m + z for m.
5
Let a be (-4 + 0)/4 - -4. Solve a*k = 5*k + 10 for k.
-5
Suppose 0 = -d + s + 2*s + 22, 5*d - 30 = -5*s. Solve 2*a - d = 7*a for a.
-2
Suppose y - w = 4*y - 13, -3*y + 2*w = -1. Solve 2*m + y = 5*m for m.
1
Let o(b) = b**2 + 12*b - 21. Let a be o(-14). Solve a - 2 = -h for h.
-5
Let c = -16 + 9. Let r be c/(-3) + 8/12. Suppose -r*h + 4*h = 0. Solve 2*b + b = h for b.
0
Let c = 7 + -3. Let u(x) = x - 4. Let i be u(c). Solve -b + 4*b - 9 = i for b.
3
Let u be (-29)/(-5) + (-3)/(-15). Let p = u - 1. Suppose -p*d - 18 = -8*d. Solve w + w - d = 0 for w.
3
Let k = 6 + -7. Let z be (2 + k)/((-1)/(-6)). Let a = 0 + z. Solve -a = -5*f + 14 for f.
4
Let f(u) = 2*u + 24. Let o be f(-11). Solve -5*i + o + 3 = 0 for i.
1
Let d = -49 - -55. Solve 3*r = d + 6 for r.
4
Let j be 10*(2 - 9/6). Solve -7*a = -2*a - j for a.
1
Let g(p) = -5*p**2 + 4*p - 2. Let b be g(2). Let d = 18 + b. Solve -x + 1 = -d for x.
5
Suppose 2*s + 4 = 4*s. Suppose -s*i + 2*f = 4, f + 4 = 5*i - i. Solve -b = -i*b for b.
0
Let c(v) = v**3 - 6*v**2 - 8*v + 10. Let b be c(7). Suppose 0 = -b*l + i, 2*i + 0*i = 5*l. Let w be (-2)/(2/(-5)) + -3. Solve -2*o = -w - l for o.
1
Let u = 1 + -1. Suppose -4*p - 4 = 2*h, h = 5*p - u*p + 19. Solve 3*j - 3 = h*j for j.
-3
Let q(s) = -s**3 + 5*s**2 - 2*s + 3. Let n be q(4). Suppose -3*k = -5*o + n, -18 = -2*o - 5*k + 5. Solve 0 = 2*u - o*u + 6 for u.
3
Let u(p) = p**2 + p. Let y be u(-4). Let h(i) = 2*i**2 + 1. Let a be h(-1). Solve -a*z + y = -0 for z.
4
Let s = 22 - 17. Solve -t = -4 + s for t.
-1
Let u = 34 - 19. Suppose -2*d + o + 5 = 0, 5*d + 0*o = -3*o - u. Let z = d - 0. Solve z*w + w = 0 for w.
0
Let s = -26 - -36. Let r = s + -1. Solve 5*b - 2*b = r for b.
3
Let m(r) be the second derivative of r**4/12 + r**2/2 - r. Let f(i) = -4*i**2 + 2*i - 3. Let d(u) = -f(u) - 3*m(u). Let y be d(-3). Solve t = 4*t - y for t.
5
Let r be (-23)/(-4) - (-3)/12. Let n be r/(-9) + 23/3. Solve 2 - n = -h for h.
5
Let i be (-2 - 0) + 6 + -1. Let u = -21 + 21. Solve u = -i*m - 16 + 4 for m.
-4
Let a be (1/2*0)/2. Suppose a = 4*c + x - 34, 0 = -3*c - c + 2*x + 28. Solve -r + 3*r = c for r.
4
Suppose -5*c - 4*y - 12 = 8, -5*y = 5*c + 15. Let l = 10 + c. Suppose -5*p - 5 = -5*f, 5*f + l*p - 14 = 5. Solve f*z - 6 = z for z.
3
Suppose -u - 3 = 2*c, -2*u + 39 = -7*c + 2*c. Let g = -5 + u. Suppose -3*k = g*k. Solve q + q = k for q.
0
Let k be 0 - (2 - 16/4). Solve -2*g = -g + k for g.
-2
Let m(a) = -3*a + 3. Let v be m(6). Let b = v + 30. Solve d + b = -4*d for d.
-3
Let i(z) = 2*z**3 - 4*z**2 + 2*z. Let m be i(2). Solve -w = m*w + 25 for w.
-5
Suppose 2*j = 7 + 1. Solve -r = -j*r - 6 for r.
-2
Suppose j + 0*v - v = 9, 3*j = 4*v + 24. Suppose -3*g + 0*g = -j. Solve 2*c - g*c = -8 for c.
4
Let m(s) = -5*s**3 - 6*s**2 - 4*s - 6. Let y(f) = -4*f**3 - 5*f**2 - 4*f - 5. Let c(n) = -2*m(n) + 3*y(n). Let w be c(-2). Solve -z + 4*z = w for z.
3
Suppose -6*o = -o. Suppose o*p + 29 = 5*p + 