8, 0 = -3*v + i - 7 + 16. Suppose -v*t + 707 = 5*l, 0*l = 5*t + l - 868. Is t a multiple of 22?
False
Let k be (-1)/((-28)/9 + 3). Let v = k + -9. Suppose 4*d + 6 = -f, 4*f + 5*d - 25 + 5 = v. Does 4 divide f?
False
Suppose 5*p + 3*r + 27 = -1, 3*p = 3*r - 12. Let c = p + -17. Let n = 50 + c. Is 7 a factor of n?
True
Let m be (5 + -7)/((-93)/90 - -1). Suppose -m*v - 27628 = -117508. Is 14 a factor of v?
True
Suppose 4*t = 5*x - 428, 5*x - 2*t - 359 - 75 = 0. Suppose -9*n = -8*n + x. Does 26 divide (-16)/n - 3802/(-22)?
False
Let i = 276 - 183. Suppose 4*c - i = 31. Is 31 a factor of c?
True
Suppose 0 = -283*p + 220*p + 135891. Is p a multiple of 5?
False
Let o = 1603 - -4117. Is o a multiple of 88?
True
Let u(g) = 5*g + 1. Let b be u(2). Suppose -3*m = -5*f + 27 - b, 4*f = -5*m - 2. Suppose f*j + 10 = 22. Is 3 a factor of j?
True
Let l(k) = -8*k - 20. Let f be l(-3). Is -4*(-225)/12 + 1*f a multiple of 20?
False
Let d be 2/(-1) - (-17360)/(-3 - -5). Suppose 10723 = -5*r + 3*w, -4*r = w + d - 103. Does 14 divide 1/((-36)/8) + r/(-9)?
True
Let t = -12028 - -21961. Is 129 a factor of t?
True
Is (-243)/54*(1 - 11914/6) a multiple of 16?
False
Let w = -603 + 3588. Does 94 divide w?
False
Suppose -35304 = 33*b - 13590. Let m = 1260 + b. Is m a multiple of 7?
True
Suppose 2*l + 2*f + 2 = 0, f - 3 = -4*l - l. Suppose -3*j + 12 = 3*s, 4*j - l + 3 = 5*s. Suppose -i = -2*z + 103, j*z - i = 3*i + 94. Is z a multiple of 9?
False
Let c(o) = 9*o - 1. Let a = -57 - -63. Is c(a) a multiple of 3?
False
Suppose u = 4*u - 15. Suppose 65 - 55 = -u*c. Is 10 a factor of (-1 - -2)*c*(-77)/2?
False
Suppose 2*y - 5*y - 1935 = 4*b, 4*b + 2*y = -1930. Does 14 divide (58 - (0 + -1))/((-80)/b)?
False
Let z(m) be the first derivative of 8/3*m**3 + 3*m + 12 - 5/2*m**2. Does 10 divide z(3)?
True
Let m(j) = -j**3 + 19*j**2 + 20*j + 4. Let b be m(20). Suppose 0 = f - x - 224, -2*f + b*x = -5*f + 707. Is 7 a factor of f?
False
Does 10 divide (-4*1197/(-76))/((-2)/(-20))?
True
Let z be -1*(-2)/(-4) + (-10)/(-4). Let w(g) = -2 - g**z + 7*g**2 - 4 + 2*g. Is w(-3) a multiple of 6?
True
Let y(z) = -6*z + 50. Let n = 130 + -130. Does 5 divide y(n)?
True
Suppose o + 172 = -2*d, -2*o - 2*o + 269 = -3*d. Let l = 33 - d. Suppose 0 = 3*x - l - 198. Does 27 divide x?
False
Let v(i) be the first derivative of 8*i**2 + 92*i - 61. Does 12 divide v(22)?
True
Let p = 1 + 7. Suppose -5*u = -7*u + p. Suppose -2*s - 2*a + 110 = 0, -s - 108 = -3*s - u*a. Does 8 divide s?
True
Suppose 9172*u - 766260 = 9139*u. Is u a multiple of 45?
True
Suppose w - 197 = -103. Suppose 0 = 3*c - 6, 15*l + 5*c + w = 16*l. Is 52 a factor of l?
True
Suppose -j = 5*h - 35964, -j = -427*h + 428*h - 35932. Does 12 divide j?
False
Let k(r) = -r**2 - 31*r + 2380. Does 238 divide k(-31)?
True
Let r be -5 - (-3843)/14 - 14/28. Let u = 66 - 42. Suppose -q - u + 107 = s, -3*s + 2*q = -r. Is s a multiple of 25?
False
Suppose d - 54 = -2*o - 15, 77 = 2*d + 3*o. Suppose 44*z - d*z - 770 = 0. Is z a multiple of 11?
True
Let z(a) be the third derivative of -a**4/12 + a**3 - 15*a**2. Let g be z(4). Is 18 a factor of ((-432)/(-32))/(g/(-8))?
True
Let a(r) = -10*r + 6. Let u be a(-1). Suppose v - 9 - u = 0. Suppose -26*q + v*q = -153. Is q a multiple of 14?
False
Let g(a) = 4*a**2 - 12*a - 21. Let y be g(12). Suppose 4*j = -c + y, j + 426 = c - 0*c. Let l = c + -157. Is l a multiple of 14?
True
Suppose 5*u = -4*v - 719, 3*u + 434 = -0*u - 5*v. Let g = 161 + u. Is g a multiple of 18?
True
Let f(v) = -12*v + 99. Let t be f(8). Suppose t*k + 4*c - 4710 = 0, 5*k + 4*c - 1614 = 6236. Is k a multiple of 55?
False
Let i(d) = 8*d - 11. Let r be i(10). Suppose -3*v - r = 4*q - 7*q, -5*v + 35 = q. Suppose 0 = 5*f - q, 5*s - 113 = -2*f + 42. Does 3 divide s?
False
Let v = 30 - 18. Let p(n) = -n**3 + 13*n**2 - 15*n + 11. Let a be p(v). Let m = a + 117. Is 23 a factor of m?
True
Let h = -406 - -123. Let j = h + 325. Is 6 a factor of j?
True
Let v(p) = -p**3 - 72*p**2 + 25*p**2 + 12*p**2 + 13*p**2 + 25 + 37*p. Is 65 a factor of v(-25)?
True
Let i(b) = -27*b**3 + 2*b**2 + 2*b + 2. Let d be i(-2). Suppose -7*l + l + d = 0. Let c = l + 1. Is 4 a factor of c?
False
Let g = 59 - 144. Let c = -5 - g. Does 28 divide -3 + (2 - (-5 - c))?
True
Let w be (-27)/45 - (-283)/5. Is 1553 + (-19)/((-133)/w) a multiple of 36?
False
Let g = -331 + 331. Suppose g = y - 206 - 100. Is y a multiple of 9?
True
Suppose 3*b + 19 = 5*d - 0*b, -5*d - 5*b = 5. Let l = 116 + 1060. Suppose 9*z - d*z - l = 0. Is z a multiple of 42?
True
Let q = 6325 + -3604. Is q a multiple of 37?
False
Suppose -4*l - 2*n + 7210 = -10262, -3*l = -6*n - 13149. Is 27 a factor of l?
False
Let o(n) = -491*n + 940*n - 566*n + 22 + 22. Is o(-4) a multiple of 16?
True
Let q = 39 - -44. Suppose -f + 2*h - 3*h + q = 0, 411 = 5*f + 4*h. Suppose -2*y = -w + y + f, -4*y - 395 = -5*w. Is w a multiple of 54?
False
Let s(h) = -2*h**3 - 32*h**2 - h - 7. Let d be s(-16). Let a(o) = -o**3 + 11*o**2 - 7*o + 4. Is a(d) a multiple of 3?
False
Let g(h) = h**2 + 21*h - 22. Suppose -8*z - 217 = 47. Does 17 divide g(z)?
True
Let i = -3143 - -3130. Let r = 189 - 351. Let c = i - r. Is 31 a factor of c?
False
Let n = 35 - 7. Suppose 10*s - 12*s + n = 0. Does 30 divide ((-240)/s)/(((-2)/(-14))/(-1))?
True
Is ((-4)/5 + 1)/((-63)/(-98595)) a multiple of 49?
False
Suppose 24177 = 3*v - 2*z, -4*v + z + 21495 = -10736. Is 19 a factor of v?
False
Let t be (6/(-9))/(3/(-9)*1). Let b be (-105)/(-14) + t + (-7)/2. Let g(v) = -v**3 + 5*v**2 + 13*v - 2. Is g(b) a multiple of 8?
True
Suppose -q - 2 = -5, -13 = -5*d - q. Suppose -d*a - 5 + 9 = 0. Suppose -4*h - b = -142, 0 = -0*h + a*h - b - 74. Is 9 a factor of h?
True
Let t be (30/45)/((-2)/60*-4). Suppose 0 = -v + 5*a + 71, -t*v + 167 = 4*a - 43. Does 2 divide v?
True
Let i(k) be the third derivative of -3*k**6/10 + k**5/15 + 4*k**2 + 6*k. Is 8 a factor of i(-2)?
True
Suppose -4*s - 28110 - 16522 = -5*g, 0 = 4*s - 8. Does 93 divide g?
True
Let c be 1/(-3)*3 + 3. Let u(p) = 136*p**2 + 3 + p + c*p + 0*p - 7*p. Is 16 a factor of u(1)?
False
Let p be ((-24)/(-15))/((-14)/(-175)). Let c be 1/4 - (-1 - 1595/p). Suppose 0 = 2*w - 219 + c. Is 9 a factor of w?
False
Let c be (-26 - -92)*(-2)/(-6). Let l(k) = k**2 - 5*k + 2. Let p be l(5). Suppose 0 = -4*m + p*m + c. Does 2 divide m?
False
Let t = 100 + -57. Suppose 4*l + 34 = 5*l - 4*q, -3*q = 6. Let h = t - l. Is 14 a factor of h?
False
Let c(y) = -2*y - 683*y**3 + 4 + 26 - 30 - 3*y**2. Is c(-1) a multiple of 11?
True
Suppose -6*y = 190 - 43140 - 24082. Does 38 divide y?
True
Let r be (-4)/8 + (-49)/(-2). Let l(a) = -3*a - 4*a - r - a + 2*a. Is 8 a factor of l(-12)?
True
Is 142 a factor of 29047 - (4 + ((-3)/12 - 105/12))?
False
Is (1134/(-147) - -8)/(-2 - 9354/(-4676)) a multiple of 16?
False
Let u = 291 - 295. Suppose 2*d - 1 = 3*v, -6*v = -v - 3*d + 1. Is 28 a factor of v/2 + -1*558/u?
True
Suppose 72*c - 204*c + 968616 = 0. Is c a multiple of 29?
False
Let j = -142 + 74. Let m = 30 + j. Let v = 78 + m. Does 10 divide v?
True
Suppose -4*b - 251 = -15. Let w = b + 35. Does 15 divide (-866)/(-16) - (-3)/w?
False
Let o = 6432 - 4508. Suppose -7*l + 190 = -o. Is l a multiple of 10?
False
Is 25 a factor of (1 - 54/57) + 260596350/9975?
True
Let v = 262 - 622. Let u = v - -573. Is 27 a factor of u?
False
Let x(r) = r**2 + 23*r + 29. Let c be x(-13). Let d = 143 + c. Let b = 114 - d. Does 24 divide b?
True
Let v = 69 + -59. Let z be (1 - (-1)/1)*475/v. Let u = z + -71. Is u a multiple of 12?
True
Suppose 3*k = 3*a + 183, 3*a + 4*k + 199 = -k. Does 7 divide (162/a)/((-5)/490)?
True
Let u(p) = p**2 + 182*p + 21. Is 119 a factor of u(21)?
True
Let k be 9/6 - 5/(10/381). Let b = k - -267. Let y = b - 61. Is 12 a factor of y?
False
Let t = -95 + 7. Let v = -31 - t. Does 3 divide v?
True
Is 114 a factor of ((-26926)/(-3) - 0)*648/432?
False
Let c(u) = 209*u**2 + 2020*u. Does 11 divide c(-14)?
False
Does 12 divide (-2)/1*36/14*(-1400)/60?
True
Suppose 2*o = 3*q + 103, 5*o - 2*q - 113 - 139 = 0. Let n be 5/(o/(-12))*20/(-6). Suppose -2*i + 2*r + 164 = i, n*i = 4*r + 220. Is i a multiple of 6?
True
Suppose -1120 = 5*f - 2*j - 3*j, 4*j = -3*f - 686. Let o = f + 391. Is 55 a factor of o?
True
Let b(n) be the third derivative of 5*n**4/12 - 2*n**3/3 - 28