 factor of b?
False
Let q(r) = 1325*r - 2647. Does 52 divide q(8)?
False
Let h(s) = 169*s**2 - 34*s - 66. Let k be h(-2). Let v = k - -1068. Does 9 divide v?
True
Suppose 59*k + 48*k - 798000 = 12*k. Does 48 divide k?
True
Let v = -375 - -878. Suppose 0 = -3*c + 4*t - 3*t + v, -5*t = -5*c + 825. Is 13 a factor of c?
True
Let o(t) = 344*t - 1. Let f be o(-3). Let n = f - -1577. Suppose -n = -h - 3*h. Is h a multiple of 27?
False
Let b = 38564 - 19184. Is b a multiple of 95?
True
Let n be (-13 - -3) + (-55)/(-5). Suppose 0*u + 2*u - 30 = 0. Does 4 divide n/((-2)/5)*(-114)/u?
False
Let p(z) = z**3 - 53*z**2 + 252*z + 12. Is 13 a factor of p(48)?
False
Suppose 952*k - 980*k = -2380. Suppose 5*w - 58 = 4*w. Suppose -w = -l + k. Is l a multiple of 13?
True
Suppose 15 = -4*d + 2*l + 135, 0 = -5*l. Suppose -v = -272 + d. Is 11 a factor of v?
True
Let w(t) = 74*t**2 - 50*t + 30. Is w(10) a multiple of 30?
True
Let t = 229 - 334. Suppose -4*j + 3*v = 250, j = 4*j + v + 181. Let p = j - t. Is p a multiple of 44?
True
Let i(z) = z**2 - 3*z - 25. Let b be i(-4). Suppose 0 = -3*u - 3, -5*u = 5*o - b*u - 378. Is o a multiple of 28?
False
Let x(z) = 9*z - 22*z - 9 - 3*z**2 + 7*z. Let b be x(-2). Is 8 a factor of -1*56*(b - -4 - -3)?
True
Let q(h) = h**2 + 27*h + 8. Let l be q(-25). Let g = 44 + l. Suppose g*b - 1488 = -10*b. Does 31 divide b?
True
Let w(q) = q**2 - 6*q + 33. Let v be w(4). Suppose v*d - 2184 = 13*d. Does 46 divide d?
False
Suppose 0*c = 4*m + 3*c - 16, -c = -2*m - 2. Let d be (-1 + 95/10)/(m/(-2)). Does 16 divide d/(-1) + (-6 - -5)?
True
Is 5328/15*99820/651 a multiple of 16?
True
Let y(p) = p**2 - 5*p - 6. Let n be y(4). Does 26 divide 9/30 - 367/n?
False
Let k be (1 + -5)*((-34)/4)/17. Suppose -12*p + k*s = -8*p - 1870, -2*s + 1858 = 4*p. Is 45 a factor of p?
False
Suppose 10 = 9*p - 8. Suppose -5*b + 369 = -i - 707, p*b + 5*i = 425. Does 10 divide b?
False
Suppose 12 = 5*p + 2*c, -5*p - 6*c = -c. Suppose -2*b = a - 1250, p*b - 4*a = 2*b + 1260. Does 28 divide b?
False
Suppose -41*r + 2275560 = 389*r. Does 28 divide r?
True
Suppose -2*u - 2*s - 1474 + 1728 = 0, 4*u - 5*s - 463 = 0. Is 24 a factor of u?
False
Let q = 96 - 73. Suppose -25*r + q*r + 262 = 0. Is r a multiple of 3?
False
Suppose 1330 = 4*i + g, 0 = i - 0*i + 5*g - 342. Let p = i - 250. Is p a multiple of 41?
True
Let y(q) = q**3 + 3*q**2 - q + 10. Let v be y(-4). Is 8 a factor of ((-160)/(-12))/(v/6)*-16?
True
Let y be -2*(-2)/16 - 22/(-8). Suppose -m = -4*f + 1235, y*f - 3*m = -f + 1225. Is 29 a factor of f?
False
Suppose -81*w + 2934 = 2*j - 85*w, -5*w = 4*j - 5868. Does 46 divide j?
False
Let a = -268 + 161. Let r = -56 - a. Let c = r - 42. Is 7 a factor of c?
False
Suppose 7*q = -x + 3*q + 488, 5*x - 2330 = 2*q. Is x a multiple of 4?
True
Let n be 20/5 - (-1)/(-1). Let j(r) = -5*r - n + 3*r + 0*r - 4*r. Does 10 divide j(-9)?
False
Let t(d) = 4*d + 54. Let y be t(-6). Suppose y*m + 453 = 4323. Is 14 a factor of m?
False
Let c = -1538 - -1586. Suppose -2*v - 4*h - 22 = -66, h = -3*v + 86. Suppose -v = -r + c. Does 26 divide r?
True
Let h(y) = y**3 + 22*y**2 - 15*y + 36. Let k be h(-23). Let a = k - -97. Let p = 91 + a. Does 10 divide p?
True
Let x(c) = 2 - 2 + 53*c + 1. Let q be x(-2). Is 28 a factor of (-16)/(-3)*(q/(-10))/1?
True
Suppose 60 = x + 15. Suppose -x*i - 3666 = -51*i. Is i a multiple of 10?
False
Let m(u) = -21*u + 11. Let y be m(1). Does 23 divide (5/y)/((-1)/92)?
True
Let l(v) = 17*v**2 + 255*v - 8. Is l(-27) a multiple of 25?
True
Let y(c) = -c**3 + 18*c**2 - 31*c + 8. Let j be 18/6*10/(-3). Let h(s) = -2*s - 4. Let f be h(j). Is 6 a factor of y(f)?
True
Suppose -43*b + 15 = -38*b. Let m be 8/24*b/2*10. Suppose -j - 2*o = -53, -5*j + m*o = -0*j - 250. Does 12 divide j?
False
Suppose 2499546 + 1246674 = 26*g + 61*g. Is 6 a factor of g?
False
Suppose -3*m - 6*y = -663, 5*m + 0*y + 5*y - 1135 = 0. Is m a multiple of 5?
False
Suppose 19*r - 10790 = 1503. Is r a multiple of 11?
False
Let o(w) = 8*w**3 + w**2 - 3*w + 2. Let d be o(2). Let h = 1712 - 1741. Let z = h + d. Does 10 divide z?
False
Suppose 3*i + 4*s = 10709, -5*i + s + 17835 = 5*s. Suppose 343 = 6*r - i. Is r a multiple of 31?
True
Let n = 219 - 220. Does 7 divide 194*n/(-1) - (-63 - -61)?
True
Let k(o) = -2*o**3 + 15*o**2 + 17*o - 63. Let d be k(8). Let v(b) = b**3 - 6*b**2 - 22*b + 56. Is v(d) a multiple of 7?
False
Let q = -11 - -104. Suppose 4*v - 41 - q = 2*u, -5*v - 3*u + 195 = 0. Is 2 a factor of v?
True
Let n(i) = -5*i**2 + 1 - 3*i + 4*i + 2*i - 131*i**2. Let k be n(-2). Is (-6)/(-8) + 0 - k/4 a multiple of 23?
True
Suppose 536 = -0*u + 4*u. Suppose -100*c + 185 + 215 = 0. Suppose -2*g + u = 5*d, c*d - 3*d - 2 = 0. Is g a multiple of 31?
True
Let n(t) = -t**2 - 16*t + 90. Let q(i) = i - 36. Let p be q(36). Is 10 a factor of n(p)?
True
Let n = -14201 + 22482. Does 12 divide n?
False
Suppose -37698 = -2*t - 4*z, 25165 = 5*t + z - 69134. Does 13 divide t?
False
Let o = -26 + -49. Let d = o - -306. Does 41 divide d?
False
Let d = -4172 + 2602. Is 32 a factor of -3 + 38/14 - d/7?
True
Suppose -19131 = -o + 2*c, 2*c = -o + 8730 + 10413. Does 316 divide o?
False
Let p(r) = -r**3 - 4*r**2 - 5*r - 3. Let a be p(-3). Let c(q) = 21*q**2 - 4*q**2 + a*q - q**3 - 14 + 10. Does 7 divide c(17)?
False
Suppose 22 - 2 = 4*j + 5*b, 0 = 5*j - 4*b + 16. Let s be j + -4 + 46 + -12. Suppose 75 = 3*v + s. Does 5 divide v?
True
Let i(d) = 19*d - 33. Let h(j) = -6*j + 11. Let u = 29 - 32. Let m(t) = u*i(t) - 8*h(t). Is 16 a factor of m(-3)?
False
Let u be 0 - ((-3)/(-2))/(9/(-480)). Suppose s - 612 = u. Suppose 4*m - s = 2*c + 64, 5*m = -2*c + 927. Does 39 divide m?
False
Let r = 597 + -532. Is 6 a factor of (-2)/13 - ((-21915)/r - 1)?
False
Suppose -53*q + 4 = -52*q, 2*q - 1288 = -5*w. Is w a multiple of 5?
False
Let l(s) = -95. Let w(k) = k + 1. Let j(x) = -l(x) - 2*w(x). Is j(15) a multiple of 6?
False
Suppose 0 = 3*f - 3 - 12. Suppose -o + 0 = -f. Suppose -488 = -o*m - 188. Does 9 divide m?
False
Let g(c) = -416*c. Let h(t) = t**3 - 5*t**2 - 2*t + 9. Let y be h(5). Let m be g(y). Let d = m - 251. Is 33 a factor of d?
True
Let h be ((-16)/(-10))/(2 - 768/380). Let g = h + 40. Is g/(-10)*80/24 a multiple of 12?
True
Let a(j) = -8*j + 3*j + 13 - 5 + 0*j. Let y be a(3). Is (-752)/y - (-16)/(-84)*-3 a multiple of 6?
True
Let m be -1 + -2*1*(-231)/14. Let b(r) = m*r + 5 + 2*r + 11*r. Is b(1) a multiple of 10?
True
Suppose 14*f - 1534 - 881 = -63. Does 6 divide f?
True
Suppose -969*t = -951*t - 103572. Does 15 divide t?
False
Suppose 51*j = 10*j - 307 - 267. Let c = 55 - -1. Does 19 divide j/c - (-314)/8?
False
Suppose 5*f - 3*y + 636 = 0, -3*y - 246 = 2*f - 7*y. Let w = -64 - f. Let j = -49 + w. Does 4 divide j?
True
Suppose 512 = -6*u + 2012. Is u a multiple of 10?
True
Suppose 3*d = -5 + 50. Let k be -36*d/(-9)*(-56)/(-5). Suppose 10*v = 3*v + k. Is v a multiple of 24?
True
Suppose -45*h + 52*h = 756. Suppose 2*j = 3*j - h. Does 4 divide j?
True
Is 2 + (-78903)/(-12) - (-24)/(288/(-15)) a multiple of 6?
True
Let l = 2 + 2. Suppose -o - s = l*s - 3, 3*o - 2*s = 9. Suppose 0 = o*d - 0*d - 24. Does 3 divide d?
False
Suppose 0 = 5*o - 15, 7*h = 9*h + 5*o - 15465. Is h a multiple of 103?
True
Let d = 35 - 35. Suppose d = 9*y - 14*y + 65. Suppose -3*m + 68 + y = 0. Is m a multiple of 5?
False
Suppose 5*j = -5*n + 25202 - 62, 5*j = 20. Is 41 a factor of n?
False
Let n = 94 + 4. Does 8 divide (((-168)/8)/(-7))/(2/n)?
False
Does 140 divide -3955*((-37)/185 + 57/(-15))?
True
Let g(j) = 3*j - 4 - 5 - 3 + 2*j. Does 17 divide g(11)?
False
Suppose 2*s - 193 = -5*v, -4*v + s + 2 + 142 = 0. Let t(b) = b**2 - b - 8. Let r be t(6). Let x = v - r. Is 3 a factor of x?
True
Suppose 0*p - 3*p - 6 = 0. Let y be (-90)/5*1/p. Suppose 3*k - x = -y + 48, 0 = -4*k + 2*x + 52. Is k a multiple of 13?
True
Let n be (48 + -37)/(1/(-13)). Let q = n + 299. Is 6 a factor of q?
True
Suppose 2*a = 8*a + 24. Let u = -40 + 60. Let r = u + a. Is 4 a factor of r?
True
Let k be ((-144)/20)/(6/(-1060)). Let b = 2153 - k. Does 35 divide b?
False
Let j(a) = 13*a + 36. Let y be 177/5 - -5*8/(-100). Suppose 0 = 4*r + g - 35, 0*g - 5*g = -r + y. Is 14 a factor of j(r)?
False
Let b(s) be the first derivative of -s**4/4 - s**3 + 13*s**2/2 - 13*s + 105. Is 4 a factor o