 factor of o(9)?
False
Let h be 0*4/16 + 5. Suppose -5*o = 2*m - 6392, 2*o - 1581 = -h*m + 959. Is 9 a factor of (-4)/(-18) - o/(-72)?
True
Suppose -6*j = -2*j - 52. Suppose j = 5*z + 58. Is 8 a factor of 16 + (-5)/(15/z)?
False
Suppose -5*w + 7 = -2*h, 0 = w - 1 + 2. Let u = h + 4. Is (36/1)/((-3)/u) a multiple of 10?
False
Suppose -66 = -3*v - 27. Let q = v - 11. Let a(i) = 5*i**2 - i - 1. Does 12 divide a(q)?
False
Let p(a) = -4*a**3 + a**2 - 8*a - 1 - 5*a**3 + 9*a. Let j be p(-2). Let k = -50 + j. Is 23 a factor of k?
True
Let b = 89 - 104. Let u(r) = r**2 + 5*r + 8. Let d be u(-6). Let y = d - b. Is y a multiple of 15?
False
Suppose 0 = -3*o + 12, -27 + 7 = -4*p - o. Let k = -6 - 1. Does 13 divide (-189)/k + (0 - p)?
False
Let i(r) be the third derivative of 5*r**6/36 - r**5/120 + r**4/24 + r**3/2 - 6*r**2. Let b(z) be the first derivative of i(z). Is b(1) a multiple of 25?
True
Let x = -37 - -207. Suppose -4*p + 22 = -x. Is p a multiple of 16?
True
Suppose 0 = 7*z - 5*z - 122. Is z a multiple of 34?
False
Let p(c) = -c - 29. Let y(n) = n + 29. Let j(r) = 2*p(r) + 3*y(r). Does 5 divide j(0)?
False
Let a(p) = -2*p + 7. Let u be a(-7). Let o = u - 37. Let h = 36 + o. Is 10 a factor of h?
True
Suppose -4*j + 8 = -0*j. Let v be (-1 - 4/j) + 6. Suppose -5*u + v*m + 441 = 0, u - 3*u - 5*m = -164. Is 29 a factor of u?
True
Let f = -95 + 269. Does 12 divide (f/15)/(8/20)?
False
Let g = 40 - 33. Let z(a) = a**3 - 7*a**2 + 2*a - 4. Is 5 a factor of z(g)?
True
Let u(n) be the first derivative of n**4/4 + 16*n**3/3 - 10*n**2 - 15*n + 9. Is 14 a factor of u(-17)?
False
Suppose 37*u - 38*u = 0. Let s(r) = r + 46. Is 6 a factor of s(u)?
False
Suppose -3*z + 3*q + 168 = z, 2*z = 4*q + 94. Suppose -5*w = 30*b - 29*b + 46, -b + w = 28. Let d = z + b. Does 4 divide d?
True
Let g = -4 + 14. Let m be (-6)/(-15) - (-36)/g. Is 9 a factor of -12*(3 + (-19)/m)?
False
Let t(q) = -5*q - 6. Let p be (-5)/(-3 + 5 + -3). Suppose -v + 2*v = -p. Is 5 a factor of t(v)?
False
Suppose 0 = v + 2*n - 43, 64 = 4*v - 5*n - 147. Is v a multiple of 7?
True
Let l(k) be the first derivative of k**3/3 - 4*k**2 + k - 11. Does 11 divide l(13)?
True
Let f = -25 - -9. Let r = 20 + f. Does 3 divide 45/r + (-1)/4?
False
Let o(m) = 111*m - 91. Is o(5) a multiple of 16?
True
Suppose 0 = -5*m - 4*p - 11 + 1, -5*p - 21 = 2*m. Suppose -3*w + 64 = -w + 2*t, 0 = -m*w - t + 61. Does 2 divide w?
False
Let r = 37 + -34. Suppose r*y = -2*a - y + 28, -3*a + y + 70 = 0. Is 11 a factor of a?
True
Let h = 14 + -3. Suppose -4*w + h + 9 = 0. Suppose -3*v + 193 = -w. Does 22 divide v?
True
Suppose -1732 + 4660 = 8*m. Is 61 a factor of m?
True
Let b = 0 - 0. Suppose -p - 24 = -5*s, -5 = 3*s + p - 13. Suppose 3*v + s*i - 205 = -b*v, 4*i = v - 95. Does 26 divide v?
False
Let z be 5*2/5*2. Suppose z*u + 5*r - 39 - 57 = 0, -u + 15 = -r. Is u even?
False
Let i be (100/(-16) + 2)*-8. Let k = 72 - i. Is 24 a factor of k?
False
Let f = -135 + 139. Suppose 2*h - 97 = -5*n, -16 = -0*h + f*h. Does 13 divide n?
False
Let c be 1/3*(5 - -1). Let a be c*(0 - (-2)/4). Is 17 a factor of 2 + 0 + (56 - a)?
False
Let i = -10 + 15. Suppose 368 = 4*h + 4*t, 6*h - i*h = 4*t + 67. Suppose -4*l - 3 = -h. Is l a multiple of 4?
False
Let s = -19 - -20. Let r(v) = -v**3 + v**2 + v - 1. Let n be r(s). Suppose n*q - 28 = -q. Is 9 a factor of q?
False
Suppose 193 = 5*r - 77. Let b = 84 - r. Is 15 a factor of b?
True
Suppose 3*n - 996 = -5*y + 150, 5*y - 1523 = -4*n. Is 13 a factor of n?
True
Let r(s) = 5*s - 55 + 3*s + 50 - s. Let x(t) = t. Let b(p) = -r(p) + 4*x(p). Is 5 a factor of b(-3)?
False
Suppose -3*m + 10 = 2*f, -3*m - 5*f = -m + 8. Suppose s = m*s - 10. Suppose 0 = 5*p - 5*b - 280, 6 + 2 = s*b. Is p a multiple of 19?
False
Suppose -28 = 3*q - 5*q. Suppose -11 - q = -5*o. Suppose -2*s - 51 = -3*m + 35, -175 = -o*m - 3*s. Does 10 divide m?
False
Is (2 + 5/(-2))*(124 - 1152) a multiple of 10?
False
Suppose -3*i = 2*o - 15, -3*i = -3*o + o - 15. Suppose -4*x - 4*r + 4 = o, -3*x + 2*r = 9 + 8. Does 30 divide (-268)/x - (-12)/18?
True
Is 3 a factor of 2845/35 - 10/35?
True
Suppose -5*a = 2*o - 170, -2*a + o + 27 = -a. Suppose w - a = 39. Is 13 a factor of w?
False
Suppose 3*h + v - 1338 = 0, 1795 + 455 = 5*h - 5*v. Is 38 a factor of h?
False
Let p be (-2)/13 + (-360)/26. Suppose 0 = 3*o - 4*h - 3352, -4*h = -o - 8*h + 1112. Does 9 divide (o/(-63))/(4/p)?
False
Suppose 9*r - 1197 - 2070 = 0. Is 10 a factor of r?
False
Let k be (-12)/(-4)*10 - 1. Let t = -14 + k. Is 5 a factor of t?
True
Let i = -9 - -9. Suppose 4*k = 4*n - 188, n + 6*k - k - 17 = i. Is (-4)/14 + 1566/n a multiple of 11?
False
Let z(d) = -228*d**3 + 4*d**2 + d - 2. Is z(-1) a multiple of 11?
False
Let f(g) = g**2 + 9*g + 4. Let x be f(-7). Let j = 10 + x. Suppose j*u + 16 = u - 3*s, -2*u = 4*s - 52. Is 11 a factor of u?
True
Suppose -x = 4*w + 686 + 240, -5*w - 1159 = 2*x. Let q = 346 + w. Does 15 divide q?
False
Let r = -6 - -10. Suppose 5*c - 6 = -r*n, -1 = n + c - 3. Suppose -2*o = -3*t - 49, n*o = 3*o + 3*t + 23. Does 10 divide o?
False
Let l(n) = 8*n - 13. Let t be (-1)/(-1) + (-8)/(-4). Suppose 0 = -t*h + 33 - 6. Does 18 divide l(h)?
False
Is 14 a factor of (-2061)/(-12) + (-17)/(-68)?
False
Let x(f) = -9*f**2 + 6*f - 3. Let i(a) = 8*a**2 - 5*a + 3. Let r(w) = 6*i(w) + 5*x(w). Let y be (-70)/(-22) + 6/(-33). Is r(y) a multiple of 10?
True
Let g(w) = -2*w**2 - 18*w + 1. Let i be g(-8). Suppose -4*q + 71 = -i. Does 7 divide q?
False
Suppose -5*a + 15 = -0*a. Suppose -5*w + 78 = a*m, w + 2*m = -2*w + 47. Is w a multiple of 3?
True
Let o = 638 - 440. Is o a multiple of 6?
True
Let z(q) = q**3 + 16*q**2 - 15*q - 6. Is 10 a factor of z(-16)?
False
Let m(f) = f**3 - 14*f**2 - 6*f + 7. Is 7 a factor of m(15)?
False
Suppose 0*i - 4*i + 2*u = -1000, 0 = 2*i + u - 508. Suppose -4*s - 3*s = -i. Does 4 divide s?
True
Let x(p) = 50*p**2 - 44. Is x(4) a multiple of 21?
True
Let n(l) = -38*l + 495. Is n(0) a multiple of 45?
True
Let o(d) = 5*d**3 + 28*d**2 + 6*d - 6. Is o(-5) a multiple of 7?
False
Let d = -197 - -285. Is d a multiple of 11?
True
Suppose 102*g + 4611 = 105*g. Is g a multiple of 24?
False
Is 5 a factor of (-12)/(-40) - (-233425)/250?
False
Suppose -163 = -4*n + 581. Does 62 divide n?
True
Suppose 54*a = 16*a + 110124. Does 9 divide a?
True
Let y(q) = 112*q + 9. Let b(x) = -x - 2. Let h(l) = -2*b(l) - y(l). Is 10 a factor of h(-1)?
False
Let s(i) = -99*i - 6. Is 15 a factor of s(-1)?
False
Let k = 250 - 20. Is 23 a factor of k?
True
Suppose -2*t + 13*t - 43373 = 0. Is 19 a factor of t?
False
Let k(z) = z**3 + 10*z**2 - 11*z - 12. Let r be k(-11). Let p be (-4)/3*18/r. Suppose p*c = 3*c - 5. Is c a multiple of 4?
False
Let z = 13 + 12. Let l be z/(3*3/9). Let b = 11 + l. Is 18 a factor of b?
True
Suppose j = -4*v + 105, 2*v + 4*j - 51 = 5*j. Let q = -22 + v. Suppose 4*m = q, m - 180 = -3*i + 16. Is 13 a factor of i?
True
Let h = -5 - 1. Let f = -21 - h. Does 23 divide f/6*(-276)/15?
True
Let b(m) = m**3 + 2*m**2 - 2*m + 3. Let j be b(-3). Suppose j = f - 4*f - 72. Does 18 divide (45/(-10))/(2/f)?
True
Let f(t) = t**3 + 20*t**2 + 66*t - 15. Is 10 a factor of f(-13)?
True
Suppose 24*d = 89*d - 40755. Is d a multiple of 11?
True
Let d be 519/2 - 8/(-16). Is 2 - d/39*(-6)/4 a multiple of 12?
True
Suppose -627 = 7*l - 3399. Is l a multiple of 9?
True
Let r be (-6)/15 - (-13)/(-5). Let a(y) = 2*y + 3. Let u be a(r). Let l(i) = -8*i - 4. Is l(u) a multiple of 10?
True
Let a = -8 + 9. Suppose -x + a = -0*x. Does 14 divide (-507)/(-12) - x/4?
True
Suppose -10*p + 6639 - 4219 = 0. Does 5 divide p?
False
Let u(i) = i**2 + 14*i + 28. Let p be u(-14). Let h = 0 + p. Let n = h - -7. Is 5 a factor of n?
True
Suppose -3*c - 5 = 5*t, c + 4*t - 2 = -13. Suppose -f = o - 68, 136 = 5*o - 3*o - c*f. Is o a multiple of 34?
True
Let p = 10624 - 5593. Does 62 divide p?
False
Suppose 5*t - 10*t + 350 = 0. Let u = t + 109. Let c = u - 83. Is 18 a factor of c?
False
Let v(d) = -8*d + 2*d + 0*d. Let l be v(-1). Suppose 0 = 2*x + 4*w - l, -2*x + 3*w + 56 = 2*x. Does 3 divide x?
False
Let a be 4 + 1/2 + (-15)/6. Does 10 divide a + 166 - 26/(-13)?
True
Suppose -2*b = -4*c - 2536, 168*b - 172*b = -4*c - 5064. Does 79 divide b?
True
Suppose 4*p = -h + 11, 61 = -5*h - 5*p + 176. Is 27 a facto