-6)/j)?
False
Let s = 3 + 0. Let m(f) = -2*f**2 + 12*f - 13. Let n be m(4). Does 8 divide 40 - (0/s)/n?
True
Suppose 3*w = -223 - 26. Let r = 92 + w. Is r a multiple of 6?
False
Let b(j) = -j**3 - 76*j**2 - 239*j - 179. Is 21 a factor of b(-73)?
True
Let b = 3 - 0. Suppose -b*m + 117 = m + 5*y, 4*m - 3*y - 77 = 0. Let g = m - -53. Is g a multiple of 19?
True
Let b be (-1)/(-1*(-1)/(-15)). Let t = 17 - b. Suppose -t*a + 46 = -28. Does 26 divide a?
False
Suppose 31*c - 33*c - 72 = 0. Let u = c + 66. Does 15 divide u?
True
Suppose -4499 + 459 = -8*b. Does 18 divide b?
False
Let s(z) = z**3 - 12*z**2 - 14*z + 15. Let q be s(13). Suppose -l = -4*p - 0*l + 509, -10 = q*l. Is p a multiple of 7?
True
Let w(m) be the second derivative of 0 + 1/20*m**5 - 6*m**2 - 3/4*m**4 + 2*m + 7/6*m**3. Does 17 divide w(9)?
True
Suppose -4*g = 3*f - 31, -4*f + 2*g = g - 16. Suppose 0 = -f*h + m + 322, 2*h - 312 = -3*h - 4*m. Does 8 divide h?
True
Is (19476/30)/((-6)/(-15)) a multiple of 16?
False
Let v(d) = -d - 6. Let m be v(0). Let i(r) = -r**3 - 4*r**2 + 4*r + 4. Is 13 a factor of i(m)?
True
Let d = 8028 + -3913. Is 17 a factor of d?
False
Let i = 40 + -10. Let m = 78 - i. Is m a multiple of 48?
True
Let w = 602 - 844. Let i be (-3 - (-3 - -2)) + w. Let s = -172 - i. Is 21 a factor of s?
False
Does 62 divide (98 + -100)*5/((-10)/1116)?
True
Suppose -104*i = -109*i + 2440. Let o = i + -278. Does 14 divide o?
True
Suppose 6*s + 450 = 9*s. Suppose 4*i - 141 = -3*t + 2*i, -3*t - 5*i + s = 0. Does 7 divide t?
False
Let a = 1421 + -750. Is a a multiple of 11?
True
Let v = -102 - -107. Suppose 3*h = v*y - 1510, 0 = -y - 5*h + 428 - 126. Does 35 divide y?
False
Let h(q) be the third derivative of q**4/6 - q**3/3 - 12*q**2. Let z be h(6). Suppose -120 = z*s - 27*s. Does 12 divide s?
True
Let j(h) = h**2 + 7*h + 3. Let g be j(-7). Suppose 0 = -3*p - 5*t + 88, 0 = g*p - 2*t - 6 - 47. Suppose -3*m = -p - 30. Does 5 divide m?
False
Suppose -41*z + 1625 = -36*z. Is 15 a factor of z?
False
Is (-1676)/1*(459/36 - 14) a multiple of 15?
False
Does 78 divide (-2)/(-9 + 7)*1021?
False
Let f be (-5)/(15/(-9))*1. Let l be f + 1/2*318. Suppose 3*p - 6*p + l = 0. Is 18 a factor of p?
True
Let v(o) = -2*o - 12. Let z be v(-4). Let q(k) be the second derivative of k**4/12 + k**3/2 + 2*k**2 - 3*k. Is 4 a factor of q(z)?
True
Let r be (-8 + 2)*6/(-9). Suppose -r = t + 2*g, 4*t - 4*g - 36 = -t. Is 3 a factor of t?
False
Suppose 0*a = -4*a - 20. Is 1446/30 + 1/a a multiple of 12?
True
Let j = -314 + 605. Does 13 divide j?
False
Let o = 219 + 406. Let j = -410 + o. Is j a multiple of 18?
False
Let h(c) be the third derivative of 2/3*c**3 - 1/24*c**4 + 0 + 0*c + c**2. Is h(-12) a multiple of 16?
True
Does 8 divide ((-221)/65)/(4/(-140))?
False
Let g = 28 - 28. Suppose c - 6 = -g. Is 3 a factor of c?
True
Suppose 0 = 4*z - 1581 - 2819. Suppose 0 = m + 4*a - 210, 3*m - 5*a = -2*m + z. Suppose -4*g + 148 = 3*h, 5*g - m = 2*h - 56. Is g a multiple of 16?
False
Suppose -s = p + 2*p + 244, -s - 241 = 4*p. Let a = s - -397. Is 24 a factor of a?
True
Suppose o + 3*u = -0 + 13, 0 = 4*o + 4*u - 28. Let p = 9 + o. Is 2 a factor of p?
False
Suppose 0 = 6*x - 2*x - 128. Suppose 2*u + 4*w = 3*u - x, 4*u = 4*w + 152. Is 3 a factor of u?
False
Let w(s) = -s**3 + 4*s**2 - 3*s. Let p be w(4). Let m = -5 - p. Suppose 0 = 2*n + 3*o - m, 20 = 4*n + 5*o - o. Is n a multiple of 3?
False
Let x be 0/((-20)/(-4) + -4). Suppose 3*l + x = 12. Does 15 divide l + 12 + -4 + 3?
True
Let x = -4 - -14. Let l be (-2)/(50/26 + -2). Let f = x + l. Does 9 divide f?
True
Let k(u) = 2*u + 3. Let t be k(-3). Let m = t - -6. Suppose -5*c - n + 44 = -41, -m*c + 2*n = -38. Does 4 divide c?
True
Let i(z) = -z**3 - z**2 + 2*z + 3. Let h be i(-2). Suppose 4*w + u = -36, 5*w + 2*u + 45 = h*u. Does 9 divide w/((-18)/88) + -1?
False
Suppose 5 = -5*m + 20. Suppose m*y - 71 = 73. Does 11 divide y?
False
Let k(x) = x**2. Let o(j) = 7*j**2 - 2*j - 10. Let m(u) = -10*k(u) + 2*o(u). Is m(-6) a multiple of 37?
True
Let y(n) = -5*n**3 + n**2 - n + 1. Let u be y(2). Let v = u + 6. Let b = -6 - v. Does 5 divide b?
True
Suppose 519 = -4*w - 5*z + 112, -4*z = -3*w - 344. Is 8 a factor of (16/(-6))/(9/w)?
True
Let y(c) = c**3 + 13*c**2 + 13*c - 16. Let q(u) = -2*u**2 - 20*u + 11. Let m be q(-11). Does 10 divide y(m)?
False
Suppose 113*d - 106*d = 2513. Does 11 divide d?
False
Let t be (9/3)/(12/8). Suppose 0 = -t*d + d + 128. Is 32 a factor of d?
True
Let p = 91 - 82. Let f(q) = 6*q. Is 18 a factor of f(p)?
True
Let p = 18 - 5. Let t = 16 - p. Suppose 0 - t = -r. Is r a multiple of 3?
True
Is 33040/98*7/2 a multiple of 20?
True
Let z(n) = 25*n**2 + 5*n - 10. Does 35 divide z(6)?
False
Suppose -4*w + 11*w = 308. Suppose 0 = 2*q - 2*v + 14 - w, 5*q - 35 = -3*v. Is q a multiple of 5?
True
Suppose 3*r + 5*k = -0*r + 85, 3*k - 117 = -4*r. Suppose 13 = -f + r. Does 8 divide f?
False
Suppose -163 = 5*o + 62. Is (-1)/5 + (-684)/o a multiple of 14?
False
Let t = 154 - -628. Does 38 divide t?
False
Suppose -2*y + 2*f + 1632 = 0, 4*y + 0*y - 3292 = -3*f. Does 20 divide y?
True
Let b = 0 - 10. Let h = b + 15. Suppose a - 17 = -h*q + 56, -5*q + 71 = 2*a. Does 14 divide q?
False
Does 89 divide (-33 + -6)*(-890)/30?
True
Let y(n) = 444*n - 3. Let k be y(1). Suppose 159 = 4*p - k. Suppose 0 = -12*v + 7*v + p. Is v a multiple of 30?
True
Let n = 22 + -24. Let r be 0/(n*4/2). Suppose 0 = p - r*p - 12. Does 6 divide p?
True
Let c(l) be the first derivative of -l**4/4 + 7*l**3/3 + 2*l**2 - 4*l - 12. Is 8 a factor of c(6)?
True
Is (-164)/((176/84)/(-22)) a multiple of 6?
True
Let g = -110 + 112. Suppose -g*u = 3*t + 2*u - 522, 5*t - 865 = -5*u. Does 29 divide t?
False
Let c = 96 + 244. Does 14 divide (16/(-5))/((-8)/c)?
False
Let c(l) = -633*l - 210. Is c(-6) a multiple of 92?
True
Suppose 9*y - 4874 = 670. Is 110 a factor of y?
False
Let o(w) = -w**3 + 4*w**2 - 3*w + 6. Let h be o(3). Suppose 918 = 5*s + h*u - 4*u, 3*s - 2*u = 538. Is s a multiple of 19?
False
Let m(f) = 8*f**2 - 3*f - 4. Suppose 2*t = -12 + 18. Does 27 divide m(t)?
False
Let s be 15/(-3)*(-6)/(-2). Let v be (-42)/(-24) + 6/(-8). Let t = v - s. Is 16 a factor of t?
True
Is 25 a factor of (4 - 8 - 6/(-1)) + 737?
False
Suppose -a + 94 = a. Is a a multiple of 7?
False
Let h(b) = 20*b**2 - 53*b - 13. Is h(-8) a multiple of 16?
False
Let c = 55 - 51. Does 16 divide 710/c + -2*(-15)/(-20)?
True
Suppose 4*g - 50 = 6. Suppose -i - g + 30 = 0. Is 10 a factor of i?
False
Suppose -f - 3 + 6 = 0, 4*h - 551 = -5*f. Does 33 divide h?
False
Suppose -2*i - 14 + 4 = 0. Let a be (i - -3) + -3 + 4. Does 2 divide (a/3)/((-2)/42)?
False
Let b be 418/18 - 10/45. Let j be b - -3 - (-5 - -1). Let o = 45 - j. Is 15 a factor of o?
True
Let b = -20 + 50. Let r = 70 - b. Suppose 4*q = 5*q - r. Does 20 divide q?
True
Let y(g) = -10*g**2 - g**2 - g**3 + 0*g**3 + 20*g**2 - 15*g - 9. Is y(5) even?
True
Let b(f) = 43*f - 11. Does 29 divide b(7)?
True
Let x be 145/5 + (1 - 3). Let l be 6/27 - (-75)/x. Is (18/3 - 2) + l even?
False
Suppose 2*l + 2*g = 4*l - 8, l = -4*g - 1. Suppose -l*k + 4 = -2. Suppose -3*a - k*a = -100. Is 10 a factor of a?
True
Let l be (-3)/2 - (2441/(-2) + -6). Suppose 100*f - 105*f + l = 0. Does 35 divide f?
True
Is (-2707)/(-7) + (-1 - (-36)/28) a multiple of 25?
False
Let b be -15*(-7)/(-21) - (-246)/2. Suppose 0 = -4*z - x + 315, -3*x = -7*x - 4. Let h = b - z. Does 13 divide h?
True
Suppose -4*j - 2*c + 6496 = -374, -3*j + 5145 = -c. Does 26 divide j?
True
Let d = 39 - 33. Does 5 divide (4/5)/(d/345)?
False
Let g(a) = -2*a**3 - 2*a**2 + 3*a + 2. Let d be g(-2). Suppose -x - d*q = -2*q - 107, x - 131 = 4*q. Does 24 divide x?
False
Let x be (-2 - (1 + -1))*2. Let z(n) = 3*n**2 + 4*n + 9. Is z(x) a multiple of 24?
False
Let q = 22 - -53. Suppose 3*p + 201 = 5*m, -2*p + q - 27 = m. Does 11 divide 894/m + (-4)/14?
False
Suppose -i - 3*k = -797, 13*i - 3253 = 9*i + k. Is i a multiple of 28?
True
Suppose 3*k = 3*l - k - 170, 4*l = 4*k + 224. Suppose -7*z + 10*z = l. Is z a multiple of 6?
True
Let r(u) = 329*u**3 - u**2 + 4*u - 4. Is 39 a factor of r(1)?
False
Let p = 23 - 33. Is 12 a factor of p/8*8*-3?
False
Suppose 5*g = -20, -5*j - g = 343 - 39. Let t = j - -67. Is t a multiple of 3?
False
Let r = 1329 + -1309. Is 2