 p. Let d = 107 + r. Does 15 divide d?
False
Suppose 0 = 4*i + 3*k - 2111 - 175, 4*k - 8 = 0. Is 20 a factor of i/(-9)*15/(-10)?
False
Let k(f) = -5*f - 4. Let h be k(-3). Let q = h - -1. Does 12 divide q?
True
Let l = 19 + -17. Suppose 3*r = 8*r + l*n + 4, 2*r - 3*n = 6. Suppose r*g + g = 5. Is 4 a factor of g?
False
Let c(h) = h. Let i(v) = -6*v + 1. Let n(r) = -40*c(r) - 5*i(r). Let f(p) = -2*p. Let s be f(2). Does 18 divide n(s)?
False
Let o = 102 + -101. Let u = 104 + o. Is u a multiple of 15?
True
Suppose 0 = -y + 3 + 1. Let a(i) = -6*i + 50. Let k be a(-10). Suppose -y*o - v + k = 0, -o = 4*o - 2*v - 144. Is o a multiple of 14?
True
Let x(b) = -b**2 - 21*b - 20. Let f be x(-19). Suppose f*m - 17*m = 22. Does 19 divide m?
False
Is 25 a factor of 7 - (4/10)/((-8)/23360)?
True
Suppose 4136 = 27*k - 16*k. Is 47 a factor of k?
True
Let h(i) = i**3 + 6*i**2 - i + 4. Let g be h(-5). Let d = g + -17. Let j = -2 + d. Does 3 divide j?
True
Is 3 a factor of 21584/112 - 12/(-42)?
False
Suppose 0 = -4*c + 2*l + 2154, -5*l - 1190 = -3*c + 436. Is 72 a factor of c?
False
Suppose -3*l - 3*l + 24 = 0. Let o = -10 + 12. Suppose -f - l*g = 7, -g - o*g - 21 = -f. Is 3 a factor of f?
True
Let f = -65 - -337. Does 8 divide f?
True
Suppose 10*t - 7*t + 9 = 0. Is (-580)/(-35) - t/7 a multiple of 4?
False
Suppose 3*g + 5*x = 148, 2*g - g - 54 = -4*x. Suppose -2*b + 14 = -g. Suppose 5*a - b = z - 2*z, 5*z - a - 20 = 0. Is z a multiple of 4?
False
Is 27 a factor of ((-25)/((-350)/(-364)))/(4/(-50))?
False
Let j(v) = -2*v**3 - 3*v**2 + v + 35. Is j(-6) a multiple of 16?
False
Let t(v) = 4*v**2 - 6*v + 2. Let y(h) = -h**2 - h. Let u(j) = t(j) + 3*y(j). Let q be u(9). Suppose 0 = -5*s + 4*s - 2, 88 = 3*b - q*s. Is 28 a factor of b?
True
Let i(m) = 6*m**2 - m + 1. Let k be i(1). Let s(u) = 5*u - 14. Let y be s(k). Suppose -2*g + 42 = -y. Is 9 a factor of g?
False
Let s = -567 + 960. Is s a multiple of 46?
False
Let u(k) = -k**2 + k + 16. Let a be u(18). Is 33 a factor of 17 + -7 + -6 + (1 - a)?
False
Let q(h) = 3*h**2 + 33*h + 116. Is 11 a factor of q(-19)?
True
Let w be 9 + 2/((-4)/(-6)). Let l = w - 18. Let r = l + 37. Is r a multiple of 8?
False
Suppose 10*g = 5*g - 60. Let p = g - -22. Does 4 divide p - 13 - -2*5?
False
Let o(r) = -16*r + 1. Let a = -37 + 36. Is o(a) a multiple of 10?
False
Let c be 10/5 + -31 + -1. Let f = c - -30. Is f + 4 + (4 - 0) a multiple of 8?
True
Suppose -39 = 3*d + 9. Suppose -2*z - 40 = 2*z. Let b = z - d. Is 4 a factor of b?
False
Let u = -4912 + 7063. Is 13 a factor of u?
False
Suppose -9*u = -6*u + 1011. Let f = 488 + u. Does 11 divide f?
False
Let l(q) = 47*q**2 + 3*q + 2. Let c(y) = y**2 - 2*y - 2. Let h be c(2). Let w be l(h). Is (w/20)/((-3)/(-15)) a multiple of 20?
False
Let c(a) = 2*a - 9. Let l be c(6). Suppose 2*b - 195 = 5*n, -l*b = -0*n + 5*n - 255. Is 18 a factor of b?
True
Suppose 3*v - 5*v = -5*b - 46, -3*b = -4*v + 22. Let t = -1247 + 842. Is (t/b)/((-2)/(-4)) a multiple of 30?
False
Does 23 divide (-7)/(98/805)*(-176)/10?
True
Let k(j) = -j**3 + 7*j**2 + 9*j - 6. Let m be k(8). Suppose 0 = 5*r - m*h - 23, -h + 1 = r - 5*h. Suppose o + 152 = r*o. Is 19 a factor of o?
True
Let i = 91 - 48. Let h = 64 - i. Does 15 divide h?
False
Suppose 0 = 3*q + b - 5*b - 1162, 0 = -3*q - 2*b + 1138. Is q a multiple of 12?
False
Let b(r) = r**2 + 9*r - 15. Let q be b(-9). Let g = q - -71. Is g a multiple of 8?
True
Let o(w) = 2*w + 15. Let v be o(8). Let x = 41 - v. Does 5 divide x?
True
Let q(z) = -z**3 + 13*z**2 + 6. Let j be q(13). Suppose 0 = -j*a + 150 + 156. Does 17 divide a?
True
Let l be (-7 + 0)/(3 - (-2)/(-1)). Let w(b) = b**3 + 8*b**2 + 6*b + 17. Does 3 divide w(l)?
True
Let i(z) = 8*z**2 - 5*z - 5. Let u be i(-3). Let y be u/1 + (0 - -4). Let v = -17 + y. Is v a multiple of 14?
False
Let v = -155 - -214. Is 8 a factor of v?
False
Let d(z) = -18 + 5 + 2*z**2 + 2*z + z**2 - 5*z. Let o(s) = -s**3 - 2. Let w be o(-2). Does 20 divide d(w)?
False
Suppose -5*t - 415 - 190 = 0. Is 32 a factor of -1 - (-4 + 2) - t?
False
Let l(a) = -5*a**2 + 7*a - 2. Let m(h) = 5*h**2 - 6*h + 1. Let u(x) = -4*l(x) - 5*m(x). Let g be u(-4). Let d = g - -121. Is 6 a factor of d?
True
Let b(d) = 4*d**2 - 6*d - 7. Suppose 8*h - 4*h + 3*f = -11, -h = 4*f - 7. Does 14 divide b(h)?
False
Let o(m) = -m**3 - 13*m**2 + 15*m - 77. Does 63 divide o(-17)?
False
Is 15 a factor of (-18)/(-10)*3050*18/36?
True
Suppose 71*q - 85 = 66*q. Let h = 45 - q. Does 15 divide h?
False
Let s(h) = -2*h**2 + 6*h + 11. Let c be s(5). Let g = 65 - c. Does 9 divide g?
False
Is 7 a factor of (0 - 9)*(-13380)/180?
False
Suppose -h + 774 = -2*f, 3*f = 13 - 4. Is 19 a factor of h?
False
Let c = 800 + 569. Does 50 divide c?
False
Let b = 285 - 126. Suppose 3*s - b = -0*s. Does 26 divide (-9)/18 - s/(-2)?
True
Suppose -26 = -0*a - a + 2*f, -2*f - 94 = -3*a. Suppose a = 6*s + 10. Let d(h) = -h**3 + 5*h**2 - 2*h - 4. Is 4 a factor of d(s)?
True
Suppose -870 = 213*v - 215*v. Does 15 divide v?
True
Suppose 12 = 3*f, 1332 = 4*l + 11*f - 16*f. Is l a multiple of 26?
True
Let f be (3 - (-19)/(-7)) + (-8)/28. Suppose -23*q + 8*q + 2520 = f. Is q a multiple of 21?
True
Suppose -27*a - 5656 = -35*a. Does 17 divide a?
False
Let i(c) = -6*c - 7. Let z be i(-2). Suppose 7 = 6*l - z. Is l*(420/8 - 2) a multiple of 24?
False
Let j = 74 + -68. Suppose j*v - 297 = 339. Is 20 a factor of v?
False
Suppose 5*a - 615 = -0*a - 5*b, -5*a - b + 627 = 0. Is a a multiple of 16?
False
Suppose 514 = 2*d - 794. Is d a multiple of 73?
False
Let o(x) = 26*x + 29. Let g be o(4). Suppose -y + g - 46 = 0. Is y a multiple of 26?
False
Suppose -t = d - 1, t - 5*d + 6 - 1 = 0. Suppose t = z - 1 - 67. Does 13 divide z?
False
Suppose 3*l - 599 = 5*j, 6*j - 11*j + 985 = 5*l. Is 15 a factor of l?
False
Suppose -3 = -3*n + k - 0*k, 3*n = 4*k + 3. Suppose 2*x - 23 - 23 = 0. Does 3 divide (-2)/(-4)*(x - n)?
False
Suppose -5*u = -4*u - 400. Suppose 2*s = i + 17 + 183, 4*s = -2*i + u. Is 20 a factor of s?
True
Let y be 0/(-2) + -30 + -1. Let r = y - -130. Let d = r - 40. Is d a multiple of 10?
False
Let a = 19 - -43. Let b = 26 - 49. Let t = b + a. Is t a multiple of 13?
True
Suppose t + 0*t - 4 = 0. Suppose 3*u - t*u = 3*d - 33, 5 = d. Is 9 a factor of u?
True
Let r = -14 + -56. Let m = 126 + r. Does 7 divide m?
True
Let a = 1 - -5. Suppose r + 4*i - 104 = 0, 0 = -a*r + 2*r + i + 365. Does 26 divide r?
False
Let h(r) = r**3 + 16*r**2 + 9*r - 10. Let i = -4 - 10. Let o be h(i). Does 11 divide o/(-40)*10/(-2)?
False
Let k = 96 - 122. Let b = k - -40. Does 4 divide b?
False
Suppose 3*m = 3252 + 1698. Is m a multiple of 33?
True
Let s(r) be the second derivative of -23*r**5/10 - r**2/2 + 25*r. Is s(-1) a multiple of 8?
False
Let d = 854 + -700. Is d a multiple of 7?
True
Suppose -j + m - 367 = -3*j, m - 925 = -5*j. Suppose j = x - 0*x. Is 38 a factor of x?
False
Let z(f) = f - 2*f**3 - 5 + 13*f**2 + f**3 + 0*f**3. Is z(13) a multiple of 7?
False
Suppose 0 = -4*t + 5*c - 170, 0*t + 2*t + 5*c = -70. Let l be 1*-9*(-3)/3. Let r = l - t. Is r a multiple of 20?
False
Let z(q) = 3*q + 3. Let c be z(-5). Let f be (-6)/(-4) + (-30)/c. Suppose -f*s + 2*s + 4 = 0. Is 2 a factor of s?
True
Let t be ((-12)/5)/((-9)/(-45)). Let w = 32 + t. Is 4 a factor of w?
True
Let v = 1638 - 1122. Does 12 divide v?
True
Let u = 2260 + -1342. Does 118 divide u?
False
Does 4 divide 195/(-4)*3260/(-489)?
False
Let y(s) = s**3 - 4*s**2 + 3*s - 5. Suppose 2*c = -6, -29 = -4*z + 4*c - 5. Suppose -2*r = -6, -r - 2 = t - z*r. Is 5 a factor of y(t)?
False
Let u = -75 + 239. Is u a multiple of 7?
False
Let c(p) = -13 - 6*p - 19 + 2 - 4. Is 13 a factor of c(-15)?
False
Let b = 2 + 86. Suppose -8*z + 4*i = -3*z - 335, z = 5*i + b. Suppose -40 = -2*s + 4*o, -3*o - z = -2*s - s. Does 12 divide s?
False
Suppose -1205 = -4*b + h - 309, -2*h = 5*b - 1120. Is 32 a factor of b?
True
Suppose 4*p = -3*i + 1833, -7*p + 11*p + i - 1827 = 0. Is 24 a factor of p?
True
Let u be (12 - 2)*423/(-18). Let x = -163 - u. Is x a multiple of 6?
True
Does 22 divide 2 - (0 + -149)*3?
False
Suppose 22*x - 38 = 908. Is x a multiple of 8?
False
Let g = 16 - 14. Suppose -g*c + 6*c = 84. Is c a multiple of 7?
True
Suppose -27*m + 30*m = 2226. Is m a multiple of 44?
False
Suppose a - 3*b - 298 =