e
Suppose -2*p - p - 195 = 0. Let y = p - -151. Does 15 divide y?
False
Let l be ((-2)/4)/((-19)/2280). Suppose 3*n + 3*n - l = 0. Does 9 divide n?
False
Let b = 6 + -4. Suppose -1 = 3*l - 2*h + 1, 3*h - 22 = -5*l. Suppose 34 = 5*k + 4*n, 5*k - b*n = l*n + 26. Is k a multiple of 6?
True
Suppose -41 - 109 = 5*s. Is 5/(s/(-183))*2 a multiple of 17?
False
Let f(n) = n**2 - 9*n + 1. Let i = 58 - 48. Is 6 a factor of f(i)?
False
Is 18 a factor of ((-21)/6)/(1/(-8))?
False
Suppose 2*x - t = 1185, 2*x + 4*t = 7*t + 1195. Does 5 divide x?
True
Suppose 5*f - 368 = 3*s, 3*s + f - 3*f = -356. Is 22 a factor of (s/(-6) - (-4)/(-3)) + 4?
True
Let n = 60 + 111. Suppose 2*f - 92 = -4*i, 2*i + n = 4*f - 3*i. Is 11 a factor of f?
True
Suppose 115*h - 2255 = 104*h. Does 20 divide h?
False
Let n(q) = 5 - q + 3*q**2 - 4*q**3 + 3*q**3 + 4*q**2. Let g be n(7). Is 13 a factor of ((-6)/18)/(g/156)?
True
Suppose k - 12*d = -17*d + 85, 3*d - 513 = -5*k. Is 11 a factor of k?
False
Suppose 6*o + 13*o = 1596. Is o a multiple of 5?
False
Suppose 5*j - 6 = -21. Is 18 a factor of (12/7)/(j/(-63)) + 0?
True
Let l = -220 + 645. Is 5 a factor of l?
True
Let u(m) = -m**3 - 7*m**2 - 9*m + 8. Let l be u(-5). Suppose -5*n - q + 845 = 0, -l*n + 2*q + 223 = -271. Is 21 a factor of n?
True
Let r be (-65)/7 + (-4)/(-14). Let q(x) = -x**2. Let b(g) = -g**2 + 6*g - 1. Let l(z) = b(z) - 2*q(z). Is l(r) a multiple of 13?
True
Suppose 3*j + 86 = 4*g, j = -6 + 4. Suppose 3*p - g = -5*q + 4*q, 0 = 3*p - 3*q - 36. Is p a multiple of 6?
False
Let v = 18 - 12. Let z be (-478)/(-3) + 4/v. Suppose -5*m = -10*m + z. Is m a multiple of 13?
False
Let c = -42 - -45. Suppose -7*y + 4*y + c*i + 30 = 0, -4*y + 3*i = -36. Does 6 divide y?
True
Suppose 16*f + 1365 = 16853. Is 22 a factor of f?
True
Suppose 8*b - 24 = n + 4*b, 5*n = -b - 162. Let y = -2 - n. Is y a multiple of 9?
False
Suppose -w - 49*q = -53*q - 736, 3*w - 2242 = -5*q. Does 54 divide w?
False
Suppose 5*a + z = -z + 649, 2*a = -z + 260. Let b be (-90)/(-54) - (-1)/3. Suppose 69 = b*n - a. Does 33 divide n?
True
Suppose 6*q - q = 10. Suppose -3*m - q*m + 185 = 2*k, -179 = -2*k - 3*m. Is k a multiple of 17?
True
Let y(z) = 2*z**2 - 18*z + 2. Let d be y(9). Does 8 divide -3 + 55 + 1*d?
False
Suppose o - 94 = -w, 12 - 2 = 2*w. Is o a multiple of 3?
False
Let m(n) = n**2 - 6*n + 3. Let u be m(6). Suppose 5*t = q - 122, -5*t + 268 = 2*q - u*t. Is 13 a factor of (q/8)/((-1)/(-2))?
False
Suppose 0 = 2*y + 2*g + 238, y - 3*y + 5*g - 217 = 0. Let d = y + 203. Is d a multiple of 18?
False
Suppose 14*l + 230 = 16*l. Let b = l - 0. Does 15 divide b?
False
Let t(c) = -7 - c + 10 + 9. Let m be t(8). Suppose -4*y + 88 = -4*z, -m*y + 73 = -z - 0*z. Is 17 a factor of y?
True
Let j be ((-214)/(-4) + 0)*-2. Let x = j - -207. Is 29 a factor of x?
False
Let s = -43 + 47. Let p = s + 72. Is 15 a factor of p?
False
Let n = -4 - -6. Let d(f) = -f**3 - 4 + 3*f + 2*f**n + 3*f**2 + f**2 - 2*f. Does 10 divide d(5)?
False
Suppose -2*h + 2*b = 38, 5*h = -b - 0*b - 65. Let u = -2 - h. Is u a multiple of 4?
True
Let i = 225 + -99. Let w = i - 71. Is 28 a factor of w?
False
Suppose -69*y + 22*y = -102413. Is y a multiple of 19?
False
Let z be 1/(2 + (-3)/2). Suppose -z*f = 2*a - 37 + 3, -2*a + 56 = 3*f. Does 17 divide f?
False
Suppose -55 = 3*k - 0*w - w, -5*k - 89 = -w. Let v(a) = -a**2 - 16*a + 23. Is v(k) a multiple of 2?
True
Let s = -472 - -748. Is s a multiple of 49?
False
Suppose 59*u = 72*u - 26598. Does 17 divide u?
False
Suppose 5*m - 63*b + 62*b - 398 = 0, 4*b + 312 = 4*m. Is 5 a factor of m?
True
Let d = 1516 + -330. Is d a multiple of 35?
False
Let h(v) = -v**3 - 9*v**2 - 9*v - 22. Let c be h(-9). Let s = 92 - c. Does 12 divide s?
False
Let h = 77 - 67. Let k(b) = 16*b - 37. Does 41 divide k(h)?
True
Let j = -16 + 25. Let k(h) = 17*h**2 + h + 2 - 6*h**2 - j*h**2. Does 12 divide k(2)?
True
Does 22 divide (2/(-5))/((-32)/5760)?
False
Suppose 3*u = 6*u. Let n(y) = y**2 + y + 184. Let t be n(u). Is 12 a factor of (-1)/(-2) - t/(-16)?
True
Suppose 5*i + 2*l - 546 = 0, -2*i + 3*l + 321 = 114. Does 18 divide i?
True
Let v(b) = -11*b + 3*b - 15 + 0*b + 3*b + 31. Let n(k) = -3*k**2 + 3*k - 1. Let g be n(2). Does 14 divide v(g)?
False
Let n(q) = -2*q**2 - 2*q + 4. Let z be n(0). Let k = 7 - z. Suppose -4*s + 285 - 82 = m, -k*s + 159 = 3*m. Is s a multiple of 10?
True
Let p = -3 + 5. Suppose -y - p*y = 2*o - 5, -3*y - 11 = -2*o. Suppose -4 - 24 = -o*h. Is h a multiple of 2?
False
Suppose 3*o + 12 = -0*o. Let s = o - -32. Suppose -2*b + 112 = s. Is 14 a factor of b?
True
Let q(d) = 7*d - 13. Let x be q(4). Let m = 50 - x. Is m a multiple of 13?
False
Suppose -557*k + 552*k = -5775. Does 15 divide k?
True
Let z(a) = 48*a - 115. Is z(6) a multiple of 14?
False
Let d = 1417 + -1138. Does 31 divide d?
True
Suppose -11*x - 4 = -15*x. Is x + -5 + 276 + -2 a multiple of 27?
True
Suppose -106 = -3*q + 137. Suppose 0 = -0*h - 3*h + q. Let t = -3 + h. Is 8 a factor of t?
True
Suppose 0 = -2*v + 3*h + 1195, 6*v - 596 = 5*v + 2*h. Is v a multiple of 8?
False
Suppose -10*w = -212 + 102. Is w a multiple of 4?
False
Let h = 47 + -193. Let j be h/3*(-24)/16. Suppose 5*o - j = 17. Does 5 divide o?
False
Suppose -3*h = -6*h + 1518. Is h/6 + (-18)/(-27) a multiple of 17?
True
Let n(k) = 70*k**3 - 1. Suppose -9 = 3*y + 3*g, 4*y - 2*y = -5*g - 9. Let q be (1/y)/((-1)/2). Does 23 divide n(q)?
True
Suppose 59*n = 61*n - 600. Is 31 a factor of n?
False
Suppose 3845 = 4*w + 5*r, 4*r - 1924 = 6*w - 8*w. Is w a multiple of 64?
True
Suppose -2*p - 2*m = -3*m - 277, 0 = m - 5. Is p a multiple of 20?
False
Suppose 4*v = 8*v - 24. Is 5 a factor of (-27)/v*352/(-12)?
False
Let k(q) = 20*q - 82. Does 9 divide k(14)?
True
Let z(b) = -2*b**2 - 5*b + 1. Let i be z(-3). Let x be -3 - i - (-2 + -1). Is (-1 - x/(-1))*6 a multiple of 3?
True
Let r(x) = 16*x**3 - x**2 - 8*x - 1. Let q be r(-2). Let a = -9 - q. Is a a multiple of 20?
False
Let l(m) = m**2 + 11*m - 2. Let r be l(-11). Let j be 20*r*(-255)/20. Suppose -j = -2*c - 4*c. Is c a multiple of 17?
True
Suppose -7*b - 25 = 3. Is 3 a factor of 40/(b*(-4)/8)?
False
Let o(h) = -9*h - h - 7*h - 15. Is 9 a factor of o(-3)?
True
Let c(s) = 2*s - 13. Let l be c(8). Suppose 2*y + 3 = 7, 2*y + 5 = l*a. Suppose a*v = v - 4*z + 110, v = -3*z + 53. Does 13 divide v?
False
Let h = -119 - -128. Let p(o) be the first derivative of o**3/3 + 2*o**2 + 22*o + 1. Is 35 a factor of p(h)?
False
Let a be ((-60)/(-20))/((-6)/(-190)). Suppose -a = -i - 14. Is i a multiple of 39?
False
Let q(x) = x**3 - 3*x**2 - 5*x - 10. Let o = 10 + -5. Does 10 divide q(o)?
False
Let r = -52 - -53. Let o(b) be the first derivative of 5*b**2 - 2*b + 5. Is o(r) a multiple of 5?
False
Let v(o) = 338*o**2 - 1. Is 12 a factor of v(-1)?
False
Suppose 0 = -31*w - 15*w + 52624. Does 44 divide w?
True
Let y(r) be the second derivative of r**3/6 + 23*r**2/2 + 5*r. Is 10 a factor of y(-9)?
False
Is (2 - (-36)/(-8))*36/(-2) a multiple of 3?
True
Suppose -5*y - 5 = n + 2, 4*y = 4*n - 20. Is (-261)/(-6) - y/(-4) a multiple of 7?
False
Is 275*3 + (-42)/((-70)/(-10)) a multiple of 9?
True
Let w = 48 + -91. Let q = w - -63. Is 4 a factor of q?
True
Let o = -77 + 88. Let q(r) be the third derivative of r**4/6 + 23*r**3/6 - 3*r**2. Is 24 a factor of q(o)?
False
Let s(r) = -r**3 + 4*r**2 + 2*r - 5. Let h be -27 + 1/3*-3. Let w = h - -31. Does 10 divide s(w)?
True
Does 11 divide 4578/16 - 37/296?
True
Let q(n) = -196*n - 2. Let l be q(-2). Suppose -5*c + x + 296 + 79 = 0, 5*c - l = 4*x. Suppose 4*k + y - c = -k, 36 = 2*k + 2*y. Is 8 a factor of k?
False
Suppose 2*l + 16 = -3*g - g, 17 = l - 3*g. Suppose -5*i - 4*a + 54 = -l*i, 4*a = -5*i + 98. Let d = i - -5. Is d a multiple of 24?
False
Let s(z) = z + 1. Let f be s(-2). Does 10 divide 212/20 + f*(-3)/(-5)?
True
Let f = -9 - -9. Suppose -l - 37 + 79 = f. Is l a multiple of 6?
True
Suppose 6*w - 4 = 5*w. Suppose 0*p - w*p - m = -735, 4*p - 726 = 2*m. Does 19 divide p?
False
Is (-33368)/(-12) - (-154)/66 a multiple of 12?
False
Let w = 53 - 46. Suppose 224 = 4*u + 3*o - w*o, -5*u + 280 = -o. Is u a multiple of 10?
False
Suppose 9 = -2*c - 4*v - 15, -2 = -v. Suppose -x - 5 = 2*b, 5*b = -x - 12 - 2. Is -1*c/(-3)*b a multiple of 9?
False
Let h(o) be the second derivat