e
Suppose 3*j + 2*j + 320 = 0. Let m = -22 - j. Is 14 a factor of m?
True
Suppose -46 = -f - 44. Suppose 0 = 2*c - f*r - 76, -2*r + 106 = 3*c + 3*r. Is 4 a factor of c?
False
Let f(h) = -3202*h - 8. Is 14 a factor of f(-1)?
False
Suppose 0 = -6*s + 8*s - 4. Suppose 2*x + 3*f - 51 = -s*f, 0 = -5*x + 3*f + 50. Is 5 a factor of x?
False
Let d = 12 - -56. Suppose -7*k + d = -2*k + 4*j, -j + 2 = 0. Is 4 a factor of k?
True
Let d = -267 - -587. Is d a multiple of 5?
True
Let u = 501 - 419. Does 5 divide u?
False
Let n(u) be the second derivative of u**4/6 + 5*u**3/6 - 3*u**2/2 + u. Let j(a) be the first derivative of n(a). Is 17 a factor of j(3)?
True
Let w be 7/(-14) + 1/2. Is 39 a factor of (-18 - w)/((-4)/26)?
True
Suppose -7*p - 2*m + 4827 = -25, -m = -p + 688. Is 16 a factor of p?
False
Suppose 157*v + 25380 = 193*v. Is v a multiple of 26?
False
Let f(o) be the second derivative of -o**5/20 - o**4/2 + 5*o**3/6 - 5*o**2 + o. Let b(v) = -v**2 + 3*v + 3. Let g be b(-2). Is 2 a factor of f(g)?
True
Suppose z + j + 3*j - 465 = 0, -2261 = -5*z - 4*j. Suppose -4*q = 17 - z. Is 17 a factor of (q/(-2))/(4/(-4))?
False
Let z(u) = -u**2 + 3*u + 1. Let g be z(4). Suppose 0 = -3*q + 5*f + 11 + 1, 0 = 2*q - 2*f - 8. Is 18 a factor of (g + q)/((-2)/(-138))?
False
Suppose -25*o + 26*o - 49 = 0. Suppose -5*w + 140 - 25 = 0. Suppose 3*p - o = w. Is p a multiple of 6?
True
Suppose -17 = -4*v + l - 0*l, -v - l + 3 = 0. Suppose -v*i + 88 = 3*x - 372, -4*i + 3*x + 436 = 0. Is i a multiple of 14?
True
Let n(b) = 2*b + 8. Let u(d) = -d**3 + d**2 - d + 6. Let z be u(0). Let w be n(z). Is (w/8)/(4/8) a multiple of 3?
False
Let m = -803 + 1383. Is 29 a factor of m?
True
Suppose -v + 175 = g, g - 350 = -g + 2*v. Suppose -g = 5*y - 0. Does 6 divide (-131)/(-7) - 10/y?
False
Let o(i) = i**2 - 11*i - 18. Let f be o(16). Let m = f - 13. Is m a multiple of 13?
False
Let z(p) = -54*p + 92. Is z(-7) a multiple of 6?
False
Suppose -2*k + 9*r - 4*r = 41, 5*k + 5*r = -85. Let l be (2 - 3)/((-3)/k). Does 13 divide (-237)/(-9) + (-4)/l?
False
Let z(g) = -g**3 + 9*g**2 - g + 16. Let f be z(9). Let l(p) = 5*p - 15. Is 10 a factor of l(f)?
True
Let v(s) = -9*s**2 - 440*s + 24. Is 122 a factor of v(-46)?
True
Let g(w) be the second derivative of w**6/360 + w**5/20 + 5*w**4/24 - 11*w**3/6 + 7*w. Let l(j) be the second derivative of g(j). Is l(-7) a multiple of 11?
False
Let k(a) = 32*a**2 + 2*a + 14. Is k(7) a multiple of 17?
False
Suppose -2*t = -2*c + 408, 59*c - 56*c - 2*t = 609. Is c a multiple of 6?
False
Let q = 16 - 11. Suppose q*r = 4*k + 26, 5*r - 19 - 8 = 3*k. Is 26 a factor of (291/r)/(2/4)?
False
Let t be (4 - (-2)/(-2))/(6/88). Let y = 74 + t. Does 16 divide y?
False
Is 50 a factor of (1/(-3))/(41/(-64329))?
False
Suppose -22*k + 25*k - 276 = 0. Let r = -83 + k. Is r a multiple of 3?
True
Suppose -4*y - 108 = -4*d, d = 1 + 2. Is 8 a factor of 1/(-6) + 5 + (-1060)/y?
False
Suppose -24*d - 196 = -4420. Is d a multiple of 28?
False
Let y(m) = -6*m + 6. Let v be y(-6). Is 8 a factor of (-496)/(-6) + (4 - v/9)?
False
Suppose 19*w = 9438 - 3662. Is w a multiple of 16?
True
Suppose 10*z + 1120 = 3190. Is z a multiple of 3?
True
Let x be (-3)/9 - (3 + 4204/(-12)). Suppose -3*u - 5*r = -x, u = -2*u - 3*r + 351. Does 17 divide u?
True
Let o be (-1)/(3/18) + 3. Let n(z) = z**2 - 12*z - 12. Let u(c) = -c**2 + c. Let x(s) = o*u(s) - n(s). Is x(-6) a multiple of 13?
False
Let h = -183 + 279. Let f = -73 + h. Is 23 a factor of f?
True
Is 2/(-19) + (28056/(-19))/(-6) a multiple of 19?
False
Let v be 1*9/(0 + -1). Let d be 57*((-242)/66 + 4 + 0). Let f = v + d. Is 5 a factor of f?
True
Suppose -a + 3 = -2. Suppose -4*s - a*p - 10 = -s, 0 = -5*s + 4*p + 8. Suppose s = 3*t - 12, -2*f + 43 = -f + t. Does 13 divide f?
True
Let v = 12 - 83. Is 15 a factor of (-2 + 1 - v)*1?
False
Let w be -25 - (-1 - (0 - -3)). Suppose 0 = k - 4*k - 93. Let t = w - k. Does 4 divide t?
False
Let n be 6/((-198)/(-159)) + (-6)/(-33). Suppose n*o = 3*l - 344, -3*l + 0*l - o = -320. Is l a multiple of 36?
True
Suppose y + 2*a = 3*y - 26, 0 = y - 4*a - 16. Suppose 138 + y = 5*t. Is t a multiple of 3?
True
Let b(f) = 6*f - 15. Let j be b(10). Let h = j + 9. Let q = h - -16. Is 27 a factor of q?
False
Let g = 1874 + -1511. Is g a multiple of 15?
False
Suppose 0 = 4*l - 9 - 3. Suppose l*h = 300 - 117. Is h a multiple of 16?
False
Suppose 5*h - 3640 = -4*t - t, 2907 = 4*h + 5*t. Is h a multiple of 14?
False
Let i(w) = 3*w**3 - w**2 + w. Let u be i(1). Suppose u*o + y - 70 = -o, -3*o + 46 = 4*y. Is 2 a factor of o?
True
Let k(v) be the third derivative of -7*v**6/120 + v**5/60 - v**4/6 - v**3/2 + 15*v**2. Is 11 a factor of k(-2)?
False
Suppose 4*b - 63 = -3*b. Suppose k = b*k - 432. Is k a multiple of 13?
False
Suppose -5*y + 322 = -388. Let r = y + -82. Is r a multiple of 20?
True
Suppose 15 = -5*c - 15. Let k(d) = -10*d + 10. Does 34 divide k(c)?
False
Let v(a) = -a**2 + 9*a - 10. Suppose -2*j = -g - 16, -2*j - 4*g + 3 = -3. Let o be v(j). Suppose -49 = -3*i - 5*n, 0 = i + o*n - 3 - 4. Is 13 a factor of i?
False
Let v = 77 - 61. Suppose w - 46 = -o - v, -4*o + 155 = 5*w. Is w a multiple of 11?
False
Let r be (-441)/7 - (-4)/(-2). Let z = r + 123. Is 16 a factor of z?
False
Let k = -127 + 113. Is (-16560)/(-56) - 4/k a multiple of 24?
False
Let y(u) be the second derivative of -9*u + 1/2*u**3 + 1/12*u**4 + 0 - 3/2*u**2. Does 3 divide y(-5)?
False
Suppose 0 = 3*l + 20 - 2. Let y(o) = o**2 + 5*o - 1. Let s be y(l). Suppose 0 = 4*q + 5*w - 161, 4*q - s*w = q + 77. Is 22 a factor of q?
False
Let t(f) = -f + 9. Let r be t(0). Suppose -r*s + 7*s + 400 = 0. Suppose 0*u = -5*u + s. Is 20 a factor of u?
True
Let g be (2 + (-2 - -3) + 0)*-23. Let h = -3 - g. Is h a multiple of 11?
True
Let l(m) = m + 8. Let x be l(-7). Is -4 - -1 - (x - 70) a multiple of 29?
False
Suppose m + 0*t = t + 39, -5*m + 195 = -t. Suppose 5*d = r - 33, r + d = 4*d + m. Let c = r - 10. Does 9 divide c?
False
Let i = 1388 - 683. Is 5 a factor of i?
True
Suppose 2*b - 6 - 4 = 0. Suppose -2*c + 3*c - 29 = -v, -89 = -3*v - b*c. Suppose -q = -23 - v. Does 13 divide q?
False
Let c(q) = q**2 - 2*q - 3. Let z be c(-2). Suppose z*x + k - 1610 = -185, -5*x + 1440 = -2*k. Suppose x + 164 = 5*u. Is u a multiple of 30?
True
Let z = -1 - -3. Let r(c) = -c**3 - c**2 - 3*c - 3. Let j be r(-2). Suppose -z*p + j*p = 300. Does 19 divide p?
False
Let q(u) = u**2 + 9*u - 6. Suppose 3*f + 0*f + 30 = 0. Let k be q(f). Suppose 3*g - 270 = -5*r, k*g = -r + 56 - 19. Is 19 a factor of r?
True
Let d = 559 - 253. Is 18 a factor of d?
True
Let o(n) be the third derivative of n**6/120 - n**5/20 + n**4/24 + n**3/3 + 4*n**2. Let l be o(2). Suppose l*s = -5*s + 25. Does 2 divide s?
False
Let h(v) = 99*v + 1318. Does 43 divide h(35)?
False
Let w = -1353 - -3632. Is 42 a factor of w?
False
Let t(b) = b + 42. Let p be (-280)/32 - (-2)/(-8). Let d(s) = -s - 85. Let j(f) = p*t(f) - 4*d(f). Does 14 divide j(-16)?
True
Let q(v) = 14*v + 10. Let y be q(4). Let t = 0 - -3. Suppose 2*a + k - 63 = -t*a, 0 = 5*a + 2*k - y. Does 4 divide a?
True
Suppose -5*c - 227 - 83 = 0. Let x = -11 - c. Is 17 a factor of x?
True
Suppose 2*j + 2*r - 14 - 2 = 0, -2*j - 4 = -2*r. Suppose j*d = -120 + 465. Is 23 a factor of d?
True
Does 19 divide 2*103 - 57/(-19)?
True
Let n(l) = l**3 + 0*l**3 + 1 - 61*l + 5*l**2 + 55*l. Let f be n(-6). Is -5 - -3 - f - -24 a multiple of 21?
True
Suppose -2*g + 2*y - 3*y + 3 = 0, 4 = 4*y. Let o(x) = 171*x - 1. Let s be o(g). Suppose -8*t = -3*t - s. Is 17 a factor of t?
True
Let x = -29 - -23. Let t = x + 41. Does 5 divide t?
True
Let t be (-24)/(-5) - (-1)/5. Let a(p) be the third derivative of p**6/120 - p**5/15 - 2*p**3/3 + 3*p**2 - 30*p. Is 11 a factor of a(t)?
False
Let n = 69 + -111. Suppose -149 = 2*q - 5*l, 0 = 5*q + l - 2*l + 315. Let t = n - q. Is t a multiple of 17?
False
Let s(v) = -v**3 + 5*v**2 + 3*v - 1. Let m be (3 + (-7)/4)*4. Is s(m) a multiple of 2?
True
Suppose z + 3 = -a, 2*z = 7*z - 2*a - 6. Let o(p) = p + 32. Is 7 a factor of o(z)?
False
Let c(m) = 14*m**2 + 0*m - m - 1 - 78*m**2. Let d be c(1). Does 10 divide (-48)/18*d/4?
False
Let z = 8 - 11. Let y be -1 + (z - -4) - -161. Suppose 4*j - y = 163. Does 34 divide j?
False
Let j be ((-16)/(-56))/(1/7). Suppose -