oes 9 divide m(0)?
False
Let a(m) = -10*m + 2. Let z be a(-2). Let y(p) = -11*p**3 + p**2 - 2*p + 1. Let h be y(1). Let k = z - h. Is k a multiple of 33?
True
Let j(r) = 10 - 208 - 81 + 28 - 42*r - 17. Is 41 a factor of j(-17)?
False
Suppose -5*x - 3*r = -1035, 4*x - 860 = 2*r + 2*r. Does 11 divide (84/(-10))/((-7)/x)?
False
Suppose 18010 = 4*c - 6*d + 688, -2*c + 8696 = 2*d. Is 56 a factor of c?
False
Suppose 6*l = 8911 + 20549. Suppose -l = -5*y - 0*y. Suppose -132 = 5*c - y. Does 34 divide c?
True
Let g(t) = -1304*t - 2414. Is 19 a factor of g(-8)?
True
Let s = 780 + -153. Suppose 5*o - 1742 + s = 0. Is o a multiple of 27?
False
Let x(y) = -y**2 - 13*y - 15. Let c(h) = h**2. Let z(f) = 2*c(f) + x(f). Let s be z(22). Suppose -8*n + s = 23. Is 10 a factor of n?
True
Suppose -55*j + 60*j + 575 = 0. Let z be (((-8)/(-10))/2)/((-1)/j). Is 46 a factor of z/(2 - (1 - (-4 + 4)))?
True
Suppose -46*o + 241098 = 75084. Is o a multiple of 12?
False
Suppose 9*d = 8*d + 441. Let l be 1 + d - (18 - 16). Is 22 a factor of 5/(102/l - (-4)/(-22))?
False
Suppose 15 = 5*x - 2*x. Suppose -2*g - 171 = -5*g + 2*y, -g = 5*y - 57. Suppose i + x*z = g, -3*z - 257 = -2*i - 3*i. Is i a multiple of 13?
True
Is 17 a factor of 7 + 0 - (-1761 + -17)?
True
Let p be -26 - -11 - -11 - -7*1. Suppose 5*b = 20, 0 = 4*f + 3*b - b - 20. Suppose g - 295 = -p*g + 5*m, 0 = 4*g - f*m - 289. Is 14 a factor of g?
True
Does 6 divide (-56)/(-1) - (6 - 2)*2?
True
Let k be 74*(-1 - (-2 + 0)). Let i = k - 59. Let h = i - -5. Does 3 divide h?
False
Let i = -327 - -332. Suppose 5*x - 2*t - 1880 = 0, 4*x - i*t = 2*x + 731. Is x a multiple of 21?
True
Let l = 6654 - 1825. Does 19 divide l?
False
Suppose 0 = 10*h - 213*h + 1627045. Is h a multiple of 43?
False
Suppose -m - 274 = -3*s, -s - s + m + 184 = 0. Is s + -2*(-5 + 7) a multiple of 12?
False
Let x(k) = 27 - 68 + 34 - 4*k. Let c be x(-3). Suppose -2*p + 2*b = b - 74, 2*b = -c*p + 194. Is p a multiple of 38?
True
Suppose -138*v + 65195 = -210805. Does 10 divide v?
True
Let n = -72 + 76. Suppose n*y + 2*w - 114 = 82, -5*w = -3*y + 121. Let p = 78 - y. Is 14 a factor of p?
False
Let w = -7096 - -24254. Is 39 a factor of w?
False
Let g = 3595 - -521. Is 28 a factor of g?
True
Suppose -3*s + 2*s = -16. Suppose -3*r - 2*v + s = 0, 5*r - 2*v = v + 14. Is 9 a factor of -4*((-1)/r*-4 + -10)?
True
Let b = -1183 + 1927. Suppose -1706 = -7*a + b. Is 50 a factor of a?
True
Let s = 8557 - 5665. Is 12 a factor of s?
True
Let z(b) = 223*b**2 + 109*b + 212. Is z(-2) a multiple of 28?
False
Let a(g) = -g**3 - 7*g**2 - 5*g + 11. Let y be a(-6). Suppose 2*n - 2 = 2*q, 2*n + 4*q = y*n. Suppose n*x - 130 = -x. Is x a multiple of 13?
True
Suppose -5*c - 26*c - 68*c + 130680 = 0. Is c a multiple of 20?
True
Suppose -7658*w = -7634*w - 158928. Does 86 divide w?
True
Suppose 4*h + 13 = -6*v + v, 2*v - 8 = 5*h. Let m be (372/10 - 0)/(3/10). Is 14 a factor of (-2 + m/(-2))/h?
False
Suppose -5*b + 817 = 2*i, -b + 1594 = 4*i + b. Let f = i + -5. Does 47 divide f?
False
Let x(d) = 4 + 5 + d**3 + 8*d - 8*d**2 + 9*d**2 + 7*d**2. Let i be x(-7). Is (680/(-100))/(-2*i/40) a multiple of 22?
False
Suppose 6*f - 10*f + 382 = 2*k, k - 3*f - 186 = 0. Let c be -3 + (7 - (-2)/2). Suppose 56 = r - 4*y, -k = -c*r - y + 7. Is 10 a factor of r?
True
Suppose 3*l = -3*s + 507, -2*s + l = -5*s + 517. Let i = 282 - s. Is i a multiple of 36?
True
Let x = 350 + -355. Let c(s) = -s**3 - 3*s**2 - 2 + 1 - s**2. Does 8 divide c(x)?
True
Let q = 29 + 68. Let l = q + 146. Does 38 divide l?
False
Let y(c) = -151*c - 5. Let d be y(-3). Suppose -4*j + d = 3*j. Suppose -6*m + j = -4*m. Does 16 divide m?
True
Suppose 615 = 5*y - g, 0*y - g + 117 = y. Suppose 28 = 21*v + 28. Suppose 3*j - 7*j + 5*x = -y, -x - 2 = v. Does 9 divide j?
False
Let c = 17716 - 10310. Is c a multiple of 18?
False
Suppose -20 = 38*r - 48*r. Suppose 4*p - m = 239, -2*p - r*m + 7*m + 97 = 0. Does 31 divide p?
False
Let i(k) = -283*k**3 + 2*k**2 + 2*k + 1. Let q(x) = -x + 15. Let o be q(16). Let f be i(o). Suppose -23 = 3*v - f. Does 13 divide v?
False
Let v(o) = 4*o**3 - 406*o**2 - 559*o - 13. Is v(103) a multiple of 8?
True
Let s = -18106 + 26093. Does 47 divide s?
False
Let z(r) = 55*r**3 - 8*r**2 + 11*r - 29. Let l(p) = 18*p**3 - 3*p**2 + 4*p - 10. Let m(w) = 17*l(w) - 6*z(w). Is 4 a factor of m(-2)?
True
Let k(b) = -1 + 44 + 13*b + 29 - 8. Is k(16) a multiple of 17?
True
Suppose -5*q - 77 = 3*c, c = 5*c + 16. Let d(b) = b**2 + 12*b - 10. Let h be d(q). Suppose -13 + 34 = h*g. Is 7 a factor of g?
True
Does 29 divide 1276/29*(-190)/(-8)?
False
Suppose -1634 = -14*o - 458. Suppose -o*t + 91*t = 5040. Is 16 a factor of t?
True
Suppose -291233 - 306007 = -120*s. Does 3 divide s?
True
Let a = 5352 + -3020. Is 15 a factor of a?
False
Let v(g) = -16*g - 45. Let u be v(-3). Suppose -r - 128 - 93 = -u*o, 3*r = -6. Does 73 divide o?
True
Suppose -2*z = u - 2532, 0 = 3*z - 5*u - 2204 - 1581. Suppose 11*f - z = 6*f. Does 6 divide f?
False
Let j(g) = 364*g - 3306. Is 114 a factor of j(57)?
True
Suppose -10*a - 339 = -4*z - 7*a, -354 = -4*z - 2*a. Suppose -u + z = 5*m, 7*u - 39 = -3*m + 2*u. Is m a multiple of 18?
True
Let z = 151 - 141. Is 26 a factor of (6 - 5) + (z*-31)/(-2)?
True
Suppose 0 = -66*n + 63*n - 113*n + 277820. Is n a multiple of 45?
False
Let z be 2/((-8)/(-18)*15/10). Suppose 0 = 3*c - z*n - 2*n + 25, 0 = -2*c + 4*n - 20. Suppose -2*o = -3*m - 264, 3*o + 4*m = -c*m + 396. Is o a multiple of 22?
True
Let v(j) = -592*j + 6. Is 8 a factor of v(-3)?
False
Let u be (-2)/(2/(-7)) - 13. Suppose 4*c + 33 = 2*k - 7*k, -24 = k - 5*c. Does 12 divide (1 - 1122/k) + u/9?
False
Suppose 2*f = 6*f - 280. Suppose -f*j - 18 = -73*j. Suppose -j*u - 56 = -2*q - 2*u, -4*q + 4*u + 104 = 0. Is q a multiple of 12?
True
Let v be 4/10 + (-336)/(-35). Let l(o) = -o**3 + 10*o**2 - 5. Let s be l(v). Let g = s + 10. Is g a multiple of 3?
False
Suppose 2*n = n + 6. Suppose 4*m - 1 - 3 = 0, m - n = -k. Does 4 divide 39/k - (-2)/10?
True
Let p(q) = -5 + 0 - 225*q**3 - 6*q + 5*q + 4. Is 45 a factor of p(-1)?
True
Let w(n) = n - 7. Let z be w(2). Let m(p) = 9*p**2 + 3*p - 4. Does 30 divide m(z)?
False
Let r(v) = -v**2 + 20*v + 60. Let b be r(20). Is 39 a factor of 2 + ((-1)/(-1) - b*-11)?
True
Let t(u) = 5*u - 5. Let n(r) = 9*r - 10. Let z(v) = -4*n(v) + 7*t(v). Let k be z(3). Suppose i = -k*i + 108. Does 6 divide i?
True
Let q(y) = 7*y + y**3 - 2*y**3 + 235 - 227 + 4*y**2. Let v be q(-5). Suppose -10*m + 462 = -v. Is 33 a factor of m?
True
Let n = 1467 + 579. Is 62 a factor of n?
True
Let n be (-2 - 4 - -1) + -1329. Let a = -735 - n. Does 13 divide a?
False
Let d = 48338 + -33657. Is 277 a factor of d?
True
Suppose 942 + 469 = 17*g. Let n = g - 30. Does 11 divide n?
False
Let z be (-19)/((-1 - 10/(-5))/(-1)). Is 15 a factor of 2316/z + 9 + (-1014)/114?
False
Suppose -9*q + 12*q - 2*j = 26, -4*q = -j - 28. Suppose -q*c + 323 = -133. Does 3 divide c?
False
Suppose 0 = 5*u - 462 + 197. Suppose 3*k + u = -196. Is 16 a factor of -3 - (k - 0*(-2 + 1))?
True
Let z(u) = -82*u**3 + u + 1. Let y be z(-1). Let i = -46 + y. Does 18 divide i?
True
Let w(x) = 927*x**2 - 8*x + 36. Let f be w(3). Suppose 0 = l + 3*l + 20, -4*l - f = -5*o. Is o a multiple of 26?
False
Let z(p) be the second derivative of -19*p**6/120 - p**5/120 - p**4 + 12*p. Let l(g) be the third derivative of z(g). Is 19 a factor of l(-1)?
False
Suppose 4*g = -4*u + 66 - 590, -125 = u + 4*g. Let r = 12881 + -12883. Does 2 divide u*(r + 60/35)?
True
Suppose 7*b = -381 + 395. Suppose b*k = -s + 297, 65*s - 6 = 63*s. Is k a multiple of 28?
False
Let j be 1*5/(-20)*0. Suppose -3*f + 3*g + 63 = 0, -3*f - 2*f + 3*g + 99 = j. Is f a multiple of 3?
True
Is ((2/(-3))/(-1))/(-5 - (-1422048)/284409) a multiple of 61?
False
Let i = 303 - 335. Is (-8)/i - 1486/(-8) a multiple of 5?
False
Let r(k) = 1927*k - 32. Let m be r(6). Suppose -11*q = -m + 1388. Suppose -4*b + 0*z - 5*z + q = 0, -z = -b + 226. Is 22 a factor of b?
False
Let t(q) = 483*q + 1090. Is t(6) a multiple of 4?
True
Let y = 2315 - 703. Is y a multiple of 13?
True
Let n be (32/130 - (-2)/13)*5. Suppose -w + 349 = n*w - 4*f, w - f - 117 = 0. Does 11 divide w?
False
Let p be 1*(-4 + 25) - (1 - 4). Let g be p/(-1 - 3/6). Let v(x) = -x**2 - 24*x + 1. I