Suppose -10 = -10*p + 150. Does 4 divide p?
True
Let p(i) = -i + 5. Let x be p(0). Suppose -q = -x*q + 28. Is 3 a factor of q?
False
Suppose -3*v + 10 = -2. Suppose 90 - 18 = -v*o. Does 12 divide (-436)/o - 4/18?
True
Let r = -6 - -10. Suppose 3*k = r*k. Suppose 5*b - 4*x = 122, -3*b + k*x + 80 = x. Is b a multiple of 26?
True
Let s = 20 - 5. Is s a multiple of 11?
False
Let j = 19 + 8. Let h be 7 - 0 - (2 + 0). Let l = j - h. Is l a multiple of 11?
True
Suppose -2*f - 329 = -5*m, -2*f + 114 = 3*m - 93. Does 14 divide m?
False
Let v be (-10)/(-4)*(-8)/(-5). Suppose -2*p = v*q - 72, p + 5*q = 31 + 17. Is 14 a factor of p?
True
Suppose 0*p - p = 2. Let y(g) = -g - 1. Let u be y(p). Is 35/(-10)*(u - 7) a multiple of 13?
False
Let t = 7 + -5. Suppose -139 + 17 = -t*n. Does 14 divide n?
False
Suppose -b - 20 = -2*b - 4*v, -2*v = 3*b - 80. Is b a multiple of 24?
False
Let l(x) = 4*x + x + 12 - 13. Does 6 divide l(2)?
False
Does 25 divide ((-19)/(-3) + 2)*6?
True
Let l(u) = -10*u**3 + u + 1. Let c(x) = -x**3 - 10*x**2 + 11*x - 1. Let a be c(-11). Is 10 a factor of l(a)?
True
Let n = 3 + 22. Suppose 13 = -2*i + n. Is i a multiple of 3?
True
Suppose -q - 1035 = -10*q. Does 30 divide q?
False
Is (18/(-10))/(20/(-1100)) a multiple of 11?
True
Let w be (-18)/(-15)*(-5)/(-2). Suppose w*b + 0*b = 6. Suppose 7 = b*s - 11. Is 9 a factor of s?
True
Let g(b) = b + 8. Let u be g(-6). Suppose -u*r = 2*r - 92. Is 6 a factor of r?
False
Suppose -l + 0 = -2. Suppose l*n - 136 = -2*n. Is n a multiple of 17?
True
Let u = 1 - -1. Suppose 5 = -m, 0*r - u*r + 135 = -m. Is 13 a factor of r?
True
Let c = 120 + -24. Is 24 a factor of c?
True
Is 904/10 + (-6)/15 a multiple of 25?
False
Suppose 5*p - 7*p = 0. Suppose p = 2*b + 3*m - 7*m - 48, -2*b + 53 = -3*m. Is 17 a factor of b?
True
Let v(i) = -119*i + 1. Let q be v(-1). Suppose -3*l + q = 4*o - 5*l, o + l = 30. Suppose 2*c + p = 4*c - o, 0 = 2*c - 5*p - 38. Is 14 a factor of c?
True
Let g be (-3 - -5)/(2/12). Let v be g/(-2)*3/(-6). Suppose -15 - v = -2*o. Is 9 a factor of o?
True
Let w(c) = c**2 - 5*c + 2. Let y(t) = 2*t**2 - 3*t + 2. Let j be y(2). Let m be j/(-22) + 158/22. Is 6 a factor of w(m)?
False
Let b = 116 + -81. Suppose 0 = -g + b - 0. Does 17 divide g?
False
Let t = 42 + -66. Let u be 14/4*t/(-14). Let h = 10 - u. Is 2 a factor of h?
True
Suppose 0 = -2*u - 5*k, -2*u = -5*u - k + 26. Does 7 divide u?
False
Suppose -21 = -5*v + 3*q, -3*v = 2*q + 1 - 6. Let c = -33 - -69. Suppose c = v*a + a. Is 5 a factor of a?
False
Suppose l + x + 16 - 72 = 0, -2*x = -3*l + 168. Is l a multiple of 8?
True
Let y = -59 - -215. Is y a multiple of 39?
True
Let u = -21 + 12. Let w be (-6)/4*42/u. Suppose -6*x = -w*x + 18. Is 18 a factor of x?
True
Let l = 23 - 14. Is 9 a factor of l?
True
Suppose -2*o + 3*k + 347 = -134, -5*k - 1195 = -5*o. Is 40 a factor of o?
False
Let s(c) = c**2 + 29*c + 100. Does 30 divide s(-34)?
True
Let d be (-5)/10*1*8. Let y(f) = f**3 + 3*f**2 - 6*f - 2. Let j be y(d). Suppose -5*c - q = -64, c - j*c - 2*q = -63. Does 13 divide c?
True
Let f(p) = -2*p - 2. Let t be (2 - 1/1)*-9. Is f(t) a multiple of 16?
True
Is 5 a factor of (-1 - 10)/(-1*1)?
False
Suppose 9 = -d - 3*q, -3*d = 2*d - 2*q - 6. Suppose 5*j = 4*n - 68, 5*n - j - 64 = -d*n. Is 4 a factor of n?
True
Let o(a) = 2*a**2 + a + 1. Let x = 3 - 4. Let c be o(x). Let u = c + 10. Does 7 divide u?
False
Suppose 0 = -6*c + 9*c - 111. Is 37 a factor of c?
True
Let i(z) = -z**3 + 8*z**2 - 3*z. Is i(7) a multiple of 14?
True
Let v(m) = 3*m + 7. Does 3 divide v(3)?
False
Let v(p) = -3*p + 10*p**3 - 3 + 7*p**2 - 9*p**3 - 2*p**2. Let m be v(-5). Is 9 a factor of m/((-2)/(-6)*2)?
True
Let t = 17 - -20. Let c = t - 7. Does 12 divide c?
False
Suppose 0 = -2*k - 5*b - 10, 0 = -3*b - 11 - 1. Is k a multiple of 5?
True
Is 13/((-39)/(-12))*(-30)/(-8) a multiple of 2?
False
Suppose 2*d + 3*u = -6, -3*u - 2 = -3*d - 2*u. Suppose -2*o + 162 = -d*o. Is o a multiple of 25?
False
Suppose 2*k - 4*u = 264, -3*k + 2*u = u - 421. Is k a multiple of 31?
False
Let j(p) = -p**3 + 2*p**2 + 2*p + 3. Let l be j(-2). Let g be (-6)/l + 54/10. Let t(a) = a**2 - a + 1. Is 8 a factor of t(g)?
False
Suppose 5*n = 2*h - 110, n + 3*h = 5*n + 81. Let k = n + 42. Is k a multiple of 6?
True
Let m(o) = -o - 6. Let f be m(-8). Does 4 divide ((-2)/f)/((-2)/18)?
False
Suppose -1 = -k - 3. Let t = k - -3. Suppose 6 = v - t. Is v a multiple of 7?
True
Suppose 322 = 3*n - 206. Does 22 divide n?
True
Suppose -3*k + k = 4*y - 46, -2*y + 5*k + 5 = 0. Is 3 a factor of y?
False
Let f(c) = -c**3 + 3*c**2 + 2*c. Let k be f(4). Let h be (-3)/12 + (-26)/k. Suppose -r + 5*d + 23 = r, 5*r - 73 = -h*d. Does 7 divide r?
True
Is 5 a factor of 24 + (0 - (1 + 1))?
False
Let s(n) = -6 - 3*n + 1 - 1. Let a be s(-4). Suppose -4*x = -3*d - 24, 4*x = 3*x - d + a. Is x a multiple of 6?
True
Suppose 108 = 4*g - 1044. Is g a multiple of 24?
True
Let r(c) = 83. Let s(y) = -y**2 + 1. Let d(k) = r(k) - s(k). Is 31 a factor of d(0)?
False
Let w(v) = -v**3 + 18*v**2 + 21*v - 15. Does 2 divide w(19)?
False
Is 13 a factor of 23 + (0 - (1 + -3))?
False
Suppose -y + 1 = -4. Suppose k + 100 = y*k. Is 12 a factor of k?
False
Let c(x) = x**3 + 12*x**2 + 10*x - 9. Let s be c(-11). Suppose -s*o = -4*o - 32. Let w = o - -24. Does 8 divide w?
True
Let z be ((-16)/6)/(2/(-3)). Suppose -k = -n + 5, 0 = -5*n + k + 13 + z. Suppose -d = a - 6, -4*a + 0*a = -n*d + 25. Is d a multiple of 7?
True
Let u(d) be the second derivative of -d**5/20 - d**4/4 + d**3/2 + d**2/2 + d. Let c be u(-3). Is 23/4 - 2/c a multiple of 3?
True
Let c(w) = 1 - 3*w + 0*w**3 - 1 - 2*w**2 - 3 + 2*w**3. Let d be c(3). Suppose -p + d = p. Is p a multiple of 6?
True
Let f(v) = v**3 + 9*v**2 + 3. Let q be f(-9). Suppose 16 = 2*n - 2*s, -2*n + 4*n - 16 = q*s. Is n a multiple of 6?
False
Let d = -15 - -22. Suppose d = 5*g + 27. Is (-22)/g - 1/2 a multiple of 5?
True
Let u(b) = -3*b - 17. Let m be u(-7). Let w(v) = 9*v - 3. Does 13 divide w(m)?
False
Suppose 0 = 4*a - 266 - 106. Is 31 a factor of a?
True
Suppose 5*a = s + 25, -3*a = 3*s - 3 - 12. Suppose a*f - f - 8 = 0. Suppose f*v = 5*v - 12. Is 4 a factor of v?
True
Let s(b) = b + 2. Let u be s(-2). Suppose -144 = -4*d - 2*v, 0 = 2*v - 5*v. Suppose d = 3*p - u*p. Is p a multiple of 6?
True
Suppose -21*n = -23*n + 196. Is 14 a factor of n?
True
Suppose f - 3*n - 857 = 0, -2*f + 1014 = 5*n - 656. Let g = -597 + f. Is 14 a factor of g/14 - 6/(-21)?
False
Let z = 16 - 2. Does 3 divide z?
False
Suppose -4*p + 450 = -p. Is p a multiple of 10?
True
Let t be (-157)/5 - 4/(-10). Suppose 0 = 13*c + 698 - 22. Let i = t - c. Is i a multiple of 21?
True
Let t(c) = -16*c + 3. Let o be t(6). Let n = -63 - o. Suppose z + n = 3*z. Does 13 divide z?
False
Let q(t) = -t**3 + 13*t**2 - 9*t + 4. Let r be q(12). Let y(s) = s**2 + s - 3. Let u be y(-3). Is 8 a factor of 18/15*r/u?
True
Let h(p) = -p**2 + 3*p + 7. Let m be h(6). Is (m/4)/((-3)/12) a multiple of 11?
True
Let j(h) = 4*h + 4. Let x(y) = y + 1. Let n(s) = 6*j(s) - 28*x(s). Let u be n(-7). Suppose -5*w = -4*d + 60, d + 4*w - u = 3*w. Is 13 a factor of d?
False
Let a be (1 - 2)/(2/(-12)). Let b(c) = 2*c**2 + 8*c - 3*c**2 - a + 0*c**2. Is b(6) a multiple of 6?
True
Suppose -270 = -2*p - p. Is p a multiple of 15?
True
Is 4 - (-4 + 18)*-1 a multiple of 3?
True
Is 5 a factor of (-4 + -1)*2/(-2)?
True
Suppose -153 = -2*y - y. Let g = y - 30. Does 21 divide g?
True
Let k = -64 - -102. Suppose y = -0*y + k. Is 14 a factor of y?
False
Is -4*(-2 - 75/2) a multiple of 27?
False
Let n = -49 - -127. Is 39 a factor of n?
True
Let x(p) be the first derivative of 2*p**2 - 4. Is 14 a factor of x(8)?
False
Let j = 8 + -14. Is (-136)/j*(-6)/(-4) a multiple of 14?
False
Suppose h = 3*z - 0*h - 69, -3*h = 5*z - 101. Is 10 a factor of z?
False
Let v(t) = 12*t - 2*t**2 + t**2 - 15 + 0*t**2. Let l be v(10). Suppose -78 = -l*f - 3*a + 16, 2*f + a - 38 = 0. Is 10 a factor of f?
True
Let h(y) = 72*y**2 - y. Let u(s) = s + 4. Let l be u(-3). Let n be h(l). Suppose 3*r - n = -5*q, -q - 14 = -2*r + 4*q. Is r a multiple of 17?
True
Let z = -41 - -79. Does 8 divide z?
False
Is 7 a factor of 1 - (1 + 0) - (-38 + 5)?
False
Let q(c) be the second derivative of c**4/12 + c**3/2 + 3*c**2/2 - 6*c. Is q(-4) even?
False