d*t = 2*t - 28. Is t a multiple of 2?
False
Suppose -2*h = -2*v - 1 - 1, 3*v + 4*h = -3. Let s = 111 - v. Is 16 a factor of s?
True
Suppose 0 = -0*o - 2*o + 5*x + 410, -x = 2*o - 386. Does 11 divide o?
False
Let c(g) = -g + 6. Let f be c(4). Suppose f*t + t = 0. Suppose -3*k = -5*a + 307, t = 2*a + a + k - 187. Does 27 divide a?
False
Suppose 2*d = -5*n + 10*n - 42, 4*n + 3*d - 29 = 0. Does 4 divide n?
True
Suppose f - 765 = 3*d, 0 = -2*f - 16*d + 17*d + 1555. Does 15 divide f?
True
Suppose -5*w - 3337 = -3*h - 857, -3*h - w + 2456 = 0. Does 5 divide h?
True
Suppose 0 = 3*l + u - 1605, 3*l - 4*u - 73 - 1532 = 0. Does 10 divide l?
False
Let h(p) = 9*p**2 - 5*p - 12. Is h(-5) a multiple of 17?
True
Let j(a) = -59*a - 206. Does 18 divide j(-30)?
False
Let d = 68 + -54. Suppose 0 = 5*w - 76 - d. Is w a multiple of 6?
True
Let s(v) = 6*v**2 - 3*v + 2. Let x be s(1). Let p(a) = a - 1. Does 4 divide p(x)?
True
Let u(j) = -j**3 + j + 42. Let o be u(0). Let v = 72 - o. Is v a multiple of 10?
True
Suppose 2*r - 4 = -4*a, -a = -2*r + 3*a + 28. Let t = 48 - r. Does 40 divide t?
True
Suppose 2460*g - 2463*g = -1263. Does 25 divide g?
False
Let d(n) = 7*n + 75. Does 38 divide d(11)?
True
Is (16/10)/(27/3510) a multiple of 26?
True
Suppose 223 + 15 = 7*x. Suppose 96 = 35*z - x*z. Is z a multiple of 31?
False
Suppose 0 = 2*a + 3*n - 157, n = 3*a + 6*n - 238. Let p = 132 - a. Is p a multiple of 12?
False
Suppose 5*a - 2*c = 2*a - 10, a - 6 = -4*c. Let i = a + 3. Does 2 divide 2*(i/(-2) + 3)?
False
Suppose -2*n = -5*i + 589, 5*i - n + 2*n - 598 = 0. Does 9 divide i?
False
Suppose 140*y - 13652 - 5528 = 0. Is y a multiple of 7?
False
Let i be 112/(-35) + (-1)/(-5). Let q be i + 1870*-1 + 4. Is q/(-15) + 12/30 a multiple of 25?
True
Let i(b) = -b - 1 + 0 + 25*b**2 + 0*b + 0. Let f be i(-1). Suppose -2*z + 99 = -f. Is z a multiple of 14?
False
Let x(l) = 5*l**2 - 2*l**2 + 0*l**2 + 0*l**2. Let g be x(1). Suppose 132 = g*v + v. Does 11 divide v?
True
Let i(w) = -20*w - 5. Let h be i(-7). Does 15 divide (11/(-3))/((-9)/h)?
False
Suppose 4*x + 194 = 214. Does 2 divide x?
False
Suppose -5*k + 16 = l, 0 = 3*l - l - 2. Is 11 a factor of 2 + (-11)/((-44)/72) + k?
False
Let d(v) be the first derivative of v**2 + 23*v - 11. Is 23 a factor of d(0)?
True
Let g(f) = -1641*f - 72. Is 21 a factor of g(-1)?
False
Let x(z) = 27*z**2 + 3*z + 1. Let t be x(-2). Let a = t + -69. Is 15 a factor of (0 - a)*11/(-22)?
False
Let g = -141 - -256. Suppose 0 = 5*d - 3*l - 137, l - g = -4*d - 2*l. Is d a multiple of 4?
True
Let u(g) = -19*g**2 + 3*g + 2. Let r(m) = 19*m**2 - 2*m - 2. Let w(i) = 5*r(i) + 4*u(i). Is w(1) a multiple of 13?
False
Let g(b) = -14*b**2 + b + 1. Let c(u) = -2*u + 3. Let d be c(2). Let t be g(d). Does 13 divide 8 - t - 2*1?
False
Suppose -4*v + 5*r + 9309 = 0, -4*r = 5*v - 7*r - 11646. Is v a multiple of 63?
True
Let b be (4/6)/((-30)/(-135)). Suppose 2*h - 40 = -b*h. Is h a multiple of 5?
False
Let p(q) = 7*q**2 - 6*q + 37. Does 25 divide p(-6)?
True
Let d be (-22)/(-6) + (-12)/18. Let y(f) = -f**2 + 2*f + 1. Let o be y(d). Is 12 a factor of -6*3/3*o?
True
Let i(b) be the third derivative of -25*b**4/24 - b**3/6 - 14*b**2. Is i(-9) a multiple of 8?
True
Is 17 a factor of (1/(-4)*-2)/(6/204)?
True
Suppose -85 + 86 = -r, 0 = -4*a + 3*r + 2319. Is a a multiple of 21?
False
Suppose 22*n = 28*n - 6624. Is n a multiple of 24?
True
Let q(j) = -4*j**2 - 2*j - 4. Let r(f) = -f**2 + f + 1. Let o(a) = -q(a) + 5*r(a). Let z be o(9). Is (-398)/z - (-42)/(-189) a multiple of 11?
True
Suppose 2*n + 5*i = -12, n - 2*i = -0*i - 6. Let w be -2*(9/n - -1). Let l = 10 - w. Is l a multiple of 9?
True
Let m be 3/2*64/6 - 1. Suppose 24 = s + m. Is s a multiple of 9?
True
Suppose 4*c = -11*n + 13*n - 2814, -c = -4*n + 5656. Is n a multiple of 10?
False
Let n(l) = l**2 + 6*l + 10. Let u be n(-4). Suppose -u*p = -3*p. Does 9 divide 549/18*(p - -2)?
False
Suppose -r + 45 = -0*r. Let i(g) = 5*g**2 + g. Let s be i(-2). Let l = r - s. Does 8 divide l?
False
Does 7 divide ((-45)/(-6) + -4)*(182 - 0)?
True
Suppose 3*k - 5*x - 522 = -2*x, -5*x + 498 = 3*k. Suppose -4*u - 8 = 4, -2*a + u = -k. Is 28 a factor of a?
True
Let i be (22 - 2) + (2 + 2)/(-4). Suppose -i*z + 108 = -15*z. Is 8 a factor of z?
False
Let b(s) = -s**3 - 9*s**2 - 5*s - 4. Let q(y) = y + 15. Let c be q(-12). Suppose -c*h = 14 + 13. Does 14 divide b(h)?
False
Let r = 545 + -343. Let d = r + -142. Is 25 a factor of d?
False
Let q = 890 + -505. Is q a multiple of 11?
True
Let i(c) = -87*c**3 - c**2 - 4*c + 1. Is 67 a factor of i(-3)?
False
Suppose -3*z + 150 = 7*z. Is 1325/z - 4/(-6) a multiple of 11?
False
Let r = -11 - -11. Is 13 a factor of 41 - ((r - -3) + -1)?
True
Is 62 a factor of (16/(-14) + 0)/(14/(-5047))?
False
Let f(b) be the first derivative of -b**4/4 - 4*b**3/3 + 2*b**2 - 37. Is 16 a factor of f(-6)?
True
Suppose s - 3 = 2, s = 3*q - 4. Suppose -k = 5*i - 94, -2*k = q*i + i - 80. Does 9 divide i?
True
Suppose -5 = 5*s, s - 221 = -o - 0*s. Is 9 a factor of o?
False
Suppose 0 = -123*n + 124*n + 3. Let w(v) = 17*v + 4. Let g be w(-3). Let i = n - g. Does 10 divide i?
False
Let q(m) = -2*m**3 - 21*m**2 - 2*m + 15. Let g(a) = a**3 + 11*a**2 + a - 7. Let z(v) = -5*g(v) - 3*q(v). Let n be (2 - 5*-1)/(-1). Is 16 a factor of z(n)?
True
Let m = -140 + 308. Is 6 a factor of m?
True
Let y = 386 - -1115. Is y a multiple of 19?
True
Suppose 0 = -4*z + 5*a - 129, 3*z + 83 = 4*a - 3*a. Let l be -33*(4 + z/6). Let k(b) = 2*b + 2. Does 6 divide k(l)?
True
Suppose 0 = -4*o + q + 937, 14 = -3*q - 1. Suppose 0 = -4*y + o + 267. Is y a multiple of 25?
True
Suppose 8 = 3*w - 19. Suppose 71 + w = 5*b. Does 16 divide (-14 + 2)/((-6)/b)?
True
Suppose -2*u = u - 48. Suppose -184 = -2*c - u. Suppose 2*x - 54 = -2*m, -x + c = 2*x + 4*m. Is 6 a factor of x?
True
Suppose 5*o - 15 = 0, -2*f = o - 2161 - 568. Does 59 divide f?
False
Let o be 0 + 0 + -11 + 150. Let g = 93 - o. Is 5 a factor of 1/(-3) - g/3?
True
Let t = 106 + -11. Is t a multiple of 2?
False
Suppose 3*h = -15, 4 + 7 = 3*o - h. Let y = -94 + 181. Suppose -2*n - x + y = 0, o*n + 47 = 3*n + 4*x. Is 13 a factor of n?
False
Suppose 2*f - 346 = -4*m, -4*f - 89 = -m + 20. Does 4 divide m?
False
Let d(w) = w**2 + w + 1. Let r(o) = o**3 + 6*o**2 + o + 17. Let h(u) = -2*d(u) - r(u). Let j be h(-8). Does 13 divide 0 - (3 + (-125)/j)?
False
Is 1104/27 + (3/27 - 0) a multiple of 3?
False
Let y = -332 + 475. Is 32 a factor of y?
False
Let j = -12 + 34. Let w = -18 + j. Let q = w + 12. Is 3 a factor of q?
False
Let y be (2 + -1)/(3*3/(-2403)). Let i = -175 - y. Is 28 a factor of i?
False
Let r(c) = -2*c**2 + 15*c - 7. Let y be r(7). Suppose -l = -y*l, 2*j = 2*l + 42. Is j a multiple of 14?
False
Let k be -38 + (-2*3)/3. Let p be ((-2)/(-5))/((-8)/k). Suppose 9*l = -p*r + 4*l + 77, -5*l - 169 = -4*r. Does 13 divide r?
False
Let p be 2*610/8 + 1/(-2). Is 10 a factor of (0 - -1) + p/2?
False
Let o = -7 - -9. Suppose -75 = o*y + p, 3*y + 3*p + 120 = -0*p. Is (-28)/y*10/4 a multiple of 2?
True
Let j = -6 - -13. Suppose 2*c = j*c - 20. Does 4 divide c?
True
Suppose -3*w + 4249 = -2024. Does 17 divide w?
True
Suppose -101*l + 106*l - 5945 = 5*s, s = 3*l - 3573. Is l a multiple of 9?
False
Suppose -6*u = -18*u + 4992. Let l = u - 175. Does 43 divide l?
False
Let f(b) be the third derivative of -b**5/60 + b**4/8 + 4*b**3/3 + 3*b**2. Let n be f(-7). Let u = n - -100. Does 19 divide u?
True
Let l(z) = 5*z**2 - 6*z + 13. Let r be l(3). Suppose r = -5*g + 460. Does 28 divide g?
True
Suppose 0 = 3*n - 4*g + 16, -2*n + 12 = 4*g - g. Suppose n = 5*d - 0*d. Suppose d = -2*m + 4*m - 50. Is 17 a factor of m?
False
Is 13 a factor of ((-9720)/567)/((-1)/91)?
True
Let b = 47 + -47. Let z(m) = m + 17. Let p be z(-11). Suppose b*l = -2*l + p. Does 3 divide l?
True
Suppose 3*w + 3*n - 711 = 0, 221 = w - 10*n + 7*n. Is w a multiple of 10?
False
Suppose 0 = k - 1 + 4, 5*p = -4*k - 7. Suppose -4*g = 4*a + 16, -4*g + 3*a - 43 = p. Is 27 a factor of ((-74)/g)/(15/180)?
False
Let w be ((-4)/6)/(3/(-9)). Suppose -3*h - w = -14. Suppose h*k - 48 = 8. Is k a multiple of 4?
False
Suppose -4*o - r = r - 58, -3*o + 2*r = -26. Suppose x + 3*x = o. Let g(f) = 2*f**3 + 4*f**2 - 5*f + 5. Does 24 divide g(x)?
False
Suppose 23 - 45 = -2*c