 3*w - 2*y + 24. Let o = -9 - w. Does 14 divide o?
True
Let j = 10 + -13. Let o(w) = -w**3 - 2*w - 1. Does 16 divide o(j)?
True
Suppose 167*r + 204 = 170*r. Is r a multiple of 17?
True
Let f(c) = 13*c**2 + 3*c - 27. Does 3 divide f(3)?
True
Let g(s) = 3*s - 5. Let h be g(6). Let q = h - 2. Suppose -x + 6 = -q. Is 5 a factor of x?
False
Suppose -2*p = 5*j - 38, -5*p + 5*j + 19 = -4*p. Suppose 101 = -p*y + 20*y. Does 29 divide y?
False
Let n(z) = -z**3 - 16*z**2 - 2*z - 30. Let x be n(-16). Suppose -2*j - x*m + 20 = 0, -j + 6*j - 2*m = 71. Is j a multiple of 2?
False
Suppose 4*t = 5*t - 11. Let k(f) = 25*f + 1 - 12*f - 16*f + t*f**2. Does 14 divide k(2)?
False
Is 8*(-9)/((-27)/174) a multiple of 58?
True
Let x(z) = -2*z**2 - 3*z + 2. Let n be 3/((-2)/(-4) - 2). Let a(f) = -f**3 - 4*f**2 - 6*f + 4. Let t(k) = n*a(k) + 5*x(k). Is t(2) a multiple of 4?
True
Suppose -3*r + 2*t + 1099 = t, -3*t = 3. Suppose 0*u + 2*u + 84 = o, 4*o = -2*u + r. Does 9 divide o?
True
Suppose 13 - 1 = 6*i. Let h(o) = 0 + 7*o**i + 0 - 7 - o - o**3. Is 13 a factor of h(3)?
True
Let n(i) = 15*i**3 - 4*i**2 + 6*i - 1. Let c = -36 + 38. Is n(c) a multiple of 23?
True
Let z(t) = -t**2 - 13*t + 3. Let q be z(-13). Suppose 6 = -q*n, -2*m + n + 2 = -2. Is -3 - (-2 + m*-8) a multiple of 7?
True
Let b(v) = -13*v + 150. Does 35 divide b(-34)?
False
Let g be (-2)/(-7) - 33/(-7). Suppose g*z - 331 = -5*l - 56, -4*l + 252 = -4*z. Suppose d - y = l, 2*y = -5*d + y + 265. Is 18 a factor of d?
True
Is 11 a factor of (-4)/42 - (-673500)/315?
False
Let d be 29/1 - (5 - 8). Let v = -38 + 28. Let s = d + v. Does 22 divide s?
True
Suppose 8*b + 624 = 24*b. Is 13 a factor of b?
True
Suppose -4*r = -3*r - 126. Is 7 a factor of r?
True
Suppose 0 = 35*y - 40*y + 5915. Is 91 a factor of y?
True
Let m(r) = r**2 - 2*r + 2. Let w be m(2). Is 11 a factor of w/4 + 167/2?
False
Let f = -70 - -135. Suppose 0 = 2*v - f - 141. Is 31 a factor of v?
False
Suppose -4*f - 2 = -3*f. Let o be (-77)/(-22) - f/(-4). Suppose -o*t + 40 - 1 = 0. Is t a multiple of 13?
True
Let d be 21/1*2/(-6). Let v = d + -3. Let w(k) = -k**2 - 11*k + 14. Is w(v) a multiple of 10?
False
Suppose -23*f = -27*f + 1216. Does 19 divide f?
True
Let c be 2*(30/15 + (-34)/4). Is 22 a factor of (-1982)/(-10) + c/65?
True
Suppose 2432 = 2*j + 4*t, -6*j + 3*j + 2*t + 3648 = 0. Is j a multiple of 64?
True
Let q = 220 + 1496. Is 11 a factor of q?
True
Let m = 30 - 18. Let z(w) = m*w - 17*w - w**2 + 13 - 7*w. Is z(-9) a multiple of 12?
False
Suppose -10*n + 9*n = -5. Suppose n*r = 92 + 18. Is r a multiple of 2?
True
Let b(p) = -4*p**3 - p**2 - 4*p - 12. Let h(f) = -f - 22. Let x be h(-16). Let m be b(x). Suppose 0 = -0*l - 8*l + m. Does 21 divide l?
True
Suppose 2*z - 3*h - 575 = 921, 0 = -3*z - h + 2266. Is 13 a factor of z?
True
Suppose 97 = t + 2*j, 485 = 3*t + 2*t - j. Is t a multiple of 15?
False
Let z(y) = -y**3 + 3*y**2 + 14*y + 18. Is 27 a factor of z(-9)?
True
Suppose -4*l - 4*z = -255 - 153, 0 = -3*l + z + 294. Is 2 a factor of l?
False
Let t(q) = 57*q**2 + 15*q. Is t(2) a multiple of 24?
False
Suppose 4*h - 164 - 72 = 0. Let k(z) = -z**3 - 12*z**2 + 14*z + 11. Let u be k(-13). Let x = u + h. Is 18 a factor of x?
False
Suppose 0 = -4*o + 2658 + 2622. Suppose 6*n - o = -4*n. Is n a multiple of 12?
True
Let n be 2/(-7) + 288/(-21). Let x = -50 + 28. Let c = n - x. Is 4 a factor of c?
True
Let r(c) = 116*c**2 + c - 1. Let j be r(1). Let z be 34/221 - (-100)/26. Suppose -z*i - j = -4*b, 0 = b - 3*b - i + 43. Is b a multiple of 12?
True
Let d be (-6)/21 + 26/(-7). Is 8 a factor of -5*((-21)/3 + d)?
False
Let j(r) be the third derivative of r**4/3 + 15*r**2. Does 24 divide j(3)?
True
Let w be (-1 - 4/6)/((-3)/72). Let s = 55 - w. Does 3 divide s?
True
Let j = 5 - 3. Let o = j + 22. Does 10 divide o?
False
Let q = 996 - 492. Is 24 a factor of q?
True
Suppose 94*n + 1685 - 6103 = 0. Is n a multiple of 46?
False
Suppose -9899 = -53*c + 5842. Is c a multiple of 11?
True
Let p = 31 + -33. Is 6 a factor of (-1 - p)*(8 + 10)?
True
Let j(k) be the first derivative of -k**4/4 + k**3/3 + 3*k**2 - 8*k + 1. Let y be j(-6). Suppose -4*x = 4*t - y, 5*x + t - 116 = 128. Is x a multiple of 16?
True
Let n be ((-48)/18)/((-1)/6). Suppose p - 16 = t - 0*p, t + 3*p = -n. Let z = t - -19. Is z even?
False
Let f be -1 + 0 - (-4)/(-4). Is ((-6)/f + -6)/((-6)/46) even?
False
Let l(i) be the second derivative of i**5/20 + 5*i**4/12 + i**3 + 2*i**2 + 5*i. Let a be l(-3). Is 67 - 0/(0 - a) a multiple of 19?
False
Suppose 2*c + 3*c + 2*z = 22, 5*c - z = 19. Suppose y = c*y - 213. Suppose -82 = -2*m + 5*g, 3*m - 4*m - 5*g = -y. Does 29 divide m?
False
Suppose 2*j - 23*j + 7959 = 0. Is j a multiple of 17?
False
Suppose -52 - 35 = 4*m + c, 0 = 2*m + 2*c + 48. Let u be (2 + 1)/(12/160). Let w = m + u. Is w a multiple of 13?
False
Let w = 1807 + -1217. Does 10 divide w?
True
Let o(f) = 165*f - 9. Is 52 a factor of o(1)?
True
Let a(c) = 10*c - 19. Let w be a(-8). Let x = -11 - w. Is x a multiple of 11?
True
Let a(r) = 3*r + 62. Let p be a(-19). Suppose -2*y + 46 = -2*v, 3*y - 8*y + 75 = p*v. Is y a multiple of 7?
False
Suppose 4*d = 4*m + 10596, -3*d - 3*m = -7*m - 7945. Is 75 a factor of d?
False
Let w(t) be the first derivative of -t**4/4 - 19*t**3/3 - 19*t**2/2 - 20*t + 12. Let m be w(-18). Is 19 a factor of -6*19*m/2?
True
Suppose t - 920 = -5*f, 0*f = -2*f + 5*t + 395. Suppose -79 = -4*i + f. Is i a multiple of 22?
True
Does 30 divide ((-15)/(-6))/((-19)/(-1406))?
False
Let t = -32 - -33. Let f(v) = 75*v - 2. Is 27 a factor of f(t)?
False
Let b = 42 - 8. Is 32/6*459/b a multiple of 8?
True
Suppose 3*q + q - 2117 = -3*x, 5*q = x - 731. Is 41 a factor of x?
False
Suppose 742 = -72*q + 86*q. Is q a multiple of 11?
False
Let a = -2179 - -3639. Is 15 a factor of a?
False
Suppose -19*f = 4*f - 3956. Is f a multiple of 6?
False
Let p(n) = n**2 + 2*n - 6. Let w be p(-4). Suppose -w*g + 33 - 9 = 0. Is g a multiple of 6?
True
Suppose 3*r - 2112 - 1455 = 0. Is r a multiple of 24?
False
Suppose 3*u - 4 + 5 = -n, -n = -4*u - 27. Suppose -n*h = -h - 2400. Is h a multiple of 20?
True
Let i = -47 - -7. Let r = 276 + -207. Let j = r + i. Is j a multiple of 17?
False
Let v(z) = -z**2 + 24*z + 25. Let a be v(25). Suppose a = 5*g, 4*m + 5*g - 204 = 588. Is 18 a factor of m?
True
Let l = -51 - -67. Does 4 divide (-4)/l + (-34)/(-8)?
True
Does 14 divide ((-15266)/51)/((-2)/3)?
False
Let b(d) = -12*d**2 + 1. Let v be b(3). Let j = -57 - v. Is 21 a factor of j?
False
Suppose 0 = 5*c + 17 - 62. Suppose 16*f = c*f + 1365. Does 43 divide f?
False
Suppose -2*w = -5*j - 303, -5*w = 2*j - 6*j - 715. Does 4 divide w?
False
Let l = -28 - -34. Suppose 4*b - l + 82 = 2*y, b - 53 = -y. Does 12 divide y?
True
Let p be 1/4 + (-1105)/20 + 0. Does 11 divide p/(-2)*18/5 - 0?
True
Suppose 0 = 3*s + 2*s. Suppose 4*i = 2*i + 4, s = 5*n - 2*i - 16. Suppose 0 = -2*l + n*l, 5*g - 510 = 4*l. Does 34 divide g?
True
Suppose f - 130 = 49. Suppose -d - 4*d = -4*n + 139, 4*n - f = -3*d. Let x = -22 + n. Is 6 a factor of x?
False
Suppose a = 5*n + 137, 4*n = -2*a + 177 + 139. Does 3 divide a?
False
Let d = 2 + -4. Let n be ((-8)/(-16))/(d/(-12)). Suppose -2*t + 60 = -4*c, c = 2*t + n*t - 177. Does 11 divide t?
False
Does 12 divide (5/(-4))/((-10)/680)?
False
Let f(u) be the first derivative of u**3/3 + 4*u**2 + 11*u + 4. Let z be f(-6). Let y(b) = -33*b**3 - b**2. Is 8 a factor of y(z)?
True
Suppose -s - 4*h = -719, -5*s + 4*h = 276 - 3799. Suppose -4*f = 5*y - s, 2*f + 294 = 2*y - 2*f. Does 26 divide y?
False
Is 2*1/6 - 3444/(-36) a multiple of 8?
True
Suppose -993 = -2*m + 3*g, -2197 = -5*m - 4*g + 343. Does 18 divide m?
True
Let h be (3 - 0) + 1/1. Let q(l) = -l**3 + 3*l**2 + 5*l + 1. Let i be q(h). Does 8 divide i/(15/16)*6?
True
Let r = 67 + -76. Let i = r - -245. Does 51 divide i?
False
Suppose -v = 5*i - 47, 3*i = -0*v + 5*v - 95. Is 9 a factor of v*(-1 - (3 - 12))?
False
Let d(b) = -10*b + 116. Is 28 a factor of d(-17)?
False
Suppose -3*q - 5*h = -4894, 9184 - 1022 = 5*q + 3*h. Does 69 divide q?
False
Is 55 a factor of 1 + 3 + -12*(-508)/16?
True
Suppose 4*a = 0, -2*t = 2*a + 3*a - 854. Does 33 divide t?
False
Let l(z) = -z**3 + 8*z**2 - 7*z + 2. Let o be l(7). Suppose -116 = -2*y - o*n, 4*n - 9 = n. Is y a mul