+ 12, -3*x - 5*f + 11 = 2. Suppose x*j - j + 72 = 3*v, -2*j + 60 = 3*v. Let u = v + 50. Is u a multiple of 17?
False
Suppose -3*r + 70 = -5*i, -3*r - 2*i = -i - 40. Suppose -20*k = -r*k - 770. Is 11 a factor of k?
True
Let x = -150 - -708. Suppose -17*k + x = -8*k. Let q = k + -3. Is q a multiple of 6?
False
Suppose 32*u - 59 = 37. Suppose d - s = 261 + 44, -d = -u*s - 305. Is 5 a factor of d?
True
Is ((-312)/(-84))/13*7924 a multiple of 21?
False
Let u = -1945 + 7905. Is u a multiple of 14?
False
Let y(i) = -34*i**3 - 2*i**2 - 55*i - 159. Is 10 a factor of y(-5)?
False
Is -19 - ((-7 - 13) + -2651) a multiple of 68?
True
Let i = 51 + -53. Let m be 1/((-1)/(-3)) + i. Is 4 - 1*(-23)/m a multiple of 27?
True
Suppose 22*a - 602778 = -29*a - 217473. Is 20 a factor of a?
False
Let x(z) = -z**2 - 29*z + 20. Let s be x(-10). Let g = s - 116. Suppose 4*h + g = -2*d + 430, 0 = -h - d + 83. Does 17 divide h?
True
Suppose 8*f + 10 = 10*f + 3*g, -25 = -3*f - 2*g. Suppose -f*i = -5205 + 1597. Is 18 a factor of i?
False
Suppose -5*h - 308786 = -96*h + 128469. Does 43 divide h?
False
Let r be (((-12)/(-16))/3)/((-4)/(-48)). Let n(g) = 6*g + 2 + 11*g**2 - 2*g**r - 2*g - 4*g**2 - 4*g**2. Is n(-2) a multiple of 22?
True
Is 84/437 + (-6)/69 + 265996/38 a multiple of 29?
False
Let m(n) = -19*n**3 - 3*n**2 + 3*n - 1. Let h be m(2). Suppose -59*s - 17413 = 6954. Let j = h - s. Is 16 a factor of j?
False
Let j(z) = -6228*z + 2736. Is 12 a factor of j(-3)?
True
Suppose 0 = -4*w + 4*h - h + 207, -5*w + 258 = -4*h. Let m be (-52)/(-32) - 3/(-8). Suppose 11*g = 12*g - m*s - w, -96 = -2*g + s. Does 10 divide g?
False
Let s = 577 - 782. Let m = s - -249. Does 4 divide m?
True
Let g(q) = 30*q**2 + q**3 - 47 - 2*q**3 + 3*q**3 + 28*q + 36. Is g(-9) a multiple of 76?
False
Let i = 15756 - 5886. Suppose 168*j - 147*j - i = 0. Is 7 a factor of j?
False
Suppose -95 = -2*m + 5*a, 4*a + 46 = -5*m + 234. Is (-4)/(-10) + (5144/m - 11) a multiple of 35?
False
Suppose j - 473 = 30*f - 34*f, 5*j = -2*f + 2311. Suppose 6*u - 5*o = u - 1535, -u - 3*o - 299 = 0. Let b = j + u. Is b a multiple of 26?
True
Suppose -18*f = -4*z - 16*f + 2246, -3*f + 2261 = 4*z. Let u = z + -221. Does 8 divide u?
False
Let d = 19670 - -8430. Does 281 divide d?
True
Let v = -88 - -64. Let o(z) = -z**3 - 8*z**2 - 13*z - 9. Let b be o(-7). Let s = v + b. Is s a multiple of 3?
True
Suppose m + 8685 = 5*b, -6972 = -4*b - 402*m + 398*m. Does 7 divide b?
False
Let a = -59 - -61. Let w(q) = -4*q + 2*q**2 - q**a + 25*q**2 - 2. Is w(-1) a multiple of 7?
True
Let y = -58 - -10. Is 7 a factor of (-9104)/y + 6/(-9)?
True
Let u(x) = 61*x**3 + x**2 - 45*x + 180. Is 15 a factor of u(5)?
True
Let s = 30222 + -20929. Does 154 divide s?
False
Let k(u) = 2*u**3 - 4*u**2 + 168*u - 32. Does 116 divide k(10)?
True
Let q(a) = -98*a + 7. Let g be q(-1). Does 10 divide 48795/g + (-2)/(-7)?
False
Does 4 divide -3 - -1 - 2 - (-6 - (-2 - -2644))?
True
Let m = 15313 + -14590. Does 63 divide m?
False
Suppose 2*y - 11898 = -2*b, -23797 = -4*y - 135*b + 132*b. Does 50 divide y?
True
Suppose 27*p - 22*p = 30. Suppose 4*n - t - 829 = 0, -2*n + 2*t + 428 = p*t. Is n a multiple of 16?
True
Suppose -564*h + 548*h = -1536. Does 4 divide h?
True
Is (-5 - (-2071 + 8)) + 6 a multiple of 11?
False
Suppose -4*f + 2*k = 11 + 23, 4*f + 38 = -2*k. Let w(x) = -4*x - 25 + 8 - x + 14. Does 21 divide w(f)?
True
Let r = -85 - -151. Suppose 0 = 54*b - r*b + 5376. Is 16 a factor of b?
True
Let p = 77 + -69. Suppose 9*m - 119 = p*m. Suppose m = -4*d + 879. Is 19 a factor of d?
True
Suppose -7099 - 3503 = -18*a. Suppose a + 4931 = 8*t. Is t a multiple of 10?
True
Let y = 4933 + 2454. Is y a multiple of 5?
False
Let w = -5057 + 5303. Does 9 divide w?
False
Let r(t) = -2*t**3 - 3*t**2 + 10*t - 24. Let z be r(4). Let v = z - -165. Is 5 a factor of v?
True
Let w = -29 + 204. Suppose w = -6*a + 661. Does 7 divide a?
False
Suppose -40*m = -45*m - 5*u + 13480, m - 2681 = 4*u. Does 5 divide m?
False
Let a be (-485 + 1 - 0)/(42/(-84)). Suppose 0 = -3*l - k + a, 2*l = 6*l - k - 1286. Does 7 divide l?
True
Suppose -t + 709 = -3441. Is 83 a factor of t?
True
Suppose 3 + 22 = 5*z, 35 = 5*s + 4*z. Suppose a = -s*q - 420 + 2874, 2*a = -2*q + 1632. Does 21 divide q?
True
Suppose 602*q = 607*q + 150. Let v(u) = -16*u - 2. Is 23 a factor of v(q)?
False
Suppose -4*c = -2*s - 2, 0 = -0*c - c + 3. Suppose -s*d + 4*i + 736 = 80, -5*i = d - 108. Is d a multiple of 16?
True
Is (5 - -8128)*(8 + 184/(-24)) a multiple of 62?
False
Let s = -49 + 24. Let b = s - -28. Suppose -b*q + q + 44 = 0. Does 2 divide q?
True
Suppose -92*a + 88*a - 2*z + 117964 = 0, -z = 2. Does 249 divide a?
False
Let x(t) = -3*t + 19. Let p be x(5). Suppose 5*z + 11*n = 8*n + 931, 4*n + 732 = p*z. Does 37 divide z?
True
Is 17 a factor of (55/132*3)/((-3)/(-9996))?
True
Let n(r) = -64*r - 900. Is 5 a factor of n(-15)?
True
Let o(v) = 11*v + 25. Let p(u) = u**3 - 3. Let s be p(2). Is o(s) a multiple of 8?
True
Let h(p) = 2*p**2 + 7*p - 51. Let a = -163 + 170. Is h(a) a multiple of 12?
True
Let y(o) = -11*o + 142. Let f be y(5). Suppose f*h - 1520 = 83*h. Is 44 a factor of h?
False
Suppose -114*n + 66*n = -75*n + 486. Does 3 divide n?
True
Suppose -112*u = 132*u - 278*u + 777546. Does 139 divide u?
False
Suppose 0 = 3*n - 3*f + 5*f - 50423, 3*f + 16815 = n. Does 39 divide n?
True
Let d be ((-1568)/(-10))/((-348)/60 - -6). Suppose d = 3*a + m, -16*a - 5*m + 764 = -13*a. Is a a multiple of 20?
False
Suppose 2*b - 8*t - 352 = -6*t, 2*t + 180 = b. Let v = 125 + b. Does 28 divide v?
False
Let y(g) = -2 - 1 + 5 - 38*g - 14. Let h be y(-10). Suppose h = 5*z - 167. Is z a multiple of 34?
False
Is (-54614)/(-4) - (45/54)/(30/(-54)) a multiple of 381?
False
Suppose -4*i = -2*o - 20, -3*i + 7*i + 4*o - 8 = 0. Suppose -i*f + 8*a + 12 = 3*a, 24 = -4*f - 4*a. Is f/(-10) - 1598*5/(-50) a multiple of 8?
True
Is (-46202)/(-2)*1 - (-614 + 609) a multiple of 98?
False
Let r(h) = -h**2 + 37*h - 274. Let n be r(10). Let a(s) be the second derivative of 5*s**3/6 + 25*s**2/2 - s. Is a(n) a multiple of 4?
False
Suppose -72*a + 22*a = -3170000. Is a a multiple of 20?
True
Let w(a) = -3*a - 1. Let k be w(-2). Suppose -l + 2*q = -22, -2*l + 0*l + 49 = -k*q. Let m(g) = g**2 - 10*g - 6. Does 6 divide m(l)?
True
Let m(z) = 2*z**3 - 257*z**2 + 876*z + 78. Let f be m(125). Suppose -3*k + 187 = -116. Suppose k = 4*n - f. Is 15 a factor of n?
False
Let k = -50253 - -76991. Does 58 divide k?
True
Suppose -650*o - 3488400 = -802*o. Is 17 a factor of o?
True
Let z(c) = c**2 + c + 230. Let r be z(0). Suppose -18*s + 662 = r. Is s a multiple of 3?
True
Suppose -3*x - 4*i - 14 = -2*i, i = 3*x + 11. Let w be (54/x)/(6/12). Does 5 divide (-3 + w)/(-1 + 3/12)?
True
Is 132 a factor of 7 - -39716 - ((-5)/(-20) - 74/8)?
True
Is 15 a factor of 605/(-847) - (-28775)/7?
True
Let u = -27 - -3. Let h = 39 + u. Is 28 a factor of (-1864)/(-40) - 2*(-3)/h?
False
Suppose 5*c = 2*y + 63608, -y = y + 8. Is 53 a factor of c?
True
Let o(c) be the first derivative of -4*c**4 - 2*c**3 - 3*c**2/2 + 9*c - 90. Is 3 a factor of o(-2)?
False
Let f = 203 - 210. Let v(y) = -69*y - 48. Is v(f) a multiple of 15?
True
Suppose -4 - 21 = -5*a. Suppose -6*s = -4*s - a*f - 770, -5*s + 1956 = 3*f. Is s a multiple of 39?
True
Let g(r) = 32*r**2 - 41*r + 146. Does 26 divide g(3)?
False
Let s = -32 - -34. Suppose q + 2*k + 4 = -q, 0 = s*q - k - 8. Suppose -q*c + 83 = -3*o, -o - 70 = -5*c + 131. Is 4 a factor of c?
True
Let o(j) = 1108*j - 841. Is 27 a factor of o(4)?
True
Let y(t) = t - 30*t - 3 + 11. Suppose -3*x - 35 + 29 = 0. Is 22 a factor of y(x)?
True
Suppose -5*m - 38 = -3*u, u + 3*m - 8 = -0*m. Suppose -u*w + 224 = -10*w. Is 28 a factor of w?
True
Let u(d) be the third derivative of -5*d**3 + 41*d**2 + 7/24*d**4 + 0 + 0*d. Does 26 divide u(8)?
True
Suppose 0 = -37*g + 1179215 - 36766. Is 86 a factor of g?
False
Let q be (32/10)/(150/375). Suppose q*z = 10806 + 1202. Is z a multiple of 79?
True
Suppose 17359 = a - 12242 + 6674. Does 180 divide a?
False
Suppose -2*l - f + 6478 = 0, -2*f = 6*l - 4*l - 6476. Is 20 a factor of l?
True
Let x = -151 + 320. Let r = 319 - x. Does 15 divide r?
True
Let u(g) = -727*g - 3436. Does 43 divide u(-18)?
False
Is (347616/27 - (-16)/(-24))*(-3)/(-6) a mul