-13*p = 312 - 1638. Is p a multiple of 17?
True
Let c(q) = q**3 - q**2 + 2. Let y be c(-1). Suppose 0 = 5*j - 2*h + 7 - 102, y = -4*j - 2*h + 58. Is 4 a factor of j?
False
Suppose l - 4*w + 221 = 4*l, 0 = l - w - 83. Let d = l + -45. Is 14 a factor of d?
False
Suppose -5*x + 245 = 85. Suppose j - x = -3*j. Is j a multiple of 2?
True
Let p(w) = -16*w + 1. Let m = 8 - 10. Let l be p(m). Suppose -5*d + l = -22. Is 6 a factor of d?
False
Is 8 a factor of 81/(-54)*1748/(-6)?
False
Let m(c) = -167*c**2 + 81*c**2 - 14*c + 87*c**2 + 7. Let t be (13 + 1)/(0 - -1). Is m(t) a multiple of 2?
False
Suppose -5*v + 5 = 5*h, h = -2*h - 3. Suppose 522 = -v*y - 2*u, -5*u - 4 = -u. Let i = -169 - y. Is i a multiple of 14?
False
Let o(q) = -q**3 + q**2 + 8. Suppose 0 = 5*g + g. Is o(g) a multiple of 8?
True
Let a = -337 + 569. Suppose 4*l - 3*j - 264 = 43, -4*j = -3*l + a. Does 10 divide l?
False
Suppose -532*f = -557*f + 10900. Is f a multiple of 9?
False
Let a be (-452)/(-16) + 2/(-8). Suppose -32*r + 92 = -a*r. Does 14 divide r?
False
Let x(o) = -o**3 + 10*o**2 - 3. Let y be x(7). Suppose g = 330 + y. Suppose 4*t = 2*a + g, 2*a - 5*a - 3 = 0. Is t a multiple of 33?
False
Let n = 1 - 3. Let a(y) = 9*y**3 + y**2 - y + 1. Let d be a(n). Let h = -36 - d. Does 9 divide h?
False
Let j = 10 - 12. Let u be (-35 - j) + -12 + 9. Let y = -22 - u. Is 6 a factor of y?
False
Let u(r) = 24*r - 5*r**2 - 4 - 5 + 0*r. Let i(b) = 3*b**2 - 12*b + 5. Let p(y) = -7*i(y) - 4*u(y). Does 16 divide p(-8)?
False
Let l be (-4*(-1)/6)/(-2)*-9. Suppose -s - 182 = -l*s. Does 13 divide s?
True
Let a = 18 + -15. Suppose -a*z = 5 - 2. Let i(r) = 42*r**2. Does 14 divide i(z)?
True
Suppose 0 = -4*l + 16, -2368 = -5*t - 3*l + l. Is t a multiple of 11?
False
Let z(q) = -2*q - 28. Let a be z(-15). Suppose 23 = -5*i - 4*s + 517, -390 = -4*i + a*s. Let r = i + -54. Is 10 a factor of r?
False
Suppose -48 = -2*l + 3*m, -3*l + 4*m - 34 + 105 = 0. Does 6 divide (12/9)/(2/l)?
False
Let g(z) be the first derivative of 49*z**2/2 + 7*z - 2. Is g(3) a multiple of 22?
True
Suppose k - 6*g + 4*g - 86 = 0, g = 2. Is k a multiple of 18?
True
Let i = -417 + 818. Does 47 divide i?
False
Suppose 16*k - 13*k - 792 = 0. Is k a multiple of 33?
True
Let b be ((-15)/30)/((-2)/652). Let l = b - 70. Does 26 divide l?
False
Suppose 6 + 10 = 4*c. Suppose -c*i + 15 = -9*i. Let p(v) = v + 5. Does 2 divide p(i)?
True
Let z(p) = p**2 - 15*p + 35. Let i be z(13). Suppose 64 = -x + i*x. Is x a multiple of 2?
True
Let k(f) = -f**3 - 11*f**2 + f + 16. Let m be k(-11). Suppose 5 = -m*u - 5. Does 11 divide 44 + u + 2 - 0?
True
Suppose i + 24 = 3*i. Suppose -3*z + 0*z = -i. Suppose -5*x - 80 = -z*s, -s - x = -5 - 6. Is s a multiple of 15?
True
Suppose 4*k = -2*b + 274, 4*b = 5*k - 4*k + 548. Is b a multiple of 7?
False
Let b(z) = -23*z**3 + 2*z**2 + z. Let g be b(-1). Let m be 9/(-12) - 48/(-64). Suppose -c + 48 + g = m. Does 13 divide c?
False
Suppose 819 = s - 11*t + 14*t, 4*t = s - 812. Does 34 divide s?
True
Let z(n) = -65*n - 618. Is z(-18) a multiple of 29?
False
Let z(h) = 8*h**2 + 4*h - 3. Does 8 divide z(6)?
False
Let s = -19 + 21. Suppose 0 = 10*f - s*f - 1792. Does 31 divide f?
False
Suppose -3*b + n = -1082, 3*b - 4*n + 8*n = 1072. Is 40 a factor of b?
True
Let o(m) = m**3 - 12*m**2 + 10*m - 6. Let l be o(11). Let a = 89 + l. Is 36 a factor of a?
True
Suppose -5*a + 402 = -4*s - 83, -5*a - 2*s = -485. Suppose -4*d + d + 8 = n, 4*d = 5*n - a. Does 17 divide n?
True
Suppose 2*t - 5*w + 15 = 3*t, 3*w = 5*t - 19. Does 8 divide (t/5)/((-1)/(-8))?
True
Let k = 5 + 5. Let u(a) = 9*a - 4*a + 3*a + 0 - 5. Does 23 divide u(k)?
False
Let g(v) = v**3 + 17*v**2 - 3*v - 20. Let y be g(-17). Suppose -4*j = -9*j + 3*s + 41, -5*s = -3*j + y. Is j a multiple of 3?
False
Let k(y) = -y**3 - 17*y**2 + 14*y + 1. Let v be k(-18). Let o = -1 + v. Is 24 a factor of o?
True
Let w(s) = s + 32. Let r be w(24). Let f = r - 51. Is f a multiple of 5?
True
Suppose 2*f + 171 = -2*s + 3, 0 = -5*f - 2*s - 432. Let c = f - -130. Is 21 a factor of (c/(-10))/((-7)/35)?
True
Let s(y) be the third derivative of -13*y**4/24 + 7*y**3/6 - 2*y**2. Does 15 divide s(-4)?
False
Is 15 a factor of -5 + (2 + 2)/(2/25)?
True
Let m(h) = h**3 - 8*h**2. Let v be m(8). Suppose 3*l - 205 = -5*q + l, v = q - 5*l - 41. Is 11 a factor of q?
False
Suppose 0 = 3*i + 2*f + 3*f - 59, 2*f + 5 = i. Suppose -i = g - 5*t, 0 = 5*g - 2*t - t + 87. Does 15 divide (-3 + 6)/((-2)/g)?
False
Let b(a) = 7*a**2 + a + 1. Let v be b(3). Suppose 2 = 4*y - 18. Suppose -q + 0 = -5, -y*q + v = 3*k. Is k a multiple of 7?
True
Let p = 309 - -279. Is 12 a factor of p?
True
Suppose -4*y = 2*c + 35 + 69, -5*y - 100 = -5*c. Is 16 a factor of (-5)/((-75)/(-20))*y?
True
Let s = -27 - -54. Suppose 0 = 4*b - s - 1. Suppose 5*y = -4*g + 23, b*g - 2*g - 25 = -5*y. Does 2 divide y?
False
Suppose 0 = 4*i - 154 - 2. Is 5 a factor of i?
False
Let o = -37 - -150. Let y = o + -59. Is 18 a factor of y?
True
Let r = 7 - 8. Let y be r*(2 - 252/4). Suppose -y = -4*j - 3*a - 2*a, -j + 4*a = -31. Is 9 a factor of j?
False
Suppose 5*z = 4*w + 68, -6*z - w = -3*z - 34. Let n be -2 + 3 + -3 + z. Suppose -3*j - 3 = -m - n, -2*j = -2*m + 6. Is m even?
True
Does 13 divide (4 - 9) + 11 - -59?
True
Suppose 0 = -63*l + 90*l - 30132. Is 42 a factor of l?
False
Let w(l) = -2*l + 15. Let b be w(5). Suppose -h - 1 = 3*s - b*s, -13 = -2*h - s. Suppose o + 5*z - 19 = 27, 5*o - 80 = h*z. Is o a multiple of 15?
False
Suppose 15*s = 14*s + 9. Is 14 a factor of 390/8 + s/(-12)?
False
Let i(h) = -13 - 3 + 4 + 9*h - 6. Does 9 divide i(4)?
True
Suppose 7*s - 271 = 408. Does 20 divide s?
False
Let p = -208 + 786. Suppose 8*x + p = 2034. Is 9 a factor of x?
False
Suppose 7*g - 2*g = -85. Let a = 16 + g. Is (-4)/(a - (-4)/(-12)) even?
False
Let s(v) be the second derivative of -v**4/6 - 11*v**3/3 - 13*v**2 + 6*v + 2. Does 11 divide s(-8)?
True
Let t be 3 + 7 + -3 + -3. Suppose 316 = 2*y - t*n, 6*y + n - 746 = y. Suppose 0*f = 5*f - y. Does 10 divide f?
True
Let h(m) = -1. Let r(c) = 25*c + 30. Let s(q) = -25*h(q) - r(q). Let l be s(4). Let w = l - -165. Does 15 divide w?
True
Suppose -1 = n, n - 9 - 2 = -4*c. Let j(a) = -3 + c - 6 - 3*a. Does 12 divide j(-10)?
True
Let l(a) = -2*a + 25 + 53 - 101. Does 9 divide l(-16)?
True
Let i be 0 + -3 - (-3 - 1). Let z be (8/6 - i)*6. Suppose -6*f + z = -28. Is 5 a factor of f?
True
Let o = -1644 - -2406. Is o a multiple of 23?
False
Suppose -4*u + 5410 = 5*g + 2170, 0 = -5*g + 3*u + 3240. Does 81 divide g?
True
Let q(h) = h**2 - 16*h - 72. Is 10 a factor of q(-6)?
True
Let b be 25/(-3) + (7 - 160/24). Is 10 a factor of (-322)/b - 2/8?
True
Let f be 84/(-60) - 2/(-5). Let o = f - -2. Let v(n) = 26*n**2 + 1. Is v(o) a multiple of 12?
False
Let s(k) = -622*k - 209. Is 121 a factor of s(-3)?
False
Let z = -59 + 137. Suppose 0 = -3*k - 0*f + 2*f - 137, 3*k = -3*f - 117. Let o = k + z. Is o a multiple of 13?
False
Does 24 divide 666 + 2 + 2 + 2?
True
Let f(o) be the second derivative of -o**3/2 - 5*o**2 + 28*o. Is 9 a factor of f(-9)?
False
Let x(w) = 5*w + 110. Is x(19) a multiple of 5?
True
Let v(h) = -h**3 - 12*h**2 - 35*h - 57. Is v(-13) a multiple of 63?
True
Suppose -3*m = -j - 118 - 107, 0 = -5*m - 3*j + 389. Let d be 20/(-90) + m/18. Suppose -64 = d*y - 204. Is y a multiple of 11?
False
Suppose 0 = -3*z + 2*p - 98 + 18, 4*p + 148 = -5*z. Let h = z - -70. Is 5 a factor of h?
False
Let g = 18 + -24. Let l be (-822)/g - (-2 - 0). Suppose -2*w + w = -3*o + l, -3*w = -o + 41. Does 8 divide o?
False
Does 26 divide (-1 - 2) + (-838)/(-1)?
False
Let f be (-8)/(-44) + 53/11. Let n be 0/(f + 2 + -5). Suppose -4*m - m + 50 = n. Is 3 a factor of m?
False
Let g be (-440)/24*2 + (-4)/3. Is g/3*15/(-10) a multiple of 9?
False
Suppose -14*g + 3700 = 23*g. Is 20 a factor of g?
True
Let x = -27 - -46. Suppose 385 = 3*w + x. Is w a multiple of 23?
False
Let s = -4 - -7. Suppose -4 = -s*c + 86. Is (3/1)/(c/320) a multiple of 8?
True
Suppose -s + 2 = 5, -2*j + 318 = -2*s. Is 23 a factor of j?
False
Suppose 0 = -11*o + 12*o - 873. Is 69 a factor of o?
False
Let k(o) = 0*o**2 - o**2 - 2*o - 3*o**2 - 2*o**3 + 0*o**2. Let g be k(-2). Suppose -g*x - 2 = -134. Does 11 divide x?
True
Let t = 78 - 76. Suppose 4*o + t*s - 4*s - 154 = 0