erivative of -2*w**3/3 - 14*w**2 + 12*w + 2. Is 2 a factor of h(-19)?
True
Let r = 341 + -285. Let y = r - -80. Is 6 a factor of y?
False
Suppose -3*q - 5*o = -24250, 3*o = 4*q + 5*o - 32324. Is 16 a factor of q?
True
Let g be 26 - (8 - 7)*(2 - 3). Suppose -g*j - 3650 = -32*j. Is j a multiple of 51?
False
Does 7 divide ((-24)/18 - -1)/(7/(-528759))?
True
Let k = 34 + -32. Suppose -235 = -4*t - 5*a + 160, -3*t + 302 = -k*a. Suppose 0 = -12*w + 2152 - t. Is 9 a factor of w?
True
Suppose 5*q - x = -409, -q = 4*x + 65 - 0. Let j = q - -172. Is 20 a factor of j?
False
Suppose -11*d = 41 + 14. Let a be (-12 - d)*-4*3/2. Is 60 a factor of 2/(-7) - (-4)/a*1032?
False
Is 70 a factor of 42/9*(-319 - -19)*(-18)/5?
True
Let v = -60 - -58. Is 128 + (v - 1)/(3/(-3)) a multiple of 7?
False
Let m(f) = -f**3 + 5*f**2 + 18*f - 24. Let v be m(7). Suppose 13*o - 1105 = -v*o. Is o a multiple of 3?
False
Is 13 a factor of (252/21)/12 + 9223 + 1?
False
Is 11 + 13797 + (-304)/(-19) a multiple of 12?
True
Let h be 785/15*21 + 7. Let k = h - 612. Does 26 divide k?
True
Let b(r) = -11*r - 4. Let t be b(-1). Suppose -4 + t = -3*j. Is (-50)/(-300) - (j + (-305)/6) a multiple of 13?
True
Let u be (153/45 - 1)/((-4)/(-2450)). Suppose -z - u = -6*z. Is z a multiple of 42?
True
Suppose 837 = -5*s - 3*a, 3*s - 31 = 4*a - 539. Suppose 0 = 3*m + 218 + 76. Let k = m - s. Is k a multiple of 10?
True
Let d(y) = 2*y**2 + 38*y - 81. Let b be d(-21). Let x = -110 - -185. Suppose b*i - x = -5*q, -i - 2*q = q - 25. Does 5 divide i?
True
Suppose 34*j = -j + 77805. Suppose -217*l - j = -226*l. Is l a multiple of 97?
False
Let s(w) = -2*w**3 + 25*w**2 + 22*w + 52. Let o be s(11). Let v = -465 + o. Is v a multiple of 6?
True
Suppose -g - t = 557 - 1460, 5*t + 2749 = 3*g. Let w = g - 532. Is 11 a factor of w?
False
Let d = -433 - -543. Let u be (-8 - -2)/(2/(-18)). Let k = d - u. Is 14 a factor of k?
True
Let b(s) = -177*s + 2951. Does 3 divide b(12)?
False
Suppose 62 = -4*r - 6. Let u = r - -19. Suppose 4*h - 11 = -2*m - h, 0 = m + u*h - 8. Is m a multiple of 5?
False
Suppose 733*h = 735*h + 4. Is 11 a factor of h/(-19) - 2715/(-19)?
True
Let b(h) = 37*h**3 - 15*h**2 + 138*h - 22. Is b(7) a multiple of 29?
False
Let c = -100 + 51. Let k = 317 - c. Is k a multiple of 48?
False
Let j be 2 + -2 + -2 - -9. Let w(n) = -86*n - 418. Let y be w(-5). Let s = y - j. Does 2 divide s?
False
Is 10 a factor of (-633)/(5*(-36)/5520)?
False
Let i be 4 + 1 + -2 + 23. Suppose i = l - r, -32*r = -3*l - 28*r + 75. Does 8 divide l?
False
Let s(p) = 0*p**2 - 3 + 99*p - 13*p + 22*p**2 - 36*p**2. Is s(4) a multiple of 8?
False
Let y(k) = 1429*k + 966. Is y(16) a multiple of 18?
False
Suppose 5*v + n - 6*n - 10 = 0, 0 = -2*v + 4*n + 4. Suppose f = -3*g - v, -4*f - g - 3*g - 8 = 0. Is (1 + 2 + f)*27 a multiple of 3?
True
Let b(j) = 6*j + 119. Let i(l) = -3*l - 59. Let w(r) = 3*b(r) + 5*i(r). Let m be w(-19). Suppose 0 = -m*n - 20, 2*k - 2*n = -38 + 198. Is k a multiple of 5?
False
Suppose 10 = -2*r + 2*x + 46, 50 = 3*r - 4*x. Suppose -4*t + 6 - 26 = -p, -4*t = 3*p + 4. Does 14 divide ((-9888)/22)/(-3) + p/r?
False
Does 49 divide (702 - 4)/(104/260)?
False
Let w(k) = -47*k + 43. Let d be w(-24). Suppose 5*z = 4*m - 917, 44*m = 49*m + 2*z - d. Is 17 a factor of m?
False
Let p(d) = 3*d - 55. Let t be p(0). Let a be 11/3 + 0 + t/(-165). Suppose 3*j + a*y - 32 = 0, 39 = 4*j - 3*y + 13. Is 4 a factor of j?
True
Let s = -68 - -76. Let c(b) = b**3 - 6*b**2 - 16*b + 3. Let r be c(s). Suppose 0 = 11*q - r*q - 864. Is q a multiple of 36?
True
Let y(g) = 8378*g**2 - 104*g + 4. Is y(2) a multiple of 18?
False
Let k = -33439 - -34242. Does 47 divide k?
False
Suppose 4*q + 2*k - 6 = 10, 5*q - 27 = k. Suppose q*d - 2025 = 5*b, -2*b - 1070 = -5*d + 967. Let j = d + -185. Is j a multiple of 8?
True
Let r(u) = 21*u**2. Let f be r(2). Let p be f/(-8) - (-18)/12. Let q(l) = -10*l + 15. Is q(p) a multiple of 10?
False
Let c = 182 + -209. Let n = c + 147. Does 24 divide n?
True
Let t(h) = -h**3 - 15*h**2 - 18*h + 43. Let o be t(-13). Is 8 a factor of (-10)/((-10)/3) - o?
True
Suppose 166*q + 5*c - 243365 = 161*q, c + 243359 = 5*q. Does 32 divide q?
True
Suppose -3*m = -x - 26195, x - 34915 = 40*m - 44*m. Is 202 a factor of m?
False
Let x(y) = 2*y**3 + 2*y**2 - 4*y + 3. Let t be x(2). Suppose t + 14 = 11*a. Suppose -o + a*z = -15, 3 = -3*z - 0. Is o a multiple of 3?
True
Suppose x + 3*u + 2316 - 9975 = 0, -4*u = 2*x - 15332. Does 20 divide x?
True
Suppose 2914*x = 2865*x + 373527. Is 21 a factor of x?
True
Suppose 0 = 3*h - 5*l - 109 + 20, 3*l + 23 = h. Suppose -i + 3*i = 116. Let y = i - h. Is 20 a factor of y?
True
Let o(z) be the first derivative of -15*z**2/2 + 13*z - 82. Does 7 divide o(-1)?
True
Let z(w) = -96*w + 3806. Does 173 divide z(0)?
True
Suppose -2*z - 4*p + 2618 = 0, -5*z - 2*p + 4184 = -2361. Does 11 divide z?
True
Let f(b) = -13*b + 39. Let l be f(3). Suppose 4*r - 19 = -l*y - 3*y, -4*y - 4*r + 24 = 0. Suppose -3*o + 786 = 3*d, 5*o + 3*d - 1324 = y*d. Does 11 divide o?
True
Suppose -3*c + 5*c = j + 1, -2*j - 2*c = -22. Suppose 5*g - 5399 = 3*u, -3*g - 3*u = -2*u - 3231. Suppose -j*t - 7*t + g = 0. Is t a multiple of 23?
False
Let l be 6 - (45/9 - 1). Is 27 a factor of 68926/44 + l/(-4)?
True
Let d(m) = -316*m - 234. Let o be d(-2). Suppose 0 = 5*g - 5 - 5. Suppose 3*k - 3*l = g*l + o, 4*k - 5*l = 524. Does 23 divide k?
False
Let i = 303 - 309. Does 4 divide -5*i/10 + 268?
False
Let f(g) = -5*g**2 - 9*g + 2. Let k(b) = 14*b**2 + 26*b - 5. Let r(i) = 11*f(i) + 4*k(i). Let m be r(-7). Let z = 57 + m. Does 16 divide z?
False
Let m = 410 + -388. Is 25 a factor of 3 + m/(-6) - (-600)/9?
False
Let u(s) = s**3 + 6*s**2 + 2*s - 2. Let y be ((-3)/(-2))/(12/(-16)). Let z be u(y). Is 20 a factor of 2 + (-788)/(-5) - (-4)/z?
True
Suppose 0 = 8679*s - 8670*s - 106749. Is s a multiple of 194?
False
Suppose 12609 = 15*c - 55956. Is 52 a factor of c?
False
Suppose s + 15 = 3. Let f be (-1)/s*4*1137. Suppose 5*u - 181 - f = 0. Is 14 a factor of u?
True
Suppose 960*c + 5020 = 962*c. Does 80 divide c?
False
Let o = -37829 - -46582. Is 2 a factor of o?
False
Let k(f) = -f**3 - 3*f**2 - 3*f - 6. Let b be k(-3). Let n be 2/(-2) + (b + -2)/1. Let s = n - -40. Is 9 a factor of s?
False
Suppose d + 2670 = 6*d. Suppose -4*p - d = -4*g - 146, 2*p = g - 100. Suppose f - 3*h = 81, g = 3*f + 5*h - 107. Is f a multiple of 10?
False
Let t be 180/40*2/3. Suppose 3*q - 2136 = -3*w, 2*w + t*q - 1602 + 182 = 0. Suppose 5*j = 3*p - 1090, 2*p + 6*j - 4*j - w = 0. Is p a multiple of 20?
True
Let r be (14/(-8))/(6/(-72)). Suppose r*x = 19*x + 112. Suppose o + 68 = v, 3*v - 4*v = 3*o - x. Is v a multiple of 13?
True
Suppose -956040 = -156*d + 36*d. Does 127 divide d?
False
Suppose 5*k - 3*k - 6 = 0. Suppose 0 = -4*s - 5*f + 31, 3*s - 3*f = -0*f + k. Let d = s - -46. Does 10 divide d?
True
Suppose -3*b + 3633 = 3*s, 0 = -99*b + 96*b - s + 3631. Is 24 a factor of b?
False
Suppose 3*a = 3*q - 29955, -70*a = 2*q - 66*a - 19970. Is q a multiple of 11?
False
Let n(o) = -9*o**2 + 5. Let x be n(5). Suppose -3*z = -8*z - 680. Let d = z - x. Is d a multiple of 14?
True
Suppose 7628 = 4*n - 4*x - 11128, 14055 = 3*n + 3*x. Is n a multiple of 43?
True
Let k(z) = -3*z**2 + 4*z - 9. Let t be k(5). Let y = t - -135. Suppose -3*h + 82 + y = 0. Is 12 a factor of h?
False
Let p be (-7)/((-49)/(-18)) - 3/7. Let j be p + 7 + -3 + 2. Suppose -x - 69 = -v, j*v - 4*x - 68 = 135. Is 12 a factor of v?
False
Let q = -5618 + 12512. Is q a multiple of 13?
False
Let n(c) be the second derivative of -c**3/2 - 26*c**2 - 52*c. Does 4 divide n(-20)?
True
Let u be (-6630)/(-120)*(-2 + 6). Let f be 272/(-2) + -4 + 6. Let b = u + f. Is b a multiple of 12?
False
Let q(w) = 86*w**3 + w**2 + 33*w - 226. Is q(5) a multiple of 23?
False
Let q(w) = 1150*w - 7152. Does 54 divide q(15)?
True
Let a(f) be the first derivative of 2*f**2 + 26*f - 13. Let u be a(-5). Is (2/((-4)/u))/(3/(-144)) a multiple of 36?
True
Let o = -7 + -5. Let m be (-28 + 2)/((15/o)/5). Let i = 19 + m. Does 24 divide i?
False
Suppose b + 22 + 14 = 0. Let j = b + 299. Does 13 divide j?
False
Suppose 0*o + 22 = -2*o + 4*m, -3*o = 3*m - 3. Let k be ((-1407)/(-14))/(o/(-8)). Suppose 2*j - k = -0*j. Is j a multiple of 45?
False
Suppose