(w) = -9*w - 4. Is 8 a factor of n(-3)?
False
Suppose 12 + 8 = 5*f. Suppose 80 = f*j + m, 3*j - 10 = -m + 50. Is j a multiple of 10?
True
Is (1 - 17)/((-5)/10) a multiple of 4?
True
Let d(w) = -w**3 + 7*w**2 + 2*w - 14. Is d(6) a multiple of 4?
False
Let y(f) = 4*f - 24. Is y(7) a multiple of 4?
True
Let f = 7 + -4. Let t be (44/(-5))/(2/(-5)). Suppose f*c = 2*c + t. Is 9 a factor of c?
False
Let m = 63 - 0. Suppose -q - 2*q - m = 0. Does 12 divide ((0 - 1) + 0)*q?
False
Let x be 8 - (-6*1)/(-3). Let o(p) = -p**3 + 6*p**2 + p + 3. Does 3 divide o(x)?
True
Let q(c) = -c**3 + 3*c**2 + 10*c. Is q(3) a multiple of 5?
True
Let u = -521 + -189. Let i be u/(-14) - (-2)/7. Suppose -5*f - i = -2*w, -4*w + 3*f + 126 = f. Does 17 divide w?
False
Let p = -16 - -34. Suppose 8 + p = f. Does 13 divide f?
True
Suppose -2*p - 10 = t - 57, -2*t - 2*p = -96. Is 11 a factor of 2093/t - 4/(-14)?
False
Let i = 16 - -13. Is 7 a factor of i?
False
Suppose 0 = -4*j - 16, -2*j - 3*j = -3*f + 68. Does 6 divide f?
False
Let i(c) = -c**3 - 25*c**2 - 29*c - 52. Does 17 divide i(-24)?
True
Does 3 divide (-12)/9 + 155/15?
True
Suppose -d = -0*d - 29. Let n = 44 - d. Does 15 divide n?
True
Let u(g) = 165*g**2. Is u(1) a multiple of 20?
False
Let x(t) = -t**2 + 7*t. Let b be x(7). Let y(n) = -2*n**2 - 2*n - 81. Let j(h) = h**2 + h + 41. Let m(u) = -11*j(u) - 6*y(u). Is m(b) a multiple of 19?
False
Let d(t) = 6*t**2 + 2*t - 3. Let v be d(2). Suppose -3*a + v = 5*g, -3*a + 1 = 2*g - 0*a. Is g a multiple of 4?
True
Let r = 128 - 67. Suppose -4*u + r = -75. Does 17 divide u?
True
Let v = 2 + 0. Suppose -3 = v*m - 11. Suppose -218 = -5*y - 3*s, 3*s - 111 - 64 = -m*y. Is 16 a factor of y?
False
Suppose 4*x - 6 + 18 = 0, 2*n + 2*x = -16. Let j(w) = 2*w**2 - w - 4. Does 17 divide j(n)?
True
Suppose -16*d + 1490 = -782. Does 33 divide d?
False
Let o = 38 + -11. Does 3 divide o?
True
Suppose -r + 316 = -3*g, -4*g + 203 = 4*r - 1109. Is 25 a factor of r?
True
Let x = 18 + -16. Is x even?
True
Suppose 0*h + 5*h = 0. Suppose h = -3*r - 9 - 9. Is 19 a factor of (-4)/r + (-206)/(-6)?
False
Is (-18)/(-12) + 183/6 a multiple of 4?
True
Let r = 64 + -12. Does 13 divide r?
True
Suppose -498 = n - 7*n. Is 17 a factor of n?
False
Let k(g) = -12*g**2 - g - 1. Let f be k(-1). Let m be -5 - 20/(25/(-5)). Let u = m - f. Is 11 a factor of u?
True
Suppose 0 = 5*q + 11 - 1. Is 3 a factor of 2 - q/((-2)/(-9))?
False
Let y = -122 - -213. Suppose -4*r - 120 = 4*v, 0 = -3*v - r - r - y. Let q = 59 + v. Is q a multiple of 14?
True
Let f = 13 + 2. Does 20 divide 8*5/(f/12)?
False
Let s(u) = 21*u**2 - 2*u + 1. Let d be s(1). Suppose -5 - d = -5*b. Is 2 a factor of b?
False
Let t(r) = 60*r**3 - r**2 + r - 1. Does 8 divide t(1)?
False
Let k = 17 - 7. Is 4 a factor of k?
False
Suppose 0 = -5*u + 5*y + 135, 2*u + y = -4*y + 26. Suppose -4*h + u = -2*h + 5*l, -2*h = -5*l - 53. Is h a multiple of 6?
False
Let d(b) = 5*b**3 + 4*b**2 + 5*b - 5. Let c(z) = -11*z**3 - 9*z**2 - 11*z + 10. Let r(a) = -4*c(a) - 9*d(a). Let x = -4 - -4. Is r(x) a multiple of 2?
False
Let a(r) = -r**3 - 9*r**2 + 14*r + 6. Is 13 a factor of a(-11)?
False
Let r(t) = -t**3 + t**2 + 19. Let u be 10*((-3)/(-3) + 0). Suppose 0 = 2*i + 2*g - u, 6*g - 20 = 2*g. Does 18 divide r(i)?
False
Suppose -3*l = -2*l - 2*q - 2, -3*q + 10 = 5*l. Suppose l*j - 3*j = -26. Is 7 a factor of j?
False
Let w(k) = -4*k**3 + 9*k**2 - 12*k - 6. Let v(g) = g**3 + g + 1. Let p(s) = 3*v(s) + w(s). Let a(f) = 2*f - 3. Let d be a(5). Does 13 divide p(d)?
False
Let d be (2 - 1) + (-3)/1. Let i be -2*(d/1)/2. Suppose -4*y + 63 = z, -y = i*y + 2*z - 41. Does 11 divide y?
False
Suppose 3*x = -12, 4*o + 0*o - x - 100 = 0. Is o a multiple of 12?
True
Suppose 109 + 203 = 4*p. Is 19 a factor of p?
False
Is 32/6*(-19)/(76/(-216)) a multiple of 16?
True
Let u(w) = -1. Let r(m) = 12*m + 7. Let j(k) = -r(k) - 6*u(k). Let d be j(-3). Suppose 2*g - n = -6*n + 29, -3*g + d = -n. Is g a multiple of 12?
True
Suppose -5*o = 5, 3*t = 2*t + 3*o + 4. Let y be 0 - (-1 + (-6)/t). Let m = -3 + y. Is m even?
True
Does 7 divide (-84)/(-18)*6/4?
True
Let y = -45 - -73. Is y a multiple of 4?
True
Let j(o) = 4 - 3 + 2*o + 7. Is j(6) a multiple of 7?
False
Let f(h) = -5*h - 7. Let z be (-1 - -2)*(1 + -1). Suppose z = 2*u + 10 + 2. Does 10 divide f(u)?
False
Suppose -t + 3*b + 52 = 0, 0 = -3*t + 8*t + b - 324. Is 20 a factor of t?
False
Let r = 22 - -70. Suppose -5*k - 3*j = r, -2*k - 36 = 3*j - j. Let b = k + 38. Is 17 a factor of b?
False
Let k(z) = 2*z - 2. Let a be k(3). Let s = 24 + a. Is 5 a factor of s?
False
Let p = -136 + 242. Does 13 divide p?
False
Let h(u) = -u**3 - 8*u**2 - 5*u - 3. Suppose 3*k - 2*k = -6. Let m be h(k). Is 15 a factor of (-3)/(m/(-6))*-85?
False
Let b = 12 - 7. Suppose b*f = -5*r + 4*f + 507, -2*r - 4*f = -192. Is r a multiple of 30?
False
Suppose 4*h = -3*l + 9, 2*h = 4*h + 4*l - 2. Suppose -a + 28 - 24 = 0. Suppose -4*w - a*q = -h*q - 121, 0 = -3*q + 3. Is w a multiple of 11?
False
Suppose -4*r + 60 = 2*q, 84 = 3*q + 3*r - 9. Is 8 a factor of q?
True
Let m(h) = -h + 10. Let w be (-2 - -4) + (-1 - 1). Let q(s) = -s**2 + s - 8. Let b be q(w). Is m(b) a multiple of 18?
True
Suppose 0 = 5*g - 6 - 4. Suppose 5*f = g*f + 75. Is 282/10 + (-5)/f a multiple of 13?
False
Let y(q) = -2*q + q**3 + 0*q**3 - 5*q**2 - 6 - 3*q. Let w be y(6). Suppose w = -0*a - a + 20. Does 20 divide a?
True
Suppose 3*p + 4*j - 2*j = 15, j = 2*p - 3. Suppose -2*s = m + 5, 3*m - p*s + 15 = -s. Let x = m + 32. Is 10 a factor of x?
False
Let p(y) = -2*y**2 + 2*y + 2. Let w be p(3). Let j = w + 59. Is 17 a factor of j?
False
Suppose 5*w - 438 = -2*j, 3*w + j - 200 - 62 = 0. Does 9 divide w?
False
Let a(y) = -2*y**3 - y**2 + 5*y. Is 22 a factor of a(-4)?
False
Does 8 divide (-140)/(-8) - (-6)/(-4)?
True
Let u be 2734/12 - 7/(-42). Suppose -d = -f - 52, 5*d + 5*f - u = 2*f. Does 24 divide d?
True
Let k(w) = -3*w - 6. Does 5 divide k(-7)?
True
Suppose -4*n = 5*v + 108, 2*v + 5*n + 33 = -0*v. Let l = 5 - v. Suppose l = 3*h - q + 6*q, 4*h + 4*q - 36 = 0. Is h a multiple of 8?
True
Let d(p) = -9*p. Let m(k) = -k**2 + 14*k - 16. Let q be m(13). Is 9 a factor of d(q)?
True
Let r = 215 - 116. Is 33 a factor of r?
True
Let a(p) = p**2 + 7*p + 9. Does 6 divide a(-8)?
False
Is 2 a factor of (6/2)/(((-14)/12)/(-7))?
True
Let y = -25 + 61. Does 4 divide y?
True
Suppose -3*s = -374 - 1. Is s a multiple of 26?
False
Suppose p - 140 = -3*p. Suppose -n + p = 4*n. Does 7 divide n?
True
Let y(o) = -o**2 + 37. Let a be y(0). Suppose 0 = 4*w - 2*s - 170, 6 + a = w - s. Is w a multiple of 14?
True
Suppose o + 61 = 3*m, 2*m + 4*o - 52 = -o. Does 12 divide m?
False
Let j be 122 + (-1 - 0 - -3). Suppose 2*o - u - 33 = 0, u = 5*o - j + 43. Suppose -o = 2*y - 6*y. Is y a multiple of 4?
True
Let d(t) = -t**3 - 4*t**2 - 2*t - 3. Let i be d(-4). Suppose v - 24 = i*k, -4*v + 5*k = v - 60. Is 3 a factor of v?
True
Suppose -t - 3 = t + l, 4*l = 4*t - 12. Suppose t*r + 945 = 3*r. Suppose 5*o - 6*z + z = r, 205 = 3*o + 5*z. Does 23 divide o?
False
Let a = -2 + 0. Let y = a - -8. Is 6 a factor of y?
True
Is (18 + 0)*(124/8 - 1) a multiple of 10?
False
Suppose 2*p = 4*a - a + 45, 4*p - a - 115 = 0. Suppose 0 = 3*q - 2*n - 14 - p, 2*q - 44 = 5*n. Suppose 5*s = 27 - q. Is s a multiple of 2?
False
Let w = -30 - -60. Suppose 0 = g - 6*g + 25. Suppose -g*p = -4*p - w. Is p a multiple of 15?
True
Let r = 5 - 4. Let y(f) = -4 + 6 - r - 4*f**2 + 14*f**2. Does 6 divide y(1)?
False
Let m(h) = h**3 - 2*h**2 - 3*h - 5. Let c be m(4). Suppose -i + c = -3*z, 3*z = -2*i - 0*i - 6. Suppose -y = -x + 2, i*y = 4*x + y - 14. Does 5 divide x?
True
Does 37 divide (-2)/1 + 184 + 9/3?
True
Let l = 0 - 0. Suppose 3*z = -l*z + 21. Is z a multiple of 3?
False
Let d(j) = -33*j**2 + j. Let i be d(-1). Let c = 9 - i. Is c a multiple of 24?
False
Let j(s) = -s**2 - 7*s + 8. Let v be j(-9). Let a be 6/v + 10/(-25). Is 2 a factor of 0 + ((-1)/(-1) - a)?
True
Let a(o) = o**3 - o**2 - o + 1. Let k(s) = -4*s**3 - 2*s**2 + 12*s - 4. Let n(h) = -5*a(h) - k(h). Is 7 a factor of n(5)?
True
Suppose 3*n + 2*b - 134 = -3*b, -b + 46 = n. Is n a multiple of 11?
False
Let d = -14 - -114. Is 13 a factor of d?
False
Let o(l) = -5*l**2 + 8*l + 5. Let g(s) = -9*s**2 + 15*s + 9. Let h(r) = 6