*z = -940. Does 29 divide z?
False
Suppose -121*m - 2358 = -127*m. Does 9 divide m?
False
Suppose 0 = 3*y + y + 48. Suppose 2*n - 117 = -9. Is n/y*(0 + -6) a multiple of 18?
False
Let m = 21 - 13. Suppose 0 = 4*o - m - 4. Suppose -o*a + 42 = 3*s, a - 4*a - 77 = -4*s. Does 7 divide s?
False
Let b(j) = 11*j**3 + 9*j**2 - j - 8. Let p be b(4). Suppose 32*x - p = 28*x. Does 17 divide x?
False
Let q be (-1)/(-1) + 9 + -4. Is (-34)/q*24/(-2) a multiple of 34?
True
Let x be (25/(-75))/(2/24). Is x + (9 - 1) - -14 a multiple of 4?
False
Suppose 0 = -2*k - 2*k + 148. Suppose 0 = -2*r + r + k. Let x = r - 11. Is 11 a factor of x?
False
Let q = -6 - 3. Let u = 20 - q. Suppose y - u = 22. Is 17 a factor of y?
True
Let v(g) = -g**3 + 7*g**2 + 5*g + 3. Is 40 a factor of v(-4)?
False
Is 54/(-567) - 12142/(-42) a multiple of 3?
False
Let o(f) be the second derivative of f**5/60 - f**4/6 - 3*f**3/2 + 8*f. Let v(r) be the second derivative of o(r). Is 8 a factor of v(6)?
True
Let t(g) = 3*g**2 - 4*g + 4. Suppose -2*r - 15 = -5. Is t(r) a multiple of 33?
True
Let d(l) = 3*l**3 - 9*l**2 + 18*l - 54. Is 16 a factor of d(6)?
False
Let h = 277 + -213. Does 64 divide h?
True
Let b = -20 - -36. Let r be 5*(-1 + (4 - 2)). Suppose r*t + b = 161. Is t a multiple of 17?
False
Suppose -5*r - 50 = n, -3*n - 3*r + 0*r - 162 = 0. Let z = n + 108. Let c = z + -8. Does 15 divide c?
True
Suppose 3*o = 4*t - 112, -t - 4*o = -25 - 3. Is 28 a factor of t?
True
Let s(x) = x**3 + 9*x**2 - 12*x - 16. Let t be s(-10). Suppose -t*a = -69 + 5. Does 6 divide a?
False
Let s be (1/3)/((-5)/(-45)). Suppose s*y + 0*i - 18 = 3*i, 0 = 2*y + i - 12. Does 6 divide y?
True
Suppose o + 4*t - 15 = 0, 0 = 4*o - t - 1 - 8. Let u be 0 - (-2 + 0) - 2470/(-10). Suppose -f = -3*z - 0*z + u, 0 = -o*z + 4*f + 240. Does 21 divide z?
True
Let b(n) = -n**2 - 10*n - 17. Let v be b(-8). Let y = 2 - v. Suppose 30 + 3 = y*f. Does 3 divide f?
False
Is 50 a factor of 0 - 6 - (-38610)/9?
False
Let m(i) be the second derivative of i**4/12 + 5*i**3/6 - i**2 - 20*i. Is 6 a factor of m(-11)?
False
Suppose -3 = 4*w - 3*w. Let p(j) = 824 - 23*j - 824. Does 21 divide p(w)?
False
Suppose 64 = 3*o - 5*o. Let u = o - -319. Does 55 divide u?
False
Let c(m) = 37*m**2 - 44*m - 284. Is 14 a factor of c(-8)?
True
Suppose 693*p - 690*p - s - 5081 = 0, 2*p + 4*s - 3392 = 0. Does 4 divide p?
False
Is 6/(-10) + ((-686664)/85)/(-24) a multiple of 11?
False
Let r(t) = -2*t**2 - 21*t + 19. Let p(k) = -5*k**2 - 41*k + 38. Let z(a) = 4*p(a) - 9*r(a). Does 31 divide z(10)?
True
Suppose -9*f - 148 - 1148 = 0. Let h = f - -283. Is 51 a factor of h?
False
Suppose -3*i + 4 = 4*c, 5*i - 2*c - 26 = c. Let b be 11 + -1 + 1 + -4. Let u = i + b. Is 11 a factor of u?
True
Suppose 0 = -64*x + 29937 + 8591. Does 43 divide x?
True
Suppose 2*u = 39 - 35. Let k = u + 25. Does 3 divide k?
True
Suppose 2*g - 566 = -4*h + 812, 4*g - 2756 = -5*h. Is g a multiple of 25?
False
Suppose 2*p + 798 + 203 = 3*v, 0 = -2*p + 4. Is 28 a factor of v?
False
Let r(h) = h**2 - 8*h + 3. Let p be r(8). Suppose -p*j + 3*z = -219, 2*j - 270 = -4*z - 106. Let d = j - 52. Does 12 divide d?
True
Let f(n) = 26*n + 1204. Is 42 a factor of f(7)?
True
Let a = -320 + 996. Does 6 divide a?
False
Let x(s) = -60*s - 166. Is x(-17) a multiple of 7?
True
Suppose -120 = -16*x + 8*x. Is 12 a factor of x?
False
Let t be (2*(-10)/8)/((-13)/(-1274)). Let m = -115 - t. Does 12 divide m?
False
Suppose 2*l - 1328 = -2*g, l + 4*g - 718 + 45 = 0. Is 15 a factor of l?
False
Let t = -879 - -1519. Is t a multiple of 12?
False
Suppose 4*f = 3*c - 1852 + 123, -2*f + 2298 = 4*c. Does 22 divide c?
False
Does 28 divide 2/(-8)*6*(-2264)/4?
False
Suppose -120*r = -89764 - 147236. Is r a multiple of 79?
True
Let o = -180 + 282. Suppose -78 = -3*a + o. Is 24 a factor of a?
False
Let k(r) = -r**3 + 3*r**2 + 3*r + 6. Suppose 2*w + 5*h + 2 = 12, 5 = w - 4*h. Let o be k(w). Let y = -14 - o. Is 13 a factor of y?
False
Let j = 105 - 27. Does 13 divide j?
True
Does 21 divide (-50798)/(-55) + 49/35?
False
Let x = -7372 + 11324. Is x a multiple of 19?
True
Let r = 154 - 102. Is 26 a factor of r?
True
Let y = -43 + 25. Let r be (-9)/y + (-13)/2. Does 11 divide 34 - (-4 - r/2)?
False
Let w(l) = -l**3 + 6*l**2 + 9*l + 2. Let d be w(7). Suppose 3*n + 7 - d = 0. Is 15 a factor of 15*n + (1 - -1)?
False
Let q(h) = 2*h**3 + 3*h + 9. Let t be q(4). Let j = t + -66. Is 11 a factor of j?
False
Let k = 98 + -93. Does 40 divide 36 - (-7 + 15/k)?
True
Let r = 319 + -222. Let d(h) = h**2 + 9*h + 10. Let l be d(-13). Let u = r - l. Is 9 a factor of u?
False
Let o be ((-394)/(-2))/((-7)/(-35)). Suppose 5*k + 2*q = 3*q + o, 3*q + 799 = 4*k. Suppose 0 = -2*a + 4*h + k, 3*a + 4*h + 59 - 393 = 0. Does 33 divide a?
False
Let j be (-2)/(-3) + (-2102)/(-6). Suppose -97 = -5*s - 2*c + j, -2*c = 3*s - 272. Does 22 divide s?
True
Suppose -v + 88 = d + 29, -4*v + 2*d + 242 = 0. Is 17 a factor of v?
False
Suppose 2736 = 115*q - 97*q. Is 13 a factor of q?
False
Suppose -3*n - 5*m = -202, m - 134 = -5*n + 188. Is n a multiple of 16?
True
Let j be 0 + (-2)/6*0. Suppose 3*c - 327 + 30 = j. Let z = c - 45. Is 9 a factor of z?
True
Suppose 0 = -7*u + 179 - 74. Is u a multiple of 3?
True
Suppose 13*k + 2 = 2. Suppose 16*x - 15*x - 252 = k. Does 12 divide x?
True
Is 28/35 + (-11)/10*-222 a multiple of 7?
True
Suppose 2652 = 4*c + 3*x, 4*c + c - 3*x - 3288 = 0. Is c a multiple of 20?
True
Suppose 13*q - 30*q + 782 = 0. Is q a multiple of 23?
True
Let p = -558 + 701. Is 2 a factor of p?
False
Let p(w) = -w + 24. Let s be p(17). Let c be 6/4 - s/14. Is 4 a factor of (18 - c)/(-16 + 17)?
False
Let g = -79 + -2. Let v = g - -141. Is 15 a factor of v?
True
Let w be (-6)/(-4)*20/(-6). Let y(l) = -92*l - 74. Is y(w) a multiple of 40?
False
Let j(i) = -22*i**3 + i**2 - 4*i + 1. Is 77 a factor of j(-3)?
True
Suppose 74*v - 426 = 73*v. Does 6 divide v?
True
Suppose 24 = -5*z + 4, -3*y = -5*z + 10. Let n(o) = o**3 + 8*o**2 - 22*o - 3. Is 3 a factor of n(y)?
False
Let o be 2 - ((-18)/4)/((-18)/48). Is 12 a factor of (-836)/o + 6*5/75?
True
Suppose r + 5*s = 383 + 243, r - 599 = 4*s. Is r a multiple of 47?
True
Let u(k) = 7*k - k - 4 - 2. Let n = 0 + 7. Does 18 divide u(n)?
True
Let r(x) = 4*x + 45. Let c be -33*(-1 + 2/3). Does 16 divide r(c)?
False
Let j(k) be the third derivative of 41/30*k**5 + 0*k**3 + 0 + 0*k**4 + 10*k**2 + 0*k. Does 38 divide j(-1)?
False
Let b = 22 + -17. Suppose -4*z - 4*n + 377 = n, -5*z - b*n + 465 = 0. Is z a multiple of 11?
True
Let y be 6/2 + (-198)/(-2). Suppose -37 - y = -5*s + f, -5*s + 123 = 3*f. Does 10 divide s?
False
Let b(r) = 18. Let p(i) = i - 1. Let j(g) = -b(g) - 5*p(g). Let n(y) = y**3 - 10*y**2 - y + 4. Let z be n(10). Does 8 divide j(z)?
False
Suppose 0*z - 6 = -3*x + 5*z, -4 = -2*x + 3*z. Suppose 0 = 4*t - x*v - 62, 2*v + v - 11 = -2*t. Is 4 a factor of t?
False
Suppose 0 = -7*c + 2*c + 10. Suppose -y - 3*w + 321 = 2*y, -2*y = -c*w - 234. Suppose 0*d = 2*d - y. Does 16 divide d?
False
Suppose -32*m = -7*m - 16025. Does 6 divide m?
False
Let m be ((-51)/4)/(3/8). Let r = 175 + m. Let j = -82 + r. Does 12 divide j?
False
Let b(w) = -w + 38. Let i(s) = 1. Let r(n) = 2*b(n) - 18*i(n). Let u be r(0). Does 2 divide u/7 + 14/(-49)?
True
Let u(c) = -3. Let i(b) = -4*b - 11. Let m(k) = 3*i(k) - 3*u(k). Let l be m(-7). Suppose -5*y - 4 = 4*f - 85, 2*f - 4*y = l. Is 12 a factor of f?
True
Suppose 9*a - 6*a = 4*i + 4231, i - 7044 = -5*a. Is a a multiple of 83?
False
Let q(u) = -u**2 - 14*u - 13. Let v(g) = g + 3. Let s be v(-5). Let r be -18*-1*1/s. Is q(r) a multiple of 18?
False
Let c(g) = -2*g. Let q(o) = o**2 - 9*o + 14. Let h(a) = -2*c(a) + q(a). Is 4 a factor of h(10)?
True
Suppose -49*d - 1797 = -28698. Is 8 a factor of d?
False
Is (-13286)/(-27) - 4/54 a multiple of 34?
False
Let z(r) = 4 + 0 + 0*r**3 - r**3 + 7*r**2 + r**2 - 8*r. Does 7 divide z(6)?
True
Does 62 divide (2/(-13) + 167552/(-624))*-3?
True
Suppose 0*m = -2*m + 4. Suppose -3*a - m*l = -206, -4*l = -0*a + 5*a - 340. Is a a multiple of 12?
True
Let z = -344 + 1522. Does 90 divide z?
False
Suppose -16*t = -m - 11*t + 100, 0 = 4*t - 16. Is 8 a factor of m?
True
Suppose 0 = -4*t + t. Suppose 5*u + o + t*o - 169 = 0, -4*u - 2*o = -140. Is 4 a factor of u?
False
Sup