5*k = -0*k - a for k.
4
Suppose 0 = -39*x + 29*x + 20. Solve 7*t + x = 9*t for t.
1
Let o(i) = i**2 - 1. Let j be o(-1). Let m(g) = -g**3 + 21*g**2 + 25*g - 23. Let t be m(22). Let b = t - 38. Solve j = 3*c - b - 4 for c.
3
Let q = 11 - 6. Suppose -11*j + 8*j = -66. Suppose -d - q*p = 2*d + j, -p - 9 = -4*d. Solve -3*r + d = 4 for r.
-1
Let s(v) = 20*v. Let n be s(0). Solve n = -3*u - 22 + 28 for u.
2
Let t(k) = 4 + k**2 - 8*k + 1 - k + 4*k. Let p be t(5). Solve 2*x = p*x - 3 for x.
1
Suppose 5 = -2*x + 3. Let i be (3 - 3)/(x/(-1)). Suppose -2*r + 3 + 5 = 4*h, h + 2*r - 8 = i. Solve -2*p + h*p - 10 = 0 for p.
-5
Let f = -134 - -234. Let o be f/36 + 6/27. Suppose 30 = 3*n + o. Solve -2*j - n = j for j.
-3
Let l = 225 - 214. Solve 0 = -l*k + 8*k for k.
0
Let u(a) = a**3 + 6*a**2 + 8*a + 17. Let n be u(-5). Suppose 0 = 3*s + 4*m - 8, n*m + 1 = -1. Solve -3 = -r - s for r.
-1
Let o(a) = a**3 + 9*a**2 - 11*a - 13. Suppose 4*k - 4*d = d - 45, 2*d - 2 = 0. Let b be o(k). Let y be (b - -4)/1 + 9. Solve -6*l = -l + y for l.
-2
Suppose -p - 15 = 4*i - 1, 0 = p + 5*i + 18. Let j be 63/42*4/7*(-42)/(-9). Solve -p + j = -u for u.
-2
Let t be (-3 - -2)*(-15)/3. Suppose 0*c + 3*c + t*o = 15, o - 3 = -2*c. Solve 4*y + 16 = -c*y for y.
-4
Let d be 7 - (4 + 0 + -1). Suppose d = m - 1. Suppose -n = 4*t - 6*n, 0 = m*n. Solve -4 = 2*g - t for g.
-2
Let w(l) = -l**3 - 13*l**2 - 9*l - 5. Let n be w(-12). Let u = n + 45. Solve 5*p + 11 = -u for p.
-3
Let p be (-2 - (-4 + 2))/2. Solve p*s + s = 3*s for s.
0
Let l be ((-45)/(-18))/(15/24). Solve -3*k - l = -5*k for k.
2
Let q = 12 + -5. Suppose 2*g - 1 = -2*u + 5, 3*g + q = 5*u. Solve -5*a + 8 + u = 0 for a.
2
Suppose 5*t = 2*q + 22, -2*q = 2*t - 3*q - 9. Suppose 0 = y + 5*p + 2, 0 = p - 21 + 23. Solve -t - y = 3*c for c.
-4
Let l be (1*(0 + 10))/2. Suppose 0 = l*p - 6*p + k - 4, -p - 14 = -3*k. Solve -r + 1 = -p for r.
2
Let b be (-58)/(-2) + (0 - 2). Suppose -3*z + 119 = 5*d + 6, -d - 5*z = -b. Solve 0 = 5*p + 3 + d for p.
-5
Suppose 0 = 3*p - 14 + 5. Let t = 1349 + -1343. Solve 0*i = -p*i - t for i.
-2
Suppose 16 = -2*w - 4*z - 32, -15 = 3*z. Let h be ((-12)/10)/(w/35). Solve -5*d + 7 + h = 0 for d.
2
Let b(f) = -38*f - 190. Let v be b(-5). Solve 38*m - 43*m - 5 = v for m.
-1
Let a = 548 + -547. Solve -1 = 9*z - a for z.
0
Let u(s) = 2*s + 4. Suppose -4*o - 2 = -a - 3, 0 = 3*o + 5*a + 5. Let q be u(o). Suppose x - q*x = -18. Solve x - 1 = -d for d.
-5
Let r = -1 + 1. Suppose r = 2*w - 6 - 0. Let s = -2997 + 3004. Solve w*a - s*a = -12 for a.
3
Suppose 0 = -4*p - 0*q + 2*q + 6, -5*q + 11 = 3*p. Solve -p*u + 7 - 15 = 0 for u.
-4
Suppose -4*n = 16, 3*d = 3*n + 67 + 5. Solve -i = -5*i + d for i.
5
Suppose 73 = 6*c + 7. Suppose 2 = 2*m - 5*k + 3*k, 5*m - c = 3*k. Solve -4*z - m = 4 for z.
-2
Suppose 0 = -8*j + 5*j - 87. Let n = -27 - j. Suppose 0 = -0*u + n*u - 6. Solve u*g = -g - 20 for g.
-5
Suppose -d = 3 - 6. Suppose -2*z = -5*n + 4, -d*z + 7 = -3*n + 2*n. Solve -n*h = 2*h - 12 for h.
3
Let y(s) = -s**2 + s - 1. Let d(c) = 5*c**2 - 9*c + 12. Let v(x) = d(x) + 6*y(x). Let f be v(-3). Solve f = -h - h for h.
-3
Suppose -3*k - 4*v + 2 = -5*k, 5*v - 10 = 0. Solve k*w - 17 = -2 for w.
5
Let y(l) = -21*l - 241. Let w be y(-12). Solve 0 = -w*s - 77 + 22 for s.
-5
Let t = -5 - -4. Let n = 58 + -47. Let b be t/((-4)/(n + -3)). Solve 4*l - b + 14 = 0 for l.
-3
Let f(n) = n**3 + 20*n**2 + n + 45. Let z be f(-20). Solve z*m + 12 = 21*m for m.
-3
Let a = -60 + 46. Let l be 3/((-6)/(-4)) + a + 15. Suppose -5*u - 5 = -105. Solve -u = 7*n - l*n for n.
-5
Let u(v) = -4*v + 20. Let k be u(4). Suppose 0*q + 12 = k*q - l, 0 = -4*l. Solve -q*w = 12 + 3 for w.
-5
Suppose -237*r + 15 = -234*r. Let a(o) = -o**2 - 4*o + 4. Let u be a(-4). Solve 4*i + u = r*i for i.
4
Let u(i) = 41*i**2 + 44*i**2 - 3 + 8 - 83*i**2 + i**3. Let x be u(0). Solve x*r - 15 = -0*r for r.
3
Suppose 0 = -5*x + 7*x - 3*b, 0 = 4*x - 5*b. Suppose 12 = 6*v - 2*v. Suppose -y = -9 + v. Solve -y*w + w = x for w.
0
Let w be 8*2*8/(-128)*-16. Solve -4*f - 4*f = -w for f.
2
Suppose -198 = -8*u - 78. Solve -3*t = -8*t + u for t.
3
Let y(r) = -r - 9. Let k be y(-23). Solve -k = w - 13 for w.
-1
Suppose -4*k + 3*n = -3, -4*k - n - n + 18 = 0. Solve -5 - 1 = -k*l for l.
2
Let b = -1225 - -1241. Solve -13*u + 3 = -b*u for u.
-1
Let j = 2899 + -2890. Solve -49 + 4 = j*f for f.
-5
Let g(r) = -r**2 + 8. Let z be g(-3). Let n(k) = -3*k - 3. Let h be n(z). Solve 2*t + h = -8 for t.
-4
Let l = 155 - 82. Suppose g = -25 + l. Let p be ((-2)/(-4))/(4/g). Solve 5*j + p = -4 for j.
-2
Let p be 0/(-2 - -7 - 3). Let w be 9*(-1)/2*-2. Let m = w + -7. Solve p = -0*c + m*c for c.
0
Let o = 249 - 247. Solve -4*i + 6 = o*i for i.
1
Let x(t) = 16*t - 169. Let m be x(14). Solve 0 = 54*r - m*r + 1 for r.
1
Suppose z = 3*y - 129, -5*z - 43 = -y - 0*y. Solve y*k - 42*k = -4 for k.
-4
Suppose -14*g + 9*g + 180 = 0. Let m = g - 30. Let o be 2/m - (-112)/24. Solve o*p = 3 + 17 for p.
4
Suppose 4*h - 26 = c, -2*c - 3*h + 2 = 32. Let l be 0 + c/(-8) - 8/32. Solve -5*i = -l - 18 for i.
4
Suppose 23*a = 15*a + 16*a. Solve a*p + 5 = 5*p for p.
1
Let j = 361 - 356. Solve 20*x = 15*x + j for x.
1
Let k(w) = 8*w - 20. Let a be k(3). Suppose 12 = p + p + 2*d, 4*d = a*p + 8. Solve p*j + 2*j = 12 for j.
3
Let i = 6 - -3. Suppose 3*h - 3 - i = 0. Suppose h = 4*b - 0*b. Solve -2 = k - b for k.
-1
Let v(y) = -4*y**3 + 3*y - 3. Let q(m) = m**3 + m**2. Let u(r) = 5*q(r) + v(r). Let j be u(-3). Let x = -2 - -5. Solve b - j = x*b for b.
-3
Let b(d) = -26*d + 41. Let m be b(1). Solve -3*l - m = 2*l for l.
-3
Let f be (-4)/30 - (-235)/75. Suppose f*b = 5*b. Suppose -3*y + 3 + 6 = 0. Solve -y = -b*h + h for h.
-3
Let n = -270 + 282. Solve 0*j + 6*j - n = 0 for j.
2
Suppose 135*d - 132*d - 21 = 0. Solve d*m + 8 = 11*m for m.
2
Let n be (-252)/4 + 1 + 1. Let v = 65 + n. Solve -h + 0*h + v = 0 for h.
4
Suppose p = 4*z - 31, -2*z + 3*p - 4*p + 11 = 0. Solve z*u = 11 + 24 for u.
5
Let y be (-8)/14 - (1353/(-77) + 3). Solve y*a - 8*a = -12 for a.
-2
Let p be -2*((1 - 3) + 0). Suppose 4*m + m = 2*j - 30, 48 = 2*j + p*m. Solve 3*i = -2*i - j for i.
-4
Let k be 3/9*24/2. Let r(l) = l - 6. Let b be r(4). Let v = k + b. Solve -v*t - 4 + 2 = 0 for t.
-1
Let r be ((-2)/(-18) - (-8)/36)*0. Suppose 2*g - 5*g = 0. Suppose 0 = -q + 3*q - 10, g = -5*u + 4*q. Solve 0*z + z + u = r for z.
-4
Suppose -5*c - 5*l = -4*l - 35, 2*c - 2*l = 2. Solve 7*t - c*t = 5 for t.
5
Suppose 0 = 475*i - 466*i - 126. Solve 4*l = -i + 10 for l.
-1
Let c be (-2 - -3)*(-6)/(-2). Suppose 0 = -l + 3*q + 4, -l + 1 = -5*l - 5*q. Let n = 15 + l. Solve h = -c*h + n for h.
4
Let x be ((-8)/(-3))/((-16)/(-24)). Suppose i - x - 6 = 0. Solve 6 = 4*t - i for t.
4
Suppose 5*f - 3*b = 24, -b + 9 + 5 = 2*f. Solve 5*v = f*v + 1 for v.
-1
Let y(g) = 5*g**3 + g - 1. Let u be y(1). Suppose 1 = 5*j - 4*j. Solve -u*l = j - 11 for l.
2
Let k(j) = j**3 - 6*j**2 - 10*j + 25. Let f be 24/2 + (-6 - -1). Let d be k(f). Solve -y - 2 = -d for y.
2
Let d(l) = -l**3 + 8*l**2 + 3*l + 6. Let r be d(7). Let c be (19/r)/((-2)/(-16)). Solve -c*v = -3*v + 1 for v.
1
Suppose -4*u + 4*b + 52 = 0, 42 + 6 = 4*u - 3*b. Let y(l) = -l + 9. Let q be y(u). Suppose -4*m + q = -60. Solve 0*k - m = -3*k for k.
5
Let y be (0 + 0)*(-1)/2. Suppose 5*v + 2*m = 84, 4*m = -0*v - 3*v + 56. Let c(g) = g**2 - 17*g + 17. Let a be c(v). Solve 0 = l - y*l - a for l.
1
Suppose 5*b - 4*b = -20. Let r be 0*(b/12 - -2). Let p = 4 + r. Solve 0 = p*a + 4 for a.
-1
Let y(m) = 1 + 4*m - 2*m + 0. Suppose 5*w = 3 + 2. Let i be y(w). Solve -3*v + i = -3 for v.
2
Let a = -9 + 16. Suppose 51 = a*d - 19. Solve -n + 6*n = -d for n.
-2
Let d be 4 + 1/(-4)*-4. Suppose -d*q = -0*q + 4*x - 34, 5*q = x + 54. Suppose 3*y = -5*j + 10, y + 2 = 3*j + q. Solve 2*f = f - y for f.
-5
Let s(l) = -l**2 + 9*l - 16. Let z be s(7). Let h(a) = a - 4. Let q be h(7). Let m be (z/q)/((-1)/9). Solve -k = -4*k + m for k.
2
Let f = 13 + -7. Let u(v) = -v**2 + 8*v - 5. Let b be u(f). Solve 3 - b = -2*r for r.
2
Let c(g) = g**2 - g. Let m(l) = -2*l**2 + 3*l. Let o(w) = -3*c(w) - m(w). Let k be o(0). Suppose -5 = -4*j - 1. Solve b + k*b = j for b.
1
Let y be (3 + -3)/(-2 - -3). Solve 5*o - o - o = y for o.
0
Let b be (4/(-8)*-12)/(2/32). Suppose -5*o + b = 86. Sol