se
Let g = -98 - -71. Let z = 31 + g. Let q = 62 - z. Does 13 divide q?
False
Let f be 18/(-2 - (-321)/156). Let l = f - 72. Does 20 divide l?
True
Let q be (-58)/580 - (-21)/10. Suppose q*p - 156 = 3*a, 8 = 2*a - 0. Does 12 divide p?
True
Suppose c = 5*c - 3*b - 5721, 2*b + 2860 = 2*c. Let q = c + -40. Is 13 a factor of q?
True
Suppose -25 = -9*c + 11. Suppose 680 = c*a + 6*n - 5*n, 173 = a + n. Does 13 divide a?
True
Suppose 8*p - 3342 = 3850. Let i = 1398 - p. Does 41 divide i?
False
Let m(u) = -6 + 4*u**3 - 5*u**3 - 4*u - 3*u**2 + 2. Let s be m(-2). Suppose 3*t = 3*p - 162, 0 = -2*p - 3*t - s*t + 108. Is p a multiple of 16?
False
Let i(n) = 87*n**3 - 2*n**2 + 1. Let y(t) = t**3 - 8*t**2 + t - 7. Let m be y(8). Let w be i(m). Suppose -114 = -2*l + w. Does 25 divide l?
True
Let p(c) = -134*c + 1606. Let u be p(12). Let i(k) be the second derivative of -k**5/20 + k**3/2 + 3*k**2/2 - k. Is 3 a factor of i(u)?
False
Let u = 417 - 417. Suppose -25*z + 35*z - 560 = u. Does 8 divide z?
True
Suppose -70 - 140 = -2*n. Suppose -w + 2*u = -150, -19*u + 15*u = 3*w - 480. Let x = w - n. Is 18 a factor of x?
False
Suppose 4*u - 3*b = 13, 2*u + b - 1 + 2 = 0. Let j(g) = 2*g - 3. Let h be j(u). Is 25 a factor of (h - -47) + 3 + -7?
False
Let h = 3714 + -2339. Does 11 divide h?
True
Suppose -k + 4*b - 35 = 0, 0 = 4*b - 17 + 5. Let f(j) = -j**2 - 41*j + 68. Is f(k) a multiple of 29?
False
Let t = -8 - -11. Suppose 4*g - 5*d = 26, -2*g + 0*d + 12 = -t*d. Does 12 divide 21*-2*(-3)/g?
False
Let n(m) = -6*m**2 + 71*m - 109. Let p be n(11). Let s = -199 - -135. Let y = p - s. Does 2 divide y?
True
Let c = 38320 - 19315. Is c a multiple of 53?
False
Let z = 21 - 42. Let v(s) be the first derivative of -s**3/3 - 14*s**2 - 67*s - 1692. Does 33 divide v(z)?
False
Let m = 14 - 15. Let f(v) = -17*v**3 - v**2 - 13*v**3 - 13*v**3. Is f(m) a multiple of 6?
True
Let o(w) = -2*w**3 - 16*w**2 + 4*w - 125. Is o(-13) a multiple of 28?
False
Suppose 0 = u + 2*x - 1462 + 16, u = -3*x + 1445. Is 5 a factor of u?
False
Let k = 12 - 4. Let l(a) = a**2 + 9*a + 5. Let h be l(-9). Suppose 92 = 3*f - 2*m, -5*f = h*m - k - 162. Is 8 a factor of f?
True
Suppose -3*h + 27 = 3*b, -4*b + 4 = -h - 7. Suppose b*p = -3*g + 757, -5*p = -2*g + 266 + 208. Is g a multiple of 19?
True
Let a(n) = n**3 - 25*n**2 + 28*n - 18. Suppose 125 = 4*d - 5*f, -3*d + 4*f = -41 - 54. Does 31 divide a(d)?
True
Is 27 a factor of 36/(-15)*(8 + 2 - 865625/50)?
True
Let j(q) = q**3 + 26*q**2 - 14*q - 7. Let n be j(-17). Suppose 4*c + 2*c = n. Does 32 divide c?
False
Suppose 2*w + 170 = -3*n, 4*n - 7*w + 221 = -4*w. Let h = 497 + n. Is h a multiple of 18?
False
Suppose 85*n - 139889 - 67009 = -21938. Is 17 a factor of n?
True
Suppose 2779809 + 2882771 = 110*g. Does 120 divide g?
False
Let i be ((-2)/(-4))/((-9)/(-180)). Is 23 a factor of ((-184)/i)/(4/(-50))?
True
Let t be ((-3105)/18)/23*8/10. Is (t - (-2226)/2) + 3 a multiple of 15?
True
Let u(f) = -8*f. Let z be u(0). Suppose -7*g + 10*g - 684 = z. Does 11 divide g?
False
Let o(y) be the first derivative of -y**4/4 + 2*y**3 + 5*y**2 - 10*y - 14. Let q be o(7). Let d = q - -29. Does 10 divide d?
True
Let s be -9*(-4)/(-18) + (-1 - -591). Suppose -5*b + 177 = x - s, 2*b - 294 = 2*x. Is 8 a factor of b?
True
Let m = 22 + -31. Let k(s) = 52*s**2 + 59*s - 29. Let q(r) = 23*r**2 + 29*r - 15. Let b(p) = -3*k(p) + 7*q(p). Is b(m) a multiple of 19?
False
Suppose -12*y + 2*o + 1324 = -11*y, y - 1310 = -5*o. Is 8 a factor of y?
True
Suppose -34*s = 207 - 2077. Suppose j + 2*m = -4*j + 217, 3*m = 2*j - 83. Let f = s + j. Does 20 divide f?
False
Let h(t) = -2*t**2 - 27*t - 18. Let p be h(-13). Is (-43552)/(-160) + 1/p a multiple of 19?
False
Let y = 54561 - -50977. Does 12 divide y?
False
Suppose 26 = 5*s - 2*d, 0 = -2*s - s - 3*d + 3. Suppose -3*n + 2950 = -5*u, 2*u + 4958 = 5*n + s*u. Is 30 a factor of n?
True
Suppose -34 - 190 = -7*c. Let g = c + -8. Does 10 divide ((-31)/3)/(1 + (-28)/g)?
False
Suppose 5*j = -y + 20, -3 = 4*j + 2*y - 5*y. Suppose j*p - 1652 + 540 = -k, -4*k - 5*p = -4469. Does 16 divide k?
False
Let d be 5/(-2)*(-94)/(-47). Is (d - -8 - 7) + 971 a multiple of 24?
False
Let l be 156/28 + (-12)/21. Suppose 2049 = l*u - 151. Does 55 divide u?
True
Suppose 3*s - 18 = -6*s. Suppose -3*p + 2*a + 4 = -424, a = s. Is 31 a factor of p?
False
Let o(s) = 1126*s + 264. Is 60 a factor of o(6)?
True
Let c(f) = f**3 - 9*f**2 + 17*f + 6. Let o be c(6). Suppose o = -16*m + 3492 - 324. Is m a multiple of 8?
False
Suppose -808*m = -818*m + 303030. Does 21 divide m?
True
Let h(v) be the second derivative of -v**5/20 + 2*v**4/3 + 2*v**3/3 - 13*v**2 + 2*v + 25. Is h(7) a multiple of 3?
True
Let i = 11080 - 7664. Is 56 a factor of i?
True
Suppose 8 = -5*x - 2*r, -2*r - 11 = -x - 3. Suppose x = 3*m, -7 = -h - m - 1. Suppose -q + h*j + 12 = j, -3*j + 163 = 4*q. Does 37 divide q?
True
Let a = 4505 - 4098. Is 11 a factor of a?
True
Let g be (2/3)/(9/2754). Let j(n) = n**3 - 5*n**2 - 8*n - 6. Let i be j(7). Suppose g = 2*o - i. Is 12 a factor of o?
True
Does 12 divide -7 + (1083 - -12) - 12?
False
Let n(l) = -2*l**3 + 14*l**2 - 20*l - 103. Does 6 divide n(-6)?
False
Let t(y) = 28*y**2 + 42*y + 794. Is 132 a factor of t(-31)?
True
Let x be 8/(-16) - (-3690)/4. Let j = -551 + x. Suppose 3*b - j = 241. Is 12 a factor of b?
True
Let i = -97 + 59. Let q(k) = -k**3 - 36*k**2 + 73*k - 3. Is q(i) a multiple of 35?
False
Suppose 0 = -4*r - 0*r - 3*x + 8067, 3*r + x - 6049 = 0. Does 126 divide r?
True
Let l(y) = -5*y - 29. Let h be l(-7). Let t be (-12)/(-9) + 22/h. Suppose t*g - 540 = -4*g. Is 15 a factor of g?
True
Let v(r) = 60*r - 11*r**2 - 10*r**2 - r**3 + 80 - 2*r. Does 52 divide v(-24)?
True
Let x = -41 + 31. Is (-20)/(((-2)/48)/(x/(-20))) a multiple of 10?
True
Suppose 2*u + 3*b = 9, 0 = 2*u - 5*b - 0 + 15. Suppose -5*l + u*l = -195. Suppose -a + 56 = 4*r - l, -r + 50 = -5*a. Is 12 a factor of r?
False
Let q = 5826 - -1123. Is q a multiple of 87?
False
Let o = 353 + 973. Is o a multiple of 51?
True
Suppose 9420 = 2*y + 4*g, 161*g - 159*g = -2*y + 9420. Does 30 divide y?
True
Let l be (-27)/(-4) - (10/(-40) - 0). Let d(o) = -2*o**3 + 15*o**2 + 12*o - 13. Does 42 divide d(l)?
False
Suppose 103771 = -81*l + 483499. Is 16 a factor of l?
True
Let f be (2 - 1)*(-1 + 1) + -58. Does 57 divide 6/2*(-1 - f)?
True
Let m(h) = -8*h**2 - 35*h + 161. Let f be m(6). Let c = 343 + f. Is 6 a factor of c?
True
Let t be -7*(-7)/147 + (-2)/6. Let z be -3 + 2 - t - (-159)/3. Suppose -8 = -u - 3*v, 11*u - z = 6*u - 3*v. Is u a multiple of 3?
False
Let y be (0 + 81/3)*-1. Suppose 6*a - 10*a + 748 = 4*q, 3*q - a - 541 = 0. Let k = y + q. Is 28 a factor of k?
False
Let r(y) = -y + 9. Let w be r(11). Let o be -2*1/w - -5. Is 8 a factor of (o/9)/((-2)/(-189))?
False
Suppose 2*u - 4*u + 5*v = -1202, 5*v + 1798 = 3*u. Does 79 divide u?
False
Let y be 226/(-28)*-66 - 40/(-140). Suppose 0 = t - 702 + y. Does 6 divide t?
False
Suppose y = -4*c + 4251, 2*y - 93*c - 8541 = -88*c. Is y a multiple of 87?
True
Suppose -5*r - 5*u + 2100 = 0, 21*u - 20*u - 1671 = -4*r. Let g = r + 164. Is 75 a factor of g?
False
Let g be (-3)/2 + (-1)/(-2). Let a(w) = -165*w + 6. Let s(o) = 87*o - 3. Let p(f) = 6*a(f) + 11*s(f). Does 9 divide p(g)?
True
Let h = 18845 + 15085. Does 117 divide h?
True
Suppose -3*t + g - 84 = 0, g - 42 = 2*t + 5*g. Does 75 divide 18/t*-1*2250/2?
True
Suppose -2*y - 2*g = 0, -3*y - 2*y = 3*g - 8. Suppose y*m - x - 242 = 0, -4*m + 56 = -3*m + 2*x. Suppose -6*u = 4*u - m. Is u a multiple of 4?
False
Suppose -2560 = -9*n + n. Suppose -3*s + i + 325 = 0, -s - 4*i = 2*s - n. Is 27 a factor of s?
True
Let i = 510 - 507. Suppose 3*z - 3*j = 3330, -872 = -z + i*j + 240. Is 40 a factor of z?
False
Let o be 1/1*1/(-4)*-44. Suppose -7*k + o = 4*k. Does 19 divide 23 + -28 + k*138?
True
Let j = -31 - -37. Let c = j + 60. Suppose -7 = -4*a + 5, 4*a - c = -2*u. Is 9 a factor of u?
True
Let z(d) = 161*d + 231. Let j(x) = -16*x - 23. Let u(m) = 21*j(m) + 2*z(m). Is 14 a factor of u(-6)?
False
Is 86 a factor of (-43)/(-3)*((-9070)/(-27) + 12/162)?
True
Let c(s) = 31*s**2 - 2*s + 1. Let z = -64 - -79. Suppose 4*a + 16 = 0, 2*a - 3 = 4*j - z. Is c(j) a multiple of 10?
True
Suppose 297*a + 31157 - 3331246 + 554027 = 0. Is a a mu