-j + k*j = -6 for j.
-3
Let x be 28/7 - (-2 + 2). Solve -8 - 4 = x*t for t.
-3
Suppose l - 16 = -3*l. Suppose 0*m + 2*b = l*m - 6, 2*b = -5*m + 21. Solve 0 = -m*y - 3 for y.
-1
Suppose 2*x + 2*a + 4 = 0, -4*a - 26 + 10 = 0. Solve -h = x*h + 3 for h.
-1
Suppose -4*r - 12 + 16 = 0. Suppose y = r - 0. Suppose -3*x + 2*i = -43, i - y = -x + 10. Solve -3*c + 2 = -x for c.
5
Suppose 0 = -4*q + 2*n + 41 + 23, 0 = 3*q - 4*n - 43. Solve 0 = -x + 12 - q for x.
-5
Suppose 4*b = 4*x - 0*b - 12, 4*b - 12 = -2*x. Let g be (-220)/(-14) - x*4/(-56). Solve -v = -5*v + g for v.
4
Let h = -10 - -16. Let u(z) = -z + 10. Let a be u(h). Let w be ((2 - 0)*-1)/(-1). Solve -w*s + a = -s for s.
4
Let l(x) = -x**3 - 23*x**2 - x - 21. Let m be l(-23). Solve 2*u = -m + 6 for u.
2
Let s = 7 + 3. Let r be (-15)/s*10/3*-2. Solve 4*n = 9*n - r for n.
2
Suppose 2*u - 20*x = -25*x - 1, -2*x = -4*u + 10. Let r = 8 + -5. Solve -r - u = q for q.
-5
Suppose -21*l + 5*l + 32 = 0. Solve 3*o = l*o for o.
0
Let h = -36 - -38. Solve 2*u + h*u = 0 for u.
0
Let w be 68/7 - 16/(-56). Let i = 12 + -10. Solve -w = -0*u - i*u for u.
5
Let u(m) be the second derivative of 0 + 1/6*m**3 - m + 9*m**2. Let f be u(-13). Solve 0 = -f*c + 14 + 1 for c.
3
Suppose -137 + 1401 = 16*u. Let r = -79 + u. Solve b + 0 + 3 = r for b.
-3
Let v(w) = 4*w**2 - 10*w - 6. Let b be v(6). Let g = b - 71. Solve 2*s + g + 3 = 0 for s.
-5
Let s = -14 + 30. Suppose 3*q + q - s = 0. Suppose 7*l - 2*l - 20 = -5*t, -l = q*t - 16. Solve a - t = -3*a for a.
1
Let j = -67 - -70. Suppose -6*v = -v, 3*m + j*v = 9. Solve q + 6 = m for q.
-3
Let k = 2 - 6. Let p be 10/((k/(-10))/((-3)/(-5))). Solve o - p = 4*o for o.
-5
Let i = 30 - 28. Suppose 4*g + 12 = g. Let a be i + g/1 + 4. Solve 3*l = a*l for l.
0
Let y(m) = m**2 + 17*m - 13. Let p be y(-16). Let g = 29 + p. Solve 0 = -g*c - c - 3 for c.
-3
Let r(f) = f**3 - 20*f**2 - 21*f + 29. Let j be r(21). Let q = j - 26. Solve 2 = q*m - 4*m for m.
-2
Let m be 9/2 + (-3)/(-6). Suppose r + 498 = 501. Solve -m*l - 10 = -r*l for l.
-5
Suppose 13 = 6*w + 1. Let n be ((-5)/w)/((-2)/4). Solve 0 = n*u - 0*u - 15 for u.
3
Let t be (6/4)/(4*27/360). Solve -3*j = -1 - t for j.
2
Let n(r) = -r**3 + 6*r**2 - 5*r + 5. Let v be n(5). Suppose -u - 3 + v = 0. Suppose -u*o + 5 = -7. Solve 0 = -o*c + c for c.
0
Suppose -5*x - 15 = -0*x, -3*f - 624 = 4*x. Let b be (-2)/5 + f/(-10). Suppose 25*i + 11 - 111 = 0. Solve i*j = -j + b for j.
4
Let g = 4 - -8. Suppose 5*a = 3*k + g, 1 + 3 = -2*a - k. Suppose -2*f - 2 = -w + 2*w, 20 = 5*w - 5*f. Solve a*m - w*m = 0 for m.
0
Let v = -12 - -36. Solve 4*r + 2*r = -v for r.
-4
Suppose 4*f = -2*j, -5*j + 5*f = 4 - 19. Suppose 16 - 8 = j*r. Solve -2*k + r = -0*k for k.
2
Suppose b - 2*b = -10. Suppose 2*n = 5*x - 94, 5*x - 45 = n + 3*x. Let t = n - -41. Solve t*a + a = b for a.
2
Let d = 11 + -7. Suppose d*y = 3*i + 41, 4*y + 4*i - 3*i - 29 = 0. Solve -4*x + 8 + y = 0 for x.
4
Let a be ((-1258)/(-17))/(-1*2)*-1. Solve 41*p + 16 = a*p for p.
-4
Suppose 0 = -547*b + 541*b. Solve b = 4*c - 15 + 3 for c.
3
Let g = -2609 + 2621. Solve 0 = -237*v + 241*v + g for v.
-3
Let o(b) = 10 + b**2 + 13*b - 2 + 4 + 0*b**2. Let u be o(-12). Suppose -a - a = -4. Solve a*i + i = u for i.
0
Let u be (2 - 3)*-2 - -9. Suppose -2 + u = -3*f. Let j be f/(-2 + (-1)/(-2)). Solve j*s - s = 2 for s.
2
Suppose 7*u - 12 = 3*u. Suppose -17 = -u*i + 1. Solve 3*z + i = 3 for z.
-1
Suppose -5*k = 5, -22 = -4*a - a + 2*k. Suppose -3 = a*q - 3. Solve q*m - m + 3 = 0 for m.
3
Let t = -12 + 16. Suppose -4*g + t*q + 26 = 10, 0 = -4*q. Solve g = -0*l - 2*l for l.
-2
Let n(d) = 4*d - 39. Let t be n(13). Solve t*k - k - 60 = 0 for k.
5
Let n be 8 + 522/(-63) - (-1395)/7. Suppose 4*f + 83 = n. Solve 0 = 5*m + 4 - f for m.
5
Let t(j) = -6*j + 45. Let c be t(11). Let h be (-2 + -2 + 7)/(c/(-14)). Let g = -1 - -1. Solve g = 4*f - h*f for f.
0
Let w be ((-42)/49)/((-6)/28). Suppose -i + 10 = w*i. Suppose -2*d - o = -12, i*d + 2*d - 5*o = 10. Solve -5*x + 0*x = d for x.
-1
Let d = 479 + -473. Solve -q + 15 = -d*q for q.
-3
Let s(f) = f**2 + 6*f - 15. Let l(o) = -5*o + 2. Let k be l(2). Let a be s(k). Let h be 3 - (a + 1 - 1). Solve h*y = -15 + 5 for y.
-5
Suppose 0 = 5*u - 343 - 257. Solve -u*d + 117*d - 3 = 0 for d.
-1
Suppose 4*d = u - 7 + 18, 3*u = -9. Suppose 0 = d*k + q - 3 - 5, 4*q - 12 = 2*k. Solve -s = k*s - 15 for s.
5
Suppose 4*b + 5 = -14*p + 11*p, 3*p = 5*b + 40. Solve p*l - 27 = -2 for l.
5
Let a(n) = n**2 - 7*n + 13. Suppose -4*u + 3 = 11. Let g be -3 - -1*(10 + u). Let v be a(g). Solve 0 - 9 = v*p for p.
-3
Suppose -27*x - 88 = -23*x. Let d = 26 + x. Solve 0 = d*l - 5 - 3 for l.
2
Let z(y) = -y - 4. Suppose 2*t - 5*q = -4, 2*t - 3*q + 2 = -2. Let p be t/(-15) + 276/(-45). Let h be z(p). Solve -h = -l - 3 for l.
-1
Let i = 47 + -46. Let l be (-9)/6 + i - (-99)/22. Solve d = 2*d + l for d.
-4
Let g be -99 - -96 - (-42 + 1/(-1)). Suppose g = -16*t + 24*t. Solve -t*p - 6 = 14 for p.
-4
Let x = 2248 - 2148. Solve -98*j - 4 = -x*j for j.
2
Let c(g) = -19 + 31 + g - 13. Let f be c(5). Solve -i = -f*i for i.
0
Let l = -89 + 87. Let q be -3 + -6*l/3. Solve -p = 4 + q for p.
-5
Let y = 21 - 3. Suppose 54*h - 51*h = y. Solve -h = 2*b - 0*b for b.
-3
Let w = -107 + 111. Solve -16 = 6*c - w for c.
-2
Let b be (-4)/(-6)*(-1 - (-20)/8). Solve b + 0 = a for a.
1
Suppose 0 = 2*t + 8, 3*z - 5*z + 6*t + 30 = 0. Solve 11 + 4 = -z*o for o.
-5
Let a be (-18)/(-12)*(-16)/(-6). Suppose 0 = 3*i - a*i + 16. Let h = -13 + i. Solve h*j + 1 + 14 = 0 for j.
-5
Let w(i) = -i**3 - 4*i**2 - 2*i - 4. Let r be w(-4). Suppose 109 = 2*z + 33. Let x = 41 - z. Solve -r = x*q + q for q.
-1
Suppose -g = -3*g + 6. Suppose 2*l = -g*l - 35. Let j = 5 - l. Solve j = -5*o + o for o.
-3
Let f = 6894 + -6892. Suppose 0 = n + 2*n. Solve f*p + 9 + 1 = n for p.
-5
Suppose -4*g + g = 4*x - 42, -3*x = -2*g - 23. Solve x*a - a = 24 for a.
3
Let u be (-3)/2*(0 + 0 + -2). Suppose l + u*l - 12 = 2*c, 2*l = -2*c. Solve l*p = 6*p - 8 for p.
2
Let w be ((-30)/(-8))/((-3)/(-16)). Suppose 0 = 2*m + z + w + 3, -m - 5*z - 7 = 0. Let o be (0/(m/(-4)))/2. Solve -3*y = -o + 12 for y.
-4
Let a be (-1)/(-3)*-3 - -4. Suppose a*v + 6*l + 33 = l, v = -2*l - 12. Let w be (-14)/v + 1/(-3). Solve 3*o = -w*o - 10 for o.
-2
Suppose -h + 37 = 3*o + o, h = -2*o + 21. Solve 0 = -y - o + 4 for y.
-4
Suppose 9*w - 12 = 78. Solve 0 = -3*n + w - 22 for n.
-4
Let f(v) = -3*v - 16. Let g be f(-7). Suppose 5*w + g*w = 50. Solve -3*n - w = -14 for n.
3
Let p(i) = -i**2 - 3*i + 4. Let q be p(-3). Let l be 9/(q/(-24)*-9). Let d be ((-4)/(-2))/(l/9). Solve d*w = -w - 12 for w.
-3
Suppose 0 = -5*j + 2*t + 16, 9 = 5*t + 24. Solve 6 - j = x for x.
4
Let v(x) = -x**2 - 10*x - 6. Let z be v(-9). Solve 0 = z*f + 19 - 7 for f.
-4
Suppose 17 - 11 = 2*q. Suppose q*w = -7*w + 20. Solve -w*v + 4 = -6*v for v.
-1
Suppose -5*a + 16 = 3*a. Let h(q) = q + 9. Let x be h(-6). Suppose -a*k = x*k - 25. Solve -v = -k*v for v.
0
Let w be 0 - (-5 + 4) - (-9)/(-9). Solve 17*s - 21 + 55 = w for s.
-2
Suppose -y + 9*c - 13*c = 8, -2*y - 6 = 3*c. Solve y = 5*b - 33 + 8 for b.
5
Let z(f) = -f**2 + 13*f - 6. Let i be z(12). Let k(l) = l**3 - 5*l**2 - 4*l - 2. Let p be k(i). Solve h - 3*h = p for h.
-5
Suppose -u + 14 = u. Suppose -u*r + 30 = -r. Suppose 1 = 3*a - r. Solve 0 = -a*o + 4*o + 6 for o.
-3
Let u be (-1 + -5)*(9 - (-133)/(-14)). Solve -u*b - 4 = -b for b.
-2
Let g = -18 + 18. Suppose -o - 5*x - 8 = g, 2*o + x + 8 = 5*o. Let u be (o/(-4))/((-4)/16). Solve u*t = 7*t + 20 for t.
-4
Let v = 101 - 98. Let u be (-6)/((1/v)/((-8)/36)). Solve -3 = -u*k + 5 for k.
2
Let y = -36 - -40. Solve -1 = 5*l - y*l for l.
-1
Let f(p) = p**3 + 8*p**2 + 2*p - 2. Let y be f(-8). Let k = -12 - y. Solve -2*w + 0*w = k for w.
-3
Let d(y) = -9*y + 504. Let r be d(56). Solve 3*h = -r*h + 6 for h.
2
Suppose -4*l = 4*l + 264. Let s = l + 36. Solve -s + 5 = 2*t for t.
1
Let t = -93 + 95. Suppose -4*s + 5*p - 9 = 11, -4*s + t*p = 8. Solve -2*z - z + 15 = s for z.
5
Let d(h) = 7*h**2 - 2*h**2 + 1 + h**3 - h - h**2. Suppose c + 12 = -2*c. Let s be d(c). Solve -s*g - 8 - 12 = 0 for g.
-4
Suppose r = 4*j - 1, -5*j - 6 = r + 4. Let i be 8 + 2*(-1 + j). Solve -i*o - 1 + 17 = 0 for o.
4
Let i(u) = -2*u**3 - 2*u**2. Let w be i(-2). Let v(d)