5*y = 5*r - y - 410. Suppose 2*j - r = -j. Is j a multiple of 11?
False
Let u be (-20 - 2)/((-2)/9). Suppose -4*n + 4 = 0, -4*y + 7*n + u = 2*n. Is y a multiple of 22?
False
Suppose 153 = 5*v + 2*d, 3*v - d = 4*v - 33. Does 29 divide v?
True
Does 6 divide (-7)/((-105)/410) + (-1)/3?
False
Is 1/2*0 - -92 a multiple of 21?
False
Suppose -w + 4*f = -77, 5*w - 42 = 4*w - 3*f. Does 19 divide w?
True
Let p be 0*(-1)/(-2) - 0. Suppose s + 1 + 2 = p, s - 33 = 4*k. Let o = k - -12. Does 2 divide o?
False
Suppose -6*l = -392 + 104. Is 7 a factor of l?
False
Let u = -12 + 9. Is ((-18)/4)/(u/20) a multiple of 13?
False
Suppose 2*k + 2*k - 144 = 0. Is k a multiple of 9?
True
Let c = -7 + 12. Suppose 0 = -h + 24 + c. Is h a multiple of 20?
False
Let m(i) = 3*i**3 + 13*i**2 - 7*i + 9. Let j(s) = s**3 + s**2. Let a(q) = -4*j(q) + m(q). Is 8 a factor of a(8)?
False
Let t = 101 + -61. Suppose 4*y - t = 4*g, 0*y + y = -4*g - 25. Let x(j) = -j**2 - 7*j + 10. Does 8 divide x(g)?
False
Suppose 5 + 3 = 3*m + 4*p, 0 = 2*m + 4*p. Let q = m + -15. Let i(x) = -3*x - 3. Is 9 a factor of i(q)?
True
Let d(y) = 11 - 13*y**2 + 1 + y**3 + 1 + 0 - 14*y. Is d(14) a multiple of 6?
False
Suppose -a - 3*u - 154 = -24, 5*a + 686 = 3*u. Is 12/42 - a/14 a multiple of 10?
True
Let x be (4 + -3)/(2/4). Suppose 28 = 2*p + x*p. Suppose -p = 5*j - 82. Does 6 divide j?
False
Let q(a) = -a**3 + 15*a**2 - 10*a - 12. Is 11 a factor of q(14)?
True
Suppose -15 = 3*h + 3*a, -3*h + a + 4 = -1. Let q = h - -26. Is q a multiple of 13?
True
Let p(n) = 27*n**2 + n. Suppose -7*q - 4 = -3*q. Is 13 a factor of p(q)?
True
Let t(f) = f**2. Let r be t(6). Suppose -3*o - r = -204. Does 27 divide o?
False
Let b be (2 - 1)*(17 + 2). Let x = b + -17. Is x even?
True
Suppose -126 = -5*x + 154. Let q = x - 39. Does 17 divide q?
True
Suppose 0 = -2*q - q + 39. Is q a multiple of 6?
False
Let p be 1/(-4) + (-105)/(-4). Let n = 45 - p. Is n a multiple of 14?
False
Let c be 2/4*(-5 - -7). Is c/(-2)*(-5 - 5) even?
False
Is 17 a factor of 5343/65 + 4/5?
False
Suppose 6 + 0 = 3*r. Suppose -r*c + 2*u - 11 = 11, -4*u + 33 = -3*c. Let v = -8 - c. Does 2 divide v?
False
Let a(q) = -24*q**3 - q**2 - 2*q - 3. Let u be a(-2). Does 13 divide u/15 + 2/5?
True
Suppose -146 - 154 = -r. Suppose -r = -d - 3*d. Is d a multiple of 25?
True
Suppose 4*t - y = 99, -2*y - 5 = 1. Is t a multiple of 8?
True
Is (((-1590)/(-18))/5)/(2/18) a multiple of 21?
False
Let s(o) = -14*o**3. Let k be s(-2). Suppose 3*f - k = -f. Is 14 a factor of f?
True
Let r be 31/11 - 10/(-55). Suppose 5*z - 60 = r*z - p, 0 = 4*p. Does 10 divide z?
True
Is 8 a factor of ((-4 - -5)*-3 + -187)/(-2)?
False
Let d = -20 - -116. Does 8 divide d?
True
Let i = 151 - 79. Suppose -5*k = -2*c - i, -5*k = -4*c - 62 - 12. Does 6 divide k?
False
Let r = -3 - 12. Let p(c) = -9*c + 8. Let d be p(-4). Let z = d + r. Is 13 a factor of z?
False
Let k = 12 + -7. Suppose 0 = -k*r - 0*r + 75. Does 5 divide r?
True
Suppose 124 = 5*b - 4*t, t - 56 = -3*b + 15. Suppose -d - 4*q + 0*q = b, -2*q - 10 = 0. Is 15 a factor of (-1 - d) + 48/4?
True
Let a be -55*(1 + -2)/1. Suppose r + 4*r = a. Is r a multiple of 5?
False
Let r be (-7)/(-5) + (-2)/5. Let v be r - 6/(-3*1). Suppose 4*m = 4*w - 76, 4*w = v*w + 4*m + 16. Is 8 a factor of w?
False
Suppose 5 = 5*x - 10. Is 2 a factor of x?
False
Let v be 2/4*4/1. Suppose -v*f = 2*u - 6*u - 8, 4*f + 5*u - 68 = 0. Does 12 divide f?
True
Suppose 0 = 17*c - 13*c - 40. Does 4 divide c?
False
Is 16 a factor of (-1)/3 - (-762)/18 - 0?
False
Does 3 divide (4/(-16))/((-2)/328)?
False
Let k(m) be the first derivative of m**4/4 + 7*m**3/3 + 3*m**2/2 + 2*m + 2. Let r = 35 - 40. Is k(r) a multiple of 18?
False
Let k(b) = -2*b - 2. Let u be k(2). Does 12 divide 3 + u/1 - -27?
True
Let p(z) = z**2 - 3*z. Is 9 a factor of p(6)?
True
Let c = 5 - 5. Let d be c/(9/3 + -2). Suppose -3*t = -d*t - 45. Is 15 a factor of t?
True
Is 19 a factor of 2 - (-5)/(20/172)?
False
Let g = -1 + -1. Let v(o) = o - 2 - o**3 + 0*o**3 - 2*o**3 + 3*o**2. Is 16 a factor of v(g)?
True
Let s = -1 + 3. Suppose -s*c - 1 = -3. Let z = 1 + c. Is z a multiple of 2?
True
Let z(r) = r**3 - 18*r**2 - 12*r - 25. Does 9 divide z(19)?
True
Let t(a) = a**2 - 4*a - 1. Let u be t(-4). Suppose 0 = c + 3*z - u, 2*c + 2*c - z = 163. Does 15 divide c?
False
Let k(i) be the first derivative of -4*i**2 - 4*i - 1. Is 12 a factor of k(-5)?
True
Suppose 4*b + 40 = 5*w, 0 = 3*w + b - 24. Let m = -3 + w. Does 5 divide m?
True
Let z = 40 - 29. Does 7 divide z?
False
Suppose 5*m - 190 = 4*d, -4*m + 146 = -0*d - 2*d. Does 21 divide m?
False
Let c(h) = -3 + 4 + 5*h**2 - 2 - h. Is 11 a factor of c(2)?
False
Let q(p) = 3*p + 1. Suppose 5 = 5*f - 0. Let u be q(f). Suppose 0 = -u*b + 4, g + 3*b = 5*g - 61. Is g a multiple of 5?
False
Suppose -4*u + 3*p + 223 = 0, -u + 5*u - p - 229 = 0. Suppose -8*h + 128 = -4*y - 3*h, -4*h + 64 = -2*y. Let o = u + y. Does 15 divide o?
False
Does 37 divide (-93 + 5)*(0 + -1)?
False
Suppose 2*w + 3*w = 15. Suppose -w*z + 6 = -66. Is z a multiple of 15?
False
Suppose 3*u = 9, 0 = -2*n - n - 5*u + 15. Let k be 3/(-9)*n + 10. Let x = 2 + k. Is x a multiple of 5?
False
Is -3*25/15 - -140 a multiple of 12?
False
Suppose 0 = k + k + 5*b - 47, 4*b + 59 = 3*k. Does 3 divide k?
True
Let a = -3 + 5. Let o be ((-12)/8)/(1/a). Is (-2 + -18)*o/2 a multiple of 13?
False
Suppose -4*j + 27 = -21. Let n = 72 - j. Does 28 divide n?
False
Let z(u) = -2*u**3 - 11*u**2 - 17*u - 20. Let t(x) = -x**3 - 6*x**2 - 8*x - 10. Let c(r) = 5*t(r) - 2*z(r). Let p be c(-7). Let i = 86 + p. Is 28 a factor of i?
False
Let m(c) = c**2 + 3*c + 6. Let q be m(-4). Suppose 2*h = 7*h - q. Suppose -f = -4*f - 5*z + 89, -5*f - h*z + 142 = 0. Is 14 a factor of f?
True
Suppose -3*x - 2*q + 6*q = 7, 0 = 5*q - 20. Suppose -124 = t - x*t. Is t a multiple of 24?
False
Suppose -3*k - 98 = -5*f, -4*f + 58 = 2*k - 38. Suppose d = 2*d + 2*q - 10, -5*d = -4*q - f. Does 6 divide d?
True
Let q be (-1)/3*3 - -4. Suppose 43 = q*r - 113. Is r a multiple of 13?
True
Let f = -66 - -135. Does 23 divide f?
True
Is 41 a factor of 2/(16/10)*164?
True
Let a(c) = -3*c**2 + 2*c + 1. Let o(x) = x**2 - x + 1. Let h(s) = -a(s) - 2*o(s). Does 9 divide h(4)?
False
Let l = 5 - -1. Let r(h) = 4*h - 7. Is r(l) a multiple of 17?
True
Suppose -7*f + 408 = 4*u - 2*f, -102 = -u + 3*f. Is 26 a factor of u?
False
Let k = 41 + -25. Does 4 divide k?
True
Let h(r) = -r**3 - 8*r**2 - 8*r - 1. Is h(-8) a multiple of 21?
True
Let k(s) = -s + 1. Let j be k(-3). Suppose -2*a - 16 = -j*z - 2, 3*z - 33 = -3*a. Suppose -z*h = -4*h - 48. Is h a multiple of 12?
True
Let o be 11/((-1)/(-1) + -2). Let u = -8 - o. Is 3 a factor of u?
True
Let c be 57/9 - 4/12. Let b(q) = q**3 - 5*q**2 - 3*q + 9. Is 27 a factor of b(c)?
True
Suppose 3*u + 415 = -2*x, 0*u - 3*u + x - 400 = 0. Let c = -80 - u. Does 17 divide c?
False
Suppose -29 = -t + 5*v, 0*t + v - 15 = -5*t. Suppose -t*o + 106 = 5*i, 139 = 5*o - 4*i + 7*i. Is 14 a factor of o?
False
Suppose 3*c = 4*c - 1, 0 = y - c + 154. Let i = y + 224. Is i a multiple of 16?
False
Suppose -50 = 3*f - 4*f. Is f a multiple of 5?
True
Let g = -16 + 31. Is 16 a factor of 2 + 3/(-3) + g?
True
Suppose -s = -5*o - 54, -3*s + o + 3*o + 118 = 0. Is 17 a factor of s?
True
Let h = 3 + -5. Is 6/h - (-2 - 11) even?
True
Suppose -8*c - 14 = -9*c. Is 6 a factor of c?
False
Let g(z) = -z**3 + 5*z**2 + 6*z + 4. Let k be g(6). Suppose k*q = 3*q + 78. Let p = -40 + q. Does 13 divide p?
False
Suppose -5*w = -2*w + 12. Let k(i) = -i - 8. Let t be k(-11). Is t/(-1 - w) - -7 a multiple of 4?
True
Let u = -93 - -147. Is u a multiple of 8?
False
Let p(q) = 2*q + 3. Is p(4) a multiple of 11?
True
Suppose 0 = 12*y - 10*y. Suppose y*w + 27 = w. Is 9 a factor of w?
True
Let z(k) be the third derivative of k**2 + 0 + 0*k + 0*k**3 + 0*k**5 + 1/120*k**6 + 0*k**4. Is z(2) a multiple of 4?
True
Let j be (78/9)/(6/9). Suppose -2*k = j - 85. Is k a multiple of 12?
True
Let i be (-22)/(-3)*3*1. Suppose t = -i - 9. Let w = -16 - t. Is w a multiple of 10?
False
Suppose 5*c + 3 = -2. Does 9 divide (155/(-20))/(c/4)?
False
Let n = -136 + 248. Is 16 a factor of n?
True
Let q = -11 - -7. Suppose -4*f = -3*b - 73, 0*f = 2*f + 3*b - 59. Let w = q + f. Is 6 a factor of w?
True
Let l(g) = g**3