7*y = 85*y + 2100. Is 3 a factor of y?
False
Let u(c) = c**3 - 4*c**2 - 4*c - 6. Let l be u(5). Let z(m) = 98*m**2 - m - 1. Is 18 a factor of z(l)?
False
Let m = 151 - 151. Suppose 11*w - w - 680 = m. Is w a multiple of 17?
True
Suppose 3*k = -2*a - 28, 3*k + 4*a = 5*k - 8. Let r be 6/(-9) + 152/k. Let o = r + 45. Does 9 divide o?
False
Let f(j) = -2*j**3 + 9*j**2 + 7*j + 9. Let s = 3 + 1. Let i(g) = -g**3 + 4*g**2 + 4*g + 4. Let o(v) = s*f(v) - 9*i(v). Is 16 a factor of o(4)?
True
Let w(b) = 20*b**2 + 21*b - 5. Does 37 divide w(8)?
True
Let o = 73 - 16. Let l = o + -8. Is l a multiple of 29?
False
Suppose -2*b = 5*h - 25, -18 - 17 = -4*b - 5*h. Suppose -4*g + 80 = -4*a, 0 = -b*g - 4*a + 49 + 51. Is g a multiple of 4?
True
Suppose s + 14 = 4*z - s, -3 = s. Suppose b - 200 = -7*q + 2*q, -88 = -z*q - 2*b. Is 13 a factor of q?
True
Let u = -2869 + 3021. Is 4 a factor of u?
True
Let z = -36 + 156. Let p(d) = d**3 - 8*d**2 + 8*d + 3. Let u be p(7). Is z/(-9)*(-12)/u a multiple of 5?
False
Does 2 divide (3 + (-14)/4)*-22?
False
Suppose 3*a - 698 = -d - 4*d, 414 = 3*d + 3*a. Does 44 divide d?
False
Let y be (-21)/(-9) - (-1)/(-3). Let a(r) = 54*r - 3. Let b be a(y). Suppose -k = 2*k - b. Does 7 divide k?
True
Let t be -2*6*(-42)/(-9). Let i = -125 - -208. Let f = t + i. Is 8 a factor of f?
False
Let n = -39 + 106. Let z(m) = m - 6. Let i be z(15). Suppose 2*d + i + n = q, 5*q - 324 = -4*d. Is 17 a factor of q?
True
Let s = -3088 + 6199. Does 17 divide s?
True
Let j be (-15)/(0 + -5) + 0. Suppose -615 = -3*q - 3*f, 5*f = 5*q - j*q - 389. Does 15 divide q?
False
Suppose -8*z = -5*z + 48. Let k be z/(-72) + (-2696)/(-18). Suppose -2*d + k = 3*d. Is 10 a factor of d?
True
Suppose 7 - 2 = -o, 0 = -5*u - 2*o + 3035. Does 29 divide u?
True
Suppose -2*q - 15 = -o - 2*o, 5*o - q - 18 = 0. Suppose o*v = 74 + 478. Suppose 4*u + 8 - v = 0. Does 11 divide u?
True
Let s(f) = 2*f**2 - 7 + 2*f - 5*f - f**2. Suppose 0 = 8*i - 239 + 183. Is 11 a factor of s(i)?
False
Let a(u) = u**3 - 11*u**2 - 11*u + 18. Let w = -31 + 43. Let v be a(w). Suppose q - v = -5*q. Does 5 divide q?
True
Let l = -1 + 7. Suppose -l*o = -11*o + 2010. Suppose 2*z + 316 = 4*y, 3*y + z + 160 - o = 0. Is y a multiple of 11?
False
Suppose -4*c = 5*k + 34 - 10, 0 = -5*c - 3*k - 30. Let y be (-2)/c + (-28)/(-6). Suppose 203 = -4*t + 8*t - y*d, -5*t + 255 = -5*d. Is 11 a factor of t?
False
Let o(b) be the first derivative of 5*b**4/12 - 9*b**2/2 + 4. Let n(r) be the second derivative of o(r). Is n(5) a multiple of 18?
False
Let b(j) = 4*j**2 + 23*j - 270. Is b(-37) a multiple of 10?
False
Let k(o) = o - 3. Let b be k(3). Suppose b = -t - t + 152. Does 12 divide t?
False
Suppose -13*n - n = -5950. Does 25 divide n?
True
Let m be 2/(-7) - (-58)/7. Suppose -8*s = -6*s - m. Suppose s*y - 2*y + 5*q - 84 = 0, -3*q - 52 = -2*y. Is y a multiple of 8?
True
Suppose -y + 0*y = -2. Let t be (-11 + 7)/((-2)/12). Suppose -y*o - t = -8*o. Is o a multiple of 2?
True
Let b be 93 + (-16)/4 - -3. Suppose q + 5*w = b, -5*q + 282 = -5*w - 28. Is 25 a factor of q?
False
Let a = -44 + 49. Suppose -5*l - 3*m + 890 = 134, -a*m - 15 = 0. Is l a multiple of 9?
True
Let q = -2259 - -4237. Is q a multiple of 23?
True
Suppose -9*w + 24 = 4*u - 11*w, 28 = 3*u + w. Does 2 divide u?
True
Does 30 divide (-33)/(-55) + 9217/5?
False
Let y(i) = 14*i + 8. Let z(t) = -1. Let k(s) = y(s) + 3*z(s). Let q be k(5). Suppose -2*x = -7*x + q. Does 15 divide x?
True
Let d be ((-18)/(-7))/((-1)/(-7)). Let m be (-50)/(-6) - 6/d. Suppose -5*o - m + 70 = 3*s, -4*s + 2*o = -48. Is s a multiple of 7?
True
Let p(d) = -d**2 - 3*d + 28. Let v be p(-7). Does 25 divide (v + 15)*((-16)/(-6) - -4)?
True
Let j(t) = -33*t. Is j(-4) a multiple of 19?
False
Suppose a - 4*v + 6 = 0, -3*a + 2*v = -v. Suppose -1 = b + g, -a*b + g + 1 = 2*g. Suppose 4 = 4*q, b*r - 2*q - 39 = 7. Does 12 divide r?
True
Let q(c) = 9*c**2 + 2*c - 2. Suppose 5*d + g - 40 = -2*g, g = 5*d - 20. Suppose -d*z + 2 = -4*z. Is 21 a factor of q(z)?
False
Let p be (-2)/(-8) + 427/(-28). Let i = 12 + p. Is 11 a factor of (i - -2)*3*-6?
False
Let a = -1458 + 2346. Is a a multiple of 21?
False
Let c = -677 - -1187. Is 30 a factor of c?
True
Does 18 divide ((-48)/3)/(0 - 3/12)?
False
Let w(g) = g**2 + 2*g - 330. Is 6 a factor of w(28)?
True
Let d(p) = -p**3 + 8*p**2 + 3*p + 4. Suppose -10 + 58 = 6*y. Is 9 a factor of d(y)?
False
Let n = 12 + -15. Let k be (0*1/n)/(-1). Suppose k = 4*d + 5*c - 246, -299 = -7*d + 2*d - 2*c. Is 13 a factor of d?
False
Let g(z) = -334*z + 1. Let o be g(-1). Suppose p + 2 = a, -9*a + 4*a - p = -34. Suppose a*r - o = -65. Is r a multiple of 9?
True
Let f(d) be the third derivative of d**6/120 - 2*d**5/15 - 7*d**3/6 + 5*d**2. Let b be f(8). Let j(m) = 2*m**2 + 7*m - 7. Is j(b) a multiple of 14?
True
Suppose b = -2*v + 4098, -3*b = 2*v - 8*b - 4086. Is 64 a factor of v?
True
Let x be -2 + -3 + 4 + -8. Suppose -14 = -2*f + 4*f + 5*q, 5*f = -3*q + 3. Is 11 a factor of 3*-38*f/x?
False
Let b = -2 - -5. Suppose -4*z = -b*n + 34 + 116, -3*z + 150 = 3*n. Is 19 a factor of n?
False
Let w(z) = -15*z**3 - 3*z**2 + 14*z - 1. Let k be w(-5). Suppose 0 = 8*i - i - k. Is 13 a factor of i?
True
Let p = 337 + -165. Is 42 a factor of p?
False
Suppose 126*s = 125*s + 615. Is 41 a factor of s?
True
Let y(k) = k**3 - 6*k - 4. Let p be y(5). Suppose p = 4*c - 213. Does 19 divide c?
True
Let s be 1/((-1)/3 - 0). Is 5 a factor of (-36)/(-3*s/(-6))?
False
Let i = 27 - 10. Suppose 5*o = -4*k + 10, 2*o - i = -2*o - 5*k. Let y(h) = -32*h - 4. Is 10 a factor of y(o)?
True
Suppose 2*i + 547 = r, -1090 = -2*r + 3*i - 0*i. Is 37 a factor of r?
False
Suppose 2*j + 4 = -2. Let o = j - -57. Is o a multiple of 6?
True
Suppose -6279 + 1819 = -5*w + 5*o, 1812 = 2*w + 5*o. Is w a multiple of 14?
True
Let x(r) = -r**2 + 12*r + 8. Let w be x(9). Suppose -6*h = -w - 1. Does 6 divide h?
True
Suppose 0*r - 5*r + 3*u = -2390, 3*r - 1415 = -2*u. Is 47 a factor of r?
False
Suppose 6*c - 2*c = -4*v + 24, c + 4*v = 15. Suppose -j + 2*b = -c*j, 0 = 2*b + 10. Suppose 5*h - 5*d - 74 = -3*d, 4*h + j*d - 79 = 0. Is h a multiple of 16?
True
Let z = -1948 + 2943. Suppose 3315 = -2*j + z. Does 11 divide (-2)/13 - j/104?
True
Suppose -k + 382 = -4*l, -2477 = -5*k + 2*l - 531. Is 8 a factor of k?
False
Let w = -16 - -38. Let h = w - 16. Suppose -2*l = 3*t - 111, 2*l - 90 = -2*t + h*l. Does 13 divide t?
True
Suppose 2*r - r = -196. Let o = -130 - r. Does 22 divide o?
True
Let w be (-6)/(-18) - 40/(-6). Is (w*-3)/((-21)/14) a multiple of 14?
True
Let z(q) = 207*q**3 - 2*q**2 + 3*q - 2. Let c be z(2). Suppose c = 15*j + 2. Does 22 divide j?
True
Let c(h) = -16*h**3 - 10*h**2 + 5*h - 4. Is 30 a factor of c(-4)?
True
Let p = 1226 - 435. Is p a multiple of 49?
False
Let c(h) = -11*h**2 + 3*h + 18. Let a be c(-4). Let l = 316 + a. Is 12 a factor of l?
False
Suppose 0 = 47*c - 46*c - 7. Suppose 17*t - 1180 = c*t. Is t a multiple of 18?
False
Let h(y) = 3*y**2 - 53*y + 24. Let i be h(17). Is ((-25 - 1)*-1)/((-2)/i) a multiple of 13?
True
Suppose -55 = -n + 16. Suppose 3*q - n = -v + 66, 5*q = 15. Is 13 a factor of v?
False
Suppose 5785 = 11*b - 5611. Does 28 divide b?
True
Let g = -8 + 13. Suppose -i = -1 + g, -3*y + i + 13 = 0. Suppose 11 = -v - y*b + 35, -5*b - 40 = -v. Is 6 a factor of v?
True
Let p(a) = 285*a + 378. Is 72 a factor of p(6)?
True
Let l(a) = a**3 + 3*a**2 + 5. Let h be l(-3). Let k(d) = 25*d**3. Let z be k(-1). Is 2/h + (-1565)/z a multiple of 22?
False
Let c(z) = z**3 + 10*z**2 - 3*z + 8. Let y be c(-6). Let b = 261 - y. Is b a multiple of 4?
False
Let z = -75 - -302. Is 8 a factor of z?
False
Let x be 2/1 + (-2 - -4). Let o be (16/(-24))/((-2)/93). Suppose -o = -m + x. Does 12 divide m?
False
Let u(a) = -a**2 - 5*a - 4. Let k(d) = 2*d**2 + 9*d + 9. Let y(v) = 3*k(v) + 5*u(v). Is y(-7) a multiple of 7?
True
Suppose 13 = -3*v + 73. Is 11 a factor of (-3)/4 + 455/v?
True
Suppose -3*t - 6 = -5*t. Suppose 3*z + 3 = 0, -t*w + 5*z + 11 = -0*w. Let l(o) = 14*o - 2. Is l(w) a multiple of 26?
True
Let l(s) = 4 + 13*s - 3 + 16 - s**3 - 12*s**2 - 2*s**2. Does 24 divide l(-15)?
False
Suppose 2*z + 4*r - 9*r - 6273 = 0, -5*z - r + 15642 = 0. Is z a multiple of 21?
True
Let g be 4/3*(-3)/(-2). Let n be (-9)/((-36)/16) - -19. Suppos