2. Is k a multiple of 20?
True
Let z = 24 - 25. Is 9 a factor of -4 - 41/z - -3?
False
Let g be (6 + -1)*(7 - 6). Is 2 a factor of (-3 + (g - 4))/((-2)/19)?
False
Let v(o) = o**3 - 5*o**2 + o - 12. Let m be v(5). Let c = -2 - m. Is 8 a factor of (80 - 0)*2/c?
True
Let t = 112 + -104. Let s(p) be the first derivative of -p**4/4 + 10*p**3/3 - 3*p**2/2 - 4*p + 2. Is s(t) a multiple of 25?
True
Let u(w) = 6*w**2 + 6*w + 2. Is u(-6) a multiple of 8?
False
Let w = -109 + 160. Let f be w/12 - (-1)/(-4). Let t(a) = 2*a**2 - 6*a. Is 8 a factor of t(f)?
True
Suppose -6*u - 84 + 426 = 0. Is 16 a factor of u?
False
Let p = -8 + 8. Suppose p = 14*y - 16*y + 142. Is y a multiple of 18?
False
Let s(p) = p**3 + 9*p**2 + 13*p - 3. Let l be s(-7). Suppose 3*n + o + 374 = 7*n, -l*n - 2*o = -368. Is n a multiple of 31?
True
Let t(r) = -r. Suppose 4*d + 32 = -0*d. Let h be t(d). Is -86*(1 - 12/h) a multiple of 11?
False
Let q(y) = 3*y**2 - 5*y - 4. Let p be q(-4). Suppose -p - 44 = -2*g. Does 9 divide g?
True
Is 10178/28 + (-6)/4 a multiple of 18?
False
Suppose 12*a + 5491 = 21691. Is 9 a factor of a?
True
Let a(t) = -2*t**3 - 3*t**2 + 1. Let p be ((-1)/2 + 1)*-4. Let w be a(p). Suppose -w + 1 = -2*i. Is 2 a factor of i?
True
Let t = -386 + 637. Suppose 5*v - t = 2*b, -b + 55 = v + b. Is v a multiple of 17?
True
Suppose -2*d = -2*v - 326, 2*d = -4*v + v + 311. Does 14 divide d?
False
Let g be 12/3*2/4. Let l(s) = s**g + 0*s - 7*s - 5 - 3. Is 6 a factor of l(10)?
False
Suppose 4*r = -0*r - 384. Let u = r - -182. Suppose 0 = -2*d + 4*o + u, -5*o + 13 = 2*d - 55. Is 8 a factor of d?
False
Suppose 0 = 6*a + 3600 - 10512. Is 9 a factor of a?
True
Suppose 3*x = 4*i + 8692, 5*i - 10*i = -4*x + 11591. Is 88 a factor of x?
True
Let a(n) = n**2 - n + 1. Let i be a(3). Suppose i = 3*f + 4*c - 0*c, -4*f = 5*c - 10. Let t(d) = 6*d + 10. Is t(f) a multiple of 10?
True
Let y = 68 - 184. Let h = -77 - y. Is 12 a factor of 51/(-2)*(-52)/h?
False
Let i be (-6)/27 - 148/(-18). Suppose -y - 1 = 2. Does 18 divide i*(8 + y - 1)?
False
Suppose 3*a - 12 = -6*v + 2*v, 2*a - 2*v + 6 = 0. Let p be 4 - a - (3 + -6). Suppose 0 = -5*x + 6*x - p. Does 2 divide x?
False
Suppose -5*h + 7 = -4*g, 0 = -4*h - 5*g + 25 - 3. Is h - (-5 - 34/2) a multiple of 25?
True
Let f be (-13 + 1)/(-1 - -2). Let q = -106 - -120. Let o = q - f. Is o a multiple of 7?
False
Let w = 8 + -5. Suppose 2*d - 37 = -w*u, 0*d + 39 = 2*d + u. Let s = d + -4. Does 16 divide s?
True
Let p(m) = m**3 - m**2 - 3*m + 5. Let y be p(2). Is 21 a factor of y/2*(-248)/(-3)?
False
Suppose 486 - 24 = 6*l. Is 7 a factor of l?
True
Let q be (-4)/12 - 734/3. Let r = 497 + q. Is r a multiple of 18?
True
Let v be (-1 + 5873/35)*(-10)/(-4). Let s = v + -247. Is 17 a factor of s?
True
Let z be 5 - 1 - 1/(-1). Let y = 6 + z. Does 2 divide y?
False
Suppose p + 3*f = 34, -3*p + 8*p - 270 = 5*f. Let l = p + -32. Does 8 divide l?
False
Is 56 a factor of (-16)/(17/((-238)/4))?
True
Suppose -3*n = -q - 6, 0 = -5*n + 2*q - 3 + 13. Let a = 6 + -4. Suppose 15 = 3*z + n*l, -l - 11 = -a*z - 2*l. Is 2 a factor of z?
False
Let c = -1284 + 1431. Is c a multiple of 3?
True
Let r(h) = 13*h**2 + 6*h + 3. Is r(5) a multiple of 11?
False
Suppose -122*q + 123*q = 78. Is 39 a factor of q?
True
Suppose 0 = 104*l - 102*l - 458. Is 13 a factor of l?
False
Suppose 0 = -s - 41 - 21. Let h = s - -98. Does 5 divide h?
False
Let i = -461 + 249. Let v be (2/(-4) - 0)*i. Suppose -v = -4*l + 50. Is l a multiple of 13?
True
Let s(u) be the second derivative of -u**5/20 + 7*u**4/12 + 7*u**3/6 - 3*u**2 - 16*u. Does 12 divide s(6)?
True
Let j = 4529 + -2938. Is j a multiple of 37?
True
Let i be (-14804)/6 - ((-8)/(-12) + 0). Does 29 divide i/(-22) + 16/(-88)?
False
Let v be (-16)/88 + 20/(-11). Let d be (v/8)/((-1)/4). Is 24 a factor of -6 - -8 - (d + -23)?
True
Suppose -7163 + 1171 = -7*r. Suppose -5*d = -d - r. Does 34 divide d?
False
Let m be (-3)/(-5 - -4) - 0. Suppose -25 = -3*c - t, c + 0*t = 5*t + m. Is 5 a factor of c?
False
Suppose -z + 11 = -3*i - 2*i, 3*z = 2*i + 98. Does 36 divide z?
True
Let z = 2 + 14. Suppose 17*o - z*o - 58 = 0. Is o a multiple of 5?
False
Is 34 a factor of (-6 + 1)/(-15)*3*1021?
False
Let t(z) = 3*z + 0*z - 5*z - 1. Suppose 3*a + 2*y + 42 = -y, 0 = -5*a + 4*y - 34. Is 8 a factor of t(a)?
False
Suppose 37*n + 1932 = 40*n. Is 92 a factor of n?
True
Let p be (15/(-60))/((-2)/40). Suppose 4*c + 20 = p*l, -l + 4 = -0*c + 2*c. Suppose -5*z + 105 = -c*z. Does 5 divide z?
False
Let o(w) = 14*w**2 + w + 1. Let q be o(-1). Let s be (-483)/q*4/6. Is 28 a factor of 3 + (3 - s) + -1?
True
Let k = 691 + 668. Is k a multiple of 11?
False
Suppose -4*x - 5328 = 9*g - 13*g, g + 5*x - 1350 = 0. Does 11 divide g?
False
Suppose 0 = 5*z + 5*w - 12255, -5420 = -4*z + 2*w + 4354. Is z a multiple of 45?
False
Suppose 3*w + 234 = 4*w - 4*y, -3*y - 1238 = -5*w. Suppose 3*u = 4*t - 731, 4*t - 4*u - 482 = w. Does 13 divide t?
True
Let y be 4428/24 + (-1)/(-2). Let z = y + -53. Suppose r = -4*h + 3*r + z, -8 = -2*r. Is 7 a factor of h?
True
Suppose v + 2*x = -0*x - 6, 2*v + 2 = -2*x. Suppose 0*a - 300 = -v*a. Suppose -3*z + 217 = p, 2*z - z + 3*p = a. Does 12 divide z?
True
Let p(m) = m**3 - 33*m**2 - 58*m + 74. Does 26 divide p(35)?
True
Let y(m) = -9*m + 7. Suppose 0 = -2*l + 3*b + 13, -4*l - 4*b = -7*b - 23. Suppose 0 = o + 3*t - l, -2*o = -3*t - 0 + 26. Is y(o) a multiple of 15?
False
Suppose 0 = -7*k - 5*z + 8137, 13*k - 9*k - 4659 = -z. Is 106 a factor of k?
True
Let n(m) = m**3 - 7*m**2 + 2*m - 9. Let d be n(7). Suppose -v = v + d*r, 2*v - r - 12 = 0. Suppose v*h - 71 - 34 = 0. Is 8 a factor of h?
False
Let q(n) = -n**3 - 12*n**2 - 25*n - 8. Let t(d) = -2*d**3 + 2*d**2 - 2. Let v be t(2). Is q(v) a multiple of 7?
True
Let j be (-4)/7 + 192/(-56). Let s(t) = -24*t - 26. Does 7 divide s(j)?
True
Let o(z) = -11*z**2 + 2. Let u(w) = 23*w**2 - 3. Let d(n) = 5*o(n) + 3*u(n). Does 19 divide d(2)?
True
Suppose 0 = 6*o - 4*o - 6. Suppose 4*s + o = 23. Suppose -s*t = -3*t - 26. Is 13 a factor of t?
True
Let q(b) = 3*b - 15. Let s be 3/(-9) - (-122)/6. Let f = s + -11. Is q(f) a multiple of 7?
False
Suppose 3*c - 17 = -2*h, -11 - 10 = -5*c + 4*h. Suppose c*b - 117 = 108. Does 6 divide b?
False
Let l = 1 - 1. Let m(b) = -b**2 + 19*b - 67. Let i be m(14). Suppose l = -3*d + 3, 3*c + i*d - 109 = 2*d. Is 9 a factor of c?
True
Does 10 divide ((-846)/5)/(27/(1350/(-20)))?
False
Let z = 363 + 210. Is 7 a factor of z?
False
Suppose 0 = 3*s - t - 14107, -5*s + 23509 = -71*t + 72*t. Does 22 divide s?
False
Let k = -93 + 99. Does 42 divide 255/1 - 4/(8/k)?
True
Suppose 4*f = f + 54. Let w(j) = -12*j + 6. Let s be w(-6). Let h = s - f. Is 20 a factor of h?
True
Suppose 5*c - 10 = j, 2*c + j - 5 + 1 = 0. Suppose -i + 4*i + 2*a = 8, a - 7 = -c*i. Suppose -k + 2 = 0, -i*z + 2*z - 5*k = -134. Does 7 divide z?
False
Let h(m) = -3*m - 4. Let z(i) = -i**2 - 9*i - 8. Let c be z(-8). Let q = c - 3. Is 2 a factor of h(q)?
False
Suppose -s + 5*s = 4. Is 3 a factor of 2 + -3 + (s - -14)?
False
Suppose -3*r - 170 = -f, -5*f + 69 = -2*r - 53. Let l = 102 + r. Let c = l - 20. Is 20 a factor of c?
False
Suppose 0 = 5*r + 3*z - 39, 2*z = 3*r - 7 - 5. Is r/15 + (-6282)/(-45) a multiple of 25?
False
Suppose 0 = 3*q - 15, 3*q - 167 = -t - 3*t. Does 34 divide t?
False
Does 2 divide (-1 - 1) + 2 - (1 - 42)?
False
Let g(t) = 17*t + 12. Let z be g(2). Suppose -z = -3*u + 32. Is u a multiple of 19?
False
Suppose d + 3 = 10. Let y(b) = 2*b**2 - 9*b - 2. Let v be y(d). Is 14 a factor of 10/(v/(-12) - -3)?
False
Suppose -b - 22 = -3*g, b = 2*g - 3 - 11. Suppose -204 + g = -7*m. Does 7 divide m?
True
Suppose -1406*t = -1390*t - 13328. Does 30 divide t?
False
Let j = -388 + 558. Is 2 a factor of j?
True
Suppose 5*x + 10 = 30. Suppose x*b = -y + 3*b + 4, -2*y = -b - 2. Suppose 0 = -3*z - y*z + 210. Is z a multiple of 19?
False
Let n = 14 + -14. Suppose n*y = y - 15. Suppose 0 = -3*b + y + 93. Is 11 a factor of b?
False
Suppose 0 = 12*h - 7*h - 30. Let f(d) = 17*d - 4. Is 14 a factor of f(h)?
True
Suppose 0*t - t = 2. Let a = -2 - t. Is 3 - -3 - (a + 2) a multiple of 3?
False
Let s(q) = 3*q - 2. Let p be s(2). Suppose 2*m - 38 = -4*h, -5*m + 5*h = -31 - p. Let j = -6 + m. Is 3 a factor of j?
False
Suppose 3*v = 5*v - w 