alse
Does 22 divide 5/(20/4399) - 2/(-8)?
True
Does 11 divide -933*((-14)/2)/7?
False
Let j(z) = z**3 + 7*z**2 - 3*z + 16. Let w(n) = 2*n**3 + 13*n**2 - 5*n + 31. Let t(f) = -13*j(f) + 6*w(f). Is t(-14) a multiple of 10?
False
Let d = 107 - -309. Is 16 a factor of d?
True
Let s(h) = -6*h - 1. Let w be s(-2). Suppose 7*v + w = 8*v. Suppose -13*d + v*d + 26 = 0. Does 5 divide d?
False
Let j = 16 - 11. Let i(t) = 2*t**2 - 3*t - 8. Let g be i(j). Does 4 divide (-1 - -4)*36/g?
True
Suppose 0 = 3*l + 12, 0 = -0*b - 4*b + 5*l + 4656. Is b a multiple of 22?
False
Does 100 divide ((-96)/(-10))/(-3)*(-44950)/155?
False
Let s be -3 - 10*2/(-4). Suppose t = h - 2, -s*h + 0*h + 6 = -3*t. Suppose 2*m + 57 = 5*m + 3*c, h = 5*m + c - 83. Is 16 a factor of m?
True
Let h be (-1)/9*-38 + 8/(-36). Suppose 4*c = -h*w - 0*w + 72, 3*w = c + 46. Is 8 a factor of w?
True
Suppose 2*d - 1305 = 3*i, 7*d + 3*i - 1275 = 5*d. Does 32 divide d?
False
Suppose 1 = -2*g + 5. Suppose 0 = -2*k - i + 7, 4*k - 3*i = -g + 1. Suppose v - 2*d + k - 56 = 0, -5*d = 0. Is v a multiple of 12?
False
Let y(d) = -14 + 6 - d**3 + 6*d - 6*d**2 + 5. Let z be y(-7). Suppose z*l + 9 = 113. Is 9 a factor of l?
False
Let n(y) = 8*y + 1. Let b be n(-1). Let j = 20 - b. Does 10 divide j + -3*(3 - 4)?
True
Suppose 3*b = 3*d + 1053, 2*d + 0*d - 5*b = -717. Let s = 507 + d. Is s a multiple of 20?
False
Suppose 0*r - 2*r = 34. Let u = 24 + r. Does 5 divide u?
False
Let c(u) = -u**3 + 2*u**2 + 5*u - 3. Let s be c(4). Let g(n) = 2*n**3 + 47*n**2 + 20*n - 48. Let m be g(-23). Let j = m - s. Does 12 divide j?
True
Let w(o) be the second derivative of o**6/120 + o**5/20 - o**4/24 - o**3/3 - 4*o**2 - 12*o. Let n(d) be the first derivative of w(d). Is 4 a factor of n(2)?
True
Suppose 3*n = 7 + 47. Suppose -3 - n = -3*m. Is (-273)/(-49) - (-3)/m a multiple of 3?
True
Suppose 240 - 72 = 6*p. Does 11 divide p?
False
Does 10 divide (-18)/42 - 140030/(-70)?
True
Suppose -2*v + 3*u - 60 = 0, 6*v - v - 3*u + 150 = 0. Let d be (-1774)/v - 4/30. Let i = d + -16. Is i a multiple of 29?
False
Let f be ((-502)/(-6) + 1)*(-3)/(-2). Let k = 42 + -121. Let v = k + f. Is 12 a factor of v?
True
Let n(j) = -2*j + 22. Suppose 3*s = -5*b - 55, -3*s - 15 = 3*b + 18. Is n(b) a multiple of 11?
True
Suppose 5*v - 48 = v. Suppose 5*n + 18 = 5*b - v, 0 = 3*b - 2*n - 20. Suppose -3*x - b = -59. Is x a multiple of 7?
False
Suppose -2920 = -2*s - 2*p, -7320 = -5*s - 20*p + 19*p. Is s a multiple of 23?
False
Let a = -23 + 100. Is 48 a factor of a?
False
Let q(b) = 14*b**2 + 16*b**3 - 11*b**3 - 6 - b - 14*b**2. Is q(3) a multiple of 21?
True
Let g = -660 - -1254. Is 8 a factor of g?
False
Suppose -5*o = -4*r + 2698 + 1015, 2*o + 3698 = 4*r. Is 86 a factor of r?
False
Let b(q) = -19*q - 2*q**3 + 35 - 30 - 16 - 18*q**2 + q**3. Let i be 2/(-7) - (-234)/(-14). Does 23 divide b(i)?
True
Let t = 945 - 326. Suppose -115 + t = 9*y. Is 19 a factor of y?
False
Let k = -42 + 61. Let s = -42 + 73. Let m = s - k. Is m a multiple of 4?
True
Suppose -q - 2 = -14. Suppose q*p - 3*p = 1233. Is 25 a factor of p?
False
Suppose 2*z - 132 = -34. Suppose -169 + z = -4*b. Does 2 divide b?
True
Suppose -63*u - 3975 = -68*u. Is 9 a factor of u?
False
Let p(b) = b**2 + 29*b + 312. Does 13 divide p(0)?
True
Suppose 1531 = 3*k - a, 3*k - 1529 = -0*a - a. Suppose -10*j + k = -7*j. Does 16 divide j?
False
Let v(s) be the first derivative of 15 + 6*s - 3*s**2 + 8/3*s**3 - 1/4*s**4. Is v(3) a multiple of 11?
True
Does 10 divide 69/(-276) + (-810)/(-8)?
False
Suppose 4*a + 0*a = 0. Suppose a = 4*d + 8 - 16. Suppose -d*g + 84 - 6 = 0. Is 19 a factor of g?
False
Suppose 17*u - 4768 = 4956. Does 11 divide u?
True
Let d be 45 - (13 + -16 + (-2)/2). Suppose 0 = -0*q + 3*q - 309. Is 15 a factor of q/7 + 14/d?
True
Suppose 6*p = 2149 - 331. Is 4 a factor of p?
False
Suppose h + 5*f + 18 = 0, 3*h + 5*f = 3*f - 41. Let q(k) = k**3 + 13*k**2 + 2*k + 15. Let u be q(h). Let t = u + 37. Is t a multiple of 9?
False
Let b(q) = q**3 - 14*q**2 + 3*q - 13. Let d be b(14). Suppose -d = 3*z - 5*s, 2*s - 2 = -4*z + 2*z. Is z - -1 - -10*2 a multiple of 9?
True
Suppose -15 = -3*j - 2*n, -5*n = j - 2*j - 12. Suppose -j*l = -365 - 220. Suppose 2*b + b - l = 0. Is b a multiple of 12?
False
Let j(n) = n**3 + 14*n**2 + n + 7. Let u be j(-14). Let f = 17 + u. Does 10 divide f?
True
Let y be 64/12 + (-2)/6. Let d be (-2)/3 - (-28)/6. Suppose -3*k = -d - y. Is 3 a factor of k?
True
Let z = 80 + -71. Does 16 divide (z/(-3) - -148)/1?
False
Let y = 44 + -8. Let t be -1*((y - 4) + 4). Let i = -6 - t. Is i a multiple of 10?
True
Does 3 divide (3/(-18))/(5/(-150)) - -26?
False
Let u(f) = -f**3 - 30*f**2 - 4*f - 75. Does 8 divide u(-30)?
False
Let i = -25 + 85. Suppose -4*j - i = -j. Is 12 a factor of (-24)/j*(1 - -34)?
False
Suppose -4*b = -0*b. Let h be 0 - 32*(-4 - b). Suppose 3*p - 19 - h = 0. Is 26 a factor of p?
False
Let p(d) = d**2 + 5*d + 5. Let v be p(-5). Suppose 18 = -v*i + 4*i. Let k = -13 - i. Is 5 a factor of k?
True
Suppose 3*u + 295 = 2*n, -4*u - u = n + 496. Let d = u - -169. Is d a multiple of 10?
True
Suppose 0 = -5*j + 2*l + 76, 14 = 4*j - 2*l - 48. Let w = j - 12. Suppose 2*g - 38 = g + t, g = w*t + 40. Is g a multiple of 9?
True
Suppose 3*y + 2*y + 3*v = 1045, -4*y - 2*v + 838 = 0. Suppose -5*m = 4*g - y, 5*g - 86 = 5*m + 134. Does 5 divide g?
False
Suppose 4*x = -24 + 60. Let z = 3 + x. Let j = -3 + z. Is 3 a factor of j?
True
Let u = 110 + -74. Suppose 5*z + 151 - 28 = 2*b, -5*b - 130 = 5*z. Let y = z + u. Is y a multiple of 11?
True
Let x = 195 - 87. Let j(n) = -52*n + 108 - x. Is j(-2) a multiple of 23?
False
Suppose 46*n = 30*n + 31424. Is 15 a factor of n?
False
Let l be (-3)/15 + (-1066)/(-5). Suppose -7*c + 4*c + l = 0. Does 7 divide c?
False
Let v = 15 - -25. Suppose v = -x + 100. Suppose 7*g + x = 9*g. Is 10 a factor of g?
True
Let i(n) = n**2 + 11*n + 7. Let o(j) = -j**2 - 12*j - 6. Let m(d) = 5*i(d) + 4*o(d). Does 9 divide m(-7)?
False
Let z be (-80)/(-32) - (-1)/2. Let s = z - -17. Is s a multiple of 10?
True
Let h = -1 + 4. Suppose h*z - 3*l - 93 = 0, 2 = 2*l + 10. Suppose -4*j + 61 + z = 0. Is 11 a factor of j?
True
Suppose 2*m - 9 = -m, -3*m = s - 144. Let p be (3 + (-13)/5)*s. Suppose 2*f - 5*f + t + 73 = 0, p = 2*f - 2*t. Is 4 a factor of f?
False
Suppose 0 = -3*a - 4*q - 11, 28 = 4*a - 3*a - 5*q. Suppose j + a*m - 14 = -5, 5*j - 9 = -3*m. Suppose 6 = -2*c - j*c, 5*c - 180 = -5*z. Does 13 divide z?
True
Let y(m) = 18 + 0*m - 2*m - 7 - 51 + 13. Suppose 72 = -h - 3*h - 4*s, 3*s = h + 22. Is 11 a factor of y(h)?
True
Let m be (9 - 12)*4/(-3). Let s be (m - (-150)/(-3)) + -3. Is 8 a factor of (-2 - 0)/2 - s?
True
Let t = 670 + 77. Is t a multiple of 7?
False
Suppose -5*y + 4*h = -215, 220 = 5*y - h - 2*h. Suppose -2*m = -a + 42, -3*a + 2*m + y = -99. Is 8 a factor of a?
False
Suppose 2*f + 5*d = 29, f - 49 = -3*f - d. Let x = f + 117. Does 17 divide x?
False
Let n(z) = 5*z**2 + z. Let j be n(3). Let c = -31 + j. Is c a multiple of 4?
False
Let s = -1448 + 1452. Suppose -a = a - 188. Suppose 0 = -s*z + 2*z + a. Is z a multiple of 10?
False
Let c(d) be the third derivative of d**6/60 - d**4/24 + 106*d**3/3 - 10*d**2. Let p be c(0). Suppose q - 252 = -5*w + 84, -2*q = -3*w + p. Does 17 divide w?
True
Is 0 - (1 + 3) - 0 - -719 a multiple of 11?
True
Suppose 2*n = 2*z - 2648, 0 = 6*z - 8*z + 4*n + 2644. Is z a multiple of 34?
True
Let u be (-6*5/(-45))/((-4)/(-90)). Is (-5)/(2*(-3)/u)*10 a multiple of 17?
False
Suppose 0 = 29*g + 11*g - 12560. Is g a multiple of 32?
False
Suppose 0 = -3*k - 0*i - 5*i - 29, i + 4 = 0. Let w(n) be the first derivative of -8*n**2 - 4*n + 8. Is 17 a factor of w(k)?
False
Suppose 5 = 3*j + 2. Let t = 4 + j. Suppose -17 + 176 = t*h - 4*x, -2 = 2*x. Does 19 divide h?
False
Let u be 24/((-242)/(-48) + -5). Suppose -40*o - u = -48*o. Is o a multiple of 14?
False
Suppose -345*p + 330*p + 11745 = 0. Is p a multiple of 11?
False
Let t = 8 - 6. Suppose y - 13 - t = 0. Suppose 8*p = 5*p + y. Is p even?
False
Is (-2 + 234/15)/(4/100) a multiple of 57?
False
Let d(y) = -378*y - 60. Is 24 a factor of d(-2)?
True
Suppose -2*u = 4*g - 8, 4*u - 6 = -5*g - 2. Suppose w + g*w = 625. Is w a multiple of 23?
False
Let f = 149 - 75. Let c(w) = 13*w. Let l be c(-4). 