o be a(-1). Suppose -j = j + 6, -2*g + 5*j + 17 = o. Solve -5*l - 4 = g for l.
-1
Let c(v) = -v**2 - 8*v + 2. Let t be c(-6). Solve 2 = 4*r - t for r.
4
Let s = 10 + -1. Suppose -12*n + s*n = 0. Solve 12 = -n*t + 4*t for t.
3
Let y be (-1 - -5) + 0/1. Suppose 5*q + 2*p = p - 2, q = -3*p + 8. Let a = q - -1. Solve a = y*w - 8 - 8 for w.
4
Let u = 6 - 4. Let j = u - -1. Solve -j = -4*o + o for o.
1
Let i be 0 - -3 - (-7 + 2). Solve 3*x = i*x - 20 for x.
4
Let j = -14 + 20. Let u(n) = -n**3 - 6*n**2 + 2*n - 4. Let o be u(-6). Let v be (-1)/(-4) - (-4)/o. Solve 2*b + v*b + j = 0 for b.
-3
Let u(a) = a**2 + a + 4. Let b be u(3). Solve -3*y - b = -4 for y.
-4
Let p = 24 + -21. Solve p = 4*v - 1 for v.
1
Let g = -81 + 83. Solve 3*w = -g*w + 15 for w.
3
Let z(n) = -n**3 - 3*n**2 + 4*n - 3. Let g be z(-4). Let y be 152/(-6) + g/(-9). Let j be ((-8)/10)/(10/y). Solve 5*x + j = -3 for x.
-1
Suppose -3*n - 5*x - 2 = -0*n, 2*n + x = 1. Let r = 1 - 4. Let y = 6 - r. Solve 4*f + n = y for f.
2
Suppose v - 9 - 3 = 2*g, -3*v = -4*g - 28. Solve -w - v = 3*w for w.
-1
Suppose 2*b = 2*v - 14, 0 = -5*v - 5*b + 3 - 8. Suppose 0 = -v*a + a + 4. Solve a*o - 6 = -0*o for o.
3
Let d be (50/(-20))/(1/(-2)). Solve d*g = g for g.
0
Let g = -37 - -39. Solve 0 = x - g for x.
2
Let j be -8 - -9 - -3*1. Suppose q + 13 = j*h + 6*q, -4*h + 5*q = -3. Solve -2*g - h = -12 for g.
5
Let p = 156 + -147. Solve 3*x = -0*x + p for x.
3
Let m(t) = t**3 + 11*t**2 - 12*t. Let k be m(-12). Let p(u) = -u**3 + 5*u**2 + u - 3. Let f = 2 + 3. Let b be p(f). Solve k*y - y = b for y.
-2
Let k be -3*(16/12 - -1). Let b = 9 + k. Solve -p + 0 = -b for p.
2
Suppose 2*c + 6 + 0 = 0. Let y be (0/(0 + c))/2. Solve -2*k + 3*k = y for k.
0
Let u(c) = 5*c**2 + 0*c**2 + c + 0*c. Let g be u(-1). Solve g*k = -9 - 3 for k.
-3
Suppose 0 = 4*j - 4*f, 5*f = -j + f + 10. Solve -9 = -z - j*z for z.
3
Let l = -135 + 137. Solve l*g - 8 - 2 = 0 for g.
5
Let y(a) = a + 3. Let l be y(0). Suppose -4*g + l*n + 240 = 0, n + 101 + 139 = 4*g. Suppose 3*d = -d + g. Solve -3*x + 6*x + d = 0 for x.
-5
Let q = 56 - 53. Solve -g - 8 = -q*g for g.
4
Let f = 4 - 2. Suppose 3*j - 4 - f = 0. Suppose 0 - j = -2*q. Solve 2*s = s + q for s.
1
Let p be (-2 - -1)*34/(-2). Let t = 28 - p. Suppose -4 = -f - s, 4 = f + 2*s - 5*s. Solve 3*w = t + f for w.
5
Suppose 54 = 3*o + 3*f, 3*f - 8*f + 12 = -o. Let c = 13 - o. Solve 0*p - p = c for p.
0
Suppose -2*v = -v - l - 24, 4*l = 20. Let d = v - 20. Let k be (-80)/(-36) - 2/d. Solve k*h = h - 1 for h.
-1
Let w(o) = -o**2 - 8*o - 4. Let a be w(-7). Suppose -v - 4 = -4*v + 2*h, -a*h = -4*v + 4. Solve 13 = -v*p + 1 for p.
-3
Suppose 16 = 3*f + 5*a, 7*f - 4*a = 3*f. Suppose -f*j = 3*j - 5. Solve 11 = 4*q - j for q.
3
Let g(h) = h**3 - 14*h**2 + 16*h - 36. Let q be g(13). Solve q*p + 0 + 15 = 0 for p.
-5
Let t(c) = -c**3 - 2*c**2 - 1. Suppose 2 + 7 = -3*g. Let x be t(g). Let p = -16 - -44. Solve -x + p = -5*z for z.
-4
Suppose -2*r = -16 - 6. Let j = -1 - -6. Solve 0 = j*y - r - 14 for y.
5
Let p(k) = -k**3 + 4*k**2 + 2. Let v be p(4). Suppose 0 = -b + v. Solve 2*x = -b*x - 20 for x.
-5
Let y(k) = -k + 3. Let l be y(3). Let a = 29 + -20. Solve 3*s + l*s = a for s.
3
Suppose -2*n - 2 = -2*v, -2*v = -6 - 0. Suppose -s - n*s + 12 = 0. Solve -s*y = y for y.
0
Suppose -9 = 9*t - 12*t. Solve d = -t - 0 for d.
-3
Suppose 2*x = -3*x + 5. Let n be ((-6)/5)/(x/(-5)). Let a = n + -4. Solve -9 = -a*g - g for g.
3
Suppose 4*f = 3*f + 4. Suppose -f*o - 8 = 0, -4*a - 2*o + 16 = -4*o. Solve -2 = -k - a for k.
-1
Let q(i) = i**3 - 2*i + 1. Let k be q(2). Solve -2*a + 1 = -k for a.
3
Suppose -2*m - 4*k + 1 = 3, 2*m + 11 = 5*k. Let g(s) = 8*s**2 - s. Let j be g(m). Suppose -5*a + 0 = -j. Solve i + 4*i = -a for i.
-3
Let p(a) = a**3 - 10*a**2 + 4. Let w be p(10). Solve -w*j = -0*j for j.
0
Let p be -3 + (-2 - (0 + -19)). Suppose -75 = -3*a - 2*w, -a + p + 11 = 2*w. Solve -4*v + a = v for v.
5
Let p = -4 + 6. Suppose k + 5*q = -15, k - 2*k - p*q - 6 = 0. Solve k = -4*u - 14 + 2 for u.
-3
Let p(y) = -y**2 - 7*y + 22. Let n be p(-9). Solve 6 - n = 2*d for d.
1
Let v = 38 - 36. Solve -4*r - v = -2*r for r.
-1
Let z(v) = v**3 + 3*v**2 - 4*v + 2. Let a be z(-4). Let l be (-2 + 0)/(a/(-5)). Suppose -2*d + l*d = 9. Solve 0 = d*p - 3 for p.
1
Suppose -a = 2*a - 24. Let x = 10 - a. Solve -4*s = -x*s + 10 for s.
-5
Let j(c) = -c - 2. Let i be j(-5). Solve 0 = t - 4 + i for t.
1
Suppose -3*s - 3*l = 12, 2*s - 8 = l + l. Solve 4*i - 9*i = s for i.
0
Let r(i) = i**3 - 9*i**2 + 8*i. Let j be r(8). Solve -4*q + 8 = -j*q for q.
2
Let p = 22 - 17. Solve -16 = -p*m + m for m.
4
Let b be (-6)/(-4) - 6/4. Let c be 1/(b - (-1)/3). Solve j + 6 = c for j.
-3
Suppose -2*j = -9 - 7. Let b be ((-12)/(-9))/(-4) + (-20)/(-6). Solve b = f + j for f.
-5
Suppose -13*v + 11*v + 12 = 0. Solve -15 = -v*s + 3*s for s.
5
Let t be (12 - 8) + 5 + -2. Solve 4*c + 5 = -t for c.
-3
Let r = -7 - -15. Solve 0 = 3*h - 4 - r for h.
4
Suppose -2*n = n - 9. Suppose n*r + l = -r + 244, 20 = -5*l. Suppose -5*h - 14 - 15 = -2*m, 5*m - 2*h = r. Solve m = -b + 4*b for b.
4
Suppose 2*p = 2 + 6. Let x be (-114)/(-24) + 1/p. Solve 1 - x = 4*h for h.
-1
Let n = -176 - -188. Let u(s) = s**3 - 5*s**2 - 10*s + 9. Let w be u(6). Let x be 1/5 + (-27)/w. Solve n = -5*o + x for o.
-2
Let b(a) = 9*a - 19. Let r be b(3). Solve 2 = 2*h - r for h.
5
Let u be (0 + -1)/(2/(-14)). Let g = -5 + u. Let h be (-2)/(-1)*-1 - -4. Solve 6 + h = -g*i for i.
-4
Let b = -1 + 7. Let v(i) = i**2 - 6*i - 6. Let k(n) = 3*n**2 - 17*n - 17. Let j(x) = b*k(x) - 17*v(x). Let r be j(2). Solve r = -7*s + 3*s for s.
-1
Let x be 2*(-1)/7 - 30/(-105). Solve x*c - 5*c + 15 = 0 for c.
3
Suppose 3*l - 40 = 3*i - 1, l = 5*i + 69. Let c be (-144)/(-56) - 6/i. Solve c + 1 = 2*d for d.
2
Let v be 681/45 + 10/(-75). Solve -p + v = -4*p for p.
-5
Let h = -18 + 15. Let s be -1*((-3 - h) + 0). Solve s = -5*b - 0 + 10 for b.
2
Suppose -1 = 2*q - 31. Solve -4*b = b - q for b.
3
Suppose -3*f - 6*z = -4*z - 8, 0 = 2*f + 5*z - 9. Let q(p) = -p + 2. Let r be q(f). Solve 6*m - m - 10 = r for m.
2
Let k(w) = -w**3 - 8*w**2 - 9*w + 2. Let l be k(-7). Suppose 4*a = -y - 8, -l = -0*y - y + 2*a. Solve -y = -3*b + 7 for b.
5
Let f = -8 - -9. Solve 14 = -3*b - f for b.
-5
Let o(g) be the first derivative of g**4/4 + 4*g**3/3 - 5*g**2/2 + 4*g - 2. Let u be (-2)/(-8) + (-42)/8. Let t be o(u). Solve t = 4*f - 3*f for f.
4
Suppose 0 = 5*j + 2*v - 0*v - 43, -5*v = -j + 14. Solve -f = -4*f + j for f.
3
Suppose 0 = -0*b + 5*b - 20. Suppose 0 = 3*j - 5*v + 5, -3*j + 4*v - 7*v = -3. Solve 4*s + b = -j for s.
-1
Let d(x) = -x**2 - 10*x + 8. Let f be d(-10). Solve -4*i = -4 - f for i.
3
Suppose -6 = -3*w + w. Suppose 2*m = w*m - 10. Solve 2*s = -0*s + m for s.
5
Let q(r) be the first derivative of r**3/6 - r**2/2 + 2*r + 3. Let g(v) be the first derivative of q(v). Let a be g(4). Solve 0 = 7*y - a*y - 16 for y.
4
Let s be (-2)/(-11) + 100/55. Suppose 0 = s*u - 6 - 2. Solve 10 = -u*b + 2*b for b.
-5
Let u(l) = 2*l - 2. Let x be u(3). Suppose 0 = -2*n - 2*m - x, 3*m - 3 = -n - 9. Solve 3*i = -n*i - 15 for i.
-5
Suppose -4*m = -5*i - 21, 4*m - 5 = 3*i + 14. Solve m*b + 0*b = -12 for b.
-3
Let z be (-1 - 1)*-1 - (47 + -47). Solve 3 = -y - z for y.
-5
Suppose 0 = 2*c + 4*l - 20, -2*c - 14 = -4*l - 2. Solve -5*k - 3 = c for k.
-1
Suppose 0 = -3*t + 6*t - 9. Solve -4*a + 7 - t = 0 for a.
1
Let l(d) = -1 + 0*d - d + 3 + 5*d**2. Let k be l(2). Suppose -20 = -4*g - 4*w, -2*w + 12 = -0*g + 3*g. Solve -3*f - k = g*f for f.
-4
Suppose -5*h + 9 + 1 = 0. Solve x + 1 = -h for x.
-3
Let f = 0 + -18. Let t be f/12*(1 - 3). Suppose 2*l + 4*c - 5*c = 3, -4*c = t*l - 21. Solve -l - 17 = -5*b for b.
4
Let v = 6 + -2. Suppose 3*a - 4*q + 14 = 0, 2 = -2*a - 4*q + 26. Solve -a*l - 6 = -v*l for l.
3
Suppose -q + 4*i = 9, -q = 2*q - 3*i - 9. Let r = q + -5. Let c be 3 - ((-4)/1 + 5). Solve c*d = -r*d + 16 for d.
4
Let o(u) = 6*u + 38. Let l be o(-6). Solve l*w - 3 = 7 for w.
5
Let j = -4 + 6. Solve j*m = -2*m + 4 for m.
1
Suppose -5*m + 8 = 4*p, 3*p - 2*m + 1 = 7. Solve p = 2*z + 8 for z.
-3
Suppose -j = -6*j + 20. Suppose 0*c + 3*c + 2*k = -8, 0 = -3*c + k + j. Solve c*m = -3*m + 15 for m.
5
Let i = -2 - -5. Let z(m) = -6*m - 3. Let s be z(-2). Solve -i*a - s = 3 for