 be z(1). Is 7 a factor of b(o)?
False
Let h(d) = -6*d**3 - 3*d**2 + 5*d + 10. Is 10 a factor of h(-4)?
False
Suppose -5*j + 144 = g, g + 47*j = 50*j + 112. Is 6 a factor of g?
False
Suppose -b - 8*n - 4 = -4*n, 3*n = 4*b + 54. Let y = 16 + b. Suppose 0 = -3*x + 2*x - 4*d + 69, y*x + d = 291. Is 16 a factor of x?
False
Is (-5)/(-20) + -5 + (-4377)/(-12) a multiple of 10?
True
Let n(r) = -370*r - 380. Is 13 a factor of n(-7)?
True
Let n = -148 + 102. Let m = 59 + n. Is 5 a factor of m?
False
Is 2/(-12) - (2812/(-24) + 2) a multiple of 16?
False
Suppose a - 1309 = -4*k, -5*k + 4405 = 3*a + 499. Is 24 a factor of a?
False
Let s = -263 - -167. Let z = s + 345. Is 54 a factor of z?
False
Suppose -m - 260 = -3*m. Is m a multiple of 10?
True
Suppose 1 = 2*i - 3, -4*t + 2226 = 3*i. Is t a multiple of 15?
True
Let h(m) = 3*m**3 - 3*m**2 + 2*m - 8. Suppose -5*v + l + 11 = 0, -l - 5 - 3 = -4*v. Does 9 divide h(v)?
False
Let z = -94 - -92. Does 9 divide 11 + z - (2 - (2 + 0))?
True
Let m be 3*(-6)/(-18)*31. Let w = 16 + -34. Let d = w + m. Is d a multiple of 10?
False
Suppose -k = 18 - 21. Let l be (-217)/(-4) - 1/4. Suppose -5*u + 3*p = -56 - 34, -k*u + 4*p = -l. Is u a multiple of 9?
True
Suppose 0 = -4*w - 3*b + 1711 + 18, -w + 4*b + 418 = 0. Is 3 a factor of w?
False
Let j(h) = 13*h**2 + 40*h + h**3 - 4 - 31*h - 2*h**2. Let q be j(-10). Suppose -4*c = -6*c - q, -n - 5*c = -18. Does 11 divide n?
True
Let v be 2466/(-42) + (-4)/14. Let d = -15 - v. Suppose -6*k - d = -10*k. Is 11 a factor of k?
True
Let v(q) = -q**2 + 12*q - 15. Let r be v(9). Is 18 a factor of ((-51)/(-34))/(1/r)?
True
Suppose -21*o + 22*o = 1. Is 37 a factor of 218 - (5 + -13)*o/2?
True
Let y = -2 + 6. Let d(t) = 2*t + t - 2 + 13 - y*t. Is d(8) even?
False
Let b(k) = -k**2 - 4*k - 7. Let z(a) = a + 1. Let t(p) = p - 17. Let o be t(12). Let i(n) = o*z(n) - b(n). Is i(-4) a multiple of 11?
True
Does 20 divide 253 - (-4 + (-5 - -2))?
True
Let c = 25 - 34. Does 29 divide -87*-3*(-3)/c?
True
Suppose -5*b + 2633 = -937. Let s = -492 + b. Is s a multiple of 37?
True
Suppose -4*t - 2*u + 4 = -4*u, -5*u + 10 = 0. Suppose i + 2*d - 17 = 0, -48 = -4*i - 2*d - t*d. Does 3 divide i?
False
Is 19 a factor of (-4)/2*((-654)/4 + 2)?
True
Let f be (-8 - (-2)/(-1))/1. Let h = 10 + f. Suppose -3*x - 2*x + 100 = h. Is 7 a factor of x?
False
Let x(b) = -10*b + 13. Let d = 162 + -170. Does 19 divide x(d)?
False
Suppose 14*w = 11*w - 24. Let r(b) = -3*b - 17. Is 2 a factor of r(w)?
False
Suppose -p = -6*p + 5, 3*k - 2*p + 8 = 0. Let m(v) = 2*v + 2. Let f be m(k). Is ((-6)/9)/(f/117) a multiple of 8?
False
Suppose -21 = -s - 3*q, 3*s - 3*q - 80 + 17 = 0. Suppose -4*i + 29 = 4*n + n, 0 = -5*n + 4*i + s. Does 5 divide n?
True
Let z be (6 - 1) + (1 - 1). Let q(k) = k**2 - 10*k + 24. Let v be q(6). Suppose v = a + s - 10, 9 + 47 = z*a + 2*s. Does 4 divide a?
True
Does 19 divide 2774*(0 - (2/4 - 1))?
True
Suppose j - 2*j + 105 = 0. Suppose 2*d + 3*d - j = 0. Does 4 divide d?
False
Suppose -24 = -3*q - 5*r, 7*q = 2*q - 5*r + 30. Let m be ((-6)/(-9))/(q/9). Suppose -6*z + m*z = 8, -u + 41 = 2*z. Is 15 a factor of u?
True
Let z(w) be the second derivative of -w**5/20 - 2*w**4/3 + w**2/2 + 6*w. Let d be z(-8). Is (50 + (-4 - -7))/d a multiple of 9?
False
Let d(t) = -t**2 - t. Let w be d(1). Let n(s) = -2*s**3 - 22*s**2 + 3*s + 14. Let p be n(-6). Is 32 a factor of (p/8 + -3)*w?
False
Let j(x) = x**2 - 8*x + 6. Let u be j(7). Let y = u + 3. Is (y - 3) + 1*10 a multiple of 9?
True
Let s(k) = 16*k + 38. Let x be s(7). Let z = 167 - x. Is z a multiple of 17?
True
Let p = -3926 - -7056. Is 22 a factor of p?
False
Suppose -189*i - 4158 = -196*i. Does 33 divide i?
True
Let k(o) = -28*o - 10. Let y be k(2). Let f = y - -157. Does 7 divide f?
True
Suppose -2*s - 2*u + 8 = 0, 5*s - 3*u + 1 = 5. Suppose 2*v - 222 = s*i, 3*v - 5*i + 58 = 401. Does 41 divide v?
False
Let o(f) = f**3 - 1. Let x(h) = 10*h**3 + 3*h**2 + 7*h + 10. Let k(t) = 2*o(t) - x(t). Is 18 a factor of k(-2)?
True
Does 15 divide -7 + (-14854)/(-21) - 3/9?
False
Suppose 5*l = -5*b + 1625, 27*b + 4*l - 1630 = 22*b. Does 57 divide b?
False
Let b be 18/(-1 - 1)*140/42. Let z = -21 - b. Does 2 divide z?
False
Let z(w) = -89*w - 101. Is z(-4) a multiple of 24?
False
Does 59 divide (-1)/7 - (-31808)/49?
True
Let p be 6*(-7)/(21/(-4)). Suppose p*m + 175 = 13*m. Suppose -m = -2*s - h, 4*s - 58 = 5*h - 9. Is 8 a factor of s?
True
Let q(j) be the second derivative of -j**3/2 + j**2/2 - 38*j. Is q(-12) a multiple of 2?
False
Let i = 235 + 189. Does 51 divide i?
False
Let x be -1 + 2 - (-6)/2. Suppose x*t - 1 = t - 2*j, -3*j = -2*t + 5. Is (-20)/(t*(1 - 2)) a multiple of 8?
False
Suppose 3*r = 7*v - 3*v - 32, r = 4*v - 24. Does 8 divide 16/(7/((-266)/r))?
True
Suppose 2*k = -69 + 9. Let o be (6/(-10))/(6/k). Suppose -18 = -0*m - o*m. Does 2 divide m?
True
Suppose -3*i + 7 = -2*i. Let p(x) = -3*x - 6*x + x**2 - i + 4*x + 2*x. Is 21 a factor of p(7)?
True
Suppose -5*k + 196 = -74. Suppose 4*b - k = 7*b. Let h = -14 - b. Is h a multiple of 2?
True
Let v(z) = 8 + 10 + 7*z - 2 - 6. Let m(u) = -u**2 + 9*u - 8. Let n be m(7). Is 13 a factor of v(n)?
True
Let t = -931 + 1453. Does 18 divide t?
True
Let u(a) = a**3 - a**2 - a + 1. Suppose 3*b - 2 = 1. Let j(h) = 4*h**3 + 2*h**2 - 4*h + 8. Let d(o) = b*j(o) - 5*u(o). Does 15 divide d(6)?
True
Suppose -5*u + 9 = 69. Let k = 83 + u. Is 22 a factor of k?
False
Let o be -3 + (7 + 0 - (-1 - -2)). Let a be -1 - (3*-1 - 2). Suppose a*k - 10 = -v, o*v - 5*k - 64 = -0*v. Is v a multiple of 12?
False
Let l = -23 - -33. Let z(k) = k**3 + 2*k**2 - 12*k - 9. Let a be z(-4). Is 16 a factor of (4/a)/(l/665)?
False
Suppose 2*p + 4 = 12. Does 20 divide ((-2)/3)/((8/(-165))/p)?
False
Suppose u - 20 = -21. Is 37 a factor of u/((1/78)/(-1))?
False
Suppose -106*u + 5028 = -100*u. Does 58 divide u?
False
Suppose 2*d - 6*d = 112. Suppose 3*o - 144 = -3*u, 0 = 2*o - 8*u + 7*u - 102. Let a = o - d. Is 22 a factor of a?
False
Suppose 3*q = 6*q. Suppose q*y - y + 5 = 0. Suppose 4*r - 22 = -b - 0, -2*r = y*b - 110. Is b a multiple of 11?
True
Does 14 divide (-1)/(12/210)*116/(-5)?
True
Suppose -7*o + 10875 = 8*o. Does 25 divide o?
True
Let w(o) = o**3 - o**2 + o + 1. Let q(v) = 61*v**3 + 3*v**2 - 2*v - 3. Let g(z) = q(z) + w(z). Let x be g(-1). Let k = x + 170. Does 22 divide k?
False
Let l(a) = -a**3 + 4*a + 9. Let b(s) = -4*s**3 + 2*s**2 + 16*s + 37. Let y(i) = 2*b(i) - 9*l(i). Let r be 6/(-4)*(-8)/(-3). Is y(r) a multiple of 8?
False
Let m(r) = 3*r + 1. Let o be m(11). Suppose -o = 4*a - 94. Is 12 a factor of 234/a + (-2)/(-5)?
False
Let i = -4 - -12. Suppose -9 = 2*d - b - 2, -2*b + i = -2*d. Is 20 a factor of d*-56*(-3)/(-9)?
False
Suppose 8 = -2*z + 12. Suppose -s - z = -131. Does 43 divide s?
True
Suppose -9*m - 457 = 1829. Let a = -96 - m. Is 18 a factor of a?
False
Let c = -37 + 33. Let k = c - -28. Is k a multiple of 6?
True
Suppose 0 = 8*o - 1247 + 31. Suppose -v - 4*r + 70 - 6 = 0, 4*r - o = -3*v. Does 3 divide v?
False
Suppose -7*w = -116 - 38. Suppose w*k - 28*k = -126. Is k a multiple of 6?
False
Let d(s) = -s**3 + 14*s**2 + 7*s - 9. Let i be 1 + 1 + 0 - 36/(-3). Is d(i) a multiple of 11?
False
Suppose -s + 3*s = 5*i - 146, -3*i = -s - 88. Suppose -3*z + 87 + i = 0. Let k = 59 - z. Does 9 divide k?
False
Let t = 4 + -5. Let h be (0 + t)*3 + 8. Suppose -4*i - 3*d + 25 = 0, h*i - 4*d - d = 75. Is i a multiple of 5?
True
Let r = -608 + 848. Does 45 divide r?
False
Let g be (0 - -2) + 0 - 4. Let n = g + 6. Let f(m) = m**3 - 3*m**2 - 3*m + 4. Does 3 divide f(n)?
False
Suppose w + 1 = 3. Suppose c = 1 - w. Let y = 7 - c. Does 6 divide y?
False
Suppose -3*j - 410 = -3*y - 2*j, -y + 5*j + 146 = 0. Is 17 a factor of y?
True
Let k(s) = -s**3 + 13*s**2 + 15*s + 5. Is 19 a factor of k(14)?
True
Let h(u) = 4*u**2 - 4*u + 2. Let y = 31 - 14. Suppose -5*d = -y + 2. Does 13 divide h(d)?
True
Suppose -b - 4*q + 197 = -137, 5*q = -b + 338. Does 46 divide b?
False
Suppose 95 = 2*j + 17. Let a = 67 - j. Is 3 a factor of a?
False
Suppose 5 = 2*t - 9. Suppose -2*w + 3 = -t. Suppose w*v = -2*z - 2*z + 305, z + 265 = 4*v. Does 13 divide v?
True
Let q(a) = -a**3 - 12*a**2 - 11*a - 15. Let f be q(-10). Let v = 189 + f. Is 42 a factor of v?
True
Suppose -654 + 206 = -2*