 factor of l?
False
Let h(n) = 34*n**3 + 4*n**2 + 17*n - 68. Does 32 divide h(4)?
True
Let q(h) = h**2 + 10*h + 8. Suppose -4*t + 2*w = -2*w + 44, -4*t = -w + 41. Is q(t) even?
True
Let m = 98 + -88. Suppose 13*c - m*c = 198. Does 3 divide c?
True
Suppose 5507 = 23*u - 5694. Is u a multiple of 11?
False
Suppose 0 = -8*q + 2489 + 4343. Is q a multiple of 7?
True
Let j(a) = -2*a**2 - 17*a - 8. Suppose p = 2*l - 11, -3*p + 2*l - 27 = -l. Is j(p) a multiple of 13?
True
Suppose -267 - 58 = -5*m. Let y = m - 23. Is y a multiple of 14?
True
Let b = -1 + 5. Suppose -5*a + b*a = 5. Is 17 a factor of (a - -4 - 0) + 18?
True
Let w(u) = -u**2 + 9*u + 8. Let c be w(7). Let z(d) = d**2 + d - 39. Let o be z(-7). Let j = c - o. Is 6 a factor of j?
False
Suppose -s - 5*d + 660 = -6*s, -3*s = d + 384. Let y = s - -216. Let f = y - 51. Is f a multiple of 9?
True
Let z = -1443 - -3673. Is z a multiple of 10?
True
Suppose 0 = 2*r - 3*t + 13 + 8, -r + 2*t = 8. Does 12 divide (-7)/(42/4)*r?
True
Suppose -3*i = 0, -j + 21 = 2*i - 20. Does 13 divide ((-13)/4)/(j/(-8) - -5)?
True
Suppose -55*r + 6885 = -4*r. Is 3 a factor of r?
True
Let n = 31 - -73. Let l = -14 + n. Is l a multiple of 18?
True
Suppose 8*l + 211 - 1795 = 0. Is l a multiple of 18?
True
Let y be ((-58)/(-10))/((-8)/(-40)). Let f be y*(-2 - (-2 - 1)). Suppose -4*b + f = -7. Is b a multiple of 3?
True
Let a be (2 - (-12)/(-8)*1)*0. Is (a - 2 - 0) + 44 a multiple of 14?
True
Let w be (-2 - 2) + (-2 - -2). Let n(x) = 2*x**3 - 11*x - 7. Let z(a) = -3*a**3 + a**2 + 20*a + 13. Let q(s) = -5*n(s) - 3*z(s). Is 8 a factor of q(w)?
True
Suppose 2*m - 3 = 1. Let o(s) = s**2 - 5*s + 5. Let z be o(m). Does 12 divide z/(-4) - 2934/(-72)?
False
Let y = -2372 - -4985. Does 15 divide y?
False
Suppose -2*q = 3*q - 20. Suppose -5*g + 9 = -1. Suppose 3*b + 9 = -0*b, g*b = -q*m + 38. Does 6 divide m?
False
Let k = 1164 + -534. Is 19 a factor of k?
False
Suppose -4*k - 5*m + 10425 = 0, 10431 = 30*k - 26*k + 3*m. Is 18 a factor of k?
True
Let z(r) be the second derivative of -2*r**3/3 - 13*r**2/2 + 10*r. Is 9 a factor of z(-11)?
False
Suppose -121*b = -126*b + 300. Is 2 a factor of b?
True
Let x = 55 + -37. Let v = x - 13. Suppose -52 = 3*b - v*b. Is b a multiple of 26?
True
Let s(x) be the second derivative of x**4/12 + 13*x**3/6 - 4*x**2 + 2*x. Suppose -3*p - 26 = 4*o, 0*p + 2*p - o + 32 = 0. Is 5 a factor of s(p)?
False
Let a = -291 + 924. Is a a multiple of 35?
False
Let k(l) = -l**3 + 7*l**2 + 21*l - 13. Let f be k(8). Suppose -5*v = -2*m - 415, -3*m - 501 = -5*v - f. Is 7 a factor of v?
False
Let w = 45 + -37. Is 14 a factor of 82*(-2 - (-20)/w)?
False
Let p(a) = -a**3 - 40*a**2 + 31*a - 294. Is 14 a factor of p(-42)?
True
Suppose 0 = -3*h - 3*u + 165, -h + 5*u + 165 = 2*h. Let f = -10 + h. Is 15 a factor of f?
True
Let i(v) = v + 15. Let c be i(-14). Let y be (-1 + c)*(-2)/(-4). Suppose -4*u + 164 = -y*u. Does 16 divide u?
False
Suppose 10 = -24*m + 19*m. Does 2 divide (21/84)/(m/(-40))?
False
Let r be (0 - (-16)/1)/2. Let z = r - 4. Suppose -3*s + 14 = 2*s - 2*v, -z*s = 2*v - 4. Does 2 divide s?
True
Let r = -446 + 890. Does 12 divide r?
True
Suppose 4*m + 1088 = o, -3*o + 5*m + 3230 = 10*m. Is o a multiple of 90?
True
Let q(x) = 2*x + 25. Let h(z) = z + 8. Let n(m) = -17*h(m) + 6*q(m). Is n(-5) a multiple of 13?
True
Suppose -3*l - 3*c = -9, 4*l - 5*c - 39 = -0*c. Is l even?
True
Suppose -3*x = 8*b - 10*b - 285, -4*x + 375 = -b. Does 93 divide x?
True
Let z(p) be the second derivative of -5*p + 5/2*p**2 + 7/12*p**4 + 0 - 1/20*p**5 - p**3. Is z(4) a multiple of 8?
False
Let p(k) = k**3 + 2*k**2 - k - 4. Let a be (2/6)/(8/408). Let o = 19 - a. Is p(o) a multiple of 3?
False
Let n(r) = 3 + 7*r + 0*r + 2*r - 3*r. Is 9 a factor of n(1)?
True
Suppose 2 = -5*y + 6*y. Suppose m = -3*v + y*v - 185, 3*v = -m - 195. Is m/8*(-8)/10 a multiple of 6?
True
Suppose 4*g = -2*u + 8, 5*u - 7 = 4*g - 1. Suppose 4*p + 3*y - 1468 = 0, 1800 = u*p + 3*p - 5*y. Does 26 divide p?
True
Let j = 52 + -52. Suppose i + 10 - 16 = j. Is i a multiple of 6?
True
Let t be -2*(3 - 38*1/2). Suppose -22 - t = -6*q. Is 2 a factor of q?
False
Let p(l) = -l**2 - 11*l - 7. Let x = 27 - 20. Let g(n) = 2*n**2 + 23*n + 14. Let m(s) = x*p(s) + 3*g(s). Does 3 divide m(-5)?
False
Let j(y) = 178*y - 32. Is j(2) a multiple of 12?
True
Let g = -41 + 64. Suppose g*t + 114 = 24*t. Is t a multiple of 18?
False
Is 15 a factor of 2/5 - 6365/(-25)?
True
Suppose 4*q = -6*q + 120. Suppose q*u - 688 = 4*u. Does 8 divide u?
False
Let b(s) be the second derivative of s**3/2 + 4*s**2 - 12*s. Is b(6) a multiple of 13?
True
Suppose -3*v + 9 = 2*w + 2, 4*w = -v - 1. Suppose v*t = t, -3*t = -p. Suppose 2*a = -p*a + 2*z + 28, 5*z = -20. Is 2 a factor of a?
True
Suppose -27*d = -32*d + 430. Let j = d - 37. Is 7 a factor of j?
True
Let l = 1386 + -507. Let v = l - 537. Does 50 divide v?
False
Let o = 1483 + -236. Is 11 a factor of o?
False
Suppose -3*l + 1413 = 5*b, b + 101 - 382 = -l. Let m = b - 133. Is 12 a factor of m?
False
Is -1 + 4 + 379 + 2 a multiple of 24?
True
Suppose 4*f + 1 = 3*f, 3*f + 60 = 3*k. Let y = k + -46. Let b = 60 + y. Is b a multiple of 11?
True
Let t(a) = -a**3 + 9*a**2 - 3*a - 7. Let r be t(7). Is 22 a factor of 1*3/(-1) - (1 - r)?
True
Is 18 a factor of (-24)/(-5)*(-6 + 819/14)?
True
Let r = -21 + 17. Let k = r - -10. Is k even?
True
Suppose -53*v = 4*c - 49*v - 2096, 4*c + 5*v - 2092 = 0. Is c a multiple of 24?
True
Let r(g) = 72*g - 133. Is 11 a factor of r(13)?
True
Let m(q) = -q**2 + 10*q - 8. Let f be m(4). Suppose 0 = 4*s - 3*s + f. Let l = s - -64. Is l a multiple of 12?
True
Let r(w) be the second derivative of w**4/12 + 5*w**3/2 + 23*w**2/2 + 10*w. Let d be r(-14). Let k = d + -5. Is k even?
True
Let o(k) = k**3 - 22*k**2 + 21*k - 10. Let g be o(21). Does 21 divide (-1384)/g + 3/5?
False
Let s(n) = 4*n**3 - 19*n**2 + 20*n - 14. Is 6 a factor of s(8)?
True
Let z = 2529 + -585. Does 18 divide z?
True
Let b be (7/14)/(2/4). Let h = -9 + b. Let u = h - -27. Does 4 divide u?
False
Let u be (-10)/(-35) + 24/14. Suppose 7*l - u*l + 16 = -i, -4*l - 16 = 0. Suppose i*q = -5*z + 40, 0 = q + z - 11. Is 8 a factor of q?
False
Let i be -25 + -2 + 0/(-3). Let q = 113 + i. Let d = -60 + q. Is d a multiple of 26?
True
Let a = 29 - 8. Let r = a - 16. Suppose r*p - 5 = 40. Does 3 divide p?
True
Suppose -3*u = 5*r - 2*u - 25, -r + u = -5. Let c be 3 - (15/r + -4). Suppose -x = -p - p - 32, -3*x + c*p = -90. Is x a multiple of 6?
False
Let s be (2 + -2)/1 + -32. Let b = s + 4. Does 16 divide (b/(-35))/(1/25)?
False
Let p = -683 - -1530. Does 14 divide p?
False
Let w(m) = -m**3 + 8*m**2 + 6*m - 8. Suppose 0 = 5*j - n - 44, 0 = 2*n + 6 + 2. Is w(j) a multiple of 7?
False
Let i(s) = 4*s**2 - 9*s**2 + 5 + 6*s**2 + 2*s**2. Is i(-5) a multiple of 11?
False
Suppose 6209 = 10*f + 1449. Is f a multiple of 34?
True
Let f(l) = 74*l**2 - 2*l - 1. Let u be 2 + (-3 - -1)*-1. Let x be (2 - 4)*2/u. Is 25 a factor of f(x)?
True
Let y = -82 - -88. Suppose 3*n - y = -21, p - n - 96 = 0. Is p a multiple of 13?
True
Let f be -4 + (-1179 - (8 - 5)). Does 11 divide f/(-4) + (-1)/(-2)?
True
Let j(r) = r**2 - 14*r - 57. Is j(-17) a multiple of 6?
False
Suppose 52 = 2*i + 2*i. Let h(v) = -v + 1 - 6*v + 0*v - i. Does 15 divide h(-9)?
False
Let p(i) = -i**3 - i + 73. Let y(k) = k**3 + 2*k**2 + 2*k + 4. Let x be y(-2). Is 18 a factor of p(x)?
False
Suppose 4*j + 25 = -3*s, 3*s + 5*j + 21 = -8. Is 12 a factor of 28 + 3 + s + 1?
False
Let f = 35 + 77. Let q = 226 - f. Suppose 0 = -26*v + 29*v - q. Is v a multiple of 19?
True
Is 53 a factor of (-2073)/(-1) - (4 + 14/7)?
True
Let o(x) be the third derivative of -17*x**6/120 + x**5/30 + x**4/24 + x**3/3 - 6*x**2. Let t be o(-2). Let s = t + -59. Is 12 a factor of s?
False
Let z(y) = y + 5. Suppose -5*c = -65 - 20. Suppose 0 = p - c + 2. Is z(p) a multiple of 20?
True
Suppose 12*l - 8258 = 21622. Is 10 a factor of l?
True
Suppose 234 - 669 = -5*g. Suppose -4*v + 81 = -g. Is v a multiple of 19?
False
Suppose 0 = g + 19 - 7. Is 52 a factor of -4 - 1305/g - 3/4?
True
Let b(c) = 32*c - 4. Suppose -10 = -11*a + 6*a. Does 18 divide b(a)?
False
Does 16 divide 0 - -5 - (-7805)/(-21)*-3?
True
Let w(i) = 21*i**2 - 2*i - 20. Let v be w(5). Let n = v + -342. Is 17