(p) = 7*p**3 - 2*p**2 - 2*p + 1. Let f be t(2). Let k = f + -27. Is k a multiple of 6?
True
Let q = 82 + -58. Is 8 a factor of q?
True
Let c be 76 - 8/4*-1. Let k = -6 + 9. Suppose a = -5*u + 7, -3*a + c = -k*u - u. Is a a multiple of 11?
True
Suppose 0*w + 720 = 3*w. Is w a multiple of 30?
True
Let f = 43 - 80. Let k = f - -59. Is 10 a factor of k?
False
Is (1/4)/(9/252) even?
False
Let f be (-3)/(6/2) - -3. Let i = f - 3. Let j(s) = -22*s - 1. Is 14 a factor of j(i)?
False
Let a = 8 + -4. Suppose q + 16 = -5*x, 0 = x - 0 + a. Is (12/2)/(q/2) a multiple of 3?
True
Let c(o) = o**3 - 7*o**2 - 2*o - 3. Let u(l) = -3*l**3 + 15*l**2 + 4*l + 6. Let i(y) = -5*c(y) - 2*u(y). Does 9 divide i(-3)?
False
Is 109/2 - (-1)/(-2) a multiple of 14?
False
Let i = 53 + -24. Suppose 0 = -2*t + 2*p + 70, -2*t + 50 = p - i. Is t a multiple of 26?
False
Let n(u) = 7*u - 5. Let t be (24/10)/(3/10). Let w = t - 4. Does 17 divide n(w)?
False
Suppose 898 + 222 = 5*x. Is x a multiple of 28?
True
Suppose -2*v + 8 = 2*v + 4*a, -5*v - 2*a + 19 = 0. Suppose -4*b + 9 = 1. Is 55/v - b/2 a multiple of 10?
True
Suppose -7*w - 56 = -3*w - 4*a, -14 = w + a. Let q = w + 51. Is q a multiple of 16?
False
Let v(r) = 3*r. Does 3 divide v(3)?
True
Is (96/(-10))/(4/(-20)) a multiple of 17?
False
Suppose -1 = 4*g - 9. Let q be (g/4)/(2/12). Suppose -4*n = 5*w - 233, -125 = -q*w + 5*n - 0*n. Is 20 a factor of w?
False
Let c be 12/18 - (-812)/6. Suppose -2*v - 4*m + 152 = 0, 3*m = -4*v + 143 + c. Suppose v = 3*i - 27. Is i a multiple of 11?
False
Suppose -5 = -2*w + 5. Suppose -w*t - 7 = -122. Is t a multiple of 8?
False
Let r = 13 - 23. Let s be ((-8)/r)/2*-10. Is s*13*1/(-2) a multiple of 13?
True
Let i(h) = -h**3 - 6*h**2 - 2*h - 6. Let g be 2/(-3) + 64/(-12). Is i(g) a multiple of 6?
True
Let q = -34 + 49. Let h = 49 - q. Is 16 a factor of h?
False
Let m = 53 - -213. Is m a multiple of 9?
False
Let g(o) = o + 4. Let r be g(0). Suppose 0 = -r*w - 4*y, 2*w + 0*w + 3*y + 5 = 0. Suppose 0*h = 3*s + 3*h - 27, -s = w*h - 29. Is 3 a factor of s?
False
Let g(a) = -a**3 + 6*a**2. Let u be g(6). Is 14 a factor of (4 - u) + 58 + -7?
False
Suppose 2*b - 78 = x + x, -37 = -b + 2*x. Let a = 69 - b. Does 28 divide a?
True
Let f be 63/13 + (-4)/(-26). Suppose -f*x + 89 - 34 = 0. Is 11 a factor of x?
True
Let m be 6/(-8) + 66/24. Let f = m - -69. Suppose -2*a = -5*p - f, 154 = 4*a - a + 2*p. Does 24 divide a?
True
Suppose 3*v = -9, -2*o - 3*v + 19 = -8. Does 7 divide o?
False
Let b(i) = i**3 - 7*i**2 - 7*i - 7. Let y(s) = -5*s**3 + 36*s**2 + 34*s + 35. Let c(j) = 11*b(j) + 2*y(j). Does 14 divide c(7)?
True
Let a(v) = -v**2 + 10*v + 11. Let d be a(8). Let u = -3 + d. Is u a multiple of 12?
True
Suppose 0 = -3*v + 4 + 2. Let n be (-3)/((-1)/(v/3)). Is 15 a factor of (-1)/(-2) - (-29)/n?
True
Suppose -21 = -0*i - 3*i. Suppose 2*p = i - 1. Is 3 a factor of p?
True
Let j(d) = 4*d + 14 - 8*d + 3*d. Is 7 a factor of j(7)?
True
Suppose -5*j = -93 - 42. Is j a multiple of 2?
False
Suppose -5*m + 747 = -2*m. Does 23 divide m?
False
Let l be (-486)/14 + (-12)/42. Let t = -20 - l. Does 4 divide t?
False
Let f be 1*8 + 3 + -1. Suppose 0 = 5*d - f*d + 165. Does 11 divide d?
True
Suppose 5*v - 26 - 11 = -4*r, v = r + 2. Let c be 0/(4 + -1) - v. Is (-5)/c + (0 - -22) a multiple of 9?
False
Is 138 + (-1 - (-5 + 8)) a multiple of 20?
False
Suppose -n + 38 = 4*h, 4*n + 69 = 2*h + 257. Is n a multiple of 20?
False
Suppose 0 = 2*t + 2 - 6. Is 2 a factor of t?
True
Suppose 3*d = -d. Suppose d = -4*f + 3*f + 16. Suppose 3*x - u - 79 = -2*x, 0 = -4*u - f. Is 6 a factor of x?
False
Let f(b) = b**2 - 8*b - 1. Is 26 a factor of f(-7)?
True
Let k = 9 + 3. Suppose 3*i + a = 6, -5*i = 3*a - 2*a - k. Is 3 a factor of i?
True
Let g be ((-1)/2)/1*-2. Does 15 divide g/(-3) + 363/9?
False
Suppose j = -7*j - 352. Let g = j + 74. Is 7 a factor of g?
False
Is 14 a factor of (-394)/(-9) + (-2)/(-9)?
False
Let i be (1 - -10) + -2 + 1. Let k be (3/(-15))/((-2)/i). Is 8 a factor of 1*(k/(-1) - -20)?
False
Let y = 91 + 26. Is y a multiple of 11?
False
Suppose -4*j + 15 = -329. Is 13 a factor of j?
False
Let z(d) be the second derivative of -d**4/12 - 4*d**3/3 + d. Let l be z(-8). Suppose -4*i - a + 18 = l, -3*a + 2*a = -2. Is i even?
True
Does 2 divide 2/(1 - (-65)/(-75))?
False
Let z(b) = -b**2 + 13*b + 16. Let h = 18 + -8. Is 12 a factor of z(h)?
False
Let w be 6/9*(-18)/(-4). Let y(l) = -3 - 2*l**3 + 6*l + l**w + 7 + 5*l**2 - 2*l. Is y(5) a multiple of 9?
False
Let o be 10/(-15) + (-6)/(-9). Suppose 2*y - 18 - 22 = o. Is y a multiple of 7?
False
Is ((-2)/4)/(7/(-742)) a multiple of 22?
False
Let q(w) = -10*w - 4. Let v = 11 + -6. Let p be q(v). Is 18 a factor of (1*4)/((-12)/p)?
True
Let t = 8 + -8. Suppose 2*s + 12 = -t*s. Let u(w) = -w**2 - 7*w + 7. Does 13 divide u(s)?
True
Suppose -q - 239 = -4*v, -8*v + 292 = -3*v + q. Is 4 a factor of v?
False
Suppose 3*k + r = 95, -3*k = 3*r - 9 - 78. Is 33 a factor of k?
True
Suppose -3*y = -5*t - 7 + 16, -4*y = -2*t + 12. Let o = 9 + y. Is (24/(-16))/(o/(-40)) a multiple of 10?
True
Let w(b) be the first derivative of 7*b**2/2 - 4*b - 1. Does 8 divide w(3)?
False
Is 10 a factor of -37*(-2)/((-4)/(-2))?
False
Let h(x) = 43*x**2 + 2*x - 1. Let f(n) = n**3 - 8*n**2 + 5. Let p be f(8). Suppose -5*w + 0 = 3*a + 1, -p = -w + 2*a. Does 22 divide h(w)?
True
Let a(w) = -w**3 + 2*w**2 + w. Let p be a(-1). Suppose p*g + s - 30 = 0, -3*g + 5*s + 65 = 7. Suppose 5*y + 3*v - 50 = -g, 3*v + 38 = 4*y. Is y a multiple of 8?
True
Let f be ((-14)/(-35))/(2/30). Let r be (-9)/f + 1/(-2). Is 15 a factor of r + 0 - 33/(-1)?
False
Let d(z) = -z**3 + 7*z**2 - 3*z + 7. Is 5 a factor of d(6)?
True
Is 8 a factor of (-20)/80 + 194/8?
True
Let c(d) = -21*d + 5. Does 15 divide c(-4)?
False
Let d = 8 - 6. Suppose -4*o = 2*g + d, -g + 0*g = -o + 13. Let z = 49 + g. Is 20 a factor of z?
True
Let i be -2*((-9)/2)/1. Suppose 0 = 5*a - 5*y - 90, 3*y + 9 + i = a. Is 6 a factor of a?
True
Let b(i) = 4*i**2 - 1. Let r be b(-1). Suppose -3*s - 3*x = -9, 0*x + r*x - 6 = 0. Let a = 56 + s. Is 24 a factor of a?
False
Let y be (-16)/(0 + (0 - 2)). Is 6 a factor of y/10*105/6?
False
Let i(s) = -s**2 + 6*s + 5. Let q be i(6). Suppose -n + 2*v + 22 = -37, -q*v - 224 = -4*n. Is 13 a factor of n?
False
Is 5*(-10)/(-25) - -7 a multiple of 6?
False
Suppose -4*r + 4*h = 0, -2*h = 2*r + r - 15. Suppose 5*l - 160 = -2*s + 4*s, r*l - 362 = 5*s. Is ((-3)/(-2) - 2)*s a multiple of 12?
False
Let t(v) = -v + 4. Let h be t(3). Suppose h = 2*w + 3. Is 7 a factor of (-4 - 3/1)/w?
True
Let j be (-10)/45 - 83/(-9). Let u be 0*((-21)/j - -2). Suppose v - 2*a = u, -v + 2*v + a = 6. Is 4 a factor of v?
True
Let d(t) = t**2 - 5*t - 4. Let k be d(6). Let h be k*2/8*112. Is (6 + -3)*-1 + h a multiple of 23?
False
Does 3 divide 6/2*(-175)/(-15)?
False
Let v = 64 - 25. Is 7 a factor of v?
False
Let o = 217 + -121. Does 16 divide o?
True
Let a(v) = -5*v + 3 + 1 - 2. Let x(g) = -g**3 + 12*g**2 + 14*g - 17. Let k be x(13). Is a(k) a multiple of 11?
True
Let h be 5/2*12/(-2). Let q = h - -33. Is q a multiple of 6?
True
Suppose 2*r - 5*j + 62 = 264, j = -4*r + 448. Let i be 239/(-3) + 8/12. Let w = r + i. Is w a multiple of 16?
True
Let v = -1 + 2. Let s = v - -8. Is s a multiple of 9?
True
Suppose -20*l - 16 = -22*l. Suppose 3*z + 39 = o + l*z, -5*o = 3*z - 129. Does 12 divide o?
True
Suppose 4*a = -5*j + 775, 4*j = -a + 2*a + 641. Does 17 divide j?
False
Does 8 divide 2*((-35)/(-4) - 1/4)?
False
Suppose 8*b + 6 = 6. Let z = -4 + 7. Suppose b = -4*t - 5*h + 172, z*t + h = 4*h + 102. Does 19 divide t?
True
Let o(g) be the third derivative of g**4/12 + 5*g**3/6 - 3*g**2. Let y be o(4). Let u(t) = 3*t + 7. Does 23 divide u(y)?
True
Let d(g) = g**3 + 9*g**2 + 7*g - 4. Let b be 3/(-9) - 46/6. Let c be d(b). Is 34/4 - 2/c a multiple of 4?
True
Suppose 4*d - 8 = 0, k - 4*d = 4*k - 53. Suppose 4*v = -5*y + 12, -3*y = y - v - 18. Let r = k + y. Is 15 a factor of r?
False
Suppose -343 + 49 = -3*p. Is 14 a factor of p?
True
Let v = 15 - -5. Is (-48)/v*20/(-6) a multiple of 8?
True
Let s be 0/(-3) + -2 - -3. Does 19 divide ((-28)/(-21))/(s/24)?
False
Let o be 0*(-3 - -2) + -1. Let m be 1 + (2 + 2 - o). Does 17 divide m/(-27) + 598/18?
False
Suppose -13*x + 8*x + 10 = 0. Suppose -5