se 19 = k + u*o, -o - 6 = -5*k + 5. Does 3 divide k?
True
Let d be 2 + -6 + 4 + 12. Suppose -5*z + 4*z = -d. Is 5 a factor of z?
False
Suppose -2*h - 8 = 5*p, 3*p + 2*p - 4 = -4*h. Suppose -12 = h*y - 8*y. Suppose 3*v + 240 = y*v. Does 20 divide v?
True
Let n(j) = -j + 4. Let z be n(2). Suppose -4 = 4*i + g, -z*i - i - 2*g = 8. Suppose x + m = -3*m + 40, i = -5*x - 5*m + 125. Is 20 a factor of x?
True
Let b(r) = 5*r**2 + 3*r + 2. Let i be b(-2). Is 19 a factor of 6/(-8) + ((-4620)/i)/(-5)?
True
Let n be 0/((-3)/1) - -2. Suppose 0 = -3*h + 6*h + 39. Is 0/n - (-1 + h) a multiple of 7?
True
Let q(o) = 5*o**2 - 4*o + 2. Let y be q(1). Let v(c) = 57*c - 21. Is v(y) a multiple of 25?
True
Suppose -5*k + u + 1 - 5 = 0, 4*u = 4*k + 16. Suppose k = m - j + 25, -m + 2*j - 94 = 3*m. Is 6 a factor of (58/(-4))/(m/44)?
False
Suppose 5867 = 9*h - 3421. Is 6 a factor of h?
True
Let l be (-340)/(-24) - 3/18. Is 18 a factor of 1446/42 - 6/l?
False
Let q be 1/(-6) + 8/((-288)/(-8970)). Let v(y) = 5*y**2 - 4*y + 3. Let x be v(2). Suppose 4*n = x + q. Does 22 divide n?
True
Suppose -3*q + 5*r = -502, 509 = 3*q + 2*r - 0*r. Suppose 4*g + g - 5*d = 255, -3*g = 5*d - q. Is g a multiple of 20?
False
Suppose 74*s - 13633 = -1201. Does 8 divide s?
True
Suppose 0 = -8*i - 0*i - 1320. Let q = 5 - i. Does 16 divide q?
False
Suppose 8*h + 2547 - 627 = 0. Is 24 a factor of (-14)/2*h/14?
True
Let r = 62 - 64. Let g(i) = -6*i**3 - 3*i**2 - 2*i. Is 8 a factor of g(r)?
True
Suppose 0*f = 3*f - 27. Suppose -14*p + f*p + 70 = 0. Suppose 0 = 11*c - p*c + 213. Does 26 divide c?
False
Does 17 divide (-23)/((-115)/20)*561?
True
Let p(u) = 4*u**2 - u - 2. Let k be p(2). Suppose 0 = 4*y + k, 8 = r - 2*y - 2*y. Let m = r - -34. Is m a multiple of 9?
False
Let m = 6968 + -3977. Is m a multiple of 9?
False
Suppose -2*s + 42*x = 45*x - 1512, -2*x + 2258 = 3*s. Is 43 a factor of s?
False
Let o be (-4)/(-5 - -1) - -239. Suppose -6*i + o = -3*i. Is 16 a factor of i?
True
Let q = -617 - -1233. Is q a multiple of 7?
True
Let f(m) = -m**3 + 14*m**2 - 17*m - 6. Does 18 divide f(6)?
True
Let p(h) = h**3 - 24*h**2 - 53*h + 29. Let j be p(26). Suppose 5*l + j*l = 848. Is l a multiple of 12?
False
Let o = -164 + 866. Does 18 divide o?
True
Is 19635/345 - (-2)/23 a multiple of 17?
False
Let u(k) be the first derivative of -5*k**4/4 - 4*k**3/3 - 3*k**2 - 4*k - 19. Is 14 a factor of u(-3)?
False
Suppose -2*t - 1 = -t, -5*z + 4*t = -14. Suppose i - 188 = 4*y, -z*y + y + 616 = 3*i. Suppose 11*k - i = 7*k. Is 17 a factor of k?
True
Let j be 102/17 + (-6)/2. Suppose 0 = 2*n + j - 7. Suppose 5*x = h + 511, 5*h - 329 = -x - n*x. Does 21 divide x?
False
Suppose -6*n = -2*n. Let k = 4 - -6. Suppose 5*t - k = 0, 3*x - 75 = -n*t - 3*t. Does 23 divide x?
True
Let s = 2965 + -1721. Is 24 a factor of s?
False
Let t(d) = -6 + 2 + 0*d + 8*d - 6. Is t(4) a multiple of 14?
False
Suppose 0 = -5*x - 13*x + 36. Let l(d) = 18*d - 12. Is 12 a factor of l(x)?
True
Let y(i) = 1364*i**3 - i**2 - i + 2. Is 44 a factor of y(1)?
True
Suppose i = -3*o + 1293, -3*o - 2*o = 3*i - 3883. Is 18 a factor of i?
True
Let u(t) = t**3 + 5*t**2 + 7*t + 10. Let q be u(-4). Let r be (-39)/(-12) - q/(-8). Suppose -n + 3*p = -14, 0*n + r*n = -5*p + 98. Does 13 divide n?
True
Suppose -4*p - 5*y - 13809 = 0, 3*p - 3*y + 10365 = -4*y. Is 18 a factor of ((-2)/4)/(2*6/p)?
True
Let n = 475 - -331. Does 16 divide n?
False
Let k = 1241 + -971. Does 90 divide k?
True
Let a(x) = x**3 - x**2. Let o(n) = 5*n**3 - 3*n**2 + 2*n + 6. Let j(z) = 6*a(z) - o(z). Let i be j(4). Suppose 4*u = i + 10. Does 2 divide u?
False
Let v = 348 - 330. Is 4 a factor of v?
False
Suppose 7 = -5*a + 17. Suppose 284 = a*y - 0*b - 2*b, -710 = -5*y - 4*b. Is 12 a factor of y?
False
Suppose -7*r + 5*c + 765 = -2*r, -4*r = -5*c - 611. Is 11 a factor of r?
True
Let a(x) be the first derivative of -x**4/4 + 7*x**3/3 - 6*x**2 + 10*x - 19. Does 2 divide a(4)?
True
Let j = 254 + -160. Suppose 0 = -2*n + j - 18. Does 18 divide n?
False
Let o(n) = 20 + 6*n - 5*n + 0*n. Let l be o(0). Suppose -4*u + 3*u = -l. Is 20 a factor of u?
True
Suppose -g - 1 = -47. Let v = 73 - g. Is v a multiple of 25?
False
Suppose 3*s - 3*x + 1 - 10 = 0, 4*x = -5*s + 24. Suppose 0 = 3*t - 4*o - 0*o - 36, 3*t + s*o - 36 = 0. Is 3 a factor of t?
True
Let f = 26 - -168. Suppose -4*o - q + 135 + f = 0, 0 = -2*o + 4*q + 160. Suppose -h = h - o. Is h a multiple of 36?
False
Suppose -9 = 3*w, 3*w + w + 32 = 5*l. Suppose -2*n + x = -x - 276, l*x = n - 144. Does 17 divide n?
True
Does 3 divide ((-20)/6)/(365/(-1314))?
True
Let r = -166 - -208. Is r a multiple of 6?
True
Suppose 4*u = -3*d + 75, -2*d = 4*u + 3 - 49. Suppose d*q + 20 = 33*q. Is 3 a factor of q?
False
Let l be 42/5 - (-2 + (-24)/(-10)). Suppose l*c - 1 - 127 = 0. Is 2 a factor of c?
True
Suppose -3*d - 1191 = -4*m, m + 4*m - 4*d - 1489 = 0. Is m a multiple of 10?
False
Suppose -17*x = -21*x + 6384. Does 20 divide ((x/10)/3)/(1/5)?
False
Let r = -2 + 4. Suppose 0 = -r*s - 4*l + 422, -3*s + 3*l + 578 = -2*l. Suppose -h = 2*h - s. Does 20 divide h?
False
Let o = 4478 + -2666. Is 12 a factor of o?
True
Let i(b) = -3*b**3 - 4*b**2 + 4*b - 19. Is i(-10) a multiple of 9?
False
Let w = 30 + -139. Let b = 269 + w. Is b a multiple of 40?
True
Let s(h) = -3*h**3 - 3*h**2 + 5*h + 9. Suppose v - 4*b = -3, -b = -0*v - v - 3. Is 8 a factor of s(v)?
True
Suppose -40*r + 43*r - 9 = 0, x - 1132 = -4*r. Is x a multiple of 32?
True
Let n = -31 - -82. Is n a multiple of 8?
False
Suppose -8*v = -3*v - 455. Suppose 2*j - q = -0*q + 210, -j + v = 3*q. Is j a multiple of 20?
False
Let m = -56 + 47. Let k = 28 - m. Is k a multiple of 21?
False
Let w(y) be the third derivative of -y**5/60 + 7*y**4/24 + y**3/6 + 18*y**2. Is w(6) a multiple of 3?
False
Let f(y) = -y - 22. Let d be f(-15). Let m = -3 - d. Is (-174)/m*56/(-42) a multiple of 11?
False
Let z = -490 - -990. Suppose 6*a = a + z. Suppose 2*w + 0*w = -2*u + 64, 2*w = -3*u + a. Is 18 a factor of u?
True
Let q = -2 + 12. Let b(y) = y**3 - 10*y**2 - y + 11. Let v be b(q). Is 19 a factor of -100*((-2)/v)/4?
False
Suppose -21 = 30*r - 37*r. Suppose -r*p = -7*p + 232. Does 16 divide p?
False
Suppose 4*n - g = -2*g + 1408, 3*g = -4*n + 1408. Is 11 a factor of n?
True
Suppose -2*x + 3868 = -3776. Is 49 a factor of x?
True
Suppose 32 = -3*g + 11. Suppose 0 = -23*b + 22*b. Let v = b - g. Does 7 divide v?
True
Let a = -1335 - -1884. Does 12 divide a?
False
Suppose -494*g + 492*g + 366 = 0. Is 2 a factor of g?
False
Let p be (-2)/7 - 276/14. Let z be (2*-5)/((-10)/p). Is 22 a factor of 396/30*z/(-6)?
True
Suppose 2*r = k + 16, -4*k = 2*r - 0*r - 36. Is 4 a factor of (-1 + 17)*15/r?
True
Let l be -5*(136/20 - 4). Let g = l - -18. Suppose 3*w = y - 67, -y - 4*w - 196 = -g*y. Does 16 divide y?
True
Let h = -33 - -43. Let v = -1 + h. Suppose -59 + v = -5*z. Is z a multiple of 3?
False
Suppose x - 1 = -4*z, 0 = x + 2*x + z - 14. Suppose 4*n - 3*v = -13 - 7, -2*n - 24 = -x*v. Is 5 a factor of (30/(6/n))/(-2)?
True
Let p(i) = -i**2 + 5*i + 3. Suppose -o + 2 = -4. Let d be p(o). Does 4 divide (-90)/5*1/d?
False
Suppose -3*c + 6*c - 30 = 0. Let n be (-15)/c*(-42)/9. Suppose -4*q - 57 = -n*q. Is q a multiple of 7?
False
Suppose -129 + 399 = 5*z. Does 27 divide z?
True
Let d(i) be the third derivative of i**6/120 + i**5/10 + i**4/8 - 4*i**2. Let b be d(-6). Does 20 divide (b/(-15) + -2)*-25?
True
Is (4/(-24)*2)/((-2)/1332) a multiple of 11?
False
Does 15 divide 2*6/(-60) + 29372/35?
False
Suppose -3*o + 3*t = -51, o + 81 = 6*o - 3*t. Suppose m = -2*m - 162. Let h = o - m. Is h a multiple of 19?
False
Suppose 5 = -3*x - 4, 0 = 10*a + x - 1597. Is 32 a factor of a?
True
Let m = -1 - -3. Let x = 175 - 173. Suppose -4*r + 59 = -x*r - 3*f, -m*r + 55 = f. Is 13 a factor of r?
False
Let n(s) be the third derivative of -s**4/6 - s**3/3 + 3*s**2. Let u be 4/28 + (-192)/21. Is 16 a factor of n(u)?
False
Let q be (-271)/(-5) - (16/(-10))/(-8). Let g = -10 + q. Is 6 a factor of g?
False
Suppose 0 = 10*j - 13*j + 24. Suppose 0 = 2*u + d - 19, -u + 15 = -j*d + 3*d. Is u a multiple of 10?
True
Let r(v) = v**2 + 6*v + 3. Let m be r(-6). Suppose -m*o + 4*o - 2*h - 62 = 0, -10 = -2*h. Does 24 divide o?
True
Let c(h) = h**3 + h + 1. Let b(m) = 7 + m - 45*m**3 - 3 + 