e
Let s(q) = 6*q**2 - 18*q - 30. Is 14 a factor of s(9)?
True
Suppose -o + 4*m = -44, -5*o + 151 = -0*o + 3*m. Does 7 divide o?
False
Is (-3)/((-4)/(304/4)) a multiple of 19?
True
Let a(l) = 2*l**2 + 5*l + 10. Let k(n) = -3*n**2 - 5*n - 11. Let s(t) = -4*a(t) - 3*k(t). Does 17 divide s(8)?
True
Suppose 3*y = 3*m - y - 252, 385 = 5*m + 5*y. Does 18 divide m?
False
Let n be (-1)/(-2) + (-26)/(-4). Let k = -2 - n. Let v = 19 - k. Is 14 a factor of v?
True
Suppose 4*i + 6 = 5*o + 3*i, 0 = 3*o - 4*i - 7. Let k be (-3 + 2)*1/o. Let m = 37 + k. Is 16 a factor of m?
False
Suppose -h + 1 = 0, 4*n + 2*h = 6*h + 92. Suppose -5*x + 4 = -4*z, -2*x - z = 3*x - n. Suppose 5*d = 3*g + 46 - 6, x*g - 24 = -3*d. Does 4 divide d?
True
Let a(n) = -n**3 + 2*n**2 + 3*n. Does 28 divide a(-4)?
True
Suppose c - 21 = 4*d, -2*d = c - 1 + 4. Suppose -i = -c*i + 260. Is i a multiple of 13?
True
Let r = 221 + 31. Is 28 a factor of r?
True
Let y(g) = 7*g. Suppose 4*q - 2*w - 1 = 3, 4*q + 2*w = 4. Let t be y(q). Let c = t + 0. Does 5 divide c?
False
Let p be (-8)/(-20) - 108/20. Is -4*(1 + (p - -2)) a multiple of 2?
True
Suppose -m + 51 = -0*m + p, -m - 4*p + 36 = 0. Let n = 123 + m. Suppose -101 = -4*q + y, 0 = -5*q - 3*y + n - 40. Is 9 a factor of q?
False
Suppose 61 = v - 11. Suppose -2*i - 2*i = -v. Is i a multiple of 9?
True
Suppose 15*l = 520 + 800. Does 11 divide l?
True
Suppose 4*g + 2*n - 202 = 0, 6*g - 3*g - 5*n = 184. Is 20 a factor of g?
False
Let w be (-6)/(-9) - 16/(-12). Suppose 5*z = 4*z + w. Is 16 a factor of (z - -30) + -3 + 3?
True
Suppose -1 = x - 2, 5*v + x - 261 = 0. Suppose -t - 20 + v = 0. Is 15 a factor of t?
False
Suppose -3*m - 152 = -5*m. Is 19 a factor of m?
True
Let p(x) = 5*x**2 + 4*x - 4. Let s be p(-4). Suppose 4*j = 5*w + s, -2*w - w - 29 = -j. Let h = w - -10. Is h even?
True
Let r = -39 + 111. Is r a multiple of 9?
True
Let n(y) = 3*y**3 - 3*y**2 + 2*y + 1. Is 5 a factor of n(2)?
False
Let q(a) = a**2 - 4 + 3 - 11*a + 6. Let m be q(8). Let x = m - -31. Is x a multiple of 12?
True
Let i be ((-8)/(-6))/(6/45). Let h = i + -19. Is (-2)/(-9) - 25/h even?
False
Let p(a) = -a**3 + 2*a**2 + a + 3. Is p(-4) a multiple of 25?
False
Let t = -2 - -36. Does 17 divide t?
True
Suppose 3*r = -r + 28. Is r/(-14) - 27/(-2) a multiple of 12?
False
Let h(v) = 2*v - 3. Let g be h(3). Suppose 0 = g*m - 66 - 36. Does 19 divide m?
False
Let r(q) = q**2 - 4*q + 4. Let p be r(5). Let h = 21 - p. Suppose -x - 4*f + 42 = 0, -3*f + 25 = x - h. Is 11 a factor of x?
True
Suppose 20 + 10 = 2*y. Let b = 8 - 4. Suppose -b - y = -z. Is 19 a factor of z?
True
Let p(d) be the second derivative of 2*d**3 + d**2/2 - d. Let i be p(5). Suppose 2*h + 25 = i. Does 16 divide h?
False
Let s = 2 + 19. Is s a multiple of 21?
True
Suppose -8*p + 246 = -5*p. Does 14 divide p?
False
Is 14 a factor of 3 - (2 - (-94)/(-2))?
False
Suppose 0 = -f + 2*f - 72. Suppose -c = -2*c + f. Suppose 0*o + 3*o - c = 0. Is 14 a factor of o?
False
Let i be 34/6 + 8/(-12). Suppose 0 = -t + i - 3. Let v(n) = 7*n**2 - 2*n + 2. Is v(t) a multiple of 13?
True
Let p(n) = n**2 - 6*n + 5. Let m be p(6). Suppose s - 3*d - 21 = 20, -m*s + 270 = -2*d. Is 14 a factor of s?
True
Suppose n = s + 3*s - 9, 0 = 5*s - 3*n - 6. Is 15 a factor of s + 42 - (3 - 3)?
True
Suppose 10*j = 11*j - 6. Let f(m) = m**3 - 5*m**2 - 4*m - 5. Does 7 divide f(j)?
True
Suppose 0 = 2*j - 0 - 4. Suppose 34 = -0*m + j*m. Does 6 divide m?
False
Let m(j) = j**3 + 12*j**2 + 10*j + 4. Is 8 a factor of m(-11)?
False
Suppose -4*y + 176 = -20. Is 10 a factor of y?
False
Let n = 212 - 186. Is 4 a factor of n?
False
Let q(h) = -h**3 - 8*h**2 + 7*h - 10. Is 6 a factor of q(-9)?
False
Suppose -14 = -2*g + 2*f, 8 = 5*g + f + 3*f. Let j(r) = r**2 - 2*r + 6. Is 4 a factor of j(g)?
False
Let g be 4 - (0/(-3) + -3). Suppose -3*n + 25 = g. Does 6 divide n?
True
Let d be (-4)/8 + 77/2. Suppose y = -5*p - 98, 3*p + 2*y + d = -25. Does 18 divide p*(-2 + 1/1)?
False
Suppose -4*j + 3*g - 74 = 0, j - 3*g + 7 = -7. Let t be ((-3)/2)/(15/j). Suppose -41 = -t*h + 43. Is h a multiple of 14?
True
Suppose 4 = 3*c - 14. Does 2 divide c?
True
Suppose -4*f + 86 = -2*f. Let y = 36 + -57. Let a = y + f. Is a a multiple of 7?
False
Suppose 0 = 2*h - u - 389, 3*u = -2*h - 201 + 594. Does 15 divide h?
True
Suppose 0 = 2*y + 2 - 8. Suppose -2*x - 4 = -y*x. Let i = x - -30. Is i a multiple of 17?
True
Let c(x) = -3*x - 21. Does 5 divide c(-13)?
False
Suppose -3*a = 3*l - l - 194, -l = 5*a - 111. Let z = -55 + l. Does 14 divide z?
False
Let q(a) = -2*a - 3. Let i be q(-4). Let y(o) = o**2 - 6*o + 7. Let r be y(i). Suppose f + r*f = 24. Does 4 divide f?
True
Let p(f) = f**3 - f**2. Suppose 3*v - 5*m = 6*v + 7, -3*m = v + 5. Let z be p(v). Suppose 2*b = -z*b + 48. Is 8 a factor of b?
True
Let i(o) be the second derivative of o**4/12 - 7*o**3/3 - 3*o**2/2 + 4*o. Let b(w) be the first derivative of i(w). Does 2 divide b(10)?
True
Suppose 8*g - 12*g = -8. Is g even?
True
Let r = -85 - -60. Let s = r - -80. Is 27 a factor of s?
False
Is 6 a factor of 220/8*(-16)/(-20)?
False
Suppose 12 = -r - r. Let j(p) = p**2 + 3*p + 6. Does 19 divide j(r)?
False
Let l(q) = 4*q - 12. Let h be (-8)/3*9/(-3). Does 10 divide l(h)?
True
Suppose 45 = 3*n - 3. Is n a multiple of 4?
True
Suppose 0 = -y + 3*c + 43, c - 145 = -4*y + 4*c. Does 5 divide y?
False
Suppose h + 3 = -h - 3*u, 4*h = -3*u + 3. Suppose -5 = -2*d + h. Suppose -3*k - 5*q + 45 = 0, 5*k - 57 - 31 = -d*q. Is k a multiple of 10?
True
Does 26 divide (-4)/10 - 4383/(-45)?
False
Let m = -9 + 7. Let a = 7 + m. Does 5 divide a?
True
Suppose -2*d + 3 = -d. Let k = 0 + d. Suppose -5*f - 5*i = -2*f - 135, -k*i + 9 = 0. Is f a multiple of 20?
True
Let v = 0 - 7. Let x be (5 + -6)*(v + 1). Suppose 2*s + 8 = 0, -3*g + 4*g - x = -2*s. Is g a multiple of 12?
False
Let y(r) = 2*r + 17. Is 4 a factor of y(9)?
False
Suppose k + 3*v - 7 = -3*k, k + 3*v = -5. Is 6*(-1)/k*-32 a multiple of 16?
True
Let i(w) = -14*w - 6*w + 5 - 1. Let n be i(-3). Suppose 178 = 5*r - 2*d, -5*r - n = 2*d - 246. Is 16 a factor of r?
False
Let l = -15 + 24. Suppose 2*t + l = -2*q - t, 4*q + 5*t = -13. Suppose -2*y + q*y - 14 = 0. Is y a multiple of 14?
True
Let s(v) = 4*v**2 - v - 1. Let q = 8 - 6. Does 13 divide s(q)?
True
Suppose j - 69 = -5*s + s, 0 = -3*s - 6. Is 32 a factor of j?
False
Let v be (-1)/(-3) + (-30)/(-18). Is 6/2 + (7 - v) a multiple of 8?
True
Suppose 2*w - 5*a - 15 = 0, 0*w - 2*w = 2*a + 6. Let d be (-4 + w)*3/(-2). Suppose o - 3 - d = 0. Is o a multiple of 9?
True
Let h(p) = -p**3 - 4*p**2 - p + 1. Suppose -3*m = 2*m + 20. Let x be h(m). Suppose n + x*c - 13 = 0, -4*n - 2*c + 14 = -74. Is n a multiple of 10?
False
Let u = 230 - 140. Is 9 a factor of u?
True
Let m(s) = s + 3. Let k be 1*12 - (-3 - -4). Does 14 divide m(k)?
True
Suppose 13 = 5*m - 2. Suppose -m*q = q. Suppose 2*a = -d + 26, q*d = -a + d + 16. Is 7 a factor of a?
True
Let q be 114/42 - 2/(-7). Suppose -q*w + 165 = 2*w. Is w a multiple of 11?
True
Suppose -z + 4 = 2. Is ((-6)/(-9))/(z/15) a multiple of 3?
False
Let q = 7 + -3. Let a = q + -4. Let t(o) = -o + 6. Is 6 a factor of t(a)?
True
Is 2/(-5) - 5984/(-110) a multiple of 18?
True
Let a = -63 - -200. Is a a multiple of 15?
False
Suppose -9 = -6*d + 3*d. Suppose 0 = i - d*i. Suppose i*r + 2*r = 60. Is 11 a factor of r?
False
Let q = 6 - -2. Let f be (-8)/3*18/q. Let u(o) = -o**2 - 8*o - 4. Does 8 divide u(f)?
True
Let u(i) = 0 - 99*i**2 + 104*i**2 + 0. Let t = 1 - 2. Does 5 divide u(t)?
True
Let x = 9 + -5. Let u be (x/6)/((-3)/189). Let q = 81 + u. Does 13 divide q?
True
Suppose k - 1 = 3. Let b(g) = -6*g + 4*g - k*g - 2. Is 14 a factor of b(-5)?
True
Let u(r) be the third derivative of r**6/120 - 7*r**5/60 - 7*r**4/24 - r**3/3 - 4*r**2. Let b be u(8). Let h(i) = i. Is 3 a factor of h(b)?
True
Let v be 1 - (0 + 4) - -6. Suppose 0 = v*q - 8 - 61. Does 20 divide q?
False
Suppose -3*n + 1 + 2 = 0. Let w be (-2)/(1 + n)*-5. Suppose -2*c + 1 = -w. Is c a multiple of 3?
True
Let h(i) = -8*i**3 - 6*i**2 + 11*i + 3. Let t(s) = -7*s**3 - 6*s**2 + 10*s + 2. Let k(c) = -6*h(c) + 7*t(c). Let n be k(-6). Let g = 18 - n. Does 23 divide g?
True
Let s(c) = -25*c - 6. Let y(i) = -1. Let k(x) = s(x) - 5*y(x). Does 9 divide k(-1)?
False
Let k(j) = 75*j + 1. Let 