 divide m/(3 + (-7)/2)?
False
Suppose 21000 = 55*l - 31*l. Is l a multiple of 35?
True
Suppose -3*z = -5*z + 30. Does 7 divide z?
False
Let p = -31 + 28. Let s be p + 2 + -1 - -60. Suppose 4*t = s + 186. Is 23 a factor of t?
False
Let t(l) = -43*l**2 - l. Let x be t(2). Is 11 a factor of x/(-16) + -2 + (-68)/(-32)?
True
Let r(i) = i**2 - 15*i - 22. Let a be r(19). Suppose -2*m - a = -3*m. Is m a multiple of 11?
False
Suppose 4*y - 6*y - 26 = -2*d, 0 = -5*y - 3*d - 33. Is 12/y*306/(-12) a multiple of 4?
False
Let v(s) = -s**3 - 7*s**2 - s + 6. Let k be v(-7). Let m = 73 - k. Is 45 a factor of m?
False
Let f = 29 - 40. Let i be 1879/11 + (-2)/f. Suppose -4*z + z + i = 0. Is z a multiple of 16?
False
Suppose -1716 = -2*w + o, 13*w - 8*w - o = 4290. Does 13 divide w?
True
Suppose 1626 = 2*u - 3*b, 11*u - 6*u = -5*b + 4090. Does 30 divide u?
False
Suppose -4*c - 356 = -5*p, 0 = -c + 7*p - 2*p - 89. Let h = c + 143. Is 18 a factor of h?
True
Let f(x) be the third derivative of -5*x**4/12 + x**3/3 - x**2. Does 6 divide f(-4)?
True
Suppose -3*i - 9 = -3. Let l = i - -4. Suppose h - 4*w = 28, -3*h = -2*w - l*w - 52. Does 12 divide h?
True
Let n(q) = q**2 - 15*q - 6. Let l(r) = r**2 - 8*r - 3. Let a(d) = 5*l(d) - 3*n(d). Let g(t) = 2*t**2 - 6*t + 1. Let i be g(2). Is a(i) a multiple of 2?
True
Let m(a) = -28*a + 15. Is 11 a factor of m(-3)?
True
Let v be (-2)/(-12) - (-1)/(-6). Suppose 2*q + 4 + 0 = v. Is 18 a factor of 1/(3/(-108)*q)?
True
Suppose 0 = 3*g + 3*n - 27 - 51, -15 = -3*n. Is g a multiple of 4?
False
Let l = -17 - -11. Suppose -4*q = -9*q - 2105. Does 14 divide (-22)/132 + q/l?
True
Let s be -4 + (0/1 - 6). Let h = -2 - s. Suppose -w = w - h. Is 4 a factor of w?
True
Let l(r) = -2*r**3 + 24*r**2 + 3*r + 24. Does 3 divide l(12)?
True
Let p(q) = q**3 - 2*q**2 + 2*q - 6. Let k be p(3). Let t = k + 29. Is 19 a factor of t?
True
Suppose -19*g - 17680 = -45*g. Is 34 a factor of g?
True
Suppose 204 + 660 = -9*q. Let v = q - -111. Is 10 a factor of v?
False
Let z(n) = -n**2 - 7*n - 8. Let h be z(-8). Let j = 21 + h. Suppose -p - j = -51. Is 35 a factor of p?
False
Let b be 3 + 3 + -4 + 3. Suppose b*a - a - 8 = 0. Let n(k) = 10*k + 3. Is n(a) a multiple of 23?
True
Suppose 2*i + 40 = -18*i. Does 6 divide ((-1080)/48)/(1/i)?
False
Suppose -7*w - 2*w + 1053 = 0. Suppose -o = 2*o - w. Is 4 a factor of o?
False
Let f = -3 + 9. Let b be (-132)/(-36) + (-1)/(-3). Let j = b + f. Is 2 a factor of j?
True
Suppose -3*p = -4*d + 254, 2*d - 6*p = -p + 134. Does 8 divide d?
False
Let o = -289 - -186. Let c = o - -37. Let t = c - -102. Does 18 divide t?
True
Let y = 26 - -49. Suppose x = -5*k - 10, 0 = -4*x - 3*k - y + 18. Is 6 a factor of ((-18)/3)/2 - x?
True
Let u(z) = 263*z + 1. Let d be u(1). Suppose 4*t + d = 12*t. Does 11 divide t?
True
Let h = 30 - 34. Let z be (16/h)/8*-6. Does 13 divide -13*(4 - 24/z)?
True
Suppose 4*n = 15 + 5. Suppose n*s + 36 = 8*s. Does 4 divide s?
True
Suppose -6*f + f + 3*o - 35 = 0, 3*o = -15. Let i(t) = 19*t**2 - t. Let z be i(-1). Let j = f + z. Does 4 divide j?
False
Let f(b) = -22*b + 108. Does 6 divide f(-6)?
True
Let j(m) = m**3 + 6*m**2 - 7*m - 5. Let n be j(-7). Let i be (n - -9) + -1 + -40. Is i/(-3) + 5/(-15) a multiple of 4?
True
Suppose 23 - 155 = 4*p. Let n = -23 - p. Is n a multiple of 10?
True
Suppose -9 + 57 = 4*y. Let i = 16 - y. Suppose i*w + 0*w = 108. Is w a multiple of 8?
False
Let k(q) = -16*q + 216. Does 24 divide k(0)?
True
Let o be (-220)/6 + 4/6. Let x = -15 - o. Does 12 divide x?
False
Let i(q) = 3*q - 4. Let x(d) = 4*d - 5. Let j(n) = 6*i(n) - 5*x(n). Let t be j(-11). Let u = 62 - t. Is u a multiple of 24?
False
Suppose -11*y + 10*y + 144 = 0. Is y a multiple of 12?
True
Let y(i) = -3*i + 13. Let o be y(9). Let n = o + 1. Does 4 divide 25 + n + 4/1?
True
Let q = -1893 - -2249. Does 4 divide q?
True
Let u = -16 - -50. Let o = 73 - u. Does 20 divide o?
False
Suppose -29 - 6 = 5*s. Let f be (-33)/s - 16/(-56). Suppose -t + f + 2 = 0. Is t a multiple of 2?
False
Let g(d) = -6*d - 4*d - 4 + 13*d + 11*d. Let b be g(4). Does 11 divide (b - 0)*24/32?
False
Let i(o) = 2079*o**2 - 2*o - 1. Is i(-1) a multiple of 20?
True
Suppose -4*b = -2*b + d + 3, 4*b + 3*d + 9 = 0. Suppose -6*g - 7 + 97 = b. Does 3 divide g?
True
Let m(n) = -17*n + 2. Let f be m(2). Let d be 2709/42*(-2)/(-3). Let u = d - f. Is u a multiple of 21?
False
Let x(h) be the first derivative of -3*h + 7 - 3/2*h**2. Does 9 divide x(-4)?
True
Let q(s) = -s**3 + 10*s**2 + 10*s - 110. Is 23 a factor of q(6)?
False
Let d be (1 - -3) + (4 + 396)/4. Let b = 182 - d. Is b a multiple of 15?
False
Does 14 divide (-24134)/(-18) - (632/72 - 9)?
False
Let c = -3758 - -2438. Is (c/50)/(2/(-10)) a multiple of 11?
True
Let o be (-374)/(-22) - (1 - 0). Let q be (o/20)/(4/10). Suppose q*u - 5*m = -0*u + 39, 5*u - 132 = m. Is u a multiple of 27?
True
Is 5 a factor of 1/(-6 + (-831)/(-138))?
False
Let i = 499 - 428. Does 19 divide i?
False
Suppose -5*m + 77 = -133. Let a = 175 - m. Does 10 divide 2/7 - (-3686)/a?
False
Suppose -2*l + 122 = -3*d - 0*l, -5*l = 5*d + 220. Suppose -3*r + 186 + 47 = -p, r = -p + 71. Let z = r + d. Does 17 divide z?
True
Let u(i) = -i**3 - 9*i**2 - 4*i - 30. Let b be u(-10). Suppose -9*p = c - 5*p - b, -c + 138 = -3*p. Does 9 divide c?
True
Let y(k) = 3*k**2 + 180*k + 283. Does 14 divide y(-71)?
False
Let g(d) = -6*d - 4. Let m be g(-5). Let v = 6 - -22. Suppose k - m = v. Does 18 divide k?
True
Let a(d) = -19*d + 45. Suppose 34 = -5*m - 11. Is 24 a factor of a(m)?
True
Let h(l) = l**2 + 4*l - 1. Let v be h(-5). Suppose -v*a - 3*a + 441 = 0. Does 21 divide a?
True
Is (-1512)/(-420)*(-670)/(-4) a multiple of 3?
True
Let s(b) = b**2 + b - 4. Let t be s(-3). Suppose -t*l = 5*h + 11, 8*l - 5*l + 14 = -5*h. Is 4 a factor of 13 + h + -2 + 3?
False
Is -298*(-11)/6 - 219/657 a multiple of 7?
True
Suppose -3*g + 1274 = 10*g. Is 4 a factor of (-84)/g*168/(-2)?
True
Let h be 2 - 0 - (-17 - (-4)/(-1)). Let f = -5 + h. Is 11 a factor of f?
False
Let c = 299 + -95. Let t = c - 112. Is 6 a factor of t/(7 + -3) + 1?
True
Suppose 11*j - 759 = -12*j. Does 3 divide j?
True
Suppose c + 4*n + 125 - 385 = 0, -5*n = -c + 260. Is c a multiple of 20?
True
Suppose -35*q + 84 = -41*q. Does 6 divide (-30)/105 - 858/q?
False
Suppose 0 = 5*t - 56 - 44. Let a = t + -15. Suppose 52 = a*s - 93. Is s a multiple of 9?
False
Suppose f - 2065 + 67 = 0. Does 74 divide f?
True
Let c = -689 - -1274. Is 9 a factor of c?
True
Let x be (-6)/14 - (-23200)/70. Suppose x - 127 = 4*n. Is n a multiple of 16?
False
Suppose 24397 = -6*d - 983. Is 17 a factor of d/(-24) + (-9)/(-12)?
False
Let i(y) = -3*y**2 - 67*y + 44. Does 33 divide i(-22)?
True
Let i be (-395)/25 - 1/10*2. Let h(n) = -n**3 - 16*n**2 - 11*n + 14. Is 35 a factor of h(i)?
False
Let d = -49 - -38. Suppose -2*b - 4 + 31 = -5*a, -8 = 2*b. Let m = a - d. Is m a multiple of 4?
True
Let u(r) = 2*r**2 + 2*r + 20. Is 15 a factor of u(-5)?
True
Let s(x) = -x**3 + 21*x**2 + 24*x + 16. Is s(22) a multiple of 15?
True
Let t(v) = -2*v**3 + 6*v**2 - 2*v - 2. Let h be t(2). Suppose 3*n + 134 = h*w, 6*w - 264 = 2*w + 4*n. Does 32 divide w?
True
Suppose -3*o - 3*b + 3312 = 0, -o - 25*b + 27*b = -1104. Is o a multiple of 4?
True
Let j(t) = 12*t**2 - 19*t + t**3 + 185 - 198 + 3*t**2. Does 25 divide j(-16)?
False
Let q be 52/(((-3)/(-2))/(-3)). Let d = 152 + q. Does 12 divide (3/(-4))/((-3)/d)?
True
Let b(w) = 2*w**2 - 6*w + 12. Is 3 a factor of b(6)?
True
Suppose -4 = -14*m + 12*m. Suppose 6*s - 2*p - 396 = s, -m*s + 2*p = -162. Suppose w + w = s. Is w a multiple of 13?
True
Suppose 0 = 32*j - 4*j - 28. Let f(g) be the second derivative of 2*g**3 + g**2 + g. Is 7 a factor of f(j)?
True
Let j(v) = 0 - 6 + 4 + 8*v + 0. Let q = 11 - 7. Is j(q) a multiple of 10?
True
Let x be -2 - -6*4/6. Let d be (21/6)/(-7)*x. Is -78*(-2)/(-6)*d a multiple of 13?
True
Let v(f) = -58*f**3 + 5*f**2 + 6*f - 2. Is v(-2) a multiple of 10?
True
Suppose -h + 3*y = -0*y - 54, 3*h - 5*y = 154. Let p = h + -19. Is 11 a factor of p?
False
Let h be (0 - 0)/(0 + -2). Suppose -4*u + 4*p = -h*p - 52, u - 13 = -5*p. Suppose -119 = -3*w + u. Is w a multiple of 18?
False
Suppose -2*q + 82 = 2*a, -3*a = -11 + 5. Is q a multiple of 11?
False
Suppose d + 32 = -6. Let j = -63 +