 = 2*k - 44. Does 11 divide k?
True
Let c = -288 - -625. Is 40 a factor of c?
False
Let l(q) = q**3 - 17*q**2 + 2*q + 13. Let i(j) = 3*j**3 - 50*j**2 + 7*j + 39. Let s(x) = -6*i(x) + 17*l(x). Is 7 a factor of s(10)?
True
Let l(b) be the second derivative of b**4/12 - b**3/3 - 2*b**2 - 2*b. Let j be l(4). Let k(d) = -d**3 + 4*d**2 + 7*d - 6. Is 11 a factor of k(j)?
True
Let h be 0 + (-1)/(-2)*-6. Is 6 a factor of 14/2 - (4 + h)?
True
Suppose -k + a = 6, -3*a + 10 = -3*k - 2*a. Does 24 divide (-1*(-106)/k)/(-1)?
False
Let z be ((-28)/(-16))/(1/(-4)). Let k = -5 - z. Is 20 a factor of k*9*1 - -2?
True
Suppose -n = 3*q - 4, -q - 5*n = -10*n - 28. Let b be -2 + q - 32 - -1. Let d = b + 68. Is d a multiple of 13?
False
Suppose 4*k - 11 - 5 = 0. Suppose -k*q + 5*q - 2 = -3*y, -4*q - 2*y + 18 = 0. Is q a multiple of 4?
False
Is 5 a factor of (1 - -35*1) + 0?
False
Suppose -g = -2 - 0. Let h = 52 - g. Let k = h + -34. Does 8 divide k?
True
Suppose 0 = 3*z + 6 + 6. Let f(l) = 0 + 1 + 4 - l - 3. Does 6 divide f(z)?
True
Let c(y) = -y**3 - 6*y**2 - 7*y. Let t be c(-6). Is 1 - (3 - 4 - t) a multiple of 22?
True
Let b = -99 + 139. Does 6 divide b?
False
Suppose -3*z + 4*z = 52. Suppose z = 7*l - 5*l. Is 18 a factor of l?
False
Suppose 0 = 3*c + y + 173, c + 46 + 17 = -3*y. Let t = 30 + c. Let x = t - -64. Does 22 divide x?
False
Let t(v) = 15*v + 5. Does 9 divide t(4)?
False
Let f(t) = -t. Let c be f(0). Suppose -b = -c*b - 44. Is b a multiple of 16?
False
Suppose 2*t - 2*n = -5*n + 1, 0 = -4*t - n + 17. Suppose -t*d + 18 = 2*p, -2*d + 3*p = -5*d + 18. Suppose 20 = 5*j, -d*j + 4*j + 38 = 2*y. Does 14 divide y?
False
Let j(x) = -1 - 8 - 5*x + 3*x. Does 2 divide j(-8)?
False
Let x = 33 - 10. Does 11 divide x?
False
Suppose 0 = 5*t - 62 - 578. Is t a multiple of 32?
True
Let i = 4 + -4. Suppose 0*t = -3*t + h + 136, i = -2*t + h + 91. Let d = t + -23. Is 11 a factor of d?
True
Suppose 22*u = 27*u - 710. Does 16 divide u?
False
Suppose -i = 2*v - 5, -5*i + 5*v = 18 + 32. Let l(b) = b**3 + 5*b**2 - 2*b - 3. Is 6 a factor of l(i)?
False
Let y be 4/(-22) + 3458/22. Suppose y = 5*q - 2*z, -3*z + 8*z - 20 = 0. Suppose f - 13 = q. Is f a multiple of 23?
True
Let l = -67 - -221. Suppose 3*t + 3*i - 111 = -0*i, -4*t - i + l = 0. Does 13 divide t?
True
Let p be ((-28)/(-1))/(3/(-3)). Let m = 42 + p. Does 14 divide m?
True
Suppose 22 = 4*z - 2*r, 0 = -5*z - 3*r + r + 23. Is z a multiple of 4?
False
Let u(p) = p**3 - 3*p**2 + 1. Let r be u(2). Is (28/10)/(r/(-45)) a multiple of 14?
True
Is 6 a factor of 4/12 + (-34)/(-6)?
True
Suppose -4*s + 6 = -2. Let o(g) = -25 + g**2 - s*g**3 + 24 + 5*g**3. Is o(2) a multiple of 14?
False
Let y = 64 + -24. Does 10 divide y?
True
Let j = -42 - -76. Is j a multiple of 5?
False
Let m(y) = 2*y**3 - 4*y**2 - y. Let q be m(3). Is 3 a factor of (18/q)/((-4)/(-10))?
True
Let r = -5 - 0. Let f = -3 - r. Suppose 0 = f*v - 4*l - 18, -3*l - 18 = -2*v + 4. Does 8 divide v?
False
Let h(m) = -6*m. Let j be h(-3). Suppose 4*w + j - 5 = -5*l, -2*l = 2*w + 6. Is (-2)/l + -2 + 15 a multiple of 5?
True
Let c(o) be the third derivative of -o**7/420 - o**5/60 - o**4/12 - o**3/3 + 2*o**2. Let l(x) be the first derivative of c(x). Is 18 a factor of l(-2)?
True
Suppose v = 2*v + 10. Let z = -6 - v. Is z a multiple of 4?
True
Let r(t) = t**2 + 7*t - 2. Suppose 2 = -x + 17. Let q = x + -23. Is r(q) a multiple of 5?
False
Let f = 532 + -337. Does 39 divide f?
True
Let b be (-3)/(-3 - 27/(-12)). Suppose -4*f + 1024 = -2*h, 0*h + 508 = 2*f + h. Suppose -b*x + f = x. Is x a multiple of 17?
True
Suppose -6*w = -w + 5. Does 10 divide 265/10 - w/(-2)?
False
Let b(f) = 2*f + 4 - f**3 - 4 + 2*f**2. Let s(k) = k**2 - 5*k + 3. Let v be s(3). Does 13 divide b(v)?
True
Suppose 0 = -p - 0*p. Suppose p = 2*x - 82 - 50. Is x/8 - 2/8 a multiple of 3?
False
Let k be (3/(-2))/((-1)/2). Suppose -k*s = -5*v - 113, -s = -0*v - v - 37. Does 16 divide s?
False
Let i = 2 + -2. Suppose i*n + 9 = 3*n. Suppose -103 = -n*f - 25. Is 14 a factor of f?
False
Suppose -3*s = -69 - 42. Does 7 divide s?
False
Let w(b) = -b**3 - b**2 + b - 1. Let i be w(-2). Let q be 0 - (9 + -2 - 3). Is 10 a factor of i*-4*37/q?
False
Let i(b) = b**3 + 7*b**2 - 7*b + 10. Let g be i(-8). Let x(t) = 2 + 5 + t**g + 5*t + t**2. Is x(-5) a multiple of 14?
False
Suppose 0 = 2*z - 4*z - 190. Let c = 180 + z. Is c a multiple of 23?
False
Let g(s) = -s**2 - 3*s - 2. Let z be g(-2). Let u be 3*(z + 102/(-9)). Let d = u - -48. Does 7 divide d?
True
Let p(d) = 3*d**2 - 3*d + 3. Let b be p(2). Let k = 7 + b. Does 9 divide k?
False
Suppose 56 + 124 = -4*l. Let p = -20 - l. Is p a multiple of 9?
False
Let m = 4 + -5. Let y = 2 - m. Suppose -6*f = -y*f - 54. Is 16 a factor of f?
False
Let w be (-18)/(-2)*(2 + -1). Let l = w + 5. Is 14 a factor of l?
True
Suppose 3*k - w - 315 = -0*w, 2*k - 210 = -4*w. Is k a multiple of 7?
True
Suppose 0 = -0*w + 4*w - 52. Suppose 3*f = -5*u + w, -2*f + 3*f + 19 = 3*u. Suppose u*v - 124 = y, 3*y = v + 5*y - 27. Is 12 a factor of v?
False
Let h(r) = -r**3 + 3*r**2 + 4. Let a be h(3). Let g = a - 1. Suppose 2*y + 41 = g*y. Is y a multiple of 12?
False
Let k be (36/15)/((-12)/160). Let s = k - -68. Is s a multiple of 12?
True
Is 26/(-10) + 3 + 3332/20 a multiple of 14?
False
Let s(z) = 7*z**2 - 2*z - 2. Let d be s(-3). Let p(r) = r**2 - r - 5. Let c be p(-4). Suppose 4*v = -c + d. Is v a multiple of 13?
True
Let k = -96 + 154. Does 10 divide k?
False
Let b = 64 - 26. Suppose 3*j = o + b + 65, 4*o = -j + 17. Suppose 5*d + 5*c = 2*c + j, -4*c - 43 = -3*d. Is d a multiple of 6?
False
Let g = -22 - -31. Let u(z) = 2*z - 4. Is 14 a factor of u(g)?
True
Let p be 32/6 - 2/(-3). Suppose 2*g + g + p = 0. Is 5/(-10) - 27/g a multiple of 7?
False
Suppose -13 - 49 = -r. Does 13 divide r?
False
Let h be (-5696)/(-56) - (-2)/7. Suppose -4*d + 2*q = q - 86, -5*d = -4*q - h. Is 22 a factor of d?
True
Let j = 163 + -158. Is 5 a factor of j?
True
Suppose 2*a = 3*n - 4*n, 0 = -2*n + a. Suppose -3*b + 59 + 22 = n. Let y = -18 + b. Is 9 a factor of y?
True
Suppose 0 = 45*t - 42*t - 330. Is 22 a factor of t?
True
Suppose 3*l = 32 + 34. Is 11 a factor of l?
True
Suppose -a + 3*b = b, b + 36 = 5*a. Suppose 2 = -5*s - a. Does 4 divide s - ((-12)/2 - 2)?
False
Suppose -23*w - 282 = -26*w. Let r = w - 26. Is r a multiple of 17?
True
Let i(w) = -w**3 + 11*w**2 - 2*w + 7. Let b be i(7). Is 3 a factor of b/14 - (-2)/4?
False
Suppose -y + 0 = -16. Is 3 a factor of y?
False
Let t be ((-15)/(-6))/(-5)*0. Suppose -q + t*q = -42. Suppose 0 = 3*g - 21 - q. Does 8 divide g?
False
Suppose 4*z + 12 = -p + 3*p, 3*p = z + 13. Let s = 1 - z. Is 15 a factor of 1/(-2) - (-71)/s?
False
Let l be 6*2/(-4)*-1. Let n = -36 + 39. Suppose l*c - 102 = -3*q, n*c + 136 = 4*q - 2*c. Is q a multiple of 9?
False
Let h = -14 + 127. Let p = h + -67. Is p a multiple of 23?
True
Let i = -6 - -38. Is 8 a factor of i?
True
Let g = -8 - -11. Let x(y) = -2*y**2 + 3*y + 1. Let f be x(g). Let s(z) = -z + 2. Does 7 divide s(f)?
False
Suppose 0 = b - 6*b + 120. Suppose -13*v + b = -11*v. Is 6 a factor of v?
True
Suppose 3*j + 75 = 4*j + 2*s, s - 293 = -4*j. Suppose 0 = 5*r + 5*h - 190, 2*r + 2*h - j = -h. Does 14 divide r?
False
Let j(b) = -b - 5. Let o be j(-7). Does 6 divide o/(12/21)*4?
False
Let j = -9 + 21. Let c be 7 + (0 - -2) + -1. Let s = j + c. Is s a multiple of 11?
False
Let d(w) = -2*w**3 - 2*w**2 + w + 1. Let y be d(-2). Let f be -10*(y/(-2) - -3). Suppose 5*r + 18 = f*l + 4*r, 5*l - 3*r - 14 = 0. Does 4 divide l?
True
Let a = 2 + 21. Does 5 divide a?
False
Suppose 3*v + 5*u - 18 = 15, 5*u - 15 = 0. Suppose -3*s + 5*s - v = 0. Suppose -s*d + 15 + 0 = 0. Does 5 divide d?
True
Suppose -3*v = -0*v - 321. Suppose 4*i - v = 173. Is 27 a factor of i?
False
Suppose 2*j - 210 = -60. Is 5 a factor of j?
True
Does 3 divide -2*(45/(-6) - -1)?
False
Suppose 2*q + 2*q + 4 = 0. Does 5 divide ((-4)/8)/(q/10)?
True
Suppose 3*k - 3*p + 6 = 0, 3*p - p = 4*k + 8. Is (k + 0)/((-10)/310) a multiple of 13?
False
Suppose -4*u - 9 = -29. Suppose -i = 4*j + 5 - 148, -u*j + 200 = -3*i. Is 13 a factor of j?
False
Let a = -10 + 37. Suppose -w + 4*w - a = 0. Is 9 a factor of w?
True
Let n(b) = -2*b**3 - 9*b**2 - 2*b + 7. Is n(-7) a multiple of 42?
False
Suppose -5*p + 2*j = -