et w be (-5*(-4)/12)/((-10)/n). Suppose 0 = t - 5*t - w*f + 250, 0 = -t - 5*f + 49. Is 16 a factor of t?
True
Let y(b) = 2*b**3 + 9*b**2 + 7*b - 1. Let z be y(-3). Suppose -3*m - 2*m = z*v - 1680, -2*v + 1683 = 5*m. Is m a multiple of 22?
False
Suppose -4*f - 2*i + 26 = 0, -i - 35 = -5*f - 4*i. Suppose 0 = -2*s + 5*w + 585, -4*s - 312 = -5*s - f*w. Is s a multiple of 30?
True
Let m = -350 + 532. Let v = -134 + m. Does 45 divide v?
False
Let g(a) = 5*a**2 - 25*a + 13. Let c be g(3). Let i = -2 + 3. Is c/(-3) - i/(-9)*3 a multiple of 2?
True
Let x = 63 - 66. Let u be 2/x - 2870/105. Let k = u - -60. Is 16 a factor of k?
True
Suppose -2*x + 469 = 433. Is 102/459 - (-5162)/x a multiple of 21?
False
Suppose -98*w + 96*w = 4*f - 108638, -36 = 4*w. Is f a multiple of 13?
False
Let q = -7361 + 18790. Is q a multiple of 38?
False
Suppose 10*v - 2796 = 7*v. Suppose 1756 + v = 2*o. Is 32 a factor of o?
True
Suppose 0 = -0*l - 6*l - 96. Let a be (-260)/l - ((-5)/(-4) + -2). Suppose -3*v + 3*d = -42, v = -2*v - 2*d + a. Does 5 divide v?
False
Let g(w) = 91*w**3 + 6*w**2 + 44*w - 200. Does 9 divide g(5)?
False
Suppose 0 = -74*w + 63*w + 71675 + 3433. Does 9 divide w?
False
Let g(p) = 5*p**2 + 16*p + 3. Let l be g(-9). Suppose -61*b + l = -58*b. Is b a multiple of 22?
True
Let v(z) = 72*z**3 - 4*z**2 - 61*z + 239. Does 14 divide v(5)?
True
Let u be 26/(-2*(-4)/(-16)). Let l = -48 - u. Suppose 0*j - 2*j + 296 = l*d, -j + 168 = -3*d. Is 27 a factor of j?
False
Let l = 183 + -180. Let x be 9/(-7) - (-10)/35. Is 3/l + (x + -134)/(-3) a multiple of 4?
False
Suppose -25*p - 50238 = -184688. Is p a multiple of 19?
False
Let y(a) = -a**3 + 53*a**2 + 315*a - 47. Is y(56) a multiple of 18?
False
Let r be (-51)/2*8/(-6). Let j(f) = -23*f + 383. Let k be j(17). Is (k/10)/(r/(-7055)) a multiple of 41?
False
Suppose 104981 = 96*b - 16363. Is b a multiple of 16?
True
Let a = 55 - 46. Let t(p) = -4*p - 9*p - a + 10 - 2*p**2. Is t(-6) a multiple of 7?
True
Let k be (-9)/12*(1/3 + -3). Suppose 7*q = k*q + 565. Is 36 a factor of q?
False
Let z be 4/(-10)*1 - 2065/25. Let u = 48 - z. Suppose 3*o + 2*o - 5*c = 205, 3*o - u = c. Does 15 divide o?
True
Suppose 0 = -92*o + 97*o + 580. Let x = o - -150. Let h = x - -51. Does 17 divide h?
True
Let f = -197 + 240. Suppose -41*s + f*s - 20 = 0. Does 5 divide s?
True
Let o(k) = -19 + 17 - 4*k + k**2 - 10. Let x be o(8). Is -6*(-4)/10*875/x a multiple of 15?
True
Is 43 a factor of 1/2*((-2)/3)/(69/(-1182591))?
False
Let w = -28 - -31. Suppose -5*y = -22 - w. Suppose y*k - 2 = 238. Is 8 a factor of k?
True
Let u = 179 + -308. Let l = 217 + u. Does 8 divide l?
True
Let l(i) = -i**3 + 6*i**2 - 12*i + 41. Let x(r) = -5*r - 55. Let w be x(-12). Does 6 divide l(w)?
True
Let x(w) = 48*w**2 - 15*w - 12. Does 30 divide x(-2)?
True
Suppose 225*w = 2*y + 224*w - 152827, 5*w = -5*y + 382105. Is 12 a factor of y?
True
Suppose 2*f + 2*f + 5*s = -48, -2*f = 5*s + 24. Let p be (-11 - f)/(2/4). Suppose -4*j - p*d + 958 = 0, -d - 1 = -4. Is j a multiple of 66?
False
Let o(j) = 803*j - 774*j - 4*j**2 + j**3 + 13*j**2 + 16*j**2 + 57. Is o(-23) a multiple of 32?
True
Let w(z) = -327*z + 1859. Is w(-33) a multiple of 22?
True
Suppose -7*o + 6 + 22 = 0. Suppose -o*k - 4*n + 332 = -2240, -3*k - 5*n + 1925 = 0. Suppose 2*a - k = -3*a - u, -2*a + 270 = -2*u. Is a a multiple of 31?
False
Let l = 11045 - 3594. Is l a multiple of 123?
False
Let z = 31026 + -67161. Is (z/(-20))/11*(-16)/(-6) a multiple of 38?
False
Let v(x) = x**2 - 64*x + 3353. Does 3 divide v(41)?
False
Let w be 4 - (4/(-14) + 23/7). Is ((-20)/(-15)*-4)/(w/(-48)) a multiple of 32?
True
Let a = -212 + 251. Suppose 0 = -44*i + a*i + 480. Is 6 a factor of i?
True
Suppose 2*g + 110 = -418. Let a = -200 - g. Is a a multiple of 14?
False
Let y = -10522 - -10664. Let v(t) = -49*t + 1. Let o be v(2). Let q = o + y. Does 15 divide q?
True
Is 4169626/304 + 2/16 a multiple of 108?
True
Let m(u) = -5*u - 18. Let t be m(-4). Suppose 0 = -c - t*j - 0*j + 167, -162 = -c - j. Does 15 divide c?
False
Let x(s) be the second derivative of -s**5/20 - s**4/12 - s**3/6 + 119*s**2/2 + 4*s. Let l be x(0). Suppose -3*b + 37 + l = 0. Is 4 a factor of b?
True
Let b(p) = 4*p + 66. Let n be b(-14). Let g(m) = -19*m. Let w be g(-1). Let u = w - n. Is u a multiple of 6?
False
Suppose 24*d + 9 = 153. Let t = 253 + 92. Suppose -t = -d*b + 951. Is b a multiple of 36?
True
Let x(l) = -l**3 + 4*l**2 + 31. Let d be x(5). Suppose 7168 = s + d*s. Does 38 divide s?
False
Let m(q) = 1803*q + 722. Is 15 a factor of m(3)?
False
Let b(r) = -322*r - 326. Does 183 divide b(-18)?
False
Let l(w) = 3*w**2 - 13*w + 27. Let u(x) = 7*x + 75. Let z be u(-9). Is l(z) a multiple of 8?
False
Suppose -w = 5*f - 15, f - 6 = -3*w - 3. Suppose k - 4*a - 732 = 0, -3*k + 2180 = -w*k + 4*a. Is 56 a factor of k?
True
Let f be -5 + 40/4*1. Suppose -290 = -k - f*a, -k - 6*a + 255 = -8*a. Does 19 divide k?
False
Suppose -127*i + 125*i + 5930 = 4*g, -2 = -g. Does 9 divide i?
True
Let b(w) be the third derivative of w**6/120 + 7*w**5/30 + 13*w**4/12 - 5*w**3/2 - w**2 + 67. Is 32 a factor of b(-7)?
False
Let a(o) = 27*o**2 + 34*o + 616. Does 19 divide a(-23)?
True
Let c be 15/2*(-20750)/(-75). Suppose -q - 387 = -c. Is 106 a factor of q?
False
Let l(g) = 2*g + 12. Let q be l(-5). Suppose -i + 491 = 2*n, q*i + n = -n + 976. Suppose 0 = -6*v + i + 511. Does 34 divide v?
False
Let x(f) = 9*f - 108. Let g(k) = -5*k + 54. Let r(u) = -7*g(u) - 4*x(u). Let w be r(11). Let b = -1 + w. Does 9 divide b?
False
Suppose 0 = 4*r - k - 0*k + 4, 2*k - 8 = 2*r. Suppose r = -7*x + 18*x - 3399. Does 30 divide x?
False
Let l = -94 + 304. Suppose 1088*q - 1093*q = -l. Is q a multiple of 42?
True
Let p be 63/(-21)*(0 + 113 + 1). Is (-4)/6*p + -3 a multiple of 18?
False
Let x(o) = -o**2 - o + 12. Let g be x(-14). Let h = g - -456. Is h a multiple of 26?
True
Let m(d) = d + 25. Let a(i) = -i**2 - 4*i - 15. Let l be a(-5). Let j be m(l). Suppose 3*n + n = -4*x + 988, j*x = n - 265. Is n a multiple of 27?
False
Suppose -4*w + 499 = 499, -w = -5*y + 33745. Is y a multiple of 8?
False
Let k = 191 + -215. Is 5 a factor of (-372)/8*16/k?
False
Let c(h) = -18*h**2 + 55*h**2 - 20*h**2 + 69*h**2 + 5*h + 2. Is 24 a factor of c(-2)?
True
Let s be (175/(-75))/(2 + (-13)/6). Suppose s*u + 788 = 18*u. Suppose -5*i + u = -233. Is 7 a factor of i?
False
Suppose -21*s = 49*s - 20532 - 18738. Is 3 a factor of s?
True
Let v = -2829 - -5569. Is 14 a factor of v?
False
Let v = 43 + -35. Suppose -5*r - 396 = -v*r. Is r a multiple of 13?
False
Suppose 0 = -5*j - 122273 + 32213. Does 6 divide -5 - (j/48 - (-3)/12)?
False
Let r = -436 + 427. Let z(c) = -10*c + 49. Is z(r) a multiple of 45?
False
Suppose -3*c = -2*j - 15294, 3*c - 9638 - 5650 = 4*j. Does 34 divide c?
True
Let m = 737 - 723. Is (m/(-7))/((-4)/702) a multiple of 17?
False
Let p = -1628 + 2626. Suppose p + 682 = -8*c. Is 14 a factor of (4/(-6) + 784/c)*-5?
False
Suppose 4*h = 43 - 51. Let u(s) = s**2 + s. Let x be u(h). Suppose 144 = 3*g - x*g. Is g a multiple of 13?
False
Suppose -2*j + 8563 = -5*x, 0 = 3*j - 20*x + 21*x - 12853. Is j a multiple of 12?
True
Let s(a) = -a**3 + 3*a**2 + 14*a + 28. Let d be s(-12). Suppose 0*h - 808 = -2*k + h, 5*k = 3*h + d. Is 36 a factor of k?
False
Let p(z) = 28*z + 32. Let q be p(14). Let s = q + -298. Is s a multiple of 18?
True
Suppose 4*p + 0*k - 111 = -k, -4*k = p - 24. Is (92/14)/(8/p) a multiple of 2?
False
Let j be (4504/(-16) - 7)/(2/4). Let f = j - -1429. Is f a multiple of 14?
False
Is (-895896)/(-115) + ((-15)/50)/(1/(-2)) a multiple of 7?
True
Suppose 0 = -61*g + 6*g - 24*g + 83266. Is 40 a factor of g?
False
Let w(q) = q**3 + 9*q**2 - 2*q + 8. Let n be w(-9). Let r be (-1)/(-1)*(26 - n). Suppose r = -p + 28 + 80. Is 12 a factor of p?
True
Let u(d) = 124*d - 66. Let p be u(4). Let g = 432 - p. Is g a multiple of 2?
True
Suppose 14479 = 5*p + r, -6*p - 14485 = -11*p + 5*r. Is p a multiple of 15?
False
Let b(n) = -n + 28. Let k be 290/35 + (-4)/14. Suppose -5*p + k*p - 24 = 0. Does 10 divide b(p)?
True
Suppose -4*j = 5*u + 14, 0*j = -2*j + 8. Is 1 - u/(-10) - 10325/(-125) a multiple of 3?
False
Let t(j) = -141*j**2 + 2766*j + 21. Does 25 divide t(13)?
True
Let b be 2/(-9) + 8/36. Let n = 713 + -519. S