84)/(1/(-4)) a multiple of 57?
False
Let c = -150 - -318. Is 14 a factor of c?
True
Is 16/(-14) + 18876/273 a multiple of 28?
False
Let b(h) be the first derivative of -3*h**2/2 - 12*h + 12. Is b(-9) a multiple of 2?
False
Suppose 16*v - 295 = 569. Is 18 a factor of v?
True
Suppose 9 = 5*h - 2*h - 3*z, -9 = -3*h - z. Suppose h*w = -2*m - 0*m + 19, 10 = 2*w. Suppose -m*r = -3*r + 26. Is 7 a factor of r?
False
Let v(q) = 3927*q. Let d(r) = 151*r. Let m(u) = -105*d(u) + 4*v(u). Suppose 7 = 9*n - 16*n. Is m(n) a multiple of 30?
False
Let m(d) = -d - 4*d - 5 + 6*d**2 + 0*d + 2*d**2. Let k be m(5). Let r = k + -89. Is r a multiple of 14?
False
Suppose r + 3*r - 152 = 0. Suppose r = 5*p - 6*y + 3*y, 4*y = 3*p - 14. Let x = 18 - p. Is 8 a factor of x?
True
Suppose -k + 2*c + 9 = 0, 0 = -k + c - 0*c + 6. Let v be 4*(-3)/(-12)*k. Suppose v*r = -2*r + 125. Does 9 divide r?
False
Let w be (-12)/48 - 722/(-8). Suppose -4*t - t = -w. Suppose -b = 2*b - t. Is 4 a factor of b?
False
Suppose -2*b - 3*b = -10. Suppose d = -r + b, 3*r = 2*d + 2*r + 2. Suppose -2*j + j + 36 = d. Is j a multiple of 13?
False
Suppose 247 = -9*v + 6007. Suppose 65 = -5*i - 3*a + 705, 5*i - 3*a - v = 0. Does 12 divide i?
False
Let p be (-5)/((-1 + -3)/28). Let b be (-2)/(-7) + 1110/p. Suppose -3*u = -5*u + b. Is u a multiple of 16?
True
Does 37 divide (-3)/(4*33/(-114928))?
False
Suppose 3*j = -j - 4*z - 12, 0 = z + 4. Let f(q) = 3*q**2 - 2*q + 1. Let m be f(j). Does 8 divide (-6)/(-3)*9 - m?
True
Suppose 0*s - 50 = 5*s. Let x = s - -31. Suppose f + x = 4*i, -3*f = -2*i + 12 + 1. Is i even?
False
Let s = -34 - 10. Is (4/(-8))/(2/s) even?
False
Suppose 32 = -5*r + 4*a, -6 = 2*r - 2*a + 8. Let l be -72 - (-2)/r*0. Is 15 a factor of (-1)/((10/l)/5)?
False
Let t(x) = -5*x**2 - 9*x + 7. Let s(w) = 7*w**2 + 14*w - 10. Let r(z) = -5*s(z) - 8*t(z). Does 16 divide r(3)?
False
Does 10 divide ((-21)/(-27) - 1) + (-23584)/(-99)?
False
Suppose 5*n + 15 = -0*n. Let c(w) = -6*w**2 + 4 + 16*w**2 + 2*w - 9*w**2 - 1. Does 5 divide c(n)?
False
Suppose -4*v - 5*f + 19 = 0, -11 = -4*v - 4*f + 9. Suppose v*d + 4 = 22. Suppose 5*h = -d*a + 57, 3*h - 40 + 121 = 3*a. Is 12 a factor of a?
True
Suppose 0 = -t + 3*d - 4, 0 = 4*t - 3*d + 7. Let m be (1/1 + -2)/t. Let a(p) = 19*p - 1. Is a(m) a multiple of 6?
True
Let z(k) = 2*k**3 - 71*k**2 + 34*k - 85. Does 66 divide z(36)?
False
Let k be 1*((-4)/6 + (-33)/(-9)). Let a be (-6)/(1/((-2)/4)). Suppose -a*y = -k*n - 87, 4*y = y - 5*n + 71. Is 9 a factor of y?
True
Suppose -3*w + 0*w = 2*j + 64, w + 30 = -5*j. Does 22 divide (-30)/w - (-258)/4?
True
Let i = 1872 + -780. Is 12 a factor of i?
True
Let c(a) = a**2 + a - 1. Let y be (-1)/((-4)/(16/(-4))). Let l be c(y). Is 27 + (-3)/(2 + l) a multiple of 15?
False
Let j(u) = u**2 + 9*u - 25. Let r be j(-11). Is (-3)/9 + (-124)/r a multiple of 12?
False
Suppose 5*f - 6 = 3*s, -f = -4*f + 5*s - 6. Let o be 20*(-1 - 0) + 2. Does 7 divide (o + f/1)*-1?
False
Let u = -1977 - -4101. Is u a multiple of 60?
False
Let g(s) = -4*s**2 + 5*s**2 - 53 + 5*s + 54. Is g(-11) a multiple of 28?
False
Suppose -2*h + 10 = -4*h. Let f be ((-36)/(-2))/(h + 6). Suppose -u = -0*u - f. Does 18 divide u?
True
Does 3 divide (322/(-35))/(2/(-5))?
False
Let w(t) = -t**3 - 14*t**2 - 3*t - 3. Suppose 4*h + 76 = 4*a, -h - 4*a = 2*h + 22. Is 10 a factor of w(h)?
False
Does 6 divide -588*60/45*(-6)/16?
True
Suppose -8 = 3*x - 4*b, 3*x - b + 0 = 7. Suppose v - x = -v. Suppose -v*s = -n - 33, 0 = 5*s - 0*n - n - 87. Is s a multiple of 9?
True
Let f be 544/(-14) - 1/7. Let g = f - -93. Is g a multiple of 9?
True
Let h = 33 - -14. Let p = h - 17. Is 14 a factor of p?
False
Suppose -u + 12 = 2*u. Suppose 0*b + 14 = u*q + 3*b, -2*q - 3*b = -4. Suppose -2*s - q*h = -17, 2*h = -s - 2*h + 10. Is 2 a factor of s?
True
Suppose -2*u + 77 = 3*h, 5*h + 0*h - 4*u - 99 = 0. Let v = 82 + h. Is 35 a factor of v?
True
Suppose 4*m + 2*f - 692 = 0, -m + 3*m = 3*f + 362. Is 7 a factor of m?
True
Is (-21)/(-3) + -12 + 305 a multiple of 6?
True
Let v(w) = 16*w**2 - 15*w + 62. Does 19 divide v(-8)?
False
Let o(q) = 19*q**2 + 7*q - 22. Let s be o(4). Suppose -4*i = 5*y - s, 0*i = -i + y + 82. Does 19 divide i?
False
Let y = -79 + 139. Does 5 divide y?
True
Let m(g) = 16*g + 39. Let k be m(-7). Let q = k - -97. Is 12 a factor of q?
True
Is 6/4*-2 + 3669 a multiple of 114?
False
Let t(q) = q**2 + q. Let o be t(-3). Let p = o - -17. Is 16 a factor of p?
False
Is 14 a factor of -3*(-22*(-16)/(-24) + 7)?
False
Suppose -84*x + 80*x + 636 = 0. Is x a multiple of 8?
False
Let m be (0 - 1 - -3) + 2. Let n(j) = -11*j + 11. Let y(d) = -28*d + 32. Let s(r) = -8*n(r) + 3*y(r). Is 9 a factor of s(m)?
False
Let r be 10/(-2) + -3 + -157. Let u = r - -455. Does 18 divide u?
False
Suppose -4*h + 7 = -3*y - 1, -7 = 2*y - 3*h. Let p(m) be the first derivative of m**3/3 - 2*m**2 + 2*m - 1. Does 2 divide p(y)?
True
Suppose -4*n + 4 = 0, -9*n + 798 = 4*q - 11*n. Is q a multiple of 5?
True
Let g be 2/((-1)/((-4)/8)). Suppose -5*r + k - 1 = -14, r = k + g. Suppose r*v = 4*v - 35. Is v a multiple of 9?
False
Let p = -16 - -242. Does 14 divide p?
False
Let i(y) = -y**3 - 7*y**2 - 11*y - 4. Let r be -3 + (-11)/3 - (-2)/3. Does 7 divide i(r)?
False
Let z = -1270 + 2491. Is z a multiple of 11?
True
Let u = 8531 - 5839. Does 12 divide u?
False
Let t(r) be the third derivative of -r**6/120 - r**5/60 + 19*r**3/2 + r**2. Let a be t(0). Does 20 divide (-32)/24*a/(-2)?
False
Suppose -5*d = d - 24. Let f(x) = x. Is 2 a factor of f(d)?
True
Let j = 37 - 50. Let u = 85 - j. Does 37 divide u?
False
Suppose 0 = 4*b - 5*f - 1480, -2*b + 3*f + 0*f + 742 = 0. Is b a multiple of 7?
False
Suppose -100*f + 96*f = -12. Suppose -5*v = 2*k - 385, k + 191 = 2*k + f*v. Does 8 divide k?
True
Let k be 3/(-2)*12/9. Let q be k/(-3)*(8 - 5). Suppose 3*h = -q*v - 2*h + 75, 4*v = -5*h + 135. Is 5 a factor of v?
True
Let a(u) be the third derivative of -u**6/12 - u**5/12 - u**4/12 + 5*u**2. Is 16 a factor of a(-2)?
True
Is (2/4)/((-13)/(-2834)) a multiple of 26?
False
Let y(s) = 7*s**3 - 34*s**2 + 63*s - 64. Let d(v) = -3*v**3 + 17*v**2 - 32*v + 32. Let h(c) = -5*d(c) - 2*y(c). Is h(15) a multiple of 4?
True
Suppose 2*d - 4 = 2. Suppose d*r = -30 + 195. Is r a multiple of 8?
False
Let l(j) = -j**3 - 2*j**2 - 7*j - 5. Let k be l(-2). Is 5 a factor of (15 - k)/(2/(-3) + 1)?
False
Let z(c) = 28*c**3 + 1 - 2*c - 57*c**3 + 28*c**3 + 5*c**2. Does 4 divide z(4)?
False
Let m = 207 - 20. Is 7 a factor of m?
False
Let l be 2*(-1)/2 - -3. Suppose -l*d + 10 = k, -4*k - 3*d - 2*d = -25. Suppose k = 4*r - 3*u - 255, 10 - 79 = -r - u. Is r a multiple of 11?
True
Let b be (-4)/(-18) - (-260)/45. Suppose b*a + 0*a = 18. Suppose 4*s + 18 = 2*o, -2*o + 12 = -a*o - 5*s. Is 2 a factor of o?
False
Let j = 1171 - 914. Is j a multiple of 2?
False
Let z(f) = -41*f**3 - f**2 - f + 1. Let r be z(1). Let p be (-124)/(-7) + (-12)/r. Let u = 15 + p. Does 13 divide u?
False
Let i(l) = 2*l + 3*l**2 - l**2 + 24 - 24. Let n be i(-2). Is (-218)/(-4) + 6/n a multiple of 28?
True
Let q(n) = 62*n**2 + 20*n + 6. Is q(-3) a multiple of 27?
False
Does 43 divide ((-12040)/15)/14*-36?
True
Let m = -11 - -11. Suppose -181 - 294 = -4*k - 3*v, m = -4*k + 3*v + 469. Does 15 divide k?
False
Let g(a) = 84*a - 72. Is 22 a factor of g(12)?
False
Suppose 30*o = 39*o - 20223. Is 21 a factor of o?
True
Let h = 3259 - 1784. Is 28 a factor of h?
False
Let b = -24 - -21. Let u(f) be the first derivative of 2*f**3 + 2*f**2 - 2. Is 14 a factor of u(b)?
True
Let j(x) = -x**2 + 8*x + 3. Let v be j(9). Let c be ((-213)/(-6))/((-3)/v). Let y = c + 4. Is 25 a factor of y?
True
Suppose -110*r = -34*r - 413212. Is 141 a factor of r?
False
Suppose -7 = 5*l + 5*f + 3, -5*f - 10 = -3*l. Let k(c) = 2*c + 14. Let b be k(l). Is 9 a factor of (-4)/b + (-382)/(-14)?
True
Let h(v) = v**2 + 33*v - 15. Let i(k) = -8*k + 4. Let u(g) = 2*h(g) + 9*i(g). Let j be u(-7). Is j/6 + (-8)/(-12) a multiple of 5?
True
Let u(x) = -x**3 + x**2 - 3*x + 3*x + x**2. Let m be u(3). Is 11 a factor of 885/27 - 2/m?
True
Suppose -6*q + 10 = -q, 3*a - 250 = -5*q. Is a a multiple of 8?
True
Suppose -5*h + 10460 = 3*p, 8368 = -0*h + 4*h + p. Does 44 divide h?
False
Is 12 a factor of (504 + 4 + -1)/(-10 + 13)?
False
Let r = -314 - 