 c = 445 + 75. Is 10 a factor of c?
True
Let h be (-46)/(-5) + (-4)/20. Let a(y) = y**3 - 7*y**2 - 12*y - 10. Let r be a(h). Let c = 88 - r. Does 11 divide c?
True
Let q(v) = v**3 + 12*v**2 + 11*v. Let l be q(-11). Suppose l = 10*m - 14*m + 340. Is m a multiple of 15?
False
Let n(s) = 2*s**2 + 14*s - 6. Let j(p) = -p**3 + 11*p**2 - 10*p + 3. Let d be j(10). Suppose 4*w + 7 = d, -2*w - 26 = 2*z. Is n(z) a multiple of 19?
True
Is 27 a factor of (18711/378)/((-1)/(-54))?
True
Let a(u) = 8*u**2 + 17*u - 56. Is a(5) a multiple of 3?
False
Suppose -24 - 28 = -13*s. Does 2 divide s?
True
Let v = 14 + -12. Suppose v = d - 0. Suppose -4*l - d*l + 468 = 0. Is 13 a factor of l?
True
Let m = 99 + -29. Let v = m - -61. Is 26 a factor of v?
False
Let a(x) = x**3 + x**2 - 3*x + 1. Suppose i + 2*r = 8, i = -3*i + 4*r - 4. Let s be a(i). Let n(b) = 3*b - 7. Does 3 divide n(s)?
False
Suppose -2*m + 2*a = -36, -6 + 2 = -a. Is m a multiple of 2?
True
Let r = 23 + -20. Suppose 2*j - 7 = -3*o + j, 2*o = -r*j. Suppose 5*t - 3*z - 564 = -133, -o*t = -z - 257. Is t a multiple of 25?
False
Let h(a) be the first derivative of -35*a**2/2 + 10*a - 47. Is 65 a factor of h(-9)?
True
Let n = 169 + -71. Suppose -2*j + 6 + n = 0. Is 40 a factor of j?
False
Let p(n) = 6*n**2 - 5*n - 3. Let t be p(3). Suppose 3*q + 12 = 0, -4*o + 2*o = -3*q - 60. Let s = t - o. Is 5 a factor of s?
False
Let i(o) = o**3 - 11*o**2 + 61*o + 7. Does 6 divide i(11)?
True
Let w(f) = -3*f**2 - 4*f - 4 + 105*f**3 + 110*f**3 - 214*f**3. Is 15 a factor of w(6)?
False
Let j(b) = -b**3 - 9*b**2 + 7. Let l(g) be the third derivative of -g**5/30 - g**3/6 - 3*g**2. Let x be l(-2). Is j(x) even?
False
Let a = 3 + 3. Let l(c) = -1 + a - 12 + 3*c. Does 4 divide l(4)?
False
Suppose 5*d = -a + 4*a + 8, 5*a + 22 = 4*d. Does 10 divide -180*(9/a*1 + 1)?
True
Suppose 5*y + 1510 = k, 3*k + 4*y = 5316 - 710. Is k a multiple of 15?
True
Suppose -285 = t - 2057. Is t a multiple of 72?
False
Suppose -3*q + 0*q = 3*k - 12, -5*k = -5*q - 20. Suppose -3*x = -k*x. Suppose v + 9 - 41 = x. Is v a multiple of 16?
True
Let x(k) = -k**2 - 12*k - 24. Let g be x(-9). Suppose -g*d - 3*w = -36, 0 = -6*d + 2*d + 3*w + 34. Is d a multiple of 5?
True
Let j be (-3 - -1)/((-14)/581). Let u = j + -48. Is -22*(u/(-10) - -2) a multiple of 24?
False
Let s be (6/4)/((-6)/(-16))*1. Suppose 0 = s*b + 2*n - 22, 10 = -3*n + n. Is 4 a factor of b?
True
Suppose 3*d - 3 = 2*u - 0, -u - 12 = -5*d. Suppose q - 39 + d = 0. Is 18 a factor of q?
True
Let h(d) = 32*d + 1. Let q be h(5). Let n = 111 + -107. Suppose 0 = j - x - 54, j + n*x = 4*j - q. Is 14 a factor of j?
False
Let r be (54*2)/(2/8). Suppose 3*y + 24 - r = 0. Suppose 0 = 4*u - 4*q - y, 5*u - u + 2*q - 106 = 0. Is u a multiple of 7?
False
Suppose 5*c = 2*k + 1944, 0 = -c + k + 273 + 117. Does 22 divide c?
False
Let x = 1204 - 684. Is 40 a factor of x?
True
Let c(u) = -u**3 + u**2 + u + 7. Let l(t) = t**2 + 4*t. Let v be l(-4). Is c(v) a multiple of 7?
True
Suppose l + 4 = -5*n, 21 = -4*n - 5*l + 1. Suppose 16*v - 12*v - 1008 = n. Is v a multiple of 42?
True
Let r(u) = -u - 11. Let h be r(-15). Is 5 a factor of (-8 + 0)*(h - 6)?
False
Let q = -41 + 46. Suppose -56 = -4*c + 3*m + m, -q*c = 3*m - 86. Is c a multiple of 7?
False
Let q be -3 + ((-4)/(-2))/2. Let t = 3 - q. Suppose -5*b - 695 = -t*s, 543 + 19 = 4*s + 2*b. Is s a multiple of 35?
True
Let o(x) = x**3 + 6*x**2 - 13*x. Let w be (-3)/30 - (-306)/60. Is 42 a factor of o(w)?
True
Suppose 2*w + 5*h = 16, 4*w + 4 = -2*h + h. Let q be 18*(1 + (-3)/w). Let y = -25 + q. Is 10 a factor of y?
True
Let c = 15 + -11. Suppose 0 = -2*n - 0*n - c. Let u = 15 - n. Is 7 a factor of u?
False
Let s(i) = 5 - 13 - 3*i + 0*i + 0. Is s(-10) a multiple of 3?
False
Let i(c) = -2*c + 11. Let t(v) = -3*v + 11. Let m(w) = 4*i(w) - 3*t(w). Let x be m(-9). Let l(f) = 4*f**2 - 3*f + 4. Is l(x) a multiple of 7?
True
Let i be 3 + (-14)/(-21)*1*6. Suppose -60 = -11*o + i*o. Does 5 divide o?
True
Suppose -f - 221 = -2*z, -4*z - 19*f + 15*f + 424 = 0. Is 28 a factor of z?
False
Let z(w) be the third derivative of w**6/120 + 7*w**5/60 + 3*w**4/8 + 5*w**3/2 + 8*w**2. Let r be z(-6). Is 15 a factor of ((-93)/3)/(r - -2)?
False
Suppose 0 = 4*g + 4 - 0. Let f be ((-448)/7)/(g/1). Suppose -5*v = 3*k - 109, -5*k + f = -3*k - v. Does 11 divide k?
True
Let o(t) be the third derivative of t**5/60 + t**4/12 + 11*t**3/6 - 20*t**2. Is 6 a factor of o(0)?
False
Let w(j) = 9*j + 1. Let p be 30/(-8) + (-7)/28. Let h be w(p). Let r = -19 - h. Is 8 a factor of r?
True
Let z = -88 + 119. Suppose -5*k + 8 = 4*y - z, -2*y = 4*k - 12. Is 2 a factor of y?
True
Let o be 83 + 3/((-9)/(-12)). Suppose g - 51 - o = 0. Does 34 divide g?
False
Let c(a) = -a**2 - 3*a + 7. Let x be c(-4). Suppose 4*g - z = 16 + 27, -z - 31 = -x*g. Is g a multiple of 8?
False
Suppose -10 - 4 = -2*s. Suppose -i + 2*d + s + 5 = 0, -5*i + 50 = -5*d. Let r = 28 + i. Does 12 divide r?
True
Let s(w) be the second derivative of -w**5/20 + 5*w**4/4 - 13*w**3/6 - w**2/2 - 14*w. Is s(14) a multiple of 10?
False
Let c = 21 - 10. Let f = c - 8. Is 19 a factor of ((-884)/39)/((-2)/f)?
False
Let l = 22 - 15. Suppose -l*b + 112 = -224. Suppose 2*q + b = 4*q. Is q a multiple of 8?
True
Suppose -23 = 3*m - 2*m. Let o = m + 45. Is o a multiple of 3?
False
Suppose 4*p = -70 + 254. Suppose 9*v - p = 53. Is 7 a factor of v?
False
Is 20 a factor of (-28662)/(-357) + (-4)/14?
True
Suppose 426*m - 457*m + 8866 = 0. Is 85 a factor of m?
False
Let n(m) = -m**3 - 7*m**2 - 20*m - 88. Is 2 a factor of n(-7)?
True
Suppose -4*v = 4*c - 20, 5*c - 2 = 4*v - 4. Let q be -1*((5 - v) + 1). Is 17 a factor of (34/6)/(q/(-9))?
True
Does 4 divide 2/3*(456660/(-24))/(-43)?
False
Let i be (10 - 3)*6/21. Suppose 4*s + 22 = 2*y, -2*y + 3*s + 31 = i*s. Is y a multiple of 17?
True
Let i = 50 - 25. Suppose -i - 46 = -h. Suppose -n = -h + 21. Does 15 divide n?
False
Let v(m) = -m**2 + m. Suppose 3*o + o + 4 = 0. Let g(x) = 5*x. Let s(w) = o*g(w) - 2*v(w). Is 15 a factor of s(5)?
True
Suppose 0 = -16*u - 7*u + 207. Is 9 a factor of u?
True
Let v = -441 - -3721. Is 20 a factor of v?
True
Suppose 2*w + 0*w = -5*t + 2, 4*t + 2 = 2*w. Is 16 a factor of (-4 + w + -25)*-4?
True
Suppose -20 = -4*b + 2*w, w = -2*b + 6 - 4. Suppose 6 = b*c, 5*c + 167 - 7 = 5*a. Does 23 divide a?
False
Suppose 3*a + 12*a + 166050 = 0. Is 47 a factor of (-2)/(-7)*-1 - a/35?
False
Let o(a) = 18*a**3 - 2*a**2 - 14*a + 33. Is 21 a factor of o(5)?
True
Suppose -q + 2*x - x + 8 = 0, -3*q = 4*x - 31. Suppose -5*i = 4*p - 15, 3*i + q - 1 = p. Is 12 a factor of 183/p + 3/(-5)?
True
Let d(b) = -b**2 + 4. Let h be d(0). Suppose 3*x = -2*o + 2, -2 = 2*x + 2*o - h. Suppose x*l = -2*l + 84. Does 21 divide l?
True
Does 10 divide -7 - -479 - (1 - -1)?
True
Let a(g) = -4 + 2*g - 4 - 8. Let h be (-86)/(-8) + 7/28. Is a(h) a multiple of 6?
True
Suppose -95 = -t + 1529. Does 28 divide t?
True
Is 24 a factor of (-1748)/6*36/(-24)?
False
Suppose -4*d + 5350 = -5*c, 5*d + 21*c - 17*c - 6667 = 0. Is 15 a factor of d?
True
Let v = 2 - 1. Suppose -34 + v = -p. Does 5 divide p?
False
Is 70 a factor of 151224/240 - 1/10?
True
Suppose -5869 = -19*m + 16152. Does 19 divide m?
True
Let u(l) be the first derivative of 3*l**3 - l**2/2 + l - 13. Is 9 a factor of u(1)?
True
Suppose 29 = 3*f + 32. Is 3/f - 166/(-2) a multiple of 16?
True
Let w = 22 + -22. Suppose -i + w*i = -36. Is i a multiple of 6?
True
Suppose -3*k + 2*o + 11 = 0, 3*k + 2*o - 7*o = 5. Suppose -5*p - 675 + 205 = -3*g, 320 = 2*g - k*p. Is g a multiple of 17?
False
Let x(n) = 70 + 4*n + 7*n**2 - n**3 - 82 + 3*n**2. Is x(8) a multiple of 37?
True
Suppose 0 = -3*m + 290 + 172. Suppose -10*a + m = -9*a. Suppose -k - 4 = 1, -3*t + 5*k + a = 0. Is t a multiple of 17?
False
Let w = 25 + -40. Is ((-3216)/w)/4 - 10/(-25) a multiple of 6?
True
Let s(u) = u**2 + 10*u + 12. Suppose p - 6*p = 45. Let v be s(p). Does 2 divide 31/4 - v/(-12)?
True
Suppose -5*y = -2*y - 4626. Is y a multiple of 92?
False
Suppose -3*n + 3 = -2*n. Let s = n + 67. Is s/6 + (-10)/15 a multiple of 3?
False
Let b be (-5)/((-2)/384*3). Let s = b + -55. Suppose -4*a + 5*q + s = -0*a, 0 = 3*a - 3*q - 201. Is a a multiple of 14?
True
Let w(r) = -27*r + 161. Does 2 divide w(5)?
True
Let s(z) = z**3 + 5*z