 = s. Does 2 divide k?
True
Let x(f) = 7*f - 36. Let z(a) = 6*a - 36. Let l(o) = 7*x(o) - 6*z(o). Is 9 a factor of l(9)?
True
Let u = 189 + -172. Is u a multiple of 17?
True
Let d(h) = 2*h**2 + 51*h + 125. Does 5 divide d(-33)?
True
Let x be ((-11)/11)/(1/4). Is 39 a factor of -3 + 12/x + 135?
False
Let s be -1 + (3/1 - -8). Suppose a - s = 4. Does 14 divide a?
True
Is 706/4 - (-16)/32 a multiple of 8?
False
Suppose -3*c + 42 = -246. Let h = -88 + c. Is h a multiple of 8?
True
Let s = 283 - 162. Is s a multiple of 16?
False
Let s = -29 - -139. Suppose 4*y - 3*y - 26 = -3*v, 5*y - s = 5*v. Let d = 46 - y. Is d a multiple of 5?
False
Is (-6*2)/(36/(-264)) a multiple of 14?
False
Let m(c) = c**3 + 13*c**2 + 3*c + 22. Let v be m(-15). Let k = -296 - v. Does 42 divide k?
False
Let j(p) = p**2 + 6*p + 4. Let z be j(-4). Let q be (z + -3)*(-16)/28. Is 14 a factor of q/(-4)*(-28 + 0)?
True
Is 2139/33 + (-2)/(-11) a multiple of 10?
False
Suppose -11*w + 6*w = 2*u - 227, 4*u = -w + 409. Is 43 a factor of u?
False
Let p(y) = -y - 3. Let a be p(-5). Let z be ((-9)/a)/((-9)/24). Suppose -z = s - 37. Is 7 a factor of s?
False
Let t(f) = -11*f**3 - 5*f**2 + 2*f + 2. Let i be t(1). Suppose 5*j - j + 32 = 0. Let l = j - i. Is l a multiple of 4?
True
Let r = -8 + 13. Suppose 39 = o + r*c, 4*c - 57 = -2*o + c. Does 8 divide o?
True
Let v = 141 - -87. Does 17 divide v?
False
Let q(r) = r**3 + 12*r**2 - 16*r - 62. Is q(-9) a multiple of 25?
True
Let z be (-7 + -98)*1/(-3). Suppose z = o - 205. Is o a multiple of 48?
True
Suppose -7*b + 4*b = -3. Suppose 0 = a - 4 + b. Suppose -a*y + 28 = 7. Is y even?
False
Let d(q) be the first derivative of q**5/20 + 3*q**4/4 + 4*q**3/3 - 3*q**2 - q + 5. Let l(f) be the first derivative of d(f). Is 12 a factor of l(-7)?
True
Let a = 2484 + -1263. Is 83 a factor of a?
False
Let d(y) = 2*y**2 + 3*y + 103. Is d(-12) a multiple of 17?
False
Suppose -20 = 5*q, -3*v + 2*q + q + 2439 = 0. Is v a multiple of 18?
False
Suppose -5*o = -8 - 2. Suppose -6 = -5*q + o*q, -3*v + 2*q + 107 = 0. Let t = 36 + v. Does 29 divide t?
False
Let q(k) = 2*k + 7*k**2 + 4*k - 5*k**2. Let c be q(-3). Suppose 0 = 3*p - 6, -u - 4*p + 26 + 14 = c. Does 10 divide u?
False
Let v = 213 - 3. Is 7 a factor of v?
True
Suppose p = -3*f - p - 2, 2*p - 4 = 0. Is f + 110 + (0 - -2) a multiple of 11?
True
Suppose -3*i - 1424 = -5*h, h - 13 = 3*i + 279. Suppose -5*x + 4*y + 114 = -h, 253 = 3*x + 5*y. Is x a multiple of 27?
True
Suppose -3*h + s = -5, h + s = 2*s - 1. Suppose -2*b - 240 = -4*y - y, y - 35 = h*b. Does 5 divide y?
True
Let q = 8 + -8. Let x(s) = s**3 + s**2 + s + 104. Let g be x(q). Suppose 2*y = 4*y - g. Does 13 divide y?
True
Let z = -226 - -108. Let k = z - -166. Is k a multiple of 8?
True
Suppose -184 = -10*w + 2*w. Let u(c) = c**3 - 24*c**2 + 25*c - 14. Does 8 divide u(w)?
True
Let k be (3/5)/((-5)/(-75)). Suppose m + 25 = 5*t, 5*m - 4*t + k*t - 25 = 0. Suppose -6*x + 199 + 209 = m. Is x a multiple of 10?
False
Suppose -16 = -12*n + 8*n. Suppose n*f = -0*f. Let t = 19 - f. Is 5 a factor of t?
False
Is 3 a factor of (-5*3)/3 + (44 - 15)?
True
Let k = 0 + 3. Let c be (76/(-6))/(2/k). Let y = 43 + c. Does 4 divide y?
True
Let l(o) = -4*o - 39. Let k(c) = c. Let w(v) = -3*k(v) + l(v). Is w(-9) a multiple of 12?
True
Suppose -a = 5*a - 6114. Suppose -5*h - 219 + a = 0. Does 40 divide h?
True
Let w be 1/34*-4 - 1032/(-102). Suppose -5*v = -w, -4*v + 308 = 4*i - 60. Does 11 divide i?
False
Suppose x + 5 = 2*x, 2*x = -5*p + 7010. Suppose -14*b + p = -4*b. Is b a multiple of 7?
True
Let o be 4/(-4) + 2/(6/15). Suppose o*n - 10*n = -432. Is n a multiple of 24?
True
Suppose 9849 = 104*o - 34871. Is 10 a factor of o?
True
Let t be ((-2)/(-3))/((-10)/(-45)). Let s be 126/t*(-1)/(-2). Suppose 0*v - 3*v + s = 0. Is 3 a factor of v?
False
Let z(t) = -2*t**2 + 73*t - 26. Does 34 divide z(22)?
True
Suppose 0 = y + 3*m - 459, -y + 2*m + 454 = 4*m. Suppose -7*n + y = -n. Does 9 divide n/4 - 4/8?
True
Suppose -2*t = 4*l + 162, 4*t - 3*t + 43 = -l. Let g = 7 - l. Is g a multiple of 15?
True
Let n = -38 + 15. Let l be -12 + 14 - 94/(-2). Let s = n + l. Is s a multiple of 15?
False
Let k be ((-8)/(-10))/(3/15). Let c be (0 + 46/k)*14. Suppose 4*s = 4*g + g - 169, 4*s - c = -5*g. Does 19 divide g?
False
Let i be (92 - 4/1) + -4. Let r be (-7 + -2)*(-4)/6. Suppose r*o = 8*o - i. Is 14 a factor of o?
True
Suppose -211 = -3*p + 800. Suppose p = 6*h - 131. Does 8 divide h?
False
Suppose 0 = 4*g + 281 + 67. Let q = 139 + g. Does 9 divide q?
False
Let n = -308 - -53. Let j = -167 - n. Is j a multiple of 8?
True
Suppose 1 = 2*x - 7. Suppose 5*u - 4*z = 19 + 47, -3*z = -x*u + 53. Is 9 a factor of u?
False
Suppose 2*z = -2*z + 116. Suppose -z = -d + u, -2*d + 4*u = -3*d + 14. Is d a multiple of 25?
False
Suppose -1728 = 51*m - 54*m. Is 24 a factor of m?
True
Suppose -5*z + 4*i + i = -455, 3*z + 5*i - 249 = 0. Let o = -25 + z. Does 7 divide o?
True
Let h be 2/5 - 8380/(-50). Let f be h/(-4)*(-7)/3. Let n = f + -57. Is 14 a factor of n?
False
Let v(f) = f**2 + 48*f - 291. Does 47 divide v(26)?
False
Let w = 1552 - 943. Is w a multiple of 3?
True
Suppose 3*q + t - 716 = 0, -3*t - 175 + 1371 = 5*q. Does 42 divide q?
False
Let p = -425 - -999. Suppose 8*j - p = 578. Is j a multiple of 24?
True
Let n be (-308)/(-7) - (0 - -4). Suppose -11*x + 10*x + n = 0. Suppose -4*k - x = -4*m, k + 30 = 3*m - 3*k. Does 2 divide m?
True
Let m = -310 - -416. Is m a multiple of 18?
False
Does 12 divide ((-37604)/(-70) - (-2)/5)*5?
True
Suppose 3*s - 2*j - 174 = 2*s, -2*s - 4*j + 364 = 0. Does 36 divide s?
False
Let q(c) = -5*c**2 - 28*c + 35. Let u(t) = 2*t**2 + 9*t - 12. Let h(j) = 4*q(j) + 11*u(j). Let m be 2 + (-5 - -3) - -8. Is h(m) a multiple of 8?
True
Suppose z + f + 73 - 1 = 0, -5*f = 3*z + 210. Let t = z + 219. Is t a multiple of 27?
False
Let n be 78*(((-2)/(-6))/(-1) + 1). Let l = 87 - n. Does 7 divide l?
True
Let q(y) = 3*y**2 + 8*y + 66. Is q(12) a multiple of 15?
False
Let c(l) = 7*l**2 - 34*l - 8. Is 2 a factor of c(10)?
True
Suppose 25 = 3*p + 2*p. Suppose -2*s - 5*j = 3*s + 25, 1 = s - p*j. Let u(k) = -24*k + 2. Is 13 a factor of u(s)?
False
Let s = 1088 + -602. Suppose 4*w - 224 = -p + 157, -s = -5*w + 2*p. Is w a multiple of 24?
True
Suppose 14*w - 12*w + 3*q - 1383 = 0, 0 = -5*w + 4*q + 3492. Is 29 a factor of w?
True
Let u(k) = k**3 + 11*k**2 + 4*k - 2. Let f be u(-5). Suppose f = 2*j - 178. Is 51 a factor of j?
True
Let h = -4 - -2. Let m = 56 - h. Is m a multiple of 35?
False
Let c(k) = 5*k - 5. Let l(j) = -j. Let f(n) = -c(n) - 6*l(n). Let w = -55 - -63. Is f(w) a multiple of 6?
False
Let y = 68 - 102. Let r = y - -76. Does 7 divide (-190)/(-14) - r/(-98)?
True
Let o = 17 + -14. Suppose -1 = -t + o. Suppose 0 = t*k - 36 + 4. Is 8 a factor of k?
True
Let z be 272/64 + 3/4. Let x(k) be the second derivative of -k**5/20 + k**4/2 + 2*k**3/3 - 5*k**2/2 - 2*k. Is 10 a factor of x(z)?
True
Suppose 0 = -2035*i + 2037*i - 650. Is 25 a factor of i?
True
Suppose m - 12 = -m. Suppose g + 2*s + 8 = 0, 0 = 5*s + 19 + m. Suppose -2*c + g*o - o + 41 = 0, 4*c + 3*o - 67 = 0. Is 11 a factor of c?
False
Suppose -d - 1810 = -4*i + d, 0 = i + d - 460. Suppose 0 = 3*g - 2*j - i, j + 209 = g + 56. Does 13 divide g?
False
Suppose 5*t - 318 = -63. Let v be (-6)/(-1)*1/(-4)*-4. Suppose 4*i + h - t = 0, 0 = -i - 2*h + v - 2. Does 11 divide i?
False
Let i be (-4)/24*-10*-3. Let b be (i*5)/((-1)/1). Suppose -19 - b = -2*j. Is 22 a factor of j?
True
Let q(r) = -75*r + 6. Let b be q(-2). Suppose 5*j + b = 6*j. Is 16 a factor of j?
False
Let z be ((-4)/(-3))/((-14)/(-21)). Suppose 3 = z*v - 2*s - 5, -3*v - 2*s - 8 = 0. Does 15 divide -3 - v - -33*1?
True
Let y(u) = -3*u - 14. Let r(i) = i**2 - 10*i + 10. Let q be r(8). Let s be y(q). Suppose -s*h - 4 = 0, 6*h + 22 = k + 2*h. Does 6 divide k?
True
Let r(i) = -7*i**3 - 6*i**2 - 5. Is r(-3) a multiple of 65?
True
Let r = -43 + -19. Let z = 102 + r. Is 20 a factor of z?
True
Let u(a) = 15*a + 5. Let x = 144 + -141. Is 10 a factor of u(x)?
True
Suppose -6*p + 642 = -8*p. Is (-2 + -1)*p/9 a multiple of 20?
False
Let s(f) = f + 5. Let z be s(-5). Suppose -2*u - 265 = -5*h, -3*u - u - 20 = z. Does 23 divide h?
False
Let n = -43 - -55. Does 11 divide 212/n - ((-22)/(-6)