 Does 15 divide k?
False
Let o(a) = 286*a - 182. Is o(5) a multiple of 23?
False
Let c(t) = 23*t**3 - 2*t**2 + 1. Let q(m) = m - 1. Let h be q(2). Does 11 divide c(h)?
True
Suppose -z = -i + 6, z + 4 = -i + 2. Let k(s) = -10*s. Let x be k(z). Let m = -12 + x. Is m a multiple of 6?
False
Suppose 3*g + 12 - 3 = -3*h, -4*h = -3*g - 23. Let w(j) = 0*j**2 - 6 + 6*j**2 + 8*j - 7*j**h. Does 4 divide w(5)?
False
Suppose 4*f = -5*c + 11454, -9*f - 5*c = -11*f + 5742. Is 17 a factor of f?
False
Let a(d) = -d**3 + 12*d**2 + 7*d - 39. Let q(z) = z**3 - 24*z**2 + 26*z - 57. Let p be q(23). Is a(p) a multiple of 5?
True
Let i(a) = 6*a + 16. Suppose 9 - 1 = x. Does 20 divide i(x)?
False
Let b(m) = -7*m**3 + 10*m**2 - 10*m - 11. Let u(n) = -3*n**3 + 5*n**2 - 5*n - 5. Let c(v) = 2*b(v) - 5*u(v). Let j = 7 - 2. Is 14 a factor of c(j)?
True
Let c = 1 - -1. Suppose 3 = c*i - 7. Let d(o) = -o**3 + 8*o**2 - 7*o + 5. Is d(i) a multiple of 15?
True
Let u(b) = 43*b**2 + b. Let l be u(-1). Suppose -3*c + 120 = -4*t, 0*t = -c + 2*t + l. Let j = -24 + c. Is j a multiple of 6?
True
Let t = 307 + -311. Let g(l) = -2*l + 4*l**2 + 1 + 3*l**3 - 2*l**3 - 4. Is g(t) a multiple of 3?
False
Suppose 248 = -3*b + 62. Let c = 123 - 151. Let l = c - b. Does 11 divide l?
False
Let z(m) = -13*m**3 - m**2 + 5. Is 21 a factor of z(-3)?
False
Suppose 5*q - 24 = -4*y + 602, -4*q + 2*y = -506. Is q a multiple of 3?
True
Is 11 a factor of (-28)/((6/(-22))/3)?
True
Let t(k) = -k**3 + 6*k**2 + 17*k - 10. Is 15 a factor of t(7)?
True
Let i = -1749 - -1764. Is i a multiple of 3?
True
Let z(t) = -t**3 + 9*t**2 + t + 13. Suppose 2*r - 14 = y, 3*y = -4*r - y + 52. Is 11 a factor of z(r)?
True
Let p(c) = 2*c**2 - 5*c - 26. Let t be p(12). Suppose 5*a = t + 8. Does 7 divide a?
True
Suppose 4*f - 12 + 0 = 0. Suppose f*s - 3*i + 36 = 0, -6*i + 4*i = 5*s + 74. Does 3 divide 3 - (s/1)/2?
False
Let k(z) = -42*z - 72. Let r be k(-2). Let d(o) be the first derivative of 2*o**2 + 13*o + 1. Is 11 a factor of d(r)?
False
Let c = -14 + 10. Let z = 7 + c. Let r(b) = 10*b - 7. Is r(z) a multiple of 6?
False
Let h = 796 + -463. Is 7 a factor of h/6 - (-3)/(4 + 2)?
True
Let q = -30 + 32. Suppose 33 = -q*z + 5*z. Does 10 divide z?
False
Let f be ((-196)/10 - -1) + 15/25. Does 3 divide (f/(-4))/(48/64)?
True
Suppose 0 = 4*v - 0*v + 4*t - 20, 0 = 4*v - 2*t + 4. Suppose -11 - 10 = -3*w - 3*c, 5*w - 4*c = -v. Suppose 0 = w*l - 44 - 28. Is l a multiple of 4?
True
Suppose -12 = -2*i - 38. Let z = 29 + i. Is z a multiple of 3?
False
Suppose -17 = -2*h - w, 4*h - 16 = -0*h + 4*w. Is 35 a factor of h/(21/204) + 2?
True
Does 4 divide (2440/100)/(4/10)?
False
Let d = 23 + -5. Let o = d + 10. Is 18 a factor of o?
False
Let l = -36 + 38. Is 6 a factor of (123/(-36) + l/(-8))*-6?
False
Let y(i) = 2*i**3 + 9*i**2 - 8*i + 18. Is 15 a factor of y(4)?
False
Let z(k) = 2*k**2 - 3*k + 3. Let l be z(-3). Suppose -8*q = -3*q - l. Is (-2)/(-4) + 309/q a multiple of 29?
False
Suppose 7*q - 2*q - 26 = 2*p, 6 = -2*p. Is (1 + q)*10/25 a multiple of 2?
True
Let y be 2/6 + 60/(-18). Let u = 1 - y. Suppose -8*b + 44 = -u*b. Is b a multiple of 11?
True
Let j(x) = 0 - 3 + 2 + 44*x + 48*x - 103*x. Suppose -4*b - 3 = 9. Does 8 divide j(b)?
True
Suppose 418*v + 786 = 424*v. Is v even?
False
Let t(c) = 2*c - 4 + 11 + 3. Let a be t(-10). Let s = 13 + a. Is 2 a factor of s?
False
Let u(d) = 2*d**3 - d**2 - d + 2. Let s be u(1). Suppose -3*m = y - 6*y - 40, s*m - 20 = 5*y. Does 14 divide 0 - -24 - (m - 22)?
False
Suppose -2*a - 1420 = -7*a. Suppose a = 6*g - 5*g. Is 33 a factor of g?
False
Let k(a) = -7*a**2 - 2*a + 4. Let t be k(-5). Let r = 234 + t. Suppose 2*b = r + 43. Is 20 a factor of b?
False
Suppose -4*g = -3*l - 8, 0 = 3*l + l + 5*g - 10. Suppose -4*n + 2*o = -l*o - 22, 2 = 4*n + 2*o. Suppose 6*z - 81 = n*z. Is z a multiple of 9?
True
Let h(f) be the first derivative of -7*f**2/2 - 49*f + 21. Is 14 a factor of h(-19)?
True
Let l(u) = u - 4. Let d be l(0). Is 5 a factor of -116*((-10)/d)/(-5)?
False
Is -20 + 24 - 310/(-1) a multiple of 60?
False
Let i = -164 + 200. Is i a multiple of 4?
True
Suppose 2*o - 4*u = 906, 2*o = -3*o - 2*u + 2229. Does 12 divide o?
False
Let n(k) = k**2 + 17*k - 20. Let j be n(-18). Is (11/((-33)/j))/((-2)/(-27)) a multiple of 6?
False
Let g(k) = 197*k - 699. Does 37 divide g(12)?
True
Let l = -2 - 2. Let j be (-10)/l*12/10. Suppose 3*c + 5*v - 122 = 0, -3*c + j*v + 97 = -17. Is c a multiple of 6?
False
Let a(x) = -4*x**2 - 2*x + 1. Let c be a(-2). Let n = -8 - c. Suppose 4*r = -n*h + 84 + 163, -5*r + 5*h + 300 = 0. Does 17 divide r?
False
Is (906/14)/(1656/126 - 13) a multiple of 13?
False
Suppose -24*r = -31*r + 3381. Is r a multiple of 25?
False
Let y = 5 + 0. Let j be (-1)/(((-4)/y)/4). Suppose j*t + 9 = 59. Is 8 a factor of t?
False
Let g be -15*3/((-3)/1). Let q be (-10)/g - (-14)/(-6). Does 9 divide 1*q + -4 + 31?
False
Suppose 5*m - 3105 = -t, -635 = -m + 2*t - 5*t. Is m a multiple of 31?
True
Suppose 2*k = 4*k - 28. Let b(n) = 5*n - 33. Is 10 a factor of b(k)?
False
Let a be (18/(-12))/((-6)/20). Suppose -2*s - 4*w = -22, 0 = 3*s + a*w - 29 - 7. Is 5 a factor of s?
False
Let o(z) = -z**2 - 9*z + 54. Let i be o(10). Let a = i - -223. Does 11 divide a?
False
Suppose 13 = 2*k + 3*o, 2*k - 3*o = 2*o + 5. Suppose -k*v = -109 + 34. Is v a multiple of 15?
True
Let q(p) = -p**3 - 1. Let u(y) = -2*y**3 + 10*y**2 - 9*y + 3. Let l(h) = -q(h) + u(h). Is l(8) a multiple of 12?
True
Let z(w) be the third derivative of -1/2*w**3 + 0*w + 2*w**2 + 3/8*w**4 + 0. Is 12 a factor of z(3)?
True
Suppose -738 = -r - t + 971, 5*r - 8554 = -2*t. Does 8 divide r?
True
Is 27 a factor of 6650/49 + 4/14?
False
Suppose -5159 + 44 = -31*i. Is 7 a factor of i?
False
Suppose 2*g - 4 = -0*g. Suppose g*u = 5*r - 165, -u + 0*u = 5*r - 180. Let q = 57 - r. Is q a multiple of 5?
False
Does 8 divide (301/(-21))/((-17)/2397)?
False
Let c be (-3)/(-6)*-2 - (-16 - -9). Let s = 110 - c. Does 13 divide s?
True
Let d(y) = 151*y**2 + 15*y + 2. Does 8 divide d(-2)?
True
Let b(o) = -2*o + 4*o - 19 - 16*o - 10. Does 16 divide b(-4)?
False
Suppose -2*l - l - 15 = 0, -3*d = 3*l + 6. Suppose 15*z - d*z - 420 = 0. Is 3 a factor of z?
False
Let w(m) = -18*m - 1. Let f be w(-3). Let z = -56 - -46. Let c = f + z. Is c a multiple of 12?
False
Suppose 45*c - 41*c - 184 = 0. Suppose -o + 87 + c = 0. Does 9 divide o?
False
Suppose 2*a - 788 = -4*x, -2*x = -4 - 6. Does 4 divide a?
True
Let b(m) = -m**2 + 5*m + 6. Let f be b(6). Suppose f = -a + 1 + 4. Suppose a*h - 8 = 67. Is h a multiple of 3?
True
Let a be (4 + 188)/(1 - (3 + -3)). Suppose -o = 7*o - a. Is o a multiple of 8?
True
Is (3 - -2) + 259 + 8 a multiple of 8?
True
Let k(d) = 3*d**2 + 26*d - 16. Let n be k(-11). Suppose m = y + n, -55 = -2*m + m + 4*y. Is 21 a factor of m?
True
Let r = 156 - 85. Suppose r - 29 = f. Is f a multiple of 8?
False
Is (-90)/(-30) - (-523 + (-3 - -5)) a multiple of 63?
False
Let r = -2318 - -3236. Does 18 divide r?
True
Suppose -2*c - 3*p - 1 = 0, -2*c = 3*c + 4*p - 15. Is c a multiple of 5?
False
Let k(s) = -2*s - 4. Let q be k(-3). Suppose 60 = 7*n - q*n. Suppose 3*v = 3*i - 66, -n = -i - 4*v - 0*v. Is 10 a factor of i?
True
Let i(q) = -q**2 + 5*q - 1. Let w be i(3). Let h(n) = -n**3 + 7*n**2 - 4*n + 8. Does 5 divide h(w)?
False
Let j(i) be the first derivative of -3*i**2 - 7*i + 7. Let p(s) = -7*s**3 - s**2 + 2*s - 1. Let u be p(1). Does 12 divide j(u)?
False
Suppose 24 = 5*v + 2*j + 7, -4*v + 8 = -4*j. Let l(i) = -6*i**3 + 3*i**2 + 1. Let z be l(v). Let a = -70 - z. Is a a multiple of 17?
False
Suppose 2*s + 2*f = 58, 5*s = 2*f + 189 - 30. Suppose -8*y - s = -175. Is y a multiple of 6?
True
Is 15 a factor of -3*2 - (-24 + -2675)?
False
Let a(j) = -20 + 3 - 5*j - j**3 - 17*j**2 - j**2. Is 35 a factor of a(-18)?
False
Let a be ((-2)/(-16)*-4)/(1/(-2)). Is 22 a factor of (-3 - a)*237/(-12)?
False
Let h be 9 - ((-3)/(-1) + -2). Suppose 72 = -4*c + h*c. Suppose 9*w = 10*w - c. Is w a multiple of 8?
False
Let c be ((-80)/25)/(3/15). Let u = c - -18. Suppose 0 = 3*k + u*k - 75. Is k a multiple of 3?
True
Suppose -5*i - 4*l = -0*i - 2, -2*l - 4 = 0. Does 4 divide ((-2)/i)/((-156)/51 - -3)?
False
Let i be 6*(3 + 2/(-6)). Suppose -3*m = -4*m + i. Is m a multiple of 3?
False
Suppose 18 =