7. Does 15 divide z?
False
Let b(a) = -354*a - 13600. Is b(-69) a multiple of 9?
False
Let c(a) = -3*a - 27. Let x be c(-12). Is 12 a factor of (-4*x)/(-6) + 54?
True
Suppose 99 - 1107 = -4*a. Suppose -863 = 5*z + a. Let l = z + 351. Is 16 a factor of l?
True
Suppose 18*m - 26*m = 3616. Let t = -257 - m. Is t a multiple of 13?
True
Suppose 3*p - 2 + 2 = 0. Suppose -4*i + 12 = p, -217 = -5*x - 2*i - 2*i. Does 41 divide x?
True
Is 4 a factor of -175*(-84)/30 - -9?
False
Suppose 468 = 10*s + 3*s. Suppose 2*r - 454 = -p, p - 2*r - 438 - s = 0. Is p a multiple of 20?
False
Let q = -7558 + 16869. Is 16 a factor of q?
False
Suppose 7*r + 5*r - 8*r = 0. Suppose 4*z - h - 15 = r, z + h - 2 = 3*h. Does 7 divide 111/z - (-2)/8?
True
Let b(r) = -r**2 - 5*r + 3. Let g be b(-4). Let x(i) be the second derivative of 5*i**4/12 - 2*i**3/3 + 23*i**2/2 + 77*i. Is x(g) a multiple of 40?
True
Suppose 72*l - 35*l = -18278. Let v be (-2)/(-3) - (-8)/(-3). Does 5 divide 3*v/18 + l/(-6)?
False
Let t(f) = 1924 - 226*f - 1917 + 48*f - 66*f. Is 23 a factor of t(-1)?
False
Suppose -94*b + 90*b + 2980 = 0. Let t = 1093 - b. Does 4 divide t?
True
Let i = -4462 - -23667. Is i a multiple of 167?
True
Suppose -5*l - 1740 + 15411 = b, -5*l = -b - 13679. Does 5 divide l?
True
Let g(u) = 4*u**3 - 4*u**2 - 10*u + 141. Let m(a) = 3*a**3 - 3*a**2 - 7*a + 94. Let d(b) = 5*g(b) - 7*m(b). Does 58 divide d(-8)?
False
Let k(c) = -152*c + 32. Let z be 1*(-5)/(5/4). Is 47 a factor of k(z)?
False
Suppose -22 = -15*l + 11*l - 2*q, q - 8 = -l. Let v be (-2)/(-11) + (-700)/(-22). Suppose -l*d = -2*t - v, t + 4 = d + 2*t. Is 2 a factor of d?
True
Let o = -12520 - -23373. Is o a multiple of 29?
False
Let f = 39133 - 26383. Does 150 divide f?
True
Let h = 21 + -15. Let k = h - 3. Suppose -k - 11 = -p. Is p a multiple of 14?
True
Let v = -3668 + 3714. Is 5 a factor of v?
False
Suppose -11*v = -48*v + 235690. Suppose -17*q + 5173 = -v. Is 30 a factor of q?
False
Suppose -42*l + 487620 = 28*l. Is 24 a factor of l?
False
Suppose 0 = -51*c + 40990 + 471152. Is 24 a factor of c?
False
Does 5 divide 25/9 + -3 + 4595360/792?
False
Let h(c) = 200*c + 1820. Is h(30) a multiple of 85?
True
Suppose 2*o - 5*o = u + 8, -o + 2 = u. Let b(s) = -s**3 + 6*s**2 + 13*s + 11. Is 11 a factor of b(u)?
False
Suppose -2*d - 2 = -10. Let w(j) = 2*j**3 - 6*j**2 + 2*j + 7. Does 10 divide w(d)?
False
Let r(d) = 17*d - 138. Let o be r(15). Let u = -82 + o. Does 3 divide u?
False
Suppose -5*x - 1715 = -2*t, 2*x - 2927 = -4*t + 515. Suppose -2*g = -0*g - 3*v - 344, 0 = -5*g + 5*v + t. Is g a multiple of 30?
False
Suppose -89*b - 147993 + 1347645 = -1012087. Does 86 divide b?
False
Let o(j) = 20*j**3 - 17*j**2 - 2*j + 7. Let t(r) = -17*r**3 + 15*r**2 + 2*r - 6. Let l(a) = 6*o(a) + 7*t(a). Does 8 divide l(6)?
True
Let y(a) = a**3 + 9*a**2 + 8*a + 5. Let v be y(-8). Let w = v + -12. Let c(l) = l**2 + 6*l + 1. Is c(w) a multiple of 3?
False
Let q = 29967 - 44904. Is 74 a factor of q/(-21) + 1*(-8)/28?
False
Suppose 9*k + 8 = -37. Let l be 1/2*(k + 5). Suppose l*x = -3*x + 174. Is x a multiple of 20?
False
Suppose 21*k + 179 = 704. Let n(q) = q**3 - 23*q**2 - 37*q + 46. Is n(k) a multiple of 53?
True
Suppose -91 = -l - 3*d, 7 = -5*d + 17. Suppose 3*t - 8*t = -l. Let g = 48 - t. Does 10 divide g?
False
Let y(c) = 12*c + 60. Let q be y(18). Let r = q - 195. Does 27 divide r?
True
Let z(a) = -a + 15. Suppose -s + o = -10, o = 2*o + 1. Let f be z(s). Suppose 0 = u - f*v + 2*v - 38, -3*u = -3*v - 87. Is u a multiple of 13?
True
Let o be (-22)/4*(-4 + -12). Suppose 0*c - o = 4*c. Is c*(1 + 12/(-8)) a multiple of 10?
False
Let x(a) be the second derivative of -a**5/20 + a**4 - 5*a**3/3 + 4*a**2 - 12*a. Suppose 126 = 10*v + 16. Is x(v) a multiple of 5?
False
Let y(h) = 36*h + 165 - 127*h + 41*h + 38*h. Does 45 divide y(-17)?
False
Let a = 744 - 282. Let x = a + -248. Is 9 a factor of x?
False
Let z = -26843 + 38274. Is z a multiple of 10?
False
Suppose -29*b + 4*b = 80*b - 646800. Does 35 divide b?
True
Suppose 1215 = 239*n + 166*n. Let z(v) = v + 2. Let j be z(3). Suppose -n*p + 1 = 4, p - 139 = -j*x. Is x a multiple of 4?
True
Suppose -6*q = -q - 5, -5*q - 226 = -o. Let s be 12/(-7)*o/22. Is 12 a factor of 3/s - (-290)/12?
True
Let k(a) = -2*a**3 - 13*a**2 + 17*a + 82. Does 22 divide k(-26)?
True
Suppose 77 = -12*k + 5*k. Let h(l) = -l**2 - 11*l. Let j be h(k). Suppose 0 = -9*x - j*x + 765. Is x a multiple of 17?
True
Let b(h) = 24*h**3 - h**2 - 12*h - 9. Is b(3) a multiple of 54?
True
Is 27 a factor of -7434*(-2 - -9 - (-76)/(-19))*-1?
True
Suppose -2*l + 14829 = 5*m - 15638, 5*l - 12170 = -2*m. Is m a multiple of 14?
False
Let d(j) = 554*j - 12. Is d(4) a multiple of 38?
True
Suppose 21*a = 3*a + 9342. Let u = -321 + a. Is u a multiple of 10?
False
Suppose t = -3*o - t + 2, 4*o + t - 11 = 0. Suppose o = -2*i + 3*c, -5*c - 18 = 2*i + 2. Is 13 a factor of i/(5/1) - -131?
True
Let n = -190 - -184. Suppose -39 = -4*b + 2*k + 9, -b = -5*k - 30. Let u = b - n. Does 9 divide u?
False
Let r(o) = -o**2 + 26*o - 163. Let w be r(11). Suppose -8*g + 5010 = -3*g - 5*x, 0 = -w*g + 5*x + 2016. Does 33 divide g?
False
Let d(u) = 44*u + 32. Let n be d(-7). Let y = -165 - n. Let w = y + -12. Is w a multiple of 17?
False
Let s be 69/21 + (-18)/63. Suppose -5*j + s*y = -71, -j = 3*j + 3*y - 73. Is -35*(-1 - j/5) a multiple of 28?
False
Let f be (-96 - 12)/(1/(-10)). Suppose 0 = -164*s + 165*s - f. Is 12 a factor of s?
True
Suppose 0 = c + 2*m + 3*m - 60, -m + 208 = 3*c. Let n = c - -107. Is -2*n/12*-4 a multiple of 13?
False
Let s(m) = -m**3 + 13*m**2 + 3*m - 10. Let k be 4 - 120/28 - 317/(-7). Let j = k + -39. Is s(j) a multiple of 13?
True
Let i = -210 - -603. Let u = i - 274. Is 17 a factor of u?
True
Let y(x) = 177*x**2 - x + 2597. Is 16 a factor of y(0)?
False
Let b(g) = g. Let w be b(15). Let x = -13 + w. Suppose -x*f - 5*f + 336 = 0. Is 11 a factor of f?
False
Suppose 0 = -x - 2*i + 22594, -758*i = -3*x - 755*i + 67809. Is x a multiple of 131?
False
Let a(m) = 29*m**2 + 220*m + 3468. Is 38 a factor of a(-16)?
True
Let u(g) = -g**3 + 9*g**2 - 6*g - 14. Let f be u(8). Suppose 3*v + 788 = 2*z - 2*v, -760 = -f*z - 2*v. Is z a multiple of 7?
False
Suppose 18*z - 1962 = -162. Does 100 divide z?
True
Suppose b = -3*t + 3583 + 59112, 0 = -5*t + 2*b + 104510. Is t a multiple of 7?
False
Let r = 4186 + -1839. Does 7 divide r?
False
Does 12 divide -13 + -5 + 4204 + -15?
False
Let w = 108 - 103. Suppose f - 2578 = -w*k, 3*f - 3*k - 320 - 7378 = 0. Suppose 3*y - f = -9*y. Does 39 divide y?
False
Suppose 7*y - 2*y - 15 = 0. Let w be ((-35)/(-10) - 2)*(y + -1). Suppose 4*r + 4*u = 436, 446 = r + w*r - u. Is r a multiple of 5?
False
Let z = 144 - 12. Suppose 336 = -2*n - z. Is 5 a factor of 3/(-5) - n/15?
True
Suppose -t = -3*o - 27391, 186630 = 5*t + 2*o + 49794. Does 34 divide t?
True
Suppose 5*m - 8390 = -5*k, 17*m = 14*m. Does 6 divide k?
False
Suppose 261 = 10*n - 134999. Is 11 a factor of n?
False
Let n be 9/(-6) + 2855/10. Suppose 8*f + 28 = n. Does 3 divide f?
False
Suppose 4*z - 3*y + 8 = 0, 0 = -2*z - 0*y + 4*y - 14. Let d be -3 - (z - 5 - 2). Is 23 a factor of (d - -132) + 3 - 0?
True
Suppose 4*j - 66701 = 3*s, 0 = 14*j - 9*j - 3*s - 83383. Is 19 a factor of j?
True
Let v(d) = 6*d**2 + 41*d + 52. Let h(l) = -7*l**2 - 42*l - 51. Let a(j) = -5*h(j) - 6*v(j). Does 29 divide a(-27)?
False
Suppose 1252579 + 200921 = 90*l. Is 85 a factor of l?
True
Let t(d) = 2*d**2 - 36*d + 237. Let j be t(13). Is 49 a factor of (j - 0) + 3 + 6?
False
Let h(o) = o**2 + 4*o - 7. Let t be h(-6). Suppose -3*x + t*v + 820 = 0, 4*x - 678 - 408 = 3*v. Does 30 divide x?
True
Let l be 2620 + (-2)/(2/3). Suppose -2616*w - 905 = -l*w. Does 22 divide w?
False
Suppose -2*a = -16, 10060 = 2*v - 12*a + 6*a. Does 38 divide v?
True
Suppose 2*g = 2*u + 4, 0*u + 2*u = -g + 2. Suppose 810 = 2*p - 2*w, 0 = g*p - 4*w - 845 + 25. Is 10 a factor of p?
True
Suppose -7*b + 0*z - 2*z + 18532 = 0, -3*z = -2*b + 5277. Is 27 a factor of b?
True
Let q(o) = -3*o + 10868. Is 76 a factor of q(0)?
True
Let t(y) = 2*y**2 - 4*y + 25. Let a be t(-6). Suppose 0 = 3*s + 2*s + 3*x - 665, s = -3*x + a. Is 2 + s + 12/(-4) a multiple of 27?
True
Is 31 a factor of (26640/(-50) + 12)/((-2)/10)?
True
Let f(x) = 27*x