 s be m(1). Suppose -2 = -4*x - 18, 5*y - s*x = -2. Is (y + 7)/(4/32) a multiple of 10?
True
Let a(k) = -13 - 9 + 77 + 78 + 14 - 27*k. Is a(-6) a multiple of 18?
False
Suppose -5*z + 3*v = -24, -z + 4*v + 4 = -11. Let a be ((-6)/5)/((-433)/(-145) - z). Suppose 0 = 4*k - 7*k + a. Is 29 a factor of k?
True
Suppose 3 = 7*d - 39. Let g(u) = 65*u - 91. Is g(d) a multiple of 7?
False
Let c(t) = -50*t**3 - t**2 + 18*t + 39. Is 9 a factor of c(-5)?
True
Let y be 11/(-8) + (-87)/(-232). Is -3 - -440 - (7/y - -7) a multiple of 23?
True
Let q(n) = 3*n**3 - 134*n**2 - 104*n - 96. Does 119 divide q(47)?
False
Is 64 a factor of (15360/672)/(6/4179)?
False
Let s(z) = 1171*z - 810. Does 169 divide s(17)?
True
Let k be (62/(-5) + 4)/((-4)/10). Let h be 27/(-36) + (-19)/(-4). Suppose -t + 6 + 0 = -h*g, t + g = k. Is 2 a factor of t?
True
Let x be (-16)/(-80)*(1 - -9) - 2. Suppose x = -5*z - 3*w + 512, 3*z - w - 313 = 3*w. Is 9 a factor of z?
False
Does 36 divide ((-36)/(-49))/(120/(-560))*(1 - 505)?
True
Suppose 17*o - 139041 = -18273. Is 24 a factor of o?
True
Is 6 a factor of (-49)/(-35)*10 + 2911?
False
Suppose 5*h = 3*q - 16351 + 4844, -3*q + 2*h = -11513. Is 14 a factor of q?
False
Suppose 0 = -16*s + 32006 + 3475 + 34407. Is 13 a factor of s?
True
Suppose -5*k - 155 = -755. Let u(x) = x**2 - 5*x - 405. Let q be u(24). Let s = k - q. Does 23 divide s?
True
Let o(t) = -t**2 - 23*t + 58. Let g be o(-25). Suppose 4*p + 744 = g*p. Does 34 divide p?
False
Let r = 987 + -1002. Is 4 a factor of -4 + (-13)/(65/10) - r?
False
Suppose u + 10 = 3*u. Suppose u*v - 1478 = -3*d, 17*d - 15*d + v = 990. Is 20 a factor of d?
False
Suppose 7*n + 5176 = -4995. Let p = n - -2099. Does 17 divide p?
True
Let q be (-2)/((1 - -1)/(-20)). Suppose -q - 115 = -5*w. Is 16 a factor of w/(-2)*(1 - 3)?
False
Let s(j) = -134*j + 10239. Is s(-69) a multiple of 9?
True
Let g(i) = i**3 - 7*i**2 + 5*i - 9. Let h be g(5). Let q = h + 45. Suppose -q*a = -a - 130. Is 6 a factor of a?
False
Suppose -16*w + 19695 + 126129 = 0. Is 15 a factor of w?
False
Suppose -11*b = -25*b + 2226. Suppose 0 = 10*h - 5*h + 315. Let p = b + h. Is p a multiple of 24?
True
Suppose m = 79*b - 82*b + 3546, 2*b = -m + 3540. Is m a multiple of 6?
True
Suppose 3*n - 5*y - 6163 = 0, 0 = -9*y + 6*y - 15. Is n a multiple of 182?
False
Let r(m) = 2953*m - 3587. Is 42 a factor of r(11)?
True
Let c = -650 + 1575. Does 3 divide c?
False
Let q(u) be the second derivative of u**5/20 - u**4/4 - 3*u**3/2 + 21*u**2/2 + 2*u + 21. Is q(7) a multiple of 14?
True
Let j(p) = p**2 - 15*p - 12. Let n be j(16). Let d(k) = -39*k + 90*k + n - 37*k - 27*k. Is d(-2) a multiple of 12?
False
Suppose -564696 - 592552 = -115*t + 279677. Does 85 divide t?
True
Let m = -68 + 70. Suppose -3*g + o = -1450, -m*o + 107 = g - 388. Does 17 divide g?
False
Let s be 11/(-22) - (-1749)/2. Suppose u = 4*a - s - 667, a + 5*u - 380 = 0. Does 35 divide a?
True
Let f = 22465 + -21482. Is 2 a factor of f?
False
Suppose 20*d = 333 + 267. Is d a multiple of 11?
False
Let x be ((-28)/(-5))/(14/35). Let l be 4/(-8) + (-455)/x. Let n = 104 + l. Is 13 a factor of n?
False
Let b(p) = 10*p - 3. Let f(h) = 98*h - 2. Let y be f(1). Suppose 12*m - y = 4*m. Is b(m) a multiple of 39?
True
Suppose -6*b + 10075 = -5423. Suppose -9*p = -b - 3501. Is p a multiple of 13?
True
Let v(g) = -g**2 + 23*g - 79. Let m be v(6). Suppose m*y - 3*r = 25*y - 291, 3*r + 414 = 3*y. Is y a multiple of 8?
False
Let j = -51 - -53. Let g(u) = 0*u + 104*u**j - u + 2 - u**2 + 8*u**2. Is 12 a factor of g(1)?
False
Is 21 a factor of -5 - (3 + 17 + -4225)?
True
Let k(z) = 30*z**2 - 8*z + 59. Let a be k(-7). Let c = a - 1085. Is 24 a factor of c?
False
Let i(d) = 281*d - 145. Does 21 divide i(9)?
False
Let m = 8638 + -7254. Does 4 divide m?
True
Suppose -5*g - 12750 = -5*h, 1514 - 4062 = -h + 2*g. Does 8 divide h?
True
Is (-978 + -207)/(1 - (-9)/(-8)) + -8 a multiple of 175?
False
Does 27 divide (-24)/10*23220/(-24)?
True
Let t be (2 - (-24)/(-32))/(2/(-104)). Let p = -48 - t. Suppose -p*j + 1088 = 323. Is 2 a factor of j?
False
Let p be ((-2376)/(-28))/((-5)/(-210)). Suppose -p = -38*j + 29*j. Is j a multiple of 12?
True
Suppose 88*d - 2030328 = 2088952. Does 302 divide d?
True
Let z = 17 - 18. Let m be 865 - (-1 - (-2 - z)). Does 19 divide (-8)/36 + m/45?
True
Let x = -512 - -515. Suppose 3*v - 3032 = -2*y, -7*v + x*v + 4044 = 4*y. Is 22 a factor of v?
False
Let h = 57 + -29. Let w(r) = r**2 + 98*r + 5. Let y be w(-29). Is 10 a factor of (-2)/7 + (-2 - y/h)?
False
Suppose -18*w + 3872 + 19258 = -7020. Does 84 divide w?
False
Let y(b) = 18*b - 91. Let h be y(6). Suppose 10*u = -h*u + 6912. Does 33 divide u?
False
Suppose -9*c + 16 = -5*c + 5*g, -c = -4*g + 17. Let s(y) = -123*y**3 - 2*y**2 - 3*y - 1. Is 12 a factor of s(c)?
False
Let b(f) be the third derivative of -f**6/120 - f**5/12 + 47*f**3/6 - 192*f**2. Is b(0) a multiple of 9?
False
Is 7 a factor of (34 - -269) + (-5 - -2 - 2)?
False
Let k = 15416 + -9419. Is k a multiple of 17?
False
Suppose 2*z + 3*z - q = 269, 2*z - 4*q = 122. Let m = -49 + z. Is m*5/(-10) + 6 even?
True
Suppose -20*l + 24*l + r - 53932 = 0, -r = -4*l + 53948. Is 87 a factor of l?
True
Suppose -3*p = 4*i + 384 + 389, i = 1. Is 29 a factor of 2/(-6)*(0 + 4 + p)?
False
Let g(q) = -659*q + 902. Is g(-16) a multiple of 36?
False
Suppose 72 = 5*a - 4*q - 55, -a + 35 = -4*q. Let h(c) = -1435*c**2 + 1459*c**2 + 6*c + 9*c - 32*c - 2 - c**3. Is h(a) a multiple of 20?
False
Let j(y) = y**2 + 5*y. Let c be j(-5). Let q(r) = -267*r - 479. Let z be q(-2). Suppose -4*p + 207 - z = c. Does 29 divide p?
False
Let m = -38 - -30. Let i be 5*m/(-10)*1. Suppose -550 = -5*s - x, -x = -i*x. Does 13 divide s?
False
Let w be -1 - (-8 - -4) - -2. Suppose -w*d + 2*k = -11, 0 = -4*d - 3*k - 3 + 21. Suppose -4*r + 137 = -d*r. Is r a multiple of 12?
False
Suppose -37*x + 4212 = -18654. Does 103 divide x?
True
Let r(z) = -z**3 + z**2 + 3*z + 1. Let m(d) = -13*d**3 + 18*d**2 - 8*d + 15. Let t(w) = -m(w) + 3*r(w). Is 20 a factor of t(5)?
False
Let z(g) = 20*g**2 + 40*g + 42. Is z(13) a multiple of 54?
True
Let t(w) = 322*w**2 - 20*w - 50. Is t(-4) a multiple of 29?
False
Suppose 2*i = -3*g + 85471, 0 = -g - 4*i + 9080 + 19437. Is 211 a factor of g?
True
Let d = -7244 + 7335. Let f be 41/2 - 1/(-2). Suppose i - p - f = 0, -5*i + 4*p + d = -16. Is i a multiple of 11?
False
Let z = 10 - 4. Let w be (4 - 32)*z/4. Let p = -18 - w. Does 15 divide p?
False
Let v be ((4/(-3))/(-2))/(-48 - (-6815)/141). Let l = 1 - -1. Suppose 0 = v*p + 2*f - 70, -p - 3*f = -l*p + 47. Does 12 divide p?
False
Suppose -4*s + 3*d = -44235, 3*s - 14*d - 33192 = -17*d. Is 21 a factor of s?
False
Let y be (-10 + 1)/(6/(-4)). Suppose 0 = -4*c - 2*l + 26 + y, -l = -5*c + 33. Suppose c*x - 98 = 56. Is 5 a factor of x?
False
Let k be (-1 - 2/6)/((-12)/(-54)). Let l be k/36 + 5763/18. Suppose -3*c - c = -l. Is 10 a factor of c?
True
Suppose 5*p + 5792 = -3*p. Let o = p - -1014. Does 5 divide o?
True
Let j(r) = 10*r**2 + 6*r + 647. Does 3 divide j(0)?
False
Let w = -132 + 156. Is w - 6/12*-4 a multiple of 26?
True
Let j = 171707 - 120553. Is j a multiple of 66?
False
Let u(w) = w**3 + 25*w**2 + 10*w - 15. Let o be u(-21). Suppose 3*m + 647 + 1684 = 3*r, -2*r + 5*m = -o. Does 34 divide r?
True
Suppose 7*q - 235 + 179 = 0. Does 2 divide (-70 - (q - 3))*-1?
False
Suppose 5*j + 963 = q + 12085, 3*q = -21*j + 46662. Does 2 divide j?
False
Let g be (-3)/((-9)/283) + 8/12. Suppose 0 = 14*m + g - 4575. Is 40 a factor of m?
True
Suppose -6*c + 1099 = -1163. Suppose c*l - 5080 = 372*l. Is 14 a factor of l?
False
Let d(a) = 32*a + 2360. Does 40 divide d(-35)?
True
Let y(z) be the third derivative of z**8/2016 - z**7/1260 + z**6/40 - z**5/30 + 4*z**2. Let f(g) be the third derivative of y(g). Is 12 a factor of f(3)?
True
Let p(y) = 59*y**3 - y**2 - y + 1. Let h be p(1). Let v = 59 - h. Is (-858)/(-10) + 3/15 + v a multiple of 11?
False
Let z(n) = -19*n + 16. Let t be z(1). Let f(k) = -53*k - 131. Is 7 a factor of f(t)?
True
Let b(r) = -2*r - 8. Let u be b(-7). Suppose 90 = 4*o - u*o. Let c = o - -55. Does 3 divide c?
False
Let c(r) = r**3 + 40*r**2 + 22*r + 37. Is 109 a factor of c(-28)?
True
Let x(j) = 699*j**2 - 1081*j + 18. Is x(-6) a multiple of 29?
