 o be c(14). Let g = o + m. Is g a multiple of 7?
True
Let l(i) = 2*i**2 - 66*i + 647. Is 21 a factor of l(53)?
False
Suppose -7*k - 90*k + 5917 = 0. Is 15 a factor of k?
False
Let n(w) = w**2 + 6*w + 31 - 2*w**2 - w - 7. Let g be n(-7). Is (230/(-8))/(15/g) a multiple of 16?
False
Let w be (3 - 16/(-10)) + (-8)/(-20). Suppose 3*v = -w*o + 213 + 397, 0 = -o + 5. Is v a multiple of 13?
True
Let y(s) = -89*s + 7. Let v be y(5). Let m = v + 1007. Is 59 a factor of m?
False
Let c(z) = 2*z**2 - 2*z - 7. Let r be c(-7). Suppose p = 5*m + 6 + 103, 3*m + r = p. Suppose 8*b = 5*b + p. Is b a multiple of 28?
False
Let d = -300 - -311. Suppose -d*m + 6*m - y + 1870 = 0, -5*y = -2*m + 748. Does 47 divide m?
False
Let w(z) = 2*z**3 + 2*z**2 - 4. Let m(q) = 155*q**3 - 8 - 13*q**2 - 21*q - 156*q**3 + q**2. Let v be m(-10). Is w(v) even?
True
Suppose -10*p + 3*p = -70. Suppose -20*h + 15*h = -p. Suppose x = 0, 0*k - 4*k + 960 = h*x. Is k a multiple of 30?
True
Suppose -199192 = 138*o - 961366. Does 124 divide o?
False
Suppose -60*v = -3*y - 64*v + 1280, 3*y + 3*v = 1275. Is 6 a factor of y?
True
Let b = 204 - -12896. Does 131 divide b?
True
Let k(q) = 2766*q + 885. Is k(3) a multiple of 126?
False
Suppose -215 = -10*g + 25. Suppose 0 = 16*i - g*i + 672. Is i a multiple of 28?
True
Let g(h) = -659*h**3 + 6*h**2 - 7*h - 48. Does 27 divide g(-3)?
True
Let b(y) be the third derivative of y**6/60 - y**5/5 - 3*y**4/8 - 13*y**3/6 - 2*y**2 - 12. Is b(9) a multiple of 7?
True
Let l(m) = -57*m - 52. Let d(f) = -f - 2. Let r(v) = -3*d(v) + l(v). Is 35 a factor of r(-8)?
False
Let k(v) = -2*v**2 + 6*v + 13. Let m be k(4). Suppose -3450 = -5*x - 3*o, m*x + 5*o - 1393 = 2057. Is 30 a factor of x?
True
Let z = 5 + -3. Suppose 2*x + 10 = -4*a, z*x - 5*x - 42 = -3*a. Let o(d) = -d**3 - 12*d**2 - 18*d - 25. Does 12 divide o(x)?
False
Let h = 153 - 63. Let y(p) = -4*p**3 + 7*p**2 - 3*p. Let r be y(3). Let j = h + r. Does 6 divide j?
True
Let s = 16903 - 12799. Is 108 a factor of s?
True
Let c(n) = -n**2 + 21*n + 1 + 1 - 2*n. Suppose 4*a = h + 21, 0 + 6 = 2*a - 2*h. Does 16 divide c(a)?
True
Does 15 divide 2 + (-98299)/(-8) - 183/488?
False
Let f be 1/(-4) - (-6 - 875/28). Let d(p) = 16*p + 161. Does 14 divide d(f)?
False
Suppose -p + g = -88, 2*p + 2*p - 2*g = 342. Suppose k + 5*j + p + 47 = 0, 0 = 4*k - 4*j + 448. Let q = k + 220. Is q a multiple of 21?
True
Let g = 27 - 25. Suppose 0 = g*o - 38*o + 20520. Is o a multiple of 30?
True
Let w(v) = 62*v**2 - 33*v + 218. Is w(6) a multiple of 30?
False
Suppose -60 = -12*w + 18*w. Let p(b) = -31*b - 46. Is 18 a factor of p(w)?
False
Let b = 1 - -3. Let d(t) = 2*t**2 - 9*t + 6. Let u be d(b). Suppose 3*v - 230 = v + 3*a, u*a - 4 = 0. Does 10 divide v?
False
Suppose 6877 + 4883 = 14*x. Is x a multiple of 7?
True
Suppose p - 4200 = -4*p. Let x be 2/(-16) - 150/(-1200). Suppose p = 4*a - x*a. Is 11 a factor of a?
False
Suppose -89 = 2*l + 43. Let k = -46 - l. Suppose k*d - 24*d = -1184. Does 22 divide d?
False
Let s = -849 + 866. Suppose -s*n + 910 = z - 15*n, -1828 = -2*z - 2*n. Is 34 a factor of z?
True
Let d(o) = 925*o**2 - 48*o - 259. Is d(-7) a multiple of 31?
False
Suppose -2*j = 6, -3*y + 10 - 4 = j. Suppose 5*z + y*w = -0*z - 295, 4*z + w = -243. Let t = -54 - z. Is t a multiple of 8?
True
Let f(s) = -2*s + 4. Let x = -48 + 36. Let j be f(x). Suppose j*m + 72 = 29*m. Is 7 a factor of m?
False
Does 186 divide (-38)/(-114) - 51262/(-6)?
False
Suppose l = 6*l - 280. Suppose 3*x + 50 = l. Suppose -96 - 24 = -x*r. Is r a multiple of 12?
True
Suppose 5*l + 5*h - 40 = 0, 2*l + 2*h - 25 = -3*h. Is 15 a factor of 8 + (-294)/35 + 1727/l?
True
Let j = -143 + 165. Is (1914/j)/(1/((-8)/(-6))) a multiple of 29?
True
Let n = -276 + 1291. Is 5 a factor of n?
True
Let d = -45831 - -46055. Is 5 a factor of d?
False
Let d(h) = -h**3 - 11*h**2 - h + 14. Let n be d(-11). Does 4 divide (21 - n)/(1/(-9))?
True
Let n(a) be the third derivative of -a**6/8 - 5*a**4/6 + 5*a**2. Let b(l) be the second derivative of n(l). Is b(-1) a multiple of 30?
True
Suppose 0 = 4*t - 7 + 11. Let s be 812/252 - (-2)/(-9). Is 23 a factor of 2 + (427 - t)*s/6?
False
Let q(t) = t**3 - 7*t**2 + 18*t + 12. Let y be q(8). Let u = y - 115. Is u a multiple of 21?
True
Suppose -78*s + 83*s = 20, -i - 5*s + 8295 = 0. Is 25 a factor of i?
True
Let b = -193 + 200. Suppose 181 - 1861 = -b*k. Is 15 a factor of k?
True
Suppose 2*m = l - 70, -4*l = -0*l - 5*m - 274. Let t = 126 - l. Is 20 a factor of t?
True
Let u be -2 - -1 - -1 - -2. Suppose -8 = 6*t - u. Let f(q) = -46*q**3 - 3*q**2 - 3*q - 1. Is 9 a factor of f(t)?
True
Let v be ((-58)/290)/(2/(-10)). Is 190168/242 - (13/(-11) + v) a multiple of 6?
True
Suppose 0 = 2*i + 2*k + 4, 3*i - 4*i = -4*k - 18. Let u be 2 - (-2 - 85) - 2. Suppose i*s = -27 + u. Does 10 divide s?
True
Let h(s) = s**3 + 9*s**2 - 11*s - 14. Let y = 145 - 135. Suppose y*p + 22 = -48. Is 7 a factor of h(p)?
True
Is 30 a factor of ((7425/(-22))/(-15))/((-15)/(-1460))?
True
Suppose 7516 + 21581 - 165897 = -16*a. Is 114 a factor of a?
True
Suppose -3*n - 100 = -118. Let f(h) = h**3 - 11 - 7*h**2 - h + 3*h**2 + 0*h**2. Is 7 a factor of f(n)?
False
Suppose 527 - 79 = 7*g. Let f = 66 - g. Does 12 divide 2 - (2/f - 59)?
True
Let a = 8 - -25. Let c(f) = -f**3 + 7*f**2 + 21*f + 10. Let l be c(9). Let j = l + a. Is j a multiple of 10?
True
Let v(c) = 2*c**3 - 8*c**2 + 14*c - 11. Let b be ((-85)/51)/(-1*1/3). Is v(b) a multiple of 7?
False
Suppose -4697 = 4*b - 15577. Does 40 divide b?
True
Suppose -112*n + 129*n = 23135 + 13160. Does 35 divide n?
True
Let u be (-7)/((0 - 3)/6*2). Suppose 12*v - u*v = -4*b + 1566, -3*v + 1176 = 3*b. Is b a multiple of 38?
False
Let d be 4/(((-16)/(-6))/((-4)/(-6))). Let t be (-4)/(-1)*(-1)/(d - 3). Suppose 5*l + 2 = 2*h - 36, -5*h + 124 = t*l. Is h a multiple of 3?
True
Suppose 1317 = -3*h + 2343. Is h a multiple of 6?
True
Let p = -19352 - -19824. Is 33 a factor of p?
False
Let n(o) = 52*o + 220. Let r be n(11). Let q = -720 + r. Does 3 divide q?
True
Suppose 82*v - 1517775 = 23*v - 46*v. Is v a multiple of 11?
False
Suppose 3*l + 27 - 39 = 0, 0 = 2*a - 4*l + 2610. Let p = 293 - a. Is 53 a factor of p?
True
Suppose -24*n - 336 = -31*n. Let h(s) = s**3 + 11*s**2 + 9*s - 5. Let l be h(-10). Does 6 divide (n/(-14))/(l/(630/(-12)))?
True
Let b(y) = 233*y + 7. Let u be b(4). Let c = u + -649. Suppose c = 2*i + 14. Is i a multiple of 13?
False
Suppose -9*k - 13675 + 47650 = 0. Does 120 divide k?
False
Let k(i) = -i**3 - 14*i**2 + 13*i - 12. Let q be k(-15). Let o be (-2)/((-3)/(q/(-3))). Let p = 20 + o. Is p a multiple of 4?
True
Let f = 548 - 499. Suppose k = -3*m - 101, 5*m - 2*k = -0*k - 150. Let r = m + f. Does 4 divide r?
False
Let n(u) = -363*u - 9317. Is 165 a factor of n(-72)?
False
Let n = 91 + -61. Let w = n + -28. Does 9 divide w/(-4)*-271 - 5/10?
True
Suppose -8*k + 3881 + 1623 = 0. Is 4 a factor of k?
True
Let g = -8359 + 18133. Is g a multiple of 8?
False
Suppose 3*t - 7776 = 3*p, 5*t + p - 12964 = 5*p. Does 44 divide t?
True
Is 19/(190/40) + 1084 a multiple of 8?
True
Let d(x) = 282*x**3 - x**2 - 4*x + 5. Suppose -1 = 2*f - 3. Does 9 divide d(f)?
False
Is (1352/(-260))/((-4)/640) a multiple of 8?
True
Let z(q) = -q**3 - 1 - 5*q**2 + 0*q**3 + 0*q**3 + 2*q. Suppose 7*b + 5*i = -67, -4*i - 3 - 23 = b. Is z(b) a multiple of 3?
False
Let y be 14*3/(-18)*3. Let u(v) = -4*v**2 - 14*v - 3. Let h be u(y). Let a = 233 + h. Does 22 divide a?
True
Suppose -2*g + 65875 = -2*p + 9*p, -p = -2*g - 9413. Is 69 a factor of p?
False
Let v(b) = 57*b + 8619. Is 33 a factor of v(0)?
False
Let i(v) = v**3 - 14*v**2 - 3*v - 22. Let d(x) = -3*x**3 + 42*x**2 + 10*x + 66. Let o(w) = 3*d(w) + 8*i(w). Let k be o(13). Let h = k - 157. Does 28 divide h?
True
Let w(n) = n**3 - 6*n**2 - 3*n - 13. Let s be w(9). Suppose -5*u + 1015 = 5*x, 5*x - 6*x - 2*u = -s. Let c = x - 106. Is 25 a factor of c?
False
Let g = 15892 + -9652. Is 41 a factor of g?
False
Suppose 22*x + 15658 = 18*x + 49454. Is x a multiple of 17?
True
Let j(c) = -c + 5*c - 28*c - 27*c + 8 + 4*c. Is j(-8) a multiple of 16?
True
Let v(d) = -8*d**3 + 6*d**2 - 14*d + 8. Let g(a) = 7*a**3 - 6*a**2 + 12*a - 7. Let i(b) = -9*g(b) - 8*v(b). Let x be (-22)/6 + 2/(-6). Does 12 divide i(x)?
False
Suppose 