 factor of a?
False
Let k(q) = -q**2 + 6*q - 2. Let v be k(5). Suppose -v*g = -5*g + 150. Is g a multiple of 25?
True
Suppose -2*y = -5 - 1. Suppose y*c - 752 = -5*c. Is 16 a factor of c?
False
Let l be -63*(2/6)/(7/(-63)). Let r = -125 + l. Does 8 divide r?
True
Let n be 3/(18/519) - (-6)/12. Suppose 0 = 2*w + w + 69. Let u = n + w. Is u a multiple of 23?
False
Suppose -11*h + 16 = -7*h. Suppose 32 = -h*l - 0. Is 10 a factor of (-83)/(-4) - (-6)/l?
True
Suppose 88*f + 533 = 89*f. Does 2 divide f?
False
Let q be (4/10)/(3 - 124/40). Does 19 divide (-3410)/(-20) + (-2)/q?
True
Let b(o) = 2*o**2 + 12*o + 2. Let c = -12 - -3. Does 13 divide b(c)?
False
Let t = -273 - -596. Does 19 divide t?
True
Suppose 4*a + 2*k = 0, 2*a = 3*a + k + 2. Let l be (-1)/((-2)/(-10 + a)). Is l/(-10) - 1029/(-15) a multiple of 23?
True
Let q = -17 + 19. Let x be q + 1 + 1*25. Let h = 46 - x. Does 17 divide h?
False
Is 15 a factor of (-15)/(-1 - (-162)/168)?
True
Let r(m) = 31*m**2 - 51*m + 35. Let p(y) = 6*y**2 - 10*y + 7. Let g(u) = 11*p(u) - 2*r(u). Is g(-5) a multiple of 17?
False
Let l(r) = 110*r - 9. Let v(g) = 55*g - 4. Let p(h) = 2*l(h) - 5*v(h). Does 22 divide p(-1)?
False
Suppose 3*p - 80 = 4*l, -4*p - 4*l + 164 = 48. Let z be (-2)/9 + 28/(-36). Is 27 a factor of p - (z + 6/3)?
True
Let s = -81 + 113. Let t = s + 5. Does 6 divide t?
False
Let x = 28 - 53. Let c = -121 + 173. Let o = x + c. Is o a multiple of 9?
True
Let o be (65/(-39))/(10/(-12)). Suppose k + x = 16, 0*k = k + o*x - 19. Is 3 a factor of k?
False
Suppose 4*f - 16 = 4*p, -5*f + 0*f - 2*p = 8. Is (-6 - -5)/((-2)/120 + f) a multiple of 15?
True
Let z be 92/69 + (-4)/(-6). Suppose 2*t = -2, -4*d - z*t + 14 = -284. Does 13 divide d?
False
Suppose 5870 = 19*a + 1291. Let w(v) = -2*v**3 + 3*v**2 + 3*v + 3. Let h be w(-4). Let f = a - h. Does 11 divide f?
False
Let w = -3730 + 5869. Is 23 a factor of w?
True
Let s(j) = 13*j - 86. Suppose 0 = -q + 17 + 10. Is 29 a factor of s(q)?
False
Let c = 26 - 20. Let k(y) = 3*y**2 - 8*y + 10. Is 14 a factor of k(c)?
True
Let g be (0 - 3 - -1) + 2. Suppose -r - 43 + 334 = g. Is r a multiple of 23?
False
Let p be 1460/30 - 4/6. Let n = p - 2. Is 9 a factor of n?
False
Let m(c) = -c - 1. Let t(s) = s**2 - 2*s + 7. Let a(z) = -m(z) - t(z). Let u be a(5). Is (-8)/u - (-23)/2 a multiple of 12?
True
Suppose -v - 185 = 3*u - 0*u, 4*v - 297 = 5*u. Let i = 1018 + -918. Let o = i + u. Does 13 divide o?
True
Let q(d) = 140*d + 1598. Is q(17) a multiple of 26?
True
Suppose 7 = 2*m - m. Suppose -4*q + 29 = -m. Let z = q + 22. Is z a multiple of 25?
False
Let r = 39 + -35. Let d(m) = m**3 - 4*m**2 - 4*m + 3. Let s be d(r). Let h(c) = -c + 17. Does 5 divide h(s)?
True
Suppose -3*c = 5*o + 17, 5*o - 2*c = -0*o + 3. Let p = o - -5. Let q(v) = v**2 + v - 3. Does 17 divide q(p)?
True
Is 337/(((-2)/(-5 - -7))/(-1)) a multiple of 16?
False
Suppose 96 = w + 3*w. Let k be (92/(-6))/(w/36). Let t = k + 57. Does 17 divide t?
True
Let j be -1 + ((-8)/(-10) - (-14)/70). Suppose 0 = -j*p + p - 77. Is p a multiple of 37?
False
Suppose -2*n + 3*l = -7*n + 128, 0 = 4*n - 5*l - 132. Suppose 0 = n*c - 26*c - 210. Does 12 divide c?
False
Suppose -w = 5*i + 42, -3*w = i + 2*w + 18. Let r = 8 + i. Suppose -4*t - 12 = -3*k, 5*t + r + 9 = 3*k. Is k a multiple of 4?
True
Let l(r) = 442*r**2 + 9*r - 2. Does 18 divide l(1)?
False
Let q(w) = -3*w**3 + w**2. Let x be q(-1). Suppose 9*s = x*s + 235. Does 27 divide s?
False
Suppose 0 = 23*c + 75 - 696. Suppose -2*a = a + 33. Let o = c + a. Is o a multiple of 5?
False
Let x be (10/(-8))/((-1)/4). Let g(l) = 10*l**2 - 2*l + 2. Let d be g(5). Suppose -u - 3*u = -j - d, -3*j = -x*u + 306. Is u a multiple of 23?
False
Let a(d) = 4*d + 24. Let f be a(-15). Let m = -21 - f. Is 5 a factor of m?
True
Suppose -4*y - 4*r = -40, -4*y + 6*y - 4*r + 4 = 0. Suppose -x = x - y. Suppose -44 = -x*n - 0*i + 4*i, n + 12 = -4*i. Is 2 a factor of n?
True
Suppose 3*m - 417 = 3*u, 0*u + 397 = 3*m + 2*u. Is m a multiple of 3?
True
Let m(k) = 7*k**3 - k**2 - 10*k + 3. Does 3 divide m(3)?
True
Let l = 3 - 6. Let c be ((-87)/l - -1)*-1. Let r = -18 - c. Is 6 a factor of r?
True
Suppose -5*t + 1320 = 2*l, -4*t + l + 1056 = 4*l. Is t a multiple of 44?
True
Suppose -13 + 10 = 3*n. Is 54 a factor of 353 - (4 - (n + (0 - -7)))?
False
Suppose -w + 35 = 5*q, -5*w + 85 = -11*q + 6*q. Let c = 11 + 30. Suppose -4*y = 3*j - c, -2*y = j - 7*y - w. Does 10 divide j?
False
Is 28 + 417 + 3/(0 - 3) a multiple of 11?
False
Let n = 1441 + -775. Is 83 a factor of n?
False
Let t = 8 + -4. Suppose 3*w = w + t. Suppose -w*a + a + 39 = 0. Does 11 divide a?
False
Let m(o) = -o**3 + 14*o**2 - 11*o - 6. Suppose 11 = 6*q - 1. Suppose q*r = 2*c + 15 + 15, -3*r + 47 = -4*c. Is 20 a factor of m(r)?
True
Let h = 537 - 278. Suppose 497 + h = 3*t. Does 18 divide t?
True
Let v(a) = a + 9. Let s be 1*-1 + 2 + -5. Let t be v(s). Suppose t*q = 139 + 21. Does 16 divide q?
True
Suppose -4*m = 8, 3*d + 2*m = -0*m + 200. Let r = d + -46. Does 4 divide r?
False
Let p = -27 - -27. Let c(s) = 12*s**2 - s - 2. Let q be c(-2). Suppose p*l + q = 4*l. Is 5 a factor of l?
False
Let c(v) = v**2 + v - 10. Suppose 0*a - 5*a + 21 = -4*m, 4*a + m = 21. Suppose -3*x + a*s + 1 = 0, 3*x = x + 2*s + 6. Is 23 a factor of c(x)?
True
Let u(c) = -16*c**2 + 3*c - 1. Let v be u(-4). Let b = -185 - v. Does 21 divide b?
True
Let q be (52/(-6))/((-4)/30). Let l = 28 + q. Is 10 a factor of l?
False
Suppose 180 = 3*n - 159. Does 66 divide n?
False
Let j(q) = 120*q**2 - 45*q - 180. Is j(-4) a multiple of 80?
True
Let t(g) = -2*g**3 + 2*g**2 + 5*g - 1. Let f be t(3). Let s = f + 24. Does 2 divide s?
True
Let i = 1306 - 833. Is 77 a factor of i?
False
Suppose 1 = -3*b + 19. Let y(r) = -r**2 + 17*r - 11. Is 6 a factor of y(b)?
False
Suppose -918 = -5*g + 5*l - 253, 4*g = -4*l + 508. Does 26 divide g?
True
Suppose 0 = 6*v + 3 + 195. Let k = 146 + v. Does 17 divide k?
False
Suppose 3*k = 2*h - 73, -157 = -6*h + 2*h - 5*k. Does 11 divide h?
False
Let r(s) = s**2 + 21*s + 44. Is 12 a factor of r(-25)?
True
Let u(b) = -5*b + 1. Let o be u(-1). Let y be (0 - o)*66/18. Let j = 24 - y. Is j a multiple of 14?
False
Let p = 71 - 72. Is 274 - (-2 - (-5 + p) - 4) a multiple of 49?
False
Let d(k) = 534*k**2 + 14*k - 8. Let p(z) = 178*z**2 + 5*z - 3. Let w(f) = 4*d(f) - 11*p(f). Is 17 a factor of w(-1)?
False
Let z(f) = 2*f**2 + 5*f + 112. Does 5 divide z(0)?
False
Let a be (1/3)/(13/(-156)). Let v be (25/(-20))/(1/a). Suppose 2*f - v*f = -42. Is f a multiple of 4?
False
Suppose 0 = -2*y, 3*y = v + y - 400. Is v a multiple of 11?
False
Let w(h) = 259*h + 224. Does 16 divide w(4)?
False
Suppose 30*m = -12*m + 11550. Is 25 a factor of m?
True
Is 38 a factor of (-1)/((-5)/12010) + -8?
True
Suppose -37*z = -38*z + 210. Suppose -50 + z = 5*a. Is a a multiple of 8?
True
Let j(g) = -135*g + 447. Is j(-5) a multiple of 51?
True
Suppose 0 = 5*l - 3*o - o - 26, -2*l + 2*o = -10. Suppose 0 = -l*x + 120 + 66. Is 3 a factor of x?
False
Let g(y) = -y - 6. Let v be g(-8). Suppose v*n - 42 + 2 = 0. Is n a multiple of 3?
False
Suppose -24 = -4*z - 8. Let o = 231 + -227. Suppose -5*y + 22 - z = 2*g, -2*y = -o*g + 36. Does 6 divide g?
False
Let p(f) = -f + 19. Let k(j) = 6*j**3 - j**2 + j. Let w be k(1). Is p(w) a multiple of 13?
True
Is 49 a factor of (1*-2)/((-30)/2895) - -3?
True
Suppose 0 = -4*p - 384 - 256. Is 10 a factor of (p/12)/(2/(-6))?
True
Let a(w) = -767*w**3 + 4*w + 5. Is a(-1) a multiple of 26?
False
Suppose 0*i + 3*i = -5*t + 12, -3*t + 16 = 4*i. Suppose j + 4 = t, -d - 2*j - 2*j - 13 = 0. Suppose -r = d*r - 12, 54 = 5*u - 2*r. Is 8 a factor of u?
False
Suppose -3*u = 4*c - 8175, 2*u + 959 + 1093 = c. Does 22 divide c?
True
Let f = -41 - -41. Is (-5 - f)/(-2 + 57/29) a multiple of 29?
True
Suppose -2835 = -5*t + 5*n, 0 = -t + 4*n + 609 - 42. Is t a multiple of 15?
False
Let t(z) = 11*z**2 + 81*z - 2. Is 10 a factor of t(-13)?
False
Let l = -1552 + 2614. Does 9 divide l?
True
Is 49 a factor of 4/(-7*4/(-686))?
True
Let c(k) = 2*k**3 + 3*k**2 + 3*k - 1. Let w be c(-3). Does 11 divide 2 + w*(4/(-1))/4?
False
Does 6 divide (45/(-10))/(15/(-2480))?
True
Let u be 79/(-8) + (-6)/48. Let t = u + 18. Let i(n) = 2*n**2 - 12*n + 1. Does 20 divide i(t)?
False
Suppose 0 = 9*r - 205