 -3*t = t - 4, f - 4*t = 35. Does 19 divide f?
False
Let m = 20 + -16. Suppose -m*d + 0*d + 756 = 0. Suppose -d = -3*n + 3*a, -2*a - 122 = -5*n + 178. Is 17 a factor of n?
False
Let k(s) = 6*s + 9. Suppose 3*m = 4*z - 18, 0*m + 5*m + 19 = 3*z. Suppose 8 = z*b - 1. Is 9 a factor of k(b)?
True
Does 2 divide (-83)/(-13 + (-5 - -17))?
False
Let o(q) = 57*q**2 + 3*q + 2. Let f be o(-2). Suppose 8*w + 0*w = f. Is w a multiple of 8?
False
Let x(z) = -z + 1. Let u(p) = 6*p + 5. Let w(v) = -u(v) - 4*x(v). Let q be w(-8). Let a = 9 - q. Is a even?
True
Suppose 4*u - 1608 = -2*m, 244 = -4*m + 3*u + 3493. Does 15 divide m?
True
Let s be 4/1 + (-1 - 0)/1. Suppose -2*c + 5*f = -100, c - s*f + 0*f = 52. Does 12 divide c?
False
Let l(f) = f**3 + 8*f**2 + 15*f + 107. Is l(11) a multiple of 5?
False
Does 2 divide 40 + (1*42/(-7) - -4)?
True
Suppose -9 = -0*k + 3*k. Let w be ((-4)/k)/(14/63). Suppose 23 = 3*l - r, w*r + 16 = 4*l + r. Is 9 a factor of l?
True
Suppose o + 2*s + 3 = 0, -o - o - 1 = 3*s. Suppose -13*i + 636 = -o*i. Is 7 a factor of i?
False
Is (-2)/4 + (14531/2)/11 a multiple of 44?
True
Let w(q) = -2*q**3 - 4*q**2 + 11*q + 13. Let d = 82 + -87. Does 12 divide w(d)?
True
Let n = 16 + -13. Suppose -94 = -n*p + 2*o, 5*p = -2*o + 16 + 114. Suppose -p = -m + t, -4*m + 0*t = -5*t - 114. Does 26 divide m?
True
Does 14 divide 5548/22 + (-52)/286?
True
Suppose -2*w + 3*w - 8 = 0. Let y(z) = -z**2 + 6*z + 10. Let t be y(w). Is (-275)/t - 21/(-126) a multiple of 14?
False
Let k(q) = q**2 + 4*q - 3. Let p be k(-5). Suppose -4 + p = r. Is 11 a factor of 0 + r - (-117)/3?
False
Suppose 0 = -5*w + 4*t + 546, 0*w - 3*w + t + 322 = 0. Is 20 a factor of w?
False
Suppose -d + 5*d = t - 2862, 2*d + 10 = 0. Does 98 divide t?
True
Let z be (1/2)/(11/66). Is 4 a factor of (1 - -3) + 12*z?
True
Let i(r) = -r - 4. Let f be i(-7). Suppose -5*k = -k - f*a - 165, 4*a = 20. Let z = -22 + k. Does 23 divide z?
True
Does 12 divide (-1428)/(4 - 5) - (-4 - -10)?
False
Let i(z) = 7*z**3 + 6*z**2 + 31*z - 14. Let d(y) = -10*y**3 - 9*y**2 - 46*y + 21. Let o(g) = -5*d(g) - 7*i(g). Is o(5) a multiple of 20?
False
Suppose 0 = t + m + 3, -2 = t - 3*m + 5. Let c = 4 - t. Suppose 3*o = c*o - 350. Does 15 divide o?
False
Let l = -2 - -3. Let d(w) = -10*w**3 + 7*w**2 - 5*w + 3. Let i(a) = -15*a**3 + 10*a**2 - 7*a + 4. Let q(h) = 7*d(h) - 5*i(h). Is q(l) a multiple of 5?
True
Let g be ((-45)/12)/(2/(-336)). Suppose -s + g = 5*s. Is 37 a factor of s?
False
Let t be 1*(9 - 3) - 2. Suppose -3*l = -t + 25. Is l*(2 + 2)/(-1) a multiple of 7?
True
Suppose -55*b = -47*b - 480. Does 12 divide b?
True
Is 25 a factor of (-439)/(-5) + 95/(-25) + 4?
False
Is (-18009)/(-36) + (-5)/4 + 1 a multiple of 10?
True
Let n = 2 + -11. Let o(j) = j**3 + 9*j**2 + j - 11. Let u be o(n). Is 4 a factor of 1/(u/(-32))*5?
True
Let i(v) = 6*v - 1 - 6 + 2*v**2 + 4*v**2 - 5*v**2. Does 21 divide i(-13)?
True
Let j = 6 + -3. Suppose j*r = z + 2*r - 121, 2*z = -r + 227. Let h = z + -78. Is h a multiple of 16?
False
Let j(k) = k + 7. Suppose -4*o = -4*g - 32, 5*g - 6*o = -5*o - 28. Let n be j(g). Suppose n*p - 6 - 10 = 0. Is 5 a factor of p?
False
Let j be (2/2)/((-9)/(-5328)). Let m = -382 + j. Is 15 a factor of m?
True
Let d(h) = -65*h + 4. Let n be d(-8). Suppose -2*s - n = -4*i, -2*i - 2*s = -112 - 162. Does 27 divide i?
False
Let n(k) = -2*k**3 + 12*k**2 - 4*k + 9. Let r be n(6). Is 13 a factor of ((27/r)/3)/(9/(-585))?
True
Suppose -45*o = -49*o + 1344. Is o a multiple of 42?
True
Suppose 5*d = 2*o - 10 + 4, 0 = -4*d. Suppose -o*h = -550 - 422. Is 17 a factor of h?
False
Does 5 divide 2*-20*3/(-24) - -870?
True
Suppose 0 = -4*g + 1 + 15, 5*t - 5*g - 1105 = 0. Suppose -16*m + t = -11*m. Does 17 divide m?
False
Suppose 4*j = 3*j + 2. Let p be 90/(-20) - (-1)/j. Let v(r) = -2*r**3 - 3*r**2 + 4*r. Is 16 a factor of v(p)?
True
Let k(a) = 3*a + 32. Let o be k(-10). Suppose 2*u + 321 = 5*m, o*u = -3*m - u + 201. Does 14 divide m?
False
Suppose 2*j = -0*j + 54. Suppose 0 = -4*z - 2*u + 4*u - 38, 3*u + 7 = -2*z. Let w = j + z. Is 19 a factor of w?
True
Let j(z) = 160*z**3 + 5*z**2 - 4*z - 1. Does 52 divide j(1)?
False
Let p(w) = -3*w**3 + 62*w**2 + 37*w + 36. Does 75 divide p(20)?
False
Suppose 0 = -23*j - 450 + 1209. Is 7 a factor of j?
False
Let b = -30 + 32. Suppose -p - 13 = -b*o + 6, -2*o + 2*p = -22. Is o even?
True
Let r(s) = 2*s**2 - 23*s - 6. Let h be r(12). Is 11 a factor of h/(-15) + 6/(-10) - -122?
True
Suppose -5*n = -4*u - 25 - 11, -2*u - 4 = n. Let x(v) be the second derivative of -v**5/20 - v**4/6 - v**3/3 - 2*v**2 - 2*v. Does 9 divide x(u)?
True
Let y(c) = 6*c**2 - 39*c - 80. Is 10 a factor of y(-6)?
True
Let b be 6/3*4/8. Let j = b + 1. Suppose 43 = j*s + 11. Does 7 divide s?
False
Suppose -4*f - q + 1385 = 250, -3*f - 2*q = -850. Is f a multiple of 22?
False
Let p(b) = -2*b**3 - 9*b**2 - 3*b + 4. Let n = -62 + 56. Is p(n) a multiple of 13?
True
Does 14 divide ((-21)/(-15))/(15/9150)?
True
Suppose 0*r - 3 = r. Is 15 a factor of 18/(-7)*266/r?
False
Let c = -4 - -6. Suppose 4*y - 2*y = -c, z = y + 59. Is (-2)/(4/(-2))*z a multiple of 29?
True
Let k(w) = 42*w**3 + 22*w**2 + 10*w - 4. Let v(i) = 28*i**3 + 15*i**2 + 7*i - 3. Let y(f) = -5*k(f) + 7*v(f). Is y(-2) a multiple of 29?
False
Let g(o) = -2*o**3 + 3*o**2 + 7*o + 7. Let s be g(4). Is (-2)/(-5) - 7452/s a multiple of 11?
False
Suppose -5*j = -4*r - 287, 1 = 4*r - 7. Let v = j + -23. Let h = v - 6. Is h a multiple of 23?
False
Let p(j) = 2*j**2 - 4*j + 2. Let s be p(2). Suppose -40 = -s*k + 6*k. Does 11 divide (-214)/k - 18/(-30)?
True
Let v(p) = p**2. Let g be v(-2). Suppose 2*z + k - 40 = -3*k, 0 = 2*z - g*k. Is 4 a factor of z?
False
Suppose -2*j + 3*x + 132 + 656 = 0, -2*x + 808 = 2*j. Is 20 a factor of j?
True
Let b = -167 - -205. Does 38 divide b?
True
Suppose -3*w + 0*w + 2152 = -5*i, 4*i = -2*w + 1464. Suppose -164 = 5*c - w. Does 16 divide c?
True
Let v(w) = w**2 + w. Let t be v(1). Suppose 0 = z - t*p - 34, -3*z = -0*p + 5*p - 113. Let n = -12 + z. Does 10 divide n?
False
Suppose 3*o = -4*d + 4221, 19 = -5*o + 14. Is d a multiple of 11?
True
Let z(x) = -x**3 - 6*x**2 - x + 10. Suppose 8 = 4*j, -3*w + 5*w - 5*j = 22. Suppose -3*m = 2 + w. Does 4 divide z(m)?
True
Suppose g = -3*a + 67, 0 = -21*a + 17*a - 12. Is 10 a factor of g?
False
Let n = 96 + -93. Let t(v) = v**2 + 2*v + 8. Is t(n) a multiple of 13?
False
Suppose 3*d - 8*d = 1320. Let y be (-2)/(-7) - d/154. Suppose 5*p - 203 = -y*p. Does 9 divide p?
False
Suppose -52 = o + 196. Let h = o + 367. Does 15 divide h?
False
Let h = 295 + -257. Does 19 divide h?
True
Let d = 15 + -12. Let r be -2*(3/6 - d). Suppose -4*x = 4*f - 304, -4*f + r = f. Is x a multiple of 15?
True
Let q be (-12)/28 + 8/(-14). Let f = 57 - q. Suppose -3*m + 14 = -f. Is 8 a factor of m?
True
Let q(p) be the third derivative of -p**5/60 + 3*p**4/4 + 11*p**3/6 + 5*p**2. Is q(15) a multiple of 8?
True
Suppose -4*j + 6 = -5*u, 3*j + 2*u - 18 = -u. Suppose -594 - 234 = -j*p. Suppose 5*v - p = -42. Is 10 a factor of v?
False
Let h(k) = -3*k**2 + 2*k - 8. Let f be h(0). Let t(a) = 3*a**2 + 9*a + 26. Is 27 a factor of t(f)?
False
Let j(g) = g**2 - 11*g + 12. Let d be j(10). Suppose v = i - 5, -4*i + 2*i - d*v = -6. Is 11 a factor of (-3)/12 - (-65)/i?
False
Let k = -195 + 115. Is 8 a factor of (64/k)/(2/(-20))?
True
Suppose 29*n + 156 + 76 = 0. Let g(t) = t**3 + 3*t**2 + 6*t**2 + 11 + 7*t - 4. Is g(n) a multiple of 15?
True
Suppose 0 = 2*f + c - 720, 3*f + 378 = 4*f - 4*c. Is f a multiple of 24?
False
Let u be ((-25)/(-5) - -161)/(-2). Let i = u + 106. Is 4 a factor of i?
False
Let d(v) = v**2 + 3*v + 6. Let t be d(-2). Suppose 5*p - 2*n - 630 = 0, 2*p - 115 = -t*n + 161. Is 8 a factor of p?
True
Let p = 7 - 17. Is 28 a factor of ((-44)/(-5))/((-1)/p)?
False
Let q = 286 + -260. Is q a multiple of 8?
False
Suppose 2*h - 4304 = -4*s + 9*s, -4*s = 4*h - 8552. Does 42 divide h?
True
Let h(v) = 5*v**2 + 13*v + 78. Does 27 divide h(-11)?
True
Let i(j) = j**3 + 13*j**2 - 25*j - 10. Is 12 a factor of i(-10)?
True
Suppose -3*m - 5*f + f = 1, -10 = -5*f. Suppose 12 = -13*n + n. Is 9 a factor of 16 - (n + m - -2)?
True
Let k = -169 + 255. Let o = -40 + k. Is 18 a factor of o?
False
Suppose -72 = -141*b + 137*b. Suppose 0 = -5*x + 357 + b. Does