4*l + 183378 + 49422 = 24*l. Is 30 a factor of l?
True
Let n(h) be the third derivative of -25*h**4/24 + 7*h**3/3 - 2*h**2. Suppose -12 = -4*v - 5*t - 22, v + 3*t - 1 = 0. Is 29 a factor of n(v)?
False
Let h(i) = 15*i + 1. Let p be h(4). Let q be -1 + (-14)/((-140)/90). Suppose 3 = q*x - p. Is 2 a factor of x?
True
Let v(q) = 49*q**2 + 5*q - 277. Does 17 divide v(-13)?
True
Let j(g) = g + 1953*g**3 - 9*g**2 - 1950*g**3 + 4*g - 3. Let f be j(3). Suppose -55 = 11*p - f*p. Is 17 a factor of p?
False
Suppose 100*n - 121*n + 32340 = 0. Is n a multiple of 7?
True
Suppose 612 = 2*c + 4*x, -5*c + x - 65 + 1551 = 0. Suppose 0 = -2*o - 3*i - 197, -2*o + c = -5*o - 2*i. Let y = -30 - o. Is 16 a factor of y?
False
Suppose 5*k + k - 18 = 0. Suppose -184 = j + m, -k*j - 359 = -j - m. Let o = j + 336. Does 31 divide o?
True
Suppose -11153 = -2*d - 3323. Is 87 a factor of d?
True
Let l = -5773 - -23589. Does 68 divide l?
True
Let q = -1156 - -2046. Let d = q + -610. Is d a multiple of 70?
True
Let q = 477 + -72. Let j = q - 86. Is 14 a factor of j?
False
Let i(j) = j**2 + 24*j + 26. Let x be i(-23). Suppose 0 = -x*n + 145 + 86. Does 4 divide n?
False
Let d be (64/(-36) - -2) + (-488)/(-72). Suppose 22 - d = -5*b, -3*f + 1632 = -4*b. Does 30 divide f?
True
Let d = -24755 - -31775. Does 18 divide d?
True
Suppose 1737 - 413 = -4*c. Let t be ((-7515)/(-12) - 1) + ((-117)/36 - -3). Let b = c + t. Is 43 a factor of b?
False
Suppose 3*c = -c + b - 932, -2*c = -5*b + 448. Let d = 512 + c. Is d a multiple of 11?
False
Let d be 71/(-3) - (-20)/(-60). Let c(l) = l**2 + 23*l + 100. Does 4 divide c(d)?
True
Suppose 131601 = 15*i - 653199. Is 100 a factor of i?
False
Let j(d) = -61*d**3 + d**2 - 30*d - 96. Is 9 a factor of j(-5)?
True
Let z be (-3026)/16 - (-6)/48. Is (z/252)/((-2)/2816) a multiple of 55?
False
Let q = 3 + 9. Let x be (-781)/66 - 2/q. Let s = 2 - x. Is 7 a factor of s?
True
Let b(x) = -x**2 + 9*x + 6. Let d be b(10). Let g be ((-6)/d)/((15/672)/5). Suppose 2*p + 71 = j, 2*p - 13 + g = 5*j. Is j a multiple of 21?
True
Let c = -10455 - -21505. Does 25 divide c?
True
Suppose 232 = 2*p - 4. Suppose 3*a + p = -71. Is 23 a factor of 478/7 - (-18)/a?
False
Suppose 14*u - 20*u = 2268. Let z be u/(-30) - 1/(5/(-2)). Suppose -z*p + 2605 = 213. Is p a multiple of 23?
True
Let t = 236 + -349. Let u = t + 397. Is u a multiple of 12?
False
Suppose 0 = 3*m - 12. Let b be 345/(3 - 6)*m/(-10). Suppose 45*y - b*y = -66. Does 11 divide y?
True
Let f = -27432 - -49374. Is f a multiple of 207?
True
Let f(j) be the third derivative of -83*j**4/24 + 8*j**3 - 2*j**2 + 24. Does 37 divide f(-5)?
False
Let n(b) = 5*b**3 + 11*b**2 + 25*b + 100. Let z(w) = 10*w**3 + 21*w**2 + 50*w + 198. Let c(q) = 7*n(q) - 4*z(q). Is c(-5) a multiple of 26?
False
Suppose -148*u = -147*u - 5, -5*k + 60835 = -4*u. Does 153 divide k?
False
Suppose -6 = r + 10*j - 9*j, 4*r = 4*j - 24. Let u = r + 321. Is u a multiple of 22?
False
Let b(i) = 97*i + 19. Let q = 57 - 52. Does 36 divide b(q)?
True
Does 9 divide ((-80094)/(-60) - 5) + 1/10?
False
Suppose -2*x = x + v + 276, 0 = -2*v + 6. Let i = 2 - x. Does 5 divide i?
True
Suppose 0*d = 4*j - 4*d + 172, 3*d - 175 = 4*j. Let b be j/(-4)*(1 + -4 - -27). Suppose -b = -2*v - 90. Does 17 divide v?
False
Suppose 0 = -19*h - 9*h + 55664. Does 71 divide h?
True
Let y(h) = -h**2 + 24*h - 23. Suppose -7*t = -1 - 20. Suppose 0 = t*n + 10*n - 247. Is 12 a factor of y(n)?
True
Suppose 0 = 5*a - 2*w - 168, 3 = -4*a - 3*w + 119. Suppose -2*p + s = -59, -2*p - 2*s = -p - a. Is (-2)/20*-6*p a multiple of 9?
True
Let j(s) be the first derivative of -5 + 1/2*s**2 + 30*s + 2/3*s**3. Is j(-8) a multiple of 25?
True
Let t = 8229 - 4298. Is t a multiple of 24?
False
Suppose -3*h = 2*q - 714, 2*q - 2*h - 285 = 439. Is 14 a factor of (25152/q - 4/(-30))*5?
True
Let c(h) = -2*h + 12. Let u be c(4). Suppose 6*i + u*x = i, -5*i + 30 = -2*x. Suppose -i*z + 288 = 3*l, l - 144 = -2*z + 6*l. Is z a multiple of 12?
True
Suppose -27040 - 16016 = -4*k. Suppose -37*l = -55*l + k. Is l a multiple of 29?
False
Let x(g) be the first derivative of g**2 - 12*g + 9. Let s be x(8). Suppose -s*u - 160 = -4*l, -u - 4*u - 20 = 0. Is l a multiple of 4?
True
Let z be 4/8 - 199/(-2). Suppose -14*d + 2901 = 899. Let x = d - z. Is x a multiple of 12?
False
Suppose 26*b + 64259 - 20128 - 305327 = 0. Is 5 a factor of b?
False
Is 14 a factor of -5*5*(-1265736)/690?
False
Let u = 13243 + -195. Is u a multiple of 6?
False
Let s(d) = 62*d**2 - 6*d - 88. Is 24 a factor of s(-5)?
False
Let g(d) = d**3 + 19*d**2 - 3*d - 12. Let o be g(-8). Let f be (-2)/(-5) - o/(-10). Suppose -6*a + 3*a + f = 0. Is a a multiple of 24?
True
Let v be 1*(-1)/(-2)*0. Let z(s) = s**2 - 2*s + 3. Let h be z(v). Let q(m) = 4*m**2 + m + 8. Does 5 divide q(h)?
False
Let f = -4579 - -3184. Let p = -840 - f. Is p a multiple of 16?
False
Let g = 11750 + -8012. Is g a multiple of 98?
False
Let l = 15 + -9. Let j be (0 + 1)*l/2. Suppose 0 = -j*o + 47 + 79. Is o a multiple of 14?
True
Is (10/(-5))/(10/(-13320)) a multiple of 37?
True
Let v = -29 + 29. Suppose 4*i = -2*b + 886, v = b - 2*i - 15 - 432. Is b a multiple of 12?
False
Let f(g) = -42*g. Let v = 40 - 36. Suppose -v*r = 12, -3*y - 5*r = 17 + 1. Is f(y) a multiple of 14?
True
Does 80 divide (-426396)/(-82) + (-452)/(-9266)?
True
Let d(r) be the first derivative of 19*r**5/30 + r**4/12 - r**3/3 - 15*r**2/2 + 4. Let i(h) be the second derivative of d(h). Is 16 a factor of i(1)?
False
Let o = -6552 - -8836. Is o a multiple of 3?
False
Suppose 3 = -b + 6. Suppose -6 = -b*w - 2*q + q, -2*q - 6 = -3*w. Is 13 a factor of (4/(-6))/(w/(-42))?
False
Suppose 2*z - 40416 = -3*y - 0*z, -z = 3*y - 40422. Does 83 divide y?
False
Let b(t) = -t**2 - 206*t - 3536. Is 23 a factor of b(-67)?
False
Let u = 263 - 261. Suppose 15 = 4*v - 3*g - 78, -v - u*g = -37. Is 5 a factor of v?
False
Let r = 23682 - 15506. Is r a multiple of 73?
True
Let f(q) = 500*q**2 + 593*q + 2388. Is 14 a factor of f(-4)?
False
Suppose -12*a - 12*a + 304152 = 5*a. Does 19 divide a?
True
Let h be -3*((-136)/(-28) - 90/105). Let n(v) = -11*v. Let l be n(-2). Does 6 divide (-1 + l)*h/(-7)?
True
Let x(t) = t**3 - 40*t**2 - 56*t + 572. Is x(42) a multiple of 92?
True
Let z(d) = 56*d + 9. Let g be -3*(-5)/(5/2). Let b be z(g). Suppose 0 = -3*q + 8*q - b. Is q a multiple of 23?
True
Suppose 3*s = 5*s - 60. Suppose -177 = -5*o - z, 0 = 3*o - 2*z - 71 - s. Suppose q + o = 2*d, -d - q - 6 + 19 = 0. Is 10 a factor of d?
False
Suppose 0 = -4*z + 6*z - 16. Let v(f) = z*f**2 - 11*f + 1 + 6*f + 3 - 2*f**2. Does 3 divide v(2)?
True
Is 38198 + (-4473)/142*4/(-18) a multiple of 283?
True
Suppose -3*s + 11767 = -16*x + 11*x, 2*s - 7849 = -x. Does 18 divide s?
True
Is 91 a factor of 98553/(-798)*(-13 + (1 - 2))?
True
Suppose 28*m - 24*m = 3*n - 222764, n = -2*m + 74258. Is n a multiple of 273?
True
Let f(c) = 101*c**2 - 7*c - 67. Is f(4) a multiple of 5?
False
Let l be (-2)/5*(-30)/(-3). Let p(m) = m**3 + 10*m**2 + 16*m + 10. Let f be p(-8). Is (43 + -1)*(f/2 + l) a multiple of 6?
True
Let d(q) = 69*q**3 - 7*q**2 + 6*q + 6. Let y(w) = 3*w**2 - 2 + 3 - 3*w - 39*w**3 + 4*w**3 - 4. Let z(v) = 3*d(v) + 7*y(v). Is z(-1) a multiple of 9?
False
Is 11 a factor of (-12)/(-12) - (46 - 0)*53/(-2)?
False
Let z = -28 - -33. Suppose 4*h - 201 = -z*c + 127, 0 = 2*h + 6. Suppose -200 = -2*y - c. Is y a multiple of 33?
True
Let g = 70 - 69. Let n be 1*((-175)/21)/((-2)/6). Is 21 a factor of (n + -7)/(g + 6/(-7))?
True
Let j be (-4 + 1)/((-6)/428). Let f be j/14 + 10/(-35). Is 18 a factor of (-656)/(-12) - (-5)/f?
False
Suppose -3*l + 50538 = 3*i, -3*i + 11*l + 50578 = 6*l. Is 137 a factor of i?
True
Suppose -l - 2030 = -14270. Is 72 a factor of l?
True
Suppose -201 + 525 = -6*t. Suppose -v = 68 + 25. Let n = t - v. Does 13 divide n?
True
Let o = -3125 + 6866. Is o a multiple of 129?
True
Suppose 5*c - 3*n = 45, 3*c = n - 0*n + 23. Let r = -226 - -254. Let q = r - c. Is 14 a factor of q?
False
Let f(o) = 84*o - 39. Suppose -32*j + 20 = -27*j. Is f(j) a multiple of 10?
False
Let h = 2851 + -1576. Suppose 4*w = 3*p - 4998, 2*p - h - 2043 = -2*w. Is 56 a factor of p?
False
Let r = -259 + 276. Suppose -r*h + 2947 = -13322. Is h a multiple of 62?
False
Let r = 7484 - 1445. I