92 = 4*p, 2*i - 5*p = -2*p + 3284. Let f = -742 + i. Does 15 divide f?
False
Let b(f) = -f**3 + f**2 - 10*f + 21. Let s be b(4). Suppose 0 = 5*y - 8*y + 366. Let u = s + y. Does 11 divide u?
True
Let v be (24/(-18))/(4/(-1608)). Suppose -405*d + 407*d = v. Does 17 divide d?
False
Suppose -41*v - 29099 = -48*v. Does 21 divide v?
False
Suppose 2*d + 6326 - 1414 = 2*t, -3*t + 5*d + 7378 = 0. Is 5 a factor of t?
False
Suppose 36*c + 49*c = 33*c + 13000. Is 142 a factor of c?
False
Suppose -r + 5*p = r + 1405, 5*r - 2*p = -3481. Let w = 1157 + r. Is 11 a factor of w?
True
Suppose 3*l + 22 - 12 = 5*m, 4*m - 8 = -5*l. Suppose 2*p - 215 + 207 = 0, 5*p + 3116 = m*j. Is j a multiple of 37?
False
Let c(i) = 7*i**3 - 7*i**2 - 157*i + 2166. Is 30 a factor of c(12)?
True
Suppose o - 25115 = -c, 2*c + 9*o - 59286 = -9021. Is 90 a factor of c?
True
Let a(g) = -156*g**2 + 12*g + 27. Let c(l) = -l - 2. Let v(q) = -a(q) - 15*c(q). Is v(-1) a multiple of 5?
False
Suppose -5*v = 2*p + 3, 3*v = -p - 0*p - 2. Let t be (4/(-5))/(v/15). Suppose 1188 = t*g - g. Is g a multiple of 36?
True
Suppose 5*w - i = 733, 3*w - 308 = 2*i + 136. Is 5 a factor of w?
False
Let s = 39476 + -24006. Is s a multiple of 65?
True
Suppose -11 = -2*z - 1. Suppose -7*x + 3*x = -4*j + 4448, 3*x - z*j + 3328 = 0. Does 11 divide x/24*4/(-6)?
False
Let k(h) be the third derivative of -7*h**4/24 - 151*h**3/6 + 4*h**2 - h. Is 5 a factor of k(-23)?
True
Let q(x) = 2344*x + 2624. Is q(2) a multiple of 159?
False
Let g be 10*12*-5*133/(-70). Suppose 1140 = 3*i + 5*y, 0 = 3*i + 7*y - 6*y - g. Is 35 a factor of i?
False
Suppose 5*t + 1679 = 4*j - 938, -5*t - 673 = -j. Suppose -i - 2*q + 216 = 0, i = -2*i + 3*q + j. Does 55 divide i?
False
Let d = -150 - -161. Suppose 0 = d*t - 41 - 5701. Does 13 divide t?
False
Let v(s) = 9*s**2 + 25*s - 58. Is 54 a factor of v(-38)?
True
Let r be (8 + (-180)/21)/(2/(-7)). Suppose a + 11 = -n + 77, -5*n - 118 = -r*a. Does 16 divide a?
True
Suppose 3*l - 5 = -2. Let k(r) = -125*r**3 - 5*r**2 - 2. Let n(g) = 125*g**3 + 6*g**2 + g + 3. Let a(f) = -3*k(f) - 2*n(f). Is 42 a factor of a(l)?
True
Let y(w) = -4*w + 9. Let z be y(0). Suppose -1596 = -z*l + 753. Is 29 a factor of l?
True
Let i = 31 - 37. Suppose 37 = 5*p - 3*c, -4*p - 3*c + 33 = -2. Is 10 a factor of (-18)/i*(p + -3)?
False
Let f(v) = v**3 + v**2 - 4*v - 2. Let n be f(2). Is 110 - n/(-5 + 3) a multiple of 7?
False
Let w(x) = 715*x**2 + 192*x - 7. Does 28 divide w(-7)?
True
Suppose -3*d - 1001 = -k + 1089, 4190 = 2*k - 4*d. Suppose k = 16*c - 855. Is c a multiple of 6?
False
Let n(r) = -3*r**3 - 2*r**2 + 11*r - 3. Let y(c) = c**3 + c**2 - 7*c + 2. Let p(b) = -5*n(b) - 8*y(b). Let x be 2 + (-2)/(-6)*3. Does 11 divide p(x)?
True
Suppose -5*q + 6*i = -125521, -215*i = 4*q - 212*i - 100409. Does 36 divide q?
False
Let w(u) = -19*u - u**2 + 61 + 64 - 132. Let x be w(-12). Suppose 5*k = y - x, -5*k = -y + 5*y - 358. Is y a multiple of 18?
False
Let z(n) = n**3 + 19*n**2 + 9*n - 17. Let w be (-5 + 1)/(1 - 7/9). Let g be z(w). Let y = -15 + g. Is y a multiple of 10?
True
Suppose 93985 = 2*h + 5*k, 34*h = 38*h + 4*k - 187976. Is 15 a factor of h?
True
Let a(h) = -2*h**3 + 18*h**2. Let p be a(9). Let m = 42 - p. Is m a multiple of 8?
False
Let r(t) = -4*t + 31. Let i(j) = -13*j + 92. Let d(o) = 4*i(o) - 11*r(o). Let c be d(6). Let q = c - -110. Is 42 a factor of q?
False
Let m = -798 - -24. Let y = 3693 + m. Suppose 0 = 12*a - y + 903. Is 10 a factor of a?
False
Suppose 185*s = 188*s - 3*y - 1773, -3*y = 3*s - 1815. Does 46 divide s?
True
Let v = 4813 - -2998. Suppose -10*a + 6409 + v = 0. Is 46 a factor of a?
False
Let w(o) = o**3 + 9*o**2 + 14*o + 26. Let u be w(-9). Let b be (75/50)/((-3)/u). Is 316*(-5)/b*-5 a multiple of 21?
False
Suppose -3*v + 42 = 11*v. Suppose 0 = -h + 5, -v*r - 2*r + 25 = h. Does 4 divide r?
True
Suppose 0 = 2*p + 5*f + 58, -2*f - 5 = -13. Let o be 2 - (-134)/(-6) - 8/12. Let h = o - p. Does 6 divide h?
True
Suppose -218*c = -221*c + 12. Suppose 10*w = -c*w + 2114. Is 18 a factor of w?
False
Suppose 3*d + 5*z - 22 = 0, d + 14 = 3*z - 2. Let i(o) = -o**3 - o**2 - 3. Let c be i(0). Is c + 1 + d + 22 a multiple of 7?
False
Suppose 20 + 12 = r. Let q be 86/8*(r + 4). Suppose -2*y + q = y. Is y a multiple of 17?
False
Let s be (-886)/4 - 11/(-22). Let x = -44 - s. Suppose 5*g - 377 + x = 0. Is g a multiple of 10?
True
Let o(p) = -40 + 4 - 9 - 19 - 5*p. Let g be o(-22). Let d = 91 - g. Is d a multiple of 45?
True
Let q(s) = -620*s**2 + 318*s**2 + 308*s**2 + 2 - 9*s. Let a be (-2)/6 + 11/(-3). Is 10 a factor of q(a)?
False
Let y(f) = 3*f**3 + 68*f**2 - 72*f + 32. Is 20 a factor of y(-23)?
False
Suppose i - 3*q = -340, -i - 493 + 171 = 3*q. Let f = i - -667. Does 28 divide f?
True
Suppose -31*t + 29*t + 7918 = 3*d, 5*t + 10565 = 4*d. Is d a multiple of 20?
True
Suppose 22*g - 15*g - 7 = 0. Is 46 a factor of g*1056 - (4 - (5 - 5))?
False
Suppose -2*y + 47*k - 44*k + 11553 = 0, -2*k = 3*y - 17362. Is y a multiple of 7?
False
Let u = 212 + -192. Suppose -571 = -u*j + 2169. Is 12 a factor of j?
False
Let t be (-1 - 6/4)/(17/(-136)). Let z = 97 + t. Does 9 divide z?
True
Let w = 441 - 449. Is 48/(306/(-39) - w) a multiple of 23?
False
Let g(t) = t**3 - 10*t**2 - 23*t - 14. Let b(z) = -3*z**2 - 34*z + 1. Let j be b(-11). Let h be g(j). Is 10 a factor of (-352)/(-7) - h/(-7)?
True
Is 93 a factor of 5/10*(1882100/75 - (-4)/(-6))?
False
Does 14 divide (32046/(-9))/(69/(-414))?
True
Suppose -1119 - 285 = -3*d. Suppose 4*o - d = -5*i, -17*o = i - 14*o - 87. Is 8 a factor of i?
True
Let j(h) = 4*h**2 - 13*h - 93. Suppose -5*g - 3*c + 79 = 0, -g + 8*c + 25 = 4*c. Does 23 divide j(g)?
False
Let z(k) = -13*k + 2399. Is z(43) a multiple of 92?
True
Let c be 4/(-1*(2 - 1)). Let o(x) = 37579*x**2 - 2 + 5*x - 37576*x**2 - 3*x - 3 + 0. Is o(c) a multiple of 8?
False
Suppose s + 4*t - 1075 = 0, 90*t - 88*t + 2200 = 2*s. Suppose -5*w + 5*n - 835 = -9*w, -5*w = -4*n - s. Is 8 a factor of w?
False
Let d(m) = -m**2 + 122*m + 1578. Does 4 divide d(88)?
False
Let y be 1 + ((-3789)/27)/((-3)/36). Suppose -32 - y = -5*x - a, 2*x - 679 = -3*a. Is 8 a factor of x?
True
Let u be (6/(-4))/(3/6). Let o be ((-96)/(-5))/(u*(-4)/120). Suppose 2*w = -4*w + o. Is 6 a factor of w?
False
Suppose 4*y + 4*b + 712 = -0*b, 5*b - 685 = 4*y. Let d be -7*5/y - 9/(-5). Suppose v - d*v + 513 = 4*l, 510 = 4*l + 2*v. Is l a multiple of 42?
False
Let n(i) = -4 - 3*i + i**2 + 3 + 5*i. Let t be n(-4). Is 8*(90/4 + t + -9) a multiple of 9?
False
Suppose 3*s = 17 + 13. Suppose s*m - 54 = m. Suppose 0 = 13*j - m*j - 343. Is j a multiple of 14?
False
Let q(y) = 59*y**2 + 7*y - 2. Let d be q(-2). Suppose 43*p - d = 39*p. Is 6 a factor of p?
False
Let t = 302 - 191. Suppose 3*s = z + 4, -4*z - s = -0*z - 10. Suppose z*b = 57 + t. Is 21 a factor of b?
True
Is 17 a factor of (-238)/34 - (-40)/12*1731?
True
Suppose 28880 = 22*s + 2568. Is s a multiple of 26?
True
Suppose 4*x = 304 + 576. Let a = x - 101. Does 17 divide a?
True
Suppose 0 = -4*z + 24, 20127 = -5*i - z + 93488. Is i a multiple of 12?
False
Suppose 2*h - 2853 + 1022 = 3*a, -4*h - 5*a = -3651. Suppose 4*t + t - 1376 = -3*n, -2*n = 5*t - h. Is n a multiple of 14?
True
Let p(y) = -y - 2. Suppose -l - 1 = 6. Let n be p(l). Suppose g - 39 - n = 0. Is 11 a factor of g?
True
Suppose -5*f = 49*d - 46*d - 26, 3*d + 9 = 0. Is 10 a factor of f + 400 + -4 + -8?
False
Let q(r) = r - 18. Let z be q(14). Suppose 0 = 2*n + 8, 17 = -l - 3*n + 1. Is 39 a factor of z/(l/159) - 3?
True
Suppose -3*b - g + 43827 = 3971, 0 = -4*b + 4*g + 53152. Is 46 a factor of b?
False
Let a(k) = 12*k. Let s be a(0). Let b(m) = 26*m + 348. Is 6 a factor of b(s)?
True
Suppose 4*p + 5*q - 5910 = 7*q, p = -q + 1482. Let v = p - 1034. Does 16 divide v?
False
Let d(g) = 1229*g - 949. Is d(7) a multiple of 6?
False
Suppose -48*x + 13813 = 3973. Suppose -165 = -u + 2*z, -2*z = u - x + 20. Is 7 a factor of u?
True
Let v be 18/(-45) + (-3)/5. Suppose -162*w + 161*w + 6 = -2*a, -2*a = 4. Is (w/(-2))/(v/195) a multiple of 13?
True
Let n(r) = 182*r**2 + 314*r - 620. Does 4 divide n(2)?
True
Suppose 13*i + 3727 = 1811 + 24874. Is 8 a factor of i?
False
Let l(m) = 4*m - 34. Let v(d) = 13*d - 171. Let j(p) = 27*p - 342. Let r(h) = -6*j(h) + 11*v(h). L