f 11?
True
Let t = 63 - 60. Suppose 0 = -4*k + 12, t*i - 4*i = -5*k - 34. Suppose 0 = -5*q + i + 506. Is q a multiple of 13?
False
Suppose 4*j + 3*s = 7*s, -s = -2*j. Let w be ((j/(-3))/1)/1. Suppose 7*t - t - 192 = w. Does 6 divide t?
False
Let m = -428 - -780. Suppose -18*s = -16*s - m. Is 16 a factor of s?
True
Let a be 8/(-12) + (-217018)/(-6). Suppose a = 50*s - 14431. Is 11 a factor of s?
True
Let h(z) = 1539*z - 31. Is 6 a factor of h(1)?
False
Suppose -5*n - 69560 = -4*f - 11123, -3*n - 15 = 0. Is f a multiple of 15?
False
Suppose 0 = -5*l - 5*d + 6*d + 30, -10 = 2*d. Let q be 5*(0 + -4 + l). Suppose q*y - 38 = -2*u - 0*u, -4*y = 4*u - 64. Is 7 a factor of u?
True
Is (1708 + 2 + -1 - 1)*6 a multiple of 4?
True
Let w(b) = -5176*b**3 + 5*b**2 + 23*b + 20. Does 70 divide w(-1)?
False
Suppose 8*o = -15 - 1. Let t(u) = -22*u**3 + 4*u**2 - u - 1. Let s be t(o). Suppose 14*g - 795 = -s. Does 10 divide g?
False
Suppose 5*b + 4*l = 38 + 9, -5*b + 2*l + 29 = 0. Suppose -g = b*g - 40. Suppose 2*p - g*s = 75, 5*s - 105 + 5 = -3*p. Is p a multiple of 7?
True
Let v = -283 - -324. Suppose -37*r + v*r - 3872 = 0. Is 55 a factor of r?
False
Let p = 2281 + -1301. Let j = p - 418. Does 13 divide j?
False
Let l(c) = -3*c**3 + 38*c**2 - 23*c - 9. Let r be l(12). Suppose 0 = -9*d + 6*d + 1332. Suppose r*y = 6*y - d. Is 8 a factor of y?
False
Let c = 14328 + -9558. Is c a multiple of 9?
True
Let h be 0 + -4 + 9/((-45)/(-2740)). Suppose 0 = 15*v - h - 1616. Is v a multiple of 11?
False
Let j be (-276)/(-66) - (-2)/(-11). Suppose -w + 3*w = 68. Suppose 2*l = j*h - 36, -3*h + w = -h + 3*l. Is h a multiple of 2?
False
Suppose u - 34*d + 32*d - 1707 = 0, -5*d + 3378 = 2*u. Let w = u - 1103. Does 24 divide w?
False
Let h(j) = -23*j + 7. Let w be h(-2). Suppose -52 = -5*f + 2*d, -5*f = -0*f - 3*d - w. Is 8 a factor of f?
False
Suppose 0 = 3*k - 0*k + 6. Let p be k/3 - (-56)/(-6). Is 20 a factor of 12*p/2*4/(-6)?
True
Let k(t) = 19*t - 17. Let h be (-24)/(-20) - 2/(-20)*-2. Suppose 0 = -r + 2 + h. Does 8 divide k(r)?
True
Does 21 divide ((-2)/((-40)/(-10)))/((-92641)/30880 - -3)?
False
Let x(c) = -12 + 126*c**2 - 127*c**2 - 53*c - 19. Is 7 a factor of x(-31)?
True
Suppose 4*w = 3*a + 5404, -3*a = 4*w - 4232 - 1196. Is w a multiple of 4?
False
Let r = 220 + -86. Suppose 49 = -y + 2. Let c = y + r. Is 28 a factor of c?
False
Let b(o) = o**3 + 12*o**2 + o - 12. Let a(v) = -v**2 - v - 1. Let r(j) = 8*j**2 - 31*j + 2. Let l(z) = -4*a(z) - r(z). Let f be l(9). Does 52 divide b(f)?
False
Let w(y) = -y**3 - 9*y**2 - 11*y - 21. Let i be w(-8). Suppose c + i*v = -334 + 44, -262 = c - 4*v. Let f = 398 + c. Does 60 divide f?
True
Let n(b) = 3640*b - 3638*b - 12 - 2. Let l be n(7). Is 6 a factor of 46 + 5 + l + 3?
True
Let l(d) = -8*d**3 + 2*d**2 + d - 12. Suppose -5*i + 4*v = 12 + 4, 2*v = 2*i + 6. Let m be l(i). Let n = -294 + m. Does 26 divide n?
True
Let p be 17/(204/(-11970))*(-22)/1. Suppose 18*d = 7*d + p. Is 105 a factor of d?
True
Suppose 0 = 6*p + 3*p + 5*p - 85904. Is p a multiple of 13?
True
Suppose 6*d - 361 = -91. Is (-18)/d*-2*585 a multiple of 18?
True
Let x(f) = -201*f - 1031. Does 22 divide x(-43)?
True
Let y(i) = -37*i**3 - 7*i**2 - 5*i + 7. Does 21 divide y(-7)?
True
Let o be 2 + 2 + -410 + -1. Let f = 631 + o. Does 14 divide f?
True
Suppose h - 6235 = 5*a, 5*a - 10706 = -5*h + 20499. Is 26 a factor of h?
True
Let l = -4489 + 6344. Suppose -3*x + l = 6*i - i, 4*i = 2*x - 1266. Does 9 divide x?
False
Suppose 3*p + r - 3234 = 21841, 5*p + r = 41795. Is 88 a factor of p?
True
Suppose -29617 = -v + 30*r - 32*r, r = 3*v - 88802. Does 59 divide v?
False
Let z = -180 + 182. Suppose 9 = 3*u, u = z*k - 2*u - 215. Does 28 divide k?
True
Suppose -2*f = -10*f + 208. Is (528/(-9))/(f/(-117)) a multiple of 8?
True
Suppose -95*q + 56*q + 55692 = 0. Is q a multiple of 56?
False
Let m(z) = z + 68. Let l be m(32). Let k = l + -72. Is k a multiple of 7?
True
Suppose -l = 3*l + 4, 0 = -x - 2*l + 35137. Is 56 a factor of x?
False
Let s = 33 - 35. Is 15 a factor of -15*s*(-1 - -7)?
True
Suppose 1 - 3 = -p. Is 11 a factor of (-9395)/(-15) + (16/6 - p)?
True
Let c(j) = -2*j**3 - 3*j**2 - 15*j. Let q be c(-3). Let k(u) = u**3 + u**2 + u. Let b be k(0). Suppose -2*w = -q - b. Does 12 divide w?
True
Let t(k) = -5*k**2 - 12*k - 31. Let a be t(-10). Let q = a - -709. Is 24 a factor of q?
False
Suppose 2*l - 5*g - 12030 = 0, -4*l - 5*g + 21296 = -2674. Does 50 divide l?
True
Let m be -21*(4 + (-32)/3). Suppose t = 6*t - q - 330, -m = -2*t + 2*q. Suppose -t = -3*f + 2*f. Is f a multiple of 13?
True
Let l be 4/18 + (-18813)/(-27). Suppose -2*p + 7*p = -a - 345, -3*p - l = 2*a. Let w = -210 - a. Is w a multiple of 35?
True
Let f(t) = 42*t + 25. Let o(h) = 82*h + 51. Let k(v) = -9*f(v) + 4*o(v). Is 20 a factor of k(-4)?
False
Let g(p) = 7*p**3 + 58*p**2 - 171*p - 121. Let u(d) = 3*d**3 + 30*d**2 - 86*d - 60. Let y(v) = 2*g(v) - 5*u(v). Is 62 a factor of y(-37)?
False
Suppose 4*a + 4*t = 64600, 4*a - 96904 = -2*a - 2*t. Does 16 divide a?
False
Let n(v) = 164*v**2 + 66*v + 216. Is 18 a factor of n(9)?
True
Let p(d) = -24*d**3 - 17*d**2 - 19*d + 34. Is 16 a factor of p(-5)?
True
Suppose 15 = 33*j - 30*j. Suppose 3*m - j*m + 3*r = -446, 5*m + 2*r - 1077 = 0. Does 31 divide m?
True
Suppose 0 = -127*f + 128*f - 611. Let a = -476 + f. Is 7 a factor of a?
False
Let q(l) = 2*l + 4. Let g be q(-19). Let r = 182 - g. Is 9 a factor of r?
True
Let l = -7090 - -10676. Is 11 a factor of l?
True
Suppose -23*c = -18*c - 5. Suppose -3*m + 11 = -5*i, 0*i - m = i - c. Is i/(1*(0 - 1/22)) a multiple of 22?
True
Let u be ((-158)/4)/((-4)/232). Suppose 0 = 20*j - u - 4789. Is 15 a factor of j?
False
Suppose 288*t + 408 = 292*t. Suppose 0 = 4*w + 5*n - 357, -t = -2*w - 4*n + 78. Is w a multiple of 7?
False
Suppose 1488*l = 1482*l + 4458. Is 3 a factor of l?
False
Let t(j) = j**3 - j - 12. Let a be t(0). Let x be (72/16)/((-2)/a). Suppose -x*z = -24*z - 21. Is 4 a factor of z?
False
Suppose -5*c = -u + 17, -6*c + 2*c = 12. Suppose -2 = 3*x - u*x. Let d(l) = -33*l + 6. Is 12 a factor of d(x)?
True
Let u(j) = 40*j**3 + 5*j**2 + 3*j + 129. Is 35 a factor of u(6)?
False
Is 128/(-512) - 5258/(-8) a multiple of 14?
False
Let c = 370 - 367. Suppose -c*p + 120 = 4*l - 116, -5*p + 3*l + 345 = 0. Is 8 a factor of p?
True
Suppose 5*k = -3*c + 727, -2*k = c - 5*c + 952. Suppose -c*b + 1164 = -233*b. Does 35 divide b?
False
Let r(k) = 132*k - 116. Let b be r(18). Suppose -5*g - b = -5745. Is 17 a factor of g?
True
Suppose -2*f + 1568 = -9*f. Let x = -157 - f. Let n = -19 + x. Is 6 a factor of n?
True
Let b = -597 - -604. Is 13 a factor of 49/(114/(-39) - (b - 10))?
True
Let o = 116 - 74. Let j = 10 + o. Let p = 132 - j. Is p a multiple of 12?
False
Suppose -k - 16 = k - 2*s, -5*s = -2*k - 25. Let l(z) = -42*z + 3. Let q be l(k). Let d = -69 + q. Is d a multiple of 12?
True
Let a be (3 - -2 - 0) + -2 + -59. Let c = -50 - a. Suppose 0 = 2*b - c*b + 220. Is 10 a factor of b?
False
Suppose 0 = -14*x - 24*x + 152. Suppose x*p - 533 = -65. Is 9 a factor of p?
True
Let l = -603 - -592. Let w(c) be the second derivative of -c**4/12 - 7*c**3/3 + 3*c**2/2 - c. Is w(l) a multiple of 9?
True
Is 41 a factor of (-116)/(-203) - 76516/(-14)?
False
Let c(i) = -117*i + 8996. Is 47 a factor of c(-62)?
False
Let p be -1 + 22/26 - (-1395)/195. Suppose -3*o + p*o - 2*h - 3902 = 0, 4*h + 2934 = 3*o. Is o a multiple of 16?
False
Let i(g) = 96*g**2 + g + 4. Is i(-15) a multiple of 25?
False
Let g be ((3 + -6)/3)/(30/(-990)). Let o = 5 + 10. Let b = g - o. Is b a multiple of 18?
True
Let j be -2*((-16)/4)/(-4) - -9. Let q(p) = -2*p**2 + 15*p - 3. Let f be q(j). Suppose d - f*w = 37, 2*w + 5 = w. Is 2 a factor of d?
False
Let f = -138 + 129. Is 509/1 - (f - -8 - -7) a multiple of 72?
False
Let k(i) = 9 - 23*i + 2*i - 6*i. Suppose 12 = 3*q - 7*q. Does 9 divide k(q)?
True
Let h(u) = 47*u**2 + 72*u - 60. Is 12 a factor of h(-12)?
True
Let y = -152 + 157. Let q = y - -57. Is q a multiple of 12?
False
Let m(u) = 3*u**2 + 6*u + 6. Let f be (6/(-9))/(10/60). Does 30 divide m(f)?
True
Suppose 175 = 7*u + 35. Is 6 a factor of 15638/u - (-12 - 1666/(-140))?
False
Suppose -3*m + 2628 = 3*i, 18 = -4*m + 2. Is 55 a factor of i?
True
Let w(m) be the first derivativ