t v(o) = -68*o. Let x be v(-4). Let m = x - 146. Does 19 divide m?
False
Let x = -10 - -9. Let h be 10*((-36)/8)/x. Let j = h - 1. Does 22 divide j?
True
Let i(s) = -2*s**3 - 7*s**2 + 10*s + 5. Is 25 a factor of i(-6)?
True
Suppose 0 = -5*k + 4*i + 24, 4*k = i + 2*i + 19. Suppose n - k*n - 5*j + 151 = 0, -n = -4*j - 22. Is 6 a factor of n?
True
Suppose 0 = -2*w - 4*p + 168, -w - 2*p + 7*p = -112. Does 23 divide w?
True
Suppose 5*r - 3463 = -u, 29*u = 30*u - 12*r - 3412. Is 28 a factor of u?
False
Suppose 10 = -6*f + 8*f. Suppose 3*t = s + 183 - 34, 0 = 2*t + f*s - 105. Is t a multiple of 19?
False
Let d(m) = m + 1. Let l(r) = -10*r - 2. Let x(z) = 2*d(z) - l(z). Let g be x(-5). Is 8 a factor of ((-14)/g)/(1/36)?
False
Suppose -5*w = -104 - 66. Is 11 a factor of (w/6 - 1)*510/119?
False
Let o(m) be the first derivative of 2*m**3/3 - 3*m**2/2 - 16*m + 4. Does 28 divide o(-4)?
True
Let r be ((-162)/8)/((-2)/8). Suppose 89 + r = 5*m. Suppose 0 = -5*l + 25, -m = -v - 4*l + 31. Does 17 divide v?
False
Let z be (3 - 3 - 0) + 158. Let t = z + -35. Is 21 a factor of t?
False
Suppose 54 = 8*b - 5*b. Let f = b + -18. Suppose k - 57 = -2*k + 3*v, f = -4*v - 20. Is 7 a factor of k?
True
Suppose -3*h + 39*t = 36*t - 2676, 5*h - 4*t - 4464 = 0. Is 28 a factor of h?
True
Suppose -4*z + x + 648 = 0, 0 = -5*z - 2*x + 3*x + 810. Is 7 a factor of z?
False
Let z(d) = -6*d - 2 - 18*d + 2. Let n(g) = -3*g. Let f(b) = 33*n(b) - 4*z(b). Is 8 a factor of f(-10)?
False
Let a(w) = -5*w + 42*w**2 + 37*w**2 - 77*w**2 + 9. Does 13 divide a(6)?
False
Let i = -87 - -146. Is i a multiple of 35?
False
Let s = -59 + 66. Let n = 29 - s. Does 6 divide n?
False
Suppose 0 = -g - 2*b + 148, 4*g - 5*b - 507 - 137 = 0. Is 12 a factor of g?
True
Let b(v) = 996*v + 36. Is b(2) a multiple of 26?
True
Let p = -719 - -846. Does 7 divide p?
False
Let g(w) = 849*w**2 + 8*w - 9. Is 18 a factor of g(1)?
False
Let x(v) = -v**2 + 30*v - 75. Let w be x(31). Suppose 0 = 4*q + 532 + 108. Let y = w - q. Is 14 a factor of y?
False
Let i = 1822 - 1366. Is 14 a factor of i?
False
Suppose -4*s + 0 - 16 = 0, -1524 = -4*t + 4*s. Is t a multiple of 13?
True
Let v(i) = 2*i - 1. Let u be v(3). Suppose -u*x + 12 = -x - 2*r, -4*x - 3*r = -2. Is 3 a factor of 1728/78 + x/(-13)?
False
Let h = -1394 - -1784. Is h a multiple of 13?
True
Suppose 8 = 7*i - 3*i. Is (-1032)/45*-6 + i/5 a multiple of 46?
True
Let f(j) = j**2 + 11*j - 12. Let y be f(-14). Suppose 0 = d - y. Does 10 divide d?
True
Let f = 4931 - 3356. Does 10 divide f?
False
Is 3 a factor of (-1)/(-2) + 13/((-156)/(-1842))?
False
Let k be (-79)/(-9) - 34/(-153). Suppose 0*y + k*y = 495. Does 21 divide y?
False
Let r be (-14)/(-5) - (-3)/15. Suppose -m = -r*m + 210. Is m a multiple of 15?
True
Let f(v) = -34*v**3 - v**2 - 4*v - 3. Is 7 a factor of f(-2)?
True
Let c(h) = 91*h - 7. Let n be c(5). Suppose 0 = -4*m - 0*m + n. Is 14 a factor of m?
True
Suppose -5*h - 3*m + 2346 = -6550, -h + 3*m + 1772 = 0. Does 8 divide h?
False
Let a(j) = -8*j**2 - 10*j + 5 + 3*j**3 - j**2 - 2*j**3 + 4*j**2. Is a(7) a multiple of 9?
False
Suppose -90 = -5*c + 14*c. Suppose 5*t = 304 + 66. Is t/10 - c/(-25) a multiple of 2?
False
Suppose -l + 125 = 19. Let o(w) = -w + 6. Let a be o(0). Suppose 50 = a*s - l. Does 13 divide s?
True
Let o be ((-14)/7 - 0) + (1 - 104). Let r = o + 222. Is r a multiple of 16?
False
Suppose 337*r - 338*r + 182 = 0. Is 14 a factor of r?
True
Let k(m) = 101*m + 17. Let r be k(6). Let x = r + -220. Is 31 a factor of x?
True
Let x(w) = 650*w**3 - 3*w**2 + 3*w - 1. Does 11 divide x(1)?
True
Let c(a) = 34*a + 28. Let z be c(-4). Does 29 divide (-1)/((-6)/(-196))*z/42?
False
Let m(i) = -i**3 - 7*i**2 - 12*i - 26. Let x be m(-6). Let y(v) = 18*v + 7. Is y(x) a multiple of 22?
False
Suppose 180 = 4*y - 384. Let a = y + -95. Is a a multiple of 23?
True
Let k = -5 + 267. Does 5 divide k?
False
Suppose 1 = -3*s + 10. Suppose 4*y = s*m - 331, -2*m - m = 5*y - 322. Does 14 divide m?
False
Suppose 16*v + 8 = 17*v. Does 4 divide 66/v + 4 + (-51)/12?
True
Let u(z) = 14*z**2 - 23*z + 225. Is 48 a factor of u(9)?
True
Suppose -2*b + 4*k = -b - 27, -5*b + 3*k + 50 = 0. Is 7 a factor of b?
True
Suppose 0 = 25*y - 11*y - 3206. Is 18 a factor of y?
False
Let s be 2 - -1 - -1 - 2. Suppose p - 110 = -s*k, 2*p - p = -k + 108. Suppose -w - w = -p. Is 12 a factor of w?
False
Suppose 10563 = -44*x + 29043. Is 21 a factor of x?
True
Let b(o) = 4*o + 4. Let t be b(-4). Let g be 4/6*(0 + t). Let h = 11 + g. Does 3 divide h?
True
Let w = 2477 + -2365. Is w a multiple of 28?
True
Let s(m) = m**2 - 11*m + 9. Let x be s(9). Let z be -1 - -3 - (x + -8). Is -2 - (-2 + z/(-1)) a multiple of 9?
False
Is (-12)/(-2 + 0) + 159 a multiple of 11?
True
Let u = -46 + 50. Suppose -3*f + 3*y + 579 = 0, f - y = u*f - 591. Is 10 a factor of f?
False
Does 10 divide 0 + -6 + 6 + 91?
False
Let h(x) = x**3 + 8*x**2 - 19*x - 11. Let w(k) = -7*k**2 + 1 + 13*k + 7*k - k**3 + 9. Let l(p) = -7*h(p) - 6*w(p). Is 13 a factor of l(-15)?
False
Let b be 1/(15/(-2)) + (-320)/(-150). Suppose 4*r - q = 344, -5*r - b*q = -r - 332. Is 19 a factor of r?
False
Let v(o) = -o - 7. Let f be v(-10). Let r = f + 0. Suppose -141 = -5*n + 4*t, -5*n - r*t = -t - 117. Is 25 a factor of n?
True
Let x = -16 + 6. Let u be (-43 + -3)*(-1 + x). Suppose 0 = 2*q - 2*a - 200, -5*q + 3*a + u = a. Is q a multiple of 34?
True
Let w(h) = -27*h + 19. Let j be w(-3). Let b = j - 91. Is 2 a factor of b?
False
Let v be 1076/10 + (-4)/(-10). Suppose 4*k = k - v. Let c = 64 + k. Does 14 divide c?
True
Let g(i) = 83*i - 16. Does 44 divide g(4)?
False
Suppose -4*g + 186 + 18 = 0. Does 15 divide g?
False
Let w = 15 - 11. Let m be (4/4)/((-6)/(-942)). Suppose w*j = 183 + m. Is 16 a factor of j?
False
Let f be (-1)/(((-35)/40)/7). Suppose 3*a = -3*g + 12, f = 2*a + 3*g - 7*g. Suppose 0 = -a*l + k + 172, l - k = 6*l - 206. Is 14 a factor of l?
True
Is 7 a factor of (-4 + 2 + -2)/((-1)/65)?
False
Suppose 4*y = s + 1604, 0 = -19*y + 22*y - 5*s - 1203. Is y a multiple of 7?
False
Let n = 506 + -156. Is 10 a factor of n?
True
Let w be (6 - 10) + 6 + -2. Suppose -4*g + 2*c + 0*c = -10, 5*g - c - 20 = w. Suppose -24 = -4*r + 5*n, -r + 0*r + 4*n = g. Is 4 a factor of r?
False
Suppose -5*l - 2*t = 2244 - 9578, 3*l - 2*t = 4410. Is 11 a factor of l?
False
Let c = -91 - -91. Suppose c = -p - 0*p + 132. Is p a multiple of 44?
True
Let p = 862 - 538. Is 18 a factor of p?
True
Is 33 a factor of ((-3 - 8)*2)/((-6)/81)?
True
Is 13 a factor of 352 + 2 + 3*(-1 - 0)?
True
Suppose 0 = -5*n - h + 21, 5*n + 3*h - 15 = 2*n. Let c(m) = 3*m**2 + 4*m - 2. Let b be c(-4). Let p = n + b. Is 29 a factor of p?
False
Let l be (8/(-16))/((-11)/10 - -1). Suppose z - l*a - 141 = 11, 5*a = 20. Is z a multiple of 36?
False
Suppose 10*q = 4746 - 976. Is q a multiple of 8?
False
Let g(d) = 4*d**2 + 2*d + 118. Is 12 a factor of g(11)?
True
Let i(z) = -z**2 - 2*z. Let v be i(0). Suppose -44 = 4*w - v. Let q = w - -17. Is 6 a factor of q?
True
Suppose 2178 = -7*t + 10*t + 5*m, 2*t - m = 1465. Does 17 divide t?
True
Suppose -666 = -4*i - 3*u + 2954, 2*u + 2698 = 3*i. Does 22 divide i?
True
Let i(p) = -10*p - 60. Is 45 a factor of i(-15)?
True
Let o(h) = 15*h**2 + 5*h + 3. Does 17 divide o(2)?
False
Suppose -66*a - 189 = -69*a. Does 10 divide a?
False
Let i(w) = 2*w. Let b be i(4). Let z = 839 + -843. Does 12 divide (-2)/b - 49/z?
True
Let r(b) = 5*b**2 + b + 1. Let d be r(3). Suppose 2*w - 3*q + 16 = 0, -4*q - 13 - 4 = 5*w. Let g = d + w. Is g a multiple of 22?
True
Suppose -2*x + 5*d = -1103, -x - d = 3*d - 571. Is x a multiple of 13?
True
Suppose -2*x + 440 + 168 = 4*c, c = x + 152. Does 4 divide c?
True
Let p(s) = -2*s - 15. Let b(v) = -v - 2. Let n(g) = 6*b(g) - 2*p(g). Is n(-6) a multiple of 8?
False
Let z be (-1 - 0)*(0 + -4). Suppose 2*k = -2*r + 42, 0 = -2*k - 0*r - z*r + 46. Is 19 a factor of k?
True
Let j(x) be the first derivative of -x**4/4 + 11*x**3/3 - x**2 - 8*x - 16. Does 9 divide j(10)?
True
Suppose -2*w + 627 = 3*d - 4*w, 3*d = -w + 636. Is 66 a factor of d?
False
Let m(i) = i**3 - 4*i**2 + 4*i + 6. Let o(k) = -k**2 - k. Let l(c) = m(c) + 3*o(c). Is l(8) a multiple of 13?
True
Let h(b) = 2*b**3 + 27*b**2 - 12*b - 42. Is 22 a factor of h(-12)?
False
Let r(h) = 2*h**3 + 5