- 210 = 12*h. Let n = -41 - -42. Is 13 a factor of (-1917)/h - n*6/21?
True
Let z(a) = 18*a - 149. Let p be z(10). Does 10 divide (p/4 - 7) + (-1197)/(-4)?
True
Let t be (115/(-10))/(10/4 + -3). Suppose 5*n = t + 2, 5*n + 830 = 5*q. Is 3 a factor of q?
True
Let s = 537 - 534. Suppose 34*j - 30*j = 4*k + 2976, 0 = -4*j + s*k + 2976. Is j a multiple of 8?
True
Suppose 287*j = 291*j + 4. Is ((-6)/(-5))/(j/415)*-2 a multiple of 39?
False
Let f be (7 + -11)*(0 - 214/8). Suppose 3*q + 228 = 2*u, 4*q = u + 6*q - f. Suppose 0 = 5*j - 179 - u. Is 11 a factor of j?
False
Suppose 5*j - 104630 = 160*b - 158*b, 0 = 2*j - 5*b - 41831. Does 192 divide j?
True
Let y = 8077 + -5917. Is y a multiple of 18?
True
Let m(l) = -6*l + 113. Let f be m(18). Suppose -f*o + 10*o - 2*s = 416, 2*s = -3*o + 256. Is 14 a factor of o?
True
Let s(z) = -33*z + 5. Let c be s(-1). Let v = 76 - c. Suppose v - 138 = -4*a. Is a a multiple of 5?
True
Suppose -1731 = -3*d - z + 151, -4*d = -3*z - 2492. Is d a multiple of 3?
False
Let o(f) = f**2 + 23*f - 16. Let i be o(-24). Suppose 4*a + i = 0, 0*c + 68 = 5*c - 4*a. Suppose c*r = -0*r + 624. Does 21 divide r?
False
Let k be (2 - (-3 + 5))*2/4. Suppose 10*n - 8*n - 20 = k. Let a(y) = -3*y + 60. Is a(n) a multiple of 5?
True
Let l(w) = 7*w**2 + 21*w - 5008. Is 52 a factor of l(77)?
False
Let g(l) = 2*l**2 + 28*l + 16. Let i be g(8). Suppose 4*v = -4*f + i, 5 + 3 = 4*f. Is 9 a factor of v?
True
Let o = 25 + -22. Let d(p) = -27*p**2 + 18*p + 5*p - 5*p + 11*p + 32 + p**o. Is 12 a factor of d(26)?
False
Suppose 5*t - 36386 = 2*o, -26*o - 21816 = -3*t - 30*o. Is t a multiple of 100?
False
Suppose 5*v - 158 + 138 = 0. Suppose -v*d = d - 455. Is 2 a factor of d?
False
Suppose -22*l + 5440 = -12*l. Is 13 a factor of l?
False
Suppose 50*h = 23*h + 75114. Is 50 a factor of h?
False
Let h(i) = 340*i + 1047. Is 29 a factor of h(4)?
True
Let r(b) = -6465*b**2 - 6*b + 4. Let i be r(2). Does 32 divide (-33)/18 + 2 + i/(-24)?
False
Let n be 12/10*160/12. Suppose 34 + 102 = -34*u. Let q = u + n. Does 11 divide q?
False
Suppose c - 62343 = -5*t + 47386, 0 = -2*t + 4*c + 43852. Does 104 divide t?
True
Let k(r) = r**2 + 14*r - 19*r - 59 + 6*r + 27*r. Does 26 divide k(17)?
False
Suppose -58852 = -5*j - 3*a, a - 14 = -10. Is j a multiple of 12?
False
Let l = 5149 + -3460. Suppose -14*s + 13*s + 4*d = -408, -4*s = 3*d - l. Does 46 divide s?
False
Suppose 36941 = -26*m + 99705. Does 17 divide m?
True
Let j = -3497 + 4883. Does 9 divide j?
True
Suppose -212 = -108*u + 104*u. Suppose -49*h - 1944 = -u*h. Does 15 divide h?
False
Let z(r) be the first derivative of -3*r**2/2 + 389. Let m be 2 - (14*-1)/(-2). Is z(m) even?
False
Suppose -11*k = -k - 130. Let g(n) = -n + 119. Is g(k) a multiple of 5?
False
Let t = -582 + 587. Suppose 5*b - 5510 = 2*s, -t*b - 2*s + 5467 = -43. Is 19 a factor of b?
True
Let g(s) = 4*s**2 + 23*s + 3. Suppose -7*b - 92 = 13. Does 18 divide g(b)?
True
Let t(u) be the third derivative of u**4/12 + 13*u**3/2 - 23*u**2. Let r be t(-17). Suppose 0 = r*g + 4*n - 139, 4*n + 79 = 3*g + 2*n. Is g a multiple of 20?
False
Suppose 2995*u + 266800 = 3053*u. Is u a multiple of 40?
True
Let d(m) = 3*m**2 + 20*m + 1431. Is 4 a factor of d(-28)?
False
Let h be -52 - ((-12)/(-28) - 32/(-7)). Let c = 7 + -9. Does 32 divide (c/5)/((-18)/(-150))*h?
False
Let g be (28/(15 - 29))/((-1)/21). Is 37 a factor of (4 - 384/g)*2072/(-12)?
True
Let z(c) = 24*c - 43. Let b(m) = -26 + 2*m + 10*m + 4*m - 3. Let j(x) = -8*b(x) + 5*z(x). Does 32 divide j(-16)?
False
Suppose -h - 236 - 3638 = 0. Let g = -2739 - h. Is 14 a factor of g?
False
Let y be 50 - (-7)/((-56)/(-16)). Let k = y - -1010. Does 59 divide k?
True
Suppose 5*v = 419 + 186. Let k = -409 - -314. Let g = k + v. Is 6 a factor of g?
False
Suppose 9*b - 2607 = 5709. Let r = b + -157. Is 71 a factor of r?
False
Let w be (-24)/(-18) - (-102)/(-9). Let n = w - -14. Suppose n*b - 12 = -0*b, -2*b - 90 = -2*s. Is s a multiple of 8?
True
Suppose 40 = -7*d - 23. Let a(g) = 5 + 9*g**2 + 2*g + 17 + g**3 + 0*g. Is 4 a factor of a(d)?
True
Let n = 6287 + -1716. Is n a multiple of 84?
False
Let c = 2861 - -6253. Is c a multiple of 42?
True
Let d = 92 - 75. Let s(w) = 45 + 19*w**3 + 18 - 20*w**3 - 2*w - d*w**2 + 16*w. Does 15 divide s(-18)?
True
Suppose 9*y = 6*y - 1302. Let q be (-5)/15 + y/3. Let t = q - -317. Does 27 divide t?
False
Let a(y) = -y**2 + 12*y - 4. Let f be a(0). Let z(u) = -5*u + 22. Let h be z(4). Is 34 a factor of h*628/6 - f/6?
False
Let w(d) = -24*d + 122. Suppose -4*l = -7*l - 60. Is 28 a factor of w(l)?
False
Suppose -2*b + 2 = 2*n, -b - 3 = -n - 2. Suppose -5*p + 5*m = -138 - 592, b = -p - 3*m + 162. Is p a multiple of 3?
True
Let x be 366/36 - 2/12. Let s be 6/x - 3292/(-5). Suppose -99 + s = 5*t. Is 16 a factor of t?
True
Let c(h) = -35*h**3 - 30*h**2 - 47*h + 32. Is c(-7) a multiple of 227?
True
Suppose -3*g + 16 = g. Suppose 10*w = g*w + 24. Suppose 0 = 3*n - 3*r - 426, w*n - 3*r = -n + 708. Is 25 a factor of n?
False
Suppose a + 3*b = 902, -6*a + 1848 = -4*a - 5*b. Does 10 divide a?
False
Suppose 29*n = 107439 + 22249. Does 15 divide n?
False
Let y = -1595 - -4236. Is y a multiple of 19?
True
Let f(m) = 6*m + 6. Let l be f(-4). Let g be -3 - -2 - 3 - (-260)/5. Does 5 divide g/5 - l/45?
True
Let g(s) = s**2 + 25*s - 131. Let c be g(-30). Suppose 24*k = c*k + 85. Is k a multiple of 5?
False
Is 3 a factor of 10/(-75) - (484316/(-30))/14?
False
Let s(r) = -r + 29. Let l be ((-3)/5)/((-2)/(-4 + 14)). Suppose a + 5*h + 36 = 0, -24 = l*a - 2*a + 2*h. Is 8 a factor of s(a)?
False
Let d = -4785 - -8249. Is 12 a factor of d?
False
Suppose -2*z + 3 = z, 13 = 4*o + z. Suppose o*q = 8*q + 590. Is 11 a factor of (-44)/11 - (0 + q)?
False
Let i(f) = 8*f - 16. Let p be i(4). Suppose -p*u = -13*u - 30. Let v = u + 67. Is 11 a factor of v?
True
Let l(j) = 5*j**2 + 29*j - 1. Let a be l(-6). Let n(y) = 103*y + 7. Let i be n(a). Does 16 divide (-2)/(-26)*i - (-42)/(-273)?
False
Let s be ((-125)/2)/(7/(-14)). Suppose 0 = 5*g - 1735 - s. Suppose 0*n + 948 = 5*a + 2*n, n + g = 2*a. Is a a multiple of 47?
True
Let j = 15555 - 6915. Does 60 divide j?
True
Suppose 5*j + 695 = -8*h + 4*h, -3*j - h - 410 = 0. Is (1/((-25)/j))/(1/25) a multiple of 4?
False
Let m be ((-28)/(-10))/(4 + (-72)/20). Let z = -205 + 437. Let x = z + m. Is x a multiple of 27?
False
Suppose 20858 = 2*z + 84*t - 81*t, -4*z + 41734 = -3*t. Is 16 a factor of z?
True
Let g(y) = -y**3 - 3*y**2 + 3*y + 10. Let n be g(-4). Suppose -t - n = -23. Suppose -t = i - 196. Does 17 divide i?
True
Let q = -78 - -516. Suppose 2*y - 5*m - q = -53, 0 = 3*y + m - 603. Does 8 divide y?
True
Let d be 4/(-10) - 28/(-20). Let b = 93 - -5. Does 14 divide ((2 - d)*b)/1?
True
Let b(u) = -19*u**3 - 99*u**2 + 5*u - 6. Is b(-9) a multiple of 47?
True
Is 858*(168/(-36) + 5) a multiple of 22?
True
Suppose -23 = -4*s + 1. Suppose s*y = 3*y + 744. Suppose -4*u - 32 = -y. Is 10 a factor of u?
False
Let f = 3 + 18. Let a(z) = 3*z**2 + f - z + 10*z**2 - 12*z**2. Does 5 divide a(0)?
False
Let f(m) = m**3 + 4*m**2 - 7*m - 6. Let k be f(-5). Is 4 a factor of -7*(-24)/k - (-3 - -5)?
True
Let r = -64 + -19. Let k = r - -128. Suppose -k = 4*n - 5*w - 653, -445 = -3*n + w. Does 23 divide n?
False
Let k = 371 + -46. Is 3 a factor of k?
False
Let l be (-6)/(-2) - -2 - 1. Suppose -2024 = 3*f - 2027. Is l/(-1) + f*35 a multiple of 6?
False
Let d be 3*((-2 - -40) + 3). Suppose 2*b = -3*x - b - d, -x = -5*b + 47. Let l = 94 - x. Does 34 divide l?
True
Suppose 4*s = 3*b - 12, 0 = -8*s + 5*s - 3*b - 9. Is ((-3)/(90/(-24)))/(s/(-465)) a multiple of 3?
False
Let r = -320 - 361. Let x = r - -1091. Is 41 a factor of x?
True
Let x = 379 - 304. Suppose 4800 = x*p - 70*p. Does 12 divide p?
True
Let x(l) = 49*l + 1484. Does 7 divide x(-13)?
True
Suppose -567600 = -41*v + 14*v + 7*v. Is 10 a factor of v?
True
Suppose -3*o + 4*m = -7, 12 = 3*o - 0*o - 3*m. Let j(u) = 66*u + 186. Is 26 a factor of j(o)?
True
Let t = 10348 + -5619. Is 13 a factor of t?
False
Let h(b) be the third derivative of b**5/6 - 11*b**4/24 + 8*b**3/3 + 11*b**2. Let k(s) be the first derivative of h(s). Does 19 divide k(5)?
False
Suppose 9*q = 5*q - 440. Let w = q + 198. Suppose -6*v + w = 2*v. Does 3 divide v?
False
Let a(m) = -m**3 + 