q(d) = -6*d + 6 + d + 4*d. Does 2 divide q(-4)?
True
Suppose 0 = 8*i - 3*i - 30. Suppose i*b - 255 = b. Is 17 a factor of b?
True
Suppose 0 = 2*c + c - 6. Suppose 5*k = 5 + 5. Suppose -k*i + 32 = c. Is 9 a factor of i?
False
Let y = -473 - -692. Is 15 a factor of y?
False
Suppose -3*z = 2*z - s - 407, -5*s = -4*z + 334. Is z a multiple of 27?
True
Let g be (-18)/2*4/(-4). Suppose p = -2 + g. Is 7 a factor of p?
True
Let p = 1 - -3. Suppose 0 = -h - p*j + 24, 51 = -3*h + 6*h + 5*j. Is h a multiple of 12?
True
Suppose 2*y = -s + 3*s + 8, -2*s - 20 = y. Let g(f) = -2*f - 11. Let k be g(s). Suppose 4*t - 6 - 154 = -4*m, 0 = k*t + 10. Does 14 divide m?
True
Let b be 0*3/(-6) - 0. Suppose -f + 0 + 11 = b. Let m = f - 5. Is m a multiple of 5?
False
Let l be (5*-1)/(1/1). Let i = 9 + l. Does 4 divide i?
True
Let h(g) = 680*g - 119. Let u(f) = -17*f + 3. Let c(z) = 3*h(z) + 119*u(z). Is 14 a factor of c(3)?
False
Suppose 0*x + x = -4. Let r(h) = -3*h - 3. Is 9 a factor of r(x)?
True
Let r be (-2)/(21/(-15) - -1). Suppose 4*m + 0*m = 4, 2 = -z + r*m. Suppose -5*x + 28 = u, -z*u - 4 = -u. Is 5 a factor of x?
False
Suppose -16 = -0*r - 2*r. Is r a multiple of 6?
False
Let p(d) = 2*d - 7. Let z be p(5). Suppose z*s = -0 - 3. Let n(c) = -45*c**3 + 2*c**2 + 2*c + 1. Is 16 a factor of n(s)?
False
Let l = -8 + 44. Is l a multiple of 14?
False
Suppose 0 = -4*g + 11 - 3. Let w be 2 + (-8)/g - -7. Suppose -w*x + 117 = -2*x. Is x a multiple of 12?
False
Suppose -5*z - 20 = -4*g, 12 = 5*z + 3*g - 3. Suppose -3*h = -13 + 1. Suppose 3*a = -h*b - z*b + 41, 3*b - 28 = -5*a. Does 11 divide b?
True
Suppose 188 - 12 = 4*n. Does 10 divide n?
False
Let o = 31 - -68. Is o a multiple of 14?
False
Suppose 36*w - 44*w + 1200 = 0. Is w a multiple of 10?
True
Let t(m) = m**3 + 6*m**2 + 5*m - 4. Is t(-4) a multiple of 4?
True
Let k(p) = 7*p**3 - p**2 - 6*p - 2. Let j(y) = 20*y**3 - 2*y**2 - 17*y - 6. Let c(x) = 6*j(x) - 17*k(x). Let l be c(-2). Is 4/l - 88/(-5) a multiple of 15?
False
Let p be -1*1 - (-3)/1. Suppose 15 = -p*l - 5*f, 10 - 25 = -2*l + f. Is l even?
False
Let c = 102 - 56. Does 23 divide c?
True
Suppose 0 = 5*u - 33 + 123. Let x = 6 - u. Is x a multiple of 24?
True
Let w(a) = -2*a + 6. Let f(u) = -u - 2. Let k(z) = z + 3. Let x(d) = -4*f(d) - 3*k(d). Let r(t) = -w(t) - 6*x(t). Does 12 divide r(-6)?
True
Let a = 1 - 0. Suppose -f + 36 = -2*l + 5, -2*f + 5*l = -62. Is 12 a factor of a*f + 10/(-5)?
False
Let n = -11 - -22. Let c = -20 - -13. Let l = c + n. Does 3 divide l?
False
Let t(s) = 14*s**2 + s + 2. Let d be 40/(-15) + (-6)/(-9). Does 14 divide t(d)?
True
Let h be (12/(-18))/((-2)/6). Suppose h*a = -u + 50, -a - 2*a + 3*u + 84 = 0. Is 13 a factor of a?
True
Let q(t) = -t + 10. Let v be q(6). Let n(o) be the third derivative of o**4/6 - o**3 + 19*o**2. Is n(v) a multiple of 10?
True
Let j be (-1)/(-4) - (-14)/8. Is 16 a factor of (-208)/(-5) - j/(-5)?
False
Suppose 0 = -4*s - 0*t - 5*t + 883, 2*t + 1079 = 5*s. Is 31 a factor of s?
True
Let y = 32 + -13. Suppose -5*s + 6 + y = 0. Suppose s*q + 13 - 73 = 0. Does 12 divide q?
True
Let d be -3 + 7 - (0 - -2). Suppose 8*x - 4*x + 112 = 4*w, 0 = -d*w - 3*x + 46. Is 11 a factor of w?
False
Let c(s) = s + 13. Let k be c(-8). Suppose -4*m + 168 = 3*v, k*v + 0*m + 2*m = 266. Suppose 0*i = -3*p - 4*i + v, -5*p - 4*i = -76. Is 6 a factor of p?
True
Suppose 57 = 4*z - 147. Let r = z - 31. Is 12 a factor of r?
False
Let u = -381 - -576. Is 15 a factor of u?
True
Suppose -4*q - 5*r = -7*q + 260, 2*r = 10. Is q a multiple of 19?
True
Suppose 0 = -6*z + 1702 - 190. Is 21 a factor of z?
True
Let i be (-1 + 4)*20/15. Suppose -4*p = -i*g + 112, 0*g - 2*p + 99 = 3*g. Is 18 a factor of g?
False
Let y(s) be the first derivative of -s**4/4 + 3*s**3 - 3*s**2 - s - 3. Is y(8) a multiple of 5?
True
Suppose -4*l - 2 = -50. Does 3 divide l?
True
Let a = -9 - -22. Does 12 divide a?
False
Suppose 0*w - w = -42. Is 14 a factor of w?
True
Let f(c) = -c**3 - 5*c**2 - c - 5. Let p be f(-5). Suppose 0 = -p*x - 2*x - 24. Let l = x + 28. Is l a multiple of 8?
True
Let k(h) = -h - 5 - 5*h - 3*h**2 + h**3 + 0*h. Let c be k(5). Suppose -c = -8*b + 3*b. Does 3 divide b?
True
Suppose 24 = i - 0*i. Suppose -2*a + 29 = a - 4*z, -4*a = -3*z - 48. Let p = i - a. Is p a multiple of 9?
True
Suppose 0 = 3*f + 3, -5*f = 4*x - 2*f - 161. Does 13 divide x?
False
Suppose 6*m + 10 = 40. Let y = m + 7. Is y a multiple of 11?
False
Let m(a) = 4*a**2 - 2*a. Is 5 a factor of m(-2)?
True
Suppose -5*c + 8 + 137 = 0. Is 4 a factor of c?
False
Let t be (-6)/(-21) + (-52)/(-14). Suppose -3*m - 7 = -t*m. Suppose 3*b - m = 47. Does 13 divide b?
False
Suppose -3*l - 2*k + 25 = 0, -5*k + 9 = -2*l - 6. Suppose 18 + 42 = l*h. Is 7 a factor of h?
False
Does 7 divide (1 - 0)*(8 - -2)?
False
Suppose 5*d - 71 - 294 = 0. Is d a multiple of 14?
False
Let o(f) = 14*f + 2. Suppose 40 = 5*z - 0*z. Let m = -4 + z. Is 25 a factor of o(m)?
False
Let u be (2/(-3))/(3/(-162)). Let s = 69 - u. Is 20 a factor of s?
False
Let q = 26 + -38. Let w = q + 28. Is w a multiple of 7?
False
Let x be (1/(-1))/((-2)/30). Suppose -99 = -3*n - x. Suppose 0 = -3*b + 20 + n. Does 16 divide b?
True
Let w be (-1)/5 + (-232)/(-10). Let v = w + -12. Does 5 divide v?
False
Does 20 divide ((-12)/(-15))/(4/200)?
True
Let d(v) = v**3 + 10*v**2 + 11*v + 11. Let n be d(-9). Let u = n - -13. Let f = 14 - u. Is f a multiple of 6?
False
Suppose 8 = i - 5. Let s = -1 + i. Suppose -d + s = 2. Is 10 a factor of d?
True
Suppose -12 + 2 = -5*o. Does 6 divide (-28)/3*(-3)/o?
False
Let p(x) = 2*x**2 - 2*x - 7. Is 7 a factor of p(5)?
False
Let a = -28 - -15. Let q = 33 + a. Does 5 divide q?
True
Suppose 2*i - 122 = -4*h, 3*i = h + 2*i - 35. Is 4 a factor of h?
True
Let c be (12/9)/((-1)/(-9)). Does 20 divide (-121)/(-3) + (-4)/c?
True
Is 11 a factor of -22*(0/1 + -1)?
True
Suppose 0 = 5*w - 2*i - 25, -4*i - 3 = -4*w + 17. Suppose 2*x = 4*x - u - 44, -44 = -2*x + w*u. Is x a multiple of 5?
False
Let z(o) = o + 1. Let a(v) = 6*v - 3. Let g(u) = a(u) - 5*z(u). Let r be g(7). Does 3 divide 0 - r*4/1?
False
Let i = -5 - -14. Does 12 divide (39/i - 3)*33?
False
Let r(t) = -30*t**3 - 2*t**2 - 2*t. Is r(-1) a multiple of 7?
False
Suppose 2*l + 2*h - 11 = 7*l, -l - 3*h = 9. Let v = l + 1. Is 5 a factor of (3/v)/((-3)/20)?
True
Let n = 0 - -4. Suppose 0 = -3*l - 9, -l - 19 = -4*v - n. Suppose v*g = -g + 2*f + 48, 3*g - 4*f = 26. Does 7 divide g?
True
Let h(f) = f**3 + 4*f**2 + f + 4. Let i be h(-4). Suppose i = s - 5 - 7. Is 9 a factor of s?
False
Let u(p) = 3*p**2 + 1. Let i be 1/(-2*(-1)/2). Let g be u(i). Is ((-8)/(-6))/(g/36) a multiple of 4?
True
Suppose -8*t + 700 = -4*t. Let z = t + -103. Is 11 a factor of z?
False
Let k(s) be the second derivative of s**5/20 - s**4/12 + s**3/6 + 3*s**2 + 8*s. Let g(p) = p**3 + 2*p**2 + 2*p + 1. Let c be g(-1). Is 3 a factor of k(c)?
True
Let o be 12/(-6*(-2)/40). Suppose 0*q + o = 5*q. Does 4 divide q?
True
Suppose 4*t = -4*q + 112, 0*q + 4*q = 2*t - 80. Is 8 a factor of t?
True
Suppose d + 4 = -3*d. Let s(c) = 24*c**2 - 2*c - 1. Let a be s(d). Suppose 4*n = a + 47. Does 6 divide n?
True
Let w be 2/(-8) - 5/(-20). Suppose 4*x - 3*x - 6 = w. Does 3 divide (x - 0)/((-2)/(-1))?
True
Let f(l) = -l - 38. Let t be f(0). Let a = -14 - t. Is 6 a factor of a?
True
Suppose -5*i + 21 = 2*z, z - 3*i = -4*z + 99. Does 18 divide z?
True
Let c = -2 - -2. Let q(d) = 17*d**2 - 4*d + 3. Let w be q(2). Suppose -2*k - k + w = c. Does 21 divide k?
True
Suppose -36 - 61 = -x. Is x a multiple of 10?
False
Let c = 10 + -9. Let j = 5 - c. Suppose j*b = -4*p + 2*b + 78, -4*p + 73 = b. Is p a multiple of 11?
False
Suppose 22 = -0*s + s. Is (s/(-8))/(2/(-8)) a multiple of 3?
False
Let t = -1 - -3. Suppose 4*g - 1 = -2*w - 3, -5*g + t*w - 7 = 0. Does 3 divide (2 - 3)*g*6?
True
Let a = 29 + -21. Is a a multiple of 8?
True
Suppose 298 = 8*r - 14. Is r a multiple of 3?
True
Let a = -6 - -11. Suppose -10 - 165 = -a*i. Is 10 a factor of i?
False
Suppose 0*i - 357 = -3*l - 3*i, -i + 479 = 4*l. Suppose 4*n - 93 = -3*u, -4*u - 5*n = -n - l. Does 5 divide u/2 - 3/(-6)?
False
Let t(x) = -x - 6. Let m be t(-9). Let c(p) = 15 + 7*p**2 + p - 4 - p**m - 7*p**2. Does 11 divide c(0)?
True
Let i be -5 - (-1 - 2) - -7. Suppose -b + 11 + 26 = j