8*w - 146*w = 136. Is w a multiple of 17?
True
Let u = 79 - 71. Suppose u*t + 402 = 10*t. Does 15 divide t?
False
Suppose 16*j + 4*r = 14*j + 4038, 0 = -2*j - 5*r + 4041. Is j a multiple of 16?
False
Suppose 2*r - 2*d = 1060, 5*r - 518 = 4*r + 5*d. Is 44 a factor of r?
False
Let y be -3 + 3/6*16. Suppose -y = -2*f - 1. Suppose -2*g + f*s + 52 = 0, -3*s = -s - 6. Is g a multiple of 23?
False
Let s(x) = x**3 - 33*x**2 + 66*x - 74. Does 25 divide s(31)?
True
Let g(f) = -f**2 + 5*f - 4. Let x be g(3). Suppose -j + 49 = -q + 3, x*q = 3*j - 90. Let p = -27 - q. Is p a multiple of 13?
False
Let k(h) = 75*h + 3. Let a be k(3). Suppose j = 5*j - a. Suppose 6*y - 159 = j. Does 12 divide y?
True
Suppose t = 86 + 679. Is 8 a factor of t?
False
Suppose 41*o + 6135 = 56*o. Does 7 divide o?
False
Suppose -5*c + 5*w + 26 = -4*c, -c - 4 = 5*w. Suppose c*z = 14*z - 120. Is 5 a factor of z?
True
Let f(k) = k + 26. Let j be f(12). Suppose 4*a - 542 = j. Is a a multiple of 6?
False
Let l be 0/((-12)/3 - -2). Is l - -94 - 3 - -1 a multiple of 29?
False
Let n be 15 + -2*4/8. Let w = -26 + n. Is 14 a factor of 4631/66 + 2/w?
True
Suppose 3*m = 5*g + 21 + 4, -2*g - m = -1. Let b be ((-1)/g)/(6/(-444)). Let h = b + 79. Is h a multiple of 21?
True
Let n(y) be the third derivative of -5*y**4/24 + 19*y**3/6 + 4*y**2. Does 13 divide n(-14)?
False
Let x(g) = -11*g. Let a be x(7). Suppose d + 6 = h, d - 2*h - 4 + 14 = 0. Is 132/a*21/d a multiple of 9?
True
Let j = -55 - -50. Let c(f) = 4*f**2 - 5*f - 27. Is c(j) a multiple of 19?
False
Suppose -7 = h + 21. Let k = -27 - h. Does 6 divide (41/k - -2) + 4?
False
Let z(n) = -n**3 - 34*n**2 - 68*n - 40. Is 4 a factor of z(-32)?
True
Is (-2494)/344*144/(-1) a multiple of 12?
True
Let h(o) = 12*o**3 + 2*o**2 + o + 77. Is 8 a factor of h(5)?
True
Let k be (-73 - 1 - 3) + 2 + -5. Let m = k + 148. Is m a multiple of 34?
True
Let y = -42 - -60. Let v be 2/1*y/(-4). Let j = v - -16. Does 2 divide j?
False
Is 15 a factor of 119*((-72)/(-120) + 4/10)?
False
Is (-15 + 10)/((-2)/26) a multiple of 2?
False
Let f be (1 - 3)/(12/(-300)). Is 18*(-2 + f/15) a multiple of 4?
True
Suppose 0 = 4*r - 3*h - 698, r - 4*h - 133 = 35. Does 16 divide r?
True
Let u = -4 + 11. Suppose 4*p = -u + 23. Is (1 - p)*(-21)/7 a multiple of 9?
True
Suppose 0 = 12*a - 13*a + 12. Suppose -u = 3*j - 11, 2 = 5*u - 2*j - 87. Let d = u - a. Is d even?
False
Let b = -3311 + 5037. Is 60 a factor of b?
False
Suppose 0 = 3*b + 4*z - 1259 + 46, 5*b + 5*z - 2025 = 0. Is b a multiple of 60?
False
Suppose 2*v - 564 = -2*i, -9*v = i - 4*v - 270. Is i a multiple of 22?
False
Let d = 677 - 268. Does 34 divide d?
False
Suppose 49*x = 39*x + 1320. Is x a multiple of 10?
False
Suppose u = -n + 6*n - 14, 2 = 2*u. Suppose -i = -4*m - 16, 0 = -m - n*m. Is 16 a factor of i?
True
Let t(v) = -37*v - 41. Let o(u) = 55*u + 62. Let k(c) = -5*o(c) - 7*t(c). Is 20 a factor of k(-10)?
False
Let p(h) = -h**3 - 6*h**2 - h - 3. Let j be p(-6). Suppose 32 = j*a - 0*a - 4*o, 2*o = -3*a + 2. Let k(i) = 5*i**2 - 6*i + 3. Is k(a) a multiple of 14?
False
Let h(q) = q**3 + 6*q**2 + 5*q + 6. Let d(x) = -2*x - 35. Let y be d(-15). Let i be h(y). Is (i + 8)/(2/16) a multiple of 14?
True
Let o(w) = 7 + w**3 - 20 + 15. Let t be o(2). Suppose -t*q + 6*q = -144. Is q a multiple of 36?
True
Suppose 11*k = 439 + 3521. Is 9 a factor of k?
True
Suppose -5*x - 4*s = -2*x - 25, 0 = 5*x + 5*s - 45. Let n = -4 + x. Let z(b) = -b**3 + 8*b**2 - 3*b + 2. Does 10 divide z(n)?
True
Suppose 5*n + 2*d = -9, -4*n - 7 = -n + 2*d. Let b = -5 + n. Is 10 a factor of (-9)/b + (-105)/(-6)?
False
Let o = -2 + 2. Suppose -3*t - 5*g + 17 = o, -5 = -2*t + 5*g - 27. Is (-1 - -31)/((-1)/t) a multiple of 15?
True
Suppose -y + 5*s + 468 = 0, y + 3*s = -2*y + 1368. Is y a multiple of 22?
False
Suppose -3*s - 2 = 31. Let c = s - -46. Is 15 a factor of c?
False
Let o be 1/1 + (-4)/(-2). Let p(v) = 16*v + 4 + v**o - 16 + 15*v**2 + 1. Is p(-13) a multiple of 13?
False
Let w(n) = 2*n**3 + 15*n**2 + 21*n. Is 7 a factor of w(-4)?
True
Let i be (-10 + 3)/((-3)/9). Suppose -111 = -5*u + 394. Let k = u - i. Does 20 divide k?
True
Let h = -20 + 25. Does 16 divide ((-96)/5)/((-1)/h)?
True
Let h(w) = -2*w**2 - 10*w - 19. Let t be h(-6). Let l = t + 67. Is l a multiple of 18?
True
Suppose 241 = -17*j + 18*j. Let k = j - 133. Is 6 a factor of k?
True
Let d = 12 - 2. Let c(h) = h**2 - 12*h + 25. Is c(d) a multiple of 2?
False
Let u(g) = 10*g**2 + g. Let r(a) = a + 14. Let x(z) = 6*z + 1. Let b be x(-2). Let j be r(b). Is u(j) a multiple of 31?
True
Let p(j) be the third derivative of -j**6/120 - j**5/12 - j**4/24 + j**3/6 + j**2. Suppose 14*x - 11*x = -15. Is 6 a factor of p(x)?
True
Let j(a) = 1 + 6*a**2 - 9 - 5 + 5*a + a. Let z be j(-6). Suppose -2*q + 102 = 3*v, q - v = 4*q - z. Is 25 a factor of q?
False
Suppose 0 = -2*o + 8. Suppose -o*b + 5 = -19. Is 3/(-1) + (17 - b) a multiple of 4?
True
Suppose 3*i = 4*w - 2246, 3*w - 4*i = 126 + 1555. Does 23 divide w?
False
Let s(h) be the second derivative of h**5/20 - 5*h**4/6 - 4*h**3/3 - 9*h**2/2 + 2*h. Let r(o) = -o**2 - 11*o - 7. Let m be r(-9). Is s(m) a multiple of 8?
True
Let a = -2025 + 2963. Does 67 divide a?
True
Let k(a) = -20 - 24*a + 10*a - 10*a. Let d be k(-10). Suppose 5*p = -90 + d. Does 26 divide p?
True
Let m be ((-3)/(-1) + 2)*2. Suppose m*y - 8*y = 66. Suppose -g = -y + 10. Does 8 divide g?
False
Suppose 16*v + 72 = 17*v. Does 24 divide v?
True
Let m(p) = -14*p - 8. Let u be m(-4). Let t = u + -3. Does 9 divide t?
True
Let g(z) = z**3 - 29*z**2 - z + 77. Does 6 divide g(29)?
True
Suppose 0 = -5*v - 2*r + 253, -3*r - r = -2*v + 106. Suppose v + 15 = 2*p + 2*k, -151 = -5*p + 2*k. Suppose -28*w + p*w = 165. Is w a multiple of 16?
False
Let k = -269 + 272. Does 3 divide k?
True
Let g be ((-348)/1)/(8/72). Let u be g/(-48) + (-1)/4. Let y = 136 - u. Is 18 a factor of y?
False
Let p = -18 - -118. Does 2 divide p?
True
Let r(p) = 3*p**2 - 21*p - 228. Is r(27) a multiple of 24?
True
Suppose 0 = 2*h + 8 - 40. Is 20 a factor of h + (8 - (-12)/(-3))?
True
Suppose 2*a + 41 = 2*x + 3*x, -77 = 5*a - 4*x. Let n be (a - (5 - 4)) + 4. Does 13 divide (-206)/n - (-38)/95?
False
Let n be (2/3)/((-7)/(189/(-6))). Suppose 0 = -n*y + 2*y + 32. Is y a multiple of 3?
False
Suppose -40 = 4*r - 0. Is 7 a factor of (-1 + -97)*r/20?
True
Suppose -27 = -4*p + 21. Let a = 20 + p. Does 9 divide a?
False
Suppose -3*i + 24 = 15. Suppose i*q - 462 = -3*r, -2*q + 6*q - 768 = -5*r. Is r a multiple of 15?
False
Let o(j) = j**3 + 3*j**2 - 1. Let c be o(-2). Is 245/4*(5 - (-2 + c)) a multiple of 15?
False
Let n be -6 + (-2980)/(-32) + 2/(-16). Suppose 4*z + 48 = 2*g, -3*g = -0*z - z - n. Is g a multiple of 5?
True
Let s(a) = -a**2 - 7*a + 22. Let n be s(-9). Does 8 divide (2*-4)/((n/(-5))/4)?
True
Let g(b) = b**3 + 24*b**2 + b - 18. Is 16 a factor of g(-6)?
True
Suppose 2*w - 5*u = 24, -3*u + 4*u + 6 = w. Suppose 0 = -w*n - 5*m + 23, -6*m + 2*m = n - 16. Does 24 divide 0 - (2 + (-94 - n))?
True
Is 22 a factor of (-83 - 2)*(-10 + 5)?
False
Let i(f) = -14*f**2 - 1 + 11*f**2 - 5*f + f + 2*f. Let x be i(-1). Is 86 + x + -1 - 3 a multiple of 22?
False
Suppose 4*q + 5*r - 687 = 0, -q - 26*r + 183 = -21*r. Is q a multiple of 84?
True
Suppose -11*y = -24*y. Suppose -5*q = 3*w - 297, -q = 3 - y. Does 21 divide w?
False
Suppose 23*k + 31654 = 42*k. Is k a multiple of 17?
True
Suppose 2*h + 2*t = 5*h - 562, -3*t = -3*h + 561. Let q = h + -127. Suppose 0 = 5*m - 2*z - q, 2*m - 16 = 2*z + 3*z. Is m a multiple of 5?
False
Let p(h) be the second derivative of -h**5/20 + h**4/3 - h**3/6 + 2*h**2 + 4*h. Let j be p(3). Is 10/4*24/j a multiple of 6?
True
Let u be -28*(4/(-8)*4 - -1). Let w = 160 - u. Is 12 a factor of w?
True
Let q be (-516)/9*(-18)/12. Suppose -34 = -5*k + q. Does 14 divide k?
False
Let n(v) = -18*v**2 - 4*v + 5. Let f be n(2). Is 15 a factor of (-5)/(-2)*6/f*-155?
False
Let n = -17 + 19. Let k be 2/8*n*0. Suppose k = -6*c + c + 80. Is c a multiple of 7?
False
Suppose 2*a = 1 - 3. Let s(c) = -15*c + 3. Is 9 a factor of s(a)?
True
Suppose m = p - 5, -4*m - 34 = 2*p - 14. Let s(u) = -u**3 - 5*u**2 + 7*u - 1. Let b be s(m). Is 3 a factor of b/(-5) - (-1)/(-5)?
False
Does 23 divide (5/(-13 + 3))/((-4)/5248)?
False
Let b(s) = -67*s +