e 0 = -s + 3*i - 33, 5*s = w*i - i - 110. Let a = 16 - s. Is 14 a factor of a?
False
Suppose 42 = 5*v - 3*a + 10, 4*a = -v - 12. Suppose -v*q + 3*n = -12, -2*q + 0*q - 2*n = -20. Is 3 a factor of q?
True
Let z = -4 + 9. Suppose z*i - 4*q = 3*i + 50, 4*i - 64 = -4*q. Is 11 a factor of i?
False
Let g be 45/(-6)*(-2)/3. Suppose -55 = -0*x - x - g*v, 2*x = 4*v + 40. Is 15 a factor of x?
True
Let n(f) = f + 1. Let j be n(0). Let g = 3 - j. Suppose 0 = -g*a + 45 - 1. Does 11 divide a?
True
Let h = 212 - 70. Is 16 a factor of h?
False
Let d = -327 - -507. Is d a multiple of 30?
True
Does 8 divide (2*10)/(6/12)?
True
Suppose -12 = -a - 7. Suppose -4*r - 192 = -2*y, -y = -a*y - 5*r + 345. Is y a multiple of 30?
True
Let f = -52 + 76. Is f a multiple of 6?
True
Suppose 5*u + 4*x = 275, -2*x - 2*x = -3*u + 197. Does 30 divide u?
False
Let q(r) = -8 - 4*r + r**2 + 2 + 2*r. Let z(m) = -m**3 - 6*m**2 - 5*m + 6. Let v be z(-5). Does 18 divide q(v)?
True
Suppose 0 = -v + 33 + 14. Suppose 0 = 4*y - v - 193. Does 20 divide y?
True
Suppose 42 + 27 = 3*y. Let h = -33 + y. Is (-30)/(-9)*(-36)/h a multiple of 12?
True
Suppose 0 = b + 5 - 11. Let a(p) = -p**3 + 8*p**2 - 3*p. Does 18 divide a(b)?
True
Suppose -3*c + 313 = -4*a, -c - 3*c + 164 = -2*a. Let z = a - -196. Suppose -4*k + 3*d = -104, 2*k - 6*k = d - z. Does 12 divide k?
False
Let j be (-93)/9 + 6/18. Let i = j - -31. Does 21 divide i?
True
Let w = 0 - 10. Let a = -5 - w. Suppose a*o - 4*y - y - 235 = 0, -3*o = -5*y - 151. Is 14 a factor of o?
True
Suppose 2 = 3*k - 7. Suppose -13 = -3*a + k*u + 35, 5*u = -3*a + 24. Is 10 a factor of a?
False
Let y(d) = 2*d**2 + 14*d - 10. Let x be y(-11). Suppose -2*o + x = o. Is 8 a factor of o?
False
Let k = 12 - 8. Suppose -2*u - k = -24. Is 5 a factor of u?
True
Let t = 7 + -5. Suppose t*p = 5*i - 15, -5 - 7 = -4*i + 5*p. Suppose b - 4*y - 222 = -4*b, y = -i. Is 15 a factor of b?
False
Let f(x) = -x**3 - x**2 - x + 2. Is f(-3) a multiple of 23?
True
Suppose -3*j = -2 - 4. Suppose 0*s + j*s = 60. Is 10 a factor of s?
True
Let r = -2 + 7. Suppose r*h - 4*v = v - 5, 5*h + 1 = v. Suppose -3*o + o + 12 = h. Is 6 a factor of o?
True
Let r(k) = -27*k - 3. Is 17 a factor of r(-2)?
True
Let i = -7 - -9. Suppose -2*z = -z - 2, -i*k = -3*z - 30. Is 9 a factor of k?
True
Suppose -z + 41 = 4*l, -z - 3*l - 38 = -3*z. Is 7 a factor of z?
False
Suppose 0 = 2*a - 8, a + 3*a - 24 = -l. Let j be ((-5)/(-10))/((-2)/l). Does 15 divide (35/2)/((-1)/j)?
False
Let z(y) = 21*y + 7. Is 33 a factor of z(7)?
False
Suppose 21 = -2*d - 2*d - 5*f, -4*d - 4*f - 20 = 0. Let s be (-1)/d - 19/(-4). Let w = s - -4. Is w a multiple of 9?
True
Let r = -7 - -7. Suppose r*s - s = 48. Let j = s + 95. Is j a multiple of 14?
False
Let u be ((-6)/(-2))/(6/4). Suppose 0 = -u*t + 5*t - 36. Suppose -3*h + 39 - t = 0. Is 9 a factor of h?
True
Let s = -59 + 84. Is s a multiple of 5?
True
Let c(j) = j**2 + 5*j + 4. Let p be c(-3). Let r = 8 + p. Does 8 divide r*((-32)/(-6))/2?
True
Does 9 divide (-2)/4 + 55/2?
True
Let a = 106 - 63. Is 15 a factor of a?
False
Let g(b) = 10*b**2 - 5*b**2 + 6 + 7*b + 6 - 4*b**2. Is 9 a factor of g(-9)?
False
Suppose 2*a + a - 54 = 2*z, -a + 5*z + 5 = 0. Suppose -2*v + v + a = 0. Does 6 divide v?
False
Suppose 4*z + 36 = 4*j - 0*z, 4*j - z = 48. Is 3 a factor of j?
False
Suppose -3*u - 4*w + 159 = -7*w, 4*w = -u + 53. Does 5 divide u?
False
Suppose 0 = -4*w - w + 85. Suppose 0 = -z - 2*z + 4*p + w, 0 = -z + 3*p + 9. Is (-12)/18 + 107/z a multiple of 19?
False
Suppose 0 = w - 0 - 40. Suppose -w = -0*m - 4*m. Does 10 divide m?
True
Let p be -14*(-3 + 4)/(-2). Let d = p - 2. Suppose 2*y = d*j + 36, 2*y = -2*j + 5*j + 28. Does 3 divide y?
False
Let m = -5 + -3. Let a = m + 39. Is 11 a factor of a?
False
Suppose o - 78 = d - 296, 5*d = 4*o + 1088. Suppose 6*j + d = 2*j. Is 6/(-15)*(j + -1) a multiple of 12?
False
Let p be 2/(-3)*2289/(-7). Suppose 0 = 3*s - 8*c + 5*c - 579, -s + p = 4*c. Let h = s - 134. Does 24 divide h?
False
Suppose -8*i + 2*i = 72. Let y = 30 + i. Is 9 a factor of y?
True
Suppose 5*i + 3 + 264 = 4*t, 4*i = -4*t + 276. Is t a multiple of 17?
True
Let i(y) = y**3 - 8*y**2 - 5 - 2*y - 4*y + 5*y. Does 17 divide i(9)?
False
Let t(o) = -3*o - 7. Let h be t(-5). Let q be 2 + 4/(1 + 1). Let p = h - q. Is 4 a factor of p?
True
Suppose d + 3 - 5 = 0. Suppose -f - 5 = -2*f - d*a, 4*f = 3*a - 24. Does 10 divide 20/(2 + f/3)?
True
Let s(n) = -4*n**2 - n - 3. Let p(i) = -3*i**2 - 2*i - 3. Let k(m) = -3*p(m) + 2*s(m). Does 6 divide k(-6)?
False
Suppose 0 = -3*n + 2*s - 150, -3*s - 113 = -0*n + 2*n. Does 14 divide (n/(-2))/1 - -2?
True
Suppose 0 = -3*c - c - 5*y + 59, 3*c - 2*y = 27. Does 3 divide c?
False
Suppose 0 = 3*w + 5*l + 49 + 88, 0 = -w - 2*l - 44. Let t = -36 - w. Is t a multiple of 9?
True
Let i = 1 - 2. Let o(l) = -2*l**2 + 2*l - 2. Let g be o(1). Is (-1)/(i/(-10)*g) a multiple of 2?
False
Let z(n) = 2*n + 23. Is z(17) a multiple of 5?
False
Let m(b) = 14*b. Let q be m(6). Suppose q = w + 2*w. Does 13 divide w?
False
Let g = 211 - 43. Is g a multiple of 28?
True
Let b be (-1)/5 - 7/(-35). Let k(m) = m**3 + 5. Let c be k(0). Suppose b = -c*x - 10 + 60. Is 5 a factor of x?
True
Suppose 5*h + 15 = -25. Let c(p) = p**2 + 6*p - 11. Is c(h) a multiple of 5?
True
Let i = 88 + 8. Suppose 0 = 4*y - y - i. Is y a multiple of 16?
True
Let r be 57/2*(-120)/3. Is 28 a factor of 4/6 + r/(-18)?
False
Suppose -4*j - 698 = -7*j + 4*d, -2*j = 3*d - 488. Suppose 0 = -3*l - u - j, 5*u + 10 + 10 = 0. Is (l/(-2))/(3/2) a multiple of 13?
True
Let l(m) = 2*m**2 + 6*m**2 - 4 - 4*m**2 - 3*m**2. Let h be l(5). Is 3 a factor of -7*((-81)/h + 3)?
True
Let x = 42 - -10. Does 26 divide x?
True
Suppose p + k = 4, 0 = -p + 4*p - 5*k - 20. Suppose 2*f = 4*v + 6, -5*f + 64 = -f + p*v. Does 11 divide f?
True
Suppose -4*s = -5*s + 3. Suppose p - s*p - 324 = 0. Is (-32)/6*p/24 a multiple of 23?
False
Let p = -3 - -6. Suppose 0 = -p*r - r + 12. Suppose 4*z - 6*z - 3*j + 67 = 0, -5*j = -r*z + 129. Is 19 a factor of z?
True
Let p(w) = w**2 + 5*w - 9. Suppose 0 = 2*l + 4*d + 22, 5*l + 0*d = 2*d - 31. Is p(l) a multiple of 4?
False
Suppose -191 = -5*w - 2*y + 4*y, -5*w + 3*y + 194 = 0. Is w a multiple of 31?
False
Suppose 5*t + 7 = 187. Is t a multiple of 4?
True
Suppose 0 = -5*w - 2*z + 240, -w - z + 45 = -0*z. Is 5 a factor of w?
True
Suppose 5*n + 2 = -f + 27, 5*f = 2*n + 179. Is f a multiple of 13?
False
Let c be (-14)/(-8) + 1/4. Suppose 0*b - 246 = -c*b. Does 3 divide (-1)/4 + b/12?
False
Let q = 81 - 72. Let u = 3 - 4. Let v = q + u. Is v a multiple of 5?
False
Let v = -9 + 11. Suppose a = 38 + v. Does 20 divide a?
True
Let p be (-2)/(-4)*(2 - 0). Let k = 2 + p. Suppose 53 = k*y + 5. Is y a multiple of 16?
True
Let d(r) = r**3 + 6*r**2 - r + 4. Let a be d(-6). Does 10 divide 12/4*1*a?
True
Let k be 4/6 - 58/6. Let i(w) = -w - 4. Let l be i(k). Suppose -l*d - 2*g = -28, g - 6 = 4*d - 18. Is 2 a factor of d?
True
Suppose -4*z + 11 = 5*b, z - 4*b - 19 = -2*b. Does 6 divide (12/z)/(8/60)?
False
Let h be 6/(-9) + (-76)/(-6). Let l(d) = -d**3 - d**2 + 3*d + 3. Let y be l(-2). Let u = h - y. Does 11 divide u?
True
Let r(g) = g + 3. Let l(p) = p**2 + p + 0*p**2 + 3*p + 1. Let u be l(-5). Is r(u) a multiple of 8?
False
Let r(z) = -z + 11. Let f be r(9). Suppose i - 36 = 3*a, f*i - 3*a - 6 = 63. Does 11 divide i?
True
Let y = 46 - 28. Is y a multiple of 3?
True
Let k(z) be the third derivative of -13/24*z**4 - 1/3*z**3 + 0 + 0*z - z**2. Is 8 a factor of k(-2)?
True
Let g = -10 + 4. Suppose 9*t - 4*t = -50. Let o = g - t. Is o a multiple of 4?
True
Suppose 2*u - 7*u + 1625 = 0. Suppose -3*l = 5*a - u, 5*a + l - 188 = 127. Is 19 a factor of a?
False
Suppose y - 4 = 3*y. Let d be -1 - ((-2)/2 + y). Suppose -10 = -d*p + 18. Is p a multiple of 7?
True
Let b(k) = k**2 + k + 3. Let s be ((-15)/(-6))/((-2)/(-16)). Suppose 4*t - s = -t. Is 20 a factor of b(t)?
False
Let p be (-97)/(-2) - (-3)/6. Let l = p + -21. Does 5 divide l?
False
Suppose 6*k + 34 = k - 4*u, 5*u + 5 = 0. Let b be (k/9)/(2/150). Let l = b + 83. Is 13 a factor of l?
False
Suppose 2*h + 0*h = 14. Suppose -u + h = -8. Does 4 divide u?
False
Let k be (-4)/2 - -110 - 0. Suppose -2*u = u - k. Is 12 a factor of u?
True
Let v(m) = 28*m. Is v(1) a multiple of 14?
