multiple of 13?
False
Let t = 40 - 73. Let v = 11 + t. Is 14 a factor of 1/1 - 3 - v?
False
Let x be (-84)/20*(5 + -10) - 2. Suppose x*l - 24*l = -10950. Does 16 divide l?
False
Let x = -3492 + 5888. Does 24 divide x?
False
Suppose 16*i = 100 + 140. Suppose -i*q + 10*q + 410 = 0. Is q a multiple of 4?
False
Let w(h) = -h**3 - 13*h**2 - 25*h - 19. Let d be w(-11). Suppose -4*u + d*u = 3780. Is 63 a factor of u?
True
Let m = 5803 + -2408. Suppose 2797 + m = 12*y. Does 40 divide y?
False
Let d = -9 - -14. Let q = -210 + 214. Suppose -4*m = q*r - 280, d*r - 3*m + 360 = 10*r. Is 5 a factor of r?
True
Suppose 5*i - 2*i = 180. Let l be 30/18*84/70. Suppose l*g - 26 = u, 4*g + 0*g = -2*u + i. Is g a multiple of 10?
False
Let z(k) = 645*k**2 + 29*k + 73. Does 3 divide z(-2)?
True
Let m be (1 + 1 + -1)*1*3. Suppose -m*c + 3*f = -2175, -3*c - 7*f + 2173 = -11*f. Is c a multiple of 22?
False
Is (5594/3)/(236/1416) a multiple of 218?
False
Is 54 a factor of 7538 + 22 + -8 + 8?
True
Let b(u) = -239*u + 50. Let g(f) = -3*f - 11. Let v be g(-3). Does 24 divide b(v)?
True
Let f = 13492 - 7625. Is 5 a factor of f?
False
Suppose 3*i - 37626 = 7*v - 10*v, 62722 = 5*v - i. Is 14 a factor of v?
True
Let y(a) be the third derivative of -25*a**4/24 - 8*a**3/3 - 4*a**2 - 78. Let h(f) = -f - 3. Let t be h(0). Is 28 a factor of y(t)?
False
Suppose 18*g = -3*g + 63. Suppose 0*b - 5*s + 993 = 4*b, -g*b = s - 753. Is b a multiple of 49?
False
Suppose -3*m + 8 = -3*v + 8*v, 4*v = -m + 12. Let w = 14531 + -14474. Is w/((-172)/(-40) - v) a multiple of 38?
True
Is 58/((-84)/(-72) + -12 - -11) a multiple of 3?
True
Let q = 60079 - 42619. Is 30 a factor of q?
True
Let u be (2 - 13/7) + 115648/(-56). Let q = -1436 - u. Does 15 divide q?
False
Suppose r - 358 = 2*z - 2051, -5*r + 4195 = 5*z. Let i = -643 + z. Does 8 divide i?
False
Let m(j) = 1554*j + 6464. Does 8 divide m(-4)?
True
Suppose -18941 = -q - 3*b + 532, -4*q + 77807 = -5*b. Is q a multiple of 97?
False
Let x(n) = -2*n**2 - 154*n + 62. Does 16 divide x(-56)?
False
Let i = -11874 - -11878. Let p(d) = 4*d - 1. Let k be p(4). Suppose i*w - l - 232 - k = 0, -64 = -w + l. Is 11 a factor of w?
False
Suppose 3 = -j, 2*j + 66876 = 3*f - 3564. Is 258 a factor of f?
True
Let p = 33805 - 20558. Is 9 a factor of p?
False
Let s(c) = -c**2 + 7*c - 1. Suppose p = x + 26, 6*x - 69 = -4*p + 3*x. Let r be p + -17 - (1 + -3). Is s(r) even?
False
Suppose -8*p + 12*p - 212 = 0. Suppose 57*c - p*c = 132. Suppose m = -18 + c. Is m a multiple of 5?
True
Is (-2 - (-2)/(-4))*-246 a multiple of 76?
False
Let i be 25/2*2*(-24)/(-30). Let h = i + 103. Is h a multiple of 41?
True
Let f(l) be the third derivative of -l**6/120 - l**5/20 - l**4/4 + l**3/3 + 79*l**2. Is f(-4) a multiple of 8?
False
Let r(z) = -39*z**3 - 5*z**2 + 17*z + 30. Is r(-5) a multiple of 26?
False
Let p(a) = 7420*a**3 - 3*a**2 - 11*a + 5. Is p(2) a multiple of 23?
False
Suppose -14*k = 12*k - 552714 - 184958. Does 233 divide k?
False
Let m be -3*1 + 1/(6/246). Suppose 9*z - m - 16 = 0. Suppose z*g + 4*c - 128 = 3*g, -5*g + 3*c + 252 = 0. Is 7 a factor of g?
False
Suppose 5*w = 4*v + 106990, 0 = 944*v - 947*v. Is w a multiple of 13?
True
Let i(s) = -s**3 + s**2 + s + 59. Let n be i(0). Suppose 2*b = -8, -4*b = -4*h - h - n. Does 8 divide 36 - (-3)/h*0?
False
Let o be 10 + -3 + 2/(-4)*10. Suppose 3*x = -o*x + 495. Does 9 divide x?
True
Let g(s) = -s**2 - 3*s + 5. Let d be g(-3). Suppose -d*q + 700 = 140. Is 9 a factor of -6*-1*q/12?
False
Suppose 0 = -2*p + 3*y + 29340, -4*p + 32077 = -4*y - 26595. Does 104 divide p?
True
Let r be 40/220 + (-229)/(-11). Suppose 3*o + 3*f - 639 - r = 0, -2*f - 650 = -3*o. Is 22 a factor of o?
False
Suppose 0 = -2*b - 12*a + 8*a + 688, 2*b - a = 663. Let q = 943 - b. Is q a multiple of 14?
False
Let o = 587 + 210. Suppose 0 = -795*w + o*w - 2250. Is w a multiple of 28?
False
Suppose 6*y = 7*y + 3. Is 387 - (3 + -4 + y) a multiple of 21?
False
Suppose 47*k - 369168 = -30392. Is 31 a factor of k?
False
Let w(m) = 2*m**2 + 200*m + 2046. Is w(0) a multiple of 33?
True
Let c(v) = 911*v**2 + 30*v - 104. Is 24 a factor of c(4)?
True
Suppose -3*v + 20 = 16*o - 12*o, o = 2*v - 6. Does 4 divide 0/(-7) + o - -99?
False
Suppose -53*c - 27280 = -93*c. Is 11 a factor of c?
True
Suppose 285 = l + 282. Suppose -603 = -l*j + 396. Is 36 a factor of j?
False
Suppose 0 = -15*h - 79 - 26. Is 27 a factor of 1400 + (-3 - h)*1?
True
Suppose 259*c - 255*c + 396 = 2*r, 0 = r - 4*c - 204. Is r a multiple of 4?
True
Suppose -4*z + z + 2*u = 255, -z = -3*u + 78. Let p = 114 + z. Is 12 a factor of p?
False
Let s(k) = k**3 + 13*k**2 + 17*k - 12. Let d be s(-12). Let l = 29 - -118. Let w = l + d. Does 13 divide w?
False
Is (-3)/(-10) + (-12239796)/(-680) a multiple of 120?
True
Suppose -o + 12 + 6 = 0. Let j = 2375 + -2357. Suppose -o*f = -15*f - j. Is f a multiple of 2?
True
Suppose -2*r - 213*r + 6971160 = 0. Is 56 a factor of r?
True
Is (748/(-102) - 14/(-2)) + 355/3 a multiple of 3?
False
Does 22 divide 6887 + 8 - 14/(-4)*2?
False
Let q(f) = -f**2 + 65*f - 379. Is 45 a factor of q(34)?
True
Let n(q) = -2*q**2 + 19*q + 42. Let g(u) = u**2 - 9*u - 21. Let m(f) = -13*g(f) - 6*n(f). Let w be 12/(-126) - 22/(-231). Is 2 a factor of m(w)?
False
Let h = 25165 - 12156. Is h a multiple of 88?
False
Let k = -3005 + 4705. Suppose -3*b + 984 = 3*i, -3*i - 714 = 5*b - k. Does 49 divide i?
False
Suppose 5*x = 5*q - 715, 5*q - 11*x - 719 = -8*x. Suppose 177 = -14*l + 15*l - 3*s, -l - 5*s = -q. Is l a multiple of 11?
True
Let j be -1 - -1 - -4 - -1. Suppose 0 = 17*u + 618 - 669. Suppose 0 = -4*s - j*l + 475, u*s - l + 359 = 6*s. Is 20 a factor of s?
True
Suppose 13*s - 169 - 52 = 0. Suppose -1046 = -s*g + 314. Does 39 divide g?
False
Let m(w) = -w**2. Let f(q) be the first derivative of q**3 - q**2 - 3*q + 1. Let x(b) = f(b) + 2*m(b). Is 12 a factor of x(9)?
True
Does 91 divide 13197/2 - -6*(-5)/20?
False
Let j(y) = 6*y**2 - 6*y + 14. Suppose 4*h - 15 = 2*n + n, -3*h + 3*n = -12. Does 10 divide j(h)?
True
Let h(d) = -302*d - 102. Let y be h(-4). Suppose t - 555 = w, -y = -2*t + 4*w - w. Is 39 a factor of t?
False
Let y = 6141 + -1661. Is 80 a factor of y?
True
Let i(p) be the third derivative of p**5/60 - 7*p**4/12 - 25*p**3/6 - 6*p**2 + 5*p. Is i(19) a multiple of 4?
False
Let m(t) be the third derivative of 2*t**5/15 + t**4/24 - t**3/3 + t**2. Let a be ((-32)/14 - (-10)/35)/(-2). Is m(a) a multiple of 4?
False
Let z(w) = -2*w - 29. Let v be z(-16). Suppose -2*f - 2 = -4*l + 2*l, -v*f + 2 = 2*l. Let k = 66 - f. Does 6 divide k?
True
Let j(w) = w**2 + 8*w + 6. Suppose 0 = -3*o - 4 - 23. Let u be j(o). Suppose 0 = k - 2*k + u. Is k a multiple of 3?
True
Is 59443109/(-2162)*2*4/(-22) a multiple of 23?
False
Let h(i) = 139*i**2 - 7*i - 12. Does 104 divide h(4)?
True
Let g(j) = 23*j**2 - 24*j**2 + j - 2*j - 20*j**2. Let w be g(-1). Let l = w + 41. Is 21 a factor of l?
True
Let d = 2584 + 1024. Does 82 divide d?
True
Suppose 2664 = -2*b + 6*b. Suppose b = n - 14. Is 17 a factor of n?
True
Suppose 4*j + t - 30 = 6*t, 2*j - 16 = 3*t. Suppose z + 4 = 4*y, 2*y + j*z = -3*y + 30. Suppose y = b - 67. Does 8 divide b?
False
Let j be (-3398)/(-10) - 21/(-105). Suppose -2*y - j = -f, -3*f + 6*f + 5*y = 1009. Is f a multiple of 29?
False
Let d = -806 + 956. Is 3 a factor of d?
True
Suppose 216 = -9*j + 27*j. Let q(b) = b**3 + 10*b**2 + 15*b + 5. Let u(s) = 5*s**3 + 40*s**2 + 59*s + 21. Let v(d) = -9*q(d) + 2*u(d). Does 6 divide v(j)?
False
Let v(o) = 11*o**2 + o - 1069 + 511 - 6*o + 507. Is 27 a factor of v(-12)?
True
Let b(t) = -t**2 + 4*t + 98. Let r be b(0). Suppose -1008 = 95*x - r*x. Is x a multiple of 28?
True
Let a(v) = -v**2 + 47. Let u be (1 - 1)/(17 + -15). Let j be a(u). Suppose 3*t = 67 + j. Does 19 divide t?
True
Let u = 162 - 158. Suppose -4*d + 5*b = -45 - 430, 20 = u*b. Does 45 divide d?
False
Let o = -70 + 72. Suppose 299 = o*x + 101. Is x a multiple of 9?
True
Let c(v) = 54*v**3 - 4*v**2 + 5*v + 3. Let d be c(2). Suppose 5*q = 5, 62*m - 64*m + 3*q = -d. Is 3 a factor of m?
True
Is 26 a factor of 5/10 + ((-26)/156)/(2/(-107862))?
False
Let x(z) = -230*z**2 - 252*z**2 - 23*z - z**3 + 32 + 456*z**2. Is x(-26) a multiple of 18?
True
Let w = 44532 - 17615. Is 34 a factor of w?
False
Let n(