 x(j) be the third derivative of j**6/120 + 3*j**5/20 + j**4/4 + 5*j**3/3 + 3*j**2. Is x(-7) a multiple of 22?
True
Suppose 4*r - 96 = 2*r. Is 14 a factor of r?
False
Let z(s) = -3 + s**2 + 9*s + 3. Let x(c) = 5*c + 8. Let g be x(-4). Is 12 a factor of z(g)?
True
Let u = 225 - 105. Is u a multiple of 30?
True
Let w(t) = -t**2 + 2*t - 3*t + 4*t + 5. Let y be w(5). Let g = 4 - y. Is 7 a factor of g?
False
Let z(r) = r**3 - 6*r**2 + r + 6. Suppose 2*o - 30 = -3*o. Let d be z(o). Is 13 a factor of d/(-1*(-2)/6)?
False
Let l = -140 + 199. Let o = -42 + l. Does 8 divide o?
False
Let m = 5 + 1. Let q = 5 - m. Does 4 divide (15/12)/(q/(-4))?
False
Let v = -1 + 1. Suppose -276 = -2*x - v*x. Is 14 a factor of 4/10 + x/5?
True
Suppose -13 = j - 37. Is j a multiple of 24?
True
Let o(a) be the first derivative of a**5/10 + a**4/6 + a**3 + 3. Let i(t) be the third derivative of o(t). Is 26 a factor of i(4)?
True
Suppose 4*p - 37 = 43. Let u = -14 + p. Does 2 divide u?
True
Suppose 10*r + r - 132 = 0. Does 4 divide r?
True
Let r = 13 + -9. Suppose -n + 12 = -d - 53, -235 = -r*n - d. Does 12 divide n?
True
Suppose 6*l - 4*l - 12 = 0. Suppose 4*u + 2 + l = 0, -d = u. Let y = d + 7. Does 9 divide y?
True
Let l(p) = p**3 - 5*p**2 - 10*p + 10. Let h(j) = -j**2 + 5*j - 2. Let k be h(5). Let i be 0 + (-2)/k*7. Does 14 divide l(i)?
False
Let i be 4/(-16) - (-6)/(-8). Is (-4)/(100/(-92) - i) a multiple of 14?
False
Let f(k) = k**2 + 2. Let a be f(0). Suppose a*t + t - 165 = 3*x, t = -3*x + 35. Does 25 divide t?
True
Let p(f) = f**3 + 7*f**2 + 6*f + 7. Let w be p(-5). Let t = w + -14. Is t a multiple of 4?
False
Let c(n) = -2*n. Let k be 148/(-18) - (-14)/63. Does 8 divide c(k)?
True
Suppose 4*f + 3*p - 58 = 116, -3*p + 216 = 5*f. Is f a multiple of 9?
False
Let u be 6/(-9)*(0 + 9). Let f be ((-4)/6)/(u/9). Is 10 a factor of ((-46)/((-4)/2))/f?
False
Let n(k) = k**2 + 2*k - 5. Let m be n(-7). Let p = m + -5. Does 11 divide p?
False
Let p = 4 + -6. Let q = 13 - p. Is 15 a factor of (36/q)/((-2)/(-25))?
True
Let d = -44 + 74. Suppose s = 3*x + x + d, -2*s + 30 = 2*x. Does 9 divide s?
True
Let f be (47 - -5)*(-2)/(-8). Let i = 7 + f. Is 10 a factor of i?
True
Let z(u) = -u**3 - 7*u**2 - 5*u + 8. Let x be z(-6). Suppose -y = b - x, -5*b - 14 = y - 2*y. Is y a multiple of 2?
True
Let y(s) = -s**3 - 5*s**2 - 9*s + 9. Does 34 divide y(-7)?
True
Let y(h) = -h**3 + 15*h**2 - 14*h + 10. Suppose -j + 9 + 5 = 0. Is 5 a factor of y(j)?
True
Suppose 4*a - 1767 + 615 = 5*c, -4*c + 576 = 2*a. Is a a multiple of 14?
False
Let l(p) = -p**2 + 12*p + 9. Let f be l(11). Let z be 1/2 + f/(-8). Let t(q) = 2*q**2 - 3*q - 3. Is t(z) a multiple of 4?
False
Suppose 4*h - 2*d = -0*d + 106, -3*d + 37 = h. Is 10 a factor of h?
False
Suppose 3*o = 4*n + 99, 2*n - 14 = -o - 3*n. Is 9 a factor of o?
False
Suppose -3*j + 2*h = -33 - 9, -h = j - 9. Does 4 divide j?
True
Let i be -13 + (-1 - -1 - -1). Let k(l) = -l**2 - 5*l + 7. Let s be k(-6). Let o = s - i. Is 13 a factor of o?
True
Suppose 0 = 4*i - 9 - 7. Suppose 3*o - i*x = 297, -2*o - 5*x + 63 = -135. Is 29 a factor of o?
False
Suppose 3*f = 5 + 1. Suppose q - b = -f + 4, 4*q = -2*b + 2. Suppose -c = -4 + q. Does 2 divide c?
False
Suppose 0*c - 4*c + 160 = 0. Is c a multiple of 40?
True
Let m = 2 - 1. Let i(b) = -2*b. Let v be i(2). Is (v/1)/m*-2 a multiple of 8?
True
Let n be (2/3)/(2/6). Is 11 a factor of (-3 - (1 - n)) + 13?
True
Suppose 2*y = -2*q + 4, 0 = -4*q + 4*y - 3*y + 23. Let s = 12 - q. Is s a multiple of 4?
False
Let w = -2 - 2. Let u(i) = -i**3 - 3*i**2 + 3*i - 5. Let a be u(w). Let k(l) = -8*l**3 + l. Does 7 divide k(a)?
True
Suppose 0*j + 15 = 3*j. Let f(p) = 2*p + p**2 + p - 3*p + 5. Does 15 divide f(j)?
True
Suppose -3*o + 10 = 2*o. Let l = o - 2. Is 21 + (-4 + l - -2) a multiple of 19?
True
Suppose 3*u - 5*l - 7 = -20, -4*l = -5*u. Is (-12 + u)/((-2)/3) a multiple of 4?
True
Let b(v) = -v**3 - 5*v**2 - 5*v - 6. Let u be b(-4). Let h = 0 - u. Suppose -3*o - 26 = -2*i, -34 = -h*i - 0*i - o. Is 12 a factor of i?
False
Let s = -114 - -186. Is s a multiple of 23?
False
Suppose 3*f - 3*i = -i + 24, -4*i + 2 = -f. Let a(j) = 0*j**3 + f - 7*j + 3*j**3 - 2*j**3 - 2*j**3 - 8*j**2. Is a(-7) a multiple of 10?
True
Let n be ((-2)/(2/5))/(-1). Let t(j) = -j + 8. Is 2 a factor of t(n)?
False
Suppose -3*c + 39 = -3*b, -56 = -0*c - 5*c - 4*b. Suppose -p + 0 = 3, 0 = w - 4*p - c. Suppose -s + 9 = -w*s. Is 5 a factor of s?
False
Suppose 4*w + 28 = n, n - 48 = w - 17. Is 12 a factor of n?
False
Does 13 divide (4 - 10)*(3 + -29)?
True
Suppose 0 = -5*z - 4*v + 132, z + 3*z - 104 = -4*v. Is 4 a factor of z?
True
Let q = 1 + -2. Let b be (-1)/(q/(-8)) + 0. Let n = 6 - b. Does 7 divide n?
True
Suppose -2*j - 2*j - 2*l + 30 = 0, 3*l = 15. Suppose 3*q - u + 113 = j*q, q + 4*u = 74. Is q/8 - (-1)/4 a multiple of 7?
True
Suppose 0 = -z - 2, -5*q + 22 = 5*z - 33. Suppose 88 = 5*o + q. Is 15 a factor of o?
True
Let p(m) = m**3 + 10*m**2 + 9*m + 13. Let f(k) = -k**3 + 3*k**2 - 1. Let b be f(2). Suppose -26 = b*l + 1. Is p(l) a multiple of 13?
True
Suppose 4*c - 9*c - 15 = 0. Let q(h) = -18*h - 2. Is 26 a factor of q(c)?
True
Suppose 17 + 10 = 3*l. Does 3 divide l?
True
Let x(w) = -3*w**3 - 3*w**2 + w - 1. Is 10 a factor of x(-3)?
True
Let g(x) = -1. Let m(o) = 3*o - 4. Let n = 3 - 4. Let h(a) = n*m(a) + 3*g(a). Does 10 divide h(-11)?
False
Let i = -1 + 3. Suppose -i*r + 38 = -0*r. Is 16 a factor of r?
False
Let v(h) = h**2 + 2. Let y be v(2). Suppose 4*b - 3*l - 42 = 0, 26 = 3*b - y*l + l. Does 5 divide b?
False
Suppose -6*t + 9 = -3*t. Suppose -1 = t*r - 13. Suppose 16 = r*p - 48. Is 16 a factor of p?
True
Suppose 0 = 5*s - 2*q + 4, 2*s + 3*s = -3*q - 19. Does 4 divide -6*(0/s - 2)?
True
Let k(h) = h**2 - 13*h - 9. Let m be k(10). Is (m - 1)/((-1)/1) a multiple of 20?
True
Is 1 - (11 + -14)/((-1)/(-11)) a multiple of 10?
False
Let v(o) = -7*o + 2. Let t be v(5). Is 17 a factor of 1 - (3 - 3) - t?
True
Let a be 36/21 - 4/(-14). Suppose 5*c + a*n = -12, -c - 5*n + 5 = 12. Is (34/(-3))/(c/3) a multiple of 6?
False
Let z = 150 - 76. Suppose -v = -3*b + 190, 3*b + z = 4*b + 5*v. Is b a multiple of 16?
True
Let w(m) = -m**2 + 12*m - 15. Let a be w(10). Suppose -182 = -a*f + 3*o, 5*f - 116 = f - 5*o. Is f a multiple of 17?
True
Let f(m) = m**3 + 10*m**2 + 9*m + 13. Is 13 a factor of f(-9)?
True
Suppose 0 = -0*b - 2*b + 2*j + 12, -5*b - 4*j + 30 = 0. Let v = b - -6. Is v a multiple of 4?
True
Let w(i) = i**2 - 6*i. Let o be w(8). Suppose -o = -g - 3. Is 5 a factor of g?
False
Let c(r) = 6*r + 3. Is 11 a factor of c(3)?
False
Let g(z) = -73*z**3 + 2*z**2 + 2*z + 1. Let v be g(-1). Suppose 0 = 3*q - 7*d + 3*d - v, -2*d = -2*q + 46. Does 18 divide q?
True
Suppose -2*i - 2*i = 16, 3*l - i + 5 = 0. Is 20 a factor of ((-532)/(-21))/((-2)/l)?
False
Suppose 2*p - 17 = 109. Does 21 divide p?
True
Let j = 14 + 7. Is 15 a factor of j?
False
Suppose 3*h - h - 160 = 0. Is 4 a factor of h?
True
Suppose -9*i + 20 = -4*i. Let u(s) = -2*s - s + i*s + 2. Is 2 a factor of u(5)?
False
Let z = 1 + 1. Let a = -16 - -3. Let j = z - a. Does 8 divide j?
False
Let g(s) = -6*s**2 + 54 - 54 - s**3 - 7*s. Let d be g(-6). Suppose 2*r - d = -0*r. Is 7 a factor of r?
True
Let i(w) = -2*w**3 - 5*w**2 - 2*w. Is i(-4) a multiple of 16?
False
Let g be (-9)/(-6)*(4 - -20). Let y = g - 14. Does 8 divide y?
False
Suppose -39 = -2*j + 23. Suppose -5*m = -89 - j. Is 12 a factor of m?
True
Let s(m) = -6*m - 5. Does 4 divide s(-2)?
False
Is 26 a factor of 1542/15 - -1 - 2/(-10)?
True
Suppose -5*j + 2*n - 3 + 13 = 0, -j = -3*n + 11. Suppose f = j*d - 46, 5*f = -9 - 1. Does 11 divide d?
True
Let t(r) = -r**3 - 6*r**2 - 6*r - 5. Let c be t(-5). Suppose -a + 2 = -c*a. Suppose -174 = -4*q + 3*w - w, a*q = -w + 97. Does 16 divide q?
False
Let z(s) = -7*s**3 - 2*s**2 - 2*s - 1. Let x be (-4 + 1)/3*1. Let k be z(x). Suppose -k = -o - 0. Is o a multiple of 6?
True
Let z(m) = m - 6. Let g be z(9). Suppose -g*t - 104 = -7*t. Is t a multiple of 13?
True
Suppose -o + 6 = 3*s, 3*o + 7 - 3 = 2*s. Suppose o = -3*c + 6*c. Suppose 5*t = 0, 3*a - 5*t - 15 + 6 = c. Is a a multiple of 3?
True
Let w(z) = z**2 - 5 - 5*z + 5*z - 4*z + z. Is w(5) a multiple of 4?
False
Is 248/6 + 56/84 a multiple of 10?
False
Suppose 91 + 29 = 2