-2*s + s + o + 24. Is s a multiple of 3?
False
Suppose 1824 = 3*l + 2*m, 8*m + 15 = 3*m. Is l a multiple of 10?
True
Let x = 31 - 55. Let a = x + 64. Does 20 divide a?
True
Suppose 8*o - 10*o + 22 = 0. Let m(j) = 0*j**2 + 12*j**2 - 2*j**3 - 6*j - 6 + j**3. Is 24 a factor of m(o)?
False
Suppose -6*c + 0*c = -3*c. Suppose -12*m + m + 1133 = c. Is m a multiple of 17?
False
Let p(y) = -y**3 - 6*y**2 - y + 3. Let k be p(-6). Let o(z) = -z**3 + 8*z**2 + 8*z + 11. Let f be o(k). Is 13 a factor of 59/((1 - f)*-1)?
False
Let g be (-13 + 1)/4*-1. Let i(f) = f**3 - 8*f + g + 5 - 4 + 2 - 7*f**2. Does 3 divide i(8)?
True
Is 21 a factor of 28*((-60)/(-16) - 3)?
True
Let z = -612 + 945. Is 39 a factor of z?
False
Let j(d) = -4*d**2 + 0*d**2 - d + 8 + 19*d**3 + 0. Is j(2) a multiple of 40?
False
Suppose -4*h = -0*h - 28. Suppose -t + m + 18 = 0, -64 = -3*t + h*m - 2*m. Is t a multiple of 12?
False
Suppose j + 2*b + 226 = 4*j, -2 = b. Suppose -j - 1354 = -17*l. Is 3 a factor of l?
True
Suppose 6*y = 675 + 345. Is y a multiple of 5?
True
Suppose -4*j - 84 + 4 = 0. Let o = -17 - j. Suppose 2*w - 4*w - o*x + 95 = 0, -x + 48 = w. Is w a multiple of 24?
False
Suppose -7*w = -6 - 15. Is 17 a factor of 36/(-24)*(-34)/w?
True
Is 26 a factor of ((-75)/12)/(2492/416 + -6)?
True
Let k = 816 + -24. Does 61 divide k?
False
Is 376/(-24) + 17 - (-2048)/3 a multiple of 6?
True
Let h = 215 - -64. Is 25 a factor of h?
False
Let j(w) = -64*w + 4. Let y(b) = -65*b + 5. Let l(i) = -3*j(i) + 4*y(i). Is 24 a factor of l(-2)?
True
Let j(x) = 2*x + 7*x + 7*x + 2. Let u be j(-2). Let s = u + 54. Is s a multiple of 8?
True
Does 4 divide (-80)/30*-72 - -7?
False
Let t(r) = -2*r**3 + r**2 + 5*r + 37. Does 7 divide t(-4)?
True
Suppose -602 = -8*k + 230. Is 7 a factor of k?
False
Let l(k) = k**3 - 5*k**2 - 4*k - 8. Let x = -19 - -25. Let g be l(x). Suppose -g*j = -186 - 74. Is j a multiple of 13?
True
Let p(j) = -10*j**3 + 3*j**2 - 5. Does 44 divide p(-5)?
True
Let g(b) = b**2 + 5*b - 8. Let a be g(-4). Is 12 a factor of 214/3 + (-8)/a?
True
Suppose -4*h - 358 = -1942. Let t = h - 184. Does 53 divide t?
True
Suppose 0 = d - 442 - 448. Let q = d - 444. Is q a multiple of 29?
False
Let i(a) = 10 - 6*a - 2*a**2 - 7*a**2 - 16 - 3*a - a**3. Let k be i(-8). Suppose -2*x = -3*u + 39, x + 5 - k = 0. Does 11 divide u?
True
Suppose 2 = -0*t + t. Suppose 3*p + p + 16 = 0, -t*j + 68 = 3*p. Is j a multiple of 5?
True
Let s(v) = 16*v + 6. Let y be s(3). Suppose 3*p = y + 48. Let q = -22 + p. Does 6 divide q?
True
Let w = -16 - -29. Suppose 4*b = 3*o + 3*b + 19, -3*o = -4*b + w. Let d(r) = -8*r - 10. Does 15 divide d(o)?
False
Let a = 13 + -10. Let i be (-4)/(a/12*2). Is 8 a factor of 0 - 18*4/i?
False
Let c(u) = -3 + 428*u + 6*u**2 - 435*u - 5*u**3 + 6*u**3. Suppose 0 = n - 0 + 6. Is c(n) a multiple of 11?
False
Suppose 8*z - 16 = -0*z. Is 3144/60 - z/5 a multiple of 16?
False
Suppose 888 = -33*a + 41*a. Does 4 divide a?
False
Let s = -40 + 37. Let q = 2 + s. Does 15 divide 1 + (-59 - q)/(-2)?
True
Let w(f) = 33*f - 2. Let t be w(1). Let s = -14 + t. Suppose 0 = 3*o + 4*v - 16, -4*o + s = -v + 2*v. Is o a multiple of 4?
True
Suppose -3*z + 326 = -2*z. Is 34 a factor of z?
False
Suppose -3*u - 67 = -2*u. Is -2 - 0 - (u - 5/1) a multiple of 20?
False
Suppose 21 + 42 = 3*i. Let g = i - 17. Suppose c = -2*u + 5*u - 4, 0 = g*c - 2*u - 24. Is 8 a factor of c?
True
Let f be -3 - ((-12)/8)/(2/8). Suppose 86 = 3*q + 2*s - 126, 5*q = -f*s + 353. Is q a multiple of 15?
False
Suppose 11*y - 28 = 7*y. Let p(w) = -w**3 + 10*w**2 - 5*w - 6. Is p(y) a multiple of 25?
False
Let j(r) be the first derivative of -r**4/4 - 3*r**3 - r**2/2 - 11*r - 3. Let m be j(-9). Is 21 a factor of (71/m)/((-7)/14)?
False
Suppose -v + 524 = -3*r - 55, 8 = 4*r. Is 13 a factor of v?
True
Let j(c) = -53*c + 55. Is 52 a factor of j(-5)?
False
Let k = -3 + 5. Suppose k*o = -0*o + 144. Suppose o = 5*d - 2*d. Is 12 a factor of d?
True
Let f(v) = v**2 + 35*v - 254. Let z be f(6). Suppose 0 = -2*r + 24 + 4. Let d = r + z. Does 6 divide d?
True
Suppose 3*z + 2*i - 16269 = 0, -12489 = -3*z + 2*i + 3768. Does 139 divide z?
True
Suppose -45 = l + 2*l. Let q = -59 + 85. Let x = q + l. Is x a multiple of 11?
True
Suppose 0 = -5*t - 2*c - 447 + 1334, 2*t - 4*c = 374. Does 8 divide t?
False
Suppose 0 = 11*b + 10 + 12. Suppose -q - 2*q = -90. Is (72/q)/(b/(-10)) a multiple of 4?
True
Let x(p) = p**3 + 3*p**2 - p + 1. Let o(j) = -2*j**3 - 9*j**2 + 2*j - 2. Let z(c) = 3*o(c) + 8*x(c). Suppose 12 = -4*f + 8*f. Is 7 a factor of z(f)?
False
Let q = -297 + 507. Is 20 a factor of q?
False
Let t be (-1)/(-4) - (-18)/(-72). Suppose t = -3*u + 15, 4*p - 580 = -p - u. Does 19 divide p?
False
Let f be (-3 + 1)/(6/(-12)). Let h be -4*((-7)/f - -1). Suppose 141 = 3*y + t + t, -h*y - 5*t = -132. Is y a multiple of 11?
False
Let m = -143 - -161. Is 9 a factor of m?
True
Suppose 1049 = 3*j + l, -427 + 2180 = 5*j + 4*l. Suppose 4*g + 5*x = 770, -j = -2*g - 5*x + 41. Does 38 divide g?
True
Is 6 - ((3 - 190) + -1) a multiple of 36?
False
Let q(f) = f**3 + 10*f**2 + f + 12. Suppose 3*j + 12 = -18. Let r be q(j). Suppose 5*c - z = 321 - 3, -r*c = -4*z - 120. Is 23 a factor of c?
False
Let g(p) = p**3 - 19*p**2 - 2. Is 9 a factor of g(20)?
False
Let d(x) = x**2 + 2*x + 10. Let r be d(-6). Suppose -5*i = -2*b + 43, 9*b - 4*b + 1 = -3*i. Let q = i + r. Does 7 divide q?
False
Let s = 77 + -47. Let k = s - 12. Does 4 divide k?
False
Suppose 0 = -5*i - 3 - 2. Let o(s) = 46*s**2 + 1. Let w be o(i). Suppose -v = -2*q + v + 82, -w = -q + 4*v. Does 13 divide q?
True
Suppose -5*d + 4*v - 15 = 1, 0 = -2*v + 8. Suppose 6 = 3*p - d. Suppose 0 = p*j - 44 - 4. Is j a multiple of 8?
True
Let w = 723 + -323. Suppose u = -4*u + w. Is 41 a factor of u?
False
Let o = 42 - 18. Suppose -f + 0*f + o = 0. Is 4 a factor of f?
True
Suppose -268*d + 275*d - 119 = 0. Let r = 16 + -27. Let l = d - r. Is l a multiple of 10?
False
Suppose 3*f + 16 = 28. Suppose -f = 4*b - 5*a + 5, 5*b - 5 = 3*a. Is 2 a factor of b?
True
Suppose -127*c = -130*c + 807. Does 18 divide c?
False
Suppose -3*x = -2*l - 2*x + 1, -3*x = 2*l + 3. Suppose -7 = m - 2*m + q, l = 4*q + 20. Suppose m*c - 2 = 8. Is 5 a factor of c?
True
Let f(o) = o**3 + 25*o**2 + 56*o - 17. Is 11 a factor of f(-22)?
False
Suppose z + 130 = 161. Does 2 divide z?
False
Let n(l) = -38*l - 4. Let u(x) = 9 - 4 + 0 + 9 + 2*x. Let w be u(-8). Is n(w) a multiple of 16?
False
Is 2 - 0 - -438 - 15/3 a multiple of 33?
False
Let k = -5 - -5. Suppose -3*m = -2*j + 55, -5*m + 47 = j - k*m. Is j a multiple of 6?
False
Let a(z) = z**2 + 4*z + 15. Let q be 1*(3 + -2*16). Let t = q + 21. Does 13 divide a(t)?
False
Does 27 divide (3424/(-12))/4*-18*1?
False
Let n be (-1)/(-2)*(48 - -6). Let p = n + -18. Suppose -6*w + p*w - 30 = 0. Is w a multiple of 10?
True
Is 13 a factor of 572/(-66)*531/(-6)?
True
Let c be 9/(-4 + 22/4). Let h be 0/((-3)/(9/c)). Suppose h = v + 3*v - 96. Is 8 a factor of v?
True
Let i(u) = 3*u - 30. Let l(c) = 1. Let d(q) = i(q) - l(q). Does 4 divide d(15)?
False
Let n = 4 + 11. Let w = -34 + 40. Let m = n - w. Is m a multiple of 5?
False
Let q = 874 + -376. Is 63 a factor of q?
False
Let a = -32 - -8. Let v = -16 - a. Does 19 divide 171/6*v/6?
True
Let a = -447 + 650. Let z = -59 + a. Does 24 divide z?
True
Let s = 269 - 234. Does 7 divide s?
True
Suppose 5*s - 6*s = -6. Is (-14)/(1/s*(-9)/12) a multiple of 14?
True
Is -1 - (-73)/1 - (19 + -16) a multiple of 2?
False
Is -7*(-65)/35 + 3 a multiple of 16?
True
Let q be (-6)/(-5)*(-6 + -44). Let p = q + 150. Let y = p + -55. Does 9 divide y?
False
Suppose 0 = -9*c + 901 + 116. Does 103 divide c?
False
Let x = 1085 + -521. Is 12 a factor of x?
True
Suppose -5*g + a + 253 = -82, -a = 5*g - 325. Is g a multiple of 3?
True
Does 11 divide (-2030)/(-50) + 4/10 + -3?
False
Suppose -3*j = j + 3*y - 186, -j - 3*y = -51. Suppose -2*l + 4*r = 2*l - 44, 4*l = 3*r + j. Is l a multiple of 12?
True
Let r(a) = 4*a - 1. Let w be r(1). Suppose c + 102 = 4*c - 3*t, w*c + 5*t - 78 = 0. Let f = -17 + c. Is f a multiple of 14?
True
Let u(c) = c + 1. Let l(k) = 22*k - 6. Let p(j) = -l(j) - 5*u(j). Is p(-1) a multiple of 12?
False
Let i(u) = -u**3 + 6*u**2 + u + 4. Let t be i(5). Let g be 18/(-27) - t/(-6). Suppose 0*c = -g*c 