se
Let c = 349 + -343. Is 6 a factor of c?
True
Let d be 2/(-3) + 32/12. Suppose 3*a - 12 = 2*q - 4, -d*a + 5*q = 2. Let p = a - -13. Is 4 a factor of p?
False
Let b = 38 - 37. Is (46 + 6)/(1/b) a multiple of 13?
True
Is 67 a factor of -932*(77/(-14))/11?
False
Let b = 14 + -11. Let h(d) = 12*d - 13. Is 13 a factor of h(b)?
False
Suppose -9 = -i - 3*y + 2, -y = -3*i + 13. Is i even?
False
Let u(z) = 64*z + 5. Let c be u(4). Let h = c - 163. Is 7 a factor of h?
True
Suppose 433*b + 8370 = 438*b. Is 9 a factor of b?
True
Let r be 48/28 - (-4)/14. Let l(k) be the first derivative of 2*k**3 - 3*k**2/2 + 3*k - 20. Does 7 divide l(r)?
True
Suppose 4*l - 200 = 4*f + 124, -2*f = -5*l + 414. Is l a multiple of 11?
False
Let l = 538 + -440. Is 2 a factor of l?
True
Let o = -38 + 47. Is 23 a factor of 1122/o + 4/(-6)?
False
Let y = 146 - 78. Suppose y = 2*f + 2*g - g, 5*f - 160 = -5*g. Does 4 divide f?
True
Is 8 a factor of ((-1445)/5)/(-3*4/12)?
False
Let a be (7 - 10)*(-1)/3. Let y(z) = 2*z**2 + 2*z**2 - a + z**3 + 4*z**2 + 0*z**3. Is 21 a factor of y(-4)?
True
Let u = -9 - -11. Suppose -2*w - 18 = -u*x + 2*w, -w = -x + 6. Suppose 5*v = -2*l - x*l + 185, 4*l = 4. Does 12 divide v?
True
Suppose 2*c - c = 0. Suppose y + 2*y + 441 = c. Let r = -86 - y. Is r a multiple of 16?
False
Let s(c) = 76*c**3 + 2*c + 4. Does 11 divide s(2)?
True
Let v = -19 - -29. Suppose -51 = 9*r - v*r. Is r a multiple of 17?
True
Let s(m) = m**3 - 4*m**2 - 2*m - 12. Let n be s(5). Is 16 - ((-3)/(-1))/n a multiple of 2?
False
Let y be (-8)/28 + (5/(-7) - 1). Does 11 divide ((-1 - 4) + 6)*(-278)/y?
False
Let z = -1396 + 3332. Is 82 a factor of z?
False
Let r(c) = -8*c - 22. Let k(v) = v**2 - 9*v + 15. Let b be k(4). Is r(b) a multiple of 9?
True
Let p be ((-12)/(-4) - 9)/(24/(-272)). Suppose 2*l + 3*j + 2 = 0, 6 = -2*l + 4*j + 18. Suppose -l*o = 2*o - p. Does 17 divide o?
True
Suppose 3*r - 4*b - 116 = -2*r, 4*r = -4*b + 100. Suppose -14*i + r = -10*i. Is i a multiple of 6?
True
Let a(l) be the third derivative of l**5/20 + 7*l**4/24 + l**3 - l**2. Let y be 55/(-22)*(-2)/(-1). Does 17 divide a(y)?
False
Let d(i) = 63*i - 29. Let v be d(7). Suppose -v = -4*s + 364. Is s a multiple of 36?
False
Suppose 3*f + 24 = f. Is 19 a factor of ((-76)/(-6))/(((-16)/4)/f)?
True
Is 64/(-56) + (-53275)/(-35) a multiple of 22?
False
Let t(n) = -4*n**2 - 5*n - 2. Let i(z) = 10*z**2 + 11*z + 4. Let q(g) = 3*i(g) + 7*t(g). Suppose -y + 6 + 0 = 0. Does 15 divide q(y)?
False
Let l(u) = 1 + u**2 + u**2 - 1 - 6*u + 1. Let h(n) = -3*n**2 + 7*n - 2. Let s(o) = -3*h(o) - 4*l(o). Does 12 divide s(-7)?
False
Let k(c) = 4*c + 12. Does 2 divide k(8)?
True
Let g(x) = -2*x**2 - 3*x - 15. Let l be g(-4). Let o = l + 53. Is o a multiple of 9?
True
Let d(a) = 24*a - 7. Let v(k) = -72*k + 20. Let l(n) = -17*d(n) - 6*v(n). Let y = -80 + 82. Does 13 divide l(y)?
False
Let g(r) be the first derivative of -r**3/3 - 4*r**2 - 4*r - 11. Is 11 a factor of g(-3)?
True
Let k = -43 - -41. Is 1206/15 - (7/5 + k) a multiple of 21?
False
Let g(m) = 2*m**2 + 9*m - 37. Does 6 divide g(8)?
False
Suppose -54*n + 50*n + 2392 = 0. Does 46 divide n?
True
Suppose 0 = -3*a + 4*k - 2*k - 549, 5*a + 915 = 2*k. Let i = -31 - a. Is i a multiple of 19?
True
Let p = 387 - -1125. Is p a multiple of 25?
False
Let j = 956 + -539. Let x = -222 + j. Is 13 a factor of x?
True
Suppose 8*r = 5*r. Suppose r = -3*y - 231 + 831. Let h = y - 141. Is 16 a factor of h?
False
Suppose -2*q + 2238 - 4 = 0. Is q a multiple of 16?
False
Let b = 0 - -5. Suppose 0 = -a - 4, 4*q + 4*a = a. Is 26 a factor of 9*q + (-5)/b?
True
Suppose 3*t - 3*h = 36, -3*t - h = 4*h + 4. Suppose t*f = -3*f + 90. Is f a multiple of 3?
True
Let a = -53 - -285. Let m = -49 + a. Is 23 a factor of m?
False
Let d(n) = n**3 + 7*n**2 + 6*n - 3. Let q(b) = -6*b**2 - b - 1. Let g be q(-1). Let v be d(g). Is (-16)/v*30/4 a multiple of 20?
True
Let q(l) = 2*l**3 + 10*l**2 - 15*l - 13. Let a(m) = -21*m**2 + 6 - m**3 + 8*m**2 + 8*m**2 + 8*m. Let j(d) = -5*a(d) - 3*q(d). Is 7 a factor of j(-6)?
False
Let j(o) = o**3 + 0*o**3 - 2 + 13*o**2 + 0*o**3. Let v be j(-13). Does 4 divide 9/v*(-90)/27?
False
Let w be (-2442)/(-51) - (-14)/119. Suppose i + 2*i - w = 0. Suppose -i = 2*q - 4*q. Is q a multiple of 8?
True
Suppose 3*n - 2*y = 317, n + 396 = 5*n + 4*y. Suppose 3*l = n - 28. Suppose -47 = -4*k + l. Is k a multiple of 6?
True
Let q = 244 - 92. Let u be (-4)/18 + q/36. Suppose u*o + 10*a - 5*a - 51 = 0, o + 3 = 4*a. Does 3 divide o?
True
Suppose -4*j - 1 = -21. Suppose 2*t - 2*r - 2 = r, -3*t = -j*r - 2. Suppose 0 = -5*a - 2*n + 530, 3*a - 304 = -8*n + t*n. Does 36 divide a?
True
Suppose 12 = -d + 3*h, 4*d - 32 = -2*h - 2*h. Suppose -3*i = -d*o + 105, o - 34 = i + i. Suppose -5*s = 4*f - 60 + 12, 3*f - 3*s - o = 0. Is f a multiple of 12?
True
Let o(s) = 290*s**2 + 14*s + 4. Is 20 a factor of o(-1)?
True
Suppose 244 = 3*a - 140. Let r = a - -24. Is 38 a factor of r?
True
Suppose 3*q + 4*n + 17 + 0 = 0, -4*q + 3*n = 6. Let d(i) = 5*i**2 - 7. Let u(w) = -10*w**2 + 14. Let j(p) = -11*d(p) - 6*u(p). Is 16 a factor of j(q)?
False
Let d = 21 - 10. Let f(x) = -6*x + 2. Let h be f(5). Let z = d - h. Does 19 divide z?
False
Let v(x) = -x**3 + 43*x**2 - 40*x - 4. Is v(42) a multiple of 4?
True
Suppose 8*l - 9170 = 8158. Does 38 divide l?
True
Let x be (-4)/((-8)/(-3)) + (-198)/4. Let k(l) = -l - 1. Let g be k(5). Is 14 a factor of ((-8)/(-2))/(g/x)?
False
Suppose 0 = j - h - 2684, -20*j + 19*j + 2*h + 2684 = 0. Is 11 a factor of j?
True
Let n(l) = 14*l**2 + 2*l + 3. Let t(a) = -a - 3. Let x be t(-3). Suppose 5 = 2*c - o + 6, x = -5*c + 2*o - 4. Does 13 divide n(c)?
False
Let n be 21/(((-1)/12)/1). Let y be 2/(-13) - n/117. Suppose 3*r - y*r = 93. Does 31 divide r?
True
Does 14 divide (-7)/((-14)/176)*(18 - 4)?
True
Let h be 22/6 - (-2)/(-3). Suppose -3*m - r = -262, h*m - 3*r + 0*r - 246 = 0. Does 19 divide m?
False
Let r(y) = -y**3 + 12*y**2 + 17*y + 27. Does 19 divide r(11)?
False
Suppose a + 5 = -2*t, 2*t = 4*t - a - 5. Suppose t*w + 160 = 4*w - 2*r, -146 = -3*w - 5*r. Does 21 divide w?
True
Suppose 3*v = -v - 76. Let u = -45 - v. Let i = u - -42. Does 16 divide i?
True
Suppose a = -2*g + 2, 3*a + 2*g - 8 + 2 = 0. Suppose -308 + 1518 = -a*q. Does 34 divide 24/42 - q/7?
False
Suppose -21 = 4*o + 39. Let z be -4*(1*12/16 - -6). Let d = o - z. Is d a multiple of 8?
False
Suppose 0 = -5*j + 208 + 352. Let q = 26 - 79. Let l = q + j. Is l a multiple of 19?
False
Suppose -3 - 19 = -11*p. Let g(u) = -2 + 3*u**2 + 3*u + 4 - 5*u. Is g(p) a multiple of 5?
True
Let s = 147 + -57. Suppose 0 = -4*i - 12, z + 2*i - s = -z. Does 12 divide z?
True
Let z(b) = -125*b + 3. Is 23 a factor of z(-2)?
True
Suppose -3*w + 44 = -5*w. Let s be (-4)/w + 1520/110. Suppose v = s + 14. Is 14 a factor of v?
True
Let w = 177 - -203. Does 12 divide w?
False
Suppose 0 = 3*i - 5*s - 25, -s = -5*i - 2*s + 23. Suppose -11 = i*j - 36. Suppose v - 96 = 2*a, 0 = j*v - 4*a - 249 - 207. Is v a multiple of 26?
False
Suppose 2*m - 10 = r + 3, 3*m - 5*r = 37. Let a(i) = 1 - m - 3*i + 3 + 3. Is a(-10) a multiple of 5?
False
Let k(c) = -7*c**2 - 3*c. Let v(q) = -q**2 + q + 1. Let s(r) = k(r) - 5*v(r). Let x be s(-6). Let g = x - -92. Does 12 divide g?
False
Let q = -52 - -64. Does 6 divide q?
True
Let a(p) = 2*p**3 + 5*p**2 + 3*p - 1. Does 30 divide a(4)?
False
Let f(w) = w**2 + 5*w + 18. Let t be 0*(1/(-2) - -1)*1. Does 3 divide f(t)?
True
Let l be ((-3)/2)/((-12)/1504). Suppose 2*i = -2*i + l. Is i a multiple of 21?
False
Let f(a) = -3*a - 5. Let x be f(-4). Let k = 10 + -63. Let r = x - k. Is 17 a factor of r?
False
Is 616*2 - (-2)/2 a multiple of 9?
True
Let z(d) be the second derivative of 29*d**3/2 - 13*d**2/2 + 31*d. Is 6 a factor of z(1)?
False
Let g be 20/3 + 30/(-45). Suppose 0 = 13*j - 15*j + g. Suppose 0*k + 4*k = a + 67, j*k + 2*a - 42 = 0. Is k a multiple of 16?
True
Let x(s) = 1 + 2 - 7 - 2*s**2 + 6*s**2. Suppose -4*n - 4 = -v, v - 4*n + 14 = -9*n. Does 28 divide x(v)?
False
Let b(q) = -82*q + 69. Is b(-4) a multiple of 20?
False
Suppose n + 0*n = -3*y - 6, -2*n = -2*y - 12. Let o(i) = 11*i**2 + 3*i - 1. Let r be o(3). Suppose n*l = -5*c + r, 0*l + 121 = 3*l - 2*c. Does 13 divide l?
True
Let z(r) be the first derivative of 19*r**4/24 + 