 divide (t/r)/(4/(-18))?
True
Suppose -2*k - h - 7 = 4*h, 9 = -3*h. Suppose -2*j + 4*j = -k. Is 6 a factor of (16/10)/(j/(-10))?
False
Suppose 5*b - 3*h = -973, h - 4*h - 773 = 4*b. Let x = b + 92. Let n = -68 - x. Is 12 a factor of n?
False
Let v(f) = -f**3 + 5*f**2 + 8*f - 9. Let w be v(6). Let q be w/(-4) - (-115)/20. Suppose -q*i + 4*g + 75 = 7*g, 0 = 4*i + 3*g - 60. Does 6 divide i?
False
Suppose 180 = -0*x + 4*x. Does 6 divide x?
False
Suppose -1 = -0*h + h. Let c = h + 7. Let x(p) = -p**3 + 7*p**2 - 5*p + 4. Does 10 divide x(c)?
True
Let j(m) = 2*m**2 + 4*m - 11. Is j(-8) a multiple of 17?
True
Let t(h) = h**2 - 8*h - 1. Let d be t(9). Does 7 divide (-1)/(-1) - (d - 14)?
True
Suppose t + 2*h - 3 = -3*h, -5*t + 15 = -2*h. Suppose -t*m = 2*m - 5*p - 10, -m = -3*p + 4. Does 2 divide m?
False
Suppose 4*u + 5*f + 9 = 59, 3*u - 4*f = 53. Suppose -4*y + u = -5. Suppose y*m - 38 = -0*m + v, m - 4*v = 0. Is m a multiple of 8?
True
Suppose -3*q - 3*c + 57 = 0, 2*q - 2*c - 48 = c. Let d be 4197/(-15) - 1/5. Is ((-24)/10)/(q/d) a multiple of 17?
False
Let o(w) = -4*w + 46. Is 4 a factor of o(9)?
False
Let l be 7/(-2) + (-2)/(-4). Let a be 2/7 + 32/(-14). Is -18*((-3)/l + a) a multiple of 18?
True
Let d(k) = -k**2 + 3*k + 3. Let m be d(4). Is 16 a factor of (-94)/(m - (3 - 2))?
False
Let c = 1 + 5. Let w(b) = -3*b + 1. Let n(i) = -2*i. Let v(m) = -5*n(m) + 2*w(m). Is v(c) a multiple of 13?
True
Let m = -19 - -36. Is 16 a factor of m - 0 - (-9 - -10)?
True
Suppose -4*j = 4*k - 160, 3*k - 5*j = -k + 124. Is k a multiple of 18?
True
Suppose -5*k = -152 + 377. Is (k/12)/(1/(-12)) a multiple of 23?
False
Suppose 5*r - 204 = 9*r. Let i = -26 - r. Does 8 divide i?
False
Let o(a) = a**3 + 5*a**2 + 3*a - 4. Let k be o(-3). Suppose -f + 5*f + 13 = c, -4*c + 41 = -k*f. Is c a multiple of 9?
True
Let h be (3 + 3)*26/4. Is 18 a factor of h - 3*(-1 + 2)?
True
Suppose 6*t - t - 100 = 0. Is 4 a factor of t?
True
Is 7 a factor of (-1243)/(-44) - 3/(-4)?
False
Let x(i) = -2*i**3 + i**2. Let p be x(-1). Let k(f) = 3*f - 3. Let j be k(p). Suppose -a - a + 10 = 2*d, -3*a - j = -4*d. Is 3 a factor of d?
True
Let o(p) = -p**3 - 2*p**2 + 5*p + 5. Let s(j) = -j**3 + 8*j**2 - 4. Let i be s(8). Let z be o(i). Does 8 divide z - 2*(-2)/(-2)?
False
Let q = 58 + -41. Does 4 divide q?
False
Suppose 102 = 4*f - 82. Does 46 divide f?
True
Suppose 5*s - 4*o - 851 = 0, 2*o = -s - 3*o + 147. Is s a multiple of 26?
False
Let f(q) = 9*q**3 - 2*q + 1. Let c = 2 + -2. Suppose c = 4*p - 4 - 0. Is 8 a factor of f(p)?
True
Let c(y) = -3*y - 27. Let w be c(-9). Let a be -1 + (0/(-2) - 1). Is -5*a/(w - -2) even?
False
Suppose -q + 2*j + 10 = 0, 5*q - 2*j - 16 = 10. Suppose -q*v + 73 + 138 = -3*n, 4*n = 12. Is 24 a factor of v?
False
Let p(t) = -t + 144. Let g(q) = -q - 1. Let c(b) = -2*g(b) + p(b). Let d be c(0). Suppose 38 = 4*z + 3*y - 83, 5*z - d = -2*y. Is 10 a factor of z?
False
Let a be (5/(15/(-21)))/(-1). Suppose 0 = 2*s - a*s + 55. Is s a multiple of 4?
False
Is ((-40)/28)/(1/(-7)) a multiple of 5?
True
Suppose -3*w = -7*w + 20. Suppose -4*o = -w*j + j - 132, 0 = o + j - 23. Is o a multiple of 14?
True
Let r = -18 + 24. Suppose 0 = c - r*c + 180. Is 12 a factor of c?
True
Suppose 0 = z - 2*z + 1. Is 23 + (3/z)/(-3) a multiple of 9?
False
Let r be -2*(-7)/(56/(-180)). Let x = r - -89. Does 11 divide x?
True
Let t be (-387)/4 - 6/(-8). Is (-4)/(-14) - t/7 a multiple of 14?
True
Let w(u) = 8*u - 6. Is 15 a factor of w(12)?
True
Let j(n) = -2*n - 1. Let y(b) = -b**2 + 2*b + 1. Suppose -5*c + 2*c - 3 = 0. Let h be y(c). Does 2 divide j(h)?
False
Suppose -5*t - 10 = -40. Let c(b) = b**3 - 6*b**2 + 4*b - 1. Is 13 a factor of c(t)?
False
Does 17 divide (610/(-15))/(6/(-9))?
False
Let d(u) = 13*u**2 - u + 1. Let f be d(1). Let t(c) = -c + 32. Let n be t(f). Let g = n - 12. Is 4 a factor of g?
False
Suppose 20*a - 88 = 18*a. Is a a multiple of 8?
False
Does 20 divide 4/16 + (-198)/(-8)?
False
Let w be 0 - 2/1 - 11. Suppose 8*k - 10*k = -104. Let j = k + w. Does 12 divide j?
False
Let c = 141 - 98. Is 5 a factor of c?
False
Suppose -2*i - 33 = 3*z, -4*i + 44 - 120 = -4*z. Does 21 divide 14/(3/i*-2)?
True
Let s = -11 - -8. Let c be (-25)/(-4) + 2/(-8). Is c/9 - 28/s a multiple of 6?
False
Let v(o) = -28*o - 4. Does 13 divide v(-2)?
True
Let z(q) = 22*q**2 - 7*q - 8. Let v be z(-4). Let l = v + -261. Is 28 a factor of l?
False
Let w(g) = g**2 + 5*g - 6. Let q = -27 - -19. Let n be w(q). Suppose z = -z + n. Does 9 divide z?
True
Let p(c) = 2*c - 9. Let o(g) = 4*g - 1. Let i be o(3). Let l = 18 - i. Does 5 divide p(l)?
True
Does 5 divide 6*5 + 1 + 4?
True
Suppose 19 - 4 = -3*u, 3*n + 2*u - 74 = 0. Suppose 3*x = 26 + n. Is x a multiple of 8?
False
Let d(x) = 2*x + 3. Let s(w) = 3*w + 3. Let u(a) = -4*d(a) + 3*s(a). Is 2 a factor of u(7)?
True
Suppose 3 + 7 = 5*s. Suppose s*f + 20 = 7*f. Suppose -l - 38 = f*v - 9*v, 0 = 4*v + 4*l - 16. Is v a multiple of 7?
True
Suppose 105 = 10*t - 5*t. Is t a multiple of 3?
True
Let f be 3/(-1) - (-110)/2. Suppose -2*d + 58 - 3 = p, -d - f = -p. Is 11 a factor of p?
False
Suppose -287 + 1 = -2*r. Is 11 a factor of r?
True
Let x be 5 + 6/9*-3. Suppose x*g + g = 0. Suppose -8 = -4*r - g. Is r a multiple of 2?
True
Suppose -5*f + 86 = 3*u - 4*f, -5*u = -3*f - 134. Is 14 a factor of u?
True
Let v be 166/3 + 24/(-18). Suppose -3*l = 121 + 143. Is 5 a factor of l/(-9) - (-12)/v?
True
Let g(x) = -x**3 + x + 1. Let v(t) = -4*t**3 - t**2 + 6*t - 1. Let y(h) = -3*g(h) + v(h). Is y(-4) a multiple of 16?
True
Let j(a) = a**3 + 5*a**2 + 5*a + 4. Let k be j(-4). Suppose s - 33 = -k*z + 4*z, -4*s + 4*z + 168 = 0. Is 9 a factor of s?
True
Suppose 0 = -o - 4 + 2, -o + 478 = 5*u. Is 16 a factor of u?
True
Let j(b) = 3*b - 3. Let t be j(2). Suppose -5*v + 21 = -2*v + 3*g, 0 = -5*v - t*g + 25. Does 2 divide v?
True
Suppose -3*p + 2*p + 31 = 0. Does 8 divide p?
False
Suppose f + 2*f - 77 = 2*h, -2*f - 4*h + 62 = 0. Does 27 divide f?
True
Let q = 6 + -29. Let d = 5 - q. Does 14 divide d?
True
Let n = 110 - 64. Is n a multiple of 46?
True
Let d(p) = p**3 + 7*p**2 + 5*p - 3. Suppose -j - 4*j + 25 = 0. Suppose j*s + 39 = 9. Is d(s) a multiple of 3?
True
Let j(r) = 2*r**2 + 18*r + 12. Is j(-12) a multiple of 14?
True
Let z(a) be the third derivative of -1/6*a**4 + 1/120*a**6 + 1/12*a**5 + 2*a**2 + 0 + 0*a - 1/3*a**3. Is z(-4) a multiple of 15?
True
Let f(i) = -i - 4*i + 3 + 5*i**2 + 3*i + 0. Is f(2) a multiple of 6?
False
Let h = -21 - -24. Suppose -95 = -5*o - 3*p, -o + 19 = -0*p - 3*p. Suppose -o = -h*b + 29. Is 16 a factor of b?
True
Let p(x) be the first derivative of x**3/3 - x**2 - x + 2. Let o be p(3). Suppose -13 = -o*m + 3. Is 7 a factor of m?
False
Suppose 3*v - 32 = -v. Is v a multiple of 2?
True
Let o be (-39)/(-9) + (-4)/(-6). Suppose 3*z = -4*m + 10 + 3, -2*m = 3*z - o. Is 4 a factor of m?
True
Let k be -2*2/(-4)*-1. Let h(a) = -1 + 3 + 3 - 10*a - 4. Is h(k) a multiple of 9?
False
Let n be 1/(-3 - 30/(-9)). Let a = n + 0. Suppose g - 3*d = 12, 0 = -6*g + a*g + 3*d + 24. Is 4 a factor of g?
False
Let o be 25/(-5)*(-1 + 0). Let a(f) = f**2 + o*f - 3 + 0*f**2 + 10. Is a(-6) a multiple of 13?
True
Let n(d) = -d**3 - 17*d**2 - 17*d - 22. Let b be n(-16). Is (-9 - b)*68/(-6) a multiple of 15?
False
Suppose l - 14 = -3*c - c, 11 = 3*c + l. Suppose 0 = -2*i + c + 1. Suppose -51 + 14 = -3*p + q, -4*p = -i*q - 48. Does 13 divide p?
True
Let i(t) = -t**2 - 11*t - 4. Let r be i(-7). Let v = 0 + r. Does 8 divide v?
True
Let r be 0 - 3*12/(-9). Suppose -6*f + 8 = -r*f. Suppose -4*v + 0*j = f*j - 52, 0 = 3*v - 4*j - 74. Is v a multiple of 7?
False
Suppose 3*b = -5*x + 34, -2*x - 4*b - b + 25 = 0. Let t(c) = c + 3. Is t(x) a multiple of 6?
False
Is (75 + -1)/((-11)/(-22)) a multiple of 54?
False
Suppose -3*b - 27 = -90. Suppose d - 3 = 5*d - y, -5*y = -2*d + b. Let a(i) = 7*i**2 + 2*i. Is a(d) a multiple of 12?
True
Let u = 28 + 60. Let h = -60 + u. Does 7 divide h?
True
Let h be ((-1)/(-3))/((-1)/6). Let f = h + -4. Let k(p) = -p**2 - 7*p. Does 6 divide k(f)?
True
Suppose -5*o + 525 = 3*v, -8*v + 5*o = -3*v - 835. Does 10 divide v?
True
Let o(a) = a**2 - a + 1. Let w be o(3). Let b(d) = -d + 3. Let g be b(w). Let z(h) = -h**3 - 2*h**2 + 4*h - 2. Does 14 divide z(g)?
True
Suppose -f - 50 +