= -l - 1099 - 2315. Let y be (-27)/(4 - -5) - 1*6. Is 15 a factor of 2/y + l/(-54)?
False
Is 939480/440 + (-3)/((-66)/(-4)) a multiple of 8?
False
Let a be 5/((11/(-16))/11). Let b = 104 + a. Is 3 a factor of b?
True
Suppose 3*o + 648 = -3*o. Let x = -69 - o. Let r = 47 - x. Is 3 a factor of r?
False
Suppose 2*i = -3*y + 14 + 148, 295 = 5*y - 5*i. Let k = y + -24. Does 16 divide k?
True
Let r(h) = -h**2 - 20*h - 10. Let f = 80 - 98. Is 13 a factor of r(f)?
True
Let y be 12/10*(-570)/(-9). Suppose -2*a + 20 = 4*p, -5*a + 5*p - 2*p = -y. Let w = a + -9. Is 4 a factor of w?
False
Let b = 191 + 25. Is b a multiple of 8?
True
Let j(d) = -11*d**2 + 4*d - 3. Let f be j(1). Is 36 a factor of ((-24)/(-15))/(-4) + (-1444)/f?
True
Suppose 4*f - 3*m - 1190 = 979, 4*f + 2*m - 2194 = 0. Is f a multiple of 13?
True
Let f = 293 + 107. Is 25 a factor of f?
True
Suppose 5*t - 4*d + 45 = 0, 4*t + 2*d + 57 = 21. Does 7 divide (t/(-18))/((-1)/(-102))?
False
Suppose i + 3*p - 1601 = 0, -5*i + 5*p + 3237 = -4668. Is i a multiple of 61?
True
Let q(v) = 8*v**2 + 17*v + 52. Is 49 a factor of q(-11)?
True
Let c(u) = 5*u - 15. Suppose 4*o - 3*r - 40 + 15 = 0, 3*r = o - 4. Is 20 a factor of c(o)?
True
Suppose -k - 23 = -193. Is k a multiple of 30?
False
Suppose 0 = -i - i - 36. Let t = 54 + i. Is t a multiple of 15?
False
Let l(w) = 3*w**3 - 2*w**2 - 9*w + 48. Is 57 a factor of l(6)?
True
Is (-6)/10 + 9132/20 a multiple of 12?
True
Let p(x) = -x**3 + 6*x**2 - 6*x + 6. Let q(c) = -c**3 - 5*c**2 + 5*c - 1. Let g be q(-6). Let f be p(g). Does 10 divide 534/14 + f/(-7)?
False
Is 85 a factor of (-9927)/(-21) - 46/(-161)?
False
Let k(y) = 2*y**3 - 12*y + 10. Suppose -3 - 13 = -4*z. Does 30 divide k(z)?
True
Let t be -3 - (-2 + 2 + 8). Let j = -6 + t. Let i = j - -25. Is 3 a factor of i?
False
Let j(n) be the first derivative of -n**2/2 - 7*n - 6. Let v be j(-12). Suppose -v*y + 112 = -r + 3*r, -2*y + 5*r + 39 = 0. Is y a multiple of 18?
False
Let f(g) = -g**2 - 8*g + 6. Let q = 2 + -1. Let c be (1/3)/(q/(-15)). Is 20 a factor of f(c)?
False
Let l be (-2 - 7/(-2))*(-7 - 15). Let h = l + 126. Does 10 divide h?
False
Let v = -1319 + 2324. Is 82 a factor of v?
False
Let j be 10/(-5)*(-3)/(3/(-46)). Is 9 a factor of (-6)/15 + j*(-5)/25?
True
Let f(a) be the second derivative of -a**5/20 - 5*a**4/6 - 2*a**3 - 17*a**2/2 + 10*a. Is f(-9) a multiple of 7?
False
Let b = 15 - 12. Let r(u) = -2*u**b + 3*u**2 - 4*u - u**3 + 3 + 6*u**3 + 4*u**3. Is 9 a factor of r(2)?
True
Let u = 1598 + -1505. Is u even?
False
Suppose -7868 = -4*x - 2*b, 2*x = 6*x - 3*b - 7878. Is x a multiple of 16?
True
Let q(d) = d**2 + d. Let s(v) = 9*v**2 + 5*v + 1. Let u(k) = -4*q(k) + s(k). Let i be u(-1). Suppose 3*n = -i*j - 0*j + 71, n = 2*j - 35. Is 16 a factor of j?
True
Let h(q) = q**3 - q - 2. Let z be h(2). Suppose k = 4*y + 5*k - 108, 4*y = z*k + 84. Let f = y + -6. Is 9 a factor of f?
True
Let y(f) = 357*f**2 + 1. Is y(1) a multiple of 29?
False
Let i(v) = -v**3 + 22*v**2 - 37*v - 41. Is i(20) a multiple of 8?
False
Suppose -8 = y + y, -5*l - 10 = 5*y. Let w(g) = -7*g + 13*g**2 + 1 + 4*g**l + 8*g. Does 12 divide w(2)?
False
Let s(z) = -z**3 + 86*z - 15. Is 28 a factor of s(-13)?
True
Let y = 50 + -42. Suppose 0 = m + 6 - y. Let f(g) = 15*g**2 + 3. Is 21 a factor of f(m)?
True
Suppose -6*d + 162 = -9*d. Is 18 a factor of 202/6 + (-18)/d?
False
Let t = 9 - 1. Let i(f) = 2*f**2 - 3*f - 15. Let n be i(5). Suppose t = -3*o - 5*x + 42, 4*x - n = 0. Is 3 a factor of o?
True
Let d(g) = -g**3 - 2*g**2 + 2*g + 260. Is d(0) a multiple of 36?
False
Let v be ((-8)/(-44))/1 - 128/(-22). Suppose 0 = s - 5*k - 172, 7*s + k = v*s + 190. Does 17 divide s?
True
Let w = -665 - -745. Is 16 a factor of w?
True
Suppose 0 = 4*o - 6*o + 6. Suppose 0 = -v + p - 1 + 4, -2*p = 3*v - 29. Let l = o + v. Is 5 a factor of l?
True
Let m(b) = b**2 - 2. Let k be m(-2). Let q(c) = -c + 2 + k*c**3 + 3*c**3 + 0*c**2 - c**2. Is 12 a factor of q(2)?
True
Let t(d) = -d**2 - 32*d - 10. Let l be t(-7). Suppose -m - x = -3*x + 7, -24 = -3*m - 3*x. Suppose -60 = m*w - l. Does 19 divide w?
False
Let a(h) = 2*h - 10. Let v be a(8). Let t be 0/(-2*(-3)/(-6)). Suppose t = 3*g - v*g + 132. Does 17 divide g?
False
Let w = 8 + -2. Suppose 0 = w*a - 17 - 13. Suppose -3*q + 134 = -0*q + 5*j, -3*j + 234 = a*q. Does 16 divide q?
True
Suppose -5*z + 29 + 11 = 0. Suppose 2*x - z*x = -462. Is 13 a factor of x?
False
Let v be -2*2 + (12 - -34). Suppose -5 = m - v. Is m a multiple of 3?
False
Is 10 a factor of (1 + 1)*(20 + 720)?
True
Suppose -1072 = -j - 5*t, -5*t = -j + 3*j - 2129. Is 11 a factor of j?
False
Is 6 a factor of 2*1 - (-702 - -6)/3?
True
Let f(v) = -v + 8. Let p be f(6). Suppose -3*c - 1 = 2*t, -p*t = 3*c - 5*t - 24. Let d = c + 30. Does 32 divide d?
False
Suppose 0 = 24*i - 28*i + 8. Suppose -264 = i*y - 6*y. Is 7 a factor of y?
False
Suppose 5*d - 5*m = 0, 5*d - 3*m - 9 + 1 = 0. Suppose j + 4*f = 84, -4*j + d*f - 50 = -386. Is j a multiple of 10?
False
Suppose 3*b + 4*a - 15 = 0, 0 = -4*b - 2*a + 17 + 3. Let s(n) = 2*n**2 - n - 5. Is 8 a factor of s(b)?
True
Let c(g) = 395*g**2 - 2*g - 1. Let l be c(-1). Suppose w = 3*z - 299, z - 4*w = -3*z + l. Suppose -z = -3*y + 2*y. Does 21 divide y?
False
Let a(d) be the third derivative of d**4/24 + 5*d**3/2 - 13*d**2. Is 9 a factor of a(7)?
False
Suppose -s = 11*s - 156. Let o = 67 - s. Is o a multiple of 18?
True
Let c(z) = 220*z + 87. Does 10 divide c(2)?
False
Suppose 3*d - 90 = o + 39, -o = d - 43. Let h = 7 + d. Suppose 3*i - r = 36, 4*i - 3*r = -r + h. Is i a multiple of 3?
False
Let s(k) = 7*k + 7. Let c(q) = -8*q - 6. Let g(b) = 5*c(b) + 6*s(b). Let l be g(7). Let v = l + -12. Is v a multiple of 7?
True
Is 8 a factor of (-1150)/(-12) - 3*6/(-108)?
True
Let g(d) = 88*d**2 + 53*d - 158. Does 13 divide g(3)?
True
Suppose -3*v - 40 = -7. Let p(l) = -l**2 - 10*l + 11. Let a be p(v). Let s(d) = d + 36. Does 12 divide s(a)?
True
Let b = 16 - 11. Suppose 0*z = -b*z + 600. Suppose f - 37 = -2*k, -5*f + 2*k = -k - z. Does 27 divide f?
True
Let j(y) = -y**2 - 7*y - 6. Let k be j(-5). Let x = 116 + -38. Suppose f = p + 23, -k*f + x + 49 = 3*p. Is 7 a factor of f?
True
Suppose -g + 3 = -1. Let r(d) = -5 + d**2 + 0*d**2 - 2*d - d**3 - g*d**2 - 2*d**2. Is 4 a factor of r(-5)?
False
Let a = 1176 + -902. Does 25 divide a?
False
Let z(r) = -r - 8. Let m be z(-7). Does 19 divide (m - 1 - -4) + 67?
False
Is 31 a factor of (7 - 11 - 2) + 719?
True
Suppose 5*l - 2*l = 24. Suppose 2*b - 320 = -l*b. Does 5 divide b?
False
Let o = 55 - 73. Does 5 divide ((-788)/o - 30/(-135))/1?
False
Let n(u) = 10*u**3 - u**2 - 16*u**3 - 18*u**3 + u. Let o be n(1). Let i = o - -37. Is 4 a factor of i?
False
Let g = 5 + 7. Suppose -4*l - g = 0, 3*r + 4 = 8*r + 2*l. Does 19 divide (r/3)/((-4)/(-150))?
False
Let f be (-39)/(-12) - 3/(-4). Suppose 0 = 5*u + 4*j + 7, 0 = -f*u + 3*j - 15 - 3. Is (-9 + 0)*2/u a multiple of 2?
True
Let k(v) be the first derivative of 0*v + 3/2*v**2 + 2*v**4 + 4 - 4/3*v**3. Is k(2) a multiple of 11?
False
Let x be (0 + -15)*49/(-21) - -1. Suppose 2*u + x = 330. Is u a multiple of 21?
True
Let b(i) = i - 9. Let p be b(10). Let l be (p - 0)*-113 - -1. Let q = -72 - l. Is q a multiple of 20?
True
Let v be (-102)/(-8) - (-11)/44. Let h = 12 + v. Is h a multiple of 6?
False
Let h = 147 + -219. Does 12 divide (-48)/h*(-123)/(-2)?
False
Suppose 5*r + 458 = 4*d - 47, -r = d + 92. Let b = -13 - r. Is 12 a factor of b?
True
Let g be -1 + 1 + -2 + 22. Is 11 a factor of g - (12/(-3) - -2)?
True
Let y(l) = -l**2 - 8*l - 10. Let s be y(-4). Is 23 a factor of 554/s - 5/15?
True
Let o(l) be the first derivative of 5*l**3/3 + 16*l + 3. Let r(x) = x**2 + 4. Let h(m) = 2*o(m) - 9*r(m). Does 10 divide h(6)?
False
Suppose 11*a + 14 = 190. Is ((-24)/a)/(1/(-60)) a multiple of 18?
True
Let z = -18 + 10. Let a be (-4)/6*60/z. Suppose 0 = -a*f + 44 + 16. Is f a multiple of 8?
False
Let a be 755/5 + (-2)/2. Suppose 2*z + 3*z = -a. Let b = z + 57. Is 9 a factor of b?
True
Let y(r) = r**2 + 6*r + 2. Let z be y(-6). Suppose 0 = 5*i - n - 15, -5*i - z*n + 0*n = -30. Is (i/2)/(2/76) a multiple of 19?
True
Is (1 - (-1313)/52)*296/3 a multiple of 70?
True
Let a be (-20)/(-6) + (-2)/(-3). Let p be 2/a*(-19 - -19). Suppose t - 97 = g - 3*g, p = -