 55. Does 11 divide a?
True
Suppose 0 = -5*u - 4*l + 74, -2*u = 3*u - 5*l - 65. Is u a multiple of 7?
True
Let y(r) = -3*r**3 - 3*r**2 - r - 2. Let z(q) = -q**3 + 1. Let x(l) = y(l) - 2*z(l). Does 16 divide x(-4)?
True
Suppose -4*y + 164 = -2*k + 6*k, -20 = -4*y. Is 15 a factor of k?
False
Suppose 3*l + g - 2 = 1, 4*l = 3*g + 17. Suppose l*h - 12 = 4*j, 3*h + 2*h + 2 = 2*j. Let s(q) = 2*q**2 - 2. Is s(j) a multiple of 10?
True
Suppose z + 9 = 14. Suppose -p + 27 + 24 = -3*g, -5*g - 245 = -z*p. Is 14 a factor of p?
False
Let u(t) = -t - 3 + 5 + 0*t. Let o be u(5). Is 3/(-2)*10/o a multiple of 5?
True
Suppose 260 + 3185 = 13*v. Does 53 divide v?
True
Let b(i) be the first derivative of 2*i**3/3 + 3*i**2/2 + 5*i + 11. Let r(x) = -5*x**3 + 2*x - 1. Let t be r(1). Does 14 divide b(t)?
False
Suppose 5*h = 44 + 1. Let q = -7 + h. Suppose -4*j - z - 25 = -91, -q*z - 21 = -j. Is j a multiple of 17?
True
Does 19 divide ((-72)/14)/((-16)/168)?
False
Let t = -89 + 317. Is t a multiple of 25?
False
Is (-169)/(-6) - (-6)/(-36) a multiple of 14?
True
Does 24 divide 6/(-15) - 726/(-15)?
True
Suppose 3 = 3*q - 6. Suppose 16 = 4*u, 0*d + 4*d + 4 = q*u. Does 2 divide 20/11 - d/(-11)?
True
Let y be -7 + 2/3*3. Let r(k) = -3*k - 7. Let d be r(y). Does 14 divide (-4)/(-6)*444/d?
False
Suppose -4*d + 10*m - 6*m + 1348 = 0, -1682 = -5*d + 2*m. Does 42 divide d?
True
Does 26 divide ((-29)/3 - -1)*1944/(-48)?
False
Suppose 4*d - 4*t = 0, -4*d + 0*t - t = -15. Suppose -d*r + 289 = 2*r + 2*u, -3*r = 4*u - 179. Is r a multiple of 19?
True
Suppose 5 = 3*i - 4. Suppose 0 = i*a - 85 + 7. Is a a multiple of 13?
True
Suppose -4*a + 8*r + 373 = 5*r, a + r = 95. Is a a multiple of 9?
False
Suppose -337 = -3*f + 5*q, 5*f + 3*q + 535 = 10*f. Is 13 a factor of f?
True
Suppose -2*z = -9 + 1. Suppose 23 + 8 = u + 4*q, 112 = z*u + 4*q. Does 9 divide u?
True
Is 1656/(-12)*2/(-6) a multiple of 23?
True
Let x = 587 + -277. Is 62 a factor of x?
True
Let h(s) = -9*s + 2. Let d be h(-5). Let f = d - 29. Does 17 divide f?
False
Let t(w) = 47*w + 4. Is t(2) a multiple of 20?
False
Let x = 10 - 7. Suppose 0 = -x*m + 12. Suppose -u - m*u = -60. Does 6 divide u?
True
Let k = 8 - -46. Is k a multiple of 24?
False
Let k be 6/9*1*-3. Let l = k + 4. Suppose 7*g = l*g + 25. Is g a multiple of 5?
True
Let k = 18 + -43. Let r = 40 + k. Does 7 divide r?
False
Let h(l) = -13*l + 6. Let n be h(-3). Suppose -5*t + n = -v - 15, 28 = 3*t + v. Does 6 divide t?
False
Suppose 2*v - 654 = 4*k, -v = -9*k + 4*k - 330. Is v a multiple of 46?
False
Suppose -2*f - 3*a + 197 - 12 = 0, a = 2*f - 205. Is 9 a factor of f?
False
Suppose 292 = 5*h + 3*x, -h + 6 = -x - 54. Is h a multiple of 20?
False
Let t(n) = 44*n**2 + 2*n + 1. Is 8 a factor of t(-1)?
False
Let w = 209 + -123. Let g = w - 48. Does 19 divide g?
True
Let v be (6/(-10))/((-2)/10). Suppose 10 = -v*x + 88. Is x a multiple of 26?
True
Suppose -2*x + 0*l - l = -3, 0 = 2*x - 3*l - 15. Let c = -3 - -4. Does 2 divide c - (2 - x - 0)?
True
Let y(p) be the third derivative of p**4/6 - 4*p**3/3 + p**2. Is y(11) a multiple of 12?
True
Let s(i) = 2*i**3 - 5 + 2 - 16*i - i**3 - 9*i**2. Does 21 divide s(11)?
True
Let g be 200/3 - 3/(-9). Let h = -47 + g. Does 13 divide h?
False
Let n(r) = -r**3 - r**2 + r + 2. Let x be n(0). Suppose -5*a + 17 = -13. Let f = a + x. Is f a multiple of 8?
True
Let w = 2 - 7. Let p = w + 5. Suppose -18 = -2*h - p. Is 9 a factor of h?
True
Let s = 22 + -31. Is 6/2*(-24)/s a multiple of 5?
False
Suppose -4*m + 2*u - 3*u = -161, 0 = -m + 2*u + 38. Does 8 divide m?
True
Let x(y) = y**3 + 9*y**2 - 13*y - 6. Is x(-8) a multiple of 9?
True
Suppose -84*y + 83*y + 91 = 0. Is y a multiple of 13?
True
Let m be -2*(-1)/((-8)/(-20)). Let c be (-430)/(-9) - (-2)/9. Suppose m*w - w = c. Does 12 divide w?
True
Suppose 2*u - l - 51 = 0, -3*l + l - 130 = -5*u. Does 15 divide u?
False
Suppose -54 = x - 4*x. Does 4 divide x?
False
Suppose -3*u - 2*y + 3*y - 110 = 0, -2*u - 85 = -3*y. Let h = 23 - u. Suppose 5*c - h = -2*x, -4*c + 4*x - 14 = -66. Does 6 divide c?
True
Suppose -2*z + 6 = 4*z. Let l(f) = 3*f**2 + f + 4. Let m(x) = -x**3 - x**2 - x - 1. Let y(k) = -l(k) - 3*m(k). Is y(z) a multiple of 2?
True
Suppose -5*h - 8 - 7 = 0. Let x = 5 + h. Suppose x*m + 13 = 5*w - 0*m, 1 = w - 2*m. Is w a multiple of 2?
False
Let o(s) = s - 6. Is o(8) even?
True
Is 1 - 12/15 - 747/(-15) a multiple of 19?
False
Suppose -5*c + 3 = -5*i + 4*i, -4*c = 5*i + 15. Suppose -5*x - 1 = -2*o + 14, c = 3*o - 3*x - 9. Does 13 divide (-1 - 0 - o) + 29?
False
Suppose -5*l = -4*m + 11 + 1, 20 = -2*m - 4*l. Does 8 divide m/((-30)/(-16) - 2)?
True
Let n = -7 - -18. Suppose -k - n = -2*c - 3*c, -14 = 2*c - 5*k. Suppose 30 = 3*m + c. Does 7 divide m?
False
Let k = -7 + 7. Is 9 a factor of 11 + 29 + (k - 1)?
False
Suppose 0 = 8*g - 14*g + 456. Does 38 divide g?
True
Let r(b) = b**2 + 8*b + 12. Let d = 23 - 33. Is 16 a factor of r(d)?
True
Let n be ((-2)/(-2))/(3/1146). Suppose 5*j + 12 = n. Is j a multiple of 20?
False
Suppose x - 150 = -a, x - 3*a - 132 - 14 = 0. Is x a multiple of 18?
False
Let p(t) = t**3 - 6*t**2 + t + 22. Is 12 a factor of p(9)?
False
Suppose -5*f - 42 = 328. Let p = -53 - f. Is p a multiple of 7?
True
Suppose -g + 14 = -69. Is 22 a factor of g?
False
Suppose 3*j + 60 = -9*h + 5*h, 3*h + 3*j + 48 = 0. Let p = h - -8. Let r = -2 - p. Does 2 divide r?
True
Let f = -4 - -10. Suppose 15 = -5*m + f*m. Is 5 a factor of m?
True
Let y(l) = l**3 + 3*l**2 + 1. Let m be y(3). Let w be (-9150)/(-110) + 4/(-22). Let h = w - m. Does 14 divide h?
True
Suppose -5*f = -v - 5, f + v = -4*v - 25. Suppose -3*b - 2*b = 5*j - 55, f = -5*b - 3*j + 61. Is 7 a factor of b?
True
Suppose 5 = 5*o, 4*d + 0*d - 17 = -5*o. Let s be d + 2*(-3)/(-6). Does 10 divide s/(-12) + 122/6?
True
Does 14 divide (3 - -173)/4 - 2?
True
Let v be 1/(-1) + (-342)/6. Is 3 + 3/((-6)/v) a multiple of 8?
True
Suppose -4*v - 7 = 3*v. Is 2 a factor of ((-32)/24)/(v/3)?
True
Suppose 5*m - 365 = h, 0 = -2*m - 3*m - 5*h + 335. Does 18 divide m?
True
Let v = 0 - 3. Let z = 8 - v. Is z a multiple of 8?
False
Let y be (-23)/(0 + 3/(-3)). Does 4 divide y + (0 - 3) - 1?
False
Suppose -5*k + 753 = -s, 2*k + 3*s = -s + 288. Does 15 divide k?
True
Suppose 3*o = -2*s + s - 47, 0 = 4*s + 5*o + 153. Let k = s - -73. Is k a multiple of 9?
False
Let s(v) = -8*v - 11. Let q(w) = w + 1. Let b be ((-7)/4)/(1/(-8)). Let y(p) = b*q(p) + 2*s(p). Is y(-6) a multiple of 2?
True
Let y(o) = -8*o + 17. Does 41 divide y(-13)?
False
Suppose -2*f + 3*f = 9. Let l be ((-24)/f)/((-6)/9). Suppose -l*p + 4*w + 139 = 31, 5*w = -15. Is 12 a factor of p?
True
Suppose 8*n - 2*m = 3*n + 36, 5*m = n - 21. Let d = 48 - 45. Suppose -n = -d*q + 5*q, -k - 2*q + 12 = 0. Is k a multiple of 9?
True
Suppose -f - 2*f = -96. Let c = f + -18. Does 7 divide c?
True
Let p(y) = -4*y**3 + 4*y**2 - 1. Does 8 divide p(-2)?
False
Suppose -4*o = 3*w - 7*w + 44, 4*w - 2*o - 38 = 0. Let n = w - 5. Suppose 0 = n*k - 52 - 26. Does 13 divide k?
True
Suppose -4*v - 5*p = -485, -2*v - 6*p = -3*p - 241. Suppose -2*j = 3*j - v. Let i = j + -10. Is 5 a factor of i?
True
Suppose 0 = -2*w - 1 + 9. Let z(i) = 3*i**2 + 3*i - 6. Does 18 divide z(w)?
True
Let a(t) = t**3 - 2*t**2 + 2*t - 2. Suppose 4*k - 4 = 4*r + 8, k = 5*r - 5. Let w be a(r). Suppose -3*x + 9 = -w*x. Is x a multiple of 9?
True
Let q = -55 + 77. Suppose 2*h - 48 = 3*l, -h + l = -l - q. Suppose 4*g + h = 102. Does 9 divide g?
True
Suppose -5*n + 5 = 15. Let p(o) = -15*o - 2. Is p(n) a multiple of 14?
True
Suppose 2*h + 2*b = -0*h + 576, -2*h + 573 = b. Is h a multiple of 51?
False
Suppose 0 = -2*r + 5*k + 43, 5*k + 30 = 4*r - 31. Is 6 a factor of r?
False
Suppose 0 = -4*b + g + 14, -g - 10 = 4*g. Suppose 3*n - 15 = -3*k + 6*n, b*n = -2*k + 30. Suppose 0 = 3*p - 33 + k. Does 8 divide p?
True
Suppose 0*o - 123 = -5*z + 3*o, -2*z = 5*o - 74. Is 9 a factor of z?
True
Suppose -2*c + 13 + 51 = 0. Is c a multiple of 16?
True
Suppose -k = -3*c - 21, 4*c = -3*k - c - 7. Does 16 divide (k/4)/(4/104)?
False
Let c be (-11)/(-2)*(6 - 4). Suppose -4*s = -61 - c. Is s a multiple of 9?
True
Is (6 - 14)*(-18)/1 a multiple of 12?
True
Suppose 0 = -11*t + 5*t + 822. Is 19 a factor of t?
False
Is 18 a factor of (-5)/((-3)/12*1)?
False
Let g(h) =