or of (24/(-36))/((-8)/(-60)) + 244?
False
Let h be -7 + 0 + (-28)/(-4). Let t(l) = 11*l + 403. Is t(h) a multiple of 19?
False
Let v(g) = 4*g**3 - 22*g**2 + 62*g + 100. Is v(18) a multiple of 28?
True
Let d be 12*((-1)/7 + 198/63). Let n be 2*(-2)/4 + 40. Suppose 2*h - 63 = -3*o, -3*o + 2*h + n + d = 0. Does 3 divide o?
False
Let i(d) = 586*d + 41. Is i(4) a multiple of 53?
True
Suppose 2*c = 8, -4*x - 5*c = -9*c - 2984. Suppose x = 5*s - 3*i - i, -5*i + 150 = s. Is 15 a factor of s?
True
Let z be (-1)/3 + (-49)/(-21). Let i(p) = 318*p - 160*p + 35 - 5*p**z - p**3 - 156*p. Is 8 a factor of i(-5)?
False
Let y(a) = 2*a + 98. Let q(s) = 2*s + 117. Let o(h) = -5*q(h) + 6*y(h). Suppose 0 = 2*j + 2*k + 2*k + 8, -4*j = 3*k - 4. Is 11 a factor of o(j)?
True
Let s be 17/2 - 2/4. Suppose 2*u + s*u = 820. Is 11 a factor of u?
False
Let y = -617 - -620. Suppose 3*q - 358 = 4*v, 347 = y*q - 3*v - 13. Is 7 a factor of q?
False
Suppose -5*y - t = -40, y + t - 8 = -3*t. Suppose 31*m - 29*m = y. Is m a multiple of 2?
True
Let t(f) = -7. Let h(k) = -28*k + 78. Let x(r) = -h(r) - 10*t(r). Suppose z + 0*z - 2 = -3*a, 0 = 3*z + 2*a - 6. Is x(z) a multiple of 12?
True
Suppose 2*i = 19 - 7. Let d(t) = t + 1. Let x(h) = 8*h + 2. Let p(n) = i*d(n) - 3*x(n). Is 11 a factor of p(-2)?
False
Suppose 21*i = 348410 + 248956. Is i a multiple of 19?
False
Let n be 2*(0 + -3 - (-6 - 0)). Let m(w) = -16*w + 11. Let i be m(n). Let c = 99 + i. Is c a multiple of 7?
True
Let x(t) = -25*t**2 + 7. Let v(n) = n**2 - n + 2. Let j(o) = 2*v(o) - x(o). Does 26 divide j(-1)?
True
Let g = 218 + 84. Suppose 17*y - 19*y = -g. Let u = -108 + y. Is 11 a factor of u?
False
Suppose -50*o + 226376 - 49576 = 0. Is 17 a factor of o?
True
Let o(c) = 3*c + 38. Let v be o(-13). Let p(a) = 402*a**2 - 2. Is 21 a factor of p(v)?
False
Suppose -14*g + 21*g - 616 = 0. Is (-16)/g + 3172/22 a multiple of 12?
True
Suppose -4513*v + 4518*v - 49270 = 0. Is v a multiple of 175?
False
Let r be (-6)/(-4)*(-16)/(-6). Suppose u + 4 = 2*m + 1, r*m + u = 21. Suppose -5*y - 20 = 5, m*y + 148 = 4*k. Is 8 a factor of k?
True
Let o(u) = -14*u**2 + 2*u**3 - 38158*u + 38187*u - u**3 - 12. Let y(q) = 3*q. Let w be y(4). Is 6 a factor of o(w)?
True
Let k = 14564 + -6744. Suppose -10459 = -9*w + k. Is w a multiple of 28?
False
Let j = 18 - 20. Let r = j + 12. Suppose -f = 5*v + r - 26, -30 = -f + 2*v. Is 22 a factor of f?
False
Suppose 5*u - 126 = -2*j, 4*j - 44 = u - 3*u. Suppose -263 = 5*w + 3*g + u, 62 = -w - 2*g. Let o = w + 133. Does 11 divide o?
True
Let u be (1/3)/((8/(-17796))/(-2)). Suppose -3*z + u = -5*w, -23*z - 1491 = -26*z - 3*w. Is 12 a factor of z?
False
Let f(h) = -3*h**2 - 17*h + 46. Let l(y) = -4*y**2 - 17*y + 45. Suppose 29*s + 12 = 23*s. Let d(j) = s*l(j) + 3*f(j). Is d(-14) a multiple of 8?
False
Suppose -3*a + 307 + 179 = -3*i, 3*i - 324 = -2*a. Let f = a - 147. Is 4 a factor of f?
False
Let v = -7863 + 8344. Does 62 divide v?
False
Let g(o) = -982*o - 1. Does 109 divide g(-5)?
False
Let o be (1 + 2)*(4 - 5). Does 6 divide -3 - -301 - (3 - o - 2)?
True
Let p(b) = 8*b**2 + 3*b - 16. Let g(w) = 15*w**2 + 5*w - 30. Let s(z) = 6*g(z) - 11*p(z). Suppose 6*q = -3*i + 4*q - 4, -4*i + 4 = 5*q. Is s(i) a multiple of 5?
True
Let o(g) = -150*g - 37. Let f be o(-4). Suppose -3*j + 658 = -f. Is j a multiple of 11?
True
Suppose 3*w - 4*b + 3 = 0, b = 2*b - 3. Let q be 2/w - 36/(-27). Suppose q*k + 9 = 33. Does 4 divide k?
True
Let y = 29951 - 19775. Is 13 a factor of y?
False
Let n(q) = q**3 - 5*q**2 - 2*q - 5. Let z be n(5). Let r be (-40)/(-50) + (-581)/(-5). Let s = r + z. Does 17 divide s?
True
Let t(q) = 6*q**2 + 10*q + 15. Let k(f) = 2*f**2 - f + 2*f**2 - 8 - 4*f - 7*f**2. Let p(u) = 11*k(u) + 6*t(u). Is p(-6) a multiple of 16?
True
Suppose -108*m + 111*m = 0. Let g be ((-8)/10)/((-2)/10). Suppose -g*r + 3*c = -c - 132, m = -c - 5. Is r a multiple of 7?
True
Suppose -59*v + 99450 = 19*v. Is 85 a factor of v?
True
Suppose -48*k + 52*k + 27366 = 3*h, -4*h + 36458 = -2*k. Does 18 divide h?
False
Suppose -4186 = -b + 2*r, 0 = -3*b + 26*r - 25*r + 12578. Is b a multiple of 73?
False
Let y(j) = -26*j - 10. Let t be y(14). Let k be ((-4)/(-6))/(-1)*(-26 + 17). Is 3 a factor of t/(-66) + 2/k?
True
Suppose -5*z = -4*w + 4, 0*w = -z - 3*w + 3. Suppose -105*q + 110*q - 1560 = z. Does 6 divide q?
True
Suppose 0 = u - 3*u + 142. Let i = u - 83. Let k(c) = c**3 + 13*c**2 + 2*c - 52. Does 41 divide k(i)?
False
Does 36 divide (-1)/(-1) - (139 + -2550)?
True
Let v = -17456 - -38174. Does 18 divide v?
True
Suppose -2*z + 24011 = 11*z. Let x = z - 1299. Is x a multiple of 29?
False
Let x be -189*(-10)/(-15) + 6. Is x/(-21)*7*(-45)/(-18) a multiple of 22?
False
Let k be (2 - -1)/(60/(-2620)). Let b = k - -199. Does 17 divide b?
True
Suppose 301 = 5*a - 3*f, 3*a - 97 = -2*f + 95. Suppose -a*v + 19025 - 1851 = 0. Is 3 a factor of v?
False
Suppose 9*q - 668808 = -23*q - 10*q. Does 81 divide q?
False
Suppose -480*n + 14709177 = -189*n. Does 271 divide n?
False
Let q(h) = 8*h**2 - 44*h + 636. Is 11 a factor of q(-39)?
True
Let r(f) = f**3 - 4*f**2 - 13*f + 6. Let z be r(6). Let h(x) = -3*x - 354. Let a be h(z). Let y = -239 - a. Is 23 a factor of y?
True
Suppose -6*y + 10*y - 60 = 0. Let o be (6/y)/((-1)/(-730)). Suppose -o = -4*p - 4*i, -p - p + 2*i = -158. Does 19 divide p?
True
Suppose -83*b - 2598 = -89*b. Let m = -335 + b. Is m a multiple of 14?
True
Let i(h) = -32*h**3 + 10*h**2 - 66*h - 444. Is i(-6) a multiple of 84?
True
Suppose -d = -5*n + 57749, 4*d = n - 4740 - 6806. Does 66 divide n?
True
Suppose n = 3*l + 208, -44*l + 45*l - n + 68 = 0. Does 17 divide 1464/(-28)*l/15?
False
Suppose -3 = 24*z - 23*z, 4*z - 214 = -2*o. Suppose -2*l + 483 + o = u, 572 = 2*l - 5*u. Is 37 a factor of l?
True
Suppose -12*d - 9193 = -41*d. Suppose 20*a = d + 203. Is a a multiple of 13?
True
Suppose -4*n - 2 = -3*n, -788 = 3*v + 4*n. Let j = -196 - v. Is 9 a factor of j?
False
Let a = -44 - -42. Let l be (-20 - -20)/(a/(-3)*3). Is l/3 + -4 - -136 a multiple of 22?
True
Let c(f) = -3*f - 37 + 1 + 8. Let o be c(-11). Suppose 55 - 575 = -o*r. Does 13 divide r?
True
Is 137/((22/(-2035))/((-40)/25)) a multiple of 74?
True
Suppose 77*f - 52085 = 60181. Is 5 a factor of f?
False
Let q(g) = -558*g + 50044. Does 18 divide q(0)?
False
Let y be (-47967)/(-236)*((-10)/6 - 1). Let n = y - -926. Does 16 divide n?
True
Let v(u) = -7 + u**3 - 9 + 4 - 22*u**2 + 24*u. Let k be 555/27 + (-340)/(-255)*(-1)/(-3). Does 12 divide v(k)?
False
Let y(n) = n + 15 + n - 7*n + 7*n - 3*n. Is y(10) a multiple of 2?
False
Let b = 8 - 89. Let g = -76 - b. Suppose 3*a - 3 = 3, -g*a = 2*x - 362. Does 16 divide x?
True
Suppose 0 = -2*w - 6, -2*d = -3*w + 32 - 105. Suppose d*g - 1675 = 27*g. Is g a multiple of 11?
False
Let q = 1873 + -1327. Suppose 102*d = 96*d + q. Is 2 a factor of d?
False
Let z = 153 - 157. Is (-311)/(-4) + (-1)/16*z a multiple of 28?
False
Suppose -9 = -3*f - 0*f. Suppose 0 = 3*a + a + 4*t - 4, f*t = -9. Suppose a*m - 287 = -71. Is m a multiple of 4?
False
Let k(u) = 33*u**2 - 1 - 5*u**2 - 45*u + 11*u - 5. Is k(4) a multiple of 17?
True
Suppose -5*v + 4*o + 1557 = 0, -10*o + 8*o + 4 = 0. Is 4 a factor of v?
False
Let m(l) = -4*l**2 - 3*l - 1. Let y be m(-6). Let w = -95 - y. Suppose -5*b = x - 380, -3*b + w = 3*x - 208. Is b a multiple of 15?
True
Suppose -4*v + 94 = -10*c + 15*c, 2*c = -2*v + 48. Suppose -n + 58 = 2*z - v, 0 = -5*z + 5*n + 240. Is 11 a factor of z?
True
Let v = -889 + 297. Let y = -315 - v. Suppose -3*b - 5*a = -y, 4*a + a - 455 = -5*b. Is b a multiple of 14?
False
Let h(o) = o**3 - 30*o**2 + 27*o + 67. Let u be h(29). Suppose -u*r - 2*r = -1815. Does 11 divide r?
True
Let a(u) be the second derivative of u**4/12 - 2*u**3 - 6*u. Suppose 0*g = 3*g - 42. Is 17 a factor of a(g)?
False
Let b(t) = t**2 - 2*t + 583. Is b(-26) a multiple of 19?
True
Suppose -196435 + 22525 = -93*k. Is 17 a factor of k?
True
Let s(j) = -6*j - 63. Let y be s(0). Let b = -31 - y. Is b/(-14) + 2 - (-240)/7 a multiple of 17?
True
Let h(o) = o + 54. Suppose 0*m = 2*m + 4*k - 40, 28 = 2*m + k. Is h(m) a multiple of 33?
True
Let f(x) = 16*x - 168. Let z(j) = -j + 32. Let p be z(12). Does 10 divide f(p)?
False
Let s = 41 - 39. Suppose -2*o - 24 = -s*x - 2, -4*x = 2*o - 2