. Suppose -17 = p - 2*p + v*i, -i + 61 = 3*p. Is p a multiple of 3?
False
Suppose 21*n - 18*n = 36. Is (-2)/n + (2 - 561/(-18)) a multiple of 5?
False
Let h be (3/5)/((-3)/(-15)). Suppose -i - h*i + 20 = 0. Suppose -i*w + 460 = 3*y + 2*y, 4*y - 378 = w. Is y a multiple of 20?
False
Let y = -225 + 445. Does 10 divide y?
True
Suppose 44*j = 47*j - 15. Is (22 + -47)*(-1 - j) a multiple of 15?
True
Suppose -4*b - 4*u + 488 = 48, -3*u = -4*b + 454. Suppose 7*d - b = 147. Is d a multiple of 13?
False
Let v be (-7)/(-3) + (40/(-24))/5. Let n(j) = 5*j**3 - 3*j**2 + 4*j - 2. Is n(v) a multiple of 15?
False
Suppose 8735 - 39407 = -54*h. Is 8 a factor of h?
True
Let o(p) = p**3 + 2*p**2 - 4*p. Let j be (-8)/5*15/(-6). Does 16 divide o(j)?
True
Suppose y = 2*a, 2*y = -2*a - 3*y + 12. Let i(r) = a + 6*r + r + 2*r + 3. Is i(4) a multiple of 10?
True
Let y be ((-7)/3 - 0)*15/5. Is 45 a factor of 15084/84 + (-3)/y?
True
Suppose -5*z = -12 - 13. Suppose z*x = -x. Suppose x*u - 4*u = -104. Does 13 divide u?
True
Let g(x) = -x + 1. Let r(t) = 7*t - 2. Let l(h) = 6*g(h) + r(h). Let v be l(-2). Suppose d - 29 = v*k, 4*d - d - 5*k = 88. Does 16 divide d?
False
Let w(k) = -2*k**3 + 8*k**2 + 12*k + 13. Does 13 divide w(-4)?
True
Suppose -42*a + 163 = -2987. Is a a multiple of 5?
True
Suppose 0 = s, -3*s + 20 = -5*i - 0*i. Does 7 divide (i/6)/((-14)/483)?
False
Let x(n) = 4*n - 25. Suppose -26 = -3*i + 2*g, -4*i + 4*g + 30 = -g. Let s be x(i). Suppose 0 = 2*u + 5*z - 73, 2*u - 73 = -2*z - s. Does 17 divide u?
False
Let o(f) = -422*f + 19. Is 24 a factor of o(-1)?
False
Let l(m) = 30*m**2 - 3*m + 11. Is l(2) a multiple of 25?
True
Let x be -2*(-1 - 58/(-4)). Let u = x + 32. Is 5 a factor of u?
True
Let t(z) = 2*z**2 + 6*z - 3. Let f be t(-4). Suppose -6*q = -4*q - 2*v - 44, 34 = q + f*v. Is q a multiple of 22?
False
Let t(r) = 9*r**3 - 3*r**2 - 3*r - 4. Let d be t(-2). Let a = d + 132. Is 10 a factor of a?
True
Suppose 4*f + 3*c = 7*f - 1275, 3*f = -4*c + 1275. Does 17 divide f?
True
Suppose -1186 - 1100 = -18*x. Does 3 divide x?
False
Let k = 630 + -149. Is k a multiple of 13?
True
Let z = 64 - 71. Let h(c) = -11*c**2 - 3*c + 3. Let k be h(2). Does 17 divide z + 8 - (k + 1)?
False
Let t(o) = o**2 - 14*o + 26. Let v be t(12). Suppose -5*m = -5*y - 230, -v*y - 232 = -5*m + y. Is 47 a factor of m?
True
Let d = -12 + 11. Let x be 8 + d - (-8)/2. Does 4 divide 13 - x - 1*-4?
False
Let d(l) = -4*l**3 - 4*l**2 - 10*l - 1. Does 28 divide d(-4)?
False
Let l be (-198)/(-9) + 1*3. Let t = 6 + l. Let r = t + 4. Does 17 divide r?
False
Suppose -3*i + 5*i - 4 = 0. Suppose -5*x = i*z - 1753, 5*x - 349 = 4*x - 2*z. Is 11 a factor of x?
False
Let l = -110 + 125. Suppose 4*q + 0*o + 5*o = 161, 5*o + l = 0. Is 11 a factor of q?
True
Suppose -3*g - 22 + 7 = 0. Let w = g - -30. Suppose 2*s - w = -3*s, 5*p - 200 = -s. Is p a multiple of 12?
False
Suppose 39*x = -4*c + 42*x + 1726, 0 = 4*x + 8. Does 3 divide c?
False
Suppose 3*d + l - 41 = -15, -4*d = 2*l - 38. Suppose d*j - 3*j - 20 = 0. Is 21 a factor of ((-14)/j)/(2/(-60))?
True
Suppose 2*p = 2 + 28. Suppose 0 = 6*w - p*w + 297. Is w a multiple of 4?
False
Let s(v) = v**2 - 21*v + 11. Let k = -23 - -44. Is s(k) even?
False
Suppose -5*y = -28 - 282. Does 31 divide y?
True
Let h(d) be the third derivative of d**6/120 - d**5/15 + d**4/24 - 5*d**3/3 + d**2. Let q be h(5). Let a = q - 4. Does 4 divide a?
True
Let t(j) = -j**2 - j - 2. Let u(h) = -h - 1. Let r(k) = -t(k) - 3*u(k). Let q be r(-3). Suppose -y + 105 = q*y. Is y a multiple of 18?
False
Suppose 502*k = 512*k - 5800. Does 58 divide k?
True
Let c = 871 + 353. Is c a multiple of 72?
True
Does 21 divide (40/(-14))/(63/(-10143))?
False
Let a(k) = 2*k**2 + 22*k + 77. Is a(-13) a multiple of 10?
False
Let g = -326 + 188. Let y = g - -236. Is y a multiple of 14?
True
Let i = 4603 - 2428. Is i a multiple of 15?
True
Let r(s) be the second derivative of s**5/20 - 2*s**4/3 + s**3 - 7*s**2/2 + 4*s. Let z be r(7). Let a = z - -23. Does 8 divide a?
False
Let k be 16/5 - (-12)/(-60). Suppose -3*t = k - 51. Suppose j + t = 5*l, -8*j = 3*l - 3*j - 32. Does 2 divide l?
True
Let k = -2 + 7. Let r(y) = y - 5. Let m(l) = 2*l - 9. Let t(o) = 6*m(o) - 13*r(o). Does 3 divide t(k)?
True
Let o(n) = 6*n**2 + 1 + n - 1 + 18*n**2. Is 21 a factor of o(2)?
False
Let z(m) = -50*m - 160. Does 11 divide z(-12)?
True
Let a(l) = 39*l - 159. Is a(7) a multiple of 8?
False
Let q(x) = -8*x + 403. Is q(0) a multiple of 55?
False
Suppose -53*z + 47157 = -20*z. Is z a multiple of 13?
False
Suppose 5311 = 16*l - 14*l - j, 2*l - 5309 = 3*j. Is 8 a factor of l?
True
Let l = 617 - -451. Is 18 a factor of l?
False
Let g(m) = -m - 11. Let w be g(-11). Suppose w = 3*c - 3*x - 72, 23 = c + 4*x - 21. Let k = -20 + c. Is 5 a factor of k?
False
Let c = 14 + -13. Suppose z = -c + 7. Does 6 divide z?
True
Let u(n) = -3*n - 18. Let s be u(-7). Suppose 258 = 3*q + s*v, 2*q + q - 3*v = 270. Is 14 a factor of q?
False
Does 13 divide 54 + (5 + -5)/(1 + -2)?
False
Let z(k) = 3*k**2 + 4*k. Let a be z(-10). Is 14 a factor of 4/(-1) + a/2?
True
Let c = -1461 + 2325. Does 27 divide c?
True
Let c(w) = -77*w + 8. Let p be c(-1). Suppose p = 2*r - u, -5*u + 8*u = -3*r + 132. Is 27 a factor of r?
False
Suppose -21 = 14*m - 17*m. Let j(q) = q**3 - 8*q**2 + 11*q - 16. Is 3 a factor of j(m)?
True
Let s be (3/4)/(2/(-8)). Suppose -4 = 4*c - d, 61*d - 63*d = 4*c - 8. Is -69*s/(9 - c) a multiple of 16?
False
Suppose 2*i = l - 148, 4*i + 14 = 2. Let u = 162 - l. Is 17 a factor of u?
False
Let g be 5/2*(3 - -1). Is (114/(-5))/((-4)/g) a multiple of 9?
False
Suppose 7 - 4 = -m, 4*x - 2*m = 1302. Is x a multiple of 36?
True
Suppose -23*m = -19*m + 276. Let r = 141 + m. Is 18 a factor of r?
True
Let u(j) = -j**3 + 7*j**2 - 8*j + 6. Let k be u(6). Let b(i) = -i + 3. Let l be b(k). Is 18 a factor of 6/(-3*(-1)/l)?
True
Let w be (-3)/15 - 32/(-10). Suppose -5*b - r + 110 = -4*r, w*r - 44 = -2*b. Is 13 a factor of b?
False
Let x(o) = 472*o - 483*o - 2*o**2 + o**3 + 11*o**2 - 7. Is x(-10) even?
False
Suppose -194 = -5*x + 2*b, -1 = -3*b + 8. Is 13 a factor of x?
False
Let g = 1529 - 1404. Is g a multiple of 3?
False
Let s = 154 + -140. Is 21 a factor of (-32)/(-56) + (650/s - 2)?
False
Let b(f) = 2*f**2 + 19*f - 17. Suppose 0 = 12*i - 38 + 206. Does 29 divide b(i)?
False
Suppose 2 = 5*y + 37. Let p = 10 + y. Suppose p*k = 10 + 47. Is k a multiple of 6?
False
Suppose -28 = -246*z + 244*z. Is z a multiple of 14?
True
Suppose -4*d + 6*d = -190. Let r = d - -122. Is r a multiple of 13?
False
Let z be (2 + 2)/(8/20). Suppose -504 = -z*o + 2*o. Is 6 a factor of o?
False
Let k(o) = -2*o. Let x be k(-3). Suppose r = x*r - 15. Suppose 16 = q + r*i, 2*i = -3*q + i + 24. Is q a multiple of 2?
False
Is 4/(-2) + (233 - -15) a multiple of 46?
False
Suppose -5*u - i - 570 = -3731, 0 = u - 4*i - 628. Does 42 divide u?
False
Let d be (20/22)/5 - (-93)/33. Suppose -26 - 124 = -4*h - 2*u, 0 = 3*h - d*u - 117. Is h a multiple of 8?
False
Let a(j) = j - 16. Let o be a(-12). Does 9 divide (-748)/o + (-8)/(-28)?
True
Suppose -4*v = 2*b, -4*v - 6*b + 4 = -2*b. Suppose -5*x + 532 = -0*x - 4*n, 4*x - 2*n - 422 = 0. Is (-1)/v*(x - 4) a multiple of 25?
True
Suppose a = -2, z - 5*a + 2*a - 15 = 0. Suppose 4*u + 5*b = -29, u + z = -0*u - 3*b. Is 28 a factor of 8550/63 - u/21?
False
Let x(u) = -5*u**3 + 6*u**2 + 31*u + 4. Is 20 a factor of x(-3)?
True
Let k(l) = -43*l - 14. Let n(c) = -c - 2. Let i(v) = -k(v) + 2*n(v). Is i(2) a multiple of 8?
False
Let j = -20 + -36. Let m = -886 - -866. Does 14 divide (j/(-3))/(m/(-30))?
True
Let s = 286 + -186. Is s a multiple of 27?
False
Is (-17 + 154)/(4/56) a multiple of 7?
True
Suppose -20 = -5*y + 5*l, y - 2*l = -2*y + 17. Let p(m) = 41*m + 17. Is p(y) a multiple of 52?
False
Suppose 0 = -48*m + 12954 - 4218. Does 3 divide m?
False
Suppose 0 = -2*g - 5 - 15. Let k be ((-5)/g)/(1/18). Suppose 208 = t + 4*t + v, -3*v = -k. Does 17 divide t?
False
Suppose 0 = -2*k + 8. Suppose -k*p - 303 = -p. Let t = -62 - p. Is t a multiple of 17?
False
Let j = -24 + 25. Suppose -j + 45 = l. Does 11 divide l?
True
Let p = -173 - -53. Let d = -70 - p. Is d a multiple of 14?
False
Let l(k) = 447*k**3 - 3*k**2. Does 12 divide l(1)?
True
Suppose -2*y = 4*t + 14, -y + 6*