e -6*s = -7*s + m. Is 12 a factor of s?
True
Suppose -r = -2*r. Let k = 7 + -3. Suppose -66 = -k*i + p, -3*i + 8*i - 5*p - 90 = r. Is i a multiple of 11?
False
Suppose -5*w + 1 + 8 = -2*r, -2*r + 2*w - 6 = 0. Does 8 divide (-2 - r - 0) + 8?
True
Let c be 6/(-9)*27/1. Let q = c + 39. Is 20 a factor of q?
False
Suppose -3*c + c + 4 = 0. Suppose c*h - 38 = -0*h. Does 12 divide h?
False
Is 4 a factor of ((-18)/(-7))/((-12)/(-112))?
True
Let q be 258*(15/(-9) - -2). Suppose -4*l - 62 = -3*c, -4*c = 3*l - 30 - q. Does 13 divide c?
True
Suppose 3*m = m + 40. Is m a multiple of 20?
True
Suppose 4*k - 1 = 11. Let t = -1 - k. Let w = 2 - t. Does 6 divide w?
True
Is 14 a factor of (-2*(-84)/(-8))/((-6)/16)?
True
Let w(p) = p**3 - 2*p**2 - 2. Suppose 13*o - 17*o + 16 = 0. Is 15 a factor of w(o)?
True
Suppose -4*i + 160 = k + i, 265 = 2*k - i. Suppose -3*l + k = 27. Does 9 divide l?
True
Let c = -142 - -213. Suppose 4*g + 27 = c. Does 4 divide g?
False
Suppose -3*b + 2*y = 65 - 296, -3*y = 2*b - 154. Let t = b - 52. Does 25 divide t?
True
Suppose -4*x + 0*t = t - 299, 2*x + 5*t = 145. Does 15 divide x?
True
Let q = -2 - -1. Is 2 a factor of 3 - ((-1 - q) + 0)?
False
Let k = 15 - 9. Let y = -93 + 169. Suppose k*o - 2*d - 82 = o, 4*o + d = y. Is 6 a factor of o?
True
Let q(u) = u**3 + 5*u**2 - 4*u - 2. Does 28 divide q(-3)?
True
Let q(f) = 6*f**2 - 2*f - 4. Is 25 a factor of q(-4)?
True
Let w be (1 + 1)/((-8)/8). Let k be w/12 + (-52)/(-24). Suppose -k*m = -3*m + 14. Is m a multiple of 7?
True
Suppose -156 = 3*m + m. Suppose 0 = -2*r + 4*r - 130. Let t = m + r. Is t a multiple of 11?
False
Suppose 1760 = -15*a + 23*a. Is 20 a factor of a?
True
Suppose 0 = 3*o + 27 + 6. Let r = o - -39. Does 8 divide r?
False
Suppose -3920 = -8*s - 1240. Is s a multiple of 14?
False
Suppose m - 24 = -3*a, -a - 2*m = -6*a + 51. Does 13 divide 3/a - (-231)/9?
True
Is 26 a factor of ((-21)/(-15) - 1)*100?
False
Let d(t) = -t**2 - 11*t - 12. Let a be d(-8). Let v be (-8)/a + (-5)/(-3). Suppose q - v = 15. Does 8 divide q?
True
Let b = 48 - 31. Is 17 a factor of b?
True
Let s be -1*3 - (-23 + 7). Let c(d) = d**2 - d + 38. Let f be c(0). Let l = f - s. Does 11 divide l?
False
Let g = 32 - 14. Is g a multiple of 9?
True
Let r(f) = -2*f - 5. Let t be r(-5). Suppose -3*z - 4*b + 17 = 0, -3*z - t*b = z - 21. Is 8 a factor of z*20*12/(-10)?
True
Let q be (14/8)/((-2)/(-72)). Let k = q + -3. Is k a multiple of 20?
True
Suppose 2*s - 544 = 5*i, -5*i = -3*s + 6*s - 841. Does 14 divide s?
False
Suppose -3*j = -2*j - 5. Let p(s) = 4 + s - 7 + j*s. Does 5 divide p(2)?
False
Suppose -5*m + 227 = -2*o, -m + 3*m + 5*o = 114. Does 19 divide -4 - (-1 - 2 - m)?
False
Suppose -2*k + 31 = -x, 76 = 5*k - 3*x - 1. Does 8 divide k?
True
Suppose -3*y - 2*y = 95. Let i = y + 35. Is i a multiple of 16?
True
Suppose -3*s + 777 + 168 = 0. Suppose s = -2*r + 7*r. Is r a multiple of 19?
False
Suppose -o - 31 + 4 = 0. Does 4 divide (1 - o/(-6))*-2?
False
Let c = -7 - -3. Let k be (-25 + 0)*(-3 - c). Let g = -9 - k. Does 16 divide g?
True
Suppose 0 = 2*b + b - 225. Is 25 a factor of b?
True
Let h(k) = k - 5. Let v be h(7). Suppose -j + v + 1 = 0. Is ((-15)/(-4))/(j/12) a multiple of 9?
False
Suppose -5*g + 4*u = -0*g - 159, 0 = -4*g - 5*u + 119. Does 31 divide g?
True
Suppose 0*o - o - 4*p + 11 = 0, 5*p - 4 = 2*o. Suppose -k = 4*x - 52, -x + o*k + 6 = -7. Does 12 divide x?
False
Let h(y) = -6*y**3 - 2*y**2 - 2*y - 1. Let n be h(-1). Suppose -71 + 26 = -4*f - t, -n*f + 3*t = -69. Does 9 divide f?
False
Suppose -5*o - n - n = -54, o = 5*n. Is 11 a factor of o/45 + 277/9?
False
Let n be (46/5)/((-3)/30). Let u = 140 + n. Does 20 divide u?
False
Suppose -4*a - 5*s + 716 = 0, 4*a + 3*s = -0*a + 724. Let r = a - 100. Does 26 divide r?
False
Let o be (-1 - (-13 - 0)) + 2. Let i(n) = -2*n**3 - 3*n**2 + 3*n - 4. Let m be i(-3). Suppose -3*d = -2*v - 28, -d - 4*v + m = -o. Does 12 divide d?
True
Suppose 5*v - 2*v - 45 = -3*k, 33 = k - 5*v. Does 2 divide k?
True
Let c = 1 + 3. Suppose k = c + 4. Is 210/k - (-2)/(-8) a multiple of 23?
False
Let d(h) = -h**2 - h - 2. Let a be d(-6). Let y = a + 45. Let i = y + -9. Is 3 a factor of i?
False
Let h = 11 + -6. Suppose 3*g = 3*y + 213, -2*g - 39 = h*y - 195. Is g a multiple of 19?
False
Let h(f) = 7 - 7*f - 2*f + 10*f**2 - f - f**3. Is 28 a factor of h(7)?
True
Let m(z) = 2*z**2 - 2. Let k be m(-2). Suppose -k*s - p = -3*s - 5, -4*p - 4 = 0. Suppose 0 = s*i + 3*x - 16, 53 = 5*i + 5*x - 4*x. Is 9 a factor of i?
False
Let f(a) be the second derivative of -a**3 - 3*a**2 - 4*a. Does 12 divide f(-5)?
True
Let h(b) = b**2 - 3*b. Let t be h(5). Let l = t + 0. Does 4 divide l?
False
Let b = -3 - -8. Suppose -4*c + b = -m + 3, -3*c = -2*m - 4. Suppose c*y + 161 = 4*y - 5*d, -190 = -5*y + 4*d. Is y a multiple of 17?
True
Let b(d) = 2 + d - 3*d - 1 + 3. Is 8 a factor of b(-5)?
False
Let p(q) be the first derivative of -q**4/4 - 5*q**3/3 + 2*q**2 - 2*q - 1. Let u be p(-6). Is 102/10 + (-2)/u a multiple of 5?
True
Suppose 4*o - u - 73 = 4*u, o - 20 = 3*u. Is o a multiple of 16?
False
Let m = 1 + -1. Let v(n) = n**3 - n**2 - n + 10. Does 3 divide v(m)?
False
Let i = -110 + 122. Is 12 a factor of i?
True
Let f = 4 - -2. Is 3 a factor of f?
True
Suppose 5*b - 2*n - 30 = 0, -3*n - 15 = -4*b + 2. Let c = 21 - b. Does 3 divide c?
False
Let k(b) = -8*b**3 - b**2. Suppose 4*i - 7 - 3 = 2*u, -3*u + 7 = 5*i. Is 5 a factor of k(u)?
False
Suppose f = z - 5*z - 12, -5*z = 5*f. Does 3 divide f?
False
Let p(m) be the first derivative of -2 - 1/4*m**4 - 8*m + 5/2*m**2 + 7/3*m**3. Is p(7) a multiple of 13?
False
Let u(t) = t**3 - 2*t**2 + 4*t - 4. Is 4 a factor of u(2)?
True
Let i(o) = -o**3 + 11*o**2 + 27*o - 5. Is i(12) a multiple of 35?
True
Let q = -8 - -53. Does 9 divide q?
True
Let o be 1/(-2) + 17/(-2). Suppose -321 = -4*n + 5*f, n - 5*n + 311 = -3*f. Does 3 divide 2/(-9) - n/o?
False
Let l = 13 + -9. Does 3 divide l?
False
Let q = -161 + 205. Does 4 divide q?
True
Let h(k) = k**2 + 3*k - 1. Let g be h(5). Suppose -2*x + g = -r, -3*x + 69 = -2*r + 9. Does 11 divide x?
False
Let m be 4 - (-7)/((-21)/12). Suppose 3*g - 35 = 3*w + 19, m = -w. Is 15 a factor of g?
False
Let d(l) = -l**2 + l + 4. Let n be d(0). Suppose -n*a = 4*p - 8 - 0, 5*p = a + 10. Is p a multiple of 2?
True
Suppose s + 13 = -5*r, -5*r - 14 = -s - r. Let o = 2 - -4. Suppose o = s*j - 28. Is 11 a factor of j?
False
Suppose s - 5 = -0, -5*s = 4*h - 361. Is h a multiple of 28?
True
Suppose -2*a + 15 = 2*u + 1, 2*u = -10. Does 3 divide a?
True
Suppose 10*z = 7*z + 171. Is 25 a factor of z?
False
Let j(s) = 2*s**2 - 13*s + 1. Let x be j(9). Suppose -2*n = 3*u - x, 0*u + 2*n = 2*u - 44. Is 2 a factor of 4/18 + 86/u?
False
Suppose -4 + 2 = -y. Suppose 0*m = y*m - 16. Is 7 a factor of m?
False
Let b be (-6)/(-4)*(-16)/6. Let g be 2*7 + (b - -2). Suppose 6 = -3*w - 4*s + 13, 3*w = -3*s + g. Is 9 a factor of w?
True
Let j = -90 - -62. Does 18 divide 6 - 8 - 2*j?
True
Let b(u) be the third derivative of u**6/120 + u**5/15 - u**4/6 + 7*u**3/6 + 2*u**2. Suppose -4*k = 11 + 9. Does 2 divide b(k)?
True
Let i(g) = 7*g + 2. Let f be i(8). Suppose -3*t = -t - 2*v - 14, -4*t = 2*v - f. Does 6 divide t?
True
Suppose -b + 6*b + 3*t - 4 = 0, -t - 6 = -2*b. Suppose b + 0 = -o. Let n(g) = -3*g + 1. Does 3 divide n(o)?
False
Suppose w = 5*y - 22, 3*y - 6*y - 2*w + 8 = 0. Suppose -87 - 21 = -y*u. Does 9 divide u?
True
Let f = 3 - 0. Let p(r) = 3*r**2 - r - 1. Does 7 divide p(f)?
False
Suppose 4*f - 12 = 4*x, 2*x + 2*x = -4. Suppose f*l = -2 - 8. Is 9 a factor of (-645)/(-25) - 1/l?
False
Let h(f) = f + 2*f - 5*f + 4. Let c be (0 + 5)/((-1)/1). Is 6 a factor of h(c)?
False
Suppose -5*b + 11 + 14 = 0. Does 13 divide (-4)/20 - (-66)/b?
True
Let s(q) = -q + 4. Let i be s(5). Let u = 9 - i. Let b = 0 + u. Does 5 divide b?
True
Suppose 4*d + 0*h - 4*h - 32 = 0, 14 = 2*d - h. Let k be (75/4)/((-2)/8). Is k/d*(-1 - 1) a multiple of 10?
False
Suppose 0*t = -3*k - 2*t + 302, 4*k - 436 = 4*t. Is 15 a factor of k?
False
Let x = 26 - 61. Let y = x + 80. Is 15 a factor of y?
True
Let k(i) = 8*i**2 + 2. Let y be k(-2). Suppose o + 2*d + 8 = y, -2*o + 51 = 5*d. Is 12 a factor of o?
False
Let a(q) = -7*q**3 - 4*q**2 + 9*q - 5. Let u(f) = 8*f**3 + 5*f**2 - 10*f + 6. Let b(l)