 -3*i, 2*g = 4*i + j + 148. Does 4 divide g?
False
Let n(z) = 401*z**3 + 8*z**2 - 8*z. Is 15 a factor of n(3)?
True
Suppose -5*a + 8 = 5*f + 113, 0 = f - 3*a + 1. Does 6 divide ((-104)/f)/(-13) - 362/(-4)?
True
Let j be (1*-3)/(7/(-2765)). Suppose -3*d - 2*a = -6*a - j, 4*d - 1580 = -a. Is d/7 - 20/(-35) a multiple of 19?
True
Suppose 0 = -3*u + 4*s + 321, -5*u - 5*s + 103 + 432 = 0. Let i = u - 113. Does 2 divide 234/10 + i/15?
False
Let v = -8523 + 10330. Is v a multiple of 4?
False
Suppose -5*c = -r + 12540, 4*c - 4278 = 2*r - 29346. Is 13 a factor of r?
False
Let s(i) = -i**3 - 11*i**2 + 9*i + 227. Is 32 a factor of s(-19)?
True
Let q(o) = 2*o**3 - 10*o**2 + 79*o + 26. Is 20 a factor of q(20)?
False
Suppose -363 - 216 - 791 = -m. Does 3 divide m?
False
Is (-60)/84 + (-627696)/(-28) a multiple of 30?
False
Let u(t) be the third derivative of t**7/630 + t**6/240 - t**5/20 - 17*t**4/24 + 18*t**2. Let s(k) be the second derivative of u(k). Is s(4) a multiple of 18?
False
Is 9836/14 + (20 - 1008/49) a multiple of 10?
False
Let o(y) be the third derivative of y**6/120 - 4*y**5/15 - 7*y**4/12 - 23*y**3/6 - y**2. Suppose -16 = 4*t, 0 = 4*m - t - 70 - 2. Does 7 divide o(m)?
True
Does 13 divide (-3888)/(-1512)*6748/3?
False
Let h(n) = -6625*n + 562. Does 68 divide h(-2)?
False
Let k = -74 - -16. Let d = 157 + k. Is d a multiple of 11?
True
Suppose -3*q - w + 293 + 281 = 0, 3*q + 5*w = 566. Is 6 a factor of (7 - 6 - 1) + (q - 0)?
True
Suppose q - r = 1107, -1101 = -q + 25*r - 30*r. Does 7 divide q?
True
Let k = 4877 - 79. Is 26 a factor of k?
False
Let a = -88 + 413. Let d(t) = t**2 - 30*t + 12. Let l be d(19). Let h = a + l. Is 16 a factor of h?
True
Let d(q) = q**3 + 15*q**2 - 21*q + 26. Suppose 4*z + 2*p + 66 = 0, 45 = -3*z - 7*p + 10*p. Does 7 divide d(z)?
False
Let l = 10411 + -7628. Does 120 divide l?
False
Suppose 3*m + 2*t - 18 = 0, 0*m + 4*t = m + 8. Let s be (28/(-8) + m)*518. Suppose -4*u + s = 19. Does 6 divide u?
True
Suppose 0*d + 4*d - 20 = 2*g, 15 = 2*g + 3*d. Suppose g = 8*q - 36*q + 16044. Does 16 divide q?
False
Let c(i) be the third derivative of -i**6/40 - 4*i**5/5 + 13*i**4/24 + 13*i**3/2 + 117*i**2. Is c(-17) a multiple of 44?
False
Suppose -3*x - 293147 = -5*d, 40 = 5*x + 60. Is d a multiple of 23?
True
Suppose -2*k - 37 = -2*l + 3*k, 2*k = 3*l - 61. Suppose 0 = l*i + 4839 - 31299. Does 35 divide i?
True
Let x(f) = -f**3 - 37*f**2 + 31*f - 77. Let y = 108 - 146. Is x(y) a multiple of 4?
False
Is (28*(-5550)/(-245))/((-2)/(-21)) a multiple of 20?
True
Suppose 4*x - p = -11, -5*p + 9 + 6 = 0. Is (5 + 884/(-8))*x a multiple of 9?
False
Let t = 33401 - 13212. Is t a multiple of 52?
False
Suppose -61 = -14*t + 13*t. Suppose -5*q + 5*u = 25, 4*q = -2*u + 8 + 2. Suppose q = 7*r - t - 58. Does 3 divide r?
False
Let d be (268416/33 - (-6)/33)/2. Suppose -11*u + d = 5*v - 8*u, -2*v = 3*u - 1625. Is 74 a factor of v?
True
Let f = -30 - -33. Let r be f*(-13)/(-6)*-2. Let l(n) = -7*n - 37. Is 18 a factor of l(r)?
True
Let o be 21/7*202/3. Let d = -94 + o. Is 9 a factor of d?
True
Let q be 2*(-17*(-5)/10 - 2). Suppose q*n = -n + 1568. Is n a multiple of 14?
True
Let u(r) = r**2 + 18*r - 19. Suppose 11*w + 133 = 4*w. Let h be u(w). Suppose 6*y - 7*y + 172 = h. Does 23 divide y?
False
Let f(g) = -9*g**2 + 16 + 18*g**2 - 8*g**2 + 4*g + 10. Is f(-4) a multiple of 14?
False
Suppose -z = 8*z - 36. Suppose -f - 2*n - 6 = 0, -z = -4*f + 2*n + 2. Suppose f*w - 76 = -4*w. Is 13 a factor of w?
False
Let m = -61 - -68. Suppose 2*a = -m*a. Suppose 2*z = -2*r + 78, 0 = 5*r - a*r - 25. Does 34 divide z?
True
Suppose -m + 7090 = 2*o, -5*o + 4*m + 7120 = -3*o. Does 105 divide o?
False
Let o be 3 + (-6 + -711)/3. Let j = o - -248. Does 4 divide j?
True
Suppose 3*v = 3*l + 663, 15*v + 5*l = 14*v + 197. Let s = v + 203. Is 21 a factor of s?
True
Suppose -74 = -5*p - 3*f, -f - 3*f + 38 = 2*p. Suppose -3*u + p + 320 = 0. Is 10 a factor of u?
False
Let q(p) = 2*p**2 + 5*p - 6. Let f = 84 - 64. Suppose -7*w + f = -2*w. Does 39 divide q(w)?
False
Suppose -7 = -3*t - 6*x + 2*x, -x - 2 = 0. Suppose 5*z = 3*s + 1182, -t*z + z = s - 932. Is 39 a factor of z?
True
Suppose -5*t = -10*t + 250. Let y = -48 + t. Suppose 0 = y*l - 6, -5*b - 4*l + 7 = -75. Does 4 divide b?
False
Let b = 163 + -138. Suppose 2*y - 10 = 0, -1117 - b = -4*z - 2*y. Is 69 a factor of z?
False
Is 62 a factor of ((-6944)/(-168))/(3/270)?
True
Let o(d) = 5*d**3 - 333*d**2 - 105*d - 90. Is 63 a factor of o(68)?
False
Suppose 14*l - 1118 = l. Let u = l + -89. Is 9 a factor of (-9*53/(-3))/(u/(-2))?
False
Suppose -3*s + 78061 = 4*a - 98598, -2*a + 2 = 0. Is s a multiple of 14?
False
Suppose 2*o + 6 = 3*o. Let a(u) = 5*u**3 - 3*u + 2. Let g be a(0). Suppose -224 = g*v - o*v. Is 14 a factor of v?
True
Let g(q) be the second derivative of 3*q**5/4 - q**4/6 - q**3/6 + 3*q**2/2 - 23*q. Let t be g(2). Let d = t + -59. Is d a multiple of 27?
True
Suppose -277*b + 147*b = -145*b + 62010. Is 106 a factor of b?
True
Suppose 0 = -23*i + 249628 - 11682 + 63722. Does 105 divide i?
False
Suppose -5615*w + 64113 = -5608*w. Is w a multiple of 9?
False
Let u(v) = v**3 - 4*v**2 + v + 16. Let r be u(0). Suppose -5*x - j = -724, -r = -14*j + 10*j. Is x a multiple of 6?
True
Let p(y) = 75*y + 7. Let a be p(5). Suppose -11*t + a = -146. Suppose 3*h - t = -0. Is h a multiple of 3?
False
Suppose 0 = -1002*t + 925*t + 21252. Is t a multiple of 7?
False
Let w(k) = k**2 + 17*k - 33. Let d be w(-19). Suppose -j - 19 = 2*g - 6*j, j - d = 0. Let o(r) = 2*r**2 - 4*r + 1. Does 3 divide o(g)?
False
Suppose -27 = -v - 5*g, -3*v - 5*g + 81 = -2*g. Suppose -p = v - 138. Does 37 divide p?
True
Let p = 455 - 241. Suppose -p = 2*m - 754. Is 10 a factor of m?
True
Is 18 a factor of (4 - 16)*(-14)/35*690?
True
Let r(c) = 72*c**2 - 78*c + 39. Is r(6) a multiple of 4?
False
Let l(k) be the first derivative of k**3/3 + 17*k**2/2 - 4*k - 137. Does 34 divide l(-32)?
True
Let l be 6/((-12)/874) + (3 - 1). Let f = l - -550. Does 8 divide f?
False
Let z(q) be the first derivative of -59*q**2/2 + 107*q + 112. Is 52 a factor of z(-7)?
True
Let g = -241 - -591. Let s = 209 + -391. Let u = s + g. Is 16 a factor of u?
False
Let d = 15 + -10. Suppose 3*q + d*n = 1403, 4*q - 972 = 2*q + 4*n. Is q a multiple of 17?
True
Let x be (-5 + -12)/(1/(-3)). Let w(y) = -11*y + 59. Let s be w(9). Let v = s + x. Does 6 divide v?
False
Suppose d = 1, -2*d = -4*k + 1279 + 1659. Is k a multiple of 9?
False
Is (-7)/(12/(-20) - (-34)/(-60)) a multiple of 2?
True
Suppose -5*i + 8*l - 3*l = 5, -5*i - 4*l + 22 = 0. Suppose q - i*a - 240 = 308, 2*q = a + 1084. Is 45 a factor of q?
True
Suppose 755 = 2*h - i, -5*h - 2*i + 1894 = 2*i. Is h a multiple of 14?
True
Let n(r) = 158*r**3 - 1. Let h be n(1). Let k = 248 + h. Is k a multiple of 26?
False
Let i(g) = 6*g**2 + 2*g + 8. Let d(z) = -2*z**2 + 7*z + 1. Let s = 99 + -96. Let j be d(s). Does 8 divide i(j)?
True
Is 9 + 25494 + (-10 - 2) a multiple of 63?
False
Let c(w) = 10*w**2 + 3*w. Let n = -16 + -51. Let p = n + 70. Is 33 a factor of c(p)?
True
Suppose 2*k - 5*o = -2*k + 1, 2*k - 5*o + 7 = 0. Suppose l - k = 5*l. Is 34 a factor of (2/(-6) + l)/(1/(-51))?
True
Let m be (27/(-81))/(2/12). Is 26 a factor of 287 - ((-2 - -7) + 8/m)?
True
Suppose 0 = r + 5*t - 6090, r + 3*t = 6*r - 30534. Suppose 5*y - r = -18*x + 16*x, 5*x + 4884 = 4*y. Is y a multiple of 9?
False
Let h(r) = -5*r + 130. Let w(d) = d. Let f(j) = h(j) - 5*w(j). Is f(-9) a multiple of 20?
True
Let d be (-17)/((-510)/(-372)) - (-2)/5. Let j = 79 - d. Is (4 - (2 + (-24)/(-4))) + j a multiple of 11?
False
Suppose -4*v = -8*v + 104. Suppose -23*h = -v*h. Suppose -5*d = -h*d - 300. Does 15 divide d?
True
Let w(r) = 2*r**2 + 2*r + 7. Suppose -18*d + 4*d = 112. Does 34 divide w(d)?
False
Let y(j) = -97*j + 6. Let a be y(-8). Suppose a = 7*g + 10*g. Does 4 divide g?
False
Let v = -157 - -432. Suppose -66*m - v = -71*m. Is 15 a factor of m?
False
Suppose -11*c = 13*c - 48. Suppose 0*l - l + 2*y + 127 = 0, -614 = -5*l + 3*y. Suppose -2*p = 5*a - 67, -4*a = -c*p + l - 45. Is p a multiple of 18?
True
Suppose 16 = 7*k - 3*k. Let f be 289/(-51) - k/(-6). Is 20 a factor of f/((-5)/405*3)?
False
Does 40 divide ((-741008)/128)/(-29) + (-6)/(-16)?
True
Let u be (-2)/(-33) - (-14862