-18) + 5 + -1)?
True
Suppose -2*w = -3*l + 4*l - 9204, 3*l = 12. Does 5 divide w?
True
Let c(w) = w**3 - 4*w**2 + w - 4. Let s be c(4). Suppose s = 3*j + 2*j, 3*j - 1 = -x. Suppose p = x, -5*l + 256 = -4*p - 130. Is 13 a factor of l?
True
Let s be (-1 + -2 - -2)/1. Suppose -30 = -4*w + 2*p, w + w = -p + 5. Is 14 a factor of (s - -1) + 70/w?
True
Suppose 11*c = 27 + 1821. Suppose -4*s - m = -336, 0*s + 4*m + c = 2*s. Is s a multiple of 65?
False
Let d be 7 + 2/(10/15). Suppose d = -u + 12. Is 3 a factor of (-20)/(-15)*((-33)/(-6) + u)?
False
Suppose -5*k + a = -0*k - 22, 8 = k + a. Suppose 0 = k*w - 100 - 385. Does 14 divide w?
False
Suppose i = f - 2, i - 6*f + f - 2 = 0. Is i/2*1272/(-9) a multiple of 23?
False
Let s = -6243 - -30859. Is 25 a factor of s?
False
Suppose -c + 2588 + 953 = -2*a, 0 = 4*c - 2*a - 14134. Is c a multiple of 42?
False
Let s = -19 - -12. Let t(u) = -u**2 - 7*u + 11. Let g be t(s). Let r(j) = -j**2 + 21*j - 25. Is r(g) a multiple of 17?
True
Suppose -569*p + 7995274 + 11901243 = 3336341. Is p a multiple of 272?
True
Let h(y) = 22*y**2 - 11*y - 92. Is h(16) a multiple of 12?
True
Let b(c) = 53*c**2 - c + 6. Let m be b(2). Suppose -2*h - 45 = 3*r + 113, 0 = -4*r - 4*h - m. Let p = 110 + r. Is p a multiple of 6?
True
Let k(h) = -57*h + 6. Let u be k(0). Suppose 5*p = 4*f - 2069, 0 = -u*f + 8*f - p - 1033. Is f a multiple of 43?
True
Suppose -166*z = 18189 - 164435. Does 5 divide z?
False
Suppose r = 2*q - 14, 0 = -3*q + 4*r - 14 + 45. Let c(a) = 87*a**2 + 2*a + 1. Let n be c(-1). Suppose -q*z + 4*i - 23 = -117, 3*z = -5*i + n. Does 5 divide z?
False
Suppose -3*k = 6*u - 16126 - 3275, 2*k + 12938 = 4*u. Is 21 a factor of u?
True
Let y(t) be the first derivative of -t**4/2 - t**2/2 + 4*t - 11. Let a be y(2). Does 12 divide (1 - 4 - a) + 1?
True
Let w(l) = -132*l**3 + 2*l**2 - 3*l + 2. Let t be w(1). Suppose 1073 = 4*h + 2*i + 311, 936 = 5*h - 3*i. Let f = t + h. Is f a multiple of 16?
False
Let r(y) = 12*y**3 + 7*y**2 - 13*y. Let j(x) = 8*x**3 + 5*x**2 - 9*x. Let q = -48 + 41. Let s(v) = q*j(v) + 5*r(v). Does 10 divide s(2)?
False
Suppose -2*a - 2 = -8. Suppose 202 = 5*c - a*x, c - 4*x = -0*x + 37. Suppose 4*r = 3*g + c, -r - g = -2 - 3. Is r a multiple of 8?
True
Suppose 34*l = 31*l + 3*s + 87777, -3*l = -5*s - 87773. Is l a multiple of 12?
False
Does 9 divide (3 - (-5788)/(-12))/(199/(-8955))?
False
Suppose -923120 + 330200 = -12*s. Is 122 a factor of s?
True
Let z be (-3)/((-8)/(448/(-3))). Let p = z + 61. Suppose -4*g = 4*t - 412, -759 + 254 = -5*t + p*g. Does 17 divide t?
True
Suppose -4*o - 4*d = -9*o + 79, 5 = -5*d. Let j(z) = -z + 19. Let m be j(o). Let p(x) = 6*x**2 - 8*x + 13. Is 5 a factor of p(m)?
False
Suppose 5*v - 5*d + 362 = 26367, -d + 10414 = 2*v. Is v a multiple of 15?
True
Let j be (-74)/1*(-2)/(-3 - -7). Let t = j + -31. Let q(v) = 2*v**2 - 7*v + 6. Is 12 a factor of q(t)?
True
Let d(z) = 142*z - 3920. Is d(99) a multiple of 74?
True
Suppose -3*y + 2*u + 80 - 31 = 0, -53 = -3*y + 4*u. Is 32 a factor of (0 + 11)/(y/975)?
False
Let d = 378 + -359. Let b(y) = 5*y - 29. Is 11 a factor of b(d)?
True
Let q(c) = c - 10. Let m be q(13). Suppose 9 = -2*u + 1, 0 = 3*k + m*u - 96. Let z = k - 25. Does 11 divide z?
True
Let w(c) = 30*c**2 + 109*c - 1238. Is 196 a factor of w(22)?
True
Suppose -19 = 3*l + 116. Let z = l + 51. Let i(k) = 8*k - 9. Is 10 a factor of i(z)?
False
Let q = 54 + -54. Let z be (-2)/6*(-12 - 0). Suppose q = -5*s - 5*h + 635, 27 - 287 = -2*s - z*h. Does 43 divide s?
False
Let o(m) be the third derivative of -17*m**4/12 - 187*m**3/3 - 205*m**2 + 2*m. Does 20 divide o(-22)?
False
Suppose 0 = 5*m + 2*l - 15, 3*m - 3*l - 6 = m. Let h be 3*m/36 - 76/(-16). Suppose 5*w - 131 = -b, -h*w = -5*b - 220 + 845. Does 23 divide b?
False
Let g(y) = -4*y + 2*y**2 + 12*y + y**3 + 8*y - 6 - 7*y**2. Does 16 divide g(4)?
False
Suppose -4*h = h + 10, -3*v - 5*h = 37. Let y be (-3)/v - 57/9. Let x = 21 - y. Is x a multiple of 9?
True
Let w(j) be the first derivative of -9/4*j**4 + 2/3*j**3 - 19 - 2*j + 0*j**2. Does 13 divide w(-2)?
True
Let q(z) = -4*z**3 - 5*z**2 + z + 1. Let x be q(-5). Suppose 5*h + 64 = -b - 87, 0 = b - 5*h + 201. Let r = b + x. Is r a multiple of 48?
False
Let n(p) = -2*p - 2. Let u be n(-13). Suppose -f + 179 = -3*a - 6*f, -5*a - 3*f - 277 = 0. Let y = u - a. Does 11 divide y?
True
Suppose -s - 3*l + 7 = 0, 2*l - 6 = -0. Let p be s*-6*(-2)/8 - -4. Is 9 a factor of (-8)/(-20)*1*(p + 44)?
True
Suppose -2*f + 44 = 3*f - 2*k, -k - 17 = -2*f. Is 34 a factor of ((-288)/56)/(f/(-595))?
True
Let a = -692 + 689. Does 10 divide 949 + 2 + a + 9?
False
Suppose 3939*l = 3958*l - 65854. Is l a multiple of 124?
False
Let o(c) = c**3 + 24*c**2 + 25*c + 49. Let q be o(-23). Suppose 3*h + 308 + 547 = 3*l, -1449 = -5*l - q*h. Is 36 a factor of l?
True
Is 92 a factor of ((-9 - 1533/(-6)) + -5)*168?
True
Let r be (-14)/(-4)*240/42. Suppose -1332 = 8*u - r*u. Is u a multiple of 20?
False
Let p be 2 + (1 - -2) + 44. Suppose 9*t + 4 = p. Suppose -t - 611 = -7*b. Is 22 a factor of b?
True
Suppose -106 = -3*h - 19. Let a = 32 - h. Suppose a*u - 4*g - 188 = 0, -2*u = -6*u - 3*g + 234. Is u a multiple of 15?
True
Let a(v) = 4 + 4 - v - 5*v + 1. Let z be a(-9). Suppose -2*x + 5*x - z = 0. Is x a multiple of 11?
False
Suppose 7*a + 1579 = 5*r + 10*a, 5*a = r - 299. Suppose -7*n - 2183 = -r. Is 15 a factor of -2 + n/(-2)*(6 + -4)?
False
Let w = -259 + 261. Suppose 5*p - 578 = -w*m - 199, 0 = -4*p + 4*m + 292. Is p a multiple of 3?
True
Let o = -11001 - -60169. Does 16 divide o?
True
Suppose 6*n + 392 = 14269 + 391. Is 7 a factor of n?
False
Let f(q) be the first derivative of -q**3/3 - q**2 + 10*q + 11. Let d be f(-4). Suppose 0*m - 2*m + 243 = 3*c, -6 = d*c. Does 18 divide m?
True
Is (-3 - 183/(-63)) + 78542/21 a multiple of 17?
True
Let x(q) = -q**3 + 425 - q**2 + 0*q**3 + 3523*q - 3518*q - 94. Is 9 a factor of x(0)?
False
Let w(g) = 2*g**3 + 10*g**2 + 414*g + 137. Does 207 divide w(27)?
False
Let l = -4287 - -8281. Is l a multiple of 156?
False
Does 3 divide ((-2)/(-5))/((-183)/(-348615))?
True
Let n(z) = -3*z**2 - 21*z + 14. Let t(h) = 5*h**2 + 41*h - 27. Suppose 3*w - 10 = 2. Let g(v) = w*t(v) + 7*n(v). Is 9 a factor of g(9)?
False
Suppose 2*v - 3*u = 9133, -8701 = -4*v + 5*u + 9558. Is v a multiple of 34?
True
Let t(o) be the first derivative of 9/2*o**2 + 11 - 28*o. Does 14 divide t(8)?
False
Suppose 0 = 3*u - 4*u + 736. Suppose 0 = 5*y - 2*q - q - u, 0 = -4*y + 4*q + 584. Suppose -6*i = -5*i - y. Does 24 divide i?
False
Suppose 0 = -4*s + 13 + 79. Suppose 0 = s*p - 21*p - 320. Is 17 a factor of -1*(0 + 9/((-36)/p))?
False
Let q(n) = 11*n + n**2 - 31 - 2*n + 4*n. Let z be q(-15). Does 6 divide z - (9/3 - 88/4)?
True
Let b be (656/24)/(2/(-3)). Let j be (-1)/3 - b/(-3). Let v = j + 126. Is 28 a factor of v?
True
Let p = -31 + 50. Suppose 23*j = p*j + 1368. Is 19 a factor of j?
True
Let q(c) = 2*c**2 - 13*c - 84. Let u be q(11). Suppose 4107 = -u*d + 14637. Is d a multiple of 23?
False
Let v(m) = -m**3 + 10*m**2 + 27*m + 11. Let k = 9 + -27. Let d = k - -30. Is 11 a factor of v(d)?
False
Suppose -6*q - 2*r + 6482 = -2*q, 4*q + 5*r = 6473. Suppose q = 2*p - 3*n, 10*n + 797 = p + 5*n. Does 29 divide p?
False
Let r(p) = 2*p**3 - 7*p**2 + 7*p - 4. Let w(v) be the third derivative of -v**4/6 - 2*v**3/3 - 7*v**2. Let o be w(-2). Is r(o) a multiple of 10?
True
Let v be 29/2*6/(1 - -2). Suppose -25 = 3*p + v. Does 26 divide (-6560)/(-36) + 4/p?
True
Let h(p) = 1279*p - 4137. Is 114 a factor of h(15)?
True
Let m(r) = 52 - 3*r**2 + 4*r**3 + 51 + 3*r + 48 - 152. Does 5 divide m(2)?
True
Suppose -5*b + 15 = -5*i, -4*b + i = 3*i - 36. Suppose 11 = -2*m + b. Is (m - 51/(-12))*(-660)/(-11) a multiple of 31?
False
Suppose 0 = -4*p - 16, d - 31*p = -32*p + 6105. Is d a multiple of 100?
False
Let u be (-6 - -7)*(0/(-1) + 34). Suppose -u*s = 5*s - 9321. Does 17 divide s?
False
Let b(f) = -f**3 - 3*f**2 + 8*f + 10. Let m be b(-5). Is m/(7 - 222/36) a multiple of 10?
False
Let a(n) = 8*n - 47. Let p be a(6). Suppose 0 = q - p, 200 = -0*x + 4*x + 4*q. Is x a multiple of 7?
True
Let g(d) = d**2 + 4. Let o be g(0). Let s(h) = -2 - 15*h + 0*h**2 + 3*h**2 - h**2 + 2*h**2 - h**3 + 19*h. Is s(o) a multiple of 12?
False
Suppose 35*l = 39*l, 