f*d + 2 + 28 = 0. Does 3 divide d?
True
Let f(u) = -2*u**2 - 11*u - 7. Let s be f(-7). Let i = 43 + s. Is i a multiple of 5?
True
Let c = 87 - 41. Suppose -2*o + c = -0*o. Is o a multiple of 9?
False
Let m(t) = 11*t - 2. Does 15 divide m(3)?
False
Suppose -2*s + 9 = -1. Suppose 4*d - 18 = 3*r, d - s*r - 13 = -0. Suppose z - 3*x - 23 = 0, d*x = z + 4*z - 79. Is 14 a factor of z?
True
Let l(d) = d**2 - 3*d - 2. Let r be l(4). Suppose 0 = -3*q + q + 138. Suppose -r*o = o - q. Is 19 a factor of o?
False
Let p be ((-6)/9)/(6/(-963)). Let n = p - 58. Is 10 a factor of n?
False
Let y be (-3)/((-9)/15 - 0). Suppose -y*x - 32 = 28. Is 28/(-4)*x/7 a multiple of 12?
True
Let q(b) = -b**3 - b**2 + b + 3. Does 7 divide q(-5)?
True
Let h be (57/(-12) - 1)*4. Let z = -12 - h. Is 6 a factor of z?
False
Let b be 5*(0 - (2 + -14)). Suppose 5*o - b = 2*o. Is o a multiple of 10?
True
Let h = 8 + -5. Suppose -h*a + a + 12 = 0. Suppose -q - 4*u - 68 = -a*q, 3 = u. Does 16 divide q?
True
Let l = 194 - 132. Is l a multiple of 10?
False
Let l(p) = -p**3 - 7*p**2 - 8*p + 2. Is 13 a factor of l(-7)?
False
Let p = 88 + -70. Is p a multiple of 8?
False
Suppose -3*l = -2*d - 9 - 7, 2*l - 15 = -3*d. Is 4 a factor of l?
False
Let d(x) = x**2 + 3*x. Let a be d(-3). Suppose a = 4*f - 242 + 2. Is f a multiple of 30?
True
Suppose 3*m + 6 = 0, m + 344 = 2*l - 3*m. Suppose -3*z - z = -l. Is 23 a factor of z?
False
Suppose -2*l = -4*p - 36, -3*l + 3*p + 52 = -2*p. Suppose 0 = -4*r + 4*f + 10 + l, -5*f = 2*r - 26. Is r a multiple of 3?
False
Let c(z) = 2*z**2 + 1. Let q be c(2). Let v(u) = u - 5. Is v(q) a multiple of 4?
True
Let v(q) = q**3 + 10*q**2 + 10*q + 8. Let o be v(-9). Does 15 divide 14 + o + 1 + 1?
True
Suppose 57 = p + w, 3*p - 3*w = p + 109. Does 10 divide p?
False
Let m(c) = 2*c**2 + c. Let o be m(-4). Suppose o + 35 = 3*q. Is q a multiple of 14?
False
Let s = -21 + 30. Does 6 divide s?
False
Let f = 2 - -1. Suppose -2*a + 5*a = o - 26, f*a = -5*o + 94. Is 14 a factor of o?
False
Let j = 31 + 31. Is 9 a factor of j?
False
Suppose -2*k + 56 = 3*z, -4*k - 8 - 40 = -4*z. Is 16 a factor of z?
True
Let f = -10 - -22. Suppose 5*p - 3 = f. Suppose -5*l - 139 = -6*b + 3*b, 0 = 5*b + p*l - 277. Is 21 a factor of b?
False
Let i(d) = d**3 + d**2 - 5*d - 1. Let v be i(-4). Suppose 4*j = 2*j - 154. Let h = v - j. Is h a multiple of 16?
True
Let u = -6 + 1. Let z be (1 - u)/((-6)/(-153)). Does 10 divide z/15 + 1/(-5)?
True
Let d = 23 - -22. Is 22 a factor of d?
False
Suppose -2*n + 3*y = 4*y - 77, 36 = n + 3*y. Is 5 a factor of n?
False
Suppose -1386 = -3*p - 8*p. Is p a multiple of 18?
True
Let r(w) = -w**3 - 5*w**2 + 3*w - 6. Does 4 divide r(-6)?
True
Suppose 0*d - 258 = -4*x + 2*d, 2*x = 2*d + 132. Let c = 108 - x. Does 25 divide c?
False
Let v = -14 + 11. Is 10 a factor of 156/3 + (-9)/v?
False
Let t(w) = 23*w + 2. Let u be t(2). Suppose -i = i - u. Is i a multiple of 8?
True
Suppose k = -3*r + 8 + 4, -r = -k. Suppose -2*z - 338 = -3*p, 2*p + 3*p - 530 = -5*z. Suppose -29 = k*f - p. Does 13 divide f?
False
Let f(g) = -g**2 - 7*g + 10. Let m be f(-8). Suppose m*b - 8 = b. Is 4 a factor of b?
True
Does 20 divide (-30)/((42/8)/(-7))?
True
Let f(m) = -5*m - 1. Let a be f(-2). Suppose 3*i - a + 0 = 0. Let o(g) = g**2 - g + 1. Is 3 a factor of o(i)?
False
Suppose 0 = -0*k + k + 7. Let a(y) = -y**2 - 7*y + 10. Is 10 a factor of a(k)?
True
Suppose 4*c - 2*c = -s + 17, s + 3*c - 21 = 0. Is s a multiple of 9?
True
Let j(v) = -2*v + 2. Let t be j(2). Does 4 divide (t - (-4)/(-10))*-5?
True
Let x = -5 + 4. Let k = 12 - x. Suppose p + 5 = k. Is 5 a factor of p?
False
Let u = -6 - 9. Let g = 60 + u. Does 16 divide g?
False
Suppose 0*u + u = -1. Let a(r) = -45*r**3 - 5*r**2 + 4*r. Let g(i) = i**3 - i**2 + i. Let v(h) = a(h) - 5*g(h). Does 19 divide v(u)?
False
Let y(p) = 6*p + 6. Is y(13) a multiple of 28?
True
Let r = -45 - -55. Does 5 divide r?
True
Suppose -13*k + 3*m + 1092 = -8*k, -4*m = 16. Is 12 a factor of k?
True
Let q(x) be the second derivative of x**4/12 + x**3/6 - 6*x**2 + x. Let z be q(0). Let m = -6 - z. Is m a multiple of 2?
True
Suppose -r + 3*j = -111, 4*j + 14 + 212 = 2*r. Is r a multiple of 20?
False
Suppose 160 = 10*k - 2*k. Is 10 a factor of k?
True
Suppose -2 = -2*u + 4. Let b = u - -4. Does 7 divide b?
True
Let q be (36/10)/(8/20). Does 2 divide 51/q + (-4)/6?
False
Let m(x) = 16*x**2 - 2*x. Does 20 divide m(2)?
True
Suppose -19 - 57 = -2*p. Does 19 divide p?
True
Let r(o) = -o + 8. Let i be r(6). Suppose -i*n - 4 = -5*v - 3, -5*v = n + 8. Is (-1)/(n/(-6)) - -7 even?
False
Let k(m) = m**2 - m + 12. Let s be k(0). Suppose -s = -j - 2*j. Suppose -3*r + 6 = -j*y - 21, r - 10 = y. Is 9 a factor of r?
False
Let p(x) = x**2 - 4*x - 1. Suppose 0 = -i + 3*u + 12, -4*i - 2*u - u = -3. Let f be i + (2 - -3) - 2. Is 11 a factor of p(f)?
True
Let f(v) = v**3 + 8*v**2 + 7*v + 7. Is f(-7) a multiple of 7?
True
Does 4 divide 12/(-10) + 4/20 - -5?
True
Let l = -28 + 77. Is l a multiple of 7?
True
Let l = 3 - 3. Suppose -3*w + l = -2*a - 3, -5*w + 5 = 3*a. Suppose -4*s + 5*z + 37 = a, -2*z + 17 = -s - 6*z. Is 3 a factor of s?
True
Let n(b) = -13*b + 21*b - 10*b + 9. Is 10 a factor of n(-13)?
False
Suppose 24 = 2*h + 5*r, 0 = 4*h - 3*r + 5 - 1. Suppose -c + f = -0*f - h, 0 = -2*c + 4*f. Suppose c*w = 19 + 49. Is 6 a factor of w?
False
Let p(k) = 47*k**3 - k**2 + 2. Is p(1) a multiple of 29?
False
Let c(a) = 3*a**3 - 6*a**2 + a - 3. Let g be c(4). Let l be g/9 - 2/(-9). Suppose 4*q - l = 1. Does 2 divide q?
False
Let h(u) be the second derivative of -4*u**3/3 - 3*u**2/2 - u. Let z = -55 + 51. Is h(z) a multiple of 13?
False
Suppose 0 = 5*b - 2*c - 85, -c + 3*c = 0. Is b a multiple of 2?
False
Let h = 2 + -2. Suppose h = -3*b - 2*b. Suppose b = 5*p - 46 + 6. Is 3 a factor of p?
False
Let d(t) = t - 4. Let a be d(5). Is (0 + 3 - a) + 58 a multiple of 28?
False
Suppose -4*c - c + 75 = 0. Suppose -4*l - 12 = -4*u, 4*u + u = -4*l + c. Suppose 3*r - u*j = 60 - 3, -r - 4*j - 6 = 0. Is r a multiple of 14?
True
Suppose 25 = -5*b - 25. Let a = 28 + b. Is 5 a factor of a?
False
Suppose 2*b = -u + 33, 3*b - 73 = -2*u + 6*b. Is 7 a factor of u?
True
Suppose -9*x = -4*x - 60. Suppose -5*o = -10, -2*c + o + x = 2*o. Suppose -2*l - 2*b = -34, 2*b - 62 - 8 = -c*l. Is l a multiple of 6?
True
Let a = -7 - -5. Let r = 6 + a. Suppose j + 83 = r*h, j + 4*j - 26 = -h. Is h a multiple of 7?
True
Let g = 63 + 6. Does 23 divide g?
True
Suppose -10 = 2*c, -4*c - 16 = -3*q + 22. Is 3 a factor of q?
True
Let i(j) = 18*j + 15*j - 3 - 14*j + 4*j. Let a(n) = -n**2 - 11*n + 15. Let k be a(-12). Is 27 a factor of i(k)?
False
Let l(n) = n + 3. Let t(c) = -c**3 - 4*c**2 - 2*c - 4. Let s be t(-4). Let m be l(s). Suppose -3*d + 8 = -m*d, -17 = -3*a + 4*d. Is 2 a factor of a?
False
Let h(z) = 106*z - 23. Is h(3) a multiple of 43?
False
Suppose 3*k - g = 413, -3*g - 2 - 13 = 0. Suppose 4*d = 3*p - 66 - 54, -4*d - p - k = 0. Does 22 divide (d/(-2))/((-24)/(-32))?
True
Let g(v) = -v**3 + 6*v**2 + 9*v - 3. Let p be g(7). Let s = p + -24. Is 5 a factor of (s/(-2))/((-1)/(-2))?
False
Suppose -55 = -5*f - 0*f. Is f a multiple of 11?
True
Is 15 a factor of (4/(-2))/((-4)/324)?
False
Let s be (3/(-9))/((-2)/18). Let o(d) = 12*d + 2. Let l be o(4). Suppose s*i = -2*i + l. Does 10 divide i?
True
Let r(c) = c**3 + 3*c + 89. Is 10 a factor of r(0)?
False
Let b(a) = a**3 + 8*a**2 - 3*a - 7. Let f be b(-7). Suppose f = 5*l - 67. Let t = l - 14. Is 12 a factor of t?
True
Suppose -4*p + 0*p - 564 = 0. Let h = 197 + p. Does 14 divide h?
True
Suppose -2*q - 17 = 5*u, -u - 3*u - 16 = q. Suppose -2 - 2 = q*b. Is (b - -1 - -2)*3 a multiple of 6?
True
Suppose 2 = 3*j - 4. Suppose -p = -j*p + 18. Does 9 divide p?
True
Suppose -5*u = -0*u - 230. Let g be 996/(-33) - (-6)/33. Let d = u + g. Is d a multiple of 7?
False
Let o = -19 - -13. Let h be (-2)/o + 14/3. Suppose k = 15 - h. Does 10 divide k?
True
Let j(p) = 8*p - 35. Is j(10) a multiple of 9?
True
Suppose 0 = -0*v + v + 2*d - 89, -2*v = -2*d - 160. Is 22 a factor of v?
False
Let n(c) = -c**3 - 6*c**2 - 2*c - 5. Let h be n(-6). Suppose 3*p = h*p - 32. Does 4 divide p?
True
Let v = -1 - -30. Does 18 divide v?
False
Suppose -5*h + 70 = -5*u, -5*h = u + 2*u + 82. Let x be (-1 - -2) + 1 + 29. Let