-13*q(f) + 6*z(f). Does 13 divide a(-26)?
False
Let k(c) = 52*c + 227. Let y be k(10). Suppose a - 464 = y. Is 107 a factor of a?
False
Suppose -5*p - 7718 = -3*h - 1281, 10718 = 5*h + 2*p. Is 16 a factor of h?
True
Let u(d) = -d + 1. Let p be u(-1). Let j(i) = -5 + 6*i**2 - 3*i**3 - 5*i - 4*i**2 - i**p. Does 14 divide j(-3)?
False
Suppose -3*x - 4*p + 1 = -6, 11 = x - 3*p. Suppose x*b - 83 = 2*k, -4*b - k + 61 = -8. Is b even?
False
Suppose -3*f = -4*a + 26437, 2*a - 4*a = f - 13201. Is a a multiple of 14?
False
Let v be ((-6)/5)/(6/(-2540)) + -3. Suppose 7*n - v = 825. Does 10 divide n?
True
Suppose -83*n - 608 = -84*n - s, -3*s - 1806 = -3*n. Is 11 a factor of n?
True
Suppose -3*i - 2*z = 2*i + 1283, -z + 1271 = -5*i. Does 51 divide 60/5*i/(-4)?
True
Let b(x) = x**3 - 12*x**2 - 12*x - 8. Let y be b(13). Suppose -y*z = -3*q + 523, -3*z + 674 = 4*q - 5*z. Does 6 divide (-1 - -4)/6*q?
False
Is 40 a factor of (-448958)/(-16) + (21 - 835/40)?
False
Suppose 47288 = 3*l + 3*f - 14332, 5*l - 102613 = 24*f. Is l a multiple of 14?
False
Let i = 67 - -85. Does 2 divide (i/20)/(26/65)?
False
Let w = -121 + 100. Let m(u) = u**2 - 23. Does 38 divide m(w)?
True
Suppose -5*h + 20 - 5 = 0. Suppose 2*t + 5*i - 44 = 9*i, -5*t + 162 = h*i. Let n = 6 + t. Does 12 divide n?
True
Suppose 12 = -4*t - 4*q - 0*q, -2*t - 24 = -4*q. Let l(c) = 5*c + 14. Let z be l(t). Let d = 32 - z. Is d a multiple of 16?
True
Suppose -4*n - 31700 = 10*n - 170524. Is 24 a factor of n?
False
Let t(d) = -d**3 + 11*d**2 + 11*d + 15. Let g(i) = 9*i - 33. Let c be g(5). Let z be t(c). Suppose -3*k = 0, -3*y - z*k = y - 128. Is 8 a factor of y?
True
Let o(m) = m**2 - m - 6. Suppose 3*t = -l - 13, 0*t = -3*l + 4*t. Let b be o(l). Does 15 divide 46/161 - (-360)/b?
False
Suppose -10*v + 88*v = 227840 + 41884. Does 19 divide v?
True
Suppose -11*m + 172859 - 5139 = -m. Is m a multiple of 28?
True
Suppose 2*t + 4*i - 2 = 0, 0*t + 4*t - 2*i + 16 = 0. Is (-11)/((-55)/640) + (-6 - t) a multiple of 8?
False
Suppose f + f + 4*p - 45868 = 0, -91766 = -4*f - 2*p. Is 121 a factor of f?
False
Suppose 0 = 5*u + 12*u - 285532. Is u a multiple of 34?
True
Suppose -6*i + 154 = -4*i. Suppose -4*f - 5*y = -i, 2 = f + 5*y - 6. Suppose 4*z - h = 143, z + h + 3*h - f = 0. Does 7 divide z?
True
Let u(v) = -106*v - 802. Is 24 a factor of u(-13)?
True
Suppose 3*m + 2*v - 28 = 0, 2*v + 28 = m - 2*v. Suppose -10*w + 2 = -m*w. Let k = 31 + w. Is 11 a factor of k?
False
Let d(o) be the third derivative of 11*o**5/60 - 7*o**4/24 - o**3 + 53*o**2. Is d(5) a multiple of 13?
True
Let h = 17198 - -2147. Does 69 divide h?
False
Let r(o) = o**3 + 25*o**2 - 44*o + 52. Let j be r(-25). Suppose 12*u = 8*u + j. Does 24 divide u?
True
Suppose -150*x + 140*x = -30. Let n = 19 + -10. Is 2 a factor of n/x - (-1 - (-8)/(-4))?
True
Let m = 17845 - -2363. Does 48 divide m?
True
Is (-13 + 6 + -15 + -5 + 0)*-125 a multiple of 5?
True
Let w(a) = -7*a**2 - 9*a + 18. Let r(s) = -s**2 - s. Let t(c) = 4*r(c) - w(c). Suppose 0*y - 45 = 5*y + 5*l, 5*y + 3*l + 39 = 0. Is 10 a factor of t(y)?
True
Suppose -10*z = -4*z - 78. Suppose z = 2*h + 7. Does 10 divide (-36 - 1)*h/(-3)?
False
Let o(q) = 9*q**3 + q**2 + 13*q - 20. Let f be o(4). Suppose -f = -14*x + x. Does 3 divide x?
True
Let p(t) = 3*t - 12. Let v be p(4). Suppose v = 2*g - 80 + 64. Is 8 a factor of g?
True
Let m(f) = -138*f + 1096. Is m(-8) a multiple of 11?
True
Is 9 a factor of (16/(-12) + (-5355)/(-27))/((-1)/(-15))?
False
Suppose p = 3*u - 11, -5*u + 3 + 2 = p. Let f be -1*2/(3 - 1)*p. Suppose f*l + 4*q = 158, -l + 13 + 33 = -4*q. Is l a multiple of 3?
False
Let l(f) = f**2 - 14*f + 43. Let k be l(7). Let n(p) = 4*p**2 - 11*p - 21. Is n(k) a multiple of 21?
True
Let b(d) = -525*d + 5594. Does 22 divide b(6)?
False
Let p be (-34803)/(-15) - (-28)/(-140). Suppose 4*l = -2*m + p, 39*m - 35*m = l + 4685. Is m a multiple of 65?
True
Let g be (0 - -5) + 567 + -2. Suppose -4*x - 254 = h - 3*h, 5*h + 3*x = g. Does 19 divide h?
False
Suppose 3*v - 2*v - 1048 = 11*y, 0 = 3*v + 2*y - 3004. Does 3 divide v?
False
Suppose c = -5 - 0. Let a(d) = -5*d + 211. Let s be a(43). Is (-290)/(-8) + (1 - c/s) a multiple of 9?
True
Let b(t) = 4*t**3 + 106*t**2 + 45*t - 132. Is 7 a factor of b(-23)?
False
Let l = -99 + 1599. Let r = -980 + l. Is r a multiple of 13?
True
Let b(o) = -o**3 - 16*o**2 + 15*o. Let l be b(-17). Let u = 73 - l. Suppose -5 = -q + 2*q, -3*z - 3*q + u = 0. Does 3 divide z?
True
Let q = 49 + -39. Suppose 5*m + 30 = q*m. Suppose -m*p + 539 = 53. Is 5 a factor of p?
False
Let x(m) = -m**2 + 25*m - 52. Let t be x(22). Let v = t + -158. Let z = -16 - v. Does 8 divide z?
True
Suppose 4*d = g + 7804 - 1413, 2*g = -2*d + 3198. Does 17 divide d?
True
Let d = -2879 + 4161. Suppose -8 - 2 = 5*j, -j = -4*x + d. Does 11 divide x?
False
Let b(l) = l**3 + 72*l**2 + 160*l + 426. Is b(-66) a multiple of 18?
True
Let v = 10363 + -6409. Is 26 a factor of v?
False
Let q = 6764 - -10847. Is q a multiple of 57?
False
Let j be (1 + -1)/(1 - 2). Suppose j = -p - 4*f + 180, -2*p + 3*f = 6*f - 370. Does 13 divide p?
False
Let z be 1 - -3 - (332 + -8)/9. Let r = z + 169. Does 4 divide r?
False
Let h be 5/(-5)*36/((-9)/(-3)). Is 2 a factor of 3*(-9)/((-81)/h) + 9?
False
Suppose 3 = 35*h - 67. Suppose -3*o + 3764 = 3*w - 7*o, -h*o = 2*w - 2528. Does 36 divide w?
True
Let s be 72814/(-196)*1/((-1)/6). Suppose -s = -24*b + 12267. Is 19 a factor of b?
False
Let s(d) = 9*d**2 - 62*d - 55. Does 154 divide s(-9)?
True
Is -13 + 8/(-184)*-486176 - (-4)/(-46) a multiple of 25?
True
Does 20 divide (-16)/6*(39 - (35 - -9502))?
False
Suppose -9*c - 97236 = -54*c + 9*c. Is c a multiple of 50?
False
Let y(t) = 121*t**2 - t - 2. Let m(d) = -2*d**3 - 54 + 0*d + 20*d**2 + 63 - d. Let p be m(10). Is 24 a factor of y(p)?
True
Let g = -23 - -29. Suppose 30 = 8*f + g. Suppose 32 = f*r - 40. Is r a multiple of 8?
True
Let q(f) be the first derivative of 47*f**5/20 + f**4/6 + f**3/6 - 3*f**2 - 4. Let r(s) be the second derivative of q(s). Does 6 divide r(-1)?
True
Let d(y) = -y**2 + 21*y - 50. Let f be d(18). Suppose f*h = -369 + 437. Is h a multiple of 8?
False
Suppose 5*l - 4*l = 4. Is 6 a factor of (1 - -136)/(44/(-12) + l)?
False
Let h(d) = 10*d**2 - 7*d + 210. Is h(-17) a multiple of 89?
False
Let j(t) = t - 43*t**2 + 0*t + 21 - 8*t + 71*t**2. Is j(3) a multiple of 9?
True
Suppose -42 - 141 = -3*r. Let i(p) = -70*p**2 + 2 + 35*p**3 - r*p**2 + 129*p**2. Does 45 divide i(2)?
False
Is 5 a factor of 90/135 + (3 - (0 + (-488)/6))?
True
Let w be (-472)/(20/(-5)) - 5. Suppose l - v - 2*v - 61 = 0, 2*l - 3*v = w. Is 28 a factor of l?
False
Suppose 4*b - 6754 = -2*i, 5334 = 3*i - 5*b - 4852. Is 2 a factor of i?
False
Let q(s) = s**2 + 2*s + 7. Let n(o) = -2*o - 20. Let p be n(-10). Let a = p - 7. Is 9 a factor of q(a)?
False
Suppose -2*g + 3 = -u, -1 - 12 = 3*u - 4*g. Let i(z) = z**2 + 5*z + 19. Is i(u) a multiple of 3?
True
Suppose -1184*v = -1157*v - 174771. Is v a multiple of 17?
False
Let h(s) be the first derivative of -s**4/4 - 4*s**3 + 11*s**2/2 - 10*s + 2. Suppose 2*a + 92 = 66. Is 4 a factor of h(a)?
True
Let f be 11237/3 - 230/138. Suppose 0 = -24*j + f. Does 52 divide j?
True
Let a = 68 + -76. Does 22 divide a/((-8)/4) - -18?
True
Let h be 1 + (-1 + 0)*-126. Suppose 5*m + s = h, -m + 4*s + 21 = 2*s. Suppose -5*k + 4*n = -191, 3*k + 2*n - 122 + m = 0. Is k a multiple of 12?
False
Suppose 0*r + 620822 - 122294 = 24*r. Is 32 a factor of r?
False
Let x = -7145 + 3251. Let n = -2508 - x. Does 33 divide n?
True
Let l(m) = 9*m**2 + 32*m + 124. Let h be l(16). Suppose -47*t = -40*t - h. Is t a multiple of 10?
True
Let v(d) = -8*d - 27*d + 10*d. Let g be ((-8)/(40/45))/(1/1). Is v(g) a multiple of 25?
True
Let i be 18/4*54/(-81). Does 61 divide (i - -555) + (-4 - (-4 + 3))?
True
Let w = -13579 + 23335. Does 5 divide w?
False
Let k(q) = -q**2 - 233*q + 500. Is 14 a factor of k(-115)?
True
Suppose f = -5*l + 37741, -9*l - 7546 = -10*l + 2*f. Is l a multiple of 34?
True
Suppose 2*g - 27*h - 53630 = -28*h, 5*g + 3*h - 134078 = 0. Does 10 divide g?
False
Let s = 96 - 54. Let h = -63 + s. Is 2/(-6) + (-1645)/h a multiple of 19?
False
Let n(f) = -201*f + 1. Let v be n(-1). Suppose -6*y - 298 = -316. Suppose -4*u - 3*c - 2 = -v, -y*u + c = -15