se
Let s = -592 + 677. Does 17 divide s?
True
Let i be -5*2/(-25)*-5. Let u(r) = -9*r - 3. Let g(c) = c. Let b(v) = i*u(v) - 10*g(v). Does 9 divide b(6)?
True
Let w(x) = 10*x - 11. Let c be w(7). Suppose 0 = -3*i + 49 + c. Is 18 a factor of i?
True
Suppose 4*s + 49 - 1 = 0. Let t = -9 - s. Suppose 0 = q - w + 2, -5*w + 28 - t = 0. Does 3 divide q?
True
Let f(m) = m + 240. Does 3 divide f(-6)?
True
Let t = -15 - -15. Suppose t = 2*o - 19 - 109. Is o a multiple of 19?
False
Let w be (2/(-3))/(2/150). Let z = w - -73. Is 23 a factor of z?
True
Suppose -2*i = 2*i. Is (i - -33) + (-12)/(-6) a multiple of 7?
True
Let o(l) = l**2 + 3*l - 2. Let j be o(-4). Let q = 10 + -6. Suppose j*p = q*p - 34. Does 17 divide p?
True
Let t be 1 - 3*8/(-6). Is 14 a factor of 102 + -5 + t - (2 + 2)?
True
Suppose 2*o + 21 = m, -3*o + 85 = 3*m + 2*o. Suppose -3*w - 32 = r, r + w - 1 = -m. Let p = 25 - r. Is p a multiple of 14?
False
Let g(o) = 9*o + 41. Is 13 a factor of g(3)?
False
Is (100128/(-20))/(-4) + (-15)/25 a multiple of 9?
True
Suppose 9*h - 4*h = 0. Does 7 divide (0 + -1)*-9 + h?
False
Let k = 24 + -58. Let p be 4/8*-1*k. Let t = p + -2. Does 6 divide t?
False
Let q be 2*((-5495)/10)/7. Let t = -105 - q. Is t a multiple of 38?
False
Let k = -2107 - -5399. Is 39 a factor of k?
False
Let u be 1/6 - 194/12. Let q = u - -14. Does 22 divide q/(-3) + (-927)/(-27)?
False
Suppose -4*h + 6 + 38 = 4*y, 2*y = -4*h + 30. Let p(t) = -t**3 + 11*t**2 + 9*t - 2. Let w be p(y). Suppose -l - 3 = 0, 4*k - 9*k - l + w = 0. Does 8 divide k?
False
Is 77 a factor of 2/(-3)*((-199573)/22 + -8)?
False
Is 15 a factor of (-90)/675 - (-13442)/15?
False
Let k = -14 - -8. Let y(q) = 24*q - 17. Let u(g) = 24*g - 16. Let m(h) = k*y(h) + 7*u(h). Is m(4) a multiple of 18?
False
Let r be 9/(-5) - (-4)/(-20). Let g(i) = -102*i**3 - i**2 + 2*i + 1. Let d be g(2). Is r/7 - d/35 a multiple of 23?
True
Suppose 22*o - 42*o = -26660. Does 18 divide o?
False
Let q(a) = -a**3 - 9*a**2 + 4*a + 6. Let g be q(-13). Suppose 23*o - 26*o + g = 0. Is 35 a factor of o?
True
Let g be (-1)/3 - 76/(-12). Suppose g*u + 120 = 7*u. Is u a multiple of 15?
True
Let d = 249 + 224. Is 11 a factor of d?
True
Suppose -3*x + 2*f = 3 - 25, 0 = -4*f - 8. Let g be 3/9 + 556/x. Suppose -4*p = -g - 7. Is p a multiple of 25?
True
Suppose 4*b - 2*a = 78, 2*a = 4*b - 3*a - 81. Suppose 3*o + 25 = 10. Let s = b - o. Is 12 a factor of s?
True
Suppose -2*b = -2*i - 0 + 2, 2*b - i = 0. Is 4 - (b - -3) - -72 a multiple of 24?
True
Suppose 3*l + 12 = l. Let o(d) = -3*d - 4. Let w be o(l). Is 6 a factor of w/63 - (-644)/18?
True
Does 94 divide (4685/10)/((-1)/(-1 - 1))?
False
Suppose -2*i + 172 = -4*d, 2*i + 4*d - 500 = -3*i. Is 8 a factor of i?
True
Let x(c) = 32*c**2 - 9*c + 15. Is 21 a factor of x(-6)?
False
Let i = -40 + 43. Suppose 4*g - i*r - 27 = 61, 2*r = -2*g + 58. Does 25 divide g?
True
Let q = 40 - 19. Is 4560/28 + 3/q a multiple of 25?
False
Let a(g) be the third derivative of g**5/30 + 11*g**4/24 + 13*g**3/6 + g**2. Let n be a(-6). Let t = 27 - n. Is t a multiple of 5?
False
Is (195/105)/(-13) + 5153/7 a multiple of 8?
True
Let u be 38*-1*(-5 + 4). Let l be (-12)/15 - u/(-10). Suppose 6*x = l*x + 231. Is x a multiple of 11?
True
Suppose 212 = 2*j - s, 4*j + 2*s - 146 - 278 = 0. Does 37 divide j?
False
Let y = -772 - -1573. Is y a multiple of 34?
False
Suppose -4*b + 5*s = -4238, b + s - 2*s - 1059 = 0. Does 38 divide b?
False
Suppose g - 45 = -4*g. Let x = g + 7. Is 8 a factor of x?
True
Let b(w) = -w**3 + 35*w**2 + 44*w + 251. Does 6 divide b(36)?
False
Let l(z) be the second derivative of 2*z**3 + 3*z**2 - 9*z. Is l(4) a multiple of 9?
True
Let g be (5 - 4)/(-2 - -1). Let z = -1 - -7. Does 4 divide 18*g*z/(-18)?
False
Let n be -4 - (12 - 26 - (1 + 0)). Suppose 2*x + 3*v - 3 = 0, -3*x + 0*x - 2*v = -2. Suppose -n = -4*h - 3*q + 21, x = -2*h + q + 26. Is h a multiple of 11?
True
Let l(c) = c**3 + 11*c**2 - 13*c - 8. Let r be l(-12). Suppose r*n - 16 = -0*n. Is 3 a factor of (n - -3 - -3) + -1?
True
Let w be (-2)/(-11) - (-456)/33. Suppose 2*n - 2 = w. Let b(o) = o**3 - 7*o**2 - 7*o. Is 8 a factor of b(n)?
True
Suppose -f + 805 = 4*y, -3*y - 30*f + 599 = -34*f. Does 13 divide y?
False
Suppose 3*s = w - 494, -w + 0*s = 4*s - 522. Does 13 divide w?
False
Suppose 8*w - 1196 = 3156. Let d = w + -335. Does 19 divide d?
True
Let v = 373 - 626. Let c = -157 - v. Is c a multiple of 32?
True
Suppose 4*k + f - 15 = -2*f, -4*k + 4*f = -8. Let w be (-53)/k + (-12)/36. Let r = 14 - w. Does 16 divide r?
True
Let l(c) = 13*c**2 + 3*c + 28. Is 11 a factor of l(-6)?
False
Suppose 5 - 21 = -4*w. Is 19/w - 6/(-24) a multiple of 5?
True
Let w = 774 - 458. Suppose -3*n - w = -5*n. Is 35 a factor of n?
False
Suppose -g = -4*j + 388 + 317, 2*j = 5*g + 375. Suppose -81 = -8*d + j. Is 18 a factor of d?
False
Let y(z) = -z**2 - 9*z - 14. Let q be y(-8). Is 67 - q - (-3)/1 a multiple of 19?
True
Suppose 5*f - w = -27, 4*f + 3*w + 14 = -0*w. Let q = -1 - f. Suppose q*m - 3*m = 63. Is 12 a factor of m?
False
Suppose -2*k + 9 = t - 57, t - 5*k = 87. Is t a multiple of 9?
True
Let y(m) = -9 + 4 + 6 + 7*m**2. Does 13 divide y(3)?
False
Let c = -32 - -38. Is (33/c)/(1/12) a multiple of 19?
False
Let i(r) = 4*r**2 - 3*r + 14. Is i(-4) a multiple of 15?
True
Let n = 68 + 472. Is n a multiple of 20?
True
Let n(k) = 2*k**3 + 5*k**2 - 6. Let g be n(-5). Let o = g + 209. Is 13 a factor of o?
True
Let x = -18 + 8. Let p(a) be the third derivative of a**6/120 + a**5/5 + a**4/2 - 2*a**3 - 2*a**2 - 11. Does 34 divide p(x)?
True
Let v(m) = -m**3 - 20*m**2 - 2*m - 20. Let h be v(-20). Suppose -u - h = -3*u. Is u a multiple of 10?
True
Let z(d) be the second derivative of 2*d + 0 - 4*d**2 + 7/6*d**3. Is z(8) a multiple of 24?
True
Is 2 a factor of (-72)/3*(-40)/32?
True
Suppose g = -2*g - 3, 0 = -z - 4*g - 6. Let i(w) = -18*w**3 - 3*w**2 - 4*w - 5. Does 33 divide i(z)?
False
Is 24 a factor of (-4 - -11) + 306 - 1?
True
Suppose 15 = i - 0. Let g be 1*(-3 + 4)*i. Does 14 divide (14/(-5))/((-1)/g)?
True
Let s = 14 - 21. Suppose 4*d - 9*d - y + 63 = 0, d - 5*y + 3 = 0. Let v = d - s. Is v a multiple of 9?
False
Suppose 3*t - 51 - 63 = 0. Suppose -2*r = -5*v - 0*r + 202, v - t = -2*r. Let m = -34 + v. Does 3 divide m?
True
Suppose 24 = -12*h + 16*h. Suppose 2*j - h*j = -u + 8, 4*j = 20. Does 7 divide u?
True
Let p = -274 + 825. Is p a multiple of 27?
False
Suppose 0 = 2*s - 9 + 45. Let b = -35 - s. Let g(y) = -5*y - 40. Does 15 divide g(b)?
True
Let p(m) = m**2 - 2*m - 28. Suppose 5*y - 46 = 4*h, 2*y - 6*h + 2*h = 16. Is p(y) a multiple of 26?
True
Let g = 6 - 10. Let c be 268/(-5) + g/10. Does 13 divide (-1554)/c + 6/27?
False
Suppose -12*j = -842 + 14. Is 38 a factor of j?
False
Suppose 4*m + 0*i - 26 = 5*i, 2*m = -4*i. Suppose 3*o = -s + m*o + 72, 2*s + 2*o = 128. Does 11 divide s?
False
Suppose -5*o + 10 = 0, n - 2*o = -3*o + 116. Does 61 divide n?
False
Suppose -3*u + 4*b = -2347, b - 2340 = -3*u - 2*b. Let c = -467 + u. Is 61 a factor of c?
False
Let i(s) = -s**2 + 5*s - 3. Let z be i(3). Let d = 19 + 3. Suppose -2*x - z*y + d = 0, -2*x + 9 = -4*y - 27. Does 14 divide x?
True
Let u be (-6)/((-72)/33)*12. Let l = 75 - u. Is 7 a factor of l?
True
Let o = 4780 + -2495. Does 61 divide o?
False
Let o = 411 - 172. Is 20 a factor of o?
False
Suppose -4 = -2*q, -5*l + 7*q - 5*q - 319 = 0. Let o = -26 - l. Is 6 a factor of o?
False
Let u = -25 + 29. Suppose -2*s = -0*s - c - 36, 3*s + u*c = 76. Does 7 divide -1 + s + (-6)/(-3)?
True
Let p(d) = d**3 - 5*d**2 + 5*d + 1. Let s be p(4). Suppose -s*v + 5*t = 15, 3*t + 6 = 4*v + 13. Suppose 30 = o - 5*j, 3*o + v*o = 4*j + 87. Is 11 a factor of o?
False
Let t(b) = -8*b + 61. Is t(-9) a multiple of 7?
True
Suppose 2*i + 0*d = -3*d + 2, d = -4. Suppose 10*m = i*m - 9. Does 3 divide 2*(7 + -4 - m)?
True
Let f = -306 + 342. Is 9 a factor of f?
True
Let x = -24 + 40. Suppose -x = 7*u + 131. Let t = 39 + u. Is 11 a factor of t?
False
Let n = 2480 + -1659. Is 15 a factor of n?
False
Let x = 0 - -3. Suppose 3*l - u = -l + 45, -29 = -x*l - 4*u. Is l even?
False
Suppose -4 = -2*d + c - 17, -3*d - 33 = 3*c. Let k(a) = -a - 5. Let j be k(d). Let s(z) = 5*z**2 + 2*z. Is s(j) a multiple of 10?
False
Let k(x) be the third derivative of x**5/10 +