99) + (2 - (-180)/22). Does 11 divide s(c)?
False
Suppose 16*p - p - 28*p = -58331. Is p a multiple of 30?
False
Let h(m) = 3*m**2 + 51*m - 24. Let x be h(-21). Suppose x = 12*s - 276. Let u = 67 - s. Is 5 a factor of u?
True
Suppose 0 = 2*x + g - 13, -3*x - 4*g + 16 = -x. Suppose -3*h - 7*y + x*y + 104 = 0, -h + 5*y + 56 = 0. Is 36 a factor of h?
True
Let g = -386 + 276. Suppose b - u + 129 = 0, 24*b + 4*u = 19*b - 618. Let r = g - b. Does 8 divide r?
True
Let v(b) = 8*b**3 - 8*b**2 + 10*b - 28. Let c be v(7). Suppose -c = -30*z - 294. Is z a multiple of 14?
True
Let t(l) = -93*l + 7831. Does 11 divide t(-130)?
True
Let s(o) = 25*o**3 - 14*o**2 + 4*o + 4. Is s(4) a multiple of 4?
True
Let p(z) = 19*z**3 - 4*z**2 - 35*z + 217. Does 32 divide p(5)?
False
Suppose 156*q - 130*q + 4499 = 65157. Is 22 a factor of q?
False
Suppose 552*r - 24924 = 550*r + s, -3*s = -3*r + 37386. Is 31 a factor of r?
True
Let g(s) = -3*s**3 + 3*s**2 + 3*s. Let y be g(-5). Suppose -13*r + 76 = 25*r. Suppose r*n - 5*b = -2*b + 292, 3*n - y = 3*b. Is n a multiple of 33?
False
Let a(z) = 12*z + 1. Let q(d) = 47*d + 19. Let s(f) = -4*a(f) + q(f). Suppose -2*r - 2*o + 2 = -4*o, -r + 5*o - 19 = 0. Is 5 a factor of s(r)?
False
Is 3 a factor of ((-4)/6)/2 - (-12 + (-69740)/15)?
False
Suppose 5*s + 171 - 9737 = 14999. Is 17 a factor of s?
True
Suppose -14*g - 5489 = -20511. Is g a multiple of 13?
False
Does 9 divide (23 - -4)/((-51)/(-1581))?
True
Let c(t) = -t**3 + 47*t**2 - 83*t - 542. Is 4 a factor of c(44)?
False
Suppose 7*n - 1700 + 615 = 0. Let r = n - 57. Suppose 2*k = 4*y - r, y - 2*y - 2*k = -22. Is y a multiple of 6?
True
Suppose -3*h - 2*h + 70 = 0. Let v = h - 13. Is ((-5)/(-10))/((v/(-276))/(-1)) a multiple of 23?
True
Let x(s) = 6*s - 47. Let q be x(9). Suppose -640 = -q*i + 564. Does 13 divide i?
False
Let t(r) = 188*r**2 - 55*r - 7. Is t(2) a multiple of 28?
False
Suppose -2*w - 63 = 73. Let t be -27*(w/(-12) + -3). Let d = 95 + t. Does 16 divide d?
False
Suppose -168 = -5*h - h. Suppose -h*r + 22 = -26*r. Suppose 4*p = 5*f + 433, r*p - 6*p - 532 = -3*f. Does 16 divide p?
False
Let t be 90/(-3)*(-34)/85. Suppose 0 = 43*q - t*q - 19995. Is 43 a factor of q?
True
Suppose 0 = -3*a - 5*k - 20, 17*k - 2 = 16*k. Does 11 divide 2 + 3216/10 - a/25?
False
Let v = 8471 + -5825. Is 14 a factor of v?
True
Suppose -2*p + 0 = 5*h + 86, -3*h = -5*p + 64. Let v be (-4)/(-3)*(h + 21). Suppose k - 183 = -v*a + 6*k, 5*a + 5*k = 240. Is 6 a factor of a?
False
Let u be (-21)/56 + (-11206)/(-16). Suppose -5*t = -q + 169, -7*t = 5*q - 3*t - u. Is q a multiple of 16?
True
Suppose 7*n = -2*n. Suppose 3*o + o - 968 = n. Let w = o + -64. Is 40 a factor of w?
False
Suppose 6*u + 45 = u. Let m(h) = -6 - 1027*h - 4 + 9*h**2 + 507*h + h**3 + 517*h. Is m(u) a multiple of 4?
False
Let g(v) = 3*v - 37. Let h = -822 + 844. Is g(h) a multiple of 12?
False
Let m(l) = -427*l**3 + 10*l**2 + 46*l - 2. Does 34 divide m(-4)?
True
Let v = 314 - 319. Let x(p) = -19*p - 30. Does 5 divide x(v)?
True
Is (2 - (-509)/(-4))/((10971/(-13144))/69) a multiple of 216?
False
Let r(t) = 1397*t - 2349. Is r(13) a multiple of 67?
True
Let n = -16858 + 22318. Is 15 a factor of n?
True
Let l = 90530 - 53056. Is 10 a factor of l?
False
Let w = 156 - 158. Does 13 divide w/16 + -10 + (-5593)/(-8)?
True
Suppose -2097*t + 2136*t = 509418. Is 42 a factor of t?
True
Let x(h) = h**2 - 11*h + 3. Suppose -4*a - 16 = -36. Let f(r) = -3*r**2 + 21*r - 5. Let i(t) = a*x(t) + 2*f(t). Is i(-5) a multiple of 9?
True
Is 124 a factor of (-241225)/(-7) - -5*1/(-7)?
False
Let u = 391 + -128. Let c = -132 + u. Is 27 a factor of c?
False
Let h(w) = 1473*w + 3897. Is h(0) a multiple of 3?
True
Let b(r) = -r**3 + 3*r**2 + 3*r + 1426. Is 14 a factor of b(0)?
False
Let g = -366 + 656. Suppose 0 = 5*o - 6*w + 2*w - 727, -2*w = -2*o + g. Suppose -2*r = -369 + o. Is r a multiple of 37?
True
Let n = 52 - 80. Let j = -26 - n. Suppose -j*w + o + 80 = 4*o, -w - 2*o + 42 = 0. Is w a multiple of 17?
True
Let p(n) = -n + 3. Let g be p(1). Let i(a) = 73*a + 22. Is i(g) a multiple of 24?
True
Suppose -2*b = -7*b + 10. Suppose -b*t + 4*w = -8, 0*w + 2 = -5*t - w. Suppose 4*h = k + 2*h - 17, -5*k - 5*h + 160 = t. Is 3 a factor of k?
True
Suppose 9 = 46*j - 49*j, -v + 3*j - 864 = 0. Let p = -313 - v. Does 35 divide p?
True
Does 20 divide 40/(-10)*((-325215)/10)/9?
False
Let z be 19 - (-12)/((-4)/4). Let n(u) = 13*u - 8*u + 15*u + 7. Is 35 a factor of n(z)?
False
Let v = 44 + -115. Let j = 68 + v. Is j + (-17)/(-5) - 976/(-10) a multiple of 10?
False
Suppose 4*p = p - s + 167, 3*p - 2*s - 161 = 0. Is 5 a factor of 6/(-33) + ((-3585)/p)/(-1)?
True
Suppose -2*j + 3*u + 38 + 706 = 0, -5*u - 1494 = -4*j. Is j a multiple of 28?
False
Suppose 5*q = -5*k + 63030, 15*q - 50417 = 11*q - 5*k. Is 78 a factor of q?
False
Let t(l) = l**2 + 23*l + 24. Let m be t(-22). Suppose 0 = -3*u + u - 2*x - 30, 0 = m*u + x + 32. Is 3*u/9*-6 a multiple of 6?
False
Suppose 6*v + 2*c + 296 = 4*v, 4*v - 2*c = -568. Let w = v + 212. Suppose -4*f + 0*f + w = 0. Is f a multiple of 2?
False
Suppose 7*o - 3*o = 28. Is (o + -8)/((-2)/182) a multiple of 13?
True
Let h(o) = 2 - 2 + 33 - 8 - 3*o. Let p be h(7). Suppose p*r + 3*i = 112, 6 = r + 5*i - 5. Is r a multiple of 12?
False
Suppose -4*i - 80 = -6*i. Suppose 0 = 3*o + 25 - i. Suppose -o*f + 155 = -0*f. Is f a multiple of 18?
False
Let u(i) = 2*i**2 - 11*i - 46. Let o be u(-3). Suppose -4*y + 1776 = o*t, -4*t - 1171 - 569 = -4*y. Is y a multiple of 40?
False
Let x be (-5 + -3)/((-3)/39). Let j = x - 48. Does 4 divide (1 - 1) + j + -21?
False
Let n be ((-12)/(-15))/(10/25). Suppose -5*i + i = -4*g - 24, -n*i - 3*g + 7 = 0. Suppose 0 = -i*k + k - 4*w + 196, 0 = -2*k + 5*w + 119. Does 17 divide k?
False
Let q(u) = 6232*u - 44. Is 13 a factor of q(1)?
True
Suppose -h - 2*h + 6 = 0, 2*h - 5629 = -5*v. Is v a multiple of 6?
False
Let f = 1104 - 626. Let u = -98 + f. Is u a multiple of 25?
False
Suppose 165*x = 213*x - 657024. Is 207 a factor of x?
False
Suppose g + 2*l = 29166, 0 = 5*g - 3*l - 74833 - 71049. Is g a multiple of 58?
True
Let i(n) = n + 1. Suppose -4*c + 4*k = -0*k - 24, 0 = -c + 4*k + 18. Let d be i(c). Is 8 a factor of d + (-3 - 4) - -51?
False
Is 2256/4136 - (-60)/22*13235 a multiple of 64?
True
Let z = 15033 + -3753. Suppose 0 = -32*j + 56*j - z. Does 10 divide j?
True
Let u(p) = -4*p + 15. Let h be u(11). Let n = -30 - h. Does 15 divide n + (-179 - 3)/(-2)?
True
Suppose 47*u + 11*u + 4775 + 2765 = 0. Suppose c + 116 = -0*c. Let t = c - u. Is 6 a factor of t?
False
Let c(t) = t**2 - t - 10. Let b be c(-3). Suppose 5*f + 12 = b*r - 683, 0 = -4*r + f + 1435. Is r a multiple of 45?
True
Suppose q = 13*q + 168. Is 8 a factor of (q/21)/((-2)/789)?
False
Suppose -4*o + 45 = 5*y, 4*y - 58 = 5*o + 19. Suppose -y - 407 = -7*a. Is a a multiple of 3?
True
Does 14 divide (-180)/315 + 7260/14?
True
Let a(o) = -o**3 - 7*o**2 - 6*o + 3. Let p be a(-6). Suppose -5*c + 422 = 3*i, -p*i - 5*c + 418 = -4*c. Is 41 a factor of i?
False
Suppose 3*y - 1061 = -2*h, 3*h - 1549 = -0*h + 4*y. Let n = h + -256. Is n a multiple of 18?
False
Suppose 206459 = 13*u - 61073 - 34029. Is 141 a factor of u?
False
Let m(i) = 1751*i**2 + 66*i + 65. Let h be m(-1). Let v = -1004 + h. Is v a multiple of 26?
False
Does 37 divide 5/(50/(-31265))*-2?
True
Let g be (-8)/(-10) - 407/(-185). Suppose 997 = 5*u - g*p, -3*u + 378 + 218 = -4*p. Does 50 divide u?
True
Suppose -1034 - 3947 = -2*h - 5*u, -2*u + 12421 = 5*h. Is h a multiple of 25?
False
Let t = -70 + 68. Let h(r) = -3*r - r**2 + 0*r**2 - 1 + 7*r**2 + r**2. Does 11 divide h(t)?
True
Suppose 2*q = 4*i + 8, -i = 4*i + q + 3. Let g be i/((4/42)/(6/(-9))). Suppose -347 = -g*h + 185. Does 41 divide h?
False
Let j(x) = -x**2 + 5*x + 9. Let z be j(7). Let g(o) = 2*o**2 + 5*o + 9. Let a be g(z). Let b = -25 + a. Does 9 divide b?
True
Suppose -123237 = -102*d + 80967. Does 143 divide d?
True
Is 41 a factor of (-15099)/719 + 2161*13?
False
Let p(a) = 15*a. Let q(m) = -7*m. Let v(k) = -6*p(k) - 13*q(k). Let w(i) = 17*i - 9. Let f(d) = 2*v(d) + w(d). Does 21 divide f(6)?
True
Suppose 345*y + 63 = 352*y. Suppose -y*n + 40 = -113. Is 17 a factor of n?
True
Let b be 1/((-15)/6) + (-66)/(-15). Suppose -c = -b*c - 0*c. Suppose -m + 5