 ((-44)/8 - 1)/((-1)/94) a multiple of 13?
True
Let j be 28 - -5 - (1 - -3). Let x = 2 + j. Does 10 divide x?
False
Let i(p) be the first derivative of p**3/3 + p**2 - 2*p + 7. Let j be i(1). Does 7 divide (-6 - -4) + (j - -10)?
False
Suppose 0 = -5*h - 0*b - 3*b + 3306, -2*h = 5*b - 1330. Is 44 a factor of h?
True
Let y(h) = 3*h**2 - 10*h + 15. Let d(g) = 10*g + 2. Let w(n) = -5*n - 1. Let j(f) = -3*d(f) - 7*w(f). Let p be j(1). Does 14 divide y(p)?
False
Suppose 12 = -3*z + 3. Let o(a) = 18*a**2 + a + 1. Let n be o(z). Suppose 0 = -5*c - 4*w + n, c - 3*c + 3*w = -87. Does 14 divide c?
False
Let v = -421 - -778. Does 21 divide v?
True
Suppose 5*n + 4*r + r - 60 = 0, n + 2*r - 14 = 0. Suppose 8*w = 3*w + n. Suppose -w*t = -h - 11, -2*t + t + 33 = 5*h. Is t a multiple of 3?
False
Suppose 17*m - 18*m = -702. Is m a multiple of 12?
False
Let p = -31 - -19. Let c be ((-30)/p)/(2/308). Suppose -c = -5*x - 0*x. Is 27 a factor of x?
False
Suppose -91 - 65 = -4*m. Is m a multiple of 4?
False
Suppose 0*b + b = -z + 83, 395 = 5*z + b. Does 39 divide z?
True
Is 25 a factor of 1*((-1056)/(-3) + -2)?
True
Let q = -284 + 524. Does 16 divide q?
True
Let r(q) = 115*q**2 - 4*q + 3. Is 9 a factor of r(3)?
True
Let a(n) be the first derivative of n**4/4 + n**3/3 + n**2 + 6. Let k = 28 + -25. Is a(k) a multiple of 14?
True
Let x = -14 - -8. Is 12 a factor of (-147)/x - (-7)/(-14)?
True
Let o be (-84)/49*(-7)/2. Let t be 130/o - (-2)/(-3). Suppose w - 1 + 4 = 0, -5*m + t = 3*w. Is 6 a factor of m?
True
Let i(d) = 42*d**3 - 2*d**2 + d. Let l be 6/2 - (-7)/((-7)/2). Is i(l) a multiple of 2?
False
Let s(m) = 99*m - 27. Does 15 divide s(5)?
False
Let x(c) = 2*c**2 + 55*c - 656. Does 14 divide x(-51)?
False
Let f = 396 - -192. Is 14 a factor of f?
True
Suppose -a + 31 = 7*k - 2*k, 2*k = a + 4. Let v(r) = r**2 - 15*r + a*r + 1 + 19*r. Is 9 a factor of v(-12)?
False
Let z = 10 + -10. Suppose z = k - 5*j - 7, -5*k - 2 = -3*j - 15. Suppose 0 = 5*l - 4*i - 36, -6*l + k*i + 24 = -2*l. Does 4 divide l?
True
Let i(n) = -14*n + 3. Let m(c) = -5*c + 1. Let b(f) = -6*i(f) + 17*m(f). Let d be b(-4). Suppose -76 = -d*k + 176. Is k a multiple of 14?
True
Let a(t) = 222*t**2 + 1. Let i be a(-1). Let z = i - 69. Is z a multiple of 40?
False
Let j be (11390/(-180) - 2/9)*-2. Suppose 0 = 2*y + 5*f + 139, 2*f + 19 = 2*y + 193. Let x = y + j. Is 15 a factor of x?
True
Let o be ((-3)/(-1 + 2))/(-1). Suppose o*y - 154 = -8*y. Is 14 a factor of y?
True
Let j = 437 - 287. Is j a multiple of 3?
True
Let w(s) = -7*s - 6*s - 13*s. Let i be 0/(-4) - 0 - 1. Does 13 divide w(i)?
True
Suppose t = -5*a + 1040, a - 1770 = -2*t + 310. Does 16 divide t?
True
Let u = -86 - -445. Is u a multiple of 15?
False
Let b(x) = x**2 + 7*x + 1. Let c be b(-7). Let i be c/(-1) - (415 + 10). Is i/(-6) - (-6)/2 a multiple of 20?
False
Let u = 184 + -52. Is 12 a factor of u?
True
Let t = 1340 + -716. Does 16 divide t?
True
Let h(t) = -t + 6. Let d be h(6). Suppose 7*b - 9*b + 384 = d. Does 12 divide b?
True
Let g = -851 + 1313. Is g a multiple of 77?
True
Is 9 + -13 + 6 + 30 + 0 a multiple of 20?
False
Suppose 31 = -3*c - 29. Does 34 divide c/(-15)*-3 - -106?
True
Let p = -133 + 477. Is 38 a factor of p?
False
Let r(m) = -m**3 - 40*m**2 - 114*m + 31. Does 6 divide r(-37)?
False
Let k = 2255 - 1287. Is 44 a factor of k?
True
Suppose -20 = -r + 2*x, 2*r - 38 = -x + 4*x. Is 18 a factor of 112 + (r/20)/((-3)/(-15))?
False
Let n(h) = -h**3 + 23*h**2 + 51*h - 25. Let m be n(25). Suppose 0*c - 6 = -2*c. Is 4 a factor of -2 + 42/(c + m)?
True
Is 2*20135/50 + (-2)/5 a multiple of 23?
True
Suppose 637 - 7210 = -4*q + 5*f, 2*f - 3300 = -2*q. Does 71 divide q?
False
Suppose -8*t + 3*t = 3*g - 1102, 0 = 2*t + 5*g - 437. Is t a multiple of 17?
True
Let y = 16 + -18. Let r be -1 + y + (-10 - -14). Is 18 a factor of (-1022)/(-21) + r/3?
False
Let h(x) = x**3 + 16*x**2 + 14*x - 5. Is 9 a factor of h(7)?
False
Let t(s) = 3*s - 1. Let v be t(-4). Let u = 20 + v. Suppose 0 = u*d - 73 - 39. Is 4 a factor of d?
True
Suppose 167 = x - 135. Let o = x - 116. Is o a multiple of 34?
False
Is -3 + -2 + 8 - (6 - 500) a multiple of 24?
False
Suppose -5*k - j = -77, 45 = 5*k + 2*j - 34. Suppose 4*t - 2*m - 88 = 186, -k = -5*m. Is 24 a factor of t?
False
Let l(s) = 13*s**2 + 13*s. Let g(y) = y. Let z(n) = -6*g(n) + l(n). Does 16 divide z(-3)?
True
Let r = -6 - -15. Let j = r + -10. Is 11 a factor of (j - 2/(-10))*-15?
False
Let s = 1717 + -819. Is 43 a factor of s?
False
Let z(f) be the third derivative of f**7/2520 - f**6/90 + f**5/30 - f**2. Let l(q) be the third derivative of z(q). Does 20 divide l(14)?
True
Let m = 1678 - 1236. Is m a multiple of 13?
True
Does 4 divide ((-38)/10)/((-18)/90)?
False
Suppose -v + 3 = -9. Suppose 7*m + 75 = v*m. Does 15 divide m?
True
Suppose s + 9 = -3*a, 0 = -5*a - s + 2 - 15. Let c = -26 + a. Let j = 63 + c. Does 11 divide j?
False
Let g = -7 + 7. Let j = g + -8. Let i = 54 + j. Is 23 a factor of i?
True
Let h be (60/8)/((-4)/(-8)). Let d = -86 - -148. Let m = d - h. Does 6 divide m?
False
Let j = 115 + -114. Does 22 divide 332 + (0 - -3) + j + 0?
False
Let o = -127 - -96. Let v(c) = 3*c**2 + 7*c + 7. Let a be v(-5). Let n = o + a. Is 8 a factor of n?
True
Is (7 + -35)/(-7) + 308 a multiple of 39?
True
Let p = 78 - 97. Let y = -201 + 290. Let a = p + y. Is a a multiple of 15?
False
Let v(k) = 6*k**2 - 20*k + 30. Does 10 divide v(20)?
True
Let u(g) = g**2 - g + 1. Let b(z) = -2*z**2 - 5*z + 5. Let h(d) = -b(d) - 3*u(d). Is h(2) a multiple of 2?
True
Suppose -6 = -0*u + 3*u. Let n(y) = -3*y**3 + 2*y**2 - 4*y - 4. Let t(a) = -a**3 - a**2 + a + 1. Let s(v) = n(v) + 2*t(v). Is s(u) a multiple of 21?
True
Let p(c) = 2*c**3 - c**2 + c + 18. Does 5 divide p(6)?
True
Let a(s) = s**2 - 2*s + 12. Suppose -n + 3*x = 9, 27 = -3*n - 7*x + 3*x. Does 37 divide a(n)?
True
Let a(i) be the first derivative of 5*i + 9 - 5/2*i**2. Is 9 a factor of a(-4)?
False
Let p = 23 - 17. Suppose 175 = p*o - o. Is 5 a factor of o?
True
Suppose d = 5*y - 80, -d - 116 = y - 6. Is d/(-7) - 2/1 a multiple of 13?
True
Suppose 5535 = 1543*m - 1534*m. Is 18 a factor of m?
False
Let w(y) = -4*y**3 - 2*y**2 - 2*y + 2. Let z be w(-3). Suppose 72*c + 12 = 75*c. Suppose -2*k - 4*r = -78, -r = c*k - 72 - z. Does 9 divide k?
False
Let i be (90/(-15))/(3*(-4)/6). Suppose -d - 116 - 1 = -w, i*d - 109 = -w. Is 19 a factor of w?
False
Suppose -2*d + s = -2395, 4*d - 4*s - 4439 = 357. Is d a multiple of 52?
True
Suppose -2*a = g - 72, 3*a - 136 = -2*g + 13. Is 20 a factor of g?
False
Suppose 0 = 4*u + 3*k - 25, u + 5*k + 0 = 19. Suppose 3*g = 4*m + 7, m = u*m - 3*g + 9. Is m even?
True
Suppose 3 = 3*i, 2*d + 5*i = -3*d + 465. Does 4 divide d?
True
Let n = 190 + -343. Let y = -33 - n. Is 30 a factor of y?
True
Let c(r) = -r**3 + 7*r**2 - 5*r + 5. Let i be c(6). Suppose -i*q = -6*q - 10. Suppose 21 - 3 = q*y. Does 4 divide y?
False
Let n(l) = -3*l + 32. Let f be n(10). Suppose -15*k = -f*k - 871. Is k a multiple of 26?
False
Let v(m) = -3*m**3 - 4*m**2 + 4. Let i(f) = -f**2 + 4*f + 10. Let p be i(6). Is v(p) a multiple of 4?
True
Let p(v) = 2*v - 14. Let q be p(7). Suppose 7*l - 9*l + 10 = q. Suppose 3*b + l*r = 161, -4*r = 3*b - 6*b + 152. Is 13 a factor of b?
True
Suppose 4*s - s - 228 = 0. Let p = s - 41. Let g = -17 + p. Is g a multiple of 6?
True
Let r be (-674)/(-2) + 32/(-16). Suppose -75 = -a + 2*m, 4*a = 2*m - m + r. Is 13 a factor of a?
False
Let r = 916 - 642. Is 23 a factor of r?
False
Suppose 0 = -z + 2*z - 2*t + 7, 5*z - 13 = -2*t. Let c(n) = 25*n**2 - 2*n + 3. Let b be c(z). Suppose 2*m - b = 126. Does 38 divide m?
True
Let n = -414 + 1107. Is 21 a factor of n?
True
Suppose -3*m = -4*d + 511, 347 = -2*d + 5*d + 5*m. Let w = 299 - d. Does 25 divide w?
True
Let w(c) = -c**3 - 5*c**2 - 2*c + 5. Let r be w(-5). Is 1266/r + (-4)/10 a multiple of 42?
True
Let k be ((-3)/1)/((8/428)/(-2)). Let q = -161 + k. Is q a multiple of 20?
True
Let g be 2*(-1)/3*-9. Suppose 7*t - 43 = g*t. Is t a multiple of 17?
False
Is 41 a factor of 578/2 - 10/5?
True
Let g be 21 + (3 + -3 - 3). Let p be (1/(-3))/((-1)/g). Is 4 a factor of 20/p*24/10?
True
Let q = 48 - 23. Let f = q - 15. Does 5 divide f?
True
Suppose -4852 = -6*a + 1472. Does 31 divide a?
True
Let k(p) = p**2 