True
Let x = -31 - -46. Suppose -d + 6*d + x = 0. Is 16 a factor of (d/2)/(3/(-32))?
True
Let c(u) = -u + 8. Let y be c(-7). Is 16 a factor of y - (2 + (1 - 4))?
True
Let i = 6 + -3. Suppose 0*n - y = 2*n - 328, -5*y = -2*n + 328. Suppose 6 = i*z, -3*h = -8*h - 2*z + n. Is 15 a factor of h?
False
Let g = 30 - 21. Is 9 a factor of g?
True
Let t(q) = -9*q - 60. Is t(-14) a multiple of 16?
False
Suppose -5*g + 135 = r, g - r = -5*r + 27. Does 3 divide g?
True
Let v = 22 + -3. Suppose -22 = 4*c + 26. Let a = c + v. Does 3 divide a?
False
Let j = 57 - -7. Is j a multiple of 21?
False
Suppose -55 = -4*f + 45. Is 2 a factor of f?
False
Let k(b) = -2*b + 15. Let s be k(11). Let t(q) = -2*q - 3. Is t(s) a multiple of 11?
True
Suppose -5*p + 0*p - 2*q = -354, -274 = -4*p + 3*q. Does 10 divide p?
True
Let r = 16 - 14. Suppose -f = l - 5*f - 3, -r*f - 13 = -l. Does 23 divide l?
True
Let x be -4 + -2 + 4 - -1. Let n(q) = 7*q - 3. Let a(p) = 7*p - 2. Let k(z) = -3*a(z) + 2*n(z). Does 3 divide k(x)?
False
Suppose -8 = 4*d, -50 = i - d - 0*d. Does 13 divide (-1365)/i - 1/4?
True
Let i be 1*-2 - 4/4. Let p be (-2)/(-2) - (-15)/i. Is 15 a factor of p/(-18) + 394/9?
False
Let z(v) be the second derivative of -v**4/12 - 3*v**3/2 - 3*v**2 - 2*v. Let k be z(-8). Is 14 a factor of 0 + 0 + (k - -26)?
True
Suppose 0 = b + 2*b - 30. Suppose -b - 4 = n. Is 13 a factor of (-8)/28 + (-186)/n?
True
Suppose 0*t + 3*t + 66 = 0. Is 2208/44 + 4/t a multiple of 25?
True
Let t = -4 + 6. Suppose 86 = 5*v + 2*s, -t*v + 0*v + 5*s + 46 = 0. Is 6 a factor of v?
True
Let o = 42 + -28. Does 9 divide o?
False
Let v = 0 + 3. Suppose -v*a + 56 = -a. Is 14 a factor of a?
True
Suppose -3 = -5*v + 2*d + 1, 5 = v + d. Suppose -31 = 3*s - 4*s - 4*c, 106 = 4*s - v*c. Is s a multiple of 10?
False
Suppose -4*y - r + 71 = 0, 0*y + 22 = 2*y - 4*r. Suppose -2*s + y = 7. Does 5 divide s?
True
Let p(v) = v**3 - 10*v**2 + 8*v + 10. Is 30 a factor of p(10)?
True
Suppose -10 = 3*o + 2*o. Let u be o/(-7) - 325/35. Is 18 a factor of u/(1/(-28)*6)?
False
Suppose -2*o - 8 = -0*o, -3*y + 211 = -o. Is 21 a factor of y?
False
Let x = 82 - 30. Does 4 divide x?
True
Let k be (-2 - (1 - 2))*-3. Let q be 18/8 + k/(-12). Suppose -2*g + 8 + 3 = -5*p, -q = g + 5*p. Is g a multiple of 3?
True
Let a be (-1475)/(-45) - (-2)/9. Let p = -12 + a. Is p a multiple of 7?
True
Let k(z) = -3*z - 15. Let s be k(-10). Suppose -s = -3*f, 3*f + 191 = 4*r + 34. Suppose 0 = 4*n - 5*d - 7 - 9, 3*n = -4*d + r. Is 5 a factor of n?
False
Suppose 0 = 5*h + 20, 4*g - 301 + 69 = 2*h. Is 8 a factor of g?
True
Suppose -g + 2*o + 209 = -27, -2*o = 3*g - 724. Suppose -2*y + i = -219 + 59, -g = -3*y - 2*i. Does 22 divide y?
False
Let s(j) = 27*j - 1. Let p(o) be the third derivative of o**4/24 + 4*o**3/3 - 2*o**2. Let v be p(-7). Is s(v) a multiple of 17?
False
Let m be (-9)/(-2)*(-4)/(-3). Let w = m + 34. Is 20 a factor of w?
True
Suppose 3*k + 0*q = -2*q + 89, 0 = 5*k - 5*q - 115. Is (k/6 + -3)*2 a multiple of 2?
False
Let m = 5 + 5. Suppose -p + 4 = -m. Is p a multiple of 7?
True
Let f = -37 - -20. Let u = 7 - f. Does 5 divide u?
False
Suppose 2*j = 5*j. Suppose -3*d + 69 = -j*d. Is d a multiple of 4?
False
Suppose -5*y + 12 - 82 = 0. Let c = y + 21. Is 5 a factor of c?
False
Let a = 17 - 24. Let v = 19 + a. Does 6 divide v?
True
Let o(k) = -k + 3*k + 1 - k. Let p be o(-1). Suppose p = -t - 2*t + 9. Does 2 divide t?
False
Let v(o) be the first derivative of -o**4/4 - 4*o**3/3 + 2*o**2 + 3. Let z be v(-5). Suppose -4*f + 104 = -4*u, 4*f + 2*u + 30 = z*f. Does 22 divide f?
True
Suppose 708 = 12*n - 864. Is n a multiple of 13?
False
Suppose 2*p + 4*i = -3*p + 35, -4*p - 8 = -4*i. Suppose 3*d = 2*g + 72, -p - 38 = -d - 5*g. Is 18 a factor of d?
False
Is (-6 - (-50)/8) + 143/4 a multiple of 4?
True
Suppose -2*p - 5*h = -2, 5*p - 2*h = -5 + 10. Let x be (-1 + 0 + p)/(-1). Suppose 2*t + 6 = x, -v = -2*v - t + 12. Is 15 a factor of v?
True
Is ((-2)/2*213)/(-1) a multiple of 13?
False
Let c = -8 + 12. Suppose -3*r = 2*f - c*f - 1, -2*r = 5*f + 12. Does 15 divide r + 2/4*62?
True
Suppose i + 5 = 4. Let r(b) = -15*b. Let m be r(i). Is m - (-6)/(-2 - -4) a multiple of 9?
True
Suppose -4 = -p + 2*c + 6, -c = 4*p - 49. Does 4 divide p?
True
Is (-6)/((6/48)/(21/(-12))) a multiple of 12?
True
Suppose -v + 0*v + 10 = 0. Suppose -u + 30 = -v. Suppose -30 = -3*s - 5*g, 2*s - g + u = 6*s. Is s a multiple of 10?
True
Suppose -6*p + p = 3*n - 39, -4*n = -12. Let u = p - -50. Does 14 divide u?
True
Let h(i) = 11*i**2 - 6. Is 10 a factor of h(4)?
True
Let a = 12 - 8. Suppose 3*g - 23 = -2*i, -3*g - 79 = -a*i + 2*g. Is i a multiple of 7?
False
Let g(l) = 40*l**2 + 3*l + 2. Is 4 a factor of g(-1)?
False
Let r be 0 + 2 - (1 - 50). Suppose 5*m + 9 + 6 = 0. Let q = r - m. Is q a multiple of 20?
False
Is ((-210)/(-9))/((-2)/(-6)) a multiple of 14?
True
Let k = 31 - -29. Does 20 divide k?
True
Let j(k) be the third derivative of k**4/24 - k**3/6 + 3*k**2. Is j(9) a multiple of 6?
False
Suppose -140 = -5*u + 505. Is u a multiple of 12?
False
Let p = -45 + 27. Let v be (60/(-18))/(4/(-30)). Let c = p + v. Is c a multiple of 7?
True
Let o(c) = c + 7. Let t be o(-4). Suppose 0*l = t*l - 138. Does 15 divide l?
False
Let r(j) = 11*j**3 + j**2 - 2*j + 1. Is 5 a factor of r(1)?
False
Let w = -693 + 1068. Is 19 a factor of w/10 - (-2)/4?
True
Suppose 0*r = r - 2. Suppose r*i = -3*p + 120, -4*i = 2*p + 57 - 313. Does 11 divide i?
True
Let m = 11 - -7. Does 14 divide m/(-4)*(-32)/3?
False
Suppose 5*l + 5*z - 5 = 0, -l - 2*l - 5*z - 5 = 0. Let a = l + -3. Suppose 0 = a*f - f + 1, -70 = -4*d - 2*f. Is d a multiple of 8?
False
Suppose -2*c + 5 = 5*r - 2, 0 = 5*c - r - 31. Does 17 divide (-2 + 96)*3/c?
False
Suppose 0 - 12 = 4*u. Let o(b) = -b**3 + b**2 + 2*b - 2. Is o(u) a multiple of 14?
True
Let l be 2/4 + (-12)/(-8). Suppose 5*o + 81 = 3*d - l, 2*d - 47 = -5*o. Is d a multiple of 13?
True
Suppose 0*w + 4 = 2*w. Does 3 divide w/(-7) - (-195)/21?
True
Suppose -m + 45 = -3*z, -4*m = -0*z + z + 15. Does 7 divide ((-12)/z)/(7/245)?
True
Let d(c) = -19*c + 16. Does 23 divide d(-6)?
False
Suppose 0 = -5*h - 4*r + 911, 4*r - 529 - 199 = -4*h. Is h a multiple of 20?
False
Let t(l) be the first derivative of -3*l**2/2 + 8*l - 3. Let g be t(6). Let u = -2 - g. Is u a multiple of 8?
True
Let m be (-13643)/(-35) - 1/(-5). Suppose 0*w - 6*w = -m. Is 15 a factor of w?
False
Suppose -89 = -2*g + 17. Is g a multiple of 38?
False
Let d(u) = -9*u - 32. Let r(l) = -5*l - 16. Let i(z) = 6*d(z) - 11*r(z). Let m be i(8). Let v = m + 28. Is 13 a factor of v?
False
Suppose 30 = w + 4*w. Does 2 divide w?
True
Suppose 422 = 4*d + 118. Does 19 divide d?
True
Let w be ((-2 - 0) + 2)*1. Suppose 0 = -w*s + 4*s. Suppose s*g = -g + 32. Does 12 divide g?
False
Suppose 4*j + 175 = t + 4*t, -t + 2*j = -35. Is 13 a factor of t?
False
Let b(y) = -y**3 - 4*y**2 + 9*y + 5. Is 14 a factor of b(-6)?
False
Suppose 2*u + 2*p = 116, 7*p - 2*p = -u + 38. Does 31 divide u?
False
Suppose 48 + 30 = 2*u. Is 13 a factor of u?
True
Suppose -3*x + 2*p = 92, 2*p = 3*p - 1. Is (-1 - -2)/((-3)/x) a multiple of 10?
True
Is 15 a factor of 43 - 2*(-4 + 3)?
True
Let z be (-1)/3 - (-38)/6. Let n be ((-2)/z)/((-1)/9). Suppose 100 = n*a - 2*m, 6*a - 3*m = 3*a + 99. Is 13 a factor of a?
False
Let n(t) = -28*t - 2. Let b be (-16)/10 + (-4)/10. Let f be n(b). Let k = 77 - f. Is 8 a factor of k?
False
Let r(t) be the second derivative of -t**5/5 - t**4/12 - t**3/3 - t**2 + 2*t. Is 15 a factor of r(-2)?
True
Let h = 45 - 27. Is 7 a factor of h?
False
Let m = -3 - -3. Suppose m = 5*j - 2*u + 3*u - 81, -2*j - 3*u + 35 = 0. Is j a multiple of 6?
False
Let a be 58/8 + 3/(-12). Suppose -13 - a = -4*z. Suppose -5*l + z*d = 2*d - 11, 4*l - 5*d = 1. Is 3 a factor of l?
False
Let x(y) = -11*y - 1. Let s be x(1). Is (-8)/(-6)*(-72)/s a multiple of 3?
False
Suppose 6 = 2*w - 4. Let k(q) be the third derivative of -q**5/60 + q**4/4 + q**3/2 - q**2. Does 4 divide k(w)?
True
Suppose 4*o - 45 = -o. Is 267/o - 4/(-12) a multiple of 10?
True
Let o = 146 - 71. Does 23 divide o?
False
Let y be (-2)/2 + 11 + 1. Suppose -y = -3*j - 5*s + 16, 4*j - 2*s = 36. Is j a multiple of 9?
True
Is 38 a factor of (3 + -4)/(3/(-684))?
True
Suppose -20 - 1 = -3*w + 5*f, -5*w = 2*f