?
True
Suppose 0 = -a + 9*o - 14*o + 18197, -4*o = 3*a - 54536. Is 44 a factor of a?
True
Suppose 0 = 2*d - 11*d + 10953. Suppose -19*f - d + 3497 = 0. Is f a multiple of 34?
False
Let h(o) = -3026*o + 516. Is h(-1) a multiple of 4?
False
Let c(b) = -11*b**3 - 13*b - 417. Let i(w) = 6*w**3 + 7*w + 208. Let z(h) = -4*c(h) - 7*i(h). Does 71 divide z(0)?
False
Is 10 - 8/2 - (53 + -2317) a multiple of 5?
True
Suppose 0 = -44*i + 22*i - 19756. Let v = i - -1933. Does 49 divide v?
False
Let j = 33832 + -22535. Is j a multiple of 13?
True
Let m be (-171)/(-38)*(-4)/(-3). Let o be 10*(15/m)/(-5). Does 10 divide (2 - (-7)/o)*30?
False
Let t be -4 - (6 - 2 - 24452). Suppose 18*c = -3*c + t. Is 65 a factor of c?
False
Let j = -1 - -1. Suppose z + 6 = 4*z + 3*n, j = 5*z - 3*n - 10. Suppose 2*x + 3*h - 70 = 0, -5*h - 84 = -z*x - h. Does 12 divide x?
False
Let a(h) = -1945*h - 1766. Is a(-5) a multiple of 14?
False
Let p be (-1 - 1 - 116/(-87))*-3. Suppose 3*d + 2*y - 3037 = 0, -p*y = 3*y - 10. Is d a multiple of 41?
False
Let y(l) = 2*l**3 + 8*l**2 - 2*l - 3. Let i be y(-4). Suppose -2*d = i*k - 859, 5*d + 17 = 2. Does 17 divide k?
False
Does 91 divide (-2)/6 + 214944/288?
False
Let g(v) = 11*v**2 + v - 3. Suppose 0 = -k - 4 + 1. Let h be g(k). Let j = h - 45. Is 16 a factor of j?
True
Suppose 0 = 4*d + 39*q - 36*q - 28014, -q + 14008 = 2*d. Does 3 divide d?
True
Let j = 462 - 462. Suppose j = 4*n + n - 440. Does 7 divide n?
False
Let n(d) = 5*d + 22. Let z(v) = v**2 + 17*v - 18. Let a be z(-18). Suppose -64 = -4*m - 5*u, -24 + a = -4*m + 5*u. Is n(m) a multiple of 13?
False
Suppose -7*m + 43840 = 25*m. Suppose 8*t = 11*t - o - m, -o + 1815 = 4*t. Is 23 a factor of t?
False
Let f(l) = -9*l - 25. Let w be f(-3). Suppose 0*n = -n + w. Suppose -n*q = -3*q + 7. Is q even?
False
Let t(b) = -b**3 - 24*b**2 - 10*b - 31. Suppose -124 = 10*n + 116. Does 19 divide t(n)?
True
Does 26 divide ((-1722)/(-98) - -5)/((-2)/(-518))?
False
Let m(q) = 4*q**3 - 14*q**2 - 14. Let j(y) = y**3 - y**2 + 2*y - 1. Let r(t) = -3*j(t) + m(t). Is r(12) even?
False
Suppose 34*n - 389 - 19 = 0. Is (189/n)/(15/240) a multiple of 3?
True
Suppose 3*o + 2*k - 157878 = -3*o, 2*k - 6 = 0. Does 88 divide o?
True
Let f be 9/(-6)*(-2 - (-42)/(-9)). Suppose 0 = -2*a - f, 0*q - q + 611 = -2*a. Does 45 divide q?
False
Suppose -15 = -r + 25. Is 11 a factor of (-2)/(r/(-1065)) + 3/4?
False
Let y(l) = -l**2 + 4*l - 45. Let m be y(-11). Is (42/70)/((-2)/m) a multiple of 16?
False
Suppose 7*m = -5*m - 48. Let w = 2 + m. Is 5 a factor of w/(-6) + (-60)/(-9) - 2?
True
Suppose -247 = 6*u + 1145. Let a = -214 - u. Is 2 a factor of a?
True
Suppose -h + 11*h - 264870 = -17*h. Is h a multiple of 9?
True
Is 17 a factor of (-5)/((-25)/36138) + (7/5 - 1)?
False
Let a = 2999 - 1431. Is 27 a factor of (250/75)/(a/783 + -2)?
False
Suppose 1055 = -4*y + 3*k, -y - k - 275 = 2*k. Let m = y - -392. Is 14 a factor of m?
True
Let d = -88 + 59. Let z = 30 + d. Suppose z = -h + 19. Does 9 divide h?
True
Let r(f) = 5*f + 13. Let a(k) = 5*k + 14. Let c(b) = 2*a(b) - 3*r(b). Let n be 24/60 + 110/(-25). Is 2 a factor of c(n)?
False
Suppose 8*d - 13 = 3*d - 2*m, -3*m = -5*d - 7. Let c be 1*-7 - (d - 2). Let v = 1 - c. Is v a multiple of 4?
False
Let t(v) = -v**3 + 14*v**2 - 26*v + 34. Let s be t(12). Suppose s*i = -2*i + 1188. Does 3 divide i?
True
Suppose 0 = d - 3, 10*c - 68 = 5*c - d. Suppose -276 = m - c*m. Does 7 divide m?
False
Is 19 a factor of 9*5/(-15) + 8 + (-9756)/(-2)?
True
Suppose 35*k - 30*k = b - 4568, 0 = -3*b - 5*k + 13684. Does 82 divide b?
False
Let f = 5147 + -3527. Suppose 2*g + 0*g - h = 811, 4*h + f = 4*g. Is 24 a factor of g?
False
Let m(p) = -396*p + 2. Let w(g) = -5*g - 21. Let k be w(-4). Is m(k) a multiple of 14?
False
Suppose -16*g + 1587 = -765. Let u = g + 366. Is u a multiple of 12?
False
Let c = 762 + -369. Let l = c + -165. Is l a multiple of 19?
True
Let k(d) = 2*d + 45. Let w be k(-24). Let j(s) = 41*s**2 + s + 4. Is j(w) a multiple of 26?
False
Let f(v) = 287*v - 135. Let r be f(-27). Is 8 a factor of r/(-27)*(-1 - (-34)/8)?
False
Let r = 417 - 417. Suppose r = 3*u - i - 644, -632 = -u - 2*u - 5*i. Does 8 divide u?
False
Suppose 3*g + 90 = 12*g. Is ((-20)/75*g)/(2/(-168)) a multiple of 32?
True
Suppose s + 256 = -10*s + 15*s. Let u = 17 - 68. Let k = u + s. Does 8 divide k?
False
Let v(s) be the second derivative of 623*s**3/6 + 7*s**2/2 + s + 39. Is v(1) a multiple of 14?
True
Let k(t) = -15*t - 8. Let p(z) = -2*z - 1. Let j(x) = k(x) - p(x). Is 58 a factor of j(-5)?
True
Let b(h) = -320*h**3 + 3*h**2 + 13*h + 28. Is b(-2) a multiple of 33?
True
Let r be 26*(-1 - 6/(-4)). Let z be (-8 - (1 + -9)) + 0. Suppose r*c - 409 - 124 = z. Is 3 a factor of c?
False
Let g be (-1 - 0) + 1 + (5 - 3). Is (g + -1)/(2 + (-177)/89) a multiple of 6?
False
Let q(j) = j**3 - 29*j**2 + 10*j + 34. Let m be q(29). Is 58 a factor of (2 + -22)*(-10 + m/48)?
False
Let k be ((-4302)/(-8))/1 - (-20)/80. Suppose -4*g - k = w - 4*w, 141 = -g + 4*w. Let b = g + 199. Does 13 divide b?
False
Suppose 3*o - 6*o - 12 = 0. Let y be (-168)/(-9)*(-132)/o. Suppose -4*r = -0*r - y. Is 11 a factor of r?
True
Suppose -86*a = -442*a + 6997536. Is 14 a factor of a?
True
Suppose 105 = 5*g + 190. Let z = g + 76. Is 11 a factor of z?
False
Let n = 39325 + -38029. Is 108 a factor of n?
True
Let d = 94 - 91. Suppose -5*v + 0*v = -1500. Suppose -d*y + 6*y = v. Is y a multiple of 25?
True
Suppose 0 = -104*p + 15*p + 1921510. Is 170 a factor of p?
True
Suppose 2*u + 2*f - 3 = 9, -5*f = 4*u - 28. Let m(h) = 0*h + 94 + h**3 - 3*h**u + 2*h - 97. Does 12 divide m(5)?
False
Suppose 3*k = -9, 2*a + 4*k + 18 = 5*a. Suppose -o + 14 = 3*j + 1, -2*j = -4. Suppose -a*w = -o*w + 180. Is w a multiple of 4?
True
Let h(w) = 4*w - 32. Let x be h(12). Let l = -16 + x. Suppose 4*p + 3*y + 7 - 199 = 0, l = 2*p + y - 94. Is 9 a factor of p?
True
Suppose 5*t - 20 = -0*t. Let w be t/(-5)*(-5 - 40/(-16)). Is 7 a factor of (5696/80)/(w/5)?
False
Let y = -266 - -270. Suppose y*m = 13 - 1, -2*n + 3*m + 415 = 0. Does 19 divide n?
False
Let y(w) = -24*w**2 + 13*w. Let m be y(2). Let t = 334 + m. Does 27 divide t?
False
Let l = 3347 + -331. Is 72 a factor of l?
False
Let h be 1680/350 + 2/10. Suppose 3*c - 50 = 4*n + 80, -4*n - 222 = -h*c. Is 10 a factor of c?
False
Suppose -10*p - 14 + 74 = 0. Suppose -p*j + 9 = -165. Let t = -3 + j. Does 4 divide t?
False
Suppose 16*l - 61382 = 52330. Does 12 divide l?
False
Suppose -6*l + 396 - 408 = 0. Let b(w) = 193*w**2 + 22*w. Does 14 divide b(l)?
True
Let n(d) = -2*d + 3*d + 19 - 2*d. Let s(c) = 9*c**2 - 105*c + 66. Let a be s(11). Is n(a) a multiple of 15?
False
Let r(s) = -47*s + 339. Is r(-10) a multiple of 4?
False
Let d(n) = 589*n - 7567. Is 27 a factor of d(58)?
True
Let z be (0 + 24)*(-20 + 19). Let y be z/10 - 28/(-70). Is (y/(-3))/(1/432)*1 a multiple of 49?
False
Is 46926/48 + 15/40 a multiple of 3?
True
Suppose 5*q - 24815 = 4*p, -7*q + 8*q - 5*p = 4984. Is 28 a factor of q?
False
Let v(c) = 85*c**3 - 16*c**2 - 7*c + 43. Is 93 a factor of v(7)?
True
Let c(y) = -2*y**2 - 6*y - 3. Let b be c(-2). Let j be -1 + b + 2 + 84. Let r = j + -61. Is r even?
False
Let d(v) = -v**3 - 18*v**2 + 20*v + 21. Let r be d(-19). Suppose -615 = -5*a - r*u + 5*u, 0 = 3*u. Let k = a + -83. Is k a multiple of 4?
True
Let x(b) = 499*b**2 - 16*b - 39. Let z(g) = -167*g**2 + 5*g + 13. Let a(r) = 6*x(r) + 17*z(r). Is a(-2) a multiple of 37?
True
Suppose 0 = -4*o + 87 - 27. Is 2/((-20)/o)*-402 a multiple of 9?
True
Let z(i) be the third derivative of -i**5/60 + 5*i**4/24 + 8*i**3/3 - 20*i**2. Let k be z(7). Suppose 23 = k*f - 1. Is 4 a factor of f?
True
Suppose 2688 = 11*f + 5*f. Let r = f + 897. Is r a multiple of 10?
False
Let f(i) = -i**3 + 6*i**2 + 8*i + 83. Let h = -43 - -35. Does 13 divide f(h)?
False
Let h(m) be the second derivative of m**4/12 + 2*m**3/3 - 19*m**2 - 14*m - 4. Does 5 divide h(-10)?
False
Let q(y) = y**2 - 5*y - 4. Let h be q(9). Let c be ((-9)/4)/((-6)/h). Does 2 divide (c - -27)*(-1)/(-3)?
False
Let t be (90/(-20))/(4/(-5664)*2). Suppose 88*h = 70*h + t. Does 8 divide h?
False
Suppose -x - 6*v + v - 8 = 0, -v - 13 = 4*x. Let a(i) = -i**2 - 6*i - 7. Let d be a(x). Is (-2)/((d/43)/(-1)) a multiple of 13?
False
Let r = -95