 -3*q - q = 3*h - 795. Does 13 divide h?
False
Is (-1 - 23)*10/(-30) a multiple of 8?
True
Let d(k) = -k**3 + 3*k**2 - 2*k + 3. Let n be d(2). Suppose 0 = j + a - 1, -j = 3*j - 3*a + n. Does 6 divide (j - 2/5)*-15?
True
Let p(y) = y**2 - 9*y + 11. Let z be p(8). Suppose 7 = -2*o + z*x, 2 = -5*o - x + 10. Does 7 divide (3*(-14)/(-3))/o?
True
Suppose -2*t - 2*t + 54 = k, 5*t = -2*k + 66. Does 2 divide t?
True
Suppose -11 = 5*j + 2*i, -2*j = 2*j + 4*i + 4. Let n(p) = p**2 + 2*p - 1. Let c be n(j). Suppose 0 = 2*v + w - 2*w - 28, 0 = 5*v + c*w - 88. Does 8 divide v?
True
Suppose -8 + 2 = -3*f. Let b be f*(-2 - (-5)/(-2)). Let i = b - -16. Is i a multiple of 3?
False
Suppose -2*g + 196 + 110 = 0. Is 10 a factor of g/4 - (-2)/(-8)?
False
Let t be -18*(2 - 16/6). Suppose t = x - 48. Is x a multiple of 25?
False
Let o(i) = 5*i**2 - i - 1. Let r(g) = -9*g**2 + 2*g + 3. Let t(y) = 5*o(y) + 2*r(y). Is t(-2) a multiple of 14?
False
Let n(w) = 9*w + 1. Let u be n(1). Suppose y + y = u. Let m = -3 + y. Is m a multiple of 2?
True
Let x = 201 - 163. Is x a multiple of 19?
True
Suppose 44 = p - 1. Does 9 divide p?
True
Suppose -36 - 24 = -5*b. Does 7 divide b?
False
Let k(a) = 5*a**2 - 61*a - 68. Let u(p) = p**2 - 15*p - 17. Let f(z) = 2*k(z) - 9*u(z). Is 5 a factor of f(-12)?
True
Suppose 0 = -5*a - 0*a. Suppose -3*w + 9 = a, -q + 11 = q - 5*w. Is q a multiple of 13?
True
Suppose -3*u = 2*u - 45. Is u even?
False
Let i(y) = -y**3 - 7*y**2 + 3. Let x be i(-7). Suppose x*q = 4*q - 28. Is q a multiple of 14?
True
Let s = 21 + -17. Let g be (2/5)/((-2)/(-10)). Suppose s*q = g*q + 22. Is 11 a factor of q?
True
Let a = 118 + -37. Is 27 a factor of a/(1/(-2)*-2)?
True
Let h be (-1 + -1)*(-22)/4. Suppose 0*i + h = i. Is 11 a factor of i?
True
Let h(q) = 46*q + 2. Is h(1) a multiple of 8?
True
Let l be 132/30 - (-2)/(-5). Suppose -3*b - 6 = -3*j + 3, j + l*b = -2. Does 9 divide 0 - ((-13)/1 + j)?
False
Let q(v) = v**3 - 4*v**2 + v - 2. Let h be q(4). Suppose 0 = l + 3*f + 11, 0*f = -l - 2*f - 6. Suppose 0 = h*a + l*p - 14, 3*p + 14 = a - 13. Does 15 divide a?
True
Suppose 338 = 4*z + f, z + 5*f - 20 = 74. Let y = z + -49. Is 13 a factor of y?
False
Let k(m) = -m**3 + 5*m**2 + 6*m + 1. Let y be k(6). Is y/(-3 - (-273)/90) a multiple of 10?
True
Does 17 divide (-18)/(-12)*(1 - -33)?
True
Suppose 0 = 4*i + 3*n - 115, 3*i - 3*n - 63 = -3. Suppose -4*w - w + i = 0. Is w a multiple of 4?
False
Let c(x) = -x**3 - 5*x**2 - 7*x - 4. Let a(f) = f**2 + 9*f - 7. Let t be a(-10). Let i be 1/(-3) + (-11)/t. Is c(i) a multiple of 3?
False
Suppose 24 = 4*x + 4*t, 12 = 2*x - 4*x + 4*t. Suppose 0 = 2*i - 3*y + 12, 4*y - 12 = x*i + 4. Suppose -2*s = -2*r + 44, 2 + i = -s. Is r a multiple of 14?
False
Suppose -4*o = -8*o + 832. Suppose 5*g - o = 12. Is g a multiple of 11?
True
Suppose 8 = -2*g + 2. Let n be g + 21*(-6)/(-9). Let z = 43 + n. Is 14 a factor of z?
False
Is 10 a factor of 32 + 2/(6/(-9)) + 1?
True
Suppose 3*n - r - 64 + 23 = 0, -2*n = 5*r - 50. Is 1 - (3 - n*2) a multiple of 14?
True
Suppose -5*s + 5 = -3*o, 1 = 3*o + 4*s - 3. Suppose o = 2*w + w - 81. Is w a multiple of 15?
False
Let x = -2 - 8. Let y(u) = -2*u - 5. Is 15 a factor of y(x)?
True
Let m = -7 - -12. Suppose 4*k - m*k - 186 = 0. Is 13 a factor of (1/3)/((-2)/k)?
False
Suppose -3*k + 5*k + 97 = -5*s, 2*s + 39 = -k. Let m = 39 + s. Does 20 divide m?
True
Let d(v) be the third derivative of v**5/30 + v**4/8 - v**3/2 + v**2. Let o = 36 - 34. Does 11 divide d(o)?
True
Let h = 1 - -2. Suppose 4*c - 5 = h. Suppose -3*o = -5*y - 20, 2*y - 2 - c = 0. Is o a multiple of 10?
True
Let d = 46 + -36. Is 6 a factor of d?
False
Let w be 1/2 + (-21)/(-6). Is (-228)/(-5) + w/10 a multiple of 11?
False
Suppose x = 2*x - 13. Suppose -9 - x = -2*s. Is s a multiple of 4?
False
Let n(l) = l + 2. Let j be n(-3). Let f = -1 - j. Suppose f = 3*k - 2*b - 87, 0 = -3*k + 4*b - 47 + 134. Is k a multiple of 11?
False
Suppose 4*x - 7 = 153. Does 10 divide x?
True
Let o = -6 + 8. Let x = 1 + o. Suppose 0*z - 21 = -x*z. Does 7 divide z?
True
Is (11*2)/1*(-23 + 24) a multiple of 22?
True
Suppose -3*p = -48 + 9. Suppose -i + p + 29 = 0. Is 13 a factor of i?
False
Let n = 46 + -68. Let t be (-3)/15 + n/(-10). Suppose y - t*y + 3 = 0. Does 3 divide y?
True
Let l(f) = -f**2 + 7*f + 6. Let o = 9 + -14. Let y be o/(-3)*6/2. Does 6 divide l(y)?
False
Let o be (-16)/(-6) + 5/15. Suppose 18 = o*u - 33. Is u a multiple of 9?
False
Suppose 6*w = 2*w + 60. Suppose 5*v - w = 5*l, 5*l = v - 3 + 4. Suppose -2*o + 2 = -v. Is o a multiple of 3?
True
Let l be 6/(-5)*(5 + -10). Suppose 5*t - 1 + l = 0. Is 10 a factor of t + 27*(1 - 0)?
False
Let r be ((-3)/2)/(3/12). Let i be (1/3)/((-1)/r). Suppose -c + 2*g + 8 = 0, -10 = -i*c + 2*g + 14. Is 8 a factor of c?
True
Suppose 0 = -2*i - h + 189, 3*h = -i + 17 + 90. Does 37 divide i?
False
Let s = 3 - 3. Suppose s = -4*n + 4 + 8. Suppose b + 6 = 2*t - 1, 0 = n*t + 4*b - 38. Is 3 a factor of t?
True
Let b(r) = 2*r**3 + 4*r**2 + 3*r + 7. Let g(k) = k**3 + k + 1. Let h(s) = -b(s) + 3*g(s). Does 7 divide h(5)?
True
Let n(x) be the second derivative of x**4/12 + x**3/6 - x**2/2 + x. Let s be n(0). Does 16 divide 138/((-3)/s) + 0?
False
Is 33 a factor of (-4)/(-5 + (-652)/(-132))?
True
Suppose 0 = -3*k + 154 + 23. Suppose -55 = -7*f + 2*f - 5*c, 4*f - c = k. Is f a multiple of 14?
True
Let j be 39 + 6 - 0/2. Let p = j + -32. Is 6 a factor of p?
False
Let s(d) = -d**2 - 10*d - 5. Let u be s(-4). Let n = u - -8. Let l = n + -13. Does 5 divide l?
False
Let k(w) = 7*w**2 + 2*w + 2. Let j(o) = -8*o**2 - 2*o - 3. Let x(y) = 3*j(y) + 4*k(y). Let a = 3 + -5. Is x(a) a multiple of 11?
True
Let m = -4 - -8. Suppose -5*l - m*a + 9 = 2, -16 = -4*l + 2*a. Is 13 a factor of -3*((-117)/l)/3?
True
Is 3 a factor of (3 + 6/(-3))*4?
False
Is 10 a factor of 12*3 - (-21 - -17)?
True
Suppose -26 = -4*v - n, -5*v - n + 25 = 4*n. Suppose t - 6*t - 6 = -4*u, -u = -4*t - v. Is 9 + t/1 - -1 a multiple of 8?
True
Suppose -5*o - 15 = -35. Suppose -o*c + 37 = 2*t - 33, -4*c + 72 = 4*t. Let x = 49 - c. Is x a multiple of 12?
False
Let o(l) = l**3 - 3*l**2 - 9*l + 16. Does 16 divide o(6)?
False
Suppose 5*q = -5*u + 405, u + 2*q = 2*u - 66. Is 13 a factor of u?
False
Suppose 204 = -5*k + 7*k. Is 13 a factor of k?
False
Does 13 divide (4 + -3)/(-1)*-26?
True
Suppose 4 = -r - 6. Is 13 a factor of (2*r)/((-6)/15)?
False
Let l(y) = -16*y - 2. Does 24 divide l(-3)?
False
Suppose 2*v = -3*m - 2*v + 53, 2*m - v = 39. Let q = m + 6. Suppose -q = -3*z + 41. Is z a multiple of 6?
False
Suppose -11 - 7 = -3*b. Does 5 divide b?
False
Let b be (-1 + 6)*(-1 + 4). Suppose 3*s + 6 - b = 0. Suppose f + 5*a = 40, 3*f - 7 - 23 = s*a. Is 15 a factor of f?
True
Let n(p) = -p + 61. Let f be n(0). Let k = f - 23. Does 19 divide k?
True
Let x(z) = -z + 43. Let d(q) = -2*q + 42. Let s(b) = -2*d(b) + 3*x(b). Is 15 a factor of s(0)?
True
Suppose 0 = 7*h - 2*h. Suppose -x = -5*d + 54, 5*d + h*x - 46 = -x. Suppose 0 = -3*a + 14 + d. Is a a multiple of 8?
True
Let k(f) = -2*f**2 - 39*f + 37. Does 13 divide k(-18)?
True
Let b(y) = -y**3 - y**2 + 5. Let m be b(0). Let l(j) = -j**3 + 6*j**2 - 3*j - 4. Is l(m) a multiple of 3?
True
Let s(k) = 3*k - 59. Is s(21) a multiple of 2?
True
Let g(q) = q - 2. Let s be g(3). Does 4 divide s + 1*(-3 + 6)?
True
Let m be 1 - (-2 - (-1 - -2)). Suppose 4*z - 40 = -m*g, -3*z - 16 = -2*g + 4. Is 8 a factor of g?
False
Suppose 0*a + a + h + 6 = 0, 3*a - h - 2 = 0. Is 20 a factor of (3 - 1 - 22)*a?
True
Let c = 9 - -103. Is 7 a factor of c?
True
Let m = 4 - 6. Let b be -1 - -1 - (5 + m). Does 4 divide (-26)/b + (-1)/(-3)?
False
Let i be (-6)/(-1*3) + 10. Let h be (1 - -4)*i/4. Does 13 divide 3*(-1)/((-3)/h)?
False
Let z be 6/(-10) - 63/(-5). Let c = z + -10. Suppose -2*y - c*y = -112. Is y a multiple of 16?
False
Let b be (550/3)/(1/3). Suppose 0*u = -5*u + b. Suppose -q = 4*q - u. Is q a multiple of 11?
True
Let j = 9 - 0. Is 3 a factor of j?
True
Let p = -21 - -42. Does 4 divide p?
False
Suppose 15 + 9 = 4*h. Let b = 10 - h. Suppose -b*x + 4*j = 6*j - 48, -5*x + 2*j = -60. Is 12 a factor of x?
True
Suppose -s = 2*r + 313, -3*s + 496 = -5*r - 292. Let l = -85 - r. Is l a multiple of 23?
False
Let v be 6/(1/2 + 1). Suppose -z = v*z. Suppose -6 = -z*k - k.