s*f - 132. Is 11 a factor of f?
True
Let b(k) be the third derivative of -k**4/6 + k**3 + 6*k**2. Is 11 a factor of b(-4)?
True
Let u be (-6)/2 - (19 - 435). Suppose h - 48 = -3*q, 5*h - 2*q + 122 = u. Is h a multiple of 8?
False
Suppose 2*f - 9214 + 6988 = 0. Is f a multiple of 7?
True
Let t(v) = 14*v - 29. Let i be t(22). Let p = i - 189. Is 44 a factor of p?
False
Let w(s) = s - 10. Suppose t = 2*t + 10. Let p be w(t). Is 10 a factor of ((-176)/p)/((-1)/(-5))?
False
Let l(a) = a**3 - 10*a**2 - 11*a + 2. Let f be l(11). Suppose -f*j - 52 = z, 5*j = -5*z - 169 + 39. Is (j/(-6))/(2/12) a multiple of 10?
False
Let y be 4 - (5*-13 - -3). Let n = y + -47. Does 19 divide n?
True
Let j = 498 + -449. Is j a multiple of 3?
False
Let i(f) = 2*f**3 + f + 1. Let q be i(5). Suppose -2*w = -3*b + 4*b - q, 0 = -5*b + 4*w + 1308. Does 26 divide b?
True
Suppose 2*i + 6*f - 2*f = 1102, -5*i = -3*f - 2690. Is i a multiple of 61?
False
Let y(i) = -3*i + 28. Let b be y(-14). Let q = 134 - b. Does 16 divide q?
True
Suppose m - 4*z - 402 = 0, -3*m = -m - 5*z - 801. Suppose -2*c + 2*u = 3*u - 154, 4*u = 5*c - m. Does 39 divide c?
True
Suppose o = -5 + 10. Let w(a) = a**3 - a**2 + 40. Let i be w(0). Let c = i - o. Is c a multiple of 19?
False
Let v = 299 + 7. Is 47 a factor of v?
False
Let d be (2 - (-28)/1)*4/6. Suppose d = 4*o, -99 + 14 = -4*n + 3*o. Is n a multiple of 18?
False
Suppose 7*r - 543 = -b + 5*r, -2*b = 2*r - 1096. Is b a multiple of 32?
False
Let g(w) = w**3 - 8*w**2 + 16*w + 2. Let x be 6 - (3 + 12/(-3)). Suppose -r = -2*r + x. Does 13 divide g(r)?
True
Does 16 divide ((-64)/(-3))/((-16)/(-96))?
True
Let p = -2135 + 4445. Does 18 divide p?
False
Let n be (-2185)/20 + 2/8. Let d = n + 158. Suppose -2*t = -a - d, 2*t - 4*a - 53 = a. Is 23 a factor of t?
False
Suppose y + 641 = -4*m, 4*y - 1269 = 5*m - 452. Let a be (-46)/m - 226/7. Let h = a + 56. Is 15 a factor of h?
False
Let r be (-7)/(-2)*88/77. Let q(o) = 15*o + 3 - 3 - 1 + 4. Is 16 a factor of q(r)?
False
Is 1/2 - 1479/(-34) a multiple of 22?
True
Suppose 58 = 5*s + 23. Suppose 8*l - s*l - 69 = 0. Is 17 a factor of l?
False
Let x be 0/2*1/2. Suppose x = l - 6*l + 175. Let f = l + 9. Is f a multiple of 22?
True
Let p(a) = -60*a + 8. Let x be p(4). Let c = 372 + x. Does 6 divide ((-6)/15)/((-7)/c)?
False
Let g(c) = 31*c**2 + c + 1. Let u be g(-2). Suppose -3*x - 12 = -u. Is 17 a factor of x?
False
Let v be (7 + -7)/((-3)/(-3) + 0). Suppose 4*k + 3*y - 315 = v, 2*k - 2*y + 6*y - 170 = 0. Is 25 a factor of k?
True
Suppose -2*m + 13 - 1 = 0. Let f be 80/35 + m/(-21). Suppose f*v = -3*v + 4*d + 149, -5*d = -4*v + 112. Is v a multiple of 8?
False
Let g = 41 - 37. Suppose -g*v + 647 = -25. Is v a multiple of 14?
True
Let o = -12 - -4. Let w be 24/((-1)/(o/6)). Let h = -17 + w. Does 6 divide h?
False
Let r(a) = -2*a - 7. Let f be (0 - 1 - 3)*4/2. Is r(f) a multiple of 7?
False
Let y be (-242)/4*(0 - 4). Is y/7 + (-32)/56 a multiple of 17?
True
Suppose -m + 15 = -2*m. Let y = m - -21. Suppose 5*c = -3*g + 119, g - y*c - 33 = -c. Is g a multiple of 8?
False
Let t(h) = 2*h**3 + 2*h + 4. Let c be 102/24 + (-1)/4. Let q be t(c). Suppose -i - q = -3*i. Is 25 a factor of i?
False
Let x(o) = -o**3 + 5*o**2 + 3*o - 6. Let v be (-46)/(-12) - 2/(-12). Suppose d + 3*c = -8, 3*c = d - v*d. Does 11 divide x(d)?
True
Let l(t) = -20*t**2 - 17*t - 2. Let f(u) = -9*u**2 - 9*u - 2. Let b(s) = 9*f(s) - 4*l(s). Let k(i) = -13*i + 1. Let w be k(1). Is 2 a factor of b(w)?
True
Suppose -l - 2 = 3*n, 2*l = -0*n + 2*n - 4. Suppose n*r = -r. Suppose r*w - 3*w + 144 = 0. Is w a multiple of 24?
True
Suppose -2*f - 2*y + 925 = -5*y, y + 1865 = 4*f. Suppose -5*v - n + 1524 = 0, 5*v + f = 3*n + 1975. Is v a multiple of 38?
True
Suppose 0 = 2*h + 5*l - 132 - 305, -2*h = 2*l - 422. Is h a multiple of 2?
True
Let b be 0/((3 - 1) + 0). Suppose b = 5*o - 2*g - 23, 5*g = 2*o - 4*o + 15. Suppose -4*j + 285 = s, 0 = -4*j - 3*s + o*s + 294. Is j a multiple of 12?
True
Let b(c) be the second derivative of 5*c**3/6 - 2*c**2 - 2*c. Let u be 5 + 30/(8 - 5). Does 13 divide b(u)?
False
Suppose 8*z - 9*z = -14. Is 10 a factor of z?
False
Let j(l) = -3434*l**3 - 5*l**2 - l + 2. Does 44 divide j(-1)?
True
Let g(v) = -v**3 + 7*v**2 - v + 7. Let j be g(7). Suppose 2*c - 7*c + 190 = j. Let u = 70 - c. Is u a multiple of 9?
False
Let w(y) = 6*y**2 + 10*y + 9. Let u be w(-6). Let a = -91 - -90. Is a/(u/(-81) - -2) a multiple of 9?
True
Let s(f) = -6 - 4 - 4*f + 1. Suppose 4*r + 4*x - 4 = 0, r + 36 = -3*r + 4*x. Is 2 a factor of s(r)?
False
Is (14140/25*1)/((-10)/(-25)) a multiple of 14?
True
Is (26/10 - 1)*140 a multiple of 3?
False
Let w(z) = z**3 + 16*z**2 + 16*z + 8. Is w(-14) a multiple of 57?
False
Suppose 187 + 27 = 2*m + 2*s, -2*m = -3*s - 239. Let o = m + -41. Suppose 109 = 4*a - o. Is 14 a factor of a?
False
Let z be (9/3)/3 + 18. Suppose 5*y - 3*q = z, -3*y = 2*y - 2*q - 21. Suppose -2*t + 65 = y*l - 109, 0 = 3*t + 9. Does 18 divide l?
True
Suppose 3*s = -3*d - 144, -s = 3*d + s + 149. Let l = -35 - d. Suppose 3*z + l = 6*z. Does 3 divide z?
True
Let w = -19 - -144. Suppose 6*h - w = 85. Is 3 a factor of h?
False
Let u(a) = 41*a**2 - 38*a - 10. Does 16 divide u(9)?
False
Let s(w) = w + 3. Let l be s(-4). Let x be 2*(1 + l - -2). Let o(f) = f**3 - 2*f**2 - 5*f - 3. Does 4 divide o(x)?
False
Does 19 divide ((-8)/6)/(14/(-6993))?
False
Suppose 2*w = -3*h + 72, -43*h = -42*h - 4*w - 24. Let y(s) = 10*s**3 - s**2. Let b be y(1). Suppose -h = -m + b. Does 10 divide m?
False
Let h = -16 - -16. Let s be 6 + h + 1/(-1). Suppose 4*a = 4*n + s*a - 144, 4*n - 144 = a. Is n a multiple of 36?
True
Let c(k) = k**2 + 4*k - 1. Suppose 0 = -5*r + 13 + 27. Suppose 4*o + v - 9 = r, -2*o - 3*v + 21 = 0. Is 10 a factor of c(o)?
True
Let i(t) = -t**3 + 8*t**2 - t + 15. Is i(8) even?
False
Let m = 321 - 57. Suppose -4*s = -2*q + m, 5*q - 11*s - 654 = -7*s. Does 26 divide q?
True
Suppose -2*h = -5*p + 536, -7*p + 550 = -2*p + 5*h. Let x = p + -78. Does 15 divide x?
True
Let b = -27 - -29. Suppose -3 = -b*a + 41. Does 11 divide a?
True
Let c = -4141 - -6129. Does 8 divide c?
False
Let z(r) be the third derivative of r**4/24 + r**3/3 - 9*r**2. Is 14 a factor of z(12)?
True
Let n(y) = -y**2 - 15*y - 10. Let d be n(-14). Suppose -5*a = -0*w - w + 75, d*w + a = 279. Does 8 divide w?
False
Suppose -46*r + 10 = -44*r, -1490 = -2*d - 4*r. Is 27 a factor of d?
False
Let r = -600 + 1024. Is r a multiple of 89?
False
Suppose -s = -c - c - 22, -4*s + 3*c + 63 = 0. Is s a multiple of 8?
False
Suppose -23 = -2*x - t + 4*t, -5*t - 21 = x. Suppose 0 = x*f - 11 - 5. Suppose 5*u - 183 = -f*r, -u + 35 = 2*r + 2. Is 13 a factor of u?
True
Let n = 385 - -279. Suppose n = 6*i + 214. Suppose -5 = -2*u + i. Does 20 divide u?
True
Let m = 29 + -50. Suppose -2*a + 3*a + 46 = -j, 2*j = 5*a + 202. Let n = m - a. Is n a multiple of 5?
False
Let y(c) = -636*c**3 - c**2 - 3*c - 4. Does 12 divide y(-1)?
False
Let a(b) = -15*b - 8. Suppose 3*z + z - 4 = 0. Let y be z + 15/(-4 + 1). Is a(y) a multiple of 13?
True
Let q = -64 - -103. Is q even?
False
Suppose 4*u - 7*u + 12 = 0. Let h(c) = c**3 - 3*c**2 - 4*c + 5. Is h(u) even?
False
Suppose 4*o + 5*y - 25 = 0, 5*o - 2*y - 3*y = -25. Is (2 + o)/(-2) - (-515)/5 a multiple of 17?
True
Let j = 32 + -22. Let n be 10/(-1)*(-24)/j. Suppose 36 = y - n. Is 12 a factor of y?
True
Suppose -1 = -5*i + 4*z + 5, 0 = -i + 4*z - 2. Suppose 4*v - 4*f = -139 + 431, -5*v = -i*f - 374. Is v a multiple of 13?
False
Let t(o) = 2*o**2 - 3*o - 20. Does 66 divide t(14)?
True
Let g(k) = -k**2 + 16*k + 32. Let i be g(18). Does 16 divide i*(270/(-4) + (5 - 3))?
False
Suppose -4*p = -4*y - 0*y + 268, 0 = 5*y + p - 365. Suppose 3*l - 31 = 4*h + 41, 0 = 3*l + h - y. Suppose 0 = o + o - l. Does 6 divide o?
True
Let y be 28/7 - (2 + -1 - 41). Does 15 divide y - (-5 + 0)/5?
True
Let f(c) = c**2 + 15*c - 126. Is 43 a factor of f(22)?
True
Suppose 9 = -s + 11. Suppose -s*p + 5*h = -7260 - 2628, 0 = 3*p + 2*h - 14813. Does 34 divide (-4)/5 - p/(-55)?
False
Let k = 158 - 87. Suppose -5*j + 1 = 3*w + 12, -4*w - 7 = -j. Is 18 a factor of (j - k)/(18/(-12))?
False
Let g = 233 - 146. Does 87 divide g?
True
Suppose -158*i + 164*i = 1026. Is i a multiple of 4?
False
Let j(y) = 2*y**3 - 159*y**2 +