divide f(9)?
False
Let k(b) = 49*b**2 - 4*b + 1. Suppose 4*r = r. Suppose r*z - 10 = -5*z. Is 9 a factor of k(z)?
True
Does 12 divide (-12739)/(-2)*(-12)/(-10) + 30/(-75)?
False
Suppose 6106 = -5*v + 1151. Let i = v - -1501. Does 30 divide i?
True
Let a(d) = d - 9. Let r be a(12). Suppose 5*b - 3*l - 26 = 23, -9 = r*l. Let s(q) = q**3 - 8*q**2 + 3*q + 8. Is 4 a factor of s(b)?
True
Suppose 59*t + 238*t = -96*t + 12025800. Is t a multiple of 100?
True
Suppose 192202 = 6*z + 29644. Is 3 a factor of z?
True
Let h(y) = -49*y - 3. Let t be h(3). Let v = -99 - t. Let j = 29 + v. Does 20 divide j?
True
Suppose 0 = -5*d + 32*j - 37*j + 11200, -5*j = -3*d + 6672. Is d a multiple of 75?
False
Let d = -4170 - -8724. Is d a multiple of 9?
True
Let l = -41 - -320. Let q = l + -597. Does 16 divide (-6)/(-12) - q/4?
True
Does 46 divide ((-28)/12 - -3)*1/(1/8889)?
False
Let p(v) = -v**2 + 56*v + 18. Let i be p(18). Suppose 5*o + 3*t - 1170 = 0, 3*t - 7*t + i = 3*o. Is 15 a factor of o?
False
Suppose 3*g - 4 = g. Suppose -2*m + g*f + 5 = -29, -3*m = -4*f - 50. Let l = m - -8. Is l a multiple of 13?
True
Let w(r) = -3*r**2 + 88*r + 311. Let p(m) = -m**2 + 29*m + 104. Let n(o) = -11*p(o) + 4*w(o). Is 12 a factor of n(32)?
True
Let n(y) = 64 - 6 + 2*y + 39. Is n(-24) a multiple of 7?
True
Let c be (3 - 6 - -8)/(1/7). Let w = c - -373. Is w a multiple of 51?
True
Let b(x) = x**2 + 2*x - 13. Let u be b(-4). Let o(j) = -3*j**2 + 6*j - 12. Let z(t) = t**2 - 3*t + 6. Let h(m) = u*z(m) - 2*o(m). Is 2 a factor of h(2)?
True
Let d = 359 + 511. Let h = d - 678. Is 12 a factor of h?
True
Let x = 150940 - 87420. Does 188 divide x?
False
Let b be (3 + 0)*(3 + 21/(-9)). Does 44 divide (b/(-4))/((-3)/906)?
False
Let d = -867 + 3685. Is 8 a factor of d?
False
Suppose -106*w + 134*w = 0. Suppose -7*l + 2304 + 2267 = w. Is 32 a factor of l?
False
Suppose -3*d + 18216 + 1017 = 3*z, 7*z = -d + 6447. Is d a multiple of 21?
True
Suppose 0 = 6*c + c. Suppose 25*u - 30*u + 50 = c. Let a = 166 + u. Does 22 divide a?
True
Suppose 0 = -q + a + 5 + 10, 57 = 5*q + a. Let m(c) = -c**2 + 15*c + 17. Let z(g) = -g + 1. Let u(w) = m(w) + 2*z(w). Is 18 a factor of u(q)?
False
Let a(j) be the second derivative of 23*j**3/2 - 14*j**2 + 9*j - 2. Is a(5) a multiple of 14?
False
Let j(k) = k**2 - 8*k - 4. Let d be j(9). Suppose d*q - 2*n = -5*n + 196, -4*n - 144 = -4*q. Is 6 a factor of -7*(q/(-7) - -2)?
True
Let w(p) = 4*p + 97. Let t(j) = 7*j - 56. Let b be t(7). Is w(b) a multiple of 3?
True
Let t = -5 + -59. Let k(j) = 5*j + 22. Let y be k(-4). Is 10 a factor of (-8)/(t/(-36) - y)?
False
Suppose 30*y = 31*y - 1644. Suppose 129*w - y = 117*w. Is w a multiple of 6?
False
Suppose 0 = 4*c - 2*q - 35894, -1200*c - 44865 = -1205*c + 3*q. Is c a multiple of 12?
True
Let g = -20 + 25. Suppose -g*a - 4*z + 4 = -0*a, -4*a + 5*z = -36. Is 4/(-2) + (1 - a - -16) a multiple of 2?
False
Suppose 3*f = -w - 127, 4*f = -2*w - 119 - 53. Let k = f - -836. Does 14 divide k?
False
Let b(k) = 2*k**2 + 7. Let l be b(4). Suppose -l*h = -36*h. Is (224/10)/((-5)/(-25) - h) a multiple of 16?
True
Let m(u) = -4*u**2 - 200*u + 66. Is m(-21) a multiple of 56?
False
Let l(o) = -2*o**3 + 133*o**2 - 230*o + 960. Does 16 divide l(64)?
True
Suppose -57 = -11*j + 31. Suppose -j*q + 26 = -6*q. Is q a multiple of 10?
False
Let b = 19 - 22. Let l be 0 - (1 - 1)/3 - b. Suppose -3*i + 82 = u, -l*i - u = u - 80. Is i a multiple of 14?
True
Suppose -275 = -5*n - 3*t, 2*n - 5*t + 31 = 141. Let f(j) = 10 - 3*j - 18 + 30 + n. Does 8 divide f(0)?
False
Let j(k) = 2*k - 89. Let r(a) = 4*a - 88. Let g(t) = -7*j(t) + 6*r(t). Does 27 divide g(28)?
False
Let q(i) = -i**3 - 2*i**2 - i + 2. Let o be q(-2). Suppose 0 = -6*b + 4*b + o. Suppose -g - 4*s + 23 = -2, -b = g - 5*s. Does 4 divide g?
False
Let b(p) = 13*p**2 - 154*p + 2762. Is b(32) a multiple of 28?
False
Let h be 6/(-20) - 4086/180. Let s(n) = 10*n - 4. Let c be s(-7). Let y = h - c. Does 15 divide y?
False
Let y be -5*(8 - (-186)/(-30)). Let h(p) = -21*p + 67. Is h(y) a multiple of 8?
True
Let o be (1/(-4))/((-3 + -5)/416). Let s = 33 - o. Suppose -s*j + 21*j - 195 = 0. Is j a multiple of 13?
True
Suppose 92*r = -94*r + 9*r + 2321886. Does 14 divide r?
True
Let o(f) = -15*f - 5. Let y be 6/8*136/51. Let q be o(y). Let x = q + 67. Is 4 a factor of x?
True
Let c be 8/10 + 32/10 - -2. Is 25 a factor of 4632/21 - c/(-14)?
False
Suppose -2766 + 31476 = 9*j. Does 10 divide j?
True
Suppose 0 = 5*m - 4*p - 6, -4*p + 3 = 2*m - 5. Suppose 4*d + m*t - 432 = 0, -3*t + 91 + 22 = d. Is 42 a factor of d?
False
Suppose -u - 5*b - 1 = 0, -3*b = -9*u + 6*u + 87. Does 20 divide (-195)/(78/u + -4)?
True
Suppose 16695 = 3*x - 3*v, 5*x - 27870 = -0*v - 4*v. Suppose 0 = -18*r + x + 5014. Does 28 divide r?
True
Let x(r) = 35*r**2 - 12*r + 9. Suppose 0 = -14*j + 17*j - 9. Does 18 divide x(j)?
True
Suppose -6*a - 35 = -11*a. Suppose -19 = -2*z - x, 3*z - 15 = -4*x + a*x. Suppose -7*k + z*k = 29. Is k a multiple of 15?
False
Let h(q) = -q**2 - 10*q - 13. Let c be h(-6). Suppose -8*i - 528 = -c*i. Is 14 a factor of i?
False
Let s = -226 - -228. Does 11 divide (6*s/15)/(8/1320)?
True
Let t be ((-12)/(-9))/(-1 - (-118)/120). Let y = 25 - t. Is 35 a factor of y?
True
Suppose -61*t + 78*t + 9061 = 0. Let f = -95 - t. Is 27 a factor of f?
False
Let h = 154 - 154. Suppose 27*x - 14*x - 4160 = h. Does 16 divide x?
True
Is -36*(43/((-172)/(-24)) - (-2 + 234)) a multiple of 18?
True
Let b(p) = 2*p + 69. Let v be b(-32). Suppose -z = v*z - 3906. Does 20 divide z?
False
Suppose 8*h - 4694 = 386. Suppose -2*a + h = 5*l, 5*l = 4*l - 3. Does 15 divide a?
False
Suppose 0 = 30*a - 13*a. Suppose 16*f - 2819 - 8317 = a. Is f a multiple of 12?
True
Let u(i) = -i**3 - 15*i**2 + 4*i - 1. Let h be u(-15). Let n = h + 122. Suppose -19 = -2*a + n. Is a a multiple of 8?
True
Let l(x) = -x**3 - 13*x**2 + 13*x + 9. Suppose 4*o = -0*o - s + 31, 40 = 4*o + 4*s. Suppose o*y = -140 + 42. Does 9 divide l(y)?
False
Does 52 divide (-2)/((-2)/4871) + 4 + -10?
False
Suppose 21 + 18 = 3*v. Suppose 0 = -v*h + 16*h + 198. Let g = 218 + h. Does 16 divide g?
False
Let s(o) = o**3 + 10*o**2 - 13*o - 18. Let w be s(-11). Suppose -w*b = -16 - 276. Is 9 a factor of b?
False
Suppose -2*f - 7541 = -3*a + 46403, -16 = -4*f. Suppose 22*i + 5774 = a. Does 19 divide i?
False
Let z be (0 + 1*4)*(-1195)/(-956). Suppose -5*l = z*f - 2130, 6*f - 1280 = 3*f - 5*l. Does 6 divide f?
False
Let i = 28023 - 23051. Does 11 divide i?
True
Suppose 4*y + 3*v = -75, 0 = 5*y + 7*v - 3*v + 95. Let r(w) = -w**3 - 15*w**2 - 4*w + 18. Is 2 a factor of r(y)?
True
Let x = -712 + 696. Is 13 a factor of (-104)/6*24/x?
True
Let s = -58 + 94. Does 38 divide s/(-9) + (-354)/9*-3?
True
Let b = -93 + 118. Suppose 21*m - 16*m = b. Suppose 4*y - 180 = 4*t, -t = -m*y + 31 + 178. Is 11 a factor of y?
False
Suppose 159 = 4*b + b + j, -b - 5*j = -51. Suppose 24*i - b*i = -1631. Is i a multiple of 24?
False
Suppose 0 = 2*s + 6*f - f - 18, -4*f = -5*s + 12. Suppose -5*k + 8*k = 1140. Suppose 5*h = 3*r - 575, 3*r = r + s*h + k. Does 17 divide r?
False
Suppose -5*j = 63 + 42. Let t = j + 24. Is 2 a factor of t + (-8)/((-24)/9)?
True
Does 54 divide (0 + (-144)/10)/(115/((-12980625)/86))?
True
Let a = 13056 - 406. Is 11 a factor of a?
True
Let l = 202 + -83. Let w = l + -117. Suppose -n + 329 = 3*z - 577, -w*n - 897 = -3*z. Is z a multiple of 29?
False
Let l(r) = r**3 + 11*r**2 - 25*r - 123. Is l(-12) a multiple of 11?
True
Let w = -6762 + 9261. Is 8 a factor of w?
False
Suppose 12*k - 18*k = -570. Let i = k - 95. Suppose 3*y - g + 0*g - 195 = i, 267 = 4*y + g. Is y a multiple of 12?
False
Let q = 386 - 383. Suppose q*i + 673 = 5*u - 1116, -u + 362 = -2*i. Does 12 divide u?
False
Let b = -1874 - -4238. Is 12 a factor of b?
True
Let k = 38 - -110. Let z = -36 + k. Is 28 a factor of z?
True
Let l = 21963 - 12313. Does 10 divide l?
True
Let p = -7071 + 14013. Is p a multiple of 13?
True
Suppose -5*c = -2*v - 38, -5*v = c + 2*c + 2. Let y be 15/((63/c)/7). Let i = y - -32. Does 7 divide i?
True
Let p be -12 + 5/(-10)*8. Let c = p + 31. Suppose 4*r - 60 + 730 = 5*w, -c = 3*r. Is w a multiple of 41?
False
Suppose 19 = -29*o - 648. Suppose 0*m = -m + 21. Let u = m - o. Does 11 divide u?
True
Let m be 2 - (-4 