s = 3*i + 301. Suppose -i = 11*n - 26*n. Is 46 a factor of n?
False
Let n(p) = -2*p**2 + 50*p + 110. Let z be n(27). Suppose -698 = z*m - 3*m + 4*u, 2*m - 1372 = -4*u. Is m a multiple of 46?
True
Suppose -281 = -4*g + 3*f, 5*g - 3*f = -8*f + 325. Let n = g - -163. Suppose -13*j + 10*j = -n. Is 7 a factor of j?
True
Let q(w) = 48*w**3 - 6*w**2 + 3*w - 14. Let l(j) = 48*j**3 - 7*j**2 + 3*j - 17. Let c(b) = -4*l(b) + 5*q(b). Let a be (0/4)/4 - -1. Is 7 a factor of c(a)?
False
Suppose -2*l + 57 = 3*j, -29*l + 4*j + 164 = -25*l. Suppose -8470 = -l*g + 25*g. Is g a multiple of 22?
True
Let l = 9 + -2. Suppose -3*m - l = 2*f - f, f = -2*m - 4. Suppose 8 - 242 = -f*n. Is n a multiple of 13?
True
Let l = 292 - 236. Let b = l + -20. Does 2 divide b?
True
Does 36 divide (6 + (69 - -14))/(2/4)?
False
Let p(d) = 9*d + 19. Let o be p(-18). Let t = -129 - o. Let m = t - -10. Does 2 divide m?
True
Suppose -4*d + 0*v + 1012 = -4*v, 4*d - 1011 = 5*v. Let h be 243/4 - (-8)/32. Let n = d + h. Is n a multiple of 45?
True
Suppose 24 = -5*r + 2*j + 4394, -5*r - 4*j + 4340 = 0. Is r a multiple of 5?
False
Let c(d) be the second derivative of d**4/12 + 11*d**3/6 + 24*d**2 + 6*d + 8. Is c(14) a multiple of 5?
False
Suppose -3*n + 0*u - 162 = 2*u, 3*n = 2*u - 162. Let l = 16 - n. Is l a multiple of 7?
True
Let f(q) = 28*q + 115. Let l = -34 - -36. Is 4 a factor of f(l)?
False
Let p be 222/8 + 3/(-4). Let w be (-4)/(-18) - (1020/p)/(-1). Let r = w - -20. Is r a multiple of 4?
False
Let p(u) = 132*u - 1188. Let h be p(9). Let n = 2 - 0. Suppose h = -2*j - j, n*c = -2*j + 240. Is c a multiple of 15?
True
Let y = 304 - -783. Suppose -3*k - y = -5*t + 2750, k - 1537 = -2*t. Does 16 divide t?
True
Let d(y) = 3*y - 5. Let z = -30 + 33. Let o be d(z). Suppose o*t - 61 = 15. Does 6 divide t?
False
Suppose 0 = 2621*f - 2626*f + 25. Suppose -2*h = 0, -f*h + 1395 = n - 4*h. Does 31 divide n?
True
Let p(o) = -o**3 + 8*o**2 + 5*o + 12. Let b be p(8). Let v = -37 + b. Does 15 divide v?
True
Suppose 28*x - 76*x + 159840 = 0. Is x a multiple of 37?
True
Suppose -15738 = -s + i, 3*s - 7*i + 6*i - 47226 = 0. Does 7 divide s?
False
Let n = 42 - 32. Let a be (-1 - n/15)*-3. Suppose 1365 = a*i - 3*d, 582 + 503 = 4*i - d. Does 45 divide i?
True
Let o = -10 - -13. Suppose o*z - 2677 = 4*y - 590, 0 = -3*z - 4*y + 2095. Suppose m + z = 5*u, 4*m + 4 = 2*m. Is u a multiple of 18?
False
Let s(p) = 5*p**3 - 8*p**3 - 6 + 4*p**3 - p**2 + p - 6*p**2 - 18*p. Does 3 divide s(9)?
True
Let x(t) = -24*t + 86. Let u be x(4). Let m(y) = -8*y**2 - 26*y - 14. Let g(n) = 7*n**2 + 26*n + 14. Let l(r) = 5*g(r) + 4*m(r). Is l(u) a multiple of 9?
True
Suppose 0 = -j - i + 5, -21 + 14 = -j - 3*i. Let t be 420/16*(-4)/(-1). Suppose -t = -j*z - z. Is 4 a factor of z?
False
Suppose 371*d = 205034 + 137770. Is 44 a factor of d?
True
Let f(d) = 46 - d**2 - 36 - 26*d + 54 - 11*d. Is f(-29) a multiple of 30?
False
Let g = -6765 + 8950. Is 2 a factor of g?
False
Let i = 103 + -99. Suppose -i*u - 382 = -2*l - 2914, 0 = 4*u - 3*l - 2530. Is u a multiple of 35?
False
Suppose 4*o - 24 + 4 = 0. Let d(m) = m**2 - 4*m + 1. Let a be d(o). Is 16 a factor of 3/a*38 - 3?
True
Let a(h) = -h - 22. Let u be a(-13). Let f be (u/(-4))/((-8)/96). Is (-126)/f*(-3)/(-2) a multiple of 3?
False
Suppose 86 = -6*u + 104. Suppose 11*i - u*i = 3896. Does 42 divide i?
False
Suppose 0 = 7*a - 920 - 578. Let i = 38 + a. Is i a multiple of 21?
True
Let d(w) = -45*w - 168. Let i be d(-4). Is 142652/114 + 4*2/i a multiple of 55?
False
Suppose -21*j + 12311 = -919. Suppose 4*b + j = 5*b + 2*d, -d = -5*b + 3150. Is 35 a factor of b?
True
Suppose 0 = 2*k - 5*t - 77, 99 = 2*k + 5*t + 12. Suppose 1 = u, -2*b - 4*u = -k - 33. Is 10 a factor of b?
False
Let i be (2 + -2)/((-3)/(-6)*-2). Suppose d = 0, 83 = -m - i*m - 4*d. Let p = m + 137. Is p a multiple of 27?
True
Suppose -7*o + 56 = 4*y - 3*o, 38 = 3*y + o. Let q(h) = 4*h - 300 + 909 - 306 - 320. Does 3 divide q(y)?
False
Let j = 11160 + 450. Does 114 divide j?
False
Let d(t) = -51 + t**2 - 64*t + 59*t + 2*t**2. Is d(-5) a multiple of 4?
False
Let f(s) = 3*s**2 + 152*s - 49. Let j be f(-51). Suppose 3*d - 41 = -2*d - 2*z, -z - 47 = -5*d. Let n = d + j. Is n a multiple of 7?
False
Let w be (-2)/(2 - 4) - -1. Suppose 5*t - o - 362 = 1187, 5*o - 625 = -w*t. Is t a multiple of 6?
False
Let y = -1 - -3. Suppose 3*n - u + 0*u = 329, -5*n + 550 = -y*u. Does 12 divide n?
True
Let i(r) = -148*r + 191. Is 11 a factor of i(-12)?
False
Let f be 22/(-5) + 4/10. Is (32*f/12)/((-2)/15) a multiple of 8?
True
Suppose -4*a = -a - 57. Let u = 1017 + -927. Suppose -a*v + u = -16*v. Is v a multiple of 6?
True
Let b be (-22)/8 + 1/(-4) - -8. Suppose 920 + 4590 = 5*i + 5*l, l = -b*i + 5510. Does 38 divide i?
True
Is 13 a factor of (-40)/820 + 3875984/164?
True
Suppose 31*f + 1522136 + 1870876 = 217*f. Does 18 divide f?
False
Suppose 3*p - 5707 = -4*u + 651, -2*u - 10562 = -5*p. Is p a multiple of 14?
True
Let s(g) = -3*g + 12*g**3 - 108*g**3 - 5*g**2 + 8*g**2 - 6*g**2 + g. Is s(-1) a multiple of 10?
False
Suppose 3*h + 12 = 27. Let y be -3 + 3 - (-7 + h) - -7. Suppose -y*w - 1192 = -17*w. Is 25 a factor of w?
False
Let n = 12 - 10. Let a(j) = -2*j**n + 3*j + 6*j - 10*j + 25. Is a(0) a multiple of 19?
False
Suppose -2390 = 215*c - 222*c + 2328. Is c a multiple of 3?
False
Suppose 11*n = 16*n + 15, 0 = 5*d + 4*n - 94188. Is d a multiple of 10?
True
Suppose -143*v = -280*v + 145*v - 530256. Does 17 divide v?
False
Does 68 divide (-3886150)/(-450) - (-2 + 52/18 + -1)?
True
Let w be (12 - 7)*-2 - 4*-1. Let m(n) = -n**2 - 11*n + 43. Is m(w) a multiple of 9?
False
Let w = 2045 - -6117. Suppose -23*d = -9*d - w. Is d a multiple of 11?
True
Let a = 14828 - 10306. Does 13 divide a?
False
Let j(z) = -z**2 - 109*z - 418. Is j(-28) a multiple of 10?
True
Is 39 a factor of -193*((-29)/145 + 314/(-5))?
False
Let c(o) = -2292*o - 240. Is 6 a factor of c(-5)?
True
Let c = -1 + 1. Suppose -44 = 22*k - 132. Suppose 5*a - 6*g - 574 = -3*g, c = k*a - 4*g - 456. Is 29 a factor of a?
True
Let l(x) = 13 - 8 - 11*x + 8 + 11*x**2 + x**3. Is l(-10) a multiple of 21?
False
Suppose -16*q = -13536 + 1200. Suppose -3*p - 162 = 3*l - q, -4*l - 223 = -p. Is 50 a factor of p?
False
Let s = -6862 + 18668. Is 142 a factor of s?
False
Let o be 1 + (45/(-3))/(-3). Suppose -5*p + 603 = 3*c, -4*c + 3*p - 401 = -o*c. Is c a multiple of 61?
False
Let y = 2958 + -2742. Let o(q) = 25*q**2 + q - 4. Let d be o(3). Suppose -10*w = -d - y. Does 11 divide w?
True
Suppose 2*m - 8*m + 2376 = 0. Suppose 267 - m = -q. Is 19 a factor of q?
False
Suppose 3*l - 4*w + 24 - 717 = 0, l - w - 232 = 0. Let m = 442 - l. Is 3 a factor of m?
True
Suppose -103841 = -5*h - d, 15*d - 13*d - 62306 = -3*h. Is h a multiple of 352?
True
Let q(i) = -346*i**3 + 17*i**2 + 11*i + 10. Is 32 a factor of q(-3)?
True
Let c(s) = s**2 + 52*s - 47. Let x be c(-53). Suppose 0*g + 3 = 3*g, -g = -4*w + 203. Suppose -3*h = -x*h + w. Is h a multiple of 7?
False
Suppose -3*h + 2*h + 579 = 2*g, -2*g = 4*h - 2286. Does 51 divide h?
False
Is -1355*1446/(-180) - 4/24 a multiple of 2?
False
Suppose -o = 2*o + 5*p - 17, 0 = -5*o + 2*p + 18. Suppose a - 125 = 2*x, -a + o*a + 3*x - 348 = 0. Suppose 2*i = 9*i - a. Is 2 a factor of i?
False
Suppose 0 = -5*t - 4*j + 148, 5*t - 3*t - 2*j = 52. Suppose 187 = t*g - 27*g. Is 17 a factor of g?
True
Let i be (-84)/18*(-30)/(-35). Is (6 - (-486)/(-24))*i a multiple of 19?
True
Let j(k) = k - 4. Let i(n) be the first derivative of -3*n - 16. Let t(r) = -4*i(r) + 6*j(r). Does 9 divide t(5)?
True
Let c = -106 + 108. Suppose 16 = -c*u + 20. Suppose 5*q + 5*z - 65 = -0*q, 29 = u*q + z. Is 4 a factor of q?
True
Let s(m) = 3160*m**2 - 86*m + 4. Does 178 divide s(-2)?
True
Suppose 6*n - n - 2*i = 30, i - 7 = -3*n. Suppose 2*v - 1 = 5*g, v - n - 1 = -2*g. Suppose 3*r - 4*s - 58 = -0*r, -3*s - 63 = -v*r. Is r a multiple of 26?
True
Suppose 14*d - 15*d - 7117 = -4*y, -5*y + 3*d + 8891 = 0. Is 8 a factor of y?
False
Suppose s - 17*b + 16*b = 248, s = -b + 248. Suppose x + 3*y - s = 0, -303 = -3*x - 5*y + 457. Does 20 divide x?
True
Let u(k) = -11*k + 68. Let n be u(6). Suppose n*c - 22 = 4*h + 26, -h + 72 = 3*c. Is ((-117)/6)/(c/(-320)) a multiple of 20?
True
Suppose u + 4*q - 18510 = 0, -129