vide h?
False
Let f = 1108 - 498. Does 20 divide f?
False
Suppose n - 15 = 3*i, -4*i = 4*n - 2 + 6. Suppose 4*c = 20, -3*b + n*c - 7 - 8 = 0. Suppose 3*y - 6 = b, 0 = -3*z - y - 11 + 76. Is 7 a factor of z?
True
Let x(w) = 2*w + 1. Let p be x(2). Let t = 63 - 61. Is 8 a factor of 34 + 7 + (t - p)?
False
Let r(a) = -5*a**2 - 7*a - 7. Let j(o) = -9*o**2 - 15*o - 15. Let h(s) = -6*j(s) + 13*r(s). Let t be h(2). Let k = t + 66. Does 6 divide k?
False
Suppose 19 = -q + 23. Let r be 8/q + -3 + 28. Suppose -4*m = -203 + r. Is m a multiple of 20?
False
Suppose -515 = 8*t - 2459. Suppose -3*j + t = v - 37, 3*v = 5*j + 840. Does 24 divide v?
False
Let y(f) = -f**3 + 4*f**2 - f - 2. Let h be y(3). Suppose h*a + 442 = 5*u, u - a - 88 = -0*a. Suppose q = -2*q + u. Is 15 a factor of q?
True
Suppose 13*z - 23034 = -9*z. Is z a multiple of 65?
False
Is (-1099 + 1)/((-15)/40) a multiple of 122?
True
Let q be -3*1/3*-1. Let c be (3 - 0) + (q - 4). Suppose 0 = -4*n - c + 20. Does 2 divide n?
False
Suppose 11*c - 15*c - 2082 = -m, -2*c + 4 = 0. Is m a multiple of 19?
True
Suppose 2*x - 5*m = 1386, -m = 4*m. Is 99 a factor of x?
True
Let w = -4 - -9. Suppose w*x = x. Suppose -b - 5*b + 84 = x. Is 3 a factor of b?
False
Suppose 0 = s, -3*x + 32*s - 36*s = -2907. Is x a multiple of 57?
True
Let o be (-3)/12 - (-82)/8. Suppose -100 = -o*c + 5*c. Let l = -12 + c. Is 8 a factor of l?
True
Let k(m) be the second derivative of -m**4/12 - 11*m**3/6 - 8*m**2 - 3*m. Let a be k(-7). Suppose -a*l = -7*l - 110. Is 22 a factor of l?
True
Suppose 0 = -2*m - 26*m + 1848. Is 9 a factor of m?
False
Suppose -1792 = -4*v + 47*b - 50*b, 0 = -3*v + 5*b + 1315. Does 32 divide v?
False
Let l = 70 + -82. Let o = l - -35. Is o a multiple of 4?
False
Suppose 12*x - 90 = 7*x. Suppose x = -c + 5*w, -3*w = 4*c - 48 + 5. Suppose 112 = 5*v + c. Is 8 a factor of v?
False
Suppose -12956 - 8248 = -19*f. Is f a multiple of 31?
True
Suppose -w + o + 60 = 0, 3*w - 162 = 2*o + 19. Is w a multiple of 3?
False
Let u(w) = -5*w - 23. Let f be u(-6). Suppose 233 = f*j - 579. Is 29 a factor of j?
True
Let i(d) = -55*d**3 - d**2 + 12*d + 5. Is i(-3) a multiple of 93?
False
Let b(l) = 1. Let r(x) = 2*x + 6. Let k(v) = -v - 1. Let u(y) = -6*k(y) - r(y). Let q(n) = 3*b(n) - u(n). Is 3 a factor of q(-2)?
False
Suppose -4*g - 45 = -3*p, -2*p - 5*g = -2*g - 30. Suppose 2*m - m - 114 = 2*w, -5*w = p. Does 36 divide m?
True
Let y be 5/(((-3)/(-1))/3). Let j be -3 + -1 + 980/y. Suppose -4*u = -8*u + j. Does 11 divide u?
False
Let h be 1/(-3) - (-22)/(-6). Does 11 divide (-46)/h + 12/(-24)?
True
Suppose -4*l = 5*r - 44, -3*r + 3*l = -4*r. Let a = 15 + r. Is 27 a factor of a?
True
Let k(a) be the third derivative of -a**6/120 + a**5/12 - a**4/12 - a**3/6 + 4*a**2. Let z be k(3). Suppose -52 = -3*i + z. Does 6 divide i?
False
Let j(p) = 20*p**2 - 4*p + 2. Let x be j(2). Suppose 5*q - 161 = x. Is q a multiple of 14?
False
Let t(b) = -92*b - 362. Is t(-10) a multiple of 18?
True
Suppose -60*k + 1020 = -43*k. Does 2 divide k?
True
Let h = 236 - -7. Suppose 0 = -4*a - 5*r + 189, h = 3*a + 2*a + 4*r. Does 17 divide a?
True
Suppose 512 = 2*l + 2*r, -2*r = -2*l - 3*l + 1287. Does 34 divide l?
False
Let r(p) = 9*p**2 - p - 1. Let q be r(2). Suppose -a = 1 - 0, 4*d - 4*a = 896. Suppose 2*m + q = k - 31, -3*m + d = 4*k. Is k a multiple of 14?
False
Suppose -4*d + 23 = -433. Is 19 a factor of d?
True
Let r(a) = -2*a**3 + 4*a + 231. Is r(0) a multiple of 11?
True
Suppose 0 = 4*a - 3*n + 11 - 50, -5*a = -5*n - 55. Let t be (-9)/a*2 - -8. Suppose 0*s = -t*s + 40. Is 4 a factor of s?
True
Let d(r) = -r**3 - 13*r**2 + 9*r - 3. Is 17 a factor of d(-15)?
False
Let g = 1537 - 940. Is 3 a factor of g?
True
Let v = -82 - -44. Let g = 76 + v. Is g a multiple of 19?
True
Let s = -1539 - -3363. Does 76 divide s?
True
Let y(p) = 7*p**2 - 2*p + 4. Does 2 divide y(2)?
True
Let z(n) = 59*n - 4. Let r be z(2). Suppose -u + r = -0*s - 3*s, -5*s = 5*u - 610. Is 20 a factor of u?
True
Let h = -12 - -20. Suppose -h = -3*p - 14. Is -1 + p - 65/(-5) a multiple of 2?
True
Let x(h) = h**2 - 16*h - 2. Let s be x(16). Is (2 - 70)*(-3 - s) a multiple of 17?
True
Let l = -38 + 41. Suppose 3*p = 5*g + 66, 0*p + g - 84 = -l*p. Is p a multiple of 23?
False
Let d(k) = -19*k**3 + 16*k**2 + 7*k + 20*k**3 + 3 - 27*k - 1. Is 16 a factor of d(-17)?
False
Suppose 0 = -w + 551 - 143. Is 39 a factor of w?
False
Suppose 0 = 4*c + 14 - 230. Is 3 a factor of -4 + (-5)/((-15)/c)?
False
Is 10 a factor of (1924/16)/((-10)/(-40))?
False
Does 21 divide 1 + 81 + 4/2 - 3?
False
Let c = -19 + 45. Let m = c - 52. Let p = 31 + m. Is 3 a factor of p?
False
Suppose 2548*u = 2557*u - 9180. Is u a multiple of 10?
True
Suppose -7*a + 3 = -10*a. Does 18 divide (a + 0)/(5/(-335))?
False
Let t be -2 + -22 + (0 - 1). Let v = t + 94. Is v a multiple of 15?
False
Let w(n) = 160*n**2 - 9*n - 8. Does 13 divide w(-1)?
False
Let t(w) = -2*w - 2. Let d be t(-2). Suppose 4*k - 272 = -5*v, 2*v = d*k + k + 95. Is v a multiple of 7?
False
Is 37 a factor of -1*(-5 + 11) - -627?
False
Let y be (-6)/(-9) - ((-1029)/9 + 0). Suppose h - y = -23. Is h a multiple of 16?
False
Suppose 4*o + 100 = 4*x, 5*o + 62 = x + 17. Suppose x + 34 = b. Does 18 divide b?
True
Is (144/(-15))/(219/(-27740)) a multiple of 64?
True
Let q(o) = 2 + 3*o**2 + 3*o**3 - 4*o + 3*o - 2*o**3. Is q(-3) a multiple of 5?
True
Suppose -i - 3*k = -k + 18, 5*k + 52 = -3*i. Is 3 a factor of 6*(4/i + 204/126)?
False
Let c be (-4)/(-5) + 16/5. Suppose 4*a - 172 = -c*r, -a - r + 4*r + 47 = 0. Is 22 a factor of a?
True
Let j(d) be the first derivative of -d**2/2 + 15*d - 12. Is 3 a factor of j(9)?
True
Suppose -7*w - 16 - 19 = 0. Is 15 a factor of 1*12*(w - (-50)/8)?
True
Suppose 15*j + 3471 = 54*j. Does 3 divide j?
False
Suppose 91*b + 16792 - 94324 = 0. Is b a multiple of 3?
True
Suppose 2*z = -4*t - 6, z + z - 26 = 4*t. Suppose -17 = 4*u + 3*v - 65, 0 = u + z*v - 12. Is 3 a factor of u?
True
Let o(g) = -46*g - 432. Is 14 a factor of o(-18)?
False
Let i(k) = -7*k - 2. Let n(s) = -s**2 + 16 + 0*s**2 - 18 - 4*s. Let g be n(-4). Is 5 a factor of i(g)?
False
Let h = -128 - -382. Let j = h - 172. Let c = j + -47. Is c a multiple of 20?
False
Suppose 10*b - 13*b = -5*q - 576, -q = 2*b - 371. Is b a multiple of 17?
True
Suppose -11*u + 341 = -528. Is 6 a factor of u?
False
Let b = 1102 - 54. Is 23 a factor of b?
False
Let s = 254 - 116. Does 6 divide s?
True
Let l(m) = 11*m**3 + 2*m**2 - 2. Let v = -95 - -97. Does 47 divide l(v)?
True
Suppose -18*z + 14*z = -4. Is 7 a factor of (78/(-30) - z)/((-1)/5)?
False
Let u(h) = h**3 - h**2 + 37. Let q = 0 - 0. Suppose q = -6*t + 3*t. Is u(t) a multiple of 25?
False
Let s(h) = h**2 + 8*h - 2. Let b be s(-7). Does 7 divide (1*-7)/(b/36)?
True
Let k = 12261 - 8625. Is k a multiple of 62?
False
Let j = 51 + -26. Let h = j + -23. Suppose -2*n - r = h*n - 241, 3*r = 15. Is n a multiple of 20?
False
Let i = 306 + 855. Is i a multiple of 27?
True
Let t = -205 + 591. Does 9 divide t?
False
Let q(f) = 15*f**2 + 2. Let y be q(2). Let c = 122 - y. Is 10 a factor of c?
True
Suppose -5*c - 105 = -6*c. Does 9 divide c?
False
Suppose -c - 3*c + b + 727 = 0, -c + 2*b = -187. Is 2 a factor of c?
False
Let b(s) = -5*s + 7. Let i be b(-4). Suppose -49 - 171 = -5*f. Suppose -i = -q + f. Is q a multiple of 21?
False
Let n = 1721 - 1442. Is n a multiple of 11?
False
Let g = 25 - 21. Suppose -g*z + 0*z + 482 = -r, -4*r = -4*z + 488. Is 12 a factor of z?
True
Let i(f) be the second derivative of 0 - 1/20*f**5 + 7*f + 0*f**3 + 7/12*f**4 - 11/2*f**2. Is 13 a factor of i(5)?
True
Suppose 4*w - 5 = 15. Suppose -4*o - 483 = -8*o + m, -135 = -o + w*m. Is o a multiple of 24?
True
Let k(x) = x**2 - x + 12. Let w(n) = n**2 + 13*n + 12. Let y(g) = 11*g - 1. Let h be y(-1). Let v be w(h). Is k(v) a multiple of 5?
False
Let l be (-378)/4*(0 - 2). Let x = l + -120. Is 28 a factor of x?
False
Suppose -2*t - 5*n = -t + 7, 5*t - 3*n = 21. Suppose -t*m = 39 - 54. Is m a multiple of 5?
True
Let d(g) = 4*g - 10. Let z be d(-6). Suppose 0 = -3*i + 7 - 1. Does 10 divide i/(-2)*(4 + z)?
True
Let g(q) = -q**3 - q**2 + 4. Let b be g(0). Suppose -2*z = b*d, 3*z = 5*z - 5*d - 36. Is 3 a factor of z?
False
Suppose 114*k = 116*k - 310. Is k a multiple of 31?
Tr