*a - 238 = a, 0 = -2*x + 3*a - s. Let b = x + 127. Is 28 a factor of b?
False
Suppose -4*r = h + 11, -r - 3*h = 7 + 4. Let v(k) = 15*k**2 + 2*k - 2. Is 9 a factor of v(r)?
True
Let l be (-2)/(3 - (-15)/(-3)). Is -7 + l + (-16 - -154) a multiple of 11?
True
Let o(i) = 2*i**3 + 48*i**2 - i - 44. Suppose -210 = 19*t + 227. Is o(t) a multiple of 61?
True
Suppose f - 3*h + 41 = 2*f, 5*f + 2*h - 231 = 0. Suppose f*z - 49*z + 100 = 0. Is 13 a factor of z?
False
Let a(y) = y**2 - 46*y - 3 + 25 + 80*y - 3 - 46*y. Does 5 divide a(14)?
False
Let s = -3 - -8. Let i(w) = 23*w**3 + 5*w + 7 + 5*w**2 - 22*w**3 + s. Is i(-4) a multiple of 8?
True
Let a = -14 - -16. Let p be (12/8)/(a*(-2)/(-24)). Let o(t) = 2*t**2 - 9*t - 11. Is 35 a factor of o(p)?
True
Suppose 99 = 2*a + 31. Suppose -a*w + 32*w = -18. Suppose 8*s = w*s - 169. Does 17 divide s?
False
Suppose -11*v = -4980 - 1125. Suppose 0 = -9*c + 21 + v. Is 6 a factor of c?
False
Suppose 136 - 31 = -3*l. Let u be ((-810)/l)/((-1)/(-7)). Suppose 2*q - 11*q = -u. Is 18 a factor of q?
True
Let i be 618*(-1)/6*(-18 + 2). Suppose -5*l + i = -3*g + 4*g, -4*l + 3*g = -1326. Does 15 divide l?
True
Suppose -5*v - 2*b + 42780 = 0, -5*v + 14*b = 15*b - 42775. Is 13 a factor of v?
True
Let v = 73 + -157. Is (-4)/8*8*(1 + v) a multiple of 10?
False
Suppose -11*q + 5463 = -95517. Is q a multiple of 10?
True
Let r = -315 + 342. Suppose 31920 = r*m + 10158. Does 13 divide m?
True
Suppose 88 = 9*t - 5*t. Let g = -20 + t. Does 12 divide 0 + (-356)/((-8)/g)?
False
Suppose -25*s = -64*s + 29*s + 3420. Is s a multiple of 46?
False
Let u(t) = 16*t + 190. Let i be u(-7). Suppose 3*y = i + 417. Is y a multiple of 11?
True
Let l(d) = -86*d - 1272. Is l(-48) a multiple of 17?
True
Let n = 2014 - -1274. Does 6 divide n?
True
Let c(n) be the third derivative of 1/8*n**4 + 1/40*n**6 + 0 - 6*n**2 + n**3 + 0*n - 1/12*n**5. Is 13 a factor of c(4)?
True
Let m(g) = 12721*g + 108. Is 146 a factor of m(2)?
True
Suppose -4*v + 5178 = 4*b + b, 2*v = -b + 1038. Suppose -a + 3*p - 265 = -2*a, -4*a + p = -b. Is a a multiple of 22?
False
Suppose 0 = 6*p - 258 + 156. Suppose p*j = 26252 - 8606. Is 68 a factor of j?
False
Let h = -2293 - -4139. Does 26 divide h?
True
Suppose -6*x + x = -0*x - 6600. Does 110 divide x?
True
Suppose 4*s - 10806 = -7298. Is 4 a factor of s?
False
Let k = 335 - 306. Let j = 47 + k. Is 76 a factor of j?
True
Let w(d) = -d**2 + 23*d - 79. Suppose 24*u - 432 = -3*u. Is w(u) a multiple of 3?
True
Does 11 divide (2 - (12/10 - -2)) + 233776/80?
False
Let h(f) = f + 29. Let u be h(-24). Suppose u*k = 5*a + 1930, -5*a - 591 - 567 = -3*k. Is 15 a factor of k?
False
Is (-5612)/(-3) - 3 - (-5)/15 a multiple of 27?
False
Let d be -1 + (-7)/(-9) - 18/(-81). Suppose -6*c - 510 - 1338 = d. Let i = c - -435. Is 10 a factor of i?
False
Let q(w) = -w**3 + 3*w**2 + 2*w - 4. Suppose -p = 3 - 5. Let z be q(p). Suppose z*k - 9*k = -425. Is k a multiple of 20?
False
Let a(r) = -155*r - 8256. Does 257 divide a(-108)?
False
Suppose -20*v - 1715505 = -31*v - 22*v. Is 54 a factor of v?
False
Let h = -754 - -146. Let s = h - -720. Is s a multiple of 7?
True
Suppose -8*t + 39 + 17 = 0. Suppose -9*p = -t*p - 122. Is 8 a factor of p?
False
Let d = -5120 - -8992. Is 16 a factor of d?
True
Suppose 25*u - 23*u + 2257 = 5*y, 3*y - 1352 = -u. Is y a multiple of 23?
False
Let n = -3712 - -10872. Is n a multiple of 73?
False
Suppose 3*n - 18 = -0*n - k, -4*n + 4*k = -8. Suppose 0 = 2*w + 2*s - 17 - 57, -3*w = -n*s - 119. Is w a multiple of 2?
True
Suppose -4*c - 4 = -8. Let s(r) = 30*r**2 + 3*r - 2. Let t be s(c). Suppose -t = -2*d + 63. Is d a multiple of 14?
False
Let x(v) = -21*v + 249. Does 23 divide x(-21)?
True
Let c(w) = -w**3 - 7*w**2 + 6*w + 10. Let z be c(-10). Let n = -125 + z. Suppose -5*r + n = 5*m, 1 - 11 = 2*m. Does 8 divide r?
False
Is 11 a factor of 1937584/(-1090)*(-10)/4?
True
Suppose -791 = -2*l + 169. Is 5 a factor of (-3 + 0)/((-144)/l)?
True
Let r(o) = 18*o + 11. Let s be r(-3). Let w = s + -17. Does 10 divide 1/3*0 - w?
True
Suppose -5*g - 6*k = -27016, 2*g - 507 - 10298 = -k. Does 4 divide g?
False
Let o(b) = 113*b**2 + 29*b - 22. Does 78 divide o(14)?
False
Let g(h) = -h**3 + 3*h**2 - 2*h. Let v be g(4). Let k be (-342)/(-8) + (-51)/68. Does 5 divide (-2 - k/(-12))/((-2)/v)?
False
Suppose -3*x + 57*x - 2323112 = 106078. Is x a multiple of 253?
False
Is (-1 - (-1 - 4) - 2) + -16 + 1747 even?
False
Let j(i) be the third derivative of 19*i**5/60 - 5*i**4/8 + 19*i**3/6 - 62*i**2. Is j(4) a multiple of 15?
False
Let j(o) = -641*o - 92 + 1199*o - 653*o. Does 8 divide j(-4)?
True
Suppose 33*j - 25051 - 32732 = 0. Is j a multiple of 68?
False
Let u be (-53)/(-5) - ((-60)/25 + 2). Let b = 100 + u. Is b a multiple of 12?
False
Let m(n) = n**3 + 4*n**2 - 9*n - 20. Let y be m(-5). Suppose -4*k = -y*k - 660. Suppose 5*t - 3*l - 275 = 2*l, -3*t + k = -l. Is 11 a factor of t?
True
Let g = 134 - 136. Does 55 divide (2/(-9)*-18)/(g/(-305))?
False
Does 10 divide 280/(-6)*(-9576)/336?
True
Suppose -5*j + 20 + 29 = o, -2*j + 19 = o. Suppose -j*y + 3280 = 10*y. Is y a multiple of 10?
False
Let x = 47 - 41. Suppose x*g = -111 - 255. Let t = g + 106. Is t a multiple of 5?
True
Let j = 66 - 64. Suppose 703 = d + 5*y - 799, -j*d + 5*y + 3049 = 0. Is d a multiple of 13?
False
Let w = 67689 - 13727. Is 37 a factor of w?
False
Let g be ((-30)/90)/((-2)/30). Suppose -4*a = 4*o - 1896, -o + a + 471 = g*a. Is o a multiple of 25?
True
Let h = 342 + -110. Is (-1)/(-3) + -43*h/(-24) a multiple of 18?
False
Let q(z) = 25*z**2 + 7*z - 13. Suppose -5*g + 21 = -2*m + 5, 12 = 3*g. Does 7 divide q(m)?
False
Let z = 27733 + -14222. Is z a multiple of 15?
False
Does 142 divide 48956310/2535 - (-2)/(-13)?
True
Let k(z) be the third derivative of 251*z**5/60 - 11*z**4/24 + 7*z**3/3 - z**2 - 10*z. Is k(2) a multiple of 6?
True
Let m be 1*1/(2/24). Let d(z) = -15 + z**2 - 495*z + 119*z + 123*z + 122*z + 121*z. Is 2 a factor of d(m)?
False
Is 152 a factor of 14666 + (270 - 260)*(-1)/(-2)*1?
False
Let z(m) be the second derivative of m**4/12 + 10*m**3/3 - 127*m**2/2 + 71*m. Is z(10) a multiple of 8?
False
Let s = 1031 - 988. Suppose w = -3*x + 589, -5*w = 3*x + 229 - 834. Suppose x = s*k - 38*k. Is 17 a factor of k?
False
Suppose 13*f + 266*f = -83789 + 294434. Is 35 a factor of f?
False
Let m = 78 - 92. Let v = 389 + m. Is v a multiple of 15?
True
Let l = 230 + 8494. Is 77 a factor of l?
False
Suppose 48 = 32*z - 20*z. Let c = 108 - z. Is 8 a factor of c?
True
Let l = -25 - -47. Suppose -z = 18 - l. Let k(f) = 46*f + 6. Is k(z) a multiple of 38?
True
Suppose -34*n - 36*n = 24*n - 65330. Is n even?
False
Let o be 2/12*-4*123. Let i = o + 73. Does 4 divide (3 - i/(-5))/((-8)/(-100))?
False
Suppose -2*p - 3*k = -5787, -3*k - 3129 - 11286 = -5*p. Is 11 a factor of p?
False
Let x(l) = -16*l - 2. Let d be x(-1). Let h = 24 - 21. Suppose -h*s = -d*s + 1001. Does 9 divide s?
False
Let w(j) be the first derivative of j**6/15 - j**4/24 + j**3/6 + j**2/2 - 3. Let f(l) be the second derivative of w(l). Is f(1) a multiple of 4?
True
Suppose 149358 = 18*y + 15*y. Is y a multiple of 17?
False
Suppose -3*a + 2*p = -61, -5*p = -10*a + 7*a + 76. Is -3 + (1 + 2)/(a/6800) a multiple of 16?
False
Let t be (-11 + 1)*(-42)/(-35) + 5. Is 12 a factor of ((t - -5) + 708)/1?
False
Suppose -5*l + 36 = 4*x, -3*x + 6 + 22 = 4*l. Suppose 5*q = x + 1. Is 31/(-3 + 3 + q) a multiple of 22?
False
Suppose 0 = -274*o + 269*o + 30. Suppose 0 = 3*g - 417 - o. Is g a multiple of 10?
False
Is 30 a factor of (-2207828)/(-112) + (-22)/8?
True
Suppose 4*f + 2*l + 8 = 8*f, -3*f + 2*l + 6 = 0. Suppose 5*y - f*h - 564 = -3*h, 0 = -4*h - 4. Is 56 a factor of y?
False
Let c(y) = 4759225 + 0*y**3 + 3*y - 4759239 + y**3 - 12*y**2. Let x be (1 + (-22)/(-2))/1. Is c(x) a multiple of 6?
False
Let d be (-4)/(-54) + (-21535)/(-1971). Suppose 0 = d*o + 9*o - 1260. Does 5 divide o?
False
Suppose -210 - 150 = -12*f. Does 19 divide (-3226)/(-10) - -2*6/f?
True
Suppose -10*g - 8 = -12*g. Let m(l) = -l**3 + 4*l**2 + 3. Let k be m(g). Suppose -k*r + 17 = -34. Is 9 a factor of r?
False
Let m = -39 - -38. Let y(l) = -99*l + 3. Let a be y(m). Suppose -a = -2*v - f, 0*v - 3*f - 65 = -v. Does 11 divide v?
False
Let v(d) = 22*d**2 - 12*d + 16