ultiple of 5?
True
Let h(t) = 4*t - 8. Let l be h(4). Is (2 - (22 + -1))*(l - 61) a multiple of 19?
True
Suppose -5*o + 0*o + 6408 = 4*h, -4 = -2*h. Let u be 1 + -2 + -2 - -12. Suppose u*y - o = y. Does 20 divide y?
True
Suppose -29*t + 634204 = -77804. Is 4 a factor of t?
True
Let p be (4/5)/(((-208)/14440)/(-13)). Let c = p + -630. Is 92 a factor of c?
True
Let x(d) = -d**3 + 2*d**2 - 3*d - 7. Let b be x(3). Let q(s) = -s**3 - 25*s**2 - 7*s + 84. Is 29 a factor of q(b)?
False
Let m(i) be the third derivative of i**6/120 - i**5/5 + 23*i**4/24 + 2*i**3/3 + i**2 + 5*i. Does 20 divide m(10)?
False
Let k(f) = 4*f**2 - 23*f - 733. Does 20 divide k(-18)?
False
Let n(k) = 7*k - 49. Let r = -35 - -52. Let v be n(r). Let h = -62 + v. Is 3 a factor of h?
False
Suppose -2*d = 4*f - 35102, -5*d - 500*f + 87707 = -498*f. Is d a multiple of 15?
False
Let v = 10354 - 8706. Is 29 a factor of v?
False
Let t = 2315 + -1048. Does 7 divide t?
True
Suppose 4*z + 76 = 23*z. Let y(r) = 373*r - 124. Is 76 a factor of y(z)?
True
Let k = -15025 - -22945. Is k a multiple of 40?
True
Let y be 2 - ((-1)/2)/((-3)/(-12)). Does 9 divide (-2 - y)*((-6)/2 - 0)?
True
Let w(z) = 332*z**3 - 44*z**2 - 10*z + 5. Does 3 divide w(2)?
False
Let i = 2245 - 895. Is i a multiple of 5?
True
Suppose 0*j + 2*j = -156. Let x = j + 82. Is 32 a factor of 5*43 + x*4/(-16)?
False
Suppose -3*w + 0*w = -2*a + 9, 5*w - 2*a = -15. Let y be 3/(-3)*(w + (-6)/(-2)). Is y/(-9) + 1 + 191 a multiple of 32?
True
Suppose 5*g = 24826 - 11311 + 22905. Does 38 divide g?
False
Is ((2195298/28)/63)/((-1)/(-4)) a multiple of 11?
False
Suppose -10*p + 1653 = -9*p. Does 26 divide 9/((-27)/2) - p/(-9)?
False
Let v = 398 + -380. Suppose -i + v = -37. Is i a multiple of 2?
False
Let i(s) be the first derivative of -s**3/3 - 19*s**2/2 + 25*s + 6. Let m be i(-17). Let d = 66 - m. Is d a multiple of 3?
False
Let q = -10971 + 17578. Is 5 a factor of q?
False
Let q(i) = -74*i + 11727. Is q(0) a multiple of 160?
False
Let m = -15326 + 32717. Is m a multiple of 11?
True
Let m(k) = -k**3 - 2*k**2 + 3*k - 20. Let d be m(-4). Suppose 11*h - 15*h + 380 = d. Does 19 divide h?
True
Let q(x) = 22*x - 8*x + 0 + 6. Suppose r - 6*r + 45 = 0. Is q(r) a multiple of 18?
False
Suppose 0 = -4*b + 27 - 11. Let s be -1*(4 + (1 - 5)). Suppose -3*k - 4*u = -b*k + 72, -5*k - 2*u + 404 = s. Does 20 divide k?
True
Suppose -10*j + 18*j = 40. Suppose j*o = -2*r + 497, 4*r - 578 - 391 = -5*o. Does 25 divide r?
False
Does 26 divide 5/(2076/8240 + 14/(-56))?
False
Suppose 16*i - 630 = 11*i. Let v = 211 - i. Is v a multiple of 11?
False
Let x = 5 - 0. Suppose -2*h + 2*f + 84 = 0, -7*f + 5*f = -x*h + 198. Is 19 a factor of h?
True
Suppose 0 = -34*k + 37*k. Suppose 872 - 74 = -t + 5*c, 5*c + 5 = k. Let z = 1126 + t. Does 13 divide z?
False
Let y be (1/(-2))/((-7)/6 - -1). Let a(w) = -3*w**2 + 2*w - 6. Let u be a(y). Let c = u - -79. Is 23 a factor of c?
False
Let v(f) be the second derivative of -5*f**3/6 + 3*f**2 - 20*f. Let g be v(-3). Suppose -4*i = -79 - g. Does 18 divide i?
False
Let n(w) = 2*w**3 - 3*w**2 + 15*w - 5. Let h be n(4). Suppose -68 - 82 = -5*k. Suppose k - h = -c. Does 21 divide c?
True
Suppose 7651 = 2*j - 3*p - 414, 2*p + 10 = 0. Suppose -1565 = 6*q - j. Is q a multiple of 10?
True
Let w be 1 - (-16)/6*84/8. Let p(b) = -3*b**2 - w*b + 26 + 2*b**2 + 37*b. Is 14 a factor of p(8)?
False
Suppose -6*g + 126 + 465 = -117. Is g a multiple of 68?
False
Let o = 1553 - 968. Is o a multiple of 13?
True
Let o = -81 + 12205. Is 14 a factor of o?
True
Let k(g) = 2*g**3 + 5*g**2 + 10*g - 10. Let b be k(7). Let i = b + -575. Is 33 a factor of i?
False
Let y(o) be the second derivative of -56*o**3/3 - 77*o**2/2 + 75*o. Does 37 divide y(-3)?
True
Let w = 5364 + 1601. Is w a multiple of 21?
False
Let y(v) = -264*v + 376. Is y(-1) a multiple of 32?
True
Let j = 159 + -65. Let n = 154 - j. Suppose x - n = 14. Does 37 divide x?
True
Suppose 52*k + 21 = 59*k. Suppose -k*x - o + 1091 = 0, -1459 = -4*x - 2*o + 5*o. Is 7 a factor of x?
True
Suppose 4*z - m - 232 = 6*z, -4*z = 4*m + 468. Let v = z + 131. Does 16 divide v?
True
Let p(j) = 200*j - 1978. Is 15 a factor of p(18)?
False
Suppose -7*u + 2*u - 956 = -4*z, 3*u + 232 = z. Suppose -3*n - 5*j + 3*j = -z, 0 = -j - 4. Is 5 a factor of n?
False
Let g = 32794 - 18484. Is g a multiple of 318?
True
Suppose 2*q = -3*q + 2*j + 23485, 2*q + j - 9385 = 0. Is 26 a factor of q?
False
Let o = 166 + -97. Let a = o - 22. Let h = a + 43. Is 18 a factor of h?
True
Suppose 402*v + 52867 = 411*v - 266399. Is 56 a factor of v?
False
Let i(h) = -12*h**2 - 18*h - 3. Let j be i(-4). Let k be ((-102)/(-9))/((-2)/j). Let p = -481 + k. Is 27 a factor of p?
True
Let u be 77/((6/(-16))/(-3)). Suppose -2*h = -10*h + u. Suppose t = -0*t + h. Is 11 a factor of t?
True
Let l = 23333 + 5215. Is l a multiple of 12?
True
Let v(a) = 65*a**2 + a. Let i be v(-1). Let t(w) = 20*w - 357. Let s be t(18). Suppose k = -3*c + 5*c + 60, 0 = -k + s*c + i. Is 9 a factor of k?
False
Let p(t) = t + 14. Let k be p(-10). Suppose -k*a + 0 + 12 = 0. Suppose -q - 14 = -2*q + 4*y, -a*y + 162 = 5*q. Is q a multiple of 6?
True
Let b = -4 - -7. Suppose -q - 151 + b = 0. Let o = q - -235. Does 39 divide o?
False
Suppose -79*u + 130152 + 187372 + 10405 = 0. Is 3 a factor of u?
False
Suppose 5*i + 6*n = 3*n + 23625, i - 4725 = -n. Is 20 a factor of i?
False
Suppose l - 4*j - j = -5, -4*l + 2*j = -34. Suppose 0 = -l*s + 2858 + 422. Is 21 a factor of s?
False
Suppose 121*s = 69*s + 1465256. Is s a multiple of 15?
False
Suppose -2*n = 7*n + 8*n. Suppose 2*p + 3*p - t - 450 = n, 4*t = 0. Does 3 divide p?
True
Suppose 1240 = -18*p - 578. Let y = 6 - p. Is y a multiple of 5?
False
Suppose c = -c - 2, 3*a + 4*c = 50. Let d be (-2 - 9/6)*a. Is 33 a factor of ((-21)/(-6))/(d/66 + 1)?
False
Let x be 26/10 - 12/(-30). Suppose 4*o = -0*q + q - 353, 3*q = x*o + 1068. Is q a multiple of 25?
False
Suppose -29*s + 52712 = -1282071. Does 120 divide s?
False
Suppose 5*p = 2*t + 11, t = p - 2 + 1. Let o be (3 - 6)/p - -6. Is 16 a factor of 20/o - (-2 + -78)?
False
Suppose 4*o = -2*b + 5174, 2*o - 4*b = -585 + 3167. Is 10 a factor of o?
False
Let g = 688 - 422. Suppose 3*d - g = -5*o, 5*d + 3*o = 7*o + 431. Does 29 divide d?
True
Suppose 0 = 3*z + 4*c - 10 + 5, -6 = -3*c. Let p be (-1 - z)/(-6) + (0 - -56). Let n = 176 - p. Is n a multiple of 24?
True
Is 7 a factor of (8 - 10/(-40))*1952/6?
False
Let y(l) be the first derivative of l**2/2 + 12*l + 17. Is y(0) a multiple of 12?
True
Let c = -40 + 79. Suppose 5*n + 429 = c. Let y = n - -114. Is 9 a factor of y?
True
Suppose 0 = 2*n + 16 - 22. Suppose -n*o + 5*q + 142 + 2019 = 0, -5*o + 3587 = -q. Is o a multiple of 42?
False
Suppose 337*s - 329*s - 1312 = 0. Suppose -s*h + 157*h + 546 = 0. Is 28 a factor of h?
False
Suppose 5 = 4*a + 5*u, -a + 2 = -3*a + 2*u. Let b be (-1 - (-4)/4) + (0 - -3). Suppose b*v = 6 - a. Does 2 divide v?
True
Let w be 53538/10 + 132/(-165). Suppose w = 19*d - 4432. Does 11 divide d?
False
Let l = 31 - 31. Suppose 3*c = 3*j - 1662, -4*j + 2231 = -l*c - c. Suppose 17 + j = 4*h. Is 19 a factor of h?
False
Let d = -12 + 23. Suppose -d*g + 42 = -35. Does 7 divide g?
True
Let j = 884 - 882. Suppose j*s + 8 = 0, -2*t - 5*s = t - 1633. Is 19 a factor of t?
True
Let o(s) = -50*s**2 - 2. Let u(r) = 151*r**2 + r + 7. Let g(f) = -7*o(f) - 2*u(f). Suppose 19*y + 40 = 59. Does 10 divide g(y)?
False
Is (-1 - (-8)/(-12))*-6462 - (-5 - -2) a multiple of 9?
True
Suppose 0 = -4*o - 18*a + 98796, 2*a = 48 - 60. Is o a multiple of 13?
True
Let n(t) = 3*t**2 + 16*t + 14. Let d(m) = -m - 8. Let a be d(-2). Let z be n(a). Suppose -6*q - z = -7*q. Is q a multiple of 13?
True
Suppose -6*x = -5*f - x + 22220, -26634 = -6*f - 4*x. Is f a multiple of 54?
False
Does 15 divide ((-9180)/(-204))/(2112/2110 - 1)?
True
Let t(g) = -10*g - 101. Let r be t(-10). Let w(z) = -88*z**3 - 3*z**2 + z + 4. Does 4 divide w(r)?
True
Let h(s) = -s**2 - 2*s + 10. Let j be h(-5). Let z(r) = r**3 + 12*r**2 + 9*r + 35. Is z(j) a multiple of 17?
False
Let v(u) = -11*u + u + 83 - u**2 - 44. Let t be v(-13). Is 11 a factor of 12 + -1 + t - 0?
True
Let w = 130 - 201. Let n = w - -263. Let z = n - 137. Is 11 a factor of z?
True
Is -29076*(735/28)/(-15) a multip