p be u(20). Is (-16)/36 - 40212/p a multiple of 7?
False
Let q(y) = y**2 + 2*y + 182. Does 2 divide q(-7)?
False
Let n be 3*(0 - -4) + -2. Let i(o) = 5*o + 4*o - n*o - 1 + 11. Is i(-4) a multiple of 7?
True
Let b = -42 + 44. Suppose 5*m = -5*j + b*j + 87, 0 = -5*j + 3*m + 145. Does 2 divide j?
False
Let j = 728 - 237. Let b = -471 + j. Is b a multiple of 5?
True
Let c(o) = -7*o**3 - o**2 + 2*o - 4. Let z be (2/(-4))/(24/(-96)) - 4. Does 4 divide c(z)?
True
Let n = -1777 - -3203. Is 16 a factor of n?
False
Let c(m) be the third derivative of m**5/60 + 5*m**4/24 + 3*m**3/2 - 3*m**2. Let d be c(-3). Suppose 4*w = d + 77. Is w even?
True
Let m = -484 + 494. Is 255/m*(-1 + (-49)/(-3)) a multiple of 23?
True
Let o(f) = f**3 + f**2 - 7*f + 3. Let h(r) = -5*r + 3. Let t be h(0). Let m be o(t). Suppose -m*g = -16*g - 78. Is 17 a factor of g?
False
Let b(j) = 93*j + 45. Let y be b(-2). Let r = 517 + y. Does 19 divide r?
False
Let m(v) = 162*v**2 - 87*v + 505. Is 71 a factor of m(6)?
False
Suppose -1599 - 2366 = -5*v. Suppose -9*h + 2899 = v. Let o = h + -6. Is o a multiple of 38?
True
Let z = -3630 + 4031. Is 2 a factor of z?
False
Suppose -5*g = -24073 - 17112. Does 22 divide g?
False
Suppose 4*o - 9 = -6*n + n, 0 = 2*n - 2*o - 18. Suppose -3*r = n*y - 335, 2*y - r + 6*r = 153. Is 8 a factor of y?
True
Let h be 3*(0 + -1) + 8. Suppose 0 = -6*c + h*c + 46. Suppose i = -5*p - 14, -2*i + 7*i - c = 4*p. Does 6 divide i?
True
Suppose 0 = -47*a - 16*a + 361864 + 212696. Is a a multiple of 19?
True
Does 40 divide 45/27*(73*1 + (-49 - -48))?
True
Suppose 20*n - 2609 = 1351. Suppose -193*l = -n*l + 1840. Does 46 divide l?
True
Is 7 a factor of 70/(-60)*-12 + 2414?
False
Let c = 36988 + -22355. Is c a multiple of 11?
False
Let w(j) = 288*j**2 + 57*j + 300. Is 25 a factor of w(-6)?
False
Let l be (-21 + 0)/((-93)/62). Let u = 357 - l. Does 49 divide u?
True
Let p(o) = -120*o**2 - 7*o - 18. Let j be p(-2). Let r = j - -834. Is r a multiple of 27?
False
Suppose 11*w - 12*w + 2*m = -29534, 2*m + 12 = 0. Does 13 divide w?
False
Let k(o) = -5*o**2 + 21*o - 121. Let t(l) = -9*l**2 + 43*l - 239. Let p(s) = -7*k(s) + 4*t(s). Does 3 divide p(8)?
True
Let z be ((-3)/12)/(1 - 15/12). Let j(w) = -z + 119*w + 6 + 0 - 3. Does 13 divide j(1)?
False
Suppose -3*p + 4106 = f - 5687, -3*p = 5*f - 9773. Is 29 a factor of p?
False
Let y be 64/((-4)/1) - -2. Let s be -3 - (0/(-5) - y). Let f = -11 - s. Does 2 divide f?
True
Let o = -910 - -1429. Suppose o = 3*b + 99. Is 6 a factor of b?
False
Let i(w) = 98*w - 34. Let a be i(4). Let t = 886 - a. Suppose 0 = -4*j + 3*p + p + t, j + 5*p = 120. Is 10 a factor of j?
True
Let r = 13463 + -6797. Is r a multiple of 66?
True
Let a(n) = -n**3 + 19*n**2 - 3*n - 64. Let b = 405 - 391. Is 23 a factor of a(b)?
True
Suppose -24 = -2*h - 16. Is ((-60)/(0 - 3))/(2/h) a multiple of 16?
False
Suppose -219 + 3351 = m - 3*h, -5*h = -4*m + 12528. Is m a multiple of 36?
True
Suppose 4*k + 22 = -5*h, -h + 3*k + k + 10 = 0. Let x(n) = -3*n - 4. Let z be x(h). Let f(m) = 15*m**2 + 3*m + 1. Is 27 a factor of f(z)?
False
Let b = -40 + 26. Let h = b + 17. Suppose -w - 4*n + 258 = w, -h*n - 144 = -w. Is w a multiple of 14?
False
Suppose 26726 + 122325 = 239*k + 15211. Is k a multiple of 4?
True
Suppose 3*t - 42686 = n, 5*n + 11801 + 2395 = t. Does 133 divide t?
True
Is (-798)/66 + 12 + 75870/33 a multiple of 35?
False
Let o = -69 + 87. Suppose 0 = -a + 110 - o. Is a a multiple of 4?
True
Let u = -4390 - -8950. Is 120 a factor of u?
True
Let k(u) = -u + 13. Let v be k(9). Let b(d) = -5*d**2 + 47*d - 52. Let t be b(8). Suppose -4*i + t*n = -0*n - 424, v*n = i - 112. Is 26 a factor of i?
True
Is 5 a factor of (0 + 6*(-79)/(-2))/((-42)/(-98))?
False
Suppose 3 = 29*h - 28*h. Let q(z) = 13*z**2 - 18*z + 41. Is 13 a factor of q(h)?
True
Let o(z) = 5*z**2 - 123*z + 1318. Let t be o(12). Suppose 0 = -r - 2*r - 1200. Let a = t + r. Is 20 a factor of a?
False
Suppose 5*k + 410 = 3*f - 114, 3*k + 12 = 0. Suppose -3*i = -2*p - f, -i - 3*p = -0*i - 56. Does 28 divide i?
True
Let m(c) = 47*c - 24. Let q be m(6). Suppose -6*p = -690 + q. Suppose 3*l = p + 18. Is l a multiple of 5?
True
Suppose -223*q - 383466 + 1619145 + 1111842 = 0. Does 33 divide q?
True
Suppose -c + 5*c = -3*d + 70, 3*c = -3*d + 51. Suppose -5*o + 100 + 10 = 0. Let l = o - c. Does 3 divide l?
True
Let q = 1118 - 213. Suppose -5*p = -160 - q. Does 14 divide p?
False
Let k(z) = -3*z - 13*z - 24*z**2 - 5*z - 26 + 23*z**2. Let g be k(-9). Is 17 a factor of 18 + -15 - g/(-1)?
True
Let f = 5933 + -5928. Suppose -2*v - 3*b + 548 = 0, v + 121 = -2*b + 393. Is 14 a factor of (v/25)/4*f?
True
Let f be 34315/15 + (-1)/(-3). Is f/65 + (-4)/(-10)*2 a multiple of 12?
True
Let c = 7255 - 6871. Does 6 divide c?
True
Let k be (-3)/(-3 + -6)*9. Suppose -2*i = 4*r - 3486, -k*r = -3 - 3. Is i a multiple of 125?
False
Suppose c - 2350*b - 5385 = -2348*b, 3*b = -2*c + 10742. Does 17 divide c?
False
Is 10*(-9918)/15*(-3 + 0) a multiple of 114?
True
Let g(k) = k**3 - 19*k**2 - 16*k - 9. Let r be g(20). Let u = -54 + 123. Suppose 0 = -4*j + r + u. Does 8 divide j?
False
Let l be 3 + 0*(-3)/18. Let x be (2 + -1)*(-2 - -9). Suppose l*s + 480 = x*s. Is 20 a factor of s?
True
Let a(r) = 148*r - 119. Let t be a(8). Suppose 4*m - t = 1531. Is 39 a factor of m?
False
Suppose p - 2 + 6 = 0, -4*h + 3*p = -132. Suppose -11 = 3*m + 2*d - h, 5*m = -4*d + 33. Let b(o) = 11*o + 5. Is b(m) a multiple of 34?
False
Let z(v) = 2*v**2 + 17*v - 10. Let m be z(-27). Suppose 10*k = 1781 + m. Is 9 a factor of k?
False
Suppose -d = 2*z - 8575, 4*d + 17096 = -541*z + 545*z. Is 115 a factor of z?
False
Is 33/11*(425 - 5) a multiple of 7?
True
Let u = -62 + 56. Let x be 259/21 + (-4)/u. Suppose 3*z = x*z - 170. Is z a multiple of 2?
False
Suppose 0 = 3*u + 6*u + 9. Let g = u - -4. Suppose -46 + 10 = -q + 3*l, -g*l + 156 = 3*q. Does 22 divide q?
False
Suppose -5*w - 5556 = -4*c - 49405, -3*w + 26307 = -3*c. Is w a multiple of 72?
False
Let w(n) = -218*n**3 + 2*n + 5. Let s(q) = -435*q**3 + 6*q + 10. Let x(z) = 3*s(z) - 7*w(z). Is x(1) a multiple of 15?
False
Suppose 0 = -b - 3*t - 6, 0 = 2*b - 4*t - 8. Suppose 10*q - 668 - 52 = b. Is q a multiple of 24?
True
Suppose 31 = 2*g - 33. Let s = -33 + g. Let n(w) = -72*w**3 - w - 1. Does 12 divide n(s)?
True
Does 76 divide (-4 - (-184038)/9) + (144/(-54) - -2)?
True
Let c(j) = 5*j - 35. Let x be c(8). Suppose -l + 3*r + x = 0, 5*l = -5*r + 7 + 18. Suppose 0 = 6*m - l*m - 24. Does 6 divide m?
True
Let i(h) = h**2 + 33*h - 84. Let o be i(-36). Let x(n) = -n**2 + 36*n - 75. Is 9 a factor of x(o)?
False
Let l(w) = 255*w + 27. Let x be l(3). Suppose 13*a - 9*a - x = 0. Suppose -338*s - a = -341*s. Is s a multiple of 10?
False
Suppose 0 = 5*l - 11*r - 48079 + 9395, 0 = -5*l + 4*r + 38726. Does 5 divide l?
True
Let m be -2 + ((-10)/(2 + -1))/2. Let f(x) = -23*x - 16. Let k be f(m). Suppose 305 + k = 5*v. Is v a multiple of 15?
True
Let x(t) = -20*t - 94. Let c be x(-6). Suppose 0 = 23*b - c*b + 108. Is b a multiple of 10?
False
Let m be (-4 + 16/5)*(-285)/(-6). Let w be (6 - m/(-6))/((-1)/6). Let g = w + 3. Does 5 divide g?
True
Let r be (0 - 1)/(4/(-16)*2). Suppose -4*z + z = -u - 75, 0 = r*u. Does 8 divide -1*((-3)/(6/(-2)) - z)?
True
Suppose 3*p + 7 = 1. Let f be 2/p*(1 + -1). Suppose -z - 2*z + 288 = f. Is 46 a factor of z?
False
Let v(m) = 2*m**3 + 12*m**2 + 13*m - 20. Let d be v(-7). Let j = 212 + d. Is 2 a factor of j?
False
Let m(a) = 3*a**3 - 6*a**2 + 11*a - 8. Let z be m(4). Suppose 3*b = -k + z, -4*b - 438 = -3*k + b. Suppose -5*r + 451 = 3*l - r, -l + k = -r. Does 29 divide l?
True
Let g(a) = -1336*a + 9986. Is 10 a factor of g(0)?
False
Let c(p) = 490*p - 15. Is 71 a factor of c(8)?
True
Suppose -1178 = -0*b - 10*b - 2*t, 5*t = b - 123. Let h = 120 + -206. Let o = b + h. Does 3 divide o?
False
Let t = -53 - -51. Let j be (0 - -2 - 3) + 5 + t. Suppose j*p = 7*p - 25. Is p a multiple of 2?
False
Suppose 5*r - o = 8, 10*r - 5*r = -3*o + 16. Suppose r*i = 6, v + 6*i - i - 23 = 0. Suppose -v*c = -2375 + 671. Does 49 divide c?
False
Suppose 1890 = 26*g - 6950. Is 10 a factor of g/(-6)*((-164)/20 - -7)?
False
Let t = -90 + 105. Suppose -300 = 9*u - t*u. Does 25 divide u?
True
Let r(h) be the third derivative of 35