 Let r = p - -152. Does 26 divide r?
True
Let i = 950 + -573. Does 29 divide i?
True
Let l = -116 + 300. Is l a multiple of 46?
True
Let c(z) = z**2 - z - 2. Suppose -l - 3*l = 16. Does 9 divide c(l)?
True
Is 19 a factor of 29 - (6 - (0 - -4))?
False
Let n = 146 - 88. Is n a multiple of 29?
True
Let c(t) = -4 - t + t**2 + 11 + 3*t. Let y be c(-5). Let m = 33 - y. Does 4 divide m?
False
Let x = -5 + 1. Suppose 0 = -5*o + 5, 0 = 3*u - 4*o + 52 - 6. Is 14 a factor of x/u - (-384)/28?
True
Let p(t) = 3*t - 3. Let x be p(2). Suppose 3*h - 5 = -x*y + 46, 2*h - 14 = 2*y. Is h a multiple of 12?
True
Suppose 9 = -5*d - 26. Let n = -5 - d. Suppose n*h + 4*s - 21 = s, -3*h + 2*s + 25 = 0. Does 9 divide h?
True
Suppose 7*o - 540 = 4*o. Is 12 a factor of o?
True
Let v(k) = -k - 6. Let r be v(-5). Let q be 10/(2 + r + 1). Let l(c) = c**3 - 5*c**2 + c - 2. Is l(q) a multiple of 3?
True
Let r = 487 + -111. Is r a multiple of 47?
True
Let w = -2 - -4. Suppose -d + 20 = -5*z, -w = 2*z + 6. Suppose 0 = 4*u + 4*n - 34 - 18, -4*u - 2*n + 62 = d. Is 7 a factor of u?
False
Let v = 68 + -100. Let s = 2 - v. Is 17 a factor of s?
True
Suppose -p + 2 = -3*u, 2*u - 3 = 2*p + 3*u. Let i = 3 + p. Suppose 2*y = -i*j + 32, -y + 14 = 3*j - 4. Is y a multiple of 15?
True
Let c be (-1)/5 + 1863/15. Let x = c - 73. Suppose x - 19 = 4*g. Does 4 divide g?
True
Does 14 divide (-9)/18 - 506/(-4)?
True
Let b(x) = -13*x - 19. Is 21 a factor of b(-5)?
False
Does 34 divide (132/(-1))/(3*3/(-6))?
False
Let k be (-15)/(-5) - (-1 - -1). Suppose t + k = 9. Is 4 a factor of t?
False
Let p = 2 + -1. Is 14 a factor of (-3450)/(-80) + p/(-8)?
False
Let y(n) = 13*n - 2. Let x(b) = 26*b - 4. Let g(i) = -4*x(i) + 7*y(i). Let p be g(2). Let w = 10 - p. Is w a multiple of 15?
False
Let i(b) = 11*b**2 + 3*b + 2. Suppose -5 = u - 3. Is i(u) a multiple of 12?
False
Let p(c) = 11*c - 1. Let g be p(-6). Suppose -2*t = -5*m - 144, -t = -0*t - 2. Let v = m - g. Is v a multiple of 19?
False
Let l be 0 - -4 - (3 - 4). Suppose -l*q + 74 = z, 9*q - 202 = -3*z + 4*q. Is 17 a factor of z?
False
Let g be 6/(-4)*(-5 + -1). Let m be (-2)/(-8) + g/12. Let l(u) = 19*u - 1. Is 14 a factor of l(m)?
False
Let q(d) = 12*d**3 - d**2. Let u be q(2). Suppose -4*p = 5*g - 103, 5*g - u = 3*p + 32. Does 13 divide g?
False
Let r(g) = -13*g**2 + 6*g - 38 + 6*g + g**3 + 42. Is 2 a factor of r(12)?
True
Let q = 311 - 94. Is 7 a factor of q?
True
Suppose 11*j = 408 - 45. Is j a multiple of 4?
False
Suppose 2*q = -0 - 30. Let z be 5*(9/q - -1). Suppose 4*r = -2*v + 32, 5*r = -z*v - 3*v + 30. Is 9 a factor of r?
False
Suppose -4*g + 5*f - 2 = 0, 3*g - 3*f = -4*f + 8. Suppose -g*o = o - 48. Is 8 a factor of o?
True
Let v be 0/4 - -7 - -3. Suppose -3*a + v = -41. Is 3 a factor of a?
False
Let z(v) be the first derivative of v**4/4 + 8*v**3/3 + 3*v**2 + v + 1. Let o be (-1 + 7 - -2)/(-2 + 0). Is z(o) a multiple of 23?
False
Suppose 5*n - 82 = -2. Does 4 divide n?
True
Let s = 64 - -81. Is s a multiple of 35?
False
Let k(v) = -v**3 + 5*v**2 - 3*v - 4. Let j be k(3). Suppose -3*p - 3*q + q + 114 = 0, -j*p + q = -177. Is 18 a factor of p?
True
Let p = 62 - 49. Is p even?
False
Suppose -3*z - 5*a + 245 - 34 = 0, -3*z = a - 215. Is 6 a factor of z?
True
Let s = -36 - -71. Is 11 a factor of s?
False
Let l(f) = f + 18. Let a be l(-14). Suppose 0 = 5*s - a - 91. Is 6 a factor of s?
False
Suppose -2*j + 4*h = 8, -2*h + 6 = -0*h. Let y(u) = 3*u**2 + 3*u - 3. Let t be y(j). Suppose x + g = 7, x - 3*g + 6*g = t. Is 3 a factor of x?
True
Let d(c) = -c**2 + c + 19. Let o be d(0). Suppose o = 2*u - 41. Does 12 divide u?
False
Let a(i) = i + 6. Let z be a(0). Is 3 a factor of 6 - 3/z*0?
True
Suppose 5*s = 2*p + 25, -4*s + 4*p = -0*p - 32. Suppose -2*o - 3*o - 108 = -2*a, s*a - 85 = 4*o. Let t = 32 + o. Is t a multiple of 5?
True
Let p = -125 + 500. Is 25 a factor of p?
True
Does 33 divide 194 + (-8)/2 + 8?
True
Suppose 0 = 4*v - 6*v - 12. Let j(a) = -a**3 - 6*a**2 - 3*a - 4. Does 14 divide j(v)?
True
Is 87 + (-1)/((-1)/(-3)) a multiple of 14?
True
Let o be (-8)/(-20) - 96/(-10). Is 5 a factor of o/(-45) - (-128)/9?
False
Suppose 4*w - 2*a = 38, 0 = -2*w + 2*a + a + 25. Is 7 a factor of w?
False
Let f = 11 - 7. Suppose -f*m = -5*n - 59, -4*n + 36 = m + m. Is m a multiple of 10?
False
Suppose -4*p + 3*j = -0*p - 150, -p + 26 = 5*j. Does 19 divide p?
False
Let k be (1 - (-5 - -4)) + -2. Suppose 0 = -2*i - k + 10. Is 5 a factor of i?
True
Let h be -1 - 3/(-6)*2. Suppose r = -c + 3*r + 10, -5*c + 2*r + 26 = h. Suppose 0 = a - c*a + 27. Is a a multiple of 9?
True
Suppose -2*l - 96 = 2*j, -6*l = 2*j - 3*l + 93. Let h = j - -137. Is 23 a factor of h/10*-1*-5?
False
Suppose -3*h - 1 - 2 = 0, 3*v + 5*h = -131. Let o be 1*3/(6/(-4)). Is 13 a factor of v/3*3/o?
False
Let b be (-4 - -8 - -2) + -3. Suppose -51 = b*m - 6*m. Is m a multiple of 9?
False
Is 23 a factor of 2/4 - (-6 - (-295)/(-2))?
False
Is 15 a factor of (-1272)/(-42) - 4/14?
True
Let p = 74 + -53. Is p a multiple of 10?
False
Let n be 4 + 0/(3 - 1). Let q be 4/1*82/8. Suppose -x + q = n*m, -x = m + m - 19. Is 11 a factor of m?
True
Let q(r) = 2*r**2 + 4*r - 13. Is q(-9) a multiple of 12?
False
Is 28 a factor of 3*320/12*(-6)/(-5)?
False
Suppose 5*x + 0*w - w = 14, -w = -1. Suppose 3*c - 73 = -5*n + 58, 0 = x*c + 2*n - 119. Does 8 divide c?
False
Let o be (1/2)/(2/(-8)). Does 6 divide 9*(o/3)/(-1)?
True
Let u(t) = t**3 - 5*t**2 - 4*t - 6. Suppose 0*h - 4 = -2*f + h, 0 = 3*h - 12. Suppose -3*z = -3*d - 18, 0 = -5*d + f*d. Is 3 a factor of u(z)?
True
Let w(n) = 2*n**2 + 9*n - 8. Is w(7) a multiple of 20?
False
Does 32 divide (-1)/4 + (-931)/(-28)?
False
Suppose 0 = 2*d - 6. Is d a multiple of 2?
False
Let j(r) = 16*r - 1. Let k be j(1). Is 7 a factor of ((-200)/k)/(2/(-6))?
False
Suppose -1 = 2*o - 5*d, 2*o = -d - 2 + 7. Suppose o*g = -t - 0*g + 25, -2*t + 3*g + 22 = 0. Is t a multiple of 7?
False
Suppose 14*d + 216 = 18*d. Is 18 a factor of d?
True
Suppose 14 = 2*j - 4*j. Let s(q) = -q**2 - 9*q + 3. Is s(j) a multiple of 17?
True
Let o = -19 + 21. Suppose -o*k = -p - 104, -k - 3*p + 260 = 4*k. Does 12 divide k?
False
Let a(f) = -f**3 - 6*f**2 - 4*f - 9. Let i be a(-6). Suppose 3*h - i - 93 = 0. Is 12 a factor of h?
True
Suppose 5*b - 5 = -2*g, 0 = g + 3*b - 2*b - 1. Is 2 a factor of 5/((-15)/(-12)) - g?
True
Let p be 1 + -2 - 4/(-2). Let i = p + 15. Does 16 divide i?
True
Let a(t) = -t**3 + 13*t**2 - t + 13. Let h be a(13). Suppose h = 2*l - 31 - 9. Is l a multiple of 10?
True
Suppose 3*z - 39 = -s, 2*s + z - 40 = 58. Suppose 0 = -0*u + u - s. Is u a multiple of 13?
False
Suppose -3*z + z = -6. Suppose r = -3*h + 7, h - z = -r - 4*h. Let s = r + 0. Is 5 a factor of s?
False
Suppose -f = -z - 92, 0 = -f + 2*z + 122 - 27. Does 9 divide f?
False
Suppose -3*t - 72 = -5*t. Does 18 divide t?
True
Let b = -3 + 8. Suppose -b*k + 175 = -2*q, -5*k + 69 = 3*q - 106. Is 13 a factor of k?
False
Let f(u) = u**3 + 6*u**2 - 7*u + 4. Let b be f(-7). Suppose -72 = -b*d - 2*r, 2*d = 6*d - 5*r - 86. Is 6 a factor of d?
False
Let j(w) = w**2 - 2*w - 4. Let y be j(3). Let c(f) = f + f**2 + 1 + 2*f**2 - 2*f**2 - 14*f**3. Is 15 a factor of c(y)?
True
Let r(h) = -4*h**2 + h**3 + 0 + 8*h - 6 - 10*h. Is 3 a factor of r(5)?
True
Let j be 1/((-28)/16 - -2). Is (68/3)/(j/6) a multiple of 17?
True
Let p(r) = -r**2 + 14*r - 9. Is 13 a factor of p(6)?
True
Let q(s) = 6*s**3 - 2*s**2 + 2*s + 2. Let r be q(2). Let o = 88 - r. Does 12 divide o?
False
Suppose -3*m - 3 = 3*t, -2*t - m + 0*m = -3. Suppose 3*x + 30 = -3*x. Let s = t - x. Is 3 a factor of s?
True
Let t = -22 - -40. Let y = t + -8. Is 4 a factor of y?
False
Let i(b) = -b**2 + 4*b - 3. Let w be i(3). Suppose -v - 2*c = v + 2, 0 = 2*c + 10. Suppose -v*o = -w*o - 16. Is o a multiple of 4?
True
Let m(d) = -d**2 + 15*d - 19. Is 2 a factor of m(13)?
False
Suppose -y = -3*s + 17, 6*y - 3*y = -s - 61. Let t = -9 - y. Is t even?
False
Is 129/(-9)*-3 - 3 a multiple of 20?
True
Suppose 7 = 4*q - 5. Suppose 2*k + 3*i - 4 = q, 5*i + 20 = 3*k. Suppose -k*a - 20 = 0, 4*s - 5*a = -0*s + 44. Is s a multiple of 3?
True
Does 11 divide (60/80)/((-2)/(-56))?
False
Is 19 a factor of (((-176)/(-20) - 4) + -2)*95?
True
Suppose 3*r - 4*r = -i, 4*i = 5*r - 2. Suppose -r*m + 5 = -k - 12, 0 = -2*m + 4