7 - b. Is 13 a factor of m?
True
Suppose 5*n + 2*k = 1355, 2*k = -k. Suppose -2*j + 999 = 2*j - z, -j + n = 4*z. Does 38 divide j?
False
Let d(t) = -7*t**3 + 277*t**2 + 93*t + 115. Is d(39) a multiple of 17?
True
Let j = 3647 - 2507. Is 6 a factor of j?
True
Let l be (-2)/5 - 52/(-130). Does 22 divide 8/(-36) - (l - 5548/18)?
True
Let d(x) = 40*x - 102. Let w be d(-14). Let j = w - -766. Is j a multiple of 4?
True
Let z(b) = 103*b - 236. Is z(20) a multiple of 4?
True
Suppose -144*b - 280 = -142*b. Is 7 a factor of 2/(-8) + 5/b*-11963?
True
Suppose -6 = -2*m + 2*b, 0*m = -3*m + 2*b + 9. Let y be 0 - (-2 - 6/m). Suppose y*j - 1 = -9, 0 = -4*i + 3*j + 142. Is 10 a factor of i?
False
Let h(d) = 2*d**3 + d**2 - 5*d + 4. Suppose l = -2*v + 3, -v - v + 4 = 2*l. Let g be h(l). Suppose -n = -2, -5*n = g*c - 3*n - 62. Is c even?
False
Let u be -6 + (4/14 - 4/14). Let b be ((-21)/u)/(9/270). Suppose w = 15 + b. Does 8 divide w?
True
Suppose 38*w = 40*w - 164. Let s = w - 79. Suppose -u + 56 = s*u. Is 3 a factor of u?
False
Suppose 12*h = 83 - 143. Is 449 + 28/4 + h a multiple of 41?
True
Let j = 746 - 744. Let f be ((-2)/(-4))/((-1)/(-54)). Suppose j*l + f = 99. Does 14 divide l?
False
Suppose -8 = -o - 5. Let v be (-203)/(-49) - o/21. Is 41 a factor of ((-1984)/v - -4)*(-3)/6?
True
Let q be 11/(66/20)*(-864)/10. Is ((-599)/(-2) + -1)*q/(-108) a multiple of 14?
False
Let f(p) = 3*p + 22. Let g be f(-8). Let k be 48/12 - g*2. Suppose -288 = 4*y - k*y. Does 18 divide y?
True
Let n(i) be the third derivative of -7*i**6/40 - i**5/15 + i**4/4 + 7*i**3/6 - i**2 + 1. Is n(-3) a multiple of 52?
True
Let s(x) = x**2 + 31*x + 32. Let k be s(-30). Suppose 2*a + 3*j = -k*j + 165, -5*a + 455 = 4*j. Is a a multiple of 6?
False
Suppose 6*p - 10 = 8. Suppose 0 = 46*s - 45*s - p. Suppose 2*r - s*r = -20. Does 4 divide r?
True
Let o(v) = 32 - 6*v - 9*v - 17 + 46 + 2*v. Does 14 divide o(-19)?
True
Does 25 divide 2/(-2 + 2/3)*(-773760)/180?
False
Let l(h) = -h - 7. Let q be l(0). Let g be (-2 - 3)*33/(-55) + -2. Is 14 - (-5 - g)/(9 + q) even?
False
Let c = 1615 + 2726. Does 5 divide c?
False
Let n be (2/4)/(44/24 + -2). Let c(a) be the second derivative of -13*a**3 + 2*a**2 + 38*a. Is 17 a factor of c(n)?
True
Let r be 3*(-28)/21 - -544. Let z = -450 + r. Does 10 divide z?
True
Let u(w) be the third derivative of w**6/120 + w**5/2 - 17*w**4/12 + 19*w**3/6 - 41*w**2 + 1. Is u(-31) a multiple of 4?
True
Suppose 0 = -4*n - 12 + 4, -3*n + 4369 = 5*k. Does 6 divide k?
False
Suppose 11*i = 12*i - 3*n - 2088, 0 = -4*i + 2*n + 8322. Is 27 a factor of i?
True
Let j(n) be the first derivative of 37*n**2/2 - 4*n - 59. Suppose -x = x - 4. Does 35 divide j(x)?
True
Suppose -47 + 2 = -9*o. Does 52 divide (76 - -2)/((-381)/78 + o)?
True
Suppose -3931 = 3*c + 2*y - 795, -5*c - y = 5215. Let o = c - -1614. Does 26 divide o?
True
Let d = -280 + 286. Is 8 a factor of (-120 - (d/2 + -2))/(-1)?
False
Suppose 4 = -4*x + 8, 0 = -3*r - 4*x + 16. Let a be 34/(-4) + 2/(-4). Does 13 divide a/r*-2*44/11?
False
Let p be (4/5)/(8/380). Let w be (22/4)/(493/34 - 14). Let d = w + p. Does 16 divide d?
False
Let b = 4796 + -2204. Is 7 a factor of b/30 - 2/5?
False
Let m(c) = 3*c**2 - 95*c + 204. Is m(32) a multiple of 2?
True
Let o be (28/70)/(2/(-1090)). Let i = -37 - o. Is i a multiple of 8?
False
Suppose -47 = -2*g - 33, 5*i = 4*g + 134272. Is 10 a factor of i?
True
Suppose 2*z + z = 2*g - 313, 4*g + 109 = -z. Let x(j) = -51*j - 1. Let m be x(-3). Let k = m + z. Is 4 a factor of k?
False
Suppose -1120 = 18*m - 4810. Is 19 a factor of m?
False
Let r(a) = 6*a**3 + 110*a**2 - 12*a - 19. Is 28 a factor of r(-18)?
False
Let m(v) = -v + 1. Let n be m(-2). Suppose 0 = 11*w - 10*w - n. Suppose -3*q = -3*k - 8*q + 10, w*k - 3*q = 42. Does 10 divide k?
True
Let v(j) = 112*j - 8. Suppose -5*b + k = -10, -5*b = -4*b - 3*k - 16. Does 5 divide v(b)?
False
Is 208/3*(3930/24 - -23) a multiple of 8?
False
Let i(k) = k**3 + 17*k**2 - 10*k - 22. Suppose r = 5*h - 10*h - 83, -89 = 5*h - 2*r. Does 39 divide i(h)?
False
Let x be (-8 - -159)*7 + (-1 - 4). Let g = x - -136. Is 11 a factor of g?
True
Suppose -81*v + 28 = -74*v. Suppose 0 = -2*z + 6, 3*z + 14 = -v*i + 503. Is 6 a factor of i?
True
Let m = 2463 + 807. Suppose 0 = 8*x - 1674 - m. Does 6 divide x?
True
Let z = 6 + 948. Let q = -390 + z. Does 13 divide q?
False
Is (-340)/(-6)*(-112914)/(-164) a multiple of 132?
False
Suppose 5*c + 35 = 5*a, 37 = 5*a - 4*c + 7. Let p(t) = 3*t**2 + 23*t - 12. Let i(z) = 4*z**2 + 23*z - 11. Let w(b) = a*i(b) - 3*p(b). Does 36 divide w(-10)?
True
Let u(n) = 101*n**2 - 54*n - 791. Is 11 a factor of u(20)?
False
Let z(c) be the third derivative of 13*c**6/30 + 7*c**5/60 - 5*c**4/24 - 16*c**2. Let v be z(2). Suppose -g = 4*y - 88, 3*g + 130 = -4*y + v. Does 27 divide g?
True
Let r = -6099 + 7875. Is r a multiple of 24?
True
Suppose -4*f + 5*f - 274 = 0. Let d = 394 - f. Does 15 divide d?
True
Suppose a - 553 = 5*c + 633, -5842 = -5*a + 3*c. Is (2 - a)*(55/10 - 6) a multiple of 32?
False
Suppose -2*v + 5*b + 8 = 0, -4 = -2*v + 3*b + 4. Is (v + (6 - 11))/((-3)/15) a multiple of 2?
False
Let v(y) = 388*y + 556. Does 58 divide v(105)?
True
Let v(i) = -7*i + 98. Let q be v(14). Does 19 divide (-45 - (1 - q))/(2/(-6))?
False
Suppose -7*p + 2*p - 2585 = 0. Let w be (-2)/6 + p/(-3). Suppose -2*c - w = -6*c - 5*b, -2*b - 104 = -2*c. Does 10 divide c?
False
Suppose -2*q - 308 = -b, 3*b - 5*q - 954 = -9*q. Let n(c) = 3*c**3 + 5*c**2 - 4*c - 1. Let s be n(5). Let a = s - b. Is 33 a factor of a?
True
Let c = 6190 - 4553. Is c a multiple of 3?
False
Let g(y) = 2*y**2 - 8*y + 3. Let i be g(3). Let c(x) = 11*x**2 + 6*x + 17. Does 7 divide c(i)?
True
Suppose -2*y - 2754 + 43546 = 0. Is y a multiple of 7?
False
Let c be (2 - (7 + -2)) + 483. Let w be (322 + -4)*(3 - 2). Let j = c - w. Does 22 divide j?
False
Let v = 8308 - -4178. Does 16 divide v?
False
Suppose 0 = 37*j - 231309 - 216465. Is 229 a factor of j?
False
Let b = -226 + 238. Suppose 3*p - d = 1870, -32 = 5*d - b. Is p a multiple of 24?
False
Let q(o) be the third derivative of -7*o**4/12 + 29*o**3/2 + 9*o**2. Let j(a) = 9*a - 58. Let k(p) = -8*j(p) - 5*q(p). Does 9 divide k(10)?
True
Let s = 188 + -109. Let i = s + -76. Suppose 15 = -i*x, 7*x - 8*x = 2*c - 191. Is 20 a factor of c?
False
Is 213 a factor of -1*16/14 + -25*120476/(-70)?
True
Suppose j = 53 - 57. Does 18 divide ((-972)/45)/((8/15)/j)?
True
Let a = 6760 + -4222. Is 9 a factor of a?
True
Does 24 divide (1169 - 17)*(1 - (-4 + -2))?
True
Let t = -19 + 17. Let h be (10/30)/(t/(-1038)). Suppose -2*k = -h - 241. Does 24 divide k?
False
Let b = -314 - -331. Suppose b*d - 3996 = 8*d. Is d a multiple of 37?
True
Let s = 34 + -39. Let v = s - -9. Suppose v*q = -0*q + 624. Is 13 a factor of q?
True
Let p = -409 + 412. Suppose 5*k = 3*q - 125, p*q - 128*k = -127*k + 145. Is q a multiple of 34?
False
Let i(s) = -s**3 + 8*s**2 - 3*s + 5. Let h(a) = -a**3 + 5*a**2 + a - 10. Let f be h(5). Let j = f - -12. Does 33 divide i(j)?
True
Let j(p) = 19*p - 1144. Is 23 a factor of j(82)?
True
Let l be 12/42 - ((-550)/(-14) - 1). Let v = l + 38. Is 121 + v*1/(-3) a multiple of 21?
False
Suppose -5*f + 31 = 2*q, -3*f + 0*f = -q - 12. Suppose 0 = q*y - 9, 2*y = -2*i + 6*y - 16. Let u = 44 + i. Is u a multiple of 12?
False
Let s be 8/(-28)*-1 + (-1046)/(-14). Is 25 a factor of s*((-16)/12)/(-1)?
True
Let l(o) be the third derivative of o**6/120 - 8*o**5/15 + 37*o**4/24 + 6*o**3 + 138*o**2. Does 26 divide l(32)?
False
Let u(z) = -4*z**3 - 24*z**2 - 92*z - 44. Is u(-8) a multiple of 13?
False
Suppose -2*c = -c. Suppose -11 = -4*w - 3*y, -3*y = w - c*w - 5. Suppose 5*d + w*a - 311 = 0, a + 58 = -2*d + 3*d. Is 11 a factor of d?
False
Let f = 498 - 497. Let m(x) = 25*x**2 + 0 - 3*x + 6*x - 4. Is 5 a factor of m(f)?
False
Suppose 4*o - 1870 = -o. Let g be 4/(-120)*-6 + o/5. Let p = g - -31. Does 21 divide p?
False
Let y(s) = s**3 + 2*s**2 - 3*s + 2. Let h be y(-3). Let i(v) = -3*v + 15. Let x be i(4). Suppose 5*d = 2*b - 37, 3*b - 64 = h*d - x*d. Does 7 divide b?
True
Let g(p) be the second derivative of p**4/2 + p**2 - 3*p. Suppose -63*i - 1 = -64*i. Is 8 a factor of g(i)?
True
Let o = 164 - 82. Let w = -79 + o. Suppose 812 = z + w*z. Is 27 a factor of z?
False