- 10. Is x a multiple of 14?
False
Let u(i) = i**3 - 5*i**2 - 5*i - 1. Let a be u(6). Suppose -a*o - 11 = -96. Does 7 divide o?
False
Suppose -s + 4*g - 1 = 0, 5*g = -4*s - 20 - 5. Is 18 a factor of (-247)/(-5) + 2/s?
False
Let k(v) = 2*v - 3. Let u(g) = -g - 3. Let o be u(-7). Let r be k(o). Suppose r*p - 29 = 121. Is p a multiple of 15?
True
Let w(g) = g - 66. Let x be w(0). Let b be x/14 - 6/21. Let l = b - -12. Is l a multiple of 7?
True
Let u be (1 + 1)*(-4)/(-8). Suppose -u = -w + 6. Is 2 a factor of w?
False
Let d(a) = 138*a - 1. Is 26 a factor of d(1)?
False
Suppose 4*k - 13 - 7 = 0. Let w(j) = -2*j**3 + 13*j**2 + j - 2. Let f(c) = -c**3 + 7*c**2 - 1. Let p(r) = k*f(r) - 3*w(r). Is 6 a factor of p(5)?
False
Suppose 3*r + 2*r = 50. Suppose 0 = 2*i - 70 + r. Does 15 divide i?
True
Suppose 3*i + 195 = -0*c - 3*c, 0 = c - i + 69. Let b be 5/10 + c/(-2). Suppose 46 = 4*q - b. Is 10 a factor of q?
True
Suppose -7*q + 510 = -q. Does 26 divide q?
False
Let z = -3 + 2. Let o(u) = u. Let m(c) = -5*c. Let k(f) = z*m(f) + 6*o(f). Does 10 divide k(2)?
False
Let l(m) = -m**3 + 2*m**2 + 3. Let s(v) = -2*v**2 - 2. Let k(d) = 3*l(d) + 4*s(d). Let z be k(-2). Suppose -2*u = -z + 3. Does 5 divide u?
False
Suppose 75 = -x - 4*x. Let b be 66/x - (-2)/5. Let j(z) = -3*z - 3. Is 9 a factor of j(b)?
True
Suppose 3*o - 76 = o. Suppose -2*h - 4*k + 62 = 0, -2*h - 3*k + 7*k = -o. Is h a multiple of 7?
False
Let h(x) = -x**3 - x**2 + 3*x - 1. Let s be h(-3). Let c = s + 4. Is ((-8)/c)/(1/(-9)) a multiple of 6?
True
Let k(u) = 20*u**3 - 3*u**2 + 2*u + 4. Is k(2) a multiple of 16?
False
Suppose -4*q - 5*m + 993 = 0, -5*q - m = -3*q - 501. Is (q/(-15))/(2/(-10)) a multiple of 21?
True
Suppose -2*b = -0*b - 20. Let p = 7 - b. Does 7 divide p/(-18) + (-71)/(-6)?
False
Let j(a) be the third derivative of -a**2 - 1/8*a**4 - 1/20*a**5 + 0*a + 0 - 1/120*a**6 + 0*a**3. Does 4 divide j(-3)?
False
Suppose -y = -4*l + 8, 6*y - 10*y + 19 = l. Suppose 2*g = 5*g - 6. Suppose -r = -g*j - j + 8, 0 = y*j + 2*r - 24. Is j even?
True
Suppose 0 = -6*m + 218 + 46. Suppose 5*l = -m + 384. Does 18 divide l?
False
Suppose 5*z = 4*z + 16. Does 8 divide z?
True
Let g be (-3)/9 - 156/(-9). Suppose -p + g = -7. Does 8 divide p?
True
Suppose 4*k = -5*l + 35 - 3, -12 = -3*l. Suppose 4*b + 2*u - 156 = 0, -7*b + k*b + 5*u = -142. Is b a multiple of 21?
False
Let o(p) = -3*p + 1. Let j(a) = 5*a - 1. Let h(t) = 4*j(t) + 7*o(t). Does 4 divide h(-4)?
False
Let l = 61 - 116. Let o = 89 + l. Suppose -3*k + 41 = -v, k - 3*k + o = -2*v. Is 7 a factor of k?
False
Suppose -i + 0 - 4 = 0. Let p(s) = -5*s + 3. Let w be p(i). Let x = w + 27. Is x a multiple of 19?
False
Suppose -3*d - 17 + 107 = 0. Is d a multiple of 10?
True
Let m(c) be the second derivative of -c**5/5 - c**4/12 - c**2/2 - 2*c. Is 9 a factor of m(-2)?
True
Suppose -2 = 5*l - 67. Does 4 divide l?
False
Let f be ((-10)/8)/(5/40). Let d = f + 44. Does 13 divide d/6*(5 + 1)?
False
Suppose -3*h - 129 = -2*t, t + 3*t - 2*h = 278. Is t a multiple of 9?
True
Let k = 97 + 20. Suppose -5*h - 3*o = -123, 5*h - k = -0*h + 3*o. Does 24 divide h?
True
Let c(d) = -18*d + 7. Let q(s) = 6*s - 2. Let t(r) = 4*c(r) + 14*q(r). Does 12 divide t(2)?
True
Let s = 38 - -58. Does 16 divide s?
True
Let w be 1/((10/4)/5). Suppose s - 30 = -w*s. Let y = 2 + s. Is 6 a factor of y?
True
Let j(n) = 5*n. Let x be j(2). Suppose 2*z - 4 = -x, z = -v + 17. Suppose -2*k + k = -v. Is 10 a factor of k?
True
Suppose 5*j = -3*l + 1563, -331 = -2*j + j + 4*l. Suppose 5*v - j = -125. Does 15 divide v?
False
Let v(z) = -4 + z**3 - 3*z - z**3 + 5*z**2 - z**3. Let a be v(3). Suppose -s = 2*b - 17, b - 16 = -a*s + 3*s. Is 6 a factor of b?
True
Let u(y) = y**2 - 2*y + 12. Let i be u(0). Suppose -5*w + 57 = 4*o, 3*o - 3*w - 3 = 6. Let m = i - o. Is m a multiple of 4?
True
Suppose 2*a - 60 = 28. Does 15 divide a?
False
Suppose 2*r = 257 + 173. Is r a multiple of 43?
True
Let f(w) = -2*w**3 + 4*w**2 - w - 4. Let z(l) = 2*l**3 - 4*l**2 + l + 3. Let d(g) = 6*f(g) + 7*z(g). Let m be d(3). Suppose -2*j + 4*j - m = 0. Does 6 divide j?
False
Suppose -3*u = 5*b + 71, u + b = -5 - 18. Is 38/4 + 33/u a multiple of 4?
True
Suppose -2*s - 10 = -3*o, 0 = -o - 4*o + 5*s + 15. Suppose 3*w - 80 = -2*h + 6, -2*h - o = 0. Does 18 divide w?
False
Suppose 0 = c - 3*c + 16. Let f = c - -1. Is f a multiple of 6?
False
Let j = 16 + -9. Let i(r) = r**2 - 6*r + 5. Is 12 a factor of i(j)?
True
Let g be 1/1 + 12/(-4). Let v(j) = -10*j + 1. Does 10 divide v(g)?
False
Let l = 7 + 0. Let m(a) = -a**3 + 8*a**2 - 8*a + 4. Let w be m(l). Is 7 a factor of (1*w)/(9/(-42))?
True
Let b = 6 - 7. Let g(w) = 45*w**2 + 1. Is 12 a factor of g(b)?
False
Let x be (6/3)/((-6)/45). Is (-411)/x - 2/5 a multiple of 7?
False
Let w(k) = k - 3. Let p be w(3). Suppose 0 = -p*f + 5*f + 10. Let y = f - -18. Is 16 a factor of y?
True
Let j = 21 - -20. Is j a multiple of 5?
False
Let p(q) = -q**2 - 7*q + 4. Let a be p(-7). Does 3 divide a/(-4) + (0 - -4)?
True
Let b(v) = v**2 + 2*v + 2. Let q be b(0). Let d(w) = -w**2 - 4*w + 2. Let a be d(-4). Suppose a*p - 74 = -x, x + 31 + 43 = q*p. Does 13 divide p?
False
Let h = 89 - -13. Does 7 divide h?
False
Suppose -3*d + 6*d = 0. Suppose -4*t + 7*t - 42 = d. Does 2 divide (-4)/t + 90/21?
True
Suppose 3*f = -y - 15, f + 58 = -5*y + 3*f. Is 2 a factor of y/(-10)*(-20)/(-6)?
True
Let a = -43 + 84. Is a a multiple of 19?
False
Let h(v) = -3*v - 7. Let f be h(-5). Suppose 4 = -x - 0. Let w = x + f. Is w a multiple of 2?
True
Suppose -3*q + 12 = -51. Suppose y = -4*b + q + 1, 4*b - 32 = 4*y. Is 3 a factor of b?
True
Suppose 2*i - 202 = 5*r, 3*r = -2*i - i + 261. Let d = 43 - 86. Let q = d + i. Does 16 divide q?
True
Suppose 2*l = s + 3, -4*l + 0*s + 11 = -s. Suppose -3*m = -5*v + 35, m = l*v + 5*m + 4. Is 24 - (v - (1 - -1)) a multiple of 19?
False
Let q = -117 - -175. Suppose t + q = 3*t. Does 13 divide t?
False
Let a(f) = f**2 + f + 5. Let k be 1*(6 + 1/1). Let p be a(k). Suppose -p = -4*o - 21. Is 5 a factor of o?
True
Suppose 4*m - 28 = -2*z, 6*m - 2*m - 8 = 3*z. Suppose -5*l + 2*g = 1 + 1, 3*g = -2*l + 3. Suppose l = -z*h + 19 + 33. Is 13 a factor of h?
True
Let w = 5 - 4. Let k(u) = 33*u + 1. Let r be k(3). Suppose 5*v - r = -4*m, v - m + w = -6*m. Does 9 divide v?
False
Let m(c) = -c**3 - 6*c**2 - 6*c - 7. Let t be m(-5). Let w be (t/6)/((-1)/15). Let v(o) = -o**3 + 4*o**2 + 7*o - 3. Is 6 a factor of v(w)?
False
Let l(i) = 15*i**3 - i**2 - i - 1. Let y(p) = -7*p**3. Let q(a) = 6*l(a) + 13*y(a). Let m be q(-5). Is 6 a factor of (-13 - 2/m)*-1?
False
Suppose 8*f - 474 = 86. Does 56 divide f?
False
Let n = 15 + -11. Suppose -2*p = -3*p + 3*q + 18, -q = -n*p + 50. Does 6 divide p?
True
Suppose -6 - 6 = -3*w. Suppose 5*k - 2*c = 2*c + 82, -46 = -3*k + w*c. Is k a multiple of 9?
True
Suppose -4*w - y = 23, 4*y = 2*w + 17 + 17. Let r be 1/((9/33)/3). Let c = r + w. Does 4 divide c?
True
Suppose -2*o + 4 = 2*v, 2*v + 7*o - 4 = 2*o. Suppose 178 = v*z + 18. Does 27 divide z?
False
Let y(h) = -h**3 + 6*h**2 + 17*h - 6. Is y(7) a multiple of 8?
True
Suppose 7*k - 16 = 3*k - 4*m, -4*k - m = -28. Is 4 a factor of k?
True
Let i be (12/9)/(4/6). Let b(g) = 18*g. Is 19 a factor of b(i)?
False
Suppose -3*y - 61 = -i, 6*y = -3*i + 2*y + 118. Let u = 76 - i. Is u a multiple of 15?
True
Let c(d) = -d**3 + 3*d**2 - 2*d + 1. Let q be c(1). Is 11 a factor of 16*q - (-1 - 1)?
False
Suppose -69 - 66 = -3*y - 3*d, 2*y - 4*d - 60 = 0. Is 8 a factor of y?
True
Let b(s) = -33*s**3 + s**2 + s + 1. Does 17 divide b(-1)?
True
Suppose 3*q + 4*u - 71 = 0, -4*q + 80 = -3*u + u. Suppose -q = -2*h - 5. Suppose 4*w - h*w + 148 = -4*n, 3*w - 108 = 2*n. Does 13 divide w?
False
Suppose -4*z = -5*s - 36 - 9, -z + 4*s + 14 = 0. Suppose 22 = 5*m - h, -2*m - 3*h + 4*h + z = 0. Suppose -4 = m*x - 48. Is x a multiple of 5?
False
Let c = 121 - 37. Does 21 divide c?
True
Suppose 5*k - 16*o - 655 = -21*o, 395 = 3*k + 2*o. Is k a multiple of 12?
False
Suppose -3*t + 1 = 4. Let x(m) = 6*m**2 + m + 1. Is 4 a factor of x(t)?
False
Let w be 284/8 - (-2)/(-4). Let m = 10 + w. Is 15 a factor of m?
True
Let a = 61 - 33. Is a a multiple of 21?
False
Suppose -3*r + 6*r = -3*q - 33, 4*q + 2*r + 40 = 0. Let b = q - -6. Is 6 a factor of 3/(2/((-18)/b))?
Fals