actor of k?
True
Suppose 5*c - 6 = 4. Suppose q - 55 = -5*j + 36, 0 = c*q + j - 200. Let a = 143 - q. Is 7 a factor of a?
True
Suppose -5*m = 2*v + 210, 0*v + v = 5*m + 210. Let s = -28 - m. Let k(y) = y**3 - 14*y**2 + 3*y - 15. Does 9 divide k(s)?
True
Let w = -56 - -57. Does 4 divide (1350/(-7))/(-6) + w/(-7)?
True
Let x = 1099 + -585. Is x a multiple of 15?
False
Let q(b) = b**3 + 3*b**2 - 5*b. Let s(h) = -2*h**3 - 2*h**2 + 6*h. Let d(o) = 3*q(o) + 2*s(o). Let c be d(3). Does 21 divide (-3565)/(-45) - 2/c?
False
Let m be (-4)/(-6) - (-616)/(-24). Let q = -24 - m. Let i = q + 40. Does 17 divide i?
False
Suppose 93*s - 13500 = 68*s. Is s a multiple of 9?
True
Suppose 2*r + 2*z + 3*z = 20, -5*r + 50 = 4*z. Is 26 a factor of (195/r)/((-6)/(-8))?
True
Suppose -2 = 2*v - 0*v - 4*h, 2*v + 2*h - 10 = 0. Let p = 6 - v. Suppose -k = -p*r + 2*k + 48, -r - 3*k = -8. Does 4 divide r?
False
Let k = -188 - -613. Is k a multiple of 25?
True
Suppose -5 = t, -4*t - 155 = -5*o - 2*t. Let x = -23 + o. Does 3 divide x?
True
Is (428/(-2))/(-2) - 3 a multiple of 8?
True
Let f be -1 + 86 + (0 - 1). Suppose p - 22 = 22. Let c = f - p. Is c a multiple of 26?
False
Let y = -11 - -2. Let k = -9 - y. Suppose k*u + u = 33. Does 11 divide u?
True
Suppose -4*q - 8 = 2*x, -5*q - 4 = 5*x + 1. Suppose -c = 2*c - x*z - 18, -3 = -3*c - 3*z. Suppose -4*g - 40 = 3*v - 212, -c*v + 234 = 3*g. Does 9 divide v?
False
Suppose -19250 = -5*o - 3*n + n, -3838 = -o + 2*n. Does 13 divide o?
True
Let p(r) = -r**3 + 24*r**2 - 21*r + 52. Is p(20) a multiple of 8?
True
Suppose 4 - 16 = -w. Let t = 38 - w. Is t a multiple of 3?
False
Let m = 1127 + -763. Is 91 a factor of m?
True
Let f(t) = -t**3 + 12*t**2 + 12*t + 18. Let d be f(13). Suppose -d*h = -300 - 115. Does 20 divide h?
False
Let n = 444 - 259. Suppose n + 346 = 3*b. Does 36 divide b?
False
Let f(w) = 2*w**3 + w**2 + w. Let l be f(-2). Let v be l/(-3)*(2 + 28). Suppose -7*g + 140 = 5*a - 3*g, 5*a = 3*g + v. Is 7 a factor of a?
True
Let r(s) = s**3 + 16*s**2 + 30*s + 33. Is 21 a factor of r(-12)?
False
Let o = -24 - -30. Let r(x) = -x**3 + 6*x**2 + 4*x - 2. Is r(o) a multiple of 11?
True
Let f(b) = -5*b**3 - b**2 + 1. Let w be f(2). Let o = 66 + w. Does 23 divide o?
True
Let g(h) = -655*h + 5. Let o be g(2). Let b be 1/4 - o/12. Suppose -2*n + 21 = -3*r + b, -2*n = 5*r - 120. Does 11 divide r?
False
Let w be 1/3*3*-2 + 2. Suppose -648 = -6*u - w*u. Is 18 a factor of u?
True
Does 108 divide (2 - 245)*-4 + (-20 - -20)?
True
Let o(l) be the third derivative of 7/8*l**4 + 0*l + 0 + 7*l**2 - 1/3*l**3. Is 12 a factor of o(1)?
False
Let w(n) = -n**2 + 6*n + 6. Let q be w(10). Let l = 65 + q. Suppose 0 = -2*f + 3*r + l, -2*f + f + 3*r = -14. Is 17 a factor of f?
True
Let d be (0 + (-5)/(-15))*9627. Suppose -13*k = 1285 - d. Is 19 a factor of k?
False
Let f be (-100)/8*12/(-10). Let b = f - 8. Let o(r) = r**3 - 5*r**2 - 5*r + 2. Is 19 a factor of o(b)?
False
Does 8 divide ((-33408)/(-290))/((-3)/(-10))?
True
Let d = -5 + 11. Let u be d/(-9)*537/(-2). Let y = u - 90. Is 19 a factor of y?
False
Suppose 4*j - 20 = 0, -3*m - 122*j + 4954 = -123*j. Does 19 divide m?
True
Let b(z) = -13*z - 3. Suppose -2*l + 3 = -3*l, -n + 3*l = -3. Does 26 divide b(n)?
False
Let j be -3 + 1011/(4 - 1). Let v = j - 216. Is v a multiple of 34?
False
Is (-2 - -5 - (-546)/(-28))*-20 a multiple of 15?
True
Is 2474 - (-1)/((-7)/(-28)) a multiple of 14?
True
Let x(b) = -b**3 + 12*b**2 + 10*b - 6. Let z be x(12). Let a = z + -63. Is a a multiple of 8?
False
Is 21 a factor of (182/28)/(-13) - 1114/(-4)?
False
Let u be (-6)/(2*(-6)/8). Let t(x) = -x**2 - 2*x + u*x**2 - 2*x**2. Is t(4) a multiple of 6?
False
Let w(a) = -a**2 - 9*a + 7. Let p(q) = -q**2 + 15*q + 7. Let f be p(16). Let b be w(f). Suppose 2*s - 53 = b. Is 15 a factor of s?
True
Let a = -496 + 863. Is 6 a factor of a?
False
Let x(c) = 6*c**2 + 140*c + 16. Is x(-31) a multiple of 39?
False
Let t(r) = -150*r**3 - 3*r**2 - 10*r. Let i(m) = -6*m - 2*m**2 - 100*m**3 + 6*m + 0*m**2 - 7*m. Let s(b) = -7*i(b) + 5*t(b). Does 10 divide s(-1)?
True
Is ((-7)/(-4) - 1) + 35091/252 a multiple of 10?
True
Suppose -m + 91 = -2*q + 5*q, 0 = -2*m - 10. Suppose 2*n + q = 164. Does 6 divide n?
True
Suppose -5*h - 3*d = -2*d - 183, 0 = 5*h - 5*d - 165. Suppose -m = -12 - h. Is 3 a factor of m?
True
Let x(d) = -d**2 - 29*d - 80. Is x(-14) a multiple of 17?
False
Suppose 0 = 9*v - 6*v - 51. Suppose c - 47 + v = 0. Let r = 38 - c. Is r a multiple of 3?
False
Is -8 + -795*16/(-24) a multiple of 29?
True
Let t(j) = 8*j**2 + 11*j - 12. Does 11 divide t(-6)?
False
Suppose 0 = 2*b - 7*b - 20. Let f = b - -58. Is 27 a factor of f?
True
Let t = 1 - 101. Let d = t + -660. Is d/(-55) - 4/(-22) a multiple of 7?
True
Suppose -2*g = -3*g - 3, -2*q + 2*g + 78 = 0. Does 4 divide q?
True
Suppose t - 3 = -0*t. Let d be (-114)/((-2)/((-2)/(-2))). Suppose t*a - d = 153. Does 29 divide a?
False
Is 4 a factor of 128 + (16/(-6) - 16/(-24))?
False
Let y = 52 + -61. Let h = y - -27. Is h a multiple of 3?
True
Let b(y) = -y**2 + 9*y - 11. Let x be b(8). Let f be (-39)/(x + 36/16). Suppose -344 = -4*d - f. Does 9 divide d?
False
Let k(g) = -190*g - 4. Does 13 divide k(-7)?
True
Let s = -25 + 32. Suppose o - s = -2*d, d = 4*o - d - 18. Suppose -a - 264 = b - 5*b, 327 = o*b - 2*a. Is 38 a factor of b?
False
Let v be (-45)/(-4) + (-6)/(-8). Let c = v + -4. Suppose 312 = -4*r + c*r. Is 26 a factor of r?
True
Let p(n) = -n**3 - 11*n**2 - 9*n - 3. Let q be p(-10). Let h = 17 + q. Suppose -13 + 45 = h*l + 4*f, 0 = f - 3. Is l a multiple of 4?
False
Suppose 0 = -5*s - 23 + 13. Is 9 a factor of (0 - s) + 100 + -12?
True
Let g = -33 - -157. Let z = g - 61. Suppose z + 93 = 4*c. Does 19 divide c?
False
Let y(r) = r - 3. Let n be y(5). Suppose 446 = 2*o + n*k, 3*k - 2*k + 458 = 2*o. Let f = 352 - o. Is 19 a factor of f?
False
Is ((-16)/4 - -301)*(-8)/(-6) a multiple of 44?
True
Suppose -5*s = -b + 76, s - 185 = -3*b + b. Is b a multiple of 5?
False
Let y(b) = -4*b + 46. Let r be y(5). Suppose 121 + r = o. Is o a multiple of 49?
True
Let k be (-255)/(-10)*(64/3)/4. Suppose u = k + 26. Is u a multiple of 27?
True
Suppose 1 = 3*j - 5. Let x be ((-20)/j)/((-4)/28). Suppose 0*c - x = -5*c. Does 3 divide c?
False
Let n(w) = 30*w + 2. Let g be n(1). Suppose u + g = -0*u. Is 1/(-3 - u/10) a multiple of 3?
False
Suppose -x - 473 - 176 = -5*i, 5*x + 20 = 0. Is 9 a factor of i?
False
Suppose -10*t + 200 = -0*t. Is (t/(-6))/(8/(-60)) a multiple of 5?
True
Let i(y) = -y**3 + 9*y**2 + 8*y + 22. Let s be i(10). Suppose 3*t = s*x - 2*t - 155, 3*x - 3*t = 210. Is 13 a factor of x?
True
Let u(j) = 2*j**3 - 34*j**2 + 7*j - 3. Does 2 divide u(17)?
True
Suppose -20*v = -227 - 1233. Does 6 divide v?
False
Let q(z) = 4*z**2 - 6*z + 4. Let o(t) = 2*t - 6. Let d be o(5). Is 22 a factor of q(d)?
True
Let b = -205 - -418. Is b a multiple of 10?
False
Let i = -1663 - -3371. Does 14 divide i?
True
Let w = -22 - -27. Let r(k) = -k**3 + 9*k**2 - 2*k - 6. Does 20 divide r(w)?
False
Let l(j) = j**2 + 2*j - 17. Is l(10) a multiple of 34?
False
Let t = 411 - -1110. Does 13 divide t?
True
Suppose -117*d + 109*d + 10000 = 0. Is 10 a factor of d?
True
Does 19 divide (-13 + -6)*((-35)/7 - 12)?
True
Suppose l = 2 + 6. Suppose -5*k - 2*u = -4*u + 14, 4*u = l. Let r(c) = -4*c**3 - c**2 - 2*c. Is r(k) a multiple of 8?
True
Suppose 4*b - 33*c - 1956 = -35*c, 0 = -2*b + 5*c + 990. Is 4 a factor of b?
False
Suppose -5*m + 2*s = -4871, -59*m + 64*m - 4877 = -s. Is 15 a factor of m?
True
Let k(g) = 2*g + 4. Let p be k(0). Suppose p*t = 88 - 244. Let b = t + 67. Is 28 a factor of b?
True
Suppose -1256 = 16*w - 20*w. Suppose 0 = 5*k - w - 346. Does 31 divide k?
False
Let t be (2 + -3)*(-3 + -65). Let k = -48 + t. Is k a multiple of 4?
True
Let s be (-1)/((2/(-2))/3). Suppose -3*b + 5*d - 9 = -24, 0 = -2*b - d - s. Suppose b = 6*c - 4*c - 58. Is c a multiple of 10?
False
Let l be (-16 + 4 - -2)*1. Let n(r) = 3*r**2 + 2*r - 17. Is 31 a factor of n(l)?
False
Suppose 0 = -2*g - 2*c + 308, 0*c = 3*c - 3. Let l = g + -148. Is 4 a factor of l?
False
Suppose 3*q = -3*q. Suppose 4*w + 3 + 9 = q. Let x(g) = -37*g - 2. Does 16 divide x(w)?
False
Suppose 2*l = 5*g + 8, -2*g = l - 6*l + 41. Is l a multiple of 9?
True
Let f = 2666 