. Does 14 divide n?
False
Let d(m) = -10*m - 32. Let h be d(-4). Suppose -9*b + 2*i = -h*b - 263, 0 = 3*b + 4*i - 739. Does 11 divide b?
True
Let a(g) = g**2 + 8*g + 1. Let h be a(0). Is (h - 2)*(7 + -179) a multiple of 11?
False
Suppose -p + 0*p + 1 = 0, 2*p - 155 = -3*a. Suppose 5*q + 6*k = 9*k + 232, -q + a = 4*k. Is q even?
False
Let q(p) = p + 3. Let k be q(-1). Let d = 117 + -103. Suppose -d*b + 1320 = -k*b. Is 13 a factor of b?
False
Let a = -10 + 40. Let q = a + -32. Is (-71)/q - (-4 - 45/(-10)) a multiple of 3?
False
Let y(h) = 0 + 0 + 6*h**2 + 4*h + 11. Let m be (-11)/3 + 1*4/(-12). Is y(m) a multiple of 13?
True
Suppose -12461 = -c - 4*k, -14*c = -15*c + 4*k + 12509. Does 43 divide c?
False
Does 42 divide (-39)/(-91) + 22/(-35) + (-1388747)/(-85)?
True
Let t(y) be the first derivative of -y**4/4 + 10*y**3/3 - 4*y**2 - 8*y + 19. Let r be t(9). Does 30 divide (0 + 2)/r + (108 - 13)?
False
Let c be (21/(-9) - -2)/(3/(-45)). Suppose -253 - 92 = -c*v. Suppose -19 + v = t. Is t a multiple of 10?
True
Let l = 9232 - 3316. Does 68 divide l?
True
Suppose -3*f + 17*s - 4 = 13*s, -5*f - 2 = -2*s. Suppose 25*v + 11691 - 34191 = f. Is v a multiple of 30?
True
Suppose 2*p - 11*p = -36. Suppose -b + p*b + 21 = x, -3*x = -3*b - 57. Is 2 a factor of x?
True
Let g(n) = 572*n - 3307. Is g(35) a multiple of 27?
True
Let t = 136 - 211. Suppose 2*r - 366 = 4*r. Let q = t - r. Is q a multiple of 10?
False
Let c(i) be the first derivative of 4*i**3/3 + 2*i**2 - 7*i - 15. Let u be c(4). Let s = u - -17. Is s a multiple of 14?
False
Is ((-3)/((-9)/(-3)))/(-4 + (-153615)/(-38405)) a multiple of 81?
False
Suppose -805 = -2*s - t - 2314, -4*t = -4*s - 3036. Let k = s - -967. Is 5 a factor of k?
False
Let v = 260 + -264. Let g(s) be the first derivative of 2*s**3/3 - 7*s**2/2 - 8*s - 4. Does 26 divide g(v)?
True
Let m(h) = h - 2. Let o be m(6). Let x be (-10)/(-20) - 2/o. Is 14 a factor of -3 + x - (-42 - 3)?
True
Let s = -986 - -6433. Is s a multiple of 3?
False
Let m be (-44046)/(-30) + 3/(-15) - 6. Suppose -m*p + 1470*p - 1120 = 0. Is p a multiple of 14?
True
Let f = -1277 + 726. Let a = -532 - f. Is 19 a factor of a?
True
Let w(n) = n**3 - 23*n**2 - 27*n + 36. Let z be w(24). Is 42 a factor of 4/z + 0 + (-2271)/(-27)?
True
Let o(z) = 2*z + 9. Let v be o(6). Let h = v - 19. Suppose -h*i - 5*c = -157, 4*c + 4 = -0*c. Is 18 a factor of i?
False
Suppose -2 = -m + 2*n, 3*n + 5 = 2*m + 2. Suppose 4*k + 16 = m, 4*d = -6*k + 3*k + 4. Suppose -3*y + d*y - 32 = -5*o, 4*y + o - 52 = 0. Does 5 divide y?
False
Let w = 146 - 290. Is -2 - (w + (-24)/(-4)) a multiple of 8?
True
Suppose -s + 5*z + 823 = -85, -2*s + 4*z = -1804. Let j = s + -238. Does 22 divide j?
True
Let l be (54 + -48)*(-4)/3. Let s(d) = -d**3 + 5*d**2 + 5*d - 5. Is 28 a factor of s(l)?
False
Let m(b) = 56*b - 15. Let i be m(6). Let q = i + -33. Is q a multiple of 7?
False
Suppose 2*x = 14*x - 2292. Suppose -183 = 12*n - 13*n + 3*y, 0 = -n + 5*y + x. Does 57 divide n?
True
Suppose -3*i - 11790 = 9726. Let m be (-4)/(-10) + i/(-20). Suppose -m = -4*u + 57. Does 26 divide u?
True
Is 1/2 - (10 - (12069/18 - 8)) a multiple of 10?
False
Suppose -4*n - g = n + 87, -3*g + 62 = -4*n. Let s(d) = -14*d - 102. Is s(n) a multiple of 6?
False
Let t(c) = -9663*c - 3147. Is 263 a factor of t(-4)?
True
Suppose -m = k - 718, -26*k + 28*k + 2184 = 3*m. Is m a multiple of 3?
False
Let r be (-56)/16*(-292)/7. Let c = r - 81. Suppose 0 = 3*v + c - 212. Is 34 a factor of v?
False
Let a(n) = -n + 4*n + 16*n**2 - 13*n**2 + 2*n. Let u be a(2). Let h(i) = i**2 - 16*i - 6. Does 14 divide h(u)?
True
Suppose 36*x - 20*x = 93600. Does 117 divide x?
True
Suppose 3*g - 52274 = -2*i + 67062, -2*g + 1253087 = 21*i. Is 69 a factor of i?
False
Let j = 5126 + -3439. Is j a multiple of 32?
False
Suppose -1726*t = -878*t - 861*t + 189761. Is 73 a factor of t?
False
Let p(m) = -3*m**2 + 37*m - 5. Let n be p(10). Suppose -n = -y - 4*l, l = -5*y + 292 - 43. Is y a multiple of 5?
False
Let w = -67 + 43. Let p(f) = -f**3 - 22*f**2 + 24*f - 26. Is p(w) a multiple of 40?
False
Suppose -5*x = 128*k - 124*k - 130437, 104354 = 4*x + k. Is 4 a factor of x?
False
Let r(g) = 1808*g**2 + 8*g + 11. Is r(2) a multiple of 106?
False
Suppose 48*a - a = -36378. Let l = a - -1299. Does 25 divide l?
True
Suppose -5*w = 3*r + 12, -2*w - 2*w - 13 = -r. Is 323 + (15/w - -1) - 4 a multiple of 8?
False
Let h be (-123)/3*-7 + -1. Suppose 3*u = -5*i + 364, 4*i = -3*u - 2*u + h. Does 2 divide i?
True
Is 21 a factor of (-1098)/(-8)*(-62288)/(-687)?
False
Let x(v) = 17*v**2 - 48*v + 953. Is 2 a factor of x(-19)?
True
Suppose -2*p = c, -3*p - 4 + 0 = 2*c. Let k(l) = 32*l + 20. Let h be k(c). Does 10 divide 60/(-24)*h/10?
False
Does 13 divide (2/(-3) - (-5282)/30)*(5 + 30)?
False
Let j be (47/18 + 7/(-63))*-36. Is (1 - j) + (-8 - -11) a multiple of 10?
False
Let m = 13084 - 2205. Is 23 a factor of m?
True
Let w = -2589 - -3051. Is w a multiple of 42?
True
Suppose 652842 = 91*k - 643453. Does 64 divide k?
False
Suppose -4*y + 3*q + 51498 = 0, -219*q - 64338 = -5*y - 221*q. Is 117 a factor of y?
True
Suppose -b - 6 = -3*b. Suppose 3*l - 129 - 398 = -4*k, -b = l. Let j = 82 + k. Is 27 a factor of j?
True
Suppose -331*k - 539 = -332*k. Suppose 4*j + k = 1275. Is 6 a factor of j?
False
Suppose -117*b + 536 = -43*b - 722. Is b a multiple of 16?
False
Let f be 372 - (0 + -1 + 1). Let k = 6433 - 6693. Let l = f + k. Does 28 divide l?
True
Is 2 a factor of 36/24*-861*14/(-63)?
False
Let i(m) = m**3 - 27*m**2 + 488*m + 33. Is 13 a factor of i(31)?
False
Let k(m) = -m**2 + 10*m - 18. Let d = 72 - 65. Let n be k(d). Suppose 0 = 3*x - 0*x - n, 5*h - 33 = -3*x. Does 4 divide h?
False
Is (-161457)/108*(2 - 6) - (-4)/36 a multiple of 23?
True
Suppose 8*c = u + 3*c + 11, -c + 49 = 5*u. Suppose g = -0*g + u. Suppose g*f - 166 = 7*f. Is f a multiple of 14?
False
Suppose -20020 = 1399*o - 1425*o. Does 110 divide o?
True
Suppose 3*g - 9 - 141 = 0. Suppose 0 = 5*x + 3*m - g, 0*x - 3*x + 30 = 3*m. Is (-25)/x*(172/10)/(-1) a multiple of 15?
False
Let p(s) = -s**3 + 4*s**2 - 15. Let g be p(4). Is 17 a factor of 6/g + (-1362)/(-5)?
True
Suppose 8856 = 77*l - 4003. Is l a multiple of 3?
False
Let o(n) be the first derivative of 11*n**4/2 + 2*n**3/3 - n**2/2 + 338. Let i(b) = b**3 - 7*b**2 + b - 6. Let v be i(7). Is 23 a factor of o(v)?
True
Suppose 3*t = 41 + 10. Suppose 1197 = t*j - 26*j. Is 15 a factor of -2 + -1 + 5 - j?
True
Let b(a) = a**2 - 25*a + 14. Suppose 4*y - n = 88, 3*n = -0*n - 12. Let x be b(y). Does 11 divide -1*(x + 3) + -1?
True
Suppose 2*h - 60 - 55 = -5*p, -2*p + 46 = 5*h. Let a be p + 4/(-2 + 3). Let k = 94 - a. Is 12 a factor of k?
False
Suppose 5*t = 113 - 143. Is 22 a factor of 110997/162 + 1/t?
False
Is 21 a factor of (-4)/14 - ((-155785)/49 - 13)?
True
Suppose 6*p = -21*p + 351. Let j(y) = 46*y**3 + y**2 - 3. Let q be j(2). Suppose 4*w + q = p*w. Does 10 divide w?
False
Suppose 5*i - 34680 = -5*x, -2*i + 51*x + 13886 = 46*x. Does 8 divide i?
False
Suppose 0 = 8*n + 369 + 119. Let d = n - -122. Let a = d - 21. Is a a multiple of 3?
False
Suppose 4*x - 2 = 2, 4*x - 72 = -4*f. Let p(d) = 5*d - 47. Let n be p(f). Is 2 a factor of (10/36 + (-4)/(-18))*n?
False
Suppose k = -u + 13, -2*k + 6 = -0*u - 2*u. Suppose 4*q = -k, 5*q + 18 + 343 = r. Is 27 a factor of r?
True
Suppose -239 - 985 = 9*w. Let y = w + 169. Does 11 divide y?
True
Let v = 9 + 12. Suppose -v*b = -24*b + 6. Suppose q - 28 = p - 4*p, -b*p = q - 29. Is q a multiple of 11?
False
Suppose -v - 40 = -4*m, -3*v + 3*m - 5*m - 148 = 0. Let x = v - -60. Is x a multiple of 4?
True
Let u(h) = -8*h + 20. Let i(g) = -g**2 - 33*g - 41. Let d be i(-32). Let x be ((-33)/d - -1)/(1/(-3)). Is u(x) a multiple of 12?
True
Suppose 8*d = 4*d - 4*q - 136, 4*d + 136 = q. Let n be 1*3/(-2)*(-47558)/903. Let u = d + n. Is u a multiple of 15?
True
Let w be (-140)/16 - 3/(-4). Suppose 5*b = 139 + 131. Let h = w + b. Is h a multiple of 12?
False
Let o be 6/4*(-12)/(-3). Let c(g) = -41*g**2 - 6*g + 25. Let f(t) = 139*t**2 + 17*t - 76. Let n(s) = 10*c(s) + 3*f(s). Is n(o) a multiple of 10?
True
Let q = -226 - -288. Let r = q - 27. Is r a multiple of 8?
False
Let z = -127 + 78. Suppose -4*d + 5*a + 351 = 0, 4*d - a - 304 = 67. Let c = d + z. Is 