2*h - o, 196 = -0*n - 4*n - 4*h. Let p = n - -81. Is 6 a factor of p?
True
Suppose 0 = -34*j + 298553 + 11051. Is 66 a factor of j?
False
Let m(o) = 4*o + 196. Let j be m(-48). Suppose 0 = 5*g - 1611 - 499. Suppose 4*f = -j*u + 2*u + g, -525 = -5*f - 3*u. Does 18 divide f?
True
Let n = -52 + 162. Let g = n - -79. Is 27 a factor of g?
True
Let d(k) = 15*k - 215. Let v = -363 - -378. Is 6 a factor of d(v)?
False
Let b be (2504/22 - 4) + (-4)/(-22). Suppose 2*p - b = -2*q, -2*p - 4*q + 0 + 110 = 0. Does 5 divide p?
True
Let v be ((-24)/(-20))/(0 + (-1)/5). Let t be (-2)/(v/(-75)) - -5. Is 13 a factor of (t/(-6))/((-6)/(-234))?
True
Let l = -23843 + 37017. Is 14 a factor of l?
True
Does 38 divide 582/1261 - (441487/(-13) + -1)?
False
Let s(h) = -9*h**2 - 13*h. Let o be s(-2). Let a = -5 - o. Suppose 210 = t - 3*z, -2*z - z = -a*t + 1098. Is t a multiple of 37?
True
Suppose -133*v + 162*v = 51968. Does 32 divide v?
True
Suppose 4*i + 2*y - 11 = 3*i, 3*i - 31 = -4*y. Suppose i*v - 42 = -6. Suppose o + 217 = 5*z, z - 120 = -2*z + v*o. Does 31 divide z?
False
Suppose 0*n + n = -3*f + 19, 4*f = 3*n + 21. Let m = 1227 - 1229. Does 5 divide 86 + (2 - f) + m?
True
Is 57 a factor of (((-10)/(-4))/5)/((-15)/(-43770))?
False
Suppose -11*n = -14*n - g - 1347, -5*n - 5*g - 2255 = 0. Let z = n + 652. Is 14 a factor of z?
False
Let z(p) = 2*p**2 - 11*p - 4. Let v be (-63)/(-18)*(-12)/(-7). Let y be z(v). Suppose -5*h = -s - 256, 0*h - y*h = -4*s - 88. Does 11 divide h?
False
Suppose 129030 = 72*v - 3*v. Does 34 divide v?
True
Let j(p) = -466*p + 890. Is 72 a factor of j(-6)?
False
Suppose 95*j - 167*j + 69393 = -52575. Is j a multiple of 154?
True
Let b(s) = s**2 + 24*s + 101. Let w be b(-19). Suppose 2*y = 2*j + 1572, w*y - 794 = 5*y - 3*j. Is 20 a factor of y?
False
Let n = 2 + 2. Let b = 1494 + -1492. Suppose -p - 2*d = -200, -3*p - n*d + 1024 = b*p. Is p a multiple of 13?
True
Suppose -2*m - 2880 = -4*m + 2*w, -4*m = 5*w - 5778. Does 20 divide m?
False
Let p be (-1)/3 - (-2)/6. Let o(d) = -4 + 56 - 9*d - 17*d + 31*d. Does 9 divide o(p)?
False
Let l be (-108)/(-8)*6 + -1 - 4. Let p = -35 - -331. Let v = p - l. Does 36 divide v?
False
Suppose -7242 = -3*q + 2*r - 2570, -q - r = -1569. Does 142 divide q?
True
Let f = -1359 + 16020. Is f a multiple of 110?
False
Let v(k) be the first derivative of -k**4/4 + 16*k**3/3 + 23*k**2/2 - 83*k + 64. Does 18 divide v(16)?
False
Suppose 19*z + 16947 = 4*z + 204972. Does 112 divide z?
False
Let v = -13502 + 23987. Does 10 divide v?
False
Suppose -1388800 = -147*n - 166936. Does 8 divide n?
True
Suppose -2*c = -3*n + 6, 0 = n + 2*c - 0*c + 6. Let y(a) = a + 4. Let r be y(n). Suppose -298 = -5*t + h, 2*t - 126 = h - r*h. Does 14 divide t?
False
Suppose 0 = 7*m - 6017 - 10. Does 3 divide m?
True
Suppose -9473425 + 697064 = -335*k - 816761. Is 88 a factor of k?
True
Let a = 3 + -12. Does 8 divide -142*7/(a + 2)?
False
Let z be -2*2*18/8. Let a = 13 + z. Suppose -208 = -5*t - 2*r, -3*t + 125 + a = -3*r. Is 7 a factor of t?
True
Suppose 4*x = -d + 323, 0 = -2*d + 6 - 0. Suppose -86*a + 7812 = -x*a. Does 62 divide a?
True
Let h(u) = 60*u**2 - u + 2. Let c be h(1). Let w = -79 + c. Does 8 divide (-19 - w)/(1 - (-80)/(-78))?
False
Let y = 52703 - 32384. Is 91 a factor of y?
False
Let n(t) = -4*t - 18. Let o be n(-5). Let m = o + 29. Suppose m = 2*c - g, 5*c + 5*g + 37 = 107. Does 5 divide c?
True
Let g = 377 + -373. Is 20 a factor of g/30 - (-2 + (-20390)/75)?
False
Let t(f) = -164*f**2 + 6. Let c be t(2). Let h = c + 1112. Does 42 divide h?
True
Let n = -3754 + 3763. Let h(j) = -2*j**3 + j**2 + 2*j + 1. Let s be h(-1). Suppose s*o + 12 = -n*c + 10*c, -2*o = 5*c - 108. Is 4 a factor of c?
True
Let t(x) = -x**3 - 71*x**2 - 76*x - 247. Is 19 a factor of t(-71)?
True
Suppose 0 = 5*b + 5*z + 245, -2*b - 4*z = -0*b + 96. Let a = b + 99. Let j = a + 74. Is j a multiple of 41?
True
Does 13 divide (87/(-9))/(57/(-53352))?
True
Let p(g) = -29*g**3 - g**2 - 2*g - 4. Does 12 divide p(-2)?
True
Suppose 0 = l - 3 - 23. Let q = l + 164. Does 5 divide q?
True
Let z(p) = -5*p**2 + 31*p + 11. Let l(w) = -w**2 + 2*w - 1. Let d(m) = -4*l(m) + z(m). Suppose -7*u - 34 + 195 = 0. Is d(u) a multiple of 5?
True
Suppose 0 = 2*z + 5*l - 117, 0 = -119*z + 116*z + 3*l + 186. Is z a multiple of 2?
False
Let o(n) = -170*n**3 - 5*n**2 - 7*n - 30. Does 9 divide o(-3)?
True
Let s be (44/55)/((-6)/105). Does 10 divide (-6)/9*735/s?
False
Let k = -1468 + 819. Let u = 271 - k. Is u a multiple of 15?
False
Let c(i) = 17*i - 28. Let n be c(-7). Let y = -107 - n. Is 8 a factor of y?
True
Suppose 0 = 2*q + 3*h + 15, -q - 10 = -6*q + 2*h. Suppose q = 3*s + 15, -o + 20 = 5*s - 57. Is 34 a factor of o?
True
Let h(j) = j**3 + j**2 - 99*j + 4821. Is 7 a factor of h(0)?
False
Is 27 a factor of (8102484/96)/3 + (20/(-32) - -1)?
True
Let n(z) = 3*z**2 - 120*z - 477. Is 90 a factor of n(63)?
True
Let d = 585 - 581. Suppose -24*i + 37500 = -d*i. Is 23 a factor of i?
False
Let i(f) = -220*f - 5275. Let a be i(-24). Suppose -2*q = -5*z + 4*z - 12, -3*q + 3*z = -21. Suppose -q*h - r = -435, 3*h = 4*r - a*r + 259. Is 8 a factor of h?
True
Suppose 2*l - 4*x = -1 - 7, -2*x = 3*l - 20. Suppose 4*f - 474 = -l*a - 54, -3*a - 549 = -5*f. Is 6 a factor of f?
True
Let w = -89 - -2643. Is 45 a factor of w?
False
Does 22 divide (682/4)/((-14)/(-588)) + 3?
False
Suppose -51602 = -32*k - 3314. Suppose 5*q + 0*n - 2*n - k = 0, 0 = -5*q - 2*n + 1501. Is q a multiple of 8?
False
Let l(m) = 14*m**2 - 3*m + 30. Suppose 0 = -15*c + 43 - 133. Does 23 divide l(c)?
True
Is 129 a factor of 43*((-9)/15 + (-3030)/(-50))?
True
Suppose 2*w = -t + 57, 3*t - 2*w - 178 = -w. Let v = t - -128. Is 17 a factor of v?
True
Suppose -140922 = -75*w + 71*w + 2*b, 3*b = 4*w - 140915. Is 56 a factor of w?
False
Let y = 7 + -18. Let r = y + -5. Let u(l) = l**3 + 15*l**2 - 24*l - 18. Is 22 a factor of u(r)?
True
Let h = 54 - 51. Suppose h*m - 3*k + 4*k = -25, -3*m + 5*k = 19. Let f(s) = -s**2 - 14*s - 11. Is f(m) a multiple of 4?
False
Let g(k) = -k**3 + 22*k**2 - 2*k + 165. Let x be g(19). Suppose 0 = -61*i + 51*i + x. Is i a multiple of 11?
True
Suppose 0 = 180*f - 79*f - 874660. Is 20 a factor of f?
True
Suppose a - 3 = 5*i - 18, 5*a - i + 3 = 0. Suppose a = -11*z + 45 + 10. Suppose -5*x = z*q - 105, 95 = 5*q - 4*x - x. Is 14 a factor of q?
False
Let t(b) = -b**3 + 9*b**2 + 4. Let n be (-33)/(-3)*(3 - 2) - 2. Let j be t(n). Suppose j*p + 75 = c, p = -c + 4*p + 75. Does 15 divide c?
True
Let g(t) = -t**3 + 61*t**2 + 791*t + 171. Is 141 a factor of g(71)?
True
Suppose -222220 = 72*z - 1124092. Does 49 divide z?
False
Let w = -620 + 618. Let x(h) = -25*h**3 - h - 4. Does 33 divide x(w)?
True
Let w(a) = a**2 - 5*a - 90. Let j be w(-15). Suppose -13*f + 232 = -j. Does 12 divide f?
False
Suppose 0 = -2*h - h. Let c be 1*(0 - (h + 0)). Suppose 4*q - 114 - 206 = c. Is 10 a factor of q?
True
Let x(w) = 42*w + 94. Let i be 0/(-4) + 2 + (-77)/(-7). Is x(i) a multiple of 10?
True
Suppose 81700 = -97*b + 116*b. Is b a multiple of 41?
False
Let y = 131206 + -53072. Is 14 a factor of y?
True
Let c(o) = o**3 - 3*o**2 + 3*o - 5. Let u be c(3). Let a be 15/(u + -1)*(-4)/10. Does 10 divide a/4 + (-2)/(4/(-21))?
True
Let u(b) = 31*b**3 + 10*b**2 - 7*b - 18. Let j(r) = 15*r**3 + 5*r**2 - 3*r - 9. Let h(x) = -5*j(x) + 3*u(x). Does 42 divide h(3)?
True
Let v = 7 + 42. Let p = 89 - v. Let r = p + 11. Is r a multiple of 17?
True
Let p(u) = 40*u + 101. Let k be p(-8). Let w = -44 - k. Does 7 divide w?
True
Suppose -4*p - 16 = 2*g - 3*g, -5*g + 4*p + 32 = 0. Suppose g*a = 3*y + 25, -a - y = -3*y. Let w = a + 12. Is 11 a factor of w?
True
Let z = 369 - -2576. Suppose 5*u = 5*c + z, 4*c = -5*u + 1169 + 1758. Is 51 a factor of u?
False
Suppose -25*z = -13*z + 13*z - 57150. Is 6 a factor of z?
True
Let v(n) = -3*n**2 - 110*n + 8. Does 30 divide v(-26)?
True
Let m = -21 + 46. Suppose -3*y = 3*r - 24, -5*r + 3*r = 5*y - m. Suppose -r*z - a + 62 = 0, 2*a + 0*a + 8 = z. Is 3 a factor of z?
True
Let k(a) = -a**3 + a**2 + 12*a - 10. Let u(j) = -j**3 + 2*j**2 + 12*j - 11. Let r(l) = 5*k(l) - 4*u(l). Let h = 2 + -8. Is 15 a factor of r(h)?
True
Suppose 78*l = 14271 + 7676 + 21655. Is l a multiple of 17?
False
Let q(b) = 4*b**3 + 33*b**2 - 140*b - 78. Let 