se 4*i = s + 12. Is 4 a factor of i?
False
Suppose -d = -l + 4, -4*d - 7*l + 16 = -3*l. Let a(q) = q**2 + q + 44. Is 16 a factor of a(d)?
False
Let d(v) = -16*v - 5. Let i(s) = -1. Let k(b) = d(b) - 4*i(b). Is 13 a factor of k(-3)?
False
Let q(t) = -t + 35. Does 7 divide q(0)?
True
Let q = 0 + 0. Suppose -3*p + q*p = -273. Suppose 64 = 5*o - p. Is 15 a factor of o?
False
Suppose 6 + 27 = 3*d. Let j = d - 2. Is j a multiple of 9?
True
Suppose -3*y = -60 + 3. Is 19 a factor of y?
True
Let m = 1 - -3. Suppose 0 = -0*a + a - m. Is a a multiple of 4?
True
Suppose 7*k - 3*k = 180. Does 13 divide k?
False
Let t(a) = a**3 - 2. Let p be t(2). Suppose i = -p*z + z + 132, 4*z - 96 = 4*i. Does 8 divide z?
False
Let z = 148 + 73. Is z a multiple of 13?
True
Suppose -u - 3*u + 28 = -4*d, 4*d - 12 = -4*u. Suppose 45 = u*t - 45. Is t a multiple of 6?
True
Let m be (-12)/(-7) - (-12)/42. Let h = 5 - m. Is 3 a factor of h?
True
Let u(z) = -z**3 + 6*z**2 + 2. Is 9 a factor of u(5)?
True
Is -2*(-251)/10 + (-2)/10 a multiple of 15?
False
Is 24 a factor of (-7)/(70/(-72))*10?
True
Does 14 divide (12/9*23)/((-1)/(-3))?
False
Suppose 6*i - 435 = 171. Does 22 divide i?
False
Let p(l) = 3*l**3 - 5*l - 3. Let o(i) = 4*i**3 - 6*i - 4. Let n(h) = 5*o(h) - 6*p(h). Let c(x) be the first derivative of n(x). Is c(-1) a multiple of 4?
False
Suppose 3*t - y - 128 = 0, -2*t + 6*t - 175 = -3*y. Is t a multiple of 16?
False
Let m = -76 + 110. Is 16 a factor of m?
False
Let f(q) be the third derivative of q**5/60 - q**4/6 - 5*q**3/6 + 2*q**2. Is f(6) a multiple of 7?
True
Suppose 103 - 298 = -5*t. Is 13 a factor of t?
True
Suppose b = -2*b - 3. Let q = -13 + b. Let w = q - -38. Does 12 divide w?
True
Let v = 5 + -3. Suppose v*a - 124 = -2*a. Let k = -16 + a. Does 5 divide k?
True
Suppose -2*d = 4*s - 2*s + 10, -3*d = -s + 3. Is 11 a factor of (-2 - 2)/(d/14)?
False
Suppose 3*p + 4*a = 6*p - 3, 3*p - 9 = 2*a. Does 2 divide p?
False
Suppose 4*b + 7 = -5. Let p = -1 - b. Suppose p*j - j - 33 = 0. Is j a multiple of 13?
False
Let l(d) = d. Let w(k) = 2*k - 10. Let o(r) = -3*l(r) + w(r). Let j be o(-8). Does 9 divide 34*j/(-4) - -1?
True
Let h = -45 + 65. Is 4 a factor of h?
True
Suppose -4*g = -8*g - 24. Suppose 0*x + 297 = 3*x. Is x/6*(-4)/g a multiple of 11?
True
Let p(g) = -g**3 - 7*g**2 + 3*g + 4. Does 7 divide p(-8)?
False
Is 141/13 - (-16)/104 a multiple of 4?
False
Suppose -r = -2*r. Suppose x + 2 - 12 = r. Does 5 divide x?
True
Suppose -3*u + 234 = -6*u. Does 5 divide (-4)/(-8) - u/4?
True
Suppose 0*b + 4*b = 8. Is 78/(5 - b) + -2 a multiple of 24?
True
Let a(l) = -6*l - 4. Suppose n + 11 = 6. Is a(n) a multiple of 14?
False
Suppose 2*w + 2*k - 36 = w, 3*w = 5*k + 75. Is 5 a factor of w?
True
Let y(h) = 0*h + 5*h - 1 + 0 - 9*h. Does 11 divide y(-5)?
False
Let w(g) = 10*g - 32. Does 27 divide w(14)?
True
Suppose 5*m - 3 = -4*x, 4*m - 3*m = x - 3. Let o = m - -2. Does 18 divide (-18)/(0 + (-1)/o)?
True
Suppose -425 = -4*v + x, 0 = v - 4*v - 3*x + 300. Is 21 a factor of v?
True
Let r = -2 - -23. Is (r/15 + -1)*55 a multiple of 22?
True
Let y be (-1 - (-2 + 4))/1. Let w = y - -6. Does 3 divide w?
True
Let s be (-34)/10 - (-3)/(-5). Let v(y) = -10*y - 1 + 1 + 1. Does 14 divide v(s)?
False
Let n(p) = p + 2 - 3 + 2*p - 3. Is n(9) a multiple of 18?
False
Suppose -2*b + 15 = b. Suppose j - 25 = a, 2*j - b*j - a = -63. Is j a multiple of 11?
True
Suppose 0*c = 5*c - 400. Is c a multiple of 16?
True
Let u(r) = -19*r**3 + 20*r**3 + 15 - 3 + 2*r. Does 12 divide u(0)?
True
Suppose 0 = -2*h + 8, -3*n = 2*h + 8 - 31. Suppose 5*s = n, 2*s + 8 = 2*c + 6*s. Suppose -3*g + 44 = -4*y, -2*g - c*y + 50 = g. Does 11 divide g?
False
Let d = 43 - -8. Is d a multiple of 14?
False
Let r be -9*4/(12/(-9)). Suppose -h = 2*k + 3*k - 1, 0 = -5*h - 3*k + r. Does 5 divide h?
False
Let b be (4/(-6))/((-4)/654). Let y = -34 + b. Is y a multiple of 25?
True
Suppose 0 = 4*d - h - 93, -2*d + 25 + 17 = -2*h. Does 9 divide d*2/(16/6)?
True
Let s = 3 + -3. Let z = s - 0. Suppose x - 2*c - 17 = z, -x + 2*c = -4*x + 19. Does 9 divide x?
True
Let v(b) = 2*b**2 - 2*b - 5. Suppose 0*c + 3*y + 11 = 5*c, 0 = -5*y + 15. Does 7 divide v(c)?
False
Does 17 divide -1 - -37 - 38/19?
True
Let d = 7 + 27. Does 9 divide d?
False
Suppose -4*z + 5*d = -46, -z = -0*d + 4*d - 22. Is 7 a factor of z?
True
Does 6 divide (-6 - (-240)/42) + 424/14?
True
Let a be (-3 - -2)*(1 + -2). Let i be (a/(-3))/(6/(-108)). Let y = i + 24. Does 10 divide y?
True
Let l(w) = -w - 4. Let k be l(-8). Suppose k*p - 3*p = 12. Is 4 a factor of p?
True
Let f(y) = 95*y**2 + 2*y - 1. Let s be f(1). Suppose -31 = -d - 3*o + 2, 0 = -4*d - 3*o + s. Suppose 2*i - d = -3*b, 5*b - 31 = -3*i + 1. Is i a multiple of 6?
False
Let j = -15 - -186. Is j a multiple of 22?
False
Let x(h) = -3*h - 12 - 2*h**2 + 9*h + 11. Let v be x(5). Is 2 - (4 - -1) - v a multiple of 9?
True
Suppose 0 = 2*x + 3*g - 318, 0*x - x + 173 = 5*g. Does 17 divide x?
True
Let g = 14 - 4. Is g a multiple of 10?
True
Suppose 3*t - 25 = -2*t. Suppose -5*k - 4*w + w = -21, t*k - 13 = w. Suppose 0 = 4*p - 3*j - 86, -k*j - j - 61 = -3*p. Does 9 divide p?
False
Suppose 3*n - 5*y = -193, -2*n = -0*n + 4*y + 136. Suppose 2*d - 48 = -140. Let t = d - n. Does 10 divide t?
True
Does 11 divide (-3 + -8)*(-3)/1?
True
Let y = 2 + 2. Suppose 3*h - y = 8. Is h a multiple of 2?
True
Let d be 1/1 + -8 - -3. Let h = d + 18. Is h a multiple of 14?
True
Let b(r) = -r**2 - 13*r + 1. Is 4 a factor of b(-12)?
False
Let k = -17 - -1. Is ((-12)/k)/(2/32) a multiple of 4?
True
Suppose -3*q - 57 = 42. Let k = q - -90. Is k a multiple of 12?
False
Let v(z) = 2*z - 4*z + 2 + z. Let b be v(-4). Suppose 0 = j - b + 1. Is j a multiple of 3?
False
Let t = 45 + 70. Suppose -3*k + t = -2*k. Suppose w = -4*w + k. Is w a multiple of 9?
False
Suppose 0*w + 5*h = 4*w - 105, 0 = -3*w - 2*h + 96. Does 15 divide w?
True
Suppose -4*u = -0*q - 2*q + 402, -777 = -4*q - u. Is q a multiple of 10?
False
Let x be 167/(-3) + (-4)/(-6). Suppose -2*c - 19 = -c. Let l = c - x. Does 15 divide l?
False
Let u = 20 - -35. Does 11 divide u?
True
Suppose j - 38 = -j - b, 3*j = -2*b + 59. Let w = j + 8. Is 25 a factor of w?
True
Suppose -u - t = -9, 3*t = 4*u - 2*t - 36. Let r = 2 - -1. Suppose -r*y - u = -33. Does 8 divide y?
True
Suppose -26*t + 154 = -24*t. Is 7 a factor of t?
True
Suppose 4*v - 21 = 27. Is 4 a factor of v?
True
Let b(c) = c**2 + 3*c + 3. Let l be b(-2). Suppose 5 = w + 2*r - l, 5*w + r = 21. Suppose -w*n = 3*v - 9*n - 37, 5*v - 53 = 4*n. Is 4 a factor of v?
False
Let c(l) = l - 16. Let d(o) = o - 15. Let r(g) = 4*c(g) - 5*d(g). Does 2 divide r(6)?
False
Let k be (-2)/6 - (-16)/3. Suppose 74 = k*l - 111. Is 21 a factor of l?
False
Suppose 5*p = -0 + 35. Let m be 439/p - 12/(-42). Suppose -5*a + 137 = -m. Is a a multiple of 11?
False
Let u(d) = -2*d**3 - 3*d**2. Let v be ((-6)/(-10))/(3/15). Suppose j + 2*a - 5 = 0, 8 = -a + v*a. Does 11 divide u(j)?
False
Is 11 a factor of 4/(-18) + (-6)/((-216)/1340)?
False
Suppose 5*g + 2*d - 7 - 29 = 0, -5*g = 5*d - 30. Is 8 a factor of g?
True
Let y = -23 + 10. Does 17 divide 2/y - 888/(-26)?
True
Let x be 736/10 - (-27)/(-45). Suppose 0 = -2*y - 21 + x. Is 13 a factor of y?
True
Let z = 200 - 159. Is 21 a factor of z?
False
Let z = 9 + -7. Suppose 7*k = z*k + 80. Is k a multiple of 8?
True
Let b(u) = -u**3 - u**2 + u. Let g(l) = -l**2 + 5*l - 2. Let t be g(4). Let r be b(t). Is 5 a factor of 2 - ((r - -1) + 0)?
False
Let a(v) = 3*v - 1. Suppose 0 = 5*h + 3*r - 4, 2*h + 2*r - 1 = -3*h. Let y = h + 10. Is a(y) a multiple of 13?
True
Is (-5)/(-15) + 29/3 + -1 a multiple of 3?
True
Let g = 284 - 165. Does 7 divide g?
True
Let a(f) = -f - 55. Let s be a(0). Is (18/(-5))/(11/s) a multiple of 5?
False
Let t = -271 + 419. Is 20 a factor of t?
False
Let b(s) = s**2 + 2*s - 3. Let m = 4 - 2. Is b(m) a multiple of 5?
True
Suppose -3*j + 14 = 8*p - 3*p, 0 = 4*j + 5*p - 12. Let t = j - -5. Is 3 a factor of t?
True
Let x(v) = -10*v - 121. Is x(-23) a multiple of 12?
False
Let y = -75 - -109. Is y a multiple of 4?
False
Suppose 5*i = 62 + 68. Suppose 0 = -3*j - 4*b + i, 3*j + j - 4*b = 16. Is 2 a factor of j?
True
Let w = 23 + 17. Is w a multiple of 10?
True
Suppose -3*h + 2*j = 5*j - 6, 0 = 4*h - 5*j - 26. Let f = 