12?
True
Suppose -2*h + 4*p = 7556, 3*p - 6*p - 3783 = h. Let w(d) = d**3 + 6*d**2 + 7*d + 6. Let i be w(-5). Is i/22 + h/(-99) a multiple of 19?
True
Let x = -39 - -37. Does 12 divide x/3*(-23607)/86?
False
Suppose -4*q = a + 17066 - 55181, -3*q + 28572 = -4*a. Does 51 divide q?
False
Let k be 5/(-3) + (-4)/12. Let h(f) = -41*f - 1. Let w be h(k). Suppose 3*q - 147 = w. Is 19 a factor of q?
True
Let g(h) = h**3 + 9*h**2 - 13*h + 8. Let p be g(-9). Suppose -y = m - p, -400 = 56*m - 59*m + 2*y. Is 10 a factor of m?
True
Let i(h) = 47*h**2 + 46*h - 440. Is i(7) a multiple of 23?
True
Let u(b) = -14*b**2 + b + 12. Let n be u(-3). Suppose 3*i + 100 = -149. Let m = i - n. Is 10 a factor of m?
False
Let s be (-1)/((1 - 0) + 16/(-14)). Suppose 23 - 9 = -s*d. Does 5 divide 20/(-12)*(d - -1 - 2)?
True
Let l(x) = -x**2 - 136*x + 1353. Is l(9) a multiple of 48?
True
Let t = 64 + -57. Let o be ((-24)/(-27))/(20/90). Suppose 0 = -o*d + t*u - 2*u + 528, -2*d - 3*u = -286. Is d a multiple of 14?
False
Let d = 122 + 616. Suppose -n - 4*s - d = -6*n, -2*s - 444 = -3*n. Is 15 a factor of n?
True
Suppose -4*q + 48 = -76. Let v = 46 - q. Is 11 a factor of 2/v + (-656)/(-30)?
True
Suppose 4*k + 2*z - 15 + 9 = 0, -3*z = 5*k - 9. Suppose k = -164*t + 167*t - 651. Is t a multiple of 17?
False
Let v = 67 - -159. Is v/4 - (-10)/(-20) a multiple of 28?
True
Suppose 0 = -4*r + 2*h + 10, -1 - 2 = 3*h. Let z be (11/33)/(r/234). Suppose c - 1 = 3*g + z, g + 105 = 4*c. Is c a multiple of 16?
False
Let f(n) = -2*n**3 + 514 - 216 + 3*n**2 + n**3. Is 20 a factor of f(0)?
False
Suppose -3*y - 3*r = -16497, -11*y - 10988 = -13*y + 3*r. Does 12 divide y?
False
Let t(i) = 29*i**3 + 6*i**2 + 53*i - 141. Is t(3) a multiple of 72?
False
Is 14 a factor of (-107014)/(-13) - 4/104*-4?
True
Suppose 78 = 3*v - 0*v. Suppose x + t = v, -2*x = 2*x + t - 104. Let c = x + -15. Is c a multiple of 11?
True
Let u be 5/((-15)/21)*(0 + 1). Let z(g) = g**2 + g - 9. Let o be z(u). Suppose -19*t + 18*t + o = 0. Is 5 a factor of t?
False
Let z = -5525 + 9837. Is 8 a factor of z?
True
Suppose -3*b + 3144 = -675. Suppose t - 2*m + 11 - b = 0, 6297 = 5*t + 3*m. Is t a multiple of 14?
True
Let i(j) = -32*j**3 + 2*j**2 + 3*j + 1. Let m be i(-1). Is 36 a factor of (-1148)/(-32) - (-4)/m?
True
Let r(f) = f**2 + 9*f + 32. Let o be r(-14). Suppose -2*n = -3*h - o, 4*h + 0*n = -5*n - 113. Let v = 48 + h. Is 8 a factor of v?
True
Suppose -2889 = -72*i + 63*i. Let q = 29 + i. Is q a multiple of 35?
True
Let r = -5189 + 8353. Suppose 17*o + r = 19*o. Is o/8 + (-1)/(-4) a multiple of 33?
True
Let i = -35 - -45. Let u(h) = -h**2 + 18*h - 23. Let c be u(i). Suppose c + 78 = 5*m. Does 18 divide m?
False
Let j = -17721 - -20615. Is j even?
True
Let s = 585 - 589. Is 33 a factor of 44/(s/460*-10)?
False
Suppose 3*w - 16043 = 35*q - 30*q, -4*w + 21484 = 5*q. Does 221 divide w?
False
Suppose -4 = -2*o, -4*o + 2*o + 18058 = 3*f. Is f a multiple of 9?
False
Is (74101 - (19 + -21)) + (6 - -3) a multiple of 32?
True
Is 70 a factor of 1/6 - (48706/(-12) + -1)?
True
Let m(v) = -64*v + 1. Let n be m(1). Let j be n/(-36) - 2/(-8). Let b = 92 - j. Is 18 a factor of b?
True
Suppose 584892 = 34*m + 28*m - 18*m. Does 9 divide m?
True
Let o = 17695 + -8482. Does 42 divide o?
False
Suppose 188*b = -106*b + 139650. Is b a multiple of 5?
True
Let l = 23 + -16. Suppose 27 = 10*o + l. Suppose -o*j + j = -4*r + 381, 0 = j - 3. Is r a multiple of 14?
False
Suppose 1268610 - 654989 + 936494 = 45*c. Is 19 a factor of c?
True
Let x be 40/12*(-18)/(-10). Let f(m) = 15*m**2 - 29*m + 58. Is 26 a factor of f(x)?
False
Suppose -4*v + j - 3564 = 0, 0 = 2*v - 2*j + 6*j + 1800. Does 15 divide (-1)/3 + v/6*-2?
False
Let d(j) = -12*j + 7. Let m(w) = 8*w - 5. Let t(v) = 5*d(v) + 7*m(v). Let g be t(-4). Suppose -g*u + 128 = -12*u. Is u a multiple of 4?
True
Let t(f) = f**3 - f**2 + 82. Suppose 5*s - 3*k = 6, 0*k = 2*k + 4. Is 41 a factor of t(s)?
True
Is 16 a factor of 1900 - -4*3/12*2?
False
Let h(k) be the third derivative of k**6/120 - 7*k**5/60 + 7*k**4/24 - k**3/3 - 14*k**2. Let m be h(6). Is 7 a factor of ((-432)/30)/(-1) - m/10?
True
Is 146 a factor of (-91)/84*8 - -8 - 47525/(-3)?
False
Suppose -52*z + 209755 + 116172 = 82879. Is 114 a factor of z?
True
Let l = 5326 + -3187. Is 23 a factor of l?
True
Let t(h) = -h**2 - 14*h - 22. Suppose -14*u - 84 = -7*u. Let i be t(u). Suppose i*p = 234 - 90. Does 12 divide p?
True
Let i = -4522 - -6257. Is i a multiple of 40?
False
Let u be 7 + (2/4)/(4/8). Let b be (u/(-12))/((-20)/9 + 2). Suppose -b*f - 11 = -92. Is 3 a factor of f?
True
Let d(h) = 2*h**2 - 6*h - 243. Is 27 a factor of d(-36)?
True
Let o(a) be the first derivative of -3*a**4/2 - 7*a**3/3 - 4*a**2 - 10*a + 223. Is 3 a factor of o(-4)?
True
Suppose 0 = -19*v + 20*v - 5. Suppose -5*p + 0 = 3*t + v, -4*p = 4. Suppose 5*h - 41 = -5*x + h, t = -h + 4. Is x a multiple of 5?
True
Let u be ((-270)/21)/(8/(-168)). Suppose 4*a - 26 = u. Let k = a + -39. Is k a multiple of 6?
False
Let r = 90074 - 59990. Does 196 divide r?
False
Let j(b) be the third derivative of b**5/6 + b**4/12 - 16*b**2. Let t be j(6). Suppose 9*x - t = 564. Does 26 divide x?
True
Suppose -23*q = -3*q - 175200. Suppose -q = -152*f + 142*f. Is f a multiple of 12?
True
Suppose 0 = 2*y + 5*o - 25, 4*y + 3*o - 15 + 0 = 0. Suppose -12*v + 3700 + 1148 = y. Is 32 a factor of v?
False
Let d(v) = 7*v**2 + 38*v - 1. Suppose -5*i + 3*q = 31, 5 = i - 4*q + 1. Does 11 divide d(i)?
True
Let u be (-6)/(-36) - 213/(-18). Let m be u*(1/(-8))/((-2)/4). Suppose m*v + 955 = 4*k, 4*v + 236 = 4*k - 716. Is k a multiple of 29?
False
Suppose -2*w = 3*a - 0*a - 2520, 0 = -a - 2*w + 840. Suppose 11*r + a = 16*r. Does 21 divide r?
True
Suppose 3*h + 13031 = 7*v - 5*v, -5*h = -v + 6491. Does 45 divide v?
False
Let d(i) = -305*i**3 + 2*i**2 - 2*i + 3. Let o(p) = -2*p**3 - p**2 - 1. Let r(z) = d(z) + 3*o(z). Is r(-1) a multiple of 26?
True
Is ((-30)/(-9))/(8/239652*9) a multiple of 21?
False
Let u(h) be the first derivative of -h**4/2 - 4*h**3/3 + 16*h**2 - 14*h - 154. Is u(-8) a multiple of 13?
False
Suppose -4*g - 3*r = -6*r - 23, 5*g + 4*r + 10 = 0. Suppose -3*i = 5*q - 15, -2*q + 12 = i + g*q. Let p(x) = -x**3 - x + 135. Does 13 divide p(i)?
False
Let s = 1617 + -2446. Let o = s - -1163. Does 14 divide o?
False
Let m(r) = -r**3 - 45*r**2 - 5*r - 60. Suppose 301 = -20*x - 599. Is 46 a factor of m(x)?
False
Let t(n) = 842*n + 950. Is 34 a factor of t(21)?
True
Let l(a) be the third derivative of a**5/30 + a**4/8 - a**3/2 - 4*a**2. Let t be 1/(5/60) - 5. Does 34 divide l(t)?
False
Suppose 72*o = 75*o + 5*q + 2, -2*o = 2*q + 4. Let a(j) = -1. Let t(n) = 6*n**2 + 8*n - 3. Let l(u) = -3*a(u) + t(u). Is l(o) a multiple of 9?
False
Suppose -4*p + 3*m = -10451, 5*p + 4*m = 9498 + 3527. Is 85 a factor of p?
False
Suppose -4*p + 17130 = -2*s, -6*p + 1007*s - 1006*s = -25681. Does 6 divide p?
False
Let t = -13783 + 21604. Does 168 divide t?
False
Suppose -3*r + 5*o = 59, -5*o = -4*r - 80 + 8. Let z = r - -326. Does 4 divide z?
False
Let m be (0 + 12)*916/24. Suppose 32*k - 464 = 28*k + 4*u, -u - m = -4*k. Does 9 divide k?
False
Suppose 0*s = 5*s + 20, 2*s + 58 = 5*y. Let n be (y/5)/1 + 496. Suppose 322 = 4*d - n. Does 41 divide d?
True
Suppose 19*y = 24*y + 125. Let f be 5/y - 1381/(-5). Does 15 divide (f/5 - -5) + (-2)/10?
True
Suppose -18*j = -11*j - 224. Suppose -j*b + 160 = -27*b. Is b a multiple of 3?
False
Let h(x) = -3*x - 22. Suppose 11*a - 15*a = 20. Let z be ((-2)/a)/(10/(-450)). Is h(z) a multiple of 10?
False
Suppose 39 = -10*a - 71. Does 39 divide 11/(a/78)*(-13)/13?
True
Let b(i) = 77*i + 9908. Is 48 a factor of b(-113)?
False
Let m = -34861 - -49027. Is m a multiple of 124?
False
Let x(s) = s**2 - 2*s - 63. Let k be x(-7). Suppose k = -4*w + 1244 + 376. Is 19 a factor of w?
False
Let l(y) = -y**2 - 13*y - 16. Let c be l(-11). Let w be (6/(-9))/(c/369). Let a = w + 61. Does 13 divide a?
False
Suppose 104*b = 103*b - 10. Is (-6)/b + 24599/85 a multiple of 10?
True
Let o(b) = -21*b - 19. Let k(y) = -295*y - 265. Let w(l) = -4*k(l) + 55*o(l). Let t be w(3). Does 56 divide (-211)/((-1)/3 + (-15)/t)?
False
Let h = -75 - -280. Let k = h - -194. Does 11 divide k?
False
Suppose -4*l - 2*d = -2, -4*d + 7 - 3 = 2*l