= -2*p. Let c be g(-19). Suppose 27 = 3*n - 2*s, -3*s - c = -5*n + 8. Is n a multiple of 11?
True
Let h be (-7)/35 - (-198)/(-10). Does 22 divide (8/10)/(h/(-2750))?
True
Suppose -11 = -3*m - 2. Let v(j) = 7*j**2 - 11*j. Is v(m) a multiple of 7?
False
Let d(p) = p**3 - 4*p**2 + 4*p - 41. Let t be d(5). Let u be (-107)/(-2) + (-1)/2. Suppose -j + t*q + 86 = 17, 0 = -j - 4*q + u. Does 30 divide j?
False
Let a = -10 + 14. Suppose m + a*m = 10. Suppose t - 61 = -6*j + 3*j, -4*t = -m*j - 244. Does 13 divide t?
False
Let j be 2/3 - (-4)/12. Let d(i) = 31*i**3 + i**2 - i + 1. Is 6 a factor of d(j)?
False
Let h = -5 - -13. Suppose i + 3 - 7 = -w, 2*i - h = -3*w. Suppose w = -2*k + 3*k - 48. Does 16 divide k?
True
Let t(q) = -q**2 - 41*q + 158. Is t(-34) a multiple of 8?
False
Let j = 1669 + -1170. Is j a multiple of 10?
False
Let d = -90 - -94. Does 11 divide (1 - 5)/d + 55/1?
False
Let a = 21 + -7. Suppose -5 = 3*p + 1, -4*p - a = -2*l. Suppose l = 4*b + 11, -4*b + 40 = 4*v. Does 6 divide v?
True
Suppose -7*w + 0*w = -28. Suppose 171 = 3*r + 2*x + 12, 212 = w*r + 5*x. Is 19 a factor of r?
False
Let y be ((-42)/12)/(2/(-4)). Let h(t) = 6*t - 24. Is h(y) a multiple of 17?
False
Suppose -7*h - 918 + 351 = 0. Let d = 144 - h. Is d a multiple of 45?
True
Is 11 - 6 - (-6 - 1369) a multiple of 60?
True
Suppose -4*q + 22 = 6. Let x = 394 + -390. Suppose 182 = 5*o + x*i, q*o - 4*i - 2 = 122. Does 10 divide o?
False
Let x = 7 - 2. Let c(s) = -s**3 + 6*s**2 + 10*s - 23. Let v be c(7). Let r = x - v. Does 6 divide r?
False
Suppose 2*d + 6 + 10 = 0. Let s be d/6*(-6 - 0). Suppose 3*h - s = -2*i + i, -4*i = 2*h - 72. Does 9 divide i?
False
Is 605/1 - (12 - 19) a multiple of 6?
True
Suppose 683*l - 4096 = 679*l. Is l a multiple of 24?
False
Suppose -39*t + 88742 = -66205. Does 58 divide t?
False
Suppose -1 = v - 5*u, u + u + 2 = -2*v. Suppose -y + 48 = y. Does 8 divide -1 + y - (v - 0)?
True
Let d(s) be the second derivative of 1/3*s**3 + 0 + 2*s + 7/12*s**4 + 1/20*s**5 - 5/2*s**2. Is 14 a factor of d(-3)?
False
Let p be (11 - 18)*(0 + -1). Suppose p*g = g - 246. Let d = g - -152. Is d a multiple of 38?
False
Let k = 59 + -11. Let u = -15 + k. Is u a multiple of 3?
True
Let l = 11 + -1. Suppose 80 = -2*z + l*z. Does 2 divide z?
True
Suppose 3*m + 27 = 12*m. Let x(g) = -1. Let z(n) = -n**2 + 2*n + 1. Let b(h) = -2*x(h) - z(h). Is b(m) even?
True
Let h = -666 - -1053. Is 36 a factor of h?
False
Let f(z) = -z**3 + z**2 - 146. Let w be f(0). Let x be (33/6)/((-6)/72). Let m = x - w. Is m a multiple of 16?
True
Let a = -16 - -16. Suppose 0 = -a*z + 12*z - 252. Is 7 a factor of z?
True
Let d(f) be the third derivative of -f**5/60 + 3*f**4/8 + f**3/2 + 2*f**2. Let k be d(9). Suppose z - 8 = k*h, 74 = 5*z - 0*h + 2*h. Is 7 a factor of z?
True
Suppose -2*q + 1564 = j, j + 5*q - 483 = 1075. Does 32 divide j?
True
Let h(m) = m**3 + 7*m**2 - 13*m + 146. Is 39 a factor of h(11)?
False
Suppose -764 = -3*v + 4*p, -30*v + 1258 = -25*v + p. Does 7 divide v?
True
Let c(a) = 15*a**2 + 6*a - 12. Let d be c(-5). Let h = d + -190. Is 22 a factor of h?
False
Let c(q) = -q**3 - 5*q**2 - 4*q + 3. Let v be c(-4). Suppose 0 = -3*r + 15 - v. Suppose f - 4 = 3*y + 6, -f + r*y + 8 = 0. Is f a multiple of 10?
False
Let t = 24 - 20. Suppose c - 19 = -t. Does 4 divide c?
False
Let m(i) = -54*i**3 + 2*i**2 + 2*i - 1. Is 14 a factor of m(-2)?
False
Suppose -3*d + 221 = -2*q + q, 4*d = -2*q + 308. Suppose 141 + d = 3*c. Does 14 divide c?
False
Suppose -s - 7*i = -4*i - 158, 677 = 4*s + 3*i. Is s a multiple of 4?
False
Let g be ((-72)/21)/((-5)/35). Suppose 0 = 4*r - 0*r - g. Suppose 170 = -r*z + 11*z. Is z a multiple of 17?
True
Let g be (2/3)/(-6 + (-95)/(-15)). Suppose 0*k + 63 = k - 5*c, -g*k + 81 = 5*c. Is 14 a factor of k?
False
Suppose -4*b + 1 = -55. Let u = b - 13. Suppose 87 + u = 4*p. Is p a multiple of 4?
False
Let s(a) = -a**2 - 6*a + 2. Let n be s(-9). Let o = 37 + n. Is o a multiple of 3?
True
Suppose 0 + 3 = t. Let u be 3*(t - (-476)/12). Suppose 4*o = 24 + u. Does 15 divide o?
False
Suppose 4*g = -g + 2*w + 33, 2*g = -4*w - 6. Suppose -63 = -g*f + v, 2*v + 5 = -1. Suppose -f = 3*t + 3, 5*t + 15 = -2*j. Does 3 divide j?
False
Suppose -2*l + 12 = -w - l, -2*w + 5*l = 36. Does 18 divide (152/3)/(w/(-12))?
False
Suppose -2*c - l + 1530 = 0, -112*l = 5*c - 108*l - 3822. Is 9 a factor of c?
False
Let v(x) = -138*x + 16. Does 73 divide v(-2)?
True
Suppose -4 = -12*u + 14*u. Let k(l) = 37*l**2 - 2*l - 9. Does 13 divide k(u)?
True
Suppose -a = 5*b + a + 406, -a + 166 = -2*b. Let s = -2 - b. Does 10 divide s?
True
Let f(j) = 4*j - 13. Let i(u) = -u**2 - 14*u + 9. Suppose -2*w + 34 = -2*m, 2*m = 7*m + 2*w + 64. Let l be i(m). Does 14 divide f(l)?
False
Suppose -2*v = -2*o - 236, v = 4*o - 2*o + 231. Let r = o + 243. Does 11 divide r?
False
Let z(d) = 9*d + 217. Let c be z(-24). Let w = 6 - 4. Suppose w*m - 11 = 5*a, -2*a - 29 = -4*m + c. Is 4 a factor of m?
True
Let s be (198/(-30))/(1/(-15)). Suppose 27 = -3*w + s. Is 6 a factor of w?
True
Does 56 divide 295 + (-2)/2 + -3?
False
Let x(z) = z**3 + 4*z**2 - 4*z + 5. Let j be x(-5). Suppose j*g - 3*g + 6 = 0. Is (-544)/(-56) + g/7 a multiple of 8?
False
Suppose 0 = 2*c + 3*y - 40, 3*c + 2*c = 3*y + 79. Suppose 4*p - 1 = -c. Does 21 divide -8*((-1)/1 + p)?
False
Let l be (-191)/9 - (-6)/27. Let a = l - -23. Suppose -h = 3*f - 4 - 5, -h - a*f = -12. Is h a multiple of 7?
False
Suppose -3*h = 5*c - 28, -3*c + 2*h = 3*h - 16. Let l be (-5)/c*4/(-1). Suppose -3*j - 43 = -l*j. Does 11 divide j?
False
Let v(f) = 37*f**3 - f**2 + f - 1. Let z = 15 + -11. Suppose z*d = 3*d + 1. Does 12 divide v(d)?
True
Is 3 a factor of 24/(-20)*((-1038)/9 + 2)?
False
Let n = 404 - -22. Is n a multiple of 6?
True
Let t be ((-9)/5)/(12/(-40)). Let q be 8/(-6)*(30 - t). Let p = q - -110. Does 39 divide p?
True
Does 14 divide 2/5 - 488/30*-6?
True
Let o(f) be the second derivative of -5*f**3/3 - 4*f**2 + f. Let w be o(18). Let v = -130 - w. Does 29 divide v?
True
Does 14 divide -4 - -6 - (-1 + 1281)/(-4)?
True
Let b(f) = -90*f**3 + 2*f**2 + 3*f + 1. Let w be b(-1). Is (w/(-4))/((18/(-4))/9) a multiple of 15?
True
Let x(h) = h**3 - 9*h**2 + 3. Let f(z) = z**3 - z**2 + z - 1. Let c(y) = -2*f(y) + x(y). Suppose -4*u + 2*d + 0*d = 38, d = -4*u - 23. Is 15 a factor of c(u)?
False
Let u(f) = 22*f**2 - 43*f + 82. Is u(9) a multiple of 7?
True
Let x(m) = m**2 + 12*m + 26. Let h be x(-9). Let u(w) be the third derivative of -w**6/10 - w**5/30 + w**3/6 + w**2. Is u(h) a multiple of 11?
True
Let i be 10*(-12)/(-8) + 2. Suppose 15*m - i*m = -28. Is 3 a factor of m?
False
Let u be (-390)/(-9) - 2/6. Let c = u - 26. Is c a multiple of 17?
True
Suppose 2*q - 184 - 962 = -2*i, -4*q = -5*i - 2319. Is 28 a factor of q?
False
Let w = -186 - -308. Does 54 divide w?
False
Let z = 243 + 987. Is z a multiple of 11?
False
Let m(y) = 2*y**2 - 81*y + 293. Is m(52) a multiple of 19?
False
Let b(h) = -2*h**2 - 5*h - 1. Let u be b(-5). Let d = 36 + u. Let g(k) = k**3 - 10*k**2 + 8*k - 8. Is 24 a factor of g(d)?
True
Suppose -3*g - 3*s = 27, 5*g + 0*s - 3*s = -69. Does 10 divide g/20 + 1256/10?
False
Suppose d = -d - q + 877, -d = 5*q - 425. Is (-2)/12 - d/(-48) a multiple of 4?
False
Let w(v) = -v**2 - 2*v + 3. Let y be w(-2). Suppose -t + 5*a = 2*a - 112, -312 = -3*t - y*a. Is t a multiple of 19?
False
Suppose 7*u = 36*u - 14326. Does 46 divide u?
False
Suppose -3*y + 0*p + 3*p = -846, -286 = -y + 3*p. Does 8 divide y?
True
Suppose 6*p - 2037 - 1329 = 0. Is p a multiple of 60?
False
Suppose -2*i + 3 = -i. Suppose i*j = -3 - 0. Let l(t) = -5*t. Is 3 a factor of l(j)?
False
Suppose 0*l + 2*l = -246. Let d = l - -186. Is 11 a factor of d?
False
Suppose -4*l - 257 = 631. Let x = -96 - l. Is 21 a factor of x?
True
Suppose 5*z + 3*f = -158, 94 + 68 = -5*z - 2*f. Let t = -19 - z. Is t even?
False
Suppose 4*s - 14 - 6 = 0. Suppose -m + 4*y + 7 = 2*y, -m - s*y = 0. Let u(o) = o**3 - 6*o**2 + 4*o + 11. Is u(m) a multiple of 3?
True
Suppose 5*k - 4*o = 111, -6*o + 118 = 5*k - 3*o. Suppose -3*m = -k - 82. Is 6 a factor of (-4)/(-6)*(m - 8)?
True
Let z = 76 - 39. Suppose -4*p + y + 20 = -37, 4*p + 3*y = z. Is p a multiple of 13?
True
Let z(v) = -41*v - 58. Does 48 divide z(-31)?
False
Let l be 2/2*(0/3)/4. Supp