alse
Suppose -4*l + 5*o + 3 = 0, l - 5*o = 6 - 24. Let v = l - 8. Is 13 a factor of ((-3)/(-6) + v)*-104?
True
Let v = 3 + 1. Suppose -b = 5*y - 9, v*b + y = 2*y + 15. Let j(m) = m**2 + m + 4. Does 8 divide j(b)?
True
Suppose -166*q - 12 = -170*q. Suppose 4*j = 6*j - r - 273, -q*j + 399 = 2*r. Is 9 a factor of j?
True
Suppose 2*x + 2*x = -3*i + 433, -4*x - i + 427 = 0. Is (-6)/(-12) + x/4 a multiple of 7?
False
Suppose o - 15 = -2*o. Let y(b) = b + 3. Let z be y(o). Is -3*(-4)/z*4 even?
True
Let j(q) = 6*q + 100. Let i be j(31). Let z = -138 + i. Is z a multiple of 9?
False
Suppose -3*c - 2*x + 178 = 0, -3*c + 67 = -2*x - 115. Is c a multiple of 3?
True
Let u = -68 - -66. Let i(h) = 21*h**2 - 4*h - 2. Does 15 divide i(u)?
True
Let i(x) be the third derivative of -x**3 + 0 - 1/24*x**4 + 0*x + 3*x**2 + 1/60*x**5. Is 2 a factor of i(-3)?
True
Is 838*3/(12/2) a multiple of 36?
False
Let d be -3 - (-1 - -3 - 7). Suppose 0*a + 62 = -2*n + a, -d*a = -n - 37. Let h = n - -70. Is h a multiple of 13?
False
Let r(w) = w**3 + 8*w**2 - 3*w + 1. Let c be (-12 - 1) + 3 - -2. Let k be r(c). Let h = -4 + k. Is 21 a factor of h?
True
Let s be (-6750)/(-15) - (-8)/(-2). Suppose -2*q = 4*a - 8*a + s, 5*a - q = 553. Does 19 divide a?
False
Let g = 7 + -5. Let j = 6 - g. Let d(k) = 3*k**2 - 4*k - 1. Does 16 divide d(j)?
False
Let v = -9 + 2. Is 5 a factor of (-177)/v + (-5)/(-7) + -1?
True
Suppose 7 = -l + 2*y, 3*l + 7*y - 3*y = 29. Let o(f) = 5*f**2 + 5*f + 1. Is o(l) a multiple of 10?
False
Let w(v) = -46*v - 111. Is 33 a factor of w(-12)?
False
Let o(z) = -z**3 - 52*z**2 - 54*z - 28. Is o(-51) a multiple of 4?
False
Let l(p) = 134*p + 6. Suppose -4*y - 6 = 5*r, 5*y + 0*y = r + 7. Is l(y) a multiple of 14?
True
Let z(o) = 2*o**2 - 15*o + 86. Is 24 a factor of z(18)?
False
Let s = 780 + -432. Is 29 a factor of s?
True
Suppose 54 + 782 = 4*l. Is l a multiple of 8?
False
Suppose 0 = 5*i + 2*d - 381, -4*d = -2*i + 68 + 70. Does 8 divide i?
False
Does 63 divide 3195/12 + ((-9)/4 - -2)?
False
Let l = -35 + 62. Suppose -n = -g + 2 + 4, -5*g + 15 = -2*n. Suppose -l = -2*j + g. Is j a multiple of 7?
True
Let i(t) = -t**3 - 22*t**2 - t - 20. Let r(o) = o**3 + 8*o**2 + 6*o + 26. Let y be r(-8). Is 2 a factor of i(y)?
True
Let p be 3 - 4/(-8)*-6. Suppose -10*n + 12*n + 18 = p. Is n/(-3) + 1*57 a multiple of 20?
True
Let b(y) = -y - 13. Let u be b(-13). Suppose u = -3*x + 3*t - 90, 2*x + 0*t = -3*t - 35. Let z = -1 - x. Is 7 a factor of z?
False
Suppose 2*o + 3600 = 10*o. Suppose -3*u + o = 3*u. Is 19 a factor of u?
False
Is -15 + 14 + 6*65 a multiple of 14?
False
Suppose -429 = -h - b, 8*b - 6*b = -5*h + 2145. Is h a multiple of 25?
False
Let m(d) = 3*d**2 + 6*d + 3*d + 4 - d. Let p be m(-6). Is 3 a factor of (3/(-2))/((-16)/p)?
True
Suppose 3*q + 0*q = 0. Suppose -4*j - 3 + 19 = q. Suppose 4*a = 0, 0*k + 48 = 3*k - j*a. Does 8 divide k?
True
Suppose 10221 = 13*h - 3221. Is 15 a factor of h?
False
Let d be (24/(-14))/((-18)/63). Let c(x) = x**3 - 7*x**2 + 5*x - 8. Let r be c(d). Is 4/r + 128/7 a multiple of 9?
True
Let l(s) = s**3 + 14*s**2 - 23*s - 11. Is 12 a factor of l(-13)?
False
Suppose -383 + 3309 = 11*i. Does 19 divide i?
True
Let r = 2 + -2. Suppose 2*w + r*w - 4 = 0. Suppose 2*g - w = 2*l + 56, -2*g + 5*l + 61 = 0. Is g a multiple of 24?
False
Let f(a) be the first derivative of 4*a - 5/2*a**2 + 8/3*a**3 + 1 - 1/4*a**4. Is 9 a factor of f(7)?
True
Let n be (-813)/(-9) - 3/9. Let p = n - 147. Let b = -12 - p. Does 15 divide b?
True
Suppose 0 = 5*f - 7*f - 712. Let y = -212 - f. Does 34 divide y?
False
Let b(m) = -2*m**2 + 5*m - 7. Let y be b(3). Is 7 a factor of ((-126)/15)/3*y?
True
Does 51 divide 1003 - 2 - 19/(57/(-18))?
False
Let f(r) = 8*r - 32. Does 38 divide f(23)?
True
Let r(j) be the second derivative of 11*j**5/120 - j**4/3 - 7*j**3/6 + 6*j. Let h(d) be the second derivative of r(d). Is 23 a factor of h(7)?
True
Let o(y) = -2 - 9*y + 3*y**2 - 3*y**2 - 2*y + y**2. Let d be o(12). Suppose d = p + 3. Is p a multiple of 3?
False
Suppose 4*z - 2*p - 124 = 0, 2 = -z - 2*p + 43. Suppose -4*y = w - 2*w + 38, y = -w + z. Does 6 divide w?
False
Let r be ((-500)/(-15))/2*6. Suppose 0 = 2*p + 3*p + 270. Does 10 divide (r/3)/((-36)/p)?
True
Let i(j) = -3*j + 113. Is i(-21) a multiple of 22?
True
Let s(p) = p**3 + 2*p**2 - p. Let t be s(1). Let l be (-15)/(-2) - 1/t. Suppose -l = n - 34. Is 14 a factor of n?
False
Let w = 64 - 46. Suppose w = f - 4*f. Does 19 divide f/(-24) + 227/4?
True
Let a(f) = -11*f**2 - 65 - f**3 + 18*f**2 - 8*f**2 - f. Let t be a(0). Let o = 95 + t. Is o a multiple of 10?
True
Is (1632/(-60))/(3/(-15)) a multiple of 4?
True
Let v(l) = -l**3 - 7*l + 2. Let r(t) = -t**3 + t**2 - t - 1. Let y(a) = 2*r(a) - v(a). Let j be y(4). Does 31 divide (-4)/j + (-494)/(-8)?
True
Let o(y) = -y**3 - 12*y**2 + 11*y - 18. Let l be o(-13). Let w be -1*l/(-12)*-69. Let h = w - -82. Is 12 a factor of h?
True
Let g(m) = m - 8. Let u be g(10). Let n be u/6 + 5/3. Suppose 3*a - 2*q = 169, 4*q - n*q = -2*a + 96. Does 12 divide a?
False
Suppose 28 = 5*l + 2*l. Suppose h = -3*j - h - 17, l*j + 26 = -h. Let r(p) = -p**3 - 4*p**2 + 9*p - 3. Does 14 divide r(j)?
False
Suppose -2*j = 2*j + 12. Let d = 66 + j. Is d a multiple of 12?
False
Let d = -786 + 977. Is 45 a factor of d?
False
Let i(s) = -5*s + 4. Let l be i(-4). Let r = -13 + 17. Suppose 0 = -r*z - z - 2*d + 186, -z + l = -4*d. Does 8 divide z?
False
Let s = -341 - -937. Is s a multiple of 45?
False
Let w(b) be the third derivative of -b**6/120 + b**5/6 - b**4/4 + 3*b**3/2 + b**2. Let z = 0 + 9. Is w(z) a multiple of 12?
True
Let d(z) be the first derivative of -z**4/2 - 3*z**3 - 7*z**2/2 + 20*z + 17. Is d(-5) a multiple of 20?
True
Let d = -2 + 17. Is (-575)/(-10)*6/d a multiple of 23?
True
Let m be (-6 - -7)*(4 + -1). Let g(t) = 3*t**3 - t**2 - 4*t. Let j be g(m). Suppose f - 2*f = 4*p - 15, -4*f - 5*p + j = 0. Is f a multiple of 15?
True
Let q = -734 - -1034. Let r = -170 + q. Does 26 divide r?
True
Let l(i) = 2*i**2 - i - 3. Let f(b) = b**2 + b - 4. Let t be f(-3). Let g be 1/(-2)*t - -4. Does 12 divide l(g)?
True
Suppose 3*a + 2 - 5 = 0. Let d(k) = 9*k**3 - k**2 - 2*k + 2. Does 8 divide d(a)?
True
Let a be 4/8*-1*10. Let c(o) = -2*o + 10. Let j be c(a). Suppose s - j - 3 = 0. Is 3 a factor of s?
False
Let n(f) = -7*f + 25. Let i be n(3). Suppose -2*d = -31 - 17. Suppose i*t = 28 + d. Does 6 divide t?
False
Suppose s + 16 = 18. Suppose s*l - 5*l = 0. Suppose -3*a = -2*p - 182 + 13, l = -2*a + 2*p + 110. Is 15 a factor of a?
False
Let p(c) = -c + 1. Let s be p(1). Suppose s = 7*t - 5*t - 4. Suppose 3*l = t*l + w + 8, 3*w - 36 = -3*l. Is 10 a factor of l?
True
Let v(j) = -2*j**3 + 28*j**2 + 6*j - 24. Does 60 divide v(14)?
True
Let k = 1153 + -363. Does 10 divide k?
True
Let s(m) = m + 15. Suppose 4*r + h + 42 = 0, 38 = -4*r + 2*h - 5*h. Let n be s(r). Suppose 5*z - 85 = -2*j, 6*j - n*z - 139 = 3*j. Is j a multiple of 17?
False
Does 9 divide 62/(7/(-4) - -2)?
False
Let n = 260 + -179. Is 9 a factor of n?
True
Let z(n) = -180*n**2 - 3*n - 4. Suppose 0 = -5*a + 3*f - 15, 5*a + 2*f + 11 + 4 = 0. Let k be z(a). Does 21 divide 2/5 + k/(-25)?
False
Let d(u) = 2*u - 4*u**2 - 3*u - 46 - 2*u**3 + 45. Suppose 15 = -5*m - 0*m. Is d(m) a multiple of 10?
True
Suppose -3656 = -2*q + 19*z - 18*z, 0 = 3*q - 4*z - 5479. Is 7 a factor of q?
False
Suppose -56*k + 8305 = 1697. Is 5 a factor of k?
False
Let r(f) = -f - 2*f**3 + 65 + f**3 - 2*f**2 + 33 - 14. Is 12 a factor of r(0)?
True
Let y(n) = -1 - 2 - n + 3. Let w(r) = r**2 - 5. Let a(j) = w(j) - 4*y(j). Is a(4) a multiple of 9?
True
Let f(g) = g**3 + 6*g**2 + 2*g - 11. Let t be f(-5). Let w(q) = -q**3 + 4*q**2 + 7*q - 12. Does 8 divide w(t)?
True
Let p(g) = -18*g**3 - g**2 - 9*g - 2. Is p(-2) a multiple of 3?
True
Let d(t) = t**3 + 16*t**2 - 9*t + 36. Suppose -13*v - 157 = 51. Does 29 divide d(v)?
False
Suppose 0 = -12*o + 10*o - 342. Let r = -115 - o. Does 14 divide r?
True
Let y(m) be the third derivative of m**5/30 - m**4/8 + 2*m**2. Is 7 a factor of y(3)?
False
Let d(i) = -i + 4. Let l be d(0). Suppose -4*a + 3*a = -5*c - 85, 140 = 2*a - l*c. Does 22 divide a?
False
Let f = 2175 + -465. Is f a multiple of 18?
True
Does 59 divide 119629/124 + (-3)/(-12)?
False
Let b = -204 + 