-6)/(-2))*l?
True
Let n = 16 - 26. Suppose -2*y + 18 = -3*w + 107, 4*y - 2*w = -174. Let q = n - y. Is q a multiple of 13?
False
Let d(t) = -t**2 - 9*t - 13. Is 5 a factor of d(-6)?
True
Suppose 2*p = 7*p - 4*f - 2, 4*p - 4*f = 0. Suppose 0 = -4*d + 3*h - 0*h + 11, 0 = 2*d - p*h - 6. Suppose -d*c + 10 = -48. Does 10 divide c?
False
Let c = -8 + 10. Suppose -4*x + 12 = -3*p - 36, 8 = -2*p. Suppose x = q - c. Is 11 a factor of q?
True
Suppose -5*n - 4*z = -306, -z = -2 - 2. Does 8 divide n?
False
Suppose 4*q = 2*p + 30, -3 = -2*q + 1. Let u be (5 + -2)*(-1)/(-3). Let i = u - p. Does 12 divide i?
True
Let g(d) = 2*d**3 + 13*d**2 - 3*d + 12. Let m(c) = -c**3 + 1. Let a(p) = -g(p) - 3*m(p). Is 24 a factor of a(13)?
True
Let n(l) = -l**3 + 3*l**2 + 5*l. Let o be n(4). Suppose -2*a = -3*q - 20, -o*a - 3*q + 0*q + 58 = 0. Is 8 a factor of a?
False
Let b = 4 + 0. Let g(l) = -25*l - 4. Let q be g(b). Is (-4)/8*(q + -2) a multiple of 18?
False
Suppose 0 = -0*n - 4*n + 20. Suppose -2 = -4*o - 2*k + 2, -2*o = -n*k - 26. Suppose 5*p = -o*q + 25 - 7, 3*p - 11 = -2*q. Is p a multiple of 2?
False
Suppose m + 2*b = -10, 0*m = 3*m + 4*b + 32. Let j = m - -43. Does 10 divide j?
False
Suppose -6*w = -3*w - 4*t + 4, 3*w = -4*t + 4. Suppose 0*l + l - 12 = w. Is l a multiple of 12?
True
Let t = 6 + -6. Suppose b - 8 = -t*b. Is 4 a factor of b?
True
Let q(r) = -2*r - 1. Suppose -4 = 3*a - u, -2*u + 1 = -u. Let t be q(a). Suppose s + n + t = 28, -3*s = 2*n - 83. Does 16 divide s?
False
Let p be (-12)/(-9)*105/10. Let x = 6 + p. Is 9 a factor of x?
False
Suppose -83*l = -86*l + 78. Is l a multiple of 13?
True
Let u = -73 + 139. Suppose -w + u = -2*w. Is (-2 - w/9)*3 a multiple of 11?
False
Let r = -51 + 111. Is r a multiple of 24?
False
Let x = 1 + -6. Is x*(-1 - 1)*2 a multiple of 10?
True
Let i = 6 - -22. Is i a multiple of 23?
False
Let x be (-18)/10*(-45)/9. Suppose -4*h - 20 = -x*h. Is 4 a factor of h?
True
Let x(d) = d**2 + 11*d - 1. Let z be x(-11). Is 5 a factor of (z/3)/(2/(-60))?
True
Let v(x) = -15*x - 1. Let q be v(-1). Suppose 2*n = 4*k - q, 4*k - 13 = 2*k - n. Is 1/k - (-297)/15 a multiple of 10?
True
Let c = -80 - -157. Is 7 a factor of c?
True
Let d = -47 + 78. Let a be d - 1 - (2 + 0). Let z = a + -14. Does 10 divide z?
False
Is 39 a factor of (-1)/((-120)/117 - -1)?
True
Let n = -48 - -97. Is n a multiple of 14?
False
Suppose 3*a + 2*u - 13 = 0, -a + 4*a + 5*u = 19. Suppose -a*p + 72 = -2*p. Is 18 a factor of p?
True
Suppose 3*r = -5*p + 27, 4*r = -5*p + 3*r + 29. Does 6 divide ((-4)/p)/((-2)/21)?
False
Suppose -3*q = -2*v + 876, 0 = q - 2*q + 4. Suppose 6*n = 5*n - v. Is 15 a factor of 2/5 + n/(-15)?
True
Let j = 9 + -3. Let r be (2 + (-3)/j)*-6. Is (-6)/r*6*1 a multiple of 3?
False
Let y(l) = 12*l + 6. Let m be y(-5). Let t = m - -83. Is 24 a factor of t?
False
Let r = 29 - -4. Is r a multiple of 5?
False
Let q be 0 + 8/(-3)*-3. Let o be q*(13 + -3) + -2. Suppose 0 = c - 5*n - 44, -5*n - o = -c - c. Is c a multiple of 17?
True
Let s(v) = v**3 + 17*v**2 + 28*v + 17. Is s(-15) a multiple of 7?
False
Let c = 101 - 61. Does 10 divide c?
True
Suppose 3*q - 42 = 3*w, -38 = -4*q + w - 3*w. Does 11 divide q?
True
Let d = -31 - -49. Let q = d + 31. Does 14 divide q?
False
Suppose -c + 5*d - 8 = c, 3*d = -4*c + 10. Is -1 + (-149 + c)/(-4) a multiple of 10?
False
Suppose -98 = -3*w - 14. Does 20 divide w?
False
Suppose 5*k + 106 = 4*q, -2*k - 34 = -q - 6. Does 6 divide q?
True
Suppose 0*q - 4*r = -3*q - 4, 1 = -2*q + r. Suppose 4*i - 9 = -2*x + 97, q = -4*i - 3*x + 107. Is 13 a factor of i?
True
Suppose 2*s - 12 = d - s, -2*d = -3*s + 12. Suppose 3*y - 3*c = d, -c + 6 = 3*y - 2. Suppose 0 = 3*j + u - 48, -5*j - u = y*u - 80. Is j a multiple of 16?
True
Suppose 334 + 143 = 3*y. Is y a multiple of 24?
False
Does 10 divide (-1)/(-6) + (3777/(-18))/(-1)?
True
Suppose 0 = f - 4*f + 102. Let u(v) = -21*v**2 + 2*v - 1. Let a be u(1). Let o = f + a. Is 9 a factor of o?
False
Does 9 divide 9/(-5)*(-15)/1?
True
Does 9 divide 2/(-4) - (-74)/4?
True
Suppose -k = 4*k + 2*s - 15, 0 = -k + 5*s + 3. Let y(b) = 5*b - 3. Is y(k) a multiple of 12?
True
Does 7 divide (-276)/(-14) - (-6)/21?
False
Let z(t) = -17*t - 2. Does 11 divide z(-4)?
True
Suppose -4 = -q, 3*q + 3 = -4*a + 7. Is 5 a factor of a*(39/(-6) - 1)?
True
Is 1/(-2) + (-2770)/(-20) a multiple of 11?
False
Let z = 3 + -1. Suppose -3*w = -2*w - z. Does 2 divide w?
True
Suppose -3*q = 2*m - 22, 2*m - 4 = 6. Suppose 2*l - 2*d - 16 = -0*l, -4*d + q = 0. Does 2 divide l?
False
Let c be ((-25)/(-10))/(2/52). Let m = c - 35. Suppose -2*y = 3*t - m, t + 3*y + 5 = 15. Does 10 divide t?
True
Suppose 0*h = -4*s + 3*h + 100, 3*h = -3*s + 96. Is s a multiple of 14?
True
Suppose 4*i - 342 - 106 = 0. Does 10 divide i/12 - 4/(-6)?
True
Suppose 0 = 4*u + 1 + 7. Suppose 3*j + j - 48 = q, j - 2*q = 19. Let f = j + u. Does 6 divide f?
False
Let g(l) = -5*l + 43. Does 9 divide g(-4)?
True
Let x = -12 + 26. Is x a multiple of 4?
False
Let l = -21 - -76. Does 5 divide l?
True
Let d be 4 - (1 + 0)*2. Suppose -20 = -d*u + 16. Is u a multiple of 9?
True
Let p = 5 - 5. Suppose 3*u = 2*o - p*u - 31, -u = -3*o + 43. Suppose w = 3*x - 26, 0 = 3*x + w - o - 2. Is 2 a factor of x?
False
Let l = -6 + 9. Suppose -c - 3*r = -11, -l*c + 6*c + 5*r = 33. Is 3 a factor of c?
False
Suppose 2*n + 2*n + 12 = 0. Let c be (-2)/n*(1 + -4). Does 2 divide (5 - (-2)/c) + 0?
True
Suppose -2*c + 0*h - 166 = -2*h, 4*c - 3*h + 330 = 0. Let b = 114 + c. Does 13 divide b?
False
Suppose -5*z + 90 = -5*c, 2*c = -4*z + 7*z - 58. Is z a multiple of 22?
True
Does 5 divide 0*2/6 - -10?
True
Let o(m) = -3*m**2 - m + 1 + m**2 + 2*m - m**3 + m**2. Does 16 divide o(-3)?
True
Suppose 0*t = -3*t. Suppose -b - 3*m - 892 = t, -m + 12 = -4*m. Is 14 a factor of (-2)/(-13) + b/(-26)?
False
Let t = -25 + 53. Does 14 divide t?
True
Let t be 1 + -1 + (-2 - -4). Let l be (-3)/(-1 - t/4). Let u(n) = 2*n**2 + 2*n - 2. Does 10 divide u(l)?
True
Let y(a) = -a**3 - 6*a**2 + 8*a + 8. Let s be y(-6). Is 18/(-10)*s/12 a multiple of 6?
True
Let r(k) = 2*k. Let m be r(4). Suppose -l + 22 = m. Let b = l - -5. Does 14 divide b?
False
Let g(t) = -t**3 - t + 47. Is 19 a factor of g(0)?
False
Let d = 8 - 8. Is 6/12*(8 + d) a multiple of 3?
False
Let o(h) = h**3 + 5*h - 4. Is 2 a factor of o(2)?
True
Let h(t) be the first derivative of -2*t + 5/2*t**2 + 1. Is h(2) a multiple of 3?
False
Suppose -4*s - 2*w = -10, -2*w - 16 = -4*s + 2*w. Suppose -3*b - 2*t = t - 27, -4*t = -s*b + 13. Suppose -x = -2 - b. Is 5 a factor of x?
False
Is 19/(513/7056) - 4/(-6) a multiple of 48?
False
Let g be (6 + -7)*(-2)/(-2). Is ((-7)/(-3))/(g/(-18)) a multiple of 14?
True
Suppose -v - 360 - 76 = -4*m, -m - v + 114 = 0. Does 11 divide m?
True
Let t(z) = -z - 9. Let x be t(-9). Suppose x = 4*d - 146 + 58. Is 11 a factor of d?
True
Let i = 15 + -12. Is 25 a factor of (36/12)/(i/50)?
True
Suppose -7 + 0 = -2*s + 3*u, -5*s = -2*u - 34. Suppose -2*p = -p - s. Is (-16)/(-6)*12/p even?
True
Is 13 a factor of 6/4*(-186)/(-9)?
False
Let p be (-32 + 1)*(3 + -2). Let c = 6 - -39. Let t = p + c. Is 6 a factor of t?
False
Let f(w) = -w**2 - 2*w - 13. Let p be f(-12). Let c = p - -187. Does 10 divide c?
False
Let n(f) = f**3 + 5*f**2 - 6*f + 2. Let o be n(-6). Suppose -o*k + 3*h + 91 = -2*h, 4*k - 196 = -4*h. Does 20 divide k?
False
Suppose -5*j + 60 = j. Is 2 a factor of j?
True
Let n(y) = -y**3 - 7*y**2 - 12*y - 13. Does 21 divide n(-8)?
True
Let i be (-8)/(-3*(-2)/(-3)). Suppose -i*j = -j - 51. Does 14 divide j?
False
Suppose 2*m = 4 - 2. Let p be (-7)/(-21)*(m - 1). Suppose 40 = 4*w - p. Is 5 a factor of w?
True
Let q(p) = p**2 + p. Let v(n) = 3*n**2 - 2*n + 1. Let u(z) = 5*q(z) - v(z). Does 7 divide u(-5)?
True
Let m(f) = -f**3 - 4*f**2 + 7*f - 2. Let b be m(-8). Let d = 282 - b. Suppose -2*t = -l - d, 4*l - 2*l + 124 = 3*t. Is 16 a factor of t?
False
Let k(r) = r**3 - 7*r**2 + r + 10. Is 3 a factor of k(7)?
False
Suppose 3*l = -2*l - 3*b + 3, -5*b = -4*l - 5. Let k be l/(1*-3 - -1). Suppose k = m - 0*m + 3*q, -5*m = q - 70. Is m a multiple of 4?
False
Let b(j) = j**3 + 13*j**2 - 6*j - 6. Is b(-13) a multiple of 33?
False
Suppose 0*n = -5*n + 25. Suppose 336 = n*g + 96. Is 27 a factor of g?
False
Let j = 14 + -10. Suppose 4*c - 3*c 