s c(-7) a multiple of 11?
True
Let a(p) = 10*p + 125. Let l be a(-3). Suppose z + z - 272 = v, -2*v = 4. Let r = z - l. Is 10 a factor of r?
True
Suppose -3*b = -4*b - 4. Let l be (3 + 8/b)/(-1). Is l - (-9)/(18/128) a multiple of 13?
False
Suppose -11*z + 18 + 4 = 0. Suppose -z*o + 5*c - c = -372, -o + 166 = 3*c. Is o a multiple of 10?
False
Let y = -6089 - -7182. Does 2 divide y?
False
Let b(t) = 2*t + 14. Let r(q) = 1. Let o(a) = -b(a) + 5*r(a). Suppose 2*j - 2 - 2 = -4*g, 5*g = 20. Is o(j) a multiple of 3?
True
Let b = -222 - -225. Suppose -5*s + 1385 = -5*o, 4*o = b*o + 5. Does 47 divide s?
True
Let m(v) = -32*v - 786. Is 9 a factor of m(-26)?
False
Let a be (-430)/8 - 2/8. Let y(n) = -n**3 - 35*n**2 - 71*n - 101. Let s be y(-33). Let g = a + s. Is 5 a factor of g?
True
Let m(d) = -4 + 160*d - 42*d + 110*d + 0. Is m(1) a multiple of 19?
False
Suppose s + 13628 = x, 72*x - 40870 = 69*x + s. Is x a multiple of 11?
False
Does 75 divide 68857 - (-9 - -24 - 32)?
False
Let o = 13434 - 7479. Is o a multiple of 15?
True
Let s = -24 + 69. Suppose 0 = 5*q - 49 + 14. Suppose -2*c - q*c = -s. Is c a multiple of 4?
False
Suppose -26*k + 36*k - 680 = 0. Suppose -1491 = 65*f - k*f. Does 74 divide f?
False
Let z = -1219 - -265. Let t = -674 - z. Is t a multiple of 10?
True
Suppose 30*c = 4*c - 26*c + 344604. Does 14 divide c?
False
Suppose -303101 - 95096 - 272033 = -22*z. Does 45 divide z?
True
Suppose -3*w + 20 - 17 = 0. Let d(z) = 24*z**2 + 4*z - 5. Does 21 divide d(w)?
False
Let k be (-1 - (0 + -4)) + 273. Let g = k + -156. Suppose -2*s = -6*s + g. Is 10 a factor of s?
True
Suppose -4*u - 670 = u - 2*m, 5*m - 421 = 3*u. Let i = -21 + 17. Is (3/3)/(i + (-530)/u) a multiple of 14?
False
Let o(j) = 2*j**2 - 100. Let s be o(0). Let u be s/15 - 2/(-3). Let v(m) = -m**2 - 9*m + 4. Is v(u) a multiple of 3?
False
Suppose -4*k + 5*i - 762 = -6408, 0 = -2*i + 12. Is k a multiple of 43?
True
Let o(m) = -45*m + 1205. Is o(-20) a multiple of 30?
False
Let k(y) = -2*y**2 - 5*y + 16. Let p be k(11). Let m be ((-299)/39 - -7) + (-331)/3. Let o = m - p. Is 13 a factor of o?
False
Suppose 0 = 162*r - 153*r - 26217. Suppose 1093 = -10*m + r. Is m a multiple of 14?
True
Let f = -11 + 21. Let g be ((-4)/f)/((-4)/(-60)). Let u(k) = -16*k + 4. Is 25 a factor of u(g)?
True
Let o = -85188 + 126516. Is o a multiple of 28?
True
Let g = -78 - 88. Let o = g + 322. Is o a multiple of 12?
True
Suppose 0 = -4*y - 20, 232*r - 235*r + 63248 = 2*y. Is r a multiple of 73?
False
Let y = -106 + 86. Let q(x) = x**3 + 20*x**2 - 2*x + 20. Is 10 a factor of q(y)?
True
Let x be (-778)/9 + (-52)/(-117). Let r = x - -236. Is 10 a factor of r?
True
Let a = 134645 - 78197. Is a a multiple of 24?
True
Is -2 - (-181)/((-1)/(-7)*336/960) a multiple of 9?
True
Suppose 159*t - 160*t - 27347 = -2*a, -5*a + 68365 = -5*t. Is a a multiple of 17?
False
Let v(d) = -3*d**2 + 21. Let r(t) be the first derivative of t**3/3 - 7*t + 1. Let s(j) = 7*r(j) + 2*v(j). Does 21 divide s(7)?
True
Let z(t) = -1182*t + 865. Is z(-14) a multiple of 12?
False
Suppose 577 = -m - 40*p + 36*p, -3*m - 1714 = -5*p. Let n = m + 1185. Is 7 a factor of n?
False
Let k = 5 - 2. Suppose -t + 2 = k*g + 5, 3 = 3*t + 3*g. Suppose y + 120 = t*y. Is y a multiple of 6?
True
Suppose 2*k + 250 = 3*i + i, -5*i + 312 = -2*k. Suppose i*s = 67*s - 50. Suppose 0 = -f - s*f + 396. Is f a multiple of 18?
True
Does 5 divide ((-48)/168 + 65368/(-42))*-3?
True
Suppose 36 = 2171*m - 2175*m, -4*y + 75777 = -m. Is y a multiple of 33?
True
Suppose 0 = -3*w + 56 + 1. Let x = -9 + w. Suppose x*z - 5*z = 35. Does 3 divide z?
False
Let b = 7869 - 5163. Does 22 divide b?
True
Let r = 29 - 18. Let b(m) = -119*m**2 - 126*m**2 - 2*m + 34 - 7*m + 248*m**2 - 7*m. Does 23 divide b(r)?
False
Let a(g) = -81 - 2*g + g + 215 + 3*g. Is a(8) a multiple of 2?
True
Is (-5 - 125460/40)*-2 a multiple of 40?
False
Let w(t) = 118*t**2 + 146*t - 18. Is 134 a factor of w(9)?
True
Let p(j) = 7*j - 57. Let d be p(9). Is 39/d*(5 - 3) a multiple of 5?
False
Suppose -15*f = 13*f - 2*f - 11700. Is f a multiple of 2?
True
Suppose -75*i + 60*i = -19980. Suppose -i = -2*m + 5*c, 21*m - 16*m - 3330 = c. Does 11 divide m?
False
Let d(g) = 6*g**2 + 86*g + 262. Does 131 divide d(-58)?
True
Let b = 78 - 78. Let r be (-95)/(-30) - (2/12 - b). Suppose -4*o + 2*q = 3*q - 555, r*o - 3*q = 435. Does 28 divide o?
True
Let i be (-36)/135*(-18)/4*5. Does 17 divide (-5)/15 - (-1214)/i?
False
Let r(x) = 21*x**2 + 15*x - 28. Let o = -21 - -29. Let w(n) = -7*n**2 - 5*n + 9. Let v(y) = o*w(y) + 3*r(y). Does 15 divide v(-5)?
False
Suppose 0 = 274*p - 248*p - 118404. Is p a multiple of 33?
True
Let k = 59088 + -18253. Does 30 divide k?
False
Suppose 0*m + 4*m = 8, -2*m = -5*f + 11. Let z = f - -1. Suppose -188 = z*u - 668. Is 20 a factor of u?
True
Does 8 divide 2573 + (27 - (-528)/(-11))?
True
Suppose 0 = 7*y - 2*u - 19927 - 757, 3*y + 5*u - 8888 = 0. Is 40 a factor of y?
False
Suppose 0 = 2*a - 4 - 6. Suppose 2*r + 257 = -a*f, 102 + 158 = -5*f - 5*r. Is (f/(-6) - -3)*6 a multiple of 5?
False
Let y(p) = -10 - 13870*p + 13894*p + 202*p**2 + 55. Is y(-2) a multiple of 7?
True
Let g(m) = 42*m**2 + 6*m + 12. Is g(-6) a multiple of 6?
True
Let r = 124 + -70. Let z be 3/2*((-240)/18)/(-10). Suppose o = -z*o + r. Is o a multiple of 18?
True
Suppose -4*o - f - 44 = -5*f, f - 23 = 3*o. Let p(x) = 2*x + 12. Let d be p(o). Suppose -4*c + 3*z + 200 + 13 = d, 107 = 2*c - z. Does 13 divide c?
False
Let x = -22300 - -31740. Does 16 divide x?
True
Suppose -5*t - 913 = -143. Does 40 divide (t/(-35))/((-3)/(-105)*1)?
False
Suppose -5*c + 28 = 4*s, 5*s + 0*c + 5*c - 30 = 0. Suppose s*u = -2*w + 2776, 3*u + w = 2302 + 1872. Is u a multiple of 35?
False
Is 10*1/2 - (-774 - 57927) a multiple of 197?
True
Let m = 111837 - 60727. Is 38 a factor of m?
True
Suppose 3*p = -4*x + 8*x - 355, -2*p + 75 = x. Let j = 201 + x. Is 26 a factor of j?
True
Let n(o) = -o + 347. Let l be 14/63 + -4 + 136/36. Is 55 a factor of n(l)?
False
Let c be (-681)/9 - (-8)/12. Let s = -75 - c. Suppose -15*v + 18*v - 345 = s. Is 8 a factor of v?
False
Suppose 144 = -24*o + 8*o. Let p(d) = -d**2 - 30*d - 56. Does 7 divide p(o)?
True
Let h(b) be the third derivative of -59*b**4/24 - 67*b**3/3 + 140*b**2. Is 14 a factor of h(-12)?
True
Suppose 74*q - 478 = 40. Suppose q*b + 486 = 6331. Does 20 divide b?
False
Let k = -8369 + 8900. Is 9 a factor of k?
True
Let y(f) = 5*f**3 - 6*f**2 - 2*f - 1. Let s(z) = -5*z**3 + 7*z**2 + z + 1. Let l(n) = -2*s(n) - 3*y(n). Suppose -203*t = -204*t - 3. Is 20 a factor of l(t)?
True
Let j(v) = 6*v**2 + 0 - v**2 - 2*v**2 - 4 + 9*v. Let u be (8 + 2)/(-5) - 5. Is j(u) a multiple of 20?
True
Let w(l) = -l**3 + l - 3. Let c be w(-2). Suppose 121 + 53 = -c*p. Let n = 98 + p. Is 8 a factor of n?
True
Let q(w) = w**2 - 9*w + 1. Suppose -3*s + 30*s + 297 = 0. Does 17 divide q(s)?
True
Let z be 12/21 - 4185/35. Let m = -119 - z. Suppose -4*w + y + 0*y + 229 = m, 4*y - 128 = -2*w. Does 6 divide w?
False
Suppose -23*a = -25*a + 3000. Suppose -a - 700 = -11*c. Is c a multiple of 8?
True
Let h be 2 + -3 - (-96)/6. Suppose q - h = -11. Suppose 7 = -5*u + 2, -q*u = -4*l + 784. Does 15 divide l?
True
Suppose 0*k + 2*k - 2121 = -3*d, -2*d = 5*k - 5297. Suppose 349 = 19*x - 18*x - 3*n, -3*x + 3*n + k = 0. Is x a multiple of 36?
False
Let h = 130 - 216. Let l = -44 - h. Suppose 2*r + l = 222. Is r a multiple of 45?
True
Suppose 0 = 15*c - 12023 - 2902. Is 38 a factor of c?
False
Let u(h) be the third derivative of 3*h**5/20 + h**4/24 + h**3/3 - h**2. Let k be u(-5). Suppose -m - k = -2*y, -2*y = y - m - 334. Does 16 divide y?
True
Suppose -5*f = -3*z + 2505, -f - 3*f - 2004 = -2*z. Let r = -357 - f. Is 27 a factor of r?
False
Suppose 5*z + 555 = -1490. Let b = z - -912. Is b a multiple of 17?
False
Let v(w) = -1069*w - 8. Is 22 a factor of v(-4)?
True
Let q = 16 - -9. Let v = q - 20. Let i = 103 + v. Is i a multiple of 12?
True
Let v = 4 - -5. Let p(d) = 27*d + 7. Let j be p(v). Suppose -2406 = -22*o - j. Does 49 divide o?
True
Let h be 22/6*1*(-30)/(-2). Let b be h*((-12)/15)/2. Is (36/(-8))/(1/b) + 1 a multiple of 25?
True
Let d = -11 + 11. Let j(b) = 17 - 9*b**2 + d*b**3 + b**3 + 14 - 8 + 7*b. Is j(8) a multiple of 5?
True
Let w = 180 + -104