 156 = 9*w - z*w. Is 5 a factor of w?
False
Suppose -5*y - 20 = 0, 71 = f + 3*y - 1. Does 28 divide f?
True
Suppose 2*z + 539 = 1719. Does 27 divide z?
False
Let t be (-16)/(-12)*-10*18/8. Let k = 62 + t. Is k a multiple of 5?
False
Suppose 0 = -3*a - 7 - 47. Let u(i) = -6*i + 1. Let o be u(a). Let b = o - 68. Is b a multiple of 19?
False
Suppose 1907 - 18979 = -8*l. Is l a multiple of 11?
True
Let h(o) = -o**3 + 16*o**2 + 41*o - 17. Let i be 142/8 + 7/28. Is 11 a factor of h(i)?
False
Let u = -4 - 119. Let l = u + 183. Does 15 divide l?
True
Let p(z) = -z**3 - 8*z**2. Let d be p(-8). Let v(g) = -4*g**3 - 1 + 3*g**3 - 12*g**2 + 5 + d*g - 15*g. Does 16 divide v(-11)?
True
Let g(f) = f**2 - 8*f + 7. Suppose 0 = 2*n - 2*z - 2*z - 18, -15 = 5*z. Suppose -4*k + u + 45 = -2*u, n = 3*u. Is 15 a factor of g(k)?
False
Let g(y) = -360*y - 360. Does 8 divide g(-4)?
True
Let u(l) = -12*l**3 - 15*l**3 - 20*l**3 - 4*l**2 + 1 + 2*l**3 - 2*l. Does 28 divide u(-2)?
False
Suppose q = w + 4 + 7, -47 = -5*q + 3*w. Suppose 0 = -q*n - 4*n + 88. Is 4 a factor of n?
True
Let x = -632 - -1351. Is x a multiple of 24?
False
Let a(o) = o - 3. Let z be a(0). Let l(y) = -9*y + 6. Is 11 a factor of l(z)?
True
Let g(h) = 30*h**3 + h**2 - 1. Let s be g(-1). Let k(j) = 5*j - 3. Let d be k(-8). Let t = s - d. Is t a multiple of 12?
False
Does 34 divide ((-42)/(-7) + -1)*2584/10?
True
Let h(u) = 2*u**2 - 8*u - 4. Is h(-22) a multiple of 38?
True
Let w be (-4)/(-3 + 3/3). Suppose -w*z + 156 = z. Is z - (2 - (-1 + -1)) a multiple of 14?
False
Let f(c) = c**3 - 16*c**2 + 16*c + 9. Let s be f(15). Does 26 divide s + (-10)/4*(-20)/25?
True
Suppose -3*h + 8139 + 4968 = 0. Is h a multiple of 17?
True
Let j = 7 - 10. Is 8 a factor of 15 + (0 + j)*3/(-9)?
True
Let f(h) be the third derivative of 7*h**5/12 + h**4/8 + h**3/3 - 13*h**2. Is f(-2) a multiple of 34?
True
Let a(p) = -12*p - 3. Let o be a(-2). Let j = o - 42. Is 10 a factor of (0 - 1)*(j + -2)?
False
Let r = -117 - -67. Let i = r - -153. Is 16 a factor of i?
False
Let m(f) be the third derivative of 17*f**4/24 + 7*f**2. Let c(z) = -z - 1. Let i(a) = 2*c(a) + m(a). Is 14 a factor of i(2)?
True
Suppose 0 = -29*h + 73*h - 21296. Does 4 divide h?
True
Suppose 0 = 3*t + 11*z - 7*z - 1984, -4*t + 4*z = -2608. Is 8 a factor of t?
True
Let c(r) = 4*r - 6. Suppose -5*j + 3 = 2*g, 8*j - 5 = 3*j. Let t be ((-24)/(-42))/(g/(-7)). Is 10 a factor of c(t)?
True
Let q(j) = -21*j + 96. Does 3 divide q(-7)?
True
Suppose 0 = -3*c - 3*u - 42, -2*u + 5 = -c - 0*c. Let r = -11 - c. Suppose 0 = -4*d - 5*t + 49, r = -2*d + 5*d + t - 34. Is d a multiple of 11?
True
Let z(n) = n**3 + 5*n**2 - 4*n - 4. Let p = -16 + 22. Let f = -10 + p. Is z(f) a multiple of 14?
True
Let o be (1 - 1/3) + (-1918)/(-3). Suppose -z - 325 = -2*m, -2*m - 2*m = -4*z - o. Does 11 divide m?
True
Suppose 2*f - 7*f + 3*n = -3515, 0 = 5*n - 25. Let g = f + -499. Does 9 divide g?
True
Let l(r) = 5*r**2 - 7*r + 7. Let o be l(4). Let z = o + 32. Does 12 divide z?
False
Let y(i) = -6*i + 4 + 15*i + 3*i + 4*i - i**2. Does 34 divide y(8)?
True
Let o(u) = -15*u + 1. Suppose -v + q + 10 = 2*v, 0 = -2*v - 5*q - 16. Suppose -4*y - 19 = l, -4*y = l + v*l + 33. Is o(l) a multiple of 26?
False
Let r(c) = 4*c + 0*c + 75*c**3 - 13*c**3 - c**2 - 3*c. Does 7 divide r(1)?
False
Let h(a) = -a**3 + 6*a**2 - 6*a + 2. Let x be h(5). Let c = 22 - x. Does 6 divide c?
False
Suppose 44*i - 32397 = -5293. Does 14 divide i?
True
Let o(q) = -10*q - 3. Let t(y) = -9*y - 2. Let c(z) = -4*o(z) + 3*t(z). Is c(6) a multiple of 12?
True
Let z be (((-2409)/6)/11)/((-2)/12). Suppose 11 = p - z. Is 22 a factor of p?
False
Let x be 60/(-45)*27/(-1). Suppose -j + 7*j - x = 0. Is j a multiple of 6?
True
Let l(p) = -14*p + 35. Let s be l(5). Let x = 139 + s. Is 11 a factor of x?
False
Let p = -402 + 738. Is 12 a factor of p?
True
Let b(a) = -a**2 - 1. Let s(u) = -7*u**2 - 12*u - 14. Let n(v) = -6*b(v) + s(v). Is 4 a factor of n(-10)?
True
Suppose -7 - 1 = -4*k. Suppose k*z = 62 + 4. Does 5 divide z?
False
Suppose 3*l + 10 = 5*l. Let j be (l + -20)*(-1)/(-1). Is 8/20 - 1059/j a multiple of 23?
False
Let n(a) = 324*a**2 - 3*a + 1. Does 37 divide n(1)?
False
Let j(z) = 19*z**2 + 26*z - 18. Does 33 divide j(3)?
True
Suppose 2*c = c. Let n be 5 - 7 - -4 - (-1 - 1). Does 12 divide c + 4/(n/19)?
False
Let u(g) = -g**3 - 10*g**2 - 19*g - 16. Let q be u(-7). Let n = -9 - q. Is n a multiple of 7?
True
Let o be 2/(-7) - (-12)/(-7). Let i = 1 - o. Suppose -4*h - j = -42, -i*h - h + 48 = -2*j. Is h a multiple of 11?
True
Suppose -5*p = -2*p - 5*g - 20, -5*p = 3*g - 22. Suppose f + 98 = 2*f - p*u, -5*f + 3*u = -402. Let z = f + -46. Is z a multiple of 11?
False
Suppose -i + 362 = -3*h, 0 = 5*i - 7*i + 2*h + 708. Is 5 a factor of i?
True
Suppose 0 = u + 33 + 67. Is 9/((-1)/4 + (-55)/u) a multiple of 7?
False
Suppose 4*l + 2*d = -d + 61, 5*d = -l - 6. Suppose 2*s + 3*c = 98 + l, -2*s - 2*c = -120. Does 7 divide s?
True
Is (-42)/7 - (-197 + -1) a multiple of 24?
True
Let w be (-4 + 1)/(-1) - 256. Let d = -148 - w. Is d a multiple of 35?
True
Is 21 a factor of 14/91 + 1062/26?
False
Let o = -413 - -710. Is 18 a factor of o?
False
Let y be (6/4)/(9/2 + -4). Suppose 0 = -5*k + y*m + 85, -k + m + 2*m + 5 = 0. Is k a multiple of 6?
False
Let u(y) = y**2 + 19*y - 18. Let q be u(-20). Suppose q*r = -10*r + 420. Does 5 divide r?
True
Suppose -2*r = 2*r + 2*t - 2556, -3*r + 1912 = 4*t. Is r a multiple of 13?
False
Let p = 33 + 30. Suppose 0 = -q - 6*q + p. Does 9 divide q?
True
Suppose 0 = -2*t - t - 4*r + 31, 2*t - 18 = -4*r. Let m = t + -8. Suppose -j = 3*j + v - 206, -m*j = 5*v - 265. Is 13 a factor of j?
False
Suppose 38003 = 39*b - 41557. Is 34 a factor of b?
True
Suppose 7*z - 17*z + 30 = 0. Suppose 0 = -5*u - z*k + 223, -u - 3*k + 43 = -4*k. Is u a multiple of 4?
True
Suppose -2*p + 290 = 3*z, -5*z - 58 = -2*p - 536. Is z a multiple of 16?
True
Let d(k) be the third derivative of 1/120*k**6 - 17/24*k**4 - 2/3*k**3 - 6*k**2 + 0*k + 0 + 13/60*k**5. Does 19 divide d(-14)?
True
Let o(f) = -1054*f**3 + 2*f**2 - f. Let l be o(-2). Does 9 divide l/105 + (-2)/5?
False
Let w(v) = v**3 + 22*v**2 + 48*v - 47. Does 9 divide w(-13)?
False
Let u(l) = -l**3 + 36*l**2 + 59*l - 354. Does 59 divide u(36)?
True
Suppose 2*j = n + 174, -4*j + n - 120 + 470 = 0. Is 11 a factor of j?
True
Let r be (-12)/(-2 + 277/140). Suppose -u - 3*u + 4*z = -r, 4*z - 4 = 0. Does 18 divide u?
False
Suppose 9 = -5*h + 39. Suppose -g + 40 = -h*g. Does 18 divide (2 + g + 3)*-12?
True
Suppose -3*j + 26 = 2*j - r, 0 = -2*j + 3*r + 13. Suppose -4*b = -4*z + b + 63, 25 = j*b. Let n = z - 4. Is 6 a factor of n?
True
Let k(b) = -2*b**3 + 41*b**2 - 8*b + 15. Is 71 a factor of k(18)?
True
Let c = 44 - 49. Let k = 5 - c. Is k a multiple of 10?
True
Let u = -76 - -69. Let i(o) = o**3 + 8*o**2 - o + 17. Does 18 divide i(u)?
False
Let n = -97 + 50. Let q = -28 - n. Is 16 a factor of q?
False
Let h(o) = o - 3. Let u be h(9). Let a(q) = q**2 - 8*q + 8. Let d be a(u). Is (6/d)/((-2)/56) a multiple of 14?
True
Suppose 0 = 4*u + 8 + 16. Let c = -2 - u. Suppose 0 = -p + c*p - 180. Does 20 divide p?
True
Let l = 129 + -57. Suppose 2*n + l = 2*m, -2*n + 3*m = -m + 64. Is (n/25)/(1/(-30)) a multiple of 16?
True
Let c be 0/(-4) + 0 - -39. Is (1 + 0)*(-8 + c) a multiple of 10?
False
Suppose 0 = 3*z + d - 663, z + 0*d + 5*d = 207. Is 34 a factor of z?
False
Suppose 2*j - 16 = 4. Suppose 0 = -5*n + 3*d + 275, 3*n - 4*d - 143 = 22. Is 14 a factor of (-22)/n + 404/j?
False
Let b be 8/(-6)*18/4. Let i(y) = -y - 4. Let t be i(b). Is 21 a factor of (-1 + t + 20)*1?
True
Let m be (-4)/28 + (-6130)/(-35). Suppose -r - m = -6*r. Is 5 a factor of r?
True
Let i(r) be the first derivative of r**6/360 - r**5/120 - r**4/24 + 10*r**3/3 + 6. Let b(t) be the third derivative of i(t). Is 3 a factor of b(-2)?
False
Suppose 77 = -4*a - 19. Suppose -3*g - i = -169, -3*g - 4*i + 2*i = -170. Let k = a + g. Is k a multiple of 14?
False
Suppose 0 = -28*m + 32*m. Suppose 78*p - 80*p + 90 = m. Is p a multiple of 19?
False
Suppose 2122 = 3*m + 2*m + 2*h, 5*h = 5*m - 2115. Suppose 9*l = 13*l - p - m, -12 = 3*p. Is l a multiple of 21?
True
Is (-20 + 0)*13/(-2) a multiple of 6?
False
Let v(l) = 6*l - 9. Let q be v(2). Suppose q*z +