 - 3*v. Let t = 91 + g. Does 15 divide t?
True
Let m(a) = 47*a**3 - a - 1. Let c be m(-1). Let o(v) = 25*v - 24. Let i be o(7). Let b = i + c. Is 31 a factor of b?
False
Suppose 0*q - 3*q + 18 = 0. Let l be 9/q*2/1. Suppose -2*x + 5*f = -72, 0*f + 5*f - 158 = -l*x. Is 23 a factor of x?
True
Suppose 4*x = -k + 1649, -3*k = -x + 2*k + 407. Does 4 divide x?
True
Let s(k) = -3*k - 4 + 4 + 1 + 7 - k**2. Is s(-4) a multiple of 2?
True
Let g be (18/(-4) + 4 + 0)*6. Is 13 a factor of 4 - (1 + 0 + g + -332)?
True
Suppose 43 = x - 916. Is x a multiple of 64?
False
Let h = 45 + -75. Does 19 divide 309/5 + -3*2/h?
False
Let a be (-53)/(-11) + 14/77. Suppose 40 = a*f - 45. Let d = -13 + f. Is 2 a factor of d?
True
Let x(k) = k**3 - 9*k**2 + 41*k + k**3 - k**3 - 2 - 29*k. Does 6 divide x(8)?
True
Let v(c) = -2*c**2 + 3*c + 13. Let y be v(3). Suppose 73 = -w + q + 288, 3*w + y*q = 617. Does 17 divide w?
False
Suppose -2*f = 2*k - 0*f - 10, 0 = 3*k - f + 5. Suppose 4*i - 166 - 170 = k. Does 28 divide i?
True
Let r = -183 - -83. Let h = r - -235. Does 27 divide h?
True
Let t(x) = -x**3 - 7*x**2 - 7*x - 3. Let m be t(-6). Suppose -52 + 13 = m*h. Let f(p) = p**2 + 10*p - 11. Does 14 divide f(h)?
True
Suppose -7*t + 61 = 915. Let h = 154 + t. Is h a multiple of 8?
True
Let w(r) be the first derivative of r**7/840 - r**6/360 + r**5/120 + r**4/6 + 11*r**3/3 - 4. Let n(m) be the third derivative of w(m). Does 5 divide n(3)?
True
Let l = 1130 - 752. Is 14 a factor of l?
True
Let u = -40 - -93. Let g = 6 + u. Does 11 divide g?
False
Let v(p) = -p**3 - 20*p**2 - 42*p - 1. Let x be v(-18). Let w = x + -63. Is 4 a factor of w?
True
Let k = 36 + 124. Is k a multiple of 8?
True
Let u(l) = -2*l - 22. Let h be u(-12). Let r be 4 - ((1 - h) + 1). Suppose 19 + 105 = r*g. Does 10 divide g?
False
Let p be 2 + 0 + (-4)/2. Suppose -2*b + p*b = -114. Let t = b - 33. Does 9 divide t?
False
Let n be 1*((-2)/(-3) + 672/18). Let r = -2 + n. Does 12 divide r?
True
Let x(v) = -v + 11 + 13 + 8 - 5. Is 3 a factor of x(12)?
True
Suppose m = 4*n - 3*m + 8, 5*n - m + 30 = 0. Let z = n - -10. Suppose 3*v = s - 11, z*v = 5*s - 0*v - 55. Is s a multiple of 6?
False
Let w = -442 - -748. Does 18 divide w?
True
Suppose 5*h - 5*y - 5 - 10 = 0, 0 = -h - 5*y - 15. Let o be (3 - 7/2)*0. Suppose 2*c - 57 = -o*c - a, -5*c - 3*a + 143 = h. Does 14 divide c?
True
Let o be (-4)/(2 - (-8)/(-3)). Suppose -o*x + 2*x + 8 = 0. Is x/(-9) + 1180/45 a multiple of 13?
True
Let y = -2550 - -3795. Does 53 divide y?
False
Suppose 3*a + 4*o = 4*a + 71, -3*a - 3*o = 168. Let z = a - -149. Does 46 divide z?
False
Suppose -21*d + 580 = -19*d. Suppose 5*p = o + d, 98 + 135 = 4*p - o. Is p a multiple of 19?
True
Let v = 29 + 84. Suppose -4*l = -481 + v. Does 23 divide l?
True
Suppose -1104 = u - 25*u. Is 4 a factor of u?
False
Let z(o) = 28*o**2 + 10*o - 17. Is 48 a factor of z(6)?
False
Let a(j) = 3*j - 12. Let n be a(4). Suppose 5*i - 3*k - 316 = n, i + 0*i + 5*k = 80. Does 12 divide i?
False
Suppose 0 = -12*n + 11 + 37. Suppose 0 = -4*l + 5*g + 694, l + n*g - 108 - 76 = 0. Is l a multiple of 16?
True
Let w(m) = 5*m - 55. Is w(29) a multiple of 5?
True
Suppose 3*h = 4*p + 4 + 11, -2*h + 10 = 0. Does 13 divide 159/3 + (1 - 0) + p?
False
Let n be (-10)/4*(-24)/15. Let g be n*6 + -9 + 8. Suppose 7 - g = -u. Does 5 divide u?
False
Let j(n) = 19*n**2 + 2*n - 1. Let z be ((-1)/1)/((-5)/10). Suppose -3*h + 5 = 2*g - 6, g = 2*h + z. Does 6 divide j(h)?
False
Let j = 1599 - 1108. Is 6 a factor of j?
False
Let w(k) = 308*k - 291. Is w(6) a multiple of 29?
False
Let h(y) = y**3 - 4*y**2 + 4*y - 1. Let d be h(3). Let i be (-9)/d*(-2)/(-3). Does 16 divide i/3 - -56 - 1?
False
Suppose -264 - 1800 = -6*o. Suppose 7*b - o - 34 = 0. Is 27 a factor of b?
True
Let g(y) = -y**3 - 5*y**2 + 2. Let h be g(-5). Let d be (-42)/(-15) - 4/(-20). Suppose 60 = h*m + d*m. Is m a multiple of 12?
True
Suppose -5*q + 0*q + 95 = 0. Let k be (-90)/(-14) - ((-12)/(-28))/1. Suppose 0 = -v - k + q. Does 7 divide v?
False
Let k(d) = d - 8 - d + 6*d - 14. Let x be k(9). Suppose -4*b + 300 = -5*p, 0 = -b + 4*p + x + 43. Is 22 a factor of b?
False
Suppose -3*l = -3*u - 189, -4*u - l = l + 258. Is 12 a factor of (1/(-2))/(2/u)?
False
Let b(h) be the second derivative of -73*h**3/3 + 2*h**2 + 12*h. Is b(-1) a multiple of 10?
True
Suppose -1 = 3*w + 2, -3*x + 3*w = 0. Does 11 divide (-26 + 2)*(-1 + x)?
False
Is 26 a factor of (-2796)/16*240/(-45)?
False
Let b(q) = -661*q**3 - 9*q - 10. Does 44 divide b(-1)?
True
Let q(p) = -9*p**3 + 2*p**2 + 4*p + 3. Let x be q(-1). Suppose -3*y - 427 = -x*y. Does 9 divide y?
False
Suppose 3*f = q - 1368, 0 = -5*f + 4*q - 3*q - 2278. Let l = -207 - f. Is 31 a factor of l?
True
Let m = -62 + 71. Suppose 0 = -14*n + m*n + 200. Does 20 divide n?
True
Let m = -227 + 383. Is m a multiple of 12?
True
Let y = 19 + -14. Let s = 6 + -2. Suppose -2*l + 11 = -x - 2, 0 = s*l - y*x - 41. Is l even?
True
Suppose 0 = 2*k + 23 - 67. Let n = 32 - 42. Let u = n + k. Is 4 a factor of u?
True
Let a be (-693)/(-14) - 2/(-4). Let s = -26 + a. Does 6 divide (s/(-30))/(4/(-110))?
False
Does 35 divide 156*(0 + 1 + 1798/232)?
True
Let g(p) = 3*p**3 - 4*p**2 - 5*p + 8. Let z be g(4). Suppose -9*y = -7*y + z. Let c = 97 + y. Is 13 a factor of c?
True
Let p = 56 - 53. Suppose -p*a - 52 + 91 = 0. Is a a multiple of 6?
False
Let b(c) = c**3 + 4*c**2 - 4*c**2 + 0*c**3 + 6*c**2 + 2. Let d be b(-3). Suppose 3*r = -2*z + 83, -z = 2*r - 3*r - d. Is 11 a factor of z?
False
Suppose 5*v - 17 = 3. Let w(p) = p - 2. Let q be w(v). Suppose -q*f - 108 = -5*j - f, 0 = 2*j + 5*f - 54. Is 11 a factor of j?
True
Let k = 15 - 14. Suppose -d + 5*i + 107 = 0, -13 + k = -3*i. Is 33 a factor of d?
False
Suppose 2*v = -2*y + 228, 104 = y + 8*v - 12*v. Does 2 divide y?
True
Suppose -122 = 8*m - 10*m. Does 5 divide m?
False
Is 26 a factor of ((-3)/((-27)/(-3120)))/((-44)/264)?
True
Let b(n) = n**2 - 5*n - 2. Let x be b(7). Suppose x*v = 5*v + 154. Is 22 a factor of v?
True
Let v = -40 + 44. Suppose -v*i + 74 = 6. Is i a multiple of 2?
False
Suppose 1 = 2*m - 3, -2*m - 10090 = -2*d. Does 103 divide d?
True
Suppose 3*b - 17 = -2. Suppose 0 = -4*r + 8, -b*r = k + k - 20. Suppose 5*g = 2*n + 4 - 5, -40 = -k*n + 5*g. Is n a multiple of 4?
False
Let l be (-20)/(-6) + (-5)/15. Let p = -1 + l. Suppose -p*w + 41 = 5*y, 4*w - 6*y - 37 = -y. Is 7 a factor of w?
False
Suppose 36*l = -20*l + 8400. Is 2 a factor of l?
True
Suppose -2*j + 339 = r, -2*r = 2*j + 3*j - 678. Is 3 a factor of r?
True
Let h = 12 - 10. Let g be 6/h - (92 - 3). Let p = -27 - g. Does 15 divide p?
False
Let i(h) = -28*h - 47. Is i(-6) a multiple of 16?
False
Let u(n) = -n**3 + 14*n**2 - 13*n + 7. Let b be u(13). Let d be ((-156)/30)/(2/(-20)). Is (d/28 - -1)*b a multiple of 10?
True
Let g(c) = -c**3 - 5*c**2 + 2*c + 8. Let t be g(-6). Let b = 184 - t. Is 14 a factor of b?
False
Let i(c) = 5*c + 44. Let m(t) = t**3 + 5*t**2 + 5*t + 4. Let u be m(-4). Is 4 a factor of i(u)?
True
Suppose 5*i + 200 = 7*i. Let m = -42 + i. Does 29 divide m?
True
Suppose -30 = -23*j + 8*j. Let t = 204 + -128. Suppose z = 2*f + 53, -z = -3*z - j*f + t. Does 7 divide z?
False
Let b(y) = y**2 + y - 19. Let a(o) = 2*o**2 + 2*o - 18. Let d(n) = 5*a(n) - 4*b(n). Is 5 a factor of d(4)?
False
Suppose -4446 = -5*d + 1454. Is 39 a factor of -2 + (d/(-15))/(1/(-3))?
True
Let v(h) = -2*h**2 - 5*h + 5. Let x be v(-5). Let b be (x/15)/(1/3). Does 18 divide (-71)/b + 1/4?
True
Let g(w) = 5*w + 2 - 6*w + 1 + 12. Let c be g(12). Suppose -m - 23 = -2*m - c*s, m = -4*s + 27. Is m a multiple of 11?
True
Let k = 26 - -36. Let t(a) = a**3 + 11*a**2 + 11*a - 8. Let i be t(-9). Is 6 a factor of k/10 + (-11)/i?
True
Let w(m) = -53*m - 90. Is 17 a factor of w(-11)?
True
Let r be (0 + 3)*4/3. Let q(w) = w**3 - 6*w + 8. Let s be q(r). Suppose -5*v = 2*y - 39, -5*v + 87 + s = 5*y. Does 16 divide y?
True
Let s = -481 - -709. Suppose -s = -4*m - 4*k, -5*k = -k - 12. Is 32 a factor of m?
False
Suppose 1 = 2*n + h, -4*n = 4*h - 8*h - 20. Suppose -n*r = -20 - 48. Is r a multiple of 5?
False
Suppose -8329 = 25*x - 43304. Does 30 divide x?
False
Let h(n) = n + 2. Let t be h(1). Suppose 2*m + t*m = -2*y + 970, -5*y = -m + 221. Does 28 divide m?
True
Let b(q) = -239*q + 39. Does 12 d