+ 3. Does 20 divide t(-20)?
False
Is -6 + 5876/2 + -6 a multiple of 7?
True
Suppose 5*c + 25 = 3*b, 2*c + 0*c = 5*b - 29. Suppose -4*k + 55 + 16 = -b*g, -14 = -k + 5*g. Is k a multiple of 19?
True
Let a = 2065 + -957. Suppose -50*z - a + 7858 = 0. Does 5 divide z?
True
Let d(k) = -k**3 + 26*k**2 + k - 44. Let i be d(26). Does 8 divide (-22 - 2)*i/36?
False
Suppose 39*n - 24*n - 2954250 = -50*n. Is n a multiple of 225?
True
Let u = -3265 + 4606. Suppose -u = -5*g + 4*o, 4*g = -4*o + 260 + 820. Let t = -155 + g. Does 38 divide t?
True
Let x be 76/28 - 22/(-77). Is 565 + (2 - 24/x) a multiple of 62?
False
Let i(p) = 2*p + 16. Let y = -71 + 63. Let u be i(y). Suppose u*x + 2*w + 30 = 5*x, 2*x = -2*w + 12. Is 2 a factor of x?
True
Suppose -i = -4*k + 4*i + 7597, -3*i = -2*k + 3799. Suppose 25*h - k - 12102 = 0. Is h a multiple of 16?
True
Let a(r) = -3*r**3 - r**2 - 2. Let c be -2*4/48 + (-17)/6. Is a(c) a multiple of 10?
True
Suppose 17*p = -12*p + 16*p. Suppose p = 2*s - q - 646, 3*s + s - 1292 = 5*q. Does 19 divide s?
True
Suppose 22*x + 187*x = 1009679. Is x a multiple of 38?
False
Suppose -9*h + 534 = -1914. Suppose -8*c + 256 = -h. Is c a multiple of 16?
False
Let a(y) = 7712*y**3 + 12*y**2 - 2*y + 1. Is a(1) a multiple of 88?
False
Let j = -1471 - -5279. Does 8 divide j?
True
Suppose -4*h = -6*h - 2*m + 22, 5*m = 2*h + 13. Let a(w) = -2*w + 18. Let f be a(h). Suppose -2*g + f + 278 = 0. Does 42 divide g?
False
Let f = -44 + 51. Suppose 0 = f*b - 952 - 2520. Suppose 599 = -3*m + 8*m + 4*p, -4*m + b = -p. Is 27 a factor of m?
False
Suppose 4*y = 2*y - 134. Let n = y + 72. Suppose -5*a - 3*m = 2*m - 425, a - 93 = -n*m. Is a a multiple of 19?
False
Suppose 0 = 13*s - 1703 + 559. Let w = s - -37. Is 10 a factor of w?
False
Let c be 3/((-105)/(-10)) - 26/(-7). Suppose 3*f + c*x = 185, -x = -4*f - 6*x + 248. Is 4 a factor of f?
False
Let t(j) = 14*j**3 - 128*j**2 + 20*j + 34. Does 136 divide t(11)?
True
Let t = 325 - 131. Let o = -5 + t. Is 16 a factor of o?
False
Let w = 12 - 9. Let d be 1/((-4)/(-3) - 1). Suppose 0*j = -d*j - w*y + 159, -3*j = 2*y - 156. Is j a multiple of 25?
True
Let b(v) = v**3 + v**2 - 13*v + 1. Suppose 47 = -7*z + 19. Let f be b(z). Suppose 0 = g - f*s - 42, -4*g - s + 168 = 2*s. Is 7 a factor of g?
True
Suppose 0 = -2*c - 0*m - 5*m - 53, 0 = -5*c + 5*m - 185. Let s = c - -37. Does 7 divide s/(27/6) + (-95)/(-15)?
True
Let a(f) = 69. Let z(j) = -j. Let s(q) = a(q) - 2*z(q). Is 10 a factor of s(-28)?
False
Is 247 a factor of (38088/69)/(185/(-200) + 1)?
False
Suppose -4*r + 38 + 53 = -5*n, -7 = n + 2*r. Is -2*(-2)/(-3)*n a multiple of 3?
False
Let n = 23645 - 13845. Does 85 divide n?
False
Let w be 12*186/18*1. Does 18 divide 8/(-14) - w*59/(-14)?
True
Let l(t) = -3*t + 8. Let m be l(-15). Let p = 70 - m. Suppose 71 = s + p. Does 9 divide s?
True
Suppose 2*n = -2*y, -y - y + 5*n = -7. Let h(b) = 506*b**3 + b**2 + 4*b - 6. Is 20 a factor of h(y)?
False
Let h = 570 - 454. Suppose -5*g + 434 = 4*f, -7*f + 8*f = -5*g + h. Is f a multiple of 53?
True
Suppose 13686 - 2282 = 4*n. Is 19 a factor of n?
False
Let i(d) = 15*d**2 + 9*d - 4. Let r be i(7). Let f = -476 + r. Is f a multiple of 18?
False
Suppose -13*s - 3*q - 1774 = -15*s, 4*s - 3544 = 4*q. Is 26 a factor of s?
True
Let i be 3*25/(-60)*-12. Suppose 2*r = -5*m + 25, -5*m - 9 = -2*r + 6. Let s = r + i. Does 12 divide s?
False
Does 7 divide (-198756)/(-52) + (-63)/273?
True
Let f(r) = -r**3 - 43*r**2 - 60*r - 247. Does 4 divide f(-42)?
False
Is (350/21)/(-10)*3*-255 a multiple of 17?
True
Does 146 divide 6/39 - (-24426974)/1859?
True
Let q be (-35)/(-14) + (-2)/4. Let d be (-4 - -6) + (q/2 - 0). Suppose 0 = -d*l + 46 + 62. Is 4 a factor of l?
True
Let k = -647 + 651. Does 60 divide -1 + (-7)/(-14) + 3842/k?
True
Let t be 1589/63 - -4 - (-2)/(-9). Suppose 4*h - t = d, -h + d - 1 = -2*h. Suppose -5*g = -h*g + 10. Does 5 divide g?
True
Let y = -111 + 105. Does 40 divide (y - -22)/(3/90)?
True
Suppose 0 = -6*r + 25 + 173. Is 10 a factor of (r - 23)/((-3)/(-123))?
True
Suppose f = -5*l - 480, -2*l - 192 = f + 2*f. Let m be (-12370)/(-70) - (-6)/21. Let i = l + m. Does 4 divide i?
False
Let q(z) = 2*z**2 + 35*z + 50. Let o be q(-16). Suppose 3*l - 462 = -g + 2*g, o*l = g + 308. Does 11 divide l?
True
Let t(h) = -20*h**3 - 2. Let v be t(3). Let z = -117 - -129. Is 15 a factor of (-6)/36 - v/z?
True
Does 13 divide -4*((-540432)/(-66))/(-12) + 6/11?
True
Let m be 1/3 - (-80)/48. Suppose -5 = j - 4*d, 0 = -0*j - 4*j + m*d + 8. Suppose -t = j*t - 688. Is t a multiple of 36?
False
Let j(x) = x**2 - 3*x - 8. Let u be j(-2). Suppose 5*i - o - 124 = 3*i, 2*i + u*o = 130. Let g = 90 + i. Is 46 a factor of g?
False
Suppose -5*j - 28 = -4*m + 9, 3*m + 2*j = -1. Let s(y) = 54*y + 3. Let n be s(m). Let o = 265 - n. Is o a multiple of 20?
True
Suppose 4*s - 29 = 55. Is (14/s)/(3/378) a multiple of 42?
True
Let k(x) = x + 0 - 5 + 1 + 6 + 44*x**2. Let z be (5/5)/(2/(-2)). Is k(z) a multiple of 14?
False
Suppose -3*k - 40 = -5*d, 0 = -4*d + 41*k - 40*k + 25. Suppose -4*y + 60 = 2*t, -d*y - 53 = 5*t - 203. Is t a multiple of 10?
True
Let p(y) = 60*y - 62. Let u be p(6). Let l = u - 183. Is l a multiple of 23?
True
Let u(a) = -2*a - 72. Let k be (-7)/(21/(-12))*(-46)/8. Let x be u(k). Is 40 a factor of (-6)/39 - 7024/x?
False
Suppose k = -4*k + 880. Suppose -k = -2*y + 280. Is y a multiple of 83?
False
Let f be ((-36)/(-30)*3)/((-6)/(-345)). Let x = f - -31. Is 7 a factor of x?
True
Let p(q) = q**3 - 26*q**2 + 32*q + 4. Let c be p(25). Let a(s) = -s**3 - 7*s**2 + 6. Let m be a(-7). Suppose -1763 + c = -m*g. Is 33 a factor of g?
True
Suppose -13*i = 2*l - 8*i - 2049, 0 = -3*i + 9. Does 9 divide l?
True
Let u(s) = 2*s**2 - 135*s - 157. Is u(-34) a multiple of 112?
False
Let b = 187 - 103. Suppose -5*i = -4*c + 84, -2*i = -4*c - 0*c + b. Suppose -18*h + c*h = 60. Is 2 a factor of h?
True
Suppose -10 = 7*m + 116. Let k = m - -49. Suppose -7*i - k = -178. Is i a multiple of 7?
True
Suppose 10 + 0 = 5*u. Suppose -8*h + u = -6. Does 16 divide 0/19 + h*61?
False
Suppose 47*r - 52*r + 280 = 0. Suppose 0 = 5*a + 4*u - r, -2*a - 5*u + 28 = -9*u. Is a a multiple of 5?
False
Let r(q) = 2*q**2 - 5*q + 77. Let d(x) = x**2 + x - 3. Let a(f) = -d(f) + r(f). Let v = 1 + -1. Is a(v) a multiple of 19?
False
Suppose -3*s - 22*h + 24*h + 24937 = 0, -s = -2*h - 8311. Is s a multiple of 163?
True
Let o = 7952 - 4597. Is 55 a factor of o?
True
Let y be (3 - (3/(-1) - -1)) + -747. Let m(v) = 9*v**2 - v. Let b be m(-1). Is y/(-10) - (-8)/b a multiple of 31?
False
Suppose -5*s = -11*p + 9*p - 46012, 5*p - 46040 = -5*s. Does 26 divide s?
True
Suppose -5*b = 5*s - 5395, 0 = 5*b - 9*b + 5*s + 4307. Is 14 a factor of b?
True
Let q be 44/(-44) - (-769 - -1). Suppose -1200 = 755*d - q*d. Does 20 divide d?
True
Let x = 11505 + 12156. Is x a multiple of 22?
False
Suppose 4*y - 941 = 2*v - 14775, 5*v + 3*y - 34611 = 0. Is 18 a factor of v?
False
Let c(v) = 5*v**2 - 8*v - 21. Let l be c(-4). Let f = -85 + l. Is 8/f + (-1020)/(-18) a multiple of 30?
False
Let i = -187 - -255. Suppose 2*x = 2*d + 656 + i, 347 = x + 2*d. Does 51 divide x?
True
Suppose 5*f - 4*q - 1701 = -38, -4*f - 3*q + 1349 = 0. Does 11 divide f?
False
Is 9 a factor of 4/16*1853*780/65?
False
Let i(g) = 49*g**2 - 20*g - 117. Is i(-11) a multiple of 16?
True
Let g(d) = -2*d + 1 - 15*d**2 - 223*d**3 + 11*d**2 + 2*d**2. Is g(-1) a multiple of 32?
True
Let t(r) = -r**3 + 9*r**2 + 9*r + 12. Let w be t(10). Suppose 204 = 3*p - 3*q, -3*p + 0*q = -w*q - 200. Let u = p + -14. Is 9 a factor of u?
False
Is 73 a factor of 9112/1 - (-3770)/290?
True
Let i(l) = 91*l**3 - 2*l**2 + 3*l - 2. Let r be i(2). Let w = -356 + r. Suppose 276 = 3*t + k, 0 = -3*t - t - 4*k + w. Does 17 divide t?
False
Let a(n) = -n**2 - 16*n - 10. Let i be a(-13). Suppose i*q - 25*q - 376 = 0. Is q a multiple of 43?
False
Suppose -20*w + 39145 = -134455. Is w a multiple of 7?
True
Suppose 62 + 13 = 5*j. Is ((-72)/j)/((-3)/250) a multiple of 40?
True
Suppose -22936 - 7978 = -29*k. Is 38 a factor of k?
False
Let x(i) = 8*i - 30. Let n be -8 + (0 - -4) + 3. Let d be (n + 2)*(-15)/(-1). Is 9 a factor of x(d)?
True
Suppose 32*r + 4*d - 533 = 29*r, r + 2*d - 179 = 0. Let p(l) = -18*l + 9. Let n be p(8). Let c = r + 