14?
False
Let f = -89056 - -131067. Is f a multiple of 47?
False
Let z(b) = -9*b - 29. Let v(o) be the second derivative of -o**4/12 + o**3/6 - 5*o**2/2 - 10*o. Let h be v(4). Does 20 divide z(h)?
False
Suppose 7*w = -6*w + 1794. Let z = -84 + w. Let d = -26 + z. Is 7 a factor of d?
True
Let h = 16859 - -29845. Is 12 a factor of h?
True
Let x(t) = -t**3 - 14*t**2 - 16*t - 3. Let l be x(-13). Let k = l - 20. Is -3*k/20*240/(-9) a multiple of 15?
False
Let h be (-1 - -22)*5*1/15. Is 3 a factor of 457/9 - (h/9 + -1)?
True
Let p = 374 - 317. Is 7 a factor of 1770/21 + (-3 - p/(-21))?
True
Suppose 364911 = -104*r + 1515151. Is 27 a factor of r?
False
Suppose 5*n - 309 = -4. Let o = 72 + n. Is 6 a factor of o?
False
Suppose -4*p = -2*p. Suppose p = -6*i + 62 + 82. Suppose -i*k + 31*k = 616. Is 11 a factor of k?
True
Suppose 0 = 5*u - 2*v - 187, 9 - 7 = -2*v. Let k be 1*14*u/2. Suppose 0 = -d - 1, 11*d - k = -3*l + 15*d. Does 17 divide l?
True
Suppose 15*u - 45 = 6*u. Suppose 3*r - 2*t = 1273, 0 = 15*r - 10*r + u*t - 2105. Does 24 divide r?
False
Let g(z) = 2*z**3 + 19*z**2 + 8*z. Let y be g(-9). Suppose y*l = 1665 + 234. Does 26 divide l?
False
Suppose 4*q = 2*d + 8580 + 3266, 4*q = -2*d + 11834. Does 10 divide q?
True
Let l(u) = 22*u + 1. Let d be l(1). Let p = d - -259. Suppose p = y + 2*y. Is y a multiple of 15?
False
Let v(h) = -2*h**2 - 15*h + 36. Let i be v(3). Let g(c) = c**2 + 28*c + 165. Does 7 divide g(i)?
False
Let z(v) = -v**3 + 17*v**2 - 28*v - 31. Let m(s) = -7*s + 90. Let f be m(11). Is 12 a factor of z(f)?
False
Let s(d) = -48 - 42 + 238 - 22*d - 6 - 20. Is 42 a factor of s(-9)?
False
Let f be 8/(-48)*-6 - -16. Let o(l) = -l**3 + 19*l**2 - 24*l + 5. Is 7 a factor of o(f)?
True
Let w be 5/(-4)*480/(-100). Suppose -w*k + 60 + 306 = 0. Is 7 a factor of k?
False
Suppose -10 - 38 = -4*w - 3*q, 3*w - 41 = -q. Suppose 4*g - z - 11 = 0, -3*g + 3 = -4*z - w. Is 13 a factor of g + (-8)/2 - -77?
False
Let x be (7 - -104) + (-5)/((-5)/4). Suppose -d - 3*c + 7*c = -43, x = 3*d - 5*c. Is 7 a factor of d?
True
Let x be (-290)/(-8)*(-16)/(-20). Suppose -21*z = -x*z + 936. Does 76 divide z?
False
Suppose -120*c + 28806 = 3*y - 117*c, 3*c = -2*y + 19206. Is 10 a factor of y?
True
Let a(g) = -24*g + 60. Let i be a(-10). Suppose 25*o = 275 + i. Is o a multiple of 23?
True
Suppose -2*o + 4*a = -40, 3*o - 5*a + 3*a = 48. Is 5 a factor of 157 - o*(-2)/(-4)?
True
Suppose 11*j - 7*j - 4 = 0. Let z be 21 + (1 - ((1 - j) + 3)). Let v(l) = -l**3 + 20*l**2 - 19*l + 8. Is v(z) a multiple of 8?
True
Is (36864/(-2560))/((-1)/895) a multiple of 179?
True
Let l = -7089 - -74256. Is 13 a factor of l?
False
Let f(q) = q**3 - 18*q**2 + 16*q - 13. Let b be f(18). Suppose 3*p + 3*t + 2*t = b, 184 = 2*p + 4*t. Is p even?
True
Let v be 0*(-2)/4 - -85. Let b be 17986/8602 + (-12)/11. Let f = v - b. Does 28 divide f?
True
Let a be 6/(4/2*(-8)/(-368)). Let r = a - 132. Suppose -r*i + 755 - 161 = 0. Is i a multiple of 5?
False
Suppose 2*l + z - 1630 = 0, -z - 38 = -40. Does 10 divide l?
False
Suppose -9*a = -35*a + 38090. Is 17 a factor of a?
False
Let d = -785 - -1116. Let z = d - 148. Is z a multiple of 6?
False
Suppose 3*p = 5*x, 3*p + 4*x - 2*x = 0. Suppose -3*s = -v + 25, -85 = 90*v - 93*v + 4*s. Suppose -5*t - r + 130 = p, -4*r + 92 - v = 3*t. Is 9 a factor of t?
True
Let g be (-1)/10 - 4/(-40). Suppose g = 3*d + 20*d - 5520. Is 48 a factor of d?
True
Is 14 a factor of 272 - -2*(-2 - (-21)/(-14))?
False
Let y(t) = -2*t**3 - 88*t**2 + 200*t + 30. Is y(-51) a multiple of 81?
True
Suppose 4*l = y + 2*y + 222, 0 = 3*l + y - 160. Suppose -2*k - 100 - 18 = -2*q, -43 = -q + 5*k. Let u = q - l. Does 5 divide u?
False
Let o = 12695 + -5165. Is o a multiple of 34?
False
Suppose -393*i - 3663 = -389*i - 61543. Does 32 divide i?
False
Let w(c) = -2*c**3 - 22*c**2 - 34*c + 22. Let h be w(-9). Suppose -h*a + 4*l + 0*l + 2052 = 0, 5*a + 2*l - 2565 = 0. Is a a multiple of 94?
False
Let l be (1/2)/(1/4). Let q(d) = 3*d**2 + 24*d + 35. Let u be q(-7). Suppose -l*j + 24 = -u. Is 19 a factor of j?
True
Suppose 41 = 4*g + 5*j, 4*g + 2*j + 4 = 30. Is 1*g/20*0 - -40 a multiple of 40?
True
Let i(r) = 98*r + 43. Let w be i(10). Suppose -v + 3*c = -471 + 128, 3*c = 3*v - w. Is v a multiple of 20?
True
Is -9710*(3/(-13) + (-10)/13) a multiple of 34?
False
Does 33 divide (-17478)/(-24) + -2 + -1 + 3/4?
True
Let v = 7 - 9. Let i(g) = -7*g**3 + 5*g + 5. Let t be i(v). Does 17 divide t - (-4 - (-6 - -2))?
True
Let p(u) = -2*u**3 + 7*u**2 + 8*u + 11. Let v be p(7). Let n = -71 - v. Let d = n - 125. Is d a multiple of 16?
True
Suppose -4*n + 2*s - 2 = -32, n - 2*s = 3. Let d(y) = 12*y**2 - 40*y - 63. Let t(z) = 3*z**2 - 10*z - 16. Let x(r) = n*t(r) - 2*d(r). Does 10 divide x(7)?
False
Suppose -b + l + 7656 = 0, -4*l + 16249 + 6684 = 3*b. Is 7 a factor of b?
True
Let j(h) = 23*h**2 + 67*h + 657. Is j(-16) a multiple of 13?
True
Let n = 74368 + -43904. Is n a multiple of 112?
True
Let b be 35060/20 - 3/(-1). Let h = 3048 - b. Is 19 a factor of h?
True
Let q = 12466 + -9666. Is 20 a factor of q?
True
Is 3 a factor of 3/((-135)/(-6)) - (-5 - 75852/135)?
True
Suppose 8*g = 3*g + 3*z + 30076, -5*g + 2*z = -30074. Suppose 3*x = l - 1213, 0 = -22*l + 17*l - 2*x + g. Is l a multiple of 79?
False
Let z(i) = 8*i. Let t be z(1). Let y be 23/(-92) - (-6733)/4 - -5. Does 29 divide 1*4 + y/t?
False
Let d = 167 - 90. Let g = d + -72. Is 8 a factor of 16/g*((-33)/(-6) + -3)?
True
Let a = 1007 - 711. Suppose v - a = -5*l, -v - 4*v = 2*l - 1480. Does 8 divide v?
True
Suppose -2*o + z + 5419 = 0, -o - o - 5*z + 5389 = 0. Is o a multiple of 13?
False
Suppose -293*p = -943416 - 547368. Is p a multiple of 24?
True
Let t = -8671 - -10797. Is t a multiple of 5?
False
Let x = 6058 - 3905. Is x a multiple of 107?
False
Suppose -7596 = -2*l + 39*i - 36*i, 0 = -3*l - 5*i + 11375. Does 25 divide l?
False
Suppose 2*i - 36 = -10*i. Let t(p) = 73*p**2 + 6*p - 9. Is 54 a factor of t(i)?
False
Suppose 770 - 306 = a - 4*n, 0 = -4*a - 2*n + 1946. Suppose 2*d - 79 = 5*t - 687, 0 = -4*t + d + a. Does 10 divide t?
True
Let w(b) = 112*b**3 + 8*b**2 + 7*b - 46. Does 37 divide w(3)?
True
Let c be ((-2)/14)/((-51)/173859). Suppose -b + 365 = -c. Does 61 divide b?
False
Let x = 196 - 93. Let i = x - -7. Is i a multiple of 10?
True
Suppose 19*f - 48 = 28. Suppose f*g - 546 = -b, -2*b + 10*g = 15*g - 1095. Is b a multiple of 30?
False
Suppose -14 = 7*a - 3*a + 3*g, 0 = -g - 2. Is 16 a factor of (5/(-5))/(a/162)?
False
Suppose 0 = 11*o + o + 36. Is 14 a factor of (3 - o) + (-2502)/(-3)?
True
Let v(w) = -283*w - 3. Let d be v(-3). Suppose f = 10*f - d. Is 11 a factor of f?
False
Suppose 2*x + 17 = -m + 77, -123 = -2*m - x. Let w = 61 - m. Is w/2 - 1455/(-20)*2 a multiple of 29?
True
Let j(l) = -4*l - 115. Let n be j(-30). Let m be 2 - (0 + (-2 - 108)). Suppose 3*p - m = n*h, -32 = -2*p - 4*h + 72. Is p a multiple of 12?
False
Suppose 0 = -q + 4*y - 2, 2*y + 3*y + 113 = -4*q. Let s = -7 - q. Suppose 385 = 5*t + s. Is 15 a factor of t?
False
Is 3650 - (9 - 27 - -32) a multiple of 2?
True
Let c(w) be the second derivative of -11*w**3/6 + 19*w**2/2 + w. Let d(z) = 12*z - 20. Let o(r) = -5*c(r) - 4*d(r). Is 10 a factor of o(8)?
False
Let l(f) = f**2 - 2*f - 77. Let n be l(-8). Suppose -n*r - r = -1316. Does 47 divide r?
True
Let m(b) = b**2 + 7*b - 2. Let x be (-4)/(-10) + (-208)/20. Let q be m(x). Suppose -5*d + 120 = r, -r = -2*d + 13 + q. Is 3 a factor of d?
False
Suppose 38587 - 44227 = -2*i. Is i a multiple of 94?
True
Suppose 4*q + 4*x - 5897 = -1221, -2*q = -3*x - 2323. Let s = -518 + q. Is s a multiple of 36?
True
Suppose -o - 20 - 27 = 4*c, 5*c + 61 = -2*o. Let v(f) be the first derivative of -4*f**2 - 25*f - 55. Is 24 a factor of v(c)?
False
Let m(b) = 43*b**2 + 122*b - 2584. Does 14 divide m(15)?
False
Let g(w) = 11*w + 76. Let b(z) = 3*z + 19. Let c(f) = -9*b(f) + 2*g(f). Let d be c(-5). Suppose 12*j - 186 = d*j. Is j a multiple of 4?
False
Suppose -58*s - 4450 = -14416 - 172734. Does 9 divide s?
True
Suppose -6*o = -8*o + 5*k + 7577, -2*k = -7*o + 26597. Is 6 a factor of o?
False
Suppose 9*p - 84 = -o - 4*p, 3*o = -5*p + 48. Suppose 3*v - v - 10 = 0. Suppose -v*r - o = -8*r, 2*r + 452 = 4*z. Is z a multiple of 38?
True
Let o(t) = -t**2 - 2