factor of n*6 + 19 + -19?
True
Suppose 156*n + 105 = 161*n. Does 23 divide 9*(n*3/27 - -2)?
False
Let p be (-15846)/42 + (-1 - (-9)/7). Let z(q) = 65*q**3 + 4*q**2 - q - 4. Let t be z(2). Let n = t + p. Is 17 a factor of n?
True
Let b be (-20)/(-40) - (-9615)/6. Does 14 divide -5 + 4 + b + 2?
False
Let y(r) = 126*r - 1. Let u be y(-1). Let g = 181 + u. Is 27 a factor of g?
True
Let j(g) be the first derivative of g**3/3 - 4*g**2 + 24*g - 26. Is 24 a factor of j(12)?
True
Suppose -r + 7 - 2 = 0. Suppose -r*i = -0*i - 60. Is 16 a factor of (27/i)/9 + 686/8?
False
Let a(v) = -31 + v**2 + v**2 - 86 - 9*v + 12*v. Is a(-10) a multiple of 7?
False
Suppose 295680 = 6*u + 42*u. Is 10 a factor of u?
True
Let v(o) = 182*o**2 + 7*o + 102. Is v(-6) a multiple of 124?
False
Let o(c) = 70*c + 81. Let i be o(5). Is i - 6/(6/(-1)) a multiple of 18?
True
Suppose d + 25356 = 6*y - 52922, -5*y + 3*d = -65223. Is 20 a factor of y/21 - (-6)/(-21)?
False
Let h(p) = -38*p**2 + 49*p**2 + 20*p**2 + 4*p - 31 - 16*p. Is 34 a factor of h(-4)?
False
Let o(d) = 177*d + 9. Let m(j) = 355*j + 18. Let k(b) = -4*m(b) + 7*o(b). Does 33 divide k(-2)?
False
Let k be 6 + 1 + 21 + -26. Is 13 a factor of -1*k*(-9 + 40/16)?
True
Let o = -129 - 33. Let y(u) = -u**3 + 10*u**2 + 30*u - 51. Let k be y(9). Let h = o + k. Is h a multiple of 31?
False
Let x(c) = -26*c - 270. Let l be x(-12). Suppose -l*g = 5135 - 34367. Does 87 divide g?
True
Does 19 divide (-20)/2 - (112 - 24613)?
True
Let i(g) = -3359*g - 10746. Is 48 a factor of i(-6)?
True
Let r(u) = 2*u + 61*u - 41*u + 118*u. Is 40 a factor of r(4)?
True
Suppose -1903 = -4*q + 1305. Suppose 6*t - q = 782. Does 11 divide t?
True
Suppose -2*l - 1143 = -11*l. Let t = l - 130. Is (t - -4)*229 + -4 a multiple of 25?
True
Let a(l) = -l + 2. Let d be a(2). Suppose 0 = -q - 5*b - 27, -4*b + d*b - 20 = 0. Is 136/(-6)*6/q a multiple of 7?
False
Let o(b) = 3*b**2 + 11*b - 5. Suppose 0 = y + 2 - 4. Suppose -5*m + 5*a - 22 = -y, 2*m - 3*a = -7. Is 5 a factor of o(m)?
True
Let p(v) = 3*v**2 - 71*v - 297. Is 11 a factor of p(-24)?
True
Suppose 0 = 5*f + 3*v - 16, -3*f - 2*v = 3*v. Let t be 2 - (-24)/(-10) - 28/f. Let m(a) = a**2 + a - 5. Does 5 divide m(t)?
True
Suppose 0 = -2*a - 5*i + 2484, 24*a = 24*a - 3*i. Is 16 a factor of a?
False
Suppose -2*r = 4*r - 324. Suppose 5*z - 22 - 83 = 5*y, -5*y - r = -2*z. Does 2 divide z?
False
Suppose -4*b = -12*b + 80160. Is b a multiple of 49?
False
Let y be 1*3 - (-52)/(5 - 9). Let k(w) = -3*w**3 - 30*w**2 + 2*w + 6. Let t be k(y). Is (-4)/t*(5 - -9) a multiple of 4?
True
Suppose -3849*j + 198336 = -3837*j. Is 15 a factor of j?
False
Let k(g) = g**3 + 9*g**2 + g. Let h be k(-7). Let p = h + -61. Is 29 a factor of -1 + 6/2*1460/p?
True
Suppose 6*g - 5*g = -9. Let c = -18 - g. Is 15 a factor of 3*(-39)/c*10?
False
Let x = 14 - -4. Does 19 divide 4/x + 12296/72?
True
Let m(n) = -2904*n - 304. Is m(-2) a multiple of 128?
True
Is 26 a factor of (2/6)/(16/6747264*24)?
False
Does 11 divide 30/(-6) - (-13438 + -9)?
True
Let x(d) = d**2 - d - 2. Let o be 15 + -12 + (-1 - -5). Let r be x(o). Let z = -4 + r. Is 14 a factor of z?
False
Suppose t = 5*q + 16815, -4*q - 17239 = 4*t - 84307. Is 12 a factor of t?
False
Suppose 0 = -11*d - 4*d + 3075. Let w = d - -187. Does 98 divide w?
True
Suppose 2*b - 22 = 5*x - 226, -3*b = x - 51. Let o = 294 - x. Is o a multiple of 21?
True
Suppose -550 = -4*j + 5*t, -6 = 57*t - 54*t. Is j a multiple of 4?
False
Suppose -179 - 51 = -5*d. Let b = d - -313. Let o = b + -163. Does 35 divide o?
False
Let b = -53 - -52. Is 100 - (3 - 6 - -2)/b a multiple of 7?
False
Let o(p) = -p - 3. Let l be o(-3). Suppose -b - 4*b = l. Suppose 0 = -4*d + 12, 3*d + 51 = -b*i + 2*i. Is 15 a factor of i?
True
Let h(n) = 44*n + 2807. Does 13 divide h(-9)?
False
Let f be 20/5*6 + 3. Let o = f - 23. Let q(m) = m**3 - 3*m**2 - m - 2. Is 10 a factor of q(o)?
True
Is -2 - -4 - -4 - 17456/(-4) a multiple of 10?
True
Does 9 divide -8 + 12 + (-3)/(-7) + (-45744)/(-84)?
True
Suppose -5*b - 14*a + 12*a + 636 = 0, 0 = b + a - 126. Suppose b*j - 132*j + 28 = 0. Is j a multiple of 7?
True
Let h(r) = -8*r - 17. Let s be (-3 - -2)*(-28)/(-7). Let z be (-12)/1 - 1*s. Does 39 divide h(z)?
False
Suppose 0 = 4*u - 1270 - 70. Let b = 384 - u. Is 7 a factor of b?
True
Suppose v + 2025 = 4509. Is 9 a factor of v?
True
Suppose -9*f + 10626 = -5*f + 2*n, 3*f = -5*n + 7959. Does 6 divide f?
True
Suppose -35*r = 3*t - 34*r - 6171, 8261 = 4*t + 5*r. Does 71 divide t?
False
Suppose 28*i - 25*i - 108 = 0. Let s = i - 33. Let b(g) = 36*g + 6. Is 19 a factor of b(s)?
True
Let d(g) be the third derivative of 7*g**5/60 - g**4/6 - 2*g**3 + 3*g**2 - 4*g. Does 27 divide d(6)?
True
Suppose 218*c - 212*c + 24 = 0. Is 2 a factor of -5 - (-1 - 19) - c/2?
False
Suppose 8 = 4*f - 4*r - 0, 10 = 5*f - 2*r. Let p = 552 + -525. Suppose -50 = -f*b + 2*y, -2*y + 0*y - p = -b. Does 3 divide b?
False
Suppose 0 = 3*n - 5*n + 2*w + 554, 3*n + 5*w = 831. Let m = n - 95. Is m a multiple of 13?
True
Suppose 2*h + 3*i - 51659 = 0, -4*i - 3642 = -5*h + 125609. Is 19 a factor of h?
False
Let a(b) = -2*b - 74. Let s be a(22). Let h = 68 - s. Is 13 a factor of h?
False
Suppose -18*a + 19 = 361. Is 1/4 + a*104/(-32) a multiple of 59?
False
Let j(f) be the second derivative of f**4/12 + f**3/2 - 11*f**2/2 + 23*f. Is 5 a factor of j(6)?
False
Does 26 divide (-3)/((-45)/400127) + 280/(-2100)?
False
Suppose -r - 5*p + 14 = 0, 5*r - 31 = 4*p + 39. Suppose r*f + y = 13*f + 625, f - 2*y - 640 = 0. Does 12 divide f?
False
Suppose -32*y + 19*y = -26*y + 137332. Is y a multiple of 19?
True
Suppose -3*f - 7*d - 110 = -6*d, -190 = 5*f + 5*d. Let i = f + 36. Suppose q + 0*k + 2*k - 50 = i, 3*q = 5*k + 139. Does 4 divide q?
True
Let f(w) = -w**2 - 4*w - 7. Let n(j) = -5*j**2 - 4*j - 4. Let i be n(-1). Let k be f(i). Does 15 divide (0 - -10)/(9/((-810)/k))?
True
Let d(o) = -6*o**3 + 6*o**2 + 5*o + 2. Let x be d(-4). Suppose 50 = -4*h + x. Does 13 divide h?
False
Let i = 241 + -236. Suppose 4*j - 2*u = 116, -j = -i*j - 5*u + 116. Does 10 divide j?
False
Let h(q) = -45*q + 1611. Is 80 a factor of h(-48)?
False
Suppose 6*r - 21 = -3. Suppose -556 + 169 = -r*z. Is 28 a factor of 1/(-4) + z/4?
False
Is (165/44 + -4)*-11108 a multiple of 16?
False
Suppose -28 = 5*i - 63. Let n(f) = 5*f - 17. Is n(i) a multiple of 18?
True
Suppose -3*p - 2*w = -10, -2*p + 6*w - 2*w + 28 = 0. Suppose -p*h + 1185 + 1503 = 0. Is 7 a factor of h?
True
Let x(c) = 4*c**3 - 2*c**2 + 3*c - 2. Let n be x(1). Suppose n*z - 73 = -2*z - 2*d, 3*d - 72 = -5*z. Does 3 divide -5*(-3)/z - -8?
True
Let y(s) = 3*s - 9 - 2*s + 1 - 1. Is 9 a factor of y(25)?
False
Suppose t - 5*h = -3*t - 44, -t + 14 = 5*h. Is (-3)/(18/t) + 162 a multiple of 12?
False
Suppose -2*f = -2*c + 72, -4*f + 129 = c + 2*c. Let m = 9 + c. Does 25 divide 58/29 - m/(1 + -2)?
True
Let j(l) = l**2 + l - 1. Let p(f) = 3*f**3 + 7*f**2 - 2*f - 2. Let w(h) = j(h) + p(h). Does 7 divide w(3)?
True
Suppose u = 4*i - 2*i - 65, i - u - 33 = 0. Let p(x) = x + 3. Let l be p(-2). Let w = i - l. Is 10 a factor of w?
False
Let t(o) = 7*o**2 + 48*o + 852. Let d(l) = 4*l**2 + 24*l + 426. Let c(m) = -5*d(m) + 3*t(m). Is 26 a factor of c(0)?
False
Let h be (-2 + 3*12)*1. Suppose -h = o - 2. Does 13 divide 156*(o/(-12) + -2)?
True
Suppose 108*l - 518613 = 368823. Does 83 divide l?
True
Suppose 3*w - 29 = 5*o, o + 35 = 4*w + 2. Let s(g) be the first derivative of 5*g**2/2 - 5*g + 371. Is 7 a factor of s(w)?
True
Let y(t) = 4*t**2 - 12*t - 7. Let x be y(16). Suppose 246*u = 251*u - x. Is u a multiple of 15?
True
Let z be (51272/(-408))/((-1)/3). Suppose -4*y - y + 3*v = 1035, y - 2*v = -214. Let o = z + y. Is 11 a factor of o?
False
Let a(r) = -3*r**2 + 97*r + 218. Let g(j) = j**2 - 48*j - 109. Let n(y) = 2*a(y) + 5*g(y). Is n(-29) a multiple of 48?
True
Suppose -422*y = -424*y, 4959 = i + 3*y. Is i a multiple of 4?
False
Is (-1783 - -11)/((-12)/18) a multiple of 21?
False
Suppose -65*y + 28*y + 1554 = 0. Suppose -y*s = -59*s + 10880. Is s a multiple of 24?
False
Suppose 122*n - 1148265 - 636653 = 691560. Is 101 a factor of n?
False
Let g(z) = 59*z**2 - 33*z - 644. Is g(-20) a multiple of 123?
True
Is 31 a factor of 1488 - (2 - 4) - (42 - 26 - 14)?
True
Let s = -170 + 2522. D