10*m - y*m - 560 = 0. Is m a multiple of 14?
True
Suppose q - 2*z = 1108, 4*q + 14*z - 4380 = 9*z. Does 49 divide q?
False
Suppose -5*h - z + 124 = 2*z, 5*h - 122 = -4*z. Let j be (-22)/(-4)*1*h. Let x = -79 + j. Is x a multiple of 32?
True
Let o be (-2 - -5 - 5) + -1 - 3. Is (o/(-18))/((-2)/(-132)) a multiple of 13?
False
Let k(z) = 67*z**2 - 2*z - 1. Let p be k(-1). Let o be (0 + 0 + 0)/1. Suppose -t + 1 = -1, 3*y - 2*t - p = o. Does 12 divide y?
True
Suppose 6*r = -1143 + 3621. Is r a multiple of 19?
False
Let a(y) = 4*y**2 + y + 4. Suppose 2*l - 3*g = g + 8, -2*g = 2*l + 10. Is 3 a factor of a(l)?
True
Suppose -37*s + 32*s = -2200. Is s a multiple of 55?
True
Suppose 2499 - 229 = 5*j. Does 6 divide j?
False
Let z = 91 + -184. Is z*(2 + 3/(36/(-28))) a multiple of 31?
True
Let j(m) = m**3 - 13*m - 6. Is 12 a factor of j(6)?
True
Suppose 2*t = -3*x + 5*t + 69, -82 = -4*x - t. Does 20 divide x?
False
Is 60 a factor of 57 - -1 - ((-77)/(-11) + -9)?
True
Suppose 0 = 5*a - r, -3*a = -2*a - 5*r. Suppose i + 1 = 6. Suppose f - 75 = -4*c + c, a = -i*f - 3*c + 363. Is f a multiple of 13?
False
Let l(f) = f**3 + 5*f**2 - 6*f + 6. Let m be l(-6). Let x(b) = -5*b**2 + 2*b - 2. Let y(s) = s**2. Let o(d) = -x(d) - 4*y(d). Is 13 a factor of o(m)?
True
Suppose 2*i + 7 = 5*y + 6*i, 2*y - 16 = 5*i. Suppose 3*r - 4*o - 353 = 0, r = -y*o + 2*o + 120. Is 6 a factor of r?
False
Let h(z) = -7*z + 119. Does 4 divide h(-8)?
False
Let f(x) = -x**3 + 9*x**2 + 22*x + 4. Let y be f(11). Suppose 0 = 5*i - y*i - 111. Does 36 divide i?
False
Suppose 3*a - 10 = -2*a. Let k = 26 - -64. Suppose -6*w = -a*w + 5*f - 113, 5*w = 4*f + k. Is 11 a factor of w?
True
Suppose -3*i + 448 = -i. Is 30 a factor of i?
False
Suppose -471*f + 1467 = -468*f. Is f a multiple of 20?
False
Let f = 70 - 16. Suppose -54 = -4*p + f. Is p a multiple of 3?
True
Suppose 0 = -5*x + 98 + 282. Suppose x = 9*b - 212. Is 8 a factor of b?
True
Let y = -8628 + 4968. Is 30 a factor of (-1)/(-3) - y/36?
False
Let a(q) = -3*q**2 + 4*q**2 - 3*q - q**2 + q**2. Suppose 1 = 2*l - 9. Is 8 a factor of a(l)?
False
Suppose -2*w = -3*i - 24, 2*i + 2*w = -2*w. Is (33/i + -1)*-14 a multiple of 21?
False
Let j(g) = -g**2 + 7*g - 8. Let w(n) = -n**2 - 7*n - 5. Let a be w(-3). Let t be j(a). Is (119/14)/((-2)/t) a multiple of 17?
True
Let l = -85 - -108. Is 4 a factor of l?
False
Let n(w) = w + 594. Let f be n(0). Suppose -6*m + f = -0*m. Does 8 divide m?
False
Suppose 2*w - w - 251 = 0. Suppose -2*s + 5*j + w = 0, -5*s - 4*j = -418 - 127. Does 28 divide s?
False
Let x = 26 - -202. Is x a multiple of 4?
True
Is 22 a factor of 32994/30 - 2/(-10)?
True
Is 2544/40 - 10/(-25) a multiple of 32?
True
Suppose 84 + 103 = -17*f. Let y be (-45)/(-2)*8/10. Let n = f + y. Does 2 divide n?
False
Let n(t) = -t + 3. Let p be n(-12). Let q = 79 + p. Does 30 divide q?
False
Let v(p) = p**3 - 2*p**2 + 2*p - 1. Let q be v(2). Suppose 2*m = -4*z + 150, 4*m - 288 = -5*z + q*z. Is m a multiple of 19?
False
Suppose -4*g + 4*b = -360, 4*b + 90 = -8*g + 9*g. Is g a multiple of 10?
True
Let r(g) = -g**3 + 10*g**2 - 10*g + 7. Let v be -2 - (-13 - (-2 - 0)). Let p be r(v). Is 9 a factor of ((-364)/(-39))/(p/(-3))?
False
Suppose -l = -3*o + l + 15, 3*o + 3*l = 0. Let r(z) = -2*z**2 + 42*z + 11. Let g be r(21). Suppose o - g = -i. Is i a multiple of 4?
True
Let n(i) = -474*i**3 + i + 2. Is n(-1) a multiple of 19?
True
Let q(r) = 4*r**2 + 4*r. Let l(s) = -s. Let c(f) = 6*l(f) + q(f). Let j be ((-14)/(-49))/((-2)/14). Does 10 divide c(j)?
True
Let b be 1 - (-7)/(-2) - (-8)/(-16). Let i = -17 - -24. Is (-39*i)/b - 1 a multiple of 30?
True
Let f be (-63)/14*(-32)/6. Suppose -2*v + 20 = -f. Suppose -7*z = -5*z - v. Is 11 a factor of z?
True
Suppose 0*f + 4*f - 12 = 0. Let l(i) = i**2 - 3*i - 1. Let d be l(3). Is (d - f) + 8 + 24 a multiple of 13?
False
Suppose 2*t = 5*t + 27. Let u be t/(-3)*8/(-24). Let h(w) = -66*w - 1. Is h(u) a multiple of 13?
True
Suppose o - x = 3*x - 17, -2*o + 4*x - 14 = 0. Suppose o*j = -5*g + 84, -5*g + g = 2*j - 66. Is 3 a factor of g?
True
Suppose 5*j - 5 = 0, -2*q = j + j + 94. Let c = q - -78. Is 6 a factor of c?
True
Let k(v) be the first derivative of -29*v**4/4 - v**2/2 + 7. Let q be k(1). Let y = -17 - q. Is y a multiple of 13?
True
Suppose 3*o = z + 1882, 1883 = 3*o - 3*z + z. Is o a multiple of 86?
False
Let l = -2 + 0. Let r = 21 - l. Suppose y - r + 9 = 0. Is 7 a factor of y?
True
Is (1242/4)/(-1)*(-180)/135 a multiple of 23?
True
Let p(x) = -x**2 + 4*x + 7. Let m be p(5). Suppose 5*l = -m*q - 14, 4*q + 4*l + 5 = 1. Suppose -135 = -2*b - q*b. Is b a multiple of 16?
False
Let l = -26 - -28. Suppose 4*s = l*s + 124. Is s a multiple of 19?
False
Suppose 47 = -5*d - 53. Let v(h) = -h**3 - 19*h**2 + 19*h + 21. Is 41 a factor of v(d)?
True
Let b = -180 - -125. Is (2 - -8)*b/(-25)*4 a multiple of 12?
False
Suppose -2*b + 2*u = -8, -b - 5*u + 12 - 32 = 0. Suppose -m + 335 = -3*n, 5*n - 1255 = -4*m - b*n. Is 16 a factor of m?
True
Let c(d) = 21*d**2 - 8*d + 1. Let n be c(2). Let k = 27 + n. Is 41 a factor of k?
False
Let i be 4/(-2) + (-1 - -1). Let j = 11 - -5. Does 6 divide ((-9)/4)/(i/j)?
True
Suppose 4*v + 42 - 74 = 0. Suppose v*t = 3*t + 205. Is t a multiple of 8?
False
Let v be (6 - 2) + -2 + (-1 - -1). Suppose 0 = -p + 2*k + k + 12, 5*k = -3*p - 6. Suppose 173 = p*x + v. Does 19 divide x?
True
Let f = -7 - -34. Let c(w) = w**2 + w + 1. Let j be c(-2). Suppose 2*q + 4*o = -2*q + 108, -j*o = q - f. Is 9 a factor of q?
True
Let x(y) = -1 - 2*y**2 - 6*y + 0 + 2 + 3*y**2. Let l be x(5). Let k = 36 + l. Is 16 a factor of k?
True
Suppose 0 = 5*p + 5 + 20, -p - 1949 = -4*o. Does 27 divide o?
True
Let l(n) = -27*n**2 - 2*n + 1. Let r be l(1). Let h = -26 - r. Suppose -h*o + 66 = 2*g, g + 173 = 5*o - 2*g. Is o a multiple of 11?
False
Is 11 a factor of 591 - 8*9/(-9)?
False
Is 10 a factor of (-225)/(-2)*(-14 + (-58)/(-3))?
True
Suppose 22676 + 28636 = 16*z. Is z a multiple of 65?
False
Let u(s) = s**3 - 6*s**2 + 3*s - 4. Let d be u(4). Let w = d - -26. Suppose z = m + 2*m - 3, -4*z = -5*m - w. Does 2 divide m?
True
Let a be (-164)/451 - (-1049)/11. Let x = -153 - -100. Let t = a + x. Is 9 a factor of t?
False
Let x = 71 - 46. Suppose 2*g + g = -54. Let i = x + g. Is i a multiple of 5?
False
Suppose -4*y + 7*y - 9 = 0. Suppose 4*s - 76 = -3*n, -y*n + 3*s + 116 = -s. Is n a multiple of 13?
False
Let b(z) = z**2 + 3*z + 31. Is b(9) a multiple of 7?
False
Let t be -6*((-6)/(-16))/(3/84). Let l = 162 + t. Is 9 a factor of l?
True
Let n(i) = -i**2 - 12*i - 16. Let q be n(-11). Is 0 - q/((-25)/(-210)) a multiple of 8?
False
Let q(y) = 204*y + 48. Is q(12) a multiple of 7?
False
Let y = 555 + -318. Does 15 divide y?
False
Let y be -1 + (0 - -35) - -3. Suppose -2*h + y = -h. Is h a multiple of 12?
False
Let x be (-5)/10*(2 - 12). Let d be (-15)/(-6)*28/x. Does 2 divide ((-24)/d)/(6/(-21))?
True
Let b(n) = -n**3 - 13*n**2 - 23*n - 7. Let u be b(-11). Is (-820)/(-60) - (u/6 - 0) even?
False
Let v = -1820 + 3020. Is v a multiple of 5?
True
Suppose a - 2021 = n, 18*a + 3*n = 17*a + 2021. Is 47 a factor of a?
True
Let l = 454 - 349. Is l a multiple of 15?
True
Suppose 5*x - 33 = 77. Let j = -15 + x. Is 2 a factor of j?
False
Suppose -v + 2*v - 77 = 0. Suppose 0*b + v = 7*b. Is 2 a factor of b?
False
Let i = -183 + 345. Does 9 divide i?
True
Is 104 a factor of (-4)/(-28) + (-29)/((-609)/32778)?
False
Suppose 6*d = 3*n + 2*d - 3424, -2*n + 4*d + 2276 = 0. Suppose 9*s + n = 16*s. Is 32 a factor of s?
False
Let y = 46 + 146. Suppose 0*m + 2*h = 5*m - 19, -m - 2*h - 1 = 0. Suppose -q + y = m*q. Does 12 divide q?
True
Let h be (0 + -1)*-4*1. Let q(f) = f - 2. Let b be q(5). Suppose -b*o + 14 = -h. Does 4 divide o?
False
Let q(x) = 3*x**2. Let y = 7 + -6. Let r be q(y). Suppose -i - u = -18 + r, -4*i = u - 69. Is i a multiple of 4?
False
Suppose 0 = -5*t + 5*i + 2795, 0*t + 3*i - 2222 = -4*t. Does 29 divide t?
False
Suppose 0 = -4*c + 2*t + 6716, -t = c + 4*c - 8402. Does 30 divide c?
True
Let t = 655 + -17. Does 14 divide t?
False
Is 4 a factor of 2/24 + (-2 - 14990/(-120))?
False
Suppose 10692 = 15*i + 18*i. Does 36 divide i?
True
Suppose -20*f + 1964 = -19*f. Is f a multiple of 36?
False
Let h be (-10 - -4)*10/6. Let o = h + 85. Is 15 a factor o