Let m = -5 + t. Is 9 a factor of m?
False
Let w(p) = -4 + 0*p - 5*p + 2 + 0*p. Let a be w(-4). Does 42 divide a*-20*(-3)/6?
False
Suppose -2*c - 3*c + a = 9, -2*c = -4*a. Is 21 a factor of ((-3 - 59) + c)*21/(-4)?
True
Let o be -2 + 3 - 54/3. Let x be 25/10 + -2 + o/2. Let r(k) = -7*k - 2. Does 9 divide r(x)?
True
Suppose 59*k - 200772 = -19*k. Is k a multiple of 33?
True
Let s = -151 - -330. Let g = s - 109. Does 9 divide g?
False
Let w(a) be the second derivative of -15*a**3/2 + 10*a**2 + 2*a - 14. Is w(-5) a multiple of 35?
True
Let k(v) = v**3 + v**2 + 85. Let l be k(0). Let f = l + -82. Does 6 divide ((-36)/15)/(f*(-6)/495)?
True
Suppose -4*x + u + 6 = 4*u, -2*u = 3*x - 4. Suppose -5*j + 25 = x, 0*j + 86 = 2*r - 2*j. Suppose -3*n - 5*h - 60 = -7*n, r = 2*n + 2*h. Is 5 a factor of n?
True
Let a(o) = 5*o**2 - 13*o - 19. Let p be a(16). Let n be (-1 - (-15)/9)*p/18. Let d = n - -141. Is 45 a factor of d?
True
Let v(g) = g**3 + 4*g**2 + 3. Let n be v(-3). Suppose 0 = -3*y + 7*y - n. Suppose y*l + 7 = -5, -3*a - 2*l + 106 = 0. Is a a multiple of 38?
True
Let x be ((-46)/8)/(3 - (-11)/(-4)). Let i be 6/4*(-124)/(-6). Let o = x + i. Does 3 divide o?
False
Does 23 divide (-368)/((-308)/18 - -17)?
True
Let r(b) = 239*b**2 - 358*b - 3. Does 18 divide r(-11)?
False
Suppose 239*h = 237*h + 26. Is h + -7 - 8 - -704 a multiple of 7?
False
Let d = 25307 + -16142. Is d a multiple of 39?
True
Let c(f) = 2*f + 38. Let t be c(-13). Let g be (32/(-6))/(4/t). Let k = 66 + g. Does 12 divide k?
False
Suppose 13910 + 5467 = 3*i. Is i a multiple of 11?
False
Suppose 4*f + 3*p - p = -476, -5*p - 20 = 0. Let h = -147 - f. Is 6 a factor of ((-73)/15 - -5) + (-1196)/h?
False
Let i be (0 + 40)/((-30)/(-150)). Suppose -5*n + i = 3*t, -2*t - n + 6*n + 100 = 0. Suppose 2*o = -2*q + t, o - 3*o = q - 27. Is 6 a factor of q?
False
Let n = -2663 + 4327. Suppose -33*a + a = -n. Is 16 a factor of a?
False
Let d = 1042 + -991. Suppose -246 = -3*w - 0*w. Let x = d + w. Is x a multiple of 49?
False
Suppose -18354 = -15*g + 12*g. Is 42 a factor of g?
False
Suppose 1456*q + 99792 = 1459*q. Does 132 divide q?
True
Let f = -14 + 35. Suppose -f*i + 768 = -1290. Is 49 a factor of i?
True
Suppose -2*v + 313 = -97. Suppose -v = a + 4*a. Let t = -11 - a. Does 15 divide t?
True
Suppose 168125 = 87*v + 38*v. Is v a multiple of 7?
False
Is (447/(-6) + 2)*(-1190952)/1390 a multiple of 166?
False
Suppose 11*f + 30 = 17*f. Suppose 275 = -f*u - 5*b, 0 = -u - 5*b - 46 - 17. Is (1/((-2)/u))/((-1)/(-2)) a multiple of 16?
False
Let a be 1 + 3/(-4) - 322/(-184). Suppose 0 = -3*l - 2*n + 349, 168 = a*l + 3*n - 68. Is 8 a factor of l?
False
Suppose -1618 = -6*r + 1922. Suppose 5*a + r = 5*o, 254 + 84 = 3*o + a. Does 3 divide o?
True
Let p = -171 + 83. Let h(d) = 33*d - 4. Let l be h(-1). Let r = l - p. Is 12 a factor of r?
False
Suppose 373 = 5*z - 1707. Suppose 4*a - 16 = 0, -i + a = -a - z. Suppose 14*w - i = 6*w. Is 12 a factor of w?
False
Let i(k) = -126*k + 799. Is i(-11) a multiple of 19?
True
Suppose 4*s + 7*b - 24 = 3*b, 3*s = -2*b + 21. Suppose -5*r = -s*r + 8. Suppose -6*x + 364 = -r*x. Does 15 divide x?
False
Let n = 230 - 262. Is (-3312)/n + 2/4 a multiple of 13?
True
Suppose -d = s, -s - 1 = 5*d + 3. Let a(y) = 80*y**2 - 4*y + 3. Let m be a(s). Suppose -m - 929 = -4*r. Is r a multiple of 21?
True
Suppose -23*y - 32940 = -5*i - 28*y, -4*i + y = -26362. Is 10 a factor of i?
True
Let v(c) = c**3 - 34*c**2 - 12*c + 408. Let m be v(34). Let h(g) = 19*g**2. Let z be h(-1). Suppose m = 4*d + z - 71. Is 8 a factor of d?
False
Let p(h) = 104*h - 5832. Let d be p(56). Let i be (-3)/((-2)/((-12)/(-2))). Is 41 a factor of d*3*(-114)/i?
False
Suppose -370164 + 96167 - 216587 = -24*l. Is l a multiple of 23?
False
Is 27 a factor of (-4)/(-6) - (4/(-7) - 4552148/3444)?
True
Suppose 36*l - 12170 = 31*l. Does 133 divide l?
False
Suppose -6*w = -3*w - 4*p - 19836, w + 4*p = 6644. Is w a multiple of 33?
False
Let k(o) = -2*o**3 - 50*o**2 - 28*o - 151. Is k(-25) a multiple of 13?
False
Let z(h) = 22*h**2 + 22*h - 60. Let y = -500 + 507. Is z(y) a multiple of 13?
False
Suppose -s - 4*w = -2*w - 11, 2*s + 5*w = 25. Let d(o) = -13*o + 9. Let i be d(-3). Suppose s*f + i = 11*f. Is 2 a factor of f?
True
Let f = -145 + 154. Suppose f*t = -2*t + 1705. Is t a multiple of 16?
False
Let g = 1937 + -1260. Suppose -5*x - 217 = -g. Is x a multiple of 4?
True
Suppose 4*r - y + 88 = 3*y, 5*y + 10 = -r. Let s be ((8/(-4))/(-4))/((-2)/r). Let l(b) = b**3 - 3*b**2 - 3*b + 4. Is l(s) a multiple of 9?
False
Suppose 341*d + 285402 = 367*d. Is 67 a factor of d?
False
Suppose -176 - 1371 = 7*n. Let j = -9 - n. Suppose -l - 3*l = -j. Is l a multiple of 12?
False
Suppose -4 = -2*h + 5*o, 4*h - 3*o = 4 + 4. Suppose 4*r - 3*r = 5*i - 16, -3*r - 3*i = -24. Suppose -h*v = r*v - 468. Is v a multiple of 12?
False
Let o(x) = -2*x**3 - 57*x**2 + 183*x + 44. Is 15 a factor of o(-33)?
False
Suppose 77*z - 67*z = 3430. Suppose 5*n - z = -2*i - 7, 2*n = 0. Is 4 a factor of i?
True
Suppose 0 = 2*y - 7*y - 3*q - 240, -y = -q + 40. Let k = y - -27. Does 23 divide (3 + k)*-11 - 4?
True
Let a(s) be the third derivative of -7/12*s**4 + 14*s**2 + 1/60*s**5 - 4*s**3 + 0*s + 0. Is 9 a factor of a(20)?
False
Let a(r) be the first derivative of r**4/4 - 14*r**3/3 - 27*r**2/2 - 20*r - 1. Let l be 4118/232 + 7/(-4). Does 7 divide a(l)?
False
Suppose 6*c - 9521 + 2735 = 0. Suppose -3087 + c = -6*t. Is t a multiple of 22?
False
Suppose 10293 = 5*u + 4258. Does 17 divide u?
True
Let p = 1783 + -639. Is 52 a factor of p?
True
Does 44 divide ((-1980)/(-54))/((-8)/(-624))?
True
Let m = 6817 - -3391. Is m a multiple of 103?
False
Let y(h) = -h**3 - 12*h**2 - 4*h - 4. Suppose -6*b + b + 430 = 0. Let r = b + -98. Does 14 divide y(r)?
False
Let x be 5*(-5)/(-25)*0/(-2). Suppose -2*i + d - 131 = -x*d, 2*i + 151 = -3*d. Let u = 80 + i. Is u a multiple of 6?
True
Let f = -858 + 1027. Is f a multiple of 13?
True
Suppose 158 = 19*a + 44. Is 14 a factor of 4/204*a + 59150/85?
False
Let t be 126/(-30) - (-3)/15 - 619. Let j = -106 - t. Does 31 divide j?
False
Let x(l) = -l**3 + 9*l**2 - 8*l - 5. Let u be x(6). Let i be (-10)/(-4)*44/u. Is 13 a factor of ((-138)/i)/(-1)*(-8)/(-8)?
False
Suppose -165 = 2*b - t + 4*t, 170 = -2*b + 2*t. Let h = b - -79. Let d = 57 - h. Is d a multiple of 11?
False
Suppose 8336 - 83619 = -h - 3*a, -7 = a. Does 168 divide h?
False
Does 13 divide ((-10 - -10) + (-2)/6)/((-83)/1013181)?
True
Let d be (((-20)/(-1))/2)/(40/80). Suppose 704 = 2*n + d. Is 25 a factor of n?
False
Suppose 656*k - 342*k = 334*k - 18860. Is k a multiple of 2?
False
Let m(y) = 4041*y - 230. Is m(2) a multiple of 13?
True
Let x(l) = l**3 - 61*l**2 + 14*l - 196. Is x(61) a multiple of 7?
True
Suppose -14*j = j - 780. Suppose -j = -0*y - y. Does 4 divide y?
True
Let y = -7253 - -16532. Is 44 a factor of y?
False
Let w = 42349 - 28582. Is 54 a factor of w?
False
Suppose 118*i - 69375 = 103*i. Is i a multiple of 78?
False
Suppose 621*x - 618*x + 5*h - 41634 = 0, 41658 = 3*x - 3*h. Is 36 a factor of x?
False
Let p = -511 + 740. Does 4 divide (5 - (-9)/9) + p/1?
False
Does 7 divide ((-82)/(-16) + -5)*35624?
False
Suppose 37*q + 6 = 40*q. Suppose m = -q*m + m. Suppose 0*w + t = -w + 90, m = -3*w + 4*t + 298. Does 47 divide w?
True
Let z be (-2)/(-8) - (-1)/((-48)/(-180)). Suppose 0 = 4*p - 5*q - 151, -z*p - q + 181 = -0*q. Is 22 a factor of p?
True
Suppose 0*y - 990 = -y. Is 3 a factor of 13*((-8)/10 - y/(-50))?
False
Let c be (-1222)/(-78) + 4/(-6). Suppose 33*j - c*j = 18054. Does 52 divide j?
False
Let f = 1561 - -280. Suppose 0 = 10*c - 9*c + 5, 2*k - c - f = 0. Is k a multiple of 13?
False
Let v(n) = -n**3 + 9*n**2 + 10*n + 6. Let l be v(10). Suppose 0 = -b - 3 + l. Suppose 208 = 2*r + 3*p, -2*p = 5*r - b*p - 520. Is 26 a factor of r?
True
Let g(w) = -4*w**2 + 2. Let a(u) = -u - 1. Let l(m) = 3*a(m) - g(m). Suppose 6 = x - 0. Is l(x) a multiple of 50?
False
Suppose -8*z - 770 = -z. Let g = -35 - z. Suppose 46 = 2*v - 4*x, 3*x + g = 3*v - 9. Is v a multiple of 8?
False
Let n(h) = h + 18. Let l(d) = -6*d + 6. Let a(q) = -7*q + 5. Let k(i) = 4*a(i) - 5*l(i). Let b be k(2). Is 12 a factor of n(b)?
True
Suppose -60*j + 69567 = -83553. Is 4 a factor of j?
True
Let r = -33 - -28. 