e z(-1). Let k be (-6)/(-51) + r/(-17). Let y(d) = 11*d**3 - d**2 + 2*d - 3. Is y(k) a multiple of 7?
False
Suppose 4*l - 1320 = v - 5*v, -5*v = -4*l + 1338. Suppose -2*j = -322 - l. Is 29 a factor of j?
False
Is 63 a factor of (-9 + -411)*51/(-2)?
True
Suppose -2*g = 4*z - 2508, 3*g - 92*z - 3797 = -91*z. Does 23 divide g?
False
Let b be 10*(3/(-6) - 0)*-1. Suppose -c = -b*c - 204. Let n = 71 + c. Does 20 divide n?
True
Let h(n) = 26115*n - 1217. Is h(1) a multiple of 118?
True
Let v(x) = x**3 - 22*x**2 - 16*x + 62. Let k(a) = -a**3 + 23*a**2 + 15*a - 62. Let o(n) = -2*k(n) - 3*v(n). Does 65 divide o(15)?
False
Suppose -9*d - 119639 = -5*n, 5*n + 63369 = -5*d + 182994. Does 14 divide n?
True
Let r(y) = 6*y**3 + 5*y**2 - 1. Let a be r(-1). Let x(g) = 5*g**2 - 4*g**3 + 0*g**3 - 4*g**3 + 3*g + 1. Is 13 a factor of x(a)?
False
Let b = 23277 + -15699. Is b a multiple of 3?
True
Suppose -16*k + 21*k - 7867 = -4*r, -r = -5*k - 1998. Is r a multiple of 8?
False
Suppose -5*y - 34*c = -37*c - 138298, -82974 = -3*y + 3*c. Is y a multiple of 36?
False
Suppose -8*v = -5*v - 3168. Suppose -13 = -u - 4*k + 260, -4*u = -2*k - v. Is u a multiple of 13?
False
Let n = -515 + 466. Is 43 a factor of 33135/21 - (-42)/n?
False
Let u = 103 - -62. Suppose u = 3*d - 804. Is 17 a factor of d?
True
Let a be 96/(-144)*(-39)/2. Suppose -3*j = 5*q - 818, -2*j + a*q + 556 = 11*q. Does 23 divide j?
True
Let p be (-66)/(-10) - 8/(-20). Let a be (1/(5/3))/(37/925). Does 12 divide (a + 0)/((42/48)/p)?
True
Let x(v) = -v**2 - 238*v - 941. Let g be x(-4). Suppose 20 = -5*z - 10. Does 23 divide 45/z*84/g?
False
Let t(g) = 6*g**2 + 2*g - 33. Let l be t(7). Let u = l + -13. Let i = 495 - u. Is i a multiple of 11?
False
Let a be -5 + -8 + 7 + 2972. Suppose 27*p - 4081 - a = 0. Does 9 divide p?
True
Let r(b) be the third derivative of b**6/120 - 19*b**5/60 + 7*b**4/4 - 8*b**3/3 + 6*b**2. Is 12 a factor of r(17)?
True
Let h(f) = -2*f + 6. Let r be h(2). Suppose 0*v - 94 = -r*v. Let g = v - 20. Is g a multiple of 7?
False
Let g = 25619 + -17241. Does 30 divide g?
False
Let q = 7531 + -1071. Is q a multiple of 38?
True
Suppose -6863 = -2*i + g, -g + 1369 - 11664 = -3*i. Is i a multiple of 13?
True
Suppose 31750 = 18*h - 8*h. Does 13 divide h?
False
Let i(c) = -34*c**2 - 6*c - 4. Let v be i(3). Let z = -200 - v. Let l = 118 + z. Is l a multiple of 37?
False
Is 55 a factor of (-258156)/(-36) - (0 - -10)?
False
Suppose -9719 - 56521 = -24*d. Is 92 a factor of d?
True
Suppose 6*o = 5*g + 4*o - 4052, 2*o - 820 = -g. Suppose 0 = 8*z - g - 148. Is 8 a factor of z?
True
Suppose 4*q = -0*r + r - 29, 4*r - 102 = 2*q. Let b be r/(-9) + (-4)/18. Is (b - -5)*(9 - 1/1) a multiple of 5?
False
Is 59 a factor of 6/(-36) + 695/(-30)*-163?
True
Let f = -30 - -113. Let n(p) = f + 72 - 32*p - 158. Does 21 divide n(-6)?
True
Let f(a) = -2*a**2 + 3*a - 15. Let o = 32 + -39. Let i(g) = -6*g**2 + 10*g - 45. Let u(x) = o*f(x) + 2*i(x). Does 26 divide u(6)?
False
Suppose -916 = -2*b - 2*n, -3*n + 2965 - 667 = 5*b. Is 42 a factor of b?
True
Suppose 4*u + 94 = 2*x, 6 = -u + 4*x - 14. Let w(s) = -124*s - 14 + 57*s + 59*s. Does 7 divide w(u)?
False
Let a be (48/(-10))/((-3)/10). Suppose 2*j + 55*j = 3420. Let i = j + a. Is 19 a factor of i?
True
Suppose 0 = -10*q + 5*q + 27570. Is 17 a factor of q?
False
Let c be 13/(-5) + 54/90. Let n be (-12)/(c - -6) + 3. Suppose n = 2*o - 4*g - 40, o + g - 3 = 17. Does 5 divide o?
True
Suppose 3*h + i = 26 + 4, 0 = 3*i. Suppose -h*c - 364 = -11*c. Is c a multiple of 14?
True
Is (32/4)/((-120)/(-54) + -2) a multiple of 3?
True
Let o(p) = p**3 - 24*p**2 + 48*p + 12. Suppose -4*c - 4*b + 68 = 0, 0 = -3*c + 3*b + 4 + 77. Is o(c) a multiple of 20?
True
Suppose 6*m - 7*m + 126 = 0. Suppose 3*l - 4*w - m = -w, -2*l + 83 = -w. Suppose -l*u = -38*u - 168. Is 22 a factor of u?
False
Let t = -54235 + 78039. Is t a multiple of 191?
False
Let u(t) = -863*t - 790. Is u(-5) a multiple of 47?
True
Suppose b - 13595 = -23*b + 102565. Does 40 divide b?
True
Let d(q) = 11*q**2 - 21*q + 19. Let m be d(10). Suppose 0 = -4*w - 5*l + 1825, -4*w + l + m = -2*w. Is 35 a factor of w?
True
Let u be ((-1)/(1/(-3)))/(198/264). Suppose 2*q - 6*q = 2*d - 46, 2*q + u*d = 14. Is q a multiple of 2?
False
Let c = -11891 + 21222. Is c a multiple of 83?
False
Let d(v) = 34*v - 86. Let l be d(-11). Let x = -50 - l. Is x a multiple of 54?
False
Let u(m) be the first derivative of 115*m**2/2 - 148*m + 68. Does 8 divide u(4)?
True
Suppose -l + 3 = -a, -a - 2 = 2*l + 4. Let v be a/(-18) - (-42)/(-54)*-1126. Suppose -v = -0*t - 4*t. Is 41 a factor of t?
False
Suppose 2*o - 30 + 24 = 0. Suppose 0 = o*h - 2023 - 4280. Suppose -169 = 12*t - h. Does 10 divide t?
False
Suppose -529616 + 4329344 = 260*k - 302292. Is k a multiple of 96?
False
Let a = 55 - 89. Let m be 1*(2 - 1)*-22. Let o = m - a. Is o a multiple of 10?
False
Let r(a) = a**3 + 6*a**2 - 8*a - 2. Suppose 4*y + 30 = 2. Let c be r(y). Suppose s - 69 = -2*f + 7*f, -5*s = c*f - 195. Does 22 divide s?
True
Let b be 272 - (5/(-10) + 0)*0. Suppose 4*s = -2*p + 4*p - 128, 4*s + b = 4*p. Does 12 divide p?
True
Let m = -246 + 251. Suppose 4*t - 8*t + 54 = -3*v, 0 = -m*t + 5*v + 70. Is t a multiple of 4?
True
Suppose 448*c - 469*c = -44772. Is c a multiple of 23?
False
Suppose 3*o - 8*o - i - 20 = 0, 5*o - 4*i + 20 = 0. Is 740/4 - (7 + 1)/o a multiple of 21?
False
Does 7 divide (-5894)/(-1 + (3 + -11 - -3) + 5)?
True
Let l = -60 - -55. Let i(m) = 12*m + 10. Let a(r) = -13*r - 9. Let h(u) = l*a(u) - 4*i(u). Is 7 a factor of h(3)?
True
Suppose -44*w + 40*w + 3*t + 3040 = 0, 4*w - t = 3032. Does 38 divide w?
False
Let d = -8259 - -14334. Is d a multiple of 27?
True
Let d = 1994 - -6832. Does 248 divide d?
False
Let y(a) = 3*a - 48. Let m be y(-16). Let x be (m/20)/4*(-4 + -1). Suppose 3*k = -x + 558. Is 23 a factor of k?
True
Suppose 99*r = 21846 + 104874. Is 38 a factor of r?
False
Let r be (31/(-35) - (-6)/21)*-5. Suppose -r*n + 8 = 3*f - 67, 0 = 4*n - 4. Let b = 1 + f. Does 5 divide b?
True
Let r = -276 - -1793. Suppose 1423 + r = 4*p. Is p a multiple of 7?
True
Let v(n) = 63*n - 520. Does 8 divide v(35)?
False
Suppose -112382 = -418*q + 414*q - 3*b, -q + 28142 = -7*b. Is 20 a factor of q?
True
Let f(o) = -3*o + 20. Let t be f(5). Suppose -t*p + 0*p = -15. Suppose 41 = p*r - 49. Does 10 divide r?
True
Suppose 95*u = 101*u - 1110. Let s = 1023 - u. Is s a multiple of 30?
False
Let j = 4854 + -4413. Is j a multiple of 7?
True
Let o(g) = 8*g - 123. Let n = 163 - 146. Is 5 a factor of o(n)?
False
Let w(s) = -14*s - 21. Suppose 4*j - 6 = 26. Suppose j*z = 4*z + 2*f - 26, -3*z + f = 22. Does 15 divide w(z)?
True
Let p(b) = 6*b - 70. Let h be p(9). Does 76 divide 20560/28 + h/56?
False
Let p(z) = -2*z + 1. Let f(a) = 161*a - 18. Let u(y) = -f(y) + 4*p(y). Is 48 a factor of u(-3)?
False
Suppose -4*y = 10573 - 71644 - 17641. Is 87 a factor of y?
False
Let b = -198 + 225. Suppose 4*n - b = 3*m - 155, -5*m + 190 = 5*n. Is 2 a factor of m?
True
Let f be (-16)/(-6)*-3*(-1)/2. Suppose 0*t - t + 86 = f*a, 3*t - a - 297 = 0. Suppose 2*i + 0*i - t = 0. Is i a multiple of 14?
False
Suppose -46*q - 24438 = -3*m - 45*q, -2*m = 4*q - 16264. Is m a multiple of 94?
False
Let p(q) be the second derivative of q**5/20 - 7*q**4/6 - 17*q**3/3 + 39*q**2/2 + 10*q. Let x be p(16). Suppose x*t + 26 = 8*t. Does 3 divide t?
False
Does 29 divide 9/18*(-13)/((-130)/161060)?
False
Let a(m) = 1417*m - 937. Is 57 a factor of a(4)?
True
Suppose -5*s - 6 = d, 6*s = -4*d + s - 9. Let t be (d - -2)*(-315)/3. Let i = t + 193. Does 11 divide i?
True
Let l(x) = -4*x - 15. Let a(p) be the first derivative of -9*p**2/2 - 29*p + 5. Let f(w) = 3*a(w) - 5*l(w). Is f(-17) a multiple of 12?
False
Suppose -5*g = -2*m + 606, 4*m - 1302 = -0*m - 5*g. Is m a multiple of 2?
True
Suppose -5*m - 644 = 2*i, -5*i + 272 = -2*m - i. Does 23 divide ((-1196)/m)/((-2)/(-60))?
True
Let z = 3657 + -3225. Is z a multiple of 108?
True
Let o be -1692*(-24)/(-102) + (-2)/(-17). Let f = -352 - o. Is 23 a factor of f?
True
Let o be (0 + -2)*6*(-35)/2. Suppose 0 = 4*w + 5*c + o, 0*w = w - 5*c + 65. Is (-10)/w + (-284)/(-11) a multiple of 14?
False
Suppose -46 - 28 = -2*t + 5*g, 4*g + 104 = 3*t. Suppose 24*y - t = 8*y. Suppose -3*z + 124 = -y*q -