. Let p be y/((2 - 0)/(-4)). Is 3 a factor of 1 - 0 - 42/p?
False
Let g(o) = 6*o + 66. Let c(r) = -r - 13. Let a(w) = 16*c(w) + 3*g(w). Let b be a(7). Let q(t) = t**3 - 2*t**2 - 4*t - 2. Is q(b) a multiple of 14?
True
Let s = 23 - 13. Suppose -o + s - 2 = 0. Is o a multiple of 8?
True
Suppose 0 = 2*t - 5*a - 23, 4*a - 2 = -2*t - 6. Suppose f - 68 = -s, -s - t*f + 80 = -0*s. Does 12 divide s?
False
Suppose -5*f - 5*m - 5 = -0*f, f - 5 = 5*m. Suppose -h + 5 = -f*h. Suppose 2*g + 3*g = 5*k - 120, -h*k = 5*g - 100. Is k a multiple of 10?
False
Let m = 68 - 24. Is m a multiple of 18?
False
Suppose 0 = 2*c - 28 - 44. Does 18 divide c?
True
Let y be (-2 - (-28)/(-8))*4. Does 8 divide 5*y/20*-4?
False
Let m(n) = 10*n + 9. Let w(c) = 5*c + 5. Let l(o) = -4*m(o) + 7*w(o). Let q = -4 + 1. Is l(q) a multiple of 10?
False
Let o be 8/20 + (-1094)/10. Let k = -77 - o. Suppose 0*b = 5*b + 3*p - 48, -5*p = -b + k. Is 12 a factor of b?
True
Suppose -6 = -2*t + 6. Suppose -4*j = 4*c, 5*c + 31 = t. Suppose n - 32 = -3*u, -3*n - j*u + 135 = n. Does 16 divide n?
False
Suppose 5*p + 0*p = 900. Is 12 a factor of p?
True
Let i = -17 + 19. Let o(k) be the second derivative of k**4/6 + k**3/3 - k**2 + k. Is o(i) a multiple of 9?
False
Let d be (4 - 1)*(-4)/6. Is -1 + (-69)/6*d a multiple of 11?
True
Let n = 13 - 10. Suppose i + 4*d - n = -2, 5*i - 37 = -4*d. Does 9 divide i?
True
Suppose -3*r + 22 = 3*u - 11, 3*r - 33 = 5*u. Let j = r + -15. Does 19 divide (j/6)/(4/(-114))?
True
Suppose -4*c = -2*c. Suppose 3*q - 5*n - 218 = c, 5*n + 101 = q + 15. Suppose -12 = 3*t - q. Does 9 divide t?
True
Suppose k = -4*s + s - 2, -4*k = 4*s - 8. Suppose n = m - 23, -39 = -5*m + k*m - 3*n. Is 27 a factor of m?
True
Let k(n) = -4*n + 5*n - 2*n - 4*n - 2. Does 5 divide k(-2)?
False
Suppose 0 = -10*j + 5*j. Let g be 1 + (-1 - j) - -22. Suppose 0 = 3*k - g - 32. Does 18 divide k?
True
Let b be 2/(83/(-41) + 2). Let o = -55 - b. Does 9 divide o?
True
Let z = 5 + 5. Suppose 2*a + z = 124. Is a a multiple of 19?
True
Let t = -42 + 36. Let w(d) = 2*d + 0*d + 2 - 4*d. Is 7 a factor of w(t)?
True
Let a(u) = 2*u**2 - 21*u + 28. Does 21 divide a(14)?
True
Suppose 4 = h + 2*p + 17, -5*h = 2*p + 25. Let w = 3 - 12. Does 13 divide (96/w - -2)*h?
True
Let u = 26 + -47. Let h be 1/(-2 - (-67)/33). Let q = u + h. Is 7 a factor of q?
False
Suppose 7*b + 102 = 10*b. Is b a multiple of 2?
True
Suppose p - 5 = 2*p. Does 8 divide (-16)/(-6)*(p - -11)?
True
Suppose -3*j - 357 = -10*j. Does 32 divide j?
False
Let y = 81 + -41. Suppose -5*o - 115 + y = 0. Is 4 a factor of 10/o + 52/6?
True
Suppose 4*z - 93 = -77. Suppose 4*n + 29 = 6*n + v, 3*n - 11 = 5*v. Suppose 0 = 4*k - z - n. Does 4 divide k?
True
Let y be 8 - (0/3 - 2). Does 4 divide y*(-1)/(-2) + 1?
False
Let s(c) = 7*c**3 + c**2 + c - 2. Is s(2) a multiple of 15?
True
Suppose 0 = -l - l + 112. Let i = l + -39. Suppose 11 + i = 2*c. Does 7 divide c?
True
Let o = 27 + 12. Does 16 divide o?
False
Suppose w - 60 = -3*x - 2*w, -22 = -x + w. Does 9 divide x?
False
Suppose 5*p + 3*x + 70 = 7*x, 0 = 2*p - x + 25. Does 6 divide 164/14 - p/35?
True
Let n = -10 + 2. Let f = n - -13. Does 5 divide f?
True
Let q = 23 + -17. Does 3 divide q?
True
Suppose 4*c + 2*i = -2 + 60, c - 4*i = -8. Suppose 2*f = -2*o - 2*f + 156, -c = -4*f. Suppose 2*q + 0*w - 4*w - o = 0, -40 = -q + 4*w. Is q a multiple of 14?
False
Let a = 15 - 13. Suppose -93 = -5*b + a*b. Does 6 divide b?
False
Suppose -104 = -b - 3*b. Let t = b - 12. Is 3 a factor of t?
False
Let a(u) be the second derivative of u**4/6 + 3*u**3/2 + 7*u**2/2 - 3*u. Let o be -4 + 5/((-10)/4). Is 14 a factor of a(o)?
False
Let q(v) = v**3 + 9*v**2 - 2*v. Is q(-9) a multiple of 2?
True
Let h be ((-6)/(-1))/((-2)/(-5)). Let f be -4*h/24*2. Let w = 11 - f. Does 9 divide w?
False
Is (108/15)/(1/5) a multiple of 12?
True
Suppose -2*f + d + 18 = -7*f, 0 = 5*f - d + 22. Is 6 - (1 + 1*f) a multiple of 2?
False
Suppose 0 = 4*c + c - 5, 4*z = -2*c + 74. Suppose 0 = -2*l - 6 + z. Is l a multiple of 4?
False
Let y(c) = 17*c**3 - 3 - 16*c**3 - 2*c**2 - c + 6*c. Does 7 divide y(3)?
True
Does 19 divide (-3)/(-6) + (-1251)/(-6)?
True
Suppose 0*l = -3*l + 12. Let i(w) = w**2 - 3*w. Let m be i(l). Suppose 0 = -k + m + 6. Is k a multiple of 5?
True
Let s be (5 + -1)/(-2) - -45. Let k(p) = -p**2 - 2*p. Let y be k(-2). Suppose y*t + t = s. Is t a multiple of 16?
False
Suppose 2*u - 4*g = 88, 2*g + 2*g = u - 46. Is 14 a factor of u?
True
Let s(u) = 14*u + 4. Let i be s(9). Suppose -3*o - 2*l + 78 = 0, -i = -5*o + 2*l - 0*l. Is 13 a factor of o?
True
Let z = 75 + 48. Is 42 a factor of z?
False
Suppose -2*r - 212 = r + 5*l, -2*r + 2*l = 136. Let c be -107 - (-3 - 18/(-3)). Let t = r - c. Does 16 divide t?
False
Does 15 divide -38 + 144 + (-1 - -4*1)?
False
Let r = 4 + 4. Suppose -3*m + r = m. Suppose 4*p + 3*c = 24, -5*p + m*c + 33 = 3. Does 3 divide p?
True
Let m(o) = o**2 - 3*o - 8. Let p be m(-9). Suppose -4*v + 3*t + 68 = -t, 4*t = -4*v + p. Is 12 a factor of v?
False
Let f = 36 + -15. Suppose 3*z + 3*l = 1 + 26, -5*l = z - f. Is 3 a factor of z?
True
Let j(d) = -d**3 - 7*d**2 + 4*d + 1. Let q(s) = s + 1. Let i be q(-9). Is 11 a factor of j(i)?
True
Let o = 2 + 3. Suppose -2*m - 3 = 3*y - 9, o*y - 3 = -m. Suppose -m*w = -16 - 20. Is w a multiple of 5?
False
Let z(d) = -d + 5. Let x be z(0). Suppose -x*k - j = -22 - 10, 2*j + 14 = 3*k. Does 3 divide k?
True
Is 4 a factor of (-1 + -10)*(-8 - -7)?
False
Let q(r) = 11*r**2 - 2*r + 1. Let g = 23 + -21. Is 13 a factor of q(g)?
False
Let m(n) = 5*n**2 + n. Does 4 divide m(-1)?
True
Let t(c) = -21*c - 6*c**2 - 8 + 5*c**2 + 6*c. Is t(-13) a multiple of 6?
True
Suppose p = 3, u + 5 + 4 = -3*p. Is (-2170)/(-45) - (-4)/u a multiple of 24?
True
Let u = -120 - -178. Is u a multiple of 27?
False
Suppose -2*m + 345 + 55 = 0. Suppose 0*r - m = -4*r. Is 10 a factor of r?
True
Let w = 1 + 1. Suppose 3*b - 29 = -5*s, 15 = w*s - b - 1. Is s a multiple of 5?
False
Let t(p) = -15*p**3 + 8*p**2 - 13*p - 3. Let k(h) = 1 + 0*h**3 + 6*h**3 + h**3 - 4*h**2 + 6*h. Let c(m) = -13*k(m) - 6*t(m). Is c(4) a multiple of 3?
False
Suppose -l = -0*l - 4. Suppose 5*b - 11 = -2*j + 5, 0 = -j - l*b + 11. Suppose 0*d + 56 = 2*d - 5*c, -2*d + 52 = -j*c. Is d a multiple of 23?
True
Suppose 524 = 3*i + 167. Does 29 divide i?
False
Let o be ((-998)/3 - 0)*3. Let h = 503 + o. Is (-6)/(-4) + h/(-10) a multiple of 17?
True
Let l(c) = 4*c**2 - 2*c + 1. Suppose 6*r - r = 10. Does 6 divide l(r)?
False
Suppose -3*k = -4*k + 2. Suppose k*s - 14 = -0*s. Suppose 3*p - 46 = -s. Is 11 a factor of p?
False
Let w = -175 - -247. Is 12 a factor of w?
True
Suppose h + 5*h = 258. Is 41 a factor of h?
False
Let j = -22 - -71. Is j a multiple of 4?
False
Is 9 a factor of (-295)/(-11) - 4/(-22)?
True
Let h = 93 + -56. Let p be h/2 - 2/(-4). Suppose 2*r = -3*m + 27, -p = -r - r + 5*m. Is r a multiple of 6?
True
Suppose -3*b = -5*t + b + 128, -3*b + 149 = 5*t. Is 28 a factor of t?
True
Let z = -67 + 169. Is 17 a factor of z?
True
Let t(p) = -7*p. Let v be t(1). Let o be (-2)/v + 174/(-21). Is 9 a factor of ((-9)/(-4))/((-2)/o)?
True
Let t = 10 + -5. Let j = -8 - -5. Is 4 a factor of (-2)/t*j*10?
True
Suppose -m + 7 = 2*i - 8, 4*m - 5*i - 34 = 0. Suppose s - m = 18. Suppose -7 = 2*x - s. Does 5 divide x?
False
Suppose 0 = -4*q + 2*y + 62, 5*q - y - 17 = 62. Is 8 a factor of q?
True
Let h(d) = -d**2 - 10*d - 6. Let k be (5/(-3))/(4/12). Let f(v) = v**2 + 10*v + 6. Let j(c) = k*h(c) - 6*f(c). Is 9 a factor of j(-4)?
True
Let i be 14 + (1 - 1)/(-1). Suppose 0 = j + 3*k + k + 12, 3*j - 4*k + 20 = 0. Let x = i + j. Is 3 a factor of x?
True
Does 25 divide (-3470)/(-20) + 3/2?
True
Let t(a) = -5*a**3 - 3*a**2 + a - 9. Let q(x) = 11*x**3 + 5*x**2 - 2*x + 19. Let h(z) = -4*q(z) - 9*t(z). Is h(-7) a multiple of 12?
True
Suppose 2*t + 1 = -19. Is 16 a factor of (-48)/(-10)*t/(-3)?
True
Let k be (-8)/(-14) + (-136)/(-56). Suppose 0 = -k*w + 15, -2*a - 2*w = -3*a + 41. Does 17 divide a?
True
Let m(p) = p**2 + p - 5. Suppose -r + 2*z + 2*z + 15 = 0, -3*z - 20 = -2*r. Does 19 divide m(r)?
False
Let c(t) = t**3 + 13*t**2 + 11*t - 10. Let o be c(-12). Suppose 5*b - 60 - 280 = -5*l, o*l = -4*b + 280. Is b a multiple of 18?
True
Let v(p) = 15*p**3 + 15*p**2 - 21*p - 11. Let