) - 3*b(s). Is o(-9) a multiple of 10?
False
Suppose -17*n = 18*n + 41*n - 1166068. Is 21 a factor of n?
False
Let z be 69*((-289)/(-51) - (4 - -1)). Let c = z + 496. Does 22 divide c?
False
Does 7 divide ((-252)/(-2))/((-100)/108 + 3 + -2)?
True
Suppose -3*i + 4*x + 5234 = 0, -5*i + 8*x = 3*x - 8735. Does 32 divide i?
False
Suppose -271*d + 889256 + 716335 = -396557. Is d a multiple of 31?
False
Let m = -101 + 102. Does 29 divide 256*(22/4 - m - 3)?
False
Let t = -68 + 99. Suppose 3*l - 154 = -t. Suppose l + 79 = 6*d. Does 2 divide d?
True
Let g(q) = q**2 - 2*q + 28. Let y(n) = -13*n + 31. Let c be y(3). Does 27 divide g(c)?
True
Let b(y) = -y**2 + 19*y - 15. Let j be b(18). Suppose 7 = -2*v + j. Does 24 divide (-338)/(-7) - v/(-7)?
True
Suppose -24 = -3*j - 18. Suppose 2*x - 23 = -j*y + 45, x = -2. Does 4 divide y?
True
Suppose 4*a + 5*h = 31, -11 - 6 = -2*a - 3*h. Suppose -2*u = i - 145, a*i + 710 = 9*i - 5*u. Does 8 divide i?
False
Suppose 104*x - 22473 - 45607 = -126*x. Is 8 a factor of x?
True
Suppose 1121 = 5*h - 3*c, -4*h + 525 = -c - 376. Is 113 a factor of h?
True
Suppose 2*n - 717 = 4979. Suppose -25*t + n = -2052. Does 36 divide t?
False
Does 40 divide (-580)/(-8)*(-96)/(-40)*(-506)/(-4)?
False
Let d(c) = -c**2 - 99*c - 88. Is 31 a factor of d(-78)?
True
Let q(k) = -61*k**2 + 48 + 26*k**2 + 36*k**2 - 38*k. Is 11 a factor of q(37)?
True
Let z(v) = v**3 - 6*v**2 - 2. Suppose 0 = -4*s + 2*s - 54. Let k = 34 + s. Is 20 a factor of z(k)?
False
Let t(a) = 879*a - 412. Is t(12) a multiple of 23?
False
Let i = -11 - -31. Let q(r) = r**2 - 11*r + 30. Let a be q(i). Suppose -6*k + k = -a. Is k a multiple of 6?
True
Let k(o) = -6*o**3 - 15*o - 14. Let r be k(-6). Let v = -714 + r. Suppose m - 4*c = -0*m + 224, 3*m - 5*c = v. Is 14 a factor of m?
False
Let m(h) = -14*h + 47. Let y be m(3). Suppose 0 = -2*w - y*b + 1744, 9*w - 4*w + 5*b - 4330 = 0. Does 16 divide w?
False
Let t(n) be the second derivative of -n**5/20 - 11*n**4/12 - 8*n**3/3 - 9*n**2/2 - 3*n. Let m be t(-7). Let q = -65 - m. Is 12 a factor of q?
False
Let o = 19 - 17. Let i(s) = -24 - 7*s - 13*s**2 + 5*s**o + 9*s**2. Does 12 divide i(12)?
True
Let x(d) = 121*d**2 - 5*d + 187. Is 68 a factor of x(10)?
False
Let c = -16 + 612. Let g = c - 336. Is g a multiple of 13?
True
Suppose -44*y - 25296 = 30*y - 80*y. Is y a multiple of 31?
True
Does 38 divide ((-18272)/(-39) + (-11)/715*-10)*27?
True
Let h = 27903 + -26680. Is h a multiple of 59?
False
Let k be (-432)/(-64) + -3*(-1)/(-4). Does 16 divide (-6)/36 - (-769)/k?
True
Let f be (10/(-7) - -1) + 8404/(-154). Does 17 divide 375/11 + 5/f?
True
Suppose -396*k - 449190 = -427*k. Does 9 divide k?
True
Let g(m) = -41*m + 954. Does 14 divide g(-30)?
True
Let z = 1019 - 1442. Let v = 576 + z. Does 17 divide v?
True
Suppose 45*f = -55*f + 19*f + 300024. Does 30 divide f?
False
Let s be (-314)/2 + 9 + -6 + 1. Does 52 divide (s/18)/(-17) - (-1662)/4?
True
Let u(m) = 3*m**2 - 25*m - 70. Let c be u(21). Let z = c + -443. Does 3 divide z?
True
Suppose -122 = -5*c + c - 3*t, 0 = 2*c + 5*t - 54. Let i be 92/c - 1/(-8). Is (i/(-9))/((-2)/48) even?
True
Suppose -7*a + 14 + 7 = 0. Suppose -484 = 15*f - 19*f + 5*v, -a*f = -2*v - 370. Is 44 a factor of f?
False
Suppose -4806 = 11*z - 934. Does 48 divide (5 + 965/(-10))/(24/z)?
False
Let k = -177 - -201. Suppose -k*h = -6330 - 6. Is 24 a factor of h?
True
Let x be (-4)/(-6) - (0 + (-40)/12). Let v(k) = 3*k**2 - 9*k + 17. Let h be v(x). Suppose h*b - 31*b = -86. Is 6 a factor of b?
False
Suppose 2*o - 7*o = 0. Suppose 8 = 4*a - o*a. Is (24/15 + 0)*180/a a multiple of 12?
True
Suppose -5*p + 25930 = 5*i, -2*p - 3206 + 13576 = i. Does 96 divide p?
True
Suppose 0 = 3*h + 3*f + 997 + 92, -f = 3. Is 21 a factor of h/(-10)*1/(-3)*-14?
True
Let w(f) = -f**2 + 20*f - 15. Let k be w(19). Suppose 0 = -22*i + k*i + 1710. Is i a multiple of 19?
True
Suppose -21*s = -3*t - 26*s + 935, 0 = -4*t + 4*s + 1300. Let j = t - 122. Is j a multiple of 22?
True
Let d(y) = -y**2 + 9*y - 5. Let j be d(7). Let g(z) = 5*z + 19. Let x be g(j). Suppose -5*q + x + 56 = 0. Does 8 divide q?
True
Let s be (16/(-5))/8 - 8/5. Is 4 + -9 + (117 + s - 5) a multiple of 4?
False
Let b = -467 + 3918. Is 17 a factor of b?
True
Suppose 2*n + 5*a = -16, n - a = -6*a - 13. Let q = 6 - n. Let x = 212 + q. Is 34 a factor of x?
False
Let v(q) = 5*q**2 + 6*q - 8. Suppose -23 = t - 27. Let l be v(t). Does 16 divide 162/12*l/9?
True
Suppose 2*r = 3*l - 20423, 0 = -l - 54*r + 51*r + 6815. Is l a multiple of 21?
False
Does 68 divide (-1606)/(-33)*(-53757)/(-288) - (-1)/16?
False
Suppose 0*k - 3*k = 123. Suppose 0 = 79*v + 67 + 644. Let u = v - k. Does 12 divide u?
False
Suppose -2*k = 5*w - 35, 2 - 12 = 3*w - 5*k. Suppose z = d, -4 - 2 = w*z - 2*d. Let o(c) = -5*c**3 + c**2 - 6*c - 5. Does 9 divide o(z)?
False
Is (179/(-2) - -12)*-58*1 a multiple of 50?
False
Let c(a) be the second derivative of -305*a**3/6 - 19*a**2 + 274*a. Is c(-2) a multiple of 13?
True
Is 93 a factor of 1/(-4) - (-558)/(-62)*8411/(-12)?
False
Let x = 6806 - -319. Does 2 divide x?
False
Suppose -5*q - 2*f = -13856, -2*q + 10*f + 3042 + 2468 = 0. Is 10 a factor of q?
True
Is (-24714)/(-10) + (-124)/310 a multiple of 7?
True
Let m be (-63)/42*(0 + 34). Let l be (-3)/2*476/m. Let j(p) = p**3 - 13*p**2 - 13*p + 10. Does 8 divide j(l)?
True
Does 69 divide 4 + -10 - 222642/(-31)?
True
Suppose 81*q + 672 = 85*q. Is 12 a factor of q?
True
Is (1277224/91)/8 - (32/28)/(-2) a multiple of 27?
True
Let a = 3019 + 20959. Is 38 a factor of a?
True
Suppose -2*r - 2 = -4*d, -2*d - 32 + 36 = 0. Suppose -1845 = -r*a - 11*q + 10*q, -2*a - 2*q + 1226 = 0. Is a a multiple of 56?
True
Let o(m) = -m**3 - 14*m**2 - 24*m - 27. Let f(u) = -u**2 - u + 7. Let j be f(4). Is 42 a factor of o(j)?
False
Let g be (-4)/(-10) + (-328)/(-5). Let n(w) = 25*w**3 + 6*w + 5. Let t be n(-1). Let i = t + g. Is i a multiple of 20?
True
Let n(s) = 25*s**2 + 37*s - 225. Is n(14) a multiple of 9?
True
Suppose -242*k + 251*k - 41048 = 25048. Is k a multiple of 18?
True
Suppose 0 = y - 4*u - 5891, 5*y - 26*u - 29419 = -24*u. Is y a multiple of 17?
False
Let d(v) = 1511*v**2 + 130*v - 259. Is 13 a factor of d(2)?
True
Let t(u) be the second derivative of 110*u**3/3 + 143*u**2/2 - 105*u. Is 11 a factor of t(5)?
True
Let t be (-4)/6*(10 + -49). Suppose -t*n + 360 = -21*n. Is 24 a factor of n?
True
Let b(q) = -4*q**3 - q**2 + 50*q + 257. Is 11 a factor of b(-7)?
False
Suppose 3*n + 25 = 37, -3*t + 5*n = -45844. Is 156 a factor of t?
True
Suppose 0*i - 11128 = -j + 5*i, 4*i - 33441 = -3*j. Is j/22 - 3/(-12)*2 a multiple of 23?
False
Let y(v) = 23*v**2 + 10. Let u be 7/(-15 + 1)*-8. Does 18 divide y(u)?
True
Suppose -10*z = 13*z + 3105. Let n = 256 - z. Does 15 divide n?
False
Let t = 1240 + 2703. Is t a multiple of 38?
False
Is (3196/10)/(16/(29 + 51)) a multiple of 8?
False
Let p = -3479 - -51479. Does 320 divide p?
True
Let w = -162 - -1767. Suppose w = 8*c - 1451. Is c a multiple of 61?
False
Let q(f) be the first derivative of -2*f**2 + 1. Let s be q(1). Let m(n) = 6*n**2 + 2*n + 8. Is m(s) a multiple of 24?
True
Let s(q) = -3*q**3 - 6*q**2 - 2*q - 1. Let o be s(-2). Suppose l = o*d - 358, -16 = d - 4*l - 139. Is d a multiple of 15?
False
Suppose 3*v - 43848 = -4*w, 345*v - 348*v = 2*w - 43848. Is 21 a factor of v?
True
Let s be (-11)/88 - (-1)/(8/(-63)). Let n = s + 173. Is 31 a factor of n?
False
Let z = -39 + 44. Suppose 2*v + 2*f + 8 = 3*v, z*f - 97 = -4*v. Suppose -v*i + 416 = -14*i. Does 20 divide i?
False
Is (-54)/90 + (-32328)/(-5) a multiple of 10?
False
Suppose 46 = 3*r + 2*m, m = 4*m - 15. Is 21*-1*(-40)/r*1 a multiple of 70?
True
Let t = 36 + -26. Suppose -t*i - 8 = -58. Suppose -q + i*o = -37, 3*q + 0*o = -3*o + 39. Does 2 divide q?
False
Suppose 2*g + 3*k = 323, -g - k + 154 = -2*k. Let z be 3/(-27) + 9131/207. Let v = g - z. Does 21 divide v?
False
Let j = 2605 + -1286. Suppose -4*x + 327 = u, -u + 5*x = -5*u + j. Does 17 divide u?
False
Is 37 a factor of ((-18982)/(-4))/(76/152)?
False
Suppose -3*c - 4*p + p + 6 = 0, 5*c = 3*p - 14. Let w be (-6 - -5)/(c/3). Suppose -w*q + 136 = -224. Is 10 a factor of q?
True
Let v(r) = 2*r**2 - 3*r + 3. Let t be v(1). Let f be (t - -6) + (-12 - -9). Is 4 a factor of 120/48*12/f?