9*q = 6097. Does 14 divide q?
False
Let q(m) = 2*m**3 - 7*m**2 - 11*m + 30. Does 3 divide q(5)?
False
Let w(k) = -k**3 + k**2 + k. Let y(v) = 3*v**3 - 22*v**2 - 10*v + 11. Let s(n) = 4*w(n) + y(n). Does 19 divide s(-18)?
False
Let v(h) be the first derivative of -4*h + 6*h**2 + 3 - 1/3*h**3. Is v(10) a multiple of 11?
False
Let v be 1/2*(13 + -7). Suppose -v*d - 9 = 0, -u + 44 = -d - 3*d. Is u a multiple of 8?
True
Suppose -3*l - 58 = -19. Let q = 55 + l. Is q a multiple of 6?
True
Let x = 107 + -60. Let b = -36 + x. Suppose -b*t = -13*t + 94. Is 16 a factor of t?
False
Let q = 77 + 61. Is 23 a factor of q?
True
Let v = 12 + -30. Is 9 a factor of (-3)/v*15*18?
True
Let b be 12/66 - 4/22. Suppose b = -3*u - 18 + 174. Is 45 a factor of u?
False
Let v be (4 - 4/2)/(-3 - -4). Suppose 2*q + 36 = v*d, 2*d - q = 17 + 17. Is d a multiple of 2?
True
Suppose -20947 = -25*a + 178. Is 16 a factor of a?
False
Is 4/(-6)*(-31977)/34 a multiple of 57?
True
Suppose 0 = 12*r - 10046 + 2198. Does 5 divide r?
False
Suppose 0 = 2*h - x - 16 + 6, 2 = -x. Suppose 5*b = -2*v - v - 166, -12 = -h*v. Is 5 a factor of (-2)/4*(b - 5)?
True
Let n(z) = 0*z - 15*z - z**2 - z + 20 + 13. Is 8 a factor of n(-17)?
True
Let u = 342 + 48. Is 13 a factor of u?
True
Suppose 4*d - 21 = -3*k + 6*k, -4*d + 22 = -2*k. Let t(o) = -3*o + 4 - 2 - 3*o**2 - 2*o**2 + o**3. Does 10 divide t(d)?
True
Let z = -39 - -26. Let v(f) = -4*f - 3. Let t be v(4). Let u = z - t. Is 6 a factor of u?
True
Let d = 0 - -4. Suppose h + d*o - 20 = -h, -3*h + o + 30 = 0. Let w = 21 - h. Does 3 divide w?
False
Let v(b) = b**3 + 5*b**2 - 17*b. Is v(5) a multiple of 33?
True
Suppose 3*x + 2 = 5. Let t be 32/4 - (2 + x). Does 10 divide t/(1 + (-12)/16)?
True
Suppose 1215 + 5 = 4*p. Is 59 a factor of p?
False
Suppose -h - 737 = -4*z, 2*h = -2*z + h + 373. Suppose z = -2*w - 33. Let g = 166 + w. Does 23 divide g?
False
Let w(f) = 14*f + f**2 + 3*f + 3 + 4 - 2. Suppose 0*g + 3*g + 56 = z, -4*z + 37 = -g. Is 3 a factor of w(g)?
False
Suppose 2*p = -3*u + 1102, -3*u = -3*p - 0*u + 1653. Is p a multiple of 56?
False
Let d(f) = 13*f + 1114. Does 18 divide d(-80)?
False
Suppose -3*g - 3*o = -0*o - 750, 2*o = 3*g - 750. Is 9 a factor of g?
False
Let i(o) = -9*o - 15. Let x be i(-9). Suppose x - 286 = -2*j + 2*r, 2*r + 559 = 5*j. Is 27 a factor of j?
False
Suppose 0 = 4*p + 36*p - 7920. Is 18 a factor of p?
True
Let o be ((-28)/21)/(4 + -2)*-72. Let i = 64 - o. Is i a multiple of 16?
True
Let n(t) = -2*t - 3. Let c be n(-5). Suppose 0 = 2*f + 4, a + 3*f + 2*f = -c. Suppose -2*u + a*u = 16. Does 13 divide u?
False
Suppose -7*h + 2*h + 135 = 0. Suppose -p + 0*p + 2*w + 49 = 0, -p - 5*w + 21 = 0. Let l = p - h. Is 7 a factor of l?
True
Let y = 0 - 1. Let b(a) = -2*a**3 - a**2 - a. Let o be b(y). Suppose o*l - 12 - 8 = 0. Does 3 divide l?
False
Suppose 2*m = -5*v + 4*v - 76, -140 = 4*m + 5*v. Does 20 divide (-3 + 5)/((-2)/m)?
True
Let k be (2 + (-12)/15)/((-6)/(-20)). Suppose 2*m + 4*t - 150 = 6*t, k*m - 5*t - 295 = 0. Is m a multiple of 8?
True
Let f(m) = -m**3 + 3*m**2 + 2*m - 2. Let s be f(3). Is (494/(-57))/(s/(-6)) a multiple of 4?
False
Let o(v) = -11*v + 3. Suppose 0 = 5*s + i - 6*i - 5, s - 2*i - 4 = 0. Does 25 divide o(s)?
True
Let q = 294 + -29. Is q a multiple of 25?
False
Suppose 0 = 12*o + 6*o - 4590. Does 5 divide o?
True
Suppose -4*x - 14 + 30 = 0. Is x/(82/(-28) + 3) + -4 a multiple of 11?
False
Let v(o) = -30 - 4*o + 12 + 49. Is 3 a factor of v(7)?
True
Suppose q + 3 = -5*m - 18, 4*q - 21 = m. Let x(p) = -p**3 - 4*p**2 - 6*p. Is x(m) a multiple of 3?
False
Suppose 0 = -231*k + 209*k + 77572. Is k a multiple of 43?
True
Suppose 0 = -m + 2395 + 1185. Is m a multiple of 105?
False
Is -5*(-39 - (4 - 12)) a multiple of 9?
False
Let s = 539 - 215. Is s a multiple of 36?
True
Suppose -128232 = -21*t - 18*t. Is t a multiple of 34?
False
Suppose 4*c - 4 = 16. Suppose 10*n - c*n = 75. Is 20 a factor of 15*1*20/n?
True
Suppose 4*c = -6 - 6, 0 = j - 2*c - 759. Is 52 a factor of j?
False
Suppose -13*u + 868 = -1134. Does 11 divide u?
True
Let c(p) = -2 + 6 + 92*p - 90*p + 14*p**2 + 0. Is c(-3) a multiple of 26?
False
Let q(p) = 3*p**3 + 4*p**2 + 4*p + 3. Let i(f) = -4*f**3 - 4*f**2 - 5*f - 4. Let l(n) = -4*i(n) - 5*q(n). Let v be l(4). Does 7 divide (32/2 - 2)/v?
True
Let b = -76 + 80. Suppose w + b*x - 103 = 0, 2*w - 216 = -0*w + 2*x. Is 10 a factor of w?
False
Suppose 1422 = 34*b - 3814. Suppose -2*r + 4*p = -28, 3*r - 4*p - 32 + 0 = 0. Suppose -r*u = -546 + b. Is u a multiple of 14?
True
Let b(q) = q**2 - 7*q + 3. Let s be b(6). Let m be 7 - 3 - (0 + s). Suppose 0 = 12*w - m*w - 300. Is w a multiple of 20?
True
Suppose -2*t + 2 = -t + 3*d, -30 = 5*t - 5*d. Let c(o) = o + 1. Let v be c(t). Is 12 a factor of v/2*172/(-6)?
False
Suppose 2*n - 1668 = -4*n. Does 31 divide n?
False
Let j = 297 + -263. Is 4 a factor of j?
False
Let m(s) = 21*s - 6. Let u(h) = -h**2 - 9*h - 6. Let p be u(-8). Is m(p) a multiple of 12?
True
Suppose -3*h - 2389 = -5*a, 736 = -4*a - 4*h + 2628. Does 34 divide a?
True
Let x be (-2)/5 + (-42)/(-5). Let d(v) be the second derivative of 2*v**3/3 - 9*v**2/2 + 37*v. Does 6 divide d(x)?
False
Let d be 276/60 + 2/5. Suppose k - 5*u + 7 = -d, 2*k = -2*u + 36. Is 3 a factor of k?
False
Let g(f) = f**3 + 6*f**2. Suppose 0 = -5*d - 2*q - 25, -d + 4*q + 13 = -4. Is 6 a factor of g(d)?
False
Let i(r) = -7*r - 4. Let x(p) = 2*p + 4. Let v be x(-5). Is i(v) a multiple of 22?
False
Suppose -40 = -18*f + 13*f. Is 7 a factor of (30/f)/(6/40)?
False
Let u = 120 - -109. Is 23 a factor of u?
False
Let r be (-1*1*(1 - 1))/(-1). Suppose 3*k + 3 = 3*s, 21 = -k - 0*s + 5*s. Suppose r*g - k*g = -36. Does 3 divide g?
True
Suppose 7*b - 3*b - 244 = 0. Let v = 23 + b. Is 13 a factor of v?
False
Let p(q) = -q**2 + 4*q + 5. Let w be p(-2). Let c(i) = -64*i + 11. Let b be c(w). Is 19 a factor of b/12 - 3/12?
True
Let h(t) = 95*t. Let v be h(1). Is 10 a factor of (-19)/v + 7*(-276)/(-10)?
False
Let s = -119 + 155. Is 4 a factor of s?
True
Let r be -9 + 11 - 2/(-2). Suppose -4*v - 47 = r*y - 228, -291 = -5*y + 4*v. Is y a multiple of 29?
False
Let h = -646 + 1111. Let w = h + -290. Does 25 divide w?
True
Let u = -13 + 23. Let i(y) = 7*y + 18 - u - 1 + 2*y**2. Is 11 a factor of i(-5)?
True
Let y = 231 + -165. Let j = y + -30. Is j a multiple of 13?
False
Suppose -9*s + 4*s = w - 1, -2*s - 2*w = -2. Suppose -4*o + 7*o - 5*i - 409 = s, 2*o + 4*i - 302 = 0. Is 13 a factor of o?
True
Let f(x) = 26*x - 91. Let n be (-22)/(-33) + 22/3. Does 13 divide f(n)?
True
Let a(r) be the third derivative of 4*r**2 + 25/12*r**4 + 0 + 0*r - 1/3*r**3. Is 17 a factor of a(1)?
False
Let q(u) = u**3 + 23*u**2 + 84*u + 63. Is q(-17) a multiple of 9?
True
Let q(w) = 7*w + 3. Let c be q(-5). Let g = 61 + c. Suppose 4*o + g = m, 0 = 3*m + m + 4*o - 176. Does 11 divide m?
False
Suppose 5*i = 5*v + 3*i - 45, v + 3*i - 9 = 0. Is (-71)/(-6) + v/54 a multiple of 4?
True
Let z(u) = u**2 - 5*u - 15. Is 6 a factor of z(-14)?
False
Suppose 0*i - 600 = -2*i. Does 9 divide i?
False
Suppose -3*v + d = -5870, 2*v - 3916 = -298*d + 300*d. Is 8 a factor of v?
False
Let w(x) = -x**3 + 6*x**2 + x + 5. Let v be w(6). Let g = v - -31. Is 21 a factor of g?
True
Let i(m) = m - 2. Let k be i(4). Suppose 3*c + 178 = k*q, 3*c - 3 = -4*q + 353. Does 17 divide q?
False
Let p(q) = -2*q**3 + 4*q**2 + q + 4. Let f = -30 + 27. Is p(f) a multiple of 17?
False
Suppose 2*r - 33 + 5 = 0. Suppose 0 = -11*j - r + 223. Is j a multiple of 10?
False
Suppose -3*l - 3*b = -180 - 201, 508 = 4*l - 3*b. Is 7 a factor of l?
False
Let l be (-1 + 0)/(27/(-81)). Let w(c) = 72*c + 15. Is w(l) a multiple of 29?
False
Suppose -2*g = 3*l - 2*l - 8, -5*l + 25 = 5*g. Let d be (-1 - 2)/(g/22). Let s = d - -43. Is s a multiple of 21?
True
Let f = 8 - -1. Suppose -6*j + f*j = 99. Does 8 divide j?
False
Let l be 8 + 318 + -2 + 1. Suppose -l = -11*d + 6*d. Is 13 a factor of d?
True
Suppose 1200 = -4*r - 688. Is (-12)/(-18) + r/(-12) a multiple of 16?
False
Let f = 16 - 74. Let k = -28 - f. Is k a multiple of 15?
True
Let n(r) = 4*r**3 - 2*r**2 - 4*r - 22. Let a be n(7). Suppose -x - a = -9*x. Is x a multiple of 25?
False
Suppose 356 + 24 = 5*u. Suppose -3*w + 328 - u = 0. Is w a multiple of 21?
True
Let p = 570 - 