- 9 = 0. Is c a multiple of 13?
True
Suppose 3*g + 15 = 8*g. Suppose -5*n - 3*x - 43 = 0, -n + g = x + 12. Let b = n - -18. Is b a multiple of 10?
True
Let x be 1*8/2 - 2. Is -1 - x - (-15 + -5) a multiple of 11?
False
Let j(h) = 2*h**2 - 6*h + 1. Let u be j(7). Suppose 3*p = 7*p + 5*l - u, 5*p = 3*l + 99. Does 6 divide p?
True
Let i(q) = q**3 - 5*q**2 - 6*q + 8. Let n be i(6). Let v(w) = -3*w**2 - w - 4 + 8 + 4*w + n*w**2. Is 20 a factor of v(-3)?
True
Suppose 4*s - 4*k + 38 = -10, 42 = -s - 5*k. Let y = -12 - s. Suppose -5*j + y*n = -75, -3*j + j - n = -27. Is j a multiple of 14?
True
Suppose r = 5*k + 94, r + k = -k + 101. Is 8 a factor of r?
False
Let b(z) = -z**2 - 13*z + 18. Let y be (-166)/12 + 17/(-102). Is b(y) even?
True
Suppose 6*a - 7*a = -16. Does 4 divide a?
True
Does 10 divide 3 + -8 + 5 + 78?
False
Let b be 194/18 - 8/(-36). Let v = b + -5. Is v a multiple of 4?
False
Let c = 474 + -177. Let m = -207 + c. Let b = m + -57. Does 15 divide b?
False
Suppose 3*d + 5 = -2*d. Let j = d - -10. Does 9 divide j?
True
Let k be ((-15)/10)/((-6)/16). Suppose -k*x + 0*x = -352. Is (x/6)/((-6)/(-9)) a multiple of 14?
False
Is 79 + -1 + (-15)/(0 - -5) a multiple of 15?
True
Let j(h) be the third derivative of h**3 + 0*h + 0 + h**2 - 1/60*h**5 - 5/24*h**4. Is j(-5) a multiple of 6?
True
Let r(l) be the first derivative of -11*l**5/60 - l**4/8 - 4*l**3/3 + 4. Let s(u) be the third derivative of r(u). Does 11 divide s(-2)?
False
Does 3 divide (-1 - -2)/(4/32)?
False
Let d be (-4)/(-4)*58/2. Suppose b - 61 = -4*f, -f - b = f - d. Is 8 a factor of f?
True
Let o(z) = 2*z**3 - 8*z**2 + 7*z + 4. Is 16 a factor of o(4)?
True
Suppose -2*m + 4*m - 4*d - 60 = 0, 0 = 4*d - 12. Is m a multiple of 12?
True
Suppose 0 = -3*j + 7*j - 28. Is j a multiple of 2?
False
Suppose 0*o + 3*u + 357 = 4*o, u = -5*o + 451. Is 18 a factor of o?
True
Let h = -11 - -16. Does 6 divide (13 - (2 - h)) + -1?
False
Let v(f) = -2*f + f - 14 - 3*f. Does 10 divide v(-6)?
True
Let u(q) = -q**2 + 7*q - 1. Let j be u(6). Suppose -5*h = -3*l - 11, j*l + 10 = -3*h + 3. Is 13 a factor of 38 - (0 - h - 0)?
True
Let o(w) = -2*w**3 - 2*w**2 + w + 3. Let p be ((-12)/(-10))/(6/(-15)). Does 12 divide o(p)?
True
Suppose 2*z - 5*z + 102 = 0. Is z a multiple of 34?
True
Suppose -12 = -4*w + 84. Is 12 a factor of w?
True
Is 23 a factor of 2*(-5)/(-20)*-2 - -93?
True
Let q(x) = 2*x**2 - 3*x + 3. Suppose -l + 3 = -0*l. Let m(a) = a**2 - 3*a + 3. Let j(w) = l*q(w) - 4*m(w). Does 7 divide j(-4)?
False
Does 18 divide (9/(-6))/((-3)/140)?
False
Let g = 36 + 35. Let l = 43 + g. Is 7 a factor of (-1)/3*l/(-2)?
False
Let u = -10 - -12. Suppose -r = 5*x - 137, -4*x + u*r + 51 = -53. Is 9 a factor of x?
True
Let s = -32 - -46. Is 14 a factor of (s/(-8))/((-5)/40)?
True
Suppose -2*b + 3*b = 10. Is 6 a factor of b?
False
Does 15 divide -46*-3*3/18?
False
Does 21 divide 1/(-1*3/(-6)) - -194?
False
Let n = -111 + 121. Is n a multiple of 3?
False
Let o(v) = 3*v - 2. Let f(k) = 2*k - 1. Let z(n) = -5*f(n) + 3*o(n). Does 4 divide z(-6)?
False
Let l be (-1 - -2) + (-38)/(-2). Suppose -5*z = -3*z - l. Does 5 divide z?
True
Let c(p) = 19*p**2 - p - 1. Let i be c(-1). Let z = i - -5. Does 8 divide z?
True
Let z = 479 - 330. Suppose a + 2*a = 75. Suppose -4*v = a - z. Does 8 divide v?
False
Let h be (1 - 2)*0/(-1). Suppose h = -5*j + 260 + 40. Suppose -l = l - j. Is l a multiple of 13?
False
Suppose 0*m + 16 = -m. Let s be ((-4)/m)/((-3)/(-36)). Suppose 0 = p + s*p - 200. Is 22 a factor of p?
False
Suppose -2 = 5*j + 193. Let o = -97 - j. Is 4 a factor of o/(-6) - 1/(-3)?
False
Let u = -141 - -201. Let q = -109 + u. Let f = 89 + q. Does 12 divide f?
False
Let h(k) = -k**3 + 9*k**2 - 2*k + 2. Let s be h(7). Suppose -4*i + s = -126. Suppose -2*f + q = -i, -q + 0*q = -5*f + 137. Is f a multiple of 10?
False
Suppose -k - 10 = -2. Let x = -6 - k. Suppose x*l + 1 = 65. Does 13 divide l?
False
Let t be -3*(-2)/8*-8. Let n be (4/8)/((-3)/t). Suppose -17 = -m + n. Is 5 a factor of m?
False
Let s = 68 - -112. Is 18 a factor of s?
True
Let p = -1 - -5. Suppose p*k = 2*k + 10. Suppose 0 = -k*g + 10 + 10. Is 2 a factor of g?
True
Let t = 18 + 26. Is 11 a factor of t?
True
Suppose 2 = -3*h + 5. Let v(f) = 1 + h + 7 - f. Is v(5) a multiple of 4?
True
Let r = 3 - 0. Suppose 0 = -4*l + 33 + 3. Suppose -5*f + 0*f = -r*y - l, -4*f + 14 = y. Is y even?
True
Let q = 23 - -49. Suppose -z + q = 2*z. Does 8 divide z?
True
Let t = -10 - -14. Suppose -t*f + 0 = -4. Let i(r) = 18*r**2. Does 8 divide i(f)?
False
Let t(x) = 2*x**2 - 2*x - 4. Let r be t(3). Suppose -4*j + r*j - 50 = 2*z, -2*j + 3*z = -31. Does 11 divide j?
True
Let h = -5 - -11. Suppose h*j = 9*j - 135. Is 15 a factor of j?
True
Let k(c) = -6*c**2 + 5*c - c**2 - 14 - 2*c**3 - 2*c**2. Let t(g) = -g**3 - 4*g**2 + 3*g - 7. Let h(q) = -3*k(q) + 5*t(q). Is h(-7) a multiple of 7?
True
Suppose -10*n + 2013 = -687. Does 13 divide n?
False
Suppose m - 50 = 4*f, 3*m - 56 = 5*f + 5*m. Is (f/(-9))/((-6)/(-81)) a multiple of 6?
True
Suppose -g - 4*w + 61 = 0, -2*g + 66 + 26 = -2*w. Does 7 divide g?
True
Let g = 7 + -4. Let b = g - -2. Suppose 3*n - 2*k = 58, b*n - 137 + 49 = -k. Is 7 a factor of n?
False
Suppose -d = -4*d. Suppose d = -v + o + 10, 5 = v + 3*o - 1. Let a(f) = f**3 - 8*f**2 - 8*f + 13. Is 11 a factor of a(v)?
True
Let g(k) = 3*k**2 + 6*k - 7. Let c(m) = 7*m**2 + 11*m - 14. Let w(b) = 2*c(b) - 5*g(b). Does 4 divide w(-8)?
False
Let l(k) = -k**3 + 6*k**2 - k - 6. Is l(-4) a multiple of 46?
False
Let p(g) = g**2 + 3*g + 2. Let v be p(-3). Suppose h = v*h - 2. Suppose 0 = 3*t + h*t - 2*b - 83, 0 = -3*t - 3*b + 33. Does 12 divide t?
False
Let d(w) = -8*w**3 + 3*w**2 + 13*w + 4. Let y(h) = 2*h**3 - h**2 - 3*h - 1. Let f(o) = -2*d(o) - 9*y(o). Is f(-2) a multiple of 12?
False
Let u be 48*((-4)/6 - -2). Suppose -2*x + 3 = s + 2*x, 3*s - 9 = -x. Is (-2 + s)/(2/u) a multiple of 21?
False
Suppose -3*o + 141 = 3*h, h - 255 = -4*o - 82. Suppose -118 = -2*m + o. Let p = -48 + m. Does 16 divide p?
True
Suppose m - 6*m = -815. Is m a multiple of 26?
False
Suppose 0 = -r - 1, c + r - 6 + 1 = 0. Let a(w) = -11*w**3 + c*w**3 - 1 - 2*w - 11*w**3. Does 17 divide a(-1)?
True
Let g(d) = 3*d**2 - 10*d + 3. Is g(-3) a multiple of 12?
True
Suppose -5*o = -0*o - 20. Suppose o*a - 38 = 34. Suppose 5*d = 7*d - a. Is 9 a factor of d?
True
Let n be -3 + -2 + 6 + -2. Let d(t) = -88*t**3 - t**2 + 1. Let g be d(n). Suppose 2*j = 6*j - g. Does 11 divide j?
True
Let x = 124 - 103. Is x a multiple of 2?
False
Suppose 0 = -5*d + 43 + 17. Is d a multiple of 4?
True
Suppose 222 = 3*i - 3*d, -68 = -4*i - 3*d + 207. Does 4 divide i?
False
Let t = -16 + 26. Is t a multiple of 5?
True
Let b be 4/(-22) + (-72)/(-33). Suppose n + 33 = 2*o - b, o + 5*n = -10. Is o a multiple of 6?
False
Suppose -4*m = -0*m - 96. Suppose -r = -m - 6. Does 13 divide r?
False
Let d be -4 + (15 - 3)*1. Let q = 85 - 21. Suppose 2*r - d = q. Does 17 divide r?
False
Suppose -2*f + 2*m = -4*f + 8, -4*m - 33 = -3*f. Suppose 0*d - d = -f. Is 7 a factor of d?
True
Let k(r) = -6*r**3 - 2*r**2 + r - 2. Is k(-2) a multiple of 9?
True
Suppose -d = -5*d - 56. Let v = 17 - d. Suppose -3*q + 2*s + 29 = 0, 3*s = 5*q + 4*s - v. Is 3 a factor of q?
False
Suppose 3*m - 5 - 4 = 0. Does 17 divide (m/(-2))/(6/(-244))?
False
Let o = 161 - 65. Does 12 divide o?
True
Is 58/2 + (-1 - -2) a multiple of 10?
True
Let w(z) = -2*z - 12. Let h be w(-8). Suppose 3*m = 0, 0 = 2*s + 2*s - 2*m - h. Is (10/4)/(s/2) a multiple of 3?
False
Let q = -21 - 5. Is (-813)/(-39) + (-4)/q a multiple of 8?
False
Suppose -2*l + 80 = -104. Suppose 4*z - t - 14 = 0, 2 + 4 = z + t. Suppose z*y - l = -0*y. Does 6 divide y?
False
Let b = 43 + -4. Let q = 19 - b. Does 5 divide (q/6)/(3/(-9))?
True
Suppose 2*f = -6, -10 = 5*u + 3*f + 2*f. Let l be -4 + (-1)/(-1) + u. Let s(a) = -2*a**3 + 2*a**2 + 2. Does 12 divide s(l)?
False
Suppose -2*m + 0*b + 23 = b, 3*m = -2*b + 34. Let a = -3 + m. Does 6 divide a?
False
Does 7 divide (-656)/(-22) - 18/(-99)?
False
Let h = 26 + 78. Suppose -14 + h = x. Is x a multiple of 30?
True
Is 595/14*(-16)/(-10) a multiple of 17?
True
Suppose -5*d + 85 + 20 = 0. Is 2 a factor of d?
False
Let j be (-2 + 0)/((-5)/65). Suppose -6 = -3*b, -3*h - 5*b + j = -h. Is h a multiple