0. Suppose 0 = -z*l - r*l + 682. Does 11 divide l?
False
Suppose 22*l + 4 = 23*l, -2*l + 25823 = 3*m. Is 5 a factor of m?
True
Let l = 148 - 154. Let o be (-324)/(-24)*(-92)/l. Suppose 0 = -15*a - o + 1482. Is a a multiple of 17?
True
Let y = 245 + -249. Does 32 divide (-121680)/(-200) - y/(-10)?
True
Suppose 3*z + 3*g - 3342 = 0, -23*z = -20*z - 5*g - 3334. Suppose a - z = -107. Does 101 divide a?
False
Suppose 2*a = 5*j - 36648, 2*j + 13*a - 12*a = 14652. Is j a multiple of 70?
False
Let r = 3459 - -1665. Is r a multiple of 28?
True
Let z = -47 - -34. Let q = z + 18. Suppose 0*w - 4*w = -a - 249, -5*w + 330 = q*a. Does 8 divide w?
False
Suppose 3*h + 35 = 62. Let y(o) = 23*o + 31. Is y(h) a multiple of 34?
True
Suppose -20 = 4*y, -3*y - 42368 = -5*f + 10492. Is 24 a factor of f?
False
Let a = 158 + -156. Suppose -j + 4*v + 45 = 0, -4*j + a*j = 4*v - 30. Is j even?
False
Let i = 6539 - -2533. Is i a multiple of 56?
True
Suppose -h = -2*d - 0*h + 12, -24 = -3*d + 3*h. Let f(i) = 12*i + 2 + i**3 + 13*i**2 + 5 - 24*i**2 - d. Is 11 a factor of f(10)?
False
Let d(r) = -26*r**3 - 3*r**2 + 3*r - 3. Let a be d(2). Let m = -202 - a. Is m a multiple of 5?
True
Let b = 5142 - 2554. Suppose 3*h = -2*j + b, 4*h + 3*j = 7*h - 2598. Is h a multiple of 48?
True
Let f(y) = -3*y - 5 + 4*y + 6. Let k be f(-9). Does 27 divide 2264/14 + k/(-28)?
True
Let m(j) = 10*j**2 + 5*j - 89. Is m(14) a multiple of 66?
False
Let r be (-6 - -4) + 3 - -1. Let j(i) = 9*i**2 - 5*i + 7. Let c be j(r). Does 22 divide (-4 + 10)*c/2?
False
Suppose -10*h + 6 = 226. Let o(c) = -16*c - 16. Does 8 divide o(h)?
True
Is 28 + -15 + 2892/2 a multiple of 47?
False
Suppose -5*l + 5*m + 11765 = 0, -40*l + 11747 = -35*l + m. Does 47 divide l?
True
Let m = 13214 + -11964. Is 24 a factor of m?
False
Does 44 divide (270/24)/(-15)*(-1 + -7145 + -2)?
False
Does 3 divide (6/5)/(60/2900)?
False
Let t(n) = 10*n**2 - 3*n - 1. Let u be t(-1). Suppose -u*d + 7040 = 4*d. Does 20 divide d?
True
Let c(m) = 82*m - 7000. Is c(129) a multiple of 3?
False
Is 90/(-3 - 2)*(-939)/6 a multiple of 9?
True
Let l be 5 + 24/3 + -4. Let c(x) = -x**2 + 7*x + 24. Let o be c(l). Suppose 5*p - o*p = -14. Is p a multiple of 4?
False
Let w be (-1)/(-2) + (-20)/16*6. Let n = 12 + w. Suppose 5 = o, -o = n*p - 965 - 490. Is 29 a factor of p?
True
Let a be (-2)/((-16)/(-60))*6/(-9). Suppose c + 1 = -3*o - a, -4*o = 0. Is 9 a factor of 0 + c/(-21) + 558/7?
False
Let v(o) = o**3 - o**2 - 17*o - 7. Let g(j) = -2*j**2 - 12*j - 3. Let r be g(-5). Is 6 a factor of v(r)?
True
Suppose -4*l + 4857 = d, 0 = -4*d + 5*l + 4804 + 14519. Does 118 divide d?
False
Let b be (-1)/(-7) + (-8289)/(-189). Let q(f) = -f**2 + 50*f - 212. Does 7 divide q(b)?
False
Let q(n) be the first derivative of n**4/4 - 7*n**3 - 21*n**2/2 + 29*n - 15. Suppose 100 - 34 = 3*s. Is q(s) a multiple of 5?
False
Let g = -17 - -30. Let f be 129/4 + (-254)/1016. Suppose f - g = h. Is 19 a factor of h?
True
Let i(d) = -9*d + 155. Let z be i(17). Suppose -16 = -j - 2*g + 11, 87 = 5*j - z*g. Is j a multiple of 2?
False
Suppose -8*q = -5*q. Suppose 3*p - 5*k = -p + 900, q = 4*k. Suppose 6*s - p = s. Is 15 a factor of s?
True
Suppose 4*k + 5*y + 205 = 3707, -2628 = -3*k - 3*y. Suppose 2*q - k - 338 = 0. Is q a multiple of 16?
True
Let p(l) = -12*l - 43. Let w = 44 + -38. Let n be 56/(-6)*1 - (-2)/w. Is p(n) a multiple of 22?
False
Suppose -k - 5 = 0, -4*k - 3 = 4*c + 13. Suppose 104*h - 95*h - 63 = 0. Let z = c + h. Does 8 divide z?
True
Suppose 3*w - 13 + 1 = 0, 5*n = -5*w + 45. Suppose -52 = -n*i + 43. Suppose -i*y = -23*y + 132. Is y a multiple of 7?
False
Let q(c) = -c**3 + 11*c**2 - 12*c - 7. Let f be q(10). Let i = 29 + f. Suppose i*u = 4*u - 16. Is 3 a factor of u?
False
Suppose -5*a + 49582 = -w + 6456, 0 = 3*a + 3*w - 25854. Is 44 a factor of a?
True
Suppose -u - 33 = -3*o + 248, 5*o - 4*u - 480 = 0. Suppose -1 = -m, 3*h + 261 = -4*m + 136. Let t = h + o. Does 7 divide t?
True
Let s(i) = 24*i - 43. Let q(b) be the third derivative of b**4/4 - 11*b**3/6 - 6*b**2. Let w(g) = 9*q(g) - 2*s(g). Is w(8) a multiple of 11?
False
Is 3 a factor of 511 + -7 + 4 + (5 - 5)?
False
Does 33 divide 4 - (((-4)/(-5))/(-1) - 170172/435)?
True
Let z(p) = 7*p**3 - 12*p**2 - 34*p + 33. Let b(w) = -50 - w - 10*w**3 + 18*w**2 - 3*w**3 + 52*w + 3*w**3. Let q(r) = -5*b(r) - 7*z(r). Is q(8) a multiple of 11?
True
Suppose -a = -5*a - 2*f + 8, -a + 3*f = -9. Let p(y) = 37*y**3 - 9*y + 18. Is p(a) a multiple of 33?
True
Let p(i) be the second derivative of -i**4/6 + 13*i**3/6 - 7*i**2/2 - 12*i. Let d be p(9). Is (-13)/d - 38/(-8) a multiple of 4?
False
Suppose 5*q - 17*q - 24 = 0. Is 17 a factor of -1*2301/65*30/q?
False
Is ((-38124)/(-20) + 3)/((-513)/90 - -6) a multiple of 172?
True
Let d(s) = -40*s**3 - 39*s**2 - 29*s. Let p be d(-11). Suppose -8*k + 32*k - p = 0. Is 23 a factor of k?
False
Suppose -17*n = -10*n. Does 6 divide (n - (-6 - 272)) + (1 - 3)?
True
Suppose -3101 + 9396 = 2*s - j, 0 = 2*j - 10. Is 70 a factor of s?
True
Is 67 a factor of (6803/(-4))/((-32)/(-4864)*-19)?
False
Let q(o) = 2*o**2 + o - 2. Let x be q(-4). Suppose -x = -d - 21. Is 2 a factor of (d - 1)*(-6)/(-4)?
True
Is (2 + (-170)/30)/((-4)/4476) a multiple of 15?
False
Let h = -34 - -14. Is 6*h/16*-20 a multiple of 4?
False
Suppose -40*i + 12*i + 336 = 0. Does 4 divide i/(-1*(-15)/10)?
True
Suppose 2*r + 362 = 3*x, -x + 54 + 69 = -3*r. Suppose 0 = -c + x + 192. Is 8 a factor of c?
True
Suppose 0*t - 17*t + 63342 = 10*t. Does 23 divide t?
True
Let f(m) be the first derivative of -m**4/4 - 2*m**3/3 + 3*m**2/2 - 10*m + 42. Is 14 a factor of f(-7)?
False
Let s be (-207)/2 - ((-15)/(-10) - 3). Let j = s + 60. Let r = -37 - j. Is r even?
False
Suppose -5*y - 39*z + 29319 = -41*z, 0 = 5*z - 15. Does 103 divide y?
False
Let a(h) = 2*h**3 + 17*h**2 + 3*h. Is 21 a factor of a(-7)?
True
Let p(v) = v. Let b(g) = -5*g + 83. Let q(x) = -b(x) + 4*p(x). Is 34 a factor of q(28)?
False
Let m(p) = 1622*p**3 + 6*p**2 - 8*p + 2. Let z be m(2). Suppose z = 20*f - 11974. Is 16 a factor of f?
True
Let n = 46 + -28. Suppose 0 = 2*k - 2*h - n, -5*h + 9 = -6. Suppose -18 = -2*m - 2*a, 4*m - a - 49 = k. Is m a multiple of 4?
False
Let l = 593 - 589. Does 5 divide 465 - l/8*10?
True
Let g(b) = -21*b**3 - 51*b**2 - 7*b - 20. Does 110 divide g(-10)?
True
Suppose 4*v + 1313 + 623 = 2*h, 3*v = 2*h - 1937. Let l = 1517 - h. Does 44 divide l?
False
Suppose -2*d - 4*j + 6218 + 3228 = 0, 0 = d - 3*j - 4698. Is 49 a factor of d?
False
Suppose -3*a = -7*n + 153264, 27936 + 37760 = 3*n + a. Is n a multiple of 9?
True
Suppose -3*o + 1771 = -3968. Suppose 11*k + 329 - o = 0. Does 16 divide k?
True
Let q be -8*1/(-52)*26. Suppose 4*g + 4030 = 5*m + 6*g, -q*g + 4040 = 5*m. Does 5 divide m?
False
Let v be 276/((-27)/4 - -6). Let s = -64 - v. Is 38 a factor of s?
True
Let i(q) = -9*q**3 + 2*q**2 - 3*q - 6. Let d be i(-1). Suppose -d*c - 3573 = -12829. Is c a multiple of 12?
False
Suppose -363118 - 314658 = -197*a - 45012. Does 3 divide a?
False
Let h(t) = -t - 1 + 8*t**2 + 5*t**2 - t**2 - 11*t**2. Let p be h(1). Let y = 27 - p. Is 2 a factor of y?
True
Suppose -3*g = 12, 6*o - 196 = 2*o + g. Suppose 0 = 2*m + 3*q - 30, 3*m - 4*q = -7*q + o. Suppose 2*a - m = 10. Does 7 divide a?
True
Let v(a) = -a - 18. Let c be v(-18). Suppose -p + 4 = c, -11*l + 15*l - 2*p - 808 = 0. Is l a multiple of 15?
False
Suppose 8 = -9*h + 71. Let w be (h/5)/(3/195). Let j = w - 61. Does 10 divide j?
True
Suppose 2*i + 5*p + 115 = -35, 3*i + 251 = -p. Suppose -w - 31 - 19 = 0. Let h = w - i. Is h a multiple of 29?
False
Suppose -3*m + 327 = 4*b, 0*b + m = 2*b - 171. Suppose p - 26 = b. Does 11 divide p?
True
Let i = -1467 - -2238. Is 80 a factor of (-15 - -11)*(-2)/(12/i)?
False
Suppose 5*f + 15 = 0, 249 = -7*g + 10*g + 3*f. Let p = -20 + g. Is 6 a factor of p?
True
Suppose -176*w + 152114 + 321404 + 593746 = 0. Does 12 divide w?
False
Suppose 0 = -2*j + 2*b - 1144, -5*j + 6*b - 2895 = 8*b. Let u = -332 - j. Does 18 divide u?
False
Let p(t) = -14*t**3 - 3*t + 7*t**3 - 10*t - 7*t**2. Is p(-5) a multiple of 17?
True
Let c be -2 + (10/45)/((-4)/(-36)). Suppose -16*v + 41*v - 16100 = c. Is v a multiple of 23?
True
Let k(b) = 3*b**2 - 10*b - 92. Let r be k(20). Let a = r - 632. Does 46 divide