or of g(-69)?
False
Suppose 37*t + 25 = 42*t. Let o = -1 + t. Let r(y) = -y**3 + 4*y**2 + 5*y - 5. Is r(o) a multiple of 3?
True
Let r(y) = -3*y + 22. Let d be r(13). Let w(i) = -i + 19. Let t be w(d). Is 11 a factor of t + -4 - -3 - 2?
True
Suppose 0 = -r + 5*r - 8, -4*i - 2 = r. Let y(b) = 350*b**3 + b**2 - b**2 + b + 1 + 388*b**3 - 808*b**3. Is y(i) a multiple of 7?
True
Let r be (0 - -1)*(448 - (-3)/(-1)). Let z(u) = -u**3 - 6*u**2 - 2*u + 20. Let a be z(-5). Suppose -2*y - a*l + 836 = 0, -y = -5*l - r + 42. Does 49 divide y?
False
Let q = 79536 + -44778. Is 22 a factor of q?
False
Let m(q) = -544 + 6*q + q**2 + 999 - 540. Does 2 divide m(-13)?
True
Let m(i) = -i**2 - 15*i + 80. Let p be m(-20). Is 20 a factor of (522/12)/((-6)/p)?
False
Let r(g) = -4*g**3 + 6*g**2 + 21*g + 5. Suppose 0 = -28*o + 23*o - 25. Is 10 a factor of r(o)?
True
Suppose -t + 15 = -3*m, -8*t + 5*m = -4*t - 39. Suppose -t*p - 3 = -5*p. Does 21 divide (2 + p)*2/2 - -58?
False
Let v = -225 + 120. Let k be (-208)/16*(-4 - -1 - 19). Let q = v + k. Is 37 a factor of q?
False
Let p(j) = j**3 - 10*j**2 + 20*j + 6. Let l(v) = v**3 - 9*v**2 + 20*v + 6. Let g(y) = 4*l(y) - 5*p(y). Is 23 a factor of g(7)?
False
Let m(d) = 7*d**2 - 3*d + 31. Suppose 18*j + 3*q = 23*j + 27, 5*q + 5 = 0. Is m(j) a multiple of 43?
True
Let v(p) = 29*p + 385. Let i be v(-13). Suppose -4*q - i = 0, 2*g - 543 = -3*g + 4*q. Is g a multiple of 30?
False
Suppose -174*t - 6*t + 886940 = 64*t. Is t a multiple of 21?
False
Suppose -5*t + 1180 + 445 = 0. Let i = t + -175. Let r = i + -80. Is 35 a factor of r?
True
Let k(f) = -3*f**3 - 3*f**2 - 5*f + 11. Let h be (4/(-14) + (-208)/(-91))*-3. Is 50 a factor of k(h)?
False
Let b(q) = q**3 - q**2 + q + 9. Let u be b(0). Suppose 2*h - p = -6*p + 17, -3*p + u = 0. Let w(x) = 43*x**2 - 3*x + 4. Is w(h) a multiple of 9?
False
Let t = 2030 + -1576. Does 22 divide t?
False
Let g be 8/(-4) + (-8)/(-2). Suppose -3420 = -4*h - 4*m, g*h - 2*m = -0*h + 1690. Is h a multiple of 25?
True
Suppose 968 = 281*t - 277*t. Suppose 6*h - t = 148. Is h a multiple of 13?
True
Suppose -3*v - 5*y - 803 = 0, v + 0*v + 267 = -y. Is 3 a factor of (-13376)/v + (-4)/14?
False
Let u = -5057 + 5557. Is 100 a factor of u?
True
Suppose -2*h + 15 + 19 = 2*x, -2*x + 41 = -5*h. Is 28 a factor of 5590/25 - x/(-45)?
True
Let k(c) be the second derivative of 15/2*c**2 - 12*c + 0 - 5/6*c**3. Is k(0) a multiple of 13?
False
Let p(i) = 9*i**2 + 2*i - 2. Suppose 0 = -6*q + 64 + 80. Let z be (-6)/(5/(-3) - 8/q). Is p(z) a multiple of 10?
False
Let i(n) = -831*n + 273. Is i(-7) a multiple of 42?
True
Suppose -4*z - 16 = 0, 17*z - 20*z = 4*v - 3200. Let q = 1197 - v. Is 7 a factor of q?
False
Suppose -10973 = -3*j + z, -18291 = -j - 4*j - z. Does 29 divide j?
False
Let f(s) = -s**3 + 53*s**2 - 55*s + 2. Is 3 a factor of f(37)?
False
Is (26 - 1680/64) + 17241/4 a multiple of 73?
False
Let v(j) = -6291*j + 331. Does 36 divide v(-2)?
False
Let j(w) = -w**2 - 9*w + 2. Let m be j(0). Suppose 5*q - 5*p = 1465, -7*p = 3*q - m*p - 887. Is 14 a factor of q?
True
Let i(w) = 14*w - 219. Suppose 10*k - 492 = -2*k. Is i(k) a multiple of 71?
True
Let h = -52897 - -81193. Is h a multiple of 178?
False
Suppose -4*z + 1468 + 816 = -2*a, -562 = -z - 4*a. Let g = 752 - z. Is 7 a factor of g?
True
Let g(c) = 3*c - 8. Let y be (-8)/16 + 1/2. Let n be g(y). Is 2082/24 - (-1 - 6/n) a multiple of 21?
False
Is 13 a factor of (-41384)/(-8) + -13 + 12?
False
Suppose 5*w - 2*k - 213 - 200 = 0, 2*w = -k + 158. Suppose 0 = 2*o - q - 396, -14 = -4*q + 2. Suppose a + 27 - w = -2*f, -4*f + o = 4*a. Is a a multiple of 30?
False
Suppose 5*u + 255 - 205 = 0. Does 53 divide 1720*(45/u)/(-9)?
False
Let u(r) = r - 75. Let q be u(-14). Does 8 divide -32 - -34 - (q/1)/1?
False
Let w(j) = -20*j**2 - 15*j + 13. Let z be w(1). Is (-2900)/z + 14/77 a multiple of 68?
False
Let z be (-5888)/20 - 39/65. Let q = -243 - z. Is q a multiple of 13?
True
Suppose -231 = -5*y - 186. Suppose y*u + 4*u = 1859. Is u a multiple of 5?
False
Suppose -10*m + 37*m = -297. Let l = -5 + -5. Does 5 divide l/(m/5 + 2)?
True
Suppose -v - 4*x = -19556, -421*v + 425*v + 5*x = 78169. Is v a multiple of 24?
True
Suppose 77*s + 53*s = 34*s + 3075840. Is s a multiple of 90?
True
Suppose 3*q - 2*i - 118 = 0, -5*q - 3*i + 6*i + 195 = 0. Let r = q + -34. Suppose g = -2*g - v + 93, -g = -r*v - 38. Is 8 a factor of g?
True
Suppose g - 4200 = 3*m, -g - 4*m = 2*g - 12665. Is 4 a factor of g?
False
Suppose 49150 = 137*k - 24167 + 19750. Does 54 divide k?
False
Suppose -19*l - 29 = -2*j - 18*l, -41 = -3*j + 4*l. Let f(k) = -j + 8 + 8 + 8 - k. Is 13 a factor of f(-17)?
True
Let t = 139 + -61. Let y = t + 255. Is 37 a factor of y?
True
Let q(o) be the third derivative of -o**4/12 + 7*o**3/6 + 2*o**2. Let d(x) = x**3 - 14*x**2 + 17*x + 81. Let l be d(12). Does 7 divide q(l)?
False
Let x = 1012 + -1003. Let p(h) = -h**2 - 5*h + 1. Let c be p(-5). Let n = x + c. Is n a multiple of 5?
True
Let f(z) = 71*z**2 + 6*z - 17. Let t be f(-9). Suppose -20*q = -12*q - t. Is 71 a factor of q?
True
Let a(n) = 2*n**2 - 2. Let p be a(5). Suppose 5*u - 2*f = 0, 8*u = 3*u + f + 5. Is u/(p/812) + (-1)/(-6) a multiple of 17?
True
Let t(f) = 30*f**3 - 7*f**2 + 5*f - 1. Let q be t(4). Suppose -9*z + q = -1890. Is 59 a factor of z?
True
Suppose 4*t + 5*i - 22 = 0, 50*t - i + 11 = 53*t. Does 59 divide ((-22)/t)/((-6)/477)?
False
Let z(c) = c**3 - c**2 + c + 248. Let n be z(0). Suppose -100 = -6*f + n. Let t = f + -45. Is t a multiple of 3?
False
Suppose s + 5*c = 3890, 4*s - 130*c - 15537 = -127*c. Does 21 divide s?
True
Suppose 18 = -9*p + 45. Suppose -5*o = 2*t - 29, 3*t = o - p + 4. Is 3 a factor of 17 + (0/(-2) - t)?
True
Let o(d) = 92*d + 84. Suppose -2*p - 13*p + 45 = 0. Is 9 a factor of o(p)?
True
Let b(m) = -22*m + 38. Suppose 18 + 42 = -10*i. Does 10 divide b(i)?
True
Suppose 0 = v + 5, -4*m = -v - 0*v - 69. Let n = 16 - m. Suppose n*f + 126 = 7*f. Is f a multiple of 9?
True
Let y be (-81)/(-18)*6/9. Suppose 8 = -y*m + 17. Suppose -s - 3*z + 35 = 0, 5*s - m*z - 229 = -0*z. Does 11 divide s?
True
Suppose -2*p + 28 = p + y, -40 = -3*p + 5*y. Let n(r) = 2*r**2 - 20*r + 4. Let v be n(p). Is 16 a factor of 100 - (0/2 + v)?
True
Let z = -1796 - -4005. Is z a multiple of 10?
False
Let f(w) = 2333*w - 7. Let q be f(1). Suppose -q = -15*t + 2354. Is t a multiple of 14?
False
Suppose 6*z = z - 4*m + 349, m = -4*z + 288. Let i = -94 - z. Let q = i - -419. Does 21 divide q?
True
Let u(j) = j**3 - 13*j**2 + 14*j + 4. Let m be u(12). Suppose 5*h = -2*f + m, -h + 10 = f - 5*f. Suppose 0 = h*x - 11*x + 800. Is 39 a factor of x?
False
Let b be (15/30)/(0 - 2/(-16)). Is 10/(-5)*(-90 - -2)/b a multiple of 2?
True
Is (11/22)/((2 - 52925/(-52920)) + -3) a multiple of 28?
True
Suppose 9*y = 5*y + 708. Let s = -96 - -196. Let h = y - s. Is h a multiple of 7?
True
Suppose -304*a - 480203 + 5500155 = 0. Does 5 divide a?
False
Let w be 12/36 - (-4)/(-3). Let y be (w/(-3))/(8/1392). Let z = y + -38. Does 5 divide z?
True
Let u(n) = -73*n**2 - 5*n - 6. Suppose h - 5*c - 9 - 10 = 0, c = -4*h - 8. Let g be u(h). Let t = -56 - g. Is t a multiple of 6?
True
Let w(z) = z**2 - 2*z + 2. Let s be w(2). Suppose -3*x + s*b = -4, -2*x + 4*b + 4 = 3*b. Suppose -x*j + 19 = 2*a - 7*a, -2*j - 2*a = -14. Does 2 divide j?
True
Let t = 21045 - 14527. Is 87/(-116) - t/16*-2 a multiple of 31?
False
Is 28 a factor of (-5 + 0 + (-1698)/(-12))*1312/24?
False
Let r be 98 + 1 - 21*12/(-36). Let t be 496/6 - (-3)/9. Suppose k - 4*g = r, -k + g + 20 = -t. Does 17 divide k?
True
Suppose -5*c = -16*l + 11*l + 37180, -3*c = l - 7420. Is l a multiple of 2?
True
Let o(g) = 9*g**2 - 43*g - 2. Let c be o(5). Is (c - (9 + -31))*(-38)/(-3) a multiple of 20?
True
Suppose 0 = -15*v - 3*v + 3888. Suppose 5*q + 3*z = v + 424, 2*q - 2*z - 256 = 0. Does 16 divide q?
True
Suppose t - 2*n = -5*n + 141, 5*n - 427 = -3*t. Suppose 10*a - 3*u = 7*a + 216, 0 = -2*a + 3*u + t. Does 12 divide a?
True
Let q = 58353 + -38376. Does 14 divide q?
False
Let v = -3186 - -6958. Does 92 divide v?
True
Suppose 2 - 22 = -4*l. Let v(q) = -3*q**3 - 7*q**2 - 5*q + 3. Let h be v(-4). Suppose 0 = l*f - 77 - h. Is 9 a factor of f?
True
Suppose 524446 = 104*x - 179426. Does 144 divide x?
True
Suppos