b + 24630 = b. Is 31 a factor of t?
True
Let k = -6 + 6. Suppose -3*p + 5*b = b - 21, -2*p = 2*b. Suppose p*z + 15 = k, 3*h - 6*z - 187 = -z. Does 27 divide h?
True
Let v = -117 - -158. Suppose 5*s - v - 4 = 0. Suppose s*j = -j + 890. Is 24 a factor of j?
False
Let p(a) be the first derivative of 7*a**3/3 + a**2 + 10*a + 1129. Let d be 0 + -2 + 3 - -3. Is p(d) a multiple of 10?
True
Let m be (26 - (1 + 1)) + 1. Let x = m + -33. Let l = x - -27. Is 11 a factor of l?
False
Let i(r) be the second derivative of 5*r**3/3 + 23*r**2/2 + 6*r. Let z(d) = d**2 - 2*d - 3. Let h be z(4). Is i(h) a multiple of 14?
False
Let o(u) = 2356*u - 3175. Is 16 a factor of o(3)?
False
Let x(u) be the third derivative of 53*u**4/24 + 5*u**3/3 + 3*u**2 - 10. Is x(19) a multiple of 41?
False
Suppose 3*x = 0, -8 - 4 = -4*y + x. Let g(w) = -120*w**2 - 4*w + 1. Let m be g(y). Let a = -771 - m. Is a a multiple of 32?
True
Let p = -113 - -179. Let y(k) = -4*k**2 + 56*k + 21. Let u be y(14). Let h = p - u. Does 7 divide h?
False
Let a(q) = -q**2 + 11*q + 1. Let l be a(11). Suppose 0 = 2*p - 11 - 3. Is 4 a factor of (l - 14)/(p/(-14))?
False
Let c(d) = 3*d**2 - 12*d + 3278. Is 162 a factor of c(102)?
False
Let r(k) = 24*k**2 + 31*k - 108. Suppose -f = 0, -g - 4 = 3*f - 8. Is 14 a factor of r(g)?
False
Let y = 17444 + -14692. Is 64 a factor of y?
True
Suppose 6*l + 43283 = -11485. Is 31 a factor of (-2)/3 + l/(-21)?
True
Let b be 31 + 2 + 0 - 3. Suppose -b*p - 1592 = -34*p. Is 17 a factor of p?
False
Suppose -3*b - n - 29 = 0, -b = -n + 13 + 2. Let p be 2*(-1 + 0)*b/2. Suppose -p*c = -7*c - 132. Does 3 divide c?
True
Let b be (65/(-39))/((-1)/39). Suppose b = -n + 2*n. Suppose 4*s = n + 95. Does 8 divide s?
True
Let w(p) = -p**3 - 2*p**2 + p - 3. Let h be w(-2). Let l be h - (-18)/4 - (-130)/(-4). Let t = l + 154. Is t a multiple of 11?
True
Let h(t) = 5*t**2 - 183*t - 295. Is h(57) a multiple of 9?
False
Suppose -14*u - 56603 + 222139 = 0. Is 8 a factor of u?
True
Let a be (-1 + -16)*(-59)/(-1). Let d = 1453 + a. Is 10 a factor of d?
True
Is (30/40)/(6 - 11469/1912) a multiple of 41?
False
Suppose 15*q - 16*q + 2*o = -1147, 5783 = 5*q - 2*o. Is q a multiple of 129?
False
Suppose -x = 3*c - 44084, 4*c - c + 3*x = 44076. Is c a multiple of 22?
True
Suppose 5 = 2*k - x, -3*k + 0*x = -2*x - 8. Let r(i) = 3*i**2 + 7*i**2 - 5*i**2 - 3*i**k - 6. Is r(3) a multiple of 3?
True
Suppose -4*n + 3348 = -4*y, -36*y = -41*y - 10. Is n a multiple of 5?
True
Let i = 20619 + -15955. Is 106 a factor of i?
True
Let l = 1239 + -9. Is 9 a factor of l?
False
Let g = -5276 + 10818. Is g a multiple of 13?
False
Let h = 24 + -33. Let m be 6/(-9) - 6/h. Suppose -3*z - 5*y + 31 = m, 3*z + 4*y = 7*z - 84. Is 2 a factor of z?
False
Suppose 15*s - 35 = 40. Suppose 0 = 5*n - 20, -4*k + s*n + 45 = -171. Is 5 a factor of k?
False
Let b(a) = 268*a - 1. Let j be b(3). Suppose 7*z = 2882 - j. Is 11 a factor of z?
True
Does 32 divide ((-10)/4 + 3)/(22/75064)?
False
Let h be (-861)/77 + 8/44. Let o(u) = 3*u**2 - 18*u + 19. Does 22 divide o(h)?
False
Let m(k) = -k**2 + 9*k + 30. Let v be m(8). Suppose -v*r + 7796 = -336. Is r a multiple of 9?
False
Suppose -b - j + 35005 = 0, 71*j - 76*j + 105025 = 3*b. Does 100 divide b?
True
Let z = -154 + 158. Suppose z*i + i + 2*b - 2892 = 0, -1735 = -3*i - b. Is i a multiple of 50?
False
Suppose 0 = -4*u + a - 683, 0 = -5*u + 5*a - a - 851. Let s be u/(-45) - (0 - 3/15). Suppose 3*p - 1089 = -4*t, 0 = s*t + t - 2*p - 1367. Is 39 a factor of t?
True
Suppose 2139 = -8*m + 3483. Is 4 a factor of m?
True
Is 8 a factor of 1/((216/(-27))/(-10680))?
False
Let o = -158 + 180. Suppose -o = 5*v - 357. Is 8 a factor of v?
False
Suppose -7*r = -2*r + 1980. Let t = -1 - 0. Does 31 divide (r/t)/2*1/2?
False
Is 840*(3 - (-1)/2) a multiple of 30?
True
Suppose 0 = 116*n - 149*n - 155*n + 565316. Does 31 divide n?
True
Suppose h + 18 = -2*c + 3*h, c + 4*h = 11. Let m be 180/c - (-2 - (-2 + 2)). Let s = m + 82. Is s a multiple of 6?
True
Let y(z) = -z**2 - 9*z - 7. Let g be y(-7). Let t be ((-5)/((-45)/(-66)))/(3/(-9)). Suppose -g*f + t = -41. Is f a multiple of 5?
False
Let j(x) = -5*x**2 - x + 11. Let s be j(5). Let k = -118 - s. Is 154 + k + -5 + -5 a multiple of 34?
False
Suppose -28*h + 199166 = 5*h - 84766. Is h a multiple of 21?
False
Let h(j) = -10*j - 6. Let s be h(-1). Suppose -3*c + s*t + 259 = -31, -5*t - 25 = 0. Is c a multiple of 30?
True
Suppose 15*q + 76 + 14 = 0. Is 23 a factor of (123/q)/(2/(-148))?
False
Is 5 a factor of ((-3580)/15)/(44/(-759))?
False
Suppose 5*u = 3*m + 34068, 17*m - 16*m = -5*u + 34064. Suppose 5*o + 0*o + 4*b = u, -4092 = -3*o - b. Is o a multiple of 21?
True
Let o(t) = t + 10. Let s be o(-6). Suppose s*p - 142 + 534 = 5*h, 5*h - 394 = 3*p. Is h a multiple of 16?
True
Let d = -32 + 92. Let s be 17955/d - (-2)/(-8). Let f = s - 134. Is 33 a factor of f?
True
Suppose 4*k + 8 = -12, 2*v - 2*k = 4666. Suppose 7*z = v + 290. Does 11 divide z?
True
Suppose 10*z + 3*z - 78 = 0. Let k(x) = 2*x**3 - 10*x**2 + 26*x. Is k(z) a multiple of 38?
True
Let w(m) = -m**3 - 34*m**2 + 642*m + 281. Is 54 a factor of w(-52)?
False
Let d(q) = q**2 + 9*q - 5. Let y be d(-10). Let k(c) = -c**3 + 8*c**2 - 2*c + 16. Is k(y) a multiple of 18?
False
Let c be (-3 - (-8 + 0)) + 1*-1. Suppose -t - 120 = 5*r + c*t, -r = 3*t + 32. Let h = r - -32. Does 3 divide h?
True
Is ((-79)/4*-22 - (-364)/91)*8 a multiple of 94?
False
Suppose -3*h - 60*m + 15402 = -63*m, 5*m - 15434 = -3*h. Is 81 a factor of h?
False
Let o be (57/(-2))/((-11)/((-5236)/(-21))). Let m = 951 - o. Is m a multiple of 61?
True
Let w(m) be the first derivative of -m**4/4 - 6*m**3 - 23*m**2/2 - 6*m - 16. Is 12 a factor of w(-17)?
True
Suppose k - 3*x - 17 = 0, x = -3*k - 2*x - 9. Let y(t) = 9*t**2 - 209*t - 47. Let s be y(24). Suppose -j - 124 = -2*j - k*a, a - s = -j. Does 15 divide j?
False
Let g(u) = 473*u**3 - 8*u**2 - 16*u + 45. Does 33 divide g(2)?
False
Let u(c) = 32*c**2 + 4*c - 6. Let d be u(3). Let b = -134 + d. Let x = 280 - b. Is 12 a factor of x?
True
Suppose 0 = -8*a + 3*a + 8925. Suppose -4*n + n = -a. Suppose 10*v - n = 3*v. Is v a multiple of 17?
True
Let y(a) = -8*a - 145. Let k be y(-15). Let u(s) = -s**3 + 31 + 10 + 25*s - 4 - 24*s**2. Is 30 a factor of u(k)?
False
Let a = -5101 + 8749. Is 10 a factor of a?
False
Suppose 194*s = 177*s + 34170. Does 37 divide s?
False
Suppose -3*h = t - 8648, 0 = -2*t - h + 5*h + 17216. Does 40 divide t?
False
Is 246 a factor of 39528/3 + (-10 - -16)?
False
Suppose -5*y + q + 37419 - 12823 = 0, -q + 4 = 0. Is y a multiple of 19?
False
Is 25 a factor of -6*((-922)/(-5))/(4/(-5))?
False
Let k(a) = -3*a**3 + 8*a**2 - 112*a - 37. Is 11 a factor of k(-8)?
False
Let m(q) be the first derivative of -11 - 50*q + 5/2*q**2. Is 7 a factor of m(19)?
False
Suppose -4*h + 6*u + 2 = u, 0 = -3*h - u + 11. Suppose -4*a + 3*w - 17 = -8*a, -5*a + h*w = -1. Suppose 6 = -2*z - 0, -521 = -5*l + a*z. Does 5 divide l?
False
Suppose 821909 = 453*o - 442*o. Is 11 a factor of o?
False
Suppose -121*q + 5401 - 68713 = -137*q. Is q a multiple of 45?
False
Let w = -57 + 59. Suppose w*t = -7 + 5. Is (4/3)/(t + 41/39) a multiple of 7?
False
Suppose q + 0*q + 2*q = 0. Suppose q = x - 68 - 11. Does 24 divide x?
False
Suppose -4*i - 5*a = 0, 0 = 3*i + 4*a - 2*a - 7. Suppose 6*n + i*n - 2640 = 0. Is 12 a factor of n?
True
Let x = -523 - -1158. Suppose -5*u + 2*m = -m - 660, 0 = 5*u + 2*m - x. Is 34 a factor of u?
False
Let j = 802 - 476. Let q = 356 - j. Does 5 divide q?
True
Let w = -5557 + 7807. Does 15 divide w?
True
Suppose 54*f + 3299 = -697. Let p = 2 - -6. Let h = p - f. Is h a multiple of 18?
False
Does 70 divide (1400/(-3))/(354/45 - 8)?
True
Suppose -z = 3*t + 6, -3*z = -0*z + 4*t + 18. Let r = -2 - z. Suppose 0 = 4*c + 5*b - 368, 0*c + 2*b + 368 = r*c. Is c a multiple of 44?
False
Suppose 5*a + 61 = h, 5*a = a - 8. Let v = -23 + h. Is v a multiple of 6?
False
Suppose -77 = -4*j - 57. Does 33 divide (627/j - -3)/(12/40)?
False
Let l = -10222 + 15845. Is l a multiple of 126?
False
Let k(v) = -v**3 - 19*v**2 + 33*v - 52. Let w be k(-26). Suppose 28*r - 7*r = w. Is 13 a factor of r?
True
Let p = -439 - -699. Suppose 0 = -253*h + p*h - 84. Is 4 a factor of h?
True
Suppose 2*a = -7*a + 54. Suppose -5