 5056. Is 9 a factor of u?
False
Does 5 divide ((-972)/270)/(12/(-100))?
True
Is -13 - 7 - -14 - (-8502)/2 a multiple of 9?
False
Suppose 5*g - 20 = -4*b, 0 = 4*b - 9*b + 4*g + 66. Let q(i) = 0*i**2 + 1 - b + 1 + i**2. Does 6 divide q(6)?
False
Is 12 - (-116)/(-10) - 218289/(-15) a multiple of 49?
True
Let x(t) = 16*t**2 + 210*t - 64. Is 5 a factor of x(-22)?
True
Is 6 a factor of (((-113)/(-5))/((-108)/(-270)))/(1/30)?
False
Is (-1*(-1)/(-3))/(183/(-6992064)) a multiple of 16?
True
Let w = -175 - -185. Suppose 0 = -w*v + 15*v - 210. Is 3 a factor of v?
True
Suppose -555 = -2*w + q + 404, 5*w = 4*q + 2399. Suppose 0 = -7*f + 1166 + w. Is f a multiple of 47?
True
Suppose 3*r + 7*z - 90 = 4*z, -38 = -r + z. Suppose -39*b = -r*b + 20. Let w(i) = -2*i**3 + 4*i**2 + i. Does 29 divide w(b)?
False
Let u be 783/11 - 16/88. Let i = -42 + u. Let g = i + 19. Is g a multiple of 8?
True
Let w(n) = 4*n**2 + 15*n + 756. Does 4 divide w(23)?
False
Let k(m) = m**3 - 4*m**2 - m - 13. Does 47 divide k(8)?
True
Let w(k) be the first derivative of 57*k**2/2 - 62*k + 33. Is 35 a factor of w(6)?
True
Suppose -78*y + 210 = -36*y. Suppose a + y*j = 5*a - 1695, 5*a + 2*j = 2127. Does 17 divide a?
True
Let z(w) = -1957*w + 2691. Does 13 divide z(-3)?
False
Suppose -5*s - 461*h + 13215 = -456*h, -s - 2*h + 2646 = 0. Is 30 a factor of s?
True
Let r(z) = -z**3 + 4*z**2 - 5*z + 4. Let t be r(2). Let c be (t - 4)/(-1 + -1). Does 25 divide c + -4 + (1 - -1 - -99)?
False
Let q = 70 - 70. Suppose -5*c + 221 = 4*u - 39, q = -2*c + 8. Does 10 divide u?
True
Let j(c) = -6*c - 8. Let k be j(-4). Does 25 divide 475*(k/(-10) - -2)?
False
Let g = 997 - -843. Does 8 divide g?
True
Let g = 11552 + -4292. Is g a multiple of 12?
True
Let w(s) = -s**2 + 11*s - 11. Let o = -82 + 88. Suppose 9*m + o = 11*m. Does 2 divide w(m)?
False
Suppose -6*o + 2*o - 5*i = -1574, -2*o + 786 = 2*i. Suppose -23*x + o + 506 = 0. Is 13 a factor of x?
True
Let s(u) = 5*u**2 + 54*u + 22. Does 9 divide s(38)?
False
Let s be -3 + 9 + 2 - 2. Suppose 0 = -2*a - 5*b + s, -6*b + 11*b + 12 = 4*a. Suppose -x = 2*t - 45, -a*t = 2*t + 4*x - 120. Is 3 a factor of t?
False
Let h = -1380 - -2021. Is h a multiple of 4?
False
Let b(w) = -13*w**2 - 4*w + 4. Let v be b(-2). Let s = v + 278. Is s a multiple of 34?
True
Let k = 263 + 8790. Does 51 divide k?
False
Does 24 divide (-21510)/(-18) - 66/6?
False
Is ((-9982)/744)/(1/147*1)*-8 a multiple of 155?
False
Let z = -98 + 141. Let m be (-6)/((30/96)/(-5)). Suppose -z*p = -39*p - m. Is 3 a factor of p?
True
Let n(r) = r**3 - r**2 - 5*r + 7. Let j be n(1). Suppose 1934 = 3*k + i, j*k + 2*i = 636 + 660. Is k a multiple of 25?
False
Is (-4 - -25) + -154 + 18245 a multiple of 4?
True
Let d = -48 + 61. Suppose d*z + 15*z = 9520. Does 34 divide z?
True
Suppose 54536 = -106*d + 63*d + 165605. Is d a multiple of 62?
False
Let z = 1188 - -9641. Does 119 divide z?
True
Let i = -66 - -102. Let n = i + 62. Is 6 a factor of n?
False
Let z(q) = 24*q**2 + 331*q + 2002. Does 2 divide z(-6)?
True
Suppose -10*b + 9*b = 3. Let l be (2 - (-1 - 2))/((-1)/b). Does 16 divide (l/5)/((-2)/(-24))?
False
Let j(u) = 29*u + 23. Let y be j(-8). Let v = 37 - y. Is 4 a factor of v?
False
Let o(x) = 2*x - x**3 - 74 + 74 + x**2. Let b be o(-5). Suppose -b = 7*f - 12*f. Does 16 divide f?
False
Suppose 0 = -67*d + 82*d - 495. Suppose 20*f = d*f - 4290. Does 33 divide f?
True
Suppose 2*t = 4*i - 3*t + 3245, -5*t = 3*i + 2425. Let a = -561 - i. Is a a multiple of 20?
False
Does 38 divide (1621885/(-10))/(-17) - ((-18)/(-4) - 2)?
True
Let d(m) be the second derivative of -m**3/3 + 6*m**2 + 2*m + 6. Does 4 divide d(-26)?
True
Let w = -634 - -640. Let r(j) = j - 5. Let d be r(-10). Is 11 a factor of (11165/d)/(-7) - 2/w?
False
Suppose -5*p - 5 = 0, -73 = -r - 5*p + 111. Suppose -4*a + 5086 = -5*z, -r*a + z + 1272 = -188*a. Is a a multiple of 66?
False
Suppose -309736 = -41*z - 72100. Does 46 divide z?
True
Let u = -78 + -12. Let k = 162 + u. Suppose 11*x = 5*x + k. Is 7 a factor of x?
False
Let t(h) = 17*h**2 - 77*h - 270. Does 14 divide t(-23)?
False
Let q = -8797 + 12393. Is 20 a factor of q?
False
Let x = -537 + 408. Let y = x + 282. Does 17 divide y?
True
Let d(f) = -7*f - 218. Let l be d(-17). Let w = l - -333. Is w a multiple of 13?
True
Suppose 0 = -2*b - 37 + 1. Let w be (-25)/3 + 12/b. Let r(h) = -7*h - 6. Does 8 divide r(w)?
False
Let a(f) = -352*f + 227. Does 9 divide a(-16)?
True
Let s(k) = k**3 + 9*k**2 + 8*k. Let q be (3 + (-12)/8)*(-16)/3. Let t be s(q). Suppose -5*a + 207 = -y, t*a + 30 = a - 4*y. Is a a multiple of 21?
True
Suppose 2*s - 154 = -2*m, 31*s = 29*s - 10. Does 27 divide m?
False
Suppose -5*k + x = -457, -k + 3*x + 52 = -45. Let a = k - 70. Suppose a*b - 1351 = 1568. Is b a multiple of 6?
False
Let n = -401 + 963. Let d = n + -388. Is 29 a factor of d?
True
Let f be (53 + -55)*(0 - 14/4). Suppose -3*d = 2*s - f*s + 1308, -4*d = -4*s + 1040. Does 22 divide s?
True
Suppose 8581*r - 353100 = 8569*r. Does 143 divide r?
False
Suppose k - 7759 = -58*o + 54*o, 5*k + o - 38776 = 0. Does 15 divide k?
True
Let f(c) = -15*c + 32. Let q be f(2). Let p(t) = 53*t**3 - t**2 + 6*t + 2. Is 14 a factor of p(q)?
True
Let o(l) = 6*l**2 + 156*l. Let t be o(-26). Suppose t*y - 4*y - 2*g = -1918, 3*y - 5*g - 1445 = 0. Is 24 a factor of y?
True
Suppose 0 = 3*b - 4*t - 35, 9*t - 8*t - 15 = -4*b. Let x(g) = 30*g - 8. Is x(b) a multiple of 3?
False
Suppose -5*r + 47 - 7 = 0. Suppose r = 2*i, -5*g - i + 3*i - 8 = 0. Suppose g = -9*h + 6*h - v + 29, -2*v = -3*h + 32. Is 4 a factor of h?
False
Let l = 54 + -50. Let c be l/(1/2 + 0). Let i(d) = d**3 - 9*d**2 + 6*d + 30. Does 14 divide i(c)?
True
Let l be (-1)/5*6225/(-15). Suppose l = -10*c + 463. Let j = 101 - c. Does 21 divide j?
True
Let y(f) = -f**2 - 96*f + 553. Does 64 divide y(-35)?
True
Suppose -74450 - 53002 = -43*a. Is 26 a factor of a?
True
Let q(g) = 6*g**3 + 6*g**2 + 2*g + 11. Let r(v) = v**3 + v**2 - v - 2. Let o(x) = -q(x) + 3*r(x). Does 26 divide o(-3)?
True
Suppose 0 = 5*k + 10, n = 4*k + 11093 + 3675. Is 36 a factor of n?
True
Let p be (-30)/4*(-336)/20. Let j = p + -184. Let b = j + 99. Is b a multiple of 34?
False
Let q(i) = 23*i**2 - 46*i - 1077. Is q(-23) a multiple of 87?
False
Suppose 69294 = 4*c + 5*z - 167015, 0 = -c + 5*z + 59021. Is c a multiple of 16?
False
Suppose 105227 = -194*n + 754351. Is n a multiple of 7?
True
Suppose 39*g = 40*g - 517. Let j = g - 109. Does 8 divide j?
True
Suppose 0 = -13*p + 15*p - 8. Suppose -7*f + p*t = -12*f + 639, -f + t + 135 = 0. Is 19 a factor of f?
False
Let f(g) be the second derivative of g**3/6 - 5*g**2 - 21*g. Let m be f(5). Let t(q) = -q**3 - 3*q**2 - 16*q - 4. Does 9 divide t(m)?
True
Let x be -7*(-3)/(6 - 3)*-4. Is 49 a factor of 273 - (-5 + -2*x/8)?
False
Suppose -57*w = -28*w - 211120. Is 14 a factor of w?
True
Let t = 47 + -45. Suppose p = 4*v - t*p - 60, 3*v - 2*p - 46 = 0. Suppose -38 = -2*z - v. Is 5 a factor of z?
True
Let l = 10369 + -396. Suppose -448 = 25*y - l. Is 4 a factor of y?
False
Let b(g) = 6 + 0 - 46*g + 27*g**2 + 7*g**3 - 18*g - 8*g**3. Is b(23) a multiple of 70?
False
Let z(g) = 6*g + 29. Let c be z(-26). Is 28 a factor of ((-1 - c)/(-3))/(1/(-8))?
True
Suppose -5*p + l + 205 = 68, p - 19 = -4*l. Let y be ((-10)/40)/((-2)/872). Let o = p + y. Is 17 a factor of o?
True
Let v = 201 + -197. Let h = 11 - 11. Suppose v*n = -2*p + 5*p + 83, h = -2*p - 10. Is n a multiple of 17?
True
Suppose -621 = 2*x + 5*w, 0 = -2*x - 3*w - 340 - 291. Does 18 divide x/(-2) - (0 + (-4)/8)?
True
Let x = 82 + -79. Suppose o + 4*b = -4*o + 995, 3*o - x*b = 624. Is 7 a factor of o?
True
Let k(j) = 4571*j + 15. Is k(3) a multiple of 78?
True
Let d = -3664 + 23686. Is d a multiple of 20?
False
Let g(d) = -4*d**2 - 8*d - 18. Let s be g(-4). Is (1 - -19) + 8/((-80)/s) even?
False
Let v(c) = 7*c**2 + 4*c - 3. Let i(s) = 8*s**2 + 4*s - 3. Let d(l) = -3*i(l) + 4*v(l). Let n be d(1). Suppose -91 = -n*g + 629. Is g a multiple of 12?
True
Let c be 12/(-1 - (-29)/26). Let o = c - -33. Suppose -5*d + o = -268. Is d a multiple of 27?
True
Suppose 56*x - 65640 - 136651 = -8755. Is 192 a factor of x?
True
Let j(m) = -656*m - 2738. Is 10 a factor of j(-8)?
True
Suppose l - 6964 = -2*z, -34834 = -38*l + 33*l + 4*z. Is l