 0 = 0, 4*z - 2 = 3*y. Let k be (-5 - 1)/3*y. Suppose -3*m - 7 = -p + 3, 2*m - k = 0. Is 7 a factor of p?
False
Suppose -5*m = -3*m + 8, 80 = 4*g - 4*m. Suppose 0*c - 4*c - g = 0, -2*c = -5*v + 53. Is v a multiple of 3?
True
Let x be (-86)/(-6) - (-1)/(-3). Let q = x - 6. Is 4 a factor of q?
True
Suppose 0 = -3*z + 2*z - 4. Does 10 divide 4*(-1 + (-30)/z)?
False
Suppose 3*w - 4*w = 0. Suppose w = -5*q + 2*c - 296, -3 = 3*c + 3. Let m = 98 + q. Is 17 a factor of m?
False
Let u(x) = -x**2 - 2. Let s be u(-2). Is ((-8)/s)/(4/138) a multiple of 23?
True
Let i be ((-3)/(-5))/((-2)/(-10)). Let t be (-112)/(-6) - 2/i. Let f = 46 - t. Is 14 a factor of f?
True
Let j = 653 + -372. Is j a multiple of 48?
False
Suppose -64 = 2*c - 0*c. Let y = -10 + c. Let h = y + 73. Is h a multiple of 14?
False
Suppose 35 = -s + 6*s. Is 2 a factor of s?
False
Let n(v) = v**3 + 4*v**2 - 2*v + 2. Let f(w) = -w - 13. Let x be f(-9). Does 3 divide n(x)?
False
Suppose -8 = -2*s, -4*s + 8 = -c - 0*c. Let v = c - 4. Does 4 divide v?
True
Suppose -88 = -5*u + 77. Does 15 divide u?
False
Suppose -4*b = 5*l - 571, -2*b - 5*l + 154 = -119. Is 13 a factor of b?
False
Let n = 0 + 0. Suppose -2*a + 56 + 4 = n. Does 15 divide a?
True
Suppose -1 = -2*f - 5. Is -9 - -11 - 22/f a multiple of 13?
True
Let h(v) = v**2 + 4*v - 3. Let d be (6/7)/(2/(-14)). Let f be h(d). Let s = 29 - f. Does 10 divide s?
True
Let f = 426 + -220. Let h = -142 + f. Does 17 divide h?
False
Let u(s) be the second derivative of s**4/12 + 11*s**3/6 - 5*s**2/2 - 3*s. Is 7 a factor of u(-12)?
True
Let d(s) = 7*s - 7. Let w be d(5). Suppose -w = -a - 3*a. Let l(t) = t**3 - 7*t**2 + 3*t - 3. Does 9 divide l(a)?
True
Suppose -85 = -4*j - 3*g, 3*j - 5*g - 52 = 19. Is j a multiple of 11?
True
Let c(l) = 2*l**2 - 6*l - 13. Let d be c(9). Suppose 0*z - 5*z + 5*j + d = 0, 0 = -2*z - 5*j + 31. Does 9 divide z?
True
Does 37 divide (-1486)/(-8) - 1 - 12/(-48)?
True
Let w be 8*(2 - 1)/1. Suppose -w*c + 3*c + 10 = 0. Is c a multiple of 2?
True
Let q(s) = -s - 2. Let b be q(-4). Suppose b*z - 3 - 9 = 0. Is z a multiple of 3?
True
Suppose 20*c - 39 = 17*c. Is 4 a factor of c?
False
Is 6 a factor of 58*(-2)/(-4) - -1?
True
Suppose 4*t - 34 = -m + 400, 0 = 5*t - 4*m - 532. Is t a multiple of 17?
False
Suppose -x - 4 = 0, 6*h + 461 = 9*h - 5*x. Is h a multiple of 15?
False
Let c(z) = 11*z - 3. Is 6 a factor of c(3)?
True
Suppose -5*t = -5*x - 33 - 52, -2*x - 5*t - 20 = 0. Let b = -1 - x. Is 14 a factor of b/(3 - 2) + 2?
False
Let n(m) be the second derivative of -m**4/12 + 4*m**3/3 - 3*m**2/2 - m. Let o be ((-2)/3)/((-8)/60). Does 12 divide n(o)?
True
Suppose 2*c + 2 = 0, w - 6*w + c + 21 = 0. Suppose -w*k - 2*y = -132, -4*k + 2*y = -2*y - 144. Is 34 a factor of k?
True
Let v(b) = -b**2 - 5*b + 10. Is v(-5) a multiple of 2?
True
Suppose 4 = -6*f + 76. Does 2 divide f?
True
Let w be (-3)/((-1)/10*6). Suppose c + 2*j + 0*j - 35 = 0, -2*c - w*j = -70. Is c a multiple of 7?
True
Let i be (-60)/14*28/(-2). Is (i/14)/(2/14) a multiple of 19?
False
Let f = -19 + 35. Is (-5 - 1)*(-72)/f a multiple of 19?
False
Suppose 24 + 12 = 4*o. Suppose -30 = -3*n - o. Is 7 a factor of n?
True
Let x = 16 - 8. Suppose -3 = -5*y - x, -2*b + 33 = -5*y. Does 14 divide b?
True
Let t be (2/4)/((-3)/(-384)). Let o = -36 - -6. Let n = t + o. Is 17 a factor of n?
True
Let f(s) = -s - 1. Let d be f(-6). Suppose 0 = -3*b - d*g - 0*g + 47, b - 5*g = -11. Suppose -4*u + 3*u + b = 0. Is u a multiple of 9?
True
Let n(s) = -17*s**3 + 4*s**2 + 3*s. Does 17 divide n(-2)?
False
Let b(v) = 13*v**2 + 6*v + 8. Is 26 a factor of b(-4)?
False
Let l(a) = -a - 1. Let f be l(-5). Let q = f + 1. Suppose -16 = -q*d + 19. Is d a multiple of 7?
True
Suppose 10*y - 6*y = 272. Suppose y = 4*u + a, -3*a - 59 = -3*u - 23. Is 5 a factor of u?
False
Let t = -4 + 2. Let c(m) = 11*m**3 + 13*m**2 + 13*m - 5. Let j(y) = -5*y**3 - 6*y**2 - 6*y + 2. Let w(a) = 3*c(a) + 7*j(a). Is 9 a factor of w(t)?
True
Let d = -103 - -155. Suppose -4*x = -4*o + d, -o + x = -2*o + 3. Is 30/o - (-1)/4 even?
True
Let g(b) be the second derivative of -b**3 - 5/12*b**4 + 1/20*b**5 + 0 + 9/2*b**2 + b. Is g(6) a multiple of 4?
False
Let m be (-2)/3 + 102/(-9). Let f = m - -20. Does 8 divide f?
True
Is ((-9)/(135/12))/((-1)/130) a multiple of 26?
True
Let f(q) = -q**3 - 4*q**2 + 5. Let l be f(-4). Let s = l + 6. Is 11 a factor of s?
True
Suppose 0 = 3*s - 2*v - 8, 5*s - 2*v + v - 4 = 0. Let i be 45/2*(-32)/(-24). Suppose s = a + 2*a - i. Is 8 a factor of a?
False
Let g(h) = h**3 + 16*h**2 - 14*h + 6. Let c(f) = -f**2 + f. Let j(x) = -6*c(x) - g(x). Let s = 12 - 23. Is j(s) a multiple of 25?
False
Does 21 divide ((-9)/(-4))/(3/40)?
False
Let k(x) be the second derivative of -3*x - 1/2*x**2 - 23/6*x**3 + 0. Is 11 a factor of k(-1)?
True
Suppose 0 = 5*k + 5*j - 25, 3*j - 5*j + 37 = 5*k. Is k a multiple of 3?
True
Suppose 4*z + 3*i = 31, -2*i = -3*z - 0*z + 2. Suppose 0*w = 3*q + z*w - 26, 5*w - 4 = q. Is q a multiple of 3?
True
Does 14 divide (3 - 6)*(-56)/6?
True
Suppose -2*u - 2*u = -380. Let y = -65 + u. Is y a multiple of 10?
True
Let o(f) = -2*f**3 - 3*f**2 + 5*f + 6. Suppose 0 = b + b + 8. Is o(b) a multiple of 24?
False
Suppose p - 408 = -3*p + q, 5*p + 4*q = 510. Does 12 divide p?
False
Suppose -23 = -4*l + j + 30, 0 = l - 4*j - 32. Suppose -b + 3*b - l = 0. Is 4 a factor of b?
False
Is 11 a factor of (-426)/9*(-5 + 2)?
False
Suppose -5*i = -6*i + 330. Suppose i = f + 4*f. Does 11 divide f?
True
Suppose -i + 1 = -0*i. Let f be i/(0 + 1/20). Let u = -6 + f. Does 7 divide u?
True
Suppose 4*r - 3*r = -28. Let s = 74 + r. Is 23 a factor of s?
True
Let d(u) = -222*u + 3. Does 48 divide d(-1)?
False
Suppose 3*w = -5*n - 88, 3*w + 2*n + 114 - 23 = 0. Let h be w/2 + 2/4. Is (-46)/(-10) + 9/h a multiple of 4?
True
Suppose -4*o = 11 - 155. Does 6 divide o?
True
Let g(z) = -3*z**2 + 6*z - 9. Let k(q) = 4*q**2 - 6*q + 10. Let l(m) = -3*g(m) - 2*k(m). Suppose -4*d + 5*j = -13, d - 3*d + 5 = -3*j. Does 7 divide l(d)?
True
Let o be (-8)/(-10)*(-65)/2. Let w = -157 + 101. Let y = o - w. Is 10 a factor of y?
True
Suppose 3 = a + 5*g + 4, 3*g = -a + 1. Let f be (1/(-2))/(a/168). Is 12 a factor of (-18)/(2 - f/(-6))?
True
Let f(i) = i - 3. Let q be f(-5). Let c(y) = y + 1. Let w(l) = -1. Let j(m) = -3*c(m) - w(m). Is j(q) a multiple of 12?
False
Is ((-84)/(-49))/(4/42) a multiple of 5?
False
Is 20 a factor of (80/14)/((-2)/(-7))?
True
Suppose 2*y + 21 + 33 = 0. Let n = 96 + y. Is 14 a factor of n?
False
Suppose 3*v + 5*m - 95 = 14, -3*v = -5*m - 59. Is v a multiple of 4?
True
Let i(j) = -2 - 9*j - j**2 + 3*j**2 + 5*j. Let r be i(-4). Suppose 2*l = -2*b - 2*l + 16, 2*b - 2*l - r = 0. Is b a multiple of 9?
True
Let p(l) be the third derivative of -3*l**4/4 - 10*l**2. Let a = 3 + -4. Does 9 divide p(a)?
True
Suppose 3*n - 38 = 547. Is n a multiple of 35?
False
Let b(c) = c + 8. Let k be b(-4). Let r(s) = -6*s**3 + s**2 - s - 1. Let o be r(-1). Let f = k + o. Is 9 a factor of f?
False
Let l = -32 + 15. Let a = l + 32. Is 7 a factor of a?
False
Suppose -4*r - 5*m - 97 = 0, 19 = -3*r + 3*m - 20. Let t = r - -57. Is t a multiple of 11?
False
Suppose 996 = -0*n - 4*n. Let h = 395 + n. Let g = h - 104. Is 21 a factor of g?
True
Is (11 + -10)*(8 - -1) a multiple of 3?
True
Suppose 0 = -h - 2*h + 9. Suppose 0 = h*y - 4*k - 33, -4*y - 3*k = -0*k - 44. Does 11 divide y?
True
Let m(o) = 3*o - 9. Let i(y) = y. Let d be i(2). Let b be 66/12 + d/4. Does 8 divide m(b)?
False
Suppose -3*f + 307 - 115 = 0. Does 8 divide f?
True
Let c(m) = 2*m**2 - 5*m + 1. Let z(x) = 2*x - 2. Let p be z(5). Let j = p - 3. Is c(j) a multiple of 13?
True
Suppose 0 = 3*l - 4*i + 5*i - 916, -2*l - 5*i = -628. Does 19 divide l?
True
Suppose -f + 2*q + 5 = 0, 4*f + 5*q + 0 = 7. Suppose -f*t - 39 = -132. Let c = t - 20. Is 4 a factor of c?
False
Suppose -2*v = 2*b - 51 + 17, -3 = 3*b. Does 18 divide v?
True
Let u be (-4)/(-3)*3/2. Is 13 a factor of u/8 - 1611/(-36)?
False
Let z(f) = -f**3 - 8*f**2 - 8*f + 1. Suppose 0*y + 3*c = -2*y - 14, -c = -2*y - 14. Is 8 a factor of z(y)?
True
Let b = -39 - -99. Does 12 divide b?
True
Let d(h) = 47*h**2 + 2*h - 3 - 39*h**2 + 4. Is d(-2) a multiple of 8?
False
Suppose -3*m = 4*l - 8*m - 372, 0 = -m - 4. Is 11 a factor of l?
True
Sup