g = c. Let m = k - -21. Is 7 a factor of m?
True
Suppose 0 = 29*d - 33*d + 2*h + 334, -5*h = -5. Let i = d - 24. Is 21 a factor of i?
False
Suppose 2*w - 4 = 4*b, 3*b + 0*b + 2*w = 4. Suppose t + 13 - 14 = b, 2*s = -t + 661. Does 55 divide s?
True
Let o(b) = 3*b**2 + 7*b - 1. Let u be o(-3). Let j be (0 + -21)*5/15*u. Let h = j - -83. Is h a multiple of 22?
False
Let j(o) = 56*o**2 + 62*o + 29. Does 29 divide j(11)?
False
Let m = -2066 + 3929. Does 27 divide m?
True
Suppose 2*t + 0*t - 60 = 0. Let u = -837 - -1116. Suppose t = p - u. Is 47 a factor of p?
False
Let s be ((-21)/14)/((-15)/(-460)). Is 3 a factor of (s + 42)/((-4)/199)?
False
Suppose 14*o - 9*o - 145 = 0. Does 66 divide 0 - ((-66)/1)/(o/261)?
True
Let l(m) = -35*m + 2. Let t be l(2). Let v = t - -71. Suppose v*x + 6 = 3*c + 333, -4*x + 464 = 3*c. Is x a multiple of 12?
False
Is 26 a factor of 22392/4 - (-22 - -8)?
False
Let u(i) = 2*i**2 - 7*i - 3. Suppose 6*h = -15*h - 189. Is u(h) a multiple of 6?
True
Is 18 a factor of (10454/6 + 1)*(-19305)/(-3575)?
True
Suppose -l = -3*l + 4*b + 25860, l - 5*b - 12912 = 0. Does 3 divide l?
True
Is (-140)/21*(-2582*3/4)/2 a multiple of 40?
False
Let v(j) = -j**3 - 4*j**2 + 2*j - 5. Let q be v(-4). Suppose -20*x + 49 = -711. Let h = x + q. Is h a multiple of 9?
False
Let c be 100/5 + 1*-4. Suppose -4*r = -2*w - c, 2*w + 3*w - 2*r = 0. Suppose 0 = 2*h - 80 - w. Is 23 a factor of h?
False
Let n = 182 - 175. Let w(f) = -29*f + 67. Let s(g) = 19*g - 45. Let m(t) = 8*s(t) + 5*w(t). Does 4 divide m(n)?
True
Let w = 571 - 983. Let r = w - -1292. Does 16 divide r?
True
Let g = 65 + -59. Let z(f) = -f**3 + 5*f**2 + 9*f - 14. Let a be z(g). Suppose a*b - 299 = 7*l - 4*l, 4*b + l = 311. Does 7 divide b?
True
Let r(q) = q**3 - 4*q**2 - 16*q + 2. Let c be r(8). Let s = 221 + c. Is 8 a factor of s?
False
Does 53 divide (6787/(-165) + 6/45)*-238?
False
Let l(g) = -2148*g + 231. Does 43 divide l(-8)?
True
Let t(s) = 1442*s + 140. Is t(2) a multiple of 42?
True
Let j(f) be the first derivative of 1/3*f**3 + 61*f + 2*f**2 + 36 - 1/4*f**4. Is j(0) a multiple of 13?
False
Let a be 34 - -142 - (-4 - -1). Suppose -a*r = -184*r + 2370. Is r a multiple of 9?
False
Let s(n) = 31*n + 3411. Does 166 divide s(40)?
False
Let s = 3586 + -2411. Is 21 a factor of s?
False
Suppose 3*c + 12*w = 17*w + 12490, 2*c - 8330 = 4*w. Does 11 divide c?
False
Let z(k) = 1. Let g(d) = -d - 24. Let o(t) = -t - 36. Let r(p) = 8*g(p) - 5*o(p). Let v(l) = -r(l) - 9*z(l). Does 2 divide v(4)?
False
Let p(o) = 827*o + 450. Let q be p(12). Suppose 0 = 48*j - 10*j - q. Is 15 a factor of j?
False
Let u = 6188 + -779. Is u a multiple of 119?
False
Is (11 - 32)*(-16560)/35 a multiple of 16?
True
Let d(k) = 6*k**3 - 2*k**2 - 3*k + 5. Let x = -8 - -10. Let o be d(x). Let p = o + -17. Does 22 divide p?
True
Let q(o) = o + 6. Let t be q(0). Let c(i) = 3*i - 9. Let h be c(t). Suppose 0 = -4*u - 4*z + 608, 0 = -h*z + 4*z + 25. Is 13 a factor of u?
False
Let m(p) = 3*p**3 + p**2 - 4*p - 17. Let w be m(-4). Let v = 399 + w. Is 31 a factor of v?
False
Suppose -3*s = -s + 2*k - 314, 4*s - 598 = 2*k. Let l = 163 - s. Does 3 divide l?
False
Let y(p) = -2*p**3 + 75*p**2 - 27*p + 9. Let s be y(35). Suppose 0 = 2*v + 5*o - 2611, 8*v - 12*v + o = -s. Does 59 divide v?
True
Suppose -1310969 = 56*z - 4557513. Is z a multiple of 14?
True
Let h = 71 - 66. Suppose 2*x + 2*x - h*w = 2313, 3*x - 1731 = 3*w. Suppose 2*q = -z - 3*z + x, 0 = -2*q - 2*z + 572. Does 13 divide q?
True
Let r(y) = -y - 4. Let m = -35 - -35. Let l be r(m). Let k(p) = p**3 + 4*p**2 - p + 1. Is 5 a factor of k(l)?
True
Let f(u) = u**3 - 8*u**2 + 9*u. Let v be f(7). Let h be ((-105)/v)/15 + (-122)/(-4). Suppose 2*k + 5*q = -k + h, 4*k = -4*q + 40. Is 2 a factor of k?
True
Suppose -10*u - 517 + 227 = 0. Let c = 119 - -2. Let z = u + c. Does 11 divide z?
False
Suppose -2*m - y + 11 + 2 = 0, 0 = -3*m + 3*y + 42. Suppose m*i = 1289 + 1177. Is 20 a factor of i?
False
Let l(p) = -2*p**3 + 125*p**2 - 329*p + 508. Is 8 a factor of l(58)?
False
Is 38 a factor of (((-96)/(-4))/3)/(8/(-221580)*-9)?
False
Let r(g) = -5*g**2 + 33*g + 23. Let n be r(7). Is 5361/n + (-11)/((-231)/(-14)) a multiple of 17?
True
Suppose 403*o - 433*o = -16980. Does 7 divide o?
False
Let r(w) = w**3 - 2*w**2 - 8*w - 1. Let n be (-8)/(-30)*24 - 2/5. Let f be r(n). Suppose 0*m = -2*m + 2*d + 98, d = -2*m + f. Is m a multiple of 13?
False
Suppose 86*t + 80*t - 18816 = 152*t. Does 8 divide t?
True
Suppose d = a - 3, -4*a + 12*d = 10*d - 10. Is 467 + (-3)/a*-2 a multiple of 47?
True
Suppose -5*j + 19343 = 2*r + 6801, -4*j + 10018 = -r. Is 25 a factor of j?
False
Let y(c) = -19*c - 15. Suppose 2 = 4*k - 5*r - 0, 0 = -k + 3*r + 4. Is 23 a factor of y(k)?
True
Let k(f) = 1473*f + 148. Does 11 divide k(11)?
False
Let d = 9224 - -13124. Is d a multiple of 151?
True
Suppose -3*u - 4*m = 510, 2*m + 472 - 134 = -2*u. Let c = -107 - u. Let n = 12 + c. Is n a multiple of 11?
False
Suppose 8*v - 12*v - 28104 = -16*v. Does 13 divide v?
False
Is (145782/105 + 18)/((-1)/(-10)) a multiple of 14?
False
Suppose 7*d = 3*d + 12, -2*v = d - 45. Suppose v*y = y + 12480. Is 48 a factor of y?
True
Suppose -6*o - 10*o + 9086 = -2*o. Does 156 divide o?
False
Suppose 29*j + 8 = 33*j. Suppose 0 = -z + j*w + 55, 8*w - 5*w = -15. Is z a multiple of 13?
False
Let p(q) = q**2 - 21*q + 62. Let m be p(18). Let o be -5*(2/m)/(18/72). Let s = 15 - o. Is s a multiple of 3?
False
Suppose -2*u = 525 + 2017. Let l = 1859 + u. Does 49 divide l?
True
Does 89 divide 40724 + (-21 - (-368)/16)?
False
Let p = 5865 + -2673. Does 19 divide p?
True
Suppose 391687 = -968*q + 1012*q - 60633. Is q a multiple of 20?
True
Let g = 14145 - -777. Is g a multiple of 275?
False
Let h(w) be the first derivative of 15*w**2/2 - 31*w + 17. Let i be h(6). Let d = 95 - i. Is 2 a factor of d?
True
Let y = 429 + 2591. Suppose y = 9*z + 1031. Does 13 divide z?
True
Let q = -5657 + 10831. Is q a multiple of 26?
True
Let n(j) = -2*j**2 - 7*j - 5. Let d be n(-4). Let r(k) = -k**3 - 9*k**2 - k - 6. Let f be r(d). Suppose -y - f + 11 = 0. Is y a multiple of 3?
False
Suppose 27355 = 4*l + 5*d, -l = 3*d - 1664 - 5173. Is l a multiple of 45?
True
Is 2240/(-84)*((-933)/6 + -2) a multiple of 150?
True
Let m(l) = -10*l + 4. Let r be m(-9). Let d = 141 - r. Let g = 61 - d. Is g a multiple of 2?
True
Suppose -z = 0, -3*z - 18711 = -4*w + 3753. Does 117 divide w?
True
Let v = -103 - -99. Is 13 a factor of (v - (-5748)/32) + 6/16?
False
Suppose -13*h = -12*h - 6. Let s(o) = -o**3 + 7*o**2 + 19*o - 18. Is 44 a factor of s(h)?
True
Suppose 9*s + 1290 = 3*s. Let g = s + 277. Is 10 a factor of g?
False
Suppose -37*o + 35*o = 0. Suppose 0*f + 2*f - f = o. Does 16 divide 170/10 + (-1)/1 - f?
True
Suppose -412*y + 89838 = -205*y. Is 14 a factor of y?
True
Suppose 843 + 723 = -3*x. Let m = x + 750. Is m a multiple of 12?
True
Let a(k) = k**3 - 24*k**2 + 22*k + 23. Let p be a(23). Suppose -9*q - 3*q + 1188 = p. Is 13 a factor of q?
False
Let o = -178491 + 279254. Is 13 a factor of o?
True
Let x = -15206 - -15580. Does 11 divide x?
True
Suppose -59*b + 521304 + 156311 = 0. Is b a multiple of 173?
False
Suppose -6*k - 873 = 1173. Let u = k + 499. Is u a multiple of 33?
False
Let m = 6 - 3. Let i(d) = -23*d**3 - 10*d**3 + 3 - 3*d**2 + 37*d**3 + 5*d - 3*d. Is i(m) a multiple of 18?
True
Let s = 50586 + 19820. Does 47 divide s?
True
Let d(y) = -11*y + 9. Let r be d(-5). Let q be 240/r - (-3)/(-4). Is (q*-27)/3*-1 a multiple of 27?
True
Let j(p) = 2*p**3 + 27*p**2 + 19*p + 77. Let z be j(-14). Let m = 1069 + z. Does 12 divide m?
True
Suppose 72*k = -3556 + 11980. Does 4 divide k?
False
Let p = -27855 - -46586. Is p a multiple of 14?
False
Let k(m) be the third derivative of m**5/12 + m**4/4 + 59*m**3/6 - 17*m**2. Does 46 divide k(-5)?
False
Suppose -136024 = 47*a - 103*a. Does 21 divide a?
False
Suppose 0 = 5*c - 38 - 17. Suppose c + 61 = 6*p. Suppose -p*g = -5*g - 364. Is 26 a factor of g?
True
Let k(i) = 20 - 3*i**2 - i - 13 + 2*i**2. Let c be k(-10). Let y = -59 - c. Is y a multiple of 3?
True
Suppose -x + 1675 = -4*j + 7715, 3*j + x - 4544 = 0. Does 24 divide j?
True
Let o(g) = g**3 - 23*g**2 - 13*g - 11. Let p be o(23). Let a = -207 - p. Suppose -b - 3*b + i = -169, -4*i + a =