= 0. Is 10 a factor of h?
True
Let v(g) = -496*g - 3600. Is v(-51) a multiple of 339?
True
Suppose 352 + 746 = 6*n. Let a = -166 + n. Is a a multiple of 3?
False
Is 407 + 68/(-17)*(1 - (-2)/(-4)) a multiple of 15?
True
Let h be 26*(-9 - (-273)/6). Suppose -i + 2*l = -0*l - 577, 0 = 3*l - 15. Suppose -k = 5*p - h, -4*p + 5*k - i = -7*p. Is 9 a factor of p?
True
Let m(z) = 9*z + 26. Let s be m(-5). Let g be (24 + s)/((-2)/1234). Is g/(-15) + 3/9 a multiple of 11?
False
Let n(v) = 16*v**2 + 46*v + 220. Is 34 a factor of n(-10)?
True
Suppose 4*o + 8436 = -8*o. Let f = o - -1334. Is f a multiple of 21?
False
Let j(t) = t**2 - 2*t - 102. Let c be j(14). Is 42 a factor of (-13252)/(-44) + (-12)/c?
False
Suppose 0 = -44*h + 47*h - 27. Suppose -11 - 16 = h*p. Is (p/(-6))/(1046/(-524) - -2) a multiple of 17?
False
Let u(d) = -41*d**2 - 3*d. Let o be u(1). Let l be (8/3)/(o/(-2838)). Let f = l - 108. Is 9 a factor of f?
False
Suppose -4*d - 3*f = -15, 0 = -2*f - 11 + 21. Suppose 2*o - 1998 = -d*k - 4*k, 7*o - 1993 = -4*k. Is 25 a factor of k?
True
Suppose 3*f + 141750 = 5*m + f, 2*f + 113400 = 4*m. Is 23 a factor of m?
False
Let n(y) = -8267*y - 270. Is 13 a factor of n(-2)?
False
Let d(v) = 5*v**2 - 2*v - 5. Let q be d(6). Let z = q - 3. Is 20 a factor of z?
True
Let a = 104 - 80. Let q = a + 43. Is q a multiple of 26?
False
Suppose 0 = 8*f - 3 - 5. Let j be 72/(-3 + -1) - f. Is ((-1)/(-1))/(j/(-798)) a multiple of 12?
False
Suppose 3*d - 4*h - 40778 = 3142, -2*d + 29295 = -h. Is 36 a factor of d?
True
Let u = -242 - -163. Let o = 84 + u. Is 12 a factor of (1 + (-9)/o)/((-2)/300)?
True
Let k(z) = 2*z**2 - 40*z + 182. Let h be k(12). Let q = 12 - 27. Is (-4)/h + (-444)/q + 4 a multiple of 5?
False
Let i be (-11 - (-162)/30)/(2/45). Let g = i - -222. Is g a multiple of 6?
True
Suppose -7*k + 2*k = 35. Let v(s) = -2*s**2 + 24*s - 28. Let m be v(11). Does 20 divide (90/k)/(m/56)?
True
Suppose -2*a = 3*a - 5900. Let f be (-6)/(-9) + a/12. Suppose 0 = 3*t - f - 99. Is t a multiple of 26?
False
Let t(f) be the third derivative of -7*f**6/120 + f**4/12 + f**3/3 - 7*f**2. Let z be t(-1). Suppose -86 = -9*q + z*q. Is 26 a factor of q?
False
Let b = 18247 + -11719. Is 128 a factor of b?
True
Let f(u) = -u**3 - 14*u**2 - 2*u - 20. Let s be f(-14). Is -1 + s + 864 + -7 a multiple of 48?
True
Let u = 5253 - 3688. Is 20 a factor of u?
False
Is 36 a factor of (-2)/(8/(-87))*(-244 + 340)?
True
Let b = 7666 + -1720. Does 6 divide b?
True
Let l(f) = 5*f**2 - f + 2. Let y be l(-3). Let q be (3 - 74 - 13)*2/4. Let g = q + y. Is g a multiple of 8?
True
Suppose -7*x = 206 - 997. Let l = x - 49. Is l a multiple of 16?
True
Suppose -x + 2 + 9 = -4*c, c = -4*x + 10. Suppose 3*d - 78 = -r, 5*r + 3*d = 9*r - 387. Is (-2 + (-3 - r))*x/(-6) a multiple of 11?
False
Let a(y) = 12*y**2 + 36*y - 335. Does 6 divide a(14)?
False
Let s = 618 - 616. Is s/(-24)*-2 + (-6143)/(-6) a multiple of 64?
True
Let o = -501 - -513. Suppose -o*q = 19*q - 25792. Does 11 divide q?
False
Suppose -557*z - 7108 = -561*z. Suppose -517 + z = 3*w. Does 56 divide w?
False
Suppose -f + 3*f = -4, -11 = -3*a + f. Suppose -2*k - a*t = -694, -8*k = -5*k + 4*t - 1042. Does 14 divide k?
True
Let h = 17 + -12. Let i(s) = -s**3 + 6*s**2 - 5*s + 12. Let l be i(h). Let r(x) = x**3 - 12*x**2 + 7*x - 21. Is r(l) a multiple of 7?
True
Let i(n) = 143*n + 10006. Is i(68) a multiple of 14?
False
Let x(a) = a**3 - 6*a**2 + 2*a - 5. Let l be x(6). Let t(j) = 45*j + 135. Does 45 divide t(l)?
True
Suppose 6*c = 2*c - 24. Let q(t) = -t**3 - 7*t**2 - 4*t + 13. Let f be q(c). Let l = f - -31. Does 16 divide l?
True
Let d = -104 + -102. Does 9 divide d*1/(-8)*(15 - 11)?
False
Let t(z) = -289*z**3 - 3*z**2 - 6*z + 2. Is 53 a factor of t(-3)?
False
Let m(u) = 15*u - 7. Let f be m(7). Let c = 222 - f. Is 7 a factor of c?
False
Suppose z = 5, 2*v + 5*z = 25 - 2. Is 44 a factor of (-51756)/(-84) + v/7?
True
Let w = 5 - 59. Let c = -5 - w. Let b = c + -27. Does 11 divide b?
True
Let p(d) = 27*d**2 - 16*d - 27. Let f(m) = -m**3 + 80*m**2 - 47*m - 82. Let s(h) = -2*f(h) + 7*p(h). Is 20 a factor of s(-15)?
True
Let b(y) be the third derivative of 0 - 1/12*y**4 + 0*y - 17*y**2 - 1/3*y**3 + 0*y**5 - 1/12*y**6. Is 12 a factor of b(-2)?
False
Let n(i) = 32*i + 7. Let y(s) = s**2 + 4*s + 36. Let h be y(-10). Suppose 4*p - h = -76. Does 11 divide n(p)?
False
Let j(k) = k**3 - 34*k**2 + 37*k + 106. Let o be 1002/30 - (-1)/((-5)/2). Is 22 a factor of j(o)?
False
Suppose 228 = 6*v + 6*v. Suppose -23*t - 16 = -v*t, 4*t - 860 = -x. Is x a multiple of 73?
True
Suppose -6*t + 3*t = -3*b, b - 3*t = 8. Let l be 8*(5/(-5))/b. Suppose 102 - l = f. Is 10 a factor of f?
True
Suppose 853614 = -2307*c + 2401*c. Is c a multiple of 9?
True
Let l(b) = -30336*b - 237. Is 127 a factor of l(-1)?
True
Suppose 0 = -5*k - 15 + 35. Suppose k*j = 8*j - 3*t + 424, 3*t = -5*j - 557. Is j/(-4) + 2 + (-10)/8 a multiple of 10?
False
Let x = 85 - 85. Suppose x = 13*o - 24*o + 462. Suppose -3*p + o = -2*p. Does 14 divide p?
True
Let z = 182 - 256. Is 28 a factor of 3/33*11*(1 - z)?
False
Let s be 15/(-2)*((-64)/(-24))/(-4). Does 26 divide (700/(-21))/10*(-624)/s?
True
Suppose l - 12673 = -m + 3*m, -m = -2*m. Is 182 a factor of l?
False
Let c = -2558 - -3518. Does 24 divide c?
True
Let j(k) = 300*k**2 - 204*k + 1160. Is 16 a factor of j(6)?
True
Let m(p) = 31*p + 165. Let t be m(-21). Let v = t - -962. Is 79 a factor of v?
False
Suppose 33 = 5*j + 4*r, 0 = -18*j + 20*j + 4*r - 18. Suppose 156 + 4 = -j*v. Let i = 14 - v. Is 46 a factor of i?
True
Let s(t) = 34*t**2 - 16*t + 253. Is s(9) a multiple of 17?
False
Let l(s) = s**3 - 15*s**2 + 24*s + 36. Suppose 4*j - 2*j + 5*c - 48 = 0, 2*j - 5*c = 8. Is 22 a factor of l(j)?
True
Suppose 29*f + 25*f = 13284. Let t = f - -84. Is t a multiple of 110?
True
Suppose 3*j = j + 4*n + 32, j + 4 = -2*n. Let d be 11 + 0 + (-58 - -21). Let r = j - d. Is r a multiple of 8?
True
Suppose -9 - 7 = -4*z, 5*q + z = -1146. Let i = q - -703. Is i a multiple of 15?
False
Suppose -8*f = -7*f - 100. Suppose -f = 3*q - 346. Let p = q + -56. Is p a multiple of 26?
True
Let o(c) = -3*c**2 + c**2 + 11*c + 5 - 14 + c**2. Let f = -6 - -14. Does 5 divide o(f)?
True
Suppose 0 = 3*b + 4*u - 299, -116 = -5*b + 3*u + 363. Let z = -37 + 39. Suppose -z*t + 2*o = o - b, 2*t - 115 = -5*o. Does 10 divide t?
True
Suppose 0 = -3*q + 11 + 49. Suppose -3*o - 11 + q = 0. Suppose m = -3 - 1, -3 = v + o*m. Is v a multiple of 9?
True
Let l(w) = w**2 + 36*w + 234. Suppose -201 = -21*o + 26*o + 4*h, 4*o = -h - 152. Is l(o) a multiple of 17?
False
Let a(k) = 351*k**2 - 438*k + 1323. Is a(3) a multiple of 32?
True
Let s be (-2097)/12*(-416)/78. Let x = s - 360. Does 44 divide x?
True
Let s = -12081 - -32118. Is s a multiple of 39?
False
Is 8*124005/168 + 1*2 a multiple of 33?
True
Let j(o) = -3*o**2 + 8*o + 22. Let z be j(5). Is 16 a factor of -3*(-2)/2 + (9 - z)?
False
Let c(j) = 4*j - 22. Let m be c(8). Suppose 0 = m*n - 1713 - 1647. Suppose z - n = -2*z. Is z a multiple of 28?
True
Let x(y) = 72*y**2 + 17*y - 5. Let b be x(-4). Suppose b = 5*m - 611. Is m a multiple of 13?
True
Suppose -5252*a + 5301*a = 147490. Is a a multiple of 10?
True
Let u be 2784/13 + ((-315)/(-65) - 5). Let t = 381 + u. Does 42 divide t?
False
Let z = 5221 + -4626. Is 26 a factor of z?
False
Suppose -2*d + 4*h = -8070, 215*h + 20169 = 5*d + 211*h. Is 48 a factor of d?
False
Suppose -23*r + 8 = -25*r. Does 15 divide -12*(r/8 + (-4 - -2))?
True
Let x(v) be the first derivative of -2*v**3/3 + 7*v**2 + 4*v - 10. Let n be x(7). Does 8 divide (n/10)/(29/5220)?
True
Let q(i) = 9*i**2 + 3*i + 225. Is q(-15) a multiple of 21?
True
Let p(q) = -21*q - 7 - 21*q + 12*q. Is 27 a factor of p(-4)?
False
Let p = 998 + -1535. Let i = p + 1106. Is 21 a factor of i?
False
Let c(i) = -10*i - 1. Let t be c(-15). Let a = t + 56. Suppose -19 + 178 = 4*w + h, -5*w = -5*h - a. Does 5 divide w?
True
Let u(p) = p**2 - 8*p - 9. Let o be u(9). Suppose t - 984 + 785 = o. Does 18 divide t?
False
Let r = 36 + -1. Let z = -13 + r. Is z a multiple of 6?
False
Suppose 59*h + 350 = 69*h. Suppose h*c = 5*c + 6690. Is c a multiple of 20?
False
Suppose 5 = -3*a - 10, 4*s = 4*a + 580. Let c = s - 43. Is c a multiple of 3?
False
Suppose -4*t - 7*k