**3 + 7*w**2 + 4*w - 5. Is o(j) a multiple of 5?
False
Let h(y) = 215*y + 2. Let u be h(2). Suppose -324 = -7*c + u. Is c a multiple of 9?
True
Is 14 a factor of (10 - 8 - -3) + 909?
False
Let d(z) = -z**3 + 7*z**2 + z - 9. Let c be d(7). Let i be (c - (-10)/4)*-4. Let q(u) = -3*u**3 - 3*u**2 - u - 1. Does 7 divide q(i)?
False
Let n(k) = -k**3 + 8*k**2 + 3*k + 2. Suppose -24 + 72 = 4*q. Suppose -2*f = 2*p - q, 4*f - 3*f - 38 = -5*p. Does 13 divide n(p)?
True
Let t = 20 - 29. Let g(w) = -11*w + 8. Is g(t) a multiple of 19?
False
Suppose 2*q + q - 3*c - 18 = 0, 4*c = -2*q + 42. Let o = q + -9. Suppose -100 = -o*g - 2*g. Is 11 a factor of g?
False
Suppose 5*c - 2440 = 4*u, 109*u = -c + 105*u + 488. Is c a multiple of 41?
False
Suppose -11*g + 4 = -12*g, -5*x + 12588 = -2*g. Is 17 a factor of x?
True
Suppose 0 = h - 3*h + 64. Suppose -4 = -f - 2*v, f - 5*v = -0*f + h. Suppose -3*q - f = -5*q. Does 6 divide q?
True
Suppose -2*h - 3*h - 20 = 0. Let i be (h/8)/((-2)/460). Let l = i + -72. Does 12 divide l?
False
Let l(o) = o**3 + 4*o**2 + 65 - 2*o - 5*o**2 + 2*o**3 - 4*o**3. Let b = -33 + 33. Does 15 divide l(b)?
False
Let i(f) = -11*f**2 - 2*f + 2. Let s(q) = -11*q**2 - q + 2. Let l(r) = 4*i(r) - 5*s(r). Suppose 3*d = -6*o + 2*o - 10, 3*d + 9 = -3*o. Is 11 a factor of l(d)?
False
Let g be (1 + 0)/(7/(-63)). Let v be (4 - 6)/(2/g). Is 15 a factor of -1 + v/(-6)*-14?
False
Let w be (8/(-5))/(1/(-80)). Suppose 3*c = -f + 124, 2*c + f = 5*c - w. Is c a multiple of 13?
False
Let b(x) = 19*x - 5. Let s(n) = -4*n - 2. Let q be s(-1). Does 7 divide b(q)?
False
Is -6 + (480 + 1 - -5) a multiple of 60?
True
Let s(z) = 2*z**2 + 4*z + 4. Let c be s(-3). Let i = c + -2. Let h(v) = v**2 - 4*v - 5. Is h(i) a multiple of 16?
False
Let q = -115 + 163. Suppose -4*y - q + 300 = 0. Is y a multiple of 9?
True
Suppose 0 = 15*t - 931 + 76. Is t a multiple of 36?
False
Let z(y) = 69*y - 117. Does 11 divide z(17)?
True
Let p(u) = 2*u + 15. Let f be p(0). Is 14 a factor of ((-3)/f - 420/25)*-4?
False
Let x be 191/3 + 22/(-33). Is 13 a factor of x - (-2 - 2)*1?
False
Let l(n) = -88*n - 23. Does 13 divide l(-1)?
True
Suppose 0 = -0*l - 0*l + 4*l. Let g be (-1 - -4)*13/3. Suppose d = -l*d, t + d = g. Is t a multiple of 13?
True
Let r = 29 - 11. Suppose -2*w + 6 + r = 0. Is 4 a factor of w?
True
Suppose -x - 4*t = -2*x + 1261, -4*x + 5057 = -3*t. Suppose -x = -13*g + 308. Is 11 a factor of g?
True
Let a be (2/3)/((-4)/(-6)). Suppose -i - a = -2*u, u - 6*u = 2*i - 16. Is (u/5)/((-9)/(-540)) a multiple of 4?
True
Suppose -4*o = -2*m + 37 - 7, -2*m = 2*o + 30. Let y be (-45)/o*(-2)/(-3). Suppose -9 + y = -l. Is l a multiple of 3?
True
Let v(l) = -8*l + 75. Is v(-25) a multiple of 11?
True
Suppose -11*d = -2311 - 2496. Is d a multiple of 33?
False
Suppose 0 = 5*p + 2*k - 4, -2*p - 2*k + 5 - 1 = 0. Suppose p*f = f - 3. Is 1*36 + f + -7 a multiple of 16?
True
Suppose -h - 3*u + 665 = 42, -5*h + 3183 = -2*u. Does 23 divide h?
False
Suppose -15 - 62 = -11*b. Let v(j) = -j**3 + 6*j**2 + 7*j + 16. Does 10 divide v(b)?
False
Let k(a) = 189*a + 11. Is k(4) a multiple of 13?
True
Let c be 602/(-49) - 2/(-7). Let v = c - -11. Does 3 divide (v - 0) + 0 - -9?
False
Let a = -6 - -3. Let x be 282/18 + 2/a. Is 7 a factor of 310/x - (-4)/(-6)?
False
Let v = -170 + 100. Let i = -50 - v. Is i a multiple of 4?
True
Let a = 476 + -456. Does 4 divide a?
True
Suppose 4*b = -4*b. Let q = b + 20. Does 3 divide q?
False
Suppose 470 = 2*i - 19*t + 15*t, 0 = 4*i - 5*t - 943. Does 44 divide i?
False
Let o(m) = 0*m**2 - m + 10*m**2 + 3*m**2. Let h(b) = 2*b**2 - 39*b + 72. Let v be h(2). Is 11 a factor of o(v)?
False
Is 134/((-4)/22*-11) a multiple of 2?
False
Let r(o) = -2*o - 24. Let k be r(-13). Suppose -2*n - 5*u = -270, -1 = -k*u + 3. Does 26 divide n?
True
Let d(u) = -u**3 - 17*u**2 + 18*u - 2. Let t be d(-18). Let y be ((-75)/10)/(t/12). Does 6 divide 1/(1 - y/48)?
False
Suppose 8*f = 4*f. Suppose 5*y = -f - 5, 368 = 4*d + 4*y. Is 13 a factor of d?
False
Suppose -28*f - 9594 = -34*f. Does 41 divide f?
True
Let b(h) = -28*h + 14. Is 5 a factor of b(-2)?
True
Suppose 0 = 3*z - 2*z - 4. Suppose z*j = 3*j + 81. Let k = j - 17. Does 13 divide k?
False
Let l(d) = 3*d - 24. Suppose 0 = 4*a + 2*r - 52, 0 = -3*a + 2*r + 46 - 7. Let p be l(a). Let h(y) = y - 7. Is 4 a factor of h(p)?
True
Let z(l) = 5*l**3 + l**2 - 8*l - 8. Does 13 divide z(5)?
False
Let o(u) = u**3 + 2*u**2 - 7*u - 4. Is o(5) a multiple of 8?
True
Suppose -3*x = -2*w - 148 - 249, 0 = -2*x + 4*w + 270. Let n = x + -72. Is n a multiple of 10?
False
Let a = 1161 - 975. Does 11 divide a?
False
Let d(w) = 465*w - 334. Does 61 divide d(3)?
False
Let q(g) = 2*g. Suppose -4 = -f + 21. Suppose 5*b = -f, 11 = 2*k - b - 14. Does 5 divide q(k)?
True
Let s(g) = -g**3 - 12*g**2 - 3*g + 18. Let w(i) = i**3 + 13*i**2 + 3*i - 19. Let r(d) = -7*s(d) - 6*w(d). Let x = -173 - -169. Is r(x) a multiple of 3?
False
Let s(c) = 2*c**3 - 11*c**2 + 11*c - 33. Is s(6) even?
False
Let p = 101 - -762. Does 16 divide p?
False
Let c(o) = 348*o - 114. Does 23 divide c(6)?
False
Let n = 6296 - 4196. Is 34 a factor of n?
False
Let y(o) = 33*o + 341. Is 2 a factor of y(-8)?
False
Suppose 4 = 4*i, -5*u + 5*i + 7034 = 1664. Does 68 divide u?
False
Let y(z) = 21*z - 15. Is 18 a factor of y(8)?
False
Suppose -4*w = -4*n + 10 + 6, 3 = -3*w. Suppose 2*m = 7*m + 5*r - 140, n*m - 100 = r. Is 8 a factor of m?
True
Is 4 a factor of 290/8 - 36/(-48)?
False
Let q(k) = -k**2 - 23*k - 19. Is 19 a factor of q(-19)?
True
Suppose -5*t + 18 = 3. Suppose 0 = -4*v + t*a + 161, 3*a - 64 = -v - a. Does 13 divide 8/v + 570/11?
True
Suppose -16 - 28 = 11*o. Is (-15 - -59) + 1 + o a multiple of 4?
False
Suppose 3*v + 25 + 352 = x, -4*x = 5*v + 600. Let p = -70 - v. Is p a multiple of 9?
True
Let q(h) = h - 2. Let j be q(6). Suppose -c + 3*w = -15, 2*c + j*w - 3*w - 16 = 0. Suppose -4*b = -c*b + 75. Does 5 divide b?
True
Suppose -662*z = -669*z + 6272. Is z a multiple of 66?
False
Let p(b) = -8*b**2 - 1. Let v be p(1). Let z = -945 + 939. Let u = z - v. Is u even?
False
Let x be (-1 - 39/(-3))/(-1). Let d = x + 17. Let c = d - -12. Is 6 a factor of c?
False
Suppose -5562 = -14*y + 3048. Is y a multiple of 28?
False
Let i(d) = -84*d + 29. Let t be i(3). Let p = -23 - t. Does 50 divide p?
True
Suppose -108 + 351 = -3*g. Let p be g/(-15) - (-4)/(-10). Suppose p*a - 202 = 68. Does 18 divide a?
True
Suppose 0 = -h + 6*h - 1350. Is 27 a factor of h?
True
Let l be ((-6)/(-4))/(1615/1600 + -1). Suppose 2*o + 3*f - 16 = 90, 3*o = -4*f + l. Is 33 a factor of o?
False
Let j = -14 - -5. Let n(y) = 8*y**3 - 12*y + 12. Let p(i) = 7*i**3 + i**2 - 12*i + 12. Let f(w) = 6*n(w) - 7*p(w). Is 13 a factor of f(j)?
False
Let a be 6/(3/40*4). Suppose -2*x = 2*x - a. Suppose -3*u - 32 = -5*l, x*l - 28 - 6 = u. Does 7 divide l?
True
Suppose 12*o - 21150 = -13*o. Is 4 a factor of o?
False
Suppose -5*d = -2*g - 815, 0 = -0*d - 2*d - 4*g + 350. Let r = d - 112. Does 7 divide r?
False
Suppose 11*l - 37969 = 1268. Is l a multiple of 14?
False
Let z(u) = -5*u**2 - 4*u + 1. Let w be z(1). Does 15 divide ((-517)/44)/(2/w)?
False
Suppose -20 = 2*z - 0*z. Let h(r) be the second derivative of -r**5/20 - 5*r**4/6 - r**3/3 + 2*r**2 + 2*r. Does 12 divide h(z)?
True
Suppose -16*u + 22*u = 5232. Is 32 a factor of u?
False
Suppose -6*l + 28 = -2*l. Suppose -2*q - 3*p = -2, 5 = -q + 4*p + 6. Does 15 divide 24 - l - (q - -1)?
True
Suppose 6 = -0*h + 3*h. Suppose 2 + 8 = h*c. Suppose q + 164 = c*q. Does 11 divide q?
False
Suppose 0 = 5*f + c - 5, 2 + 3 = -3*f + c. Suppose -2*b + 35 = 3*d, f = 2*d + 6*b - 2*b - 18. Does 3 divide d?
False
Suppose -10 = -g - 2*k, -3*k - k = -5*g + 106. Suppose 0 = -2*w + 2*b + g, 29 = 3*w - 3*b + 2*b. Is w a multiple of 5?
True
Suppose a = 2*a - 3. Let j be (-1)/(a + (-19)/6). Suppose -84 = j*z - 10*z. Does 6 divide z?
False
Suppose -7*r + 2*r - 5 = 0. Does 28 divide r/(3*(-4)/2424)?
False
Let t(a) = a**2 + a + 2. Let f be 30/(-3)*21/(-35). Is 22 a factor of t(f)?
True
Suppose 1 - 11 = 5*t, 5*z = -t + 8. Suppose -4*x + 125 = -z*g + 15, 2*x - 70 = -2*g. Let m = x - 13. Is m a multiple of 17?
True
Let h(t) = -2*t + 4. Let l be h(3). Let r(f) = 3*f**2 + 3*f - 4*f + 2 + 5*f**2 - 2*f**2. Does 9 divide r(l)?
False
Suppose 