 Is v a multiple of 7?
False
Let l(d) = d**2 + d + 1. Let f(i) = 14*i**2 - 51*i + 9. Let b(s) = -f(s) + 6*l(s). Does 2 divide b(7)?
True
Let h(j) = 64*j**2 + 5*j + 1. Let b be 1 - 3/4 - 15/12. Is 18 a factor of h(b)?
False
Suppose -6*h - 40005 = -27*h. Let f = h + -1094. Does 68 divide f?
False
Suppose -10 = -2*j, -j - 755 = -5*a - 4*j. Suppose 25*y = 29*y - a. Let b = y + 61. Is b a multiple of 14?
True
Let t(u) = 9*u**2 - 7*u + 1. Let s be t(30). Suppose p - 3*i = -0*i + 1563, 5*p + 4*i - s = 0. Is 25 a factor of p?
True
Suppose u = 4*u - 54. Let f(j) = -j**2 + 19*j - 17. Let b be f(u). Does 23 divide 1475/(-75)*((-3)/b + 0)?
False
Let j = -24134 - -27555. Is j a multiple of 5?
False
Let z be 392/(-14) + (1 - 0 - 1). Let k = z - -63. Suppose 0 = f + i - k, 5*i + 47 = 3*f - 66. Is 8 a factor of f?
False
Let w = -818 - -122. Let n = -350 - w. Is 24 a factor of n?
False
Suppose 5*y = 20*y + 2505. Let n = y - -279. Is 11 a factor of n?
False
Suppose 14266*g - 14282*g = -43280. Is g a multiple of 50?
False
Suppose -4*j + 19 = -9. Suppose 0 = 3*k + 3*c - 30, -j*k + 2*k + 48 = 4*c. Suppose k = z - 17. Does 5 divide z?
True
Let d(u) = 15*u**3 - u**2 + 2*u - 2. Suppose -15*w + 12*w = -9. Let k be d(w). Suppose -3*x - g + k = 0, -20 = -9*g + 4*g. Does 11 divide x?
True
Suppose -4*f = -4*i - 4 - 44, 0 = 2*f - 3*i - 26. Let k(o) = f*o + 3*o**2 - 3*o + 18 - 2*o**2 + o**2. Is k(-8) a multiple of 36?
False
Let k(u) = -u**3 + 12*u**2 + 29*u - 9. Let o be k(14). Suppose -5*b = 0, 240 = -c + 4*c + o*b. Suppose n - 35 = -2*x, 2*n + 2*n = -5*x + c. Does 20 divide x?
True
Let g(u) = -16 + 158*u - 11 - 152*u. Let y be g(5). Suppose 10*b - 5*b + q = 557, -439 = -4*b - y*q. Is 43 a factor of b?
False
Suppose 3*w = -3*z + 6*z - 6, 3*w + 2*z - 14 = 0. Is -60 + 1279 - (-2*2)/w a multiple of 91?
False
Let r(i) = i - 1. Let b be r(1). Suppose b = 3*n + 8 - 14. Suppose q + 2*g - 30 = 0, n*g + 109 = 4*q - g. Is q a multiple of 11?
False
Let k = -69 + 131. Is (k/(-4))/(28/(-168)) a multiple of 31?
True
Suppose -411528 + 98268 = 54*r - 77*r. Does 110 divide r?
False
Let y = -286 + 204. Suppose 2*q + 0*c + 5*c = 278, 0 = -5*c - 20. Let g = q + y. Does 11 divide g?
False
Let b(i) = i**3 + 17*i**2 + i + 24. Let d be b(-17). Let t(y) = 2*y**3 - 14*y**2 + 2*y - 10. Let a be t(d). Is (a - 2)*(63/6 + 0) a multiple of 7?
True
Let t(p) = -4912*p + 13168. Is 64 a factor of t(-7)?
True
Suppose 4*g + 16 = 5*g. Let j(u) = -7*u + 9*u**2 + 35 - u**3 - u**2 - 4*u**2 - g*u**2. Does 17 divide j(-12)?
True
Is ((-205)/(-410))/(0 + (-1)/(-2604)) a multiple of 62?
True
Let u(g) = -2285*g**3 + 14*g**2 + 37*g + 51. Does 22 divide u(-3)?
False
Let o(w) = 14*w**2 + 7*w - 3. Suppose k + 7*k = 32. Let n be (2 + (-10)/6)/(k/24). Is o(n) a multiple of 18?
False
Suppose 48*o + 114*o - 237978 = 0. Is 32 a factor of o?
False
Let w(s) = -4*s - 16. Let r be w(-5). Suppose -2*u + 5*v - 264 = -845, -r*v = -2*u + 580. Is 48 a factor of u?
True
Suppose -2*c - 4697*l + 169394 = -4694*l, 423485 = 5*c + 4*l. Is 17 a factor of c?
False
Let c be -3 - (-6 - (-4)/4). Let l be (-1 + -7)*2/(-4). Suppose -l*w + 228 = 3*h, -7*h - w + 380 = -c*h. Does 15 divide h?
False
Let g be -2828*(-1)/(2/(-10)*-5). Suppose 3*i + 4*z - 8*z = g, i - 944 = 2*z. Does 14 divide i?
False
Suppose 0 = o + 4*h + 1825, 4*o + 6557 = -5*h - 732. Let x = o - -3192. Is 24 a factor of x?
False
Suppose 10*z - 82 + 2 = 0. Suppose -z*r + 11*r - 12 = 0. Suppose 4*c = r*w - 2*w - 42, -4*w + c + 98 = 0. Does 5 divide w?
True
Suppose 24*h = -3*s + 26*h + 6699, -3*s + 6765 = -13*h. Does 16 divide s?
False
Suppose -84*g - 124747 + 741895 = 0. Is g a multiple of 31?
True
Suppose 3*f = -3*x + 2100, 2*x - 349 - 349 = -f. Is f a multiple of 2?
True
Suppose -23*j = -19*j + 180. Suppose -10 = -4*t - 4*v - 334, -3*t - 222 = -4*v. Let w = j - t. Does 33 divide w?
True
Let y be ((-2800)/32)/(1/2). Let x = y - -214. Is 13 a factor of x?
True
Let a be 24/(-16) - (-30)/4. Suppose 21 = x + a*x. Suppose 4*z + 5*r - 100 = 81, 2*z - 85 = x*r. Does 5 divide z?
False
Suppose -6 - 3 = -3*b. Suppose 4*h - b*j + 0 - 15 = 0, 16 = 5*h - j. Suppose h*d - d = 100. Is 25 a factor of d?
True
Suppose 2*k - 1 - 3 = 0. Suppose 4*h - 193 = -13. Suppose h = k*y - 23. Is y a multiple of 17?
True
Let y = -126 - -279. Let n = 307 - y. Does 2 divide n?
True
Suppose 7*b - 28589 = 3079. Is b a multiple of 29?
True
Does 38 divide ((-25)/6 + (-103)/618)/(1/(-249))?
False
Let p = -7 + 119. Does 25 divide 28/p - 2518/(-8)?
False
Let v(q) = -q**3 + 46*q**2 - 91*q. Is v(39) a multiple of 58?
False
Suppose -191*z = -210*z + 3800. Is z a multiple of 10?
True
Let q(u) = -7*u**3 + 2*u**2 - 23*u - 30. Is 6 a factor of q(-4)?
False
Is 4 a factor of 9/(3893/(-487) + 8)?
False
Let k(t) = -2*t**3 - 51*t**2 - 23*t + 27. Let c be k(-25). Let n(p) = -2*p**3 - 44*p**2 + 11*p - 48. Is n(c) a multiple of 60?
False
Suppose -5*w = -4*x + 29136, 0 = -1105*x + 1105*x - 2*w. Does 12 divide x?
True
Suppose k - 5*a + 88 = 5, 301 = -3*k + 2*a. Suppose 2*b + 2*b - 2*l + 556 = 0, -b - 139 = l. Let t = k - b. Does 12 divide t?
True
Let d = -29 + -200. Let y(i) = -i**3 + 26*i**2 + 2*i - 45. Let a be y(26). Is 2/7 - d/a a multiple of 11?
True
Suppose 6 = 5*r + 2*l - 1, 5*l - 3 = 2*r. Let c = 90 + r. Is 7 a factor of c?
True
Suppose 51*d + 4 = 53*d. Let l be (-128)/(-24) + d/(-6) - -1. Suppose -41 = -l*u + 1309. Does 26 divide u?
False
Let m be -157*-28*(48/(-21) - -2). Let w = 2078 + m. Is 18 a factor of w?
False
Let h(k) = 43*k + 307. Let u be h(-7). Does 4 divide 2602/6 + (-160)/24 + u?
False
Let p = -62 - -83. Does 29 divide 1740/(-24)*p*(-6)/45?
True
Suppose 56*j = 52*j + 2*x + 35428, 0 = 4*j - x - 35430. Is 86 a factor of j?
True
Is 38497592/4410 - (-20)/(-350) - 4/(-9) a multiple of 97?
True
Suppose 5*v - 4*u = 9210, 4*u - 109 = -89. Is 8 a factor of v?
False
Let v = -810 + 1475. Is (69/(-4))/(v/168 - 4) a multiple of 7?
False
Let w(q) = -15*q**3 - 51*q**2 - 137*q - 185. Let v(o) = 7*o**3 + 26*o**2 + 68*o + 91. Let a(j) = 13*v(j) + 6*w(j). Does 8 divide a(-30)?
False
Suppose -f - 5149 = -3*m, 0 = -5*m + 4*f + 5867 + 2710. Does 87 divide m?
False
Let d be ((-44)/36 - -1) + 1253/9. Suppose 85 = 2*v - d. Is v a multiple of 8?
True
Let j = -96 + 146. Suppose j = 6*t - 5*t. Is 25 a factor of t?
True
Let g(a) = -66*a**2 - 12*a + 50. Let h be g(-15). Does 6 divide 2/22 + h/(-110)?
False
Suppose 157*w + 50121 = 623632 + 147119. Is 34 a factor of w?
True
Suppose 5*u = -3*g - 5, 1 + 2 = -4*g - 3*u. Suppose -4*k = -g*k - 356. Suppose 3*m = -2*j + 198, 4*m - k = 2*j - 3*j. Does 24 divide j?
False
Let k(n) = -56*n + 1376. Is k(-58) a multiple of 68?
True
Let g = 39 - 30. Suppose -6*j + g = -3*j. Suppose 5*x + q = 105, j*q + 3 + 39 = 2*x. Is 21 a factor of x?
True
Let p(q) = -33*q**3 - 4*q**2 + 38*q + 17. Does 9 divide p(-5)?
True
Let f(b) = 4*b**3 - 19*b**2 - 22*b - 29. Does 51 divide f(11)?
True
Let h = -50715 - -73705. Is h a multiple of 55?
True
Let b(g) be the second derivative of -5/6*g**4 + 27*g + 5/6*g**3 - 5*g**2 - 1/20*g**5 + 0. Is b(-11) a multiple of 28?
True
Let c be (20/6)/(64/96). Suppose 393 = 4*o + w + 90, -c*o + 366 = -3*w. Is o a multiple of 15?
True
Suppose -4*o - 2*g + 46 = 0, 14 = 4*o - 3*o + g. Suppose -4*r - 2*c = -496, -10*c + 123 = r - o*c. Is r a multiple of 25?
True
Suppose 2*l - 2*q = -808, -q + 2*q = -l - 400. Let v = l + 568. Suppose -3*f + 3*k = -89 - 58, -2*k + v = 4*f. Is f a multiple of 4?
True
Suppose 1710 = 5*u - 0*q + 5*q, 4*u - 3*q = 1354. Let m = u + -222. Is 7 a factor of m?
False
Suppose 5*x + 3*h = 17, 3*h + 14 = 5*x - 9. Suppose 5*m - 5 = 6*m, -3*f + 1903 = x*m. Is f a multiple of 10?
False
Suppose -2*a = t + 173 + 100, 20 = -5*a. Let u = 471 - 28. Let n = t + u. Is n a multiple of 10?
False
Let u be -15*((2 + 1)*-1 + 1). Is (-3)/u - 6093/(-30) a multiple of 29?
True
Let z be -6*(-2 + 4/(-8)). Suppose -4*c + f + 20 = 0, f - 4*f = -3*c + z. Suppose c*k = -5*d + 7*d - 54, 3*d - 4*k - 74 = 0. Is d a multiple of 3?
False
Let b(s) be the second derivative of s**3/6 - 5*s**2/2 - 34*s. Let c be b(10). Suppose c*y + 103 = 4*t, -y = 5*t - 86 - 50. Does 21 divide t?
False
Suppose 5*m = 2*w + 69696, 3*m - w - 24751 - 17066 = 0. Is 18 a factor of m?
False
Suppose 0 = 2*l - 5*q + 8*q - 10, 0 = 2*l + q 