z - 16. Suppose 5*k + 13 - 355 = -z*q, -k + 2*q + 58 = 0. Is 3 a factor of k?
True
Is (-31)/(-217) + (-340691)/(-91) even?
True
Let w = 1 + -1. Let r(h) = h**3 + 53 + 6*h + 9*h**2 - 5*h - 3*h**2 - 6*h**2. Is r(w) a multiple of 7?
False
Let b = -681 + 681. Suppose -2*l = -0*l - 120. Suppose -o + 3*o - l = b. Is 13 a factor of o?
False
Does 41 divide (50570 - -400) + -9 + 2?
True
Let y(p) = -178*p - 504. Does 18 divide y(-36)?
True
Suppose 778 = -9*v + 130. Let a = 166 - v. Is 14 a factor of a?
True
Is 9/(((-72)/(-8) - 12) + 486/160) a multiple of 6?
True
Suppose 0 = 20*b + 32*b - 61204. Is b a multiple of 107?
True
Suppose 2*d = -3*o + 24861, -4*d + 49767 = 179*o - 182*o. Does 18 divide d?
True
Let k = 158 - 223. Let g = -67 + -34. Let l = k - g. Is 10 a factor of l?
False
Does 110 divide (-1*(-7 - 1))/((-10)/(-70125)*5)?
True
Suppose 4*d + 795 - 18845 = 14958. Is 27 a factor of d?
False
Suppose -26*y = 18*y - 93720. Is 12 a factor of y?
False
Let j(p) = 2120*p - 10495. Is j(5) a multiple of 4?
False
Suppose -60 = -9*r - 3*r. Let h(i) = 2 + r + 2 - i + 2 + 8*i**2. Is 13 a factor of h(-4)?
True
Let w be -3*((-1)/(-3) - -2). Let j(p) be the third derivative of -p**4/24 + 7*p**3/6 - 16*p**2 + 5*p. Is j(w) a multiple of 14?
True
Let z(c) = 4*c**3 - 10*c**2 + 14*c + 10. Let s be z(5). Does 16 divide s + 2 + 0/(-6) + 4?
True
Suppose -256585 = 2325*n - 2360*n. Is n a multiple of 3?
False
Let r = 33 - 30. Suppose -4*q + 4 = 2*z, -q = r*q - 4. Let j(u) = -4*u + 10. Does 5 divide j(z)?
True
Let u(f) = -f**3 + 26*f**2 - 19*f - 15. Let c be u(25). Let v = c + -44. Is 7 a factor of v?
True
Suppose -5*w - 4*z = -22287, -72*z + 70*z - 17840 = -4*w. Is w a multiple of 91?
True
Suppose 9*f = -219 + 1137. Let j = 496 - f. Does 49 divide j?
False
Let p be 2 - 3 - -315 - -4. Let v = 472 - p. Suppose 4*i = -2*y + v, 4*y + 4*i = i + 293. Is 14 a factor of y?
False
Is (-15)/35 + ((-1)/(-12) - (-146751)/252) a multiple of 6?
True
Does 292 divide -21 - ((-5 - 21192) + 2)?
False
Suppose -28 = 2*d - 6*d. Let o be (3 - 10)*(-1)/d. Is 7 a factor of 560/48 - o/(-1 + -2)?
False
Suppose 0 = l + 5*p - 37185, -3*l + 4*p + 50340 = -61272. Does 100 divide l?
True
Suppose -x - 4 = -3*x, -2*w + 4 = -x. Suppose -3*k + 21 = -w. Is 2 a factor of (9 - 11) + k*2?
True
Does 20 divide (-87)/(-116) + 80286/24?
False
Let x = 3282 - 1711. Is 18 a factor of x?
False
Let p = 1967 + -1311. Let h = -528 + p. Is h a multiple of 7?
False
Let v(w) = w**2 + 3*w - 13. Suppose 3*m + 362 = 3*k + 2*k, 3*m = 3*k - 216. Let f = k - 81. Does 9 divide v(f)?
True
Let f(b) be the first derivative of b**4/4 - 2*b**3 + b**2 + 4*b + 120. Is f(9) a multiple of 53?
True
Let u(i) = i**3 + i**2 - 6*i + 3. Let t be u(-3). Let y be -70*(t - 5)/(-2). Is 8 a factor of (-12)/(-54) - y/9?
True
Suppose -4*i - 2*i - 402 = 0. Let f = i - -71. Let t(v) = 44*v - 17. Does 15 divide t(f)?
False
Let q = -871 + 871. Let j(f) = f + 341 - 107 + 2*f. Is 13 a factor of j(q)?
True
Let y(o) = o**2 + 4*o - 19. Let k be y(3). Suppose 2*s = -k*s + 820. Does 35 divide s?
False
Suppose 5*n = -4*y + 9315 + 3954, -n - 3 = 0. Does 81 divide y?
True
Let o be (25/(-15))/(1/(-3)). Suppose -g + 16 = 4*x, 2*x = -2*g + 21 + o. Does 29 divide (4/g)/((-4)/(-528))?
False
Let z = 7386 - -34338. Is z a multiple of 12?
True
Let p = -7604 - -15318. Does 5 divide p?
False
Let w(t) be the third derivative of t**6/120 + 7*t**5/30 - 11*t**4/24 - 113*t**3/6 - 92*t**2. Does 17 divide w(-8)?
False
Suppose -18*d = -14*d - 20. Suppose -d*p + 19 = 4. Suppose -3*i - 3*m + 32 = -61, -p*i + 4*m = -107. Is i a multiple of 3?
True
Suppose -3*f = 3*k - 10 + 40, 5*f = -15. Let w be 3 + (-115)/35 + (-16)/k. Suppose -p + w*u + 44 = -46, -5*u = 4*p - 425. Is p a multiple of 60?
False
Let s(h) = -h**2 - 189*h - 14. Does 18 divide s(-65)?
True
Let z(v) = v**3 - 26*v**2 + 2*v - 45. Let i be z(26). Suppose -j + 396 = -4*u, 5*u - 1998 = -5*j + i*u. Is j a multiple of 40?
True
Let n(i) = 5*i + 30 + 14*i + 2*i**2 - 3*i**2. Let p = -647 + 667. Is 4 a factor of n(p)?
False
Suppose -90*g = -112*g. Does 58 divide 292/(-6)*(4 - (10 + g))?
False
Let r(k) be the first derivative of -k**3/3 + 13*k**2 + 19*k - 91. Is r(19) a multiple of 4?
True
Suppose 3*k + 3*x - 11223 = 0, -2987*k - 2*x = -2992*k + 18705. Is k a multiple of 43?
True
Does 52 divide ((34146/(-42))/(1/78))/(6/(-4))?
True
Let i(o) be the second derivative of o**4/12 + 7*o**3/6 + 33*o**2/2 + 4*o. Is i(-7) a multiple of 11?
True
Let u(s) = 2*s**2 - 12*s - 16. Let n(m) = -3*m**2 + 25*m + 32. Let a(i) = -3*n(i) - 5*u(i). Let c be a(-9). Suppose c + 28 = 6*r. Is r a multiple of 11?
True
Let c(q) = -6*q - 15 + q**3 - 18 + 15*q**2 + 0 - 13*q. Is c(-15) a multiple of 4?
True
Let j be (4/36*-3)/((-2)/(-30)). Let y = -7 - j. Is 18 a factor of 197/5 + 6/30*y?
False
Suppose -11*u + 1559 = 459. Is u/150*(-1902)/(-4) a multiple of 13?
False
Suppose 391*k - 4337891 - 5907151 = -3284069. Is k a multiple of 7?
False
Is 7 a factor of (((-37)/222)/(4/6))/((-15)/11940)?
False
Suppose 10*u - 538 = -498. Suppose 2*o - 10 = 0, 10*o = u*m + 14*o - 4448. Does 55 divide m?
False
Let z(r) = r**3 - 10*r**2 - r + 12. Let h be z(10). Suppose 0 = -k - 3*k - h*w + 8, 2*w - 4 = 0. Suppose 4*o - k - 131 = 0. Does 11 divide o?
True
Is (-18)/(-63) - (2/2 - 120980/28) a multiple of 30?
True
Suppose -8219 = -16*z + 10511 + 10566. Is z a multiple of 8?
False
Suppose 0 = -141*s + 145*s - 4, 0 = w + s - 3529. Is w a multiple of 72?
True
Let s(a) = -20 + 3*a + 107*a**2 + 7 + 3 + 8. Is s(-1) a multiple of 4?
False
Suppose -4*r = -10 - 2, -40 = -5*m - 5*r. Suppose m*y - 859 = -3*s + 10*y, 2*y - 1473 = -5*s. Is s a multiple of 11?
False
Let m be -20 + (-22)/(-2) + -3. Let p(l) = -16*l - 2. Let w be p(-2). Let s = m + w. Is 2 a factor of s?
True
Suppose -23 - 25 = -16*m. Suppose 0 = p + m - 3. Suppose 2*q = -3*s + 33, p = 3*q + 2*s - 3*s - 77. Is 6 a factor of q?
True
Suppose 265*f + 70344 = 308*f - 223604. Is f a multiple of 4?
True
Suppose 31939 - 1077 = 3*w + 5*j, -8 = -4*j. Is 4 a factor of w?
True
Let t(g) = 4*g**2 + 20. Let c be t(5). Is 4 a factor of (2/4)/((-5)/c)*-5?
True
Let l(q) = q**2 - 25*q - 29. Let d(c) = -2*c**2 + 39*c + 44. Let s(p) = -5*d(p) - 8*l(p). Does 10 divide s(6)?
False
Let a(t) = t**2 + 4*t. Let c be a(-6). Let m(l) = l**3 - 13*l**2 + 16*l - 1. Is m(c) a multiple of 14?
False
Let s = 49 - 60. Let m(u) = -u**2 - 14*u + 9. Let p be m(s). Let h = p + -14. Is 14 a factor of h?
True
Let v be (52/(-8) + 3)/(1/(-54)). Let r be 158/14 + (-54)/v. Suppose 1722 = r*n - 4*n. Is n a multiple of 20?
False
Let c(y) be the second derivative of y**5/20 + 5*y**4/6 + y**3/6 + 27*y**2/2 + y. Let u be ((-45)/(-25))/((-9)/30). Is 28 a factor of c(u)?
False
Suppose -f + 0*f - 2 = 0. Let y(d) be the second derivative of -79*d**3/6 + d**2/2 - 241*d. Is 25 a factor of y(f)?
False
Let f(w) = 272*w**3 + 21*w - 68. Is 121 a factor of f(3)?
False
Let x be 2/(-11) - 434/154. Let i = x + 7. Suppose i*y = 2*f - 31 + 1, 0 = -5*f + 3*y + 47. Is 6 a factor of f?
False
Suppose -12 = 16*a - 20*a. Suppose 2*u - 5*v = -a*u + 5, 3*u = 5*v - 1. Suppose p + 222 = u*n, -4*n + 312 - 16 = -p. Does 26 divide n?
False
Let q be 13 + 18/(-6) + -6. Suppose -q*j - 15 = -159. Is 12 a factor of j?
True
Suppose 147*f + 72705 = 151*f - 5*s, f + 5*s - 18195 = 0. Is 15 a factor of f?
True
Suppose -5*w - 3*w = 5*t - 28539, 0 = w + t - 3564. Is w a multiple of 8?
False
Let m(i) be the first derivative of i**4 + 8*i**3/3 - 15. Let a be m(-4). Let f = a - -197. Is 23 a factor of f?
True
Let h(i) = i + 8. Let t be h(-5). Let z be 1 + (t - -2) + -1. Let m(d) = 5*d**2 + 5*d - 22. Is 16 a factor of m(z)?
True
Let i(f) = 202*f + 1416. Is i(-5) even?
True
Let g = -589 + 579. Is g/30 - 1597/(-3) a multiple of 76?
True
Let c(g) = -63*g - 79. Let s be c(6). Let y = 961 + s. Is y a multiple of 28?
True
Suppose 3*x + 17 = 26. Let b be 1/((-8728)/2908 - -1*x). Let i = -431 - b. Is i a multiple of 14?
False
Let j = 1385 + -974. Let z = j - -48. Suppose 0 = 13*o - 8*o + 5*g - 465, -5*o - 3*g = -z. Does 16 divide o?
False
Suppose 0 = -3*q + 3*v + 30, -q + 1 = v - 5. Suppose q*j + 87 - 575 = 0. Let o = 23 + j. Is 14 a factor of o?
True
Let i = 568 + -464. Let o = i + 108. Does 27 divide o?
False
Let o(m) = 748*m - 263