iple of 8?
True
Let w = 372 + -306. Suppose -65*b + w*b = 354. Is 7 a factor of b?
False
Let q = 54 - 52. Suppose 109 - 37 = 5*s - 2*g, q*g = 8. Is 16 a factor of s?
True
Let c be (48/(-64))/(1/(-876)). Let h = c + -447. Is h a multiple of 6?
True
Is (36/21)/(-6 - 22995/(-3822)) a multiple of 13?
True
Let n = 20793 + -11921. Is 21 a factor of n?
False
Let f(x) = x - 22. Let y be f(23). Suppose g + 2*d - 13 = -2*g, -g + d = -y. Does 3 divide 20/g*(-30)/(-20)?
False
Suppose 4*d = 2*d + 85380 + 3002. Does 33 divide d?
False
Let v = -96 - -26. Let i be (-714)/v - (-1)/(-5). Suppose i*a = 2*a + 648. Is 9 a factor of a?
True
Let m(d) = -13*d**3 - 2*d**2 + d + 1. Let l be m(-1). Let y(b) = b - 9. Let n be y(l). Suppose n*x - 2*w + 659 = 5*x, -2*x + 438 = w. Is 29 a factor of x?
False
Let t be (-4310)/(-6 - 4) - (1 - -1). Let f = t + -225. Is 27 a factor of f?
False
Let m(s) = 10*s**3 + 52*s**2 - 9*s + 8. Does 49 divide m(6)?
False
Suppose -5*j + 64056 = -g, -4*g = 5*j + 14269 - 78320. Does 23 divide j?
True
Suppose k - 1 = 4*i, -5*k + 28 = 2*i + 1. Suppose s = -k*s. Suppose 0 = -s*b + b - 5*d - 138, 5*b + 4*d - 661 = 0. Is b a multiple of 21?
False
Let j be 9 + 0 + -5 + 199*2. Let u = -108 + j. Does 42 divide u?
True
Is 209728/44 - 108/198 a multiple of 11?
False
Let c(n) = 4604*n**3 + 4*n**2 + 3*n - 7. Is c(1) a multiple of 57?
False
Suppose 7*f - 2*o = 3*f, -3*f = -o. Suppose f = -3*s + 7*s - 184. Suppose 0 = -3*r - 3*z + 32 + 7, -4*r + 2*z = -s. Is r even?
True
Suppose 0 = 2*j + 8*h - 11*h - 132, 5*h - 132 = -2*j. Does 4 divide j?
False
Let r = 85 - -99. Does 4 divide r?
True
Let m(r) be the first derivative of 34*r**2 + 12*r + 13. Is m(4) a multiple of 22?
False
Let f(v) = -147*v - 427. Is 12 a factor of f(-18)?
False
Let m(s) be the second derivative of 49*s**3/2 + 3*s**2 + 14*s + 2. Is m(3) a multiple of 31?
False
Suppose -20*a + 21*a - 2*g - 9653 = 0, 0 = -3*g - 9. Is a a multiple of 11?
True
Suppose 0 = -2*k - 191*p + 195*p + 4050, 0 = 3*k + 4*p - 6065. Is k even?
False
Let d be ((-29)/2 + (-3)/(-2))/(-1). Suppose -d = -2*l - 3. Suppose f + 3*u - 109 = 0, -f - 3*f + l*u = -385. Is 20 a factor of f?
True
Suppose -12*p = -2*p - 1590. Let y = p + -157. Does 2 divide y?
True
Let j(d) = -232*d + 104. Let m(x) = -2*x + 32. Let h be m(17). Does 19 divide j(h)?
False
Let c be -1*(27/(-12) + 9/36). Suppose -c*u - 4*p = -2090, u - 945 - 99 = -p. Is u a multiple of 66?
False
Let y be (((-36)/(-10))/(-3))/(26/(-650)). Is 1059/15 + (-18)/y a multiple of 6?
False
Suppose 807*b + 5477005 = 13686494 + 11778287. Is 172 a factor of b?
True
Let r = -113 - -154. Let o be r - -22 - (4 + -3 + 2). Suppose o = 4*f - 0*f. Is f a multiple of 3?
True
Let j(y) = 4*y - 38. Let m be j(12). Suppose -5*c = -5*s - m, -1 + 7 = -3*s. Suppose 3*u - 19 = -4*i + 53, c = 5*i - u - 71. Is i a multiple of 5?
True
Suppose 10*g = 9*g + 61. Let o = g + 229. Does 41 divide o?
False
Is 44 a factor of 8844 - 11 - (-6)/((-12)/10)?
False
Let s = 1400 + -808. Let g be s/(-7 - -3) + 0. Is 11 a factor of 2 + -2 + 0 - g?
False
Let t = -12939 - -24955. Is 112 a factor of t?
False
Suppose 12 = 4*r, 4*j - 1814 = -4*r - 38. Let v = j + -345. Is v even?
True
Suppose -5*b + 31473 = 3*o, 0 = -o + 3*b + 8264 + 2227. Does 45 divide o?
False
Suppose -2*y - 2 = 4*k - 8, y - 3*k = 3. Let a be y - 9/(27/300). Let w = -70 - a. Is w a multiple of 9?
True
Let f(b) = 9 - 61*b + 22*b + b**2 + 29*b + 11. Let r be f(3). Is ((-8)/10 - r) + 9968/35 a multiple of 29?
False
Does 29 divide -7*(2 - (-353520)/(-126))?
False
Suppose -101*a - 124*a = -4073400. Is 19 a factor of a?
False
Suppose 7738 = 109*y - 10029. Is y a multiple of 9?
False
Suppose 3*p + 8229 - 36741 = -5*w, 0 = -p + 4. Is w a multiple of 10?
True
Let j(s) = -3 + 9 + 7 - 10*s + 0. Suppose 0 = -3*n - 44 + 11. Is 21 a factor of j(n)?
False
Suppose -25*q + 20*q = 0. Suppose -c - 20 = -q*c. Is 13 a factor of ((-384)/40)/(6/c)?
False
Let w(i) = i**2 - 9*i + 2096. Let n be w(0). Suppose 4*y + 3*h - n = 0, -h = -4*y + 1211 + 869. Does 26 divide y?
False
Let t be (-51)/(-6) + 2 + 10/(-4). Suppose 0 = -2*m + t*m - 72. Is 16 a factor of 350/(m + -5) + -2 + 0?
True
Let o(u) = 3*u**3 + 10*u**2 - 15*u + 2. Let s be o(-7). Let v = -130 - s. Does 24 divide v?
False
Let x(v) = -4*v - 7. Let k be x(-4). Let m(n) = 12*n - 88. Is m(k) a multiple of 2?
True
Let d = 3648 - 2055. Is d a multiple of 124?
False
Suppose -2661*t + 2714*t = 207548. Does 44 divide t?
True
Suppose -6 = -o - 3*z, 2*o - 7*z + 4*z - 3 = 0. Suppose o*n = -495 + 1503. Is n a multiple of 28?
True
Let s be (852/(-15))/((-10)/25). Suppose -s = -x - 26. Is x a multiple of 8?
False
Is 13 a factor of (-3)/6*(4716/(-10))/((-182)/(-33670))?
False
Let i be -90*(0 + (-10)/(-15)). Let z = 286 - i. Suppose -5*y + z = k - 0*k, 2*y + 2*k = 132. Is 14 a factor of y?
True
Let q be (-257101)/(-325) - (-6)/(-75). Suppose g + 157 = q. Does 11 divide g?
False
Suppose 111*n = 106*n - 30. Let r(t) = 16*t**2 + 60*t - 19. Let m(a) = -3*a**2 - 12*a + 4. Let y(g) = 11*m(g) + 2*r(g). Is 5 a factor of y(n)?
False
Let p(t) = 86*t - 765. Does 55 divide p(44)?
False
Suppose 2*g = -4, -9*l + 23 = -6*l - 4*g. Suppose 4*w - 2*t - 1886 = 0, -l*w + 4*t + 2353 = 3*t. Is 19 a factor of w?
False
Suppose -193*c + 348867 = -138521 - 857436. Is 104 a factor of c?
True
Suppose 82 = 2*z - 36. Let g = 113 - z. Does 6 divide g?
True
Suppose 15*w + 21671 = -10204. Does 53 divide (w/(-2))/5 - (-2)/(-4)?
True
Suppose 0 = -3*x - j + 8654, 2*x + 5*j = 1599 + 4153. Does 13 divide x?
True
Let l(w) be the first derivative of 3*w**4 - 2*w**3/3 - 19*w**2/2 + 6*w - 169. Is l(4) a multiple of 37?
True
Let s(v) = -v**2 - 3*v + 11. Let j be s(-4). Suppose -j - 101 = -12*o. Is 8 a factor of 403/o - (-5 + 86/18)?
False
Let z(n) = n**3 - 16*n**2 - 16*n - 18. Let u be z(17). Is -3 + u - -2 - -332 a multiple of 18?
False
Let o(j) = j**2 + 19*j + 10. Let y be o(-19). Let k be (-4)/y + 60/25. Suppose -5*d - 22 + 2 = -k*q, -2 = -d. Is 2 a factor of q?
False
Let s be -1 - 404/8 - (-1)/2. Let n = -35 - s. Suppose 3*m + 3*x = 60, -2*m = -0*m - 4*x - n. Is 6 a factor of m?
False
Suppose -3490297 = -461*k + 1665066. Is 90 a factor of k?
False
Suppose 2*p = -5*b + 136, -2*p - 17 + 49 = b. Suppose -4*h + 0*h + b = 2*s, -5*s + 3*h = -65. Does 13 divide s?
True
Let d(s) = -85*s - 94. Let w be d(13). Let r = w + 1799. Is 50 a factor of r?
True
Let s be (-2)/(((-8)/6)/2). Let c = s + 53. Does 14 divide c?
True
Suppose 0 = -5*i + 7*i - 722. Let j = 541 - i. Is ((-5)/3)/((-5)/j) a multiple of 8?
False
Suppose -b - m = 3, b + 2*m + 3 = -4. Is 36 + b + (8 + -8 - 0) a multiple of 10?
False
Let k(u) = -3*u + 6. Let s(d) = -d**2 + 10*d + 3. Let y be s(10). Let g be k(y). Does 5 divide ((-105)/(-20)*1)/(g/(-8))?
False
Suppose 950*y - 966*y = -31152. Does 30 divide y?
False
Let t(x) = 40*x + 276. Let v be (6/(-3))/(3/9). Is t(v) a multiple of 6?
True
Let u = 5 + -3. Let j be (0 - 2)*(6/(-3) + -68). Suppose -34 = -u*m + j. Is m a multiple of 16?
False
Let s = 375 + -376. Let n(g) = 41*g**2 - g - 1. Is n(s) a multiple of 10?
False
Suppose v + 3*z = 60879 - 3482, 0 = 2*v - 2*z - 114738. Does 44 divide v?
True
Let d be ((-22050)/4 + 14/(-28))*1. Let y be (-12)/(-8)*-2 + d. Does 11 divide y/(-36) - (-2 - 20/(-9))?
False
Let p = -13 - -16. Suppose -p*s = 4*i - s - 36, 0 = -2*i + s + 18. Suppose 5*h + 120 = i*h. Is 6 a factor of h?
True
Let k(m) = 10*m + 56. Let q(z) = -41*z - 222. Let b(l) = -18*k(l) - 4*q(l). Does 41 divide b(-43)?
False
Let k(s) = -s. Let c = -52 + 51. Let g(i) = -27*i**2 + 5*i + 1. Let h(r) = c*g(r) - 2*k(r). Does 21 divide h(-2)?
False
Let o(k) = -10*k**3 - 5*k**2 + 7*k + 13. Let d be o(-6). Let j = -1251 + d. Does 20 divide j?
True
Suppose 461 = -2*v + 467. Does 2 divide (-2)/v*1 - (-98)/3?
True
Suppose -5*c + 2800 = 2*t, 0*t = 2*t + c - 2808. Is 64 a factor of t?
False
Suppose -184*o = -182*o + y - 3594, -4*y - 10796 = -6*o. Is 3 a factor of o?
False
Let a(l) = l**2 + 1 + 6*l - 14 + 8. Let o be a(3). Let z = -4 + o. Does 18 divide z?
True
Suppose -90*p + 1934509 = 362029. Is p a multiple of 56?
True
Let r(k) = -3*k**2 - 20*k - 32. Let y(g) = 4*g**2 + 19*g + 32. Let o(t) = t**2 + 19*t + 21. Let i be o(-18). Let p(s) = i*r(s) + 2*y(s). Does 5 divide p(-18)?
True
Suppose