 z be 3/(-2) + 10/(-4). Let c = z + 13. Let l = -5 + c. Solve l*v + v = 5 for v.
1
Let b(m) = -12*m. Let f be b(-1). Solve c - f = -2*c for c.
4
Suppose -5*a + 18 = -3*a. Suppose -2*g - g = -a. Solve -g*y = -8*y for y.
0
Let r(j) = j + 2. Let q be r(-2). Suppose -h + 3*y + 9 = 0, q*h + 9 = -2*h - 3*y. Suppose 4*a - a - 45 = h. Solve -a = -6*z + 3*z for z.
5
Suppose 24 = -15*w + 16*w. Suppose -5*c + c = -w. Solve -3 + c = 3*j for j.
1
Let a be 2/3 + (-7)/(-3). Suppose 0 = 2*k - 5*g + 7*g - 10, -14 = -4*k - 2*g. Solve 0 = a*t - k - 10 for t.
4
Let c be 1*-10*1/(-2). Suppose v - m = -6*m - 1, v + 2*m = c. Solve 7 + v = 4*f for f.
4
Let g(x) = x**2 + 3*x - 4. Let k be g(-5). Solve -k = 5*l - 3*l for l.
-3
Let p(o) = -o**2 - 3*o - 5. Let k be p(5). Let j be 3/(3*(-3)/k). Solve 0 = 3*b - 6*b + j for b.
5
Let a = 5 + -5. Let g(o) be the first derivative of o**4/4 + o**3 + 4*o - 2. Let q be g(-3). Solve 8 = q*b - a*b for b.
2
Let j = -44 - -52. Solve -q = q - j for q.
4
Suppose 8*p - 117 = -21. Solve -p = -6*z + 2*z for z.
3
Suppose 0 = -q + 20 - 6. Suppose 0 = 4*r + 4*h, 0 = -r - 4*r + 2*h + q. Suppose r*l + 0 = 16. Solve -5*z = -l + 23 for z.
-3
Let k = -5 - -5. Solve k*d - 2*d + 8 = 0 for d.
4
Let b be -1 + (-4 + 12 - 0). Solve -5 = -4*h + b for h.
3
Let c(p) = p**2 - 3*p - 13. Let z be c(7). Suppose 31 = 4*v + 11. Solve 10 + z = v*m for m.
5
Suppose 0 = -5*i + 21 - 6. Solve 0 = -j - i*j + 4 for j.
1
Let w be ((-16)/8)/(1/(-5)). Let i be (-1)/4 + 1/4. Let m = i + w. Solve 0 = -f - f + m for f.
5
Suppose 0 = 3*r - 8*r + 10. Solve -1 = 3*o - r*o for o.
-1
Let q = -8 + 5. Let y(z) = 4*z - 4*z**3 + 3*z**3 + z**2 + 1 + 0*z**2. Let s be y(q). Solve -4*f = f - s for f.
5
Let b = -12 - -17. Let l be (6 - b)/(1/4). Solve -l*t - 15 = -t for t.
-5
Suppose -5*u - 2*q + 7 = -q, 6 = -2*q. Let s be (0/u)/1 + -8. Let w = s - -8. Solve w = g + g for g.
0
Let u(a) = a**2 + 4*a + 5. Let z(c) = c**2 - c - 4. Let n be z(0). Let q be u(n). Suppose -13 + 3 = -q*d. Solve -16 = -d*v - 2*v for v.
4
Let c(u) = -u**2 + 8*u - 9. Let b be c(8). Let d be (7 + b)/((-2)/4). Suppose -d*t = -t - 12. Solve 3*q = t*q - 3 for q.
3
Let b(t) = -3*t - 2. Let h be b(-7). Let p = 22 - h. Solve j - p = -2*j for j.
1
Let m(z) = -z**2 - 13*z - 12. Let u(v) = v**3 - 6*v**2 + 3*v + 5. Let n be u(4). Let a = -27 - n. Let b be m(a). Solve 1 = -s - b for s.
-1
Let f be (24/(-10))/((-3)/(45/6)). Solve 5*n - 1 = -f for n.
-1
Suppose -3*l = 2*l - 10. Solve l*f - 1 = f for f.
1
Let u(n) = -n + 1. Let v be u(1). Suppose -4*w + v*w = -16. Suppose -3*p - j - 9 = -4*j, -9 = w*p - 3*j. Solve p*k - 6 = -2*k for k.
3
Suppose -2*k = -7*k + 30. Let h(w) = w**3 + 13*w**2 + 14*w + 26. Let q be h(-12). Solve -2*i - q + k = 0 for i.
2
Let a be ((2*-93)/3)/(2*-1). Solve 5*s - 6 = -a for s.
-5
Let y = 4 - 1. Solve 0 = -q - y - 2 for q.
-5
Suppose -c + 0 + 2 = 0. Suppose -c*l + 3*l = 2. Solve -15 = -l*v - v for v.
5
Suppose 17 - 15 = g. Solve -r + g*r - 4 = 0 for r.
4
Let g = -77 - -79. Solve g*u - 5*u + 9 = 0 for u.
3
Let q = 16 + -16. Suppose -3*s + 5*d + 10 = -6*s, q = 2*s - 4*d - 30. Solve -13 - 7 = s*l for l.
-4
Let q = 4 + 0. Solve -q = -2*i - 0*i for i.
2
Let w(d) = -5*d**3 - 6*d**2 + 10*d - 9. Let a(g) = -g**3 + g. Let n(z) = 4*a(z) - w(z). Let p be (-46)/6 - (-4)/6. Let c be n(p). Solve -2*m - 16 = c*m for m.
-4
Let x = -51 + 51. Solve -2*p = -x*p - 4 for p.
2
Suppose v - z + 2 = -0*z, v - 3*z = -6. Suppose -7*c + 2*c = v. Solve -2*o + o - 2 = c for o.
-2
Suppose -8 = 5*v - 33. Suppose -5*k - m = -14, 0 = v*k + 5*m - 21 - 9. Solve 5 = -k*o - 3*o for o.
-1
Let a(t) = t**3 - 3*t**2 - 3*t. Let l be a(4). Let s be (1 - l/(-2)) + 1. Solve -j - s*j = -10 for j.
2
Suppose -u - 4 = -3*u. Suppose n - 9 = -u*n. Let o = -3 + 5. Solve o*v - n*v = 0 for v.
0
Suppose 5*p + 4*n = 4 - 0, -4*p - 5*n + 5 = 0. Suppose -3*j = -4*j - 2*k + 13, -j - k + 9 = p. Solve j*c + 12 - 2 = 0 for c.
-2
Suppose -3*q + 57 = -4*d, -3*q + 3*d + 0*d = -60. Solve -q = -4*w - 7 for w.
4
Let l(w) be the third derivative of -w**4/12 - w**3 - w**2. Suppose -6 + 2 = o. Let a be l(o). Solve -2*h - a*h = 8 for h.
-2
Suppose -4*f + 5*t + 3 = 0, 3*f + 3*t - 5 = 2*f. Solve -f + 3 = -k for k.
-1
Let u = 11 + -6. Solve -u*i = -0*i for i.
0
Suppose -d + 3*r = 4*d - 102, 0 = 2*d + 4*r - 20. Let f = -81 - -86. Solve -7 - d = -f*h for h.
5
Let n be (6/2)/((-3)/9). Let h = -6 - n. Suppose -3*t - t - 3*q + 1 = 0, -15 = h*q. Solve -t*a + 11 = -9 for a.
5
Let r(y) = 6 + y - 6. Suppose 0 = -5*s + 2*s. Let i be r(s). Solve -l - 4*l + 25 = i for l.
5
Let x = 9 - 24. Let t = x + 18. Solve t*j + 3 = -12 for j.
-5
Suppose s + s = 0. Suppose q - 2*w - 22 = s, 46 = 2*q + q - w. Let j = q - 9. Solve 6 = j*f - 4 for f.
2
Let q be ((-4)/3)/((-4)/6). Suppose 20 = 4*c + 2*u, -2*c = 2*c - 3*u - 30. Solve -g = q*g + c for g.
-2
Suppose -w = 2*j - 4*j + 10, 0 = -j + 4*w - 2. Solve -j*i - 10 = -i for i.
-2
Let j be ((-20)/(-25))/1*10. Solve -2*t - 2 = -j for t.
3
Suppose -5*x + 1 + 9 = 0. Let s = x - 0. Suppose 0 = 5*g - 4*g. Solve g*i = s*i for i.
0
Let r = 14 + 6. Solve -3*z - r = z for z.
-5
Let y = -55 - -57. Let b = -1 - -5. Suppose -b*l + 2*l = -10. Solve -s = y - l for s.
3
Suppose 0 = 2*q - 0*q - 18. Suppose -q*j = -6*j. Solve w + 0*w = j for w.
0
Suppose 2*h - 3*t = -0*h + 30, -h - t + 5 = 0. Suppose -3*x + 12 = -6*x. Let y = h + x. Solve 0*m = -y*m for m.
0
Suppose 0 = -3*i - 3*i + 24. Suppose 3*b - 1 = i*u - 4, 4 = -4*b. Solve 2 = -2*t - u*t for t.
-1
Let s(r) = r**2 + 8*r - 5. Let j be s(-9). Solve -6 - 6 = j*h for h.
-3
Let p(y) = 3*y. Let o be p(1). Solve o*f + f + 12 = 0 for f.
-3
Suppose 4*g - 21 - 7 = 4*l, -5*g + 4*l + 32 = 0. Suppose -g*z + 27 = -4*a + 3, 6 = 2*z + 4*a. Solve 0 = -z*w - 14 - 1 for w.
-3
Suppose 0*q = -7*q. Solve -g + 4 - 3 = q for g.
1
Suppose -k + 12 = 3*k. Suppose 0 = 3*f - 2*g - 22, f - 37 = -k*f - 5*g. Solve -j - j = f for j.
-4
Let v be (-4)/((-4)/3) - -9. Let d = v + -10. Let s = d + -2. Solve 2*y = -s*y + 4 for y.
2
Let c(l) = -l + 4. Let b be c(4). Let q = b + 5. Solve q*s + 2 + 23 = 0 for s.
-5
Suppose 0 = 4*l - 0*l. Let s(m) = m**2 + m + 3. Let q be s(l). Let c = q + 7. Solve 3*y = 5*y + c for y.
-5
Suppose -3*w = w - 8. Suppose -3*p - p = 56. Let d = p + 15. Solve -d = w*v + 3 for v.
-2
Let r be -5 - -2 - (-7 + -1). Suppose 0*b = 3*o - 2*b - 8, 2*o - r = b. Solve -6 = 4*m - o*m for m.
-3
Let u(k) = -k**3 - k**2 + 1. Let r be u(1). Let t be (-21)/1*r + -1. Solve -3*n + t = 2*n for n.
4
Suppose -4*x + 24 = -l, 0 = 4*l - x - 4*x + 41. Let y(u) be the third derivative of -u**4/24 + u**3/6 - 28*u**2. Let z be y(l). Solve 0 = -z*r + 6 + 4 for r.
2
Let s = 1 - 0. Let c = s - -1. Suppose -c*z - 3*z + 25 = 0. Solve 3*p + z = 14 for p.
3
Let q(c) = -4*c - c - 1 - 1. Let f be q(-4). Suppose -2*l - 2 + f = 0. Solve -17 = 5*p + l for p.
-5
Let m(c) = c**3 + 3*c**2 + 2. Let q be m(-3). Solve -s + q*s = 1 for s.
1
Let u(w) = 5*w - 85. Let v be u(21). Let o = 6 + 0. Solve -o*g = -g + v for g.
-4
Suppose -12 - 9 = 3*a. Let y be 46/14 - (-2)/a. Solve -y = -5*q + 2 for q.
1
Let x(h) = -h**3 + 5*h**2 + 9*h - 14. Let l = 13 + -7. Let a be x(l). Solve 2*p + a = 10 for p.
3
Let d = 1 + -5. Let p be 24*(3 + 68/(-12)). Let g be d/(-18) - p/36. Solve g = -0*v - v for v.
-2
Suppose t + 5 = 15. Let m = t + -7. Solve m*w - 6 = 9 for w.
5
Let t(k) = 2*k**2 + 3. Let m be t(0). Solve 3*h = m - 0 for h.
1
Let x(p) be the third derivative of 0*p + 0 + 1/24*p**4 - p**2 + 7/6*p**3. Let r be x(8). Solve 0 = -3*i + r - 6 for i.
3
Let l(m) = -m**3 + 5*m**2 - 5*m + 6. Let t be l(4). Solve -6*n = -t*n for n.
0
Let j(q) = q**3 - 3*q**2 - 1. Let l be j(3). Let x be (2/4)/(l/(-6)). Suppose -x*w - 1 + 7 = 0. Solve s + 9 = -w*s for s.
-3
Let l(q) be the first derivative of -q**3/3 + 4*q**2 - 4*q - 2. Let w be l(7). Solve 2*b = -w*b for b.
0
Let y(r) = -4 - 5*r - 3*r**2 + r**2 + 3*r**2 + 10. Let w be y(4). Solve n + 1 = -w for n.
-3
Let h(v) = v**3 - 8*v**2 - 8*v - 6. Let u be h(9). Solve u*n - 6 = n for n.
3
Let k(t) = 4*t - 6. Let u(l) = -l + 2. Let c(r) = -2*k(r) - 7*u(r). Let s be c(-7). Let y(o) = -o - 13. Let h be y(-13). Solve h = s*v + 12 + 3 for v.
-3
Suppose 4*t + 2 - 10 = 0. Suppose -t*s + 7 - 1 = 0. Solve s*i + 20 = -2*i for i.
-4
Let o = 0 - -2. Suppose 4*p - 3*b = 