se f - m = -0*f. Let z = 13 + f. Is z a multiple of 12?
False
Let p(j) = -j**2 - 10*j + 23. Let u = -11 - 0. Is 12 a factor of p(u)?
True
Suppose 5*k = 4*a + 6 + 24, -k = 2*a + 8. Suppose k*t = -2*b + 4, -b + 2 = -0*t + 3*t. Suppose -3*o - b = d, -3*o - 27 + 5 = -4*d. Is 4 a factor of d?
True
Let z = 358 - 611. Let o be 2/(-7) - z/77. Suppose 5*k - 4*y = 38, o*k - 1 - 11 = -3*y. Does 3 divide k?
True
Let y be -18 + 19 + (1 - -50). Let b = -29 + y. Is 5 a factor of b?
False
Let r(i) = i**3 - 10 - 1 + 0*i**2 - 6*i - 6*i**2. Let h(a) = a**3 - 15*a**2 + 28*a - 18. Let t be h(13). Is 11 a factor of r(t)?
False
Suppose -3*z = 7*u - 4*u - 198, -3*u = -5*z + 330. Is 26 a factor of z?
False
Let p(y) = -37*y - 7. Let h be p(-7). Suppose 15*b - 11*b = h. Suppose 0*q + q = b. Does 9 divide q?
True
Let c(s) = -254*s - 539. Is 16 a factor of c(-7)?
False
Let t = -12 - -120. Suppose 0 = 4*h, 2*k - h = 4*h + t. Is k a multiple of 19?
False
Suppose -w = -n - 181 - 162, 0 = 5*n + 3*w + 1747. Let v = 532 + n. Is 37 a factor of v?
True
Suppose 5*f = 15 + 5. Suppose 2*w + 1 = 9, -d + f*w = 11. Suppose g = -5, -3*z = -4*g - 88 + d. Is 21 a factor of z?
True
Suppose 9804 - 2076 = 23*h. Is 12 a factor of h?
True
Let i be (-36)/(-10) + 6/(-10). Let t(l) = 4*l**i - 2*l + 8*l**2 + l**2 - 1 - 2*l**2 - 6*l**2. Is 9 a factor of t(2)?
False
Let z = -202 - -290. Does 21 divide z?
False
Let u = -23 + 15. Let z(v) = -3*v**2 - 24*v + 4. Is 3 a factor of z(u)?
False
Let v(p) = -14*p**3 - p**2 - p - 10. Does 18 divide v(-3)?
False
Let o be (117/26)/(6/(-8)). Does 6 divide -2*7*3/o?
False
Let f(x) = -5*x**2 - 73*x + 35. Let p(z) = z**2 + 18*z - 9. Let g(k) = 2*f(k) + 9*p(k). Is 7 a factor of g(6)?
True
Let g = 1541 - 1161. Is 36 a factor of g?
False
Let o(k) be the third derivative of k**8/20160 + k**7/1008 + k**6/720 - k**5/60 + k**2. Let h(y) be the third derivative of o(y). Does 3 divide h(-6)?
False
Let n be -2*1/(-2) + 4. Suppose 0*v + 4 = -2*v - 2*c, -3*c = n*v. Suppose 0 = 5*z - v*x - 350, 4*x + 2 + 18 = 0. Is 16 a factor of z?
False
Suppose -20 - 15 = -7*y. Suppose y*k - 538 - 62 = 0. Is 20 a factor of k?
True
Let w = 2476 + -1201. Is w a multiple of 25?
True
Is 18 a factor of ((-2)/3)/((364/25158)/(-13))?
False
Suppose f = 18*f - 1190. Is f a multiple of 7?
True
Let l be 3*1/((-9)/33). Let w = l + 13. Suppose w*q - 34 = 32. Is 14 a factor of q?
False
Suppose -2*c + 5*r + 1 = 0, 4*c - 14 - 24 = -2*r. Suppose 0 = c*x - 2545 - 623. Does 36 divide x?
True
Let d be 0 + -2 + (-4 - 1). Suppose -3*i = 2*t + 8, 15 - 1 = 5*t - i. Is (-3 - -2 - d)/t a multiple of 2?
False
Let j(c) = -c**2 + 110*c + 2*c**2 + 26 - 129*c. Does 26 divide j(19)?
True
Suppose 219*r = 220*r - 416. Does 8 divide r?
True
Let f = -12 - -20. Let s(m) = m - 1. Let z be s(f). Suppose -4*v + z = -1. Is 2 a factor of v?
True
Suppose 7 = -8*m - 17. Is 24 a factor of (28/m)/(6/(-72))?
False
Suppose 0*z = z - 4*b - 20, 2*b + 18 = z. Let s = z - 2. Is s a multiple of 9?
False
Suppose -23*w + 4807 = 943. Is 2 a factor of w?
True
Suppose 91*v = 85*v + 5160. Is 43 a factor of v?
True
Is 527 + 1 - (-12)/(15 + -3) a multiple of 17?
False
Suppose 2*y - 20 = -2*y. Suppose 0 = z - y*z + 520. Suppose -3*d - 55 = -3*k - 7*d, 5*k - z = d. Does 5 divide k?
True
Let g(f) = -17*f + 21. Is g(0) a multiple of 21?
True
Suppose 38 = -4*w + 322. Is 9 a factor of w?
False
Let q(b) be the second derivative of -b**5/20 + 13*b**4/12 + 19*b**3/6 - 7*b**2/2 + 29*b. Is 9 a factor of q(14)?
True
Suppose -10*j + 203 = -3*j. Let s = j - 26. Let c = 34 - s. Is c a multiple of 18?
False
Suppose -280 = -5*z - 5*y, -4*z = 5*y - 171 - 53. Is 7 a factor of z?
True
Let g be (-6 + 16)*(-4)/10. Does 8 divide (-354)/(-6) - (-1 - g)?
True
Suppose 10 = d - u, -d = 3*d - 3*u - 45. Let h = 21 - d. Suppose 0 = -h*b + 5*b + 45. Does 11 divide b?
False
Let k(t) = t**2 + 3*t + 3. Let g be k(6). Suppose 0 = 5*c - 463 - g. Does 7 divide c?
False
Let d(q) = -q**3 + 11*q**2 + 5*q - 2. Let k(j) = j**3 + 7*j**2 + 6*j + 11. Let x be k(-6). Does 11 divide d(x)?
False
Let g = -12 + 16. Suppose -g*u + 134 = -62. Does 21 divide u?
False
Let u = -125 - 361. Let s = u + 212. Let x = -131 - s. Is x a multiple of 40?
False
Suppose -2*z - 2 = -4*z, -3*z - 12352 = -5*l. Is l a multiple of 7?
True
Let c(h) = -2*h**2 + 46*h + 40. Is 21 a factor of c(22)?
True
Suppose 4*z = 2*v + 16, -2*z + 0*v = 3*v. Suppose -z*x - 5*b = -80, 4*x - 3*b - 67 = 1. Is x a multiple of 3?
False
Let s(q) = 7*q + 11. Let i be s(-1). Suppose -73 = -x - 5*p, -2 = i*p - 6. Does 51 divide x?
False
Suppose 0 = 18*k - 14*k - 100. Suppose -2*w + k + 7 = 0. Is 10 a factor of 4/(-32)*-10*w?
True
Let g = -113 + 107. Does 7 divide 33 + -2 + 3 + g?
True
Let c(w) = -3*w**3 - 30*w**2 - 7*w + 9. Does 10 divide c(-12)?
False
Does 77 divide (557 + -151)*(-22)/(-4)?
True
Let u = 378 - 273. Is 35 a factor of u?
True
Let v be 23/(6/9*9/(-48)). Let m = -98 - v. Is m a multiple of 29?
False
Let c(m) = -m + 4. Let d be c(9). Let l(p) = 13*p + 6. Let k be l(d). Let y = 16 - k. Is 21 a factor of y?
False
Is 3 a factor of ((-62)/(-93))/((-4)/(-648))?
True
Let f be 8/(-12) + 60/9 + -2. Let i(n) = 10*n - 12. Does 27 divide i(f)?
False
Suppose -5*h + 2630 = -4*j, 0*h + 2*j = 2*h - 1050. Does 26 divide h?
False
Let h be -22 + (-5 - -2) + 2. Let o = 26 - h. Is 22 a factor of o?
False
Let i(q) = q - 1. Let r be i(3). Suppose r = s - 7. Is (-1 - -34)*6/s a multiple of 6?
False
Let m be 3/2*2 - (0 + -25). Suppose -6*p + 2*p = -m. Does 3 divide p?
False
Let m(n) = -n**2 - n - 104. Let h be m(0). Let g = h - -184. Suppose 4*b - g = -4*k, 4*b - 16 = -3*k + 64. Is b a multiple of 10?
True
Suppose 0 = 2*g - 4*g + 136. Suppose -2*w + 38 + 24 = 3*y, -g = -3*y + w. Let b = y + -10. Is 12 a factor of b?
True
Suppose -4*u + 3 = -13. Suppose -u*r = -7*r + 9. Is r a multiple of 2?
False
Let a(v) = -5*v**2 - 5*v + 10. Let c(k) = 4*k**2 + 4*k - 9. Let w(d) = 3*a(d) + 4*c(d). Is w(-6) a multiple of 3?
True
Suppose -3*l - 336 = -1572. Is 57 a factor of l?
False
Is (-5)/((-15)/663) + -5 a multiple of 72?
True
Suppose 8*n - 16 - 8 = 0. Is n/(-3)*-103 - 3 a multiple of 8?
False
Suppose 0 = y + 2*z, -3*z = -4*y + z + 24. Suppose -3*r = 4*c - y, 0 = -0*c + 4*c - 3*r - 28. Suppose 5*f = 4*f + c. Is 4 a factor of f?
True
Suppose -2*r - 18 = -4*r - 2*u, -u = -3. Let z be (24/(-9))/((4/(-9))/(-2)). Does 24 divide z/(-18) + 536/r?
False
Let c = 6 - -1. Suppose -4*k - 5*r = -49, -2*r + 17 = c. Let s = -2 + k. Is s even?
True
Let s(n) = 2*n**2 - n - 4. Let m be s(2). Let k be (-54)/(-15) + (-2)/(-5). Suppose -5*z = v - 2*v + 21, -194 = -k*v - m*z. Does 16 divide v?
False
Let y(z) = -8*z - z**3 + 5*z + 27 + 4*z - z**2. Is 9 a factor of y(0)?
True
Let n be 1/(2/18 - 0). Let l(g) = -3*g**2 + 1. Let y(q) = -8*q**2 - 11*q - 3. Let f(z) = 3*l(z) - y(z). Is f(n) a multiple of 20?
False
Let x(l) be the third derivative of -l**6/24 + 3*l**2. Let v be x(-1). Suppose 3*n + 1 + 72 = 5*q, v*q - 66 = -4*n. Is q a multiple of 14?
True
Suppose 0 = 21*r - 2525 - 6925. Is 5 a factor of r?
True
Let w be (-1 - -1)/(0 + -2). Suppose 2*b - 5 + 21 = w. Is 26 a factor of (-798)/b + (-3)/(-12)?
False
Let n(l) = -l**2 - 1 - l - 5*l**2 + 4. Let s be n(-3). Let c = 69 + s. Is 7 a factor of c?
True
Let c = 5 - 2. Let n = c - 4. Does 18 divide (-2 - n)/((-3)/54)?
True
Suppose 18 - 9 = 3*k. Suppose 3*f = h - 26, h + f = k*f + 27. Is 8 a factor of h?
False
Suppose -5*q + 576 = -8*q. Let f = -136 - q. Is 14 a factor of f?
True
Let f(r) = 18*r + 73. Let w be f(-5). Let c = w - -75. Is 29 a factor of c?
True
Is (2 - 0)/((-2)/(-9)) a multiple of 8?
False
Suppose 7520 + 448 = 8*r. Is r a multiple of 13?
False
Suppose -2*y + 5*y = 1194. Suppose -8*x = -y - 210. Is 18 a factor of x?
False
Let s(t) = -2*t**3 + 8*t**2 - 11*t + 8. Let p(v) = -v**3 + v**2 - v. Let w(l) = p(l) - s(l). Let g be ((-172)/(-22) - 2) + (-42)/(-231). Does 8 divide w(g)?
True
Does 59 divide -1 - 0 - (-25960)/40?
False
Let i(z) = 13*z + 78. Let g(r) = 2. Let q(a) = -26*g(a) + i(a). Is 18 a factor of q(5)?
False
Suppose -x - 5*v = x + 10, -5*v = -5*x + 10. Suppose 2*y - 173 = -3*y - j, -4*j + 12 = x. Let z = y + -3. Does 9 divide z?
False
Let c = 546 + -209. Suppose -2*o = 3*s - 32 - c, 0 = 3*s + o - 369. Is s a multiple of 17?
Fa