 t(n) = n**3 + 6*n**2 + 3*n + 5. Let d be t(-6). Let i(w) = -6*w. Let v be i(-3). Let r = v + d. Does 4 divide r?
False
Is 15 + (1/1 - 1) a multiple of 4?
False
Suppose 5*l - 130 = 430. Suppose 5*i - 8 = l. Is i a multiple of 24?
True
Let z(k) = -34*k + 3. Let d be 0 + 6/(-3) - -4. Let u be z(d). Let a = u - -101. Is a a multiple of 18?
True
Let h(k) = -k**3 + 4*k**2 - 5*k + 4. Let j be h(3). Suppose 0 = 4*b - b - 30. Is 10 a factor of b/(-3)*(j - 1)?
True
Let c(n) = n**2 + 2*n + 1. Let l = -5 + -1. Let k be c(l). Suppose -41 = -3*a + k. Does 22 divide a?
True
Let i(q) = -2*q**2 - q**2 - 29*q**3 - q**2 - q + 2*q**2. Is i(-1) a multiple of 7?
True
Suppose -5*t + 295 = 3*w, -3*t - w - 2*w + 177 = 0. Does 20 divide t?
False
Suppose -4*u = -u - 126. Suppose 0 = -4*g + 5*h + u, -2*g = -4*g - 4*h + 8. Does 2 divide g?
True
Suppose 98 = 2*x - 3*j, -5*x + 3*x - 5*j + 130 = 0. Does 4 divide x?
False
Let p be -1*(-1*2 - 4). Let h(l) = l**2 - 2 - p*l + 2*l + 7. Does 10 divide h(5)?
True
Suppose 3*r - 3*z - 96 = 0, 4*r = -3*z + 90 + 73. Is 13 a factor of r?
False
Let g(m) = 14*m**2 + 10*m - 24. Is g(4) a multiple of 20?
True
Let z be ((-1)/(-2))/((-1)/(-10)). Suppose -5*u + 3 + z = 2*a, 5*u = -a + 4. Does 7 divide (u - (-1 - 0)) + 6?
True
Let v(k) = k**3 + 3*k**2 - 6*k - 5. Let j be v(-4). Suppose -4*n - 3*t - 14 = -58, 0 = j*t + 12. Does 6 divide n?
False
Suppose -5*j - 28 = -j. Let w(x) = -x**3 - 7*x**2 - 8*x - 5. Does 17 divide w(j)?
True
Let f be (-1)/(2 + (-63)/31). Let z = 61 - f. Is z a multiple of 19?
False
Let h(i) = i**3 - 7*i**2 + 1. Let f be h(7). Suppose -6 - 6 = 3*c. Does 14 divide c - -50 - (f + -1)?
False
Suppose -j - j = -2*w - 26, 3*j + 3*w = 51. Suppose h + 2*h + j = 0. Is 5 a factor of 3 + h + 11/1?
False
Suppose -1291 = -5*l - 4*x, 4*x + 1040 = 7*l - 3*l. Let c = l - 170. Does 27 divide c?
False
Let v(w) = 16*w**2 - 7*w - 26. Is v(-4) a multiple of 8?
False
Let h = -7 - -143. Does 23 divide h?
False
Suppose 4*z - 27 = m, 5*z + 3*m = -m + 39. Suppose -3*d = -z*d + 84. Is 7 a factor of d?
True
Suppose -3*j - 1 = -4*p, -3*j + 5 = -2*j - 4*p. Let n(o) = o**3 + 2*o**2 - o + 4. Let c be n(j). Is (-17 - (c + 1))*-1 a multiple of 9?
False
Let p(u) = u**2. Let w(t) = -12*t**2 + 26*t + 24. Let g(b) = 4*b**2 - 9*b - 8. Let q(i) = 17*g(i) + 6*w(i). Let s(c) = -3*p(c) - q(c). Is 10 a factor of s(7)?
True
Suppose -3*j + 96 = -j + g, -184 = -4*j + 2*g. Does 25 divide j?
False
Suppose p - 172 = -3*p. Does 11 divide p?
False
Let w(n) = n**2 + 5*n + 3. Suppose -r - 21 = r + g, -2*r + 2*g - 6 = 0. Does 9 divide w(r)?
True
Suppose -3 = q + 7. Let s be ((-12)/q)/((-2)/(-5)). Does 7 divide (6/(-4))/(s/(-36))?
False
Suppose -5*u + 10 = 0, u - 14 = -2*z - u. Suppose 0*q = -z*q + 215. Is q a multiple of 15?
False
Suppose -28*v + 1236 = -24*v. Is 41 a factor of v?
False
Let v(y) be the first derivative of y**3/3 + y**2 + 3*y + 6. Does 8 divide v(-6)?
False
Suppose 0 = 3*y + s + 23, -4*s - 12 = 4*y + 8. Let h = 29 + y. Is 7 a factor of h?
False
Let q(v) = -v**3 + 4*v**2 + 6*v - 4. Let l be 3 + -1 - (-2 + 0). Let b be q(l). Suppose 1 = w - r - 8, b = 4*w + 4*r. Is w a multiple of 5?
False
Is 14 a factor of 10/55 - (-1109)/11?
False
Let t = 21 - 13. Suppose 0 = -4*a - 3*y - 21, a - 2*y + 4*y = -9. Let n = a + t. Does 4 divide n?
False
Suppose 5 + 7 = a. Suppose 2*b - a = -b. Suppose b = 2*v - 4. Does 4 divide v?
True
Let w(b) = -b**2 + 10*b + 5. Suppose -2*f - f + 17 = -2*g, 3*f = -5*g + 52. Does 7 divide w(f)?
True
Let o(d) = d**3 - 5*d**2 + d + 4. Is 9 a factor of o(5)?
True
Let v(u) = 2*u**2 - 13*u + 17. Let t(h) = -h**2 + h - 1. Let y(k) = 3*t(k) + v(k). Is y(-10) a multiple of 5?
False
Let b = -21 + 48. Let s = 123 - b. Suppose s = -2*g + 5*g. Does 13 divide g?
False
Suppose 0 = -w - 3*q - 2 + 1, q - 5 = 0. Is (w/(-5))/((-8)/(-40)) a multiple of 8?
True
Suppose 5*b + 4 = -u - u, -5*u + b + 17 = 0. Let t be (-6 - -2) + u - -1. Suppose t = 4*p - p - 129. Is 19 a factor of p?
False
Suppose 2*u - 6*g = -3*g - 2, -2*u - 2*g + 8 = 0. Let s = 3 + u. Suppose 3*x - 5*r = 24, -4*x + 0*r - s*r - 3 = 0. Is 2 a factor of x?
False
Suppose -4*g + 2*t = g - 138, 0 = 2*g + 5*t - 32. Is g a multiple of 13?
True
Let y = 0 + 0. Let d be 1 + (0 - y) + 0. Let s(q) = 15*q + 1. Is s(d) a multiple of 13?
False
Suppose -3*s + 7*u - 2*u + 191 = 0, -4*s - 2*u = -298. Is 9 a factor of s?
True
Suppose 3*t + 24 + 6 = 0. Does 10 divide ((-27)/9)/(3/t)?
True
Let h = -35 - -67. Does 9 divide h?
False
Suppose -5*t = 5*u - 115, u + 8 = 2*u + 4*t. Let j = 11 + u. Is j a multiple of 13?
True
Does 7 divide (-15)/(-2)*(18 + 12/3)?
False
Does 36 divide (3 - 4)/(-2)*650 - 1?
True
Suppose -q = 3*b - 9, -2*b - 1 = 2*q - 3. Suppose 0*z = 4*n + 3*z - 168, 90 = 2*n + 3*z. Suppose -b*w = -w - n. Is 12 a factor of w?
False
Suppose -a + 79 = -0*g + g, 4*a = g + 321. Suppose 5*k + 0*k - a = 0. Does 6 divide k?
False
Is 13 a factor of 130/6 - 6/(-18)?
False
Let c = 793 - 408. Suppose -4*k - k + c = -2*r, 4*k = 5*r + 325. Is 13 a factor of k?
False
Suppose 2*s + 3*s - 15 = 0. Suppose 10 = s*r - 8*r. Is 14 a factor of 2 + r + 14*1?
True
Let w be 1/((-3)/(6 - 0)). Let g be (w - -1) + (-2)/(-1). Let c(s) = 15*s**3 - s**2 - s + 1. Is c(g) a multiple of 10?
False
Let t = 4 + -1. Suppose q = t*q - 40. Is q a multiple of 10?
True
Let j = -18 + 37. Let c = -3 + j. Does 4 divide c?
True
Let i be (-2)/3*(-21)/2. Let k = i - -9. Suppose -2*f - k = -44. Is f a multiple of 13?
False
Let g(p) = 23*p - 2. Let c be 3 - (1 - (-1 + 1)). Let s be g(c). Is 4 a factor of (s/(-12))/(1/(-3))?
False
Is 5 a factor of 0 - (1 - -1) - -67?
True
Let r = -4 + 8. Let t be 30/(-4)*r/(-5). Let m = 9 - t. Is m a multiple of 2?
False
Let t(m) = m**2 + 9*m + 8. Let c = 4 + -12. Let i be t(c). Let s(u) = u**2 + u + 35. Does 17 divide s(i)?
False
Let f be 2 + (-1)/(3/(-3)). Suppose 0 = f*j - 28 - 38. Is j a multiple of 11?
True
Suppose -q + 5 = -3*b, -5*q + 11 = b - 2*b. Suppose l = -4*l + 85. Suppose z + l = q*z. Is 9 a factor of z?
False
Suppose 4*x = 168 + 24. Is x a multiple of 5?
False
Suppose 4*g - 85 = -5*b, 0*g = -5*b - g + 70. Is 5 a factor of b?
False
Let v(i) = 6*i**2 + 5*i + 2. Is v(-3) a multiple of 21?
False
Let o = -17 - -32. Suppose -n = -3*g - 60 + o, 5*g = n - 55. Is n a multiple of 9?
False
Suppose 3*n = -34 - 236. Let r be (-56)/(-10)*n/12. Does 13 divide (-1 - (1 + -1))*r?
False
Let s = 14 + -9. Suppose s*n - 5 - 7 = -l, -2*l + 50 = -3*n. Is 22 a factor of l?
True
Let r(f) = -4*f**2 + 2*f + 3*f**3 + f**2 - f**3. Let d be r(2). Let y = d - 3. Is 5 a factor of y?
True
Let j = 54 + -24. Is 10 a factor of j?
True
Suppose 2*a + 0 - 24 = -l, -3*l + 5*a = -127. Suppose 0 = -2*g - 2*p + l, 74 - 19 = 3*g + 4*p. Is g a multiple of 13?
True
Let x = 22 + -12. Suppose 2*d - x - 37 = k, -d - 4 = 5*k. Let a = 2 + d. Is 8 a factor of a?
False
Let r = -4 - -4. Suppose r = -5*w + w + 56. Is 14 a factor of w?
True
Let g(a) = -6 + 10*a**2 + 9 + 7 - 9*a**2 - 7*a. Does 9 divide g(8)?
True
Let l = 128 + -58. Is 14 a factor of l?
True
Let h(j) = 3*j + 70. Is 4 a factor of h(-16)?
False
Let g be 3 - (27/3)/3. Suppose g = -4*t + 3*t + 2. Suppose 4*y + 174 = 5*u, 5*y = -t*u + 66 + 30. Is 13 a factor of u?
False
Suppose -5*r + 7 = -3*a - 0, -5*r = a + 9. Let f be (0 + 0)/(r + 0). Does 12 divide 4/(-2) + f - -14?
True
Let g(v) = -111*v**3 + 2*v + 1. Is 11 a factor of g(-1)?
True
Let q(r) = -r**3 + 8*r**2 + 6. Is 28 a factor of q(6)?
False
Suppose -141*v + 356 = -137*v. Is v a multiple of 12?
False
Does 2 divide (2/6)/(6/198)?
False
Let j(k) = 72*k**2 - 2*k + 2. Does 19 divide j(1)?
False
Suppose 0 = -3*z - 9, 3*z + z + 2 = -5*p. Does 12 divide p/(-15) - (-347)/15?
False
Let t = 3 + 0. Suppose v - 16 = -t*m, 8*v + m - 52 = 3*v. Is -1*(-6)/(-3) + v a multiple of 5?
False
Let j(w) = -35*w**2 - w. Let u(p) = 36*p**2 + p. Let r(t) = 3*j(t) + 4*u(t). Does 20 divide r(1)?
True
Let q be ((-22)/8)/(2/8). Let v(f) = f**2 + 10*f - 11. Let d be v(q). Is 19 a factor of (-1 - d) + (0 - -48)?
False
Let c(p) = p**2 + 3*p - 10. Is c(6) a multiple of 16?
False
Let j = 6 + -4. Suppose 88 = -5*p + j*w, 7*p - 4*w = 4*p - 50. Is 4 a factor of p*(-2)/8*2?
False
Suppose o = 113 - 17. Let b = -52 + o. Is 13 a factor of b?
False
Let o be 12/18*30/4. Suppose -l + 3*l = o*v + 1