2 + 4 + 4*j - 2 + l*j**2. Is f(4) a multiple of 12?
False
Suppose -6*t + 2*t = 12. Let n be -2*(27/2)/t. Suppose n*z + 18 = 11*z. Is 9 a factor of z?
True
Let j(q) be the third derivative of -q**6/20 - q**5/60 + q**4/12 + 14*q**2 - 3. Let b be (-3)/2*8/6. Is 10 a factor of j(b)?
True
Let u(y) = -y**2 + 2*y + 10. Let m be u(-5). Let k = -25 - m. Suppose -2*w + k*w + 24 = 0. Is 3 a factor of w?
True
Let g(n) = -n**3 + 7*n**2 - 3*n + 10. Let o be g(6). Suppose -88 = -5*v - x, 0*x - o = -2*v - 4*x. Does 6 divide v?
True
Suppose 5*t - 2*h = 425, -4*t - 100 = 2*h - 458. Let n = t + 2. Is n a multiple of 21?
False
Does 6 divide (-35)/4*(-3 + (5 - 10))?
False
Suppose -4*o + i = -7895, -65*i + 3953 = 2*o - 60*i. Does 39 divide o?
False
Suppose -5*a + 24 = -p + 6, 2*a + 6 = -4*p. Let d be (-3)/(5/(10/p)). Suppose k + 13 = d*k. Is 9 a factor of k?
False
Suppose 8*w - 6*w - 795 = 3*h, 0 = 3*h + 3. Does 22 divide w?
True
Let n = 42 - 40. Suppose -69 = -n*o + 5*p - 4*p, -4*p = -4. Is o a multiple of 3?
False
Let r = 140 - 38. Let p = 131 - r. Is 26 a factor of p?
False
Suppose -2*d + 5*q = -137, 2*d - 4*q - 51 = 89. Suppose 18*u = 14*u + d. Is u a multiple of 5?
False
Let g(b) = -b**2 + 5*b + 9. Let z be g(6). Let h = z - -18. Is h a multiple of 8?
False
Let i(u) = -9*u - 53. Let c = -47 - -34. Is i(c) a multiple of 8?
True
Suppose -12*y + 3*y + 54 = 0. Let p = y + 32. Is 7 a factor of p?
False
Let n(w) = -w**2 + 3*w + 97. Let f be n(0). Suppose -d - v + 24 = 0, -4*d = 2*v + 3*v - f. Is d a multiple of 2?
False
Let a = -11 - -11. Let w = 6 - a. Let o = 13 - w. Is 7 a factor of o?
True
Suppose 0 = 30*f - 1368 - 162. Is 2 a factor of f?
False
Let k(o) = -3*o**3 + 10*o - 2 + 2*o**3 + 6*o**2 - 2. Let g be k(7). Suppose 4*q - g = -3*h, 0*h - q - 36 = -5*h. Is h even?
False
Let c = 1150 + -1034. Does 12 divide c?
False
Let l = -11 + 12. Let v(a) be the first derivative of 27*a**2/2 + a - 2. Does 14 divide v(l)?
True
Let p = 1266 + -681. Does 13 divide p?
True
Suppose -5*z = -2*z + 15. Let v(u) = u**2 + 3*u - 7. Let c be v(z). Suppose -4*l = c*j - 111, 4*l - 2*j - 133 = -27. Is 7 a factor of l?
False
Let p(c) = -c**2 + 19*c - 26. Is p(10) a multiple of 16?
True
Let z = 11 - 12. Let l be 8/(((-2)/7)/z). Suppose 3*w - 5*w + l = 0. Does 7 divide w?
True
Let z = 12 + -12. Suppose z = -7*x - 115 + 976. Is 41 a factor of x?
True
Let q(a) = a**2 - 16*a - 6. Suppose 4*r - 86 = -4*j + 2*r, j - 2*r = 24. Is 7 a factor of q(j)?
True
Let h(r) = r. Let f(y) = y**3 + 11*y**2 - 4*y + 4. Let d(j) = -f(j) - 6*h(j). Let x be d(-10). Is (x/(-8))/((-1)/(-4)) a multiple of 14?
True
Suppose 4*x - 3026 = -24*v + 22*v, -2*x + 6064 = 4*v. Does 37 divide v?
True
Suppose -k + 6*k - f - 7 = 0, 3*k - 3*f = -3. Let j(s) = -s**3 - 2 - k*s - 1 + 5*s**2 + 2*s**3. Does 2 divide j(-5)?
False
Let d be ((-18)/27)/(2/(-108)). Suppose -w + d = -4. Is w a multiple of 40?
True
Let p(d) = 2*d**3 - 17*d**2 + 11*d - 9. Does 39 divide p(14)?
True
Let x(h) = 6*h**2 - 7*h + 2. Let r be x(6). Let l = r + -86. Is 6 a factor of ((-63)/5)/((-27)/l)?
True
Let a(l) = 83*l**2 - 2*l + 2. Let m be a(1). Suppose -211 - m = -6*t. Is 13 a factor of t?
False
Let k(v) = -v - 9. Let p be k(-15). Let j(m) = -4*m - 2*m - p*m + 1 + m. Is j(-3) a multiple of 25?
False
Let t(m) be the second derivative of -3*m**5/20 - m**4/4 - m**3/2 + m**2 - m + 8. Let j(h) = h**2 + 5*h + 3. Let f be j(-3). Is 20 a factor of t(f)?
False
Suppose 0 = 4*y + 5*r - 4337, -5*y - r + 5385 = -2*r. Suppose 3*i = -11*i + y. Is i a multiple of 11?
True
Suppose -10*p + 225 + 105 = 0. Let l = -6 + p. Is l a multiple of 11?
False
Let b be 6 - -5*(-8)/20. Suppose -b*f = 40 - 164. Suppose 4*d = -5*c + f, -d = -0*d - c - 19. Is d a multiple of 14?
True
Suppose 15*o - 14*o = 123. Is o even?
False
Let c(a) = a**3 - 3*a**2 - 3*a. Let y be c(4). Suppose -y*g + 532 = 4*l, -5*l - 3*g + 7*g = -620. Is l a multiple of 16?
True
Suppose -90 = 6*d + 450. Let l = d - -120. Is 12 a factor of l?
False
Suppose -150 = 4*o - t, 3*o + o + 138 = -5*t. Let n = 287 + o. Suppose 4*c - n = -98. Is c a multiple of 19?
True
Let x(q) = -q**3 + q**2 + 6*q + 2. Let l(h) = -h**2 - h**2 + h**2 - 1. Let w(z) = 5*l(z) + x(z). Is w(-6) a multiple of 13?
False
Let m(z) = 7*z + 7. Let g be m(3). Let n = g - 11. Is 9 a factor of n?
False
Let f(m) = 10*m**3 + 4*m**2 + 8*m - 4. Let t be f(-4). Does 51 divide (4/6)/((-2)/t)?
True
Let q(l) = 53*l + 12. Let f be q(5). Suppose -4*o = 3*n - f - 68, o - 4*n - 72 = 0. Is 24 a factor of o?
False
Suppose 5*h - 4*h + 1 = 0, 4*c = -4*h + 512. Is 3 a factor of c?
True
Suppose 5*g - 3*p = 1975, g + 6*p - 423 = p. Let s = g + -240. Suppose 0 = 3*a - a - s. Is 16 a factor of a?
False
Let f = -269 + 387. Let p be (f/4)/((-3)/(-24)). Let r = p - 165. Is r a multiple of 18?
False
Does 16 divide -7655*17/(255/(-6))?
False
Let v be -1 + 5 - 1*48. Let q = 77 + v. Is q a multiple of 11?
True
Suppose -1276 = -4*k + 1396. Let q be (-2)/11 - k/(-44). Let c = 60 - q. Is c a multiple of 15?
True
Let r be -3 + 40 + 4/(-4). Let i = -4 + 8. Suppose 0 = -4*s + i*d + r, -3*s + 0*d + 28 = -2*d. Is 3 a factor of s?
False
Let l = 2041 - 980. Is l a multiple of 23?
False
Let h be (-4)/((-4)/5) + -1 + -1. Suppose 8*d - 3*d + 4*i = 312, -2*i - 174 = -h*d. Is 20 a factor of d?
True
Let w = -9 - -9. Suppose -3*b + 62 + 113 = g, -3*b + 5*g + 205 = w. Is b a multiple of 30?
True
Let k = 380 + -105. Does 10 divide k?
False
Let z(m) be the first derivative of -14*m**2 + 11. Let p be z(-1). Suppose l - 1 = 0, 4*r = 3*l + 5 + p. Is r a multiple of 9?
True
Does 7 divide (1*-2)/(((-76)/(-368))/(-19))?
False
Let k = -6 + 49. Is k a multiple of 7?
False
Let n(l) = 2*l + 18. Let c be n(-13). Let k(o) = -3*o - 3. Let p(m) = -4*m - 4. Let r(i) = c*k(i) + 5*p(i). Is 9 a factor of r(8)?
True
Let l = 105 + -108. Let f = 71 - l. Is f a multiple of 28?
False
Is (7 - (-80)/(-12))/((-3)/(-4941)) a multiple of 61?
True
Let c = 570 - -211. Is 12 a factor of c?
False
Let v(c) = 19*c + 17. Let g be v(5). Suppose l - g = 3*y, 0*y + y + l = -32. Let a = y - -85. Does 19 divide a?
False
Suppose -3*b - 121 = 47. Let z = -35 - b. Is z a multiple of 3?
True
Let g = -7 + 7. Let t(x) = x**3 - x**2 + x + 8. Let o be t(g). Is 21 a factor of -4*((-74)/o + 2)?
False
Let n = 28 + -24. Let s(k) = 7*k**2 - 9*k + 2. Let g be s(6). Suppose -n*i = i - g. Is 11 a factor of i?
False
Let w = -92 + 199. Suppose w*v - 103*v - 124 = 0. Is v a multiple of 17?
False
Let n(q) = 6*q - 31. Let c be n(6). Suppose -z = x - 267, c*x - 5*z = -7*z + 1323. Is 41 a factor of x?
False
Let k(c) = -33*c**3 + 10*c**2 - 3*c - 14. Is 36 a factor of k(-4)?
False
Is 26 a factor of 2/3 - (-17360)/168?
True
Suppose 61 = -s + 11. Let y = s + 115. Does 13 divide y?
True
Let w(b) = 10*b - 3. Let d be w(2). Let s = d - 20. Does 6 divide (-8)/12 + (-20)/s?
True
Let t = 32 - -18. Let d = t - 34. Let i(k) = 2*k + 16. Is 8 a factor of i(d)?
True
Let m = -57 - -145. Does 22 divide m?
True
Let k(m) = -m**3 + 4*m**2 + 4*m - 12. Let z be k(4). Suppose 0 = -5*d - 4*x + x + 315, -z*d - x = -245. Is d a multiple of 10?
True
Let n(f) = -29*f + 39. Is n(-18) a multiple of 20?
False
Let u(o) = -o**3 + 15*o**2 - 20*o + 125. Does 6 divide u(14)?
False
Let i = 448 + -397. Does 12 divide i?
False
Suppose -3*j - k + 2111 = 0, 7*k - 2*k = -4*j + 2822. Does 19 divide j?
True
Let u(w) be the third derivative of w**5/30 - w**4/6 - w**3/2 + w**2. Let o = -59 + 65. Is 15 a factor of u(o)?
True
Is (-1044)/(-10 + 576/60) a multiple of 9?
True
Suppose 0*v + 3*v - 134 = 4*r, 0 = -2*r + 8. Let t = v - -4. Does 9 divide t?
True
Does 41 divide 14 + (-180)/12 + (834 - 1)?
False
Let v = 501 + -348. Is v a multiple of 51?
True
Let m = 23 - 6. Let z be 2/((42/9)/7). Suppose -z*j + 13 + m = 0. Is j a multiple of 10?
True
Let g(a) = a**2 - 14*a + 12. Suppose -5*u = -61 + 21. Let h be g(u). Let r = 140 + h. Is r a multiple of 32?
False
Let u(f) = 5*f**3 - 10*f**2 + 8*f - 18. Let i(a) = 14*a**3 - 30*a**2 + 23*a - 53. Let v(r) = 4*i(r) - 11*u(r). Let p be v(10). Let b = 33 - p. Does 2 divide b?
False
Let i(o) = -o**3 - 9*o**2 - o. Let w be i(-9). Suppose -12*f = -w*f - 237. Is 12 a factor of f?
False
Let b(c) = c**3 - 4*c**2 - 4*c + 1. Let j(v) = v**2 - 8*v - 5. Let q be j(9). Let w be b(q). Let 