e r(7). Is 11 a factor of -1*(-24)/x + 3?
True
Suppose -x = -57 - 43. Let b be (7 - 4)*x/6. Suppose b = -2*n + 7*n. Does 10 divide n?
True
Let d(c) = -c**2 + 11*c + 4. Is d(7) a multiple of 14?
False
Let z(a) = -a**3 - 4*a**2 - a + 3. Let f be z(-5). Let j = f - 22. Is j a multiple of 3?
False
Suppose -3*k + 0*k - 22 = -5*c, 4*k - 19 = -3*c. Suppose 2*t + 3*j - 58 = 0, 138 = c*t + 2*j + 2*j. Is 14 a factor of t?
False
Suppose -r - 2*s - 20 = 0, -s - 25 = 2*r + 21. Is 7 a factor of ((-6)/(-8))/((-2)/r)?
False
Let t be (-7)/(-4) - 4/(-16). Suppose -t*l - l + 66 = 0. Is l a multiple of 14?
False
Let d be 24/10 + (-3)/(-5). Suppose 3*p + 60 = 4*a, -d*a + 7*a + 2*p = 80. Let b = 40 - a. Is 13 a factor of b?
False
Suppose 0 = -m - 2*m. Suppose m = -b + 6*b - 135. Is (b/6)/((-1)/(-8)) a multiple of 20?
False
Let r(c) = c**2 - 6*c. Let y be r(4). Is (12/y)/((-3)/28) a multiple of 14?
True
Suppose -2*u - 5*z = 3*u - 260, -257 = -5*u - 2*z. Is u a multiple of 9?
False
Let c be 1823 - 1*(0 - 1). Suppose -d + c = -3*q, 4*d = 2*q - 642 + 1858. Is (-16)/(-72) + q/(-18) a multiple of 12?
False
Does 28 divide ((-20)/25)/(2/(-140))?
True
Suppose 21*b - 13*b = 3448. Is b a multiple of 22?
False
Let x = 22 + 152. Is 29 a factor of x?
True
Let o = 136 + 29. Does 34 divide o?
False
Let u = -5 + 9. Suppose -3*m - u + 10 = 0. Is -2*2/m + 8 a multiple of 5?
False
Is (4/12)/((-3)/(-477)) a multiple of 15?
False
Let d be (-4)/10 - (-88)/20. Suppose 9*o - 55 = d*o. Does 11 divide o?
True
Suppose 2*m = -m + o - 5, 20 = 4*o. Suppose -5*d - 20 = -5*z, -2*z = -m*z + 10. Is (-3)/d - (-70)/6 a multiple of 7?
False
Suppose 2 = 2*g - 2. Let f(w) be the second derivative of 8*w**3/3 - w**2 + w. Is 18 a factor of f(g)?
False
Let p = 20 - 36. Let l = p - -10. Is (l/(-12))/(1/28) a multiple of 7?
True
Suppose -5*k - o + 229 = 59, -3*o = -5*k + 150. Does 4 divide k?
False
Let d(o) = o**2 - 12*o + 17. Is 9 a factor of d(12)?
False
Let a be 8/12 - 194/(-6). Suppose -3*f = a + 30. Let x = 32 + f. Is 5 a factor of x?
False
Suppose a = -2*m + 80, 3*a + 44 - 252 = 2*m. Does 10 divide a?
False
Suppose -11 - 13 = 3*m. Let o = 0 - m. Is 21 a factor of ((-18)/o)/(12/(-224))?
True
Let h = 19 - -108. Is 27 a factor of h?
False
Let x be (-72 - -2) + 1 + -1. Let g = -29 - x. Does 26 divide g?
False
Let c = 86 - 47. Is 13 a factor of c?
True
Let f be 2/((12/(-14))/3). Let c = 3 + -2. Let h = c - f. Does 8 divide h?
True
Let w be -1*2 - (-2)/2. Let q be (w - (-3)/5)*-50. Suppose 4*h + q = 0, v + 4*h = 3*v - 68. Is 12 a factor of v?
True
Suppose 0 = 4*j + 4*m - 76, 4*j + m - 56 = 32. Let t be (-24)/(-32) - (-18)/8. Suppose -t*w + 22 = -j. Is 14 a factor of w?
False
Let t = 10 + -8. Suppose 4*r - 3*r = -t*y + 23, -3*r + 13 = 2*y. Is y a multiple of 10?
False
Suppose 3*x - z = -178, 3*z + 132 = -2*x + z. Let g = -31 - x. Is g a multiple of 12?
False
Let a = 11 - 18. Suppose 2*w - 24 + 107 = -5*y, 2*y - 4*w = -14. Let x = a - y. Is 4 a factor of x?
True
Suppose -2*s = g + 3*s + 14, -g - 2 = 2*s. Let d = g - -5. Does 5 divide d?
False
Is 9 a factor of (-1 + 0 + (-42)/(-10))*35?
False
Suppose -6*w = -w + 150. Let a = 8 + w. Let t = a - -32. Is t a multiple of 8?
False
Let y = 86 + -124. Let m = y + 68. Is 16 a factor of m?
False
Suppose -1 = 4*g - 89. Is g a multiple of 11?
True
Let l = -60 - -117. Suppose -4*h - 3*v = 13 - 52, l = 5*h + v. Does 12 divide h?
True
Suppose -2*p = -1 - 3. Suppose 3*i - 16 = p. Let t(q) = 9*q - 6. Is 19 a factor of t(i)?
False
Is 78 - (3 - (3 - 1)) a multiple of 11?
True
Let d(c) = 6*c**2 - 8*c - 10. Is 28 a factor of d(-4)?
False
Let p = 288 + -99. Is 21 a factor of p?
True
Let o(h) = -10*h - 12. Does 22 divide o(-5)?
False
Let n = -206 - -410. Is 12 a factor of n?
True
Let i(f) be the first derivative of -5*f**4/4 + 2*f**3/3 + 3*f**2/2 + 2. Is i(-2) a multiple of 12?
False
Suppose 0 = 2*n - 3*c - 7, -3*n - 2*c = -2 - 2. Suppose -n*s + 4 = -0. Is 13 a factor of 28 + s/(1/(-1))?
True
Let h(y) = 3 + 2 + y + 2 + 4. Is 10 a factor of h(10)?
False
Let i = -1 - 3. Is 11 a factor of (-11)/(-2 + (-6)/i)?
True
Let q(n) = 2*n**2 - 6*n + 2. Suppose -2*f = 0, 2*c - 6 = 3*f + 4. Is 11 a factor of q(c)?
True
Suppose n = -3*d + 2, 0 = -0*n + 2*n + d + 6. Let p be (-4)/(-3)*(-6)/n. Suppose 4*m - 22 = -2*q, -q - 47 = -4*m + p*q. Does 3 divide m?
False
Suppose -2*s = -s + 2. Let l(k) = -15*k. Is l(s) a multiple of 10?
True
Let x = -5 - -17. Is 32/(-6)*(-45)/x a multiple of 8?
False
Let o(q) = q**3 - 8*q**2 + q. Let i be o(7). Does 7 divide ((-6)/7)/(3/i)?
False
Let b = 5 + -7. Let w(d) = d**2 + 2*d + 2. Let z be w(b). Suppose 3*g - 38 = -f, z*g - 44 + 144 = 2*f. Does 13 divide f?
False
Let d(p) = 6*p + 2. Let r(n) = -5*n - 1. Let k(o) = 4*d(o) + 5*r(o). Suppose -4*q - 6 = 22. Is 10 a factor of k(q)?
True
Suppose 0 = -5*d + 2*d - 3*j + 27, -5*d + j = -21. Is d even?
False
Let x(b) = -3*b + 2. Let a be x(-7). Suppose 3*o - 3*s = 100 + 5, -4*s - a = -o. Is 13 a factor of o?
True
Let m = 60 - 34. Is m a multiple of 13?
True
Let a = -16 - -4. Let v = -6 - a. Is v a multiple of 3?
True
Let s(n) = -29*n - 9. Let r(j) = 15*j + 4. Let f(c) = 5*r(c) + 2*s(c). Is 18 a factor of f(2)?
True
Let f(h) = h - h + 2 + 2*h. Let c be f(3). Is 10 a factor of (2 + 19)*c/6?
False
Suppose -4*w + w = -6. Suppose -2*a - 4 = 4*g, -4*a + w - 1 = -g. Suppose 3*v - 166 = -5*j, a*j + 2*j - 60 = 2*v. Is j a multiple of 16?
True
Suppose 3*f - 35 = 28. Does 11 divide f?
False
Let u(l) = -33*l - 5. Let f be u(-4). Let r be (f - -5) + -1 + 1. Suppose -a - 2*a = -r. Is a a multiple of 16?
False
Let g(c) = 25*c + 5. Is g(3) a multiple of 8?
True
Let n be (4/2 + -4)*-2. Suppose i + n = 26. Is 10 a factor of i?
False
Let s = -69 + 117. Suppose 30 - 102 = 4*r + k, 4*r = 5*k - s. Is (r - -1)*9/(-4) a multiple of 18?
True
Suppose 5*u = 3*t + 5, 0 = t + 5*u + 21 - 6. Let b = t - -3. Is 3*(b + 4 + 1) a multiple of 4?
False
Let f be (-6)/(-21) + (-900)/14. Is (2 + f)/(0 + -2) a multiple of 9?
False
Let h = 4 + -4. Suppose z + 115 = 4*a, h*z - 4*z = 2*a - 62. Does 13 divide a?
False
Suppose -36 = -2*w - 0*w. Is 15 a factor of (-500)/(-18) + 4/w?
False
Let v be (3 - 5)*(-20)/2. Let p = 38 - v. Is 8 a factor of p?
False
Let i be 12/(-15)*10/(-4). Suppose i*w + 0*a = -3*a + 48, -5*a + 56 = 2*w. Is 11 a factor of w?
False
Is (495/44)/((-3)/(-8)) a multiple of 14?
False
Let g(r) = 60*r**2 - r + 1. Is g(1) a multiple of 15?
True
Let k(x) = -x**3 + 7*x**2 - x + 7. Let v be k(7). Let d(w) = 6*w + 0 + 1 + v - 5*w**2 + 8*w**2. Does 14 divide d(-5)?
False
Suppose 10*m - 991 - 669 = 0. Is 9 a factor of m?
False
Let u(t) = -7*t**2 + 8*t**3 + 7*t - t**3 - t**3 - 7*t**3 + 9. Is 17 a factor of u(-8)?
True
Let p(l) = -l + 1 + 2 - 12. Let t be p(-10). Suppose -55 = -4*h + a, 4*a = -3*h - t + 47. Does 7 divide h?
True
Let m be 450/24*2*4. Suppose 0 = -f + 5*x + 43, m - 20 = 4*f + x. Does 11 divide f?
True
Let s be (6/9)/(1/27). Is 118/6 - (-6)/s a multiple of 10?
True
Let t = -3 - -5. Suppose 3*q - 6*m = -m + 119, 3*q - 112 = -t*m. Is q a multiple of 15?
False
Suppose 0 = -5*h - 4*r + 413, -h + 0*r + r = -79. Let c = h + -44. Is c a multiple of 13?
False
Let k = -56 - -98. Does 11 divide k?
False
Let q be (-6)/(-27) + (-34)/(-9). Suppose -q*l + l - 2*u = -116, -5*u + 81 = 2*l. Is l a multiple of 19?
True
Let r(f) = -f + 11. Let g be r(14). Is (-1 - 44)*1/g a multiple of 15?
True
Suppose -4*g = -3*g + 10. Let a be g*(-2)/(-3 + 1). Let w(m) = -4*m. Does 22 divide w(a)?
False
Let d(f) = -f**3 + 5*f**2 + 5*f + 8. Let u be d(6). Suppose -3 = p - u*p. Suppose -33 = -4*t + p. Is 9 a factor of t?
True
Let m(b) = b**3 - 6*b**2 + b - 7. Let t be m(6). Let r(s) = -88*s**2 + 2*s + 1. Let a be r(t). Let p = -45 - a. Is p a multiple of 13?
False
Let m(u) = -8*u - 1. Suppose 0 = -c - 4*j + 15, -2*c - 3*j = -0*c - 5. Does 13 divide m(c)?
True
Suppose -4*n - 4*l = -180, 0*n + 180 = 4*n + l. Is n a multiple of 9?
True
Let m = -16 - -86. Does 20 divide m?
False
Suppose 3*c - 15 = -0*c. Suppose -c*a = s - 403, -a - s + 323 = 3*a. Suppose -3*v + a = 2*v. Is v a multiple of 10?
False
Is 8 a factor of 165 - (5 + (-4 - -4))?
True
Let r = 21 + -10. Let o(l) = -5*l + 4. Let t be o(-3). Let c = t + r. Is c a multiple of 15?
True
Suppose 2*d = 4*d, 0 = -2*y + 3*d + 282. Does 17 