 Is 3/(-12) - w/4 a multiple of 7?
False
Let y(d) = d**2 - 3*d - 5. Let i be y(4). Let x be (19 - 3) + i + 3. Suppose -r - 4*p = -x, -4*p = r + 3*r - 108. Is r a multiple of 15?
True
Let f be (-462)/(-10)*(7 - 2). Suppose 5*j + 2*v = f, 5*j - 272 = -v - 44. Is j a multiple of 16?
False
Suppose -3*p + 5*p = 48. Let m be (8 - 0)/(1/(-2)). Let d = m + p. Is d a multiple of 8?
True
Is 3 a factor of (0 - -9)/((-4)/(-4))?
True
Let n = 184 - 135. Does 7 divide n?
True
Suppose -16 = z + 2. Let b be (z/(-4) + -2)*4. Let o = b + 4. Does 14 divide o?
True
Let u(n) = -n**3 + 5*n**2 + 4*n + 1. Let b be u(6). Let o(a) = -4*a - 11. Is o(b) a multiple of 11?
True
Let k be (-1)/(-1)*(0 + -4). Let b be (6/k)/(6/(-136)). Suppose -3*q = -5*i - b, -4*i = -2*q - 2*i + 24. Is 13 a factor of q?
True
Suppose 7*d + 0 = 7. Let a(l) = -l**3 - 4*l**2 - 2. Let n be a(-3). Let w = d - n. Is w a multiple of 12?
True
Let f = -5 + 9. Suppose 6 = -m + f. Is 16 a factor of 13 + m*9/(-6)?
True
Suppose -y - 2*y - 21 = 0. Let t(j) = -j**2 - 8*j + 6. Let x be t(y). Let v = x + 10. Is v a multiple of 23?
True
Let r be (-60)/(-18)*12/10. Suppose -4 + 36 = r*q. Does 8 divide q?
True
Suppose 2*t + 5*t = 756. Is 11 a factor of t?
False
Let l be (-4)/(-14) - 72/(-42). Suppose -5 = -5*x, -x = l*k - 8 - 29. Is 9 a factor of k?
True
Suppose -71 - 116 = -4*f + 5*z, -4*f + 2*z + 190 = 0. Is f a multiple of 15?
False
Let d = 74 - 31. Is 5 a factor of d?
False
Let u(s) = -s**2 + 6*s + 2. Let k be u(5). Let j(c) = -k*c**2 + 5*c - 4 + 6*c**2 + 3 + 0*c. Is j(4) a multiple of 2?
False
Let y = 4 - 1. Suppose -3*m - h - y = 20, 0 = 4*h + 20. Let w(t) = t**2 - 2*t - 1. Is w(m) a multiple of 14?
False
Suppose -4*c + 1 = -3, -4*x + 96 = -4*c. Is x a multiple of 4?
False
Let h = 1 + -2. Let w be (1 + h)/(1*-2). Suppose 4*x - 34 - 6 = w. Is x a multiple of 5?
True
Suppose -4*v + 5*k + 827 = 0, -615 = v - 4*v + 2*k. Suppose -5*t - v - 192 = 0. Let n = -56 - t. Is n a multiple of 23?
True
Suppose -h = -2, -2*b - 2*b = h - 230. Let i = b + -35. Does 13 divide i?
False
Suppose f - 59 = -2*u, f - 43 = 4*u - 146. Does 10 divide u?
False
Let w(f) = 65 + 3*f - f**3 + f**2 - f - f. Does 24 divide w(0)?
False
Let c(t) = 13*t + 3. Let j(k) = -7*k - 2. Let v(o) = -3*c(o) - 5*j(o). Does 3 divide v(-1)?
False
Let x be (-6)/(-9) + (-8)/12. Suppose -m + 11 + 57 = x. Is 15 a factor of m?
False
Let d(o) = 17*o - 3. Let i be (1/(-2))/((-2)/28). Does 31 divide d(i)?
False
Let g(l) = 26*l + 3. Is 15 a factor of g(2)?
False
Let o(w) be the third derivative of w**7/1680 + w**5/30 - 3*w**2. Let b(p) be the third derivative of o(p). Is b(4) a multiple of 4?
True
Let y be -20*((-15)/(-6))/5. Let a = -29 + 3. Let c = y - a. Is 6 a factor of c?
False
Let s = -9 - -21. Suppose -44 = -4*f - s. Is 3 a factor of 57/12 + 2/f?
False
Is 13 a factor of 3 - -10*44/8?
False
Let x(p) = -p**2 - 6*p - 2. Let a be x(-6). Is 11 a factor of 0 - (a + 0) - -20?
True
Suppose d + 2*r - 29 = r, -4*d + 108 = 2*r. Is d a multiple of 5?
True
Suppose 6*k = 3*n + 8*k - 240, -3*n + 240 = 4*k. Does 10 divide n?
True
Suppose 5*k - 6 - 4 = 4*y, -4*y - 4 = -2*k. Suppose 3*f - 13 = k*f. Is f a multiple of 8?
False
Let y = 3 + -6. Does 14 divide 296/6 + 1/y?
False
Let t(l) = -l**3 + 6*l**2 + 3. Let f = 13 + -7. Let i be t(f). Suppose i*j = 80 - 5. Is j a multiple of 15?
False
Let u(i) = -i + 6. Let j be u(6). Suppose j = -2*q + q + w, -5*w + 18 = 4*q. Suppose -5*x - p - 2*p = -5, -q*x - 12 = 4*p. Does 4 divide x?
True
Does 27 divide (-2)/8 + 2205/20?
False
Let t(n) = -n**3 + 6*n**2 + 6*n - 4. Let w = 0 + 2. Suppose -3*p = w*p - 30. Does 11 divide t(p)?
False
Suppose -u - 6 = -r, -4*r - 4 = 2*u + u. Is r a multiple of 2?
True
Let d be (17/(-2))/((-2)/4). Let o(t) = -t**3 + 6*t**2 + 7*t - 10. Let q be o(7). Let j = d + q. Is j a multiple of 3?
False
Is (-213)/(-7) - (-9)/(-21) a multiple of 15?
True
Suppose -344 = -4*f - 5*p, -2*f - p + 172 = 3*p. Is 22 a factor of f?
False
Suppose 92 = 5*b + 2. Is b a multiple of 6?
True
Suppose 50 = 2*h - 28. Let v = -7 + h. Is v a multiple of 8?
True
Let p(z) = -z**3 - 8*z**2 - 8*z + 7. Let l be p(-7). Let d = -8 + l. Is 4 a factor of d?
False
Let u be 1*(49 - (-2 + 0)). Suppose 4*p + 3*r - 56 = 0, 5*r - 19 = -5*p + u. Is p a multiple of 6?
False
Suppose 3*v = n - 2, -n - 4*v + 0 = -2. Suppose -3*d = -n*d. Suppose -40 = -2*z - d*z. Is z a multiple of 10?
True
Let m(b) = 3*b + 1. Let p = 15 + -9. Let z be m(p). Let v = 2 + z. Is v a multiple of 7?
True
Let z(h) = 2*h**2 - 2*h - 1. Let d be z(-1). Let u(m) = 1 - 3 + d*m + 5*m - 4*m. Is 6 a factor of u(5)?
True
Suppose -78 = 48*a - 50*a. Is a a multiple of 5?
False
Let o be (-2)/3 + (-1)/3. Let j be (o - -7)/3 + 1. Suppose j*v - 36 - 69 = 0. Does 13 divide v?
False
Suppose -j = -5 + 1. Suppose -5*s + 6 = -j. Suppose p + s*p - 33 = 0. Is 11 a factor of p?
True
Let k be (1/(-1)*0)/1. Suppose k = 5*b - 4*v - 61, 5*v + 43 + 17 = 5*b. Does 8 divide b?
False
Let z(r) = -5*r**2 - 36*r - 10. Let v(w) = -w**2 - 7*w - 2. Let d(f) = 11*v(f) - 2*z(f). Let t be d(-3). Suppose -t = 4*q - 104. Does 9 divide q?
False
Suppose 61 + 14 = a. Does 7 divide a?
False
Suppose 0 = 2*b + 3*s - 12 - 3, -4*b - 5*s + 33 = 0. Suppose -b + 4 = -4*c. Suppose t = c*t - 11. Is t a multiple of 11?
True
Let f(j) = -13*j**3 - j**2 - j. Does 13 divide f(-1)?
True
Is 10 a factor of 50*(-2 + (-24)/(-10))?
True
Let w be (-12)/(-72) + 130/12. Suppose -6*n + w*n = 115. Does 23 divide n?
True
Suppose -2*t + 0*t - 10 = 0, 48 = 4*y - 4*t. Is y a multiple of 2?
False
Suppose -3*x = -243 - 231. Suppose 2*f = 3*o - x, -2*o + 3*f - 21 + 128 = 0. Is 13 a factor of o?
True
Is 14 a factor of 61 - 2 - (-3)/(-1)?
True
Let z be (9*(-4)/(-6))/(-2). Does 4 divide 3 + 18 + -3 + z?
False
Let z be 6/(-8) - 1485/20. Let q = -27 - z. Suppose -2*a + 6*a = 4*w - q, 0 = w + 2*a. Does 8 divide w?
True
Let r = -1 + 2. Let w(c) = 9*c**2 - 1. Let t be w(r). Let u = t + 14. Is u a multiple of 14?
False
Let t be (56/(-42))/((-8)/6). Suppose -p = x + 5, -8 = 2*x + 2*x. Is (-5)/p*(2 + t) even?
False
Let j = 111 + -23. Does 22 divide j?
True
Let t = 155 + -26. Is t a multiple of 40?
False
Let o(q) = 5*q + 2. Let y be o(6). Suppose 8 + y = 5*z. Is 4 a factor of z?
True
Suppose 4*l + 65 = 4*t + 3*l, -3*l = -4*t + 67. Suppose -5*n - 101 = -4*g, 2*g - 4*n - 74 = -t. Does 16 divide g?
False
Suppose -102 = -a - a. Does 14 divide a?
False
Suppose -3*p = -6*p - 6. Let x(z) be the second derivative of z**4/4 + z**2/2 - z. Does 11 divide x(p)?
False
Suppose -306 = -3*y - 4*o, 0 = 2*y - 6*y - 5*o + 407. Does 27 divide y?
False
Let n(u) = -u**2 - 4*u - 1. Let k be n(-5). Let b = 13 + k. Does 4 divide b?
False
Suppose -3*f - 23 + 5 = 0. Let o(g) = g**3 + 7*g**2 + 3*g. Let i be o(f). Let c = i - 13. Does 5 divide c?
True
Suppose -2*i = 4*a - 72, -42 = -i + a - 6*a. Is i a multiple of 16?
True
Let v(o) = 7*o - 3. Let u(s) = 6*s - 3. Let q(a) = -6*u(a) + 5*v(a). Let g be q(0). Suppose -w + g = -31. Does 17 divide w?
True
Suppose z + 4*s = -0*s + 34, -5*z - 4*s = -122. Is z a multiple of 22?
True
Let q = 25 - 15. Suppose -3*t = 5*p - 5*t - q, 5*p = -2*t - 10. Suppose p = -l - 2*l - i + 73, -47 = -2*l + i. Does 9 divide l?
False
Let k(d) = d**3 - 9*d**2 - 10*d - 10. Let c be k(10). Let m = -7 - c. Is 3 a factor of m?
True
Suppose -5*g = -2 - 18. Suppose 2*b = -2*b, -b + 24 = -g*j. Let y = 30 + j. Is y a multiple of 12?
True
Let k = -1 - -2. Is 9 a factor of (0 + (-3)/k)*-3?
True
Is 8 a factor of (-1 - 3) + 7*6?
False
Let h = 396 - 228. Is h a multiple of 14?
True
Suppose 4*k + 2*g - 1000 = 0, 757 = 2*k + k + 5*g. Does 9 divide k?
False
Let n(m) = -34*m**3 + 2*m**2 - 1. Let c = 3 + -4. Let z be n(c). Suppose -15 = 5*i - z. Is i a multiple of 4?
True
Let k = 88 + 0. Is k a multiple of 11?
True
Let f be (-1 + (-3)/(-2))*0. Suppose f = 3*t - o - 16, 5*o = 2*t - 4 + 2. Is 3 a factor of t?
True
Let u = -2 + 0. Let k(d) = -2*d + 10. Let t(l) = 1. Let r(c) = 4*k(c) - 40*t(c). Does 13 divide r(u)?
False
Suppose -a + 142 = a - 4*v, -5*a + 2*v + 315 = 0. Suppose 5*x - 19 - a = 0. Does 6 divide x?
False
Is 3 - (-8)/12*141/2 a multiple of 10?
True
Does 6 divide (-5 - -3) + 3 + 8*2?
False
Let p be (4/3)/((-14)/(-21)). Suppose p*g = 5 + 55. Does 14 divide g?
False
Suppose 0 = -0*t + t 