es 17 divide m?
True
Let c be (-2 + 4)/((-4)/(-66)). Let v(w) = c*w + 38 - 38. Is 22 a factor of v(2)?
True
Let s(m) = -m**2 - 8*m - 9. Let w be s(-4). Let a(p) = 2*p**2 - 8*p - 11. Does 4 divide a(w)?
False
Does 10 divide (2 - (-1664)/24)/(1/15)?
True
Suppose 2*n - 27 = -7. Let d(f) = 5 - 8*f + 3*f + n*f - 3. Is 10 a factor of d(11)?
False
Let a(b) = -b**3 - 7*b**2 - 10*b - 9. Suppose -50*q = -49*q + 7. Is a(q) a multiple of 11?
False
Suppose -33*l + 38901 = -13767. Is l a multiple of 21?
True
Let c be (1 - 0) + -2 + 6. Let o(r) = 7*r - 5. Let f be o(5). Suppose -c*v + f = -0*v. Is v a multiple of 4?
False
Let q(v) = -2*v + 35. Let u be q(16). Does 13 divide -20*(3 - (u - (-52)/8))?
True
Suppose 0 = b - 2*b + 147. Let a = -51 + b. Is a a multiple of 24?
True
Let o(c) = c**3 - 35*c**2 + 33*c + 199. Is o(34) a multiple of 15?
True
Let z = -9 - -8. Let l be -2 - 0 - (-78)/z. Let t = -56 - l. Does 12 divide t?
True
Let w = 32 - -4. Let d = w - -3. Is d a multiple of 28?
False
Let h be 3215/20 - (-6)/(-8). Suppose v + h = 5*v. Suppose -3*k + 4*l = k - 48, -5*k - 5*l = -v. Is 5 a factor of k?
True
Suppose y + 3*n - 517 = -y, -3*n + 251 = y. Is 3 a factor of y?
False
Suppose 565 = -9*a + 3094. Does 41 divide a?
False
Suppose 0 = -3*t - 1173 + 6849. Does 91 divide t?
False
Let k(o) = -28*o + 4. Let s be k(-1). Suppose 460 = -s*f + 37*f. Is f a multiple of 5?
False
Let j(u) = -u**3 - 44*u**2 - 56*u + 129. Does 80 divide j(-43)?
False
Let x = -1693 - -2761. Suppose -2*g + 5*g + x = 5*o, 2*o = 3*g + 420. Is 18 a factor of o?
True
Let a = 32 - 36. Let v = 11 - a. Is 4 a factor of v?
False
Suppose 21*b - 19820 = 51412. Does 64 divide b?
True
Suppose 1077 = 6*i - 1107. Does 13 divide i?
True
Let g(h) = -h**3 - 4*h**2 - h - 4. Let j be g(-4). Let u be 3 + j/(-4 - -5). Suppose -3*m = -2*n - u - 127, -4*m + 174 = -3*n. Does 16 divide m?
False
Let h be 20/(-10) - (-1473)/3. Suppose w + h = 5*n, 3*w + 7 = -5. Is 41 a factor of n?
False
Suppose -1728 = -4*u + 5*y, 3*u + 94 = -3*y + 1417. Suppose -4*x + 1265 = u. Is 9 a factor of x?
True
Let p(l) = l - 2. Let k be p(10). Suppose 9*j = k*j + 35. Let c = j - 25. Does 10 divide c?
True
Suppose 0 = 42*v - 50*v + 1520. Does 10 divide v?
True
Suppose 5*l + 191 = 2*r, -3 = -l + 5*r - 32. Let i = l + 32. Does 7 divide (-296)/(-14) - (-1)/i?
True
Let a(v) = -v**3 + 12*v**2 + 12*v + 13. Let z be a(13). Suppose 0*w + 270 = 5*l + 2*w, l - 2*w - 54 = z. Is l a multiple of 6?
True
Suppose 2*y + 35 = 3*n + 3*y, -3*y - 35 = -5*n. Is n even?
True
Let f be 3 + 5/(-4) - (-1)/4. Suppose f*v = v + 240. Does 21 divide v?
False
Let u(s) = 4*s + 11. Let k be u(-7). Let l = -10 - k. Let v = 0 + l. Does 7 divide v?
True
Suppose -38*j = -33*j - 23370. Does 41 divide j?
True
Suppose 0 = -0*k - 5*k + 15. Let z(h) = 230*h - 65. Let u(d) = 21*d - 6. Let i(v) = -65*u(v) + 6*z(v). Is 15 a factor of i(k)?
True
Suppose -6*t + 8*t - 683 = -5*p, -t = p - 139. Is p a multiple of 9?
True
Let d(y) = y**3 + 8*y**2 - 11*y + 2. Does 9 divide d(-9)?
False
Suppose -2*t - 4*b + 8270 = 0, t = 4*b - 8*b + 4129. Does 38 divide t?
False
Let z be 3 - (0 + 5 - 3). Let c(q) = 29*q**3 + q**2. Is c(z) a multiple of 15?
True
Let b(s) = s - 39. Let h(t) = t - 19. Let m(g) = 4*b(g) - 7*h(g). Is 11 a factor of m(-15)?
True
Suppose 73*m = 88*m - 2190. Is m a multiple of 3?
False
Suppose 3*q = 4*o - 44, -33 = -3*o - 3*q + 2*q. Let v = -8 + o. Suppose -33 + 0 = -v*z. Does 2 divide z?
False
Suppose -3*s - 2*n + 155 = 25, 5*n = 4*s - 135. Suppose s = 2*r - 66. Does 51 divide r?
False
Let w = 2912 - 1614. Is 50 a factor of w?
False
Let w(u) be the first derivative of -u**4/4 + 8*u**3/3 - 5*u**2 + 6*u + 7. Suppose 5*z - 20 = 5*x, -2*z - x + 4 = -5*x. Does 10 divide w(z)?
False
Let k(x) = -x**2 - 7*x. Let f be 3/6 + 45/(-6). Let h be k(f). Suppose h = -0*r - 5*r - w + 166, 2*r = 3*w + 80. Is r a multiple of 7?
False
Let r(p) = 96*p**2 + 9*p - 6. Does 18 divide r(4)?
True
Let y(g) = 2*g + 10. Let p be y(-3). Let z = p - -50. Is z a multiple of 18?
True
Is 76 a factor of 4988/12 - ((-10)/(-6) - 2)?
False
Let b(p) = -4*p**3 + 6*p**2 + 6*p - 6. Suppose -4*a - 6 = u + 1, 4*u - 3*a = -9. Does 23 divide b(u)?
True
Let n(g) = g**3 - 10*g**2 + 12*g - 4. Let q(t) = -t**3 + 3*t**2 + 4*t - 3. Let m = -6 - -9. Let f be q(m). Is n(f) a multiple of 9?
False
Does 3 divide ((-2)/(-4))/(3/(-18)) + 48?
True
Suppose -9*y - 938 = -23*y. Is 67 a factor of y?
True
Let b = -19 - -25. Let i be (-51)/34*(-92)/b. Let c = -18 + i. Is c a multiple of 5?
True
Let n(g) = -32*g**2 - g + 1. Let k be n(1). Let y = -48 - k. Let u = y - -18. Does 2 divide u?
True
Let x(n) be the third derivative of n**6/60 + n**5/15 - 5*n**4/24 - 2*n**3/3 - 31*n**2. Is x(4) a multiple of 14?
True
Does 38 divide ((-3582)/(-12) - -10)/(2/4)?
False
Suppose 6*k = 11*k - 2200. Is 20 a factor of k?
True
Suppose l - 4*l = 60. Let o be 0*(1 + l/16). Suppose -7*y + 178 + 74 = o. Does 12 divide y?
True
Is 17 a factor of (-12)/8 - (-781)/22?
True
Suppose 25*r = 18*r + 1344. Does 4 divide r?
True
Let h(v) = -v**2 - 4*v + 4. Let p be h(4). Let d = p + 147. Does 17 divide d?
True
Suppose -10*f + 20*f = 2080. Does 25 divide f?
False
Suppose -12*m + 538 = -566. Does 5 divide m?
False
Suppose -15*j = -9*j - 42. Suppose 0*b = -j*b + 252. Is b a multiple of 6?
True
Let n = -1085 + 2360. Is n a multiple of 15?
True
Suppose -5*n - g + 5742 = -3336, -g = -n + 1812. Is n a multiple of 18?
False
Let m(w) = 2 - 3 - 1 + 3 + 2*w. Let o be m(-3). Let f(y) = -2*y - 6. Is f(o) even?
True
Is 6 a factor of (930/(-50) + 7)*-60?
True
Suppose -3*c = 3*q - 7743, -2*q - 3*c = -56 - 5101. Is q a multiple of 7?
False
Suppose 88*b - 1210 = 83*b. Does 30 divide b?
False
Suppose -5*f + 16 = 2*n + 1, 0 = -4*f - 4*n + 24. Let w be (-3 + f + -3)/(-1). Suppose 44 = -3*u + w*u. Does 11 divide u?
True
Is 19 a factor of (3 + -1)/(3153/3147 + -1)?
False
Let h be ((-2)/(-1))/(-4)*-2. Let w = 2 + h. Is 9 a factor of (w - (2 - 3))*9?
True
Let y be ((-20)/30)/(-1*2/24). Is 232/(-10)*(-20)/y a multiple of 15?
False
Suppose 2*b = -4*x + 3*b + 1278, -4*x + 1272 = -4*b. Does 32 divide x?
True
Let c(m) = 2*m**2 + 65*m - 118. Is c(-36) a multiple of 38?
False
Let c(j) = 96*j - 3. Let w(o) = -o**3 + 2*o**2 + 3*o + 1. Let s be w(3). Is c(s) a multiple of 31?
True
Let m(o) = o**2 - 9*o - 10. Let j be m(-5). Suppose 0 = 41*d - 42*d + j. Does 12 divide d?
True
Let j(c) = -c - 4. Let s be j(-5). Let z(g) = 3 + 13*g + 1 - 9 + 4. Is z(s) a multiple of 6?
True
Suppose -5*n - 2*z = 13 - 4204, -3*n + 4*z + 2525 = 0. Is n a multiple of 64?
False
Let a = 26 + -17. Suppose -672 = -a*r + 84. Is 14 a factor of r?
True
Let q = 35 - 32. Suppose 3*p = q*r - 36 - 81, -5*r - p + 213 = 0. Suppose -r = -4*j + 110. Does 19 divide j?
True
Let z = -23 + 13. Does 8 divide 2/z + (-236)/(-5) + 1?
True
Suppose -23*j + 4*j = -3895. Is 42 a factor of j?
False
Let c(q) = -19*q + 6*q - 7 + q**3 + 4 - 7*q**2. Let l be c(9). Let b = l + -24. Is 10 a factor of b?
False
Let p(r) = -8*r - 22. Let d be p(-5). Let a = d - -34. Does 50 divide a?
False
Let v = 15 + -13. Is ((-14)/4)/(v/(-20)) a multiple of 33?
False
Let b(k) = k**3 + 9*k**2 + 7*k + 7. Let y be b(-7). Suppose -13*h = -98 - 292. Let q = y - h. Does 26 divide q?
True
Suppose 0 = 2*j + 2*x + 10, 0 = -2*j - x - 6 - 8. Let b be 3/1*24/j. Let d(f) = -f - 4. Is 2 a factor of d(b)?
True
Let g(i) = 4*i + 5. Let v(s) = -s**2 - 9*s - 8. Let m be v(-6). Suppose 3*x - 2*x = m. Is g(x) a multiple of 10?
False
Suppose -5*f + 3*k + 0*k + 93 = 0, -5*k = 4*f - 104. Is 12 a factor of 2493/f - 10/(-35)?
False
Suppose -p = a - 4*a + 31, -3*p - 3 = 0. Is 8 a factor of 1 + 37 + a/5?
True
Suppose -k = 5, 6*c = 4*c + 4*k + 26. Does 4 divide 1 + c - (-14 + -2)?
True
Is 32 a factor of 4*((-17 - -13) + (-1335)/(-4))?
False
Suppose 6*h - 11 - 7 = 0. Let d(b) = 28*b - 23. Is 25 a factor of d(h)?
False
Suppose 5*t + 2*b - 43 = 0, 4*t - 2*b = b + 39. Suppose 2*m - 2*a - 173 = t, 2*m - 181 = a. Does 15 divide m?
True
Suppose -32*x = -37*x. Suppose 7*r - 14*r + 2100 = x. Is r a multiple of 25?
True
Is -3 - (-32 + 35/7) a multiple of 12?
True
Let q be 0 - 2/(-2) - -1. Let a = 45 - 1. Suppose -8 = q*v - a. Is 9 a factor of v?
True
Let r(i) be the second derivative of -i**4/12 - 13*i**3/6 - 8*i. I