 -0*w. Let x be 1/(-3) - 98/w. Is ((-468)/60)/(1/x) a multiple of 13?
True
Let y(o) = -o**3 - 3*o**2 + 1. Let j be y(-2). Is 6 a factor of (-8 + 26)*4/(-9)*j?
True
Let v be -3 + (-6)/((-6)/(-239)). Let i = 373 + v. Does 31 divide i?
False
Is 7 a factor of 590*3/2 - 7?
False
Let h(s) = 16*s - 93. Is h(10) a multiple of 7?
False
Suppose -69 = 5*s + 451. Let h = 4 - s. Suppose -w + 4*d - h = -4*w, -4*d = -w + 36. Does 10 divide w?
False
Suppose -66*p + 71*p = 1000. Is p a multiple of 20?
True
Let x(v) = 72*v**2 - 10*v - 83. Is x(-6) a multiple of 82?
False
Let n be (1/1 - 1)/1. Suppose 3*a - 3*f - 30 = n, f + 34 = -2*a + 6*a. Is 174/a + (-48)/64 a multiple of 21?
True
Let g(x) = -x**3 - 65*x**2 + 3*x + 237. Is g(-65) a multiple of 2?
True
Is (-5)/45 - ((-3545872)/72)/11 a multiple of 37?
True
Let p be 6/(-7)*(5 + (-51)/6). Suppose 0 = -3*s + 4*x + 53, -2*s - p*s - 3*x = -69. Is s a multiple of 2?
False
Suppose 0 = -9*u + 383 + 373. Is 14 a factor of u?
True
Let o = 15 - 11. Suppose -4*t - 6*w - 8 = -w, 4*t - o*w = 28. Suppose -2*x - t*x = -210. Does 10 divide x?
False
Let r(k) = k**2 + 9*k + 5. Let m be r(-9). Suppose -5*o = -f - 4, f - m*o - 80 = -4*f. Does 7 divide f?
True
Suppose 5*r = -3*q + 472 + 279, -4*r - 256 = -q. Is 42 a factor of q?
True
Let x be 3/(-2) + 1 + 1/(-2). Is 4/(-18) + x/(9/(-227)) a multiple of 3?
False
Does 26 divide -2 + 131 - (-6 - -5)?
True
Let b = 100 - 68. Let v = 132 - b. Is v a multiple of 26?
False
Suppose 4*r = -n + 4, -2*r + 2 = 3*n - 2*n. Suppose 7*o + 104 - 342 = n. Is 9 a factor of o?
False
Suppose 15*j - 10*j + a - 798 = 0, 0 = -2*a + 6. Is 21 a factor of j?
False
Let z(w) = 4*w**3 + 3*w**2 + 7*w - 50. Is z(5) a multiple of 35?
True
Let c(l) = l**3 - 4*l**2 + l - 4. Let p be c(4). Suppose -5*a + 5 = -p. Suppose -2*b + 15 = a. Is 2 a factor of b?
False
Is 20 a factor of (68/10)/(10/1000)?
True
Let t(r) be the first derivative of -7*r**5/2 + r**4/12 + r**3/6 + r - 5. Let x(h) be the first derivative of t(h). Does 15 divide x(-1)?
False
Let d be (-2)/(-4) + 1655/10. Suppose 0 = 3*p - 4*t + 350, -p - 4*t = 195 - 73. Let q = p + d. Is 12 a factor of q?
True
Let q(w) = -3*w**3 - 7*w**2 - 2361*w + 5 + 2355*w + 4*w**3. Let j = -11 - -19. Is q(j) a multiple of 16?
False
Suppose -4665 = -15*w + 3945. Is w a multiple of 14?
True
Let b = -8 + 10. Suppose 0 = 2*o - 0*c + b*c - 350, -5*o - c = -863. Suppose u = 6*u + 3*l - o, 3*u - l - 106 = 0. Is 12 a factor of u?
False
Suppose 0*v = -2*v + 2. Let r(g) = 11*g**3 + 2*g**2 - g. Let p be r(v). Suppose -2*c - p = -6*c. Is 2 a factor of c?
False
Let l(h) = -177*h + 48. Let j(o) = 11*o - 3. Let u(s) = -33*j(s) - 2*l(s). Let q be u(-8). Let m = -48 + q. Is 19 a factor of m?
False
Let r = 19 - 14. Suppose -2*z - 5*a = -181, 2*z - r = -4*a + 173. Is z a multiple of 21?
False
Let r(v) be the second derivative of -5*v**3/6 - 15*v**2/2 - 12*v. Is r(-9) a multiple of 30?
True
Let c = -89 - -200. Suppose -5*l = -2*l - 6. Suppose -l*u + c = 3*b, -187 = -4*u + 2*b - b. Is u a multiple of 14?
False
Suppose z - 4*z = 0. Suppose -3*d + 5*d - 28 = z. Is 2 a factor of d?
True
Suppose -5 - 83 = -8*l. Let i(c) = c**2 + 7*c - 24. Is i(l) a multiple of 29?
True
Let r = 596 - 74. Is r a multiple of 46?
False
Suppose -5*n + 0*n = -10. Suppose -h + 328 = 5*f, 0 = n*f + 4*h - 9*h - 142. Is f a multiple of 10?
False
Let c(a) = a**3 + 9*a**2 + 7*a - 5. Let v(n) = n**2 + 7*n + 5. Let h(u) = -2*u**2 - 3*u + 2. Let f be h(1). Let b be v(f). Is 11 a factor of c(b)?
True
Let b be 58/18 + 10/(-45). Suppose -b*s + 45 = -36. Suppose 0 = -h + 4*k + s, 0 = 2*h + 2*k + 20 - 104. Is 13 a factor of h?
True
Suppose 2*b - 4*u - 42 = 5*b, -3*b - 42 = 3*u. Let f = 21 + b. Suppose f*y - 30 = 4*y. Is y a multiple of 3?
False
Let q(s) = -9*s**3 + 13*s + s**2 + 6 - 6*s**3 + 14*s**3. Does 53 divide q(-7)?
False
Let k = -37 - -34. Is 10 a factor of (-12 + 6)*50/k?
True
Let i be ((-99)/(-45))/(2/(-10)). Let d(b) = -b**2 - 9*b + 24. Let h be d(i). Suppose h*t - a - 5 - 18 = 0, 2*t = -a + 33. Is t a multiple of 8?
False
Suppose -4*o + 5*i - 7*i + 2246 = 0, 2791 = 5*o - 3*i. Does 20 divide (5 - 0)*o/25?
False
Let r be (0 + 2/(-6))/(18/54). Is -2 + 378/4 + r/(-2) a multiple of 31?
True
Let g(w) = 6*w**2 + 10*w + 77. Does 25 divide g(-6)?
False
Suppose 0*k + 9 = -2*k + s, 5*k + s = -12. Let r = k - 2. Let y = 32 + r. Is y a multiple of 7?
False
Let f(l) = -400*l**3 + 3*l**2 - 2*l - 5. Is f(-2) a multiple of 19?
True
Let z be 9*1 + -5 + 1. Suppose 8 = -z*f - 352. Let a = f - -128. Is a a multiple of 23?
False
Suppose 37 = t + 31. Let x(l) = -l**3 + 9*l**2 - l + 1. Is 9 a factor of x(t)?
False
Suppose -m - m = -10. Suppose m*w - 10 = 0, -11 = -r - w - 2*w. Does 5 divide r?
True
Let y = 12 - 8. Suppose -5*t = -y*i + 2732, -12 = -2*i - 2*i. Is 9 a factor of 4/(-20) + t/(-20)?
True
Is 3087 - ((-4)/6)/((-64)/(-672)) a multiple of 13?
True
Let p be -4 + 4 + (-20)/(-4). Suppose 4*g - 44 = p*c, -4*c = -2*g - 3*c + 22. Is 11 a factor of g?
True
Suppose 0*k - w = 5*k + 51, 0 = 5*k - w + 59. Suppose -2*p + z + 86 = 0, -140 = -5*p - z + 89. Let t = p + k. Is t a multiple of 17?
True
Suppose 118 = -4*b + 3*y - 275, 2*b - 5*y + 207 = 0. Let l = b - -146. Is 41 a factor of l?
False
Suppose -3*f - 2*l = -1425, 21*f - 20*f - 3*l = 486. Is f a multiple of 38?
False
Let i = 109 + -82. Does 8 divide i - (-15)/(-3)*-1?
True
Suppose 0 = -7*w + 2*w. Suppose w = -t - 5*d - 21, -5*t + 5*d = -62 + 17. Suppose b - t*b + 18 = 0. Does 6 divide b?
True
Let j(d) = 5*d + 4. Let r(t) = -4*t**2. Let h be r(-1). Let k(o) = -10*o - 8. Let m(q) = h*k(q) - 9*j(q). Is 15 a factor of m(-4)?
False
Suppose -22*d + 26*d - 9156 = 0. Does 32 divide d?
False
Let a(n) = 111*n + 81. Does 15 divide a(4)?
True
Let j = 1865 - 1262. Is j a multiple of 2?
False
Suppose 2*o + 5*z = 3, 10*o - 13*o = 4*z - 15. Is o a multiple of 3?
True
Let i(x) = x**3 + 3*x**2 - x - 1. Let l be i(-3). Suppose -l*y + 6 = -h, y = 3*h - 0 - 2. Suppose -y + 28 = f. Is 12 a factor of f?
True
Suppose 5*m + 83 = 243. Let r(f) = -f**3 + 4*f**2 + 5. Let v be r(4). Suppose v*x = 4*a - m, -4*a + 36 = 4*x + 4. Does 6 divide a?
False
Suppose -y + 2 = -5*a, -3*a = 2*a - 5*y + 10. Suppose 5*b + 33 - 13 = a. Let m = b + 28. Is 12 a factor of m?
True
Suppose 5*p - 29 = -4*u, -1 = -4*u + 3*u. Suppose 2*l - 2*o = 116, p*l - o = -2*o + 260. Is 15 a factor of l?
False
Suppose 4*x + 6*c - 828 = c, -x - 5*c + 207 = 0. Does 23 divide x?
True
Let v be (-12 + 9)/(2/(-4)). Is (30/v)/(2/2) even?
False
Let o = 1134 + -721. Is o a multiple of 2?
False
Let j be ((-1720)/(-129))/(2/21). Suppose -5*v + 0*d + 1386 = 2*d, -v = -d - 273. Suppose -2*t + v = 4*k, 2*k - j = -3*t + t. Is 23 a factor of k?
False
Suppose -d = -3*d - 10. Is 43 a factor of 131 + 0 + (-6 - (1 + d))?
True
Let z be (-3 - -1) + (1 - -9). Let n = 114 - 179. Does 4 divide (-2)/z - n/4?
True
Let l(b) = b**3 - 14*b**2 + 12*b + 26. Suppose 15*a - 26 = 13*a. Is l(a) a multiple of 3?
False
Let w(j) = j**3 + 10*j**2 - 5*j - 1. Let q be w(-11). Let x = 74 + q. Is 3 a factor of x?
False
Let l be 16/10*(-55)/(-2). Let h be 2*(-3 + l/8). Let o = 46 - h. Is 12 a factor of o?
False
Let q = -18 - -33. Suppose -122 = -17*d + q*d. Let j = d - 33. Is 28 a factor of j?
True
Suppose 0 = -0*p + 3*p - 168. Is p a multiple of 14?
True
Let q be -1*2/2*0. Let i be (-6)/12*q/(-2). Suppose i*p = -2*p + 46. Is p a multiple of 23?
True
Suppose -4*n - 5*a = -5*n + 17, -3*n + 3*a + 15 = 0. Suppose 0 = -c + n*c - 12. Let m(j) = j**2 - 10*j + 16. Is m(c) a multiple of 10?
True
Let c(s) = 20*s + 4. Let p(w) = 60*w + 12. Let t(a) = -8*c(a) + 3*p(a). Does 4 divide t(1)?
True
Suppose 255 = 4*n - 5*a, -2*a - 351 = -4*n - 81. Is 25 a factor of n*(8/(-10) + 2)?
False
Suppose -10*j + 322 = 13*j. Is 2 a factor of j?
True
Let o(i) = 0*i + 2*i**2 + 3*i - 2*i + 75*i**2. Let g be o(1). Suppose -5*n + g = -2*n. Is 13 a factor of n?
True
Suppose 14*f - 3*y = 11*f + 2715, 899 = f + 5*y. Does 12 divide f?
False
Let u = 96 + 264. Is 40 a factor of u?
True
Let g(c) be the third derivative of c**5/60 - c**4/24 + 15*c**3/2 + c**2. Suppose -x + 8 = -0*x + 4*v, -5*x = v - 2. Does 9 divide g(x)?
True
Suppose 5*s = 7*s - 4*m - 18, -m + 13 = 3*s. Let l(d) = -d**3 + 9*d**2 - 2. Is 28 a factor of l(s)?
False
Let v(m) = 1