ue
Does 11 divide ((-6)/(-12) - 100/24)*-21?
True
Is ((-724)/(-6))/(42/63) a multiple of 21?
False
Let b = 14 + -4. Is 1*(3 + -4) + b a multiple of 9?
True
Is 59 a factor of (-544)/(-1) + -17 + 16?
False
Suppose 3*k = -5*d + 45, 0 = -3*d + 2*k + k + 51. Suppose -b + d + 10 = p, 4*p - 4*b - 104 = 0. Is p a multiple of 4?
True
Let w(d) = 2*d**2 + 11*d + 5. Let s be w(-4). Let q = s - -62. Is q a multiple of 38?
False
Suppose 2*x = -3*x + 2*c - 461, 185 = -2*x + c. Let u = -74 - x. Does 5 divide u?
False
Let o(k) = -k**2 - 7*k + 5. Let v be o(-7). Suppose -f - 4*f = -4*j + 14, 0 = v*j - f - 7. Let x = 3 + j. Is 4 a factor of x?
True
Suppose -370 = 3*k + 2*k + 3*b, k + b = -76. Let i = k + 120. Is 15 a factor of i?
False
Suppose 3*t + 155 = 2*s, -35*t = -3*s - 31*t + 232. Does 38 divide s?
True
Let t(w) = 3*w + 4. Let z be t(-2). Is 4 a factor of (43 + 5)*(-3)/z?
True
Is 6 + -11 - 2195/(-5) even?
True
Let r = 61 + -28. Let b be -3 + -2 + 12/(-1). Let h = r - b. Does 10 divide h?
True
Suppose 3*o + 3*w = 12660, 83*o = 88*o + 4*w - 21105. Is o a multiple of 8?
False
Suppose -3*f + 0*f = b - 245, -5*f + 407 = 3*b. Let q = f - 32. Is q a multiple of 10?
True
Let c be (0 - 4) + 12 + -8. Let u = c - -100. Does 25 divide u?
True
Suppose 0 = 4*l - 4*c + 836, 2*c - 832 = 4*l - 0*c. Does 10 divide (5/2)/(l/(-102) + -2)?
False
Let m = -1385 - -3024. Is m a multiple of 34?
False
Let v(b) = -b**3 - 12*b**2 + 39*b - 26. Is 16 a factor of v(-18)?
True
Let r = 75 + -66. Suppose -s = 0, -2*a + 5*s + 1 = -r. Does 5 divide a?
True
Is 6 a factor of (24*5/70)/(4/98)?
True
Suppose -5*i + 13 + 19 = 4*x, -i - 5 = -3*x. Suppose i*s - 58 - 118 = -2*q, 4*q - 2*s - 302 = 0. Is 13 a factor of q?
True
Let k = 3 + -17. Is (-4)/k + (-12090)/(-70) a multiple of 25?
False
Let p(h) = -141*h - 5. Let r be p(-4). Suppose -281 = -4*m + r. Is 42 a factor of m?
True
Let q be (10/(-6))/(-3 + 24/9). Let v = -19 - -4. Let g = q - v. Does 5 divide g?
True
Let b(c) = -c**3 + 14*c**2 - 14*c - 15. Suppose 48 = -0*n + 4*n. Does 15 divide b(n)?
True
Let b = 158 - -54. Is b a multiple of 4?
True
Let f(p) = -212*p**3 - p**2 - 3*p + 4. Let q be f(1). Let l = 309 + q. Is 18 a factor of l?
False
Suppose 2*p = -5*u + 882, -2*u + 5*p = -18 - 358. Does 20 divide u?
False
Let a be (-1 - 0)*3 + (-55)/(-11). Suppose -a*x - 5*q = -108 - 95, 3*q - 9 = 0. Is x a multiple of 20?
False
Let u = 90 - -5. Is u a multiple of 5?
True
Let b(y) = 3*y**3 + 40*y**2 - 44*y - 2. Does 22 divide b(-13)?
False
Suppose -4*r = 5*l - 44, 16 + 0 = 2*l + 2*r. Does 8 divide l?
False
Let g(z) = z**2 - 3*z + 5. Let h be g(4). Suppose 0 = 3*a - 7*k + 5*k - 12, -a - 2*k + 4 = 0. Suppose a*m = h*m - 175. Is m a multiple of 11?
False
Let m(z) = 3*z**2 + 2*z - 21. Does 14 divide m(-7)?
True
Let r = 505 + -451. Is 3 a factor of r?
True
Let m(y) = 2*y**2 - 5*y + 35. Is m(-14) a multiple of 7?
True
Let d(v) = v**3 + v**2 - 13*v - 4. Let p be d(-5). Let l = 62 + p. Is 4 a factor of l?
False
Let l = -2 + 7. Let a = 252 + -249. Suppose -q = -l, -5*q = -a*r - 0*r + 47. Is 8 a factor of r?
True
Let j(g) = -g**3 - 7*g**2 + 7*g + 3. Let k be j(-8). Suppose 0 = -k*t + 6*t + 300. Is t a multiple of 17?
False
Let z = 42 - -39. Suppose -i + z = -3. Does 11 divide i?
False
Let g be 17/(3/9*3). Let o = g + -16. Let v = 9 - o. Is 4 a factor of v?
True
Let t = -1977 - -4657. Is 10 a factor of t?
True
Let b = 358 + -240. Suppose 3*q - 236 = -4*j, 0*q - q + b = 2*j. Is 4 a factor of j?
False
Let k(u) = -13*u + 11. Let v(r) = -13*r + 12. Let a(t) = -t - 4. Let i be a(-10). Let b(h) = i*k(h) - 5*v(h). Is b(-5) a multiple of 12?
False
Let c = -18 + 12. Let j = -56 - c. Let s = -2 - j. Is s a multiple of 16?
True
Let a = 841 - -482. Is a a multiple of 49?
True
Let u(v) = 3*v**3 + 2*v**2 + 2*v - 4. Let d = 10 + -7. Is u(d) a multiple of 16?
False
Let h be ((-6)/(-5))/((-12)/(-30)). Suppose 2*n - 34 = h*n. Let c = n - -51. Does 3 divide c?
False
Let g(d) = -2*d + 9. Let q be g(3). Suppose -5*u + n = -149, -2*u + q*n = 3*u - 147. Is u a multiple of 4?
False
Let q = -26 - -37. Is 3 - (-3 - (q - 4)) a multiple of 2?
False
Let s = -292 - -422. Does 10 divide s?
True
Let n(w) = w**2 - w + 1. Let o(a) = -6*a**2 + 34*a - 19. Let m(x) = 5*n(x) + o(x). Is 44 a factor of m(16)?
False
Suppose -2*b + 4*b - 10 = 0. Suppose b*y = -20, 3*h + 21 = -2*y + 4. Let r = 19 + h. Is r a multiple of 9?
False
Suppose 3*z + 630 = 2*c - 362, -3*z = 4*c - 1948. Is c a multiple of 14?
True
Suppose 0 = -5*g + 1058 - 308. Suppose 0 = 5*x + 5*r - g, 5*r - r = -5*x + 145. Is x a multiple of 4?
False
Let z(u) = u**3 - 9*u**2 - 5*u - 6. Is z(10) a multiple of 22?
True
Let l(u) = -u**3 + 11*u**2 - 11*u + 12. Let o be l(10). Suppose 3*c - 48 = -4*z, 1 = -o*z - 5*c + 11. Let b = z - -5. Does 9 divide b?
False
Suppose 272*l - 267*l = 2355. Does 4 divide l?
False
Let d(r) = -r**2 - 15*r + 23. Let p = 114 - 130. Is 7 a factor of d(p)?
True
Let y = 37 - 32. Suppose y*t - 215 = -0*t. Is 22 a factor of t?
False
Let b(p) = 4*p + 5 - 19 + 4*p - 11*p. Does 4 divide b(-6)?
True
Is 9 a factor of ((-24)/7)/((-2)/189*3)?
True
Let g = -27 - -46. Suppose -u + 2*x = 3*x - g, 2*u + 4*x - 34 = 0. Let n = 24 + u. Is n a multiple of 17?
False
Suppose -2*t + g + 196 = -g, 2*t - 3*g = 198. Is (t/(-72))/((-2)/63) a multiple of 15?
False
Suppose -36*p = -39*p + 2838. Suppose 2*h = -3*u + 381, 373 = -3*h - 3*u + p. Is 24 a factor of h?
True
Let p(l) = -7*l + 73. Is p(-17) a multiple of 6?
True
Let h = 27 + -24. Suppose 0 = 3*z + 4*o - 224, 0 = -2*z - 2*o + h*o + 164. Is z a multiple of 16?
True
Does 2 divide 16/((-112)/(-2289)) - 3?
True
Let l be 4/(-18) - (-542)/9. Let f = l - 26. Is f a multiple of 24?
False
Let b be -3*(0 - (-4)/(-3)). Let x(t) = 4 + 466*t**3 + 3*t**2 - 6*t - 4*t**2 - 465*t**3. Does 14 divide x(b)?
True
Let m(l) = l + 12. Let s be m(-18). Is (-784)/4*(-2 - s/4) a multiple of 17?
False
Let n(i) = i**2 + 5. Let t be n(0). Suppose -r = c - 40, t*r = 2*r - c + 118. Is 13 a factor of r?
True
Let g = -9 + 0. Let j = g - -111. Is 17 a factor of j?
True
Let n(w) be the second derivative of -7*w**3/2 + 3*w**2 + 40*w. Does 13 divide n(-9)?
True
Suppose -6 = 3*s, 3*s = -5*p + 6*s + 511. Does 18 divide p?
False
Let x(u) = -17*u + 6. Let l be -3*8/(-12) + 3. Let v be x(l). Let s = -43 - v. Is s a multiple of 18?
True
Let b = 865 - 791. Does 4 divide b?
False
Suppose 0 = 5*i - 5*m - 20, 5*i - 2 = 8*i + 4*m. Let h be (-12)/(-3)*(-2)/i. Does 23 divide (1 - -11)*(1 - h)?
False
Does 52 divide 318 - 6*-2*3/18?
False
Let b = -82 + 49. Let y = -22 - b. Does 2 divide y?
False
Let t be 183/9 + (-2)/6. Let o = -3 + t. Is 17 a factor of o?
True
Let x be (10/4)/((-15)/(-12)). Suppose x*z = -w - 302, 4 - 6 = -z. Does 13 divide (-4)/(-14) - w/7?
False
Let s(u) = -u**2 - 15*u - 3. Let c be s(-16). Suppose -o + 0*a + 41 = a, o - 2*a = 29. Let r = o + c. Does 9 divide r?
True
Let n(h) = -h**3 - 8*h**2 - 8*h - 3. Let v be n(-7). Suppose f = -g - 8, 0 = v*f + 2*g - 8 + 34. Is 10 a factor of (114/15)/((-1)/f)?
False
Is ((-11768)/(-16) - (-7)/(-14))*1 a multiple of 105?
True
Let k(g) = 23*g - 17. Is k(11) a multiple of 35?
False
Suppose 3*v - 2 = -4*u + 7, 3*u = -5*v + 15. Let m(j) = j - 40. Let s be m(12). Let g = u - s. Does 7 divide g?
True
Let y(o) = -8*o + 564. Does 7 divide y(11)?
True
Suppose k + 10 - 15 = 0. Let y be 0/(1/(-2)*-2). Suppose y = -k*m + 24 + 16. Is m a multiple of 3?
False
Suppose 17 = 8*t - 15. Suppose 4*s + t*p = 104, 3*s - 58 = -0*p + 2*p. Is 11 a factor of s?
True
Let b = 1265 + -864. Does 46 divide b?
False
Let u = -728 - -2034. Is u a multiple of 73?
False
Let y(z) = -22*z - 3. Let x be y(-5). Let a = 197 - x. Suppose -2*l + a = -0*l. Is 15 a factor of l?
True
Let q(a) = a**3 + 3*a**2 + 3*a + 1. Let k be q(-1). Suppose -4*t + o + 344 = 38, -5*t + 3*o + 379 = k. Is 11 a factor of t?
True
Does 11 divide (-1252)/(-3) - (-1 + (-5)/(-15))?
True
Suppose -256 = -2*b + 6*b. Let y = -34 - b. Suppose 4*w - 74 = y. Is w a multiple of 9?
False
Let i be 4/2 + -1 + 16. Let w(p) = p**2 - 15*p - 6. Let f be w(i). Suppose 7*x - 203 = -f. Does 25 divide x?
True
Suppose 0 = -17*f + 9298 - 1801. Is f a multiple of 21?
True
Is 6 a factor of (-7)/((-35)/10) + 32?
False
Let p = 9 - 7. Suppose a - p*v - 2*v = -12, 3*a - 3*v = 9. S