5 divide n(10)?
False
Let m(h) = 57*h + 50. Is m(8) a multiple of 11?
True
Let f be -2 + (0/3 - -4). Let h(k) = 11*k**2 - 2*k - 1. Does 18 divide h(f)?
False
Let v be (33 - 49)*2/(-8). Suppose -2*k - 3*k = -145. Suppose k = v*r - 43. Does 6 divide r?
True
Let a(u) be the first derivative of u**3/3 + 9*u**2/2 + 104*u + 31. Does 13 divide a(0)?
True
Let u(h) = -h**2 - h + 10. Let m be u(-3). Suppose m*j + 5*s = 1460, 0 = -4*j - 2*s + 2169 - 721. Does 40 divide j?
True
Let d be (-14)/8*2*(1 - 3). Let c(v) = -v**3 + 10*v**2 - 10*v - 1. Is c(d) a multiple of 38?
True
Let c(r) = -17*r**3 - r**2 - 4*r + 1. Let w be c(-2). Suppose 2*k - 102 = 2*z, -w = -3*k - z - 0*z. Is 8 a factor of k?
True
Let t = 7 - -12. Let i = 23 - t. Suppose 3*m - i*m = -40. Is m a multiple of 22?
False
Suppose -14440 = 39*p - 43*p. Does 79 divide p?
False
Suppose n - p = 4, 0*p = p + 1. Suppose -r + 6 + 41 = -c, -n*r + 140 = -2*c. Is 3 a factor of r?
False
Let i = 76 + -42. Suppose -4*r + 3*f + 13 = -27, 0 = 2*r - 5*f - i. Is 5 a factor of r/2*(2 - 0)?
False
Suppose -568*k - 788 = -572*k. Is k a multiple of 68?
False
Let i(o) = o**2 + 10*o - 16. Let n be i(-12). Let z(w) = w**3 - 8*w**2 + 5. Let f be z(n). Suppose -2*u = 5*d - 137 - 16, 3*u + 133 = f*d. Is 7 a factor of d?
False
Suppose 3*s - 60 = 198. Is 13 a factor of 1 + s + 1 - -3?
True
Let p(w) be the first derivative of -w**4/4 + 11*w**3/3 + 4*w**2 - 11*w - 15. Is 11 a factor of p(11)?
True
Suppose 5*k - 4*k - 8 = 2*v, -20 = 5*v - k. Let t be v/(-26) - (-24)/13. Suppose -t*p - 5*r = -43, 0 = 8*r - 3*r - 15. Is 14 a factor of p?
True
Is -26*(-38)/1235 - (-2146)/5 a multiple of 10?
True
Suppose 22*o - 3418 = 12422. Is o a multiple of 45?
True
Suppose -g + 5*x + 13 = -2, -4*x = g + 3. Let n(h) = 3*h**2 - 7*h + 1. Is n(g) a multiple of 14?
False
Let f(c) be the first derivative of -2*c**3/3 + 4*c**2 + 3*c - 6. Let k be f(4). Suppose -k*z - h = h - 56, 4*z + 2*h = 78. Is z a multiple of 11?
True
Suppose -4*d + 17 - 1 = 0. Suppose 3*x - 29 = -7*w + 2*w, d*x = -4*w + 28. Suppose 0*i - w*i + 68 = 0. Does 12 divide i?
False
Let l(f) = f + 1. Let d(z) = 9*z + 3. Let g(y) = -2*d(y) + 6*l(y). Let a be g(-3). Suppose 2*c = 3*c - a. Is c a multiple of 16?
False
Suppose 18*p = 80820 - 15444. Does 16 divide p?
True
Let o be -19*(2/10 + (-1267)/35). Suppose 7*i = o + 1514. Is i a multiple of 41?
False
Let k = 92 + 64. Is k a multiple of 12?
True
Suppose f - 566 = -4*w, 3*w - 432 = -3*f + 1293. Is f a multiple of 2?
True
Suppose -26624 = 2*s - 28*s. Is s a multiple of 5?
False
Let n = -33 - -83. Suppose 0 = -4*f - f + n. Suppose 7*a + 36 = f*a. Is 6 a factor of a?
True
Let d = -219 + 400. Let f = d + -328. Does 9 divide -2*3*f/42?
False
Let n(l) = l**3 - 2*l**2 + 3*l - 3. Let j = 3 + -1. Let g be n(j). Suppose 2*d + g = 17. Is d a multiple of 5?
False
Let o(a) = 287*a**2 - 6*a - 7. Does 15 divide o(-1)?
False
Suppose -4*b = 5*g - 2*b - 75, 0 = -5*b - 25. Let w = -16 + g. Is 9 a factor of -4*w/1 + 29?
False
Let v = -71 - -362. Is 37 a factor of v?
False
Let n(f) = 2*f**2 - 2*f - 12. Is 6 a factor of n(5)?
False
Suppose 11*f - 3130 = 4603. Does 19 divide f?
True
Let d be 3 - (2 + -5 - -1). Suppose 0*w + 3*q + 27 = 3*w, -4*q = d*w - 9. Suppose 3*n - 47 = -w. Does 11 divide n?
False
Suppose x - r = 3, 1 = -2*x + 3*r + 8. Suppose -5*n = c - 39, -6 - 42 = -x*c - 4*n. Is c even?
True
Is 22 a factor of (-5233 - (-114)/19)/(1*-1)?
False
Let f(t) = t**2 + 4*t - 1. Let j be (-8)/(-6) + (60/(-18) - -4). Does 4 divide f(j)?
False
Let d = -2670 - -3810. Does 12 divide d?
True
Let h = 1216 + -457. Does 33 divide h?
True
Is 47 a factor of (1 + 3571)/(4 + -2)?
True
Let c = 4 - 4. Suppose c = -4*d + 5*d + 7. Let u(r) = -r**3 - 7*r**2 - 3*r - 9. Is 12 a factor of u(d)?
True
Does 28 divide (-75560)/(-180) - (4/18)/(-1)?
True
Suppose 8*y - 3*y - 5*x = -115, 2*x = 8. Let l = -12 - y. Let o(z) = 2*z**2 - 7*z + 1. Does 12 divide o(l)?
False
Let i(x) = -2*x**3 - x**2 - 3*x - 8. Let h = -54 + 50. Does 24 divide i(h)?
False
Let i be (-135)/(-18) - (-18)/(-12). Suppose -3*r + p = -64, p - 5 = -0*p. Suppose 3*b + i*c - 3*c = 84, b - r = 4*c. Is b a multiple of 10?
False
Let t be ((-36)/9)/(-1 + 0). Suppose 6 = 5*p - z, -z - 12 = -t*p - 2*z. Is 6 a factor of p/4 - 92/(-8)?
True
Does 22 divide (4452/(-8))/7*(-8)/3?
False
Let k be 3/(3/17) + 0. Suppose u - s = 34 + k, -s = 2*u - 114. Is u a multiple of 17?
False
Let u be (0 - (-4 - -4)) + 0. Suppose 2*c + u*c + 4 = -x, 4*x - 4*c - 8 = 0. Suppose 3*t + x*t = 57. Does 8 divide t?
False
Suppose 5*s + 25 = 5*p, -3 = -s - p - 0*p. Does 4 divide s + 3/5 - 336/(-40)?
True
Let s(v) = 536*v**2 - 14*v - 12. Is s(-2) a multiple of 16?
True
Suppose 2*l - 1614 = 5*r + 118, 2*l + 3*r - 1716 = 0. Is l a multiple of 11?
False
Suppose 3*l - 4*l - 4*t + 178 = 0, 3*t - 174 = -l. Suppose -l = -4*n + 166. Is n a multiple of 13?
False
Let o = 189 - 309. Let t = -71 - o. Does 7 divide t?
True
Suppose -10 = -l - 0. Let n = 1 - l. Is 23 a factor of (-1 - 129)*n/18?
False
Let z(s) = -s**3 + 11*s**2 + 14*s - 12. Let v(o) = -o**3 + 5*o**2 - 4. Let r be v(4). Is z(r) a multiple of 4?
True
Suppose -12*a + 27360 = 12*a. Is 38 a factor of a?
True
Let u(w) = -2*w**3 - 12*w**2 - 10*w - 39. Does 2 divide u(-6)?
False
Does 27 divide 433 - (4 - 7) - 4?
True
Does 2 divide 44 + -3 + 5/((-15)/(-12))?
False
Suppose 0*g + 4*g = -z + 123, -2*z + 150 = 5*g. Let v = -143 + g. Let w = v + 156. Does 26 divide w?
False
Let v be 63/3*-3 - -3. Does 30 divide 550/8 + (-15)/v?
False
Let i = -16 - -1. Let v = i + 12. Does 3 divide 1/v + 43/3?
False
Let p = -39 + 51. Does 3 divide ((-16)/p)/((-3)/18)?
False
Let d be ((-45)/5 + -5)*-7. Suppose -3*n + d = -1057. Is n a multiple of 13?
False
Let m be 1/(36/8) - (-518)/18. Suppose -4*v + m + 3 = 0. Is v a multiple of 8?
True
Let u be 6/(-30) + (-122)/(-10). Suppose -2*l = -5*r - u - 18, -15 = -l + 3*r. Let x = 22 - l. Is x a multiple of 7?
True
Let g = 62 - 26. Suppose g - 11 = 5*a, 3*j - a + 11 = 0. Let b(i) = 26*i**2 + i. Does 27 divide b(j)?
False
Let p(g) = -438*g + 28. Is 7 a factor of p(-2)?
False
Let m(v) be the third derivative of 0*v - 1/120*v**6 - 1/12*v**4 - v**2 + 0*v**5 - 1/2*v**3 + 0. Is m(-3) a multiple of 15?
True
Let y be (-2)/(-8) + 1255/(-60)*-3. Suppose 4*x - 228 = -4*n, n + 4*x = -0*n + y. Is 5 a factor of n?
True
Let f(j) = -j + 11. Suppose p - 12 = -1. Let a be f(p). Suppose a = 5*z - 0*z - 290. Is z a multiple of 15?
False
Suppose 3*r + r = 5*b - 6222, -3*r = -2*b + 2493. Does 69 divide b?
True
Suppose -6*p + 2025 = -p. Suppose -4*v - 3*l + p = 0, 24 + 75 = v + 3*l. Is 17 a factor of v?
True
Does 59 divide 12/18 - (-3)/((-18)/(-3728))?
False
Let u = -1063 - -1620. Does 42 divide u?
False
Let w = 14 - 6. Let d be 18/w + (-39)/(-52). Suppose -d*v = -8*v + 145. Is 19 a factor of v?
False
Let y = -89 - -91. Suppose -f + 39 = -5*c, f - 4*f + 139 = -4*c. Suppose 0*g = -y*z - g + f, -3*z - 4*g = -86. Is z a multiple of 11?
True
Suppose -5*v + 4522 = -3*v. Is 24 a factor of v?
False
Let p(k) = 5*k**3 + 2*k**2 - 10*k - 10. Is p(8) a multiple of 85?
False
Let j(b) = 131*b + 49. Is j(3) a multiple of 20?
False
Let w(d) = -4*d - 13. Let l be w(-4). Is 18 a factor of -30*-6*l/6?
True
Suppose 0 = -3*r - f + 284, -3*r - 87 = 5*f - 367. Does 4 divide r?
False
Suppose 64 = 2*f + 60, 0 = -g - 3*f + 754. Does 44 divide g?
True
Let p be (6/(-15))/((-1)/(-5)). Let o be (-15)/(6/(-2)) + p. Suppose 147 = 4*x + a, 4 = -o*a - a. Is x a multiple of 7?
False
Suppose 2*u + 83 = 5*m - 0*u, -4*m + 68 = -2*u. Is (-70)/(-4) - m/30 a multiple of 6?
False
Suppose 0 = 255*l - 246*l - 13545. Does 35 divide l?
True
Let x be 1/(-2)*-1*32. Let q = x + -17. Let c(a) = 21*a**2 - a - 2. Does 4 divide c(q)?
True
Let u = 354 + -90. Is 66 a factor of u?
True
Let t(o) = 3*o**2 + 15*o - 7. Let h be t(7). Suppose 5*c = 635 - h. Does 13 divide c?
True
Let a(q) = 11*q**3 - q**2 - 11*q - 1. Is 23 a factor of a(7)?
False
Suppose 0 = 29*a - 1831 - 1359. Does 22 divide a?
True
Let n = -35 + 20. Let r = n + 15. Suppose r = -4*f - 2*b - 2*b + 184, 0 = -2*f - b + 87. Is f a multiple of 10?
False
Suppose c + 0 - 2 = 0. Suppose -c*z = 3*d - 34, -2*z + 2*d = -15 - 9. Does 9 divide z?
False
Is 4 a factor of (-1)/((-3)/(-2592)*-4)?
True
Let u = -34 - -1. Let