divide f?
True
Let a = -330 - -375. Is (0 + (-34)/(-3))/(a/135) a multiple of 17?
True
Let k = 2062 + 1142. Does 166 divide k?
False
Let p(j) = 155*j + 4790. Is 71 a factor of p(-8)?
True
Let s(r) = r**2 - 87*r + 96. Let w(g) = -g**2 + 175*g - 189. Let c(y) = -5*s(y) - 3*w(y). Does 6 divide c(-44)?
False
Suppose 8 = 3*c - 2*k, -3*k + 22 = 4*c - 0*k. Suppose c*x - 2*q = 798, 204 = x - 4*q + 5*q. Is 67 a factor of x?
True
Is 12 a factor of ((-9 + 0)*-24)/((-2)/(208/(-6)))?
True
Let v(s) = -12*s - 5. Let a be v(2). Let i = a - -22. Is (-7 - 35/i)*-2*2 a multiple of 4?
True
Is 38 a factor of 11*296 - (10 + -32 + 20)?
False
Suppose 18 = 10*w - 132. Is 52 a factor of 12/w + -1 - 1821/(-5)?
True
Let r(n) = n**3 - 21*n**2 + 18*n + 66. Let c be r(20). Does 12 divide ((-4)/(-3))/(c/2574)?
True
Suppose -7394 - 7238 + 5154 = -v. Is 18 a factor of v?
False
Let x be 1/(2 - 13/7). Suppose 0 = x*l - 3*l + n - 51, -4*n - 20 = 0. Let u(k) = k**2 - 4*k + 22. Does 18 divide u(l)?
True
Let t = 58 + -57. Let b be 106/t - (1 - -1). Suppose 0 = 3*k + 2*y - 72, k + 2*y = 6*k - b. Is k a multiple of 11?
True
Suppose -7*u = -6*u + 2, -4*l + 10 = -u. Suppose -l*g + 38 = 14. Is g a multiple of 12?
True
Let b(q) = 4*q**2 - 31*q - 47. Is 42 a factor of b(-70)?
False
Suppose 438*c = 462*c - 735840. Does 219 divide c?
True
Let w(l) = -l**3 - 11*l**2 + 14*l + 16. Let x be w(-12). Does 21 divide (x + 0 + 5)*-63?
True
Let x(u) be the third derivative of -u**6/120 + 13*u**5/60 - u**4/3 + 49*u**3/6 - 39*u**2. Let j = -22 + 33. Is 9 a factor of x(j)?
False
Let d(a) = -6*a - 75. Let i be d(-14). Let m(n) = 57*n - n**3 - 7*n**2 - 35*n - 40*n + i. Is m(-6) a multiple of 12?
False
Suppose 24*r = -66 - 54. Let i(t) = 2*t**2 + 24*t + 84. Does 7 divide i(r)?
True
Suppose 5*f + 6838 - 49538 = 0. Is f a multiple of 10?
True
Let z = -2792 + 2966. Is z a multiple of 5?
False
Let h(d) be the first derivative of -347*d**2 - 8*d - 67. Is h(-1) a multiple of 6?
False
Let i be 4 + 6 + -2 + 10. Let j(l) = -50*l - 88 - i*l + 92 - 40*l. Does 16 divide j(-1)?
True
Is 16/(16/9) - -8220 a multiple of 6?
False
Suppose 3*r - 121112 = -19268. Is 123 a factor of r?
True
Let z = 184 - 182. Suppose -z*r + 328 = -0*r + 4*p, 326 = 2*r + 2*p. Is 27 a factor of r?
True
Is (9/2 - 3)/(16461/(-8244) - -2) even?
True
Suppose -n - 4*b = -1314 - 82, -4*b = -2*n + 2780. Suppose 882 = 2*j + 2*v - 30, -5*v = -3*j + n. Does 51 divide j?
True
Let u(p) = -27*p**2 + 4*p + 18. Let r be u(-3). Does 29 divide (2 - (-7)/(-3))/(1/r)?
False
Suppose 120*t = 105*t - 48945. Let l = t - -4988. Is 23 a factor of l?
True
Let w(d) = -4*d**2 - 4*d + 11. Let o be w(-5). Let h = o + 84. Suppose h*l = 8*l + 525. Is l a multiple of 5?
True
Let x(r) = -r**3 - 19*r**2 + 18*r - 35. Let u be x(-20). Suppose -5*z - 565 = -5*m, 0 = -u*m + 2*z + 136 + 432. Does 6 divide m?
True
Suppose 4*x - 4 = -4*p + 2*x, -p + 10 = -4*x. Let u = -830 + 964. Suppose 4*v - 2*i - 102 - 158 = 0, -p*v = -2*i - u. Is v a multiple of 63?
True
Let b = -10589 - -23796. Does 47 divide b?
True
Let g be ((-10)/40)/((-2)/104). Suppose 2*m + 8250 = -g*m. Let y = -377 - m. Does 14 divide y?
False
Suppose -7*l = -3*b + 78, 3*b + 17*l - 24 = 15*l. Suppose 0 = 8*h - 4*h - 80. Is 29 a factor of h + b - 6/2?
True
Let d(i) = 5*i - 7. Let k be d(-5). Suppose -2*a = -0*a + l - 78, 2*a - 4*l = 68. Let g = a + k. Is g a multiple of 6?
True
Let u(j) = -j**3 - 4*j**2 + 10*j - 5. Let y be u(-6). Suppose 0 - 7 = -y*w. Let h(q) = 17*q**3 + 2*q**2 - 3*q + 1. Is h(w) a multiple of 3?
False
Does 11 divide (35 - 105)*88/(-28)?
True
Let o be 484/110 - 6/(-15)*-1. Suppose -o*r - 50 + 181 = 5*h, -h + 2*r + 29 = 0. Is h a multiple of 25?
False
Let t = -61 - -65. Suppose -r + 5*j + 6 = -t, -j = 2*r + 2. Does 11 divide (0 - -1)*r + 528/6?
True
Suppose 257*m - 104*m = 331972 + 751880. Is 11 a factor of m?
True
Suppose -k + 10209 = -2*i, 10*k - 2*i = 5*k + 51005. Is 47 a factor of k?
True
Let s = -34453 - -55253. Is 52 a factor of s?
True
Suppose 0 = -4*c - 2*x + 26, -3*x + 28 = 5*c - 2*x. Suppose c*i = 314 - 24. Is i even?
True
Let w(a) = 86*a - 168 + 50*a**2 - 31*a**3 + 10*a**3 + 13*a**3 - 12*a**2 + 7*a**3. Is w(40) a multiple of 4?
True
Let k = -6113 + -8632. Is 2/(-7) - k/35 a multiple of 51?
False
Let s be 6/(-3) + 2 + (-4 - -8). Suppose -2*k + 753 + 813 = s*p, 2 = 2*k. Let t = p + -259. Is 22 a factor of t?
True
Let z(j) = -j**2 - 2*j + 3. Let i be z(-2). Suppose -4*w = i*f - 67, -3*f + 4 = 1. Is w a multiple of 2?
True
Let x(f) = -f**3 + 22*f**2 - 4*f + 11. Is 22 a factor of x(11)?
True
Let z = -13980 + 20878. Is z a multiple of 28?
False
Let k(g) = 7*g - 4. Let b(y) = 15*y - 7. Let n(c) = 6*b(c) - 13*k(c). Let v be n(8). Let o = v - -35. Does 13 divide o?
False
Let u = 8027 + -3246. Is 18 a factor of u?
False
Let w = 10055 + -9276. Is 8 a factor of w?
False
Suppose p = 5*q - 6275, -26*q = -25*q - 2*p - 1255. Let a = 1787 - q. Is a a multiple of 19?
True
Is 2/((-3)/((-18)/4)) - (-1003 + -1) a multiple of 9?
False
Let t(g) = g**3 + 9*g**2 - 12*g + 2. Suppose -48 = -169*w + 175*w. Does 6 divide t(w)?
True
Let y(n) = n + 11. Let z be y(-8). Let s(f) = -10*f**2 + 12 + 9*f**2 - 23*f + z*f**3 + 2*f**2. Does 42 divide s(5)?
False
Let s = -148 - -152. Suppose -3*m = -5*j + 2322 - 645, 0 = j + s*m - 317. Is 14 a factor of j?
False
Let f = 1414 + -982. Suppose 73*s = -l + 78*s - 27, 9 = -l + 2*s. Suppose 0 = -l*i - i + f. Is 12 a factor of i?
True
Let m be (-2 - -6 - 3)*-1. Let k be 5 - (-1 + -2)/m. Suppose 142 = k*t + v, 3*t - 2*v = 3*v + 187. Is t a multiple of 18?
False
Let k(n) = 5*n**3 + 2*n**2 + 34*n - 76. Is 58 a factor of k(8)?
False
Let s(v) = v**2 - 6*v - 1. Let a(f) = f**3 - 8*f**2 - 10*f + 15. Let k be a(9). Let o be s(k). Let y(m) = -50*m**3 - m**2 - 2*m - 1. Is y(o) a multiple of 7?
False
Suppose 5*n = -k + 15, -75*n + 73*n + 6 = -5*k. Does 18 divide (k - (208 + 8))/(-1)?
True
Let b = -5 + 10. Let w(t) = 141 + 8*t - 83 - 66. Does 5 divide w(b)?
False
Suppose -4*d + 2*u - 226 = 36, -3*d = 5*u + 164. Let p = d + 81. Suppose -p*l = -9*l - 405. Is l a multiple of 7?
False
Suppose 4*j + x = 8*j - 6483, 5*j - 8085 = -5*x. Let s = 51 - 40. Suppose -4*i = s*i - j. Is 30 a factor of i?
False
Suppose 10*v + 23800 = 35*v. Suppose l - t + v = 4*l, 2*l - 648 = -4*t. Is l a multiple of 11?
False
Suppose 167232 = 15*p - 72*p + 480162. Does 122 divide p?
True
Let f(n) be the third derivative of n**3 - 4/3*n**4 + 0 + 4*n**2 - 1/30*n**5 + 0*n. Is f(-15) a multiple of 6?
True
Let q be 2/(((-7)/(-14))/(11/(-4))). Let g(d) = -34*d - 35. Let n be g(q). Suppose 5*o - 3*v = n, 83 = 2*o + 5*v - 34. Is 14 a factor of o?
False
Suppose 5*v + 13 = 38. Let n be 85085/105 + (-1)/3. Suppose -v*a - 10*a + n = 0. Is 9 a factor of a?
True
Is 4 a factor of 237 - 13/(130/50)?
True
Let f = 70 - -108. Suppose 5*t + 5*u - 530 = 0, 5*u = 2*t - 20 - f. Is t a multiple of 8?
True
Suppose -28 = 7*s - 11*s. Suppose s*a - 9*a = -736. Does 18 divide a?
False
Let a(f) = f**2 - 68*f + 136. Does 157 divide a(-56)?
False
Let k(x) = x**2 - 7*x + 16. Let z be k(7). Suppose 6 = -2*q + d, -5*d + z = -d. Is 40 a factor of (-9 - 39)/(q*(-2)/(-4))?
False
Let a(j) = j + 34. Let b be a(-20). Suppose -2325 = -b*i - 17*i. Is i a multiple of 5?
True
Let o be 10*2/6 - (-112)/(-84). Suppose -1620 = -o*w - 860. Is w a multiple of 38?
True
Suppose -g - q + 6*q + 11 = 0, -22 = -4*g - 2*q. Suppose 2*s - y - 1175 = -g*y, 2*y = 3*s - 1772. Suppose -4*l + s = 62. Is l a multiple of 24?
False
Suppose s = u - 10458, -s + 46080 = 5*u - 6174. Is 83 a factor of u?
False
Suppose i - 5 = -0*m - m, 4*m + 43 = 3*i. Suppose -6*o = -i - 9. Suppose 2*g + 4*l = 2*l + 40, -o*g = 2*l - 65. Does 18 divide g?
False
Let y(t) = t + 44. Let u = 86 + -43. Suppose -52 = d - u. Is 8 a factor of y(d)?
False
Let c(o) = o**3 + 10*o**2 - 3. Let u be c(-7). Let i = u + -48. Suppose -3*b - i = -3*y - 6*b, 3*b + 12 = 0. Does 6 divide y?
True
Let y = -2025 + 6525. Is y a multiple of 60?
True
Let x(w) = w**3 - 42*w**2 + 94*w - 6. Let q be x(40). Let n = q - 235. Is 52 a factor of n?
False
Let n = -3 - -51. Is 69 a factor of 1010/(n/84*(-7)/(-2))?
False
Let a = -1698 + 3633. Is a a multiple of 45?
True
Let s be (-1804)/(-22) - (-1 + 3). Suppose l = -s + 196. Is l a multiple of 4?
True
Suppose 