iple of 15?
True
Let j(o) = -350*o - 2*o**2 + 353*o + 4 + 5*o**2. Is 6 a factor of j(-3)?
False
Let x(p) = -2*p + 7. Let y be x(5). Let r be (-8)/(-3) - 1/y. Let h(b) = 3*b**2 + b - 2. Is 15 a factor of h(r)?
False
Is (-876)/15*(-30)/12 a multiple of 25?
False
Let c(d) = 8*d - 14. Is 12 a factor of c(8)?
False
Suppose -o = s + 4*s + 26, o - 3*s + 10 = 0. Let k = -8 - o. Suppose 0 = -5*a - b - 0*b + 22, -k = -4*b. Is 2 a factor of a?
True
Let v(z) = 104*z - 4. Let p(j) = -21*j + 1. Let o(w) = -11*p(w) - 2*v(w). Let l be o(6). Suppose -l = -4*q - 15. Is 15 a factor of q?
True
Suppose -204 = -7*k - 5*k. Is 17 a factor of k?
True
Let q(j) = -12*j + 6. Let y(a) = a + 1. Let z(d) = -q(d) + 3*y(d). Let b be z(5). Suppose 2*m - b = -2*m. Does 14 divide m?
False
Suppose 20 = 3*w + w. Suppose -g + 6 = z - 3, 3*g - 2*z - 7 = 0. Suppose g*j - 63 = -4*h, h = w*h + 3*j - 57. Is 4 a factor of h?
True
Suppose h = -3*k + 2, -2*k = -3*h - 3*k + 6. Suppose -3*t + 5*w + 165 = 0, -3*t + h*t + w + 57 = 0. Suppose s = -2*s + t. Is 10 a factor of s?
True
Let z = -3 + -1. Does 6 divide 32/12*(-18)/z?
True
Is ((-792)/40)/(6/(-20)) a multiple of 6?
True
Let o = -77 - -89. Does 4 divide o?
True
Let n(u) = -17*u + 2. Let x(v) = -52*v + 6. Let k(z) = 16*n(z) - 5*x(z). Is k(-2) a multiple of 17?
False
Let u = 68 + -40. Is 28 a factor of u?
True
Let x be (1*-1)/((-1)/5). Suppose 2*i - 62 = -x*n, -n = -i - i - 22. Suppose 0 = -0*j + j - n. Is j a multiple of 8?
False
Let r be (-1)/(-1 + 1/2). Let a(c) = c + 1. Is 2 a factor of a(r)?
False
Let x be 0 - -10 - (-2 + 2). Let b(g) = g - 3. Let n be b(x). Suppose 4*w - n*w = -42. Does 8 divide w?
False
Suppose -3*z + 20 = z. Suppose z*w - 90 - 5 = 0. Does 10 divide w?
False
Suppose 2*z = 4*z - 6. Suppose 0 = z*y + 19 - 64. Is 11 a factor of y?
False
Let g = 8 - 6. Suppose -2*s + 52 = g*s. Suppose -4*z + 3*x = -42, -x + s = -2*z + 35. Is 6 a factor of z?
True
Let w(b) = 14*b**3 - b**2 - 2*b + 3. Suppose -2*u + 8 = 2*u. Let v be w(u). Suppose 3*j = 16 + v. Is 19 a factor of j?
False
Let a = -5 - -4. Let o be (1 - 4)/3*-1. Does 2 divide a/o + -3 + 6?
True
Let f(s) = -s + 3. Does 5 divide f(-12)?
True
Let b(j) be the second derivative of -j**3/2 - j**2 - 4*j. Does 9 divide b(-6)?
False
Let j(t) be the first derivative of t**4/4 + t**3 - 5*t**2/2 + 2*t + 1. Is 6 a factor of j(-4)?
True
Suppose 3*a + a - 100 = 0. Let w = -108 + a. Let j = -50 - w. Is 16 a factor of j?
False
Is 1/(48/238 + 11/(-77)) a multiple of 4?
False
Let c(k) = -k**2 + 13*k - 27. Does 3 divide c(10)?
True
Suppose -3*r - 3 + 15 = 0. Suppose r*v - 286 = -46. Is v a multiple of 16?
False
Let p(c) = -5*c**2 + 4*c - 4. Let j = 4 - 7. Let d(o) = o**2 + o. Let g(r) = j*d(r) - p(r). Is g(4) a multiple of 8?
True
Suppose -2*a - a = -2*g - 20, 0 = -2*a - 2*g + 30. Suppose -2*x + 7*x - 50 = -5*c, 2*x + a = 0. Does 15 divide c?
True
Let x(n) = -4*n. Let w be x(-1). Suppose 0*o + 28 = -4*o. Let t = w - o. Is 11 a factor of t?
True
Let v(n) = 5*n**2 - 2*n - 8. Is v(-4) a multiple of 23?
False
Let j(f) = -f**2 - 12*f + 7. Let l be j(-11). Suppose -l*h = -23*h + 75. Does 15 divide h?
True
Suppose 2*q = -3*z + 111, 0 = z + 2*q + 3*q - 50. Is z a multiple of 6?
False
Let c(j) = -j**3 + 13*j**2 - 9*j. Let b = -9 + 17. Let r be c(b). Suppose -5*s + s = -r. Is 21 a factor of s?
False
Let a(h) = h**2 + 3*h - 8. Suppose -q + 4 = 0, -4*q - 28 = 4*d - 3*q. Let b be a(d). Suppose -2*j + j = -b. Does 12 divide j?
False
Let q(d) = -9*d**2 + 3*d - 4. Let x(u) = 4*u**2 - 2*u + 2. Let n(c) = 2*q(c) + 5*x(c). Does 5 divide n(3)?
False
Let c be 11/3 + (-2)/(-6). Let x(h) = -5*h**2 + 9*h + 11. Let a(f) = 15*f**2 - 26*f - 32. Let z(i) = 6*a(i) + 17*x(i). Does 18 divide z(c)?
False
Is 12*4 - (36/6 - 6) a multiple of 24?
True
Let h be (-48)/(-15) - 2/10. Suppose -2*q - 52 = -4*m - 6*q, -12 = h*q. Does 15 divide m?
False
Suppose -8*k - 105 = -3*k. Let h = k + 57. Does 18 divide h?
True
Suppose 0 = -4*l - l - 280. Let q = 86 + l. Is 14 a factor of q?
False
Suppose n + 3*w = 61, -2*w - 232 = -4*n - 58. Let s = n - 32. Is s a multiple of 14?
True
Suppose 501 = 7*h - 507. Is 18 a factor of h?
True
Let w = 40 + 15. Is 40 a factor of w?
False
Let k(y) = -21*y**3 - 3*y**2 + y + 3. Does 28 divide k(-2)?
False
Let o(b) = -b**2 - 12*b - 2. Is 3 a factor of o(-10)?
True
Let p(l) = -2*l - 3. Let j be p(-3). Let c be 6*((-2)/6 - j). Is 15/(-10)*c/6 a multiple of 5?
True
Let c = 22 + -16. Let n = c + -5. Is 22 a factor of 58/(-2)*(0 - n)?
False
Suppose -2*z + 5*z = 0. Suppose 0 = 3*s - 15, z*s = 2*y + 3*s - 7. Is 7 a factor of ((-2)/y)/((-1)/(-36))?
False
Suppose 2*c - 39 = -c. Is c a multiple of 13?
True
Let d(f) = f**2 + 5*f + 1. Let w be d(-4). Let v be -2*10*w - -1. Let k = -2 + v. Is 20 a factor of k?
False
Suppose 168 = 4*d - 2*d - 4*c, 5*c - 141 = -2*d. Is d a multiple of 26?
True
Let y = 47 + -1. Is y a multiple of 5?
False
Let a(x) = -x**3 - 10*x**2 - 10*x - 4. Let o be a(-9). Suppose 3*b - 3 = -w - 0*b, -o*b = 0. Suppose 0*d + 24 = w*d. Does 5 divide d?
False
Let d = -9 + 105. Is 14 a factor of d?
False
Let q(i) be the third derivative of 19*i**5/20 - i**3/6 + 2*i**2. Is q(-1) a multiple of 21?
False
Let u(h) = -h**3 - 2*h**2 + 2*h. Let m be u(-3). Is (-4)/12 - (-103)/m a multiple of 19?
False
Let n be 492/(-27) - 4/(-18). Let o = n - -13. Let l(w) = -2*w - 1. Is l(o) a multiple of 9?
True
Suppose -4*z = -3*i - 439, -2*i + 7*i = z - 97. Is 21 a factor of 962/14 - (-32)/z?
False
Let x be (8/(-6))/(2/(-9)). Let u(l) = -7*l**3 + 16*l**2 - 3*l + 10. Let d(v) = v**3 - v**2 - v. Let k(t) = x*d(t) + u(t). Does 5 divide k(9)?
True
Let h = 169 + -79. Does 18 divide h?
True
Let d(h) = -h**2 - 12*h - 11. Let t be d(-11). Does 21 divide 29 + t + 2 + -3?
False
Suppose -3*o = -h - 304, -o + 5*o - 420 = 5*h. Does 10 divide o?
True
Let w be (28/(-5))/(2/20). Let j = w - -86. Let t = j + -21. Is t a multiple of 9?
True
Suppose -19*l - 55 = -24*l. Is 2 a factor of l?
False
Suppose 250 + 5 = 3*x. Does 17 divide x?
True
Suppose 4*q + 4*p - 128 = 2*p, 2*p + 58 = 2*q. Let d = q + -17. Suppose -4 = -5*a + 4*l, 2*a - 5*l + d = 2. Is a a multiple of 4?
True
Let b = 3 - 1. Suppose -3*m + 43 = b*t, -2*m + 63 = 3*m - t. Let k = 25 - m. Is 5 a factor of k?
False
Suppose 89 + 109 = 6*u. Is u a multiple of 6?
False
Suppose -2*u = -u. Suppose -3*x - x + 20 = u. Suppose -5*p + 70 = w, -3*w + 70 = x*p - w. Does 7 divide p?
True
Let q(t) = -t**3 - 19*t**2 - 36*t + 31. Is q(-18) a multiple of 19?
False
Let s(t) = 2*t**2 + t - 1. Let d be s(1). Suppose 3*v = o - 21 + 7, 13 = d*o - v. Suppose 28 = 3*a - h + o*h, 2*a - 5*h = 11. Is a a multiple of 8?
True
Let q(l) = -10*l - 16. Does 4 divide q(-4)?
True
Suppose 2*w = w + 2*j, 3*w = 4*j + 8. Suppose -4*l + w = -20. Is l a multiple of 4?
False
Suppose 3*l = -2*f + 510, -313 + 1078 = 3*f - 3*l. Does 13 divide f?
False
Is 27 a factor of (4/(-3))/((-8)/828)?
False
Let k = -27 + 45. Is 16 a factor of k?
False
Let t be 0/(2 + 1 + -2). Suppose -n + 0*n + 45 = t. Does 18 divide n?
False
Suppose -12 = -4*s + 4. Suppose -366 = -s*p - 62. Suppose -p = -2*h - 0*h. Does 19 divide h?
True
Suppose -96 - 9 = -5*c. Is c a multiple of 3?
True
Let h be 0/(-2 - (-3 - 2)). Suppose -5*x - 4*o + 19 = h, -4*x + o - 3 + 14 = 0. Let q(m) = 2*m**3 - 3*m**2 - m - 1. Is q(x) a multiple of 9?
False
Let o(d) be the second derivative of d**4/3 - d**2 - 3*d. Let j(s) = s + 2. Let h be j(0). Is o(h) a multiple of 7?
True
Let v be 7*2*3/(-6). Let c = 29 + v. Is c a multiple of 11?
True
Let p(f) be the second derivative of f**3/3 - f**2 - 3*f. Is 4 a factor of p(3)?
True
Suppose -5*b = -295 - 200. Does 27 divide b?
False
Suppose -4*t + 178 = -b - b, t = -2*b + 42. Is t a multiple of 22?
True
Suppose -6 - 2 = -2*d. Suppose -d*q = -2*q. Suppose v - 52 = -q*v. Does 14 divide v?
False
Let z = -15 + 177. Is 18 a factor of z?
True
Let f(r) = -84*r**3 - 2*r**2 - 4*r - 2. Is 14 a factor of f(-1)?
True
Is 15 a factor of ((-486)/12 - -4)/(1/(-2))?
False
Is 10 a factor of 185/(-10)*(-4 + 2)?
False
Let v(i) = i**2 + 2. Let y be v(-2). Let d = y + 4. Is d a multiple of 4?
False
Let l(m) = 4*m**2 - 4*m - 2. Let w be l(-3). Suppose -g + 4*g - q = w, -2*q = -4. Suppose -2*u - g = -4*u. Is u a multiple of 4?
True
Suppose -3*k - 2*k + 408 = -4*o