3*p**2 + 3. Is 60 a factor of g(3)?
True
Suppose -3*f = 2*w - 128 - 541, 3*f + 4*w - 675 = 0. Is 13 a factor of f?
True
Suppose 120 = 3*i - 0*i. Is i a multiple of 5?
True
Let h(t) be the third derivative of t**5/60 + t**4/24 - 3*t**3/2 - 2*t**2. Let a be h(7). Suppose 3*f - 8*f + 50 = -w, -2*f + a = 5*w. Is f a multiple of 11?
True
Suppose 4*o = 5*x - 19, -8 = -4*x - 4*o - 0. Suppose 8 = 4*p - 0. Suppose 159 = 4*h + x*y + 19, -72 = -p*h - y. Is h a multiple of 19?
True
Suppose -l + 1 = -2. Suppose l*c + 5*n - 5 = 56, 2*n + 38 = 4*c. Does 12 divide c?
True
Suppose -i - 3*z + 22 = 7, 5*i = -3*z + 135. Let c = i + -21. Is c a multiple of 7?
False
Suppose -324*n + 323*n + 48 = 0. Does 12 divide n?
True
Let i = -47 + 79. Does 3 divide i?
False
Is 32 a factor of (-1 + 381/6)*2 + 3?
True
Let f(m) = -2*m**3 - 5*m**2 - 4 + 3*m + 0 + m**3. Is 7 a factor of f(-6)?
True
Suppose -5*m - p = -188, 4*m - 2*p + 95 = 251. Is 7 a factor of m?
False
Suppose -2*g + 2*z + 0*z = -132, -g + 66 = -4*z. Does 11 divide g?
True
Suppose 5*t + 115 - 280 = 0. Does 10 divide t?
False
Suppose 0 = -8*z + 214 + 10. Is 7 a factor of z?
True
Suppose 3*x = 3*o - 24, -3*x = -o + 4*o. Does 4 divide o?
True
Suppose 4*b - b = 51. Let n = 27 + -15. Let t = b - n. Is 4 a factor of t?
False
Let h(y) = y**2 - 16*y + 17. Let f be h(15). Is ((-1)/f)/((-7)/336) a multiple of 12?
True
Let k(v) = v**3 - 2*v**2 - v. Suppose -4*n - 19 = -r, -r + 5*n = -5*r - 8. Let o be k(r). Is (45/o)/((-3)/(-8)) a multiple of 10?
True
Let f(y) = -y - 3. Let k be f(-3). Suppose k*n - 95 = -5*n. Does 11 divide n?
False
Let i(p) = 2*p - 8. Let v be i(6). Let g = -11 + v. Let j = g - -12. Does 5 divide j?
True
Suppose -5*s + 6*s = 2. Suppose -2*r - s = 2*z - 6, 2*z + 3*r - 3 = 0. Is 1 - z - (1 + -25) a multiple of 9?
False
Let w = -3 - -1. Is 1/(2*w/(-48)) a multiple of 12?
True
Let u(f) = f**2 - 5*f + 6. Let k be u(4). Suppose 0 = 3*w + k*d + 2, -2*d + 2 = -2*w + 4. Suppose w = -0*y - 2*y + 4, 8 = j + y. Is j a multiple of 6?
True
Let t be (5 + -6)/(2/(-30)). Suppose -19*r + 84 = -t*r. Is 13 a factor of r?
False
Let f = 21 + -9. Is f a multiple of 6?
True
Suppose 6*a - 8 = 4*a + 2*x, 26 = 4*a + x. Suppose k = -3*r + 10, 2*r + 3*k = k + 12. Suppose -a*n = -r*n + 16, -4*b + n = -16. Is b a multiple of 3?
True
Let r be 246/30 - (-2)/(-10). Let i(l) = l**3 - 8*l**2 - 3*l + 4. Let g be i(r). Let z = 2 - g. Is 22 a factor of z?
True
Suppose 0 = -5*n + 2*f + 145, 0 = 2*n - 3*n + 3*f + 42. Is 27 a factor of n?
True
Let j(l) = 14*l - 8. Let i be j(6). Suppose t = 3*t - 3*u - 72, 5*u + i = 2*t. Is t a multiple of 11?
True
Let t(j) = -j**2 - 6*j - 3. Let l be 9/3 + 3 + 2. Suppose -3*u = w - l*u - 21, -3*w + 3*u + 3 = 0. Does 2 divide t(w)?
False
Suppose 2*l + 20 + 22 = -3*r, 0 = 3*l + 4*r + 64. Does 14 divide l/(-3)*7/2?
True
Suppose 2*o = 2 + 2. Suppose 0 = r + 4, -o*t + 36 = 4*r - 0*r. Suppose -2*b + 84 = t. Does 10 divide b?
False
Suppose 0 = -2*r - 5 + 25. Let u be r/(-3) + 2/6. Does 7 divide 16 + 1/1 + u?
True
Suppose -12*h - 225 = -15*h. Is h a multiple of 25?
True
Suppose 0 = 5*t + 2*x - 252, -25 = 2*t - 5*x - 149. Let m = -37 + t. Does 5 divide 144/m - 2/(-5)?
True
Suppose 0 = 4*g + j - 3*j - 76, -2*g + 5*j + 54 = 0. Is g even?
False
Suppose 2*o - 20 = 124. Does 24 divide o?
True
Let o(t) = t - 2. Let l be o(2). Suppose l*r = r - 17. Is 9 a factor of r?
False
Suppose 5*b - 63 - 97 = 0. Suppose b = 5*i - 163. Is i a multiple of 13?
True
Suppose -3*l + 106 = 1. Suppose -m + 5*b - 3 = -0*b, -l = -3*m + 4*b. Is m a multiple of 17?
True
Suppose 13 = 2*z + 5*i, -z - 4*z + 2*i - 11 = 0. Is (4*z)/(-6 + 4) even?
True
Let n = -30 + 57. Is n a multiple of 9?
True
Suppose -4*i + 320 = 3*n, -6*n + 2*n - 431 = -5*i. Is i a multiple of 9?
False
Suppose -33 = -39*u + 36*u. Does 6 divide u?
False
Let b(d) = -d**2 + 6*d + 7. Let x be b(5). Let n(k) = -5*k**3 + x*k**2 - 12*k**2 + 2 + 3*k. Is n(-2) a multiple of 15?
False
Let j = 15 + -21. Let u = 26 - j. Is u a multiple of 16?
True
Is 18 a factor of (-15)/(-3) - 2 - -15?
True
Let y(o) = -3*o**3 - o**2 + o - 1. Let t be (-48)/(-28) + 2/7. Let n be y(t). Is -3 + n/(-3) - -2 a multiple of 3?
False
Let l = -15 + 27. Is 10 a factor of 12/(-5)*(-160)/l?
False
Let k = 317 - 57. Is k/30 + 2/6 a multiple of 2?
False
Let s = 1 - 2. Let x = s + 4. Suppose -4*k = -13 - x. Is 4 a factor of k?
True
Let c = 11 + -5. Let r be 3/c*(-4)/2. Is 2 a factor of 54/30 - r/5?
True
Suppose -j - 8*j + 135 = 0. Does 2 divide j?
False
Does 22 divide (-260)/(-12) - (-2)/6?
True
Let w(u) = u**2 + 7*u + 1. Let r be w(-3). Let p = 14 - r. Is 10 a factor of p?
False
Is 11 a factor of (4/(-8))/(2/3)*-44?
True
Let k = 5 + -2. Let q = 14 + -8. Suppose k*d - 48 = -q. Is d a multiple of 10?
False
Let t = -17 + 59. Is t a multiple of 7?
True
Suppose -10 = -5*a, -3*h - 5*a + 23 = -167. Let f = 119 - h. Does 28 divide f?
False
Let a(u) = 1 + 2*u + u**2 - 2*u - 2*u. Does 15 divide a(-3)?
False
Suppose 0 = -3*s + 6*s + 4*z - 115, 0 = -4*z - 8. Is 9 a factor of s?
False
Let w(k) = -k**3 + k**2 - 2*k - 4. Is 3 a factor of w(-2)?
True
Let l be (4 + -2)/1 + 38. Suppose -4*t + 5*z = 72, -5*t - 2*z - 50 - l = 0. Let k = 30 + t. Does 12 divide k?
True
Suppose -3*o + 5*o - 15 = q, -o + 10 = -q. Suppose -o*i + 83 + 67 = 0. Is i a multiple of 15?
True
Suppose 0 = c - 2*p - 5, -4*c + 5*p = -12 - 8. Suppose -2*t = -t + c. Is -4*2*t/4 a multiple of 10?
True
Suppose 14 = 4*p + 2*z + z, -4*p - z = -18. Is p a multiple of 5?
True
Let q(y) = y**3 - 3*y**2 - 3*y - 4. Let d be q(4). Suppose 2*s + d*v - 122 = 3*v, 4*s - 5*v = 246. Suppose -44 - s = -3*c. Is 18 a factor of c?
True
Let m = -87 - -149. Is 18 a factor of m?
False
Suppose 0 = 2*g - g - 2. Suppose 0 = -i - g*i + 15. Is 4 a factor of i?
False
Suppose 0 = -4*a + 9*a. Suppose 5*i - 4*i - 55 = a. Is i a multiple of 20?
False
Let m = -31 + 57. Is 13 a factor of m?
True
Let x(o) be the first derivative of -o**2/2 + 3*o + 3. Let k(q) = -q**3 - 6*q**2 + q + 6. Let d be k(-6). Is x(d) a multiple of 3?
True
Suppose -45 = 5*w - 2*v, 3*v - 4*v + 9 = -w. Let a be (-66)/w*3/2. Suppose -4*k + a = 5*o, -11 - 4 = -3*k + 3*o. Is 4 a factor of k?
True
Let b(c) = c**3 - 7*c**2 - 9*c + 11. Let v be b(8). Suppose 0 = -3*s + 4*l + 103, 3*s + 4 - 100 = -v*l. Is s a multiple of 9?
False
Is (-6)/10 - (-174)/15 a multiple of 11?
True
Let i = 142 - 85. Is 7 a factor of i?
False
Is 4 a factor of (44/8)/((-1)/(-2))?
False
Let z(u) = 9*u**2 + 2*u + 1. Let g be z(-1). Let i = 2 + g. Does 5 divide i?
True
Suppose 0 = 2*d + 2 - 6. Suppose 4 = b + d. Suppose -g = -5*o - 0*o - 1, 10 = b*o. Is 12 a factor of g?
False
Suppose 202 = -2*r - 22. Let m be r/(-20) + 6/(-10). Let w = m + -1. Is 2 a factor of w?
True
Suppose n + 3*g - 31 = -0*g, 4*n - 169 = 3*g. Does 10 divide n?
True
Let x = 5 - 1. Suppose -5*r - 1 = x. Is (r + 0)/(7/(-105)) a multiple of 15?
True
Suppose 0 = -u - 2*u + 9. Suppose -3*s = -u*w - w + 77, -5*w = -3*s - 97. Does 10 divide w?
True
Let h(z) = -z**3 + 9*z**2 + 2*z - 5. Suppose 4*j = 1 - 61. Let t = -6 - j. Is 11 a factor of h(t)?
False
Suppose 0 = 2*s - 2*i + 16, -2*i = s + 14 - 3. Let b = s + -12. Is 13 a factor of b*(0 - 1) + 2?
False
Let t = 6 - -1. Suppose -2*n + 64 = 2*n + 4*y, 2*n - 3*y = t. Let m = 32 - n. Is 11 a factor of m?
False
Suppose -3*m - 1 = -7. Let k = 3 + m. Is 5 a factor of k?
True
Suppose -10*p = -3970 + 940. Does 30 divide p?
False
Suppose -330 = -0*w + 5*w. Let x be (1 - 0) + w/(-3). Suppose 8 + x = t. Is t a multiple of 14?
False
Let o be -1*-15*(-2 - 0). Let f = o - -15. Let c = f - -37. Is 11 a factor of c?
True
Let l = 27 + 0. Suppose 0*o - 2*o + 90 = 0. Let i = o - l. Is i a multiple of 6?
True
Suppose -c - c + 22 = -5*b, -2*c = 5*b - 42. Suppose -d = d + c. Let k(f) = -f - 6. Is 2 a factor of k(d)?
True
Let t(l) = 2*l**2 - 6*l + 6. Is 14 a factor of t(4)?
True
Let d(w) = -w**3 - 8*w**2 + 8*w - 3. Let m be d(-9). Suppose -k - 90 = -m*k. Is k a multiple of 9?
True
Let p = 487 + -237. Is p a multiple of 32?
False
Let j = 4 - 3. Let n be ((-31)/3 - j)*-12. Suppose -4*g = -4*d - n, -g + 143 = 3*g + 3*d. Is 17 a factor of g?
False
Let a(y) = y**3 + 4*y**2 - 5*y + 3. Let j be a(-5). Suppose -q + 2 = -j. Suppose 3*d = 7 + q. Is 4 a factor of d?
True
Let x(s) = -2*s - 5. Let i 