4/12 + u**3/6 - 2*u**2. Does 15 divide j(1)?
False
Let j(g) = 2*g**3 - 4*g**2 + 2*g + 1. Is j(3) a multiple of 5?
True
Let v = 31 + 30. Is v a multiple of 11?
False
Let k(v) = -v**2 - 5*v - 8. Let n(r) = -r**2 - 10*r - 17. Let x(c) = -5*k(c) + 2*n(c). Does 17 divide x(-4)?
True
Let w = -11 + 15. Suppose -c = w*c - 90. Is c a multiple of 6?
True
Let s(k) = k + 2. Let a be s(0). Suppose -3*i + 305 = a*i. Suppose -9 = 4*d - i. Does 11 divide d?
False
Let f be 2/6*0/(-2). Let x = 29 - f. Does 16 divide x?
False
Suppose -31*o = -27*o - 76. Does 19 divide o?
True
Let c = 9 - 4. Let j(l) = -l**3 + 7*l**2 - 3*l - 1. Is j(c) a multiple of 8?
False
Suppose -2*d + 6 = -3*x + 16, 2*x = d + 6. Suppose x*l = -2, -4*l + 6 + 50 = 5*w. Is 6 a factor of w?
True
Let z(n) = -2*n - 5. Let l be z(-5). Suppose b + 56 = l*b. Is b a multiple of 7?
True
Let y = -15 - 21. Let q = y + 57. Is 7 a factor of q?
True
Let j(b) = 5*b - 30. Is j(14) a multiple of 8?
True
Let f(a) = a**2 + 6*a - 5. Let m = 12 + -5. Let d be f(m). Let p = d + -52. Is p a multiple of 17?
True
Suppose -i - i + 10 = 0. Is i/(15/6) - -10 a multiple of 5?
False
Suppose 27 - 2 = 5*p. Is p a multiple of 5?
True
Is 29 a factor of (174/9*1)/(7/63)?
True
Let w = 1 + -1. Suppose 0*s = -s + 2*u - 44, w = u + 3. Let o = -33 - s. Does 12 divide o?
False
Let n = 21 + -7. Suppose -2*r + 38 = n. Suppose 0*t + r = t. Is 8 a factor of t?
False
Let h = 27 - 8. Is 7 a factor of h?
False
Let n = 6 - 4. Suppose -2*b - n*m = -92, -3*b - 3*m - 222 = -8*b. Suppose 0 = 5*p - 40 - b. Is 6 a factor of p?
False
Suppose -5*a + 19 + 31 = 0. Is 3 a factor of -1 + a + (2 - 5)?
True
Let g(p) = 3*p**2 - 4*p - 8. Let r be g(5). Let f = 35 + r. Is 23 a factor of f?
False
Let f(l) be the third derivative of l**4/24 + 13*l**3/6 + l**2. Does 13 divide f(13)?
True
Let k = 1 - -9. Let t be 66/15 - 4/k. Suppose n - 1 = 0, 4*n + 51 = -t*b + 9*b. Does 11 divide b?
True
Suppose 3*d - 2*l - 196 = 0, 2*d - 137 = 5*l + 1. Does 16 divide d?
True
Suppose -3*a + 4 = -2. Let y = -4 - -8. Suppose y + a = g. Is 6 a factor of g?
True
Let f(u) = 2*u + 7*u - 3 - u + 5. Is f(2) a multiple of 9?
True
Let c(b) = b + 7. Suppose -5*j + 20 = -10*j. Is c(j) a multiple of 3?
True
Does 6 divide ((-4)/6)/(5/(-135))?
True
Let h be (-1)/4 - 413/(-4). Let j = h + -62. Does 15 divide j?
False
Is 16 a factor of ((-56)/42)/(2/(-48))?
True
Let b = -46 - -86. Is b a multiple of 6?
False
Let x(f) = -3 - 3 - 26*f + 5. Let b(c) = -c**3 - 4*c**2 - 3*c + 1. Let i be b(-2). Is 15 a factor of x(i)?
False
Let k(u) = -u**2 + 6*u + 1. Let q be k(6). Let j(x) = -3*x + 1. Let c be j(q). Is (-3411)/(-117) + c/13 a multiple of 11?
False
Let s(x) = x. Let o(d) = 28*d - 14. Let b(g) = o(g) - 56*s(g). Let w be b(-12). Is w/10 + 2/(-10) a multiple of 16?
True
Let n = 4 + -1. Suppose -2*l = -4*r - 3*l + 578, 5*l + 422 = n*r. Suppose -5*s - 40 = 2*i - r, -5*s - 5*i = -110. Is s a multiple of 10?
True
Let j be ((-16)/10)/(3/15). Suppose -y - 1 = -3*x + 42, -x - 93 = 2*y. Let n = j - y. Is n a multiple of 19?
True
Suppose -y + 3*y = -c - 7, -4*c - 16 = -4*y. Let k be ((-146)/(-4))/(y/(-2)). Suppose -3*t + k = 7. Is t a multiple of 19?
False
Let p(d) be the second derivative of -d**6/120 - d**5/60 + d**4/24 + 13*d**3/6 + d**2 - 5*d. Let z(j) be the first derivative of p(j). Does 13 divide z(0)?
True
Let w(h) = 2*h**2 + 6*h + 6. Is 2 a factor of w(-3)?
True
Let a be 0/(1 + (-1)/(-1)). Let y(u) = u**2 - 2*u - 2. Let d be y(4). Suppose a = c - 11 + d. Is 4 a factor of c?
False
Suppose j - 1 = 2. Suppose c - j = 2*p, -3*p - c + 2 + 6 = 0. Let m(z) = 16*z. Is m(p) a multiple of 16?
True
Is (-8)/(-10) - (-4011)/105 a multiple of 16?
False
Let z(v) = -5*v + 3. Suppose -2*a + 0*a = 6. Does 11 divide z(a)?
False
Suppose -149 = -3*y + 451. Is y a multiple of 23?
False
Suppose 5*r - 13 = 4*t + 12, -18 = -3*r + 3*t. Does 7 divide -1 - r - (6 - 29)?
True
Let x be 4/(-14) + 180/42. Suppose 3*f + x*u + 3 = -0*f, 0 = -3*f + 4*u + 21. Suppose 0 = d + f, -53 = -r - 3*r - d. Is 7 a factor of r?
True
Suppose h + v - 274 = 0, -4*v + 95 = -h + 344. Is 12 a factor of h?
False
Suppose 4*r - 5*v - 163 = 0, r + 43 = 2*r + v. Is 21 a factor of r?
True
Let r(w) = 26*w. Let g be r(2). Suppose -3*p + g = p. Is p a multiple of 6?
False
Suppose -2*f - 8 = -j, -3*f + 1 = j - 7. Suppose 4*d + 2*n = j, 0*d = -3*d + n + 11. Suppose -2*l = d*l - 80. Is l a multiple of 5?
False
Let q = 3 + -5. Let a be (10/(-5))/(q/3). Let s(r) = 8*r - 2. Is s(a) a multiple of 11?
True
Let u be (-21)/(-4) - (-1)/(-4). Suppose 3*f + u*y = 125, -y - 2*y + 129 = 3*f. Suppose -3*a - 2*q + 50 = 0, -3*a + 7*q + f = 4*q. Is 8 a factor of a?
True
Let q(p) = -p**2 + 13*p - 6. Let f = 14 + -29. Let w = 25 + f. Is 8 a factor of q(w)?
True
Let t(b) = -6*b - 8. Let y be 2/2*6 + 1. Let p(a) = -6*a - 7. Let k(d) = y*p(d) - 6*t(d). Is k(-1) a multiple of 4?
False
Let u = -1 + 3. Let r be (-3)/(-9)*3 + -7. Does 4 divide u*6*(-4)/r?
True
Let i(g) = g**3 + 5*g**2 + g - 3. Does 24 divide i(3)?
True
Suppose -2333 = r + 1220. Is 25 a factor of (-2)/(-8) + r/(-44)?
False
Let r(k) = -3*k - 6. Let j be r(-8). Suppose 10*d = 12*d - j. Is 3 a factor of d?
True
Let i(p) = p**3 + 8*p**2 + 7*p + 1. Let k be i(-7). Suppose -w = v - k, -3*v + 15 = -4*v - 5*w. Suppose 7 = 2*s + 17, -v*s - 61 = -2*u. Is 7 a factor of u?
False
Suppose 0 = 5*n + 5*m + 15, -n - 4*m + 3 = 15. Suppose 0 = -n*p + 2*p - 62. Does 11 divide p?
False
Let t(o) be the third derivative of -o**6/120 + o**5/12 + o**4/24 - 2*o**3/3 + 3*o**2. Suppose z = w - 6, -2*w = -6*w - 5*z + 6. Is t(w) a multiple of 6?
False
Let r be 4/18 - 349/(-9). Let m(p) = -p**2 - 6*p + 7. Let j be m(-5). Let u = r - j. Does 12 divide u?
False
Suppose -3*o + 2*z = -0*o - 135, -2*z = 4*o - 166. Is 15 a factor of o?
False
Suppose 0 = -8*h + 5*h - 285. Let d = 137 + h. Is d a multiple of 14?
True
Suppose 0 = 4*c - 15 + 3. Is -30*(7/(-2) + c) a multiple of 7?
False
Suppose -2*l = -16 + 2. Let a(c) = -l*c - 2 - 3 - 6. Is a(-9) a multiple of 20?
False
Let p = 63 + -36. Is p a multiple of 3?
True
Let k(x) = x**3 + 8*x**2 + 3*x - 4. Is k(-5) a multiple of 14?
True
Suppose 4*h - 46 + 10 = 0. Suppose -o - 3 = -h. Is o a multiple of 3?
True
Suppose -5*i - 3*z + 809 = 0, i - 60 = 2*z + 94. Is i a multiple of 11?
False
Let a(f) = -103*f + 1. Let b be a(-3). Suppose 0 = -j + 5*j - 2*y - 254, -5*j = -y - b. Is j a multiple of 22?
False
Suppose -6 = -5*j + 24. Is j a multiple of 6?
True
Suppose p = -2*u + 12, -3*p - 2*u + 16 = -0*u. Suppose -p*z = -0*z - 10. Suppose 2*g - z*g = -78. Does 13 divide g?
True
Let a(u) = -u**2 - 4*u - 5. Let h be a(-5). Let y(o) = o**2 + 4*o - 10. Does 25 divide y(h)?
True
Suppose 0 = -8*k + 10*k - 6. Is 3 a factor of k?
True
Let y = 26 + -10. Is 4 a factor of y?
True
Is 10 a factor of (-4)/30 + 1024/30?
False
Suppose x + 8 = 2*s + 2*x, -s + 10 = 2*x. Suppose -4*y = 4*a - 4, 1 = 3*y + s*y + a. Suppose -3*o + 0*o = y, -5*n = 4*o - 30. Does 6 divide n?
True
Suppose 3*v - 47 = 4*g, -2 + 7 = 5*g. Suppose 3*a = 2*w - 48, 57 = 3*w - 4*a - v. Does 15 divide w?
True
Let z(u) = u**3 + 8*u**2 + u - 1. Let f be z(-8). Let j be (-95)/(-4) - f/(-12). Suppose -3*d + 20 = 4*l - 17, -2*l - 3*d = -j. Is 7 a factor of l?
True
Let f = 54 - 40. Does 2 divide f?
True
Suppose 0 = -q - 6 - 0. Let m be (-5)/(q/5 + 1). Suppose -o - 17 = -c, -2*c - 2*o = -o - m. Is c a multiple of 14?
True
Let y = -217 - -376. Does 13 divide y?
False
Suppose 0 = 3*s - s - 76. Let u = -25 + s. Does 13 divide u?
True
Let v = -85 + 122. Does 16 divide v?
False
Let n be 2/10 + 19/5. Suppose 3*f + n = -4*p - 1, 3*p = -2*f - 5. Suppose -3*u = -f*u + 64. Is u a multiple of 14?
False
Let h = -6 - -8. Suppose 4*n + 131 = -3*m + 22, -h*m - 6 = 0. Let i = n - -44. Does 14 divide i?
False
Let f = 3 + -6. Let d(y) = -3*y - 4. Is d(f) a multiple of 4?
False
Let d(r) = r**3 + 3*r**2 - 3*r + 3. Let x be d(-4). Let l = 9 - x. Let u = -5 + l. Is 5 a factor of u?
True
Suppose 0 = -10*j + 9*j + 52. Is j a multiple of 26?
True
Let p(w) be the third derivative of w**7/1008 - w**6/120 - w**5/15 + 3*w**2. Let k(m) be the third derivative of p(m). Does 24 divide k(6)?
True
Let v(r) = r - 1. Let a be v(-2). Let g = a + 6. Does 11 divide 68/g + 4/12?
False
Suppose 2*g = 3*g - 106. Suppose