Suppose -v - 4*v + 15 = d. Let r(c) = -c**2 + 8*c + 9. Let m be r(9). Solve v*g - 15 + 3 = m for g.
4
Let z be (172/(-8))/((-2)/4). Let y be 1/(-3) - z/(-3). Let h be (y/(-21))/((-2)/3). Solve 3 = 2*f - h for f.
2
Let z(u) = u**2 - 12*u - 16. Let l be z(14). Solve -g = -4*g + l for g.
4
Suppose -2*l - 1 = -9. Suppose l*b = 3*b. Solve 3*f + 3 + 3 = b for f.
-2
Suppose 3 = 3*i - 15. Suppose -10 = -4*v + i. Solve v = -4*y - 12 for y.
-4
Let s = -3 - -6. Let y(d) be the third derivative of -d**4/24 + 3*d**2. Let p be y(-7). Solve s*r = p*r - 16 for r.
4
Let g = 106 - 101. Solve 0 = g*u - 19 - 1 for u.
4
Let t = 6 - 9. Let u be (-2)/t*3 - 0. Let n be ((-3)/6 - (-3 + 2))*10. Solve -u*d = -n*d + 9 for d.
3
Let y = 13 - 6. Let n(c) = c - 2. Let a be n(2). Let z = a - 0. Solve z = 3*m + y + 2 for m.
-3
Let q(m) be the third derivative of -m**4/4 - m**3/6 - 4*m**2. Let y be q(-1). Let t be -3 + 1 + 2 + 0. Solve t*n + 10 = -y*n for n.
-2
Let h(g) be the first derivative of -g**2/2 - 5*g + 2. Let f be h(-6). Let i be 0*(3 - 2/f). Solve -v - 4*v + 20 = i for v.
4
Let u = -11 + 12. Suppose 0 = -0*r - r + u. Solve -m + r - 2 = 0 for m.
-1
Let q be -2 - (-1)/1 - -13. Solve c - q = 5*c for c.
-3
Let s = 11 + -9. Solve s - 1 = -p for p.
-1
Let z(o) = o**3 + 5*o**2 - 6*o + 8. Let u be z(-6). Let l = -6 + u. Suppose -5*k + 3 = -7. Solve 8 + k = -l*y for y.
-5
Let o(m) = 4*m + 1. Let v be o(2). Let q be (-1)/(-1) + v + -2. Solve -b - 3*b = q for b.
-2
Let m be (-6)/33 - (-70)/22. Suppose -2*s - 5*x - m = 16, 4*s - 3*x - 27 = 0. Suppose -2*g + 18 = 5*c, 5*c - s*g + 0*g - 23 = 0. Solve c*t = 2*t - 10 for t.
-5
Suppose -13 - 7 = -10*l. Let b = 5 + -3. Solve -l*s + b = -s for s.
2
Let y be 10/(-25) - 22/(-5). Solve -i + 5*i = -y for i.
-1
Let p = 77 - 69. Solve 5*c - p = 12 for c.
4
Suppose -2*l + 14 = 5*s, 0 = s + s - 2*l. Let v be 13/3 + (-4)/(-6). Suppose -v*u + 8 = -3*u. Solve -w = -s*w - u for w.
-4
Let b be -1 - (2 + 0 + -5). Suppose 3*p = 4*a + 27, -4*p + a + 10 + 13 = 0. Let f(x) = x**2 + x - 8. Let k be f(-4). Solve k*g = p*g + b for g.
-2
Let l = 5 - 8. Suppose -5*j - 20 = 0, -3*s = -3*j - 0*j - 21. Let g = s + l. Solve -m + 1 = -g for m.
1
Let x be 0*(-4)/(-12 + 4). Suppose 5*o - 50 = -x*l + 5*l, -o = 2*l + 5. Solve 1 = -z + o for z.
4
Suppose -2*s = -6*s. Suppose -2*r = 4*v - 24, -11 = 2*r + 3*v - 6*v. Solve 0 = y + r - s for y.
-2
Suppose 14*o - 15 = 9*o. Solve 0 = o*d - 6*d for d.
0
Let i = 25 - 23. Solve 0 = c - i*c for c.
0
Let v(x) = -x**2 + 4*x + 8. Let h be v(5). Suppose 2*b + 18 = 5*b. Let k = b - h. Solve -7 - 5 = k*i for i.
-4
Let r(o) = -o + 14. Let k be r(13). Let g be 4/(2*k/1). Solve 0 = g*u - 7*u - 5 for u.
-1
Suppose g - 5 = -4*n + 8, 3*n = -4*g + 13. Solve n*r + r = -16 for r.
-4
Let p = 8 - 17. Let y = p - -14. Solve -1 = -2*f + y for f.
3
Let w = -107 - -113. Solve 5*s + w = 2*s for s.
-2
Let j = 5 + -5. Let c be (-1 - 0)/((-1)/7). Suppose 5*b - c = 3. Solve b*d = -j*d for d.
0
Let c(n) be the third derivative of n**5/60 + n**4/8 + n**3/2 + 4*n**2. Let z be c(-3). Solve -z*k = 2*k - 10 for k.
2
Suppose -i = -10 + 8. Solve 5*a = i*a for a.
0
Let a(v) = -v**2 - 11*v - 8. Let t = 77 - 32. Suppose -6*r + r - t = 0. Let j be a(r). Solve -2 = 4*i + j for i.
-3
Let z be (1 + 4)/(10/4). Solve -u - 1 - z = 0 for u.
-3
Suppose 3*n - 6 = 6. Solve -t + n = -0*t for t.
4
Let v = 1 - 1. Suppose v = -2*i - 3*q + 2*q + 32, 2*i - 8 = 5*q. Let d be 94/14 + 4/i. Solve -1 - d = 2*x for x.
-4
Suppose -9 - 9 = -3*i. Solve 2*t + i = 5*t for t.
2
Suppose -5*y - 9 = -114. Let w = y + -12. Solve 4*a - 1 + w = 0 for a.
-2
Let k(f) = f**3 - 3*f**2 - 8*f + 4. Let l(r) = -r**3 + 4*r**2 + 9*r - 4. Let s(w) = 6*k(w) + 5*l(w). Let h be s(-3). Solve 3*a - h + 10 = 0 for a.
-2
Let v = -21 + 25. Solve -v*i = i for i.
0
Let o be (5 + 2)*(0 + 1). Suppose -d + 0*d = o. Let a be 2/d - (-16)/7. Solve -6 = -4*x - a for x.
1
Let o be 5*1 + -1 + -1. Let a(j) = j - 5. Let g be a(10). Solve -i = g - o for i.
-2
Suppose p - 6*p = 0. Let h be 6/8*4 + 15. Suppose 2*a = -5*q + 6, -4*q + h = -a - 4*a. Solve p = -v - q*v for v.
0
Let w be (-20)/(-50) + 18/5. Solve w*z + 15 = -5 for z.
-5
Let z(u) = -u**2 - 8*u - 4. Let x be z(-7). Let a be (1/((-1)/8))/(-1). Solve -x*m = m + a for m.
-2
Let w(d) = -d**2 - d. Let h be w(-1). Suppose h = 2*a - 0 - 10. Solve -2 - 13 = -a*x for x.
3
Suppose -2*m = i, 0 = -5*i + 3*i - 8. Suppose 2*f + 0 = m. Let q = 8 + -6. Solve 0 = q*u + f - 5 for u.
2
Let i(b) = b**3 + 4*b**2 - 4*b + 7. Let a be i(-5). Solve 0 = a*x + x - 6 for x.
2
Let q(v) = -v - 1. Suppose -o - 2*o = 0. Let h(c) = -c - 7. Let b be h(o). Let d be q(b). Solve -3*l + d = -0*l for l.
2
Suppose -6*p = -p. Solve 2*v - 1 + 5 = p for v.
-2
Let h = -8 - -5. Let a = h + -9. Let w be 1/(2/a*-3). Solve w*x = -x - 15 for x.
-5
Suppose 3*p - 28 = -p. Let t = p - 5. Solve -f - 7 + t = 0 for f.
-5
Let m = 28 + -23. Solve -t = -m + 1 for t.
4
Suppose 16 = -p + 17. Solve 3*d = 13 - p for d.
4
Let q(b) = -b - 5*b**2 + 4*b**2 - b**3 + 4*b**2 + 10 + 4*b**2. Let u be q(7). Solve -2*i - u*i = 10 for i.
-2
Let i = 10 + -6. Suppose x = i*x. Solve x*j = -3*j - 9 for j.
-3
Suppose -5*l + 19 = b, -3*l + 10 = 3*b - 11. Solve v - b*v = -6 for v.
2
Let p(t) = t**3 + t**2 - 1. Let o be p(0). Let l be (-19)/(-4) + o/(-4). Suppose 2*a + a = 3*h - 18, h - 26 = l*a. Solve 3 = n + h for n.
2
Suppose 100 = n + 4*n + k, -4*n - 2*k + 80 = 0. Solve -2*o + 7*o = n for o.
4
Let g(d) = -3*d. Let r(h) = -h**3 - 6*h**2 - 3. Let u be r(-6). Let w = -4 - u. Let f be g(w). Solve -2*y + f = 11 for y.
-4
Let v = 5 + -1. Let c be v*-1*(2 - 3). Suppose 0*m + 3*m = c*z - 7, 0 = m + z - 7. Solve -m*p = -p for p.
0
Let l be 70/17 - (-16)/(-136). Solve l*i + i = -5 for i.
-1
Suppose 2*j + 2*u - 4*u - 4 = 0, -j = 5*u - 8. Suppose o - 5 + 3 = t, o = -4*t - 23. Let q(h) = -h**2 - 4*h + 2. Let a be q(o). Solve j = 2*p + a for p.
-1
Suppose 2*o + 17 = 1. Let v(n) = -n. Let i(s) = -s**3 - 7*s**2 + 7*s. Let j(r) = -i(r) + v(r). Let f be j(o). Solve f*z = -2*z for z.
0
Suppose -y = y - 14. Suppose 1 = 2*p - y. Solve 11 = -p*z - 9 for z.
-5
Let i be (-2*1)/(-1)*1. Let b be 1*i - (2 + -1). Let z = b + 1. Solve z = 5*x - 23 for x.
5
Let z(x) = -x + 1. Let p be z(6). Let m be (-15)/p - 3*1. Let f be (-2)/(-3)*(-6)/(-4). Solve -3*v + f - 4 = m for v.
-1
Suppose 2 = m, v = -0*v - 4*m + 20. Suppose r - 10 = -i + v, -5 = -r. Solve i = 5*o - 3 for o.
4
Let y = 4 + -2. Suppose y*z = 5*r + 2, 2*z - 4*r = z - 2. Solve z = -0*s + 2*s for s.
3
Let c(f) = 2*f - 3*f**2 + 24 + 2*f**2 - 2*f**2 + 3*f**3 - 23. Let r be c(2). Let z = -12 + r. Solve -z*j = -6 - 14 for j.
4
Suppose 2*y - 6 = -0*y, 2*y = m + 2. Let n = m - 4. Solve n = -2*k + 10 - 2 for k.
4
Let r(u) = 2*u**2 + u + 1. Let j be r(-1). Let f be 3/(-1) - (-5 - 0). Suppose -f + 4 = x. Solve -j*h + 16 = x*h for h.
4
Suppose 3*x = -3*x. Suppose 16 = 3*b - 0*i - 2*i, -5*i - 33 = -4*b. Solve -b*l + l - 5 = x for l.
-5
Let s(r) = -2*r**2 + 11*r - 5. Let v be s(5). Solve v*d + d = -3 for d.
-3
Let b(o) = -o**3 - 12*o**2 + 4. Let h be b(-12). Suppose 4*g = -2*d + 22, 5*d = 2*g + 7 - 0. Solve -4 = h*c + g for c.
-2
Let n be 64/(-56)*(-21)/6. Solve -5*q - n = 1 for q.
-1
Let x be 92/6 + 2/(-6). Let y = 0 + x. Solve 0 = -f - 2*f - y for f.
-5
Suppose -4 = -c - 25. Let r be ((-12)/c + 2)*7. Suppose r = 4*f - 58. Solve 6 = 5*p - f for p.
5
Suppose -2*o = -5*o - 9. Let s(t) = t**3 + 2*t**2 + 3. Let l be s(o). Let p be ((-20)/8)/(1/l). Solve -7*d = -2*d + p for d.
-3
Suppose r - 2 = -0*r. Let p = 2 - r. Solve -d - 4 = -p for d.
-4
Suppose -5*f + 14 = 2*f. Solve l = -f*l for l.
0
Suppose 14*s - 16*s = -4. Solve -s*a + 4 = -4 for a.
4
Let u(k) = -2 - 1 + 0 + k. Let d(z) = z**3 - 4*z**2 + 2*z - 2. Let n be d(4). Let a be u(n). Solve -a*m - 20 = 2*m for m.
-4
Suppose 65 = -5*d - 3*k, -d + 4*k = 54 - 18. Let p = 31 - 56. Let y = d - p. Solve y = 4*g - 3 for g.
3
Let t be (-18)/(-63) - 24/(-14). Solve 2*j - 4*j + t = 0 for j.
1
Let s(j) be the first derivative of -j**2/2 + 12*j - 4. Let v be s(8). Solve -v*h + h = 12 for h.
-4
Let p = -81 - -84. Solve -p*o - 2 - 7 = 0 for o.
-3
Let k = 18 - 9. Suppose v - 4*v = -k. Solve y = -2*y - v for y.
-1
Let s = 10 + -10. Solve -4*b + 1 - 9 = s for b.
-2
Suppose 5*o - 25 = -5*w, -5*w + 0