-2*j + 1 + 1. Solve 0 = 2*k - j - 1 for k.
1
Let p(q) = 2*q**2 + 4*q + 2. Let n be p(-2). Solve -d - n*d = 12 for d.
-4
Suppose 5 + 1 = 2*d. Solve -b = d*b for b.
0
Suppose 0 = -5*c - 4 - 6, 3*d + 5*c - 2 = 0. Solve -3*s = -d*s + 1 for s.
1
Suppose g + q = 4*q - 6, 2*q + 24 = -4*g. Let z be (4/(-6) - 2)*g. Solve -2*x = z - 6 for x.
-5
Let n be 6/(-4)*22/3. Let b = n - -15. Solve b*k = 5*k + 2 for k.
-2
Let j(u) = -2*u**2 + u + 1. Let y be j(-1). Let c = -4 - -6. Let v be (-2)/4*(y + c). Solve 2 = -v*t - t for t.
-2
Suppose 0 = r - 31 - 44. Suppose -r = -6*h + h. Suppose -3 = -2*w + 7. Solve 2*z = w*z + h for z.
-5
Suppose -3*z + 11 = -1. Suppose -g + z = -2. Solve g = -p - 2*p for p.
-2
Let p(l) = l - 5. Let v be p(4). Let g(o) = -26*o**3 - o**2. Let b be g(v). Solve 0 = 5*j - b + 5 for j.
4
Let h(g) = -2*g - 32. Let r be h(-19). Solve 0 = s - r*s for s.
0
Suppose v + 0 = -1. Let d(a) = 6*a**2 + a + 1. Let l be d(v). Let h(c) = 2*c - 8. Let o be h(l). Solve 0 = o*k + 2 - 18 for k.
4
Let d = 20 + -13. Solve 2 - d = n for n.
-5
Suppose -13*g - 10*g = -92. Let u = 38 + -27. Solve u + g = -3*t for t.
-5
Let u be (3 - 3)/(15/(-5)). Solve -4*n = -u*n + 12 for n.
-3
Let b(a) = -a**2 + 13*a - 3. Let o be b(5). Suppose 0 = 3*t - 15, -n - 2*n - t = o. Let i be (-3)/2 - n/4. Solve f = -0 - i for f.
-2
Let l be 57/(-12) - 1/4. Let f(b) = -b - 1. Let u be f(l). Solve -u*z = 4 + 12 for z.
-4
Let p = 32 - 23. Let t(l) = -l**2 + 8*l + 13. Let g be t(p). Suppose 2*s - g = 2. Solve -5*m - 22 = s for m.
-5
Let h be 1/((-96)/(-18) + -5). Solve 0*o = -h*o + 12 for o.
4
Suppose 0 = -3*d - d + 5*q - 21, -4*d + 29 = 5*q. Suppose s + 3 = -4*g, -5*s + 2 + d = 2*g. Let t(y) = -5*y - 1. Let h be t(g). Solve 5 = h*p + 13 for p.
-2
Let h be (105/14)/((-2)/(-4)). Let n be (-12)/h*10/(-4). Solve n*s = -s for s.
0
Let g(z) = -8*z + 3. Let x be g(-5). Let p be (0 - -3)*(1 - -5). Let o = x - p. Solve -3*h + o = 2*h for h.
5
Let l(n) = n**2 + 9*n + 8. Let f be l(-9). Let k = f - 3. Suppose z + 12 = k*z. Solve -7*t + 8 = -z*t for t.
2
Let g(c) = -c - 3. Let l be g(-8). Solve -d = -l + 3 for d.
2
Suppose 0 = 5*j + 94 + 86. Let v be (48/j)/((-4)/6). Solve -v*p + 1 = 9 for p.
-4
Let j be (124/(-6))/(3/18). Let o be j/(-24) + 1/(-6). Solve -o*i - 12 = -i for i.
-3
Let g be 8 + -6 - -1*2. Suppose -h = 2*c - 4, -5*c = -3*h + h - 1. Let n = h + -2. Solve -g = -l - n for l.
4
Let p be 52*(27/(-12))/1. Let g be (1 - 0)*(0 + -1). Let i be p/(-6) + g/(-2). Solve i = -5*k + 5 for k.
-3
Let o(c) = c**3 + 14*c**2 + 12*c - 6. Let j be o(-13). Solve 27 = -5*k + j for k.
-4
Suppose -5*f = -4*f + 9. Let a = -4 - f. Solve -a*p - 10 = -10*p for p.
2
Suppose -3*j + 3*w - 12 = -6*j, -4*w + 17 = 5*j. Let b = 1 - j. Solve 2 = -b*s + s for s.
2
Let j(l) = l**3 + 5*l**2 - 2. Let a be j(-4). Suppose 21 = 3*r - 3*d, -d = -3*r - 5*d + a. Solve -r*f + 15 = -f for f.
3
Suppose k = 3*k - 12. Let q be (-4)/10*(-120)/k. Solve 0*r + q = -4*r for r.
-2
Let v(l) = l**3 - 6*l**2 - 7*l - 8. Let g be v(7). Let q = 12 + g. Solve q*p - 3*p = 0 for p.
0
Suppose -g + 7 - 3 = 0. Suppose g*s - 3*s = 2. Let n be (-8)/(-5) + s/5. Solve -o = -n*o for o.
0
Let g be ((-2)/(-6))/(20/180). Solve v - g = 2*v for v.
-3
Let b = 21 - 19. Suppose -14 = m - b*m - 2*n, 5*n - 50 = -4*m. Solve w + 4*w - m = 0 for w.
2
Let s be -8 + 7 - (0 + -3). Solve s*y = 4 - 0 for y.
2
Let f(m) = m**3 - 5*m**2 - 6*m + 2. Let g be f(6). Solve 2*d + g*d = 16 for d.
4
Let z(p) = 4*p**2 - 4*p + 5. Let n = 6 + -4. Let h be z(n). Solve 3*v - h = -4 for v.
3
Let k be (-1 + -4)*(-2 + 3). Let p be (-14)/(-8) + k/(-20). Solve 10 = 3*u + p*u for u.
2
Let l be (-164)/(-10) - 2/5. Let z be (7/(-2))/(7/42). Let f = z + 26. Solve h = f*h - l for h.
4
Let z(m) = m**3 + 14*m**2 - 15*m + 2. Let o be z(-15). Solve r + 7 = o for r.
-5
Suppose -3*q + 26 = 4*z, q + q = z - 1. Suppose -6 = -i - q. Solve -i*k = -9 - 3 for k.
3
Suppose -12*n + n = -22. Solve 0 = 2*y + n*y for y.
0
Suppose y + 4*f - 8 = 2, -2*y + 2 = -f. Solve -3*m - 2 = -y*m for m.
-2
Let i = 51 - 45. Solve y = i*y for y.
0
Let d(b) = 2*b - 12. Let n be d(7). Solve 2*k + n*k - 20 = 0 for k.
5
Let d = 20 + -7. Solve n = d - 14 for n.
-1
Suppose 2*c = 2 + 4. Let f be 1 + ((-3)/c - -2). Solve 0*i + f = 2*i for i.
1
Suppose 4*r - 7 = 29. Let y = -4 + r. Solve 4*j + 3 = y*j for j.
3
Let j = -1 + 3. Suppose -j*o - 4 + 2 = 0. Let x(g) = 7*g**2 + 1. Let u be x(o). Solve k - 3 + u = 0 for k.
-5
Suppose -7*w = -46 + 11. Solve w*p = -14 - 6 for p.
-4
Suppose 3*q + 4 - 6 = 2*o, 4*o = -q + 24. Suppose 2*j = -0*j + 12. Let f be (j/(-4))/(2/(-4)). Solve -f = 3*p - q*p for p.
3
Suppose 6 = 3*d + 3*q - 12, 0 = -3*d + 3*q. Let u = 16 - d. Let a = -8 - -13. Solve -2*m + u = a for m.
4
Suppose 5*q = -z + 4, -q = q - 2*z + 8. Solve -3*r + q*r - 9 = 0 for r.
-3
Let o = -6 + 4. Let t(p) = 3*p**2 + 2*p + 1. Let b be t(o). Solve -3*u = -3 + b for u.
-2
Let r(i) = 3*i**2 + 2*i - 1. Let a be r(1). Let h(o) = o**2 - 7*o. Let f be (-2 - 18/(-2)) + 0. Let v be h(f). Solve v*c = 2*c - a for c.
2
Let v(p) = -p**3 - 2*p**2 - p. Let u be (-1 - 1/(-1)) + -2. Let y be v(u). Suppose y*o + 4 = -3*n + 21, o = n + 1. Solve -3 = 3*k - o*k for k.
3
Let o(u) = -u**2 - 19*u - 58. Let v be o(-15). Solve g = -g + v for g.
1
Let g be ((-9)/5)/(42/(-280)). Solve g = -u - 3*u for u.
-3
Suppose 2*c + 2 = -0. Let r = c - -4. Solve -3*j + r = -2*j for j.
3
Suppose -2 = 4*a + 3*m - 29, -4*m + 32 = 4*a. Suppose -5*s + 25 = 3*k, 2*k = -s - a*k + 27. Solve 0*j = s*j for j.
0
Let q(u) = -u**3 - u**2 - u - 4. Let w be q(-2). Solve -8 = -2*h + w for h.
5
Suppose -2*r - 4*w = -15 - 5, 3*r = w - 5. Solve r = -6*q + 10*q - 8 for q.
2
Let j(w) = w**2 - 9*w + 17. Let r be j(7). Solve 2*t = -11 + r for t.
-4
Suppose 0 = 5*i + 3*t - 6, 0 = -2*i + 7*i - 3*t + 6. Let u be (2 - (i - -3))*-4. Solve -q + u = -2*q for q.
-4
Suppose 48 = 3*y - 3*p - 24, 5*y - 2*p = 120. Let g = y + -20. Solve -g = -2*w + w for w.
4
Let m = 27 - 25. Solve -20 = -3*h - m*h for h.
4
Let x = 10 - -5. Solve -4*h = -h - x for h.
5
Let m(v) be the first derivative of -v**4/4 - 2*v**3 - v**2/2 + 6*v - 3. Let y be m(-6). Suppose 4*u = u + y. Solve -u*a = -3*a + 2 for a.
-2
Let x(c) = -c + 10. Let t be (8/6)/((-1)/(-6)). Let r be x(t). Suppose -2*n + r = -n. Solve 0 = -p - n + 3 for p.
1
Suppose d - 3*y = -9, 2*d - 17 = -4*y - 5. Solve d*p + 4 = p for p.
4
Let p = 10 + -29. Let v = p - -19. Solve v = l + l for l.
0
Suppose -4*i - 3*o + 18 = 3, -4*i + 5 = o. Let z be 0 - (0 - (i - -2)). Suppose 4*s - 100 = -4*q, z*s + 50 = 2*q + s. Solve 7*y = 2*y - q for y.
-5
Suppose 6*k - 2*k + 16 = 0. Let y = -2 - k. Let v = -1 - -1. Solve v*j = -y*j - 6 for j.
-3
Let n(g) = -g**3 - 2*g**2 + 6*g + 2. Suppose 0 = -3*x - 2 - 10. Let f be n(x). Let v(z) = -2*z - 8. Let y be v(-6). Solve 0 = y*c + 6 + f for c.
-4
Let f = -25 - -28. Solve -f*r + 13 = 4 for r.
3
Let t be ((-12)/14)/((-4)/28). Let v = 11 - t. Solve -v*j = 2 + 3 for j.
-1
Let z = 107 + -37. Suppose -j - z = -3*j. Suppose 5*m - r - j = 0, 5*m = -r + 9 + 26. Solve -2*g = -m*g for g.
0
Let g be (-2)/((0 - -4)/(-24)). Solve 9*h = g*h for h.
0
Let z(l) = -l**2 - 8*l + 9. Let h be z(-9). Suppose -w = -h*w - 24. Suppose 4*r - w = r. Solve -o + r = o for o.
4
Let v = -117 - -120. Solve 4*z = v*z + 5 for z.
5
Let j(w) = -w**2 - 11*w - 5. Let v be j(-10). Suppose 4*q - 9 - 7 = -x, q - 4 = v*x. Solve 0 = 3*y - 7*y - q for y.
-1
Suppose -4*k + k = 3. Let c be (14/4)/(k/(-2)). Solve -c*d = -2*d + 10 for d.
-2
Suppose 3*r = 4*r. Suppose -2*x - 2*s + 1 + 1 = r, s - 4 = 0. Let m be x/(-9)*-2*-6. Solve 0 = -0*a - m*a + 20 for a.
5
Let k(m) = -m**3 - 5*m**2 - 5*m - 2. Let a be k(-4). Let p be a + 3/(-1) + 3. Solve p = z - 2*z for z.
-2
Suppose 2*a + 5*r = 25, a - 5*r + 0 = -25. Solve a*k - 8 = 2*k for k.
-4
Suppose -8 = 5*m + 2*f, 3*m - 3*f - 1 = 11. Solve m*h = -h for h.
0
Let q(j) = -j**2 - 9*j - 8. Let g be q(-8). Suppose g = 9*a - 4*a - 10. Solve -2*k - a = -0 for k.
-1
Suppose -9*z + 48 = -5*z. Solve 4*x + z = -0*x for x.
-3
Let k(o) = -2*o - 2. Let i be k(0). Let s = 3 + i. Solve 2*x = -7 - s for x.
-4
Suppose 57*l = 64*l - 84. Let z be (0 + -6)/(0 - 1). Suppose 0 = -k + 1 + 1. Solve k*i - z*i = -l for i.
3
Let d be -3 - (-4 - -1)*1. Solve d*w - 4 = -w for w.
4
Suppose -4