. Let o(v) = v**3 - 4*v**2 - 9*v - 9. Is o(d) a multiple of 21?
False
Let w = 18 - 16. Suppose -w*l = -3*l + 7. Does 5 divide l?
False
Let v(j) = 11*j - 31 - j + 0*j + 3*j. Does 23 divide v(13)?
True
Suppose -7886 - 2530 = -31*l. Is 16 a factor of l?
True
Suppose -w + 5 = 0, -2*r - 4*w - w + 31 = 0. Suppose 0 = -r*x + 4*l - 4 + 48, -5*l + 5 = 0. Is x a multiple of 4?
True
Let t(a) = -8*a - 9. Let g be t(-1). Is 15 a factor of (-43)/((-1)/(g - -2))?
False
Let j(u) = 16*u - 14. Let s be j(5). Suppose -s = -2*y - 36. Does 15 divide y?
True
Let b(j) = j + 6. Suppose -33 = 5*q - 3. Let k be b(q). Suppose k = 9*y - 5*y - 32. Is y a multiple of 4?
True
Let p = -44 + 63. Let r = -50 - -47. Let k = p - r. Does 8 divide k?
False
Suppose -4*l - 22 = -j, -4 = 2*j - l + 5*l. Suppose j*y + 346 = 8*y. Is y a multiple of 11?
False
Suppose 0 = -2*m + 6*m + 4. Let y be 3 - m - (-14)/(-2). Is 15 a factor of (-16)/24 + (-47)/y?
True
Let o = 247 + -52. Is o a multiple of 13?
True
Let u(q) = -8 + 2*q + 2*q**3 + 3*q**3 + 4. Let c be u(3). Suppose -6*o + o + 2*v = -c, -4*v - 4 = 0. Does 21 divide o?
False
Suppose 2*x - 65 + 69 = 0. Does 13 divide (-67)/(1*(x - 2/(-2)))?
False
Let c(p) = 2*p - 15. Let a be c(7). Let n be 42 - (a - -2)*-1. Let d = -27 + n. Does 16 divide d?
True
Let i(a) = -2 - 6*a - 2*a - 2*a. Suppose -11 = 7*f + 10. Is 14 a factor of i(f)?
True
Let w(l) = -l**2 - 9*l - 4. Let v be w(-8). Suppose v = 5*q + 19. Let c = q - -11. Is 4 a factor of c?
True
Let h = 4 - 1. Suppose -3*q = t + 18, h*t = q + q - 10. Does 7 divide (t/4 - 2)*-2?
True
Let i(t) = -t**2 + 14*t + 13. Suppose 2*z + 5*p = -26, -6*z = -z - 4*p - 1. Let x be 11*z*(-3)/9. Does 18 divide i(x)?
False
Let y(p) = -12*p**3 - 5*p**2 - 2*p + 5. Is y(-2) even?
False
Suppose -4*a = 4*q - 16, 9 = 4*a + 5*q - 3. Suppose 14 = -n + a*n. Suppose -n*t - 32 = -4*t. Is 4 a factor of t?
True
Suppose -1043 = 5*c - 108. Let i = 341 + c. Does 10 divide i?
False
Suppose 4*b - 5*g = 1659, -9*b + 2*g = -14*b + 2049. Is b a multiple of 55?
False
Let a = 27 - 6. Let o be (-9 - 4)*-1*1. Let p = a - o. Does 8 divide p?
True
Let f(l) = -8*l + 13. Let b be f(1). Is (1 - 0)/(b/(-5))*-91 a multiple of 14?
False
Suppose -6*o + 3*o = 6. Let d(r) = 12*r**2 - 2*r - 2. Is d(o) a multiple of 46?
False
Suppose -29 - 11 = -5*m. Suppose -m*q + 4*q + 12 = 0. Is q*88/(-12)*-1 a multiple of 11?
True
Let z(a) = -a**3 - 7*a**2 + 7*a - 6. Let i be z(-8). Suppose 4*s = s. Suppose s*k - i*k = -90. Does 8 divide k?
False
Is 69 a factor of (2 - -25)*(6 + 86)/4?
True
Let p = -1244 - -2045. Does 6 divide p?
False
Suppose h + 158 - 473 = 0. Suppose -22*u + 2519 = -5159. Suppose -8*v = -h - u. Does 25 divide v?
False
Let d be 3/(-5) + (-222)/30 + 8. Let v = 20 + d. Does 5 divide v?
True
Let d be (-2)/(-5) - (-18)/5. Let i be (-6)/4 - ((-3)/2)/1. Suppose i = -d*w + 172 - 60. Does 14 divide w?
True
Let r(w) = w**2 + 2. Let c be r(4). Is (96 - 1) + (19 - c) a multiple of 32?
True
Let u = 602 - -512. Is u a multiple of 16?
False
Let k = -70 + 79. Suppose k*j - 8*j = 156. Is j a multiple of 26?
True
Let k = 329 + -229. Is (-3)/2 - k/(-8) a multiple of 2?
False
Let h(a) = -a**3 - 67*a**2 + 133*a - 135. Does 30 divide h(-69)?
True
Let v = 13 - -18. Let j = v + -10. Is j a multiple of 2?
False
Suppose 1 + 1 = 2*t. Let u = 20 + t. Let p = 1 + u. Does 22 divide p?
True
Let b(n) be the second derivative of n**4/6 + n**3/2 + 2*n. Let c be b(-5). Suppose -3*l + 3*d + 45 = 0, -3*l - 3*d + c = -4*d. Is 2 a factor of l?
True
Let f be 1*53*10/5. Let s = f + -58. Is s a multiple of 8?
True
Let r(q) = 20*q**2 - 25*q**2 + 59*q**2 - q + 51*q**2 + 1. Is r(1) a multiple of 35?
True
Suppose -550 + 94 = -19*o. Is o a multiple of 6?
True
Let k be ((-6)/3 - -1)*(-176 + 1). Let f = k - 45. Is f a multiple of 13?
True
Let t = 18 - 16. Suppose n - 5 = 2*w + t*w, -3*w = 0. Let f(q) = 4*q + 1. Is f(n) a multiple of 10?
False
Suppose 125*y - 2106 = 119*y. Is y a multiple of 9?
True
Let h(v) be the third derivative of 7*v**4/24 - 5*v**3/2 - 6*v**2. Is 10 a factor of h(15)?
True
Let b(v) = -225*v + 514. Is b(-4) a multiple of 54?
False
Suppose -5*j + 1 = 51. Let o be 4/j - 3438/30. Let y = -82 - o. Is y a multiple of 11?
True
Let p = 1 + 19. Let a = 31 + p. Is a a multiple of 20?
False
Let h = 81 - 51. Suppose 10*v = 5*v + h. Suppose -z + 5*b = -2, -32 = z - v*z + 3*b. Is 7 a factor of z?
True
Suppose 0*r - 6 = -3*r. Let z(a) = 2 - 3*a - 3 - a - 4*a**3 - 4*a**2 + r. Does 24 divide z(-3)?
False
Let t(j) = -j**3 - 5*j**2 - 3*j + 1. Let p be t(-3). Let n = 10 - p. Is 9 a factor of n?
True
Let h be ((-6)/(-4))/(3/6). Suppose 2*m - z = 5, -h*m + 3*z = -1 - 14. Suppose m = -j + 7 + 2. Is 8 a factor of j?
False
Let k = -69 - -244. Does 9 divide k?
False
Let i = 694 - 461. Does 27 divide i?
False
Suppose -3*u + 12 = 0, -61 = b + u - 155. Does 11 divide b?
False
Let d(m) = -5*m**2 + 9*m - 20. Let v(i) = -6*i**2 + 9*i - 21. Let l(g) = 5*d(g) - 4*v(g). Let y be l(7). Does 10 divide 158/8 - y/8?
True
Let y be 13/4 + -3 + (-39)/12. Is 18 a factor of (16/32)/((y/412)/(-3))?
False
Suppose -4*i = 2*a - 784, 3*i - 807 + 225 = -3*a. Does 22 divide i?
True
Let i = 60 - 378. Let w = i - -478. Is w a multiple of 20?
True
Let s = -24 + 19. Does 18 divide -36*s/20*2?
True
Suppose 61*r + 4608 = 65*r. Is 48 a factor of r?
True
Let t be 2 + 3/(-3 - -4). Suppose -627 = t*u - 2027. Suppose 3*z + u = 8*z. Is z a multiple of 7?
True
Suppose -2*v - 68 - 19 = -3*q, q = -v + 29. Suppose 1260 = -25*g + q*g. Is g a multiple of 45?
True
Let r be (-10)/(-3) - 10/(-15). Let h be (r*8/4)/2. Suppose -4*v = h*y - 52, 7*y - 43 = 4*y - 5*v. Is y a multiple of 10?
False
Let g = -8323 - -13921. Is g a multiple of 18?
True
Let m be (1 - 4/(-12))/((-6)/(-6399)). Is 19 a factor of m/10 + (-92)/(-115)?
False
Let y(f) be the first derivative of 29*f**2/2 - 12*f - 9. Is y(4) a multiple of 15?
False
Let m(c) be the second derivative of c**5/20 + c**4/3 - 4*c**3/3 - 3*c**2/2 - 6*c. Is 10 a factor of m(-5)?
False
Suppose 23*f - 25*f + 8 = 0. Is f even?
True
Suppose 3*v = 2*q + 1852, v + 6*q = 11*q + 626. Does 37 divide v?
False
Does 66 divide ((-6)/15 - 67236/210)*-7?
True
Suppose 0 = -30*w + 24*w + 1848. Suppose 6*a = 994 + w. Is 21 a factor of a?
False
Let w = 7 + -4. Suppose 4*y + 252 + 199 = q, -3*y + w = 0. Suppose 27*h = 22*h + q. Does 36 divide h?
False
Let g = 4904 + -3129. Is g a multiple of 25?
True
Is 13 a factor of 54 - -2*5*(-3)/(-30)?
False
Let y(k) = -6*k + 7. Let v be y(5). Suppose 0 = -3*f - 4*a + 20 + 6, 28 = 4*f + 2*a. Let c = f - v. Is c a multiple of 13?
False
Let n(m) = -88*m + 61. Is n(0) a multiple of 5?
False
Let h(k) = 17*k**2 + 10*k + 2. Does 2 divide h(-2)?
True
Let z be 2/5 + 11932/95. Suppose -2*q + 378 = -z. Does 14 divide q?
True
Suppose 4*r - 2438 = -3*v - 456, -4*v + 1490 = 3*r. Is 13 a factor of r?
True
Let u(i) = 8*i**2 - i - 1. Let q be u(-1). Let b be (15/10 - 1)*0. Suppose b = -v + q + 3. Does 3 divide v?
False
Let y = 3228 - 1740. Is 82 a factor of y?
False
Suppose -3*g + 36 = -15. Let d = -15 + g. Suppose -f = d*f - 24. Is f a multiple of 4?
True
Let g be (-1)/((-4)/168*4/6). Suppose 6*x - 489 = g. Is x a multiple of 34?
False
Let z(r) = -11*r**3 + 8*r**2 + 18*r + 23. Let q(n) = -4*n**3 + 3*n**2 + 6*n + 8. Let j(g) = -8*q(g) + 3*z(g). Is 10 a factor of j(-4)?
False
Suppose 0*c = 3*c + i - 75, -5*c = -3*i - 111. Does 3 divide c?
True
Let v(d) = 4*d + 11. Let t be v(5). Let g = -44 - t. Is (-7320)/g - (-2)/5 a multiple of 12?
False
Let x(d) = -5*d**2 + 12*d**2 - 7*d**2 - 2 + 3*d + 13*d**2. Does 3 divide x(1)?
False
Let l = 2898 - 1523. Is l a multiple of 50?
False
Suppose 71 = 2*b - 105. Suppose 3*r - 20 = b. Is 36 a factor of r?
True
Let f = 6 - 0. Let b be (9/f)/((-2)/(-124)). Suppose 3*r - b - 57 = 0. Is r a multiple of 25?
True
Suppose 5*l = -5*n + 70, 4*l + 5*n = 75 - 24. Let y(z) = -z**3 + 19*z**2 + 4*z + 20. Is 22 a factor of y(l)?
False
Suppose -26 - 232 = -3*t. Suppose 3*c = 11*c - 1184. Let k = c - t. Is 13 a factor of k?
False
Suppose 0 = 2*h + 77 - 83. Suppose -5*o = -2*f - 452, -5*o + 0*f + h*f = -448. Is 23 a factor of o?
True
Is 8 + -2 + -10 - -104 a multiple of 27?
False
Suppose -2*i - 35 = 2*p - 207, 3*p - 252 = -5*i. Suppose 16 + p = 5*h. Does 7 divide h?
True
Let d(r)