 215 + 619. Let o = n - 349. Is o a multiple of 35?
False
Let h = 130 + -133. Let r be (h + (-72)/(-16))/((-2)/(-52)). Suppose -2*i - i - 4*y + 42 = 0, 0 = -3*i - 5*y + r. Is 3 a factor of i?
True
Let p = -139 - -130. Is 10/20*102/(-9)*p a multiple of 17?
True
Suppose 0 = -4*v - 2*o + 17761 + 7325, 5*v - 31395 = 5*o. Does 22 divide v?
False
Suppose 3*f + 119 = 143. Suppose -11*m + f*m = -1362. Suppose m = 9*r + 4. Does 4 divide r?
False
Suppose 34*z = -16*z - 53*z + 627167. Does 7 divide z?
False
Let l = 6403 + -1415. Does 43 divide l?
True
Suppose -f + 4*t - 80 - 9 = 0, 3*f - 5*t = -253. Let y = f + 81. Suppose -o + y*x - x = -34, 43 = o - 2*x. Does 3 divide o?
False
Is 41 a factor of 293162/22 + 276/(-506)?
True
Is ((-40)/35)/(12/(-21))*8228 a multiple of 17?
True
Suppose n - 4*l = 43, n - 2*n - 3*l + 15 = 0. Suppose 0 = 12*x - 9 - n. Is 270/(-12)*(-16)/x a multiple of 23?
False
Suppose 1522 + 2162 = 6*o. Does 10 divide o?
False
Let r be (-3)/((-60)/10300*10/2). Suppose -5*b = -532 - r. Does 17 divide b?
False
Let a = -241 - -78. Is (-4 + -1 + a)*(-3 - -2) a multiple of 8?
True
Suppose d - 5*d - 12 = 0. Let x(b) = -b**2 + 5*b + 2. Let z be x(d). Let m = z - -46. Does 13 divide m?
False
Suppose -13347 = -2*x - v, -3*x + 19292 + 701 = -4*v. Is x a multiple of 4?
False
Suppose -8*l - 14927 = -13*l + 2*n, 4*n + 11932 = 4*l. Let w = l + -1537. Does 50 divide w?
True
Let b be (5/(-20))/((-1)/(-4))*-163. Let z be -2*(-3)/15 - b/(-5). Suppose -q = -z - 19. Is 7 a factor of q?
False
Let v be 8/66*15 + 4/22. Suppose -5*x + 27 - v = 0. Suppose 0 = -x*h + 136 + 214. Does 5 divide h?
True
Let r(k) = -k**2 - 5*k + 13. Let v be r(-6). Let n(c) = -28 + 11 - c + 16 + v. Is 2 a factor of n(-7)?
False
Suppose -18 = 3*l - 0*l. Let x(r) = -19*r + 28. Let c be x(l). Suppose -i = -2*j - c, 4*j + 2 = i - 132. Is i a multiple of 28?
False
Suppose 3*q = -5*t - 77 - 97, -3*q - 4*t = 171. Let k = 61 + q. Suppose u = 28 + k. Is u a multiple of 19?
False
Suppose -y + 31 = 11. Suppose y + 4 = 4*d + 4*j, -d + 5*j = 0. Suppose -12 = -4*p, d*p - 3*p = 5*x - 154. Does 16 divide x?
True
Suppose -4*h + 11 + 57 = 0. Suppose 2*o + h*j = 18*j + 416, 5*o + j = 1040. Is o a multiple of 13?
True
Suppose 0 = -3*k - g + 906, 3*g = 6*k - 2*k - 1221. Suppose 177 = 4*b - k. Is b a multiple of 39?
False
Let l be (7/((-70)/12))/(9/60). Let a be (4252/l)/(3/(-30)). Is 2/(-12) - a/(-30) a multiple of 12?
False
Let i(n) = 159*n**2 - 31*n - 11. Let k be i(5). Suppose -3132 = -2*z + w, 2*z + 2*w - k + 671 = 0. Is z a multiple of 32?
False
Is 44 a factor of ((3 - 11) + -5 + 2350)/(12/176)?
True
Let j = -32 - -40. Suppose j = -2*u, -2*u = 2*h - 5*u + 694. Let n = 543 + h. Does 38 divide n?
True
Let c(o) = -32*o**3 - o**2 - 2*o. Let b(p) = 4*p + 15. Let t be (9/((-36)/32))/2. Let m be b(t). Is 17 a factor of c(m)?
False
Let q(w) = 2*w**2 + 40*w - 5569. Is 8 a factor of q(84)?
False
Suppose 4*t - 5*q - 8264 = 717, -3*q = -2*t + 4491. Does 4 divide t?
True
Let v be (18/(-8))/((-17)/952). Let g = -365 + 587. Let c = g - v. Is 16 a factor of c?
True
Suppose 42*t - 1440 = 33*t. Suppose 4*w - 5*s - 172 = 0, 3*w + 4*s = -0*w + t. Is 8 a factor of w?
True
Let r be (-2)/3 + (-9)/(162/(-13152)). Suppose 16*h - r = 6*h. Is 3 a factor of h?
False
Let x(v) = -v**2 + 7*v - 4. Let d be x(6). Suppose 0 = 2*q + 2*l - 7 - 5, -q + d*l + 15 = 0. Does 23 divide (106/3)/(6/q)?
False
Let p be (-2)/((14/3)/(-7)) - -2. Suppose -2*a = -p*j - 6, -j = j + 8. Let w = 201 - a. Does 14 divide w?
False
Let o(d) = 307*d - 622. Is 34 a factor of o(10)?
True
Suppose -25*j + 4*z + 5174 = -23*j, 0 = -j + z + 2588. Is j a multiple of 5?
False
Let l = -5 + -45. Let s be (-8)/(-5*4/l). Does 7 divide (-105)/(-6)*(-8)/s?
True
Let c = 324 + -324. Suppose c = -5*s - 0*i + 2*i + 688, -144 = -s + 2*i. Is 17 a factor of s?
True
Let k = -59 - -66. Let a(y) = 8*y**2 - 11*y - 17. Let f be a(k). Suppose 0 = -0*t - t + 2*l + 290, -t - 2*l = -f. Is 14 a factor of t?
True
Let x(b) = b**3 - b**2 + 16*b - 137. Is 20 a factor of x(7)?
False
Suppose 10*i = 694 + 4896. Suppose -5*p = 3*r - 5015, 5*r = -p + i + 422. Is 19 a factor of p?
False
Let t be (-3)/(-18) - 50/(-80)*(-32)/120. Let g be 0 + 0 + (-1 - -6). Suppose t = -g*u - 4*u + 468. Is u a multiple of 13?
True
Let o(k) = 11*k**3 - 29*k**2 + 119*k + 15. Is 99 a factor of o(6)?
False
Let j = 2262 - 1230. Does 19 divide j?
False
Let n = 27429 + 11938. Does 88 divide n?
False
Let w be (-90)/(-4)*(11050/(-39))/5. Does 6 divide (-8)/32 - w/12?
False
Let z be ((-5)/(-10))/(4/(-120)*-3). Let u be (-2)/z + 3/(-20)*-76. Is (-30 + 20)*1/((-2)/u) a multiple of 17?
False
Suppose -60*i - 16*i = -57000. Is 14 a factor of i?
False
Suppose 75*y + 992 = 8*y + 5*y. Let q(o) be the second derivative of o**5/20 + 5*o**4/4 - 7*o**3/2 - 3*o**2 - o. Is q(y) a multiple of 12?
False
Let a = -5003 - -7358. Does 24 divide a?
False
Does 19 divide (-8)/18*(7704/(-16))/1?
False
Let t(q) = 3*q + 1. Let p be (-27)/3 + 6 + (0 - -2). Let y be t(p). Does 21 divide (y/(8/6))/((-2)/60)?
False
Is 117/(-390) - (-1633)/10 a multiple of 13?
False
Let x = 4268 - 3500. Does 48 divide x?
True
Let i = 236 - 229. Suppose -16*p = i*p - 8740. Does 38 divide p?
True
Suppose 0 = 3*a, -9*n + 5*n + a + 20 = 0. Suppose 10 = -n*r, -4*j = -2*j + 2*r - 166. Does 3 divide j?
False
Let o = 10203 + -4660. Is o a multiple of 14?
False
Suppose 4*a - 3 + 1 = -3*l, l - 7 = 5*a. Let r be (-2 + l)/(-7 + 5). Suppose -5*f = 5*y - 515, 5*f + r*y = 2*y + 487. Does 11 divide f?
True
Let f(t) = -t**2 + t - 2. Let g(x) = 24*x**2 - x - 6. Let l(w) = -6*f(w) + 2*g(w). Is l(-3) a multiple of 41?
False
Suppose -80*d + 16*d + 17*d + 397385 = 0. Is d a multiple of 29?
False
Let p(g) = 38*g + 8. Let r be p(2). Let v(j) = -4*j + 40. Let n be v(9). Suppose 0 = -n*i + 40 + r. Is i a multiple of 6?
False
Let m = 10 - 5. Suppose -8 = -m*n + 4*z, -z - 10 = 3*n + 4*z. Suppose n = -34*x + 31*x + 255. Does 17 divide x?
True
Suppose 0 = h - 0*h - 4*g - 772, 0 = -4*h - 2*g + 3088. Suppose -2*j + 4*x = -376, 8*j - 3*x - h = 4*j. Does 28 divide j?
True
Let f = 22814 + 3060. Is 76 a factor of f?
False
Let h(a) be the first derivative of a**3 - 6*a**2 - 4*a - 18. Let y be h(14). Suppose -12*i + y = -4*i. Is 13 a factor of i?
True
Let u(t) = 12*t - 2. Let f be u(5). Let h = -578 - -568. Let y = f - h. Does 21 divide y?
False
Let t(m) be the second derivative of 43*m**4/12 - 11*m**3/6 - m**2 - 34*m. Does 24 divide t(-2)?
True
Suppose -8*z = -11*z + 2487. Suppose -3*w + 1239 = -3*t + 6*t, w = -2*t + z. Is 39 a factor of t?
False
Suppose 133*v = -7*v + 545579 + 201461. Does 4 divide v?
True
Suppose -196231 = -18*o + 132017. Does 14 divide o?
False
Suppose t - 4*t + 3 = 0. Let d(k) = 89*k - 2. Let f be d(t). Let v = f + -3. Does 6 divide v?
True
Suppose 0*l = -9*l + 1359. Let s = -122 + l. Is s a multiple of 29?
True
Let z(o) be the third derivative of 1/120*o**6 + 0*o + 0 + 4/15*o**5 - 19/6*o**3 + 23*o**2 + 7/24*o**4. Does 25 divide z(-14)?
True
Let z be -4 - -2 - 6*(-1)/2. Is 4 a factor of 6/(-39) + -1354*z/(-13)?
True
Suppose 0 = 3*w, -2*j - 5*w = j - 60. Suppose -j*b + 79 = -81. Is b a multiple of 4?
True
Let y = 134 - 327. Let h = y - 104. Let t = -166 - h. Does 40 divide t?
False
Is (-47)/((331/(-66) - -3) + 2) a multiple of 47?
True
Suppose 7*b = 8*b - 45. Let o = -40 + b. Suppose 0 = -4*m + 41 - o. Does 9 divide m?
True
Suppose -5*n - 8 = -33. Suppose -5*l - 24 = 3*r, -4*r + n*l + 0 = -3. Is r/(0 - 12/152) a multiple of 17?
False
Let n(p) = 7 - 2 - 19 - 15 - 4*p - 5. Suppose -20 = -2*o + 3*o. Is 17 a factor of n(o)?
False
Suppose -4*q = -5*n - 4113 + 45280, -16474 = -2*n - 2*q. Is n a multiple of 10?
False
Let a(d) = -24*d - 102. Suppose -5*c - 17*g + 12*g = 25, 4*g = -5*c - 28. Is 2 a factor of a(c)?
True
Let x = 1568 - -13598. Is 70 a factor of x?
False
Let z = 5 + -5. Let f = -173 + 176. Suppose -5*w + f*w + 98 = z. Is w a multiple of 27?
False
Is 155 a factor of (-867)/68*(6 - ((1 - -4458) + -1))?
False
Let v be (2*(-329)/14)/(-1). Suppose -v*z = -49*z + 5*q + 53, 92 = 4*z + 4*q. Is z a multiple of 3?
True
Let h(o) = 280*o**2 - 17*o + 24. Is 37 a factor of h(2)?
True
Suppose 460*s - 455*s - 42935 = 0. Is s a multiple of 45?
False
Let l(u) = 4*u + 68. Is 2 a factor of l(7)?
True
Su