21 divide q?
False
Let p(v) = 14*v - 7. Let m be p(2). Let f = m - -13. Is f a multiple of 10?
False
Suppose 0 = -5*s - 5*x, -5*x = 8 + 7. Suppose -15 = -4*d - s. Is 2 a factor of (-2)/d + (-23)/(-3)?
False
Suppose 3*i = -4*l - 12, -4*l + 5*i + 20 = -l. Suppose 3*u = -0*u + 15, -z - 3*u + 59 = l. Does 44 divide z?
True
Let h = 171 + 162. Does 37 divide h?
True
Suppose -2*c = -3*i + 4*i - 212, 2*i + c - 430 = 0. Let o = 346 - i. Is o a multiple of 13?
True
Suppose -4*p - w + 1307 = 0, -4*p + 2*w + 1322 = -0*p. Is 15 a factor of -9*(p/48)/((-1)/2)?
False
Suppose -m - 4*m - 2*c - 5 = 0, 4*c = -3*m - 3. Is 13 a factor of 1/(m/(-160)*5)?
False
Let j = 231 + -119. Suppose 2*r = 10*r - j. Is 3 a factor of r?
False
Let w be (5*15/25)/(-3). Let m(j) = -2*j - 2 - j - 8*j. Is 9 a factor of m(w)?
True
Suppose 2*p - 634 = -4*w + 76, -5*w + 890 = 2*p. Is w a multiple of 36?
True
Let q(h) = -h**2 + 12*h + 6. Let d be q(12). Is d/4 - 2872/(-16) a multiple of 37?
False
Suppose 0*b = -3*v + 4*b + 687, 4*v = -4*b + 888. Is 15 a factor of v?
True
Let q be 6*-1*(-9)/18 + -3. Suppose q = 3*h - 5*w + 10*w - 184, -4*h + 254 = -2*w. Is 7 a factor of h?
True
Let v(m) = 4*m - 28. Let i = -36 + 49. Is v(i) a multiple of 6?
True
Let m be -4*(-2 + (-255)/(-10)). Let s = 26 - m. Does 10 divide s?
True
Let i = -649 + 1084. Is i a multiple of 15?
True
Let y = 34 + -23. Let j = y + -6. Does 26 divide 200/(j + -3) + 0?
False
Let k be 602 - ((-10)/20)/((-1)/8). Let i = k + -358. Is i a multiple of 15?
True
Let r(p) = 15*p - 34. Let i(b) = -3*b + 7. Let n(x) = -22*i(x) - 4*r(x). Let o be 2/(-15) + (-4028)/(-285). Is n(o) a multiple of 33?
True
Does 5 divide (-3 + (-1778)/6)*27/(-18)?
False
Let z be ((-9)/6 - -3) + (-73)/2. Let b = z - -83. Is 24 a factor of b?
True
Let a(l) = 3*l**3 - 7*l**2 - 2*l + 14. Let i(z) = 2*z**3 - 8*z**2 - z + 13. Let n(x) = -3*a(x) + 4*i(x). Let j be n(-11). Let p = -8 - j. Is p a multiple of 4?
True
Let a = 4 + -3. Suppose 0 - 1 = r + 2*c, 2*c = -8. Let v = r - a. Is 3 a factor of v?
True
Suppose -424 = -10*z + 6*z. Let t = 200 - z. Is t a multiple of 10?
False
Let j be 115/3*3*-2*1. Let a = 355 + j. Does 25 divide a?
True
Let v = 144 + 571. Does 5 divide v?
True
Suppose 0 = -z - z + 4. Suppose -z*i = -3*q - 21 - 17, -5*q - 26 = -i. Let g = i + -2. Is 6 a factor of g?
False
Is 79 a factor of 57/11 - (-14)/(-77) - -469?
True
Let s(j) = -7*j + 373. Is 10 a factor of s(9)?
True
Does 29 divide 9 + 50/(-5) - -1364?
True
Let v = -2 - -2. Let f be 4 + -2 - (-2 + v). Suppose 109 = 5*g + f. Is 7 a factor of g?
True
Let f(g) = 3*g**2 + 39*g + 3. Is 13 a factor of f(-18)?
True
Let m(x) be the second derivative of -7*x**5/120 - x**4/24 + 2*x**3/3 + 4*x. Let f(n) be the second derivative of m(n). Is f(-7) a multiple of 12?
True
Let i(m) = m**3 + 6*m**2 - 8*m + 8. Let z be i(-7). Suppose -2*f - 2*f = -20, 0 = -v + 3*f - z. Suppose 3*l = -v*l + 216. Is l a multiple of 18?
True
Is (-88)/(-110) - (-5806)/5 a multiple of 83?
True
Suppose -4*q - 30 = q. Let m be ((-9)/12)/(q/16). Suppose -m*c + c = -53. Does 20 divide c?
False
Suppose 7*i - 2*i - 12543 = 2*q, -2505 = -i + 4*q. Is i a multiple of 77?
False
Let z be (0 + (-1)/(-1))*-1. Let q(g) = 15*g - 2*g + 16*g**2 - 6*g - 6*g. Does 5 divide q(z)?
True
Suppose -2*n + 5*b - 4*b = -230, -b = n - 115. Is n - (5 - (11 - 1)) a multiple of 23?
False
Let r = -572 + 1617. Is 11 a factor of r?
True
Let h(v) = 20*v**3 - 20*v**2 + 15*v + 12. Let l(t) = -7*t**3 + 7*t**2 - 5*t - 4. Let u(b) = -6*h(b) - 17*l(b). Is 32 a factor of u(-4)?
True
Suppose 3*v - 3 = 0, 202*j - 1107 = 198*j + 5*v. Does 2 divide j?
True
Suppose 45 - 35 = o. Is o a multiple of 2?
True
Let v be (285/9)/(2/6). Suppose 2*w - 3*a - 21 - 2 = 0, a = 3*w - 31. Suppose -w*c + v = -5*c. Does 19 divide c?
True
Suppose 0 = -5*x - 5*a + 1390, 13*a + 838 = 3*x + 12*a. Is 7 a factor of x?
False
Suppose 0 = 5*q + o - 28 - 9, 3*q - o - 27 = 0. Let d(h) = 11*h + 2. Does 9 divide d(q)?
True
Is 3 a factor of 73/12*2 - 77/462?
True
Let x be 16/(3 + 1) - -2. Suppose 2*t - x = -0*t. Suppose -5*g - t*z = -8*z - 195, 0 = z + 4. Does 12 divide g?
False
Let a = 4671 + -3121. Is 22 a factor of a?
False
Suppose g = -15 + 2. Let b = g + 16. Suppose -2*u + k + 117 = 0, -2*u - b*k + 118 = -5*k. Does 17 divide u?
False
Suppose 3*f = 4*g + 153, -g - 26 - 24 = -f. Suppose 0*i - 3*n = i - 37, -2*i + 3*n = -f. Is i a multiple of 7?
True
Suppose 592 = 20*l - 18*l. Is l a multiple of 37?
True
Let n(w) = -w**2 + w**3 + w**2 - 10*w**2 - 12 + 12*w. Let r be 3/(6/(72/4)). Is 6 a factor of n(r)?
False
Let i(v) = -v - 1. Let d(x) = 4*x + 6. Let u(p) = -2*d(p) - 4*i(p). Suppose b = -b - 12. Does 8 divide u(b)?
True
Let m(l) = -432*l + 3. Is 29 a factor of m(-1)?
True
Let x(p) = -9*p - 1. Let u be x(-10). Suppose -5*z + 2*y = -u, 2*z + 2*y = 43 - 13. Suppose -70 = -3*s + z. Is 7 a factor of s?
False
Let a(w) = -w**3 - 9*w**2 - w + 21. Does 5 divide a(-9)?
True
Suppose 702 = -21*j + 34*j. Is j a multiple of 5?
False
Let l(v) = v + 14. Let d = 72 - 68. Is 14 a factor of l(d)?
False
Suppose -242*p + 148 = -238*p. Does 13 divide p?
False
Let r(u) = u**2 - 2*u. Is 21 a factor of r(23)?
True
Suppose -2*r + 0*r - 2*k = -72, 5*r = 4*k + 198. Is 19 a factor of r?
True
Let o = -10 - -7. Let i = 10 + o. Let n(b) = b - 2. Is 5 a factor of n(i)?
True
Suppose p - 3*z = -0*z - 4, -4 = 2*p - 2*z. Is p/(-4) + (2324/(-16))/(-7) a multiple of 4?
False
Let z(n) = -15*n + 1. Let h(s) = -s**2 + s + 5. Let w be h(3). Is 12 a factor of z(w)?
False
Let k(z) = 12 - 3 + 7*z**2 - 8*z**2 + 9*z + 2*z**2. Is k(-9) a multiple of 6?
False
Suppose 32 = -3*w - 124. Let m = w + 107. Is m a multiple of 17?
False
Let t be 6/(-8) - 27/(-36). Does 31 divide -2*(t + (-162)/4)?
False
Let h = 5 + -8. Is 16 a factor of h + (-315)/((-3)/1)?
False
Suppose 0 = -4*z + 2*z - h + 7, 16 = 2*z - 2*h. Suppose -z*s - 33 = -233. Is 8 a factor of s?
True
Let u(t) = 27*t + 25. Let r be u(11). Let o = r + -206. Does 29 divide o?
True
Let b be 12*-4*4/(-24). Is 3/(-4) - ((-214)/b - -4) a multiple of 4?
False
Is (2 + -2 + -5)/((-430)/9804) a multiple of 3?
True
Let l be (-8)/10*(-350)/20. Suppose 0 = 3*n - l - 43. Is n a multiple of 4?
False
Let f = -1436 - -2012. Does 36 divide f?
True
Let i = 118 + 75. Let c = i - 117. Does 6 divide c?
False
Suppose 16*h = 21*h - 20. Suppose -h*v + 130 = -2*v. Is v a multiple of 13?
True
Let l(z) = -56*z. Is 28 a factor of l(-3)?
True
Let m be (-25)/10*(0 + 2 + 136). Does 11 divide -4 - m/(2 + 3)?
False
Let m(z) = -z**3 + 9*z**2 + 8*z + 24. Let b be m(10). Is 2 a factor of (6/4)/((-12)/(-104)) - b?
False
Let s be (16 - 38) + (1 - (0 + 1)). Let g = 34 + s. Is g a multiple of 12?
True
Let o(u) = -u**3 + 10*u**2 + 12*u - 23. Let c be o(10). Let x be 2/(-6)*-3*61. Let g = c - x. Does 12 divide g?
True
Let g(p) = p**3 + 5*p**2 + 5*p - 3. Let i be g(-4). Let f = i + 20. Suppose -h + f = -8. Is h a multiple of 7?
True
Let q(n) = 7*n - 107. Let i be q(15). Let l(d) be the second derivative of d**4/2 - 2*d**3/3 + d. Is l(i) a multiple of 16?
True
Let o(a) = a**3 + 20*a**2 + 7*a + 65. Let j be o(-20). Let u = 7 + -152. Let y = j - u. Is 14 a factor of y?
True
Does 6 divide (253 + -66)*(0 - -1)?
False
Suppose -p + 592 = 3*o - 333, -5*p + 2*o = -4710. Is 10 a factor of p?
True
Suppose -23*f + 4*f + 28272 = 0. Does 62 divide f?
True
Let s = -10 + 12. Suppose -2*i = 4*o - 126, -6*o + s*o = -5*i - 133. Suppose -2*j - q = -0*j - 63, j - o = -q. Is 5 a factor of j?
False
Let d = 2400 - 1450. Is 10 a factor of d?
True
Let y(l) = 41*l - 179. Does 5 divide y(21)?
False
Suppose 0 = 4*u - 11 - 1. Suppose u*g = 8*g - 120. Is 4 a factor of g?
True
Does 4 divide 10855/45 + 74/(-333)?
False
Suppose 6*n = -16 - 20. Let r(x) = -2*x + 4. Is r(n) a multiple of 3?
False
Let k = -1 + 3. Suppose -k*x + x = 3. Let y = 16 + x. Does 4 divide y?
False
Let v = 38 + 527. Is 44 a factor of v?
False
Suppose -4*z - 2*z = -1836. Does 18 divide z?
True
Let j = 24 + -21. Suppose -c + 2 = j*c + 3*n, -n + 6 = -4*c. Is c/1 + 2 + 53 a multiple of 17?
False
Is 273336/112 - (-1)/(-2) a multiple of 40?
True
Let o = 5108 - 2264. Is o a multiple of 18?
True
Let m = 247 + -124. Let n = -57 + m. Does 28 divide n?
False
Let c be 24/15*(-25)/2. Let p = c + 25. Is (-36)/(-20)*p/1 a 