+ 3*n - 675 = 8*n. Suppose 28*a = 25*a + s. Does 23 divide a?
False
Let i be (760/133)/((-2)/(-7)). Let p = 15 + i. Does 7 divide p?
True
Is (614 - 25) + (2 - -2) a multiple of 15?
False
Let p be 1*(-4 + -1)/(-5). Does 23 divide p/(-4) + (-2583)/(-28)?
True
Suppose 25 = 4*y + 5*z, 5*z + 3 = -y + 28. Suppose -s - 6 = -y*s. Is 13 a factor of (-3)/(s/(-74))*-1?
False
Let w = 1291 - 683. Does 38 divide w?
True
Suppose -8404 + 36070 = 29*t. Is 106 a factor of t?
True
Let z = -437 - -596. Is 3 a factor of z?
True
Suppose 14*w = -3504 + 12114. Is 15 a factor of w?
True
Suppose 2*k - 6*k = 1360. Let l = -204 - k. Is 10 a factor of (-3)/(-2*12/l)?
False
Let h = -23 - -28. Suppose -115 = -5*u - 3*k, 4*u = h*k + 38 + 54. Is 14 a factor of u?
False
Let v = -57 - -122. Let o be 2/(-10) + 1963/v. Let u = -12 + o. Is 8 a factor of u?
False
Let l be (3 + -541)*1/(-2). Let y = l + 18. Is y a multiple of 36?
False
Suppose -1366 - 689 = -15*g. Does 32 divide g?
False
Does 38 divide 10471/6 - (20/(-24) + 1)?
False
Let l be (1 + 19)*(-1)/(-2). Let u be 350/21*(-96)/l. Is 12 a factor of (u/(-15))/(2/9)?
True
Let j = 319 - -5. Is j a multiple of 27?
True
Let a = 5 - 0. Let x(u) = -u**3 + 5*u**2 + 6. Let b be x(a). Suppose -8*q - b = -10*q. Is 2 a factor of q?
False
Suppose 0 = -3*g - 4*t - t + 193, 0 = 3*g - t - 181. Let w(q) = -7*q + g + 8*q + q. Does 14 divide w(0)?
False
Let l(m) = 2*m**3 + 14*m**2 - 2*m - 3. Let c be l(-7). Let j = c + 7. Does 18 divide j?
True
Suppose k = -v + 9, 19 = -4*v + 5*k + 10. Is 2 a factor of v?
True
Is (6/(-1))/((-174)/15138) a multiple of 58?
True
Let l(z) be the first derivative of -z**4/4 - z**3/3 + 21*z - 5. Let b be l(0). Let k = b - -9. Is 6 a factor of k?
True
Is 93 a factor of (-1*(-10 - -7))/(15/30085)?
False
Let l(g) = 2*g**3 + g**2 - 4*g + 8. Let m be l(5). Let h = -175 + m. Is 15 a factor of h?
False
Let y(n) = 51 + 19*n + 4*n - 7*n + 17. Is y(13) a multiple of 46?
True
Suppose 3*m - u - 1125 = 0, -3*m + 5*u = -882 - 255. Is m a multiple of 11?
True
Is 13 a factor of (-14991)/38*20/(-15)?
False
Suppose 4 = 2*j, -5*c + 1650 = -3*j + 8*j. Is c a multiple of 30?
False
Let f(z) = 2*z**2 + 11*z + 23. Let i be f(-11). Suppose -i = -q - 3*q. Is q a multiple of 9?
True
Suppose 2*y - 12 = -4. Suppose 3*s + 581 = 4*v, -4*v = -9*v + 3*s + 730. Suppose -147 = -y*m - 5*w, 3*m - 7*m = 3*w - v. Does 19 divide m?
True
Let q(z) = 13*z - 10. Let a be q(10). Let i = -86 + a. Does 34 divide i?
True
Suppose 385 = 3*m + 2*m. Suppose 5*v - 427 = -a, 3*v - 4*a - m = 2*v. Suppose 3*z + 4*h - 170 = 0, 0*z - 3*h = -2*z + v. Is z a multiple of 10?
True
Suppose 0 = 2*t + 13 - 3. Let y be t/((-35)/(-2))*-7. Suppose 0 = -x, 0 = -0*p + 3*p - y*x - 108. Is p a multiple of 18?
True
Suppose -15*b + 29340 = -5*b. Is b a multiple of 18?
True
Let f(d) = 18*d**2 + 12*d - 78. Is f(5) a multiple of 27?
True
Let x = -17 + 18. Let g(w) = 4*w - 2. Is 2 a factor of g(x)?
True
Suppose 2*k = -3*k + 25. Suppose 4*s - k*s = -27. Does 14 divide -1*(-3 + 2 - s)?
True
Let b(l) = 16*l - 50. Let y be b(11). Let d = -3 + 7. Suppose 3*r - 4*w - y = 0, 2*r + 88 = d*r - 4*w. Is 19 a factor of r?
True
Suppose 5*n + 219 = 3*y, 3*y = 4*n - n + 129. Let x = 50 + n. Is 4 a factor of x?
False
Let x be (-1 - -6) + 1 + 54/(-27). Suppose 10*a - 288 = x*a. Is a a multiple of 8?
True
Let z(d) = 134*d**2 - 20*d - 1. Is 9 a factor of z(2)?
True
Suppose 3*g = 9, -q - 4*g - 8 = -6*q. Suppose 0 = -2*c + 5*c - 75. Suppose 9 = -q*i + c. Is 2 a factor of i?
True
Let i = -63 - -113. Let t = -76 - -50. Let m = t + i. Is m a multiple of 12?
True
Suppose 2*o = 7*o + 4*m - 10, -4*m = -o + 2. Suppose -i - o*s - 1 = -7, -5*i - s + 12 = 0. Suppose 0 = -3*f + f - 4*a + 74, -2*a = i*f - 68. Is 8 a factor of f?
False
Let i(a) = -4*a + 9. Let t be i(-3). Let o = t - 13. Is 3 a factor of o?
False
Let u = 1 - -16. Let i = 11 - u. Is 4/i + 77/21 a multiple of 3?
True
Let c(f) = -f**3 + 9*f**2 + 2*f - 11. Let g be c(9). Suppose -g*j + 394 = -299. Is j a multiple of 21?
False
Let d(v) = 5*v**2 + 32*v - 16. Let h(j) = -2*j**2 - 16*j + 8. Let o(f) = 3*d(f) + 7*h(f). Let a(q) be the first derivative of o(q). Is 7 a factor of a(15)?
True
Let b be (-1)/(-4) + (-47)/(-4). Suppose -11*n = -9*n - 14. Suppose 0 = -3*f + n*f - b, -2*w = f - 75. Is w a multiple of 14?
False
Suppose 2*m - 40*w - 249 = -35*w, 0 = -2*m + 4*w + 252. Does 12 divide m?
True
Suppose -i - 4*j + 499 = 0, 5*i - 2427 = -52*j + 49*j. Does 17 divide i?
False
Suppose -9*g = -12*g + 708. Is 7 a factor of g?
False
Suppose 0 = -8*i + 7*i - 4*s + 76, 0 = 3*i - 2*s - 172. Is i a multiple of 26?
False
Let o(x) be the second derivative of 59*x**3/6 + 2*x**2 + 14*x. Is o(2) a multiple of 27?
False
Suppose 12 = -b + 3*z, -2*b - 3*z = 3*b - 30. Let w be (47/3)/(1/b). Suppose x - 65 = w. Is x a multiple of 28?
True
Let i be 6 - 1 - (-2 + -2). Suppose 92 = i*j - 7*j. Is j a multiple of 23?
True
Let p(z) = 2*z - 8. Suppose -9 = 5*r - 29. Let x be p(r). Suppose x = -2*b - 8, 0*b + 2*b + 32 = 4*j. Is j a multiple of 5?
False
Let p(h) = -h**3 + h**2 + 4*h + 2. Let v be p(-3). Suppose v + 12 = 3*n + 2*j, -5 = -5*j. Is 6 a factor of n?
True
Let j be 1/(-2) - (405/6)/(-15). Suppose -337 = -3*d - j*u, 2*d + 2*u - 341 = -d. Is d a multiple of 14?
False
Let q = 150 - 155. Let g(x) be the first derivative of -x**4/4 - 5*x**3/3 - 5*x**2/2 + 9*x + 1. Is g(q) a multiple of 10?
False
Let w(n) = -2*n**3 + 6*n**2 + n + 2. Is 16 a factor of w(-9)?
False
Let q(i) = i + 206. Does 4 divide q(-26)?
True
Suppose 84 = 4*y + 5*x + 30, -5*x = -5*y + 45. Suppose -4*o + y + 17 = 0. Suppose -2*a = -o*a + 85. Does 17 divide a?
True
Suppose 919 = -2*h + 3*h. Does 25 divide h?
False
Is 22 a factor of (-3)/(-4)*-12 - -78?
False
Let l(d) = d**2 - 4*d + 1. Let b be l(-3). Let t = -21 - -117. Suppose -v + 20 = -2*m, -5*v = -m - b - t. Is 24 a factor of v?
True
Suppose 0 = 2*q - 12 + 4. Suppose -3*o - 9 = 0, 0*o = -4*x + q*o + 164. Is 19 a factor of x?
True
Let h be (-3)/((-2)/((-40)/(-12))). Let o be ((-3)/h)/(12/60). Let j = o + 7. Is j a multiple of 4?
True
Let h be (53 + -4)/(-1) - -1. Let c = h + 67. Is 13 a factor of c?
False
Let j be (-6 - (-7 + 4))/(-3 - -2). Suppose 72 = -0*v + 2*v. Suppose -j*x = -6*x + v. Does 6 divide x?
True
Suppose -15 = -15*t + 12*t, 2*o - 3*t - 4451 = 0. Is o a multiple of 15?
False
Suppose 5*t - 40 = 5*m, 4*t - 26 = -0*m + 3*m. Let f = 8 + m. Suppose i = -4*d + 9 - 2, i - 9 = -f*d. Is i a multiple of 3?
False
Is ((-8)/2 - -6)*(-12745)/(-10) a multiple of 29?
False
Suppose 93 - 88 = 5*y. Is (-805)/(-7)*1/y a multiple of 9?
False
Let a(n) = -8*n + 4. Let d be a(0). Suppose 4*h + 5*y = 408, -h = -4*h + d*y + 306. Is h a multiple of 34?
True
Is 497 + 0 + 5 + 2 a multiple of 36?
True
Let o(d) = -d**2 + 7*d - 4. Let p be o(4). Is 1169/28 - 6/p a multiple of 8?
False
Suppose 182 = 6*d - 58. Does 3 divide d?
False
Let f(s) = -s**3 - 19*s**2 - 59*s + 10. Is 20 a factor of f(-16)?
False
Suppose 0 = 2*p - 6*p - m + 6116, 7638 = 5*p + 3*m. Is p a multiple of 18?
True
Let r(o) = 2*o + 33. Let y be r(19). Let d = y - 42. Is d a multiple of 17?
False
Let b = -15 - 0. Let c = -14 - b. Is 16 + (-2 - (c + -1)) a multiple of 4?
False
Let t(p) = -p**2 + 5*p + 3. Let y be t(5). Suppose y*j + s = 1 + 4, 2*j + 3*s + 6 = 0. Is 3 a factor of j?
True
Suppose 6*l - 4362 = -1686. Is l a multiple of 78?
False
Suppose 0*u - 4*u - 2*v - 560 = 0, 3*u = 2*v - 420. Let b = -86 - u. Suppose -6*r + 3*r - 5*f = -b, -4*r = -4*f - 72. Does 5 divide r?
False
Let d be (-2145)/(-52) + 2/(-8). Suppose 5*x - d = 154. Does 13 divide x?
True
Let h = 10 - 8. Let j be h/(202/(-66) + 3). Let o = 56 - j. Is 12 a factor of o?
False
Let a = -17 + 22. Suppose 0 = -a*k - 12 - 3. Let o = k - -9. Is 6 a factor of o?
True
Let y = 2733 + -759. Is 42 a factor of y?
True
Let w = -21 + 14. Let x(u) = -2*u**2 - 15*u - 5. Let n be x(w). Suppose -4*j - 490 = -5*h + j, 4*j + 192 = n*h. Does 20 divide h?
True
Suppose 2*m = 4 - 0. Suppose 5 = 3*y + m*y. Is (-57)/6*y*-2 a multiple of 18?
False
Let a be (-18)/(-2) - -4 - 4. Let k(g) = -g**3 + 9*g**2 - g + 10. Let u be k(a). Let x = u - -5. Is x a multiple of 3?
True
Let n = 264 - 241. Is n a multiple of 8?
False
Suppose -o = 26 - 188. Suppose 5*c = 3*c + o. Is 5 a factor of c?
False
