 + z. Let x = h - 11. Is 4 a factor of x?
False
Let t(w) = -1. Let m(q) = -3*q + 3. Let d(j) = m(j) - t(j). Let x = 1 - 4. Does 7 divide d(x)?
False
Let r = 38 - 68. Let t = r - -65. Suppose -5*f + 10*f - t = 0. Is 2 a factor of f?
False
Let a(v) = -3 + 8*v**2 - 2*v + 5 + 6*v - 3*v. Is 12 a factor of a(2)?
True
Let n = 709 + -377. Is 29 a factor of n?
False
Let a = 105 - 63. Suppose -13 = l + p - a, 2*p = -3*l + 89. Is 10 a factor of l?
False
Let g = -493 + 713. Let w = g + -114. Does 27 divide w?
False
Suppose -10 = -4*x + 3*a, -a = a - 4. Suppose 167 = 3*l - x. Let y = 86 - l. Does 17 divide y?
False
Let h(z) = 2*z + 8. Let f be h(-7). Let x = 35 - f. Is x a multiple of 22?
False
Is 7 a factor of (28/3)/((-14)/(-21))?
True
Let k(c) = 4*c**2 - 2*c - 1. Let i be k(-2). Suppose 3*w - i - 26 = 0. Is 15 a factor of w?
True
Let j be (-8)/(-10)*(-20)/2. Let r = -6 - j. Does 5 divide r/4 - (-36)/8?
True
Suppose -8*l = -4*l - 56. Does 14 divide l?
True
Suppose 2*s = 2*d + 18, -4*s = d + 3*d + 4. Suppose 5*w + 21 = 4*k - 0, -s*k + 4*w = -20. Suppose -k*z + 125 = -3. Does 14 divide z?
False
Let k = -94 + 309. Is k a multiple of 15?
False
Suppose -5*n - 3*f = -0*n + 28, 0 = -2*n - 3*f - 13. Let d be (6/(-5) - 2)*n. Let v = d + 6. Does 17 divide v?
False
Let c = 13 + -85. Does 6 divide 1*(-11)/(33/c)?
True
Let j = 18 + -1. Let d be 64/14 + (-18)/(-42). Let m = j - d. Is m a multiple of 6?
True
Let j be -2*(-1 - 0)/(-2). Let p = 3 + j. Suppose -5*g + 7 + 65 = -4*f, f = p*g - 30. Is 8 a factor of g?
True
Let d(z) = 2*z**2 + 5*z - 3. Let u be 6*2/3*-1. Is d(u) a multiple of 4?
False
Suppose -9 = -s + 3*p + 3, 3*s - 3*p = 18. Suppose -5*g - s = -23. Suppose -g*t - t = -85. Does 17 divide t?
True
Let x(q) = -2 + 7*q**3 + 5*q**2 - 3*q**3 - 5*q**3 - 3*q. Let p be x(4). Is 34 - (p - 1)*1 a multiple of 15?
False
Let z(x) be the second derivative of -x**4/12 + 5*x**3/3 + x**2/2 - 3*x. Is z(9) a multiple of 3?
False
Let c(y) = y**2 - 8. Suppose 3*l - 54 = -2*b, -b - 18 = -l - 6*b. Suppose n + 2*n + l = 0. Is 14 a factor of c(n)?
True
Suppose -4*m + 70 = 2*i, -4*i = i + 4*m - 181. Let l = -5 - -22. Let h = i - l. Is h a multiple of 20?
True
Let u(t) = t**3 + 5*t**2 + 5*t + 2. Let j(i) = 0*i - i + 2*i + 3*i + 1. Let d be j(-1). Is u(d) a multiple of 5?
True
Let x(b) = 3*b**2 + 25*b + 27. Let z(w) = w**2 + 8*w + 9. Let c(y) = -6*x(y) + 17*z(y). Is c(-11) a multiple of 18?
False
Does 14 divide -29*(-15)/(-2 + 5)?
False
Let m = -12 + 13. Let d(u) = 5*u - 1. Let j be d(-2). Does 9 divide -2 + j*(-2 + m)?
True
Let q(x) = -22*x + 2. Let w be q(-3). Is 1 + 1 + w/4 a multiple of 6?
False
Suppose -3*y + y = -12. Let k(t) = -2*t - 5. Let m(r) = 2*r + 4. Let a(n) = 2*k(n) + 3*m(n). Is a(y) a multiple of 14?
True
Let n(a) = -2*a**2 + 7*a + 7. Let x(d) = -6*d. Let q be x(-1). Let y be n(q). Let i = -15 - y. Is 8 a factor of i?
True
Suppose -2*f - 5*u = -f - 26, 10 = 5*f - 5*u. Let b = f + 36. Is b a multiple of 21?
True
Suppose h = -8 - 11. Suppose -17 - 14 = -i. Let d = h + i. Does 4 divide d?
True
Does 7 divide (-4 - 156)*-1*(-4)/(-8)?
False
Let z be ((-16)/3)/((-3)/45). Suppose -70 = -5*n + z. Suppose -5*t - n = -10*t. Is t a multiple of 3?
True
Let p(f) = f + 2 - 12*f**2 - 4*f + 14*f**2. Is p(3) a multiple of 8?
False
Let l(j) = j**3 - 5*j**2 + 2*j - 3. Let p be l(3). Suppose -17*s + 10 = -12*s. Is 12 a factor of 14/(-7)*p/s?
False
Suppose 0 = -y + 2, 3*y = v + 32 - 164. Does 9 divide v?
False
Let p(s) = 2*s**2 + 2*s + 3. Let j be p(-2). Suppose 2*y - 53 = -5*t, -t = -y + 9 + j. Suppose -5*x = y - 59. Is x a multiple of 8?
True
Let r = 122 + -25. Is 12 a factor of r?
False
Suppose l + 23 + 10 = 0. Let k = 19 + l. Let y(x) = x**2 + 11*x - 19. Is y(k) a multiple of 13?
False
Let v = -15 - -40. Does 5 divide v?
True
Suppose -6 = 3*h, 0 = 5*l + 5*h + 845 - 70. Let x = 3 - 0. Does 17 divide (l/(-12))/(x/8)?
True
Suppose -9 = 3*h - 0, 0 = 3*s + 4*h + 24. Let r(m) = m**2 - 3*m. Is 13 a factor of r(s)?
False
Suppose 12 = -4*u, -2*c + 11 = -3*u + 2*u. Let x(s) = 4 + 0*s + 3*s - 1. Does 15 divide x(c)?
True
Is -4*(1 + (0 - -1) + -11) a multiple of 18?
True
Suppose -116 = -6*a - 8. Is 6 a factor of a?
True
Let z = 7 - 4. Suppose -3*u = -2*n - 4 - z, 3 = 2*n - u. Suppose 21 = n*v - 35. Does 14 divide v?
True
Let g = -61 - -116. Does 9 divide g?
False
Suppose -9*a = -6*a + 36. Let r = 21 + a. Is (0 + (-10)/(-6))*r a multiple of 10?
False
Does 11 divide 42940/300 - (-2)/(-15)?
True
Let q(l) = -l**3 - 8*l**2 - l - 1. Is 5 a factor of q(-8)?
False
Let c be 53/(-5) + (-6)/(-10). Let m be (-695)/(-25) - 2/c. Let i = 8 + m. Is i a multiple of 12?
True
Is 5 a factor of 3 - (-24)/(-9) - (-58)/6?
True
Let d = 345 + -233. Is d a multiple of 16?
True
Does 16 divide 37 - 13 - (4 - 0)?
False
Let x = 147 - 57. Is 10 a factor of x?
True
Let q(m) = 23*m**2 + m. Let t be 2/(-7) - (-10)/35. Suppose -j - 2*j - 9 = t, a - 8 = 3*j. Is q(a) a multiple of 17?
False
Let h be 6/36 + (-26)/12. Let z be h - -1 - (-64)/(-1). Let f = z + 113. Does 16 divide f?
True
Let a(d) = 7*d + 3. Is 6 a factor of a(3)?
True
Let b be 9/(-6)*24/9. Let f = b - -7. Let t(m) = -m**3 + 5*m**2 - 3*m + 2. Is t(f) a multiple of 9?
False
Let o = 25 - 22. Is 3 a factor of o?
True
Let g(x) = 56*x**3 - x + 1. Suppose -4 + 0 = -2*q. Suppose -q*o + 0*o + 2 = 0. Does 27 divide g(o)?
False
Let p(q) = -q + 15. Suppose -2*g + 0 = 10. Is 5 a factor of p(g)?
True
Let b = -59 - -89. Does 7 divide b?
False
Suppose -130 = -4*g + 26. Is g a multiple of 7?
False
Let l(z) = 2*z + 2. Does 14 divide l(6)?
True
Let t = -44 - -178. Does 34 divide t?
False
Suppose -3*w - 23 + 155 = 0. Let z = 9 - 6. Suppose 2*b = -5*a + z*b + 70, b + w = 3*a. Is a a multiple of 9?
False
Suppose 0*r + r - 108 = 0. Does 15 divide r?
False
Let p(o) = 3*o**2 + 10*o**3 + 7*o**3 - 2*o**2. Let b be p(1). Suppose -f - 5*i = -b, -71 = -f + 4*i - 8. Is f a multiple of 19?
False
Let r(i) = -88*i - 5. Does 21 divide r(-1)?
False
Let n(m) = -3 - 16*m - 2*m**2 + 26 + 3*m**2. Is 6 a factor of n(16)?
False
Suppose -2*r - 9 = -5*r. Let y be 14/(-63) - (-110)/9. Suppose 3*l + 20 = v, -r*l = -3*v + y + 24. Is 4 a factor of v?
True
Let q = 12 - 0. Is q a multiple of 2?
True
Suppose -6*d = -10*d + 88. Is d a multiple of 3?
False
Let m = 130 + -190. Does 14 divide (-816)/m - 4/(-10)?
True
Suppose 2*l - 44 = -0*l. Does 11 divide l?
True
Suppose 6*z - 168 = 366. Is 19 a factor of z?
False
Let b = 14 - 4. Does 21 divide ((-2)/3)/(b/(-645))?
False
Let z(l) = -6*l. Let j be z(5). Let n = -11 - j. Is n a multiple of 13?
False
Let l(d) = 3*d - 9. Let n be l(5). Let y(r) = -6*r + 5*r + 2*r. Is y(n) a multiple of 3?
True
Let c(k) = 3*k**2 + 1. Is c(-2) a multiple of 8?
False
Suppose 3*a = 65 + 97. Does 6 divide a?
True
Suppose 0 = -5*w + 5*u, 2*u + 3 = 4*w - 5. Let i = w - 1. Suppose -i*a + 102 = -0*a. Is a a multiple of 13?
False
Suppose -3*a = a - 76. Is 5 a factor of a?
False
Let p(i) = -i**2 - 6*i - 5. Let x be p(-5). Let c be x/(0 - (1 + -2)). Is 6 a factor of c - -2*(1 - -5)?
True
Let z(g) = g - 3. Let h be z(-8). Let j = -3 - h. Is j a multiple of 4?
True
Suppose 90 = 5*y + 5*u, -4*y + 0*u + 100 = -3*u. Let f = y + -10. Is 2 a factor of ((-3)/2)/(f/(-40))?
False
Suppose 0 = 4*o - 0*o - 28. Is 6 a factor of o?
False
Is 9 a factor of ((-68)/7 - (-5 + 3))*-7?
True
Suppose 3*n + w - 27 = 0, 2*w - w = -5*n + 47. Is n a multiple of 9?
False
Suppose 3*l = -33 + 147. Does 19 divide l?
True
Suppose 3*k - 54 = 3*q - 237, 0 = 3*q + 4*k - 148. Suppose 94 = 4*x + 3*t, 5*x - 3*x - q = 3*t. Does 10 divide x?
False
Suppose -3*t - 5*x = -172, 3*x + x + 46 = t. Does 18 divide t?
True
Let m = -28 + 66. Is 24 a factor of m?
False
Suppose -2*h + 7*h - 110 = 0. Let v be 2/6 + h/6. Suppose 5*o - 6 = v. Does 2 divide o?
True
Let d = 29 + -4. Suppose 7 = -2*t - 5. Does 3 divide d/4 - t/(-24)?
True
Let r(n) = 8*n**3 + n**2 - 5*n - 1. Does 15 divide r(2)?
False
Let o(j) be the third derivative of j**2 + 0*j + 1/5*j**6 + 0 - 1/6*j**3 + 0*j**4 + 1/60*j**5. Is 12 a factor of o(1)?
True
Suppose 0 = -2*w + 4*w. Suppose 0*a - 6 = 2*a, 3*b + 2*a - 60 = w. Is 11 a factor of b?
True
Let f = 204 - 126. Is f a multiple of 5?
False
Let s = 25 - 14. Is 5 a factor of s?
False
Let x(z) = z + 1. Let v be x(1). Suppose -6 = -v*q + 54. Doe