35, 9*r - 11*r = -5*d + 1860. Is 26 a factor of d?
False
Let i be (0/(-3))/(6 + -3). Suppose -3*l + 5*f = -311, -3*l + 3*f + i*f + 309 = 0. Is 17 a factor of (l - 0)*4/12?
True
Does 7 divide ((15/(-2))/(-5))/((-6)/(-44))?
False
Let s(y) = -2460*y + 5 + 2 + 1 + 2458*y. Let x(v) = v**3 - 4*v**2 + 2*v - 2. Let w be x(2). Is s(w) a multiple of 20?
True
Suppose -4*a + 332 = m, -3*m - 2*a = -693 - 343. Is m a multiple of 10?
False
Does 5 divide 50 + -1 + (5 - 12)?
False
Suppose -3*x - 12 - 3 = 0. Let y(g) = g**3 + 5*g**2 + 4*g + 4. Let t be y(x). Does 14 divide (-624)/t + 1*3?
True
Is (1950 - 2)*(-19)/(-76) a multiple of 8?
False
Suppose n + 5*g - 2 = 0, -7*n = -3*n + g - 27. Let c be (-12)/(-21) - 34/(-14). Suppose c*s - 2 - n = 0, 5*j = 2*s + 79. Is 17 a factor of j?
True
Let o = -7 - -11. Suppose -20 = -o*g, -4*w + 7*w + 3*g - 3 = 0. Is 13 a factor of (w + 1)/(24/(-128))?
False
Let d = 951 + -87. Does 16 divide d?
True
Let h(m) = m - 2 - 1 - 10*m. Let v(k) = -k**3 - 11*k**2 + 12*k - 5. Let r be v(-12). Is 14 a factor of h(r)?
True
Suppose -28 = -g + 6. Suppose -2*r - 4*l = -5*r - g, -2*l - 64 = 3*r. Does 9 divide r*2/(-21)*7?
False
Let t be 1*(4 + -5 + 9). Does 8 divide 494/t + 6/(-8)?
False
Let b = 30 + -33. Let l(t) = -3*t**3 - 5*t**2 - t + 6. Let x be l(b). Let n = 65 - x. Is 5 a factor of n?
True
Let o = -124 + 301. Is 21 a factor of o?
False
Let f(s) = -s**3 - 4*s**2 + 3*s - 10. Let l be f(-5). Does 3 divide 3 + l + (-3 - -7)?
False
Let q = -16 + 24. Suppose 4*z = 244 + q. Does 18 divide (-12)/9*z/(-3)?
False
Let v = -219 - -158. Let q = v + 66. Is 5 a factor of q?
True
Let m(o) = 273*o + 10. Let w be m(3). Let b = w - 535. Is b a multiple of 49?
True
Let v = 47 - 35. Is 16 a factor of (-4 + 2)*(-126)/v?
False
Let v(s) = -s**3 - 7*s**2 + 7*s - 4. Let a = -18 + 10. Let w be v(a). Suppose 34 = 3*g - c, -4*g + w*c = -c - 60. Is 5 a factor of g?
True
Let v(z) = 11*z**2 - 104*z + 20. Is 16 a factor of v(10)?
True
Let g(o) = 7*o - 3*o**2 + 7*o**2 - 2*o**2 - 5 - o**2. Let x be g(-8). Suppose -x*l + 80 = 2*l. Is l a multiple of 15?
False
Let u be 2*1 + -8 + 138. Let f = u + -60. Does 9 divide f?
True
Suppose 0*t + 8370 = 30*t. Does 12 divide t?
False
Let c(z) = -5*z**3 + 2*z**2 + 6*z + 5. Let g be c(-4). Let f = g + -190. Is 11 a factor of f?
True
Let y = 4756 + -3196. Is y a multiple of 65?
True
Suppose 160950 = -54*z + 112*z. Does 74 divide z?
False
Let g(r) = 28*r**2 - 8*r + 2. Let t be g(-4). Suppose -64 = 2*w - t. Is 36 a factor of w?
False
Let g be 5/(-1)*(-14)/(-35). Is 4 a factor of 9 + (4/2)/g?
True
Let o = 124 - 297. Let g = o + 273. Does 20 divide g?
True
Let d(o) = -15*o + 31. Let u be d(-6). Let p = u + -51. Is p a multiple of 15?
False
Suppose 32 = -l + 82. Suppose -8*i + 238 + l = 0. Is 6 a factor of i?
True
Is -5 - (8 - (366 - -7)) a multiple of 24?
True
Let q = -75 - -92. Suppose -q*h = -12*h - 1210. Does 16 divide h?
False
Suppose -v + 5*l + 47 = 0, -5*v + 139 = -4*l + 3*l. Suppose v = b - g, -b - g + 66 = b. Is b a multiple of 6?
False
Let m = 11 + -8. Is 34 a factor of (-1 + 3)*-10*m*-2?
False
Let n(i) = 8*i - 5. Let v(u) = -4*u + 3. Let h(s) = -6*n(s) - 13*v(s). Suppose 54 = 3*t - 4*w, -w + 3*w = -t + 8. Does 14 divide h(t)?
False
Let x(k) = k**2 - k + 2. Let t be x(0). Suppose -t*p = -5*i + 26, -5*p - i - 7 = i. Is -4 - p - (-6 + 3) a multiple of 2?
True
Let o(y) = 6*y**2 + 21*y - 140. Is 85 a factor of o(-20)?
False
Let r(n) = 52*n**3 + 2*n**2 + 3*n - 9. Does 19 divide r(2)?
False
Is 2 a factor of -4*(-1 + (-236)/16)?
False
Suppose 10*j - 115 = 5*j. Suppose 0*c - 30 = -5*f + 2*c, 2*c + 6 = f. Suppose -r - f = -j. Is 17 a factor of r?
True
Suppose 5*d - 3905 = -3*x, 0 = -4*d - 3*x + 94 + 3033. Suppose -d = -5*k - 8. Is 14 a factor of k?
True
Is 15 a factor of (2/(-4))/(-8*11/443344)?
False
Suppose -5*n + 2604 = l, -72*n + 5*l = -77*n + 2600. Is n a multiple of 6?
False
Suppose -2080*p + 2090*p - 520 = 0. Is 4 a factor of p?
True
Let d(r) = -69*r**2 - 11*r. Let l(u) = -11*u**2 + 14*u**2 + 20*u**2 + 4*u. Let t(q) = -3*d(q) - 8*l(q). Is 16 a factor of t(-1)?
False
Let j = 245 - 356. Suppose r + 2*r = -237. Let o = r - j. Is 8 a factor of o?
True
Suppose -o = o + 2*s - 5944, -5*o + 14855 = 4*s. Does 69 divide o?
True
Is 28/(-4)*1462/(-119) a multiple of 14?
False
Suppose 0*z = -5*z + 125. Let q(v) = -42 - 12*v + z + v**3 - 2*v - 15*v**2. Does 15 divide q(16)?
True
Suppose 12*f = 11468 - 1388. Let m = -576 + f. Does 12 divide m?
True
Let q(b) = 22*b**2 + b + 351. Does 27 divide q(0)?
True
Suppose 11*g - 26*g + 14400 = 0. Is g a multiple of 60?
True
Let t be -1 + 4 + -7 - 10*-1. Suppose t*b - 225 = 1113. Is b a multiple of 11?
False
Let u = 31 + -28. Suppose -5*i = 5*b - 425, -u*i = 2*b + 3*b - 249. Is 22 a factor of i?
True
Suppose -h = -0*o + 5*o - 308, -3*h = -5*o - 884. Is 9 a factor of h?
False
Suppose -21*i = -7682 + 122. Is 9 a factor of i?
True
Let u(f) = -17*f - 51. Let b(j) = 11*j + 34. Let s(t) = -7*b(t) - 5*u(t). Is 14 a factor of s(8)?
False
Suppose 55 = 18*b - 35. Does 5 divide b?
True
Suppose 4*d - 25 = -d. Suppose d*r + 0*t - 73 = -3*t, r = 4*t + 10. Is 3 a factor of r?
False
Let t(h) = 21*h**2 - 8*h - 23. Does 18 divide t(-6)?
False
Suppose -4*d - 16 = 0, -3*g - 2*d = 3384 - 9592. Is g/16 + 2/4 a multiple of 26?
True
Is (-27)/(-63) - 856/(-28) a multiple of 4?
False
Let b(l) = l**3 + 4*l**2 + 3*l + 4. Let o be b(-2). Is 16 a factor of o/(-4 + 105/24)?
True
Suppose 35*g - 22980 = 20*g. Is 61 a factor of g?
False
Suppose -7*b = -9*b + 8. Let n(k) = k**3 - 2*k**3 + 4*k**2 - b*k - 3 - 6*k**2. Does 3 divide n(-3)?
True
Suppose -41*h = -13*h - 1372. Is 3 a factor of h?
False
Suppose -s - 2*k - 586 = -3*s, 2*s - 551 = -5*k. Is s a multiple of 8?
True
Let r = 112 - 136. Is (-1 - 1*-73)*(r - -25) a multiple of 24?
True
Let k(y) be the first derivative of y**3/3 - 11*y**2/2 - 12*y - 4. Is k(15) a multiple of 24?
True
Suppose -v + 7 + 55 = 0. Let x = v + -34. Is 14 a factor of x?
True
Let w = 1684 + -723. Is 39 a factor of w?
False
Suppose -1806 = -4*w + 3*d, -d + 713 = w + 265. Is 76 a factor of w?
False
Let k(x) = -43*x**3 - 4*x**2 - 10*x - 5. Is 2 a factor of k(-1)?
True
Let z(g) = -g**3 + 25*g**2 - 40*g - 10. Is z(23) a multiple of 8?
True
Let s(t) = -t - 24 + 6*t**2 + 6*t**2 - 11*t**2 + t**3 - 2*t**2. Let d be s(0). Let b = d - -43. Is 5 a factor of b?
False
Let i = -165 + 511. Is i a multiple of 44?
False
Suppose 0*q - 1726 = -q - 2*d, -q - 4*d + 1732 = 0. Is q a multiple of 25?
False
Suppose -p = -4*x - 28, 2*p = -5*x - 37 - 11. Let o = x - -12. Let a = 38 - o. Does 11 divide a?
False
Suppose 0 = 4*j + 4*t + 200, 3*j + 112 = j + 2*t. Let c = j + 117. Is 4 a factor of c?
True
Is (2584/10)/(30/225) a multiple of 57?
True
Let m(q) = -q**3 - 2*q**2 + 17*q - 3. Let w be ((-3)/(-12))/(2/56)*-1. Is m(w) a multiple of 10?
False
Suppose -2*t - 1465 = -l - 451, 0 = -3*l - 3*t + 3006. Is l a multiple of 8?
False
Let y = -635 - -1418. Is 27 a factor of y?
True
Let h(t) = -t**3 + 8*t**2 - 7*t + 1. Let c be h(7). Let y be -2 - (-2 + -3) - c. Suppose 40 = 2*b + m + 9, 5*m + 13 = y*b. Is b a multiple of 7?
True
Let g(m) = -8*m - 23. Is 7 a factor of g(-5)?
False
Let o = 1923 + -1059. Does 8 divide o?
True
Suppose -r - 4 + 1 = 0. Let q = 13 - r. Does 9 divide q?
False
Suppose 0 = -s - 38 - 17. Suppose 4*l = -2*d + 524, 3*l + 105 = -3*d + 501. Let a = l + s. Does 25 divide a?
True
Suppose 8*u + 158 - 726 = 0. Suppose -n + 3*n = 74. Let h = u - n. Is h a multiple of 11?
False
Suppose -3*g = -27 - 6. Is 13 a factor of 431/g + (-8)/44?
True
Let x(n) = -n**2 + 7*n + 4. Let q be x(5). Let i = q + -10. Let t(y) = 2*y**2 - 3*y - 4. Is 8 a factor of t(i)?
True
Suppose 4736 = 6*v - 3364. Is v a multiple of 30?
True
Let w(m) be the second derivative of -m**5/20 - m**4/4 - 2*m**3/3 - 4*m**2 - 9*m. Is w(-4) a multiple of 4?
True
Let g(o) = -o**2 + 2*o + 10. Let i be g(0). Let x(u) = 12*u + 18. Is 23 a factor of x(i)?
True
Let y(v) be the first derivative of -v**4/4 - 2*v**3/3 - v**2/2 + 11*v - 20. Is 9 a factor of y(0)?
False
Let w(f) = f**3 - f**2 - 2*f + 3. Let r be w(2). Suppose -h + r*h - 310 = 0. Is (-12)/18 + h/3 a multiple of 17?
True
Let o be 9*6/9 + -2. Is ((-9)/o)/((-21)/952) a multiple of 15?
False
Suppose -s + 3 = 0, -2*s - 3*s = -c 