or of g?
False
Suppose 6*o = 3*o + 2*p + 50, 0 = -5*o + 5*p + 90. Is 9 a factor of o?
False
Suppose -5*h + 4*r - 8 = 0, 0 = 2*h + 3*h - 3*r + 6. Suppose 5*j - 2*q - 3*q - 10 = h, -5*q - 5 = 0. Does 14 divide (2 + j + -2)*14?
True
Suppose 0 = 3*a - a - 6. Suppose h + 2*y = 9, -27 = -0*h - a*h + 5*y. Is h a multiple of 3?
True
Let x = 221 - 100. Does 11 divide x?
True
Suppose -11*m = -4*m - 1708. Is 14 a factor of m?
False
Let w(g) = g**2 + 3. Suppose 4*h = -2*q - 3*q + 5, -2*h + 16 = -2*q. Is 9 a factor of w(h)?
False
Suppose -q + 24 = 2*i, -94 + 34 = -5*i + q. Suppose 2*p = 2, 5*p - 10 = -v + i. Suppose -y + v + 3 = 0. Does 10 divide y?
True
Suppose b - 2*p = -4*b - 53, b = -2*p - 1. Let x = -5 - b. Is 3 a factor of x?
False
Let m be (13 - 2) + -4 + 3. Let g = m + -5. Suppose 0 = -g*c + 122 + 3. Does 14 divide c?
False
Let l(c) = 3*c**2 - 7*c + 5. Let o be l(5). Suppose 0 = -4*f + 9*f - o. Is f a multiple of 9?
True
Does 18 divide (-4 + 2)*(-17 - 1)?
True
Let k = -3 + 6. Let d be 10/k - 3/9. Is 7 a factor of 14*3/(d - 0)?
True
Let j be (-26)/143 + 387/11. Suppose 2*t - 35 = 5*u, 0 = 2*t + u - 30 - j. Does 15 divide t?
True
Suppose k + 0*m - 18 = 3*m, 4*k = -m + 20. Suppose 3 = f + k. Let l = f - -15. Is l a multiple of 6?
True
Let d be (4/(-10))/(7/(-105)). Suppose 2*g = d*g - 40. Is g a multiple of 3?
False
Let g be 2/(-8) + 13/4. Suppose 5*k + q - 105 = 0, -g*q + 2*q - 84 = -4*k. Is 10 a factor of k?
False
Let o(i) = i**3 + i**2 - i + 5. Suppose -5*a - 3*s + 3 = 0, -2 = -5*a - 2*s - 0*s. Let t be o(a). Suppose -x = -h + 2 + t, 0 = 3*h + x - 41. Is 6 a factor of h?
True
Let k(b) = b**2 + b + 6. Let m be 1*18*2/4. Suppose 1 + m = -2*w. Is k(w) a multiple of 16?
False
Suppose 4*g - 4*i - 88 = 0, -5*g - 3*i = -13 - 89. Does 7 divide g?
True
Let s(g) = g. Let d be s(-6). Let x be 1*-19 - (4 + d). Let k = x - -40. Is 10 a factor of k?
False
Let m be ((-9)/2)/((-9)/(-12)). Let g(p) = p**2 + 6*p + 3. Is g(m) a multiple of 2?
False
Suppose 0 = 2*y - 4*y + 4. Let l be y*6/(-2 + -1). Is 5 a factor of l/6 - 160/(-15)?
True
Let a(c) = 22*c - 3. Does 14 divide a(5)?
False
Let r(k) = 6*k - 1. Let n be r(1). Suppose -n*l + 293 = 83. Is 11 a factor of l?
False
Let i be 12 + (4 - 1/1). Suppose -i = 2*u - 71. Is 14 a factor of u?
True
Suppose 0 = -5*f + f + 2*i + 194, 5*i = f - 44. Suppose -26 = -5*n + f. Is n a multiple of 15?
True
Let d = 5 - 1. Let k = -8 + d. Let p(i) = -8*i - 3. Is p(k) a multiple of 16?
False
Suppose -x = -4*d + 264, -4*x - 9 = -2*d + 137. Does 21 divide d?
False
Suppose 0 = -3*u + 361 - 10. Is u a multiple of 17?
False
Let z be 4/(-8) + 10/4. Suppose a + z*a - 33 = 0. Does 5 divide a?
False
Let t(m) = 33*m**2 + 2*m. Let u be t(-2). Suppose 114 = 4*o + 5*z, 3*z = 5*o + 2*z - u. Is 13 a factor of o?
True
Suppose -2*r = 3*r - 3*v - 3, -r - 5*v - 5 = 0. Suppose 5 = 5*w - r. Is (1 - -32) + w/1 a multiple of 17?
True
Let c(w) be the third derivative of w**7/2520 - w**6/60 + 2*w**5/15 + w**4/24 - 2*w**2. Let n(g) be the second derivative of c(g). Is 2 a factor of n(11)?
False
Suppose -4*s - s + 2*m = -425, 146 = 2*s + 4*m. Let j = s + -48. Does 9 divide j?
False
Suppose 14 = 4*z - 5*a, 2*z + 3*z + 2*a - 34 = 0. Is 6 a factor of z?
True
Let m = 2 + 0. Let j be (-2)/(-3) - 30/(-9). Let v = j + m. Does 6 divide v?
True
Suppose 20*k + 162 = 21*k. Is 11 a factor of k?
False
Let t = -13 + 19. Let j(p) be the first derivative of 3*p**2/2 + 4*p - 2. Is j(t) a multiple of 9?
False
Let k(c) = 8*c + 3. Let g be k(-4). Let l = -16 + g. Let d = 77 + l. Is d a multiple of 16?
True
Let f(x) = x**2 + 5*x - 3. Suppose -z = -3*c - 5, 0 = -2*z + c - 4 - 11. Does 11 divide f(z)?
False
Is 11 a factor of (-6)/(-21) - 6624/(-42)?
False
Suppose -4*b - 3*d - 9 = 0, 5*d + 12 = -2*b + d. Suppose b = o - 5 + 3, 3*n + 4*o = 50. Is n a multiple of 7?
True
Suppose -4 = -5*w - 3*r + 4, -3*w + 16 = -r. Suppose -w*l + 0 - 20 = 5*c, 16 = -4*c. Suppose 2*n + 1 - 11 = l. Is 5 a factor of n?
True
Suppose 6*u + 252 = 10*u. Is 8 a factor of u?
False
Let u be 4*1 - (-2 + 1). Suppose 3*l = -u*g + 46 + 79, -3*l + g = -101. Does 16 divide l?
False
Suppose 6 = 2*a, l + 10*a - 24 = 5*a. Let g = l + 9. Does 6 divide g?
True
Suppose -4*x - 44 = -6*x. Does 11 divide x?
True
Suppose 5*o - 4*l + 87 = 0, 2 = -o - 3*l - 4. Is 12 a factor of (-235)/o + 2/6?
False
Suppose 5*n = 3*f + 1073 + 199, -4*n - 3*f = -996. Does 42 divide n?
True
Suppose -485 = -3*u + g, 2*u - 4*u - 5*g + 329 = 0. Is u a multiple of 24?
False
Suppose 3*x - 101 = 205. Is x a multiple of 9?
False
Let n(r) = 16*r**3 + r - 1. Does 9 divide n(1)?
False
Suppose q - 5*q = -292. Does 15 divide q?
False
Let p be (-1 - (-4 - -2)) + 1. Let i = 4 - p. Suppose 4*d + 4*u = 40, -2*u = d + i*d - 34. Is d a multiple of 14?
True
Let v = -11 + 31. Let g = -17 - -3. Let a = v + g. Is 3 a factor of a?
True
Let q(k) = -5*k**2 - 11*k + 58. Let d(m) = 2*m**2 + 4*m - 19. Let z(j) = -8*d(j) - 3*q(j). Let a be z(0). Does 4 divide (-3)/(-6) - a/4?
False
Suppose 7*k + 213 = 1221. Is k a multiple of 24?
True
Suppose -l + 10 = s, -4*s - 2*l + 0*l + 30 = 0. Suppose 0 = a - 5*a - 5*n, -s*a = n + 21. Does 12 divide (-1)/1 - 4*a?
False
Let q be (4/10)/(2/20). Let s(h) = h**3 + 4*h**2 - 6*h + 2. Let b be s(-4). Suppose 2*f - q*f = -b. Is f a multiple of 5?
False
Suppose -6*s + 3*s + 117 = 0. Is 11 a factor of s?
False
Let z be (-2 + 3)/(1/(-2)). Let w(f) = 9*f**2 - 1. Is w(z) a multiple of 7?
True
Let c = 0 - -4. Suppose y + 20 = c*j - 4*y, 0 = 5*j + 3*y - 25. Does 2 divide j?
False
Let a(s) = -s**3 + 7*s**2 + 7*s + 9. Let z be a(8). Let o = -1 + z. Suppose o = -5*x + 3*w + 157, 79 = 3*x + 4*w - 21. Is x a multiple of 15?
False
Let k = -11 - -16. Suppose -5*h + 5 = -k. Let i = h - -2. Does 2 divide i?
True
Does 13 divide 10/(-8)*-4 - -47?
True
Suppose 4*x - 11 + 41 = 5*s, 4*x = -s - 18. Let t(u) = u**3 + 3*u**2 - 2*u - 1. Let r be t(s). Suppose g - 6 = r. Is 13 a factor of g?
False
Suppose 2*m - u = 237, 0 = -4*m + 3*u + 345 + 126. Let d(n) = -29*n - 1. Let v be d(-3). Let o = m - v. Is 14 a factor of o?
False
Let t = 57 + -13. Is 11 a factor of t?
True
Is 14 a factor of (2/5)/(6/570)?
False
Let r = 289 - 185. Is r a multiple of 26?
True
Let k = 132 + -67. Does 10 divide k?
False
Let h(u) = -2*u - 1. Let a be h(-3). Suppose -t + 3*q = -7 - 1, -3*t - a*q = -80. Is 10 a factor of t?
True
Let l(d) = d**3 - d**2 + 8*d + 2. Let s be l(6). Suppose 0*r - s = -5*r. Is 19 a factor of r?
False
Let w = -9 + 13. Let l(h) be the first derivative of 7*h**2/2 - h - 1. Is 21 a factor of l(w)?
False
Let c = 45 + -25. Is 9 a factor of 0 + c - 1/(-1)?
False
Suppose 5*t - 66 = -11. Does 13 divide 2 + t - -1 - 1?
True
Let v(o) = o**3 + 16*o**2 + 10*o + 16. Is v(-15) a multiple of 7?
True
Suppose 5*z = 4*a - 41 - 9, a - 3*z - 9 = 0. Let w = -3 + a. Is 126/10 - w/20 a multiple of 6?
True
Suppose 4*g = g + 12. Suppose -4*w = g, -3*w = 5*a + w - 196. Does 20 divide a?
True
Let l = -3 - -7. Suppose b + 5*z = 3*b - 81, -3*z = l*b - 97. Is b a multiple of 15?
False
Suppose -2*f + 4*f = 5*k + 2, 4 = 4*f + 3*k. Let b(o) = 18*o - 2. Does 7 divide b(f)?
False
Let n(s) = -s**2 + 4. Let b be n(6). Let z = -14 - b. Is z a multiple of 7?
False
Let v(x) = -x**2 + 7*x. Let c(m) = 6*m**2 - 7*m - 1. Let u(p) = -5*p**2 + 7*p + 1. Let b(w) = 4*c(w) + 5*u(w). Let n(s) = -2*b(s) + 3*v(s). Does 4 divide n(5)?
True
Let r(v) = -15*v - 6. Is 27 a factor of r(-4)?
True
Let z = -28 + 6. Let g = z + 52. Is g a multiple of 15?
True
Suppose -1376 + 206 = -13*h. Is h a multiple of 5?
True
Suppose -4*z + 9*z = 20. Suppose 9 = 4*s - 11. Suppose 0 = s*l - g - 143 + 39, -z*g = -3*l + 76. Is 10 a factor of l?
True
Suppose -114 = -5*p + 2*p. Does 6 divide p?
False
Suppose 276 = 6*j - 3*j + 3*h, 0 = 2*j - 5*h - 184. Is j a multiple of 13?
False
Let u = -65 - -80. Is 5 a factor of u?
True
Let y(m) = -5 - 4 - 3*m + 4. Does 7 divide y(-5)?
False
Let z be 1/(-4) - 91/(-28). Suppose 32 = z*a - 61. Does 31 divide a?
True
Let c(f) = f**3 - 8*f**2 + 9*f - 7. Let v be c(7). Suppose a + 2*i = 20, -4*a + i - 60 = -v*a. Is 15 a factor of a?
False
Let l = 68 + -44. Does 23 divide l?
False
Let x be 78/(-65)*(-190)/4. Suppose -p - 2*p + x = 0. Does 6 divide p?
False
Let g(j) = -j**2 - 9*j - 6. Let i be g(-8). Let t = 5 - i. Is 3