 7*a. Suppose n - a = y, 52 = -n + 2*n + y. Let q = n + 11. Is q a multiple of 15?
True
Does 4 divide (300/7*-2)/(146/(-1533))?
True
Suppose -95 = 3*q - 32. Let s = q + 23. Suppose 5*m - s*y = -4*y + 188, -3*m - y + 112 = 0. Is 12 a factor of m?
True
Suppose -3*u = t - 2749, 3*u + 3*t - 3537 = -786. Let y = u - 796. Does 19 divide y?
False
Let o(l) = 68*l**2 - 56*l + 365. Is o(10) a multiple of 58?
False
Let o(b) be the second derivative of -b**5/20 - 5*b**4/12 + b**3 + 7*b**2/2 + 23*b. Is 4 a factor of o(-6)?
False
Let x = -5 + 11. Suppose -2*j - x = 2. Is 15 a factor of j/3 - 1656/(-27)?
True
Suppose -i - 10 + 16 = 0. Let x(b) = -b**3 + 9*b**2 + 5*b - 4. Let h be x(i). Suppose 3*v + 2*w = h, 2*v - 121 = w + 4*w. Is v a multiple of 12?
True
Let f be (1/(-2))/(1/(-1618)). Suppose -4*v + 0*m - 1614 = 2*m, 2*v + f = m. Does 35 divide (-1)/((-5 - -9)/v)?
False
Let n(t) = -892*t**3 + t**2 + 4*t - 25. Does 248 divide n(-3)?
True
Suppose -10*z - 962 = -18632. Suppose -4*i = -27*b + 24*b + z, 4*b = 4*i + 2352. Does 115 divide b?
False
Let z be 113 - (2 + -4) - 9. Suppose 3*g - 258 = 3*q, 3*g = -5*q + 136 + z. Does 16 divide g?
False
Suppose 0 = -t + 3*t + 110. Let u = 58 + t. Suppose -32 - 283 = -u*j. Does 35 divide j?
True
Let n(q) = 48*q + 2210. Is 138 a factor of n(8)?
False
Let y(r) = r**3 - 3*r**2 - 4*r + 1. Let k be y(4). Suppose 19 = 5*p - k, -p = 3*v - 3487. Is v a multiple of 27?
True
Let g = 256 - 260. Is 8 a factor of ((-12)/(-8) - 1102/g) + -5?
True
Let n(j) = -76*j**3 - 4*j**2 - j + 4. Let z(u) = -76*u**3 - 5*u**2 - 2*u + 5. Let x(v) = 3*n(v) - 2*z(v). Does 75 divide x(-1)?
True
Let g = -152 - -152. Suppose -s = -g*s - 1, 0 = 3*o - s - 197. Does 15 divide o?
False
Suppose 3*p - 20813 = 4*c + 28714, 0 = -4*p + c + 66062. Is p a multiple of 74?
False
Let c(i) be the second derivative of -i**6/360 - 7*i**5/120 + i**4/2 + i**3 - 5*i. Let f(s) be the second derivative of c(s). Is f(-5) a multiple of 11?
True
Is 31 a factor of ((-4)/3)/(-2) + (-9543124)/(-1146)?
False
Suppose 5*u + 85 = 4285. Suppose -11*g = -16*g + u. Let n = 300 - g. Is n a multiple of 44?
True
Let u = 313 - 8. Let d = -163 + u. Suppose -5*o + 3*s = -283, -5*o + 142 = -4*s - d. Is 14 a factor of o?
True
Let w = -798 - -813. Does 31 divide 12/10 - (-8952)/w?
False
Suppose -z = -4*j - 2*z + 48137, 0 = 3*j - z - 36115. Does 68 divide j?
True
Let u(z) = z**2 - 6*z - 1. Suppose x = -2, -2*g + x + 38 = g. Let l be u(g). Suppose -577 = -4*m + l. Does 9 divide m?
True
Let k(b) = b**2 + 15*b + 56. Let x be k(-8). Suppose -16*g + 22*g - 720 = x. Is 8 a factor of g?
True
Suppose 1609618 = 95*n - 97247. Is n a multiple of 65?
False
Let z = 8 - 106. Is z/((18/90)/(2/(-4))) a multiple of 35?
True
Let n be (-4)/((-84)/(-393)) - 4/14. Let l be 1 + (-6)/(-2) + n. Let u(k) = k**3 + 16*k**2 + 5*k - 4. Is 36 a factor of u(l)?
False
Suppose 83 = 3*j - 283. Suppose -9*w - 23 = -j. Suppose -n + w + 10 = 4*x, 122 = 5*n + 3*x. Does 5 divide n?
True
Let n(c) = -c**2 + 136*c - 376. Does 17 divide n(61)?
True
Let q be 5/2*16/20. Suppose c + 505 = q*a, -a + 0*c + 257 = c. Is 5 a factor of (-4)/18 - (-3 - a/9)?
False
Does 10 divide 53/(3180/325280) + (-2 - (-24)/9)?
False
Let l(u) = -17662*u + 203. Does 162 divide l(-2)?
False
Suppose 5*g + 3*s = 13, -6 + 0 = 2*g + 4*s. Let k = 161 + g. Let b = k + -98. Does 7 divide b?
False
Let u = 56941 - 20073. Is 13 a factor of u?
True
Let w(p) = -p**3 + 10*p**2 - 19*p - 4. Let m be w(7). Let s be 36/m - 6/10. Suppose s*k - 30 - 75 = 0. Is k a multiple of 18?
False
Let c be (-121)/(-17) + (-6)/(-51)*-1. Is 16 a factor of 7/2*21/c*32?
True
Is 46 a factor of ((-2)/12)/((-64)/1536384)?
False
Let h(j) = 13*j**2 - 61*j - 131. Let g(t) = 3*t**2 - 15*t - 33. Let d(a) = 9*g(a) - 2*h(a). Let f be -1 - (-15 - (0 - -2)). Is d(f) a multiple of 2?
False
Let x(w) = w**3 - w**2 - 4*w + 1. Let r be x(3). Is 12 a factor of (1 - 32)*(-2 - r)?
False
Let l be (-48)/60 - (-23817)/15. Suppose 681 + l = 9*h. Is 26 a factor of h?
False
Let n be (2 - 32/12)/((-6)/27). Suppose 2*h + n - 2 = d, -4*d + 4 = 4*h. Suppose -2*t - t + 60 = h. Does 2 divide t?
True
Let b be (-2 + 153/(-6))*-24. Suppose 17*d - 20*d = -b. Does 20 divide d?
True
Let s(t) = 44*t + 1287. Is s(16) a multiple of 3?
False
Suppose 0 = 4*z + 5*r - 8*r - 84, r = 0. Let m(s) = -s**3 + 22*s**2 - 16*s - 3. Is m(z) even?
True
Suppose 0 = -n + 133*y - 135*y + 6966, 2*y - 34846 = -5*n. Does 82 divide n?
True
Does 10 divide -1348*91/(-28) + 4?
False
Let q(r) = -2 + 27*r**2 + 21 - 41*r**2 + r**3. Does 4 divide q(14)?
False
Let h(i) = 11*i**2 - 5*i + 5. Suppose 24*x + 4 = 25*x. Suppose 2*z - 3 = l, -3*l + 0*z + x*z = 3. Does 8 divide h(l)?
False
Suppose 5*j - 22946 = -14*u, -j + 2355 + 4201 = 4*u. Is 9 a factor of u?
False
Suppose 32*q - 36*q - 68644 = -2*r, 5*r - q = 171574. Does 133 divide r?
True
Suppose -2*q + 4*q = 1382. Suppose -3*x - t + 277 = -x, -t = 5*x - q. Let j = 298 - x. Does 12 divide j?
False
Let m = 27548 + -14561. Does 44 divide m?
False
Let n(p) = -p**3 + 4*p**2 - 14*p - 35. Is n(-18) a multiple of 3?
False
Suppose 37 = -3*n + 8*b - 9*b, -5*b + 24 = -4*n. Is 30/(-5) - (n - 8) a multiple of 8?
False
Suppose 5*j + 87 - 19 = 3*p, -2*j - 56 = -3*p. Suppose p*m = 11*m + 1050. Is m a multiple of 19?
False
Let d = -27 - -31. Suppose 10*u + 672 = d*u. Let m = u - -224. Is m a multiple of 12?
False
Let t(n) = n - 17. Let i be t(-13). Let u be (-704)/(-10) + (-18)/i. Suppose 0 = -3*x + 12, -4*o + 213 = -x - u. Does 18 divide o?
True
Let k(l) = 13*l**2 - 76*l + 885. Is 10 a factor of k(17)?
True
Let l = -39 - -42. Suppose -4 = -l*g + 4*g. Is 5 a factor of ((-38)/(-1))/(g/(-2))?
False
Let k be ((-99)/(-22))/(6/4). Suppose -k*c = -11*c + 5736. Is c a multiple of 7?
False
Let k = 3 + -3. Suppose x = h + 4*x - 98, -5*h - 4*x + 490 = k. Suppose -2*l - h = o - 5*o, 3*o - 3*l - 78 = 0. Is o a multiple of 3?
False
Let c(i) = i + 4. Let f be c(-2). Let u be (-1)/(-2)*f + 2. Suppose 4*n + 3*q = -n + 97, -u*n - 4*q = -67. Is 4 a factor of n?
False
Let q = -30 + 58. Let l = 200 + -205. Let c = q + l. Is 6 a factor of c?
False
Let x be (-3)/2*8/3. Let o(m) = m - 7*m - 7 + 3*m**2 - 2*m**2. Is 22 a factor of o(x)?
False
Does 29 divide ((-715)/26)/11*-538?
False
Suppose 0 = 44*b + 41*b - 78*b. Suppose 5*x - 5*y + 4*y - 3215 = b, 3*y = 15. Is 46 a factor of x?
True
Suppose -6*d = 3405 - 87. Let x = 21 - d. Suppose 5*q - 106 - x = 0. Is 24 a factor of q?
False
Let q(x) = 99*x - 315*x + 105*x + 106*x + 11. Does 24 divide q(-17)?
True
Suppose -14*p + 0*p + 8582 = 0. Let q = 1280 - p. Does 46 divide q?
False
Let k(n) = -n**3 + 10*n**2 + 17*n - 12. Let l be k(11). Suppose z + 82 = 5*h - l, 5*z = h - 32. Is h a multiple of 27?
True
Suppose -2*m + v + 1421 = 0, 2*v - 3521 = 40*m - 45*m. Is 19 a factor of m?
False
Suppose -4*c - 2*a = -c - 14, 0 = 2*c - 3*a - 18. Suppose 0 = c*v - 2958 - 1458. Does 42 divide v?
False
Let t(n) = 4*n**3 - 2*n**2 + 9*n - 8. Let g be t(1). Suppose -1235 = -31*k + 28*k + 2*p, -g*p = -5*k + 2057. Is 38 a factor of k?
False
Suppose -2*t - 32 + 22 = 0. Is 10 a factor of 210/((-1 - t - 5)*-1)?
True
Let q be (56/32)/(5/1740). Suppose f - 3 = 0, -5*s + 5*f + q = 8*f. Is 24 a factor of s?
True
Let s = 13682 - -6108. Does 49 divide s?
False
Suppose -4*v - 2*j = 384, -4*j + 10 = v + 106. Is 16 a factor of ((-1139)/51)/(2/v)?
True
Let k(r) be the second derivative of -2*r**5/5 - 7*r**4/12 - r**3/6 + 7*r**2/2 - 237*r. Does 5 divide k(-3)?
False
Let r be 28/(-98) - 2/(42/(-5739)). Suppose -3*x + 87 = -r. Is x a multiple of 24?
True
Suppose -6*x + 60 = 60. Suppose -a = -2*k - x*k - 16, -5*a = -3*k - 87. Is a a multiple of 3?
True
Let q(i) be the first derivative of -i**4 - 7*i**3/3 - 13*i**2/2 + 8*i - 111. Is q(-4) a multiple of 17?
True
Let u(n) = -2*n - 85. Let k be u(-44). Suppose k*s - 4 - 8 = 0, 5*y - 445 = -5*s. Is 4 a factor of y?
False
Suppose -36 = 3*j - 3*o, -j - 2*j - 5*o = 68. Let s = j - -654. Suppose -2*w + s = 4*t, -5*t + 799 = 2*w - w. Does 32 divide t?
True
Let s be 485*(78/60 - (-1)/(-2)). Let b = -172 + s. Suppose -7*i + 4*z + b = -2*i, 220 = 5*i - 5*z. Is 15 a factor of i?
False
Let j(s) = 1258*s - 300. Is j(4) a multiple of 13?
True
Let m(i) = 3*i**2 - 84*i + 2065. Is 344 a factor of m(109)?
True
Suppose -v = 4