 13 = -17, -4*f = -5*y + 68. Does 11 divide r(y)?
True
Let y be (3/2)/((-3)/32*-1). Is (y/3 + -1)*(0 + 9) a multiple of 13?
True
Suppose 3*p + u = 2*p + 223, p - 4*u - 228 = 0. Is p a multiple of 25?
False
Suppose -3*b + b = 5*a - 29, 19 = 5*a - 3*b. Let i(d) = d**2 + 8*d - 46. Let t be i(-13). Suppose -5*m - a*h - t = -89, 0 = 2*m - h - 16. Is 7 a factor of m?
False
Let h(z) = z**2 + z - 2. Let d be h(1). Is 16 a factor of d/(-1) - (5 - (-4 + 136))?
False
Let v(h) = -45*h. Let s be v(-2). Suppose 3*i - s = -5*p + 128, i - 101 = 4*p. Is 6 a factor of i?
False
Suppose 2*n - 10 = -3*n. Suppose 4*r + 5*d = 139, 0 = r + n*d - 1 - 33. Does 27 divide r?
False
Suppose -35*n + 30*n = 2*i - 860, -5*i = 25. Does 29 divide n?
True
Suppose -3*j - 5 - 37 = 0. Let k = j + 59. Is k a multiple of 17?
False
Suppose 2*r - 5*y = -2*y - 7, -y + 21 = -3*r. Let q(z) = -z**3 - 9*z**2 - 13*z + 8. Is 8 a factor of q(r)?
True
Suppose -2*n = -5*v + 1434, 2*n = 3*v - 7*v + 1140. Is v a multiple of 13?
True
Let q(s) = -73*s + 95. Is 10 a factor of q(-10)?
False
Let d be (2 + 21/(-9))*9. Let s be (-4 + 4)/d - -12. Is -3*((-44)/s + -4) a multiple of 18?
False
Suppose -7*h + 166 = -6*h. Suppose 8*m + 14 = h. Does 5 divide m?
False
Let b be (-168)/(-27) - (7/(-9) - -1). Suppose -10*y + b*y = -192. Is y a multiple of 4?
True
Let d(i) = 5*i**3 - 2*i**2 + 15*i + 25. Let k be d(-4). Let x = -171 - k. Is 36 a factor of x?
True
Suppose -9 = -f + 2*f. Let z(b) = b + 36. Let d be z(-21). Is (11 + f)/(1/d) a multiple of 15?
True
Is (-1255 + 15)*(-10)/8 a multiple of 31?
True
Is 30 a factor of ((-32)/(-3))/(-8)*-204?
False
Let y(x) be the second derivative of -x**4/12 + 7*x**3/6 + 3*x**2/2 - 15*x. Is y(4) a multiple of 3?
True
Let p = -534 + 627. Is p a multiple of 10?
False
Let r = 59 + 25. Does 12 divide r?
True
Suppose -5*x + 5*c + 422 = -378, -163 = -x - 2*c. Is x a multiple of 4?
False
Let s(u) = 3*u + 64. Let d(r) = -r**3 - 26*r**2 - 47*r + 7. Let t be d(-24). Does 9 divide s(t)?
False
Let f = -226 - -361. Is 13 a factor of f?
False
Suppose 0 = 36*a - 40*a + 16. Suppose -5*q + 132 = 2*v, -q - q + 5*v = -47. Suppose 5*k - q = a*k. Is k a multiple of 13?
True
Let q(l) = 4*l**2 - 138*l - 18. Does 53 divide q(47)?
True
Is 13 a factor of ((-338)/4)/(-4 - 28/(-8))?
True
Let w(t) = -289*t + 61. Is 19 a factor of w(-3)?
False
Let z = -62 + 110. Is z a multiple of 3?
True
Let l = -10 + 7. Let g = 6 + l. Suppose -3*x + 3*d = -0*x - 54, 5*d = -g*x + 14. Does 13 divide x?
True
Suppose -4*w - 24 = -6*w. Let h = w - 7. Suppose 4*s = b - 16, -2*b + 38 = -0*b - h*s. Does 12 divide b?
True
Let m(o) = 3*o**2 - o + 2. Let h(k) = k - 6. Let r be h(6). Suppose -4*d + 5 + 7 = r. Does 13 divide m(d)?
True
Suppose 0 = -3*w - 4*w + 1659. Is 22 a factor of w?
False
Suppose -46 = 3*c - 187. Let i be (4/8)/(1/(-58)). Let z = i + c. Is z a multiple of 7?
False
Let m be -4*(-20)/32*2. Suppose -469 = -s - 2*s - 5*t, -m*t - 183 = -s. Is s a multiple of 24?
False
Suppose 0*k = -3*k - 141. Let z = -33 - k. Does 6 divide z?
False
Let k = -15 + 60. Suppose 35 = -f - 2*w, -w - 88 - k = 4*f. Let u = f + 77. Is 11 a factor of u?
True
Let k(v) = v + 1. Let t be k(1). Let a be 1 + t + -2 - 41. Is 7 a factor of (48/a)/(3/(-40))?
False
Suppose 22 - 49 = -3*l. Let f = -7 + l. Suppose 0 = f*v - 14 - 6. Is v even?
True
Let d(u) = 4*u**3 - 1. Let b be d(1). Suppose 0 = -b*h - 5*w + 327, -3*w + 0*w = -2*h + 237. Let f = h + -78. Is f a multiple of 12?
True
Let q(f) = f**3 + 22*f**2 + 23*f. Let y be q(-21). Let m = 117 + -24. Let b = y + m. Is 17 a factor of b?
True
Suppose -3*i = -i - 52. Suppose o - c - 64 = 0, -2*o - 4*c + i + 78 = 0. Is o a multiple of 20?
True
Let x(m) = -24*m**3 + 0*m - 9 + 23*m**3 - 3*m**2 - 4*m. Is x(-4) a multiple of 8?
False
Suppose -14*z - 81 = -17*z. Let t = 43 + z. Does 15 divide t?
False
Suppose 5*v = -4*h + 24, -7*h = -2*h - 3*v + 7. Let s be h - (-4 - -4) - -126. Let n = s + -82. Does 16 divide n?
False
Let h be -10*((-17)/(-5) - 4). Is 4 a factor of (-32)/h*(-9)/12?
True
Let p be 38/8 + 6/24. Suppose -p*x = -2*j + 33, -15 = -3*j - 4*x - 0*x. Does 4 divide j?
False
Suppose t - 3*t = -4*a - 4772, -5*a = 4*t - 9596. Let w be (-8)/44 - t/22. Is w/(-4) - 9/36 a multiple of 9?
True
Is 15 a factor of (-378)/(-56)*7/(21/60)?
True
Let g be -20 - (2 + -1 + -1). Let u be 1265/4 + 5/g. Suppose -5*w = -u + 116. Does 20 divide w?
True
Suppose 18*s - 20*s - 3*g = -477, -4*s = -g - 919. Does 4 divide s?
False
Let g(y) = 6*y - 47. Let m be g(9). Is 17 + m + 1*(-1)/1 a multiple of 3?
False
Let l(v) = 11*v - 11. Suppose -5*r = -2*b - 32, 0 = -r - 2*r + b + 19. Is l(r) a multiple of 28?
False
Suppose 0 = 2*f - 21 + 7. Let c(o) = 3*o**3 + 2 + 1 - 4*o**3 + 2*o - 7*o**2 + 2*o**3. Does 17 divide c(f)?
True
Let u(m) = -3*m**3 - 3*m**2 + 2*m**3 + 4*m**3. Suppose 0*o + 12 = 4*o. Is u(o) a multiple of 18?
True
Let y(m) = m**3 - 80*m - 10 - m**2 + 81*m - 12*m**2. Let h be y(13). Suppose -h*c - 2*s + 132 = 2*s, -5*c + 4*s + 188 = 0. Is 10 a factor of c?
True
Let w(m) = 7*m**2 - 15*m - 9. Let b be w(4). Suppose -40*z + b*z = 819. Does 39 divide z?
True
Let k = -2357 - -4547. Is 73 a factor of k?
True
Let p(j) = j**2 + j. Let w(q) = q**2 + 22*q - 29. Let b(a) = 2*p(a) - w(a). Does 5 divide b(20)?
False
Let z(p) be the first derivative of -7 - 1/3*p**3 + 32*p + 8*p**2. Is 8 a factor of z(16)?
True
Suppose -g - 5*y + 147 = 2*g, 5*y = 3*g - 177. Is 15 a factor of g?
False
Suppose -2*i = k - 0*i - 13, -61 = -3*k + 5*i. Let o(j) = -3*j**3 + 60*j**2 + 2. Let h be o(20). Suppose -h*c + c + k = 0. Does 2 divide c?
False
Let m(z) = -6*z + 29. Let n be m(20). Let s = -41 - n. Is s a multiple of 3?
False
Let q(d) be the third derivative of -d**6/120 - 2*d**5/15 - d**4/8 - 3*d**3/2 - 23*d**2. Is q(-8) a multiple of 14?
False
Let o = -427 - -654. Is o a multiple of 8?
False
Let u be -3 + (-58)/(-18) - 372/(-27). Does 5 divide u + -5 + 3/3?
True
Let m(h) = 118*h + 12. Does 5 divide m(1)?
True
Let n(a) = a**2 - 2*a - 6. Let i be n(5). Let u = 11 - i. Suppose 0 = -u*c + 2 + 132. Is 18 a factor of c?
False
Does 33 divide 118 + (-13)/(91/21)?
False
Let y be 1713/(-9) - 6/(-18). Let w = -91 - y. Does 20 divide w?
False
Let p = -22 - -34. Let y(s) be the first derivative of -s**4/4 + 13*s**3/3 - s**2/2 - 17*s - 175. Is y(p) a multiple of 30?
False
Let z(g) = -8*g + 43. Is 6 a factor of z(3)?
False
Let f = -1760 + 3168. Is 54 a factor of f?
False
Suppose -209*w - 1066 = -211*w. Is w a multiple of 41?
True
Let r be 12/(-8)*(-8)/(-3). Let q(l) = l**2 - l - 14. Let n be q(0). Is (-32)/n - r/(-14) even?
True
Is 5 a factor of 63 + 0/(7 - 0)?
False
Suppose -3*h = 2*m - 17, 0 = 3*h - 8*h + 4*m - 1. Suppose -24 = -3*r - h*r. Suppose p - 5*p = -r, 2*p = -5*k + 372. Does 18 divide k?
False
Suppose 4*f - 96 = 2*c - 0*c, -2*c - 4 = 0. Let g = f + 10. Is g a multiple of 6?
False
Let a(x) = x**3 - 4*x**2 - 5*x + 8. Let w be a(4). Let y(f) be the third derivative of -f**5/60 - f**4/2 + 5*f**3/6 + 2*f**2. Is y(w) a multiple of 5?
True
Let f = 356 + -234. Suppose 0 = 2*z + 2, 2*z + 2 = 3*a - 6. Suppose h - 3*v = 2*v + 55, -2*v + f = a*h. Does 16 divide h?
False
Suppose -4*v = -30 - 18. Is 4 a factor of v?
True
Let q(j) = j**2 - 22*j + 6. Let b be q(17). Let t = b + 265. Is 16 a factor of t?
False
Let j = 195 - 55. Suppose -5*n + 25 = j. Let c = 39 + n. Is c a multiple of 8?
True
Let j(b) = b**3 - 4*b**2 - 5*b + 10. Let y be j(7). Suppose u - y = -u. Is 12 a factor of u?
False
Suppose 0 = 5*p - z - 1072 + 229, 3*p = z + 507. Suppose -2*h + p = 4*h. Is h a multiple of 8?
False
Let u(b) be the first derivative of -b**2/2 - b - 1. Let k be u(-3). Does 15 divide -1 - (-2 + -66 + k)?
False
Suppose 4*n = -8, 4*n + 148 = m + m. Does 5 divide (-10)/3*(1 - m/4)?
True
Does 8 divide 139896/972 - 2/(-27)?
True
Let s(h) = -3*h**2 - 2*h + 60. Let k be s(0). Let t(c) = c**3 - 7*c**2 + 4*c + 7. Let a be t(6). Is 66*a/(k/(-8)) a multiple of 14?
False
Let v(j) = 9*j**2 + 97*j + 15. Is v(-20) a multiple of 7?
False
Let j(f) = 7*f**2 + 12*f + 24. Let b be j(-4). Suppose v - b = 126. Does 31 divide v?
False
Let c = -2272 - -3213. Is 8 a factor of c?
False
Suppose 243*i = 238*i + 7540. Does 26 divide i?
True
Let s(q) = 6*q + 10. Let i be s(-7). Let k = 80 + i. Suppose r - 36 = -o,