10) - 13546/(-65)?
False
Suppose 0 = -65*f + 78735 + 40865. Is f a multiple of 46?
True
Let f = 60 + -127. Suppose -278*k = -272*k - 672. Let w = k + f. Does 15 divide w?
True
Let m = -25 + 34. Suppose -3*w = -12 - m. Is w a multiple of 5?
False
Let h = -347 + 129. Is 9 a factor of (3*h/15)/(14/(-35))?
False
Let m be -2 - -2*15/6. Suppose -3*b + 27 = 3*d + 2*b, m*b + 18 = 2*d. Is 5 a factor of d?
False
Suppose -181*m = -178*m - 495. Is m a multiple of 5?
True
Suppose 5*f = 2*s + 45, -27 = 3*s - 2*s - f. Let p be 1196/6 + (-20)/s. Suppose -5*x = -0*x - p. Is x a multiple of 18?
False
Suppose -o + 2*o = 2. Suppose -w = -2*w + o*u, -u = -w. Suppose w*y + 65 = 5*y. Is y a multiple of 5?
False
Suppose -5*z + 47 = 2*f, 5*f - 30 = 3*z + 10. Let j = 7 - f. Is (6/4)/(j/(-112)) a multiple of 14?
True
Does 26 divide ((-15498)/15 + 10)*(-5)/2?
False
Let v = -393 + 483. Is 6 a factor of v?
True
Let g = 40 + -29. Suppose -g*x + 132 = -55. Does 3 divide x?
False
Let r(g) = g**3 + 6*g**2 - 3*g - 9. Suppose 0 = m + 2*m + 18. Let k be r(m). Does 6 divide (10 - k)/(1/30)?
True
Suppose 5*b - 26002 = 2*n, -2*n - n = 3*b - 15597. Does 75 divide b?
False
Let q = 651 - -987. Is q a multiple of 11?
False
Suppose -g = -2*g - 8. Let k(l) = -13*l - 4. Let u be k(g). Suppose 5*c = c + u. Does 11 divide c?
False
Let c(t) = -2*t - 2. Let z be c(-3). Suppose -495 = z*m - 9*m - 5*f, 0 = 4*m + f - 402. Is m a multiple of 12?
False
Let o(x) = x**3 + 11*x**2 + 12*x + 23. Let s be o(-10). Suppose -129 = -2*g + 69. Suppose s*t - 132 = g. Does 11 divide t?
True
Suppose 1015 = 7*n + 7. Is 12 a factor of n?
True
Let l be -42*((-14)/3)/(-7). Let t = 39 + l. Does 11 divide t?
True
Suppose 3*r - 5*y - 55 = -r, -4*r + 52 = -4*y. Let h(o) = 72*o - 9. Let s be h(r). Does 15 divide ((-1)/(-3))/(3/s)?
False
Suppose -18*s = -14*s. Suppose s = 2*o - 6*o + 12. Suppose 0 = -3*c + o + 45. Does 16 divide c?
True
Suppose -5*v - 23 = 5*a + 122, 0 = 4*v - 2*a + 122. Is v/(-20)*100/6 a multiple of 25?
True
Let h be (-60)/(-14) + (-2)/7 + 0. Suppose 4 = -h*o, -5*j - 8*o + 3*o = -175. Is 9 a factor of j?
True
Suppose -9*v + 218 = -3175. Is 29 a factor of v?
True
Let o be -2 + (0/(-3) - -3). Let j be (o - 8/2) + 4. Suppose -3*k - 4*t + 8 = 0, -5*k + 21 + j = -2*t. Does 4 divide k?
True
Let j = 7 + -5. Suppose 5*d = -s - j*s + 20, 6 = -3*d. Suppose -s*y + 13*y = 117. Is 11 a factor of y?
False
Suppose 0*h = -2*h + 36. Let s be (-5)/20 - h/(-8). Suppose 5*p = -4*j + 295, -s*p + 0*p - 3*j + 111 = 0. Does 21 divide p?
True
Suppose 7*n - 25 = 12*n. Let c be (-2)/5 - 32/n. Let d(k) = k**3 - 4*k**2 - 8*k + 7. Does 15 divide d(c)?
False
Let z(y) = y**2 + 8*y + 5. Let i be z(-7). Does 35 divide (-1 - i) + 68 + 1?
True
Let a(z) = z**3 + 23*z**2 - z - 13. Let s be a(-23). Let o = s + 53. Is 21 a factor of o?
True
Suppose -25024 = -42*f - 3226. Is 8 a factor of f?
False
Let w(m) = 10*m**2 - 17*m + 35 - 11*m**2 + 5*m. Is w(-9) a multiple of 23?
False
Let a be -2 + 4/(16/12). Suppose 7 = -2*k + a. Does 9 divide k*(-3)/(-18)*-22?
False
Is -4 + (-121)/(-11) - -789 a multiple of 16?
False
Let x(u) = 2722*u**3 - 2*u**2 + u + 1. Let i be x(-1). Is 30 a factor of i/(-24) - (-1)/2?
False
Let v be (1 + -2)*-1 + -3. Let l be -1 + 1 - 1*v. Let n = l - -21. Does 6 divide n?
False
Suppose -16 = -7*i + 3*i, -4*i + 18 = -g. Let h be g/((-6)/(5 - 2)). Is 15 a factor of 154/4 - h/2?
False
Does 20 divide (3 - 8/3) + (-4497)/(-9)?
True
Suppose 4*m = m - 6. Let a(s) = 7*s**2 - 4*s - 3. Let r be a(m). Let d = r - -7. Does 20 divide d?
True
Suppose -50*p = -71*p + 27069. Is p a multiple of 30?
False
Suppose 0 = 5*j + u - 2*u - 8, 3*j - 2*u - 2 = 0. Let x be j + -1 + 1 + -3. Is 27 a factor of 0/x + (34 - 7)?
True
Suppose 0 = 14*f - 13*f + 30. Let z = -38 - f. Let i = z + 18. Does 5 divide i?
True
Suppose 9305 = 14*i - 5997. Does 117 divide i?
False
Let j(d) = -4*d**3 + 13*d**2 - 4*d + 5. Let v(p) = p**3 - p**2 + 1. Let h(c) = j(c) + 5*v(c). Suppose 0*b = -b - 8. Is h(b) a multiple of 21?
True
Let v be ((-5)/(-20)*-2)/((-2)/4680). Suppose 55*f - v = 50*f. Is 39 a factor of f?
True
Suppose 0*t - 2*t + 76 = 0. Suppose 3*x = 6*a - 2*a - t, -3*a = -4*x - 60. Let r = x - -49. Is 6 a factor of r?
False
Let j be 2/(-5) + 6570/(-75). Let g = j + 176. Suppose -3*f - 55 = -2*v + g, 197 = 3*v - f. Is 16 a factor of v?
True
Let r(t) = -t**2 - 15*t - 9. Let q be r(-14). Suppose 4*a + q*i = 426, -4*a + 348 = i - 70. Does 13 divide a?
True
Does 13 divide 155*(-10)/35*7/(-2)?
False
Let p be 3 + -3 + 6 + -3. Suppose 5*f + 22 + 24 = 2*y, -p*f = -3*y + 51. Is 13 a factor of y?
True
Suppose 6 = -4*p + 2*p. Let m(n) = -38*n + 3. Is m(p) a multiple of 39?
True
Let a be 1556/(-8) + (-3)/6. Is 10 a factor of (a/52)/((-2)/16)?
True
Suppose 3*m + 3*w + 9 = 2*m, 5*m - w = -45. Let b(p) = p**2 + 5*p - 7. Is 20 a factor of b(m)?
False
Suppose -m + 1144 = 3*y, -4*m - 3*y + 1843 = -2733. Is m a multiple of 44?
True
Suppose 0*a = 5*a + 2*a. Let v(b) = b + 1. Let i be v(4). Suppose -5*p + 5*f + 320 = a, i*f = -0*p + 3*p - 200. Is 21 a factor of p?
False
Let c = -709 - -918. Is 11 a factor of c?
True
Suppose 134 = -3*y - 5*t, -5*y - t = -0*y + 260. Let l = 76 + y. Does 14 divide l?
False
Let z = -8 - -11. Suppose -4*q - 15 = -5*c, -3*q + 3 + 6 = z*c. Suppose q = 5*l - 16 - 9. Does 2 divide l?
False
Let l(h) = 5 + 0 - 2*h - 8*h**2 - 2*h**3 + h**3. Let b be l(-8). Suppose 0 = 2*f - 37 - b. Does 7 divide f?
False
Suppose 43*s - 8289 = 28605. Is 6 a factor of s?
True
Suppose -5*i - 31 = -4*l + 5*l, -13 = -2*l + 5*i. Let j(y) = -y**3 - 5*y**2 - 4*y - 5. Let n be j(l). Suppose n + 92 = 3*u. Is u a multiple of 10?
False
Let v be 559/117 + (-2)/(-9). Suppose 3*u + v*a + 1 - 15 = 0, 4*u + 3*a - 15 = 0. Let k(x) = 2*x**3 - 2*x**2 + x - 2. Does 18 divide k(u)?
False
Let j(l) = -2*l - 9 - l**2 - 6*l + 2 - 3*l. Does 7 divide j(-4)?
True
Let z(w) = -9*w - 12. Let f(b) = -10*b - 12. Let v(j) = 2*f(j) - 3*z(j). Is v(10) a multiple of 26?
False
Let h = 14 + -16. Let l be 32/h + -3 + -4. Let w = -6 - l. Does 17 divide w?
True
Let o(b) = -2 - b - 3 + 10*b. Let f be o(5). Is ((-45)/6)/((-4)/f) a multiple of 25?
True
Let w(k) = 11*k**2 - 165*k + 20. Is 5 a factor of w(15)?
True
Suppose 0 = 2*g + 5*z - 376, 5*g - 6*z - 970 = -11*z. Does 6 divide g?
True
Let p(m) be the third derivative of m**5/60 + 5*m**4/24 + m**3 - m**2. Suppose 23 - 3 = -4*h. Is 3 a factor of p(h)?
True
Let k(t) = -2*t**2 - 9*t + 15. Let n be k(-11). Let d = 210 - n. Is 49 a factor of d?
False
Does 23 divide (-11)/(77/(-2268)) + -2?
True
Suppose 17*p - 22*p + 24320 = 0. Is 2/(-10) - p/(-95) a multiple of 12?
False
Let n = 19 + -16. Suppose -n*f + 4 = -5, j = 3*f + 38. Let u = j + 35. Is 34 a factor of u?
False
Let o = -50 - -53. Suppose -2*k + 2*p + 296 = -0*k, -164 = -k - o*p. Does 26 divide k?
False
Suppose -4*j + 41 = -5*n - 0*n, -40 = -5*j + 4*n. Suppose 2*y = j + 42. Is y a multiple of 7?
False
Suppose 0 = -3*d - 12, -5*l + 3*d = -0*l - 32. Suppose o - 9 = 5*o - h, o - 2*h = -11. Does 18 divide (228/l - 2) + o?
True
Suppose -c + 719 = d, 0 = -5*c + 5*d - d + 3550. Is 21 a factor of c?
True
Suppose 0 = -n + 19 - 18, -n = -3*a + 4559. Is 16 a factor of a?
True
Let m(u) = 33*u**2 + 2*u + 3. Let p be m(-3). Suppose -3*g = -0*g - p. Is g a multiple of 14?
True
Let m(t) be the third derivative of 5*t**4/12 - 2*t**3/3 + 2*t**2. Let x(v) = v - 4. Let l be x(7). Does 6 divide m(l)?
False
Suppose 72*h = 55*h + 5610. Is h a multiple of 55?
True
Let m = -13 + 15. Suppose 0*q = v - 5*q + 35, -4*q = m*v + 42. Does 6 divide -14*(2 - v/(-10))?
False
Let h(p) be the third derivative of 0 + 1/120*p**6 + 0*p**5 + 3*p**2 + 1/2*p**3 + 0*p + 0*p**4. Does 2 divide h(0)?
False
Suppose 0 = 3*d - 4*q - 513, 3*d = -2*q - 2*q + 489. Is 9 a factor of 19/38 - d/(-2)?
False
Suppose -3*m - 3*d - d + 59 = 0, -5*d - 95 = -3*m. Suppose -m = -2*i + 17. Does 7 divide i?
True
Let u = -47 + 53. Is u a multiple of 3?
True
Suppose t = -4*t + 65. Suppose -2*j = 9 - t. Suppose 5*l - j*x - 103 = 0, 0*l + 2*l - 44 = -2*x. Does 15 divide l?
False
Is (-26)/(-208) + 2239/8 a multiple of 21?
False
Let p(i) = 2*i**2 + 6*i + 2. Let m be p(-4). Let d = m + -6. Suppose -d + 7 = w. Is 3 a factor of w?
True
Suppose 0 = 4*v - 2*h - 32, -v - 4*h - 8 = -2*v. Let w be v + -