ppose s = 5*f - 5 - 5. Suppose -2*x = f*x - 64. Is 6 a factor of x?
False
Suppose -6*u + 2*p = -u + 13, 0 = u + p - 3. Suppose 0*k - 196 = 7*k. Does 15 divide u/4 - 1043/k?
False
Let p(m) = -66*m**3 - 2*m**2 - m + 2. Let f be p(1). Let g = -36 - f. Suppose -g = -4*b + 9. Is b a multiple of 6?
False
Suppose 495 = y + 4*y. Suppose -y = -5*m - 9. Does 4 divide m?
False
Is 23 a factor of 1928 - (-6)/(-2 - -5)?
False
Suppose 10*m - 190 = 5*m. Is 14 a factor of m?
False
Let c = -106 - -112. Does 10 divide 2436/15 + c/(-15)?
False
Let o(x) = x + 10. Suppose -4*t - 2*z - 2*z = 52, z - 71 = 5*t. Let d be o(t). Is 3 a factor of 2*d*9/(-24)?
True
Let a be (-236)/24 - (-7)/(-42). Let c = 115 + a. Is c a multiple of 26?
False
Let m(h) = 4*h**3 - h**2 + 2*h - 1. Let d be m(1). Is -3 + 4/(d/19) a multiple of 8?
True
Let s(z) = 106 + 2*z**2 - 168 + 85 - 4*z. Is 27 a factor of s(-7)?
False
Let v be (-79)/(-2) - 1/2. Suppose 37*c + 20 = v*c. Does 10 divide c?
True
Let n = 13 + 15. Suppose n = -p + 180. Is 27 a factor of p?
False
Suppose -2*d + 197 = 3*p, 17*p - 109 = -d + 12*p. Is 3 a factor of d?
False
Let i = -70 - -78. Suppose -i*o + 616 = -0*o. Is o a multiple of 11?
True
Let w = -6 - -8. Suppose -2*n - 2*n + 15 = -5*b, 5*b = -w*n + 15. Does 3 divide n?
False
Suppose -58*q = -7143 - 5501. Is q a multiple of 12?
False
Let u = 16 - 10. Does 26 divide 104/u*(-9)/(-2)?
True
Suppose l = -q - 2*q - 8, 2*l = -2*q. Let v(j) = -j**3 + 5*j**2 + 5*j + 2. Is 27 a factor of v(l)?
False
Does 13 divide (-2132)/246*387/(-2)?
True
Let o(w) = -39*w + 97. Is o(-8) a multiple of 48?
False
Suppose t + c = 573, -231 = 5*t - 3*c - 3120. Is t a multiple of 72?
True
Let i = -462 - -657. Does 13 divide i?
True
Let y be (168 + -1)*-1 + (0 - 1). Let r = -75 - y. Is 33 a factor of r?
False
Let p be -5 + 3 + 4 - -2. Let r be (-3)/(-12) + 19/p. Suppose -3*f + 96 = 4*j, f + r*j - 55 = -23. Is f a multiple of 16?
True
Does 55 divide (-81)/(146/(-28) - -5)?
False
Suppose -5*z = -5*c - 65, 2*z + 0*c - 32 = 4*c. Suppose 2*w = w - z. Let u = w - -17. Is u a multiple of 5?
False
Let k(w) = -w**2 + 8*w - 13. Let o be k(4). Let d = 114 - 56. Suppose 3*h = 4*f + 82, d = 3*h - o*f - 23. Is 4 a factor of h?
False
Suppose 4*v + 39 = 7*v. Suppose 12*w = v*w - 182. Does 35 divide w?
False
Let k = 103 - -166. Does 12 divide k?
False
Suppose w = 4*k - 1468, 4*w - 9*w = -2*k + 752. Is 4 a factor of k?
False
Let r = 440 - 163. Is 21 a factor of r?
False
Suppose 3*t - 5*t + 4*c = -536, 3*c = 3*t - 810. Let x = -9 - -13. Suppose 4*u - t = 4*g, x*u + 5*g - 93 = 161. Is u a multiple of 22?
True
Let d(j) be the second derivative of j**4/4 - 7*j**3/6 - 5*j**2/2 - 4*j. Let r be d(-4). Let y = -37 + r. Is 17 a factor of y?
True
Let m(k) = k**2 + 5*k - 34. Is 14 a factor of m(15)?
True
Let z = 360 + -234. Is z a multiple of 21?
True
Let c(r) = -r + 7. Let t be c(3). Suppose -t*v = -93 + 5. Is 9 a factor of v?
False
Let v = -54 + 75. Let u = v - 8. Is u a multiple of 5?
False
Suppose 22 = -2*x + 13*x. Suppose 5*w - 4*w = -c + 12, x*c = 2*w - 12. Is 3 a factor of w?
True
Is 4 a factor of 12/(-210)*5*-84?
True
Let l = 6 + -10. Let d(i) = -i**2 - 3*i**2 - 2 + 0*i + i**2 + 2*i - i**3. Is d(l) a multiple of 6?
True
Let b = 2079 - -338. Is b a multiple of 22?
False
Let f(l) = 3*l - 16. Let c(x) = 1. Let a(j) = -c(j) - f(j). Does 9 divide a(-13)?
True
Let r(c) = c**3 - 4*c**2 + 3*c + 2. Let x be (3 - 1)*(2/(-4) + 4). Is r(x) a multiple of 10?
True
Let r be (-42)/4 + 4/8. Let z be (r/15)/((-4)/6). Does 19 divide (z - -37)/((-3)/(-3))?
True
Suppose -3*k = 2*z + 15, 3*z - 3*k - 20 + 5 = 0. Suppose -6*b + 934 - 124 = z. Does 22 divide b?
False
Suppose -f - 2*n + n = 24, 4*f = -3*n - 93. Let m = f + 60. Does 17 divide m?
False
Let v(z) = 5*z**2 + 5*z + 2. Let b be v(-2). Is 8 a factor of (-924)/(-9) - (-16)/b?
True
Let o(h) = h - 6. Let b be o(6). Let z = b + 2. Is 21 a factor of (5 + 109)/(3/z)?
False
Suppose 4*s = -z + 1 + 29, -2*z - 24 = -4*s. Let n(f) = f**2 - 7*f - 1. Let v be n(s). Does 13 divide 65/(-20)*4*v?
True
Let y = -147 + 537. Is 14 a factor of y?
False
Suppose 9*l - l - 44664 = 0. Is 11 a factor of l?
False
Let y(h) = -243*h - 794. Is 27 a factor of y(-14)?
False
Let i = 38 - 36. Suppose -3*l = 5*k - 9, l + 3*l + 2 = -i*k. Is (-3)/k - -32 - 2 a multiple of 11?
False
Does 28 divide 7 + (-825)/121 + (-3694)/(-11)?
True
Suppose -1874 = -2*t + s - 485, -2*t + 4*s + 1386 = 0. Is 40 a factor of t?
False
Let o(c) = -c**3 + c**2 - c + 114. Let t = 6 - 6. Let a be o(t). Suppose 150 = 6*r - a. Does 24 divide r?
False
Let p be 25*(-2)/4*2. Let j = 0 - p. Does 5 divide j?
True
Suppose 2*y = -10, -11*r = -10*r - y - 499. Is 12 a factor of r?
False
Let w(h) = 596*h**3 - h**2 + 11*h - 10. Is w(1) a multiple of 57?
False
Let f(y) = 20*y + 5. Let m be f(-3). Let a = 81 + m. Does 12 divide a?
False
Suppose c + 6*q - 9*q = 54, 4*q = -8. Is 30 a factor of c?
False
Let q = -745 - -1293. Is 16 a factor of q?
False
Suppose 0 = 2*p + d, -d = -5*d + 16. Is 9 a factor of 728/16 - (-1)/p?
True
Let y = 25 + -29. Let b = 4 + y. Suppose 2*t + 3*h - 186 = 4*h, b = 5*h + 20. Is 18 a factor of t?
False
Let n(r) = 3*r**2 + 9*r + 24. Suppose 0 = 5*x + 4 + 16. Does 5 divide n(x)?
False
Let c(y) = -y**3 - 6*y**2 + 20*y - 18. Does 13 divide c(-10)?
True
Let s = 372 + -54. Does 53 divide s?
True
Let u = -17 + 47. Let q(k) = 3*k + 3. Let d be q(-8). Let z = u + d. Does 9 divide z?
True
Let j(u) = -71*u**3 + u. Suppose -15*a = -17*a + 4. Let k = a + -3. Is 20 a factor of j(k)?
False
Let p(j) = -6*j + 2 - 13 - 16 - j. Does 18 divide p(-18)?
False
Let s(f) = f**2 + 4*f + 2. Let b be s(-4). Suppose 2*h - 4*h + 26 = 4*a, 19 = b*a + 3*h. Suppose a*x - 7 = 83. Is 4 a factor of x?
False
Let t(j) = 91*j**2 + 2*j - 2. Suppose 2*r - 5 + 3 = 0. Is t(r) a multiple of 13?
True
Let u = -259 - -260. Let r(k) = 4*k**2 - 6*k**2 + 1 + 2*k + 32*k**3 - 2. Is 22 a factor of r(u)?
False
Let s(o) = -o. Let r(d) = -6*d - 13. Let c(b) = -r(b) + 5*s(b). Let h be c(-9). Does 28 divide h/26 - (-3892)/52?
False
Is (-3)/(-5)*(-5)/(-1) - -137 a multiple of 5?
True
Suppose 22*j - 19826 = -24*j. Is 22 a factor of j?
False
Let t(r) be the second derivative of r**5/20 + 3*r**4/4 + r**3/6 + 11*r**2/2 - r. Does 11 divide t(-8)?
False
Let n = 69 + 1496. Is n a multiple of 73?
False
Let g = 417 - 155. Does 26 divide g/10 - 1/5?
True
Let n(z) = 12*z + 11. Let q be n(-8). Let u = 19 - q. Does 13 divide u?
True
Let x = -12 - -12. Suppose x = 4*l - 137 + 49. Does 22 divide l?
True
Let y(j) be the third derivative of 4*j**5/15 + j**4/3 + 5*j**3/6 - 30*j**2. Is 8 a factor of y(-2)?
False
Is -3183*(-2 + (-30)/(-54)*3) a multiple of 70?
False
Let i(p) be the third derivative of -p**5/60 + 5*p**4/12 + 13*p**3/6 + 6*p**2. Let x be i(11). Suppose -300 = -x*g - 3*g. Is g a multiple of 15?
True
Let f = -19 + 22. Suppose 0 = -l - 4*l + f*a - 493, -4*l - 388 = 4*a. Is l/(-5) - 4/(-10) a multiple of 10?
True
Suppose -4*i + 2306 = -3*h - 647, -3*i + 3*h + 2214 = 0. Does 9 divide i?
False
Let l(w) = w**3 + 10*w**2 - 10*w - 8. Let f be l(-6). Let n be 5/(396/f + -2). Suppose 0 = 5*r + b - n, 5*b - b - 116 = -2*r. Is r a multiple of 20?
False
Let l be 5/(-6)*3*4. Is (-6 + 4)/10 - 722/l a multiple of 36?
True
Suppose 2*b - 280 = 38. Let d = 250 - b. Is 42 a factor of d?
False
Does 59 divide (-6)/(-4)*-6*-59?
True
Let c = 5 - -12. Suppose 0 = 3*y + 20 - c. Is 3 - 1 - y - -14 a multiple of 7?
False
Let x be (-4)/22 - (-100)/(-55). Is 12 a factor of ((-1030)/20)/(1*1/x)?
False
Suppose -5*j - 29 = 4*d + 23, -d + 4*j = 13. Let q(k) = -k**3 - 14*k**2 - 8*k + 17. Let g be q(d). Let y = -12 - g. Does 12 divide y?
True
Let z = 198 - 67. Let c = z - 56. Is 39 a factor of c?
False
Suppose 5*u - 3*u - h = -57, -55 = 2*u + h. Let z = u + 71. Is z a multiple of 4?
False
Let o(h) = -h**2 - 2*h. Let c be o(-6). Let p be ((-6)/(-9))/((-4)/c). Suppose p*q = -5 + 25. Is q a multiple of 5?
True
Suppose -8764 = -18*z + 1694. Is z a multiple of 6?
False
Let d = 1374 - 674. Does 35 divide d?
True
Suppose c - 4*r = 168, 0 = -c - r + 41 + 117. Is c a multiple of 12?
False
Let u(k) = -2*k - 7. Suppose -7*g + 18 = -g. Let j be u(g). Is 10 a factor of (-7)/(28/(-8)) - j?
False
Let z(q) = q**3 + 6*q**2 - 8*q - 5. Let v be z(-7). Let m(