*j - 6. Let u be n(5). Let b = p - u. Is 8 a factor of b?
True
Let j(h) = -11*h**3 - h**2 + h. Let a be j(1). Let g = a - -15. Suppose g*s - 34 = 2*s. Is s a multiple of 6?
False
Let f(u) = -10 + 22 + 5*u - 3*u - 9. Let z be (-32)/(-6) + (-1)/3. Is f(z) a multiple of 13?
True
Suppose 0 = -0*d + 7*d - 259. Is 6 a factor of d?
False
Let h = 383 - 257. Is 9 a factor of h?
True
Let x(b) = -8*b + 11. Let v(u) = -4*u + 3*u + 5*u - 6. Let d(m) = 7*v(m) + 4*x(m). Is 6 a factor of d(-2)?
False
Suppose o = 4*a + 222, -4*o + 52 = 2*a - 782. Does 14 divide o?
True
Suppose 0 = -6*k - 88 + 370. Is 10 a factor of k?
False
Suppose -8*r + 78 + 18 = 0. Does 11 divide r?
False
Let y(z) = -3*z**3 - 3*z**2 - 3*z - 1. Let v be y(-1). Suppose 2*b - 19 = 3*h + v*h, -h = 5*b - 7. Is b even?
True
Suppose 315 = 2*x + 3*x. Let b = x - 39. Suppose 3*n = 3*k + 6*n - 24, -n = 5*k - b. Is k a multiple of 2?
True
Suppose -5*f + 17 - 257 = 0. Let k = -34 - f. Does 7 divide k?
True
Let c = 2 + 2. Let q(m) = m**2 - 3*m. Does 4 divide q(c)?
True
Let a(r) = 16*r - 6*r + 6 - 15 - r**2. Is 5 a factor of a(7)?
False
Let q(b) = -6*b - 7. Suppose -4*s = 8, 0 = -2*c + 3*s + s - 2. Let y be q(c). Let w = y + -13. Does 10 divide w?
True
Suppose 253 = 4*d - 147. Is d a multiple of 50?
True
Let s be (-2)/(-9) + 122/18. Let h = s + 20. Is h a multiple of 9?
True
Let k be (-4)/5*(-5)/2. Suppose 2*o = 5*h - 0*h - 1, -k*o + 3*h + 1 = 0. Is 12 a factor of 24 - 4 - (1 + o)?
False
Let f(q) = 10*q**2 + 2*q - 2. Let d = -5 - -5. Let z = d - 2. Is f(z) a multiple of 17?
True
Is 13 a factor of (-59 - -26)*(-13)/3?
True
Let w(g) = -g**3 - 6*g**2 - g - 2. Let l be w(-6). Suppose k - l*k = -5*n + 24, 4*k - 8 = 0. Suppose 48 = 3*x + n. Does 5 divide x?
False
Suppose -5*r - 15 = -f, -f - 2*f - 5*r = 15. Let u(x) be the second derivative of x**5/20 + x**3/6 + 17*x**2 - 2*x. Does 17 divide u(f)?
True
Suppose 3*j - 19 = j - 5*d, 5*d = 15. Suppose 0 = j*h - 61 + 9. Is h a multiple of 9?
False
Is -40*-2*(-1 + (-3)/(-2)) a multiple of 6?
False
Is 2 a factor of 11/2 + 4/(-8)?
False
Let o be (18/4)/((-2)/(-4)). Suppose 2*s - 3*t = 12, 7 = 2*s - 5*t - o. Suppose -s*b - 5 = -131. Is 14 a factor of b?
True
Suppose i = -0*i + 2, 6 = o - 5*i. Let q = o + 23. Suppose 3*s = -p + 39, 5*s = 2*s + 2*p + q. Does 6 divide s?
False
Suppose 4*t = -4*t + 696. Is t a multiple of 32?
False
Let u(k) = -3*k**3 + 10*k + 5. Let a(i) = 4*i**3 - i**2 - 10*i - 5. Let c(s) = 2*a(s) + 3*u(s). Let r be c(-7). Suppose 6*f - r = f. Does 15 divide f?
False
Suppose 0 = 5*x - x - 60. Suppose s = -4*k + 15, -8*s = 2*k - 3*s + x. Suppose -4*f + 7*f - c - 25 = 0, 45 = k*f - 5*c. Is 8 a factor of f?
True
Let x(z) be the first derivative of -7*z + 1/3*z**3 + 3/2*z**2 + 3. Does 2 divide x(-5)?
False
Let r be (4/8)/((-1)/(-8)). Let v be (-2)/r + 5/10. Let h(d) = d**3 + d**2 - d + 9. Does 9 divide h(v)?
True
Suppose 101 = -4*n - 127. Let a = -34 - n. Let i = 53 - a. Is i a multiple of 15?
True
Let j(h) = -76*h. Suppose 5*v + 3 = -2. Does 23 divide j(v)?
False
Suppose -2*p = 2*q - p - 35, -31 = -q + 4*p. Suppose -5*s + q = -31. Is 6 a factor of s?
False
Let r(u) = 4*u**3 + 0 - 5*u - 4 + 4*u**2 - 3*u**3. Suppose 2 + 4 = -2*w. Does 10 divide r(w)?
True
Let k = 115 + -80. Is 5 a factor of k?
True
Suppose 188 + 185 = d - 5*s, d = -5*s + 383. Does 7 divide 1/(3*3/d)?
True
Let g(c) = c - 3. Let r be g(5). Suppose -17 = -r*f + 5*z, f - 2*z - 10 = -0*z. Does 16 divide f?
True
Suppose 0 = -4*w + 6*w - 66. Is w a multiple of 11?
True
Suppose -5*v - 3*y + 1014 = 0, -6*y = -5*v - 2*y + 1028. Let p = v + -144. Is p a multiple of 30?
True
Let s(h) = h + 9. Let l be s(-5). Suppose -36 = -0*c + l*c. Does 6 divide c/(-2)*12/9?
True
Suppose -81 = 2*i - 459. Is i a multiple of 27?
True
Let r(u) be the third derivative of -u**7/840 - u**6/45 - u**5/120 - u**3/3 + 2*u**2. Let z(d) be the first derivative of r(d). Is 8 a factor of z(-8)?
True
Suppose 0*v + 5 = v, 3*r + 5*v = 28. Let f be -6 - (-3 - (r + -2)). Let x(g) = -g**3 - 4*g**2 - 3*g - 5. Does 4 divide x(f)?
False
Let i(m) = -m**2 + 10*m + 9. Let c be i(8). Let w = 5 + c. Is 15 a factor of w?
True
Let q(x) = x - 10. Let y be q(0). Let s be -10 + 10 - 5*y. Suppose -2*r + 4*o + s = -2, 3*r - 28 = -4*o. Does 11 divide r?
False
Let s(h) = -h**3 - 5*h**2 - 2*h - 8. Is 15 a factor of s(-6)?
False
Let t be 4/10 + 36/10. Suppose d - 4*u = -4, -3*u = d + u - t. Let l = d - -3. Is 3 a factor of l?
True
Let m = -14 - -56. Does 14 divide m?
True
Suppose r + o = 7, -5*o = -5*r - 22 + 7. Let f be (r/(-2))/(1/(-12)). Is f/(-20) - (-83)/5 a multiple of 8?
True
Let x(v) = -v. Let d be x(-3). Suppose 307 = 5*h + p, -2*h - 14 + 142 = d*p. Does 16 divide h?
False
Is (133/21)/(3/9) a multiple of 2?
False
Let b = 32 + -7. Is b a multiple of 8?
False
Let b(f) = -f**2 + 8*f - 6. Let j be b(5). Let p(u) = -u**3 + 9*u**2 + 12. Is 9 a factor of p(j)?
False
Let x = -6 + 8. Does 9 divide 11 - (8/x - 2)?
True
Let q(j) = 5*j**2 - 4*j - 9. Suppose 0 = -3*g + g - 2*t - 20, 3*t + 24 = -2*g. Let i be q(g). Suppose 5*v = i - 0. Is 15 a factor of v?
False
Let a be (6/(-10))/(6/(-30)). Suppose -c = l + 3*c - 4, 54 = 4*l - a*c. Is l a multiple of 6?
True
Suppose -f = -0*f. Suppose -w + 12 + 46 = f. Does 17 divide w?
False
Let s be -18*(2 + -1 + -3). Does 6 divide (s/(-42))/(2/(-14))?
True
Let j = 7 + -7. Suppose -3*u = -5*w - 45, j = 2*u - 4*w - 3 - 27. Is 15 a factor of u?
True
Suppose 8*s = 1065 - 385. Is s a multiple of 5?
True
Suppose -66 - 186 = -3*z. Is z a multiple of 13?
False
Suppose -2*t + 5*d + 140 = 0, -t + 0*t - 4*d = -57. Is t a multiple of 27?
False
Suppose -3*s + 25 = -5*t + s, 0 = s. Let k = 21 + t. Suppose -z + k = 3*z. Is z a multiple of 4?
True
Let h = -20 + -17. Let y = h + 63. Is 11 a factor of y?
False
Is (3 - 3) + (0 - -19) a multiple of 19?
True
Suppose n + 2*q - 13 = 0, -2 + 25 = 5*n - 4*q. Let f(i) = -5*i**2 + n*i**2 + 4*i + 3 - 11. Does 14 divide f(-6)?
False
Suppose -5*g + k + 916 = 0, -3*g - 2*k + 556 = -k. Is g a multiple of 46?
True
Let t be -5*(-1 - (-1)/5). Suppose 0 = -5*s - 4*c - 8, t*c + 8 = -0*s + s. Suppose s = -5*m + 183 - 33. Is 12 a factor of m?
False
Suppose -4*f - 5*c + 625 = 188, -f = 2*c - 110. Does 9 divide f?
True
Let k(f) = f**2 - 5*f - 3. Suppose -16 = 7*i - 3*i. Let s(d) = -d**3 - 3*d**2 + 5*d + 1. Let j be s(i). Is k(j) a multiple of 13?
False
Let q(m) = -m**2 + 13*m + 16. Let b be q(14). Is 4 a factor of 9 + (0 - -3) + b?
False
Suppose 0 = 6*l - 4*l + 2*g - 2, -4*l = g - 4. Does 6 divide 9 - (-2)/(-2)*l?
False
Let g(w) = -w**3 - 10*w**2 + 2*w - 4. Let l be g(-10). Let i = -6 - l. Does 9 divide i?
True
Let f be (6/(-12))/((-1)/70). Let l = -62 - -125. Let j = l - f. Does 13 divide j?
False
Suppose -4*c + 144 = -3*y, -2*c - c - 2*y + 125 = 0. Let i be 5 + 1 - (-6)/(-3). Suppose 3*p + c = i*f - 5, -4*f - 5*p + 44 = 0. Is 5 a factor of f?
False
Let g(l) be the third derivative of -l**6/120 - l**5/10 + 7*l**3/6 - 3*l**2. Is 5 a factor of g(-6)?
False
Let k(z) = -z**3 - 6*z**2 + 7*z + 6. Let o be k(-7). Is 2 - (-5)/(10/o) a multiple of 5?
True
Let l(z) = -z**3 - 3*z**2 + 15*z + 2. Is 8 a factor of l(-6)?
False
Suppose 4*f + 2*m = -50, 21 + 1 = -2*f + 2*m. Let n(s) = 2*s**3 - s**2 - s - 2. Let b be n(-2). Let w = f - b. Is w a multiple of 5?
False
Let u = -40 - -80. Is u a multiple of 9?
False
Suppose 4*d - 4 - 24 = 0. Does 5 divide d/(-14) + 62/4?
True
Suppose -4*g + 10 = g, -3*g = 5*y - 11. Let h be y - (-2)/(-6)*0. Is 10 a factor of (-1)/1 + 15*h?
False
Suppose -1121 = -5*o + 4*l, -2*l + 2 = -0. Is o a multiple of 25?
True
Let x = 11 + -8. Suppose 2*m = -4*t - 7 + 5, -3*m - 9 = x*t. Is 2 a factor of t?
True
Let z be 1*(-2 + 1)*0. Let q = -4 - z. Is 2 + q*1 - -36 a multiple of 17?
True
Suppose -10 + 2 = -4*v. Suppose -v*z = -34 - 16. Does 13 divide z?
False
Let q(f) = f**2 + 0*f**2 - 37*f**3 + 7*f**3 + 2*f + 1. Is q(-1) a multiple of 15?
True
Let f = 11 + -6. Suppose f*n - 18 = 2. Suppose 2*z - 2*x - 88 = 0, n*z + 3*x - 166 = -25. Is z a multiple of 11?
False
Let n(w) = w**2 + w + 2. Let r be n(-2). Suppose 17 = r*m - 3. Is 5 a factor of m?
True
Suppose 4*v - 8*v = -756. Let c = v - 124. Is 24 a factor of c?
False
Let m(j) = 7*j - 1. Suppose -5*l - 17 = 3*p - 0, -p + 1 = -5*l. Let x be m(l). Let b(k) = -k