s 5 a factor of f?
False
Let n(l) = l**2 - 32. Let q be n(-6). Suppose w + 69 = q*m, -2*w + 96 = 4*m + m. Is 9 a factor of m?
True
Let g be ((-322)/(-10) + -1)/((-3)/(-10)). Let y = g + -69. Is y a multiple of 5?
True
Suppose 0*q - q = -2. Let o = q - 2. Suppose -2 = -o*w - w + 5*p, p = 4*w - 103. Is 18 a factor of w?
False
Let h(z) = 97*z + 742. Is 4 a factor of h(-7)?
False
Let t = 3 - -1. Suppose t*g - 2*u = 8, 3*u = -g - 2 + 4. Suppose 44 = g*d + 2*c - 0*c, -2*c = -5*d + 75. Is d a multiple of 17?
True
Let b = -1433 - -2553. Does 17 divide b?
False
Let p(n) = -n**2 - 6*n + 18. Let s be 55/(-10) + (-2)/(-4). Does 6 divide p(s)?
False
Let d(a) = 7*a - 8. Let w(s) = s. Let k(l) = d(l) + 5*w(l). Is 4 a factor of k(3)?
True
Let k be 1/2*4*584/(-16). Let h = -55 - k. Is h a multiple of 7?
False
Suppose 4 = 23*i - 27*i, -752 = -5*x + 2*i. Is x a multiple of 4?
False
Suppose -2*f = 5*x - 1953, 4*x - 2*f - 276 = 1272. Is 44 a factor of x?
False
Let w(u) = -u**2 + 152. Let b be w(0). Suppose 0 = -3*s - s + b. Is s a multiple of 18?
False
Suppose -4*k + 5*r + 2110 = -1342, -5*k - 5*r = -4315. Is k a multiple of 10?
False
Suppose -37*s + 32*s + 1845 = 0. Is s a multiple of 9?
True
Is 23 a factor of (-2 + (-24)/(-18))*3 - -893?
False
Let m = -336 - -345. Suppose 5*z = -4*t + 45, 0*t = -3*t - 4*z + 35. Suppose -m*w + t*w = -320. Is 20 a factor of w?
True
Let i(o) = -19*o**3 - o. Let a be i(-2). Suppose a = -5*j - 4*v + 505, -73 = -j + 2*v. Suppose 4*g - 25 = j. Does 8 divide g?
True
Suppose 4 = g - 3*g, 2*g = 2*w - 444. Is w a multiple of 10?
True
Let m be -2 + (-2 + -1 - (-24)/2). Suppose 3*c + 72 = m*c. Is c a multiple of 10?
False
Let g(c) = -c**3 - 3*c**2 + 4*c + 3. Let l be g(-3). Let t(m) = m**3 + 9*m**2 - 6*m + 2. Is 11 a factor of t(l)?
False
Let o(f) = -f**3 + 2*f + 4. Let l be o(-2). Suppose 7*p + 30 = l*p. Is p a multiple of 5?
True
Suppose 8*c - 2*c - 12 = 0. Suppose -15 - 10 = -5*f. Suppose c = f*y - 243. Does 19 divide y?
False
Suppose 0 = -3*x - 5*q + 30, 2*q + 28 = 3*x - 23. Let j = 109 - x. Is 30 a factor of j?
False
Let r(h) = 233*h - 634. Is r(10) a multiple of 24?
False
Is (3 - 0) + (2201 - -116) a multiple of 10?
True
Let v(g) = 3*g**3 - 7*g**2 - 6*g + 8. Let t(s) = -8*s**3 + 21*s**2 + 19*s - 24. Let z(j) = -4*t(j) - 11*v(j). Is z(-6) a multiple of 8?
True
Suppose -3*r + 18 = -9. Suppose -4*i + r = -5*b + 704, 4*i = -2*b + 306. Suppose 51 = f - q, 3*f = -q - q + b. Does 22 divide f?
False
Let u be (-21)/(-6)*(3 - 1). Let i = u - -2. Suppose p - i = -3. Does 4 divide p?
False
Let q = 365 + -125. Let r be ((-2)/(-4))/((-6)/q). Is 6 a factor of ((-18)/(-12))/((-2)/r)?
False
Suppose -3*d + 3 = -o, 5 = -o - 4*d - 12. Let n(k) = -k**2 - k - 1. Let z be n(-2). Let a = z - o. Is a a multiple of 6?
True
Suppose 44*p - 14399 = 33*p. Is p a multiple of 77?
True
Let h(g) = 10*g**3 - 16*g**2 - 19*g + 15. Does 55 divide h(6)?
True
Suppose s + 2*d + 30 = 0, 5*s + 0*d = 3*d - 189. Let v = -12 - s. Is v a multiple of 3?
True
Suppose -15*t = t - 4704. Is t a multiple of 42?
True
Let u be -4*(-1)/(-2) + 26. Let o be u*(-2)/(-8)*-7. Is (-959)/o + (-2)/(-12) a multiple of 11?
False
Let v = 2244 - 344. Is v a multiple of 95?
True
Suppose 0 = -3*x + 3*i + 228, 0 = x + 3*x + i - 309. Let n = x + -56. Is 21 a factor of n?
True
Let t be (-2)/8 + 125/20. Suppose -12*y = -10*y - t. Suppose -y*j = -88 - 104. Is j a multiple of 32?
True
Let o(q) = 2*q**2 + 10*q + 8. Let b be o(-6). Let y be -3 + 3 + 1 + b. Is (-7)/y*(-35 - 1) a multiple of 6?
True
Suppose 3*m - 88 = -2*y, -2*y - 5*m - 20 + 108 = 0. Does 22 divide y?
True
Suppose -2*i + 6256 = 4*y, -5*i - 10*y + 15645 = -5*y. Does 20 divide i?
False
Let a(h) = h**2 - 6*h - 6. Let z be a(7). Let j be -2 - -21 - (-1 + z). Suppose 2 + j = d. Does 21 divide d?
True
Is 72 a factor of -1509*(-1)/3 + 1?
True
Suppose -4*y + y + 9 = 0. Suppose -5*p + 3*z + 0*z = 481, -y*p + z = 291. Let o = 188 + p. Is o a multiple of 17?
False
Let y = -658 - -868. Does 15 divide y?
True
Suppose 40*c - 2576 = 5784. Is 43 a factor of c?
False
Let r(z) = 7*z**2 + 11*z - 49. Is r(5) a multiple of 8?
False
Let v(o) = o**2 - 5*o - 10. Let p be v(10). Let u = -32 + p. Is 4 a factor of u?
True
Let r(c) = -2*c**2 + 58*c + 64. Is 48 a factor of r(29)?
False
Is ((-11085)/3)/((-55)/22) a multiple of 23?
False
Does 30 divide (-1*3 - -1)/((-35)/13825)?
False
Suppose 5*y - 33*y = -51576. Does 56 divide y?
False
Let r(u) = 19*u**2 - 94*u - 132. Is 81 a factor of r(19)?
True
Let i = 532 + -332. Suppose -a - i = -p, 2*a - 7*a + 980 = 5*p. Is 31 a factor of p?
False
Let u = 852 - -1439. Does 23 divide u?
False
Does 14 divide (-14)/((-7)/(-56)*-4)?
True
Let f(h) = -h - 7. Let d be f(-7). Suppose d = 6*s - 8*s. Suppose y - 32 = -w, s*y + 2*y - 3*w = 44. Is y a multiple of 7?
True
Let s(d) = -d + 2. Let m be s(2). Suppose -4*y + m = -z + 3, -y = -4*z - 33. Let v = z + 14. Is 2 a factor of v?
False
Suppose 15 = 2*j - 11. Does 15 divide (-65)/j*2*42/(-4)?
True
Let h be (3/9)/((-2 + 1)/(-12)). Suppose -h*s = -9*s + 225. Is s a multiple of 9?
True
Let d(o) = -13*o - 22. Suppose -2*g = 2*k + 4, -k = -3*g - 0*g - 14. Is 6 a factor of d(g)?
True
Let y(g) = -2*g + 8. Let b = 23 + -16. Let r be y(b). Is (-10)/(-30) + (-394)/r a multiple of 22?
True
Suppose 0 = 5*u - 3*x + 43, -x = -5*u + 3*u - 17. Let s be (-1 + u)/3 + 2. Does 8 divide -15*(s + 0 + 0)?
False
Suppose -4*a - 2*x + 14 = 0, 6*x - x = 15. Suppose 0 = 5*d + l - 246, a*d + 2*l - 4*l - 108 = 0. Is 25 a factor of d?
True
Suppose b + i = -107 + 523, 0 = 5*b - 4*i - 2116. Is 15 a factor of b?
True
Let c(a) = -a**2 - 5*a - 2. Let p be c(-6). Let g(n) = -3*n + 3. Let x be g(p). Let f = x - 9. Does 9 divide f?
True
Is 124 + (6 - (11 - 8)) a multiple of 12?
False
Let j(z) = 39*z**2 + 6*z + 60. Is 22 a factor of j(-8)?
True
Suppose -5*x + 2522 - 197 = 5*a, 2*x - 2*a - 934 = 0. Suppose 387 = -5*u - 5*t + 1157, -3*u = 5*t - x. Suppose 427 = 5*v + u. Is v a multiple of 12?
False
Let z = 13 + -21. Let j = 11 + z. Suppose -5*s + 135 = -5*k, -63 = -j*s - 2*k - k. Does 8 divide s?
True
Suppose -7*g + 686 = -5*g. Does 14 divide g?
False
Suppose d + 11 = -7. Does 17 divide d/4 + 3 - 3755/(-10)?
True
Let u(v) be the third derivative of v**5/15 - v**4/6 - 7*v**3/3 + 6*v**2. Does 13 divide u(6)?
False
Suppose -2*c + 16 = 4*n, -3*n + 10 = 5*c - 8*n. Suppose c*f + 19 = -29. Is (36/(-16))/(1/f) a multiple of 9?
True
Let k = -8 + 8. Suppose -2*r + a + 17 + 30 = k, -5*r - a + 114 = 0. Suppose s = 0, -4*s + r - 4 = w. Is 9 a factor of w?
False
Suppose -3 = -n + 3. Suppose -2*x - n*y + y + 80 = 0, 2*y = 4*x - 136. Let f = x - 16. Does 6 divide f?
False
Let u(s) = 30*s**3 + 3*s**2 - 12*s + 4. Is u(3) a multiple of 16?
False
Let u(p) = -p**3 + 9*p**2 - 7*p + 17. Let f be u(6). Does 13 divide f - 20 - -2*2?
False
Suppose 14*n - 3480 = 4*n. Does 43 divide n?
False
Suppose 0 = -4*h + 15 - 7. Suppose 3*d - 543 = -h*d - 4*a, a + 3 = 0. Suppose 5*p + 3*s - 111 = -0*s, 4*p - 5*s = d. Is 12 a factor of p?
True
Let n be 2/7 + 16/(-7) + -180. Is 10 a factor of (-4)/6 - 11/(33/n)?
True
Let l = -34 - -37. Does 11 divide 543/9 + (-1)/l?
False
Suppose a - 3*a = -160. Suppose -2*u + 48 = u + 2*f, -5*u + a = 5*f. Suppose 4*d - 3*d - u = 0. Does 6 divide d?
False
Let p be 4*(35/(-28) - (-1)/(-4)). Is 22 a factor of (110/15)/((-1)/p)?
True
Suppose -215*o + 2310 = -210*o. Is o a multiple of 33?
True
Suppose 59*u - 6387 = 103. Is u a multiple of 12?
False
Let v = 42 - 0. Suppose -45 = 37*d - v*d. Does 3 divide d?
True
Let i = 45 + 16. Let g = 18 + i. Suppose 2*j + o = 25, -4*o - g = -5*j - o. Does 14 divide j?
True
Suppose 1583*j = 1582*j + 1153. Is j a multiple of 25?
False
Let v(y) = -2*y + 79. Let s(j) = -j + 12. Let r be s(4). Let k be r/(-36) + 4/18. Does 25 divide v(k)?
False
Suppose 6*c - 70 = c. Let g = -14 + c. Suppose 0 = -2*o - 2*t + 18, 3*o + 3*t - 8*t - 27 = g. Is o a multiple of 3?
True
Let f(d) = -d**2 - 6*d. Let j be f(-4). Suppose -3*t = -j*t + 10. Suppose x - 2*x - 2 = 0, -5*c - t*x = -91. Does 19 divide c?
True
Let z(c) = c + 10. Let l be z(-7). Let i be (l + 2)*207/(-15). Is 4/(-3 - 213/i) a multiple of 6?
False
Let i(s) = 5*s**2 - 10*s + 24. Let a(u) = -10*u**2 + 19*u - 48. Let d(f) = -3*a(f) - 5*i(f). Is 29 a factor of d(5)?
False