multiple of 14?
False
Suppose -4*a = -4*x - 48, -2*x + 4*a - 39 = -a. Let l(y) = y**2 - 10. Does 9 divide l(x)?
False
Let f be (-9)/4 - 5/(-20). Let n be (-2 + (-2)/f)*-3. Suppose -52 = -n*o - o. Is o a multiple of 7?
False
Let h(f) = f**3 - 5*f**2 + 2*f + 4. Let s be h(3). Let r(m) = -m - 4. Let k be r(s). Suppose 0*c + 52 = k*c. Is c a multiple of 5?
False
Let c = -5 + 20. Suppose -2*h = h - 2*b - 22, c = 5*h + b. Suppose 0 = h*t - 67 + 19. Does 3 divide t?
True
Suppose 0 = -20*z + 22162 + 2938. Is z a multiple of 17?
False
Let v be (-316)/(-3) - ((-140)/21)/10. Let b = 151 - v. Does 15 divide b?
True
Let i(y) = -y**2 - 5*y - 1. Let x be i(-4). Suppose 9 = -x*t + 45. Is 15 a factor of (-150)/t*6/(-5)?
True
Suppose -10*b = -2643 + 913. Does 5 divide b?
False
Let l(d) = 105*d + 4. Is l(1) even?
False
Let s be (-215)/(-10) - (-3)/(-6). Let k = 41 - s. Let b = 64 - k. Is b a multiple of 10?
False
Suppose -2*x - 5*i + 220 = -1390, -4*i = -16. Suppose 48*l + x = 53*l. Is l a multiple of 26?
False
Let g(f) = 4*f**2 + 81*f - 57. Does 22 divide g(-25)?
True
Let w be (0 + 2/6)/(3/855). Suppose 5*n = 85 + w. Does 15 divide n?
False
Suppose 2*b = -0*b + 2*d - 28, -40 = 5*b + 5*d. Let m = b + 15. Is 2 a factor of m?
True
Suppose 11*p = 9*p - 118. Let i = -39 - p. Is i a multiple of 5?
True
Suppose -4 - 6 = 5*v. Let m(a) = 2*a - a + 2 - 3*a. Is 6 a factor of m(v)?
True
Suppose 70*a - 273 = 69*a. Does 52 divide a?
False
Let v(n) = 13*n**2 + 6*n + 5. Does 18 divide v(-6)?
False
Is 150 + (-14)/(-8)*-4 a multiple of 31?
False
Let m be ((-1)/(-4))/(1*(-1)/(-8)). Suppose 299 = -m*h + 323. Is 4 a factor of h?
True
Suppose -15*b + 10*b + c + 723 = 0, 0 = -4*b - 3*c + 586. Is 6 a factor of b?
False
Let h(k) = 13*k + 1. Let i(q) = q + 2. Let u be i(4). Is 27 a factor of h(u)?
False
Let h be 70/15 - (-2)/(-3). Suppose 3*o + o - 396 = -h*j, 4 = o. Is 19 a factor of j?
True
Suppose -4*y - f - 3*f = -968, 6 = 3*f. Suppose 1104 = -4*r + 4*k, 48 + y = -r - 2*k. Is (-6)/(-5)*r/(-21) a multiple of 8?
True
Let h be (-3 + 15)*(-10)/(-15). Let i = 15 - 67. Let q = h - i. Is q a multiple of 18?
False
Let s be (-17)/(-4) - 2/8. Suppose -2*a = 5*m + a - 1086, 0 = m - s*a - 231. Is 47 a factor of m?
False
Let v(b) = b + 8. Let n be v(-9). Let s = n - -1. Suppose -u - 5*k + 21 = 0, s = -0*u + 4*u + k - 103. Is 7 a factor of u?
False
Suppose 84 - 109 = -5*u. Suppose -4*g = u*o - 176, 5*o - 2*o + 3*g = 105. Is 9 a factor of o?
True
Let v(i) = 2492*i**2 + 8*i + 1. Is 21 a factor of v(-1)?
False
Let r = -107 - -227. Is 40 a factor of r?
True
Let r(z) = 62*z**2 - 3*z. Let k(f) = f**2 - f - 11. Let g be k(4). Is r(g) a multiple of 59?
True
Suppose 8 = p - 5*w, p = 4*w + 2 + 7. Let l(m) = 2*m**2 - 18*m - 11. Let s be l(p). Let j = s + -49. Is 12 a factor of j?
False
Suppose -4*a = -t + 161 - 23, -2*t + 289 = 5*a. Does 13 divide t?
False
Let k(a) = 34*a**2 - 3*a. Is k(2) a multiple of 13?
True
Suppose 0 = 9*r - 6*r - 9. Let t(k) = 4*k**2 + 3*k + 3. Is 24 a factor of t(r)?
True
Let f(d) be the first derivative of -d**3/3 - 7*d**2 - 14*d - 2. Let c be f(-10). Let w = -18 + c. Is 6 a factor of w?
False
Is 11 a factor of ((-33)/(-6)*-2)/(18/(-774))?
True
Let j be -3 + 4/6 + 525/9. Let m = j + -20. Is 6 a factor of m?
True
Let r = 65 + -33. Is 26 a factor of r/(-10)*(-260)/8?
True
Let t = 3 - 1. Let c(d) = -d - 2 + 0*d + 5*d**t + 3*d - 4*d**2. Is 10 a factor of c(-7)?
False
Is 6 a factor of (-32020)/(-90) + (-7)/(252/(-8))?
False
Let w(v) = v**3 - 6*v**2 - 6*v - 3. Let t be w(7). Let r(b) be the third derivative of 13*b**4/12 + b**3/6 - 5*b**2. Is 35 a factor of r(t)?
True
Let t(s) = s**2 + 5*s - 1. Let x be t(-3). Let u = -2 - x. Suppose -2*c = -c - u. Is 2 a factor of c?
False
Let h(d) = -d + 12. Let b be h(3). Does 8 divide b/12 + (-442)/(-8)?
True
Let y(z) = -z**3 - 21*z**2 + 2*z - 1. Let m be y(-21). Let s = 47 + m. Is s a multiple of 2?
True
Let i = 637 + -409. Does 12 divide i?
True
Let n be 1 + (-25)/10 + (-282)/4. Let m = 162 + n. Is m a multiple of 15?
True
Let t be 1*19 - (-2 - (6 + -12)). Suppose -2*c - t = -75. Is c a multiple of 2?
True
Let x(o) be the first derivative of 3*o**7/140 + o**6/360 + o**5/120 - o**4/24 - 7*o**3/3 + 6. Let b(q) be the third derivative of x(q). Is 5 a factor of b(1)?
False
Let k(x) = -x**2 - 19*x - 6. Let o be k(-15). Suppose t - o = 42. Is t/(-9)*3*-1 a multiple of 14?
False
Let s be 2 + 250/15*6. Suppose -s = 6*q - 1398. Does 10 divide q?
False
Does 26 divide 8426/30 + (-657)/135 + 5?
False
Is 72 a factor of 302 - (-6)/(-5 - 1)?
False
Suppose -3874 = -5*i + 16*k - 18*k, -4*k + 2330 = 3*i. Is 60 a factor of i?
False
Let t(x) = 10*x + 166. Is t(-16) a multiple of 2?
True
Let v(i) = -i**2 + 24*i - 92. Is 10 a factor of v(6)?
False
Suppose -10 = -4*x - 30, -12 = -2*v - 4*x. Is 9 a factor of v?
False
Is -7 + (-1122)/(-30) - (-12)/(-30) a multiple of 4?
False
Suppose 3*c = 4*b - 59, 0 = -4*c - 0 - 4. Suppose b - 56 = -j. Is j a multiple of 21?
True
Suppose 0 = 3*a - a + 4, 0 = -2*v - a + 1562. Is 25 a factor of v?
False
Suppose -y = 3, 0 = 4*n + n - 4*y - 1102. Does 14 divide n?
False
Let x be (-8)/8*4*-1. Let i be 5 + 4 - x - 2. Suppose -92 = -3*w + i*m - 2*m, 152 = 5*w - m. Is w a multiple of 4?
False
Suppose -3*j + 4*i - 1264 = -8*j, 3*j - 772 = i. Is 13 a factor of j?
False
Let i(n) = 7*n + 29. Is i(6) a multiple of 3?
False
Suppose 0 = -5*x - 5, -j + 2*x = -4*j + 130. Is 22 a factor of j?
True
Suppose -57*x = -51*x - 1836. Does 9 divide x?
True
Suppose -40083 - 23669 = 8*j. Is j/(-65) + 3/(-5) a multiple of 12?
False
Suppose -2252*m + 2259*m = 8316. Is 66 a factor of m?
True
Suppose 30*h - 13216 = -2*h. Does 7 divide h?
True
Let p(b) = 502*b - 215. Is p(4) a multiple of 21?
False
Suppose 7*s = 2*s - 150. Let f = 10 - s. Suppose 5*m = f + 90. Does 7 divide m?
False
Let a be ((-7)/(-4))/((-6)/48). Let r be (-4)/a - 19/(-7). Suppose 5*l - r*t = 30, 0*l - 2*t + 30 = 5*l. Is 6 a factor of l?
True
Let s = 9 - 9. Suppose 3*g + 13 - 112 = s. Suppose 5*c - g = 22. Is c a multiple of 11?
True
Let w be -3*(-3 + (-8)/(-6)). Suppose -4*b = -w*b + 27. Let x = 53 - b. Does 8 divide x?
False
Let c(b) = -4*b - 5. Let z = -27 - -18. Is 31 a factor of c(z)?
True
Let w be 4/10 + (-2919)/70*2. Let a = 130 + w. Does 8 divide a?
False
Suppose 0*h - 8 = -4*h - r, -4*h + r = 0. Suppose 0 = 5*c - 5*f - 10, 2*c + 5*f - 3 = h. Let o = c - -13. Does 13 divide o?
False
Suppose 2*j + 5 - 211 = -3*q, 5*j + 3*q = 524. Let a = 21 + j. Is a a multiple of 56?
False
Let z = 402 + -235. Does 6 divide z?
False
Let i be ((-51)/(-4) - 2)*12. Suppose 47 = -2*k - i. Let b = -50 - k. Does 7 divide b?
False
Suppose -9 = -g - 2*g. Let v = 16 + -11. Suppose 5*x = -4*b + 3*b + 12, 36 = g*b - v*x. Is 6 a factor of b?
True
Let r = 2 - -67. Suppose 52 + r = i. Let u = i + -63. Is u a multiple of 16?
False
Let t(z) = 7*z**2 - 35*z - 4. Is t(8) a multiple of 41?
True
Let w = 1 + 5. Suppose 2*j - 10 + w = 0. Suppose 3*t = -j*t + c + 18, 0 = 5*c + 15. Does 3 divide t?
True
Let s = -105 - -183. Suppose -87 = 3*r - x, -3*r = x + x + s. Is (-973)/r + (-2)/(-8) a multiple of 7?
True
Let n(p) = -p**3 - 5*p**2 - p - 2. Let f be n(-5). Let v be -3 + f/(9/6). Let z(x) = 12*x**2 - x - 1. Is 10 a factor of z(v)?
False
Let t(c) = c**2 + 8*c + 1. Let w be t(-7). Let f = -3 - w. Suppose 0 = f*v + 4*g - 38, -3*v + v = g - 27. Is v a multiple of 14?
True
Let i(n) = -6*n**3 - 3*n**2 + n + 2. Suppose 2*y + 5 = 5*l - 8, -3*l = 3*y - 12. Let b be (1 + -4)/(l/2). Is i(b) a multiple of 20?
False
Is (-35)/(-14) - (-71961)/34 a multiple of 13?
True
Suppose 0 = -0*d - 6*d - 18. Is ((-92)/12 + d)*-3 a multiple of 16?
True
Let c be ((-6)/1)/(5/(7 - 2)). Let v = c + 55. Is 49 a factor of v?
True
Suppose 2*n = -4*g + 464, -n = -0*g + g - 118. Let j be (-4)/18 - 8/(-36). Suppose -3*w + w + g = j. Does 19 divide w?
True
Let o(z) = -z + 500. Is 7 a factor of o(-46)?
True
Is 60 a factor of 120*(-9)/4*-8?
True
Suppose -2*l + 5 = 37. Let c = 32 + l. Let b = 8 + c. Is 8 a factor of b?
True
Suppose x - 176 = -2*a, -7*a - 10 = -2*a. Suppose h - x = -2*h. Is h a multiple of 20?
True
Does 7 divide (-1905)/20*((-4 - -10) + -10)?
False
Suppose -4*q + s + 5590 = -4491, -5*s - 5045 = -2*q. Is 28 a factor of q?
True
Let b(d) = d**3 - 2*d**2 - 5