ivide -12*((-6265)/28 + -14)?
False
Let n = 0 - -22. Suppose 3*k + 48 = -15. Is n*k/12*6/(-7) a multiple of 12?
False
Does 39 divide (16 - 37 - 3073)*1/(4/(-6))?
True
Let p = 45 - -3359. Is 23 a factor of p?
True
Let n(h) = -51*h + 2. Let f be n(-4). Suppose 214 + f = -3*r. Is 3 - (r/4 - -3) a multiple of 7?
True
Let i = -1002 - -365. Let f = i - -695. Is 58 a factor of f?
True
Let s(d) = -222*d - 435. Is s(-3) a multiple of 21?
True
Let b(p) = p**2 - p**2 - 5 + 3*p**2 - 6*p. Let v be b(-15). Let g = v - 540. Is g a multiple of 14?
False
Let d be 0/(-30) - -1*3. Let g(i) = 33*i + 135. Does 39 divide g(d)?
True
Suppose 42*u - 112 = 46*u. Let c = 79 + u. Suppose -6*y + c + 51 = 0. Is 2 a factor of y?
False
Let n(r) = -r**3 - 14*r**2 - 12*r + 15. Let p be n(-13). Suppose 4 = -0*y - p*y, -3*y = 5*v - 3294. Is 55 a factor of v?
True
Suppose -p - p = -4*o + 4, 4*o + 2*p = -4. Let w be (o + 0)/(1/(-1)). Suppose -5*h - 4*l + l + 154 = w, 0 = 3*h - l - 98. Does 29 divide h?
False
Suppose -5*p - 96*q + 93*q + 5053 = 0, 2*p - 4*q = 1990. Is 70 a factor of p?
False
Is 34 a factor of (-68820)/(-24 - -4) + (-7)/1?
True
Suppose -3*z = -5*h - 22047, -20*h + 15*h = -z + 7359. Suppose z = 72*r - 60*r. Does 68 divide r?
True
Let d be 13/4*38*(99 + -5). Is 19 a factor of (d/141)/((-2)/(-6))?
True
Is 170 a factor of -11*(-52)/143 - -1696?
True
Let y = 83 + -79. Suppose y*k - 33 = 63. Let o = k - -17. Does 23 divide o?
False
Let i(b) = 9*b + 58. Let s be i(-9). Let m(h) = h**3 + 26*h**2 + 46*h + 20. Is m(s) a multiple of 9?
True
Suppose 438 = -0*r - 2*r - 3*u, -4*u + 16 = 0. Let z = -142 - r. Does 7 divide z?
False
Let a(u) = u**2 + 21*u - 13. Let w(g) = -23*g + 2. Let m be w(1). Let b be a(m). Is 5 a factor of (5/3)/(b/(-273))?
True
Let r(g) be the first derivative of -1 - 2*g + 65/2*g**2. Does 21 divide r(1)?
True
Let p = -8920 - -48479. Is 38 a factor of p?
False
Suppose -8 = 7*o - 9*o. Suppose 4*c + 5*u - 1325 = 0, 4*c = -o*u - 296 + 1620. Is 33 a factor of c?
True
Suppose -3*m - 630 = -0*m. Let i(v) = -v**3 - 104*v**2 - 203*v + 93. Let o be i(-102). Is o/3 + m/(-7) a multiple of 5?
False
Does 4 divide -5641*((-8 - -24) + -17)?
False
Let a = 140 - 138. Suppose 4*x = -4*z + 448, a*z - 6*z - 3*x + 444 = 0. Is z a multiple of 27?
True
Suppose 0 = 3*r - 5*u - 8069, 3874 = 2*r + 5*u - 1522. Does 2 divide r?
False
Suppose -i = -2*w + 952, 57*w - 62*w = -3*i - 2379. Is 2 a factor of w?
False
Is 6/(-39) + ((-19824)/(-78) - 7) a multiple of 19?
True
Suppose q - 1194 = 4*f + 1168, -3*f = 11*q - 25700. Is q a multiple of 14?
True
Suppose 5*y + 42 = 5*v - 318, v = 0. Suppose 5*m + 710 + 250 = 0. Let o = y - m. Is o a multiple of 24?
True
Suppose 3*n - 5*o - 1832 = -9*o, n - 608 = -4*o. Suppose 5*k - 2940 = -5*v, 0 = k - 5*v - 0*v - n. Is 21 a factor of k?
False
Does 29 divide 7 - (-320)/(-10 - -14)?
True
Suppose 60077 + 36884 = 3*m + 4621. Is m a multiple of 20?
True
Suppose -7*x - 375 = -760. Suppose -54*q = -x*q + 780. Is 26 a factor of q?
True
Let r = 140 + -134. Suppose 460 = 5*v + 2*y, r*v - 195 = 4*v - 3*y. Is v a multiple of 15?
True
Let y(a) = 434*a**3 + 20*a**2 - 27*a - 27. Is 4 a factor of y(2)?
False
Suppose 2541 = -15*t - 4134. Let y = t - -777. Is 25 a factor of y?
False
Let z(m) = 543*m - 49. Suppose u - 21 = -18. Is z(u) a multiple of 79?
True
Let n(m) = m**2 - 26*m + 35. Let i(h) = 63*h - 93. Let p be i(2). Is n(p) a multiple of 7?
True
Let x(t) = -9*t**2 - 7*t**3 + 5*t**3 + 7 - 14*t + 20*t. Let h be x(-5). Suppose 0 = -g + h*r + 103, -r - 281 = -4*g + 145. Is 19 a factor of g?
False
Let f(o) = -o**3 - 14*o**2 - 9*o + 22. Let q be f(-13). Let a be ((-2)/6 + 20/q)*1. Is 14 a factor of (2 - a) + 163 - 1?
False
Is ((-3121034)/(-168))/(8/16) + 2/(-12) a multiple of 8?
False
Does 147 divide 1330 + (2/(-23) - (-795)/(-115))?
True
Suppose 224 = 12*g - 1312. Suppose 4018 = -121*h + g*h. Is h a multiple of 41?
True
Let m(t) be the second derivative of 13*t**3/6 + 146*t**2 + 31*t + 2. Does 14 divide m(26)?
True
Does 274 divide (-786355)/(-35) - (-30)/42?
True
Suppose 0 = -4*z - 12, -g - 4*z - 683 = -3535. Is 16 a factor of g?
True
Let t(g) = 2*g + 46. Let l be t(-22). Let c be (l*(-29 - -2))/(-2). Suppose 17*n = c*n - 430. Is 5 a factor of n?
False
Suppose -2*d + 4*m + 32 = 2*d, 0 = -5*d + 4*m + 40. Suppose -d*r = -9 - 31. Suppose -14*z + 1557 = -r*z. Is z a multiple of 52?
False
Let a = -425 - -456. Let g = 54 + a. Is g a multiple of 3?
False
Let q = 352 - 341. Let v(n) = -n**2 + 18*n - 5. Is v(q) a multiple of 4?
True
Suppose 0 = 59*i + 99*i + 2*i - 9356800. Is i a multiple of 23?
False
Let w(y) = -8*y**3 - 5*y**2 - 11*y + 3. Is 3 a factor of w(-3)?
True
Suppose -5*s + 71*s - 989274 = 0. Is 13 a factor of s?
True
Suppose n + n = 0. Suppose 4*f + 7*c - 18 = 2*c, 3*c = -f + 8. Suppose -f*y + o = -71, -4*y + 4*o - 53 + 193 = n. Is 6 a factor of y?
True
Let r(t) = -40*t**2 - 30*t - 160. Let l be r(-8). Is 27 a factor of l/(-6) - 105/(-63)?
False
Let m(y) = 576*y - 3329. Is 349 a factor of m(59)?
False
Let r = -17602 + 25916. Is 13 a factor of r?
False
Let i = -5182 + 21082. Is 118 a factor of i?
False
Suppose -4*p + 139 - 31 = -5*i, 4*p + 5*i = 68. Let y = 37 - p. Suppose 0 = -y*t + 11*t + 96. Is t a multiple of 4?
True
Let d(u) = -7*u + 6*u**2 - u**2 - 4*u + 14*u - 6. Let h be d(-7). Let a = h - 142. Does 11 divide a?
False
Suppose -205*o + 25 = -200*o. Let a(n) = 5*n**2 + 12*n - 5. Is 10 a factor of a(o)?
True
Let a = 97 + -97. Suppose a*x - 5*x = 0. Let t(s) = s + 253. Does 46 divide t(x)?
False
Let n be (-30)/(-75)*635/(-1). Let r = n - -550. Is 1 - (-36)/(-28) - r/(-7) a multiple of 6?
True
Suppose 5*x = 4*w + 20, -4*x + 5*w + 1 = -15. Suppose 6*v - v + 998 = 4*a, 1002 = x*a - 3*v. Is a a multiple of 42?
True
Let h(b) = 1693*b**2 - 44*b - 216. Does 299 divide h(-6)?
True
Let y = 26831 + -2339. Does 52 divide y?
True
Let k = -48 - -103. Let t = k - -13. Suppose 4*s - 252 - t = 0. Does 16 divide s?
True
Suppose -20*x = -15*x - 855. Let d = 81 - x. Let u = -48 - d. Is 7 a factor of u?
True
Suppose 2*y + 16 = 3*a - 14, -2*y - 42 = -4*a. Suppose 9*p = a*p - 525. Is p a multiple of 7?
True
Suppose -276*n - 170*n + 873714 = 0. Is n a multiple of 21?
False
Suppose -529980 = -29*x - 240524 + 280336. Does 7 divide x?
False
Let t be (-3 - 4/4)/(-2) + 207. Suppose 6*o = 802 + 32. Let z = t - o. Does 26 divide z?
False
Let x = -4414 + 6768. Is 7 a factor of x?
False
Let j(l) = 169*l - 4850. Does 4 divide j(35)?
False
Let k be (-8)/(-14) + (-90)/(-63). Suppose -f + k*m - 2 = 0, f = m + 4 - 3. Suppose 30 = v + 2*q, f*q - q + 81 = 2*v. Does 12 divide v?
True
Let a = 57 + -54. Suppose -14700 = -a*m - 22*m. Is m a multiple of 28?
True
Let b = 37752 - 18739. Does 13 divide b?
False
Let v(y) = -8978*y - 92. Let g be v(-4). Suppose -28*x + 15588 + g = 0. Is x a multiple of 51?
True
Let i = 37 + -75. Let f = -40 - i. Is (8/(-6))/(f/24) a multiple of 8?
True
Let b = 204 + -87. Suppose 2*k = w + b, -5*k + 3*w = 5*w - 306. Is k a multiple of 3?
True
Let p be (-18 - 12)/(1 + 15/(-6)). Let o(b) = -2*b**2 + 44*b + 22. Is o(p) a multiple of 25?
False
Suppose 391*x + 4611 = 3*z + 386*x, 4*z = 4*x + 6156. Does 19 divide z?
False
Suppose -28*j + 1 = -27*j. Let d(x) = 3*x**2 - x + 1. Let u be d(j). Suppose -u*g - 35 = -314. Does 19 divide g?
False
Suppose 0 = 4*l, -2*z = -2*l + 3*l - 5508. Is 29 a factor of z?
False
Let d = 39998 + -15620. Does 29 divide d?
False
Let t = 13244 - -2690. Is t a multiple of 37?
False
Let o(i) be the third derivative of -i**6/60 - i**5/30 + 7*i**4/24 + 4*i**3/3 - 25*i**2. Is 8 a factor of o(-4)?
False
Let p(f) = 12*f**3 - 3*f**2 - 6*f + 7. Let t be p(5). Suppose -t - 848 = -15*v. Is v a multiple of 30?
True
Let d(c) = 7*c**2 + 28*c + 18. Let g be d(-8). Suppose 3*f = 2*o - 3*o + g, -f + o = -82. Suppose -2*w - f = -311. Is 9 a factor of w?
False
Let h(s) = -92*s + 47. Let r be h(-8). Let n = r + -494. Does 21 divide n?
False
Let j(t) = t + 7. Suppose -3*y + 2*y = 4*c + 36, 0 = 2*c - 2*y + 8. Let h be j(c). Let b(i) = -17*i - 2. Does 5 divide b(h)?
True
Let k = 56 - 53. Let r(s) = 17*s - 16. Let h be r(k). Let u = 99 - h. Is 15 a factor of u?
False
Let f be 9/(-45)*-243 - (-4)/10. Suppose -6*v - f*v + 880 = 0. Does 8 divide v?
True
Let a(f) be the first derivativ