/11 - -3. Suppose z = 5*q + 2889. Does 15 divide q?
False
Let f = 91 - 88. Suppose -3*l + f*z + 834 = 0, -l - 53 = -5*z - 339. Suppose -7*v + 3*v + l = 0. Is 4 a factor of v?
False
Suppose 5*z - 2703 = -2*f, 3*f + 1 = -2. Let p = z + -489. Is p a multiple of 3?
False
Let w(c) be the first derivative of -1/2*c**2 - 16 + 27*c. Does 8 divide w(-5)?
True
Let v(b) = 25*b**3 + 5*b**2 + 122*b - 623. Is 83 a factor of v(5)?
True
Let s = 43 - -48. Let d = -1303 + 1265. Let t = s + d. Is t a multiple of 3?
False
Suppose -69*k - 62802 = -95*k + 166050. Is 104 a factor of k?
False
Suppose 7927744 = 233*l - 505691. Is l a multiple of 36?
False
Let f(y) = 11*y - y**3 + 54 - 70 + 22*y - 28*y**2. Let o be f(-29). Is 12 a factor of (1/(-1))/(1/o)?
True
Suppose -3*j - 3*z + 45 = 0, -3*j - z + 27 + 8 = 0. Let l = j - -52. Let q = l - -66. Is q a multiple of 32?
True
Suppose 449064 = -14*m + 86*m. Does 21 divide m?
True
Let b = -37 + 217. Is b a multiple of 10?
True
Suppose -t - 4*o + 9 = 0, t + 0 - 3 = 2*o. Suppose 4*b = 9*b - t*g - 190, -3*g = -5*b + 190. Is 3 a factor of b?
False
Let w(a) = 158*a**2 + 67*a + 254. Is 33 a factor of w(-4)?
False
Suppose w - 887*u - 5674 = -886*u, -w + 5*u = -5654. Does 30 divide w?
False
Let s(n) = 6*n**2 + 11*n + 18. Let b be s(-9). Suppose -10*z = -z - b. Is 4 a factor of 2/(0 - 2) - (4 - z)?
True
Let k = -50 - -26. Let c be (k/(-10))/(-6) + (-24)/(-10). Suppose 5*g - 4*w = 54, 5*w - 68 = -4*g + c*w. Is 5 a factor of g?
False
Suppose -167*j - 420 = -171*j. Suppose 4*f + 0*f + 84 = 0. Let l = j + f. Does 9 divide l?
False
Let h(m) be the third derivative of -19*m**2 - 4*m**3 - 1/10*m**5 - 1/12*m**4 + 1/120*m**6 + 0*m + 0. Does 11 divide h(7)?
True
Is 42 a factor of (-5379)/(-33)*(1 - -2)?
False
Let d(s) = -23*s - 53. Let c be d(14). Does 20 divide (-24*c/135)/((-2)/(-57))?
True
Let w(i) = 80*i**2 + 3*i - 7. Let h be w(2). Suppose 2*f - 81 = h. Is f a multiple of 25?
True
Let l(u) = 22*u**3 + u**2 + 2*u. Suppose -2*a - 5*h = -23, -a + 2*h + 0*h = 11. Let y be l(a). Let i = y + 38. Does 3 divide i?
True
Suppose 71*r - 106*r - 135*r + 257380 = 0. Is 11 a factor of r?
False
Let o = -87 + 182. Suppose 97*z = o*z + 1034. Is 11 a factor of z?
True
Suppose -198 = 5*c + 2*j, 4*j + 83 = -3*c - 33. Is ((-16)/c)/((-2)/10) - -105 a multiple of 11?
False
Let t(l) = -62*l + 244. Let u be t(4). Is u/(-10)*(877 + -17) a multiple of 60?
False
Let o = -36 + 90. Is 4 a factor of 196/9 - (6 - 336/o)?
False
Let r(g) = g**2 + 20*g - 18. Let z be r(-21). Let b(a) = 41*a - 27. Is b(z) a multiple of 6?
True
Let m be (1696 - 1)*(-42)/(-105). Suppose 8*s - 4*s - 5*y - 534 = 0, -5*s + y + m = 0. Does 17 divide s?
True
Does 10 divide (-4)/(-10)*-2 + (-7422)/(-15)?
False
Let m(a) = a**2 - 2*a - 14. Let w be m(-6). Suppose w*r = 30*r + 900. Does 22 divide r?
False
Let q = -20 + 23. Let c be 2563/44 - q/(-4). Let h = c + -28. Is h a multiple of 31?
True
Let z be -1*547 + ((-70)/(-7) - 8). Let o = z - -1805. Is 20 a factor of o?
True
Suppose -13591 - 29201 = -38*r + 32*r. Is r a multiple of 7?
False
Let y = -18 - -6. Suppose -17 = s + 55. Does 7 divide (-754)/y - 12/s?
True
Suppose 475*q - 1922799 = 1170401. Is 4 a factor of q?
True
Let i(k) = 40*k**3 - k**2 - 20*k - 18. Let z be i(-1). Let h = 4 + 60. Let g = h + z. Is 2 a factor of g?
False
Let t(j) = j**2 + 11*j + 13. Let x be 20/(2 - 4) + 0. Let h be t(x). Suppose b - 224 = -h*b. Is 14 a factor of b?
True
Let i(w) = -w**2 - 9*w + 5. Let x be i(-9). Suppose 3*g - 178 = -5*z, 0 = -x*z + 5*g + 13 + 197. Is z a multiple of 38?
True
Suppose -o + 6*o = 3*s + 1662, -s = -o + 334. Suppose 2*l - o = -290. Does 16 divide l?
False
Let b = -84 + 81. Is (7 + -1 + b)*40 a multiple of 30?
True
Suppose 228*y + 418500 = 264*y. Is 15 a factor of y?
True
Suppose -4*u - 22476 = -4*d, -5*u + 8*u + 9 = 0. Is (d/81)/(4/42) a multiple of 28?
True
Suppose 31*g = -6*g + 185. Let i(v) = -v - 9 - v**2 + 2*v + 7*v. Is i(g) even?
True
Let x(j) = 113*j**2 + 161*j + 87. Does 71 divide x(-12)?
False
Suppose 0 = 3*h - 8070 - 52026. Suppose h - 1090 = 41*k. Is 7 a factor of k?
True
Let q = -2 - -5006. Is 9 a factor of q?
True
Suppose 2*y = -4*y + 24. Suppose -108 = -y*n + 232. Let g = -37 + n. Does 16 divide g?
True
Let t be (-67)/(-134) + (6/4 - 0). Suppose -s + 93 = -3*m, 5*s = t*m - 7*m + 485. Does 16 divide s?
True
Suppose -3*a - a + 685 = 3*s, 5*s + 2*a - 1165 = 0. Let n = s - -34. Does 10 divide n?
False
Is 14 a factor of 1212/909*(-118923)/(-2)?
True
Let g(m) = -6*m + 14 - 2*m + 12*m - 3*m. Let u be g(-12). Is ((u - 2) + -182)/(-1) a multiple of 26?
True
Suppose -8 = 2*k + 3*x, -6*x = -3*k - 3*x + 18. Is (k*(-39)/(-9))/(8/36) even?
False
Let t(a) = -5*a + 108. Let b be t(20). Suppose 0 = -20*z + b*z + 9864. Does 88 divide z?
False
Suppose 22*i - 6*i - 1312 = 0. Let x = 165 - i. Is 5 a factor of x?
False
Let k(f) = -92*f - 792. Does 55 divide k(-11)?
True
Suppose -4*f + 16 = 0, -a = -0*a + 5*f - 14. Let w be (-9)/(((-10)/(-15))/(124/a)). Suppose 81 = s + 5*o, 4*s + 2*o - w = -3*o. Does 22 divide s?
True
Let r be (-2)/(9/(-12) - (-2163)/2868). Let c = -238 - r. Is c a multiple of 8?
True
Suppose 25 - 35 = -2*k. Suppose -3*c + 1263 = k*w, -3*w = -7*w - 3*c + 1011. Is 12 a factor of w?
True
Suppose -p - 5*t = -10*t - 17, 2*p - 2*t - 10 = 0. Let h(v) = 83*v + 17. Is h(p) a multiple of 25?
False
Let u(d) = 2*d**3 + 5*d**2 - 7*d - 1. Let n be u(-3). Does 3 divide (267 + n)*(2 + 1)/6?
False
Let x(b) = b**3 + 8*b**2 - 6*b + 16912. Is x(0) a multiple of 17?
False
Suppose -949082 - 291873 = -261*w + 28027. Is w a multiple of 37?
False
Let v be 1*((-132)/(-16))/(3/36). Let k = -81 + v. Does 3 divide k?
True
Suppose 4*g = 3*u - 3834, u = g - 3*g + 1288. Let f = -666 + u. Does 22 divide f?
True
Suppose -70884 = -28*b - 7*b - 31*b. Is b a multiple of 6?
True
Let b = -1972 - -1976. Suppose 0 = -3*u - 2*u. Suppose -q + j + 54 = u, 2*q + q + b*j = 176. Is 11 a factor of q?
False
Let i = 28293 + -16773. Is 96 a factor of i?
True
Suppose -2*t = -0*t - 142. Suppose -g = 4*y - 21, 16 = 3*g + 1. Suppose -y*i = -t - 85. Is i a multiple of 14?
False
Let y(l) = l**3 + 4*l**2 - 10*l + 12. Suppose -3*x + 12 - 2 = -2*q, -q + 5*x - 5 = 0. Let u be y(q). Suppose 33*i = u*i - 80. Is i a multiple of 5?
True
Suppose 8*s - s - 47999 = 0. Suppose 0 = 5*r - 543 - s. Does 91 divide r?
False
Let m = 26 + -29. Let g be m/((-15)/10) - -2. Let f(a) = 11*a**2 - 5*a + 3. Does 16 divide f(g)?
False
Let q(u) = -u**3 - 2*u**2 - 17*u + 27. Does 39 divide q(-13)?
False
Is 5 a factor of (-1)/(2/1766*(5 - 6)/1)?
False
Let m(w) = -235*w - 158. Is 14 a factor of m(-8)?
True
Let v be 21/(-1 - -4)*(-48)/(-7). Suppose -49*k = -51*k - v. Is 12 a factor of (-4)/k - 26/12 - -72?
False
Let k(c) = -21*c - 75. Let b be k(-10). Suppose 22*i + b = 27*i. Is i a multiple of 6?
False
Suppose -15232 = -155*a + 152*a - l, 4*l = a - 5112. Is a a multiple of 10?
True
Let y = -23303 - -25094. Is y a multiple of 9?
True
Let f be 162*(2/(-6) - -2). Let a be (-146 - 1 - -3) + -6. Let i = a + f. Is 12 a factor of i?
True
Let u(r) = -12*r + 51 + 86 + 0*r - 71*r + 19. Is u(-4) a multiple of 8?
True
Let t(w) = 751*w**2 - 302*w + 898. Is t(3) a multiple of 8?
False
Let h = 382 - 545. Let l = h - -498. Is 5 a factor of l?
True
Suppose 1774229 = -440*n + 14665349. Is n a multiple of 6?
True
Suppose 5*s = 15, 0 = -2*f + s + 1049 + 2932. Is f a multiple of 83?
True
Let a be 4 - (10/2 + -1). Suppose a*j = 6*j - 2724. Suppose -86 = -t - 0*t - 3*w, 5*t - j = -3*w. Is 23 a factor of t?
True
Let x be (8/(-24))/(3/(-207)). Suppose 44 = 21*d - x*d. Is d/33 + (-302)/(-3) a multiple of 17?
False
Suppose 0 = 8*a - 36572 + 5996. Is a a multiple of 162?
False
Let j(i) = 483*i**3 + 6*i**2 - 57*i + 146. Is j(4) a multiple of 6?
False
Let z(o) = 1790*o + 16135. Does 5 divide z(8)?
True
Is (-8)/(-3) + 39208/39 a multiple of 56?
True
Let f(k) = -35*k + 1698. Is f(0) a multiple of 68?
False
Suppose 14*d - 83195 = 88865. Does 42 divide d?
False
Let l(h) = h**2 - 13*h + 14. Let q = -33 - -43. Suppose r = a - q, -4 = 3*r - 4*r. Does 11 divide l(a)?
False
Let s(d) = 2*d**3 - 117*d**2 - 59*d - 3. Let y be s(59). Let w(n) = 2*n - 3. Let h be w(3). Does 21 divide (4/y)/(h/(-108))?
False
Is 13 a factor of ((-4)/(-5 + 3))/(13*(-11)/(-1172