multiple of 13?
False
Let v = -6 + 35. Suppose -3*m - 2*m + 105 = 0. Let g = v - m. Does 6 divide g?
False
Let v(j) = 6*j - 6. Let f = 9 + -5. Does 9 divide v(f)?
True
Let b(f) = f**3 - 4*f**2 + 3*f + 1. Let m be b(3). Let o = 1 + m. Suppose 0 = -o*v + 5*v - 60. Does 8 divide v?
False
Suppose -2*r + 13 = 4*o + r, 5*r + 5 = 0. Suppose -2*w - w + 77 = -o*b, b + 2 = 0. Is 13 a factor of w?
False
Suppose -3 = -4*t + 2*h - 3*h, -2*t - 5*h - 21 = 0. Let k(c) = 3*c**2. Is k(t) a multiple of 5?
False
Let q = 0 - 2. Let j = q + 12. Is 10 a factor of j?
True
Let y(f) = -f**2 + 11*f + 7. Does 12 divide y(6)?
False
Let j(w) = 4*w + 29. Is 27 a factor of j(13)?
True
Suppose 0 = -x + 5*x - 384. Is 12 a factor of x?
True
Let b = 318 + -198. Suppose 3*f - 3*q + b = 8*f, -98 = -4*f - 2*q. Is 7 a factor of f?
False
Does 27 divide 8/14 - (-902)/14?
False
Suppose 3*g = -2*w - 4, 0 = 3*w - 4*w - 5*g - 9. Let u = 23 + w. Does 17 divide u?
False
Suppose 11*r = 9*r + 156. Is r a multiple of 6?
True
Suppose 4*v = -2*s + 16, -s = -5*s + 5*v - 20. Let b be (1 - s) + 4 + -2. Suppose u - b*u + 24 = 0. Does 7 divide u?
False
Let k = 104 - 53. Let l = 77 - k. Is l a multiple of 13?
True
Let t = -16 - -2. Let w = 18 - t. Is 10 a factor of w?
False
Suppose -120 + 34 = 2*v. Let z = -22 - v. Is 7 a factor of z?
True
Let s(r) = -r**3 + 9*r**2 - 7*r - 8. Let p be s(8). Suppose p*z - 5*z = 45. Let g = 22 - z. Is 13 a factor of g?
False
Let m = 25 + -13. Suppose m*k = 7*k. Suppose -30 - 82 = -4*a - 2*v, k = -3*a - 2*v + 83. Is 13 a factor of a?
False
Let g(s) = -7*s. Let h be g(1). Let l = h - -3. Let y = 8 - l. Is y a multiple of 12?
True
Suppose 4*p + 8 = 0, 2*v - 2 = -3*v + p. Suppose -s + 2*j + 1 = v, 32 = 4*s - 3*j + 8. Is 9 a factor of s?
True
Let x(p) = p + 2. Suppose 0 = 2*q + 3*z + 2*z + 7, 29 = 5*q - 3*z. Does 6 divide x(q)?
True
Is 6 a factor of 2/(-9) + 830/90?
False
Let h(r) = r**2 + 16. Let p = 7 - 7. Suppose p*u = -u. Does 8 divide h(u)?
True
Let x(v) = -v**2 + 13*v - 13. Is x(10) a multiple of 3?
False
Let r(u) = -2*u - 4. Let n be r(-8). Is 18 a factor of (-74)/(-3*4/n)?
False
Let s be 1 + (-31)/(-1) + -1. Suppose 2*c - s = 29. Is c a multiple of 7?
False
Let z = -16 + 12. Let t = z - -26. Is t a multiple of 13?
False
Let y(w) = w**2 + w - 6. Is 3 a factor of y(-4)?
True
Suppose 0 = -64*x + 68*x - 272. Is 17 a factor of x?
True
Suppose 2 = -k - 74. Is 11 a factor of 1 - (k/1)/4?
False
Let a = 9 - 16. Let m(d) = d**2 + 5*d - 4. Does 5 divide m(a)?
True
Suppose -5*j + 5*u = -65, 0*j - j - 5*u + 25 = 0. Suppose 5*a = 2*a + j. Is 2 a factor of a?
False
Suppose -3*n + 160 = 2*m, -2*n + 59 = 5*m - 55. Is 13 a factor of n?
True
Let c(k) = k**3 + 7*k**2 - 10*k - 3. Let s be c(-7). Suppose -s = -3*u + 11. Is 13 a factor of u?
True
Let y(d) = d + 11. Let w be y(0). Suppose -j + 5*b = -16 - w, 0 = -3*j + b + 11. Suppose 0 = j*n - 3*u - 18 - 0, 4*n = -4*u + 36. Is 3 a factor of n?
True
Suppose 0 = -5*h + 2*q - 10, 5*h - 15 = h - 3*q. Suppose -4*s - s + 20 = h. Is s a multiple of 2?
True
Suppose -2*s - 64 = -4*s. Suppose -3*m + 80 = 5*d - s, d = 2*m - 92. Is 11 a factor of m?
True
Let u = 73 + -8. Let f = u + -33. Is 8 a factor of f?
True
Let r(o) = 30*o**3 - 1. Let z be r(1). Let f = 49 - z. Is f a multiple of 20?
True
Let j = 1 + -1. Suppose -6*p + 2*p = j. Let q(a) = -a**2 + 7. Is q(p) a multiple of 5?
False
Let f = -333 + 466. Is f a multiple of 25?
False
Let s = 78 + 137. Is s a multiple of 22?
False
Is 7 a factor of (-7 - -9)*(-38)/(-4)?
False
Suppose -2*o + o + 3 = 0. Let x = o + 5. Is 7 a factor of x?
False
Suppose -p = c - 0 + 1, -2*c = p. Let s be 4 + -1*(4 + p). Suppose 3*b - 69 = -3*w - 12, -s*b = -w + 4. Does 7 divide w?
True
Let u = 384 - 160. Suppose w - 89 + u = 0. Is 10 a factor of (w/(-10))/(6/8)?
False
Let a be 82/7 + (-4)/(-14). Let d = 21 - a. Is d a multiple of 8?
False
Is 8 a factor of (-1)/(-2) + (-174)/(-4)?
False
Let p(y) = -2*y + 1. Let g be p(3). Let z be ((-6)/(-4))/(9/(-48)). Let n = g - z. Is n a multiple of 3?
True
Suppose -k + 4*r - 34 = 0, -5*r - 93 = k - 23. Let j = -18 - k. Is 11 a factor of j?
False
Let a = 6 - 4. Suppose -5*r + 27 = -0*v + 2*v, -a*v + r = -45. Does 8 divide v + (-1*2)/2?
False
Let o(h) = -59*h**2 - 13*h - 3. Let g(n) = 39*n**2 + 9*n + 2. Let k(s) = -7*g(s) - 5*o(s). Is 6 a factor of k(-1)?
False
Let n(a) = 21*a + 2. Let x be (-6)/(-8) + (-66)/24. Let m be n(x). Does 9 divide m/(-3) + 6/9?
False
Let t be 1 + 2/(-3)*3. Let h be (-8)/4 - 0/t. Is h*(2 - 26/4) a multiple of 9?
True
Let l(a) = -a**2 - 5*a - 4. Let y be l(-3). Suppose -b + s + 28 = 0, y*b + 2 = -2*s + 78. Is 10 a factor of b?
False
Let o(d) = 47*d**2 - 2*d - 1. Does 16 divide o(-1)?
True
Let o = -5 - -3. Let n be 0/((o/1)/2). Let l = n + 4. Is l a multiple of 4?
True
Let o = -6 - 223. Let c = o - -426. Suppose -c + 37 = -5*w. Is w a multiple of 16?
True
Suppose -3*m + 17 + 205 = 0. Let b(q) = 3*q**3 - 2*q**2 - 3*q - 1. Let n be b(3). Let k = m - n. Is 17 a factor of k?
False
Suppose -4*k = -20, 4*a = 2*a - 3*k + 39. Is a a multiple of 12?
True
Let d = -12 + 28. Suppose 5*m + 2*f - d = 0, -5*m - 1 = -3*f - 27. Suppose 4*o = 4*n - 48, 0*n + 4*o - 64 = -m*n. Is 5 a factor of n?
False
Suppose -2*p + 4 + 2 = 0. Suppose 7 = p*h - 2. Is h a multiple of 3?
True
Let g(k) = k**3 + k**2 - 2*k - 2. Let q be g(-2). Let u be -3 + 4 - 6/q. Is (2 - u)*58/(-4) a multiple of 14?
False
Let l(a) = 17*a**2 + 3*a + 1. Let g be l(-2). Suppose 3*h - 3*i = 2*i + g, -i + 55 = 2*h. Is h a multiple of 13?
True
Suppose 2*z - 5*z + 3*x = -9, 0 = 2*z - 3*x - 3. Does 6 divide z?
True
Let t be 0/(-3) - (2 - 80). Let r be 144/t - (-4)/26. Let m(y) = 16*y - 2. Does 15 divide m(r)?
True
Suppose 0*n - 5*n = -795. Is 15 a factor of n?
False
Let z = 99 + -16. Is 13 a factor of z?
False
Let b = -54 - -82. Is 14 a factor of b?
True
Suppose -4*f + 35 = -7*z + 2*z, 0 = 3*f + 5*z. Suppose -5*j = -43 + 13. Does 9 divide 26/j*(1 + f)?
False
Suppose 44 = 2*o - 92. Does 9 divide o?
False
Suppose 3*j - 2*y - 22 = 0, 0 = 3*j + 2*y + y - 12. Let l(q) = -5*q + j + q**2 + q - 3*q. Is 7 a factor of l(8)?
True
Suppose n + 4*n = 0. Suppose m + i - 7 = n, i = -m - i + 12. Does 8 divide 8 - ((-2)/m - -1)?
True
Suppose -2*d + 10 = -2*l, -11 = -4*l - 2*d - 1. Suppose l = -2*c - 0*c + 74. Does 8 divide c?
False
Let z be (-118)/3 - 2/(-6). Let b = 10 - z. Suppose 4*i - p = b + 30, -3*i + 65 = 5*p. Is 10 a factor of i?
True
Let n = 16 + -8. Does 2 divide n?
True
Is 3 a factor of 4*(92/16 - 3/(-4))?
False
Suppose -52 - 98 = -2*j + 2*l, 2*l = 0. Does 15 divide j?
True
Let n(c) = c**3 + 7*c**2 + 6*c. Let w be n(-6). Suppose -2*g - 3*y + 65 = w, -4*y + 2*y = -g + 22. Is 16 a factor of g?
False
Let p(s) = -s - 4. Let z be p(-3). Let v be 2 - z*(-21)/(-3). Suppose -3 = -2*r + v. Is 3 a factor of r?
True
Let w(z) = -z**3 + 6*z**2 + 11*z - 7. Is w(7) a multiple of 13?
False
Let n(c) = -3*c**3 - 8*c**2 + 6*c - 8. Is 22 a factor of n(-5)?
False
Let g = -56 + 176. Is g a multiple of 10?
True
Suppose 3*r = r + 24. Suppose -u = -r - 6. Is 17 a factor of u?
False
Is 15 a factor of (-2)/(24/36 + 1736/(-2586))?
False
Let w(s) = -s**2 - 4*s + 10. Let p be w(-7). Let z be 13/p - (-2)/11. Is (12/10)/(z/(-5)) a multiple of 4?
False
Let j = -38 - -72. Is 17 a factor of j?
True
Suppose -3*x = 3*v - 118 + 4, -4*x - v + 167 = 0. Let i = 14 + x. Is 19 a factor of i?
True
Let g be (12/(-36) + 13/1)*3. Suppose -50 = 3*j + 2*j. Let m = j + g. Is 16 a factor of m?
False
Suppose -300 = -4*u + 44. Does 43 divide u?
True
Is 59 + -5 + 1 + -3 a multiple of 13?
True
Suppose 7*o = 2*o. Suppose 5*z + 3*x - 27 = o, -2*z - 3*x = -2*x - 11. Is 5 a factor of z?
False
Suppose 2*r - 4*j = 8, 1 = -4*r - 5*j + 4. Suppose -3*y + r*y = -4. Does 2 divide y?
True
Let p(b) = 13*b + 9. Let j(u) = 3*u + 4 + u + 2*u. Let i(s) = -7*j(s) + 3*p(s). Is 14 a factor of i(-5)?
True
Is (46/(-3))/((-6)/9) a multiple of 23?
True
Suppose -3*j + 3 = 3*s, 4*s - 3*s - 1 = 0. Does 9 divide 15 + (j - (-4)/(-4))?
False
Let o = 113 + -81. Is 14 a factor of o?
False
Is 25 a factor of (-6)/((-6)/(-2)) - -4 - -112?
False
Let p(b) = -7*b**3 - 2*b**2 + 2*b + 1. Suppose -2*o + 6 = -f - 0*o, 3*o = -2*f + 2. Let w be p(f). Suppose 6*r - r = w. Is r a multiple of 8?
False
Let l(y) = 2*y**2 + 4*y + 2