oes 15 divide n(13)?
True
Let l = -1009 + 563. Let q = l - -207. Let b = -107 - q. Is b a multiple of 16?
False
Let g = -14483 - -35789. Does 106 divide g?
True
Let x be 6/(-1)*2/(-3). Let v(a) = -a**3 + 9*a**2 - 6*a + 2. Is 22 a factor of v(x)?
False
Let r = -245 + 250. Suppose -3*x + 1028 = 2*b, 2*b + 2392 = r*x + 700. Is x a multiple of 10?
True
Suppose 818 = 5*i - 342. Suppose -k + i = -0*k + o, 3*k - o - 692 = 0. Suppose -37*v - k = -40*v. Is 11 a factor of v?
True
Let b = 7 - 20. Let h = b - 12. Is 5 a factor of h/35 + 1 - (-124)/7?
False
Suppose 0 = 3*t + 4*c - 30314, -103*t - 4*c = -105*t + 20216. Does 15 divide t?
False
Let z(o) = 5372*o**2 - 185*o + 537. Is 15 a factor of z(3)?
True
Let m(i) = -5*i + 34. Let o be m(10). Is (5/(10/(-77)))/(1/o) a multiple of 38?
False
Let i = -9019 + 9583. Does 6 divide i?
True
Suppose -5*i + 3*x + 31248 = 0, -5*i = 4*x - 22675 - 8566. Does 62 divide i?
False
Let q be (766 - -1) + (-78)/13. Suppose -5517 + q = -5*n - 2*l, n - 4*l - 960 = 0. Does 56 divide n?
True
Let p = 84 - 86. Let v be (150/p)/(9/(-15)). Suppose 15 = j + t - v, 728 = 5*j - 2*t. Is j a multiple of 18?
True
Let x(k) be the third derivative of k**4/6 + 32*k**3 + 57*k**2. Does 31 divide x(-17)?
True
Suppose 10 = 5*x, 4*x - 2*x + 101 = 5*f. Let v be ((-9)/f)/(1/(-7)). Suppose 2*h + 8 = 4*h, -5*l - v*h + 432 = 0. Does 28 divide l?
True
Suppose 4*y + 5*m - 6*m + 10 = 0, 4*m = 8. Let d be (0/y)/(2/1). Suppose -3*j + 8*j - 1450 = d. Does 58 divide j?
True
Let t be (-63)/(-36)*116/14*2. Let w = 135 - t. Does 20 divide w?
False
Suppose 7*j - 8*j = 19*j - 87780. Is 11 a factor of j?
True
Let n = -9562 + 24012. Is 25 a factor of n?
True
Let u be (18/(-36))/(1/(-8)). Suppose -5*a = u*m + 10, 2*a + a = 4*m + 26. Suppose -x - 4*o + 3 = 0, -13 = -x + a*o - o. Does 3 divide x?
False
Suppose -3*i - 116 = i. Let g = -78 - i. Is 2 a factor of 11 + 140/g + 1/(-7)?
True
Let u(x) be the second derivative of -x**5/20 + x**4/4 + x**3/2 - 3*x**2 + 11*x. Let o be u(4). Let c(d) = -9*d - 18. Does 24 divide c(o)?
True
Let j(m) = 4060*m + 1183. Is j(3) a multiple of 8?
False
Suppose 0 = 23*p - 19*p - 20. Suppose 10*u = p*u + 15. Suppose 562 - 97 = u*c. Does 31 divide c?
True
Let x be (8/((-16)/(-10)))/(3 - 2). Suppose -3*i - 2*p = x, i - 2*p - 2 = -1. Is (i - -16)*(6 - 2) a multiple of 12?
True
Let a be 6*646*(10 - 285/30). Suppose 15 = 5*m, -4*i - 3*m - 429 = -a. Is i a multiple of 22?
False
Let w(i) = -i**2 - 7*i + 1629. Let u be w(37). Suppose -3*j + 3 + 3 = 0. Suppose -4*v + 0*l + j*l = -46, v = 3*l - u. Is 14 a factor of v?
True
Let w(k) = 35*k**2 - 93*k - 429. Does 12 divide w(-5)?
False
Is (-16 - (-25)/50)/((-1)/110) a multiple of 155?
True
Suppose 2*m - 101 = -s, -s - 63 + 154 = -3*m. Suppose -g - 188 = -141. Let w = s + g. Is w a multiple of 5?
True
Let i = 9111 - 9053. Is i a multiple of 29?
True
Suppose 558885 = 42*k - 17*k + 12*k. Is k a multiple of 53?
True
Suppose 2595 + 18764 = 13*h. Let w = -947 + h. Does 29 divide w?
True
Let t be (-2 + 1 + -8)*(-4304)/(-48). Let g = t + 2403. Is 21 a factor of g?
True
Suppose 0 = -17*n + 16*n - 2*h + 7214, -2*n - 5*h = -14427. Suppose -11*f + n = -0*f. Is 41 a factor of f?
True
Let a(b) = b**3 - 9*b**2 + 9. Let u be a(9). Suppose -5*w - 62 = -4*l - 153, 3*w - u = 0. Let x = -13 - l. Is 4 a factor of x?
False
Let z(x) = x**3 - 5*x**2 + 2*x + 5. Let c be z(3). Let p(t) = 4*t**2 - t - 9. Is p(c) a multiple of 10?
False
Let r be 1 - (-4 + (-225 - (-3 - -8))). Suppose 3*b - r = 1235. Is 14 a factor of b?
True
Let t(y) = -16*y - 30. Let u(k) = k**3 + 2*k**2 - 2*k - 1. Let s be u(-2). Suppose s = -w + 3*o, 3*w + 3*o - 10 = -55. Is 27 a factor of t(w)?
True
Let n(m) = m**3 + 9*m**2 - 8*m + 22. Let c be n(-10). Suppose -c*q = -5*q + 108. Is (-6)/(-4)*(-8)/q*-24 a multiple of 4?
True
Let a = 81383 - 118781. Does 13 divide (-4)/60 + a/(-45)?
False
Suppose 8*c - 11661 + 1108 - 5975 = 0. Does 18 divide c?
False
Suppose 0 = 412*h - 64*h + 3074867 - 14260283. Is 100 a factor of h?
False
Suppose 5*s - 12460 = -5*a, 0 = 3*a + s - 7156 - 332. Is 50 a factor of a?
False
Is 2/(((-78)/(-130))/((-39807)/(-30))) a multiple of 9?
False
Let n be (112/40 - 1/(-5)) + -3. Suppose 3*g + y - 5*y - 779 = n, -5*g + 4*y + 1285 = 0. Is g a multiple of 11?
True
Let s(o) = o**2 + 25*o - 50. Let w be s(19). Let x = w - 240. Is 16 a factor of x?
False
Suppose l + 4*a + 12 = 0, 2*a = -l - l. Suppose -2 + 10 = 4*i - 2*f, -5*i = 4*f - 36. Suppose -2 = 6*u - i*u, 5*u - 295 = -l*t. Does 15 divide t?
True
Suppose -7244 = -61*z - 6150 + 26295. Does 16 divide z?
False
Suppose -6*g - 1 = -7*g. Is -258*(-4 - -3)/g a multiple of 43?
True
Let l(w) = 4*w - 27. Let a = 5 + 3. Let o be l(a). Suppose 4*k - 9*k + 154 = -3*x, 2*k - 74 = -o*x. Does 4 divide k?
True
Suppose 0 = 410*q - 408*q - 8. Suppose -q*h + 108 = 4*i, -2*i - h + 71 = 15. Is 5 a factor of i?
False
Suppose 0 = -27*r + 24*r - 4*x + 1125, -1475 = -4*r + 3*x. Does 7 divide r?
True
Suppose i - 4292 = -i + 4*b, 0 = 2*i + 2*b - 4292. Is i a multiple of 38?
False
Let a be ((-1)/(-6))/((-3)/18). Does 14 divide a*955/(-2) + (-6)/4?
True
Let r be 5/((-5 - 0) + 6). Is 16 a factor of 1426/2 + (12 - r)?
True
Does 21 divide (-25 + 12 + 15)*49/1?
False
Suppose -71*u + 14*u + 4735656 = 45*u. Is 73 a factor of u?
True
Suppose 3*g - 30 = 66. Does 12 divide (42/8)/(g/9728)?
True
Let c(n) = -36*n**3 - n**2 - 11*n + 21. Is c(-5) a multiple of 41?
True
Let i = -67 + 70. Let x be ((-16)/(-30)*i)/((-2)/(-80)). Let o = x - -67. Is o a multiple of 12?
False
Suppose 2*h + 0*o = 2*o - 2066, 0 = h + o + 1039. Does 3 divide ((-12)/16)/(7/h)?
True
Suppose -m = 4*h - 9509, -215*h = 5*m - 216*h - 47587. Does 93 divide m?
False
Is 121 a factor of (2 - (-844)/3)/(788/5910)?
False
Let w(n) = 2*n**2 - n + 2. Suppose -3*a - 4*a - 28 = 0. Let q be (0 - -6) + -2 + -3 + a. Is w(q) a multiple of 4?
False
Let l = 27 - -27. Let o be (8/(-10))/(l/(-405)). Suppose -224 = -4*b + o*k - 11*k, 4*b - 196 = 2*k. Is b a multiple of 12?
False
Suppose -j + 4*w + 5556 = -27566, -99436 = -3*j - 2*w. Does 73 divide j?
True
Let o(d) be the first derivative of 7*d**4/6 + 4*d**3/3 - 7*d**2/2 - 41*d + 35. Let i(k) be the first derivative of o(k). Does 12 divide i(3)?
False
Let s(c) = 40*c - 83. Let n be s(2). Is (0 + 96/28)/(n/(-1344)) a multiple of 91?
False
Let y(n) = -9*n**3 - 20*n**2 - 5*n - 9. Let v(b) = -8*b**3 - 22*b**2 - 4*b - 8. Let g(h) = -7*v(h) + 6*y(h). Does 3 divide g(-17)?
True
Let a = -508 + 802. Suppose 0*j - 3*j = 372. Let k = a + j. Is k a multiple of 37?
False
Let t be 1/(-4) + 3900/48. Let u = 241 - t. Is 11 a factor of u?
False
Let a(s) be the third derivative of -s**6/60 + 41*s**5/120 - s**4/3 + 6*s**2. Let x(p) be the second derivative of a(p). Is x(-11) a multiple of 27?
False
Let t(g) = -20*g**2 - 143*g - 15. Let p be t(-7). Let l(r) = -10 - 8 + 2*r + 5*r. Does 12 divide l(p)?
True
Suppose 18 = 5*a + 3. Is (-42)/49*(0 - 63*a) a multiple of 9?
True
Let o = -73 + 67. Does 30 divide 434 - ((-108)/3)/o?
False
Suppose -f + 3 = -1. Suppose 0 = 4*r - 4 - 4, -4*n + f*r - 308 = 0. Is (-10)/n + (-943)/(-15) a multiple of 21?
True
Is (2 + (-334)/(-10))/(2 - 129/65) a multiple of 59?
True
Is 74 a factor of 3108/24*600/14?
True
Let q(x) = -x**2 - 6*x + 240. Let i(o) = -15*o + 45. Let b be i(3). Does 8 divide q(b)?
True
Let d(r) = -27*r - 24. Let o(j) = 5*j**2 - 13 + 7*j**2 - 2*j + 19*j - j**2 + j**3. Let l be o(-9). Is 12 a factor of d(l)?
True
Let v = 12774 - 9051. Does 192 divide v?
False
Suppose 3*p = 3*c - 2*c - 68, 3*p - 3*c + 78 = 0. Is 11 a factor of (-111)/4*(17 + p)?
False
Suppose 2*a - 1 = 3*g - 3, 4 = 3*g - a. Suppose -16*o + 17*o - 796 = 4*f, g*f - 3892 = -5*o. Is 12 a factor of o?
True
Let n be (3/(-6))/(4/(-40)). Suppose -n*t = -9*t + k + 2738, -t + 682 = k. Is 22 a factor of t?
False
Let b(z) = 390*z**3 - 16*z**2 + 29*z + 32. Is b(3) a multiple of 13?
False
Let f = -5897 + 46032. Is 23 a factor of f?
True
Let b(a) = -3*a**3 + 3*a**2 + 3*a - 3. Let x be b(3). Let j = 48 + x. Let n(o) = o**3 + o**2 - o + 76. Is n(j) a multiple of 19?
True
Suppose 223 = 2*x + 5*f, x + 4*x + 3*f - 548 = 0. Let o = x + -50. Let c = -43 + o. Does 8 divide c?
True
Let n(i) = -i + 6. Let c be n(4). Suppose -2*f = -3*s + 622, 0 = 5*s + 7*f - c*f - 1070.