24/(12/(-5) - (-13 - -11)). Suppose -3*p - 306 = -3*g, -2*g - g = 4*p + 387. Let l = y - p. Does 14 divide l?
False
Let r be (-18)/72 - 114250/(-8). Suppose -17993 - r = -33*j. Does 11 divide j?
False
Suppose -5188 = -12*z + 9*z + 5*p, 3*z - 5244 = -3*p. Is z a multiple of 6?
False
Let a(z) = -5*z**3 + 130*z**2 + z - 79. Is 93 a factor of a(25)?
False
Let z be (-4)/(-3)*(11 + -8). Suppose 70 = -2*i - 5*s, 0*s - z*s = -5*i - 109. Is 9 a factor of (-6 - 155/i) + 1168/10?
True
Suppose -41 = 10*o - 11. Let j(b) = -b**3 - 4*b**2 - 8*b - 3. Let p be j(o). Does 13 divide 1462/p - 5/(-30)?
False
Let h = -3421 - -4229. Is h a multiple of 8?
True
Suppose 2*q + 16 = -5*j + 36, 0 = -2*j - q + 9. Suppose 16*y = 12*y + j*h + 232, -5*y + 2*h = -292. Is y a multiple of 4?
True
Let y = -20 + 24. Suppose -2*n + y*h - 7 - 3 = 0, -4*n - 16 = -4*h. Is 1/n - (-1544)/24 a multiple of 16?
True
Suppose 2*s + 269*z = 274*z + 723, -4*s + 1454 = -2*z. Does 2 divide s?
True
Let b = -9158 + 14404. Is 66 a factor of b?
False
Suppose 0 = 5*x + 3*o + 131, 75 = -3*x - o - 6. Let j = x + 37. Let c = 95 + j. Is 12 a factor of c?
False
Let c be 5/(-1 - (-17)/16*1). Suppose a - 3*a = 2*f - c, 4*a = -f + 49. Is 6 a factor of f?
False
Suppose -2*o + 0*o - 48 = 0. Let u be 18/o - 150/(-8). Is 9 a factor of u - -3 - (-1 + 4)?
True
Let k = -35 - -8. Let q(y) = -3*y**3 + 8*y**2 - 21*y + 84. Let x be q(4). Let l = k - x. Is 12 a factor of l?
False
Suppose 4*u - 4*p = 4000, -2*u + 4*p = -p - 2015. Let t = u + -761. Does 2 divide t?
True
Let c be 2/10*(-50)/(-4)*2. Suppose 0 = -f - c*v + 17 + 10, 5*f - 2*v = 243. Let q = 92 - f. Is 7 a factor of q?
False
Suppose -2*j + d - 56243 = -4*j, 0 = 2*j - 3*d - 56223. Is j a multiple of 24?
False
Suppose -14*p + 17*p - 1080 = 0. Suppose -5*s + 428 = 3*u, -7*s + 3*s + p = -2*u. Does 61 divide s?
False
Let r be 40/(-70) - 32/(-7). Suppose r*f - 178 = -2*a, 14*f - 17*f - 79 = -a. Is 2 a factor of a?
False
Does 12 divide 3400 + 156/(-13) - 1?
False
Let m(z) = z + 2. Let l be m(3). Suppose 3*n + 3*v + 6 - 3 = 0, n = l*v + 29. Suppose 4*i + 93 = 3*x, -3*x - 30 = -n*x + i. Does 9 divide x?
True
Suppose 8*c - 12*c + 12 = 0. Suppose 15 = -c*r, 0 = 4*v - 8*r + 5*r - 19. Let s(m) = 44*m. Is 11 a factor of s(v)?
True
Let w be (-670)/(-8) + 9/(-12). Let a(v) = -v**3 - 32*v**2 + 3*v + 104. Let l be a(-32). Let k = w + l. Is 17 a factor of k?
False
Suppose -56*s + 602116 = 73780 - 33344. Is s a multiple of 118?
True
Let p(v) = 750*v - 7535. Does 24 divide p(15)?
False
Is 6 a factor of 12/(-2)*6/9 + 1846?
True
Suppose w - 21*w + 17048 = -1672. Does 12 divide w?
True
Suppose -5*m = 3*o - 1, 0 = -o - 0*m + 5*m + 27. Suppose 3*n = o*n. Suppose -5*c + 4*y = -n*c - 55, y = -c + 20. Is c a multiple of 6?
False
Suppose 85*t - 330463 = -182538 + 256930. Is t a multiple of 11?
True
Let a(q) be the first derivative of q**3/3 - 5*q**2 + 60*q - 72. Does 27 divide a(22)?
True
Suppose 0 = -21*w + 20*w + 38. Suppose 282 + w = 20*m. Is 8 a factor of m?
True
Let i = 200 - 195. Suppose 0 = i*d, 6*d + 1260 = 5*c + 3*d. Does 28 divide c?
True
Suppose 6*u + 6684 = 696. Let x = -614 - u. Is x a multiple of 8?
True
Suppose -154*d + 70*d + 679476 = 0. Is d a multiple of 58?
False
Let k(s) = -15*s - 49. Let r(m) = -15*m - 49. Let x(l) = -6*k(l) + 5*r(l). Let n(q) = -5*q - 16. Let p(f) = -11*n(f) - 4*x(f). Is p(-10) a multiple of 8?
False
Let f(j) = -j**3 + 16*j**2 - 12*j + 18. Let r be f(15). Let y = -63 + r. Suppose -2*n - t - 23 + 80 = y, -5*n + 145 = 5*t. Is n a multiple of 4?
True
Suppose 0 = -11*u - 0 + 22. Does 12 divide ((-23)/((-69)/1044))/(u/6)?
True
Let m be -4 + 1/5 + (-8)/40. Does 11 divide (m/(-6) + 203/42)*32?
True
Let y = -121 - -132. Suppose y*o - 35*o = -2472. Is o a multiple of 42?
False
Let v = -8388 + 9050. Is v a multiple of 3?
False
Let q = 271 - 389. Let i = q + 120. Does 31 divide (-606)/(-15)*(12 - 2)/i?
False
Let r(s) = 6475*s**3 + 7*s**2 - 20*s + 7. Is 9 a factor of r(2)?
True
Let r(b) = 2*b - 11. Let p be r(9). Let x = 145 + p. Suppose 0 = 4*f - x - 56. Is f a multiple of 13?
True
Suppose 9*n + 48 = -6. Let p be n/(-4 + 2) - (-3)/1. Is (1098/(-4))/(-3) + (-3)/p a multiple of 10?
False
Let l(p) = -p - 60. Let s be l(0). Let y be (-34)/(-10) + 4/(s/(-9)). Suppose -y*b + 11 = -5. Does 2 divide b?
True
Let c = 50425 - 11341. Is c a multiple of 37?
False
Let x = 149 - 142. Does 7 divide (-1 - (x - 7)) + 50?
True
Suppose -3*f - 924 = -4*q - 4*f, -q = 4*f - 231. Let x(s) = 57*s - 5. Let m be x(-2). Let o = q + m. Is o a multiple of 8?
True
Let u(o) = 3*o**2 - 10*o - 17. Let i be u(-8). Let b = i - 199. Does 5 divide b?
False
Let w(c) = -24*c**2 + 6*c - 13. Let y be w(4). Let v = -104 - y. Suppose v + 139 = 6*u. Does 13 divide u?
False
Does 13 divide (10 - 735/(-42))*(1 - (-21404)/20)?
True
Let h(n) = -n**3 - 12*n**2 + 10*n - 9. Let r be 4/18 + (-585)/81. Let l(c) = c**2 + 8*c - 6. Let d be l(r). Does 10 divide h(d)?
True
Is 10 a factor of (-7)/(-336)*6*44*60?
True
Let h(p) = -p**2 + 7*p - 1. Let s be h(7). Is 13 a factor of (s - -348) + (-14 - -19)?
False
Let m(y) = 88*y + 1606. Is 46 a factor of m(22)?
True
Let u be (2 - -2) + -3 + 7. Let l be (4293/12)/(3/u). Does 25 divide (l/265)/((-107)/110 + 1)?
False
Suppose 0 = -2*w - 2, -3*q - 53 = -5*q - w. Let l = q - 23. Suppose -10 = -v + l. Is v a multiple of 14?
True
Let v be 10/(-2)*78/(-65). Is ((-282)/(-18) - v)*81 a multiple of 20?
False
Let h(a) = 75*a - 46. Let s be h(20). Let f be s/5 + 3 + 42/(-15). Suppose 2 = 2*g, 3*z + 3*g = -0*z + f. Is z a multiple of 16?
True
Is 28 a factor of 1/14*(0 - -2) + 15445885/637?
True
Suppose -7*b = -2*b - 500. Let l = b + 2. Does 37 divide l?
False
Let i(a) be the third derivative of a**5/15 - 5*a**4/8 + 2*a**3 + 10*a**2. Let u be i(4). Is 9 a factor of 2/u + 5873/56?
False
Suppose -5*u = 5*g - 2*g + 40, g - 3*u = 10. Let t(m) be the second derivative of -m**5/20 - m**4/3 - 2*m**3/3 - m**2 + 804*m. Is 7 a factor of t(g)?
False
Suppose 6*p - 341 = 931. Suppose -9*w + 11*w - 4*z - 374 = 0, -3*z + p = w. Is w a multiple of 15?
False
Suppose -909*i + 7188 = -906*i - 3423. Is 3 a factor of i?
True
Suppose -42*c = -41*c + 6. Let f(g) = 6*g**2 - g - 15. Does 6 divide f(c)?
False
Let u be (0 + (-10 - -2))/(-2). Suppose 0 = -2*z + 3*a + 585, 2*z - 551 = -u*a - 1. Is 27 a factor of z?
False
Let p(x) = 2677*x**2 - 213*x - 211. Is p(-1) a multiple of 24?
False
Let n be 0 + 1290 + (-2 - -3). Is 31 a factor of -6 - (-8 - n) - -9?
True
Suppose -2*j - 10 = 0, 14 + 12 = -2*b - 4*j. Let t(m) = -11*m**2 - 5*m + 1. Let c(d) = d + 1. Let o(x) = -5*c(x) - t(x). Does 16 divide o(b)?
False
Let j(l) = -l**2 + l + 29. Let b be j(0). Suppose -189 + 66 = -p. Suppose 8*s - b = p. Is 9 a factor of s?
False
Suppose 0 = -4*u + 3*u + 5*s + 9, 5*u = 4*s + 24. Suppose 20*l = 21*l, -l - 7232 = -u*a. Is a a multiple of 102?
False
Suppose 65046*j + 27588 = 65047*j. Is j a multiple of 19?
True
Let y(k) = -5*k**2 - 5*k - 10. Let l(j) = -25*j**2 - 28*j - 49. Let m(g) = 2*l(g) - 11*y(g). Does 11 divide m(5)?
True
Let q(l) = l**3 - 15*l**2 - 166*l + 32. Is 77 a factor of q(24)?
True
Let z(y) be the second derivative of -1/20*y**5 - 5/4*y**4 + 0 - 7/3*y**3 - 15*y + 11/2*y**2. Is 3 a factor of z(-14)?
False
Is 32 a factor of (-3236*(-13 + 11))/((-3)/(-3) + 1)?
False
Is 90 a factor of 35346/3 - (-23 - -13 - -2)?
True
Let a(b) = -697*b - 850. Does 30 divide a(-8)?
False
Let z(n) = n**3 - 3*n**2 - 3*n - 4. Let g be z(-5). Let s be (-42)/189 - (844/9 - -1). Is 8 a factor of s/38 - g/2?
False
Suppose 127 - 145 = -6*z. Suppose -2*j + 44 = 5*d, -72 = -3*j - 2*j - z*d. Does 5 divide j?
False
Let n be (-3)/(-2) - 2/(-4) - 2. Suppose n = 7*m - 9*m - 8. Is (131*(-1)/m)/(1/4) a multiple of 31?
False
Let c(p) be the first derivative of p**3/3 - p**2 - 22. Is 21 a factor of c(-7)?
True
Let l = -237 + 244. Let f(q) = 28*q - 105. Is 10 a factor of f(l)?
False
Let w be 9/(-3)*1/(-3). Is w*-2 + (6 - -38) a multiple of 2?
True
Let i(t) = -t**3 + t**2 + 4*t + 4. Let h be i(-3). Suppose 4*y = -2*d + 59 - 7, 12 = d - 5*y. Suppose 24*l = d*l + h. Is l a multiple of 6?
False
Let c = -11665 - -16664. Does 14 divide c?
False
Let h(c) = -42*c + 70. Let q(s) = -83*s + 141. Let y(o) = -7*h(o) + 3*q(o). Is y(2) even?
False
Let x(u) = -9*u + 0*u**2