96. Is l a multiple of 44?
True
Let r = 21 - 120. Let g = r + 127. Does 12 divide g?
False
Suppose 27 - 43 = 8*f. Suppose r + 0*r - 2 = 0. Does 45 divide (-2 - (-2)/f) + r - -200?
False
Let b = 14890 + -5261. Is 85 a factor of b?
False
Suppose 26*d + 10 = -68. Is 13 a factor of (12 - d) + (-8)/4?
True
Let u(h) = -76*h + 116. Let q be 116/(-174)*(-1 - -22). Is u(q) a multiple of 37?
False
Let v = -10 + 6. Let z be v/(-16) + 3813/12. Suppose -808 = n - 6*n - k, 2*n - z = -3*k. Is 18 a factor of n?
True
Let o(u) = -u + 398. Suppose 20*r = 27*r. Does 14 divide o(r)?
False
Suppose -2*x + 137447 - 4796 = 7*x. Is 17 a factor of x?
True
Let l = -87 - -87. Suppose 17*z - 12133 + 4330 = l. Is z a multiple of 9?
True
Suppose -21*i = -1031 - 2980. Suppose 21*a - i = 20*a. Is 7 a factor of a?
False
Let w be 4 - (4 - (1 + 1)). Let o(f) = f**2 - 3*f**2 - 9 + f**2 + 2*f**w. Is o(4) a multiple of 5?
False
Let j(t) = 3*t**3 - 33*t**2 + 10*t - 16. Does 62 divide j(15)?
False
Let i(v) = v**3 - 14*v**2 - 68*v + 175. Is 3 a factor of i(19)?
False
Let s = 78 - 76. Suppose -20 = s*a + a - 5*f, -20 = -5*f. Suppose a = -2*i + 11*i - 729. Is i a multiple of 27?
True
Suppose -5*h = 35, -15*h + 4182 = p - 20*h. Does 2 divide p?
False
Suppose 0 = 2*h - 9*u + 7*u - 30106, 2*h + 2*u = 30086. Is h a multiple of 36?
True
Suppose i = 46 + 567. Suppose 10*k - 5*k - 20 = 0, -5*g = 2*k - i. Suppose 3*u + 3*x = 69, -3*x - g = -5*u - 5*x. Does 7 divide u?
False
Let i(u) = u**2 - 126. Let x be i(0). Let b be -1*1/(-1 - 124/x). Let r = b + 5. Is r a multiple of 10?
False
Let u be ((-10)/(-4))/((-1)/(-2)). Suppose -397 - 953 = -u*t. Suppose t = -2*k + 4*k. Is 45 a factor of k?
True
Let g(w) = 55*w - 1. Let m be (-1)/((-4)/(-54))*(-40)/(-12). Let q = -44 - m. Is g(q) a multiple of 8?
False
Suppose -5*g + 24792 = 6092. Suppose -g = -6*o - 4*o. Is o a multiple of 22?
True
Let w(q) = 12*q**2 + q + 3. Let m(b) = -3*b - b + b + b + 8. Let v be m(3). Does 26 divide w(v)?
False
Let a(b) = -20*b**3 - b**2 + 4. Let z(v) = 41*v**3 + 2*v**2 + v - 7. Let f(n) = -5*a(n) - 3*z(n). Is 11 a factor of f(-3)?
False
Let z(d) = 4*d + 118. Suppose -r = -4*u + 120, 4*u - 6*r - 120 = -2*r. Is z(u) a multiple of 41?
False
Suppose -126 = -5*t + 4. Let x be (-3)/(-1 - (-20)/t). Suppose 22 = -x*y + 15*y. Does 3 divide y?
False
Let n = -2242 - -5710. Suppose 26*d = 9*d + n. Is d a multiple of 13?
False
Let t(f) = -71 + 244*f - 246*f - 34. Let p(m) = m + 53. Let x(k) = 13*p(k) + 6*t(k). Is x(-15) a multiple of 5?
False
Let t(b) = b**3 - 3*b**2 + 9*b - 12. Let a be t(2). Suppose 2*c - 4*g - 370 = 0, -a = 4*g - 2*g. Is 25 a factor of c?
False
Let s = -14 + 26. Suppose 2*o + 2*o + 4 = 0, s = 5*h + 3*o. Suppose 0 = h*v - b - 0*b - 439, 5*v + 4*b = 709. Is 15 a factor of v?
False
Let z be ((-90)/150)/(2/10). Let g(p) = 3*p + 27. Is g(z) a multiple of 14?
False
Suppose -3*m + h = 2*h + 154729, -3*h = -4*m - 206327. Does 13 divide (-4)/(-46) - m/391?
False
Suppose 0 = -5*f - 20*d + 13995, 2*d - 5592 = -f - f. Is 13 a factor of f?
True
Suppose -2*i = -0*i - 5*c + 143, -5*i - 329 = -3*c. Let m = 30 - i. Let k = 247 - m. Does 17 divide k?
True
Let m(n) = -n**2 - n. Let a(h) = -242*h**2 - 8*h - 2. Let i(r) = -a(r) + 5*m(r). Let z be i(-1). Suppose 0 = -6*v + z + 142. Is 30 a factor of v?
False
Suppose 0 = -8*q + 4815 + 3025. Suppose 20*s - 16*s = q. Let o = 443 - s. Is o a multiple of 22?
True
Suppose 14*k - 110 - 1290 = 0. Suppose 255 = -4*b + b. Let j = b + k. Does 8 divide j?
False
Let c(w) = 2*w**2 - 16*w + 18. Let v = -123 + 86. Let p = 46 + v. Is c(p) a multiple of 12?
True
Suppose 33*c - 30*c - 52205 = 5*n, -c - 2*n = -17376. Is 36 a factor of c?
False
Suppose 4032 = 9*i - 0*i. Is 8 a factor of i?
True
Let a(n) = -38*n + 150 + 129 - 88. Is a(-8) a multiple of 9?
True
Let q(y) = -y**3 - 4*y**2 + 8*y + 4. Let p be q(-6). Let r(n) = n**2 - 22*n - 69. Is r(p) a multiple of 19?
False
Let w(m) be the third derivative of -55*m**6/6 + m**5/60 - m**4/4 - 7*m**3/6 - 8*m**2 + 3. Is w(-1) a multiple of 10?
True
Suppose -1154 = -2*u + 306. Suppose 2*f + 0*f + u = 0. Is 10 a factor of (-47742)/f - ((-12)/10 - -1)?
False
Let g = 35 - 27. Let y be (-21)/((-2)/g*(8 + -6)). Suppose -l - l - 5*f + y = 0, -f = 0. Is l a multiple of 7?
True
Let h(a) = 4 - 5*a + 3*a + 7*a + 3*a. Let p be h(-2). Is 22 a factor of (-804)/(-20) + p/(-15)?
False
Let h(o) = 176*o - 7. Let v be h(2). Suppose -v = -6*a + 11*a. Let x = -25 - a. Does 4 divide x?
True
Let t = -70 - -69. Is 11 a factor of 24/(-48)*(-1 - t) + 27?
False
Suppose -20*z + 374652 - 16275 = 31*z. Is z a multiple of 26?
False
Let d(g) = -3*g**2 + 24*g + 4. Let m be d(8). Suppose -4*c + 3405 = m*t - 243, -3*c = 0. Does 89 divide t?
False
Suppose 0 = -96*f + 153667 + 59741. Is 5 a factor of f?
False
Suppose 1986 + 162 = 4*w. Suppose 4*r + w - 969 = 0. Is 14 a factor of r?
False
Let u be (-900)/(-14)*(238/3)/17. Let f = 375 - u. Is f a multiple of 3?
True
Suppose 2*d + k = -203, 3*k + 1 = d + 85. Let j = 120 + d. Let s = 42 + j. Does 9 divide s?
True
Suppose 13*y - 14*y + 6140 = -4266. Is y a multiple of 43?
True
Let m(r) = -r**2 - 28*r - 47. Let f be m(-26). Does 17 divide f - -508 - (11 - 8)?
True
Let d(y) = y + 26. Let z be d(-26). Suppose z = -2*f + r + 379 - 6, 2*r = -2*f + 370. Does 19 divide f?
False
Let s = 4413 + 867. Does 132 divide s?
True
Suppose 0 = -9*z + 25 + 2. Suppose 233 = -z*d + 998. Is d a multiple of 15?
True
Let m(g) = 2*g**3 + 4*g**2 - 16*g + 50. Suppose 0 = -13*p + 12*p + 5. Does 64 divide m(p)?
True
Let y(n) = -11989*n - 930. Is y(-4) a multiple of 14?
True
Let p(s) = 3*s**2 + 5 - 2*s**2 + 2 + 10*s - 5*s. Let i be p(-10). Suppose -4*t + 96 = 3*j, j - i = 3*t - 12. Is j a multiple of 12?
True
Let h(i) = i**3 + 19*i**2 - 9*i + 34. Let o be h(-19). Let u = o + 87. Suppose -b + u = b. Is 25 a factor of b?
False
Let q(d) = d**3 - 2*d**2 + 94*d + 2746. Does 37 divide q(0)?
False
Suppose 5*j + 1045 = -0*n - 4*n, 2*n = -3*j - 625. Let f = j + 427. Suppose -4*x - f = -7*x. Is 20 a factor of x?
False
Let o = 55 + -57. Let q be (-45)/o*10/3. Let f = 139 - q. Is f a multiple of 8?
True
Does 6 divide 2*(-6 + 8188) + 10?
True
Suppose -18941 + 5425 = -31*n. Suppose -3652 = -3*p + 4*q, 5*q = -2*p + n + 1991. Is 21 a factor of p?
False
Let a = -5173 - -9997. Does 67 divide a?
True
Suppose -4*s = -12, 0 = -5*z + 4*s - 3 - 9. Let a(j) = -6*j**2 + j + 3. Let y be a(z). Suppose y*l = -7*l + 160. Is l a multiple of 4?
True
Let k(g) = -g**3 + 4*g**2 + 3*g - 14. Let n be k(3). Does 15 divide (-4 + 32/n)/(2/47)?
False
Suppose -10 = -19*g + 28. Suppose 0*s - 5*s + 16 = -g*r, 2*s = 5*r + 40. Is 14 a factor of 3/2*r/6 - -128?
True
Suppose -1134*w = -1047*w + 1635 - 120216. Does 4 divide w?
False
Let t(k) be the first derivative of -k**4/12 - 25*k**3/6 - 15*k**2/2 + 2*k - 7. Let v(h) be the first derivative of t(h). Is 27 a factor of v(-14)?
False
Suppose 0 = -3*c + 3*i - 185 + 18779, i + 18598 = 3*c. Does 100 divide c?
True
Suppose 0 = 4*h + 4, 5*b - 2*h + 6 = 2*h. Let f be 2 - b/(-2)*-6. Let q(x) = 16*x - 32. Is 12 a factor of q(f)?
True
Suppose -2*k + 31 = -5*c + 8, -3*k - 4*c - 23 = 0. Does 9 divide -13 + 12 - 109*k?
True
Let a(k) = 3*k**2 - 7*k + 22. Suppose 3*u = -u - p + 31, 5*u + 2*p - 35 = 0. Is a(u) a multiple of 15?
False
Let l(b) = -b + 13. Let s be l(-28). Let m = 51 + s. Is m a multiple of 7?
False
Let v be 1*(-2 + -3)/(-1). Suppose v*o - 5*l = -2*l + 2808, 3*l = -3. Does 23 divide o?
False
Suppose -h = 3*t + 7, -13 = 4*h - 3*h + 5*t. Let w(u) be the second derivative of -u**3/6 + 3*u**2 - 4*u. Is w(h) a multiple of 4?
True
Let w(i) = 2*i**3 - 13*i**2 + 8*i - 482. Is 13 a factor of w(14)?
False
Let c(t) = -24*t**3 - 43*t**2 - 286*t - 26. Is c(-7) a multiple of 23?
False
Let f = 9256 - 771. Does 19 divide f?
False
Let d(u) = 21*u**3 + 24*u**3 + 9*u**2 + 10*u - 16*u**2 - 42*u**3. Is d(4) a multiple of 20?
True
Let h = -61 - -61. Suppose -5*c - 7 + 17 = h. Suppose -3*s - 108 = g - 373, 0 = c*s + 3*g - 172. Is s a multiple of 15?
False
Let i = -2009 - -2789. Is 16 a factor of i?
False
Suppose 2*a = 10, a = -4*l - 0*a + 1. Let j be 26/((l - 1)/(-1)). Let g = j - -67. Is 40 a factor of g?
True
Let n(c) = -2*c**2 + 27*c - 36. Let p be n(12). Suppose p = -2*a + l + 1040, 2*a - 1688 = 2*l 