ltiple of 2?
False
Let j(y) = y**3 - y**2 + y + 20. Let i be j(0). Is 11 a factor of (-1)/(-5) - (-436)/i?
True
Suppose -2*y + 16 = 2. Let w(t) = -7*t**2 + 14*t - 2. Let p(g) = -g**2 + g. Let o(u) = -6*p(u) + w(u). Is 4 a factor of o(y)?
False
Let n be ((-8)/(-5))/((-4)/(-10)). Suppose -2*x - 2 = 0, -n*q - 7*x + 3*x = -8. Is q a multiple of 3?
True
Is ((-54)/(-30))/(3/75) a multiple of 16?
False
Suppose 5*u + 5*d = 3*u - 18, 5*d = u - 21. Suppose -4 = -x - u. Suppose q - x*h = 36, -q + 3*q - 4*h - 68 = 0. Is q a multiple of 15?
True
Suppose 0 = 5*b + 4*z - 220, -3*b + b - 4*z = -100. Let v = b + -11. Suppose 2*g + 6*r = 2*r + 38, 2*g - v = -r. Does 7 divide g?
False
Let v = 33 + -49. Suppose 2*i - 3*i - 2 = 0. Let l = i - v. Is 14 a factor of l?
True
Let v = -8 - -12. Suppose v*m - 2*z - 49 - 31 = 0, 2*m = -4*z + 50. Does 21 divide m?
True
Let c be -20*(1 - 7/5). Let x = c + 3. Is 4 a factor of x?
False
Let b = 122 - 82. Is b a multiple of 12?
False
Suppose -4*t = 3*z - 545, t - 279 = -t + 5*z. Does 34 divide t?
False
Suppose 4*t - 91 - 365 = 0. Is t a multiple of 38?
True
Let c = -53 - -82. Is 29 a factor of c?
True
Suppose 0 = 4*t + 110 - 350. Is t a multiple of 15?
True
Suppose -2*n = 3*b - 150, -2*b + 200 = 2*b + 2*n. Is b a multiple of 28?
False
Let d = -275 - -391. Does 29 divide d?
True
Let x(b) = 9*b - 13. Does 18 divide x(7)?
False
Let u be 6/4 + (-12)/(-8). Does 8 divide 12 + (1 - u) - 1?
False
Suppose -142 = -3*x + g + 142, 3*x + 3*g - 276 = 0. Is x a multiple of 25?
False
Let l be ((-16)/12)/((-6)/(-45)). Suppose 5*k + m = 14, 3*m = 2*k - 12 + 3. Is k - 3 - (l - 0) a multiple of 4?
False
Let p(g) be the second derivative of g**4/12 - 7*g**3/6 - 7*g**2/2 - 2*g. Is 19 a factor of p(10)?
False
Suppose 2*b = -3*h + 20 + 20, 2*h + 4*b = 24. Let u = h + -6. Does 4 divide u?
True
Let o = 6 + -2. Suppose -15 = -2*q + h, o*q + 2*h = 27 - 9. Suppose -2*f = q - 40. Is 8 a factor of f?
False
Let u = 4 - 1. Let v(q) = -q**3 - q - 5. Let l be v(-4). Suppose 6*r - u*r = l. Is r a multiple of 8?
False
Is (1 - 2)/((-3)/9) a multiple of 3?
True
Let r be (-1 - -9)/(3 - 4). Let m be (-12)/(-7) + r/(-28). Suppose -m*h + 13 + 11 = 0. Does 6 divide h?
True
Suppose 4*q + 9 = 41. Let o = q - 5. Suppose -o*c + 215 = 2*c. Is 15 a factor of c?
False
Suppose -8 - 12 = -4*h - 2*c, 4*h + 5*c = 32. Suppose -r + 6*l - 10 = 2*l, h*r + l = 9. Suppose -64 = -3*v + 5*b, v + 2*b = r*v - 20. Does 19 divide v?
False
Suppose -9 + 3 = -2*d. Let w = 14 + -10. Suppose -w*v - 5*x + 0*x = -69, 4*v - d*x - 61 = 0. Is v a multiple of 8?
True
Suppose 0 = -4*a + 4 + 76. Is 8 a factor of a?
False
Let z be (-52)/(-39) - 26/(-3). Suppose 0 = -z*b + 7*b + 93. Is 5 a factor of b?
False
Does 6 divide 100/6*(-9)/(-6)?
False
Suppose 0*r = 5*r + 70. Let u(n) = -2*n**2 + 4*n - 4. Let k be u(6). Let a = r - k. Is 16 a factor of a?
False
Let l = 4 + -4. Suppose 0 = -l*f - 2*f + 8. Is 3 a factor of f?
False
Let g be (-2 + 3)*(-3)/1. Is ((-68)/g)/(8/12) a multiple of 16?
False
Suppose h + 2*h = 99. Is h*2/(-6)*-1 a multiple of 10?
False
Suppose 504 = -28*b + 37*b. Is b a multiple of 13?
False
Let h(z) = -z**3 - z**2 + 3*z + 3. Let o be h(3). Let i = 86 + o. Does 9 divide i?
False
Suppose 3*g = 7*g. Suppose -o + 3*y = 1, -4*o + 3*y + 23 = -g*o. Is 4 a factor of o?
True
Let v = -40 - -116. Is 44 a factor of v?
False
Let r(h) = h**2 - 3. Let c be r(-3). Suppose 4*x + c*a = 3*a, -4*x - 4 = 4*a. Is (-2)/x + (-14)/(-3) a multiple of 3?
False
Let w = 8 - 8. Suppose 2*i + w*i - 106 = -4*m, 0 = 3*i - 3*m - 132. Is i a multiple of 11?
False
Let x = 6 + -4. Suppose -x*i - 4 = 3*v - 0, -3*v - 5 = i. Does 4 divide (10*i)/((-5)/(-5))?
False
Let s be 10/(-35) - 864/14. Let a = -22 - s. Is a a multiple of 13?
False
Let g(j) = -j**2 - 8*j - 8. Let u be g(-6). Suppose 0 = -u*c + 11 + 49. Does 15 divide c?
True
Let m = -52 + -8. Does 4 divide 6/(-2) + m/(-6)?
False
Suppose 3*o + 2*r - 2 = 0, -2 = -2*o - r - 1. Suppose -2*f - d + 95 = 3*f, o = -3*f + 5*d + 85. Suppose -3*z = -4*z + f. Is 16 a factor of z?
False
Let k(o) = o**3 - 4*o**2 - 9*o + 6. Is 18 a factor of k(7)?
True
Let n = -5 + 2. Let x(v) = -v**2 - 3*v - 1. Let m be x(n). Is -2*9/(m - 2) a multiple of 3?
True
Suppose y - 4 = 12. Suppose -y = 3*s - 2*l + 11, 3 = l. Let o = 2 - s. Is 9 a factor of o?
True
Suppose -9 - 25 = -l. Let k = -18 + l. Let m = k - -6. Does 11 divide m?
True
Suppose 5*p - 16 = -1. Suppose -p*s - 372 = -4*u, 70 = 2*u - u + 5*s. Suppose 3*d - u = 24. Is d a multiple of 19?
True
Let g(a) = a - 2. Let s be g(6). Suppose 0 = 3*j - 25 + 19. Suppose s*k = j*k + 26. Is 13 a factor of k?
True
Suppose 23 = 5*w + 3. Suppose 3*j = -5*o + 2*o + 30, j - 20 = w*o. Is 4 a factor of j?
True
Is 5 a factor of -2 + 4/(-2) - -32?
False
Let j(k) = -6*k**2 - 2 + 0*k**3 + 15*k**2 - k**3 - 8*k. Let z be j(8). Does 6 divide -3 - z - 13/(-1)?
True
Let b(h) = -h**3 + 6*h**2 - 2*h + 4. Let a = 11 + -6. Is 14 a factor of b(a)?
False
Suppose -4 = -5*c - 2*s, s = -2 - 1. Let q be (-3 - 2)*c/(-5). Does 20 divide -1 + (-3 - -46) - q?
True
Let b(m) = 137*m**2. Let h be b(-1). Suppose 4*j - g + 6*g = h, -2*j = -2*g - 46. Does 14 divide j?
True
Is 12 a factor of -14*12/14*-1?
True
Suppose 3*o = 15, -2*a = 3*a - 5*o. Suppose a*d + 4*n = 6*n + 147, 5*d - 163 = -2*n. Is 10 a factor of d?
False
Suppose 0 = 3*l + 4*u + 50, -4*u - 11 = l + 3. Is 12 a factor of ((-7)/(-2))/((-3)/l)?
False
Let q(f) = -f**2 - 10*f - 12. Let r be 8/10*(-6 - 4). Is 4 a factor of q(r)?
True
Is 14 a factor of 246/18 - (-2)/6?
True
Let i(r) = 2*r - 3. Let l be i(2). Is l*7 + 5 + -5 a multiple of 7?
True
Does 17 divide ((-2)/(-2))/(4 + (-268)/68)?
True
Suppose -4*p + 3*p = 0. Suppose s + 6 = 4*l, p = s - 2*l + 6 - 2. Is (5 + s)*(-23)/(-3) a multiple of 22?
False
Let i(l) = l**3 + 7*l**2 + 5*l - 3. Let t be i(-6). Is 9 a factor of 133/4 - t/12?
False
Let m be (-3)/(-1) - (0 - -2). Suppose 5*w + d - 17 = 0, -6*d - m = -3*w - 2*d. Let k(y) = 2*y**3 - 3*y**2 - 1. Is 13 a factor of k(w)?
True
Let p(y) = y**3 + 5*y**2 - 8*y - 8. Let f be p(-6). Suppose v - 24 - f = -r, 3*r = -4*v + 86. Does 17 divide r?
False
Does 46 divide (-184 - 1)*(1 + -2)?
False
Let s(v) = -v**3 + 7*v**2 - 2*v - 3. Does 7 divide s(6)?
True
Let x = 7 - -2. Suppose x = -6*v + 3*v. Let s(m) = -5*m. Is 15 a factor of s(v)?
True
Let c = -8 - 29. Let d = -23 - -78. Let b = c + d. Is 11 a factor of b?
False
Does 44 divide (-60)/40 - (-481)/2?
False
Let t(b) = -37*b**3 + 2*b**2 + 2*b + 1. Is t(-1) a multiple of 19?
True
Let z(n) be the third derivative of n**6/120 - n**5/10 + n**4/4 + 2*n**3/3 + n**2. Does 23 divide z(6)?
False
Let i(t) = -t**2 - t - 1. Let k(q) = 7*q**2 + 13*q + 10. Let m(w) = 6*i(w) + k(w). Let v be m(-5). Does 14 divide (v/(-15))/(3/105)?
True
Let t(b) = 8*b - 3. Let p be t(2). Suppose 4*k = 53 - p. Is k a multiple of 4?
False
Does 19 divide 12/(-2) + 5 + (-458)/(-2)?
True
Suppose 6 + 15 = i. Is i a multiple of 14?
False
Let b(v) = v**3 - 4*v**2 - 6*v + 4. Let z be b(5). Let s = 6 + z. Is s even?
False
Let l(s) = 130*s - 1. Let i be l(1). Let v be (-49)/(-4) - (-2)/(-8). Is i/12 - (-3)/v a multiple of 11?
True
Let h(w) = 2*w**2 + 7*w + 4. Let n be h(-6). Suppose 0 = -v - n + 12. Is 9 a factor of 2 + 2*v/(-4)?
False
Suppose 5*y - 58 - 22 = -2*n, 5*n = y + 200. Suppose w + w = n. Suppose 0 = -g - 4 + 9, 4*c - 4*g - w = 0. Is c a multiple of 10?
True
Let n(j) = 2*j**2 + 8*j - 4. Let s be n(-7). Suppose -2*t + s = -2. Let r = -3 + t. Does 14 divide r?
False
Let y = -20 - -57. Let b(v) = 3*v**2 + 5*v - 6. Let s be b(-6). Let z = s - y. Is z a multiple of 12?
False
Suppose -12 = -3*i - 3*u, -2*i - 5*u + 9 = -4*u. Suppose -3*l - 3*j - 28 = -i*l, -4*j = 4*l - 96. Is l a multiple of 10?
True
Is 11 a factor of 12/(-10) - (-782)/10?
True
Let r = -127 + 212. Does 24 divide r?
False
Let h(v) = v**3 + v**2 - 2*v + 45. Is h(0) a multiple of 9?
True
Let s(i) = -11*i - 9. Is s(-6) a multiple of 8?
False
Let b = 24 + 3. Is b a multiple of 27?
True
Let x(j) = -37*j**3 + j**2 + 2*j + 1. Let y = -1 + 0. Let f be x(y). Let c = -25 + f. Does 12 divide c?
True
Let o be 92/28 + (-4)/14. Let q(p) = -o*p**2 + 3*p**2 + p**3 - 4 + p**2 + 29. Does 12 divide q(0)?
False
Let p be -3*(12/9)/4. Let b be (-7 - -9) + (-1)/p. Suppose -b*v - 192 = -7*v. 