True
Let w = 669 + -256. Is 38 a factor of w?
False
Let a(p) = 0 - 3 - p + p**3 + 2 - 2*p**3. Is 6 a factor of a(-2)?
False
Let k(x) = x - 1. Suppose 9 = -0*v + 4*v - 3*i, -i + 7 = 2*v. Let j be k(v). Suppose -5*h + 96 = 4*p, 7*p = -h + j*p + 15. Is 13 a factor of h?
False
Suppose 2*p - 25 = -4*w + 3, p - 5*w = -21. Suppose -216 = -6*x + p*x. Does 12 divide x?
True
Suppose 2*w - 14 = 5*x + 13, -3*w + 4*x = -58. Is 2 a factor of w?
True
Suppose 0 = -y + 4*a + 54, -9*y + 8*y - 2*a = -66. Does 3 divide y?
False
Does 7 divide 139824/44 - (-70)/385?
True
Let g = 1501 - -119. Is 12 a factor of g?
True
Is 21 a factor of (-3 - 6) + (850 - 1)?
True
Let z be 2/((-10)/55) - -3. Let s(w) = -9*w + 36. Is s(z) a multiple of 12?
True
Let c = 1310 - 920. Is 15 a factor of c?
True
Let d be (-1)/((-11)/46) + 10/(-55). Suppose 3*y - 235 = -5*w, w = d + 1. Is y a multiple of 5?
True
Let i(j) = 50*j**2 + 26*j + 17. Is i(-3) even?
False
Let m(y) = y + 12. Suppose -4*j - 4*o = 32, -3*j = -0*o + 4*o + 23. Let q be m(j). Suppose -2*c = q*c - 205. Is 17 a factor of c?
False
Let k be (-4)/(-18) + (-428)/(-18). Let s be (3/3)/((3 - 0)/(-36)). Let p = k - s. Is 9 a factor of p?
True
Suppose 3*l = 2*i + 2402, -5*l + 0*i - i + 3999 = 0. Suppose -2*j + l = 2*j. Suppose j = -3*y + 8*y. Is 20 a factor of y?
True
Suppose -5*s + 10*s = 0, -108 = -4*n + 3*s. Does 11 divide ((-63)/n)/((2/(-2))/33)?
True
Let m(d) = -d**3 + 19*d**2 + 26. Let a be m(19). Let y = a + -8. Is 9 a factor of y?
True
Suppose 54 + 261 = 7*t. Suppose -4*v - t = -333. Is v a multiple of 9?
True
Let v = -8 + 15. Let l = 12 - v. Suppose -3*c + 22 = -c + l*r, -44 = -4*c + 4*r. Is 4 a factor of c?
False
Let q(w) = -2*w**2 - 4 + 10*w - 20*w - w**3 + 9*w. Let s be q(-7). Suppose -x = 7*x - s. Does 14 divide x?
False
Suppose 3*v - 2*v - 109 = y, 0 = -2*v + 5*y + 230. Let p be 4950/v - (-1)/(-7). Let l = -19 + p. Does 5 divide l?
False
Let s(p) = 31*p**2 - 201*p + 2. Does 13 divide s(10)?
True
Let w(r) = 2*r + 3. Let y be w(9). Suppose 2*o = 0, -o - 4*o = h - y. Is h a multiple of 12?
False
Let s = 456 + -219. Is 26 a factor of s?
False
Let m(q) = -q**3 - 11*q**2 - 11*q + 2. Is m(-12) a multiple of 9?
False
Let k = 17 - 5. Let n = k + -8. Let r = 14 + n. Is 17 a factor of r?
False
Let t(m) be the third derivative of m**4/12 + 7*m**2. Is 6 a factor of t(12)?
True
Let i(f) = -5*f**2 + 8*f + 7. Let w be i(-5). Let q = 318 + w. Suppose 0 = 3*d + 2*d + 5*p - q, -3*p + 38 = d. Does 13 divide d?
False
Suppose v + 27*d - 28*d - 71 = 0, -4*v = 5*d - 320. Is 65 a factor of v?
False
Let o(h) = 26*h - 14. Let g be o(5). Is g - (2/3)/(8/(-36)) a multiple of 17?
True
Let c(t) = -7*t**2 + 6*t**2 - 4*t - t + 12. Does 3 divide c(-5)?
True
Let v be ((-20)/3)/(3/(-18)). Let d(h) = -4*h + v*h**2 + 486 - 486. Is 33 a factor of d(2)?
False
Let k(z) = 3*z**2 - 3*z. Does 21 divide k(8)?
True
Is (52/1)/(46/23) a multiple of 16?
False
Suppose -5 = -3*y + 4. Suppose -s - 5*w = 6, 9*w - 2 = -y*s + 4*w. Suppose -2*u + 6 = 0, -4*r + 0*r + s*u = 4. Does 2 divide r?
True
Let p(g) = g**2 - 3*g + 4. Let h be p(3). Let f(s) = 3 + 3*s - 2*s + h. Is 6 a factor of f(7)?
False
Is 25 a factor of 28/2*(-4473)/(-63)?
False
Let p(f) = 5*f**2 + 4*f + 26. Does 58 divide p(13)?
False
Suppose 2176 = 3*u + 4*f, -20 = u + 4*f - 740. Is u a multiple of 36?
False
Let t be -4*((-6)/3)/2. Suppose -h + 3*h - t*g - 382 = 0, -2*h = -2*g - 384. Is 43 a factor of h?
False
Let p = -3 - 0. Let r be (-2)/p + (-20)/(-15). Suppose 0 = r*m - 70 + 6. Does 8 divide m?
True
Suppose -88 + 1578 = 5*n. Is n a multiple of 35?
False
Suppose -5*s - 37 = -5*f - 2*s, 2*f + 4*s + 6 = 0. Suppose 2*y - 24 = -3*w + f*y, 24 = 4*w - 2*y. Suppose -36 = -w*b + 12. Is b a multiple of 6?
True
Let z(v) be the first derivative of -v**4/4 + 11*v**3/3 - 7*v**2/2 + 8*v + 18. Is 10 a factor of z(5)?
False
Let g be 12/10*(-10)/(-6). Let p(l) = -3 - 5*l + l**g + 2*l**2 + 3*l. Is 18 a factor of p(3)?
True
Let m(r) = 25 + 2 - 15 - r + 15. Does 2 divide m(9)?
True
Let h(i) = 27*i + 21. Let d = 13 - 9. Is h(d) a multiple of 41?
False
Suppose 5*a + 5 = -u - 5, 3*u - 5*a - 10 = 0. Suppose -7*h + 12*h = u. Suppose 4*d - 76 = -h*d. Is d a multiple of 10?
False
Suppose j = -k + 19, 6*k + 104 = 5*j + 2*k. Is j a multiple of 10?
True
Suppose -5*n + 1163 + 134 = -4*i, -3*n = i + 320. Let r = i - -473. Is r a multiple of 25?
True
Let h(r) = 1 - 3 - 6*r + 1 + 4*r. Let m be h(-1). Let g(f) = 7*f - 2. Is 2 a factor of g(m)?
False
Let h = -168 - -415. Is 22 a factor of h?
False
Let u(i) = -i**2 - 8*i - 4. Let y be u(-6). Suppose y - 76 = -2*a. Suppose -p = -a - 48. Is p a multiple of 27?
False
Let o(r) = -70*r - 49. Let p be o(-8). Suppose -4*w + 681 = -0*w - 5*n, 4*n = 3*w - p. Does 14 divide w?
False
Suppose -4*h - 10 = -30. Suppose 0 = 2*a + 3*j - 16 - h, 4*a - 62 = -2*j. Is a a multiple of 18?
True
Suppose 11*x + 8 = -14. Let a(v) = 2*v**2 + v + 1. Is a(x) a multiple of 2?
False
Let o = 5585 + -2624. Is o a multiple of 47?
True
Let f be (-4 - (-136)/36)*-9. Suppose 2*j - 11 = f*o + 11, 3*o = -5*j + 39. Is j a multiple of 3?
True
Let o = 49 + -9. Suppose -6*v + o = -v. Let g(m) = m**3 - 7*m**2 - 8*m + 12. Is g(v) a multiple of 4?
True
Let i be 1/2*0/6. Suppose t - 37 - 93 = i. Suppose 0 = -5*j + 4*x + 130, 6*j + 2*x - t = j. Is j a multiple of 26?
True
Let s = 118 + -66. Suppose -s*h = -50*h - 174. Is 15 a factor of h?
False
Suppose -v = v + 34. Let d = v + 20. Suppose 4*a + 5*i = 110, -d*a - 2*i + 86 = -0*a. Does 9 divide a?
False
Suppose 0 = -36*p + 51*p - 4650. Is p a multiple of 57?
False
Suppose 2*f - 6 = -0*f. Let s(u) = 5*u - 7. Let c be s(f). Is 84/c*(-4)/(-3) a multiple of 14?
True
Let t(y) = y**3 - 7*y**2 - 4*y - 8. Let l be t(8). Suppose l = -p + 2*p. Is p a multiple of 3?
True
Let n(x) = -32*x + 0 + 33*x + 0. Let d be n(-2). Let c = 15 - d. Does 17 divide c?
True
Let v be -2 - (-3)/6*0. Let m(z) = 2*z**3 + 3*z**2 + 4*z + 2. Let a be m(v). Let r = -1 - a. Is 9 a factor of r?
True
Suppose -4*n - 79 = -15. Let z be (n/(-28))/((-2)/(-7)). Suppose -3*x = 5*k - 86, -z*k = -x + k + 38. Is 16 a factor of x?
True
Let a(g) = -g - 4. Let j be a(-4). Suppose -2*k = 5*p - 3*p - 88, -2*k - 5*p + 73 = j. Let f = 81 - k. Does 8 divide f?
True
Let p = 402 + 210. Is p a multiple of 12?
True
Suppose -j - 2 = -4. Let n(z) = -3*z**2 - 63 - 3*z**2 + 62 + 134*z**3 + j*z**2 + 4*z. Is n(1) a multiple of 35?
False
Let v = 18 - -426. Is 14 a factor of v?
False
Suppose 2*h - 123 = 39. Let k be h/15 - 4/10. Let l(r) = 5*r + 2. Does 9 divide l(k)?
True
Let r(q) = q**2 - 4*q - 10. Let k be 3/18 - (-82)/12. Is r(k) a multiple of 11?
True
Suppose u - 160 + 435 = 0. Let j = u + 443. Is j a multiple of 28?
True
Suppose 5*z = -3*g + 3187 - 74, 5*z + 4209 = 4*g. Suppose -3*o + 683 + 97 = 3*f, 0 = 4*f + 2*o - g. Is 32 a factor of f?
False
Suppose 2557 = 3*n - 4*z + 3*z, 2*z = 5*n - 4261. Is 7 a factor of n?
False
Let f(r) = -r**3 + 7*r**2 + 7*r + 14. Let h be f(-8). Suppose -5*v - 2*u = -3*u - 1530, 3*v + 5*u - h = 0. Does 18 divide v?
True
Suppose -555*y = -551*y - 224. Is 8 a factor of y?
True
Let w be (1 + 68/(-16))*-12. Let s = w + -16. Does 13 divide s?
False
Suppose 145*i - 139*i = 2166. Is i a multiple of 40?
False
Let a be 3*5/(-3)*-19. Suppose a = 2*u + 3*z, -5*u - 5*z + 43 = -197. Does 6 divide u?
False
Let g be 3*(-4)/(-24)*(-1 - 1). Let h = g - -28. Is 15 a factor of h?
False
Let l = -39 - -440. Does 12 divide l?
False
Let r(b) = -b**3 - 9*b**2 - 12*b + 4. Suppose 0 + 16 = -2*x. Is 9 a factor of r(x)?
True
Let c = -14 + 14. Let d(b) = b - 4. Let y be d(c). Let u(s) = 2*s**2 + 2*s - 4. Does 4 divide u(y)?
True
Suppose 0 = -12*c + 1529 + 1231. Is 13 a factor of c?
False
Let w(h) = -h - 1. Suppose 2*k = 7*k + 20. Let j be w(k). Does 6 divide (j/(-6))/((-1)/26)?
False
Let y(h) = 1. Let j(c) = 7*c + 1. Let a = -18 + 16. Let d(w) = a*y(w) + j(w). Does 19 divide d(9)?
False
Let k(i) = -i**3 + 10*i**2 + 15*i - 5. Let a be k(13). Let f = a + 454. Let z = f + -96. Is z a multiple of 20?
False
Suppose 5*c + u = 208, -u - 1 + 167 = 4*c. Is c a multiple of 7?
True
Suppose -4*t - w = -43, 0 = 3*t + 2*t + 2*w - 50. Is t a multiple of 12?
True
Let s(v) = -8 + 10*v - 5*v + 0*v. Does 16 divide s(8)?
True
Let x(t) = t**3 - 9*t**2 + 13*t + 19. Is x(9