 116. Is 22 a factor of w?
False
Suppose 7*a - 3*g - 21 = 2*a, 4*a - 2*g - 16 = 0. Suppose -a*c + 57 = 15. Is 5 a factor of c?
False
Let t(r) = -7*r - 1. Let x(s) = 10*s + 1. Let w(n) = -7*t(n) - 5*x(n). Let b be w(3). Is 14 a factor of b*1 - (-12 - 3)?
True
Let i(g) = 2*g + 4*g**2 + 2*g**2 + 0*g**2. Is 14 a factor of i(2)?
True
Is 11 a factor of (-280)/(-21)*(0 - -3)?
False
Suppose 2*k - 7 = 1. Suppose 2*r = -i + 65, k*i - 3*r = 2*i + 123. Suppose 5*x = 4*x + i. Is x a multiple of 23?
False
Let g be ((-200)/32)/(1/(-8)). Suppose 5*q + 13 + 2 = 0. Is 8 a factor of g/3 - (-2)/q?
True
Let u(d) = 14*d**3 - 5*d**2 + 7*d - 4. Is 5 a factor of u(2)?
False
Let n(i) = -i**3 + 9*i**2 + 11*i - 6. Does 18 divide n(5)?
False
Let o be 6/12 - 7/(-2). Suppose 2*y = 3*f + 1 + 21, 0 = -y - o*f. Suppose y*b - 40 = 4*b - 5*t, 0 = t. Is 4 a factor of b?
False
Suppose 4*r - 112 = -52. Is 2 a factor of r?
False
Let h(r) = -15*r**2 - 3*r + 4. Let d(v) = -v**2 + 1. Let i(p) = -6*d(p) + h(p). Let c be i(-2). Let t = 62 + c. Does 14 divide t?
False
Does 14 divide ((-469)/21)/((-1)/3)?
False
Let a(h) = 3*h - 3*h - h**2 + 16 - 15. Let d(l) = -9*l**2 + l + 4. Let k(t) = 4*a(t) - d(t). Is k(-2) a multiple of 11?
True
Let b(t) = 2*t**3 - 6*t**2 - 7*t + 3. Let z be b(5). Suppose -5*i + z = -142. Does 21 divide i?
True
Suppose -3*d = -4*d + 15. Is d a multiple of 6?
False
Let o = 4 - 0. Suppose -j + 15 = o*j. Is (-1)/(6/(-44))*j a multiple of 10?
False
Suppose -2*b - 2 - 2 = 0. Does 14 divide (b/5)/(3/(-210))?
True
Suppose -2*x + 76 = -10. Suppose -5*j - 14 = k - x, -3*j + 14 = 4*k. Suppose 0 = -t - t + j. Is t even?
False
Suppose 4*y = -4*h - 0*y - 40, -4*h = -3*y + 19. Let n(f) = -4*f + 10. Is 15 a factor of n(h)?
False
Let z be (1 + 105)/(2*-1). Does 13 divide (-1 + (0 - z))/2?
True
Suppose 0 - 33 = -g. Does 6 divide g?
False
Suppose 5*j + 3*s + 2619 = 0, -j + 4*s - 6*s - 528 = 0. Is 13 a factor of (-2)/10 - j/10?
True
Suppose 0*k - 43 = -t - 4*k, -140 = -5*t + 5*k. Suppose 0 = -4*i + 2*y - 1 + t, 4*i - 27 = -y. Is 2 a factor of i?
False
Suppose u - 2*l - 265 = 0, -755 = -3*u - 3*l + l. Is 29 a factor of u?
False
Let a be 6 - (3/1 + -3). Suppose -n + a + 10 = 0. Does 11 divide n?
False
Let c(i) = -2*i**2 + 7*i - 6. Let s be c(5). Let g = s - -45. Suppose -4*h + 2*h = -g. Does 5 divide h?
False
Suppose 6*q - 175 - 131 = 0. Is q a multiple of 23?
False
Suppose -7*f - 810 = -13*f. Does 27 divide f?
True
Let c = 3 + 0. Let o = c + -5. Does 11 divide (66/(-9))/(o/3)?
True
Let i(b) be the first derivative of 6*b + 2 - 4*b**2 + 2*b**3 + 1/4*b**4. Is 13 a factor of i(-7)?
True
Let g(h) be the third derivative of -h**5/60 - 7*h**4/24 + 2*h**3/3 + 2*h**2. Let o be g(-8). Let c = o + 7. Is 2 a factor of c?
False
Suppose 3*i = 5*n - 488, -4*n + 444 = -3*i - 49. Let k = i + 251. Suppose -k = 3*h - 8*h. Is h a multiple of 6?
False
Let d be (2/6)/(1/51). Suppose 3*m + d = -28. Is (-6)/15 - 111/m a multiple of 7?
True
Let q = -152 - -264. Is q a multiple of 28?
True
Suppose -5*x + 235 = -3*h, -2*x + 5*h = -50 - 63. Is 11 a factor of x?
True
Let t be 19/4 - (-5)/20. Suppose -3*p + 204 = t*m, 4*m - m = -p + 120. Does 13 divide m?
True
Suppose 2*w + 138 = 4*v + 3*w, 2*w = -4*v + 140. Suppose 2*g = 4*u - g - v, -5*g = -2*u + 24. Does 7 divide u?
True
Suppose -100 = -5*f + 5*v, 0 = -2*f - 4*v + 24 + 16. Does 20 divide f?
True
Let m = -92 - -167. Is 17 a factor of m?
False
Let x(f) = 2*f**2 + 2*f - 4. Let g be x(-4). Is 7 a factor of g + -4 - (-2 + 0)?
False
Let k = 4 + -17. Let a = k + 19. Suppose -10 = -o + a. Is o a multiple of 7?
False
Let g(t) be the first derivative of t**6/360 + t**5/60 + t**4/6 + t**3/3 - 3. Let b(p) be the third derivative of g(p). Does 14 divide b(-6)?
True
Let u be ((-3)/3)/((-1)/(-8)). Let h be 4/16 + 18/u. Is -1 - -2*(-11)/h a multiple of 5?
True
Let z(c) = 4*c - 4. Is z(5) a multiple of 8?
True
Let z(d) = 2*d - 9 - 2 + d**3 + 15 - 2*d**2. Suppose 4*i = 8 + 4. Is z(i) a multiple of 19?
True
Let n(o) = 8*o - 17. Is n(7) a multiple of 13?
True
Let h = 4 + -2. Let x be h/(-5) + (-24)/(-10). Suppose -4*c = -x*c - 20. Does 10 divide c?
True
Let p = 7 - 4. Suppose p + 3 = 5*a - 4*b, -5*a + 12 = 2*b. Suppose -2*v + 84 = a*v. Does 9 divide v?
False
Suppose 3*d - 6 = 2*g, -3*d + 3*g = d - 7. Suppose 4*o + d - 12 = 0. Does 2 divide o?
True
Suppose -68 = -4*m - 24. Does 11 divide m?
True
Suppose 5*h - o = 160 + 466, 3*o - 622 = -5*h. Is h a multiple of 25?
True
Suppose 4*o - 16 = 4*x - 3*x, 2*x + 4*o = -20. Does 17 divide (-56)/6*54/x?
False
Let d = -5 - -17. Let h(y) = 4*y**3 + 14*y**2 - 2*y - 12. Let l(i) = i**2 - 1. Let m(r) = d*l(r) - h(r). Is 19 a factor of m(-2)?
False
Is 12 a factor of (0 - -1)/((-1)/(-24))?
True
Let s be (-162)/3 - (-1 - 0). Let r = 111 + s. Is 24 a factor of r?
False
Let h(v) = v - 5. Suppose 4*g - 35 + 3 = 0. Let t be h(g). Suppose 15 = t*b - 18. Is b a multiple of 11?
True
Suppose 3*t - 8*t + 3*r = -181, 82 = 2*t + 2*r. Is t a multiple of 9?
False
Suppose 0 = -4*y + 51 + 117. Is 12 a factor of y?
False
Let o = 63 + -42. Is o a multiple of 21?
True
Suppose z = 4*b + 50, -z + b = -0*b - 35. Is 25 a factor of z?
False
Suppose -12 = -2*m - 2*m. Suppose 0*f = f - m. Suppose -207 = -5*j + f*x, j - 6*j - 2*x = -187. Is 14 a factor of j?
False
Is (-13)/(13/6)*-7 a multiple of 14?
True
Is 16 a factor of 2/(-4) - (-114)/4?
False
Let s = 36 + -10. Is s a multiple of 9?
False
Suppose -3*a + b = -49, -4*b = -a + 4 + 16. Is 16 a factor of a?
True
Let x(u) be the third derivative of u**6/120 - u**5/12 + u**4/8 + 5*u**3/3 + 3*u**2. Does 12 divide x(5)?
False
Let f be (-237)/6 - (-1)/2. Let z = 74 + f. Let c = z - 17. Is c a multiple of 9?
True
Suppose -4*o + 2*v + 92 = -474, 3*v = 3*o - 429. Suppose -2*f - 2*f = -o. Suppose 0 = -5*n + f + 40. Is n a multiple of 9?
False
Let a be (-1 - 0) + (12 - -6). Suppose -3*w = -2*w - a. Does 7 divide w?
False
Let w(u) = u**3 - 5*u**2 - 10*u + 4. Let m be w(7). Suppose -2 = f - 4*x - 64, -2*x = f - m. Is 14 a factor of f?
True
Let f be 1/1 - 1/1. Suppose -w + 5*v + 4 = -f*v, -3*w = 4*v - 12. Is (-552)/(-21) + w/(-14) a multiple of 11?
False
Let p = 1 + 1. Let t(g) = -g. Let v be t(-2). Suppose 26 = 3*f - j, -3*f - v*j = -p*f + 3. Is 3 a factor of f?
False
Let n(w) be the second derivative of w**4/2 - w. Does 6 divide n(1)?
True
Let d(h) = 3*h - 13. Let l be d(-9). Let c = l + 3. Let z = c + 59. Does 11 divide z?
True
Suppose -15*c = c - 5152. Is c a multiple of 46?
True
Let k(w) = -6*w - 6. Does 6 divide k(-5)?
True
Does 25 divide 1*(5 + 0)*15?
True
Let u(y) = y**3 + 2*y**2 - y - 2. Suppose 5*h - 6 = -16. Let o be u(h). Suppose o*b = -5*b - z + 112, -4*b - 3*z = -94. Is 6 a factor of b?
False
Suppose -11 = 2*m - 87. Does 19 divide m?
True
Let m(l) = -l**2 + 12*l + 7. Let r be m(10). Let w = 66 - r. Does 13 divide w?
True
Let j = -11 + 10. Let h(k) = -14*k**3 + 3*k**2 - 2*k - 6. Let s(v) = -v**2 + 1. Let l(u) = h(u) + 5*s(u). Is l(j) a multiple of 13?
True
Suppose -3*i + y = 4*y - 84, y + 164 = 5*i. Let f = 49 + i. Does 28 divide f?
False
Is 3 a factor of ((0 + -3)/6)/(1/(-10))?
False
Suppose -2*b + 81 = -4*y - 101, 3*y + 420 = 5*b. Is 27 a factor of b?
True
Let i(a) = a + 28. Let t be i(0). Suppose 4 + t = 4*x. Is x a multiple of 8?
True
Is 3/(-6) + 578/4 a multiple of 18?
True
Let g(x) be the first derivative of -x**7/840 - x**6/72 + x**4/4 + x**3 - 3. Let t(p) be the third derivative of g(p). Is 3 a factor of t(-5)?
True
Suppose 5*y - 9 = 61. Suppose 3*t - 4 = -3*z + y, 3*z + 26 = t. Is 6 a factor of t?
False
Let k(u) = 2*u - 8. Let c be k(6). Suppose 4*t - c = 16. Suppose 3*g - t*g + 56 = 0. Is 25 a factor of g?
False
Let m(j) = j + 9. Let k = -8 - -12. Is m(k) a multiple of 3?
False
Let g(s) = 2 - 11*s**2 - 2 + 32*s**2 - s - 2. Let c be g(-2). Suppose -2*t = t - c. Does 14 divide t?
True
Let h(q) = -8*q - 9. Let u be h(-6). Let b = u + -24. Is 15 a factor of b?
True
Let y be (0 + 1)*1 + -7. Is 5 a factor of 8/(3*(-1)/y)?
False
Let q(b) = -b**3 - 5*b**2 + 4*b + 18. Is q(-9) a multiple of 51?
True
Let d = -15 - -9. Let q be 2/d*-3 + 1. Suppose 0 = -3*p - q*p + 70. Does 7 divide p?
True
Suppose -82 = -3*w + 32. Suppose z - 3*z = -w. Suppose -3*v = 0, -3*v - z - 1 = -4*j. Is 2 a factor of j?
False
Let z = 55 + -23. Is z a