 4*o + 3 = 7. Let v be r(o). Solve -v = 3*q - 12 for q.
3
Suppose 0*c + c - 10 = 0. Solve -c = -3*d + 5 for d.
5
Let d(w) = w - 4. Let y be d(-3). Let x = 12 + y. Solve -5*z + 15 = x for z.
2
Let c(d) = 4*d + 5. Let v be c(-1). Solve -v = h + 1 for h.
-2
Let r be -3 - (-16)/(-12)*-6. Let c be (-2)/(-5) + 13/r. Solve -c = -0*y + y for y.
-3
Let a be ((-18)/(-8))/((-27)/(-72)). Suppose 0 = -4*n + 6 + a. Solve -1 = -n*v - 4 for v.
-1
Let i(p) = -p**3 + p**2 + 2*p + 1. Let b be i(-2). Let m be (-6)/4*(-12)/b. Solve 3 + 7 = m*y for y.
5
Let p(q) = -q - 4. Let o be p(-4). Suppose s + s + 2*j = o, -12 = -2*s + j. Suppose -s*b + 15 = -b. Solve b = -4*a + 3*a for a.
-5
Let g = 8 - 3. Let l(o) = -o**2 - 4*o + 1. Let t be l(0). Solve 0 = g*u - 6 + t for u.
1
Suppose 0*n + 12 = 3*v + n, 3*v = n + 12. Solve 2*s - 2 = v*s for s.
-1
Let d(s) be the first derivative of s**4/4 - 11*s**3/3 + s**2/2 - 5*s + 4. Let b be d(11). Solve o - b = 3*o for o.
-3
Suppose 5*h - w = -2*w - 2, 6 = 2*h - 3*w. Suppose h = 2*r + r - 45. Solve k = 6*k + r for k.
-3
Let m be -1 + 2 - 1*-1. Suppose m*w - 30 = -0*w. Suppose 0 = 2*u - 4*f - 9 - 15, -42 = -5*u + 4*f. Solve u*r - r + w = 0 for r.
-3
Let m be (1/(-3))/((-8)/24). Solve 14 = 3*p - m for p.
5
Suppose 20 = 6*x - x. Solve -3*o - x = -7*o for o.
1
Let x(a) = 8*a**3 - 2*a**2 + a. Let t be x(1). Suppose 2 = -5*q + t. Solve 0 = i + 4 - q for i.
-3
Let o = -3 + 6. Suppose -o = r - 9. Solve -r*i + 4*i = -6 for i.
3
Suppose -2*z + 13 = 3. Let l = z - 4. Let f be (6/8)/((-1)/(-4)). Solve -f*o + l = 10 for o.
-3
Suppose 4*b = 3*b + 2. Solve 0*q + b*q = 2 for q.
1
Let f(o) = -2*o. Let n be f(-2). Suppose -5*k - 9 = -n*i + 16, -2*i - 5*k + 35 = 0. Let c be (-1)/(-1*2/i). Solve u - c = -0 for u.
5
Let m = 114 + -64. Suppose 0 = -2*o - o - a + m, 90 = 5*o + 3*a. Solve o = l + 4*l for l.
3
Let l be (5 - 6) + 1*4. Let p = l - 1. Solve -p*v + 6 = v for v.
2
Let v be (-73)/(-3) - (-2)/3. Suppose 3*p - 18 = 4*f - 3*f, 3*f = -2*p + 12. Solve 0 = -k + p*k - v for k.
5
Let p = 2 - -1. Suppose 1 = o - p. Solve 3 - 11 = o*s for s.
-2
Let w(z) = -z**3 + 3*z**2 + 3*z + 5. Let x(o) = o**3 + 6*o**2 - o - 2. Let c be x(-6). Let g be w(c). Solve g = b + 5 for b.
-4
Let n(r) = -r**2 - 6*r - 4. Let w be n(-4). Suppose 3*z = w*z - 4. Let c be 0/((-2)/2) + 6. Solve 14 = z*j - c for j.
5
Let p(w) = 4*w**3 + 2*w**2 + w. Let r be p(-1). Let h(x) = -x**3 - 3*x**2 + 2. Let s be h(r). Let k be (-3 - -3)/(s + 0). Solve k = -2*u + 5*u for u.
0
Suppose -4*v + 3 = 2*o + 15, v - 11 = -4*o. Solve 3 = -o*q + q for q.
-1
Let m be ((-3)/1)/((-6)/10). Solve m = -3*j - 7 for j.
-4
Suppose s - 8*a + 3*a + 2 = 0, 4*s = a + 11. Solve -s*d + 6 = -0*d for d.
2
Suppose -3*x + 4 = -11. Solve 0 = x*o + 10 - 0 for o.
-2
Suppose -4*h + 10 = 4*t - 9*h, -t + 3*h - 1 = 0. Solve -2*u + t = 3*u for u.
1
Let q be (-2)/9 + 4/18. Solve -x - 2*x + 15 = q for x.
5
Let v(c) = c**3 + 17*c**2 + c + 17. Let a be v(-17). Solve 2*x + a = 10 for x.
5
Let t = -13 - -15. Let a be 81/6*(-2)/(-3). Let s = 22 - a. Solve 3*w + t = -s for w.
-5
Let q be 6/9 - (-2)/(-3). Suppose -4*b + 2*b - 6 = q. Let k be -3 - (-1 + 6/b). Solve g + 2 - 4 = k for g.
2
Let b be (-1 - -1)*7/14. Suppose i - 4*i = b. Solve i = -3*a - 2 - 4 for a.
-2
Let f(w) = -w + 7. Let g be f(7). Suppose 4*v + 60 = -4*d, d + 47 = -g*v - 3*v. Let u be (3/(-2))/(12/v). Solve 3*b = 2*b + u for b.
2
Let d be -1*((-3 + -5)/(-4))/(-2). Solve 2*l + d = -9 for l.
-5
Suppose z - 5 - 1 = 0. Solve -z*f + 6 = -4*f for f.
3
Suppose 24 = 5*x - x. Solve -p + 4 = x for p.
-2
Suppose -9 = -5*v + 3*n, -2*v - v + 19 = 5*n. Suppose -u + 9 = v. Let b(w) = 5*w - 5. Let d be b(4). Solve u*q = q - d for q.
-3
Let a(n) be the first derivative of -1/2*n**2 + 4 - 4*n. Let u be a(-8). Solve -z = -u*z for z.
0
Let c(l) = -l + 3. Let t be c(3). Solve 2*g + t*g - 8 = 0 for g.
4
Let k = 17 - 17. Solve -5*r - 17 + 7 = k for r.
-2
Let u(j) = j**2 - 7*j + 16. Let r be u(4). Solve -6 + 2 = r*b for b.
-1
Suppose 4*d + 1 + 23 = 4*u, 0 = 2*d. Solve 5*g - u = -1 for g.
1
Let d be (3/(-2))/(9/(-12)). Solve d*u = u for u.
0
Let b = -17 - -22. Solve -3*y + b = -10 for y.
5
Suppose 0 = 14*k - 5*k. Solve k*m + 2*m = -8 for m.
-4
Suppose 5 = 5*v + 2*h, -3*h + 0 = v - 1. Let n be (24/9)/(4/6). Solve -v = -j + n for j.
5
Let y = 10 + -5. Let f be 2/((-30)/(-9))*y. Solve -3*u = -f - 6 for u.
3
Let s(w) = -2 + 4*w - 5*w + 0*w. Let z be s(-5). Solve -z*n - 2 = -2*n for n.
-2
Let i be 3 + (3 - 9/3). Suppose 0 = 4*b - i*p - 42 + 11, 2*b + p = 3. Solve -11 = -b*l + 1 for l.
3
Let t(b) be the third derivative of -b**6/720 + 11*b**5/120 - b**4/24 - b**2. Let a(z) be the second derivative of t(z). Let j be a(8). Solve j*w = 2 + 4 for w.
2
Suppose 5*g - 8 - 15 = -f, -g - 2*f = -1. Let r = 21 + -15. Suppose -2*z - 12 = -2*m, -m - r = -g*m - 5*z. Solve c + m = 2 for c.
-2
Suppose -2*q - 3*q = 0. Suppose g - 2*g + 7 = q. Solve 3*z + 1 = g for z.
2
Suppose 12 = k + 3*c, 25 = -k + 3*k + 5*c. Solve -4*t = t - k for t.
3
Suppose 7 = 3*v - 56. Suppose -v = -3*p + 4*p. Let x be 6/p - 6/(-21). Solve t + 4 + 0 = x for t.
-4
Let r(q) be the first derivative of q**5/120 - q**4/6 + 4*q**3/3 - 4. Let o(k) be the third derivative of r(k). Let v be o(6). Solve 0 = -v*z + 6*z for z.
0
Let x = 40 - 40. Solve x = 5*t - 8 + 3 for t.
1
Let h = -8 + 13. Suppose -184*a + 186*a = 4. Solve 0 = a*k - h*k + 6 for k.
2
Suppose -m + 18 = 2*m. Let j = -8 + m. Let v be 1 + 0/j - -9. Solve 4*y - v = -y for y.
2
Let f(t) be the second derivative of t**3/6 + 7*t**2/2 + 2*t. Let w be f(-5). Suppose 5*d - w*h - 6 = 0, 10 = -4*h - 2. Solve 4*o + 18 - 2 = d for o.
-4
Let b(u) = -u + 1. Suppose 23 = 4*v + 3. Suppose -s - 9 = -4*a, -s + v*a - 8 = -3*s. Let w be b(s). Solve -w = 2*o - 10 for o.
4
Suppose -4 = -m - 0. Solve -t - 20 = m*t for t.
-4
Suppose 2 = -3*l + 5*i, 2*l + 0*i = 3*i. Let s be 4*(4 + (-33)/12). Solve l*h = h - s for h.
-1
Suppose 0 = -w + 5*u - u - 14, 0 = -3*w + u + 2. Solve w*h - h + 2 = 0 for h.
-2
Let x = 2 - 0. Suppose 18 = o + x*o. Solve 0 = -0*h - 2*h - o for h.
-3
Let y = 41 - 6. Suppose 3*f + 2*f = y. Solve -4*n + f*n = 3 for n.
1
Let k be (63/(-27))/((-1)/(-3)). Let d = -7 - k. Solve d*i - i = 0 for i.
0
Suppose 3*s = 15, -s - 3 = -v + 1. Let y = v + -6. Solve 0 = -5*p + y*p - 10 for p.
-5
Let y(q) = 3*q**3 - q**2. Let u be y(1). Suppose 0 = -3*w - 5*a + 1, -2*a - 12 = 3*w - 8*w. Solve -w = 2*t + u for t.
-2
Let x be 3 + (18 - (-2 + 3)). Solve 2*q = -2*q + x for q.
5
Let m be (4/(-3))/4 - 20/(-6). Solve 0 = q - m - 2 for q.
5
Let a be 31/2 + 9/6. Let m be a/4 + (-5)/20. Suppose 3*n - m - 2 = 0. Solve n*q = -12 + 4 for q.
-4
Let q(j) = -2 - 2*j**2 + 3*j**2 + 0*j**2. Let n be q(-2). Let v be 1/(3/2 + -1). Solve n*d + 0 = -v for d.
-1
Let g(a) = a**2 - a. Let s(x) = x - 8. Let v be s(8). Suppose -3*o + 2*p + 1 = 0, -p + v = 2. Let i be g(o). Solve -f - 1 = i for f.
-3
Suppose -12 = -4*v + 12. Solve 0 = -4*o + o - v for o.
-2
Suppose 10*v - 5 = 9*v. Solve -v*j + 16 = -9 for j.
5
Let k be 1/(11/(-3) + 4). Solve -4*a = -k - 13 for a.
4
Suppose 0 = 3*a - 3*c - 9, -c + 9 = 2*a + a. Let z be (-28)/(-5) - (-2)/5. Let o = 11 - z. Solve -o*i + a*i + 2 = 0 for i.
1
Let h = -3 + 3. Solve -2*y - 2*y - 8 = h for y.
-2
Let g = -5 + 8. Suppose b + 5*n = 13, -5 = 3*n + 2*n. Suppose 10*l - 5*l = -2*r + b, 0 = -5*l + 5*r - 10. Solve g = 3*h - l*h for h.
3
Let h(j) = j - 3. Let y(o) = -o + 4. Suppose -2 = 2*l - 4*i - 6, 0 = -4*l + 4*i. Let r(g) = l*y(g) - 3*h(g). Let m be r(0). Solve 0*a = -a - m for a.
-1
Let c be 0*(-2 + 20/8). Let n = 0 - c. Solve -r + n - 1 = 0 for r.
-1
Suppose 29 = 2*s - 7. Let u = 33 - s. Suppose 2*f + f - 12 = -3*q, 3*f = 5*q - 20. Solve f = -4*d + d - u for d.
-5
Suppose 0 = 5*p - 3 - 7. Suppose -y - 3 + 2 = -5*v, -p*y - 4*v - 2 = 0. Let g be y*-2*(1 - 0). Solve -g*n - 4 = 4 for n.
-4
Suppose 5*j - 14 = 3*s - 4, 5*j - 10 = s. Solve s = -r - r + 6 for r.
3
Let z be 3 + 2 + -2 + 2. Let a be (4 - z)/((-1)/3). Suppose -o + 0*o + 5 = 0. Solve -2*s = -a + o for s.
-1
Let s = 22 + -22. Solve s*r = -4*r - 4 for r.
-1
Let u(a) = a**3 - 14*a**2 - 16*a + 19. Let h be u(15). Solve -2 = 6*r - h*r for r.
-1
Let c(y) = 2*y**2 + 3*y + 2. Let s be c(-2). Let l = 9 - s. Solve -i + 1 - l = 0 for i.
-4
Suppose 5*f = -2 +