 divide r?
False
Suppose 0 = -5*f + 5*s + 422 + 128, 2*f - 3*s - 222 = 0. Let g = f + 87. Is 13 a factor of g?
True
Let c be 44 - 3/3*-4. Let u = 113 - c. Does 6 divide u?
False
Let l = 66 + 12. Let y be (-7)/4 - ((-3)/(-4))/3. Let t = y + l. Is t a multiple of 27?
False
Suppose 10*w + 4*t - 51 = 9*w, -4*t = -2*w + 66. Is w a multiple of 7?
False
Let p(q) = 56*q + 364. Is 32 a factor of p(5)?
False
Suppose -6*k = 4*k - 90. Suppose 2 = l - k. Is l a multiple of 11?
True
Let v(m) = -8*m**3 - 5*m**2 - 10*m - 3. Is v(-3) a multiple of 60?
False
Suppose 9*a - 505 = 4*a. Let z = 63 - a. Let l = z + 59. Is l a multiple of 19?
False
Suppose 4753*j = 4751*j + 10832. Is j a multiple of 19?
False
Let u = -7 + 4. Let c(m) = m**3 + 5*m**2 + 6*m + 5. Let f be c(-4). Is (0/f - u) + 33 a multiple of 24?
False
Suppose 15 = 3*v - 0*v, -2*v = 5*n - 25. Suppose 2 = -5*z + 5*b + 22, -n = b. Let q = z + 44. Is 15 a factor of q?
True
Let q = -2318 - -4423. Is q a multiple of 13?
False
Let a(s) = s**2 + 2*s - 387. Let m be a(0). Let l be (-4)/((-12)/m) + -1. Let g = 221 + l. Does 29 divide g?
False
Let o = -1847 - -1880. Is o a multiple of 11?
True
Let o = -32 - -28. Let f be -1 + -10*o/8. Suppose -4*z = 5*d - 221, -d + 19 = -f*z + 210. Does 20 divide z?
False
Let d = 18 - 16. Suppose -d*y + 4 + 2 = 0. Suppose 2*a - 166 = -3*a + w, 3*a + y*w = 114. Is a a multiple of 17?
True
Let d(x) be the third derivative of -1/60*x**5 + 0*x + 23/24*x**4 - 3*x**3 + 0 - 8*x**2. Is 29 a factor of d(14)?
False
Let w = 56 + 30. Suppose 32 - w = -3*c. Is c a multiple of 5?
False
Let t(q) = -4*q**3 + 4*q**2 + 4*q + 11. Suppose 0 = 4*a + 2*i + 24, 3*a + 4*i - 3*i + 16 = 0. Does 21 divide t(a)?
True
Suppose -4*x - 20454 = -25*x. Is 12 a factor of x?
False
Let c = 246 + -225. Is c a multiple of 7?
True
Let c be -9 + ((-2)/9 - 58/(-18)). Let n = 50 + c. Is 6 a factor of n?
False
Let q(y) be the first derivative of 14*y**3/3 - 3*y**2/2 - 52. Is q(3) a multiple of 24?
False
Suppose 2*b = -6*r + 8*r - 1692, -b = 5*r - 4260. Is r a multiple of 37?
True
Let p be (3 - -5)/2 - (-1 - -7). Let w(v) = 22*v**2 + 2*v. Is 12 a factor of w(p)?
True
Let p(f) = -2*f + 31. Let c be (-22)/55 - 72/(-5). Let n be p(c). Let q(b) = 5*b**2 - 5*b. Is q(n) a multiple of 5?
True
Suppose 7*g = 1078 + 770. Is g a multiple of 33?
True
Let p(s) = s**3 + 8*s**2 + 2. Let x = -2 - 6. Let c be p(x). Suppose -2*v - 150 = -3*a, c*v - 139 = -5*a + 111. Is 12 a factor of a?
False
Let f(z) = -11*z + 11. Is 3 a factor of f(-15)?
False
Let b = -1691 + 4617. Is b a multiple of 74?
False
Let j(b) = -b**3 + 25*b**2 + 29*b - 22. Suppose 121*g = 115*g + 156. Does 4 divide j(g)?
True
Let v = 1001 - -60. Is v a multiple of 29?
False
Suppose -2 = -6*i + i + 4*s, -12 = -3*i - 3*s. Suppose 16*j + 3 = 17*j. Suppose i*a + 153 = j*a. Is a a multiple of 35?
False
Let k(b) = b**3 + 11*b**2 + 15*b - 4. Suppose -7 = -7*w + 8*w. Is 17 a factor of k(w)?
False
Let o be (-3)/1 - (19 - 84). Suppose -4*m + 6*m = o. Is 6 a factor of m?
False
Suppose 374*y - 3832 = 372*y. Is 31 a factor of y?
False
Suppose 4*z = -3*m + 56, 21 = 4*z - z - 3*m. Suppose -z*u = -7*u - 36. Does 9 divide u?
True
Let o(h) = -h**3 - 6*h**2 + 16*h - 4. Let a be o(-8). Is 3 a factor of (-2 + a - 15)/((-2)/2)?
True
Let y be 3*1 - 32/4. Is (y/((-150)/(-198)))/(2/(-10)) a multiple of 19?
False
Let p(j) = -j**2 + 10*j - 3. Let v be p(10). Let n = v + 80. Suppose -7 = -2*q + n. Is q a multiple of 7?
True
Does 20 divide 1/4*(-3 + 3) + 488?
False
Let w = -27 + 33. Suppose 8*n - 122 = w*n. Does 9 divide n?
False
Suppose -21*q + 17*q = r - 9504, 7128 = 3*q - 4*r. Is 27 a factor of q?
True
Suppose -98*l = -93*l + 165. Let z(c) = -60*c**3 + c + 1. Let x be z(-1). Let u = l + x. Is 8 a factor of u?
False
Let s = -96 - -174. Is s a multiple of 4?
False
Suppose 350*m = 343*m + 2058. Is 7 a factor of m?
True
Let j = 52 - 52. Suppose j*v + v - t = 80, -5*v - 3*t = -432. Does 14 divide v?
True
Let c = 1169 - -181. Is 75 a factor of c?
True
Suppose -82*d + 33*d + 38416 = 0. Does 16 divide d?
True
Let q(m) = m**2 + m - 18. Let s be q(-14). Suppose -3*y = -s + 50. Is y a multiple of 19?
True
Let j(r) = -3*r - 5. Let h = -23 + 29. Let x be j(h). Let b = x + 31. Does 4 divide b?
True
Let s = 844 + -603. Is 31 a factor of s?
False
Let p = -104 + 74. Let y = 64 + p. Suppose 0*q = -2*q + y. Does 17 divide q?
True
Does 2 divide (-93)/((2*(-3)/3)/2)?
False
Let t(v) = v**3 - 13*v**2 - 14*v - 3. Let x be t(14). Let d be -4 + (x - -14) + -2. Suppose 0 = -d*m + 235 + 30. Is 14 a factor of m?
False
Suppose 2*d + 240 = 3*n + d, 408 = 5*n + d. Is n a multiple of 4?
False
Let d be ((-18)/(-7))/((-18)/(-63)). Suppose -d*c + 6*c = -138. Does 7 divide c?
False
Let z(d) = -34*d - 316. Is z(-21) a multiple of 11?
False
Let x(o) be the first derivative of -o**6/120 + o**5/10 - 5*o**3/6 + o**2 + 3. Let b(d) be the second derivative of x(d). Does 10 divide b(5)?
True
Let d(v) be the second derivative of v**3/2 + 8*v**2 + 28*v. Is d(7) a multiple of 14?
False
Let u be 2 + 9 - 3/3. Suppose -u*i + 5*i - 65 = 0. Let p(l) = -l**2 - 25*l - 8. Does 37 divide p(i)?
True
Suppose -31*g - 15731 = -71841. Is g a multiple of 12?
False
Let t = -159 - -41. Let i = t - -244. Suppose 2*a - 5*a + i = 0. Is a a multiple of 14?
True
Let s(x) = 5*x**2 - 10*x + 10. Let z be s(4). Let p = 97 - z. Is 7 a factor of p?
False
Suppose 28001 + 28794 = 37*c. Is c a multiple of 122?
False
Let h be 12/(-15)*(-15)/2. Suppose -4*m - h = -22. Does 8 divide (12/m)/((-3)/(-20))?
False
Let m(g) = g - 6. Let c(a) = a - 5. Let r(t) = 4*c(t) - 3*m(t). Let h be r(-5). Does 13 divide 6/(-14) - 276/h?
True
Let j = 313 + -173. Is j a multiple of 15?
False
Let f(i) = -i**3 + 10*i**2 - 11*i + 20. Let n be f(9). Suppose 0 = 4*w, 2*l = -l + n*w + 198. Suppose 2*k = -0*u - 2*u + l, -5 = 5*u. Is k a multiple of 6?
False
Does 10 divide (-171312)/(-156) - -2 - (-2)/(-13)?
True
Suppose -4*b + 87 = -5*z - 0*b, -4*z + b - 63 = 0. Is (-1104)/z*(-55)/(-22) a multiple of 23?
True
Suppose 0 = -5*q + 4*i - 4, -i - 4 = -3*q - 5. Let w be -6 + 3 - -7 - q. Suppose -66 = -7*k + w*k. Does 22 divide k?
True
Does 3 divide (-27)/54 - (-7)/(-2)*-41?
False
Let a = -992 + 1392. Is a a multiple of 20?
True
Suppose 2*s = -3*j + 1, 0 = -5*s - 5 - 0. Let w be -7 + 11 - 0/j. Suppose r + 174 = w*h + 3*r, 5*h + r = 222. Is h a multiple of 14?
False
Let p be (-727)/(-6) - (-6)/(-36). Suppose 19 = 7*r - p. Does 6 divide r?
False
Is 3 a factor of 378257/548 + 2/(-8)?
True
Suppose -635 = -3*q - 2*q + n, -5*q - 5*n = -665. Does 8 divide q?
True
Let i(y) be the first derivative of 5*y**3 - y**2/2 - 3*y + 15. Suppose j = -3*h - 10, -j + 28 = 3*j - 5*h. Is i(j) a multiple of 10?
False
Let x(v) = 23*v**2 - 2*v - 61. Is x(-6) a multiple of 20?
False
Suppose -q = -3*b - 56, 2*b + 97 = 2*q - 7. Let t = -32 + q. Does 17 divide 42*(t/(-4))/(-3)?
False
Let o(s) = -s**3 + s**2 + 3 - 5 + 0. Let k be o(-2). Suppose 5*l - 20 = k. Is l a multiple of 3?
True
Let u be (-2)/(-2)*(-1 - -5). Suppose 0*n = u*n - 4. Suppose x = 2*x - n, -4*x = 4*v - 68. Does 8 divide v?
True
Let l(y) = y. Let c be l(-6). Let u be (-208)/c*6/4. Suppose 0*d + 2*d = u. Is d a multiple of 8?
False
Let l be 2*9/(-6) + -1. Let p be (-10)/l + 11/22. Suppose 0 = -2*d + 3*y + 132, p*d = -y + 48 + 161. Is 23 a factor of d?
True
Let l be ((-9)/(-6))/((-18)/12). Suppose 3*v + 0*v = 4*f - 14, -5*f + 15 = -5*v. Is l + (v - 2) + 121 a multiple of 30?
True
Let k = -40 - -157. Suppose 3*g - 153 - k = 0. Is g a multiple of 18?
True
Let t(i) = 2*i**2 - 52*i + 2. Let s be t(26). Does 21 divide 649/4 - s/16*2?
False
Let p(d) = -d**3 - 7*d**2 - 23*d - 15. Let l = 44 - 50. Is 29 a factor of p(l)?
True
Let f(t) = 80*t + 5. Let s be f(1). Suppose -s*x = -90*x + 1425. Is x a multiple of 19?
True
Suppose -z + 20 = 3*z. Let v = z + -2. Suppose -67 = -4*w - v*j, 34 = 5*w - 3*w + 2*j. Does 4 divide w?
True
Let f(d) be the first derivative of d**4/4 - 2*d**3 + 3*d**2 - 15*d + 14. Let p be f(6). Is 7 a factor of p/(-2)*30/(-9)?
True
Suppose -4*y + 5*f = -9536 + 2475, 3 = -3*f. Is y a multiple of 18?
True
Let j = -58 + 268. Is 34 a factor of j?
False
Let y(l) = l - 5. Let a be y(17). Let o = a - 12. Suppose o = -5*t + 2*w + 411, w + 405 - 159 = 3*t. Is t a multiple of 13?