 r(d) = 62*d**2 - 22*d + 1. Is 59 a factor of r(4)?
False
Let n(o) = o**3 + 7*o**2 - 3*o - 10. Let z be n(-7). Let y(b) = 16 + 147*b - 54*b - 47*b - 45*b. Is y(z) a multiple of 9?
True
Let a = -6 + 8. Let t(o) = 25*o - 2. Let h be t(a). Suppose 0 = 6*l - 9*l + h. Does 8 divide l?
True
Let x = -240 - -65. Does 15 divide 4672/14 + (-50)/x?
False
Let o(t) = -5*t**3 - 3*t**2 + 3*t + 5. Let q(y) = -y - 6. Suppose 5*j + 15 = -0*j. Let i be q(j). Is 13 a factor of o(i)?
True
Let h be 4*(-2 - (-14)/4). Suppose -l - 135 = -h*l. Is 11 a factor of l?
False
Let g = 14 - 9. Suppose g*s + 2*b - 120 = 6*b, -5*b + 48 = 2*s. Suppose -56 = -z - s. Is 16 a factor of z?
True
Let z be 3/2*8/3. Let k = z + 0. Suppose 0 = 3*t + 15, k*t + 4 = -0*n - n. Is 16 a factor of n?
True
Let d = -161 - -176. Is d even?
False
Suppose -j + 21 = -2*t - 0*j, 5*j - 55 = 5*t. Let n be (5 - -25)*(-4)/t. Suppose -2*m = -8 - n. Is 10 a factor of m?
True
Let u(k) = 61*k - 56. Is 24 a factor of u(10)?
False
Suppose 5*k = 74 + 81. Does 10 divide ((-2)/(-3))/(k/15 + -2)?
True
Let g(n) = -n**3 + 7*n**2 + 7*n - 5. Is 5 a factor of g(5)?
True
Suppose -4*q = -m + q - 12, 5*q = 15. Does 3 divide m/((-12)/(-8)) - -20?
False
Suppose 7*m - 18 + 4 = 0. Suppose 0*c + 716 = 4*c - m*k, 4*k - 348 = -2*c. Does 17 divide c?
False
Is (30836/130)/(2/5) a multiple of 54?
False
Let f be -987*((-21)/(-9) - 3). Suppose f + 266 = 7*h. Is h a multiple of 19?
False
Let g = 197 - 53. Does 26 divide g?
False
Let f = 288 - 200. Suppose -4*d + 24 = f. Let p = 35 + d. Is 7 a factor of p?
False
Let k(j) = -j**2 + j + 11. Suppose 7*h = 2*h. Let w be (9/6)/(-3)*h. Is 7 a factor of k(w)?
False
Let j be (-55492)/(-32) - 4/32. Suppose -6*m = j - 558. Let s = -137 - m. Is 18 a factor of s?
False
Suppose -5*s + 6519 = -2*q, -5*q + 6*q = -3*s + 3918. Is s a multiple of 29?
True
Does 3 divide ((-1)/4)/((5/100)/(-1))?
False
Suppose 141*x - 134*x - 2576 = 0. Does 46 divide x?
True
Let j = 64 - -26. Let x = j - 60. Does 10 divide x?
True
Suppose 3*v = -4*m - 2628, -5*v = 3*m - 191 + 2162. Let a = m - -1071. Does 26 divide (-2)/(-8) - a/(-8)?
True
Let g be (-1 - 1)*786/(-12). Suppose 0 = 5*p - g - 24. Is p a multiple of 4?
False
Let m be 3 + 1 + -5 + 10. Suppose -m = 3*u - 4*u. Is 2 a factor of u?
False
Let b = -1021 - -1525. Does 42 divide b?
True
Let q = 950 + -734. Is q a multiple of 9?
True
Let x = 1243 + -763. Does 96 divide x?
True
Let u be 217/(-14) + 1/2. Let m(n) = -n**2 - 23*n - 48. Does 9 divide m(u)?
True
Let b(n) = -47*n - 34. Does 6 divide b(-2)?
True
Suppose 28*o - 30*o = -28. Is 14*2/4*o a multiple of 7?
True
Let c = 612 - 28. Is 41 a factor of c?
False
Let w(k) = 158*k - 199. Is w(5) a multiple of 5?
False
Let z be 7/(45/(-20) - -1*2). Let v = 56 - z. Does 21 divide v?
True
Let j be (-7 - (-4 - 0))*(-3)/3. Suppose -4*a - 3*o = -375, -o = -j*a - 4 + 269. Does 45 divide a?
True
Let z = -338 - -623. Is 28 a factor of z?
False
Suppose 5*b = 5*g - 400, g + 0*b - 3*b = 76. Suppose -5*p + g = 3*k - 76, -71 = -k + 2*p. Is 5 a factor of k?
False
Let r(v) = v**3 - 7*v**2 - 24*v + 18. Is 21 a factor of r(14)?
False
Suppose -3*p = 3*m + p - 11, -4*m = 5*p - 15. Let c(n) = -n**2 + 6*n - 3. Let o be c(m). Let w = o + 9. Does 11 divide w?
True
Let g(p) = p - 1. Let m(c) = -c**2 - 19*c - 2. Let s(v) = 6*g(v) + m(v). Let f(h) = -h**2 + h - 7. Let k be f(0). Does 17 divide s(k)?
True
Let y(t) = -76*t + 2. Let j be y(-1). Suppose -5*q = -3*q - j. Does 23 divide q?
False
Suppose 3*t = 3*m - 5*m + 695, 235 = t + 4*m. Is t a multiple of 14?
False
Suppose l - 3*c = -6*c + 1045, -4*l + 4141 = -c. Is l a multiple of 31?
False
Suppose 5*f + 257 = 1492. Suppose c - s = -83, 2*s = 3*c - 0*s + f. Let l = -57 - c. Does 17 divide l?
False
Let u(o) = o + 2. Let y be u(-1). Let h(l) = 11*l + 2. Does 3 divide h(y)?
False
Is 8/(-40) + (-2916)/(-5) + -2 a multiple of 4?
False
Let s(u) = u**2 + 7*u + 6. Suppose -10 = p - 3. Let o be s(p). Suppose -34 - o = -4*k. Is k a multiple of 5?
True
Suppose 45*q - 88*q + 93697 = 0. Is q a multiple of 24?
False
Is 23 a factor of -2 - -1*3797/1?
True
Is 24 a factor of 1481 + (-7)/(1/((-7)/7))?
True
Suppose 3*n + 7 = k - 14, n + 2*k + 7 = 0. Let m = n + 2. Is 46/m*40/(-16) a multiple of 23?
True
Suppose 20 = 5*s - 0. Suppose 3*k + s*h + 177 = 0, 3*h = 3*k - 36 + 213. Let x = k + 146. Is x a multiple of 31?
False
Suppose -9449 = -28*a + 24795. Is a a multiple of 97?
False
Suppose 13 = -3*v - 8. Let s(c) = 72*c + 7. Let d be s(v). Is (d/14)/(2/(-4)) a multiple of 8?
False
Let x be 122/12 + 2/(-12). Let p = -7 + x. Suppose -49 = -p*f - 16. Does 11 divide f?
True
Suppose 3*d + 251 = -364. Let a = d - -351. Suppose -2*m + a = 5*z, -3*m = 2*m + 3*z - 384. Is m a multiple of 26?
True
Suppose m - 260 = 87. Is m a multiple of 17?
False
Let p(v) = -29*v - 487. Is 31 a factor of p(-20)?
True
Is (-168)/9*((-581)/28 + 8) a multiple of 17?
True
Let p = 24 + -25. Let q(n) = -122*n + 4. Is q(p) a multiple of 26?
False
Suppose -115570 = -5*a - 125*a. Is a a multiple of 42?
False
Let c(q) = q**2 - 10*q + 14. Let n be c(9). Suppose 198 + 132 = n*d. Does 7 divide d?
False
Let t = -8 - -3. Let v = t + 3. Let w(p) = p**2 - p + 2. Does 8 divide w(v)?
True
Is 8 + (-707)/(-14) + 6/4 a multiple of 9?
False
Suppose 11 = -5*h + 1. Let z(x) = -4*x + 10. Does 6 divide z(h)?
True
Suppose 0 = -4*d + 6*d + 24. Let x = 23 + d. Is x a multiple of 4?
False
Suppose 3*b = 2*b + 4. Suppose -b*n + 78 = -126. Is 17 a factor of n?
True
Let v(j) = j**2 + 4*j - 8. Let n be v(-5). Does 28 divide 56 + (6/n)/(-1)?
False
Let a(h) = 135*h + 54. Is a(3) a multiple of 22?
False
Suppose 1953 = 2*z + 5*v, 5*z = 3*z + 5*v + 1983. Is z a multiple of 41?
True
Let o(z) = 0*z + 0*z + z + 4*z**3 - 1. Let f be o(2). Let a = f + -21. Does 4 divide a?
True
Does 22 divide -9 + (-28963)/(-6) + (-1)/6?
True
Let k = 2054 - 843. Is 58 a factor of k?
False
Let s(c) = -2*c. Suppose -2*n + 2 = 2*o, 5*n - 6 = -4*o - 3. Let t be s(n). Does 3 divide (t - 2 - -16) + -1?
True
Let f(l) = -46*l**3 - l**2 - 24*l - 54. Is 9 a factor of f(-3)?
True
Let y(b) = -34*b - 60. Is 33 a factor of y(-3)?
False
Let k be (14/4)/((-5)/(-10)). Suppose -13 = -k*u + 6*u. Does 3 divide 1/(-4) + u/4?
True
Let b(g) = -g. Let j be b(-4). Let i(p) = 13*p - 6. Let d be i(j). Let u = -19 + d. Is 13 a factor of u?
False
Let u(b) = -417*b**3 - 3*b**2 - 4*b - 2. Is 20 a factor of u(-1)?
False
Let w be (-57)/19*(-1)/1. Suppose -7*d + 428 = -w*d. Does 14 divide d?
False
Suppose -h + 54 = -5*y + h, 3*h = 4*y + 39. Let v = 12 - y. Does 8 divide v?
True
Is (-4)/((-40)/18)*25 even?
False
Let w(t) = -17*t - 426. Does 6 divide w(-31)?
False
Suppose 5*w + 15 = -3*n + 2193, 2*n = 4*w - 1738. Is 29 a factor of w?
True
Let i(t) = t**3 - 5*t**2 - t. Suppose 2*p = h - 4*h - 15, 0 = -2*h + 10. Let j = 21 + p. Is i(j) a multiple of 30?
True
Suppose 0 = -2*d + 5*d. Let y(l) be the first derivative of -l**2/2 + 14*l + 6. Is y(d) a multiple of 14?
True
Suppose -84*j = 13*j - 6984. Is j a multiple of 18?
True
Suppose 0 = -5*r + 4*r + 17. Suppose 3*f - 772 = -5*n, f - 139 = -n + r. Is 38 a factor of n?
True
Does 7 divide ((-5)/(-20))/1 - 2455/(-20)?
False
Is 34 a factor of (-70)/(-7) - -10*305?
True
Let m(c) = -c**3 - 4*c**2 + c + 29. Is 5 a factor of m(-11)?
True
Is -612*((-12)/(-9) + -2) a multiple of 26?
False
Suppose -194 = 3*k - 4*k. Does 9 divide k?
False
Suppose -2*o + 7*o + 10 = 0. Is o*3/21 - 783/(-21) a multiple of 3?
False
Let k(z) = -z**2 - 3*z + 3. Let m be k(-3). Suppose 25 = -m*r + 8*r. Is (-14)/(-4)*(r + 1) a multiple of 21?
True
Let s be (6 + 0 - 0) + -4. Suppose -s*h = g + 51, 7*g + 194 = 3*g - 3*h. Let i = g - -92. Does 15 divide i?
True
Let r(m) = 38*m**2 + m. Let l be (-1 + -13)/(-3 + 5). Let i be (l/21)/((-2)/6). Does 12 divide r(i)?
False
Let w(p) = -p + 10. Let r be (2 + -19)/(1/((-2)/(-2))). Is w(r) a multiple of 3?
True
Suppose -4*a + 10 = 2*k, -a - 8 = -k - 0*a. Let w = k + 28. Is w a multiple of 14?
False
Suppose 0 = -8*j + 12*j - 40. Let h(b) = 10*b - 1. Let n be h(j). Suppose 4*y + 186 = 2*u, n = u + 2*y - 6*y. Is 25 a factor of u?
False
Let z(g) = g - 3. Let i(v) = -v + 2. Let y(c) = -2*i(c) - 3*z(c). Let l be y(-8). Suppose -3*j - 2*b + 91 = 0, -4*b = j + l - 40. Is j a multiple of 17?
False
Let q(p) =