e
Let r be (132/77)/((-6)/(-18116)). Suppose -13*y + r - 1432 = 0. Is 6 a factor of y?
True
Let f = -38 - 4. Let m = f - 1. Let q = m + 49. Does 3 divide q?
True
Let r(c) be the first derivative of 7*c**3 + 5*c**2 + 11*c + 151. Is 18 a factor of r(-5)?
True
Suppose 9 = 3*k, 74*y - 70*y + 4*k - 1200 = 0. Does 6 divide y?
False
Suppose 21 = -0*k + 5*k - b, k - 2*b = 6. Suppose k = 4*s, 2*l - 3*s + 0 = -23. Does 6 divide (14/35)/(8/l)*-106?
False
Suppose 0 = -3*o + 5*o - 4*y - 45250, 14*o - 316690 = -2*y. Is o a multiple of 4?
False
Suppose 0 = 4*m + 20, 111*m + 74390 = 4*i + 113*m. Is 25 a factor of i?
True
Let m(z) = z**2. Let n(k) = -4*k**2 - 12*k - 26. Let v(q) = -5*m(q) - n(q). Let r be v(15). Let l(x) = -x**3 - 20*x**2 - 19*x + 33. Is 11 a factor of l(r)?
True
Is 607193/188 - 21/12 a multiple of 32?
False
Suppose -4*h + 2*t + 176 = 0, 0 = t + 4. Let d = 47 - h. Suppose 5*x - 4*u - 31 - 33 = 0, 62 = d*x - 2*u. Does 6 divide x?
True
Suppose 3*o + 0*s + 164 = s, 0 = 5*o + 2*s + 266. Is 36 a factor of (-12)/(-54) - 17484/o?
True
Let l(u) = -9*u + u + 9*u**2 - 20 + 273*u**3 - 14*u - 272*u**3. Is 10 a factor of l(-8)?
True
Suppose -258675 - 86325 = -328*j + 305*j. Is j a multiple of 100?
True
Suppose -2*s - c + 1808 + 343 = 0, 3*s + 3*c - 3219 = 0. Does 22 divide s?
True
Let h = 24892 - 13409. Is h a multiple of 12?
False
Suppose 846*v = 837*v + 3663. Does 5 divide v?
False
Let w = 600 + -141. Suppose 0 = 4*j - w - 853. Is 41 a factor of j?
True
Suppose 0 = 2*m - 5*n + 118, 5*m + 5*n + 365 = -0*m. Suppose -2*x - 2*k = k + 97, x = 2*k - 31. Let j = x - m. Is 28 a factor of j?
True
Let l(b) = 2*b**3 - 13*b**2 + 9*b + 1. Let j be l(6). Does 3 divide j - 23 - (104/1)/(-2)?
True
Let w(u) = 88*u + 1295. Does 27 divide w(-13)?
False
Let m(f) = 2*f**3 + f**2 + 15*f + 9939. Is 4 a factor of m(0)?
False
Let r = 1 - -39. Let u be 4/(-10) + (-704)/r. Let i = 30 - u. Does 16 divide i?
True
Let c = 3035 - -3129. Does 26 divide c?
False
Let s(l) = 2*l**2 - 10*l - 1. Suppose 2*o - 4*d + 30 = 0, -11 = 4*o - d + 28. Let y be s(o). Suppose -4*w + 4 = m - y, -3 = -m. Is w a multiple of 21?
True
Suppose 0*m - 1508 = -4*m. Suppose -4*t + 1965 = 3*x + m, -1603 = -3*x - t. Is x a multiple of 8?
True
Suppose -3*k = -4*s + 468, -3*s + 23*k - 26*k + 330 = 0. Is s a multiple of 14?
False
Let l = -26 + 25. Let f = l + 5. Does 23 divide (f/((-8)/(-3)))/((-10)/(-1080))?
False
Is 8063 - (10/12 + (15 - (-462)/(-36))) a multiple of 52?
True
Let a = -316 + 144. Let t = 227 + a. Is 5 a factor of t?
True
Suppose 4*n + 4*v + 12 = 0, -4*v - 1 + 3 = -3*n. Let p(x) = -x - 1. Let b be p(n). Is 11 a factor of 47 - b - (-10)/2?
False
Let d(f) = 5*f - 20. Let a be 4 + 84/(-20) - 21/(-5). Let r be d(a). Suppose k = -r*k + 145. Does 25 divide k?
False
Suppose -3*c - 60572 = 2*g, -2*c - 18*g + 21*g = 40390. Is (-4)/18 - c/144 a multiple of 28?
True
Suppose 53*m - 25*m = 10640. Suppose 0 = -4*i + 616 - m. Does 31 divide i?
False
Let m be 8/(16/7) + 2/4. Suppose -m*s + 2*k = -s - 61, -4*k = 4*s - 88. Is s a multiple of 5?
False
Let q be (-1304)/(-40) - (-4)/10. Is (-147)/2*(-44)/q a multiple of 49?
True
Suppose -39*i + 34*i = 2*q - 5795, -2*i = -q + 2902. Is q a multiple of 50?
True
Suppose -4*s + 38108 = 5*t, 9*s - 15263 = -2*t + 14*s. Is 13 a factor of t?
False
Suppose 2282 = 2*g - 4*a, 5*a - 60 - 1123 = -g. Does 5 divide g?
False
Let w = -323 + 873. Suppose 0 = x + 4*x, 5*f = x + w. Is 22 a factor of f?
True
Suppose -34*a + 5837 + 13203 = 0. Suppose 8*y - 2264 = -a. Is y a multiple of 71?
True
Suppose 5*t - 55394 = -4*v - 3705, -4*v - 20698 = -2*t. Does 9 divide t?
True
Suppose -2*u = 4*k - 186, -8*k + 4*k = -4*u - 168. Suppose -6*c + 3*x - k = -9*c, 3*x = -c + 5. Does 20 divide c?
True
Let u = 432 + 109. Is 22 a factor of u?
False
Let k = -30 - -30. Suppose k = 4*o + o - 5. Suppose x + 0 - o = -d, -3*d + 2*x = -23. Is d even?
False
Suppose 5*m - 4*h = -0*m + 21563, -5*m + 21561 = -3*h. Suppose 297*a - m = 288*a. Is 4 a factor of a?
False
Suppose 0 = -104*w + 312524 - 76652. Does 40 divide w?
False
Let c(p) = -3 + 150*p**2 + 151*p**2 + 6*p - 299*p**2. Does 40 divide c(-16)?
False
Suppose 2*g = -11*g + 35*g - 138622. Does 10 divide g?
False
Suppose -22*m = 12*m - 62900. Is m/9 + 308/693 a multiple of 13?
False
Let h = -2948 - -3377. Is h a multiple of 22?
False
Let m be (17296/(-235))/((-6)/(-15)). Let c = -191 + 114. Let l = c - m. Is 33 a factor of l?
False
Suppose 4*p = -2*p + 96. Suppose 3*o = -4*n + 2569, -p = -4*o - 4. Suppose 9*u + n = 13*u. Is u a multiple of 40?
True
Suppose -3*g + 230 = 2*y - 418, 333 = y - 3*g. Suppose 5*w + 687 = -3*x, 0 = -2*w + 4*x - y + 47. Let v = -56 - w. Does 15 divide v?
False
Let u(y) = 2*y - 39. Let p be u(10). Let d = 21 + p. Is 19 a factor of (-7 - 31)*(-1 + d - 2)?
True
Suppose 5*p - 16 = 15*d - 14*d, 0 = d + 1. Does 11 divide -165*(p + -8 + 4)?
True
Let s(z) = 2*z**2 + 48*z + 182. Let i be s(-31). Suppose 657*v - i = 650*v. Is 2 a factor of v?
True
Suppose 206700 = 84*d + 28280 - 95924. Does 6 divide d?
False
Let s = 499 - 91. Suppose x - s = -0*x + u, 2*u + 1632 = 4*x. Is x a multiple of 18?
False
Let b(o) = o**2 + 10*o + 1. Let w be b(-11). Suppose -223 = -w*f + 113. Is 8 a factor of f?
False
Let x be 26/4*6/(-6)*2. Let s(c) = -62*c + 8. Let l be s(3). Let k = x - l. Is 33 a factor of k?
True
Let f be 581/14 + (-6)/4. Let s = f + -34. Is 14 a factor of 256/s - (-5 - (-51)/9)?
True
Let f(o) = -3*o - 17. Let w be f(-7). Suppose 5*u = 2*d - 190, 0*d + 402 = w*d + u. Suppose 3*n - 2*t - 2*t - 95 = 0, -5*n - 5*t = -d. Does 25 divide n?
True
Suppose 3*j = j + 2*w - 800, w + 1625 = -4*j. Let v = j + 669. Is 44 a factor of v?
True
Let w(g) = 310*g + 5000. Is w(41) a multiple of 23?
True
Suppose 60 = 932*y - 935*y. Is 17 a factor of (578/(-3))/(y/30)?
True
Let w be (-8)/12 - (-11120)/12. Suppose -w = 7*t - 51. Is 5 a factor of 24/(-15)*t/10?
True
Suppose -3*j - 5*a + 237171 = 0, -61*j - 3*a = -66*j + 395387. Does 56 divide j?
True
Let w(d) = d**2 - 15*d - 2. Let u = -7 - -15. Let m be w(u). Let x = m - -130. Is 8 a factor of x?
True
Let b(w) be the third derivative of -7*w**4/24 - 5*w**3/2 + 19*w**2. Let y be b(-6). Suppose -y = -2*s + 61. Does 6 divide s?
False
Suppose -4*d + 260 = 9*d. Suppose -4*w - 401 = f, -f - d = 3*f. Let l = w - -124. Does 10 divide l?
False
Suppose 2*q - 3*r = 305 + 2156, 3*r + 6166 = 5*q. Is q a multiple of 95?
True
Suppose 2*c + 4*a - 36 = 0, -8*a + 15 = -5*a. Does 11 divide ((-126)/24)/21 - (-762)/c?
False
Is ((102 - 99)/(6/10) + -7)*-2755 a multiple of 10?
True
Let w(g) = g**3 + 9*g**2 + 7*g - 50. Let j be w(-7). Is 34 a factor of (-344)/j + (13 - 21) + 4?
True
Let p be (-419)/2*(-4 - (-10 + 4)). Let y = p + 437. Is y a multiple of 9?
True
Does 133 divide (-3 - -5)*(4009 + 79)?
False
Let d = -33 + 35. Suppose a = -3*y + 412, d*y = 3*y + 5*a - 128. Is y a multiple of 6?
True
Does 13 divide 4680/(-25)*(-1875)/100?
True
Let k = -46 - -61. Let f be (10/15)/(2/k). Suppose 4*d + i = 658, f*d - 289 - 527 = 2*i. Is 41 a factor of d?
True
Suppose 0 = -3*p + 1026 + 1344. Let v = p + -469. Is v a multiple of 30?
False
Let a(f) = -18*f + 8*f + f - 16. Let q be a(7). Let k = 149 + q. Is 10 a factor of k?
True
Let d be (1 - 15/9)*-6. Suppose -4*z = h - 5*h - 1864, -d*z - h + 1864 = 0. Is 10 a factor of z?
False
Suppose 0 = -4*d - 5*s + 29, 0 = -2*d + 4*s - 5*s + 7. Let k be d/2 + (-14)/(-4). Suppose -3*c = k*a - a - 63, 0 = 4*a + 5*c - 88. Is 17 a factor of a?
True
Let t(w) = 8*w**2 + w - 1. Let j be t(-1). Is 32 - 2*(-3)/j a multiple of 3?
True
Let o = 348 + -786. Is 9 a factor of 1/(9/o)*(-36)/24?
False
Let k(a) = -27*a + 57. Let d(t) = 14*t - 29. Let y(w) = 11*d(w) + 6*k(w). Is 19 a factor of y(-9)?
True
Let u be -5 + 3 + 202 - 4. Suppose -3*r = -224 - u. Is 20 a factor of r?
True
Let n = 21 - 33. Let f(t) = 5*t + 24. Let i be f(n). Let q = i - -64. Is q a multiple of 7?
True
Suppose 12*d + 2 = -22. Let g(u) = 72*u**2 + 7*u + 12. Does 11 divide g(d)?
True
Let z(n) = 4*n - 11. Let b be z(-1). Let f(d) = d**2 + d - 23. Let l be f(b). Let k = 19 + l. Is 10 a factor of k?
False
Let g = 51 + -69. Let z be ((-3)/3*-8)/(12/g). Is 16 a factor of (-2)/z + (-1435)/(-30)?
True
Let o(s) = 129*s**2 - 223*s + 1991. Is 20 a factor of o(9)?
False
Supp