ple of 14?
True
Suppose -5*s - 3*z + 3 = 0, -3*s = 3*z + 1 + 2. Suppose -l + 20 = -6*l, 5*q - s*l + 48 = 0. Does 22 divide q/(-2)*(12 - 1)?
True
Let a = -6 + 1. Let x(b) = -3*b - b - 4*b + 4*b + 2. Does 11 divide x(a)?
True
Let v(x) = -x**3 + 5*x**2 + 8*x - 10. Let r be v(6). Suppose -r*d + 154 = 12. Is d a multiple of 28?
False
Suppose 55*n = 59*n. Suppose -140 = -n*w - 5*w. Is w a multiple of 6?
False
Let i = 110 - 74. Suppose 0 = -t + 2*w + i, 2*t - 5*t + 143 = w. Does 7 divide t?
False
Let m(z) = -16*z - 36. Let n be m(-3). Does 56 divide n - 8 - -8*(-110)/(-4)?
True
Suppose -64 = -w + f, 26*w = 29*w - 5*f - 200. Is 30 a factor of w?
True
Let b(w) be the first derivative of w**4/4 + 4*w**3 - 5*w**2/2 - 8. Is 23 a factor of b(-12)?
False
Suppose -32*i + 19*i + 273 = 0. Does 3 divide i?
True
Suppose 3*t + 1211 - 3147 = -r, 3*r + 2*t - 5773 = 0. Does 17 divide r?
True
Suppose -4326 = x - 1428. Is x/(-33) - (-4)/22 a multiple of 24?
False
Let g = 590 + -173. Is 24 a factor of g?
False
Suppose -h + 1 + 3 = 0. Suppose 0*o = -h*o + 60. Suppose k - 30 - o = 0. Is 15 a factor of k?
True
Let g = 200 - 143. Suppose -w = z + z - 45, -g = -3*z + 2*w. Let v = z + -10. Is 4 a factor of v?
False
Let z = -134 + 362. Is z a multiple of 18?
False
Suppose 2*s + 4*v - 672 = 0, 0 = 3*s + 15*v - 18*v - 1044. Does 62 divide s?
False
Suppose -3*n + 1035 = -90. Is 15 a factor of n?
True
Let u = -1126 + 236. Let l = 1 + -2. Is u/(-12) + l/6 a multiple of 15?
False
Let a(k) = k. Let d(q) = 2*q - 4*q + 3 - 8*q. Let r(z) = 5*a(z) + d(z). Is 20 a factor of r(-9)?
False
Let o(u) = 27*u + 8. Is 16 a factor of o(14)?
False
Let j(h) = -h - 19. Let p be j(-14). Let a = p - -21. Does 12 divide ((-27)/(-6))/(6/a)?
True
Suppose 4*l = -h - 13, 2*h - 2*l - 14 = -0. Is 5 - 1 - -18 - h a multiple of 2?
False
Suppose 2*u - 3 - 9 = 0. Suppose v - 5*w - 44 = 0, 0 = v + w - u - 68. Is v a multiple of 20?
False
Let z = -853 + 1413. Is z a multiple of 56?
True
Suppose -2*s = -3*c - 13, 5*s + c + 5 = 12. Let h be 8 - s/4*-6. Suppose -h = l - 74. Does 19 divide l?
False
Let d(o) = o**3 - 16*o**2 + 15*o + 6. Let a be d(15). Is (a/(-18))/(1/(-78)) a multiple of 13?
True
Does 23 divide ((-8)/3)/(9/(-13176)*8)?
False
Let n = -216 + 34. Let j = n - -79. Let y = -47 - j. Does 20 divide y?
False
Suppose -5*s + 237 = -13. Let o be (-1)/3 - s/(-6). Is 15 a factor of 362/o - (-4)/(-16)?
True
Let k be (-1)/3*-2 - (-598)/39. Suppose -k*y + 960 = -400. Does 14 divide y?
False
Let g(q) = q**2 + 1. Let j(n) = 4*n**2 - n - 1. Let b(s) = -3*g(s) + j(s). Let r be b(6). Suppose -59 - r = -5*y. Is y a multiple of 5?
False
Suppose 0 = 9*f - 1209 - 1500. Does 10 divide f?
False
Suppose 5*v - 119 = 206. Let f = 100 - v. Is 7 a factor of f?
True
Suppose 0 = -3*s + 8*s + z - 931, 3*s = 3*z + 573. Is s a multiple of 7?
False
Suppose b + l = 4, -5*l = -2*b - 4 + 12. Suppose 3*z - b*z + 61 = 0. Is z a multiple of 6?
False
Suppose 0 = 5*h - 231 - 29. Is h a multiple of 52?
True
Let x = -779 + 1241. Is x a multiple of 11?
True
Suppose 2*w - 3861 = 5*s - 361, -3*w + s = -5224. Does 23 divide w?
False
Let w be (2/(-6))/((-1)/15). Suppose -w*k + 233 = 3. Is 23 a factor of k?
True
Suppose -557*p = -563*p + 4794. Is 31 a factor of p?
False
Let y = -107 + 217. Does 11 divide y?
True
Let o(r) = 89*r**2 - 3*r - 2. Let x be 3/18 + (-7)/6. Is o(x) a multiple of 5?
True
Let o = 29 + -25. Suppose -o*l + 186 = -2*s, -l = 3*l + 3*s - 161. Does 11 divide l?
True
Let t = -1411 + 2300. Suppose 7 - t = -6*k. Is 21 a factor of k?
True
Is (-512)/12*33/(-11) a multiple of 5?
False
Let t(a) = -a**2 + 7*a + 2. Let j be 0*(0 - -2)/(-4). Suppose -c - 2*v + 4 = j, -4*v = -4*c - 0*v + 28. Is 4 a factor of t(c)?
True
Suppose 23 = -5*v + d, -3*v + 8 = -2*v + 4*d. Does 5 divide v/((-1)/(-58)*-4)?
False
Suppose -146 = 5*b + 89. Let h = -133 - -57. Let d = b - h. Does 8 divide d?
False
Let r(f) = 147*f**2 - f - 2. Is r(-1) a multiple of 5?
False
Let x = 7 + 5. Suppose 4*k + x = 76. Let d = 3 + k. Does 6 divide d?
False
Suppose 5*r + 3 = 2*g - 0, 8 = -4*r + 3*g. Let f(h) = 7*h - h + r - h. Is f(5) a multiple of 13?
True
Let g = 39 - -193. Let i = -152 + g. Is 33 a factor of i?
False
Let s(a) = a**2 + 9*a + 42. Let w be s(-11). Let x = -46 + w. Does 11 divide x?
False
Let x = 1598 - 830. Does 16 divide x?
True
Let z = -64 + 110. Does 5 divide z?
False
Is ((-2786)/(-21) + -2)*6 a multiple of 14?
True
Let f(y) be the second derivative of y**4/12 + y**3 - 7*y**2/2 + 8*y. Let n be f(-7). Suppose -3*r = -n*r - 204. Does 26 divide r?
False
Let f(y) = -82*y - 9. Is 29 a factor of f(-4)?
True
Does 7 divide 488/366*(439/1 + 2)?
True
Suppose t - 1 = -16. Is 12 a factor of (-482)/t - 4/30?
False
Let j(t) = -4*t + 3. Suppose -2 - 1 = d. Let b be (-154)/21*d/(-2). Is j(b) a multiple of 16?
False
Let q = 528 - 353. Let h = -105 + q. Is h a multiple of 18?
False
Let b(o) = -109*o - 190. Is b(-6) a multiple of 6?
False
Let r(h) be the third derivative of h**5/30 - h**4/4 - h**3/3 + 3*h**2. Let j = -5 + 10. Is 18 a factor of r(j)?
True
Suppose -4*y + 2*k + 100 = -2*k, 2 = -2*k. Is 15 a factor of (y/14)/((-11)/(-385))?
True
Let f be 2*((-2)/(-4) - -1). Suppose -f*r - 3*r + 438 = 0. Is r a multiple of 18?
False
Does 3 divide (-8)/(-12) + 2253/(-9)*-1?
False
Let i = 18 + -14. Does 26 divide 2 - (-5 + i)*332?
False
Suppose -q = 5*y - 12, 4*y - 5*y - q = 0. Suppose 0*z - 31 = -y*u + 5*z, u = z + 13. Is u a multiple of 2?
False
Let o = -45 - -83. Is o a multiple of 5?
False
Let z be ((-6)/4)/(57/266). Let s(p) = -p**2 - 12*p - 15. Is 3 a factor of s(z)?
False
Let c(l) = l**2 - 1. Let z be c(-1). Suppose -3 = d - z. Does 14 divide 1 + d + (-686)/(-14)?
False
Let m = 165 + -95. Suppose m*n - 66*n = 308. Does 32 divide n?
False
Let o = 47 - 28. Let k = 23 - o. Suppose -5*m + 2*m + k*d = -24, 5*m - 3*d - 40 = 0. Is 2 a factor of m?
True
Let m be (-1)/((-2)/28) - 2*2. Is 49 a factor of (-1)/((m - 4)/(-2460))?
False
Let q = 367 - 157. Is 21 a factor of q?
True
Let g = -85 - 16. Suppose -2*a + 286 = -2*b, 3*b = 6*b + 2*a + 444. Let t = g - b. Is 15 a factor of t?
True
Suppose -u - v - v = 19, -v + 2 = 0. Suppose -10*s - 50 = 380. Let b = u - s. Is b a multiple of 5?
True
Does 43 divide (-5 - -4) + (1467 - -2) + -6?
True
Let o be (-2)/8 + 26*(-1)/(-8). Does 5 divide (0 + o + 17)*50/20?
True
Let a(r) = -r**2 + 17*r - 27. Let j be a(6). Suppose -2*g + j = -3*o, 4*g - 7 = 3*g + 4*o. Is 9 a factor of g?
True
Suppose -2*x = h + 2*h - 31, -4*x = -3*h - 53. Suppose 0 = -3*a - 0*y + y + x, -3*a - 5*y + 38 = 0. Let b = a + 25. Is b a multiple of 13?
False
Let c(z) = 25*z - 26. Let u be c(19). Suppose -4*o + u = -3*j, 0*o + o - 2*j - 106 = 0. Does 27 divide o?
False
Let x = 183 + 1284. Is x a multiple of 17?
False
Let v = -11 + 13. Suppose 60 = v*s + 3*u, -s = 2*s + 4*u - 92. Suppose -m = -s - 52. Does 28 divide m?
False
Let t(c) = 20*c**2 - 17*c + 78. Does 47 divide t(8)?
True
Is 5 + 13 + -6 - -5112 a multiple of 84?
True
Let m(k) = k**2 - 3*k - 12. Let a(h) = 0 - h**3 - 9*h - 8 - 9*h**2 + 8*h**2 - 7*h**2. Let w be a(-7). Is m(w) a multiple of 3?
True
Let v(n) = -45*n**3 + n**2 + n - 1. Suppose -4*a = -a + 30. Let k = -11 - a. Is v(k) a multiple of 11?
True
Let p be -10*(-3 - -2)/(-1). Let z be (-304)/p*25/5. Suppose 2*u = m + 76, -6*u + 4*m + z = -2*u. Is u a multiple of 8?
False
Let h(u) = -20*u + 15*u + 6*u + 9. Does 26 divide h(17)?
True
Let m be (33/22)/(3/4). Suppose -m*x = 3*g - 46, -3*g + 72 = -x + 23. Let j = g + -2. Is j a multiple of 7?
True
Suppose 0 = c + 5*n + 15, 4*c - 12 = 3*n + n. Suppose 3*o + 4*f - 14 = 0, c*f + 9 = 2*o + 3*f. Does 6 divide o?
True
Let k be (-2)/6 - (-16)/(-3)*-1. Suppose -3*q = -k*q + 280. Is q a multiple of 20?
True
Let t = -11 - -16. Suppose 0*p = -t*p. Suppose p = q - 0*q - 15. Is 8 a factor of q?
False
Let s be -2 - (3 + 10/(-3))*15. Suppose -4*v + 63 = -2*h + 263, -s*h = 3*v - 264. Does 26 divide h?
False
Let q = -71 - -80. Suppose q*b = -116 + 431. Is b a multiple of 6?
False
Let c = -169 + 268. Suppose -5*m + 116 = -c. Does 5 divide m?
False
Let k(j) = -j**3 - 35*j**2 - 6*j + 11. Is k(-35) a multiple of 19?
False
Let t(m) = 2*m**3 - 5*m**2 + 2*m. Let q be 24/18*(-3)/(-2). Suppose q + 1 = j. Is 4 a factor of t(j)?
False
Let j(d) be the first de