a factor of k(26)?
True
Suppose -2*q = -10*q + 368. Suppose 0 = -9*g + 17 + q. Suppose 0 = g*n - 586 + 201. Is 6 a factor of n?
False
Let i = -7169 - -9269. Is 14 a factor of i?
True
Let j(n) = -2*n + 8. Let k(u) = u. Let h(a) = -j(a) - 4*k(a). Let d be h(-6). Suppose 0 = 3*y - d*r - 53 + 9, 5*r - 85 = -5*y. Is 4 a factor of y?
True
Let x(i) = 3*i - 33. Let b = -186 + 203. Does 4 divide x(b)?
False
Let d = 105 - 100. Suppose 50 = o - d*w, -110 = -4*o + 5*w + 45. Does 3 divide o?
False
Let z(p) = p**3 - 47*p**2 - 11*p - 171. Is z(49) a multiple of 66?
True
Let x(q) = q**3 - 12*q**2 + 10*q - 3. Let u be x(11). Let r = u + 36. Does 5 divide 5270/187 - 4/r?
False
Suppose -5*f = r + 413, 3*r = -5*f - 398 - 21. Let d = f - -88. Suppose a + 215 = d*a. Is a a multiple of 15?
False
Suppose m - 43 = 4*z, 1 = -4*z - 3. Let i = m + -60. Is (-2115)/i + (-10)/(-35) a multiple of 15?
False
Let a(j) = 23*j + 6. Let k be a(6). Let i(r) = -107*r + 502. Let t be i(2). Suppose -k = -p + 5*w, -4*w = -2*p - w + t. Does 36 divide p?
True
Let c be (6/(-4) - 1)*68/(-10). Let x(v) = -2*v + 38. Let y be x(c). Suppose -2*u + 0*i = 3*i - 116, 4*u + y*i = 240. Does 35 divide u?
False
Let r = 4514 - 4325. Is 8 a factor of r?
False
Suppose -5*g - 104 = 4*y, 5*y + 0*g + 101 = g. Is (-14)/y - 2032/(-12) a multiple of 5?
True
Let p be 3/5 + ((-117504)/45)/12. Let l = p + 387. Does 17 divide l?
True
Let l = -95 + 106. Let u be 1/(-3) - (1903/3)/l. Let s = u - -75. Is 9 a factor of s?
False
Let k = 36645 + -25934. Does 18 divide k?
False
Let i = -1051 - -1463. Is i a multiple of 8?
False
Let w = -88 + 38. Let o = 55 + w. Suppose 8*m - 621 = o*m. Does 8 divide m?
False
Let n(w) = 21*w**3 - 5*w**2 + 2*w + 4. Let p be ((-11)/(-11))/((-1)/(-2)). Does 39 divide n(p)?
True
Suppose -91*y - 21449 = -93*y + 1647. Is y a multiple of 25?
False
Let n(l) = 949*l**3 + 3*l**2 + 14*l - 27. Is n(2) a multiple of 45?
True
Let f(m) = m**3 + 20*m**2 + 46*m - 30. Let a be f(-17). Is (-11)/(a/(-4695)) + 3 + -3 a multiple of 78?
False
Suppose 3*d = 2*f - 1, 13 = -4*d - 5*f - 19. Let k(t) = 117*t**2 - 17*t - 44. Does 10 divide k(d)?
True
Let r(p) = -17*p**3 + 2*p**2 + 2*p - 2. Suppose 6*k - 11*k - 35 = 5*h, -4*k - 3*h - 24 = 0. Does 7 divide r(k)?
True
Let y be (-10 - 0)*(1 + -2). Let i = -7 + y. Suppose 0*p + i = p, p = 3*a - 321. Is a a multiple of 12?
True
Let x = 865 + -863. Let i be 1 + 4/6*3. Suppose f + i*s = 43, f + x*f + 4*s - 109 = 0. Is f a multiple of 31?
True
Suppose -20*m - 12 = -23*m. Suppose -g + 764 = 2*g - m*n, n - 1281 = -5*g. Suppose x + 52 = g. Is 23 a factor of x?
False
Suppose 0 = 5*m - 2*l - 21 - 16, 0 = 4*m - 3*l - 24. Let k(c) = 23*c**2 - 8*c + c**3 + 29*c**2 - 60*c**2 - 3. Is k(m) a multiple of 5?
False
Let n(z) = -z**3 + 15*z**2 - 6*z + 49. Let a be n(15). Is 24 a factor of a/(1148/(-17208)) - 3/(-7)?
False
Suppose 178 = -99*n + 1564. Suppose -i = 4*i + 720. Is 9 a factor of 1120/(-64)*i/n?
True
Let l = 2039 + 5553. Does 26 divide l?
True
Let c = 2336 + -884. Let q(o) = 1449*o + 24*o**2 - 11*o**2 - 1 - c*o. Is 19 a factor of q(-2)?
True
Let w(g) = -4*g**3 - 31*g**2 - 25*g - 224. Does 50 divide w(-13)?
True
Let u(d) = 3*d + 23. Let h be u(-7). Suppose -728 = -2*q - h*l, -5*q + 1780 = -0*q - 3*l. Does 53 divide q?
False
Let j(a) be the third derivative of a**5/15 - a**4/24 - 26*a**3/3 - 21*a**2 - 3*a. Does 13 divide j(10)?
True
Suppose 79*d - 80*d = 2*w - 14789, 5*d = 5*w + 73990. Is 18 a factor of d?
False
Is (-3 - (23317 + -2))/(9 + -10) - 1 a multiple of 63?
False
Let s be (2 + 1302/9)*-3. Let a = 687 + s. Let k = a - 127. Does 15 divide k?
True
Let v = -218 - -253. Suppose 3*m = 262 + v. Is m a multiple of 9?
True
Suppose -5*u + 22 = 3*d, 3*d = 4*u - d - 24. Suppose -48 = -5*r + 4*t, -u*r + 44 = -t - 13. Is 29 a factor of 3/6 + 546/r?
False
Is 4/((-4)/(-4155)) + -297 + 289 a multiple of 10?
False
Suppose -b = 2*q + 2, 4*b + 0*b = -4*q. Suppose 0 = v - 0*v, 3*v + 3740 = b*u. Does 34 divide u?
True
Let g(s) = -696*s**3 - 2*s**2 - 34*s + 2. Does 48 divide g(-4)?
False
Let l = -16995 + 26323. Is 56 a factor of l?
False
Suppose 0 = 14*m - 3*m - 7*m - 4932. Does 72 divide m?
False
Let f(x) = -12*x + 6. Let d(y) = -y**2 + 1. Let o(h) = -h**2 - 23*h + 15. Let p(j) = -2*d(j) + o(j). Let r(u) = -5*f(u) + 2*p(u). Does 4 divide r(-9)?
True
Let n = -4761 + 10305. Is 9 a factor of n?
True
Let b(g) = -g**2 + 2381*g + 6 + 9*g**2 - 2381*g. Let c be b(-5). Does 10 divide (-2)/(8/c)*(-9 - -7)?
False
Let p = 409 + -255. Does 18 divide (5/(50/(-528)))/(p/(-1155))?
True
Let k = 7940 - 3505. Is k a multiple of 16?
False
Suppose 2*p + 2*p - 2*f = 60, 2*p - 34 = 2*f. Suppose 11 + p = -4*c. Is 9 a factor of (234/4 - -3) + c/(-4)?
True
Suppose 4*n - 28809 = 3*l, 3*n - 2*n - 3*l = 7191. Is n/16*2 - 9/12 a multiple of 21?
False
Suppose 0 = s + 4*r + 107, -67 = s + 2*r + 32. Let i = 185 - s. Is 7 a factor of i?
False
Let i = 98 + -121. Does 51 divide i/((-8)/(96/63) - -5)?
False
Let g(j) be the third derivative of -j**6/120 - 2*j**5/15 - 17*j**4/12 - 125*j**2. Is g(-6) a multiple of 66?
True
Suppose -381413 = -134*y + 2556403. Does 19 divide y?
False
Let v = -172 - -172. Is v/4 - (-507 + 3) a multiple of 12?
True
Suppose 43658 = 5*s + 3*k, 6*k + 3*k = -2*s + 17432. Does 12 divide s?
False
Let r(g) = g**3 + 7*g**2 - 28*g - 191. Is 3 a factor of r(-6)?
False
Let g(c) = -11*c**2 - 3*c - 3. Let t be g(3). Let l = 7 + t. Is 26 a factor of (l/(-6))/((-4)/(-42))?
True
Let q be 6/8 - 1325/(-100). Let c = 12 - q. Is c/(-8) - (-8620)/80 a multiple of 36?
True
Suppose 2*o - 5*m - 926 = 0, -4*m + m - 1398 = -3*o. Does 4 divide o?
True
Suppose -2*u + 2 = -4*p, 5*u + 0 - 5 = p. Is 44 + -49 + u + 297 a multiple of 30?
False
Suppose -31*v = -27*v - 4, -y - 4*v = -38237. Does 8 divide y?
False
Suppose 3*p - 3 = -5*c + 8*c, -c = -1. Suppose -4*q = -5*o + 190, p*o - q - 76 = -6*q. Does 22 divide o?
False
Suppose -5*t + 223*m = 218*m - 2750, 0 = 4*m - 4. Does 10 divide t?
False
Let j be 16/(-12)*(-228)/8. Let x = 38 - j. Suppose x = -2*w - 23 + 95. Does 9 divide w?
True
Let i(u) = u**3 - 28*u**2 - 27*u - 54. Let w be i(29). Suppose v + 245 = w*p, 2*v = -2*p + 3*v + 121. Suppose 0 = a + 6 - p. Is a a multiple of 8?
True
Let x be (-6)/4*60/45 - -2158. Suppose -15*y + 1954 = -x. Is y a multiple of 31?
False
Suppose 0 = 3*o + 3 - 30. Let k(i) = -i**2 + 12*i - 22. Let j be k(o). Suppose 3*y + 192 = 6*y - 3*s, -4*y + j*s + 260 = 0. Is y a multiple of 30?
True
Suppose 2*m + 5*z = -9, 3*z = -3*m - 2*m - 13. Let x be (-1 - 9/m)/((-9)/(-18)). Suppose 0 = -x*c + 367 + 179. Is c a multiple of 26?
True
Let c be 267066/148 - (-3)/(-2). Suppose 919 = 2*x - 3*r, 13*r = -4*x + 12*r + c. Is 27 a factor of x?
False
Suppose 0 = -5*a - 161 + 16. Let b = 299 + a. Is 27 a factor of b?
True
Suppose -150 = p - 157, -6671 = -4*u - p. Does 30 divide u?
False
Let d = -8778 - -8893. Is d a multiple of 23?
True
Let r be (-46)/(2*4/(-52)). Let x = r - 183. Suppose -3*i = q - 76, -q = 4*i + 4*q - x. Does 7 divide i?
False
Let f = 13129 + 1766. Is f a multiple of 41?
False
Let z(o) = -4*o**2 + 14*o - 3. Let m be z(3). Suppose -2*b - 110 = -5*u, 0 = -m*u + 7*u - 2*b - 88. Is u*(4 - 9/(-2)) a multiple of 14?
False
Suppose -4*u - 5*z = -10, 0 = 3*u - 5*u - 4*z + 2. Suppose -5*w - u*r + 340 = 0, -3*w - r + 253 = 47. Does 22 divide w?
False
Let s(v) = -v**3 + 13*v**2 + 13*v + 20. Let x be ((-28)/5)/(6/(-15)). Let c be s(x). Suppose -c*i + 2*i = -44. Is i a multiple of 11?
True
Suppose 24*i + 23 = -25. Is 0 - 0 - 2*39/i a multiple of 7?
False
Suppose -5*c = 2*y - 311, 3*c = 150 - 135. Does 11 divide y?
True
Let a be (-5)/(-2)*(5 - 4 - -37). Suppose -50*g + a = -45*g. Is g a multiple of 18?
False
Let n(v) = -v - 2. Let w be n(-3). Let c be -21 + w + (2 - -2). Let a(r) = r**2 + 9*r + 7. Does 14 divide a(c)?
False
Suppose -3*r = -50 + 68. Let t be 210/40*(-1 + (-118)/r). Let y = -44 + t. Does 7 divide y?
False
Let z(d) = 21*d**3 + 2*d**2 - 2. Suppose q + 124 = -2*o + 5*q, -5*q = 0. Let l = o + 64. Does 29 divide z(l)?
True
Suppose -1409 - 600 = -3*r - 5*p, 5*r - 3410 = 4*p. Let m = r + -385. Does 24 divide m?
False
Let o be 1*(0 + (-6)/18*3) - -6. Suppose -9 = -2*x + 3*s, 0*s - 6 = -3*x + 2*s. Suppose -r = o, x*l + 3*r - 47 = -2*l. Is 4 a factor of l?
False
S