(j). Is 18 a factor of o(7)?
True
Suppose 3*q - 2*o = -3*o + 417, -2*q + 278 = o. Does 13 divide q?
False
Is (-6)/(-9)*138/4 a multiple of 10?
False
Suppose -k + 3*l = -309, 5*l = -0*k - 3*k + 941. Is (2/6)/(4/k) a multiple of 13?
True
Suppose 0 = 8*l - 3*l + 115. Let i = l + 32. Does 9 divide i?
True
Let w = 34 - 24. Let i be (-84)/(-9) - 6/(-9). Suppose 2*z = 3*r + i + w, 2*z - 2*r = 24. Is z a multiple of 7?
False
Suppose -2*v - 3*v + 275 = 0. Suppose i - k - 10 + 0 = 0, -4*i + v = k. Suppose 2*q - i = 17. Does 15 divide q?
True
Let c(g) = 2*g**3 - 2*g**2. Let j be c(2). Let z = 34 - j. Let s = 13 + z. Is 11 a factor of s?
False
Let d be (-2)/5 - (-120)/50. Is 5 a factor of 1/(-2)*(d - 12)?
True
Let o(a) = a**2 + a - 6. Is o(8) a multiple of 15?
False
Let n = -25 - -70. Let g = -7 + 12. Suppose -5*k = -2*j + 53, -g*k + k + n = 3*j. Does 7 divide j?
False
Suppose 10*x - 463 = 977. Does 18 divide x?
True
Let r(a) = 9*a**2 - 2*a - 2. Let x be (0 + (-1)/2)*-4. Let g be r(x). Suppose -5*p + 4*l = 9*l - 110, 3*l = -p + g. Is p a multiple of 9?
True
Is 6*55/(-20)*1*-2 a multiple of 7?
False
Let j(x) = 18*x - 4. Let u be j(3). Suppose u = v + 4*v. Is 4 a factor of v?
False
Suppose 2*c = -c + 60. Suppose 5*r - r - c = 0. Suppose 0 = -u + r + 25. Does 15 divide u?
True
Suppose -3*o = -2*a + 34, a + 4*a - 4*o = 85. Let d = 27 - a. Does 5 divide d?
True
Suppose 0 = -b + f + 2*f + 21, f - 77 = -2*b. Is b a multiple of 6?
True
Suppose -h = 4*m - 108, -4*h + 7*h - 308 = 4*m. Is 13 a factor of h?
True
Suppose 0 = -4*w + 8*w. Suppose 2*n + 0*n = w. Suppose 3*c - 89 = -3*x + 7, n = 3*x - 12. Does 14 divide c?
True
Is (-1506)/(-8) + 90/120 a multiple of 21?
True
Let u(r) = 0 - 7*r - 1 - 9*r. Does 15 divide u(-1)?
True
Suppose -w + 5*k = -72, -5*k + 201 = 5*w - 159. Is 12 a factor of w?
True
Suppose -308 = -4*c - 52. Let x = c - 36. Is x a multiple of 8?
False
Let m = 15 - 11. Suppose m*b - 66 = -5*q + 46, 4*q = -5*b + 95. Let h = q + -5. Is h a multiple of 9?
False
Let o(k) = -4*k**2 + 25*k - 6. Is 5 a factor of o(4)?
True
Let g be (-696)/(-10) + (-14)/(-35). Let p = g - 30. Is 10 a factor of p?
True
Let y be 4 + (-3)/(12/8). Suppose 3*m + r = -y*r + 72, 2*r = m - 21. Is m a multiple of 23?
True
Let m(f) be the first derivative of f**4/12 + f**2 - f + 3. Let l(y) be the first derivative of m(y). Does 11 divide l(3)?
True
Let v be 1*-2 - 10/(-2). Suppose 0 = -5*a - 4*h + 33, 0*a + 2*a = v*h + 4. Does 3 divide a?
False
Let v(i) be the third derivative of i**6/120 - i**5/60 - i**4/8 - i**3/3 + 2*i**2. Does 3 divide v(3)?
False
Let a(j) = -j**3 + 8*j**2 - 3*j + 8. Let i be a(8). Let r = 34 + i. Is r a multiple of 9?
True
Let a(q) = -q**2 - q - 2. Let g be a(0). Let n(k) = -11*k - 2. Does 8 divide n(g)?
False
Let x = -1 - -16. Does 5 divide x?
True
Let l(h) be the third derivative of h**5/60 + h**3/2 + 2*h**2. Let b = 11 + -15. Does 12 divide l(b)?
False
Suppose -54 = -2*s + 3*h + 14, -2*h = 2*s - 58. Suppose -2*w = 5*v - s, 0 = -2*w + w - 4*v + 23. Does 3 divide w?
True
Let n be (-2532)/(-27) - (-2)/9. Let v = 68 + -131. Let l = n + v. Does 15 divide l?
False
Let a be (-2 - (-3)/1) + 5. Suppose 0 = a*y - 7*y + 46. Suppose g + 1 = n - 6, -y = -3*n - 2*g. Is 4 a factor of n?
True
Let h(c) = -c**3 + c**2 + c + 2. Let j be h(0). Let t(g) be the first derivative of g**4/4 - 3*g**2/2 + 2*g + 11. Does 2 divide t(j)?
True
Let u = -5 - -12. Suppose -2*c + 5*w = -15, -4*c = 3*w - 10 - u. Suppose -c*g + y + 3*y = -14, -30 = -3*g - 3*y. Is g a multiple of 6?
True
Suppose -q + 148 = 48. Is 25 a factor of q?
True
Suppose 0 = f - 5*f - 3*o + 61, 3*o = 5*f - 110. Is f a multiple of 19?
True
Suppose -4*b = 4 - 16. Is 12*b*(-4)/(-9) a multiple of 16?
True
Suppose -6*n + 54 + 294 = 0. Does 6 divide n?
False
Let d = -3 - -8. Suppose 4*w + 3*z = 98, d*z + 12 + 47 = 3*w. Is 6 a factor of w?
False
Let i be -1*(2/1 - 3). Let b(c) = 4*c - 9 + 2 - i - 5. Is 9 a factor of b(9)?
False
Suppose -12*p + 16*p - 616 = 0. Is p a multiple of 7?
True
Suppose -10 - 6 = -2*r. Suppose 0 = a - 2*b - 10, 2*b = -4*a - 2*b - r. Is 3 a factor of ((-56)/21)/(a/(-6))?
False
Let j(f) = f**2 - 3*f + 2. Suppose -3*p - 6*s + 2*s = -7, -3*s - 6 = 0. Does 4 divide j(p)?
True
Let b = -1 - -1. Suppose b = -3*g - 0*g + 42. Is 14 a factor of g?
True
Let a(f) = 3*f + 1. Let h be a(6). Let u = -17 - -10. Let i = h + u. Is 12 a factor of i?
True
Suppose d + 4*d = 5*v - 75, -5*d = v + 81. Let s(i) = -2*i - 8. Does 8 divide s(d)?
True
Let p(k) be the first derivative of 3*k**2 - 10*k + 4. Is 10 a factor of p(5)?
True
Suppose 224 = 4*v - 0*s - s, 4*v + 4*s = 224. Is 14 a factor of v?
True
Let p(t) = 3*t**2 - 2*t**2 + 3*t + 3 + 2*t. Does 7 divide p(-6)?
False
Suppose -4*t + 3*t + 29 = 0. Suppose -1 = -u - 5*v, -3*u = -0*u + v - 17. Suppose -x - 38 = -u*x - l, -2*x + t = 5*l. Is x a multiple of 4?
False
Let y be 1/2 - 6/4. Let h(i) = -12*i - 2*i - 9*i. Is h(y) a multiple of 11?
False
Let y(s) = -s**2 + 6*s**2 + 7*s**2 - 13 - 8*s - s**3. Is 5 a factor of y(11)?
True
Let d(c) = c**2 - 27*c**3 + c**2 + 6*c**3 + c. Let t be d(-1). Suppose -2*u = -3*u + t. Is 11 a factor of u?
True
Let c be 6/24 - (-11)/4. Suppose c*v + v = -140. Let f = v - -61. Does 16 divide f?
False
Suppose -2*w = -5*b - 4*w + 44, -2*b + 18 = w. Does 2 divide 22/b + 1/4?
False
Suppose -3*o + 322 = -245. Suppose -l - 2*l = -o. Is 21 a factor of l?
True
Suppose 4*i - 3*a = 2*a + 190, -2*i = -4*a - 98. Is 15 a factor of i?
True
Let b(h) = h + 5. Let z be b(-6). Let f = z + 9. Is 4 a factor of f?
True
Suppose 3*a + 0 = 6. Suppose -o + a*s - 38 = -2*o, -6 = -2*s. Suppose o = c + 4. Does 12 divide c?
False
Let o be (-46 - 0)*-6*2. Let l = o - 388. Suppose -5*z - 64 + l = 0. Is z a multiple of 10?
True
Suppose -25 = 2*b - 2*d - d, 3*d - 30 = 3*b. Is 4 a factor of ((-6)/b)/(6/80)?
True
Suppose 0 = 4*s - 175 - 273. Does 28 divide s?
True
Suppose 26 = k + 5*g, 4*g - 13 = -k + 8. Is 21 a factor of (-1 + k/(-2))*-28?
True
Suppose 564 = 4*g - 4*y, 3*y + 0*y - 721 = -5*g. Is g a multiple of 15?
False
Suppose -29 = z - 120. Suppose 2 = -w, w + z = 5*j - 2*w. Does 4 divide j?
False
Let p = 42 - 31. Is p a multiple of 5?
False
Let z = -17 + 32. Suppose 0 = -2*h - h + z. Let q(u) = u**2 - 4*u + 5. Is 9 a factor of q(h)?
False
Suppose -2*r = 6 + 6. Let a be (r/(-12))/((-2)/4). Does 14 divide 2/(a/((-42)/3))?
True
Let w = -110 + -86. Let a = 308 + w. Suppose -d - 3*d = -a. Is 12 a factor of d?
False
Let d(j) = -j**3 + 9*j**2 - 11*j + 5. Let g = -3 - -1. Let u be 8 - 1*g/(-2). Is d(u) a multiple of 13?
True
Suppose 1000 = -4*h + 9*h. Is 20 a factor of h?
True
Let a(b) = -b**2 + 1. Let j(q) = -q - 2. Let p(f) = -2*a(f) - j(f). Does 3 divide p(1)?
True
Let l = 2 - -16. Does 17 divide l?
False
Let w = -2 + 4. Suppose -2*x = -3*k - 9, -k + 3*k = w. Let q(h) = 3*h. Is 9 a factor of q(x)?
True
Let v(g) = -g**3 - 5*g**2 - 5*g - 6. Let f be (-9)/(6 - 3) + -2. Does 18 divide v(f)?
False
Suppose 14 = -l + 4*c + 72, -4*c = 20. Is 10 a factor of l?
False
Suppose 0 = -2*y - 8, -17 = -5*b + 3*y - 0. Let a be (2 + 1)/b*3. Let j = 15 - a. Does 6 divide j?
True
Suppose 15*m + 2*m - 3298 = 0. Is 11 a factor of m?
False
Suppose -1740 = 5*b - 2*o, 0*o = -5*o - 25. Is (-4)/10*b/5 a multiple of 14?
True
Let z(k) = -3*k - 1 + 4*k + 0. Is z(5) a multiple of 4?
True
Let t = 0 + -3. Is 12 a factor of (-18)/((18/4)/t)?
True
Let h = 0 + -3. Let a(g) = 3*g**2 + 2*g + 2. Is a(h) a multiple of 12?
False
Suppose -12 = -2*v + 4*u, -2*v + 5*u + 12 = -3. Suppose d = 4*l - 171, v = l - 3*l - 4*d + 72. Suppose 0*w - l = -3*w. Is 9 a factor of w?
False
Suppose 0 = -382*w + 384*w - 430. Is 11 a factor of w?
False
Let s(u) = -u + 12. Let a be s(8). Suppose -2*j = -a - 78. Suppose -4 + j = 2*d + 3*f, -3*d - 4*f + 56 = 0. Is 7 a factor of d?
False
Suppose -4*r + 153 = 2*k + r, 0 = 3*k + 5*r - 222. Suppose 0 = 3*m + 3 - 87. Let o = k - m. Is 14 a factor of o?
False
Let o(r) = 5*r - 11. Let b be o(10). Let c = 84 - b. Is 12 a factor of c?
False
Let f(q) = 7*q + 3. Let w be f(6). Suppose 4*c = c + w. Does 4 divide (12/c)/(1/10)?
True
Let b(j) = -j + 31. Does 4 divide b(-12)?
False
Suppose -6*n + 392 = n. Is 14 a factor of n?
True
Suppose -3*n = n - f - 447, -f - 3 = 0. Is 37 a factor of n?
True
Suppose 3*h = -9, 0 = -2*