 2*t - 7 = 0. Let v = 10 - c. Is v even?
False
Let a be 4/(-10) - (-34)/10. Suppose a*p = 33 - 0. Does 5 divide p?
False
Suppose 17*l = 18*l - 52. Is 2 a factor of l?
True
Let r(c) = 3*c**2 + 25*c + 10. Let o(v) = -v**2 - 12*v - 5. Let l(g) = 7*o(g) + 3*r(g). Suppose 10*t - 5*t - 35 = 0. Is l(t) a multiple of 10?
True
Let i = -4 + 9. Suppose -2*u + 3 = m - 0*u, -i*m = -u - 59. Is 11 a factor of m?
True
Suppose 2*y - 410 = -3*s, -4*s + 2*y + 394 = -134. Is 26 a factor of s?
False
Let o be (24/4)/(-2) + -184. Let x = -157 - o. Is x a multiple of 13?
False
Suppose -4*b - 22 = 3*j - 333, -5*j + 4*b = -497. Does 7 divide j?
False
Let g = -113 - -650. Is 8 a factor of g?
False
Let n(g) = -g**2 - 34*g - 40. Does 23 divide n(-21)?
False
Let x be -3 + -6*24/(-4). Let g be (2 + 0)*(-519)/(-6). Suppose s + x = u - 3, -2*s = 5*u - g. Does 7 divide u?
True
Let b(d) = 84*d + 3. Is 43 a factor of b(6)?
False
Suppose 129 = -7*d + 8*d + 3*g, 5*d + 5*g = 665. Is 5 a factor of d?
True
Let w(n) = -n**3 + 17*n**2 - 25*n + 51. Is w(15) a multiple of 42?
True
Let h(f) = -4*f - 18. Let i(y) = -y + 1. Let v(j) = 2*h(j) - 2*i(j). Does 44 divide v(-21)?
True
Suppose 0*x + 4*x + 468 = 0. Let k = x + 171. Suppose k = 3*v - 9. Does 6 divide v?
False
Let b = 160 + -66. Suppose -31*u + 29*u + b = 0. Is u a multiple of 23?
False
Let y(c) = -3*c + 13. Suppose -4*v - 65 = 15. Is 18 a factor of y(v)?
False
Suppose -x = -4*x + 2*x. Let l(u) = -2*u**3 + 2*u**2 + 7*u + 83. Let n(v) = -v**3 + v**2 + 3*v + 42. Let i(p) = -3*l(p) + 7*n(p). Is i(x) a multiple of 15?
True
Suppose g - 63 = -5*b, -53 = -3*b - 4*g - 5. Suppose -6*t = -18 - b. Suppose -t*l - 25 = 0, 0*l - 97 = -2*j - l. Is j a multiple of 17?
True
Let d(a) = 29*a. Let s be d(-2). Suppose -c - 4*c = -2*z + 436, z = -4*c - 354. Let n = s - c. Is n a multiple of 7?
False
Let r(t) = 23*t + 890. Is r(-29) a multiple of 3?
False
Let k(n) = n**3 + 8*n**2 + 7*n + 2. Let w be k(-7). Is ((-14)/8 - w)*-8 a multiple of 10?
True
Suppose 0 = 5*b + 25*b - 6750. Is b a multiple of 23?
False
Let h be 2/((4 - 3)/2). Suppose h*p = -5*w + 8, -2*p + 6 = 4*w - 4. Is 2*(p - (-9 + -2)) a multiple of 16?
True
Let c = -30 - -60. Let f = c - 27. Let h(z) = 7*z**2 - 3*z + 2. Is 14 a factor of h(f)?
True
Is (-2)/(-8) - (1095/(-4) - -1) a multiple of 39?
True
Let p be (-2 - 6/4)*-10. Let y be 425/p - 1/7. Let d(i) = i**2 - 10*i - 16. Does 8 divide d(y)?
True
Let a be 2841*104/(-96) - (-1)/(-4). Is 9 a factor of (a/152)/(3/(-32))?
True
Let b = 8 + -3. Suppose -b*p + 2*f = -1640, -7*p + 2*p + 4*f + 1650 = 0. Is p/10 + 6/15 a multiple of 11?
True
Let j(i) = 5*i**3 + 30*i**2 - 5*i - 22. Let t be j(-6). Let d(l) be the first derivative of -l**4/4 + 8*l**3/3 + 3*l**2 - 12*l + 1. Does 18 divide d(t)?
True
Let j(x) = 30*x**3 - 2*x**2 - x + 2. Suppose 18*t - 5*t = 13. Is 6 a factor of j(t)?
False
Let y(k) = -7*k + 381. Does 19 divide y(-27)?
True
Suppose -5*c = -5*q - 100, -2*q = 2*q - 3*c + 82. Suppose 43 = -0*w - 4*w + 5*a, -2*w = 3*a + 27. Let m = w - q. Does 10 divide m?
True
Let p = 883 + -432. Suppose 4*n - 53 = p. Is 18 a factor of n?
True
Suppose -3*s = -4*r - 25, 0*r = 4*s + 3*r. Let a(c) = 19*c - 3. Let k(v) = 37*v - 5. Let m(i) = -11*a(i) + 6*k(i). Does 21 divide m(s)?
True
Let k = 56 + -56. Suppose k = 18*g - 8*g - 120. Is 4 a factor of g?
True
Suppose 2*u = -5*o + 880, 3*o = -2*o - 4*u + 880. Is 4 a factor of o?
True
Suppose 0 = 2*c - 4*c. Let a = -2 + c. Is 4 a factor of ((-15)/a)/((-3)/(-4))?
False
Let u(q) = -4*q + 24. Let b be u(6). Suppose -2*s + 3*j + 108 = s, j + 75 = 2*s. Suppose 80 = 5*c + 2*h, -3*h + s = 3*c - b*h. Does 9 divide c?
True
Let j(o) = -o**3 + 7*o**2 + o + 9. Let m be j(5). Let d = m + -12. Is d a multiple of 4?
True
Let o(s) = 159*s**3 - 3*s**2 + s + 1. Let g be o(1). Let t = g + -91. Does 10 divide t?
False
Let u(n) = n**3 + n**2 + n - 1. Let p(d) = 6*d**3 + 15*d**2 + 11*d - 16. Let h(s) = p(s) - 5*u(s). Is h(-9) a multiple of 8?
True
Let i be (-9 - -18)/81 + 17/9. Let z(c) = -c**2 - c + 1. Let w(l) = 9*l**2 - 3. Let j(y) = w(y) + 2*z(y). Is 23 a factor of j(i)?
True
Suppose 6*g - 12 = -30. Let u(w) = 3*w**2 + 5*w - 2. Let d be u(g). Suppose -d*n + 12*n = 166. Does 21 divide n?
False
Suppose 0*z + 3 = -z. Let n be 2/6 - 29/z. Suppose 15*q - 65 = n*q. Does 13 divide q?
True
Suppose 4*d - 47 - 16 = i, 252 = -5*i - d. Let n = i - -92. Is 15 a factor of n?
False
Let f = 153 + -86. Let b = 53 + f. Suppose 4*z - b + 4 = 0. Is z a multiple of 14?
False
Is 5 a factor of (-222)/126*-3 + 6/(-21)?
True
Let s be (9/(1 - -2) - -1) + -1. Is (8 - 7)/(s/291) a multiple of 14?
False
Let h = 32 + -25. Suppose 3*b - 297 = 2*v, 0 = b + 3*v + h - 95. Suppose -263 = -4*d + b. Is d a multiple of 29?
False
Suppose -87 = 5*j - 682. Let u = 217 - j. Is 14 a factor of u?
True
Let w be (1 + -1)/((-3 - -2) + -1). Suppose -6*z + 0*z + 408 = w. Is 11 a factor of z?
False
Let j = 9 + 0. Let o(x) = -x**3 + 10*x**2 - 7*x - 13. Let r be o(j). Suppose -5*q = 5*s - 30, -10 = -r*s - 5. Does 2 divide q?
False
Let d = 4 - 1. Suppose d*q = 5*q - 12. Suppose 0 = -x + 4*n, 4*n = q + 10. Does 8 divide x?
True
Let t = -58 - -58. Let n(d) = -15*d**2 - 15*d - 63. Let s(c) = 7*c**2 + 7*c + 32. Let u(y) = 6*n(y) + 13*s(y). Does 19 divide u(t)?
True
Let q(l) = l**3 + 8*l**2 + 8*l + 9. Let x be q(-7). Suppose p - 6*b - 45 = -x*b, -3*p + 87 = 4*b. Suppose 5*i - p = 2*i. Is i a multiple of 7?
False
Let f = -62 - -60. Is 2*f + (-469)/(-7) a multiple of 21?
True
Let y = 1926 + -1566. Is 8 a factor of y?
True
Suppose 3*x - 10340 = -2*x. Does 9 divide x?
False
Suppose -31 = -5*g - 0*p - 4*p, -3*p + 15 = g. Suppose z = -g*z - 48. Let v = 43 - z. Is 19 a factor of v?
False
Suppose l - m = 75 + 732, -2*l + 1599 = 3*m. Is l a multiple of 67?
True
Let k = -294 + 910. Suppose -c = -3*s + k, -3*s + 1024 = 2*s + c. Is s a multiple of 17?
False
Let p = 1042 + -778. Does 67 divide p?
False
Let y be 1 + -4 + 0 - -7. Let l(z) = z**3 - 3*z**2 - z + 6. Is 17 a factor of l(y)?
False
Is (-2149)/(-14) - (-5 - -2)/6 a multiple of 14?
True
Let t be (-4 - -1)*-1 + 15/(-5). Suppose t = 2*m + 4*m - 426. Is m a multiple of 19?
False
Suppose 0 = b - c - 167, 6*b = 9*b - c - 511. Suppose -1480 = 6*x - b. Let k = -152 - x. Is k a multiple of 33?
True
Is 77 a factor of 1847/8 - (-16)/128?
True
Let t = 1118 + -802. Does 19 divide t?
False
Let h(y) = -5*y + 7. Let m(r) = -r + 1. Let w(u) = h(u) - 6*m(u). Does 11 divide w(11)?
False
Suppose x + 16 = -54. Let s = 83 + x. Is 4 a factor of s?
False
Let z = 18 + 4. Is z a multiple of 2?
True
Let b be 4/3*(-12)/(-8). Suppose b*i - 7*i = -15. Is i*16/(-18)*-18 a multiple of 24?
True
Let s(w) = -w**3 - 3*w**2 - 5*w - 6. Let p = -11 + 13. Let g = -2 - p. Does 10 divide s(g)?
True
Let i(g) = -44*g - 5. Let p be i(-3). Suppose 8 = 5*m - a - p, -a = 5*m - 125. Does 13 divide m?
True
Let x(s) = -4 + 2 + 35*s**2 - 38*s**2 - 4*s**3 - 17*s**3 - s. Does 12 divide x(-2)?
True
Let c(x) = x**2 + x + 1. Let j(y) = 17*y**2 + 5*y - 5. Let h(w) = -3*c(w) - j(w). Let v(b) be the first derivative of h(b). Is v(-4) a multiple of 32?
False
Is (-1)/5 + (-836)/(-5) a multiple of 12?
False
Suppose 40*g + 2*r + 1847 = 41*g, -r = g - 1847. Is 43 a factor of g?
False
Let h = -13 - 25. Let k be h - 3/3 - -1. Let y = -19 - k. Does 8 divide y?
False
Let k(t) = 2*t**2 + 11*t - 2. Suppose 5*b + 23 + 15 = -3*u, -u + b - 2 = 0. Let q be k(u). Suppose -q*x = -45 - 3. Is x a multiple of 4?
True
Suppose 8*i = 3*i + 135. Suppose -4*n - 128 = 2*j, -2*n + n = -2*j + i. Let z = -15 - n. Is 7 a factor of z?
False
Let l = -62 - -61. Does 15 divide (275/20)/(l/(-12))?
True
Let h(o) = o**3 + 13*o**2 + 13*o - 14. Let j be h(-12). Let t be (2 - 22)/(4/j). Suppose 5*b - 4*q - t = 0, -b + q - 155 = -6*b. Is 11 a factor of b?
False
Let u(h) = -39*h + 153. Does 17 divide u(-17)?
True
Let j(t) = -261*t + 3. Let p be j(3). Is -3 + 8 + p/(-4) a multiple of 18?
False
Let l be -2 - -1 - (-4 + -57). Let g = 16 + l. Is ((-9)/(-6))/(3/g) a multiple of 11?
False
Let u(i) = -82*i - 72. Is 16 a factor of u(-12)?
True
Let r(p) = 3*p**2 + 8*p + 8. Let s = 5 + -21. Let w be ((-15)/12)/((-4)/s). Is r(w) a multiple of 18?
False
Suppose -9*s + 42*s - 4026 = 0. Is 37 a factor of s?
False
Let h(n) = n**2 + 14*n + 19. Suppose -48 +