 t(v) = v**3 + 24*v**2 - 76. Does 16 divide t(-23)?
False
Is 6/3 + -9 + (-3 - -832) a multiple of 5?
False
Suppose c - 3*w + 46 = -9, 4*c - 4*w = -228. Let i be 8/12 - 380/3. Let v = c - i. Is 25 a factor of v?
False
Let l(t) = -t**3 - 15*t**2 + t + 6. Let u be l(-15). Let f(a) = -15*a**3 + 2*a**2 + a. Let n be f(-1). Let c = u + n. Is c a multiple of 7?
True
Let g = 101 + -96. Suppose 0 = -6*p + g*p + 100. Is 11 a factor of p?
False
Suppose -1146 = -3*k - t + 3637, 4*k = -2*t + 6380. Is k a multiple of 20?
False
Let q(l) = -5*l - 4. Suppose 0 = -6*g - 6 - 12. Is q(g) a multiple of 7?
False
Suppose -a + 10 = -3*i, -2*a + 22 = a - 5*i. Let z = 13 + -8. Suppose z*k - 4*g = -0*k + 288, -a*g - 120 = -2*k. Does 14 divide k?
True
Suppose -2*y + 22 = b + 3*y, 4*b = -4*y + 24. Suppose -b*q - 5*r - 123 = -5*q, -6 = 2*r. Is 18 a factor of q?
True
Let q(h) = -h**2 + 12*h - 1. Suppose -60 = -0*d - 4*d + 4*n, n + 5 = 0. Is 5 a factor of q(d)?
False
Let z(b) = -7*b**3 + b**2 - 11*b**3 + 4 - 1 - 4*b**2. Is z(-2) a multiple of 15?
True
Suppose -2 = -3*u + 4*u. Let h be -7*(-2)/(-2) - u. Does 10 divide ((-6)/h)/(16/280)?
False
Let d(f) = -172*f - 4. Let l be (-35)/28 - 1/(-4). Is d(l) a multiple of 21?
True
Let b(q) = 56*q**3. Is 8 a factor of b(2)?
True
Is 60 a factor of (73 + -1)/((-6)/(-40))?
True
Let r(j) = -j**2 + 7*j + 16. Let p(g) = -4*g - 5. Suppose -4*m - 10 = 2*f, -f - 2*f - 4*m - 13 = 0. Let w be p(f). Is r(w) a multiple of 16?
True
Suppose 5*q - 16 = 2*o + 16, 0 = -4*o + 16. Let z = 42 + q. Let p = z + 20. Is 17 a factor of p?
False
Let g = 819 - -225. Does 28 divide g?
False
Suppose -17 = -13*s + 9. Suppose 6 = -s*u + 222. Does 27 divide u?
True
Let y be 0 + -4 + -2 + -12. Let i = 1 - y. Is i a multiple of 4?
False
Suppose -z - 4*n + 490 = n, 3*n + 450 = z. Let j = -315 + z. Is j a multiple of 15?
True
Let o be (-5 + 7)/((-4)/78). Let i = o - -65. Is i a multiple of 3?
False
Let y(i) be the first derivative of 11*i**4/4 - i**3 + i**2/2 + 18. Does 13 divide y(2)?
True
Let l = 1213 - 349. Suppose 5*w + l = 13*w. Is w a multiple of 24?
False
Let f = -234 + 302. Is 14 a factor of f?
False
Suppose -5*q - 9 + 24 = 0. Suppose -a = q*a - 348. Is 19 a factor of a?
False
Let c(r) = -r**2 - 11*r. Let w be c(-10). Let b = -8 + w. Suppose -2 + 1 = -b*y - 3*a, -34 = -5*y + 3*a. Does 2 divide y?
False
Let k(u) = 29*u - 123. Is k(16) a multiple of 66?
False
Let u = -167 + 280. Suppose q - 2*r + 7*r - u = 0, -643 = -5*q + r. Suppose 5*d - 120 = 5*o, 5*o = -4*d + q - 5. Does 11 divide d?
False
Let q(s) = s**3 + 23*s**2 + 18*s - 8. Does 46 divide q(-21)?
False
Suppose 4*b - 7*b + 4*z = -791, -2*z = -4*b + 1068. Is b a multiple of 27?
False
Let k = -1 + 7. Suppose -3*c = -0*c - k. Suppose 0 = c*v + 2*a - 20, 3*v = -2*v + 2*a + 78. Is 3 a factor of v?
False
Let x(h) be the first derivative of 2*h**3/3 + h**2/2 + 18*h - 2. Is x(0) a multiple of 5?
False
Let w(i) = -26*i + 31. Let r be w(20). Let c = -287 - r. Is 16 a factor of c?
False
Let k(x) = -x**3 - 4*x**2 - 4*x - 2. Let y be k(-4). Suppose -c + 11 = -y. Suppose 2*s + 3*s = c. Is 2 a factor of s?
False
Suppose -5*q - 3*u + 62 = 0, 6*u = 3*u + 12. Is q a multiple of 4?
False
Let v = 9 - 28. Let i = v - -21. Let k = 17 - i. Is 5 a factor of k?
True
Let n(i) = -4*i**2 + 2*i - 2. Let l be n(2). Let x = 36 - -17. Let w = l + x. Is w a multiple of 13?
True
Suppose -2060 = -9*a + 2800. Is 54 a factor of a?
True
Suppose 0 = -4*y - m + 3 + 5, -3*y - 2*m = -11. Is 101 + -8 + y/(-1) a multiple of 17?
False
Let y(h) = 402*h - 148. Is y(3) a multiple of 48?
False
Let i(g) be the second derivative of -g**3/6 - 9*g**2/2 + 9*g. Let s be i(-4). Let a = s - -13. Is a even?
True
Let r(t) = -2*t**3 + 2*t**2 - 2*t - 1. Let k be r(2). Let b = 40 + k. Is b a multiple of 9?
True
Let x = 26 - 24. Is 16 - 3/((-3)/x) a multiple of 6?
True
Suppose 0 = -5*r + 8*r - 561. Suppose r = 4*w + 563. Let b = 160 + w. Is 22 a factor of b?
True
Suppose 469 + 2507 = 2*d. Is d a multiple of 31?
True
Let p = -4 + 12. Let n be p/36 - 169/(-9). Suppose -2*r + n + 1 = 0. Does 10 divide r?
True
Suppose -2*s + 105 = 2*h - 377, -5*h = -2*s + 503. Is 27 a factor of s?
False
Let k(v) = -60*v - 37. Let t be 2*((-27)/6 + 2). Does 19 divide k(t)?
False
Suppose -2*v = -5*q + 139 + 93, 3*q = v + 139. Is ((-6)/33 - 6/(-33)) + q a multiple of 13?
False
Suppose 1 = 3*t - 2*t. Suppose 0 = -2*f - t - 3, 0 = -3*z - f + 220. Is 3/(z/(-20) - -4) even?
True
Suppose -2*l = -3*k - 0*l, -3*k - 5*l - 21 = 0. Let w(x) = -x**3 + 11*x**2 - 16*x - 4. Let s be w(9). Let j = s + k. Is 6 a factor of j?
True
Let g(z) = 0 + 5 + 2 + 10*z. Let d(y) = -40*y - 27. Let i(w) = -2*d(w) - 9*g(w). Is 9 a factor of i(-5)?
False
Suppose 3*o = 7*o - 3*w - 951, 4*o + 5*w - 975 = 0. Is 24 a factor of o?
True
Let z(b) = 16*b - 83. Does 16 divide z(12)?
False
Let v(d) = d**2 + 5*d - 6. Let q be v(-6). Is ((-79)/(-1))/(q - -1) a multiple of 11?
False
Suppose 4*k - u - 19 = 0, 4 = k + 4*u + 12. Let x = 17 + -5. Let p = x - k. Does 8 divide p?
True
Let k be (28/(-8))/((-2)/4). Let s(l) = -8*l + 5*l - 4 - k*l. Is s(-5) a multiple of 16?
False
Suppose -2*n + 12 = -n - 2*c, -2*c = 4*n + 2. Let h be (n/(-2))/((-1)/(-55)). Is (17/5)/((-11)/h) a multiple of 17?
True
Let c(w) be the third derivative of -w**6/120 + w**5/20 + 5*w**4/24 + w**3/6 + 5*w**2. Let x be c(4). Suppose x*t - 212 = 48. Is 15 a factor of t?
False
Suppose -3*f + o = -6*f + 16, 0 = 3*o + 15. Suppose -f*m - 7*m + 238 = 0. Is 6 a factor of m?
False
Let y(u) = u + 71. Does 2 divide y(-14)?
False
Let r be (-1)/(1/45) - 0. Let a = -5 - r. Does 10 divide a?
True
Let y be (2496/(-182))/(2/91). Is (y/91)/(2/(-42)) a multiple of 12?
True
Suppose 0*u + 60 = -u. Let z be (-580)/435 + (-248)/3. Is 14 a factor of z/(-10)*u/(-9)?
True
Let p(g) = -133*g - 4. Let i be p(-1). Let t = 228 - i. Does 12 divide t?
False
Let b(l) = -l**3 + 4*l**2 + 5*l + 16. Let m be b(9). Let w = m + 642. Is w a multiple of 23?
False
Let h be -8*((4 - -9) + 4) - -1. Let l = h - -216. Does 9 divide l?
True
Let c(p) = -p**2 + 10*p. Let k be c(6). Is 26 a factor of 158/8*7 - k/96?
False
Let z(l) = l**2 - 11*l + 2*l + 5*l. Let j be z(5). Suppose -3*n + j*n = 16. Does 8 divide n?
True
Let a(j) = 180*j - 178*j + 52*j**2 - 4 + 2. Is 12 a factor of a(1)?
False
Let s(c) = -2*c**3 - 4*c**2 + 14*c + 146. Is 11 a factor of s(-8)?
False
Let z(h) be the third derivative of h**5/5 - h**4/12 - h**3 - h**2 - h. Is 3 a factor of z(3)?
True
Let u be ((-51)/(-6))/(4/280). Suppose u = 3*m + 2*m + 3*p, -2*p = -m + 106. Is 13 a factor of m?
False
Let o(c) = 15*c**2 + 10*c + 18. Does 9 divide o(-2)?
False
Suppose 0 = -16*o + 20*o + 8. Is (o + 0)*(-97)/2 a multiple of 15?
False
Let i = 178 + -106. Suppose -9*q + 4*q + 530 = 5*l, 0 = -2*q + 5*l + 198. Let w = q - i. Does 21 divide w?
False
Suppose -7*o + 695 = -2273. Is 34 a factor of o?
False
Suppose -2352 = 300*w - 307*w. Does 16 divide w?
True
Is (208 - -19) + -9*(-8)/12 a multiple of 12?
False
Let u(q) be the third derivative of -11*q**5/60 + 3*q**3/2 + 3*q**2. Let m(t) be the first derivative of u(t). Does 8 divide m(-2)?
False
Suppose 0 = 3*a - 2*a - 43. Is a a multiple of 7?
False
Let g be 2/(-1)*(-6)/(-12). Let w be 3 - (0 - -2) - g. Suppose 7*m - 90 = w*m. Is 3 a factor of m?
True
Suppose 45*x = -10*x + 35035. Is x a multiple of 9?
False
Let c = 456 + -183. Does 13 divide c?
True
Let s = 1571 + 579. Is 86 a factor of s?
True
Suppose -4*p + x + 1384 = 0, 165 - 1561 = -4*p + 4*x. Does 25 divide p?
False
Let o = -68 - 64. Let q = o - -232. Is 10 a factor of q?
True
Suppose -3*n - 37 = -4*b, -b + 0 = 2. Let t be 3/(n/(-365))*-3. Let p = t + 334. Does 31 divide p?
False
Does 8 divide (-34545)/(-94)*(-2)/(-3)?
False
Suppose 0 = q + 2, 0*r + 2*r + 5*q = 2. Let d be (r/3)/(1/8). Does 17 divide -2*(-188)/d*2?
False
Let n be (8/(-3))/((-12)/126). Suppose -n - 17 = -d. Is d a multiple of 9?
True
Suppose 5*m = -3 + 13. Suppose -m = -5*n + 3, 5*r + n = 161. Let g = r + 64. Is g a multiple of 31?
False
Let i be (20/(-15))/((-4)/6). Suppose 5*v - 2*y = 3*y + 645, 266 = i*v + 2*y. Does 17 divide v?
False
Let m be (-2)/(-9) - (-26824)/63. Suppose 4*c + 138 = m. Suppose -u = 3*u - c. Does 5 divide u?
False
Let u = -4261 + 6090. Is u a multiple of 77?
False
Suppos