Let m = -537 + 660. Is 41 a factor of m?
True
Let n(l) = l + 6. Let b be n(-4). Suppose 0 = b*x + 2*x - 136. Does 13 divide x?
False
Let j(t) = 10*t**2 - 84*t + 14. Is j(11) a multiple of 15?
True
Let n(b) = -b**3 - 3*b**2 + 5*b + 1. Let p be n(-4). Let v = p - -7. Is 34 a factor of 2 + v + 66 - 4?
True
Let s(y) = 6*y**2 + 5*y + 6. Does 8 divide s(-3)?
False
Let i(w) = -w - 14. Let r be i(-6). Let o(f) = -f**3 - 8*f**2 + 5*f - 2. Let t be o(r). Let g = t - -84. Is 21 a factor of g?
True
Let w(g) be the first derivative of 8*g**3/3 + g**2/2 + g + 10. Is 4 a factor of w(-1)?
True
Let a = -33 - -34. Let g = a + 46. Does 12 divide g?
False
Let v(o) = -4*o**3 - o. Let c be v(-1). Suppose -4*u + 0 = -p + 24, -u = c. Suppose 4*s - 2*b + 34 = 5*s, -5*b + 121 = p*s. Is s a multiple of 8?
True
Let c be (8/(-28))/((-14)/49). Is 2 a factor of 47 - 26 - (0 - 1)/c?
True
Let d be 3/(3/4*2). Let f(p) = 10*p**2 + 2 - 50*p + 23*p + 26*p - 5*p**2. Is f(d) a multiple of 5?
True
Let h(i) = -i**3 - 9*i**2 - 7*i + 57. Does 24 divide h(-13)?
False
Let k = -215 + 330. Is k a multiple of 23?
True
Let v(q) = 3*q**3 - q**2 - 7*q + 7. Let s(d) = -8*d**3 + 2*d**2 + 21*d - 20. Let f(o) = 4*s(o) + 11*v(o). Does 2 divide f(2)?
False
Let v be (4 + 0)*(-15)/(-20). Suppose v*i - 8 = -i. Suppose -3*j = 2*d - 116, 2*j = i*d + 3*d + 52. Is j a multiple of 12?
True
Let r = 809 - 352. Does 19 divide r?
False
Suppose -j - 15 + 2 = -5*c, c - 4 = 0. Suppose 5*i = -3 - j. Does 28 divide (12/(-15))/(i/210)?
True
Let k(u) = 2*u**2 - 32*u + 21. Let z be ((-2)/(-4))/((-4)/(-136)). Is k(z) a multiple of 8?
False
Let m = 66 - 27. Let z = m + -56. Let g = -8 - z. Is 9 a factor of g?
True
Let a = -19 + 22. Let d = a + 24. Is 15 a factor of d?
False
Suppose 0*j + 3*j - f = -17, -3*j - 2*f = 29. Let c(s) = -7*s - 16. Is c(j) a multiple of 11?
True
Let k(m) = 3*m**2 + 21*m - 16. Let g(i) = -i**2 - 11*i + 8. Let q(w) = 7*g(w) + 3*k(w). Let j be q(7). Suppose -3*v - 220 = -j*v. Is v a multiple of 13?
False
Let c = 69 - 69. Suppose c*v - 72 = -2*v. Is v a multiple of 5?
False
Suppose 3*k + t - 28 = -3*t, 0 = -3*k - 2*t + 20. Suppose 0 = 2*y - 3*s + 3, 4*s = k*y. Let o(v) = -v**3 + 4*v**2 - 2*v + 3. Does 3 divide o(y)?
True
Suppose -5*h - 3*w + 12 = 0, 7*h + 20 = 6*h + 5*w. Suppose h = -p + 83 + 195. Is 28 a factor of p?
False
Let p(j) = j**2 - 14*j - 7. Let x be p(13). Let k = x - -20. Is 8 a factor of (15 - (-5 + 1)) + k?
False
Let u(d) = 18 + 3*d**2 - 42*d - 4 + 34*d. Is u(6) a multiple of 5?
False
Let k = 183 - -15. Let q be (5/(-2))/((-9)/k). Let g = q + -27. Is g a multiple of 10?
False
Let d(n) be the third derivative of n**4/12 + n**3/2 - 13*n**2. Does 3 divide d(4)?
False
Let w(l) = l + 12. Let m be w(-10). Suppose 4*n - 2*d = 3*d + 8, -m = 2*n - d. Let b = n - -41. Is b a multiple of 16?
False
Suppose 5*r = 4*m - 559, -89*r = 5*m - 94*r - 695. Is 68 a factor of m?
True
Let g(o) be the third derivative of -7*o**4/6 - 11*o**3/6 - 8*o**2. Is g(-2) a multiple of 15?
True
Suppose 5*g - 2*n - 12 = 10, -4*g + 4*n = -20. Suppose g*j - 7 = 9. Suppose -124 - 8 = -j*q. Does 11 divide q?
True
Suppose -n + 3 = -22. Let r = n + -11. Is r a multiple of 7?
True
Let t(k) = k**2 - 7*k - 7. Let z(w) = w**2 - 6*w - 7. Let r(h) = -4*t(h) + 3*z(h). Let y be r(11). Let b(n) = -6*n - 7. Is 12 a factor of b(y)?
False
Let b(l) = -22*l**3 - 3*l - 10. Let f be b(-4). Suppose -22 - 2 = -3*y. Does 13 divide y/(-36) - f/(-27)?
True
Let k(h) = 3*h**2 + 2*h + 1. Suppose r + 3*r + 20 = 0, 5*d + 20 = -3*r. Let u be k(d). Suppose 0 = 3*j, 3*w = -2*w + u*j + 110. Is w a multiple of 9?
False
Suppose 10907 = 18*p + 1313. Is p a multiple of 41?
True
Is 2 a factor of 8 + (15/(-3) - -4)?
False
Let z = 189 - 92. Is z a multiple of 11?
False
Let u = 1 + 2. Suppose 2*y - u = 1. Is (-20)/(-1 + -1) + y a multiple of 12?
True
Suppose -2*f + 5 + 3 = 4*t, -f = t - 2. Let l = -5 + 14. Suppose 3*o - l*o + 156 = f. Is 26 a factor of o?
True
Let c = -127 + 901. Is 18 a factor of c?
True
Suppose 15176 = 33*i - 31354. Is 47 a factor of i?
True
Let o(r) = 12*r + 40. Is o(36) a multiple of 59?
True
Suppose -3*h = h - 16. Suppose 3*b + 6 = 4*p - 0, 3*p + h*b + 8 = 0. Let x(v) = v**3 + v**2 - v + 12. Is 6 a factor of x(p)?
True
Suppose -3*q + 17 - 2 = 0. Suppose 3*w = 3*o - 255, -4*w + 144 = -q*o + 572. Suppose 5*y + 3*f - 170 = -33, 3*f = 4*y - o. Is 11 a factor of y?
False
Let b(u) = -350*u - 327. Is 29 a factor of b(-4)?
True
Suppose -7 = 9*k - 34. Suppose u - 2*q - 10 = 42, k*q = -9. Is u a multiple of 14?
False
Suppose -2*z - 1 = -7. Suppose 0 = -z*t - t. Is 23 a factor of (t - -94) + (2 - 5)?
False
Suppose 0 = 6*q - 7*q + 5. Suppose -72 = -2*t + 4*a, -2*t = q*a - 102 + 30. Suppose 0*c + t = 3*c. Is 12 a factor of c?
True
Let h(z) be the second derivative of 0 + 1/20*z**5 + 5/6*z**4 - 4*z**2 - 7*z + 7/6*z**3. Does 5 divide h(-9)?
True
Suppose -21 = -b - 23. Is 11 a factor of ((-152)/95)/(b/190)?
False
Let m = 3139 + 261. Does 20 divide m?
True
Let c(n) = 149*n - 411. Does 7 divide c(6)?
True
Suppose -3 = u - 18. Suppose -55 + u = -5*r. Is r even?
True
Let p = -247 + 598. Is p a multiple of 39?
True
Let d = 3 + -2. Let r(n) = n**2 - 4*n + 1. Let m(t) = t. Let l(b) = d*r(b) + 4*m(b). Is l(5) a multiple of 13?
True
Let z = -6886 + 10350. Is z a multiple of 99?
False
Let c = 167 + -313. Let w = 211 + c. Is w a multiple of 13?
True
Suppose 2*x + 2*x = -2*r + 2128, -2*x = 3*r - 3196. Does 22 divide r?
False
Let d be 42/9 - (-6)/18. Suppose d*x - 214 = -4*b, 97 = 4*x + b - 83. Does 19 divide x?
False
Suppose 17*p - 13*p - 4 = 0. Let v be ((-3)/p)/((-3)/17). Suppose -v*w + 20*w = 21. Is w even?
False
Suppose 114*m - 1460 = 41*m. Does 10 divide m?
True
Suppose f - 4*f = 0. Suppose -2*m - 2*d + 42 = f, -5*d - 120 = -m - 3*m. Is 25 a factor of m?
True
Suppose -3*k = 2*k + 10, -223 = -3*w - k. Is w a multiple of 15?
True
Suppose 136 = r + 3*r. Suppose -51 = -3*v + 5*c, 82 = 5*v + 4*c + r. Let t = -9 + v. Is t a multiple of 3?
True
Let m(a) = a**3 - 4*a**2 + a + 9. Does 39 divide m(5)?
True
Let a(x) = -25*x - 21*x + 2*x**2 + 2 + 2 + 54*x. Let v = 10 - 15. Is a(v) a multiple of 14?
True
Let z(d) be the second derivative of d**3 + 3*d**2 + 3*d. Let l be z(4). Is 8 a factor of (-3)/(-6) + l/4?
True
Let d = -37 - -39. Suppose 2*v + 3*v = -4*a + 90, -a = -d*v + 23. Is 3 a factor of v?
False
Let d(k) be the second derivative of 0 - 1/6*k**3 + 1/12*k**4 + 5/2*k**2 - 3*k. Is d(0) a multiple of 3?
False
Let h be ((-241)/(-5))/((-3)/(-15)). Suppose h = -5*q + 681. Is q a multiple of 11?
True
Let m(n) = 6*n - 5. Let c be m(5). Suppose -g = -5*q + 4*g + c, 0 = g. Suppose 3*s = -b + 4*b + 39, -3*b = q*s - 97. Is s a multiple of 17?
True
Let q = 126 - 96. Is q a multiple of 4?
False
Let a(u) = 3*u**3 - 2*u**3 + 1 - 5*u + 1 + 2 + 2*u**2. Let k be a(-3). Let z(i) = 6*i - 3. Is 10 a factor of z(k)?
False
Let y be ((-114)/(-15))/((-2)/10). Let o = y - -37. Let v = o + 33. Does 8 divide v?
True
Suppose 0 = 2*i + 40 - 14. Let r = i + 11. Is (-35)/r*120/70 a multiple of 6?
True
Is 9 a factor of (-44)/((-66)/54 + 1)?
True
Suppose 3356 = 15*f + 476. Does 5 divide f?
False
Suppose 2*s - 18 + 4 = 0. Suppose -s*t = -3*t + 160. Does 16 divide t/12*(-48)/5?
True
Let g(h) = h**2 + 3*h - 19. Let r be g(-10). Let b(z) = -4*z + 9. Let p be b(-6). Let k = r - p. Does 4 divide k?
False
Let l = 10429 + -7101. Does 64 divide l?
True
Let j(t) = 4*t**2 - 40*t - 43. Is 21 a factor of j(15)?
False
Let f = -127 + 117. Is (3 + (-82)/4)*72/f a multiple of 9?
True
Suppose 2*h - 346 = 2*z, 4*h - 265 = -5*z - 1085. Let f = z - -255. Does 29 divide f?
True
Suppose -4*p + 2*o + 40 = -2*o, 2*o = -6. Suppose 4*a - 117 = p*a. Let d = 56 + a. Is 7 a factor of d?
False
Suppose 0 = 3*g + g. Suppose g*h - 5*h = -4*t - 183, -3*h - 5*t + 132 = 0. Does 13 divide h?
True
Let g be 210/9 - (-6)/9. Suppose -3*q + 29 + g = 4*k, -5*k = 5*q - 90. Suppose 2*i = -v + 19, 3*i - 18 - q = -2*v. Is 8 a factor of v?
False
Let o = -62 - -164. Is 4 a factor of o?
False
Let x(g) = -g**3 - 3*g**2 + 5*g + 2. Let a = -7 - -1. Is 18 a factor of x(a)?
False
Let y = -2 + 14. Let v = 12 - y. Suppose -3*d - 2*g + 55 = 0, 2*g = -v*g + 4. Is d a multiple of 17?
True
Suppose 1798 = 2*g - 1448. Is g a multiple of 20?
False
Suppose 0 = 4*y 