(5). Let t = w - -15. Is 19 a factor of t?
False
Does 11 divide 95 - (2 + -1 + -3)?
False
Let p(j) = -j**2. Let v(n) = -19*n**2 - n. Let f(i) = 4*p(i) - v(i). Let g = -21 - -20. Is 7 a factor of f(g)?
True
Let d = -34 + 80. Is d a multiple of 9?
False
Suppose 0 = 3*y + 2*y + 20, -2*s - 2*y - 4 = 0. Is s + 7/(7/20) a multiple of 22?
True
Suppose -c - 12 = -4*o, 5*c - 2*o + 100 - 4 = 0. Let j = c - -39. Is j a multiple of 19?
True
Let j be (-51)/(-9) - (-4)/12. Suppose j*b - 2*b - 140 = 0. Is 20 a factor of b?
False
Let h(f) = -f**2 + 22*f + 6. Is h(22) a multiple of 3?
True
Suppose -4*g - 9 = 3. Let k(j) = 2*j**2 + 1. Let y be k(g). Let q = 8 + y. Is q a multiple of 11?
False
Suppose -5 = 3*j + 7. Let b be (-2 - j*1) + -2. Let y = b + 9. Is 6 a factor of y?
False
Let a(g) = 3*g - 4. Suppose -3 = -3*i + 2*i. Let h be a(i). Suppose -h*t + 111 = -159. Does 18 divide t?
True
Let c = 13 + 17. Is 30 a factor of c?
True
Let t(i) = -i - 2. Let k be t(-4). Suppose -6*h + 48 = -2*h. Suppose -28 = -k*z + h. Is 10 a factor of z?
True
Is (-2)/9*6*-3 a multiple of 4?
True
Suppose -5*i - 6*f + 28 = -5*f, 0 = i - 3*f - 12. Is 2 a factor of i?
True
Let d = 14 + -22. Let o(j) = -j**3 - 8*j**2 - 9*j - 10. Is o(d) a multiple of 34?
False
Let f be (-9)/6 + (-563)/(-2). Suppose -o = -6*o + f. Does 12 divide o?
False
Let l(j) = j**3 - 6*j**2 - 10*j + 11. Suppose 10 - 34 = -3*b. Is l(b) a multiple of 22?
False
Let c(y) = -y**3 - 6*y**2 - y. Let w be 21/2*(-2)/3. Does 28 divide c(w)?
True
Let g(a) = -13*a**2 + 1. Let n = 2 + -3. Let m be g(n). Is 4 a factor of (-135)/m - 2/8?
False
Let p = 1 + 1. Let a be (1 + 19/(-1))*-7. Suppose 4*t + p = a. Does 11 divide t?
False
Let l(w) be the first derivative of 29*w**6/120 + w**4/24 + w**2/2 - 2. Let c(o) be the second derivative of l(o). Is 19 a factor of c(1)?
False
Let u(a) = -a**3 + 2*a**2 + a + 1. Let c be u(2). Suppose 0 = o + 3*d, 5*o = -c*d - 41 - 7. Does 3 divide o/(-3*(-3)/(-6))?
False
Let t be -1 + (-3)/3 - -141. Suppose 3*s + 2*m = 44 + 59, 4*s + 3*m = t. Does 13 divide s?
False
Suppose 0 = -0*b + b. Let k = b - -7. Suppose -3*w + 28 = -f + 12, -w + k = -2*f. Is w a multiple of 5?
True
Suppose 0 = 2*s + 2 - 0. Is (s/2)/(3/(-84)) a multiple of 7?
True
Let b be 30/(-8) - (-2)/(-8). Let s be ((-2)/b)/(1/(-26)). Let q = s + 59. Is 17 a factor of q?
False
Suppose -2*p = p. Let z be p/(1 - 2/1). Suppose z = 7*y - 5*y - 36. Is 11 a factor of y?
False
Suppose -2*r = 4*l - 148, 0 = 4*l + l + 20. Does 10 divide r?
False
Suppose -24 = -3*k - 4*o, -3*k - 2*k + 29 = 3*o. Suppose k*s + 0*s + 2*u = 86, -3*s = -3*u - 87. Is s a multiple of 12?
True
Let t(s) = -38*s + 10. Does 24 divide t(-6)?
False
Let j(x) = -2*x - 8. Let l be j(7). Let w be -31*(-3)/((-6)/(-2)). Let d = w + l. Does 9 divide d?
True
Suppose 3 = q - 6*l + 3*l, 2*l + 2 = 0. Suppose z = -q*z + 42. Is z a multiple of 21?
True
Is 0 + 16 + 3/(-3) a multiple of 5?
True
Does 17 divide 102/4*24/18?
True
Let q(n) = -n**3 + 11*n**2 - 4*n. Is q(8) a multiple of 30?
False
Let j = -6 + 8. Suppose 0*n = -n + j. Is n/(-5) + (-164)/(-10) a multiple of 7?
False
Suppose q = 2*q - 65. Does 15 divide q?
False
Suppose -u - 213 = -2*u. Is u a multiple of 31?
False
Let i(f) = -8 + 0*f**3 - 4*f - f**3 + 7*f**2 + 2*f**3. Is 7 a factor of i(-7)?
False
Let i(b) = b**2 - 10*b - 19. Let q be i(13). Suppose 3*o - 136 = q. Is 11 a factor of o?
False
Suppose -14 = -4*f + 14. Let m = 7 - 4. Let g = f - m. Does 2 divide g?
True
Suppose 0 = 5*a - 0*a + 3*d, 4*a = d. Let t be -3 + (6/3 - a). Is t*1*(-6 - 1) a multiple of 6?
False
Let u(o) = -3*o**2 + 4*o - 3. Let j be u(2). Let n = j - -10. Let d(s) = 7*s - 3. Is d(n) a multiple of 18?
True
Let d = -28 - -17. Let k be -1*-1*2*d. Let i = -4 - k. Is 11 a factor of i?
False
Does 9 divide ((-4)/5)/(3/(-405)*1)?
True
Let u = -3 + 4. Suppose -f + 0*f + u = 0. Suppose 4*o - 67 - f = 0. Is 7 a factor of o?
False
Let t(u) = -u**3 + 4*u**2 + 6*u - 6. Let w be t(5). Is 728/16 - w/2 a multiple of 14?
False
Let k = -128 - -397. Is 44 a factor of k?
False
Let k(w) = 4*w - 2. Is k(5) a multiple of 7?
False
Suppose 3*r - 24 = -4*a, 0 = 2*r + 5*a - 7 - 16. Suppose r*z + 5*q - 87 = 0, 5*q = -0*z - 2*z + 51. Is z a multiple of 11?
False
Let x be ((-135)/(-30))/(1/78). Is 11 a factor of (14/(-3))/((-26)/x)?
False
Let n = 48 + -27. Is 21 a factor of n?
True
Suppose -y + 8 = 5*z, 0*z + 4*y + 4 = -2*z. Suppose 5*d = -4*a - 42, -a = -4*d - 6*a - 39. Is z + (d/(-3) - -2) a multiple of 6?
True
Let z = 9 - -183. Is 21 a factor of z?
False
Suppose 3*b + 0*b + 21 = 0. Let j(t) be the second derivative of -t**4/12 - 3*t**3/2 + t**2 - 2*t. Is j(b) a multiple of 8?
True
Let b be (-4)/(24/9)*-4. Suppose -j + b*j - 20 = 0. Does 6 divide (-2)/j*2 + 16?
False
Suppose 3*s - 5*s = 0. Let a be (20/(-35))/((-2)/7). Suppose s = -3*l + a*l + 7. Is l a multiple of 7?
True
Let h = 74 + -24. Suppose -4*p + 211 = -5*y, 0*y + 5*y + 260 = 5*p. Suppose 0 = 3*b - p - h. Is b a multiple of 9?
False
Let d(f) = 13*f**2 + 5*f + 4. Is d(3) a multiple of 34?
True
Suppose 4*v - 36 = 40. Does 19 divide v?
True
Let a(j) = j**3 - j + 2. Let n be a(0). Suppose -4*t = 2*x - 4, 0*x + 5*t = -n*x + 1. Does 7 divide x?
False
Suppose -3 = -2*r + r. Suppose -r*o = 5*d - 0*d - 47, 0 = -4*d + 2*o + 20. Does 7 divide d?
True
Let w = 152 + -38. Does 34 divide w?
False
Suppose -20 = -5*x, 3*x + 211 = -o + 11. Let i = o + 36. Does 10 divide (-2)/(-3) + i/(-6)?
True
Let r(v) = v**3 + 8*v**2 + 2*v - 1. Is r(-4) a multiple of 15?
False
Is 1 + 0 + 0 + 49 a multiple of 10?
True
Let k(w) = 2*w - 4. Does 3 divide k(7)?
False
Let g = 56 - -24. Does 20 divide g?
True
Does 10 divide (-2478)/(-77) - 4/22?
False
Does 9 divide (713/11 - (-2)/11) + -2?
True
Suppose 0 = -4*l + 4*m + 20, -2*l - 8 = -3*l + 4*m. Let c(k) = 4 + 0 + 4 - k. Is c(l) a multiple of 3?
False
Let s(i) = i + 1. Let h be s(0). Let u = h + -1. Is 4 a factor of (u - 1)*(-18)/3?
False
Suppose c + 3*g - 7 = 2, -4*c + 2*g = -8. Let k = 25 - 7. Suppose 0 = -p - 2*z + k, 0 = -0*p - c*p + 4*z + 74. Is 8 a factor of p?
False
Let c(q) = q**3 - 8*q**2 - 15*q + 31. Is 27 a factor of c(10)?
True
Suppose -4*m = 2*j - 227 - 95, -2*j = -m - 317. Is 11 a factor of j?
False
Suppose 60*s = 62*s - 34. Is s a multiple of 3?
False
Is 19 a factor of 3/(-12)*6*(-304)/3?
True
Suppose -3*f + 31 = 4*t, 5*f = t - 4 + 25. Suppose -2*l - l + 29 = 2*b, f*b + 2*l - 56 = 0. Is 10 a factor of b?
True
Let j(d) = d**3 + 5*d**2 - 5*d + 6. Let y be 0/(-1) + -6 + 0. Let t be j(y). Suppose 0 = -3*m + 3*q - 2*q + 22, -3*m + 4*q + 25 = t. Does 5 divide m?
False
Suppose -4*a + 186 = -7*a. Let u = -39 - a. Does 11 divide u?
False
Let f be (-102)/(-4)*12/(-18). Does 9 divide f*(2*-2)/4?
False
Suppose -3*x - 1 = -4. Let r be (x*-5)/(-2 + 1). Let o(a) = a**3 - 4*a**2 - 5*a + 6. Is 3 a factor of o(r)?
True
Suppose 88 = -0*s + 4*s. Suppose 98 = 3*m - s. Is m a multiple of 20?
True
Let s = -61 - -118. Is 3 a factor of s?
True
Suppose -20*n = -17*n - 102. Is 34 a factor of n?
True
Suppose -4*g = t - 14, 2 = -5*t + g + 3*g. Does 2 divide t?
True
Let w(d) = d - 1. Let c be w(2). Let o(y) = 6*y**2 + y. Does 7 divide o(c)?
True
Let c(b) = 4 - 9*b + 7*b + 0*b**2 + 2*b**2. Suppose 4*o - 14 = 5*o + 5*k, 5*k - 10 = 5*o. Is 19 a factor of c(o)?
False
Suppose 4 = 2*f - 4. Let s = f + 0. Does 11 divide s/(-18) + 897/27?
True
Does 8 divide (-4)/(-16)*-3 + (-94)/(-8)?
False
Let o = -8 - -3. Let h(k) = -9*k + 2. Let p(r) = r + 1. Let j(g) = o*p(g) - h(g). Is j(10) a multiple of 13?
False
Let x be (-4)/(-2) - (2 + -2). Is x + 0 - 8/(-4) a multiple of 4?
True
Let f = 7 - -6. Suppose 2*i = 3*y - 0*y + 7, -1 = -2*i - 3*y. Suppose q - f = -i. Is q a multiple of 7?
False
Let w(m) = 7*m**3 - m**2 + m. Let v = 1 + 2. Suppose 2*b = 3*p + 5 - v, 3 = 3*b + 4*p. Does 7 divide w(b)?
True
Suppose 3*s - 1 = j, -2*j = 5*s - 0*s - 9. Let w be j - -1*(-2 - -1). Is 3 a factor of 6/(2 - (w + -1))?
True
Suppose -3*n - 45 = -6*n - 2*y, 2*y = 5*n - 91. Is n a multiple of 5?
False
Let c be 5 - 5 - -1*8. Let b(x) = -x**3 + 7*x**2 + 8*x - 6. Let g(u) = 2*u**3 - 14*u**2 - 16*u + 13. Let d(r) = 5*b(r) + 3*g(r). Is 4 a factor of d(c)?
False
Suppose 5*y - 17 - 26 = -3*j, 0 = 2*j + 3*y - 30. Is 7 a factor of j?
True
Let c(b) = b**2 + 5*b + 4. Let f be c(-4