 = k(s) + 6*z(s). Let p be f(-11). Is p/(-6) - (-115)/10 a multiple of 10?
False
Let u = -712 - -1182. Suppose -13*h + 3*h = -u. Is h a multiple of 47?
True
Let x = -10 + 17. Let n = 10 - x. Suppose -u + 9 = -n. Does 3 divide u?
True
Let z = -11 + 13. Suppose -y + 2*f + 11 = -0*y, z*y - 5*f = 25. Suppose -14 - 11 = -y*u. Is 5 a factor of u?
True
Suppose -1 = -21*c - 1. Suppose 9*a - 1251 - 1827 = c. Is a a multiple of 56?
False
Let l(n) = -22*n. Let w be 18/(-4)*(-14)/(-21). Is 11 a factor of l(w)?
True
Let u(w) = w**3 - w**2 + 19. Suppose 0 = r - 3*r + 4. Suppose 0 = -r*y - 5*y. Is 6 a factor of u(y)?
False
Suppose 5*l - 3*l + m - 2 = 0, 0 = 5*l - 2*m - 14. Let z(v) = 11*v**3 - v**2 + 3*v - 4. Is 15 a factor of z(l)?
False
Let c(r) = r - 12. Let m be c(19). Suppose -m*b + 6 = -5*b. Suppose -s - 2*i + 38 = b*s, 3*i = 3*s - 24. Does 3 divide s?
True
Suppose 3*u + u + 3*w - 79 = 0, -4*w = -20. Let k(b) = -4*b + 5. Let i be k(-2). Let z = u + i. Is 6 a factor of z?
False
Let a be -3 + (-1 - -7) + -3. Suppose a = -2*l + 6*l. Suppose 0*y = -4*j - y + 93, l = -y + 1. Does 14 divide j?
False
Let z(m) = -37*m + 2. Let w be z(3). Let c = 173 + w. Does 16 divide c?
True
Suppose -5 = 5*j + 5. Let g be 56/21 + j/(-6). Does 6 divide 55/g + (-2)/6?
True
Let n(o) = 3*o + 2. Let a be n(1). Suppose a*b = 2*x - 199, -4*b = -3*x - 55 + 371. Does 56 divide x?
True
Let h(r) = 3*r + 16. Let l be h(-7). Let w = l - -9. Suppose g = f + w*f + 80, 5*f = 5*g - 460. Does 22 divide g?
False
Suppose 5*h + 42 = 8*h - 4*g, 2*g = -4*h + 56. Does 13 divide h?
False
Let y(p) = 3*p + 9. Let g be y(-6). Let q(b) = -b - 31. Let o be q(-16). Is (-3)/g - 130/o a multiple of 7?
False
Suppose 2*k - h = 57, k - h + 5*h - 15 = 0. Suppose 0 = 7*z - k - 8. Is z even?
False
Let w = 54 + -49. Suppose 2*h - h = 4*g - 785, 0 = w*g + 3*h - 977. Is 28 a factor of g?
True
Let w(o) = -2*o - 2*o + 27*o**2 + 3*o. Let x = 546 - 547. Does 27 divide w(x)?
False
Suppose 5*r + 17 = 157. Let m(x) = -x**3 - 17*x**2 - 15*x + 1. Let t be m(-16). Let y = t + r. Is y a multiple of 7?
False
Suppose -460 = -f - 4*f. Let n = f - -29. Is n a multiple of 11?
True
Let l(s) = -6*s + 262. Does 10 divide l(17)?
True
Let m(n) = 1 - 5*n + 3 - 1. Let h = -6 - -1. Does 15 divide m(h)?
False
Let p(c) = -5*c + 6. Let f be p(2). Does 5 divide ((-24)/15)/(f - (-238)/60)?
False
Suppose -2*h - 1 + 21 = -2*o, 30 = 5*h - o. Suppose -2*b - 4*j = 12, 0*b + h*b - 3*j = 35. Suppose 2*q - b*q + 120 = 0. Is 20 a factor of q?
True
Let n = 0 - -25. Suppose -5*v + n = -2*s - 3*s, 2*s = 4. Does 13 divide v + 9 - (3 + 0)?
True
Let h = 1325 + -985. Is 20 a factor of h?
True
Let l(v) = 23*v**2 + 4*v - 26. Let o be l(4). Suppose o + 55 = 7*b. Is 6 a factor of b?
False
Let p(z) = -z**3 + 26*z**2 + 39*z - 54. Is 10 a factor of p(26)?
True
Suppose 234*c = -2*k + 238*c + 772, -c - 1558 = -4*k. Does 3 divide k?
True
Let m(u) = -u**3 + 18*u**2 + 19*u - 4. Let b be m(19). Is 13 a factor of (53 - 12/(-4)) + b?
True
Suppose -c + 3*g + 1647 = 0, 27*g - 8291 = -5*c + 28*g. Does 79 divide c?
True
Let h = 311 + -305. Does 3 divide h?
True
Let g(m) = 85*m + 13. Let u(y) = -57*y - 9. Let x(w) = -w**2 + 11*w - 5. Let r be x(10). Let h(j) = r*g(j) + 7*u(j). Is 11 a factor of h(3)?
False
Suppose a = -2*a + 414. Let j = 11 + -11. Suppose w - 3*w + a = j. Does 23 divide w?
True
Let p(c) = c**3 + 4*c**2 - c - 2. Let u be p(-4). Let s be u/4 + 9/2. Suppose 0 = s*a - 2*r - 298, 175 + 62 = 4*a - 3*r. Is 16 a factor of a?
False
Suppose -15*z = 4930 - 18700. Is z a multiple of 17?
True
Let r(a) = 5*a**2 - 5*a - 3. Let c(q) = 3*q + 3. Let y be c(-2). Let m be r(y). Let d = m + -17. Does 13 divide d?
False
Suppose 11*l = -3*z + 6869, 14*z = 17*z + 6. Does 11 divide l?
False
Suppose -566*u - 3828 = -577*u. Is 30 a factor of u?
False
Suppose p = -y - 14, 30 = -5*p + 3*y - 48. Let z(m) = -1. Let h(n) = 3*n + 2. Let w(g) = -h(g) + 3*z(g). Is 20 a factor of w(p)?
True
Let d(a) = -2*a - 6*a**3 + 8*a**3 - 7 - 3*a**3. Does 7 divide d(-4)?
False
Let x(s) be the third derivative of -s**4/24 + 9*s**3/2 - 3*s**2. Does 7 divide x(20)?
True
Let x = 1 + 3. Suppose -x*d = 6 - 78. Does 18 divide d?
True
Suppose -5*r = 4*x - 4095, -5*x - 5*r - 1067 = -6187. Is 25 a factor of x?
True
Suppose -9 = 3*d, -46 = -2*s - 2*d + 84. Let k(m) = 2*m**2 - m. Let a be k(-3). Suppose n + 4*w = a, -25 = -3*n + 3*w + s. Is n a multiple of 29?
True
Suppose -218*b = -159*b - 72688. Is b a multiple of 14?
True
Let c = 19 + -19. Suppose -3*s + 3*m = -66, 0 = -c*s - 2*s - 4*m + 38. Suppose s + 9 = 3*v. Is v a multiple of 5?
True
Suppose -34*q + 340 = -29*q. Is 6 a factor of q?
False
Suppose 2*h - 1737 - 1387 = 0. Suppose z + h = 6*z - 4*b, 4*z - 3*b = 1249. Does 13 divide z?
False
Suppose 3*b - 2*i = 231, -3*i - 50 = -b + 20. Suppose -269 = -2*l - b. Is l a multiple of 19?
True
Let q(g) = -3*g - 11. Let r be q(9). Let a = -170 + 270. Let t = a + r. Is 31 a factor of t?
True
Let l be (-110)/(-40) + (-3)/4. Suppose -l*a = c - 6*a - 19, 0 = -c - 4*a + 35. Does 27 divide c?
True
Let v(k) = -k**2 + 7*k + 4. Let x be v(7). Suppose -x*w + 8 + 0 = 0. Suppose 5*r - 42 = w*r. Does 7 divide r?
True
Suppose 0 = -14*a + 1976 + 1902. Does 29 divide a?
False
Suppose 22 = 6*j - 38. Suppose -j*q = -13*q + 342. Is q a multiple of 21?
False
Suppose 4*o - 3648 = 4*r, 0 = o + 2*r - 218 - 703. Is 15 a factor of o?
True
Suppose 5*o - 3 = 22. Suppose -5*x + 31 = 3*v, -o*v = -5*x + 3 + 12. Suppose -4*y - 5*l = -0*y - 156, -v*y + 104 = -4*l. Is 11 a factor of y?
True
Let g be 2 + 0 - 1 - 4. Let t = 21 + g. Suppose -4*h + 109 = 5*d - t, -3*d + 85 = -2*h. Is d a multiple of 14?
False
Is (-14)/(-9)*(94 + 5) a multiple of 14?
True
Suppose -199 = 4*a - 35. Let d = 42 + -103. Let b = a - d. Is 20 a factor of b?
True
Suppose 4090 + 3066 = 4*c. Is 33 a factor of c?
False
Let h(d) = 2*d**2 - 11*d - 78. Is 13 a factor of h(19)?
False
Suppose 0 = w - 3*w + 12. Suppose 245 = -f - w*f. Let n = f - -77. Is n a multiple of 15?
False
Suppose m = -4*o + 12, -o = 5*m - m - 18. Suppose -k - 9 = o*k. Is 16 a factor of 32*(-2)/(4/k)?
True
Suppose c - 870 = -2*i + 435, -1335 = -2*i + 5*c. Does 33 divide i?
False
Does 28 divide 13/(156/952)*6?
True
Let g(s) = -s**2 - 11*s - 15. Let d be (0 - (-21)/5)*-5. Let h be -4*1 - (-19 - d). Does 7 divide g(h)?
False
Suppose 4*a + 9 = y - 0*y, y - a - 6 = 0. Suppose 5*g + 2*i - 112 = 3*g, 0 = -y*i + 25. Suppose 7*v = 6*v + g. Is 12 a factor of v?
False
Let z = -1 - -2. Suppose 4*d = -2*b + 7 - z, -15 = -5*d - 5*b. Suppose 3*i - 2*i - 30 = d. Does 30 divide i?
True
Let z(a) = -a**2 + 10*a - 6. Let c be z(9). Suppose y = -s + 2*s - 57, -c*s - 4*y = -192. Is s a multiple of 10?
True
Suppose 14*q + 557 = 3917. Does 3 divide q?
True
Suppose 369 = h - 11. Is 19 a factor of h?
True
Suppose 3*t + 12 = 2*o, -t + 2 + 2 = 2*o. Suppose 0 = o*n - 4*n - 154. Let p = -97 - n. Does 19 divide p?
True
Let h be (-20)/6*(-18)/15. Let s(f) = 5*f - 14. Let k be s(4). Is 34 a factor of 65 + h/(8/k)?
True
Let a = 944 - -946. Is 18 a factor of a?
True
Let m be (-2594)/(-4) - (-1)/(-2). Suppose -3*l = -2*p - 29 + 75, 3*l + 61 = 5*p. Is 9 a factor of (-3 - -2)/(l/m)?
True
Is (-1185)/(-36) - 2/(-24) a multiple of 7?
False
Let x(u) be the third derivative of -u**4/6 + 6*u**2. Let j(d) = -13*d + 1. Let c(a) = -4*j(a) + 12*x(a). Does 16 divide c(10)?
False
Let f(p) = -3*p**2 - 8*p - 11. Let s(b) = 8*b**2 + 24*b + 32. Let q(z) = -14*f(z) - 5*s(z). Let x(k) = 3*k**2 + 25*k - 10. Let n be x(-9). Does 16 divide q(n)?
False
Let i be (-2*3/6)/(2/(-4)). Suppose 10 = -z + i*m + 3*m, z + 3*m - 22 = 0. Is 10 a factor of z?
True
Suppose 4*i - 23 - 17 = 0. Suppose 0 = 6*a - i*a + 16. Is 7 - 0 - (a + -1) a multiple of 4?
True
Let j(v) = 2*v - 8. Let r be j(5). Let a be (2 + -4)*r/(-1). Suppose -b - a*b = -180. Is b a multiple of 12?
True
Suppose 1098 - 5158 = -q. Is 8 a factor of q?
False
Let m = -60 - -37. Does 5 divide 14/((-6 + 2)/(m - -1))?
False
Does 42 divide 2/(-20) - 1006842/(-1020)?
False
Suppose 0 = -4*x + 7*x. Suppose 2*u - 4 = -x*p - 2*p, -5*p + 4*u + 37 = 0. Suppose -5 = -p*o, -3*j + 370 = j - 2*o. Does 31 divide j?
True
Let k = 115 + -62. Suppose 0 = 4*m + 15 + k. Let b = 33 + m. Does 11 divide b?
False
Is 37 a factor of (-223 - (-5 + 4))/((-3