 multiple of 11?
True
Suppose -13*f + 11892 = -24284 + 11411. Does 11 divide f?
False
Let j(m) = 3*m**3 + 5*m**2 - 17*m + 25. Let k(g) = -13*g**3 - 19*g**2 + 67*g - 100. Let y(z) = -9*j(z) - 2*k(z). Is 17 a factor of y(-10)?
True
Let b be (-2)/(-36)*-4 - (-83)/9. Let l(r) = r**3 - 9*r**2 + r - 18. Let u be l(b). Let h = u + 218. Is 30 a factor of h?
False
Suppose 0 = 5*u - 59667 + 1347. Suppose 50*d - u = 23*d. Does 24 divide d?
True
Does 4 divide -2 - (-168)/86 - (-706100)/860?
False
Let f(k) = 0*k**2 + k**3 - 88 - 3*k + 127 - 2*k**2 + 209. Does 31 divide f(0)?
True
Let h = -11445 - -21656. Is h a multiple of 9?
False
Suppose -u = 3*u + 4*j - 12, -2*u + 24 = -4*j. Suppose 2*k = 49 + 111. Suppose k = u*o - o. Is o a multiple of 4?
True
Suppose 2*r + 0*x = -x + 13, 3*r - 2*x = 9. Suppose 0 = 5*p - 15 + r. Suppose 1 = -2*b - 1, p*n - b - 31 = 0. Is 2 a factor of n?
False
Let p be (-2)/(-9) + 130/(-18). Is 3370/30 + p - 8/6 a multiple of 13?
True
Suppose 0 = -204*a + 209*a - 12325. Is a a multiple of 17?
True
Suppose 10 = -5*o, 27*b + 5*o = 29*b - 3956. Is b a multiple of 7?
False
Let m(b) = -2*b**3 + 8*b**2 + 3. Let p be m(4). Suppose -1450 = -4*w - w + 4*r, -3*w + p*r = -870. Is w a multiple of 41?
False
Suppose 0 = 5*i + 118*i - 44403. Does 184 divide i?
False
Suppose -4*s = b - 66 - 229, 0 = -4*b - 4. Let z = -41 + s. Suppose n - 48 = -0*n - 4*a, -a = n - z. Is 28 a factor of n?
True
Let t(d) = -d**2 - 7*d - 6. Let b be t(-5). Let x = -132 + 139. Is (-2 + x - (-8)/b)/1 even?
False
Let y = 3324 - -131. Is 9 a factor of y?
False
Let n(t) = t**2 - 18*t. Let g be (3 - 4)/((-2)/36). Let z be n(g). Suppose 2 = d - 0, r - 2*d - 113 = z. Does 39 divide r?
True
Let d(t) = -2*t + 103. Let s(v) = -v + 101. Let i(a) = -3*d(a) + 4*s(a). Is i(2) a multiple of 22?
False
Suppose 0 = -23*w + 109 + 75. Suppose -i + 1838 = -5*n + w*n, 5*i = 5*n - 3090. Does 30 divide n?
False
Is (-1 - -16839)*(6 - 143/26) a multiple of 16?
False
Suppose 0 = 5*k + 4*x - 17120, 0 = 503*x - 500*x + 15. Does 6 divide k?
False
Is 4 - 0 - (-17 + -35617 - 12) a multiple of 155?
True
Suppose 4*a = 2*k - k + 14, k + 3*a = 0. Let j be (35/(-15) - -2)*(k - 0). Suppose j*c + 471 = 5*c. Does 28 divide c?
False
Let n(r) be the first derivative of r**3/3 + 3*r + 1. Let k = 36 - 45. Is n(k) a multiple of 33?
False
Let r(v) = -16*v + 8*v + 6 + 13*v. Let a be r(7). Does 6 divide a + 3 + (-12)/(-4) + -7?
False
Let m(v) = -374*v - 12244. Is 86 a factor of m(-153)?
True
Let v = -1319 - -2430. Let n = -535 + v. Is 96 a factor of n?
True
Let n = 545 - 389. Suppose n = -25*g + 26*g. Is g a multiple of 13?
True
Suppose 0 = -31*i + 3*i + 340 + 864. Is i a multiple of 3?
False
Is 3830 + (-10)/(13/(-13)) a multiple of 20?
True
Let t(s) = s**3 + 5*s**2 - 2. Let g be t(-5). Let r(k) = 82*k - 5. Let j(c) = -80*c + 4. Let m(v) = -4*j(v) - 5*r(v). Is 27 a factor of m(g)?
True
Suppose -2*o + 527 = 3*k - 4*k, -3*k = 9. Suppose 2*x + 0*u + 5*u = -9, 0 = 5*x - 5*u - 65. Is 11 a factor of 11/44 + o/x?
True
Suppose 4*b = -3*n - 9, -2*n + 0 = 5*b + 6. Suppose -q = m - 272, b = 2*q + 3*m - 62 - 479. Is 11 a factor of q?
True
Let w(y) = 118*y**2 - 2*y + 39. Is w(-5) a multiple of 58?
False
Let u(r) be the third derivative of -r**6/60 - r**5/20 - 5*r**2. Let n be u(-2). Does 3 divide 9 + n + (-2)/2?
True
Suppose 0 = d + 2*d + f - 19383, -4*f = 4*d - 25852. Suppose u = -9*u + d. Is 38 a factor of u?
True
Let w(b) = -41*b + 5. Let g(a) = -5*a + 12. Let j be g(4). Let h be w(j). Suppose -2*f = 5*t - 4*f - h, -114 = -2*t - 4*f. Does 13 divide t?
True
Let i(h) = h**3 - 6*h**2 - 4*h + 2. Let u be i(7). Suppose -q - u = -0*c - 3*c, -c - 4*q + 12 = 0. Does 5 divide (25 + -27)*(-2)/(c/66)?
False
Let g(r) be the third derivative of r**5/60 - 5*r**4/8 - 9*r**3/2 - 12*r**2 + 5*r. Is g(-5) even?
False
Let o be 8/14 + 8/((-168)/(-2025)). Let d = 100 - o. Suppose -d*q = -19*q + 448. Does 4 divide q?
True
Is 12 a factor of (-1 + (-30)/(-9) - -1)/(18/43416)?
True
Is (10/(-20))/(5/(-3320)) a multiple of 4?
True
Suppose 132*s - 72*s = 78*s - 1080. Is 4 a factor of s?
True
Let q(r) = 10*r**2 + 5*r + 1. Let h be (-1)/(-1) - ((1 - 3) + 7). Let x be q(h). Let o = x + -24. Is 7 a factor of o?
False
Let q = 804 - 754. Let t(y) = 3*y**2 + 4*y - 3. Let c be t(-4). Let r = q - c. Does 3 divide r?
True
Let v be 2*2 + (7 - 1). Does 13 divide 8/v + 5436/30?
True
Let j = 260 + 347. Let k = j + -469. Is k a multiple of 18?
False
Let z(y) = 10*y**2 + 7*y - 1. Let j be z(7). Suppose 0 = -4*k - 2*d + j, 709 = 4*k - 5*d + 178. Let f = k + -66. Does 17 divide f?
True
Let m(a) = -2*a - 2. Let c be m(-2). Let s(d) = 0*d + 5*d + 6*d**2 - 3*d**2 - 3 - c. Is s(2) a multiple of 8?
False
Suppose 3*a = -4*g - 0 + 2, 10 = 4*g - a. Suppose 0 = -i - c, g*i + i + 3 = -4*c. Suppose 0*t + 3*t - 177 = -3*x, -i*t + 169 = -x. Is t a multiple of 7?
False
Let i(x) = -x**3 - 11*x**2 + 10. Let j(n) = -3*n - 13. Let c be j(5). Let h = c + 17. Does 6 divide i(h)?
False
Suppose -34*q - 97 + 1015 = 0. Suppose 23*k - q*k = -504. Is k a multiple of 7?
True
Let d(a) be the second derivative of -1/2*a**5 + 16*a - a**3 - 1/12*a**4 + 0 - 7/2*a**2. Is 9 a factor of d(-2)?
True
Let a(c) = 160*c**2 + 165*c + 1570. Is a(-10) a multiple of 80?
True
Let p(b) = 7*b + 5. Let f be p(0). Suppose -1399 = -f*c + a, 860 = 5*c + 4*a - 544. Is c a multiple of 11?
False
Let j be (-621)/(-4) + -3 + (-22)/(-8). Let w be ((-6)/(-9) - j/(-15)) + -1. Suppose -w*i + 101 = -459. Is i a multiple of 14?
True
Suppose -w + 62889 = 4*b, 10858 = b - 5*w - 4838. Is 183 a factor of b?
False
Let u = -1042 + 1908. Is 11 a factor of u?
False
Let v(h) = 4*h - 10. Suppose -4*k = 5*j + 50, -42 = 5*k - 4*j - 0*j. Let z be v(k). Let t = z - -60. Is t a multiple of 6?
False
Let q = 18269 + -7913. Is 12 a factor of q?
True
Suppose 5*c - 793 + 48 = 0. Let w = c - 82. Is w a multiple of 11?
False
Let a(v) = 54*v**2 - 114*v + 78. Is 7 a factor of a(10)?
False
Let y(b) = -2*b**2 - 22*b - 8. Let w be y(-10). Let t = w + -9. Suppose -2*g + 4*q = -6*g + 124, 0 = t*g + 5*q - 89. Does 11 divide g?
True
Let u = -3961 + 5555. Does 3 divide u?
False
Let w(h) = h**2 - 5*h + 12. Let u = 155 - 109. Let d = -40 + u. Is 3 a factor of w(d)?
True
Suppose -66*o - 64*o = 12932 - 842722. Is o a multiple of 4?
False
Suppose c + 96 = 5*q, 20 = -2*q - 3*q. Let a = 166 + c. Suppose -a*b - 84 = -56*b. Does 7 divide b?
True
Let b(i) = 530*i - 1249. Is b(7) a multiple of 9?
False
Let r = 752 - 429. Suppose -11*d - 5*l = -13*d + 139, -5*l = 4*d - r. Is d a multiple of 24?
False
Let p(s) = -8*s - 50. Let d be p(-5). Let j be d/2*1*(7 + -8). Suppose 0 = -5*i + 15, j*c - 4*i - 340 = 213. Does 21 divide c?
False
Suppose c = -5, 3 + 2 = -u - c. Suppose u = -6*j + 336 - 2652. Let z = -266 - j. Does 24 divide z?
True
Suppose 3*n = -3*s + 348, -14*s = -4*n - 12*s + 470. Suppose 16*q - 13*q = n. Is q a multiple of 39?
True
Let s(n) = n**2 - 6*n + 8. Let c be s(10). Let p = c - 48. Suppose 4*a + 6 = b, p = -b - 0*b + 3*a + 9. Is 3 a factor of b?
True
Let a = 91 + -97. Let y(b) = -86*b - 76. Is y(a) a multiple of 22?
True
Let i = -4413 - -6480. Is i a multiple of 159?
True
Suppose -30*a = -28*a - 16. Let b be (-369)/(-36) + (-2)/a. Is 195/b*((-52)/(-12) + -3) a multiple of 13?
True
Suppose 66*v = 49*v + 83062. Is 14 a factor of v?
True
Let x = 27517 + -24215. Does 3 divide x?
False
Suppose 4*d + d + 80 = 0. Let c be d/(-56) - (-19)/7. Suppose -c*x + 28 = -56. Does 7 divide x?
True
Let l(u) = 126*u - 28. Let h(c) = 42*c - 9. Let w(m) = 14*h(m) - 5*l(m). Is w(-4) a multiple of 26?
True
Let v = 10772 - 8118. Does 64 divide v?
False
Let j be 4/(-10) + ((-2076)/10)/6. Let r = 39 + j. Suppose -3*u = -2*v - 117 - 151, r*u - 354 = v. Is u a multiple of 11?
True
Suppose 416*k - 27456923 = 2743845. Does 186 divide k?
False
Suppose -8746 + 105766 = 45*b. Does 28 divide b?
True
Suppose m = -s - m + 3, 4*s - 3*m - 1 = 0. Suppose -37 + s = 12*g. Let x(y) = -3*y**3 - 3*y**2 + y - 6. Is x(g) a multiple of 9?
True
Let s(i) = -5 - 27*i - i**3 - 7*i**2 + 3*i**2 - 21*i + 37*i. Let n = -7 + 2. Is 26 a factor of s(n)?
False
Suppose -4*o = g + 296, -o + 5*o + 296 = g. Is 37 a factor of (-75)/(-2) - (-37)/o?
True
Suppose 3*v = t + 47192, -476*v + 477*v - 5*t = 15768. Is v a multiple of 