 = 0. Is 6 a factor of (-3)/c + (-94)/(-8)?
True
Let v be 9/6 - (-18)/(-12). Let n(b) be the second derivative of -b**3/3 + 2*b**2 + b. Is n(v) even?
True
Suppose j + 4*j = 0. Suppose -5*g + 703 + 17 = j. Let u = -96 + g. Does 16 divide u?
True
Suppose 3*r - p - 106 + 23 = 0, r + 3*p - 41 = 0. Suppose 3*b + r = -2*a, 6*a - 3*a = b + 17. Let q = b + 23. Is 5 a factor of q?
False
Suppose -4*r = 80 - 388. Suppose -b + w - 256 = -5*b, -b + 3*w = -r. Is b a multiple of 10?
False
Let q = 626 - 213. Suppose 3*p + 4*b = q + 71, 3*p - 3*b - 477 = 0. Is 32 a factor of p?
True
Let u be (-108)/(-16) + 2/8 + -5. Suppose 4*o = -5*p + 127, -p + 166 = 5*o - 2*p. Suppose u*w - o - 1 = 0. Is w a multiple of 3?
False
Let v be 1/((-1)/12*1). Let k be (-1 + -2)/(102/272). Does 6 divide v/(5/(60/k))?
True
Suppose 16*i - 39936 = -8*i. Is 64 a factor of i?
True
Let w(p) = -72*p - 108. Is w(-6) a multiple of 60?
False
Suppose 3 - 8 = -5*y. Suppose -7*g + 6*g + y = 0. Let l = 4 + g. Does 5 divide l?
True
Let t(w) = w**3 + 17*w**2 + 9*w - 23. Let c be t(-16). Let y = -53 + c. Is y a multiple of 5?
False
Is 11 a factor of (96/288)/(15011/(-7506) - -2)?
False
Suppose 4*k = -3*d + 45, d - 3*k = -d + 30. Suppose 0 = -d*b + 3*b + 924. Is b a multiple of 7?
True
Suppose 0 = 6*y - 4*y - 4, -3*y = 4*f - 1302. Is 18 a factor of f?
True
Suppose -n = -2*n + 110. Is 6 a factor of 24*((-2)/(-5))/(16/n)?
True
Let q = -11 - -4. Let s(t) = -t**2 + 2*t + 1. Let w(c) = -3*c**2 + 16*c - 4. Let r(j) = 4*s(j) - w(j). Does 5 divide r(q)?
True
Does 8 divide 3/12 + 446/8?
True
Does 6 divide 6/12*-61*-2?
False
Let b(z) = -z**3 + 9*z**2 + 22. Let n be b(9). Is 9 a factor of 5218*1/n + (-2)/11?
False
Let q be (-2)/6 + (-183)/(-9). Suppose -2*n + 4 = -n + 2*t, -3*n = 2*t - q. Is 19 a factor of n*(-3 - 52/(-8))?
False
Let b = -18 - -22. Suppose -351 = -b*d + 65. Is 15 a factor of d?
False
Let m(j) = j**2 - 12*j + 26. Let z be m(2). Let r = -4 - -10. Is z*((-9)/r - -3) even?
False
Suppose 4*n + 242 = 2*m, -3*m - 3*n + 92 = -307. Is 36 a factor of m?
False
Suppose 2*s + 176 = 3*z, 5 = -3*z + 5*s + 175. Suppose 4*y = 188 - z. Does 12 divide y?
False
Suppose -2*l + 5*i = -90, -4*l + 3*l - 3*i + 56 = 0. Suppose -2*z = 3*u - l, -3*z - 4*u - 4 = -81. Does 4 divide z?
False
Let w be (3/6 - 2)*-6. Let k(l) = -3*l**3 - 6*l**2 + 2*l**3 - 2 + w*l**2 + 2*l. Does 7 divide k(-2)?
True
Let l(f) = f**3 + 25*f**2 + 37*f - 99. Is l(-23) a multiple of 27?
True
Suppose 12*i = -488 - 292. Let u = 85 - i. Is 10 a factor of u?
True
Let s = 6 + 4. Let q be 201*s*(-2)/6. Is 14 a factor of q/(-12) - (-3)/18?
True
Suppose -3*t + 66 = -5*t. Suppose 68 = -4*r - 24. Let b = r - t. Does 10 divide b?
True
Suppose 5*s - 5*l = 1540, -2*l + 6*l = 8. Suppose -2*r = 5*m - 360, 5*m + r - s = 45. Is 21 a factor of m?
False
Let c(d) = -30*d - 303. Does 125 divide c(-33)?
False
Let q = 618 - 170. Does 64 divide q?
True
Suppose 41*u - 64 = 40*u. Let w = u + -28. Does 3 divide w?
True
Suppose -2*h + 6 = 4. Suppose h - 17 = a - 4*j, 3*a - 5*j + 20 = 0. Suppose a*c - 220 = -5*c. Is 11 a factor of c?
True
Suppose j + 2*u = 2*j - 290, -15 = -3*u. Suppose -2*o - 4*t = -430, 5*t - 28 = -3. Let w = j - o. Is w a multiple of 27?
False
Let y = 1377 + -1314. Is y a multiple of 63?
True
Suppose -4*i + 3*j = -74, j + j - 104 = -5*i. Suppose o = -3*o + i. Suppose 0 = 5*v + 5*r - 70, o*v + 0*r = r + 46. Does 10 divide v?
True
Suppose -8*h + 3*h - 5 = 0. Let y be (-90)/(-2) - (-4 - h). Suppose y = 3*a - 2*a. Is a a multiple of 12?
True
Let i = -54 - -188. Does 8 divide i?
False
Suppose 0*g - 125 = -5*g + d, 3*d - 105 = -5*g. Let r = g - -105. Is r a multiple of 43?
True
Suppose -8*s = -11 - 1141. Does 8 divide s?
True
Let j = 21 - 21. Let t be (j - -15)*1260/75. Suppose -3*c = 4*c - t. Is c a multiple of 9?
True
Suppose -2*m - 76 + 12 = 2*f, 0 = f. Let l be 10*(m/(-10) + -3). Suppose l*i - 10*i = -224. Is 6 a factor of i?
False
Let o(v) = 94*v**2 - v + 1. Let a(w) = -w**2 - 3*w + 1. Let z be a(-3). Does 22 divide o(z)?
False
Let d be ((-253)/5 - 4)*-5. Suppose -i + 149 = -3*t, 2*i - 34 = -3*t + d. Is i a multiple of 38?
True
Let h = 1133 + -493. Is 7 a factor of h?
False
Let h be 4 - (-124)/16*-4. Suppose 480 = r - 6*r. Is 24 a factor of h/12*r/9?
True
Let d(h) = 7*h + 5. Let y be d(5). Let w be ((-2)/(-3))/((-1)/(-6)). Let l = y - w. Is 12 a factor of l?
True
Is 661 + (-1)/(-5 - (-16)/4) a multiple of 35?
False
Let y(v) = v**3 - 22*v**2 + 22*v - 21. Let i be y(21). Is (-1)/(i - 3/117) a multiple of 13?
True
Suppose -5*c = -5, -4*c = 5*s - 3545 - 959. Is s a multiple of 90?
True
Let y = -1475 + 2712. Does 41 divide y?
False
Is 21/(-5) - -5 - 17297/(-35) a multiple of 55?
True
Let f(p) = -p**3 - 4*p**2 + 7*p + 9. Suppose 11*h + 63 = -3. Is 7 a factor of f(h)?
False
Suppose s = -3*u + 166, 278 = 5*u - 0*u + s. Let q = 4 + u. Does 20 divide q?
True
Let j be -2 + 38 + 0 + 0. Suppose j = -2*y - g, -g - 119 = 5*y - 32. Let q = y - -34. Does 17 divide q?
True
Let x be (16/24)/((-2)/75). Let l(s) = s**3 + 24*s**2 - 31*s - 34. Does 6 divide l(x)?
False
Suppose 28 = -i + 5*i. Let w be 2 + -2 - (i - 9). Suppose -z + 2*z - 5*x - 32 = 0, w*z - 40 = -2*x. Is z a multiple of 13?
False
Let t(o) = -o**2 + 14*o. Let z be t(14). Suppose -4*d = 2*i + 86, 5*d + 3*i + 0*i + 109 = z. Is (d - (-4)/4)*-1 a multiple of 10?
False
Suppose 3*b - 3*w - 1083 = 0, -2*w = -5*b + 1384 + 427. Is 27 a factor of b?
False
Suppose -6*f + 26 = -10. Does 15 divide 1/3 - (-298)/f?
False
Suppose -1445 = -5*k + 4*o, 4*k = -2*o - 71 + 1227. Does 11 divide k?
False
Let n be (2/(-4))/(1/16). Let i = n + 9. Suppose 0 = -2*t + 9 + i. Does 5 divide t?
True
Let u = 4 + 5. Suppose 2*j - 24 = -o - u, -3*j - 4*o + 35 = 0. Suppose -5*c + j*g + 27 = -173, 250 = 5*c + 5*g. Is 21 a factor of c?
False
Suppose 10 = -r + 3*r. Suppose -3*b - r*d + 16 = -0, b + 3*d = 8. Is 1312/28 + b/14 a multiple of 12?
False
Let q = 4 - 1. Suppose 5 = 3*c + o, -31 = -5*c + o - 12. Does 25 divide q/((-1)/(-50)*c)?
True
Let h = -108 - -110. Suppose -2*y + 3*y = 5*z - 154, 2*z - h*y - 68 = 0. Is 15 a factor of z?
True
Let z(a) = -a**3 + 3*a**2 + 1. Let c be z(2). Suppose q - 204 = 4*r, 2*r - c*q - 30 = 3*r. Let t = 74 + r. Is 22 a factor of t?
False
Let i(j) = 14*j**2 + 5*j + 4. Let r be i(-5). Let u = r - 233. Suppose 5*m = -4*p + 80, p - 5*p + u = m. Is 5 a factor of p?
True
Let y(x) = 75*x - 42. Is y(2) a multiple of 18?
True
Is 21 a factor of -1 - 15/5 - 67/(-1)?
True
Let u(c) = -6*c + 9. Let v(n) = -3*n + 14. Let q be v(6). Does 10 divide u(q)?
False
Let j(y) = -y**3 + 15*y**2 + 23*y - 17. Let i be j(16). Suppose 0*q = 5*q - i. Is 19 a factor of q?
True
Let c(q) = -4 + q**3 - q**2 - 207*q + 10 + 204*q. Suppose 0 = 2*u - u - 4. Is 15 a factor of c(u)?
False
Let a = -16 + 112. Let y = -21 + a. Is y a multiple of 15?
True
Let a(f) = f**3 - 25*f**2 + 47*f - 27. Let t be a(24). Suppose t = -r + 6*r. Is r a multiple of 15?
True
Let d(t) = -3*t - 1 + 4*t**2 - 1 + 8*t**3 - 6*t**3 - 2*t**2. Let y be d(3). Suppose 2*o = 157 - y. Is o a multiple of 16?
True
Suppose 174*s - 184*s + 1560 = 0. Is 29 a factor of s?
False
Let t = 6 + -1. Suppose -4*x = x. Suppose 2*g = -t*h + 40, x = g - 0*h - 5*h - 50. Is 10 a factor of g?
True
Let p(k) be the third derivative of 13*k**4/24 + k**3/2 + 11*k**2. Suppose 3*l - 3 = -3*a, a + 2 = -5*l - 5. Is p(a) a multiple of 21?
True
Let p(d) = d**2 + 4*d - 1. Let u be p(-2). Let w(a) = -a**3 + 8*a**2 + 2*a - 3. Let i be w(8). Let t = i + u. Is 3 a factor of t?
False
Suppose 190 = h + h. Is h a multiple of 19?
True
Suppose 3*z + 4*w = 121, 2*z - 2*w = -7*w + 90. Is 11 a factor of z?
False
Let m = 22 - 12. Let h(y) = -y**3 + 9*y**2 + 14*y + 2. Is 4 a factor of h(m)?
False
Let z be (-4 - (-7 - -4)) + 5. Is 17 + 0/(z + -3) a multiple of 2?
False
Does 44 divide (-7)/(8 - 15) - -589?
False
Suppose -o - 1403 = -g, -5*g + 3*o = 5*o - 7050. Does 54 divide g?
False
Let y = 317 + 19. Does 16 divide y?
True
Let g(a) = -3*a + 4. Let j be g(3). Suppose 124 - 4 = -10*k. Is (-219)/j - k/60 a multiple of 22?
True
Let o be -3 + 3 + 1090/5. Suppose -3*r = o - 668. Is 25 a factor of r?
True
Let a(u) = -16*u - 4. Let d be a(11). Is (-8)/(-3)*d/(-8) a multiple of 6?
True
Suppose -4*y - 245 = 4*m - 1121, 0 = y - 3. Is m a multipl