e
Let s = 0 + 6. Suppose 3*p - s*p = -144. Suppose 4*v + 0*v - p = 0. Is 12 a factor of v?
True
Let j = 1218 - 738. Is 15 a factor of j?
True
Let l = -10 + 15. Suppose -407 = -2*a + l*v, -a - 2*a = 2*v - 658. Is a a multiple of 28?
False
Suppose -7*l = -3*l - 1068. Suppose -2*a + l = 29. Is a a multiple of 17?
True
Let y(x) = -3*x - 33. Let q be y(-17). Does 16 divide (-24)/q + 320/6?
False
Let h = -941 - -1740. Is h a multiple of 50?
False
Let t(k) = 5*k**2 - 69*k + 97. Is 96 a factor of t(-23)?
False
Suppose -2*s + y = -105, 5*s - 261 = 3*y - y. Let f = -6 - s. Let l = 90 + f. Is l a multiple of 11?
True
Suppose -11*t + 6*t = -a + 807, -4*a + 4*t + 3228 = 0. Is a a multiple of 28?
False
Let c = -24 + 528. Does 28 divide c?
True
Let a = 945 - 149. Let i = a - 567. Does 18 divide i?
False
Let p(d) = 3*d**2 + d - 1. Let o be p(1). Is 51 a factor of (1056/(-18))/((-2)/o)?
False
Suppose -b + 1 = 0, -4*v + 1511 = -0*v - b. Suppose -24*f = -10*f - v. Is 9 a factor of f?
True
Suppose -78 = -4*n + n. Let t = n + -25. Is 2 - 5 - (-68)/t a multiple of 13?
True
Let b(z) = -z**2 - 12*z - 3. Suppose 0 = 4*r - 0*r + 3*t + 44, 0 = 2*r - t + 22. Let w be b(r). Does 11 divide (w/(-10))/(10/(-275))?
True
Suppose 60 = 12*r - 14*r. Does 39 divide ((-52)/(-10))/((-2)/r)?
True
Let n = 2117 + -1151. Is 23 a factor of n?
True
Is 1371*24/54*(-3)/(-4) a multiple of 5?
False
Let h be (2 + 0)/(2/(-9)). Is (133/21 - -3)*h/(-1) a multiple of 20?
False
Let i(c) = -c**3 - c**2 + c. Let k be i(-2). Is (-93 - k)/(-2 - -1) a multiple of 19?
True
Let z = 957 + -621. Does 28 divide z?
True
Let f(q) = -q + 7 - 4 + 6 - 2. Let v be f(5). Does 2 divide (12 + -9)/(2/v)?
False
Suppose 4*n = -w - 18, 0*w = -w + n + 7. Let x be (-1)/w*(-6 - 0). Suppose -4*r = x*r - 63. Is 2 a factor of r?
False
Let o(f) be the first derivative of 2*f**3/3 - 3*f**2/2 + 6*f + 6. Let g be o(4). Suppose 0 = 4*n - g - 30. Is 6 a factor of n?
False
Is 13 a factor of 7*(-10)/((-20)/286)?
True
Let j(r) = 2*r - 9. Let n(k) = -k**2 - 1. Let z(d) = -3*d**2 - 9*d - 15. Let a(c) = -4*n(c) + z(c). Let p be a(11). Is j(p) a multiple of 13?
True
Suppose 18*q = -q + 14326. Is 68 a factor of q?
False
Let p(n) = -n**3 + 20*n**2 - 29*n - 22. Suppose -3*q - 4*s = -58, 0 = -2*q + s + 2*s + 33. Does 8 divide p(q)?
True
Suppose n + 2642 = 5*n + 2*o, n = 5*o + 677. Suppose 0 = -0*j - 2*j + 2*t + n, 2*j - 670 = -2*t. Does 45 divide j?
False
Let k(g) = g**3 - 35*g**2 - g + 10. Let j be k(35). Let a = 93 + -139. Let q = j - a. Is 7 a factor of q?
True
Suppose 170*h - 158*h = 29412. Is h a multiple of 43?
True
Suppose -4*d = -4 - 4. Suppose -d*r + 3*q + 25 = 0, -3*r + 3*q - 7 = -5*r. Suppose r*k - 60 = 5*k. Is k a multiple of 10?
True
Suppose 2169 - 567 = 9*y. Suppose -3*p + 5*q + 278 = 3*q, -2*p + 5*q + y = 0. Does 29 divide p?
False
Let m(s) = -8*s + 21. Does 3 divide m(-6)?
True
Suppose -11*v = -42394 + 10714. Does 20 divide v?
True
Let l be 378/78 + (-2)/(-13). Suppose l*j = j + 364. Is j a multiple of 13?
True
Let j(u) = -4*u + 17. Let y be j(-11). Suppose -y = -2*r + 35. Does 16 divide r?
True
Let r(v) = -14*v. Let n be -2 + 9 - (0 + 2). Suppose 0 = -5*m - n. Is r(m) a multiple of 14?
True
Let h(f) = f + 10. Let g(c) = -2*c - 21. Let k(p) = 6*g(p) + 13*h(p). Let n be k(4). Let l(d) = d**2 - 4*d + 3. Is 12 a factor of l(n)?
False
Is (14580/(-50))/((-18)/135) a multiple of 52?
False
Suppose 30*g - 16*g - 23940 = 0. Is g a multiple of 18?
True
Let m(n) = n**3 + 12*n**2 - 2*n - 20. Let a be m(-12). Suppose -p - 24 = -a*p. Is 2 a factor of p?
True
Suppose 0 = -2*l + 2*p, -l - 4*p = -3*l. Suppose l*x + 294 = 2*x. Does 25 divide x?
False
Let k be (-4)/8*(-1 + -7). Suppose 13 = 2*b + 3*y, 0 = b - 4*y - 0 - 1. Suppose -b*o + k*a + 208 = 6*a, -a + 204 = 5*o. Is o a multiple of 10?
True
Is 14 a factor of (7/2)/(6*23/3864)?
True
Let d(h) = 5*h - 2. Let j be d(1). Suppose 3*q - 5*w = 145, -90 = -j*q - 3*w + 87. Is q a multiple of 5?
True
Let q(b) = b**3 + 4*b**2 - 4*b + 1. Let z be q(-3). Suppose 70 = 5*f + 5*o, -2*f + 3*o - 2*o = -z. Is 6 a factor of f?
True
Let f be 5/(-25) - 64/(-20). Suppose f*a - 30 = 3. Is a a multiple of 2?
False
Suppose -3*s + 0*s = -93. Let b = -27 + s. Suppose b*z = a - 4 - 4, -4*a - z = -100. Does 24 divide a?
True
Suppose 869*d - 170 = 859*d. Is d a multiple of 17?
True
Let o = 189 + -89. Suppose -z - 44 + 4 = -y, 2*z - o = -2*y. Is y a multiple of 9?
True
Let v = -375 - -216. Does 13 divide (15/(-6) - -1) + v/(-2)?
True
Let d be (6 + 8)*(-34)/(-4). Is d/9 - 10/45 a multiple of 6?
False
Suppose -3*c = a + 3404, -3*a - 3*c - 10192 = -4*c. Is 27 a factor of (-6)/(-27) - -1*a/(-18)?
True
Let y(d) = d**3 + 26*d**2 + 21*d - 41. Suppose 0 = -14*o + 13*o + 5*g, g = -o - 30. Is y(o) a multiple of 19?
False
Suppose 14*m = 12*m - 4*z + 8338, m - 4165 = -4*z. Is m a multiple of 13?
True
Let b(r) = -1 + 0 - 2*r + 3*r + 6. Let a be b(-8). Is a + 0 + 60 + 1 a multiple of 15?
False
Suppose -3 = -s, -5*r - 4*s = -0*s - 262. Is 3 a factor of (-2)/(8/r*(-65)/78)?
True
Let p(r) = -r**3 - 14*r**2 - 12*r - 1. Does 19 divide p(-16)?
True
Suppose 2 + 44 = n - s, 5*n = 3*s + 220. Suppose -m - n = 4*m - y, -m - 2*y = 17. Is 19 a factor of (2/2)/(m/(-171))?
True
Suppose -17*p + 24*p - 5530 = 0. Is p a multiple of 5?
True
Suppose -r + 3*s + 220 = 0, -5*r = -0*s - 5*s - 1130. Does 4 divide r?
False
Let i = -40 + 43. Suppose i*v + 0*s - 230 = 4*s, 5*v - 345 = -s. Is 10 a factor of v?
True
Suppose -388 = -5*w - 23. Suppose 88 = p - x, x + w = p + 3*x. Does 24 divide p?
False
Let x be -26 + (2 - 2) + -3. Let k = x + 137. Suppose 0 = -5*d + 318 - k. Does 14 divide d?
True
Let s(d) = -d**2 - 7*d - 7. Suppose -q = 3*j + 2*q + 30, 0 = -3*j + q - 10. Let z be s(j). Is (z/2)/((-1)/(-22)) a multiple of 7?
False
Suppose 0 = 8*z + 43 + 5. Is (-16 - -1)*z*(-31)/(-15) a multiple of 31?
True
Let q be 1/3 + 25/15. Let v be -62 - (-3)/((-3)/q). Does 4 divide v/(-10)*(-100)/(-40)?
True
Let r(s) = s**3 - 4*s**2 - 6*s + 5. Let z be r(5). Suppose z*k + 13*k - 312 = 0. Is k a multiple of 4?
True
Suppose -4*x = -7 - 13. Suppose 3*g - 11 = 2*g + x*y, 2*g - 50 = 3*y. Suppose -n + g + 4 = 0. Does 12 divide n?
False
Is 18 a factor of ((-2)/(-6))/((-33)/(-3960))?
False
Let g(w) = -33*w - 171. Is g(-9) a multiple of 23?
False
Suppose 2106 = 3*f - 3*j, -2*f + 537 = 4*j - 855. Is f a multiple of 36?
False
Let i(t) = 64*t**3 - t**2 + 2*t - 1. Let z = -17 + 18. Let a be i(z). Let j = a + -34. Is j a multiple of 15?
True
Let v = -389 - -426. Does 5 divide v?
False
Suppose 3*j - 2*j - 5 = 0, -m - 3*j + 17 = 0. Is 26 a factor of -52*(-25)/20*m?
True
Let a(j) = -3*j + 25. Let b be a(7). Suppose -c + 4*c - 400 = -4*g, -4*g = b*c - 536. Is c a multiple of 17?
True
Let m(c) = c**3 + 7*c**2 - 7*c + 11. Let w be m(-8). Let h be -6*(w + (-30)/9). Suppose h = -4*q + 6*q, 4*k = -2*q + 66. Does 8 divide k?
True
Suppose f + m - 4 = 0, -f + 4 = -0*f - 5*m. Suppose 2*g + f*j + 12 = -0*g, 2*j + 4 = -2*g. Suppose -v - 62 = -g*v + 5*q, -2*v = -5*q - 99. Does 16 divide v?
False
Let l = 495 + -239. Is l a multiple of 4?
True
Let k(c) = c. Let n(d) = -21*d + 4. Let f(q) = -987*q + 189. Let u(y) = 4*f(y) - 189*n(y). Let m(j) = -6*k(j) + u(j). Does 5 divide m(1)?
True
Suppose -3*l = -0*k + 2*k - 16, 5*k = -5*l + 35. Suppose -r = -3*z + 1, -5 = -3*z - k*r + 4*r. Let f(v) = 25*v - 1. Does 18 divide f(z)?
False
Suppose 0 = 3*g + 4*g - 35. Let a(c) = 4*c**2 - 2*c + 3. Does 10 divide a(g)?
False
Suppose t - 2*x + 5 = 0, 5*x - 3*x - 17 = -3*t. Suppose 0 = 3*r + u - t*u + 18, 12 = -2*r - u. Does 2 divide (0 - -1) + (-12)/r?
False
Suppose 20*j + 5658 = 26*j. Is 41 a factor of j?
True
Suppose -32 = -o - 3*o. Let s be o + -6 + (119 - 1). Suppose 3*j - s = -2*j. Is 8 a factor of j?
True
Suppose -x + 3*x + 36 = 0. Suppose 0 = -m - 3*m - 48. Does 16 divide 128/6 + m/x?
False
Let c = 730 + -236. Is c a multiple of 38?
True
Suppose z + y = 77, -4*y = -19*z + 22*z - 232. Is z a multiple of 11?
False
Suppose -780 = -3*p + 39. Does 39 divide p?
True
Suppose 0 = 4*t - 54 - 138. Suppose 5*y = 10 - 0. Suppose t = 2*m + y*m. Is 3 a factor of m?
True
Let w(f) = f**3 + f**2 + 2*f - 2. Let g(r) = -2*r**3 - 2*r**2 - 3*r + 2. Let v(h) = 3*g(h) + 4*w(h). Let k be v(-2). Suppose 3*y - k = 91. Does 11 divide y?
True
S