 w - -17. Let p = d + 12. Is 5 a factor of p?
False
Let q(r) = 2*r**2 + 2*r + 1. Let v be q(-5). Suppose 0 = 4*o - 394 + 146. Let s = o - v. Does 10 divide s?
False
Let v = -36 + 62. Does 26 divide v?
True
Suppose 0 = 3*j - 2*p - 87, -2*j - 5*p = 14 - 53. Is j a multiple of 5?
False
Let b be 3/9 + 22/6. Let w = -8 - b. Does 7 divide 37/5 + w/30?
True
Suppose -5*j = 2*h - 7, -4*j - h + 3*h = -2. Suppose 3 = x - j. Suppose n = x*u + 14, 2*n - 4*n = 5*u - 41. Is 13 a factor of n?
False
Let v be ((-12)/4)/((-6)/8). Let t be 2/v*(42 - 0). Let c = 29 - t. Does 8 divide c?
True
Suppose -2*k + 0*p = -2*p - 32, 3*k - 58 = p. Is k a multiple of 7?
True
Suppose 4*v + 7 = 5*v. Does 7 divide v?
True
Let l be (-2)/(8/(-6))*2. Suppose l*o = 380 + 49. Suppose -4*k - o = -4*y - k, -2*k + 118 = 4*y. Does 14 divide y?
False
Let b be (7/(-3))/((-4)/(-12)). Let n = b + 10. Let x(r) = r**2 - 3*r + 2. Is x(n) a multiple of 2?
True
Suppose 0 = 4*h - 0*p - 3*p - 8, 33 = 5*h + 2*p. Suppose a + 9 = -5*j, -h*a - 9 = -3*j + 8. Is 1/(j - -2) - -20 a multiple of 8?
False
Let i = 46 + 97. Is 11 a factor of i?
True
Suppose 4*w - z - 26 = -0*z, -2*z + 4 = 0. Let m(u) be the second derivative of -u**5/20 + 2*u**4/3 - u**3/3 - 3*u**2 - 2*u. Is m(w) a multiple of 13?
False
Let a(d) = 2*d**2 + 7*d + 11. Does 4 divide a(-4)?
False
Suppose y = 4*k - 4, 0 = -2*y - 2*k + k + 28. Let f(j) = 86*j. Let c be f(2). Is c/y - (-1)/(-3) a multiple of 6?
False
Let d = 514 + -299. Does 31 divide d?
False
Suppose q + 5*k - 62 = -0*k, -334 = -5*q - k. Does 20 divide q?
False
Let o = -9 - -5. Is 2 a factor of 32/20 + o/(-10)?
True
Suppose 5*l - 156 = -41. Is l a multiple of 23?
True
Is 15 a factor of (-2 - (-84)/8)*4?
False
Let k(f) = -70*f - 48. Is k(-4) a multiple of 8?
True
Let l(h) = -2*h**3 - 9*h**2 - 6*h - 9. Let k be l(-6). Let t(q) = -q**3 + 5*q**2 + 14*q + 5. Let b be t(7). Suppose -b*d = -0*d - k. Does 11 divide d?
False
Suppose 8 = 3*c - 19. Does 5 divide c?
False
Suppose 44 = -11*r + 15*r. Is r a multiple of 9?
False
Let m(f) = f**2 - 9*f - 2. Let n be m(6). Suppose 0 = 5*z - 5*h - 195, -3*z + 0*h + h + 109 = 0. Let l = z + n. Does 9 divide l?
False
Let o = -243 - 431. Is 16 a factor of (-18)/45 + o/(-10)?
False
Suppose 3*n + 0*n - 9 = 0. Suppose n*z - 6 = 6. Does 11 divide 3*z/(-14)*-14?
False
Let t(y) = y**2 - y - 2. Let f be t(3). Is -3 + f - (-18 - -1) a multiple of 9?
True
Suppose 0 = -5*z - 3*b + 25, -3*b + 20 = 4*z + b. Suppose 64 = z*o - 196. Does 26 divide o?
True
Let f = -27 - -19. Let z = 12 + f. Is 3 a factor of z?
False
Suppose -13*n - 14 = -14*n. Suppose -n*o = -13*o - 77. Is 11 a factor of o?
True
Suppose -14 + 3 = v. Let l = v + 46. Does 19 divide l?
False
Suppose -6*p + p = 0. Suppose -5*i - 103 + 13 = p. Let z = 34 + i. Is z a multiple of 10?
False
Suppose 4 + 26 = 3*y. Suppose 5*a + 18 = -o, 0*o = -5*o - 5*a + y. Suppose o*b = 4*b + 18. Does 3 divide b?
True
Suppose -3*k - 3*o = -11 - 46, -5*k - 3*o = -99. Is k a multiple of 21?
True
Suppose -3*a = -6 - 6. Is 17 a factor of 34/a*(-4 - -6)?
True
Suppose 5*w - 5 = 5. Suppose 144 = -0*b + w*b. Suppose -5*r + b = h, -4*h + 0 + 8 = 0. Is 14 a factor of r?
True
Let m = -132 - -258. Is 33 a factor of m?
False
Let p = 33 + 15. Is p a multiple of 9?
False
Let y(q) = 2*q**2 - 3*q - 2. Let h be y(3). Suppose -4*x = 12, 3*b - h*b + x = -23. Suppose 4*g = b*g - 14. Is 7 a factor of g?
True
Let n(q) = q**3 + 2*q**2 - q + 1. Let u be n(-2). Suppose 6*s - 3*s - u = 0. Is 1/((-1)/(-41)) + s a multiple of 14?
True
Let l(z) = -z**3 + 2*z + 1. Is 7 a factor of l(-3)?
False
Let d(l) = 22*l**2 - 2*l + 6. Is 45 a factor of d(2)?
True
Let k(p) be the first derivative of -p**2 + 12*p - 3. Let d be k(8). Let c = d - -16. Is c a multiple of 12?
True
Suppose j = 3*b - 8, 4*j = -0*b + 3*b - 14. Let w be (-1242)/(-66) - j/11. Suppose 3*d = -5*q + 120, 4*q + 3*d - w = 77. Is q a multiple of 10?
False
Is (5 + -257)/(-2) - 0 a multiple of 9?
True
Let m = 69 + -41. Is 14 a factor of m?
True
Suppose 70 = -b + 3*b. Is b a multiple of 14?
False
Let l(q) = -q**2 + 7*q + 8. Let j be l(6). Suppose 0 = -n - 0 - 4. Let k = j + n. Does 5 divide k?
True
Is 24 a factor of (-289)/(-4) - 2/8?
True
Suppose -4*i - 6 = -22. Does 5 divide 25 + i/((-12)/(-3))?
False
Let o(q) be the second derivative of -q**4/12 - q**3 - 2*q**2 + 2*q. Let t be o(-3). Suppose 2*g = -g + 2*u + 116, t*g + u - 202 = 0. Is g a multiple of 20?
True
Does 9 divide 4/6*297/18?
False
Let z(y) = -y**3 - 15*y**2 - 16*y - 3. Let b be z(-14). Let k = b - 3. Does 11 divide k?
True
Does 15 divide 4/(-14) + (-914)/(-14)?
False
Let j = 1 + 1. Suppose -4*n - 5*x + 25 = -n, j*n = -2*x + 10. Is 17 a factor of 18 - (n - 1 - 1)?
False
Let h = 2 + -2. Suppose d - 2*d + 33 = h. Is d a multiple of 18?
False
Let d = 56 + -32. Suppose f = -2*f + d. Does 8 divide f?
True
Let f(a) = -2*a**3 + 6*a**2 - 4*a - 2. Let m = 11 - 7. Let k be f(m). Does 10 divide (-3)/(-9) + k/(-3)?
False
Suppose -3*k + 8*k - 25 = 0. Suppose -k*z + 3*f + 285 = 0, -2*z - 3*f + 114 = f. Does 15 divide z?
False
Does 3 divide 16 + (-3 - 2)/5?
True
Let w(k) = k**3 - 3*k**2 - 6*k + 4. Let a be w(4). Let z = 9 + a. Suppose t - 17 = h + 2*h, z*h = -2*t + 67. Is 13 a factor of t?
True
Suppose 0 = -4*j + y + 29, 0 = -5*j + 2*y + 21 + 13. Is 18 a factor of 6*6 - (-8 + j)?
True
Let u(v) = -6*v**2 - 14*v - 5. Let z(l) = -3*l**2 - 7*l - 2. Let h(f) = -3*u(f) + 5*z(f). Is h(-4) a multiple of 20?
False
Let y = 5 - 1. Suppose y*i - 66 = 90. Does 13 divide i?
True
Let o = -7 - -9. Is 30 a factor of o + -2 + (-180)/(-3)?
True
Let o = 80 - 182. Does 17 divide ((-10)/(-15))/((-4)/o)?
True
Suppose x = -0*x + 4*k + 33, 0 = 3*x - k - 132. Is 20 a factor of x?
False
Let o(q) = -20*q - 5. Let p be o(-4). Let y = -27 - -42. Suppose -2*b - 3*b = -4*i - p, 0 = -3*i + y. Is 7 a factor of b?
False
Let r(m) = -m**2 - 8*m - 1. Let f be r(-7). Let d(b) = -b**2 + 1. Let o be d(-1). Suppose f*q - 3*q - 42 = o. Is 14 a factor of q?
True
Let p = 0 - -5. Suppose 0 = -p*a + 20, 0 = 2*g + 2*g + 3*a - 504. Let n = g - 83. Is 17 a factor of n?
False
Let k = -23 - -23. Suppose 0 = -3*h + 2*w + 46, -3*w + 3 = -k*w. Is h a multiple of 16?
True
Suppose 6*k = 7*k - 35. Does 32 divide k?
False
Let m(c) = c**2 + 5*c - 5. Let k be m(-6). Let w(r) = k - 2*r - 2 - 16*r. Is 17 a factor of w(-1)?
True
Let o = 0 + 4. Suppose 0 = x + c - 43, -o*x + 2*x = 4*c - 84. Is 22 a factor of x?
True
Let k(z) = 18*z**3 + z**2 - z + 1. Is 18 a factor of k(1)?
False
Suppose 2*w + 1 = 59. Is w a multiple of 29?
True
Let t be (-1 + (-2)/(-2))/2. Is 37 - (t + (3 - 1)) a multiple of 19?
False
Let v = -28 + 84. Suppose 2*u - 36 = v. Is 17 a factor of u?
False
Let b = -44 - -30. Let n = b + 6. Let f(p) = -p. Does 7 divide f(n)?
False
Let a(z) = -z - 3. Let w be a(4). Let l = w + 16. Is 9 a factor of l?
True
Let s(n) = -n**2 + 14*n - 9. Let o be (-2)/(-9) + 79/9. Is s(o) a multiple of 18?
True
Let p be (9/(-3))/3 - -3. Suppose -p*n = -3*n + 39. Is n a multiple of 22?
False
Let l(t) = -t**2 + 7*t - 10. Let s be l(4). Let r be ((-40)/3)/((-1)/3). Is 4 a factor of 304/r - s/(-5)?
True
Suppose z - 2*h = 4, 4*h = 4*z + h - 11. Suppose -3*o - 32 = 2*c, c + 3*c + 64 = z*o. Let f = -5 - c. Is 11 a factor of f?
True
Let v(w) = -9*w - 7. Is 13 a factor of v(-8)?
True
Suppose 4*g = 4*b + 8, -2*b + 0 = g - 17. Does 6 divide g?
False
Let k = 80 - -30. Let u = -70 + k. Suppose i - u = -0*i. Does 13 divide i?
False
Let h be 82*(7/(-2) + 3). Let y = h + 67. Does 13 divide y?
True
Suppose -20 = 7*p - 9*p. Is p a multiple of 4?
False
Is (0 + -1)*-1*58 a multiple of 13?
False
Let x be (-5238)/(-24) - (-1)/(-4). Is x/10 + 1/5 a multiple of 11?
True
Let x(p) = -p**2 - 6*p - 5. Let z be x(-4). Suppose 4*c = -z*t - 0*c + 106, c = -t + 36. Is 16 a factor of t?
False
Let i(r) = -2*r. Let c be i(-2). Suppose 4*b - 4 = p, -c*p - 4*b = p - 4. Does 14 divide p + 43 - (5 + -4)?
True
Let m be 1*(-2)/2*-5. Let x be (16/20)/(1/m). Suppose 3*c + 37 = 4*u - 0*c, -4*c + 16 = x*u. Does 6 divide u?
False
Let n(r) = -r**3 + 3*r**2 + 7*r - 2. Let q be n(5). Does 9 divide (1 + 0)/1 - q?
True
Let w = -8 + 11. Suppose 3*m + 15 = 0, -2*m + 1 = -2*f - w*m. Is 6 a factor of (f - -10) + (1 - 1)?
True
Suppose i + 38 = -0*i. Let g be 6/(-12) - i/4. Is 8 a fa