e (-163)/(15/5 + -2). Let g = z - -196. Is g a multiple of 5?
False
Suppose d = 3*g + 25723, 287*d + 4*g = 282*d + 128482. Is 24 a factor of d?
False
Suppose 20 = 3*p - 4*s + 6*s, -5*s + 40 = 5*p. Suppose 2*h - p*h - 5*f = -532, 817 = 3*h - 2*f. Does 21 divide h?
False
Let p = -2021 - -2271. Is 5 a factor of p?
True
Let n(x) = 24*x + 85. Let r be n(-3). Is 5 a factor of r + (-45)/9 - -132?
True
Suppose 3*f - 5 - 19 = 4*k, 2*f - 21 = k. Suppose 0*y + 4*y = f. Does 23 divide (-648)/(-12) + y + -1?
False
Suppose -55 = -26*d + 23. Suppose -d*m + 3*r = -1509, m = -0*m - r + 497. Does 44 divide m?
False
Let v = 696 + -1088. Let f = v + 559. Does 12 divide f?
False
Let v be (-53)/(-3) + ((-8)/3 - -3). Suppose -4*z = u + v - 5, -4*u - 4 = 0. Let m(t) = -5*t**3 + 2*t**2 - 6*t + 3. Does 16 divide m(z)?
False
Let c(h) = -11*h - 58. Let i be c(-18). Suppose 43 = t - i. Does 32 divide 2/((-2)/1) + t?
False
Suppose 3*i - 115 = -s, 3*s + i - 377 = -0*s. Let t(z) = z + 66. Let q be t(-62). Suppose 5 = q*n - s. Is 5 a factor of n?
False
Let q = -74 + 48. Let j = q + 111. Suppose -j*b = -88*b + 255. Is 17 a factor of b?
True
Suppose 0 = 12*z - 20408 - 72340. Is 7 a factor of z?
False
Suppose 2*i - 6106 = g - 5*g, 3050 = i + 3*g. Is 133 a factor of i?
True
Suppose 0 = 4*u, 0 = -3*z - 5*u + 42 + 18. Is 9 a factor of (-3 - z/(-8)) + 1140/8?
False
Let d(a) = -410*a - 286. Let r(f) = 615*f + 430. Let k(v) = 8*d(v) + 5*r(v). Does 53 divide k(-3)?
True
Suppose -4*l - 4*d + 5*d = -137, -124 = -3*l + 5*d. Suppose 13758 + 11520 = l*z. Does 19 divide z?
False
Is 69 a factor of 1/(-5 + 15) + (-1377912)/(-80)?
False
Let j(a) = -15*a**3 + 5*a**2 - 5*a - 10. Let h(u) = -14*u**3 + 6*u**2 - 5*u - 11. Let w(m) = -4*h(m) + 5*j(m). Is 21 a factor of w(-2)?
False
Let a(c) be the first derivative of -c**4/4 + c**3/3 - 10*c**2 - 16*c + 53. Is a(-8) a multiple of 24?
True
Let m = -20485 - -37503. Is m a multiple of 67?
True
Suppose -4*f + 45 = 3*u, 0*f + 5*u = 5*f - 30. Suppose 137 = 3*l - 52. Suppose 0 = -10*t + f*t + l. Does 10 divide t?
False
Let h = -2685 - -1417. Let k = h - -2273. Does 42 divide k?
False
Let t(y) = -y**3 - 2*y**2 - 2*y - 1. Let m be t(-1). Suppose -c = -4*f + 664, m = 3*f + c - 271 - 227. Let g = -97 + f. Does 11 divide g?
False
Let h = 3800 - 3622. Let l be 269 + (-2)/(-1 - -3). Let n = l - h. Is 6 a factor of n?
True
Let n(m) = -m**3 - 29*m**2 + 5*m + 143. Let l be n(-29). Is 33 a factor of (2024/l)/(-2) + 9 + -4?
False
Suppose -6135*k - 739545 = -6182*k. Is 11 a factor of k?
False
Suppose 2*t = 4 + 2. Suppose q + 3*k - 26 = 0, 1 + 11 = t*k. Does 14 divide q?
True
Let z be (-3 - -5) + 3 + 9/(-3). Let h = z - 8. Does 6 divide 2/h - (-3 - 664/12)?
False
Let j(i) = -6*i**3 - 2*i**2 - 12*i + 4. Let z be j(-6). Let d be z/(-25) + (2 + -1)/(-1). Is 5 a factor of (-2)/(-4)*(7 - d)?
True
Suppose -2*x + 265 = p, -56*x + 270 = -54*x - 4*p. Is 17 a factor of x?
False
Let r(i) = i**3 - 9*i**2 + 10*i - 14. Let v be r(8). Suppose 673 = v*z - 115. Does 33 divide z?
False
Let p(l) = 20*l + 1911. Is 2 a factor of p(-49)?
False
Is 15 a factor of (25 - 17711)*(-3)/(-6)*-1?
False
Let x(j) = 610*j - 3803. Does 15 divide x(33)?
False
Let l(b) = 2*b**3 + 8*b**2 - 12*b - 14. Let d be l(-5). Is (5 + d)*(6 + 1765) a multiple of 12?
False
Let n be (-679)/(-63) - 11 - (-3398)/(-18). Let q = n + 205. Does 16 divide q?
True
Suppose 3*n - 511 = w + 39206, -2*n + 2*w + 26482 = 0. Is 68 a factor of n?
False
Let n(t) = -2479*t + 2197. Is 56 a factor of n(-4)?
False
Suppose -m + 160 = 15*m. Suppose m*k = 25*k - 4080. Does 34 divide k?
True
Suppose 14*d = 376*d - 10181250. Is d a multiple of 15?
True
Let q = -396 - -416. Is q/(-6)*(-882)/56*2 a multiple of 35?
True
Let m(s) = 12*s**2 + 9*s - 12. Let l be m(-6). Let p = -210 + l. Is 39 a factor of p?
True
Let i = -131 - -136. Suppose 3*h - h = 5*s + 332, 3*s + 197 = -h. Let q = i - s. Is q a multiple of 23?
False
Let y(s) = s**3 + 5*s**2 - 11*s - 12. Let b be y(6). Let w(v) = 40*v + 5. Let p be w(4). Let q = b - p. Is q a multiple of 26?
False
Is ((-249)/6)/((-69)/9936) a multiple of 12?
True
Let c(l) be the second derivative of -14*l + 1/20*l**5 + 1/2*l**2 + 0 + 3/4*l**4 - 5/3*l**3. Does 23 divide c(-9)?
False
Suppose 83 = 32*t - 45. Suppose 4*k + t*r - 1076 = 0, 0 = -4*r + 4. Does 4 divide k?
True
Let r = -5926 - -15452. Is 366 a factor of r?
False
Let l be (-3)/(-6) + 3/(-6). Let o be -4*(52/5 - 105/75). Is o/(-1 - l) + -7 + 10 a multiple of 39?
True
Let t(g) = -2*g**2 - 31*g + 8. Let b be t(-16). Does 58 divide 11416/72 - b/18?
False
Suppose 30326 + 23728 = -99*g + 117*g. Does 110 divide g?
False
Suppose -5*n + 37*p + 48450 = 32*p, 4*n + 2*p - 38784 = 0. Does 118 divide n?
False
Does 63 divide (400/(-60) + 5)/((-10)/36) + 2199?
True
Suppose -4*v = v + 290. Let b = v + 40. Does 34 divide b/63 + (-1908)/(-14)?
True
Is 48 a factor of (-11 + 13)*28875/66?
False
Is 59 a factor of (-1)/3*-10*((-2 - -9) + 4064)?
True
Suppose 5*f = 4*l + 2 + 7, -2*f - 3*l = -22. Suppose f*n = -170 + 560. Is n a multiple of 11?
False
Let k be (-1 + 3)*51/6 - -3. Suppose 22*i - 72 = k*i. Let v = -3 + i. Is v a multiple of 14?
False
Suppose 149 = 3*d - 34. Let w be 2/(-2*(-2)/10). Suppose 5*b - w*h + 0*h = 35, 5*h - d = -3*b. Is 2 a factor of b?
True
Let i(h) = 2*h**3 - 15*h**2 - 35*h - 117. Does 84 divide i(17)?
False
Let c = 2497 + -1. Is c a multiple of 78?
True
Suppose 38820 = 31*o - 34*o. Let y be 4/(-22) - o/(-220). Let t = 135 + y. Is t a multiple of 42?
False
Let m(l) = -2*l + 39. Let v be m(18). Suppose -v*k = -288 + 48. Does 10 divide k?
True
Suppose -14*c + 17*c - 2025 = 0. Let p = -234 + c. Is 63 a factor of p?
True
Let s(m) = -62*m**3 - m**2 - 5*m - 6. Let o(k) = -4*k - 82. Let p be o(-20). Is 16 a factor of s(p)?
True
Let v(r) = 34 + 4027*r**2 + r - 5 - r**3 - 4014*r**2. Let t(y) = -y + 13. Let a be t(0). Is v(a) a multiple of 6?
True
Suppose 6778*a = 6779*a + 4*q - 27304, 3*q = 3*a - 81972. Is 20 a factor of a?
True
Let y = 281 + -66. Let s = 396 - y. Is s a multiple of 67?
False
Does 44 divide (-5)/15 - (-20)/24 - 33938/(-4)?
False
Suppose 4*r = 6*r + 3*i + 42, 5*i = 0. Let t be 0*(r/(-9) + -2). Suppose t*v = 3*v - 93. Is 5 a factor of v?
False
Suppose -8*p + 9*p + 3*k - 2 = 0, 0 = -4*p - 5*k + 15. Suppose -228 = -p*z - 4*w + 157, 0 = -2*w - 10. Is z a multiple of 6?
False
Let s = -2252 + 2404. Is s a multiple of 19?
True
Is 106 a factor of 53/(-24 + (-646100)/(-26920))?
True
Let x be (4 - (-1200)/(-18))/((-1)/6). Let w = -342 + x. Does 34 divide w?
True
Suppose 5*l - d - 9 = 0, 5*l - 2*d - 15 + 2 = 0. Suppose 0 = s + 4*b + l, -s + 1 - 2 = -5*b. Is 14 a factor of -9*((-146)/6 - s)?
True
Let p be 2 - (-2 + 22)/(-4). Let f(x) = x**3 - 12*x**2 + 10*x + 9. Let m be f(p). Does 15 divide m*(10/(-4) - -2)?
False
Suppose 9*k = -44*k + 534240. Is 17 a factor of k?
False
Suppose -33*w + 510373 = 83848. Is 21 a factor of w?
False
Suppose -2*n + 23143 = 3*d, -3*n + 17923 + 16799 = -3*d. Is 41 a factor of n?
False
Suppose -j = 3*j + 432. Let m = j - 440. Is (-4)/(16/m) - 4 a multiple of 47?
False
Let n be (1/(-2))/((-69)/19182). Suppose -151*x = -n*x - 6480. Does 36 divide x?
True
Let b = -6 + -12. Suppose -15*h - 142 = 38. Is 7 a factor of (-754)/h + 1*(-3)/b?
True
Let i(f) = -f**2 - 10*f - 16. Let d be i(-7). Suppose -5*w = -0*w + 20, 0 = x - 5*w - d. Is 16 a factor of (-5 - (1 + -4) - 3)*x?
False
Suppose 0 = -14*b + b - 52. Does 31 divide 667 - (26/39)/(b/(-6))?
False
Let w = -724 + 720. Is 2 a factor of (70/w)/(450/(-540))?
False
Let l(b) = b**2 + 10*b + 24. Let x be l(-7). Suppose -3*h = -5*m + 135, m + 50 = x*m - 2*h. Is 26 a factor of m?
False
Let j(p) = -p**3 - p**2 + p + 1. Let c be j(-2). Let y(h) = 91*h + 4. Is y(c) a multiple of 11?
False
Let k(t) = t**2 + 8*t - 13. Suppose -2*g + 47 = -7*g + j, 0 = 4*g + 4*j + 52. Let p be k(g). Suppose 0 = p*a - 416 - 151. Is 47 a factor of a?
False
Let w(z) = 11*z**2 + 12*z + 5. Let f = -224 + 217. Does 23 divide w(f)?
True
Suppose 0 = -25*k + 28*k. Suppose o - t = 627, -2*o = 5*t - k*t - 1275. Is 42 a factor of o?
True
Suppose 0 = a - 0*j - 5*j + 27, 3*j = 3. Let k = 67 + a. Let b = 104 - k. Is b a multiple of 5?
False
Let i be 4/(-6) + (7 - (-1525)/15). Suppose 17*z - i = 8*z. Is 6 a factor of z?
True
Suppose -7