 + 3. Let m be s(-9). Suppose 3*d = 3*p - 87, 0*p + m*p - 4*d - 83 = 0. Does 12 divide p?
False
Is 7 a factor of -118*((36/8)/(-3) + 1)?
False
Suppose 5*z - 4*h - 4 - 2 = 0, 4*h = z - 14. Let u = z + 5. Is u a multiple of 3?
True
Let n = -5 - -5. Let h(i) = i**3 - 2*i - 6 + 5*i**2 + 1 + n*i. Is 10 a factor of h(-4)?
False
Let j(o) = o**2 + 5*o - 9. Let f be j(-8). Suppose b - 42 = -5*a + f, -4*b - 36 = -2*a. Is a a multiple of 4?
True
Let h(n) be the first derivative of -n**3/3 + n**2/2 + 16*n - 1. Does 8 divide h(0)?
True
Let r(d) = d**3 + 9*d**2 - 13*d + 3. Let q be r(-10). Let f = 77 - q. Suppose 4*a = 4*i + f, 4*a - 33 = -2*i + 29. Is a a multiple of 8?
False
Suppose c - 3*i = 3*c, 0 = -4*c + 5*i. Let s = 22 - c. Is s a multiple of 11?
True
Let g(c) = -c**2 - 3*c + 4. Let n be g(-3). Suppose 0*a = -n*a - w + 488, 0 = 3*a - w - 373. Suppose -a = -4*k + 4*v - 51, 3*v - 130 = -5*k. Does 10 divide k?
False
Suppose i + 4*i + 39 = 3*s, -15 = 5*i. Let z be (-4)/(-22) - (-228)/(-44). Let c = s + z. Is c even?
False
Let c(q) = 2*q**2 - q + 2. Let y = 2 - 2. Suppose 2*h = 2*r + 4, 0 = 3*r - h - y*h + 6. Is c(r) a multiple of 11?
False
Suppose g - 9 = -x - 3, 2*x = -4*g + 30. Let b = g + 21. Is b a multiple of 15?
True
Let i = -1 + 1. Let k(u) = u**2 + u + 18. Is 7 a factor of k(i)?
False
Suppose -k - 339 = -4*b, -2*b - 83 = -3*b + 2*k. Suppose 5*q + b = 25. Is 4 a factor of (-1)/(-4) - 105/q?
False
Suppose 1068 = 14*n - 8*n. Does 31 divide n?
False
Let a = 75 - 45. Does 10 divide a?
True
Let j be (-52)/5 + 2/5. Suppose -2*r = -3*v - 6*r + 48, -3*r + 80 = 5*v. Let u = j + v. Is u a multiple of 4?
False
Let s be (2/6)/(1/3). Is s/2 - (-135)/18 a multiple of 4?
True
Suppose -3*v = -6*v + 6. Suppose -4*s = -0*s - 4, -147 = -v*p - 3*s. Is p a multiple of 24?
True
Let a be 4/(-26) + 306/(-39). Let f = 11 + a. Suppose f*i - 51 = -3*o, -4*o + 2 = -0*i + i. Is i a multiple of 6?
False
Let h = -6 - -11. Suppose -h*g + 66 = -94. Is g a multiple of 14?
False
Suppose -3*i = i - 4. Suppose -j - 3 + i = 0. Is 3 a factor of 2 + (j - -2) - -1?
True
Let b(m) = -m - 1. Let l be b(-2). Let s be 1/((-2)/34) + l. Let x = s + 43. Is 15 a factor of x?
False
Suppose -7 - 4 = f. Let i = 17 + f. Is 3 a factor of i?
True
Is 7 a factor of 579/7 + 32/112?
False
Let v(f) = f**2 - 4*f - 6. Let d = -15 - -21. Is v(d) a multiple of 6?
True
Suppose -i + v - 34 = 4, -4*v - 38 = i. Let j = 162 + i. Does 31 divide j?
True
Suppose 3*y - 4*u = 74, -u = 5*y - 0*u - 85. Suppose -y = 3*s - 4*s. Is s a multiple of 10?
False
Let m(s) = 3*s**2 - 3*s + 4. Let q(z) = -4*z**2 + 2*z - 4. Let g(c) = 3*m(c) + 2*q(c). Let u be g(3). Does 7 divide (-108)/(-8) + u/(-4)?
True
Suppose 4*a = j + 227, 5*a + 0*j - 282 = 3*j. Is a a multiple of 20?
False
Let u = -88 - 41. Is 12 a factor of (u/9 - -2)*-3?
False
Let f = -50 + 48. Let u(k) be the third derivative of -k**6/120 + k**5/60 + k**4/24 - k**2. Does 10 divide u(f)?
True
Suppose j - 5*j = -132. Suppose -4*s = j - 105. Is s a multiple of 6?
True
Let a(u) be the second derivative of u**4/12 + u**3/3 - u**2/2 + 4*u. Let c be a(-2). Does 3 divide c/(-1) - 0 - -3?
False
Let h be (-7)/(-35) + (-2)/10. Suppose h = 4*w - 152 - 4. Does 13 divide w?
True
Let t(n) = -n**2 + n - 69. Let b be t(0). Does 7 divide b/(-9) - (-4)/12?
False
Let f(h) be the second derivative of -h**5/20 + 5*h**4/12 - h**3/3 + 3*h**2/2 + 3*h. Let d be f(4). Let l = d + -8. Is 3 a factor of l?
True
Let c(s) = 1 + 4*s + 2 + 0. Does 6 divide c(3)?
False
Suppose -j + 36 - 4 = 3*s, 0 = -4*j - 5*s + 107. Does 14 divide j?
False
Is 13 a factor of -51*(3/2 + 119/(-42))?
False
Suppose 0 = -3*j + 2*j - 4. Let p(h) = h**3 + 7*h**2 + h + 1. Let a be p(j). Suppose q + 9*i - a = 4*i, 5*i = -3*q + 115. Is q a multiple of 13?
False
Let r(b) = b - 4 - 8*b + 0*b**3 + b + 4*b**2 + b**3. Is r(-4) a multiple of 10?
True
Suppose 0 = -3*z + 4*z - 13. Is z a multiple of 5?
False
Let p(u) = 34*u - 1. Let x(l) = 101*l - 3. Let g(i) = 8*p(i) - 3*x(i). Is 15 a factor of g(-2)?
False
Let a(p) be the third derivative of p**4/8 + p**3/6 - 3*p**2. Does 7 divide a(2)?
True
Let r be (9/(-6) + 0)*2. Let u be (-49)/(-4) + r/12. Suppose -27 = v + 5*n - u, v - 30 = 4*n. Is 10 a factor of v?
True
Let b = -159 + 252. Does 8 divide b?
False
Let m be (-4 - -2)/(6/(-9)). Let h = 131 - 69. Suppose 0 = m*j - h - 43. Does 22 divide j?
False
Let m(n) = -n**3 - 7*n**2 - n + 7. Suppose -14 = -0*w + 2*w. Does 14 divide m(w)?
True
Suppose -5*z - 4*d + 29 = 0, 0 = -4*d - 2 + 6. Let r = z - 3. Suppose -4*x = -r*x - 126. Is x a multiple of 23?
False
Let w(z) = -z**3 + 5*z**2 + 4*z - 8. Let h be w(6). Let x = h + 35. Does 6 divide x?
False
Suppose -b = 4*b - 450. Is 18 a factor of b?
True
Let f = 31 + -8. Suppose -5*p + f = -57. Is 6 a factor of p?
False
Let a = -30 + 51. Suppose -54 = -5*r + a. Suppose -w - 1 = -r. Is 7 a factor of w?
True
Let q = -105 - -121. Is q a multiple of 2?
True
Let p(o) = -o + 7. Let s be p(9). Let z(f) = 9*f**2 + f. Is 17 a factor of z(s)?
True
Does 9 divide (1500/(-18))/(-1 - 3/(-9))?
False
Is 11 a factor of (-6 + 10)*(-11)/(-2)?
True
Let u(c) = -c**3 - 4*c**2 + c + 4. Let v be u(-4). Let k(n) = n**2 + 8*n - 7. Let j be k(-9). Does 3 divide (v - -3) + -2 + j?
True
Suppose -2*d = 3*i - 2*i - 44, 0 = -5*d + 2*i + 119. Suppose 3*u - 4*t - 49 = 0, 79 - d = 4*u + 4*t. Let s = u - 4. Is 4 a factor of s?
False
Let c(p) = 2*p**3 + 3*p**2 - 2*p + 3. Suppose -4*d - 2*r + 8 = 0, -4 = -2*d - 0*d + 4*r. Is 8 a factor of c(d)?
False
Suppose 169 = 5*s - 171. Suppose 3*g = -k + s, -16 = -g + k - 3*k. Is g a multiple of 6?
True
Let t be 2/((-2)/(-2)) + 3. Suppose -t*m = -3*m - 8. Is m a multiple of 4?
True
Is 791/4 + 16/64 a multiple of 18?
True
Suppose 0 = 2*j - 5*q - 13 - 1, -3*j + 4*q = -14. Suppose u + u - 14 = 3*m, 2*u - 12 = j*m. Is u even?
True
Let x(c) = -c**3 + 5*c - 4. Let t be x(3). Let h = -10 - t. Is h a multiple of 3?
True
Suppose 5*b - 14 - 6 = 0. Suppose -2*q - 8 = -b*u, u = -0*u + 4. Is 4 a factor of q?
True
Let c(v) = -11*v - 15. Let z(p) = -5*p - 8. Let d(f) = 3*c(f) - 5*z(f). Is d(-5) a multiple of 13?
False
Let x(a) = 11*a - 3. Let d(z) = 23*z - 6. Let v(q) = -4*d(q) + 9*x(q). Does 10 divide v(3)?
False
Let y = 10 - 0. Let d be 86/10 + 4/y. Suppose d*t - 4*t = 110. Is 10 a factor of t?
False
Let g(y) be the third derivative of -y**4/24 + y**3 + y**2. Is 7 a factor of g(-9)?
False
Let l = 11 + -17. Let u be (-2 - (l - 1))*-1. Is ((-160)/(-25))/((-1)/u) a multiple of 15?
False
Let m = -44 - -91. Is m a multiple of 20?
False
Let w be 2 + -2 + 1 + -1. Suppose 177 = 5*s - 4*r, 2*s - 5*s - 3*r + 90 = w. Does 11 divide s?
True
Suppose a + 74 = 4*s - 202, -4*s = 2*a - 288. Suppose p + p = -s. Let y = 77 + p. Is 14 a factor of y?
True
Suppose 2*z - 21 = 11. Is 16 a factor of z?
True
Let x = 144 + -64. Is x a multiple of 27?
False
Let k = 7 - 15. Is (-1 + k)*(-34)/6 a multiple of 22?
False
Let z(l) = l**2 + 6*l - 4. Let h be 5/(15/(-24)) - -1. Is 3 a factor of z(h)?
True
Let n be 10/4 - 1/(-2). Let w(z) = -3*z + 7 + 1 + 0 + 3*z**2 - 10. Is w(n) a multiple of 15?
False
Let r(p) = 18*p + 13. Is r(4) a multiple of 10?
False
Let d = -7 + 13. Let k(s) = -s + 7. Let c be k(9). Let m = d - c. Is 3 a factor of m?
False
Suppose 2*t + 2*t = 168. Let w = t - 14. Is w a multiple of 17?
False
Is (-2)/(-10) + 349/5 a multiple of 26?
False
Suppose -4*w = -0*j + j + 190, 2*w = 3*j - 102. Let l be 0/(-2) + (-6 - 2). Does 17 divide (34/l)/(4/w)?
True
Let x be (-2)/7 - 408/(-7). Suppose o - x = -o. Is 21 a factor of o?
False
Suppose 0 = -0*i - 17*i + 1105. Is i a multiple of 8?
False
Let r(i) = i**3 - 4*i**2 + i. Let j be r(4). Does 11 divide j/5*440/16?
True
Let g(q) = 33*q**2 + q + 1. Is g(-1) a multiple of 11?
True
Let u = 1 - 3. Does 3 divide u/(-7) - 272/(-28)?
False
Let b be (-4)/6 - (-17)/3. Suppose 12 = -t + b*t. Is t even?
False
Does 33 divide (-670)/15*-3 + -2?
True
Suppose 3*k + 47 + 118 = 0. Let b = k + 101. Is 12 a factor of b?
False
Is 14 - (-3)/((-9)/6) a multiple of 6?
True
Suppose 2*l = 86 + 80. Suppose -3*i + 52 = -l. Is 19 a factor of i?
False
Suppose 6 = 3*s + 4*u - 77, -4*u = 2*s - 62. Is s a multiple of 16?
False
Suppose -47 = -2*u - 5*c, -2*c + 8 = 2. Is 16 a factor of u?
True
Let y(z) = z**3 + 7*z**2 + 2*z - 7. 