. Is 12 a factor of o(13)?
True
Suppose 0 = 3*p + 4*j - 648, 0*p = 3*p - 4*j - 648. Let u = 420 - p. Is u a multiple of 4?
True
Suppose 0 = u - 3*y - 61700, -3*u - 684 = -2*y - 185749. Is u a multiple of 73?
True
Let z(c) = 8*c**2 - 17*c - 60. Does 21 divide z(25)?
True
Suppose 467698 + 345797 = 72*k + 135039. Does 27 divide k?
True
Let l = 640 + -532. Let n = 19 - 11. Let c = l - n. Is c a multiple of 9?
False
Suppose -l = a + 404, -3*a + 3 = -4*a. Let g = -106 - l. Is g a multiple of 12?
False
Suppose 3*h - 956 = 5*m, m - 5 = -0. Suppose 3*s - 2*f = 327, 0 = -3*s - f - 4*f + h. Does 9 divide s?
False
Let q = 2758 + -963. Is q a multiple of 17?
False
Let f(z) = 8*z + 14. Let u be f(-9). Let t = u + 61. Suppose -4*v + 364 = 2*b, 0 = -5*v - 5*b + t + 457. Does 5 divide v?
True
Suppose 0 = 15*m - 4*m + 22. Is ((10 - m)/3)/(8/868) a multiple of 31?
True
Suppose 623374 + 1057466 = 84*n. Is n a multiple of 115?
True
Let f = -13878 + 19746. Is 11 a factor of f?
False
Suppose -u - 2*u = -3*r, 0 = r + u - 8. Is (16/(-6))/(r/(-240)) a multiple of 5?
True
Let g(o) = 16*o**2 - 178*o - 189. Is 3 a factor of g(-15)?
True
Suppose -6*z - 238 = -4*z. Let o = 185 + z. Let j = 111 - o. Is j a multiple of 5?
True
Suppose -161*a + 162*a + 122 = 0. Let r = 561 + a. Does 23 divide r?
False
Suppose -474 = 171*v - 173*v. Let d = -48 + v. Is d a multiple of 6?
False
Suppose -3*v + 4*u - 31 = -6*v, 28 = 4*v + 2*u. Suppose 2*y = y + t + 275, -2*y + 571 = v*t. Is 27 a factor of y?
False
Let h = -21 + 213. Suppose -9*i = -8*i - h. Is 8 a factor of i?
True
Suppose -h = -1, -4*g - 2*h - 45604 = -15*g. Is 23 a factor of g?
False
Suppose 246*d = 264*d - 126. Suppose 2*o - o - 63 = 0. Suppose o = -6*a + d*a. Is 19 a factor of a?
False
Let q(j) = -10*j + 4. Suppose 5*x + 2*k + 4 = -6, -2*k = -4*x - 26. Let h be q(x). Suppose -2*r = 2*r + 8, -3*y = -r - h. Does 7 divide y?
True
Let w = 6 - 40. Let r = w + 36. Let o(k) = 4*k**3 - 2*k**2 + 3*k - 4. Is 4 a factor of o(r)?
False
Let j(s) = 3*s**2 - s + 11. Let d(w) = 5*w - 28. Let c be d(7). Let q be j(c). Suppose 0 = 4*x + 2*g - 934, -392 = -x - 3*g - q. Is 29 a factor of x?
True
Suppose -1713*u - 257985 = -1740*u. Is 39 a factor of u?
True
Let r = -911 + 1919. Is 9 a factor of r?
True
Does 17 divide 10822 - (17/19 + 26/247)?
False
Let c(a) = a**2 - 15*a + 39. Let m be c(3). Suppose -4*l = -3*u - 2*l + 324, 5*l = m*u - 324. Does 8 divide u?
False
Suppose -19*v = -20*v - 17. Let r = 14 + v. Is 4 a factor of 0 - (-30 - -3 - r)?
True
Let p(g) = g + 37. Let u(b) = b. Let c(d) = p(d) - 3*u(d). Let w be c(21). Is 4 a factor of (-19)/w + -4 - 693/(-15)?
False
Suppose 65*j + 4*n = 68*j - 24823, 0 = 4*j - 6*n - 33094. Does 13 divide j?
True
Let c(k) = 59*k**3 + 3*k**2 - 2*k. Suppose 0 = -2*j + l + 7, -3*l - 14 = -5. Let b be (-5 - -2)/((-3)/2*j). Is 20 a factor of c(b)?
True
Does 11 divide 1869/6 - 1/(-3)*(-165)/22?
False
Suppose 3*d - 2*i + 27 = -6*i, 3*d + i + 18 = 0. Is 322 + d - (-5)/(-1) a multiple of 39?
True
Let d(s) = -s**3 - 23*s**2 + 63*s - 46. Is d(-35) a multiple of 178?
False
Is 194 a factor of 7 - (((-1200)/432 - 2/9) + -5163)?
False
Suppose -4*n = n + 3*y - 13, n - 2*y = 0. Suppose 0 = 4*c - d - 3124, -c + 1572 = c + n*d. Is c a multiple of 23?
True
Let x(h) = 681*h - 2004. Is 42 a factor of x(8)?
True
Let r = 793 + 14425. Is r a multiple of 162?
False
Let o = -1938 - -2209. Does 20 divide o?
False
Let k = 727 - 267. Suppose -k*y = -456*y - 592. Does 37 divide y?
True
Suppose -15*q + 37 = -8. Suppose 0*n - 181 = -3*n - 2*u, -3*u - q = 0. Does 7 divide n?
False
Let i = -27 - -21. Let x be i/9 - (-59)/3. Suppose -3*k + 91 = x. Does 5 divide k?
False
Let c = 206 - 165. Suppose -f - c = -80. Is 13 a factor of f?
True
Is 5/2*16/30*144 a multiple of 8?
True
Let a(c) = -2*c + 3. Let k(r) = 26*r**2 - 8*r + 14. Let o(l) = 9*l**2 - 3*l + 5. Let n(q) = -4*k(q) + 11*o(q). Let x be n(-1). Is a(x) a multiple of 4?
False
Suppose 0 = -2*m + 3*n + 8, 3*m + 3*n + 22 = -n. Is 16 a factor of -5 - m/2 - (2 + -358)?
True
Let m(g) = g**2 - 21*g + 154. Let w be 10*(-56)/(-20) + -7. Is m(w) a multiple of 7?
True
Let k(f) = f**2 + 3*f - 20. Let y be k(-6). Let q(n) = -n**2 - 3*n + 2. Let i be q(y). Does 7 divide 6/4*i*(-188)/(-24)?
False
Suppose 3*p + 100 = -5*n, 3*n + 0*n + 60 = 4*p. Let l(r) = r**3 + 21*r**2 + 19*r + 35. Is 55 a factor of l(n)?
True
Let c = 4011 + -2906. Is c a multiple of 13?
True
Let n(f) = -f**2 - 12*f - 9. Let p be n(-11). Let k(w) = -2 + 27*w**3 + 3*w - p*w**2 + 2*w + 1 - 5*w**3. Is k(2) a multiple of 13?
False
Is ((-4149)/(-5))/(195/975) even?
False
Let i(f) = -72*f + 146. Let c be i(2). Suppose 978 = c*w - 2*h, 942 + 1017 = 4*w - 5*h. Is w a multiple of 6?
True
Let b(z) be the first derivative of -z**4/4 + 11*z**3/3 + 3*z**2 - 4*z - 8. Let l be -8*(4 + 27/(-6)) - -6. Does 26 divide b(l)?
True
Let q(r) = -3*r - 2. Let x be 17/((-119)/84)*2/(-6). Suppose 2*k - x*u = -k - 64, 5*k - 2*u + 102 = 0. Is 17 a factor of q(k)?
False
Let v(d) = -3*d + 42. Let t(l) = l + 1. Let c = 45 - 59. Let z be t(c). Is v(z) a multiple of 9?
True
Suppose 3*l = 12*l + 27. Let o be -2 - (-2 + 4 + l). Is 131 + (((-4)/o)/(-4))/1 a multiple of 26?
True
Suppose 40 = -5*r, 274*r - 33939 = -3*k + 277*r. Is k a multiple of 95?
True
Let p be (60/(-24))/((-2)/(-100)). Let v be -2 - (p/10 + (-1)/(-2)). Let q(x) = x**2 - x - 6. Is 21 a factor of q(v)?
True
Suppose -3*o = t - 12026, 35*o = 31*o - 4. Is t a multiple of 41?
False
Suppose 4*c = -2*f + 2114, -34*f + 37*f - 3138 = 5*c. Is f a multiple of 33?
False
Suppose n = 4*l - 9, l + 0*l = 4*n - 24. Let h = n - -4. Suppose 0 = h*r - 16*r + 290. Is 12 a factor of r?
False
Is (-20)/(120/54) - -1116 a multiple of 113?
False
Suppose 14 = 2*x - k, -5*k + 40 - 14 = 2*x. Does 17 divide 4*x/(-32) + 273?
True
Is (3 + 714/2)*16704/290 a multiple of 108?
True
Is ((-6322)/4)/(30 + (-3246)/108) a multiple of 62?
False
Let a = 16185 - 8949. Suppose -13*w + a = 2322. Is 7 a factor of w?
True
Let w = -543 - -60. Let q = -403 - w. Does 10 divide q?
True
Let y(s) be the third derivative of -s**6/120 - s**5/30 - s**4/12 - s**3/6 - 21*s**2. Let d be y(-2). Suppose -d*w + 2*i - 5 = -24, 4*i - 34 = -2*w. Is w even?
False
Suppose 7*b - 10*b + 14121 = -2*s, 0 = -3*b + 4*s + 14109. Does 7 divide b?
True
Let z be (-8 - (-15 + 173))/((-1)/8). Let o = z + -888. Is o a multiple of 55?
True
Let i(d) = -25*d - 64. Let w be i(-3). Is 14 a factor of (w + -29)*21/(-1)?
True
Let n(g) = 2070*g**2 + 839*g - 1683. Is 7 a factor of n(2)?
False
Suppose 3*c + 26889 = 3*n, -97 + 97 = -5*c. Is 113 a factor of n?
False
Let u be 2/(-6) - ((-7484)/6 + -1). Suppose 4*l + u = 7*l. Suppose -q - 2*k + 126 = 33, -4*q + 3*k = -l. Is q a multiple of 28?
False
Let g(d) = -d**3 + 9*d**2 - 9*d + 17. Let m be ((-16)/40)/(1/(-20)). Let w be g(m). Is 40 - ((-6)/w + (-2)/(-3)) a multiple of 14?
False
Let h(j) be the second derivative of -j**4/12 + 5*j**3/2 - j**2 - 2*j. Let p be h(14). Suppose p = 3*k - 48. Is k a multiple of 20?
True
Let y(f) = 168*f**2 + 24*f + 19. Is 25 a factor of y(4)?
False
Is 92 a factor of (2620/30 + -26)*3195/6?
True
Let i(j) = 3*j - 4. Let o be i(0). Let u be 5 + 0 + 632 + o. Let y = u + -409. Is y a multiple of 28?
True
Suppose -4*p + 4*h + 75 = 23, -4*p - h + 37 = 0. Let w = -9 + 19. Does 11 divide 4/p + 516/w?
False
Let p be 6/4 - (-55)/22. Suppose -5*l + 648 = -p*y, 3*l - 5*y - 259 = 135. Does 32 divide l?
True
Is 35 a factor of (-40260)/(-6) + 52 + -24?
False
Let v be ((-6010)/(-15))/(-2 + 12/9). Let t = 887 + v. Does 13 divide t?
True
Suppose 0 = 109*s - 270*s + 2500974. Is s a multiple of 18?
True
Let w(z) = 481*z + 490. Does 86 divide w(14)?
True
Suppose -138801 = 5*z + z - 330969. Is 12 a factor of z?
True
Suppose 2*t - 3*c = 15, 4*c = -8 - 4. Is 25 a factor of (t - 6)/(6/(-124))?
False
Let b = 23 + -20. Let c be (0 - (b + -3)) + 9. Suppose -14*y + 560 = -c*y. Is 28 a factor of y?
True
Let h(i) be the third derivative of 3*i**4/4 - 5*i**3/6 + 407*i**2. Let q(z) = -z**2 - 5*z - 1. Let o be q(-4). Does 3 divide h(o)?
False
Let d(y) = -2*y**2 + 4*y - 2. Let n be d(3). Let v(c) = 2*c**2 + 7*c + 10. Let o be v(n). Suppose -6 + o = g. Is 19 a factor of g?
True
Suppose -9*q = -0*q + 10*q - 15732. Does 36 divide q?
True
Suppose -5*w + 2*m 