 Let g = -75 - k. Is 3 a factor of g?
True
Let c = -9758 - -17172. Is c a multiple of 26?
False
Let u(r) = -r**3 + 45*r**2 - 81*r + 559. Is u(42) a multiple of 36?
False
Suppose 4*w - 3*d + 96 = -d, 2*w = 4*d - 60. Let l = 13 + w. Let g(r) = -4*r + 6. Does 14 divide g(l)?
True
Is (-10)/((-6138)/765 + 8) a multiple of 25?
True
Let i(l) = 300*l - 2691. Does 110 divide i(92)?
False
Let a(l) = 2*l**3 + 5*l**2 - 39*l + 192. Does 30 divide a(6)?
True
Suppose 194*i = 186*i + 94600. Is i a multiple of 8?
False
Let c(b) be the second derivative of 1/2*b**2 + 0 + 1/20*b**5 - 23*b - 1/6*b**3 + b**4. Is c(-12) even?
False
Let j = 10809 - -12095. Is 10 a factor of j?
False
Let y(f) = 2 + 1 + 11 - 6*f - 3*f - 24 - 96*f**3 - 2*f**2. Is y(-2) a multiple of 32?
True
Let j(v) = 9*v - 19. Suppose 3*r + 20 = 7*r. Let m be j(r). Suppose 256 = -m*q + 30*q. Does 6 divide q?
False
Suppose 1949 + 1748 = 2*x - 663. Is 20 a factor of x?
True
Let o(a) be the first derivative of a**4/4 - 26*a**3/3 - 9*a**2 - 3*a + 68. Is 60 a factor of o(27)?
True
Let v(n) be the first derivative of n**4/4 - 16*n**3/3 + 63*n**2/2 - 4*n + 42. Does 2 divide v(10)?
True
Let m(r) = r**3 - 13*r**2 + 12*r + 6. Let w be m(12). Let l be (w/(-4))/((-1)/2)*1. Suppose h + 0 = l*t - 13, -4*t + 14 = -3*h. Does 3 divide t?
False
Let b = -37 - -40. Is (-128)/6*(15/(-2) + b) a multiple of 32?
True
Let p(o) = o**2 - 29*o - 252. Let y be p(-21). Let k = -630 + y. Does 29 divide k?
False
Let b = 165 - 77. Let g = b + 280. Does 46 divide g?
True
Does 101 divide 3030/(38/8 + 21/(-3) + 3)?
True
Let o(a) = -a**3 + 29*a**2 - 64*a + 11. Let q(u) = u**2 + 5*u + 20. Let b be q(-6). Does 10 divide o(b)?
False
Let u be (272/(-6))/(6/(-18)). Suppose 0 = -3*t + 6, 5*o - 5*t = 2*o - u. Is (1365/o)/(2/(-4)) a multiple of 13?
True
Let h = -875 + 1710. Let x = h - 574. Let p = -153 + x. Is 17 a factor of p?
False
Let a = -2040 - -2964. Is 11 a factor of a?
True
Suppose 0 = 48*r + 3851 + 1888 - 267. Let c be 97*2/(-2)*1. Let w = c - r. Is w a multiple of 6?
False
Suppose -11138 = -2*h + 774. Is h a multiple of 232?
False
Suppose 4 - 14 = -2*u - 2*x, 2*x = 5*u - 25. Suppose -2*k + 1 = -w + 3*k, -u*w + 23 = 3*k. Suppose -4*y + q + 622 = 0, w*q = -3*y + y + 320. Does 39 divide y?
True
Let w = -29897 + 63714. Does 24 divide w?
False
Let t(m) = -17*m**2 + m + 17. Let k(s) = 5*s**2 - 6. Let c(l) = 7*k(l) + 2*t(l). Is 12 a factor of c(-14)?
False
Suppose -4*a + 4*d = -22200, -2*d = 13*a - 12*a - 5544. Is a a multiple of 146?
True
Suppose 32*w = 29*w + 68508. Is w a multiple of 66?
True
Let a(d) = 4*d - 6. Let k(o) = -2*o**2 + 19*o + 31. Let r(h) = h**2 - h. Let f(u) = k(u) + r(u). Let m be f(19). Is a(m) a multiple of 6?
True
Suppose 0 = 5*c + 392 - 412. Suppose -16*d + c*b + 25 = -15*d, -b - 64 = -2*d. Is d a multiple of 11?
True
Let a(q) = -1859*q**2 - 8*q + 31. Let l(b) = -2*b - 2. Let n(p) = -a(p) - 6*l(p). Is 92 a factor of n(1)?
False
Suppose -542 = 3*l + f, 0 = -l + 5*f - 88 - 82. Let v be l/4 + (-6)/3 + 4. Let a = -32 - v. Is a a multiple of 11?
True
Let s = -9 + 68. Let t = s + -54. Suppose -t*l - 3*i = -235, -4*l + 2*l + 4*i = -68. Is l a multiple of 44?
True
Suppose 0 = -2*r + 5*d + 939, 3*r + 4*d - 1325 = 95. Is 4 a factor of r?
True
Suppose -15 = 5*o, 4*b + 2*o - 1453 - 1005 = 0. Is 14 a factor of b?
True
Let z = -25 + 14. Let a(u) be the first derivative of -3*u**2/2 + 27*u - 1341. Is a(z) a multiple of 15?
True
Let w be (-1)/((-2)/(-20) + 0). Does 12 divide (-1 - 42/w)/(60/4050)?
True
Let c(t) = -165*t + 2177. Does 13 divide c(-47)?
True
Suppose -f - 52 = -5*x, -2*f - 2*x = -0*x + 44. Let d be 105/18 + (-1)/(-6). Is f*((-4)/(-10))/(d/(-5)) a multiple of 7?
False
Let j(l) = 8065*l**2 - 120*l - 121. Is j(-1) a multiple of 252?
True
Suppose -n = 4*g - 2*n - 10998, 2*g - 3*n = 5494. Does 11 divide g?
True
Let s be -3 + (4 - -6) - -385. Suppose 5*m + c - 976 = 0, -2*m - 9*c + 7*c + s = 0. Is m a multiple of 21?
False
Let u(h) = 197*h + 39. Let y be u(4). Let t = -488 + y. Does 14 divide t?
False
Suppose 89*f - 88*f = 4*a - 37022, -2*f = -4. Is 178 a factor of a?
True
Does 8 divide 0 + 36165/(150/10)?
False
Let x = 67050 + -35723. Is 29 a factor of x?
False
Let z = -174 + 609. Suppose 3*h - 335 = -3*p + 304, p = 2*h - z. Is 27 a factor of h?
True
Does 55 divide (-5)/((-5)/8502)*16/12?
False
Suppose -6*p + 50 = 4*p. Suppose -p*w = -3*m - 2628, 2*w = -3*m + 4*m + 1051. Is w a multiple of 25?
True
Suppose 0 = 49*r + 13661 - 48990. Is r a multiple of 2?
False
Suppose -k + 9 + 8 = -3*m, 15 = -3*m. Suppose 16 = 4*x - k*s, -x - x + 2*s + 6 = 0. Suppose 4*t = -x*g + 304, -t + 6*t - 3*g = 417. Is t a multiple of 19?
False
Suppose 0 = 2*o - d + 3 - 16, -15 = 3*d. Suppose 4*p = 5*p - x - 148, o*p + 2*x = 574. Let g = -81 + p. Is g a multiple of 9?
False
Let c(i) = -i**2 - 72*i - 621. Does 51 divide c(-46)?
False
Let c = -390 + 378. Does 2 divide (-1)/2*c*8?
True
Let p = 91 + -88. Suppose -1211 = -p*c + 94. Is c a multiple of 15?
True
Let k(i) = i**2 - 2*i + 3. Let z be k(0). Let t(y) = -9 - 7*y**2 - y + 9*y - y**3 + 2*y + z. Does 6 divide t(-9)?
True
Let l = -9175 - -10147. Does 22 divide l?
False
Does 35 divide (-142890)/(-2)*6/(-9)*7/(-14)?
False
Suppose -14*q + 12*q = -28. Is 1/((-14)/q + 30/29) a multiple of 29?
True
Suppose -6*r + 18 = 0, -183*n + r = -180*n - 23109. Is n a multiple of 9?
True
Let p = 28683 + 13466. Is 41 a factor of p?
False
Let b be ((-20)/80)/((-2)/8). Let y be ((-21)/(-14))/(b/20). Suppose -s - s = -y. Is 4 a factor of s?
False
Let n(w) = -w**3 - w**2 - w. Let y(c) = 10*c**2 + 7. Let u(a) = n(a) + y(a). Let s be u(7). Suppose 0*v - 2*v = -s. Does 44 divide v?
False
Let n = 241 + 255. Suppose -4*m - 268 = -6*m + 4*c, 0 = -4*m - 2*c + n. Is 20 a factor of m?
False
Suppose -19*v - 7380 = -58604. Is v a multiple of 8?
True
Let w(n) = -n**2 + n - 1. Let h(m) = -315*m**2 - m - 6. Let a(j) = -h(j) + 4*w(j). Does 22 divide a(-1)?
True
Suppose 0 = -13*n - 1217 + 8276. Is n a multiple of 19?
False
Let g(c) = -28*c**2 - 3*c - 32. Let r(a) = 27*a**2 + 3*a + 32. Let x(w) = 5*g(w) + 6*r(w). Does 7 divide x(-5)?
True
Suppose 18*r = -23*r - 328. Is 11 a factor of 12/r + (-11)/(-2) + 40?
True
Let z(s) = 12*s + 112. Let o be z(-14). Let h = o - -182. Does 21 divide h?
True
Let i(o) = 2*o - 11. Let d be i(8). Let j = d + -2. Suppose -j*l + 35 + 7 = 0. Is 3 a factor of l?
False
Let l = -3 + 18. Suppose 20*r - l*r - 90 = 0. Is 5 a factor of (-6)/(-36) + 663/r?
False
Let r = 12849 - 6525. Is r a multiple of 93?
True
Let f be -2483 - (4/(-10))/(40/100). Is 5*(f/(-15) + (-62)/93) a multiple of 5?
False
Let k(q) = 6*q**3 + q**2 + 6*q + 5. Let m(r) = -r**2 - 7*r + 29. Let a be m(-10). Let j be k(a). Is 12 a factor of 112 + (-20 + -4)/j?
False
Suppose 4*r - 680 = -4*o, -136*o + 330 = -134*o + 4*r. Is 5 a factor of o?
True
Let z(n) = -25*n + 91. Let v(u) = 72*u - 274. Let o(d) = 5*v(d) + 16*z(d). Does 50 divide o(-24)?
False
Let h(t) = 6*t**3 - 8*t**2 + 49*t - 9. Is h(11) a multiple of 37?
True
Let u(v) = v**2 + 3*v - 14. Let x be u(-6). Let p = x - -6. Suppose -90 + 0 = -p*l. Is 3 a factor of l?
True
Does 40 divide 6/((12 + 28107/(-2340))*(-4)/72)?
True
Let x be 2/(-11) + ((-1220)/(-55) - 4). Suppose -x*s = -20*s + 240. Does 30 divide s?
True
Let d = -73 + 34. Let f be 8/52 + (-14034)/d. Suppose 4*a + 2*g - f = 2*a, 0 = 2*a - 3*g - 380. Is 23 a factor of a?
True
Let y = -4498 + 6049. Does 33 divide y?
True
Let v(r) = -r**2 - 10*r - 17. Let h be v(-7). Suppose h*c = 3*c - 1. Is 4 a factor of c/(-2)*(9 - -29)?
False
Let h(v) = -213*v - 43. Is h(-11) a multiple of 92?
True
Suppose -3*n + 4954 = 5*g, 0*g = -5*n + g + 8294. Is 2 a factor of n?
True
Let z = -1473 - -861. Is ((-38)/3)/(8/z) a multiple of 15?
False
Suppose -12*w - 12*w + 62 + 15490 = 0. Is w a multiple of 24?
True
Suppose -27*r - 24168 = 21273. Does 10 divide (-17)/(r/79218) - (-6)/(-33)?
True
Let d(k) = 3*k**3 - 97*k**2 + 2*k - 148. Does 95 divide d(36)?
False
Suppose -3*u = 2*j - 4*u - 5, 3 = 2*j - 3*u. Does 8 divide (62/j)/((-54)/(-81))?
False
Let i(l) = 2*l + 13. Let m be i(-6). Let h = m - -3. Suppose -h*y + 48 = -0*f + 2*f, -4*f + 132 = -4*y. Does 30 divide f?
True
Suppose 57 = -140*o + 9857. Is 3 a factor of o?
False
Let r(x) = 16*x**3 + 14*x**2 - 236*x + 90. Is 