1. Let l(x) = 63*c(x) - 2*p(x). Does 7 divide l(-29)?
True
Let p be -4 + -2 + (-228)/4. Let a = 378 + p. Is 21 a factor of a?
True
Let z = 261 - 556. Let g = -253 - z. Is g a multiple of 14?
True
Does 89 divide -13 + 18 - (-1240 + (-1 - 0))?
True
Let t = -1687 + 2497. Is 9 a factor of t?
True
Let c = 378 - 384. Is (6/c - 6)/((-2)/140) a multiple of 12?
False
Let d = 236 - 52. Let i = 176 + d. Is i a multiple of 18?
True
Suppose 0 = -5*q - 4*b + 61024, -q + 2*b + 17976 = 5774. Does 113 divide q?
True
Let h(o) = -4*o**2 - 23*o + 10. Let x be h(-10). Suppose 5*w - 4*n - 1337 = 0, -n + 0 = 3. Let s = x + w. Is 35 a factor of s?
True
Suppose 15*j - 64815 - 102767 = 62278. Does 11 divide j?
False
Suppose -102733 = -88*s + 13*s + 19667. Is 6 a factor of s?
True
Let u be (1 - (-1)/(-1)*1)/(-2). Suppose -2*h + 642 = b + 241, u = 4*h + 8. Is 27 a factor of b?
True
Suppose w - 554 = x - 0*w, 4*x + 2211 = 3*w. Let m = -439 - x. Is m a multiple of 3?
False
Let o(x) = -x**2 + 20*x + 127. Let j be o(25). Suppose 760 = 2*m - 3*b, j*m + 4*b - 383 = 377. Does 10 divide m?
True
Is 9 a factor of 15049 - 1*(20 + -37)?
True
Suppose w = -c + 3, 0 = 4*c - c + 2*w - 11. Suppose -719 = -c*o - 3*a, o - 2*a = 99 + 37. Does 71 divide o?
True
Let s(l) = -3*l**2 - 3*l + 8*l + l**3 - 6*l**3 - 2 + 5. Suppose 5*q + 4*p = -17 + 14, 3*q - 2*p = -15. Is s(q) a multiple of 12?
True
Let h be 2/(3 - 14/6). Suppose -2*x + 15*z + 190 = 17*z, -283 = -h*x - z. Does 9 divide x?
False
Let f be ((0 - -1)/(1/(-2)))/(-1). Is ((-672)/64)/(f/(-24)) a multiple of 21?
True
Let f = 3817 - 2116. Is f a multiple of 51?
False
Let c(n) be the second derivative of -77*n**3/6 - 63*n**2 + 181*n. Does 6 divide c(-5)?
False
Suppose 3331 + 454 = 4*z - 3*p, 5*z - 4*p = 4730. Is 104 a factor of z?
False
Let y(l) = l**3 + 19*l**2 + 52. Suppose -8 = 2*c, 5*z + 2*c + 103 = -0*c. Does 7 divide y(z)?
False
Suppose d + 4*u = 60, -3*u - 284 + 59 = -3*d. Suppose d*s = 75*s - 1191. Is 8 a factor of s?
False
Let r(s) = 6*s - 53. Let t be r(7). Let u be 175/1*(t + 12). Is (7 + 7 + u)*(-8)/(-6) a multiple of 12?
True
Suppose -5*a = 5*s + 5, -2*a = -4*a + 3*s - 12. Let z be (0 - (0 + a)) + -52. Does 7 divide (z/(-14))/((-1)/(-12))?
True
Suppose y = 5*x + 8210, -37*y = -42*y + 2*x + 41027. Is y a multiple of 35?
False
Suppose h = 0, -z + 5*h = -426 - 434. Let a = -286 + z. Is 10 a factor of a?
False
Suppose -3*r + 2*k = 94, -3*k + 22 + 39 = -2*r. Let o be r/(-7) - 4/(-7)*-1. Suppose 2*d + 4*w = 483 - 161, 0 = -o*w - 4. Is d a multiple of 7?
False
Suppose j - 12067 - 12354 = -3*q, q - 4*j = 8136. Does 49 divide q?
False
Suppose 15 = -2*b - 3*c, -4*c - 15 = 3*b + 5. Let j be (b + 1)*(-6 + 4 + 185). Let k = j + -127. Does 11 divide k?
False
Let q be 8*(-5)/(-10)*59. Suppose q = 3*j + 47. Let p = -45 + j. Does 17 divide p?
False
Let w = 740 - 491. Suppose -1195 = -5*u + a + w, -2*a - 296 = -u. Is 18 a factor of u?
True
Suppose 2*h = -2*h + 40. Suppose 7*a = h + 39. Suppose -8*b + 360 = a*b. Is 4 a factor of b?
True
Let l(z) = z**3 + 5*z**2 + z + 7. Let x be l(-5). Suppose x*c + 5*u = 3, -c + 3*u = -2 + 17. Let m(n) = n**3 + 6*n**2 - 3*n + 1. Is m(c) a multiple of 5?
False
Let y be 8 - (-1 - -4) - 8/4. Suppose -4*t - 12 = -y*j, -2*j + 5*t - t = -4. Suppose m = 2*u - 315, -u = -j*m + 3*m - 180. Is u a multiple of 31?
True
Let o = -1000 - -998. Let h(g) be the first derivative of 4*g**3/3 + 3*g**2/2 + g - 1. Is 9 a factor of h(o)?
False
Let q be 5*((-112)/(-20) + -5). Suppose 0*b - 2179 = -5*r + 4*b, 5*r - q*b - 2178 = 0. Is r a multiple of 15?
True
Suppose 1244 = 31*q - 35*q. Let g = -308 - -115. Let n = g - q. Does 22 divide n?
False
Let o(x) = 5*x - 15. Let v be o(0). Let t = v - -39. Is 1578/(-4)*(-16)/t a multiple of 12?
False
Let p = -560 - -563. Suppose 0 = d - p*o - 99 - 89, -2*o = 2*d - 344. Does 22 divide d?
True
Suppose 12*g - 33321 - 12435 = 0. Does 18 divide g?
False
Let s = 13912 - 4588. Is 84 a factor of s?
True
Suppose 2*r = 5*r - 15. Suppose 103 = 31*h + 10. Suppose r*f + 160 = 4*d, 93 = 4*d - d + h*f. Is d a multiple of 7?
True
Let d(v) = -3*v**3 - 18*v**2 - 13*v + 2. Let w be d(-7). Suppose -9*r = -4*r - w. Does 48 divide r?
True
Suppose -2*b = 4*n - 104098, -6*b + 9*b + 52061 = 2*n. Does 144 divide n?
False
Suppose -80*f + 867275 = 149765 - 40650. Is f a multiple of 53?
False
Suppose 65*d - 60*d + 95 = 0. Let l(q) = -q**3 - 20*q**2 - 20*q - 23. Let u be l(d). Let v(y) = 8*y**2 + 3*y + 1. Is v(u) a multiple of 13?
True
Let h(d) = 6*d + 66. Let w be (-1)/(((-20)/25)/4). Does 48 divide h(w)?
True
Suppose -2*b + 374 = -182. Suppose m + 218 + 65 = -3*g, 2*g - b = m. Does 6 divide m/(-12) + (-6)/(-9)?
True
Is ((-124)/16)/((-1)/1024) a multiple of 9?
False
Suppose -10*p - 544 = -44. Let j be 3 - (1*12)/4. Is 15 a factor of (p - j)/((-6)/9)?
True
Let c(y) = y**3 + 5*y**2 - 3*y + 12. Let s be c(6). Let n = s - 198. Is n a multiple of 24?
True
Suppose 0 = -817*s + 780*s + 747474. Is s a multiple of 21?
True
Does 20 divide (918125/(-113) - (-14)/(-1))*4/(-2)?
False
Let z be (2/5)/(-6*4/(-720)). Suppose -24*h = -z*h - 156. Let o = 137 + h. Is 10 a factor of o?
True
Suppose -464 + 2036 = 6*t. Suppose 0 = t*p - 268*p + 4692. Does 17 divide p?
True
Let a(x) be the third derivative of x**6/120 - 7*x**5/60 - x**4/24 - 11*x**3/6 - 3*x**2 - x. Is 13 a factor of a(10)?
False
Let h = -410 - -963. Does 5 divide h?
False
Let l = -515 - -2748. Does 4 divide l?
False
Suppose 5 = 2*l + 3*l, 4*x - 2*l = 430. Let t = 142 + x. Does 5 divide t?
True
Let c = -518 - -1649. Is c a multiple of 13?
True
Suppose 3*n + 64*n = 1675. Does 5 divide n?
True
Suppose -24*r = -28*r + 856. Suppose 5*b - 2639 = a, -316 = -b - 2*a + r. Is b a multiple of 33?
True
Let p be -1*25*(-9)/45. Suppose 0 = -30*y + p*y + 5275. Is y a multiple of 34?
False
Let w(g) = -1189*g - 5113. Does 15 divide w(-22)?
True
Let m be (-2)/(-6)*(9 + -9). Let i = -3 + m. Is 6*(i - (-2 - 7 - 3)) a multiple of 18?
True
Suppose 7*d + 2*d - d = 24792. Is 27 a factor of d?
False
Let q = 13367 + -5799. Is q a multiple of 43?
True
Let w(g) = g**3 - 14*g**2 + 49*g - 33. Suppose 0 = 40*r - 43*r + n + 57, 0 = 4*r + n - 69. Is w(r) a multiple of 65?
True
Let t = 3522 - 2068. Is t a multiple of 57?
False
Let d(g) = -g**3 - 6*g**2 - 14*g - 30. Let p(z) = 8*z + 28 - 3*z + 11*z - 4*z. Let n be p(-3). Is 14 a factor of d(n)?
True
Suppose -3*a = 325 - 727. Is a a multiple of 32?
False
Let f(l) = -116*l + 14. Let x(h) = 233*h - 29. Let m(y) = 9*f(y) + 4*x(y). Let r be m(-5). Is 14 a factor of r/8 - 120/96?
True
Let v(t) = -5*t + 1727. Does 30 divide v(-33)?
False
Let u be (-14)/70 + 2212/10. Suppose -7*r + 353 + u = 0. Is 41 a factor of r?
True
Let a = -44 + 54. Suppose -250 = a*r - 5*r. Let x = r - -76. Is 10 a factor of x?
False
Let z be (370/(-296))/(2/664 - 0). Let a = 101 - z. Does 8 divide a?
False
Let j(a) = -179*a + 303. Is j(-12) a multiple of 19?
True
Suppose -531 = -4*m - 39. Suppose c - 2*u - 8 = 0, -3*u - 8 = -2*c - u. Is c + 3 + m - -2 a multiple of 16?
True
Suppose -2*w - 5*m + 91 = 0, 5*m + 89 = 2*w - 52. Suppose -11*g - 52 - w = 0. Let b = 82 + g. Is b a multiple of 36?
True
Let s(i) be the third derivative of 0 - 5/2*i**3 - 1/24*i**4 + 0*i + 1/5*i**5 + 27*i**2. Is s(-4) a multiple of 17?
False
Let p be (27 + (-4)/(-2))/(15/255). Let w = -291 + p. Is 14 a factor of w?
False
Suppose -31*x - 2*v - 983 = -34*x, 0 = x - 2*v - 325. Let m = x + -176. Is 14 a factor of m?
False
Let u = -359 - -359. Let f = -1 + 4. Is 3 a factor of u*(-4)/(-8) + f?
True
Let i(n) = n**3 + n + 7. Let b be i(0). Let x(k) = -16*k + b*k - 437 - 9*k + 389. Is 39 a factor of x(-7)?
True
Let w(k) = -79*k + 64*k + 15*k + 61*k - 225. Is w(15) a multiple of 46?
True
Suppose 0 = 4*v - 0*v - 672. Let p be (v/(-10))/(1/5*-1). Let m = p + -38. Is 16 a factor of m?
False
Let o = 8858 + -7991. Does 14 divide o?
False
Let b be (-4)/26 - (-1 + (-216)/52). Suppose -2*z + 10 = -0*z + 2*d, 0 = -b*d - 20. Suppose z*g - 2704 = -4*g. Is g a multiple of 13?
True
Let s be 9/18*(109*10 + 0). Suppose 6*y = 301 + s. Does 12 divide y?
False
Suppose -3*i = 5*o - 197658 + 71107, 0 = 6*o + 4*i - 151862. Does 205 divide o?
False
Suppose 3*i - 48 = -3*u, -i + 5*u + 10 = 4*u. Let l = i + -16. Is 11 a factor of (-208)/l + 8/12 + 0?
False
S