4*i, -20 = 4*u. Suppose -i*n + 5*f = -5*n + 1286, 2*n - 2550 = f. Does 11 divide n?
True
Suppose 0 = 2*a - 2*z - 18 + 6, -2*a = z. Suppose -19 = a*w - 25. Suppose 3*v = -w*o + 412 + 266, 0 = 5*v - 5*o - 1110. Does 28 divide v?
True
Let n(l) = l**3 - 5*l**2 + 6*l - 14. Let w(u) = 3*u**3 - 14*u**2 + 17*u - 41. Let k(g) = -17*n(g) + 6*w(g). Let c be k(0). Let x = c + 77. Does 10 divide x?
False
Let x = 369 + -372. Is 16 a factor of (0 + (-34)/(-8))/(x/(-12))?
False
Let h = 6074 - -2605. Is 66 a factor of h?
False
Let a(t) be the second derivative of -7*t**3/6 - 37*t**2/2 + 19*t - 10. Let d be (-2)/2 + (2 - 14). Is 9 a factor of a(d)?
True
Let a = -614 - -1086. Is 20 a factor of a?
False
Suppose 0 = -12*a + 11*a + 37. Let l = a + -35. Suppose -10 = -5*q, 0*p - l*q + 76 = 4*p. Is 6 a factor of p?
True
Suppose -70*g = 86*g - 1238556 - 475416. Is g a multiple of 85?
False
Suppose -45*t + 119 = -17*t - 1001. Is t a multiple of 40?
True
Suppose 0 = -21*h - 1371 + 10422. Let z = 937 - h. Does 22 divide z?
True
Suppose 0 = 2*x - c - 22833, 24203 = 5*x + 4*c - 32886. Does 31 divide x?
False
Let u be (-239)/(2 + (4 - 5)). Let j = -105 - u. Does 12 divide j?
False
Let b(x) = -11*x**2 - 5. Let d be b(2). Let v = -125 - d. Let k = 200 + v. Does 15 divide k?
False
Suppose -818*h + 852*h = 192576. Does 8 divide h?
True
Let f(i) be the first derivative of i**3/3 + 13*i**2 + 5*i - 62. Does 20 divide f(9)?
True
Does 31 divide 30010147/1058 + (-16)/(-736)?
True
Let z(r) = 6*r**2 - 39*r + 7. Let u be z(14). Let o = 1106 - u. Does 95 divide o?
False
Let c = -11374 + 21945. Is 205 a factor of c?
False
Let z = -460 + 475. Suppose -5*w = -5*m + 645, -4*w = 17*m - z*m - 282. Is 11 a factor of m?
False
Suppose -12 = -r - 3*r. Suppose 0 = 5*b - 2*b - z - 437, 297 = 2*b + 5*z. Suppose r*q + 4*o + 46 = 4*q, -5*q - o + b = 0. Does 10 divide q?
True
Let k be ((-6)/4)/(((-25)/(-10))/(-5)). Suppose 12*o - k*o - 3024 = 0. Is o a multiple of 12?
True
Does 11 divide (-191)/(-3)*(577 + 17)/18?
True
Let z = 33704 + -24884. Is 21 a factor of z?
True
Let t(i) = 27*i**2 - 98*i + 592. Is 7 a factor of t(5)?
True
Let t = 46 + -40. Let g be t/(-48) + (-292)/(-32). Suppose g*x - 309 = 78. Is 19 a factor of x?
False
Suppose -5*q + 4*q = -2*z + 14, 5*q + 2*z + 46 = 0. Let x be ((-3)/q)/(12/(-50))*-24. Suppose -u - x + 59 = 0. Is u a multiple of 23?
False
Let k = 3136 - 1504. Let h = k - 932. Is h a multiple of 35?
True
Suppose 772 + 56 = 9*r. Suppose -95*l = -r*l - 840. Suppose -280 = -2*d - 4*s, 4*d + 5*s - l = 2*d. Is d a multiple of 31?
False
Let b(l) be the third derivative of 9*l**4/4 + 53*l**3/6 - 23*l**2 + 2*l. Does 29 divide b(6)?
True
Suppose 0 = 2780*q - 2788*q + 145376. Is q a multiple of 44?
True
Suppose -11*v - 33 = -12*v - 2*w, -3*v - 5*w + 102 = 0. Suppose -429 = 36*r - v*r. Is 13 a factor of r?
True
Suppose 2*o - 1323 = -475. Suppose 9*a - o = -1612. Let f = a + 172. Is 4 a factor of f?
True
Let v = -1931 - -2721. Is 17 a factor of v?
False
Let f = -800 + 2160. Suppose -51*i + f = -46*i. Is 8 a factor of i?
True
Let b be ((-201)/(-5) - (-18)/(-90)) + 5. Is ((-34)/6)/((-15)/b) a multiple of 3?
False
Let h(f) = 2*f + 769*f**2 - 771*f**2 - 9*f - 9 - 12*f. Let d be h(-9). Suppose -4*r - 2*x + 764 = 0, d*r + 3*x = -r + 196. Does 38 divide r?
True
Suppose 66948 = 34*y - 136338. Is 6 a factor of y?
False
Let r be (-152)/40 - 8/(-10). Let u be 2/r*3 + 5. Suppose -q + 640 = u*q. Is 17 a factor of q?
False
Let t(z) = z**2 + 9*z + 14. Let w be t(-7). Suppose w = y - 4*i - 64, 2*i = 3*y - i - 183. Is 12 a factor of y?
True
Let h = -4726 - -11578. Is h a multiple of 12?
True
Let q be (-1 - -2) + (-4)/(-1). Let s(l) = 2*l**2 - l + 5. Let n be s(q). Suppose -w + n = -0*w. Is 25 a factor of w?
True
Suppose 0 = 3*l - 4*w - 153, l - 2*w = -0*l + 49. Let f = l - -106. Is f a multiple of 7?
True
Suppose -63*w + 59*w = -12. Suppose 2269 = 5*x + 3*s, -w*x + 28*s = 24*s - 1344. Does 8 divide x?
False
Suppose 80*t - 450 = 82*t. Let j = 395 + t. Is j a multiple of 12?
False
Let v be ((255/2)/5)/((-12)/(-16)). Let k(d) = -d + 8*d**3 + v - 21*d**3 + d**2 + 12*d**3. Does 5 divide k(0)?
False
Let x(s) = 8*s + 4. Let b(u) = u**2 + 17*u - 16. Let z be b(-19). Suppose 7*w - 2*a = 2*w + z, a + 21 = 5*w. Is x(w) a multiple of 12?
True
Suppose 22*w + 13*w - 55751 = -19526. Is 81 a factor of w?
False
Let a = -394 + 405. Does 36 divide 1 + 1967/a + (-6)/(-33)?
True
Suppose 0 = -2*d - 0*d. Suppose -f + d*i + 5*i + 230 = 0, -2*f - 5*i + 400 = 0. Is 15 a factor of f?
True
Suppose 0 = -3*a + 3*o + 1608, -7*o + 4*o = -2*a + 1068. Is a a multiple of 135?
True
Suppose -50*v - 768356 = -184*v. Does 32 divide v?
False
Let u be ((-2)/12 - 0) + (-4)/(-24). Suppose -16 - 4 = 5*o - 5*v, u = 4*o - 3*v + 16. Does 25 divide 4 + 112 - (o - -3)?
False
Let q(v) = 10*v**2 - 9*v + 20*v**2 - 56*v**3 - 2*v + 57*v**3. Is 22 a factor of q(-30)?
True
Suppose 0 = -3*a + 7*x - 3*x + 6784, 4*a - 9020 = -x. Is 9 a factor of a?
False
Suppose -133084 = -12*o - 85*o. Is o a multiple of 14?
True
Let h = 17466 - 11879. Does 6 divide h?
False
Suppose -26*x = -22*x - 744. Suppose 195*n = x*n + 16200. Is 27 a factor of n?
False
Let t be 9*3*(-4)/(-12). Suppose t*u - 211 = 869. Is u a multiple of 24?
True
Let c = -3117 - -7197. Is 24 a factor of c?
True
Let k(o) be the third derivative of -5*o**4/8 + 2*o**3/3 + o**2. Let t be 180/(-65) - 12/52. Is 7 a factor of k(t)?
True
Suppose 7683 = 2*p - 5*y, 4*p = -0*p - 5*y + 15321. Does 71 divide p?
True
Suppose 7875 = 8*v - 121317. Does 97 divide v?
False
Let s = -127 + -161. Let m(b) = -8*b + 50. Let l be m(6). Is 8 a factor of s/12*(-2)/l?
True
Let m(x) = 2*x**2 + 61*x + 156. Is m(-44) a multiple of 4?
True
Let m = -2873 + 5374. Does 12 divide m?
False
Let w(b) = 4*b**3 - 13*b**2 + 4*b - 6. Let c be w(6). Let r = 881 - c. Is r a multiple of 49?
False
Let f(l) = 6*l**2 + 81*l + 115. Is 95 a factor of f(-18)?
False
Suppose -1512 = -9*m + 2*m. Let s = -310 + m. Does 6 divide s/(-6) - 1 - (-8)/24?
False
Let v(u) = u**3 - 5*u**2 - 11*u - 19. Let d be v(7). Does 32 divide 7/(-2)*-138 + d + -5?
True
Suppose 23*a + 27104 = 45*a. Suppose -25*o + 14*o = -a. Does 18 divide o?
False
Let h be 39/143 - 156/(-33). Suppose -2*b - 3*m = -1250, 5*b + 2*m - 3146 = h*m. Is b a multiple of 5?
False
Let y(w) = -w**3 - 24*w**2 - 26*w - 49. Let i be y(-19). Let f = i - -2064. Is 11 a factor of f?
True
Suppose -3*y + 16 = 2*a, -4*a - 2 = 2*y - 9*a. Is 383/y - (-1)/4 a multiple of 10?
False
Let d(q) = q**3 - 10*q**2 - 61*q + 840. Does 30 divide d(15)?
True
Let a = -10 - -17. Is 22/((a + 0)/21) a multiple of 11?
True
Let u be 7/(28/192)*2/3. Suppose 0 = -9*k + 5*k + u. Suppose -k*b - 35 + 315 = 0. Is b a multiple of 7?
True
Let h = 9149 - 2559. Is 10 a factor of h?
True
Does 66 divide (-20195)/(-5) + 11/(99/(-27))?
False
Let s = -4630 - -9469. Is 10 a factor of s?
False
Suppose -305*k + 693 = -314*k. Let i be 154 + 0 + 0/2. Let t = i - k. Does 41 divide t?
False
Let z = 80 - 12. Let a = z - 62. Let q(p) = 8*p + 37. Does 17 divide q(a)?
True
Let h be ((-2)/(-4))/(-2*(-1)/12). Suppose -3*n + 177 = h*p, -5*n = p + p - 310. Let u = n - 31. Does 3 divide u?
True
Suppose 0 = 80*b - 143*b + 84*b - 434910. Is 132 a factor of b?
False
Let h(j) = 3*j**2 - 9*j + 5. Let b(s) = -16*s**2 + 44*s - 24. Let y(l) = -2*b(l) - 11*h(l). Let g be y(10). Let f = -1 + g. Does 2 divide f?
True
Suppose 2*c = 2*s, s + 3*c = -s + 20. Let g(t) = t**3 - 5*t**2 + 19*t - 58. Let y be g(4). Suppose -94 = -y*o - s. Does 9 divide o?
True
Let s(t) = 203*t - 402. Let c(m) = m + 1. Let x(j) = -6*c(j) + s(j). Is x(5) a multiple of 32?
False
Suppose 0 = -o - 2*m + 2760, 46*o - 49*o + 8285 = 7*m. Does 50 divide o?
True
Suppose -3*w - 8 - 104 = 2*d, 4*w - d = -164. Let i = w - -39. Let b = 29 + i. Is 28 a factor of b?
True
Suppose -34*t = -7*t - 87534. Is 5 a factor of t?
False
Suppose -3*w - 4*p + 5*p = -63104, 5*w = -3*p + 105150. Suppose 39*v = 12*v + w. Is v a multiple of 19?
True
Does 16 divide 8/6*(-5051982)/(-2168)?
False
Let c(k) = 87*k**2 - 86*k**2 - 3*k - 2*k + 2 + 4*k. Let y(z) = z**3 + 8*z**2 - 8*z + 13. Let i be y(-9). Is 3 a factor of c(i)?
False
Suppose -4*g - 3 = -7*g, -3*g = -r + 7. Suppose -r*f - 890 - 210 = 0. Let p = 173 - f. Does 52 divide p?
False
