1. Let f(b) = 27*b**3 - 2*b**2 - 2*b - 2. Let z(s) = 2*f(s) + 3*q(s). Suppose 0 = -2*p + 3 - 5. Is z(p) a multiple of 12?
False
Let s(m) = 4*m + 12. Is s(3) a multiple of 5?
False
Suppose q - 4*c - 26 = 0, 2*q - 3*c - 40 = 2*c. Let z = 24 - q. Is 11 a factor of z?
False
Let v be (-2)/4*-22*-6. Is 19 a factor of (v/9 + 1)*-6?
True
Suppose -z + c = 0, -2*z - 3*c + 20 = -0*c. Suppose -m - 2*u = -4*u - z, 5*m = -5*u + 5. Suppose 5*w - h + 4*h = 159, -3*h + 69 = m*w. Does 15 divide w?
True
Let d(q) = 10*q**2 - 5*q + 7. Does 28 divide d(-3)?
True
Let p = -162 - -40. Let f = p + 86. Let x = f - -66. Is 15 a factor of x?
True
Let j = -5 - -5. Suppose j = 3*w - 5*w. Is (-2)/4*(w - 28) a multiple of 6?
False
Suppose 0 = 2*z - 45 - 59. Does 9 divide z?
False
Suppose -2*t - t + 15 = 3*q, -2*t = 4*q - 8. Let d(v) = v**2 - 5*v - 5. Let i be d(t). Suppose -i = -3*j - 2*w + 22, 4*w - 13 = -3*j. Is 11 a factor of j?
True
Suppose -5*q + 0*q = -325. Does 13 divide q?
True
Suppose -6*g = -g - 10. Suppose g*f - 21 = 2*k - 5, -5*f - 2*k + 61 = 0. Suppose b - 63 = -5*u + f, -58 = -3*u - 4*b. Does 9 divide u?
False
Suppose -7*d + 4*d + 90 = 0. Does 6 divide d?
True
Let c be (-1 - -3 - 2)/(-1). Suppose -d + 3*h = -c*h - 34, 0 = 3*h - 6. Is d a multiple of 23?
False
Let t be 4/(-6)*3/(-2). Is 3 a factor of t - 1 - 1*-7?
False
Let k(s) = 31*s. Let t be k(1). Suppose -20 - 52 = -4*x. Let b = t - x. Does 4 divide b?
False
Let d = -103 + 155. Is 4 a factor of d?
True
Let v = 24 - -38. Is v a multiple of 13?
False
Let c(l) = -8*l - 5. Does 33 divide c(-13)?
True
Suppose -w = -4*l + 372, -5*w - 279 = -5*l + 186. Suppose -l = -3*o + 72. Does 26 divide o?
False
Let b = 4 - 1. Suppose -b + 2 = -i. Is i*(18 + -2 + 1) a multiple of 12?
False
Let k(q) = 2*q + 295. Does 50 divide k(0)?
False
Suppose -s = 3*b - 97, 2*b - s - 70 = -3*s. Let w = b + -7. Is w a multiple of 9?
False
Suppose 6*z = 5*x + z + 5, 5*z = x + 17. Suppose 3*q + 3*v = 92 + 19, -x*v = -4*q + 183. Is q a multiple of 14?
True
Let s = -3 - 1. Let t be ((-6)/s)/(2/132). Suppose -r = 2*r - t. Does 13 divide r?
False
Let v(k) = k**3 + 7*k**2 - 4*k - 8. Does 24 divide v(-6)?
False
Let g(c) = -c. Let d(r) = -r**3 - 6*r**2 - 6*r - 6. Let m be d(-5). Let s be g(m). Is 2 a factor of (s + 2)*1 + 3?
True
Let u(j) = j**3 - 6. Let r be u(0). Let y(v) = v + 8. Is y(r) even?
True
Let l = -12 + 18. Let x(h) be the third derivative of -h**5/60 + 7*h**4/24 + 4*h**3/3 - h**2. Does 7 divide x(l)?
True
Let c(m) = 4*m - 7. Let t = 1 - -7. Does 25 divide c(t)?
True
Let d be 6/(-27)*3*3. Let j = d - -2. Suppose 4*v - 33 = t, 2*t + 2 = -j. Is 3 a factor of v?
False
Suppose o - 14 = -3. Suppose 132 = -4*b - 0*b. Is 15 a factor of (-2)/o + (-501)/b?
True
Let z(r) = -6*r + 30. Is z(-9) a multiple of 12?
True
Let d(r) = 116*r**2 + 7*r + 17. Let k(z) = 58*z**2 + 3*z + 8. Let b(m) = -6*d(m) + 13*k(m). Is b(1) a multiple of 19?
True
Let f(i) = i**3 + 7*i**2 - i + 5. Is 20 a factor of f(-5)?
True
Suppose 3*x = o - 54, 2*o + 2*x - 59 - 41 = 0. Is 12 a factor of o?
False
Let p(a) be the second derivative of -a**4/12 - 13*a**3/6 - 11*a**2/2 + 3*a. Is p(-11) a multiple of 5?
False
Is 45 a factor of (-13)/(39/(-648)) + 1*-4?
False
Suppose 2*j - 7*j + 5*l + 1920 = 0, -5*j - 5*l + 1870 = 0. Let u = j - 149. Suppose 3*f + 4*q = 136, -5*f + u = -0*f + 5*q. Is f a multiple of 24?
True
Let p = -2 + 0. Let k be 13 - ((-18)/3)/p. Suppose -4*u + k = -14. Does 4 divide u?
False
Suppose 0 = -4*m + 2*q - 12 - 18, 30 = -3*m + 3*q. Let b = -3 - m. Suppose -u = -4, -6*i + b*i - u = -60. Does 10 divide i?
False
Let d(x) = 6*x**2 + 3*x. Suppose 2*j = j. Suppose -b - 4*k - 2 = j, 3*k + 3 = -5*b - 7. Does 7 divide d(b)?
False
Suppose 0 = 4*i - 4*a + 42 + 6, -5*a - 90 = 5*i. Let z be 6/i + (-22)/(-5). Suppose -z*s + 145 = s. Is s a multiple of 12?
False
Suppose -2*a + 2*i + 10 = 0, -3*i - 9 = -0*i. Suppose -a*p + 138 = -2*q, 5*q + 201 = 2*p + p. Does 14 divide p?
False
Let b = 18 - -12. Does 3 divide b?
True
Let b = 131 - 75. Is 28 a factor of b?
True
Suppose -2*c = -10, -3*p - 3*c - 9 = -42. Let r = 8 - p. Is r even?
True
Let d(o) = 2*o - 3. Let y be d(7). Suppose -y - 254 = -5*k. Is k a multiple of 14?
False
Let p(a) = 6*a**3 + a**2 - 1. Is 5 a factor of p(2)?
False
Let z be 24 - 3/((-6)/(-4)). Suppose 0 = -4*f + 6*f - z. Is 11 a factor of f?
True
Let m(c) = 3*c**2 - 10*c - 2. Let f be m(5). Let l = f + -20. Is 3 a factor of l?
True
Let x(b) be the third derivative of 23*b**4/24 + 2*b**3/3 - 3*b**2. Does 31 divide x(5)?
False
Suppose -9*f = -5*f + 88. Let p = 2 - f. Is 8 a factor of p?
True
Let i be (-4 + 1)/(-3 + 2). Suppose 4*a + i*h + 4 = 0, 2*h + 1 + 1 = -3*a. Does 7 divide (54/45)/(a/20)?
False
Let x = 5 - 6. Let a(r) = -51*r + 2. Is 14 a factor of a(x)?
False
Let p(f) = f**2 - 47. Let v be p(0). Let b = -117 - -200. Let h = b + v. Is 18 a factor of h?
True
Is 12 a factor of 3*(3 + (0 - 2)) + 93?
True
Let p(x) = x**3 - 7*x**2 + 3*x + 3. Let f be p(7). Is 9 a factor of (-4)/(f/(-9))*12?
True
Let a = 154 - 82. Is a a multiple of 9?
True
Let l(s) = -9*s - 12. Is l(-5) a multiple of 33?
True
Let t = 60 - -96. Does 13 divide t?
True
Let o be 2/(-2)*(-5 - -4). Does 7 divide o + 1/(3/87)?
False
Suppose 4*f + 20 = -4*x, 2*x = 2*f + 2*f + 8. Let b = 0 - f. Suppose b*p - p = 3*z - 41, 3*z = -p + 47. Does 15 divide z?
True
Let b(k) = k - k + 5*k + 2. Let f be b(4). Let v = -4 + f. Does 8 divide v?
False
Let m be (-2)/4*(1 - -13). Let z = m - -9. Does 2 divide z?
True
Suppose -11*t + 10*t = 2. Let s = t + 8. Does 6 divide s?
True
Let v(c) = 5*c + 2. Does 7 divide v(5)?
False
Let f be 930/(-33) - (-2)/11. Let s = f - -52. Is 10 a factor of s?
False
Suppose -t + 6*t - 5*w - 20 = 0, 4*w + 19 = 5*t. Suppose t*z - 2 = p - 1, -p + 2*z = 0. Suppose 0 = p*y + 15 - 43. Is y a multiple of 7?
True
Suppose 2*l = -l - 87. Let a be l*3/(-2 + 3). Is 6 a factor of a/(-15) + (-1)/(-5)?
True
Suppose 2*i - 53 = 19. Does 18 divide i?
True
Let l(h) = h**2 - 11*h - 13. Let v be l(10). Let q = -11 - v. Is q a multiple of 4?
True
Let d(s) = s**2 - 2*s - 7. Is d(-11) a multiple of 34?
True
Let y = 16 - 11. Is y a multiple of 5?
True
Let v(f) = 3*f**2 + 8. Suppose 0 = 3*b - 3 - 15. Let y be v(b). Suppose -2*i + 70 = 2*t + t, 5*t + 4*i - y = 0. Is 24 a factor of t?
True
Suppose -h = -5*h - 3*m + 387, 4*h - 3*m - 381 = 0. Is h a multiple of 12?
True
Is 13 a factor of ((-2)/4)/((25/260)/(-5))?
True
Let z(v) = v**3 + 8*v**2 - v - 6. Let d be z(-8). Is 14 a factor of (13 - -35)*d/4?
False
Let k(m) = 6*m**3 + 9*m**2 - 2*m + 11. Let v(s) = -5*s**3 - 8*s**2 + 2*s - 10. Let l(w) = 4*k(w) + 5*v(w). Is 9 a factor of l(-5)?
True
Let h be (-2)/10 + 4/(-5). Let x(q) = 3*q**2 - q - 1. Is x(h) a multiple of 2?
False
Let h = 3 + 2. Let d = h - -4. Is 10 a factor of 1/1 + 1*d?
True
Suppose -3*c + 5 = -1. Suppose 69 = c*f - 3*h, -f + 19 + 8 = -4*h. Is f a multiple of 13?
True
Let p(l) = l**2 + l + 4. Let a be p(-3). Suppose s - 3*s + a = 0. Let h(g) = g**3 - 6*g**2 + 6*g + 2. Does 5 divide h(s)?
False
Let y(o) = 21*o**2 + o. Let m be y(1). Does 11 divide (m/8)/((-11)/(-44))?
True
Let v(j) = j**3 - 3*j**2 + j - 9. Let f be v(5). Let o = f + -28. Does 9 divide o?
True
Suppose -4*p - 5 = -21. Suppose 5*f + 7 = q - 21, 5*f + 172 = p*q. Is 13 a factor of q?
False
Let c(n) = n**2 + 2*n - 1. Let m be ((-3)/(-6))/(1/(-6)). Let s be c(m). Suppose -s*b = 10 - 36. Is b a multiple of 13?
True
Let x = 10 - 6. Suppose -3*z + n + 147 = 2*n, -x*z + 189 = -n. Is 17 a factor of z?
False
Let l = -84 - -173. Does 16 divide l?
False
Is 5 a factor of (16 + -91)*8/(-5)?
True
Suppose 2*j = -p - 516, 2*j + 5*p = -120 - 380. Let g = -136 - j. Suppose 2*c + 97 = 3*d, 4*d + 2*c - g = 6*c. Does 12 divide d?
False
Let h = 60 + -45. Let l = 14 - 6. Let x = h - l. Is 6 a factor of x?
False
Let t(k) be the first derivative of -k**3/3 + 11*k**2/2 - 13*k + 2. Let p be t(9). Suppose 2*i - 11 - p = 0. Is 7 a factor of i?
False
Let g = 14 - 16. Suppose m - z + 2 = 0, 3*z - 4 = 2*m + 3*m. Let u = m - g. Is 2 a factor of u?
False
Suppose 3*l - 13 = k, -4 = -4*k - l - 17. Let m(r) = r**3 + 5*r**2 + 1. Does 5 divide m(k)?
False
Suppose 464 = 3*k + k. Is k a multiple of 23?
False
Suppose -19 = -2*a - 3*o + 33, 4*o + 24 = 2*a. Does 13 divide (-362)/(-7) + a/7