se -27*n + 3*v + 14244 = -24*n, 7*n = -2*v + 33218. Is 7 a factor of n?
True
Let n(o) = -14*o + 170. Suppose -28*x + 216 = -52*x. Is n(x) a multiple of 37?
True
Let o(d) = 23455*d**2 + 10*d - 8. Let g be o(2). Suppose v - g = -73*v. Is 10 a factor of v?
False
Let p(h) = h**3 + 14*h**2 - 24*h - 33. Let f be p(-15). Suppose -93*l + f*l = 4320. Does 12 divide l?
True
Suppose 0 = -5*c + 5*h + 20, -c - 5 = -4*c - 4*h. Suppose -4*l - c*q = -2*q - 8, 0 = 5*l + 5*q - 25. Does 26 divide (25 - -1)*3/l?
True
Suppose h = -3, 2*h - 52702 = -3*k + 383. Is 14 a factor of k?
False
Let r(c) = 3*c - 55. Let k be r(29). Let m(u) = -u**2 + 43*u + 44. Does 11 divide m(k)?
True
Suppose 0 = -5*c - 109 - 16. Let x = 29 + c. Let z = x - -75. Does 9 divide z?
False
Let f(v) = -v**2 + 5*v - 4. Let u be f(2). Suppose -j - u*j = -w + 2, -4 = -2*w + 5*j. Is (-205)/(-5) - 6/w a multiple of 11?
False
Let w(u) be the third derivative of -u**4/12 + 10*u**3/3 - 71*u**2. Is 10 a factor of w(-5)?
True
Suppose 4*r - 2*k = 24970, 3*k + 7279 + 17690 = 4*r. Suppose 25*a - 2657 = r. Is 19 a factor of a?
False
Suppose 14*f + 48 - 132 = 0. Suppose -863 = -f*d - 125. Is d a multiple of 41?
True
Suppose 2*o - 100 - 855 = -w, 2*o - 4*w = 930. Suppose 3*a - o = -169. Is 8 a factor of a?
False
Suppose 10*w - 31*w = -7*w - 35448. Is 12 a factor of w?
True
Let i = -2904 + 5973. Suppose -c + i = 2*c - r, -c = r - 1027. Is 8 a factor of c?
True
Let q(p) = 326*p + 6516. Let t be q(-20). Let s(b) be the third derivative of -b**6/24 - 2*b**5/15 + b**4/4 + 2*b**3/3 + b**2. Does 24 divide s(t)?
False
Suppose -5*p - 447 - 51 = -2*g, -2*g - 286 = 3*p. Let c = p + 145. Is 47 a factor of c?
True
Let j(p) = -62*p + 1991. Is j(-27) a multiple of 5?
True
Suppose -q + 1 = -3*v, -11 = 3*v + 2*v + 3*q. Let z(s) = -2*s. Let x be z(v). Suppose -4*a = -x*i - 574, 0*i + 145 = a - i. Does 16 divide a?
False
Suppose -11359 = 221*u - 258*u. Does 17 divide u?
False
Let v(y) = 23*y + 11. Let a be v(-3). Let c = a + 18. Does 3 divide (58/10 - 3)/((-4)/c)?
False
Suppose -2*n = 8, 5*w - 3*n = 98030 + 9132. Does 4 divide w?
False
Suppose 2*h = -4*s + 28, -h - 2*h + 35 = -s. Let c(j) = 32*j - 13. Is c(h) a multiple of 53?
True
Let n = -14 + 73. Suppose 3*j - 3*c = 0, -7*j + 3*j = c - 10. Suppose -2*q + 19 = w, 3*w + j*q = -2*q + n. Does 14 divide w?
False
Let u(g) = 104*g - 94. Let q be u(16). Suppose 0 = -7*f + 929 + q. Is 51 a factor of f?
True
Is 46 a factor of 7/((-21)/3) + 5660 + 1?
False
Let c = 9702 + -5576. Suppose -3*r + 4507 = 2*k, -k - 1898 - c = -4*r. Is r a multiple of 35?
True
Let s(y) = 9*y + 268. Suppose 10 = -2*c - 18. Is 13 a factor of s(c)?
False
Let t(y) = 135*y**2 + 14*y - 230. Is 14 a factor of t(11)?
False
Let p(u) = -628*u - 9568. Does 66 divide p(-64)?
True
Let s(p) = -p**2 - 10*p - 23. Let h be s(-7). Let t be (-1468 - -2)*5/(-12 - h). Let n = -448 + t. Does 19 divide n?
True
Let f be (16/(-6))/4 - 8/(-3). Suppose -z + f*l - 19 = 0, -z - 2*z + 2*l = 37. Does 16 divide (111 - -3)*(-6)/z?
False
Suppose 9*l + r = 5*l, 3*l = 4*r. Let a be ((-563)/(-2) - l) + 3/6. Suppose 4*n + 5*p = a, 350 = 2*n + 3*n + 5*p. Is n a multiple of 4?
True
Let r(l) = -3*l**3 - 8*l**2 + 10*l - 30. Let p be r(8). Let t = -1377 - p. Is t a multiple of 15?
False
Let g be 2 + (-4)/(3 - -1) + -22. Let c = g - -126. Is c a multiple of 14?
False
Let d = -525 - -527. Suppose -4*p = -d*z + 1624, 3*z + p - 2269 - 181 = 0. Is 16 a factor of z?
True
Suppose -397*m = -5*n - 400*m + 27844, 3*n - 16676 = 2*m. Is 2 a factor of n?
True
Is 23 a factor of 22235 + 42/(-49)*(2 - 9)?
True
Let h(o) be the second derivative of -4*o**3/3 - 18*o**2 + 13*o - 1. Does 36 divide h(-18)?
True
Does 7 divide (-93)/(-63) + 132/(-99) + 7762/7?
False
Suppose -2*r + 24180 + 8524 = -2*t, -2*r + 32736 = 2*t. Is 39 a factor of r?
False
Does 14 divide (2 + 0)/((-1)/(-1967))?
True
Let f(u) = -u**3 - 2*u**2 + 6*u + 1826. Let b(g) = 35*g - 35. Let k be b(1). Is f(k) a multiple of 22?
True
Let j be (6 + 1)/28*16. Suppose j*m = 5*p - 831, 4*m = -3*p - 0*m + 505. Is 18 a factor of p?
False
Suppose -18*k + 12*k = -1872. Is 61 a factor of (k - (-3 + 7)) + -3?
True
Let o = -30 + 33. Let p be 1*(1 + o) + 0 + 136. Suppose -2*k + p = 104. Is 5 a factor of k?
False
Let k = 1840 + -892. Suppose -3*j = j - 5*w - k, 0 = -3*w + 12. Is j a multiple of 30?
False
Suppose -11 = 3*d - 110. Suppose 90 = 4*w - 2*f, w + 3*f - 5*f = 18. Let c = d + w. Does 11 divide c?
False
Let k(p) = -8*p - 87. Let z be k(-12). Does 72 divide (7069 + -4)/z - 8?
False
Let b be (-4)/(-28) - 10/70. Suppose -n + 217 - 22 = b. Is 39 a factor of n?
True
Suppose -n + 4 = 2*y - 0*y, -4 = -2*y - 3*n. Suppose 7*k - y*k = -315. Let o = k + 111. Is o a multiple of 16?
True
Is 159 a factor of (1 + (-44)/11)*-901?
True
Let s be 6 - (-2578)/(3 + (-318)/102). Does 23 divide (-4)/(-22) - s/209?
False
Let a(c) = 11*c**2 + 39*c + 35. Let u(i) = -6*i**2 - 20*i - 18. Suppose 2*d = 4*d - 14. Let x(n) = d*u(n) + 4*a(n). Is x(-10) a multiple of 3?
True
Suppose 84 = -16*l + 9*l. Let i(f) = f + 102. Is 6 a factor of i(l)?
True
Suppose z = -5*g + 67319, -2*z = 81*g - 80*g - 13462. Is g a multiple of 66?
True
Is 99 a factor of (-19*39/(-65) - 4/10)*45?
True
Let b = 70897 - 42511. Is 249 a factor of b?
True
Suppose -536*f + 531*f = -15. Suppose -3*m - f*y + 7*y = -411, 136 = m - y. Is 8 a factor of m?
False
Let s(c) = -2*c**3 - 3*c**2 - 2*c - 4. Let i be s(-2). Let g be -50 + (2 - (i + -4)). Does 8 divide 6*(0 - g/9)?
True
Suppose 46*f - 582 = -q + 47*f, 4*q - 2318 = 2*f. Suppose 0 = 8*j + 41 - q. Does 5 divide j?
False
Let c(a) be the first derivative of a**4/2 - 4*a**3 + 9*a**2/2 + 46. Does 41 divide c(8)?
True
Let q(z) = z**2 - 12*z + 14. Let a be q(11). Let o be (a/3)/((-2)/(-10)). Suppose o*h + 118 = b - 0*h, -h = -4*b + 567. Is b a multiple of 27?
False
Suppose 10 = -3*j + 2*w - 3, j + 10 = -5*w. Let n be 6 + j - (-278)/2. Suppose -2*x = -5*t - n, 0 = 2*x - 2*t - 124 - 4. Is x a multiple of 16?
False
Let a = 10 + -3. Let m be 8 + (-3 + 1)*1. Suppose m*d = a*d - 39. Is 13 a factor of d?
True
Let t(v) be the third derivative of -v**5/20 + 9*v**4/4 - 20*v**3/3 - 91*v**2. Is 28 a factor of t(16)?
True
Let u(c) be the second derivative of c**3/6 + 29*c**2/2 + 45*c. Let d(j) = j**2 + 5*j + 5. Let p be d(-6). Does 20 divide u(p)?
True
Let d = 3202 + -1908. Is 11 a factor of d?
False
Let d be 3295*(-16)/(-120)*-3. Does 14 divide (-2)/5 - 56/35 - d?
True
Let m = -424 - -441. Suppose 0 = m*h - 18*h + 62. Is 11 a factor of h?
False
Suppose -29608 - 23557 = -35*c. Suppose 0 = -20*d + 13*d + c. Is 4 a factor of d?
False
Suppose -46*s + 54*s = 64. Let k be (3 + -4)*0/(-1). Suppose -x - 3*v + 81 = k, 86 = x + 4*v + s. Is x a multiple of 19?
False
Let i(v) = 90*v - 3. Let h be i(4). Let y = h + -253. Let p = -81 + y. Is p a multiple of 2?
False
Let b = 60 - 104. Let w = 42 + b. Is (-145)/(-3) - w/3 a multiple of 9?
False
Let u(v) = 3*v**2 + 11*v - 4. Let n = 138 + -142. Let h be u(n). Suppose 7*z - 397 - 149 = h. Is z a multiple of 4?
False
Suppose 26*g - 5555 = -29*g + 3465. Does 3 divide g?
False
Is 55 a factor of (2/1 - 452592/(-84)) + -7?
False
Let c(z) = 2*z**2 - 82*z - 304. Is c(52) a multiple of 15?
True
Does 32 divide 33/((-297)/(-90))*(-128)/(-10)?
True
Let s(b) = -5*b**2 + 27*b - 7. Let z be s(5). Suppose 3*j - z = 0, j + 42 - 1375 = 3*r. Let t = 630 + r. Does 13 divide t?
False
Suppose 4*a = 16, -5*g + 3*a - 2795 = -2*a. Let f = g + 1655. Does 44 divide f?
True
Suppose 669*i - 24912 = 660*i. Does 116 divide i?
False
Let l(f) = -f**3 + 19*f**2 + 17*f + 42. Let z be l(20). Let o(p) = -p**3 - 17*p**2 - 63*p - 18. Is o(z) a multiple of 16?
True
Suppose 3*m + 5*b = 723, -b = 3*m - 710 - 1. Suppose -p = -9*p + 16. Suppose -2*s = -2*n - 244, s + p*n - m = -s. Is s a multiple of 12?
True
Suppose 2*n + 24 = 3*l + 10, -5*n = 20. Let x(f) = l*f**2 + 0*f + 3*f + 2 - 7*f + 7*f - 32*f**3. Is x(-1) a multiple of 6?
False
Suppose -22*k + 18*k + 4*j + 84 = 0, 3*j = -3*k + 57. Suppose -k*d + 4764 = 4*y - 24*d, -5947 = -5*y - 3*d. Does 34 divide y?
True
Let z = -31035 + 47997. Is 257 a factor of z?
True
Suppose -29*j + 105603 - 13414 = -12762. Does 3 divide j?
False
Let d(a) = a**3 + 19*a**2 + 15*a + 10. Suppose -o - 3*l = 28, 21*o + 3*l = 16*o -