uppose 0*x - 2*p - k = -x, -4*x = -5*p - 390. Is x a multiple of 20?
True
Let j = -56 + 72. Suppose -5*k + j = 3*k. Let p(u) = 109*u + 7. Is 21 a factor of p(k)?
False
Suppose 2*f + r = -761, -2*f - 5*r = 581 + 200. Let w = -150 - f. Is w a multiple of 70?
False
Let x(k) = -12*k + 48. Let i be x(4). Suppose j + 4*v - 224 + 75 = i, 151 = j + 2*v. Is j a multiple of 7?
False
Suppose 10*v = 3*f + 5*v - 8, -7 = -5*f + 2*v. Let d be ((-38)/6)/(f/(-3)). Does 22 divide 399/d - 3/(-1)?
False
Suppose 200*i = 922198 + 491202. Is i a multiple of 20?
False
Let a = 167 + -152. Suppose -a*g - 2006 = -7406. Does 10 divide g?
True
Let b be ((-70)/(-84))/(3 + 17/(-6)). Suppose 3*h - 139 = -0*h + c, 3*h + b*c = 115. Is 5 a factor of h?
True
Let n(h) = 43*h**2 + 7*h + 1. Suppose -10*k = -11 - 9. Does 17 divide n(k)?
True
Suppose 2*i - 2*o + 4 = 0, 4*o + 0 - 11 = 5*i. Let y be 3 + 14/i*594/(-77). Suppose -y*x = -37*x - 184. Is x a multiple of 9?
False
Suppose -231 = 3*j + 2*x, -3*j + 5*x - 410 = 2*j. Let v = j + -13. Let y = -29 - v. Is 7 a factor of y?
True
Let g(y) = 3*y**3 - 83*y**2 + 94*y - 57. Is g(28) a multiple of 3?
False
Let u be 9/15*5 - (10 - 0). Let s be 109538/154 - (-2)/u. Suppose -67*g = -64*g - s. Is g a multiple of 17?
False
Is -22 - (17 + -18810) - (10 + 1) a multiple of 67?
True
Let h(c) = -51*c**3 + 3*c**2 - 11*c + 31. Does 57 divide h(-6)?
False
Is 28 a factor of (0 + 8344)/(156/182 - 1/(-7))?
True
Suppose -244*h = -237*h - 135716. Is h a multiple of 262?
True
Let a(h) = 193*h**2 - 19*h - 241. Is a(-8) a multiple of 182?
False
Suppose -7*q = 207 + 640. Is (3/(3/(-1)))/(1/q) a multiple of 11?
True
Suppose -3 = -62*i + 61*i. Suppose 4*a + 0*a = i*r - 1236, 2*r + 5*a - 847 = 0. Is 67 a factor of r?
False
Let m be 10494 + 4*(-12)/(-8). Suppose 19*t = -16*t + m. Is t a multiple of 15?
True
Suppose -6*t + 14015 + 88017 = -119512. Is t a multiple of 45?
False
Is 13 a factor of (-592)/(-8)*(-819)/(-18)?
True
Let o = -30971 + 44891. Suppose 0 = -35*z + o + 7150. Does 33 divide z?
False
Let i(t) = -t + 29. Let v be i(14). Let q be -4 - -1 - (10 - v). Suppose 0 = -q*h - h + 60. Is 11 a factor of h?
False
Does 10 divide 11 + 0 - -1*4539?
True
Let y be 136/(-14) - (-9)/((-126)/4). Let z(t) = -t**2 - 7*t + 18. Let b(i) = -i + 2. Let m(c) = 6*b(c) - 2*z(c). Does 16 divide m(y)?
True
Suppose -w + 5*h = -3*w + 472, 0 = -3*w + 2*h + 670. Suppose 2*o = -w - 14. Let p = -50 - o. Is p a multiple of 7?
True
Let u(h) = 1 - 27*h + 14*h - 1. Let f(m) = 923*m. Let x(l) = 2*f(l) + 143*u(l). Does 20 divide x(-8)?
False
Let x = -10714 - -38039. Does 9 divide x?
False
Is ((-10)/(-4))/(-19*3/(-23370)) a multiple of 41?
True
Does 32 divide 41/(1271/62) + (745*28)/2?
True
Suppose -4*v = -6*v + 162. Let n = v + -80. Is 824/6 + n/(-3) a multiple of 12?
False
Suppose 5*p - 13999 = -5*o - 2794, o = p - 2239. Suppose -p = 32*h - 52*h. Is 28 a factor of h?
True
Let g be (-2 + -2)*-1 - -234. Let q = -91 + g. Is q a multiple of 20?
False
Let d = -10122 - -15855. Is 7 a factor of d?
True
Let w be (-22)/(-99) - (-16)/9. Let y(x) = 7*x. Let k(r) = r**2 + 8*r + 1. Let a(i) = 6*k(i) - 7*y(i). Does 7 divide a(w)?
True
Is (-2 - 31)*(-35776)/96 a multiple of 13?
True
Suppose 42*k - 80188 = -17*k + 287382. Does 57 divide k?
False
Suppose -b + m - 2*m + 10 = 0, -b + 5*m = 20. Suppose -4*k = b*n + 8, 0*k = 3*n + 2*k + 4. Suppose 5*o = -s + o + 54, n = -o - 3. Is s a multiple of 16?
False
Suppose 24*s - 12616 = 5*s. Is s a multiple of 14?
False
Let g(d) = d**3 + 20*d**2 + 5*d + 49. Suppose -3*l + 3*n = 112 - 64, -2*l - 2*n = 28. Does 46 divide g(l)?
False
Let g(d) = 16*d**2 + 3*d - 5. Let q = -19 - -24. Suppose 0 = -i, -q*h - 3*i = -8 - 2. Is 15 a factor of g(h)?
False
Let r(b) = 258*b + 42. Suppose 248*m = 254*m - 6. Is r(m) a multiple of 30?
True
Let g(d) be the third derivative of 4*d**6/15 + d**5/30 + d**4/8 + d**3/3 - 6*d**2. Let j be g(-1). Let q = -7 - j. Is q a multiple of 3?
True
Let q = -190 + 372. Let o = 62 - q. Does 9 divide 16/o + (3246/45)/1?
True
Let g = -108 + 236. Let w = 180 - g. Does 11 divide w?
False
Suppose -27*w = 52*w - 456462. Is w a multiple of 29?
False
Let m be 11 + -15 + (4 - (4 + 10)). Is (-175)/m*168/10 a multiple of 5?
True
Suppose 0 = -8*o - 0*o + 2040. Suppose 5*l - 3*u = o, 5*l = 2*u - 0 + 250. Suppose -l = -3*s + 48. Is 3 a factor of s?
False
Let p(d) = 41*d + 352. Let i be p(6). Suppose -i*b + 1002 = -597*b. Does 23 divide b?
False
Suppose 3*d = 2*d + 3. Suppose -4*x = -d*n - 2*x + 7, 4*n - 17 = -5*x. Suppose n*t = -12 + 180. Is t a multiple of 14?
True
Let g be (4 + (-126)/24)*-4. Suppose 14 = a - g*w, -2*a + 0*w + 28 = 4*w. Suppose 198 + 1678 = a*d. Is d a multiple of 29?
False
Suppose 4*r - 2*c = 738, -2*r + c + c = -374. Let j(h) = 2*h**2 - 21*h + 30. Let u be j(9). Suppose 5*o = u*z + 174, 6*o + z = o + r. Is o a multiple of 12?
True
Suppose -2*k = -4*j - 10, -5*j = -2*k - 6 + 16. Suppose -2*a + 2309 = 3*v - 3*a, k*v - 3865 = 5*a. Is v a multiple of 32?
True
Suppose 0 = 3*t - 3*p, -23 = -3*t - 3*p + 7. Suppose -t*i + 1846 + 2114 = 0. Is i a multiple of 12?
True
Let h = 194 - 59. Let f(r) = -2*r**2 - 2*r + 5. Let x be f(6). Let o = x + h. Does 8 divide o?
True
Let y be 12/7 - (-10)/35. Let q(j) = 5 + 11 + 31*j - 8 + 0. Is q(y) a multiple of 14?
True
Let o = 3544 + -3320. Does 7 divide o?
True
Suppose 0*v + q = -v - 2, -v + 8 = -q. Suppose -v*d + 4065 = 2*d. Suppose 6*c = d + 267. Does 20 divide c?
True
Suppose -6*n - 2998 = -2*l, 0 = -2*n + 2 + 6. Does 4 divide l?
False
Let t be 3/((-5)/(-40)*-6). Let z be (-20 + (-16)/t)/(-1). Let r(d) = -d**2 + 20*d - 19. Is 9 a factor of r(z)?
True
Let c = -95 + 95. Suppose 11*z - 16*z + 10 = c. Let m(l) = 18*l - 7. Does 3 divide m(z)?
False
Suppose -x - 2*d + 47248 = 0, 3*x = -2*d - 72245 + 214013. Is 20 a factor of x?
True
Let x(p) be the first derivative of 132*p**2 - 16*p + 37. Is x(2) a multiple of 32?
True
Let a(w) = -w + 1. Let p(y) = 2*y**2 + y. Let i(j) = -6*a(j) + 2*p(j). Let h be i(-5). Suppose -o = 4*b - 64, 0 = 3*o - b - 246 + h. Does 8 divide o?
True
Let h(f) = 257*f**2 - 5. Let o(b) = -b**2 - 1. Let t be (-13)/65 - 58/10. Let a(n) = t*o(n) + h(n). Does 44 divide a(-1)?
True
Let n(k) = 3*k**2 - 5*k - 3. Let l be n(-1). Suppose -5*y = -l*v - 865, -y + 3*y - 337 = -v. Is 10 a factor of y?
True
Let o(s) = -s - 26. Let t be o(-6). Suppose 220 - 16 = -4*q. Let p = t - q. Is 4 a factor of p?
False
Suppose 0*v + 771 = 3*v. Suppose m + 0 = 4*c - 3, 5*c + 3*m = -9. Suppose -4*f - v + 669 = c. Does 14 divide f?
False
Let k = 4570 - -1326. Is k a multiple of 8?
True
Let s = 105 + -45. Suppose s = -12*m + 15*m. Is m a multiple of 3?
False
Let q be (-9)/3 + -6*16/(-4). Suppose 2*w = -111 + q. Is (5 + w/10)/((-1)/(-400)) a multiple of 10?
True
Let j = 30909 + -19973. Is 18 a factor of j?
False
Suppose 4*q - 6*d = -9*d + 172340, 5*q + d = 215447. Is q a multiple of 31?
False
Suppose 9288 = 33*d - 63*d + 32*d. Is 3 a factor of d?
True
Is 82064/12*(-63)/(-84) a multiple of 117?
False
Suppose -5*n + 22 = -t, 2*n + 2*t = -0*t + 4. Suppose n*s = -4*q + 400, s - 17 = -3*q + 79. Is s a multiple of 6?
True
Let o(z) = -z**2 + 9*z + 23. Let r be o(11). Let x be (-4)/r + 42/6. Let s(v) = 3*v**3 - 5*v**2 + 5*v + 4. Is s(x) a multiple of 11?
True
Let r(s) = 4*s**3 + 6*s**2 - 14*s + 173. Does 44 divide r(11)?
False
Suppose 14 - 6 = 2*a, 2*s + 4*a - 14 = 0. Let k(m) = 4*m - 4 - 13*m - 15*m. Does 5 divide k(s)?
True
Let l be 13088/14 - 36/(-252). Let w = l - 23. Is 21 a factor of w?
False
Let o(y) = -701*y - 227. Is o(-9) a multiple of 58?
False
Let q(d) be the third derivative of -19*d**6/120 + d**5/30 + d**4/6 + d**3/3 - 89*d**2 - 4. Let s = 4 + -6. Does 22 divide q(s)?
True
Suppose 3*y + 2*k = 34410, -3*y + 230*k - 229*k = -34401. Is 61 a factor of y?
True
Let j = 10146 + -6260. Does 29 divide j?
True
Let z = -222 + 112. Let y = z - -278. Is 8 a factor of y?
True
Let b(y) = 11*y**2 - 8. Is b(7) a multiple of 177?
True
Suppose -5*r = -2*p - 2028, 456 + 744 = 3*r + 3*p. Is 7 a factor of (r/(-5))/((-4)/(100/5))?
False
Let o = 51 + -60. Let y(q) = -q**3 - 9*q**2 - q - 7. Let i be y(o). Suppose 190 = n - 4*v, i*v - 760 = -2*n - 2*n. Is 19 a factor of n?
True
Let z be (26/(-6))/((-13)/39). Suppose -2*a - 25 = -4*v + z, 5*a = -15. S