. Is 3 a factor of h?
False
Suppose 0 = 84*g - 68*g - 1680. Is (660/g)/((-8)/(-28)) a multiple of 22?
True
Let d(n) = 53*n - 132. Let o be (92/69)/(2/12). Does 21 divide d(o)?
False
Suppose 5*h + 3598 = q, 5*h + 7217 - 41 = 2*q. Is q a multiple of 9?
False
Let k = 5 - 7. Let b = k + -7. Is 8 a factor of (b/(-6))/((-6)/(-256))?
True
Let v = -32 + 32. Suppose v = -4*c - 5 - 3. Does 31 divide (124/c)/(6/(-12))?
True
Let i(o) be the second derivative of o**3 + 53*o**2/2 + 12*o. Is i(17) a multiple of 31?
True
Suppose 2 = 2*g - 428. Let c be 0 - (1 - (-2 + 407)). Let b = c - g. Does 26 divide b?
False
Let w(h) = 2*h**2 - 14*h + 19. Let q(j) = 2*j**2 - 13*j + 18. Let t(z) = 4*q(z) - 3*w(z). Let f be t(9). Suppose -82*n + f*n = 115. Does 3 divide n?
False
Suppose -3*j - j + 32 = 0. Let g be 3642/j - 6/(-8). Suppose -3*r - 3*a = -597, 3*r - g = 4*a + 120. Is 33 a factor of r?
False
Suppose -2*b - 3*o + 25902 + 23869 = 0, -49761 = -2*b - 5*o. Is 73 a factor of b?
True
Suppose -3*r = 11 - 2. Let s = r - 3. Let t = s + 23. Is t a multiple of 17?
True
Let h(d) = 7*d**2 - 459*d - 157. Is 36 a factor of h(74)?
False
Suppose 9*n - 273 + 2829 = 0. Let h = n + 430. Does 13 divide h?
False
Let i(a) = 42*a**3 + a**2 - 8*a + 4. Let x be i(3). Suppose j = h + 285, 0 = 3*j + h + 276 - x. Is 12 a factor of j?
False
Suppose 28*n - 29*n = -2. Suppose 5*q - 3*k = 341, 0 = -0*k - n*k - 4. Does 3 divide q?
False
Let m(r) = -1590*r - 15746. Does 16 divide m(-11)?
True
Suppose 20*b - 24*b = -184. Suppose -3*j + 145 = b. Suppose 0 = -2*s - u + 168, j = -s + u + 117. Does 21 divide s?
True
Suppose 0 = -5*h - 2*p + 5*p + 13, -5*p = -2*h - 10. Suppose 0*u + h = -u, 5*u + 600 = 5*i. Suppose -i = -10*g + 275. Is g a multiple of 13?
True
Let z(f) = f**3 + 8*f**2 - 3*f + 4. Suppose 8 = 4*l - 4. Suppose 3*n = l*k + 18, 3*k - 5*n = 6*k + 2. Does 20 divide z(k)?
True
Let t(k) = 17*k**2 - 41*k + 462. Is 47 a factor of t(11)?
True
Let n be 36/20*(-325)/(-39). Is (65/n)/((6 - 3)/936) a multiple of 13?
True
Let h = -213 + 396. Let j = 282 - h. Let t = j - 26. Does 9 divide t?
False
Let a(u) be the first derivative of 16*u - 13/2*u**2 + 3. Is 24 a factor of a(-8)?
True
Let y(z) = 60*z**2 - 3*z + 4. Let b be y(1). Let k(x) = x**3 - 11*x**2 + 10*x + 3. Let l be k(10). Suppose -34 = -l*d + f + b, 53 = d + 5*f. Is 6 a factor of d?
False
Does 17 divide 8 + 4/(-9) + (-48076)/(-36)?
True
Suppose -4*p + 2955 = 3*b, 106*b - 729 = -p + 102*b. Is p a multiple of 19?
True
Suppose -2*m - m = 4*p + 12, -5*m + 9 = -3*p. Suppose -23*g + 2*g + 2079 = m. Is g a multiple of 9?
True
Suppose 21*r - 56247 = 37527 + 1335. Does 40 divide r?
False
Let p = -50 + 57. Suppose p = -6*d + 385. Let j = -41 + d. Does 11 divide j?
True
Let p = -776 - -776. Suppose 5*f - 22*f + 5185 = p. Is 2 a factor of f?
False
Let q(w) = 38*w**3 - 6*w**2 - 141*w + 777. Is q(6) a multiple of 57?
True
Does 15 divide 540236/20 - ((-180)/25 - -7)?
False
Suppose 3102 + 4274 = 8*d. Let t = 182 + d. Does 8 divide t?
True
Let i(k) = -517*k + 271. Let v be i(-7). Suppose 5*l + 5*s = v, 2337 = 3*l - 5*s + 7*s. Does 67 divide l?
False
Let o = 87128 - 59804. Is o a multiple of 198?
True
Suppose 2*r + f - 13439 = 0, -7*r = -5*r + 2*f - 13438. Does 64 divide r?
True
Let o be ((-40)/(-25))/((-14)/140). Let l be 1 + (0 - (0 + -561)). Is 7 a factor of l/8 - (-4)/o?
True
Let h(a) be the second derivative of 3*a**3/2 + 133*a**2/2 + 51*a + 2. Is h(-10) even?
False
Suppose -d + 3*v = -1334, -2529 = -3*d - 4*v + 1538. Suppose -82*c - 4*k + 5444 = -78*c, c = -5*k + d. Does 22 divide c?
True
Let b(y) = y**2 - 17*y - 25. Let m be b(14). Let p = m + 70. Is 6 a factor of (-182)/(2/(-1)) + (5 - p)?
False
Suppose 57 = 29*g - 26*g. Suppose -15*o - 544 = -g*o. Suppose -3*v - 2*v + 4*d = -o, -4*d = 16. Is v a multiple of 8?
True
Let s = 10404 - 7034. Does 5 divide s?
True
Suppose 4191 = 27*b - 16*b. Suppose -2 = -2*a - 4, -2*j + b = 3*a. Does 48 divide j?
True
Let a = -92 + 95. Suppose a*i = r + 158, -207 = -3*i - 5*r - 61. Does 13 divide i?
True
Is ((-2)/4)/((-13)/(21172 + -8)) a multiple of 37?
True
Let z be -2 + 6 + 2/2. Suppose k + 0*i = -z*i + 231, 0 = k - 2*i - 231. Suppose 4*q = 0, k = 5*f + 3*q - 74. Is 7 a factor of f?
False
Suppose -4*c + 43865 - 2465 = 3*t, -2*c + 20690 = 4*t. Is c a multiple of 87?
True
Let d(i) = 61*i - 666. Is d(49) a multiple of 9?
False
Let p be 21/(8/(-66)*(-12)/16). Let h = p - 51. Does 45 divide h?
True
Let d(u) = u**2 + 5*u + 6. Let r(z) = -z**3 - 24*z**2 - 23*z. Let h be r(-23). Suppose 10*a + 110 = -h*a. Does 6 divide d(a)?
True
Does 10 divide 8/104*25937 - 4*(-2)/(-52)?
False
Suppose 0*v = 3*g - 5*v + 95, 2*g + 54 = v. Let h = 30 + g. Suppose 0 = -5*i - 2*x + 125, h*i + 4*x = 120 + 5. Is 3 a factor of i?
False
Let k = 4698 + 328. Is k a multiple of 37?
False
Let r = -129 - -187. Is 15 a factor of r/(-261) + 272/9?
True
Suppose 0 = -4*m + 2*t - 0*t + 176, 100 = 2*m - 4*t. Is 6 a factor of 1450/6 + (-2)/(m/35)?
True
Suppose 28*i - 29*i = -8. Suppose -2*q = i*q - 2250. Does 33 divide q?
False
Suppose 9*r = 3330 - 54. Suppose 0*q - q + r = b, 5*b = 5*q + 1830. Is b a multiple of 11?
False
Is 7 a factor of (50 - -4) + 38/19?
True
Suppose -3*b - 2*g = 4 + 17, b - 3*g + 7 = 0. Does 54 divide (-280)/15*288/b?
False
Let p(r) = 4*r + 51. Let i be p(-13). Let z be (i + 3)*78/12. Is 2 a factor of 6 + (-222)/(-78) + 2/z?
False
Suppose -j = 2 - 6. Suppose -j*z - 8 = -24. Suppose z*l - 335 = -l. Does 6 divide l?
False
Let p(u) = -25*u - 29. Let k be p(-7). Suppose 0 = 3*f - 371 + k. Suppose -5*d - 5*m = -f - 20, -3*m - 23 = -d. Is d a multiple of 20?
True
Let k(r) = 12*r**2 - 105*r + 1246. Is 50 a factor of k(13)?
False
Let w = 8381 - -1370. Does 13 divide w?
False
Suppose 9*u - 5*u - 4 = 0. Does 30 divide (((-220)/15)/11)/(u/(-180))?
True
Suppose -2*c - 64*k = -66*k - 4714, -9458 = -4*c - 2*k. Is c a multiple of 12?
False
Let u = -3191 - -27986. Is u a multiple of 145?
True
Let c = 92 + 132. Let y = -322 + c. Is 8 a factor of 3 - 6/(12/y)?
False
Let k(c) = 4*c**3 + c**2 - 22*c + 8. Suppose -25*p + 54 + 46 = 0. Is 16 a factor of k(p)?
True
Let u(j) = j**3 - 9*j**2 + 10*j - 8. Let g be u(8). Let i(s) = 3*s**3 - 23*s**2 - 10*s + 12. Let n be i(g). Is 12 a factor of ((-1)/n + 2)*(-440)/(-33)?
False
Suppose -5999*q + 5990*q + 99764 - 23444 = 0. Does 16 divide q?
True
Does 57 divide 14813 + -1*(0 - 9/(-21))*7?
False
Let q(v) = -v**2 + 71*v + 610. Is q(75) a multiple of 13?
False
Let i(d) = 23*d**2 + 18*d + 141. Is 42 a factor of i(-27)?
True
Suppose 4*y + 0*y = -12. Let m be 8/108*y + 646/(-9). Let p = -39 - m. Does 30 divide p?
False
Suppose 3*y + 5*r - 256 = 0, 2*y = -y + 2*r + 284. Let j = 201 - 33. Let q = j - y. Is 16 a factor of q?
False
Let f(b) be the first derivative of -29*b**2/2 + 34*b + 9. Let o be f(-12). Suppose 0 = 2*n + z - o, z = -0*n - n + 190. Is 12 a factor of n?
True
Let l = 25525 + -23703. Is l a multiple of 33?
False
Let b be (-3)/9*-3 - -3. Let c be (-5 - 1)/(6/(-15)). Suppose c = -b*u - u, -649 = -4*i - u. Is i a multiple of 37?
False
Let a(o) be the second derivative of 65*o**3/6 - 2*o**2 + 2*o. Let i = 961 - 959. Does 13 divide a(i)?
False
Let n(y) = -7*y + 33. Let w(g) = -3*g + 17. Let d(h) = -6*n(h) + 11*w(h). Let o be d(13). Suppose 38 = 3*z - o. Is z a multiple of 20?
False
Let o(s) = -221*s - 205. Let b be o(-5). Suppose 0 = -4*h + 5*h - b. Does 20 divide h?
True
Suppose -3*a = -i - 0*i - 1933, 1290 = 2*a - i. Let z = a + -110. Does 61 divide z?
False
Let i = 21755 + -1039. Is i a multiple of 150?
False
Let l(n) = 3*n**2 - n + 1. Let w be l(1). Suppose c + w = 2, 0 = -4*s + 3*c - 9. Let z = s - -10. Is z a multiple of 7?
True
Is -9 + 132500/34 + (-46)/782 a multiple of 27?
True
Suppose -21 = -5*j - 3*i + 4*i, 0 = -j - 2*i + 2. Suppose 5*s = -4*r + 2*s + 929, -2*r - j*s + 472 = 0. Does 23 divide r?
True
Let l be (-36)/30*(-10)/4. Let t be (-4)/1 - ((-1010)/(-2))/(-5). Suppose -l*j + 155 + t = 0. Does 15 divide j?
False
Let c be (13210/(-15))/(8/(-12)). Suppose 0 = -6*p + c + 269. Is 55 a factor of p?
False
Let v = -31 - -34. Suppose -2*l = -2*d - 156, -l + d - v*d + 93 = 0. Suppose -14*i - l = -15*i. Is i a multiple of 10?
False
Suppose 2*n - n + 3264 = 3*n. Does 34 divide n?
True
Let w(m) = -3*m**3 - 4*m**2 + 4