9*t + 4. Is 36 a factor of j(-6)?
False
Let l(m) = -35*m + 3. Let j(k) = 70*k - 7. Let z(w) = 4*j(w) + 9*l(w). Is z(-1) a multiple of 24?
False
Suppose 0 = 2*v - 5*o - 67, 2*v + v = -5*o + 113. Is v a multiple of 9?
True
Let n be 4/(-1*(-4)/(-30)). Suppose 76 = 13*o - 17*o. Let z = o - n. Is z a multiple of 10?
False
Let z = 1 - -1. Let k(t) = -t**3 + 0 + 3*t**2 + 3*t - z*t + 3*t**2 - 6. Does 12 divide k(5)?
True
Suppose 5*i - 16 - 44 = 0. Suppose -6*w + i = -2*w. Suppose 93 = 6*s - s + w*r, -3*r + 30 = 2*s. Is 15 a factor of s?
False
Let k = -65 + 114. Is k a multiple of 39?
False
Let n(h) = 2*h**2 - 4*h + 4. Let g be n(3). Let y be (-18)/3*g/(-2). Suppose -z + y = -0*z. Is 19 a factor of z?
False
Suppose -12 = -3*k + 5*k + 2*w, 5*k + w + 42 = 0. Is 13 a factor of (-78)/(-9)*k/(-6)?
True
Let u = 17 + -35. Let f = u + 36. Does 9 divide f?
True
Let v(r) = r**2 - 17*r - 16. Does 6 divide v(19)?
False
Suppose 0 = -3*q + q - 2*b - 4, 2*q - 5*b - 31 = 0. Let z(u) = 3*u - 12*u - q + 1. Is 13 a factor of z(-2)?
False
Suppose -2*n + 106 = -n. Suppose 0 = -5*x - 26 + n. Let k = 4 + x. Does 20 divide k?
True
Let g be (6/(-6))/(2/154). Let i = -26 - g. Is 16 a factor of i?
False
Let m be (-67)/(-5) - (-8)/(-20). Let r = -7 + m. Is r a multiple of 3?
True
Is 13 a factor of (12 + 0)*(-1)/(3/(-26))?
True
Suppose 0 = -0*j - 4*j - 12. Is 10 a factor of -1*(j + -19 + 2)?
True
Let t(m) = 10*m - 2. Does 5 divide t(1)?
False
Let d be (-5)/(-7) - (-2)/7. Let x be (-15)/(-2)*-2*d. Let v = x - -25. Is 10 a factor of v?
True
Suppose -2*f - 4 + 0 = 0. Let a be -1*f/((-4)/26). Let g = 29 + a. Is g a multiple of 8?
True
Let a be 62 + (2 - 1) + -1. Let c be (a/3)/(2/9). Suppose 0 = -2*w - t + 25, 0 = -5*w - 3*t + c - 28. Is 3 a factor of w?
False
Let w(r) be the third derivative of -r**4/2 - 2*r**3/3 + 2*r**2. Let b be w(-3). Is (-6)/((-38)/b - -1) a multiple of 16?
True
Suppose 4*p = 5*l - 263, -2*p + 92 = 2*l - 24. Suppose 0 = t + u - l, 3*t - 65 = 2*t + 4*u. Is 15 a factor of t?
False
Is 6 a factor of (-54)/(-8)*128/24?
True
Suppose -6 = -3*h - 4*c + 5, 5*h - 3*c = 28. Suppose -26 = -2*k - a, 0*k - h*a - 65 = -3*k. Does 10 divide k?
False
Let p = -7 - -88. Is p a multiple of 27?
True
Suppose -3*o + 10 = -2. Does 5 divide 1/o + (-234)/(-24)?
True
Suppose 5*x - 4*x = 4. Let z = x - 2. Suppose 5 = 2*y - 5*q, y - 2*q + 5 = z*q. Is y a multiple of 7?
False
Does 28 divide 1/(171/(-87) + 2)?
False
Let m be (4 - 8)/(2 + 0). Let f = m + 6. Suppose 0*n + 141 = 5*n + 3*t, f = 2*t. Is n a multiple of 9?
True
Let d(g) = -2*g**2 - 8 - g + 2 + g**2. Let k(u) = -u. Let l(f) = -d(f) + 6*k(f). Does 10 divide l(7)?
True
Let r be 3/(2 + -1) + 8. Suppose -f + 28 = r. Does 5 divide f?
False
Let i = 11 - 3. Is 6 a factor of i?
False
Let c = -20 + 83. Is 18 a factor of c?
False
Let t be 3*(-1 + 23) + 1. Let d = t + -32. Is 12 a factor of d?
False
Let a = 846 + -598. Is 8 a factor of a?
True
Let m(n) = n + 1. Let c(b) = -3*b + 6. Let h(o) = -c(o) + 2*m(o). Is 23 a factor of h(10)?
True
Let u be 25/10*16/10. Suppose -u - 11 = -5*v. Suppose v*a - 55 = 26. Is 9 a factor of a?
True
Let m(p) = 6*p - 3*p - 2*p + 0*p - p**2. Let g(f) = f**3 - 13*f**2 + 6. Let h(z) = g(z) - 6*m(z). Is 22 a factor of h(8)?
True
Suppose 4 - 24 = -5*t. Suppose t*u - 72 = u. Does 13 divide u?
False
Let t(u) = -7*u**3 - 2*u**2 + 2*u - 3. Let y be t(-3). Let b(l) = -l**2 + 4*l - 1. Let z be b(3). Does 9 divide y/8 + z/(-8)?
False
Suppose -3*p = 16 + 2. Let j = p + 10. Suppose 0 = j*k - 2*k - 22. Does 11 divide k?
True
Suppose -2 + 3 = j. Let k(x) = x**3 + 6*x**2 + 2. Let a be k(-6). Is 7 a factor of 14/((j - a) + 2)?
True
Let b(h) = -23*h + 47. Does 15 divide b(-11)?
True
Suppose 4*v - 4*d = 140, 3*d + 102 = 3*v - d. Is 16 a factor of v?
False
Suppose -5*n = -2*o + 61, 3*n - 1 - 2 = 0. Is 6 a factor of 3 + (-2 - (2 - o))?
False
Is (16/3)/((-19)/(-285)) a multiple of 40?
True
Let a(h) = -h - 5. Let r be a(-8). Suppose 0 = 5*v - 5*l - 261 + 66, 0 = -4*v + r*l + 153. Does 18 divide v?
True
Let b = -39 - -76. Does 17 divide b?
False
Suppose 3*s - 2 = 7. Suppose -s*g + 12 = -12. Does 4 divide g?
True
Let s(a) = a**2 + 6*a + 11. Let x = 15 - 25. Is s(x) a multiple of 17?
True
Suppose 2*y - 42 + 4 = 0. Does 19 divide y?
True
Suppose 0 = -2*f + 2*c + 196, 4*f + c = -104 + 506. Is f a multiple of 34?
False
Suppose -10*w + 9*w = -4. Let j(u) = u**3 + 7*u**2 + 5*u - 4. Let i be j(-6). Suppose 0 = w*q - 2*s - 3*s - 75, i*q = -2*s + 60. Does 11 divide q?
False
Let d(y) = y + 16 - 14 - 13 - y**3 + 10*y**2. Is d(9) a multiple of 16?
False
Suppose m = -4*u + 98, m + 5*u - 67 = 36. Suppose 2*b - 5*b + m = 0. Does 13 divide b?
True
Let r(p) = 12*p**2 + 4*p - 4. Does 14 divide r(-3)?
False
Let y be 8/(-6)*6/(-4). Suppose 92 = p + 3*p. Suppose 0 = -3*j - y*t + 41, -2*j = -j - 4*t - p. Does 7 divide j?
False
Suppose -90 = -5*o + 50. Suppose 2*i = 3*i - o. Is 14 a factor of i?
True
Let f(n) = -19*n + 5. Let w be (10/2)/(1/(-1)). Let j be f(w). Suppose 2*p + 3*v - 54 = 0, 2*p - j = -2*p - 4*v. Is 7 a factor of p?
True
Suppose -a = -61 + 14. Suppose 20 = 5*c, 0 = -2*s + 5*s - c - a. Does 17 divide s?
True
Suppose 25 = -0*c + 5*c. Suppose c*g - 195 = 540. Suppose 5*x - g = 3. Is x a multiple of 15?
True
Let i(z) = z**2 + 4*z + 3. Let m be (2 - 7) + 0 - 1. Does 4 divide i(m)?
False
Let t(l) = -2*l**3 - 9*l**2 - 15*l - 6. Does 9 divide t(-6)?
False
Let x(r) = r**2 + r - 1. Is x(-3) a multiple of 5?
True
Suppose -4*p + 5*f - 2 = 0, 3*f - 23 + 9 = -4*p. Suppose 2*t + 114 = 4*s - 34, p*s + 5*t - 62 = 0. Is s a multiple of 12?
True
Let j(k) = -2*k**3 - 3*k**2 + 2*k + 3. Let l be j(-3). Suppose -3*n + l = -0*n. Does 7 divide (-1 + n)/(0 + 1)?
True
Let i(d) = 16*d**2 - 12*d + 5. Does 15 divide i(3)?
False
Let o(d) = 4*d**2 + d**3 - 3*d + 4*d - d**3 - 7 - d**3. Is o(3) a multiple of 5?
True
Suppose -4*j = j. Suppose j*i = -2*i + 34. Does 7 divide i?
False
Suppose 4*d - 35 = -3*g, 0 = -g - d + 5*d + 17. Let h = -21 + 25. Suppose 0 = h*x + g - 37. Is 5 a factor of x?
False
Let b(t) = 17*t**2 + t. Suppose a + 2*a = 3. Is 6 a factor of b(a)?
True
Does 18 divide 2/(-5) - (-1094)/10?
False
Suppose v - 55 + 9 = b, 4*b - 117 = -3*v. Is 11 a factor of v?
False
Does 16 divide (-2)/(-10) + 8806/70?
False
Let h(z) = 48*z**2 - 2*z + 2. Is 12 a factor of h(1)?
True
Let s = 149 + -146. Does 3 divide s?
True
Suppose -4*b + 3*j = 2*j - 460, 4*b + j - 468 = 0. Does 13 divide b?
False
Suppose -5*s = j - s - 28, 0 = -j - 3*s + 33. Is j a multiple of 15?
False
Suppose 186 = -30*g + 33*g. Is 31 a factor of g?
True
Suppose -2*y - 29 = -205. Does 17 divide y?
False
Let r = 3 - -1. Suppose 0 = -3*l + q + 75, r*l - 20 - 64 = -4*q. Does 19 divide l?
False
Is 11 a factor of (-237)/(-2)*32/12?
False
Let n = 0 - 0. Let l(v) = 13*v**2 + 75. Let h(k) = 3*k**2 + 19. Let u(w) = 9*h(w) - 2*l(w). Is u(n) a multiple of 10?
False
Let d(z) = z**2 - 3*z - 6. Let m be d(5). Let x = 6 - m. Suppose -x*r = 3*r + 5, -y = 3*r - 42. Does 13 divide y?
False
Let o(x) = -3*x**3 - 3*x**2 - 2*x - 13. Is o(-4) a multiple of 7?
False
Suppose -l - 9 + 41 = 0. Suppose -4*q - l - 40 = 0. Does 2 divide (-58)/(-12) + (-3)/q?
False
Let y = 109 - 11. Is y a multiple of 7?
True
Suppose f - 6 = -0*f. Suppose -z + 1 = -f. Let d = z - 4. Is d a multiple of 2?
False
Does 5 divide (-3)/(-27) - (4 + 862/(-18))?
False
Let b(k) = -k**3 - 1 + 1 + 2 + 2*k**3 - 6*k**2. Let w be b(6). Suppose -5*n + 4*s = -38, 0*n - w*n + 16 = -2*s. Does 4 divide n?
False
Suppose -r - 2 - 2 = 0. Let l = r - -6. Suppose l*z - 8*p + 3*p - 43 = 0, 0 = p - 3. Is z a multiple of 12?
False
Let y be 44/11*(-7)/(-2). Suppose -y = -g - 2. Is 10 a factor of g?
False
Let l be (3/4)/(3/(-828)). Let j be l/(-12) + 1/(-4). Let o = 26 - j. Is o a multiple of 7?
False
Let t be -1 + 1 + 0 + -14. Let o = -37 + 14. Let j = t - o. Is 8 a factor of j?
False
Let c(h) = h**3 - 4*h**2 - 2*h + 6. Does 20 divide c(5)?
False
Suppose 5*k - 221 = 3*a, 4*k + 4 = -4. Let x = 112 + a. Let p = x + -5. Does 15 divide p?
True
Let c(m) = 10*m**2 - 2*m + 1. Let n be c(1). Is 33 a factor of (12/8)/(n/714)?
False
Let f = -1 + 3. Suppose -5*a + f*z - 80 = -32, a = 5*z - 5. Is (-2)/(-5) - 276/a a multiple of 10?
False
Let u = -306 + 557. Does 23 divide u?
False
Is 14 a factor of (