
Let j = 388 + -103. Let w = -253 + j. Is 14 a factor of w?
False
Suppose 15*x - 5*y - 87 = 11*x, 4*x + 3*y - 95 = 0. Suppose -x*p = -7*p - 1536. Does 8 divide p?
True
Let b(t) = -9 - 3 + 8*t - t**2 + 0 + 0. Let g be b(6). Suppose g = 6*j - 8*j + 24. Is 6 a factor of j?
True
Let l(x) = 3*x**3 - 84*x**2 - 102*x + 153. Does 48 divide l(39)?
True
Let u = -465 + 687. Suppose -2*v - 5*m = -148, m + m - u = -3*v. Suppose v = 5*l - 61. Is 21 a factor of l?
False
Let g(l) be the third derivative of l**5/12 + l**4/12 - l**3/3 - l**2. Let t = 466 - 469. Is g(t) a multiple of 11?
False
Let i be 2/2 + 10 + (-13 - -4). Suppose -i*u = -75 - 153. Is u a multiple of 3?
True
Is -32 + 1677/52 + -18889*3/(-4) a multiple of 131?
False
Let w be (-290)/(-75) + (-6)/(-45). Suppose -121 - 71 = -w*h. Does 12 divide h?
True
Suppose 48*l + 130*l = -99*l + 2827062. Is 126 a factor of l?
True
Let x(k) = k**2 + 45*k - 26. Let l be x(-40). Let z = l + 265. Does 2 divide z?
False
Let d be 18/(2/1) + (-10 - -7). Suppose 996 = d*r + 582. Is r a multiple of 12?
False
Suppose -4*n + 0*n = -5*d + 2523, -2*n - 1245 = 3*d. Let x = n - -1007. Is x a multiple of 20?
True
Suppose f + 424 = 3*i + 5*f, -5*f = 25. Suppose 4*g = 32 + i. Does 45 divide g?
True
Suppose 3 = 2*o + s, 4*s + 0*s = 5*o - 27. Suppose 0*v + 21 = -5*m - o*v, -m - 9 = -v. Does 16 divide 8/m*-5*24?
True
Suppose -9*n + 4*n = -125. Let z(c) = 1 - c + n + 9. Is z(11) a multiple of 6?
True
Let k(a) be the third derivative of -35/6*a**3 + 1/4*a**4 - 6*a**2 + 0 + 0*a. Does 37 divide k(12)?
True
Suppose 6744 + 5424 = 9*w. Is 26 a factor of w?
True
Let a(t) = -849*t + 1072. Is 11 a factor of a(-3)?
True
Let f be 2/(-8) - (-4)/16. Suppose 0 = 5*r + x + 3102, -3*x + f*x = r + 612. Let c = -435 - r. Is c a multiple of 45?
False
Let o(w) = -5*w**3 + 22*w - 2. Let a be (-1 - (-3 + 1))*-4. Does 13 divide o(a)?
False
Suppose 0 = -4*k + 49 - 21. Suppose 7 = -5*d + k. Suppose -4*z + 0*z + 120 = d. Is z a multiple of 6?
True
Suppose 5*z - 419 = -2*n, -2*n + 264 = 4*z - 70. Let i = z - -119. Does 51 divide i?
True
Suppose -2*c - x = -2, 0*c + c - x = 7. Suppose -238 = -3*i + w, 184 = 2*i - c*w + 23. Is 11 a factor of i?
False
Let z(b) = 5*b + 16. Let m be z(9). Suppose -3*o + 17 = -m. Let h = 63 - o. Is h a multiple of 11?
False
Let v = 24447 + -15026. Does 8 divide v?
False
Let m = 1970 - -20563. Is 21 a factor of m?
True
Is (104/13 + -5)/(((-24)/5354)/(-4)) a multiple of 2?
False
Let z(p) = -1757*p - 806. Does 5 divide z(-8)?
True
Let u(h) = h**3 - 14*h**2 - 16*h + 17. Let p be u(15). Suppose -p*g + 14 = 3*r, -2*r + 0 = -4*g + 12. Suppose g*k = 261 + 379. Does 20 divide k?
True
Suppose -2*j - j = -69. Let s = 26 - j. Suppose c + 146 = s*v, 0*c - 8 = 4*c. Is 16 a factor of v?
True
Let z = 1074 + -949. Is z a multiple of 25?
True
Let s(c) = -9*c - 4. Let t be s(1). Let d(w) = w**3 + 14*w**2 + 4*w - 1. Let j be d(t). Suppose -25 - j = -3*h. Is h a multiple of 34?
False
Suppose 95*y = -703616 + 1870976. Is y a multiple of 16?
True
Let n = 0 + 10. Suppose 8332 = 6*s + 7732. Let c = n + s. Does 8 divide c?
False
Suppose -z - 433 = -42. Let s = 676 + z. Is s a multiple of 15?
True
Suppose 38 = 16*q - 26. Suppose -2*n - 11587 = 2*f + 8035, q*n - 4*f + 39284 = 0. Does 35 divide (-2)/7 + n/(-56)?
True
Let j(v) = 5*v**2 + 5*v - 5. Let h be j(1). Suppose -2*x + 22 - 80 = -3*q, 2*q + h*x - 26 = 0. Is 2852/36 + (-4)/q a multiple of 9?
False
Suppose 0 = b - 0*b - 3. Let m be ((-2)/5)/(b/(-15)). Suppose 41 = 2*k - t, -61 = -3*k + 3*t - m*t. Does 5 divide k?
True
Suppose -b - 4*f + 16 = 0, -2*b = -0*b + 3*f - 27. Does 5 divide -28*b/(-32)*(-480)/(-28)?
True
Suppose 0*c - 3*c + 4356 = 3*i, 0 = 2*c - 3*i - 2894. Suppose -6*g + c = 190. Is g a multiple of 6?
True
Let b(o) = -73*o**3 + 7*o**2 + 18*o - 66. Does 17 divide b(-9)?
False
Suppose 0 = -7*a + 15*a - 736. Let v = 129 - a. Is v a multiple of 8?
False
Let s(m) = 13*m**2 - 3*m - 2. Let q be s(-2). Suppose g - 168 = q. Suppose -7*i + 2*i = 3*a - 252, 0 = -5*i + 4*a + g. Is i a multiple of 24?
True
Let i be (1754 - -2)*(-2)/(-2). Suppose i = 3*m - 113. Is 28 a factor of m?
False
Let x(n) = 212*n - 299. Is x(3) a multiple of 39?
False
Suppose 564 = 29*c + 18*c. Let g = 506 + c. Does 15 divide g?
False
Suppose -2*d = 51*h - 54*h - 18186, 0 = -5*d + 5*h + 45475. Does 9 divide d?
True
Suppose h + 44 = 3*a, -3*a + 5*h + 32 = h. Let o = a - 14. Let g(s) = 6*s**3 - 2*s**2 - 1. Is g(o) a multiple of 39?
True
Suppose -5*j + 5*m = 6*m + 232, 3*j - 5*m + 128 = 0. Is 15 a factor of 628/7 - j/161?
True
Let b(p) = -p**3 + 33*p**2 + 17*p - 531. Is 67 a factor of b(23)?
False
Let r = -927 + 4770. Is r a multiple of 12?
False
Let k = 2251 - 1432. Is k a multiple of 7?
True
Let b = -2089 + 4887. Let c = b + -1782. Is c a multiple of 14?
False
Is 2/23 + (-603880)/(-92) a multiple of 12?
True
Let n be (-3*4/18)/(2/(-12)). Let h be ((-9)/n)/((-6)/176). Suppose -5*d = f - 17, 5*f - 267 = 4*d - h. Is f a multiple of 32?
False
Let m be 1/(12/3) + (-252)/(-16). Suppose m*f = 9*f + 133. Suppose -f*p = -6*p - 182. Does 8 divide p?
False
Suppose 397*k = 356*k + 140835. Is 9 a factor of k?
False
Suppose -27*g = -72*g + 103500. Is 46 a factor of g?
True
Let t(w) be the second derivative of -w**5/10 + 7*w**4/6 + 5*w**3/3 - 12*w**2 + 23*w. Is 5 a factor of t(7)?
False
Suppose 0 = 5*c - 2*q - 31067, -c - 662 = q - 6867. Does 10 divide c?
False
Suppose -4*i + 2*i = 12. Let p(n) = -19*n - 25. Let c be p(i). Let f = c + -62. Is 27 a factor of f?
True
Let c be 0 + (-93)/(-15) + 2/(-10). Let h be (-1676)/(-30) + 11/(495/c). Let y = -42 + h. Is 2 a factor of y?
True
Let t(h) = -h**2 + 21*h - 10. Let b be t(20). Let c = -114 + 77. Let r = b - c. Is r a multiple of 17?
False
Is ((-34)/4*-1 - (-201)/134)*347 a multiple of 70?
False
Is 11277/21 + (6/(-4) - 15/(-2)) a multiple of 3?
True
Suppose 0 = 4*k + 4*a - 360, -14*k + 19*k - 4*a = 414. Is 31 a factor of k?
False
Suppose 3*q = y - 14871, -59707 + 15129 = -3*y + 2*q. Is y a multiple of 12?
True
Suppose 159*x + 74367 = 665370. Is 7 a factor of x?
True
Let r = -36 + 43. Suppose -2*v - r = -5*u, -5*v - 5 = -0. Let w(z) = 56*z. Does 10 divide w(u)?
False
Suppose -2172*h + 1590 = -2171*h - q, -4*h - 5*q + 6414 = 0. Does 28 divide h?
True
Let i(z) = 4*z**2 + 12*z + 6. Let b(l) = -11*l**2 - 36*l - 17. Let r(d) = 3*b(d) + 8*i(d). Let h be r(-4). Suppose h*n - 25*n = 192. Is 3 a factor of n?
True
Is 25 a factor of 5 - -4 - -16*(-1879)/(-2)?
False
Let p(d) = 105*d**3 - 3*d + 1. Let n be p(1). Let g = -63 + 156. Let m = n - g. Does 5 divide m?
True
Let o(r) = 2*r - 2. Let d(a) = -55*a - 678. Let j(b) = -d(b) - 6*o(b). Does 46 divide j(0)?
True
Let x = -83 + 92. Suppose -1 = x*f - 37. Does 2 divide (-4)/3 + f - (-8)/6?
True
Suppose 5*r = 20, -125 - 654 = -3*n - 5*r. Suppose 0 = -k + n + 260. Is 15 a factor of k?
False
Let b(j) = -j**2 + j + 28. Let v be b(12). Let r = -101 - v. Suppose 0*h = -h - r*m + 43, 2*m - 70 = -2*h. Does 5 divide h?
False
Let k be (111/(-15) - -5)*(-7400)/12. Let u = k + -724. Does 36 divide u?
True
Let v = 332 - -14434. Does 10 divide v?
False
Let x(g) = -4*g**3 + 15*g**2 + 54*g. Is x(-4) a multiple of 4?
True
Suppose -33280 + 672797 = 17*w + 23097. Is w a multiple of 185?
True
Suppose 6*s - 29148 = -2*x, 3*s + 2*x = 3*x + 14580. Does 17 divide s?
False
Is 17 a factor of -34*((-2266)/308 + (-24)/21)?
True
Let v(u) = -u**2 - u - 10. Let l be v(6). Is 13 a factor of l/(-39) - (2 - 182/3)?
False
Let b(p) = 3*p**2 - 51*p + 34. Let t be b(28). Suppose 955*a + 1026 = t*a. Is 9 a factor of a?
True
Let l(q) = -21*q**3 + q**2 - 2*q + 8. Let w be l(3). Let n = w - -766. Is 35 a factor of n?
True
Let d be 3*(-52)/13 - -12. Let u be (-18)/(-4)*(0 - 4). Is (u/(-3))/3 + (d - -166) a multiple of 29?
False
Let p(k) be the second derivative of 7*k**3/3 + 14*k**2 + 18*k. Let c(m) = 2*m + 4. Let z(j) = 44*c(j) - 6*p(j). Is 12 a factor of z(10)?
True
Does 26 divide (-8832)/23*(-260)/15?
True
Suppose 3*g - 20671 = -5*q, -5*g = -102*q + 96*q - 34466. Does 72 divide g?
False
Suppose -293 + 554 = 9*j. Suppose 0 = -9*k - j + 191. Is k a multiple of 2?
True
Suppose 35*a = 40*a + 4935. Let w = -383 - a. Does 20 divide w?
False
Suppose 181*u - 10386 = 172*u. Suppose -u + 3706 = 4*m. Is 29 a factor of