et i be q(1). Let l be (-2)/(20/46)*(-8 + 3). Let x = l + i. Is 5 a factor of x?
False
Let g = 19 + -15. Does 5 divide 4/9*158 + g/(-18)?
True
Let z(y) = 10*y**3 + 2*y**2 + 5*y - 10. Is 24 a factor of z(3)?
False
Suppose k - 4*o = 2*k + 4, 26 = 4*k - 5*o. Is 2 a factor of k?
True
Let z(p) = -34*p + 5. Is z(-1) a multiple of 13?
True
Suppose -20573 - 67822 = -83*q. Does 15 divide q?
True
Is -7 + (8/(48/2478))/1 a multiple of 14?
True
Let y(z) = 148*z**2 + 15*z + 16. Is 5 a factor of y(-1)?
False
Let c = 37 + 2. Suppose c = d + 2*d. Does 2 divide d?
False
Let l(r) = -r**3 - 11*r**2 - 12*r + 10. Let h = -58 - -48. Does 9 divide l(h)?
False
Let k be 2 + -5 + (-77)/(-7). Let l = k + -6. Suppose -136 = -l*h - 4*m, -2*m = -h + 73 - 21. Is h a multiple of 10?
True
Is (585/26)/((-2)/(-4)) a multiple of 3?
True
Suppose -4*p = 3*b - 366, -16*b = -18*b - 3*p + 243. Is b a multiple of 22?
False
Let t = 281 - -156. Is 19 a factor of t?
True
Let k(o) = 190*o**2 + 6*o + 4. Is 8 a factor of k(2)?
True
Let w = -51 + -4. Does 3 divide (-11)/(w/10) + -1 + 3?
False
Suppose 0 = -32*m - 3*m + 2835. Is 3 a factor of m?
True
Let l = -240 - -408. Is l a multiple of 3?
True
Let a be 8/12*6 + -3. Let x(h) = 25*h**3 + h**2 - 3*h + 2. Is 8 a factor of x(a)?
False
Suppose 0 = q - 2*w - 0 - 19, 0 = -q - w + 4. Suppose -q + 143 = d. Let k = -62 + d. Is k a multiple of 24?
True
Let b(z) = 2*z - 1. Let w(t) = t + 1. Let p(q) = -3*b(q) - 6*w(q). Let y be p(12). Let f = 247 + y. Does 20 divide f?
True
Suppose -5*o - 6 - 29 = -5*k, 2*o + 5 = -k. Let a = 160 + o. Is a a multiple of 12?
True
Let d(x) = -x - 5. Let r be d(-6). Let n(p) be the second derivative of 3*p**4/2 - 7*p. Is 12 a factor of n(r)?
False
Let s(n) = 3*n - 9. Let j be s(10). Let z = 23 - j. Suppose -z*d - d = -54. Does 6 divide d?
True
Suppose -5*j + 9 = -11. Suppose -2*v = j*a + a - 82, -a + 136 = 3*v. Is v a multiple of 23?
True
Let m(d) = 3*d**2 - 28*d + 72. Does 29 divide m(20)?
False
Let f(i) = 23*i**2 + i - 1. Let o be (-1 - 0)/(3/(-9)). Suppose -7 = -4*w - o. Is f(w) a multiple of 8?
False
Let s be (-30)/(3/((-36)/(-3)))*-1. Suppose -y = -4*y + s. Is 40 a factor of y?
True
Suppose 3*q - i = -47, -3*i = -2*i + 4. Suppose -5*t + 16 = -9, -3*c + 4*t - 149 = 0. Let r = q - c. Is 13 a factor of r?
True
Let h(m) = 175*m + 77. Is h(6) a multiple of 49?
True
Let d(i) = -6*i**3 + i**2 - i - 1. Let g be d(-1). Let j = g - 3. Suppose -4*r = 4*f - 88, j*r + 67 = 4*f - 37. Does 13 divide f?
False
Let n(g) = 13*g**2 - 8*g + 5. Is 9 a factor of n(2)?
False
Is (203398/39 - 2) + 3/(-9) a multiple of 133?
False
Suppose 113 = j - 84. Suppose -3*f + 252 - 73 = 4*s, -4*f + 3*s = -j. Is f a multiple of 6?
False
Suppose 4*l = 3*l + 2. Suppose 23 = 5*b - 3*j, -3*j + 7 = 2*b - l*j. Suppose 4*p - b*a = 28, -p + 4*p = -4*a + 14. Is p a multiple of 6?
True
Suppose -11*l + 6*l = -3*q - 1554, 634 = 2*l + 5*q. Is 3 a factor of l?
True
Let b be (236/(-6))/(14/(-21)). Suppose -92 = -4*j + 4*c, -2*j + 5*c + b = j. Let x = j - 8. Is 19 a factor of x?
False
Let l be (0 + -6)/((-12)/8). Suppose -112 = 2*c - l*j, -5*j - 28 - 57 = 2*c. Is ((-3)/1)/6*c a multiple of 9?
False
Let z = 0 - -3. Suppose z*r = -r + 68. Is 4 a factor of r?
False
Suppose -4*w + 1928 = 5*j - 3124, 5*j - 20 = 0. Does 18 divide w?
False
Suppose -1289 = -3*o + 262. Is o a multiple of 11?
True
Let q be (-6)/(-3) - (2 - 4). Suppose q*u - 284 = 252. Does 21 divide u?
False
Let d = -24 + 0. Let i = 41 + d. Suppose -39 - i = -4*m. Is m a multiple of 10?
False
Let l = -2 + 75. Does 17 divide l + (8/(-12))/(4/6)?
False
Is 16 a factor of (114 - (-11 - -28))*2/2?
False
Let z = -462 + 669. Is 9 a factor of z?
True
Suppose 3*n - 226 = 443. Suppose -n = -6*a - 1. Does 17 divide a?
False
Let m(f) = f + 3. Let k(y) = 5*y - y**3 - 3*y - 3*y - 7*y**2 - 4. Let g be k(-7). Is 6 a factor of m(g)?
True
Let h be (26/(-3))/(4/(-6)). Let p(w) = 13 - h + 4*w**2. Is p(-1) a multiple of 4?
True
Let r = 536 + -304. Suppose -r - 68 = 3*o. Is o/(-6) - 2/3 a multiple of 8?
True
Let q(r) be the second derivative of -r**5/20 - 5*r**4/4 + 13*r**3/3 + 19*r**2/2 - 40*r. Is 31 a factor of q(-17)?
True
Suppose -k = 1 + 6. Let b(r) = r + 11. Let v be b(k). Suppose -118 = -v*o + 74. Is 24 a factor of o?
True
Suppose 1376 = 9*v + 224. Suppose 2*c = -3*c - 310. Let n = c + v. Is n a multiple of 11?
True
Suppose 1 = -4*a + 3*a. Is 22 a factor of (a - -115) + 8/(-2)?
True
Let o(a) = -a**3 + 10*a**2 + 15*a - 5. Let g(f) be the second derivative of -f**3/6 + 11*f**2 + 2*f. Let k be g(11). Does 15 divide o(k)?
False
Suppose 3*k + 14 = 26. Let b(i) be the second derivative of 2*i**4/3 - i**3/6 + i**2 - 2*i. Does 33 divide b(k)?
False
Let d = 73 + 53. Is d a multiple of 14?
True
Suppose 4*f - 1669 = -5*m - 635, 2*m - 1284 = -5*f. Does 8 divide f?
True
Let s(b) = 4*b**2 - 9*b - 9. Let p be s(4). Is -2 + (p - (-9 - -5)) a multiple of 21?
True
Let m be 394/26 + 12/(-78). Does 3 divide (-2)/(-3)*m - 3?
False
Let b(h) be the first derivative of h**4/4 + 10*h**3/3 - 3*h**2 - 9*h + 2. Let s be b(-9). Suppose g - 4*g = -s. Is g a multiple of 20?
False
Let u(o) = -o**2 + o. Let r(y) = y - 2. Let k be r(2). Let p be u(k). Suppose -2*a - 4*c + 0*c + 184 = p, 2*a - 180 = -3*c. Is 28 a factor of a?
True
Let m(z) = 9*z - 9. Suppose -8*l = -22 - 2. Is 3 a factor of m(l)?
True
Let p be (-615)/(-6) + (-2)/(-4). Suppose -5*r + 17 = -p. Suppose 0 = 21*y - 19*y - r. Is y a multiple of 4?
True
Let j = -50 + 230. Suppose -8*h + 12 + j = 0. Is 12 a factor of h?
True
Suppose 0*r + 4 = 2*r. Let j(v) = 10*v**3 + 2*v**2 - v - 2. Is j(r) a multiple of 14?
True
Let y(r) = 4*r**2 - 32*r + 3. Let f be y(5). Let n = -10 - f. Is 35 a factor of n?
False
Let w be (-6)/4*152/(-6). Let h = 27 - w. Let f = 21 + h. Does 10 divide f?
True
Suppose -4*g - 17 = -3*d, 3*g - 26 = -3*d - 2*g. Let v = 7 - d. Suppose -5*c + v*k + 37 = -k, -5*c + 4*k + 43 = 0. Is 7 a factor of c?
True
Let c(x) = -x**3 + x. Let a be c(1). Suppose a*r + 119 = -5*r - t, 0 = -3*t - 12. Let s = -13 - r. Is 4 a factor of s?
False
Let p(s) = -s**2 + 13*s - 15. Suppose 4 = -3*z - 5, 4*v - 3*z = 17. Suppose -4*x - 2*i = -37 - 7, 0 = -2*x + v*i + 16. Is p(x) a multiple of 5?
True
Let t = 22 - 26. Let u be 0 + 2/t*34. Let n = 32 + u. Is n a multiple of 8?
False
Suppose 4*b - 20 = 0, -3*d + 43 = b + 122. Suppose 0 = h - 14. Let t = h - d. Does 14 divide t?
True
Let k be -3 + 3 - -4 - 6. Does 19 divide 7*27 - (-5)/(-10)*k?
True
Let f(g) = 36*g - 4. Suppose 5*m = -5*s + 5, 4*m - 5*s = -m + 55. Does 8 divide f(m)?
False
Let w = 830 + -130. Is w a multiple of 50?
True
Suppose -3*j - 3 = -30. Suppose j = 3*v - 45. Does 4 divide v?
False
Let h = -47 - -84. Suppose 2*m - 33 = h. Is 7 a factor of m?
True
Suppose 0 = 5*a + 116 + 214. Let g(y) = -28*y**2 + 2*y + 2. Let d be g(-2). Let k = a - d. Does 16 divide k?
True
Suppose 0 = 5*p + 5*j - 360, -194*j + 190*j = -5*p + 342. Does 5 divide p?
True
Suppose -4080 = -16*w + 8*w. Does 30 divide w?
True
Suppose 0*m + m = 2*j + 12, -j - 12 = -2*m. Suppose -3*b + 187 = v, m*v - 249 - 544 = 3*b. Does 13 divide v?
False
Suppose -50*r + 74*r - 3168 = 0. Is 5 a factor of r?
False
Let q be ((-32)/12)/((-2)/3). Suppose g = r + 5, 11 + 1 = 4*g + q*r. Suppose 3*j + 3*p - 84 = 0, -2*p = -g*j + 74 + 50. Does 15 divide j?
True
Let x = -71 + 132. Let c = x + -27. Is 17 a factor of c?
True
Let v be (-3 - -3)/(0 - 2). Suppose v = 5*n - 4*n. Suppose -t + n*t + 11 = 0. Is t a multiple of 11?
True
Suppose 4*y - 5078 = -5*t + 3098, -y + 2044 = t. Is 21 a factor of y?
False
Let y = -235 - -244. Is 4 a factor of y?
False
Let u = 121 + -125. Let f(c) = c**2 - 3*c + 7. Is f(u) a multiple of 7?
True
Suppose -23 - 52 = -q + 5*y, -4*q = 4*y - 276. Is q a multiple of 18?
False
Let p(n) = 6*n + 99. Let j(z) = z + 20. Let g(m) = 11*j(m) - 2*p(m). Let k be g(9). Is 24 a factor of k/(-26) + 194/4?
True
Suppose 5*d = -d + 36. Let z(v) = 3*v**2 - 16*v + 1. Does 3 divide z(d)?
False
Let t be 2/4 - 45/(-10). Let k be 24 - (t - (-2)/(-1)). Suppose -4*f + 43 = -k. Does 16 divide f?
True
Suppose -3*j - 2*j - 10 = 0. Suppose -p + 4*v - 3*v = 0, 10 = 2*v. Is 257/p - j/(-5) a multiple of 13?
False
Let p be 2 + (-3 + 2 - 2). Let w(g) = 11*g + 2. Let h be w(p). Let v = 3 - h. Is v a multiple of 4?
True
