- c*w - 159. Suppose 4*k = 63 + g. Is k a multiple of 4?
True
Let z be (-6)/(-36) + ((-98)/12)/1. Let w(p) = -2 - 4 - p - 8*p + 5. Is w(z) a multiple of 4?
False
Let l(n) = 6*n**2 + 8*n - 11. Suppose 15*v - 6*v = 18. Is 3 a factor of l(v)?
False
Suppose -a + 1333 = -d, -8*d - 12 = -5*d. Does 5 divide a?
False
Let q = -47734 + 69051. Is q a multiple of 42?
False
Suppose -4*o + 2*s + 2767 + 2267 = 0, -4*s = -2*o + 2532. Let g = o + 480. Does 19 divide g?
False
Suppose -22*t + 95427 = -2*t + 49*t. Is t even?
False
Let y = -71 - -68. Is 4 a factor of (-3)/(-1) + (-46)/y*6?
False
Suppose -26*z + 24*z = -5*q + 70511, -2*q + 3*z = -28189. Does 35 divide q?
True
Suppose i - 18*i = -18207. Suppose 0 = 5*o + 3*h - i - 274, -4*o + h = -1093. Does 17 divide o?
True
Is (18 - 1296/1)/(9/(-264)) a multiple of 71?
True
Let w(d) = 32 + 92 + 80 + 28*d. Does 17 divide w(0)?
True
Let x = 1641 - -4113. Is x a multiple of 55?
False
Suppose 770*p - 807*p + 263403 = 0. Is 63 a factor of p?
True
Suppose -16*c + 160104 = -13*c + 21*c. Is c a multiple of 60?
False
Is 28 a factor of (91 + -7)/((-1)/5*(-1)/4)?
True
Suppose 0 = -10*o + 919 - 199. Suppose o = n - 167. Does 8 divide n?
False
Let q = -43 + 39. Let c(w) = -16*w - 7. Let d be c(q). Is 19 a factor of d/6*-1*-8?
True
Suppose -160*n - 10128 = -164*n. Does 12 divide n?
True
Suppose -9*u = -29*u - 340. Let k = u + 615. Does 16 divide k?
False
Suppose 3*q = 13 - 1. Suppose -d - q*b - 18 = -6*d, 4*d + b = 6. Suppose -17 = -2*p + 5*a + 98, 118 = d*p - 4*a. Is p a multiple of 20?
False
Suppose 8*c = 9*c - 5. Does 32 divide 44/(-16)*(c - (-1305)/(-5))?
True
Let j = 1898 + -902. Suppose -3*o + 5*a + 747 = 0, 0 = -4*o + a - 6*a + j. Is o a multiple of 83?
True
Let y = -23 + 29. Suppose -10 - 2 = -y*b. Suppose -2*k + 210 = -2*d, 2*d + 212 = 2*k - b*d. Is 26 a factor of k?
True
Suppose -5*l = -4*i - 0*l + 13, i = 5*l + 22. Let y(c) = -59*c + 8. Let f be y(i). Suppose t = -3*m + f - 46, -2*t - 10 = 0. Does 16 divide m?
True
Suppose o - 43310 = -7*o + 68890. Does 17 divide o?
True
Let p(k) = -2*k**3 + 5 + k - k**3 + 4*k**3 + k**2 + k. Suppose 2*h + 37*u + 10 = 42*u, -5*h - u + 29 = 0. Does 33 divide p(h)?
True
Suppose 7*p + 66 = 10*p. Suppose 0 = -v - 9 + p. Suppose -3*f + 14 = 4*w - 10, -f - 3*w + v = 0. Is f even?
True
Let y be 12*4/(10 + -2). Let l(z) = 23*z**2 + 3*z + 19. Does 14 divide l(y)?
False
Let f be 23/5 - ((-32)/(-20) + -2). Suppose 15 = f*u + 35. Let k(r) = -35*r + 12. Does 31 divide k(u)?
False
Let a = -36 + -9. Let d = a + 48. Suppose 0*g + 2*g - 188 = 2*w, 303 = d*g + 4*w. Is g a multiple of 16?
False
Let p(u) = u**3 + 10*u**2 - u - 1. Let a(g) = g + 1. Let l(v) = a(v) + p(v). Let y be l(-9). Let d = y + 63. Is 8 a factor of d?
True
Suppose s + s = 4*n, 4*s - n + 14 = 0. Is 10 a factor of (2 - (1 - -2) - -315) + s?
True
Let u(n) = -133*n + 3. Let j be u(1). Let m = 123 + j. Let y = 173 - m. Is y a multiple of 15?
True
Does 38 divide (152/(-14))/(50/(-21980))*(-5)/(-2)?
True
Let y(p) = -p**3 + 2*p**2 + 13*p - 16. Let k be y(4). Suppose 397 - 1941 = -k*r. Does 41 divide r?
False
Let m(q) = 32*q**2 - 18*q + 11. Let x be m(5). Suppose 0 = s - r - 311, -4*r + 191 + x = 3*s. Suppose -6*j + s = 8*j. Is 11 a factor of j?
True
Suppose -98*z - 55166 = -334270. Is 16 a factor of z?
True
Does 37 divide (-9)/(-42) - 26709108/(-952)?
False
Let b be (2 + -29)*8/(-12). Let k be -2 + -1 + (-20)/8*-2. Suppose 84 = k*l + b. Is 7 a factor of l?
False
Suppose 0 = -r + 2*a + 3, a = -0*r - 5*r + 4. Let y(x) = -3*x - 2 + 6*x + 12*x + 8*x. Is 7 a factor of y(r)?
True
Let v(y) = -y**2 - 18*y + 18. Let z be v(-19). Let x be (3/(-6))/(z/22). Let f(u) = u**3 - 12*u**2 + 24*u + 26. Is 29 a factor of f(x)?
False
Let y be 1 + (4 - (-8)/8). Let u(g) be the first derivative of g**4/4 - 4*g**3/3 - 9*g**2/2 + 21*g - 7. Is u(y) a multiple of 13?
True
Let q = 3534 + -1716. Is 9 a factor of q?
True
Suppose -3*u + 2097*z + 1029 = 2095*z, -339 = -u + 2*z. Let w = 209 + 0. Suppose -5*i + u = 4*r, -146 = -5*i - 2*r + w. Is 9 a factor of i?
False
Suppose -92 + 320 = 2*b - 4*x, -126 = -b + 4*x. Is b a multiple of 34?
True
Is 77 a factor of (-6)/10 - (-16 - (-616)/(-10))?
True
Suppose 3*p = 5*n - 243, -n + 4*p = -4*n + 140. Let q = -48 + n. Suppose q*f - 32 = -2*f. Does 5 divide f?
False
Suppose -3*y + 15 = 0, 4*k - 9195 = -5*y + 2*y. Suppose -28*p = -13*p + k. Let h = -137 - p. Does 16 divide h?
True
Let g(z) = z**3 + 5*z**2 - 2*z + 3. Suppose -i + 30 = 5*i. Let w be -7 + i - (0 - -3). Is 13 a factor of g(w)?
True
Suppose 0 = -4*o - m - 543, m = -2*o + 4*m - 289. Suppose 0 = -15*k + 301 + 734. Let z = k - o. Is 33 a factor of z?
False
Suppose -z + 885 = -5*i, 5*z + 9*i = 11*i + 4333. Suppose 4*a - 707 = -x, 0*a + 5*x + z = 5*a. Is a a multiple of 44?
True
Let d(h) = 5*h**2 + 296*h + 443. Is 86 a factor of d(-82)?
False
Let i = -38 + 36. Let a be (-12)/(i - 1) - -104. Suppose -6*w + 4*w = -a. Does 9 divide w?
True
Let g = -80 - -152. Suppose 3*t - 75 = -4*x, 4*x = 2*t - 6*t + g. Is 2 a factor of x?
False
Let p be 2/(36/(-27))*-2. Suppose 82 = p*n + 67, -4504 = -3*s + 4*n. Is s a multiple of 26?
True
Suppose 5*c + 1 = 11. Suppose 0 = o - 7 + c. Suppose p + 12 = o*p. Does 3 divide p?
True
Let n(c) = -1435*c + 558. Is n(-8) a multiple of 95?
False
Let n(l) = 372*l**3 - 22 + 69 - 24 - 3*l**2 - 21. Is 30 a factor of n(1)?
False
Let g(v) = -v**3 + 27*v**2 + 3. Let k be g(27). Let q = 11 + -6. Suppose -k*r = -4*s + s - 21, q*s - 19 = -4*r. Does 2 divide r?
True
Suppose -7*o - 180 = -215. Suppose 1680 + 2419 = 3*j + v, -6815 = -o*j - 5*v. Does 8 divide j?
True
Suppose 88 + 17 = -35*m. Is 5 a factor of -6 - m*(1 - -16)?
True
Suppose 8*i + 0*i = 3*i. Suppose -2*v - 4*n = -238, n - 441 = -4*v - i*n. Let f = -82 + v. Does 9 divide f?
True
Let l = 12022 + -1960. Is 131 a factor of l?
False
Let k(j) = -481*j + 1. Is k(-4) a multiple of 11?
True
Is 213135*(-19)/285*-3 a multiple of 10?
False
Is 24 a factor of 4225 - 24/14*(6 - 25/10)?
False
Let k = 4768 + -4048. Is k a multiple of 16?
True
Suppose 13*o - 41*o = -o - 1147797. Does 13 divide o?
False
Let t be (22 - (1 - 2)) + 6/(-2). Let v be (16/(-32))/((-42)/t + 2). Suppose 4*k - w - 347 = k, -5*k + v*w = -595. Does 21 divide k?
False
Let c = -482 + 2094. Does 13 divide c?
True
Suppose 2*g = -4*y + 1648, -5*g + 328 = -3*y + 1577. Does 7 divide y?
True
Suppose 0 = -5*v - 5*g + 23700, -32372 = -5*v + 5*g - 8742. Is 30 a factor of v?
False
Suppose -5*f + 3*y = -4*f - 22553, 0 = -2*f - 5*y + 45139. Does 29 divide f?
True
Suppose g - 149 = 3*u - 8*u, -672 = -4*g - u. Suppose -59 = -m + g. Does 14 divide 1 - 1/((-2)/m)?
False
Is 21 a factor of (-8 - 57/(-15)*5)/(2/1786)?
False
Suppose 3*s + o - 15 = 0, 4*s + 4*o - 10 = 6*o. Suppose -5*c + s*j + 359 = -0*j, 4*c - 288 = 3*j. Is 19 a factor of c?
False
Suppose 0 = 172*f - 350357 - 1157051. Is f a multiple of 5?
False
Suppose 3*h = 2*g + 4, -5*g + g + h + 12 = 0. Suppose r + 662 = g*n, 3*n + r - 461 = 32. Is 11 a factor of n?
True
Let b(f) = 42*f**2 - 179*f + 53. Is 6 a factor of b(9)?
False
Let j(a) = 27*a + 6. Let n(o) be the second derivative of -o**5/20 - o**4/6 - o**3/3 - 3*o**2/2 - 18*o. Let l be n(-2). Does 11 divide j(l)?
True
Suppose -2*f = -5*v - 15265, -40*v - 15255 = -2*f - 45*v. Is f a multiple of 17?
False
Let s = -274 - -51. Let x = 543 + s. Does 20 divide x?
True
Suppose -2*y + 60*j + 23662 = 64*j, 6 = 2*j. Does 43 divide y?
True
Suppose 48*v - 50*v + 1777 = -8223. Is 26 a factor of v?
False
Suppose -1843 = -2*c + 11*n - 8*n, 2*c - 5*n - 1833 = 0. Does 2 divide c?
False
Suppose 5*g - 10*g - 4*s + 1080 = 0, g + 2*s = 222. Is 4 a factor of g?
True
Let q(d) = 4*d**2 + 93*d - 2505. Is q(33) a multiple of 43?
False
Let x(b) = b - 7. Let s be x(8). Let v = 31 + s. Let g = 46 - v. Is 3 a factor of g?
False
Let j be (-2 + (-224)/(-24))*99. Suppose -3*c - 12 = 0, j = 2*l - c + 2*c. Is l a multiple of 16?
False
Suppose 30053*t - 164640 = 30039*t. Is 14 a factor of t?
True
Let i(z) = -118*z + 1316. Is 10 a factor of i(-36)?
False
Suppose -r + 2*d = -7926 - 26496, 0 = 5*r - 2*d - 172182. Is r a multiple of 60?
True
Let p(c) = 30*c - 128. Let l be p(5). Suppose 18*i - l*i = -2*r - 780, -i = r - 198. Does 7 divide i?
True
Let r(p) = 134*p - 688. Is r(22) a multiple of 20?
