53*k + 3 + 12 + 19*k - 36. Is h(4) a multiple of 38?
False
Suppose -2*g - 24 = 3*v, 3*v = 4*g - 19 + 85. Let h(t) = t**2 + 10*t - 9. Let u be h(g). Let b = 120 - u. Does 15 divide b?
False
Suppose 31*f - 33*f - 30 = 0. Is 67 + 0 + f + 13 a multiple of 14?
False
Let k(g) = -15*g**3 - 3*g**2 - 7*g - 31. Is 82 a factor of k(-5)?
True
Let x(c) = c**3 - 14*c**2 - 15*c - 3. Let p be x(15). Let f(w) = w**2 + 12*w - 9. Let g(o) = o - 1. Let k(q) = -f(q) + 6*g(q). Is 3 a factor of k(p)?
True
Let k = -152 + 1494. Is k a multiple of 23?
False
Suppose -s - 4*s + 40 = 0. Let y(h) = -2*h + 19. Let l be y(s). Suppose -111 = -l*c - u, -5*c + 136 = -3*u - 63. Is 4 a factor of c?
False
Is 37 a factor of (-33)/44 - (-33258)/24?
False
Let i(n) = 43*n**2 - 2*n. Let b be i(-1). Let o = b + 21. Is o a multiple of 11?
True
Is 857/(-5)*-5 - 3/(-3) a multiple of 72?
False
Is 21*11/9*15 + 0 a multiple of 6?
False
Let l(w) = -408*w**3 - 7*w**2 - 4*w + 4. Is l(-2) a multiple of 15?
False
Suppose o + 69 - 191 = 0. Suppose 6*a = o + 460. Let y = a + -61. Does 18 divide y?
True
Suppose 2*z + 25 = -5*n, -2*z - 2*z - 4*n - 20 = 0. Is z + (-1 - -22) + 3 even?
True
Let c = -88 + 52. Let l = 69 - c. Is 17 a factor of l?
False
Is 74 a factor of 24/((5 - 5) + 4/174)?
False
Let d(b) = -4*b - 1. Let g(s) = s + 2. Let z be g(-6). Let o be -5 - ((-12)/z)/(-1). Does 5 divide d(o)?
False
Let n = 299 + -190. Is n a multiple of 14?
False
Let v be -10 + (3/(-1) - -3). Let d be 3*v/(-15) - 107. Does 39 divide 1224/10 - 63/d?
False
Suppose 0 = 18*v - 13*v - 2050. Is v a multiple of 41?
True
Suppose -4*n - 13 = -37. Suppose 0 = -n*m + 537 - 87. Does 5 divide m?
True
Suppose 2*w + 3*w = 15. Suppose 4*n = w*n + 152. Does 32 divide n?
False
Let x(n) = n**3 + n**2 - n + 672. Let g be x(0). Suppose -3*h + 0*h - 672 = -4*l, 4*l - g = 2*h. Suppose 0 = 6*f - 10*f + l. Is f a multiple of 18?
False
Let x be 1 + 16 - (-4 - 0). Let b = x - 0. Is (-650)/(-14) + (-9)/b a multiple of 8?
False
Let r = 238 + 85. Is r a multiple of 26?
False
Suppose -17*v + w - 1382 = -20*v, 2*v + 4*w - 918 = 0. Is 97 a factor of v?
False
Let w(c) = -c**2 + 3. Let h be w(0). Suppose 390 = 3*l + h*l. Is 13 a factor of l?
True
Let j = -2 - -3. Is 12 a factor of 40*((-4)/(-8) + j)?
True
Let j = -155 + 81. Let h = 134 - j. Does 52 divide h?
True
Let a(v) = 4*v - 32. Let i(n) = -n + 11. Let g(q) = 2*a(q) + 7*i(q). Is g(-4) a multiple of 6?
False
Let f be (-7 + 8 - 23)/((-2)/34). Suppose -f = -14*a - 24. Is a a multiple of 5?
True
Is 12 a factor of (-3)/(-2) + 11928/112?
True
Let f(z) = -6 + 4 + 5*z - 10. Let l(w) = 9*w - 23. Let u(d) = -5*f(d) + 3*l(d). Is u(12) a multiple of 13?
False
Suppose -5*o + 506 = -0*u - 2*u, -2*o = -u - 202. Let a be 2548/70 - 2/5. Suppose -o + a = -2*t. Does 7 divide t?
False
Let z(f) = -17*f - 74. Is 7 a factor of z(-8)?
False
Let l(d) = -36*d + 3. Suppose -2 = 7*y - 6*y. Is 28 a factor of l(y)?
False
Suppose 4*g - 15 + 51 = 0. Let r be 78/14 + g/(-21). Suppose -r*v + 32 = 2. Does 4 divide v?
False
Suppose 5*s - 2*b + 3*b = 82, -26 = -2*s + 3*b. Let t = s + -12. Suppose -5*w - 108 = -4*l, -t*l = -w - 3*w - 104. Does 11 divide l?
True
Does 3 divide 3/(-6) - -15*(-20)/(-8)?
False
Let o(y) = -y**3 + 5*y**2 - y + 10. Let v be o(5). Let t be (12/3)/(1 + 1). Let d = v + t. Does 2 divide d?
False
Let q be (-1)/(-3) - (-119)/21. Let h(c) = c**2 + 10*c - 6. Does 15 divide h(q)?
True
Let r be (-9 + 31)/(3/(1 + -61)). Is (2*5/(-8))/(2/r) a multiple of 58?
False
Let y(h) = 2*h**3 - 23*h**2 - 21*h - 29. Let p(t) = t**3 - 11*t**2 - 10*t - 14. Let r(w) = -13*p(w) + 6*y(w). Let x be r(6). Does 26 divide 71 - x - (-4)/2?
False
Does 10 divide (0 - 51)*(1 + (-110)/30)?
False
Let h(k) = k**3 + 4*k**2 - 16*k - 3. Let z be h(-7). Let s = z + 58. Is s even?
True
Suppose 5*c + 5*p - 8*p - 624 = 0, 0 = -c + p + 126. Does 6 divide c?
False
Let h(c) be the second derivative of -c**3/3 + 7*c**2 - 3*c. Let x be h(6). Suppose 3*r + 2*k = -x*r + 20, 0 = 2*r - k - 8. Is r a multiple of 3?
False
Let r(k) = 7*k - 3. Let t = -60 - -40. Let d = t - -23. Is r(d) a multiple of 6?
True
Suppose 59*q - 38*q - 50295 = 0. Does 14 divide q?
False
Let t be 8 + -8 + 1 + -5. Is ((-308)/t - 2) + 2 a multiple of 11?
True
Suppose -l + 294 = 105. Let v = 284 - l. Does 20 divide v?
False
Let l(x) = -x**3 - 10*x**2 - 8*x + 10. Let w be l(-8). Let n = w + 108. Does 6 divide n?
True
Let t be (-1 - -22)*(-7)/(-21). Suppose -r - 3*q + 15 = 0, -t = 3*r + 4*q - 8*q. Is 5 a factor of 8/(-12) - (-32)/r?
True
Let z = 48 + -24. Let k = 27 - z. Suppose -4*o - 7 = -5*g + 13, 3*g + k*o = 12. Does 2 divide g?
True
Suppose 15*t = 18*t - 9. Is -4*t/(-6)*6/4 a multiple of 3?
True
Let s(w) = -w**3 + 18*w**2 - 17*w + 3. Let r be s(17). Let p = r - -49. Is 13 a factor of p?
True
Let n = 1 - -923. Is n a multiple of 14?
True
Suppose 5*t - 13795 = 3*s, 2*t + 5*s - s = 5518. Does 89 divide t?
True
Let m = 30 - 22. Suppose -m*q + 3 = -7*q. Suppose 0 = -4*p + q*p + 35. Is p a multiple of 7?
True
Suppose -2 = -5*x + 18. Let i = 17 + x. Is i a multiple of 21?
True
Let x = 188 - 163. Does 5 divide x?
True
Let x be (-1256)/(-30) - 6/(-45). Let n = x + -27. Does 15 divide n?
True
Suppose 0 = -3*s + 5*s + 2. Is (-261 - 18)/(s - 1/2) a multiple of 14?
False
Let p(x) = -x**3 + 11*x**2 + 13*x - 8. Let r be p(12). Let t be 46/r + 9/(-6). Is 8/2*t/4 a multiple of 5?
True
Let f(z) = 2*z**2 - z - 2. Let y(r) = -r - 3. Let p be y(-2). Let m(j) = -4*j**3 + j. Let x be m(p). Is f(x) a multiple of 11?
False
Let t = 182 - 168. Let c be 5506/9 + 2/9. Is 11 a factor of c/t + (-10)/(-35)?
True
Suppose 0 = -3*y - 15, -y + 2 = a - 14. Suppose 2*v = -a + 79. Suppose 2*l - v = 13. Is l a multiple of 7?
True
Let q = 782 - 386. Is q a multiple of 41?
False
Suppose 37*n = 22*n + 3000. Is 25 a factor of n?
True
Let q(u) = u - 3. Let k be q(0). Let i be ((-28)/21)/(1/k). Suppose 0 = -i*j + 3*x + 119, 0 = -3*j + 2*j - 5*x + 47. Does 8 divide j?
True
Let m(w) = -w**2 - 38*w + 19. Is m(-11) a multiple of 5?
False
Let a(q) = -15*q - 6. Let h be a(-4). Let m = 114 - h. Let k = m - 41. Does 4 divide k?
False
Suppose -2*g + 6292 = -708. Does 100 divide g?
True
Let n be 2*-4*(-9)/24. Let a be 177*((-7)/n)/(-7). Suppose -p = -a + 17. Does 6 divide p?
True
Let t(k) = -3*k**3 + 2*k**2 - 9*k - 32. Is 28 a factor of t(-6)?
False
Let c = -71 - -109. Let n = c + -20. Is 9 a factor of n?
True
Let h be 608/(-40) + 1/5. Let f(r) = r**3 + 16*r**2 + 4*r + 1. Let w be f(h). Let q = -109 + w. Is 21 a factor of q?
False
Suppose 7*v + v - 64 = 0. Let l = 92 - v. Does 14 divide l?
True
Let p be (-32)/144 - 47/(-9). Suppose p*a - a + 4 = 0. Does 21 divide ((-2)/(-4))/(a/(-168))?
True
Let c be 8*(-318)/(-12) - 0. Let u = c + -140. Is u a multiple of 6?
True
Does 4 divide 143 + 3*24/18?
False
Let t = -1 - -45. Suppose 7*l = 61 + t. Is 2 a factor of l?
False
Let x(k) = k**3 - 7*k**2 - 6*k - 3. Let v be x(8). Suppose m - v = 15. Is m a multiple of 10?
False
Let i = -378 - -1321. Does 23 divide i?
True
Suppose -57*v = -54*v - 1860. Is v a multiple of 20?
True
Let q be 20 - (-2 + 3 + -1). Let s be (36/45)/(1/(-10)). Let t = s + q. Does 6 divide t?
True
Suppose -k = 3, -53*t = -52*t + 2*k - 66. Does 8 divide t?
True
Let y(u) = u + 7. Let f = 9 + -12. Let x be 12/2 + 9/f. Does 5 divide y(x)?
True
Let x(t) be the third derivative of t**6/60 - t**5/20 - t**4/2 + 3*t**3/2 + 10*t**2. Is 9 a factor of x(5)?
False
Let s = 2 - 5. Is (9/s + -6)*-7 a multiple of 21?
True
Suppose -3*u = -4 - 5. Suppose -4*d = -c - 13 + u, d + 5 = 4*c. Suppose -f - d*f = -68. Is 11 a factor of f?
False
Let z be 80/6*(-2)/(-16)*18. Let v = z + -14. Is 5 a factor of v?
False
Suppose -o - 3*n + 16 = 0, 10*o + 5*n - 40 = 5*o. Let q(u) = u**3 - 2*u**2 + 4*u - 10. Does 38 divide q(o)?
True
Let n(x) be the second derivative of 0 + 7/6*x**3 + 1/6*x**4 + 5/2*x**2 + 2*x. Is n(-5) a multiple of 10?
True
Let k = -24 + 148. Suppose -83 = y - 2*m, -3*y - 2*m - 234 = -5*m. Let f = k + y. Is 14 a factor of f?
False
Let m = -271 + 469. Suppose m = 3*z - 102. Suppose 6*c - z = 5*c. Is 26 a factor of c?
False
Let c = 2 - -1. Suppose c = r - 4*x, -3*r - 2*r + 38 = 3*x. Suppose 0 = -r*f + 4*f + 57. Is f a multiple of 12?
False
Let a(v) = v**3 + 11*v**2 - 9*v - 22. Is a(-10) a multiple o