(-4)?
True
Let t = -13 + 9. Let x be (-42)/t*100/(-15). Let f = x - -102. Does 11 divide f?
False
Let q = 11 - 7. Let p(z) = -z**3 + 4*z**2 + 3*z. Is p(q) a multiple of 4?
True
Is 15 a factor of 1/3 - (-2327)/39?
True
Suppose p - j + 20 = -4*p, 4*p + 3*j = -16. Let t be (0/(-2))/(4/p). Let s = t + 24. Is 10 a factor of s?
False
Let o = -5 + 7. Suppose -o*y - 9 = -37. Let b = y - -2. Does 16 divide b?
True
Let l(a) = -a**2 - 10*a + 6. Suppose -27 = -7*x + 10*x. Does 12 divide l(x)?
False
Does 6 divide (26/24 + 4/16)*36?
True
Let u = 8 - -3. Does 3 divide u?
False
Suppose 0 = 2*h + i + 1, 5*i - 19 = -2*h. Let p = -1 - h. Suppose p*r + 2 = 26. Is 10 a factor of r?
False
Let o(j) = -j**3 + 7 + 0 + 1 - 4*j + 7*j**2. Is 10 a factor of o(6)?
True
Let y = 2 + -15. Is 20 a factor of (y + 1)*20/(-6)?
True
Suppose 4 = 3*g - j - 4*j, -2*j - 13 = -5*g. Suppose 0 = -3*o - l + 68, -5*l - 76 = -g*o + 16. Is o a multiple of 15?
False
Let s = -752 - 953. Is 15 a factor of 3/(-4) + s/(-44)?
False
Let j(h) = -h - 6. Let f be j(-6). Suppose x - 4*x + 36 = 2*i, f = -3*i - 3*x + 48. Suppose -3*o + 51 = i. Does 12 divide o?
False
Let b(a) = 11*a**2 + 2*a + 9. Let c(y) = 4*y**2 + y + 3. Let g(s) = 3*b(s) - 8*c(s). Let l = 7 - 10. Does 9 divide g(l)?
True
Let q(n) = -n**3 - n**2 + 2*n + 1. Suppose 0 = -5*s + 10 - 0. Let b be q(s). Let t = 11 + b. Does 4 divide t?
True
Let w = -39 + 13. Let q(r) = r**3 - 6*r**2 + 2*r. Let h be q(6). Does 5 divide (w/6)/((-4)/h)?
False
Let j(k) be the third derivative of k**6/120 + k**5/12 + k**4/24 + k**2. Is j(-4) a multiple of 6?
True
Let l = -17 - -106. Is l a multiple of 23?
False
Let i(h) = 8*h**2 + 3*h + 4. Let r be i(-3). Let x = r - 45. Is 6 a factor of x?
False
Let a(f) = f**2 + 2*f + 1. Let g be a(-2). Is 12 a factor of (-3 + -43)*g/(-2)?
False
Is -45*(1 + 20/(-12)) a multiple of 10?
True
Let w(i) = 10*i - 4. Let p be w(12). Suppose -b + 228 = 2*b. Let c = p - b. Does 17 divide c?
False
Does 23 divide ((-23)/(-1))/(3 - 56/20)?
True
Suppose o + 2*f = -f + 61, -2*o + 2*f + 98 = 0. Is o a multiple of 26?
True
Let x(k) = 2 + 0*k**2 + 2 + k**2. Let t = -5 + 1. Does 10 divide x(t)?
True
Suppose u - 5*u + 848 = 0. Suppose u = 4*s - 4. Is 18 a factor of s?
True
Suppose 21 = 2*u - 9. Suppose -u = -3*t + 24. Is t a multiple of 5?
False
Suppose 7*k = 3*k + 256. Is 16 a factor of k?
True
Suppose -26 - 10 = -4*s. Let f(x) be the first derivative of -x**3/3 + 9*x**2/2 + 4*x + 16. Is 2 a factor of f(s)?
True
Let q(h) = 0 - 2*h**2 + 6*h + h**2 - 6 + 3. Is q(4) even?
False
Suppose -5*n - 46 + 11 = -5*a, a - 3*n - 7 = 0. Let m = 0 + a. Let s = m + 17. Does 24 divide s?
True
Suppose -3*c - 16 = 11. Let n = -2 - c. Suppose -2*z + n*z - 140 = 0. Does 14 divide z?
True
Let o(n) = -n + 48. Let p be o(0). Suppose w - p + 0 = 0. Is w a multiple of 13?
False
Let q(d) = 37*d**2 - 6*d - 1. Does 27 divide q(2)?
True
Let r be 70/20 + 3/(-2). Suppose -2*h - 5*y = -41, -r*h = -5*h + 3*y + 9. Is 4 a factor of h?
True
Let y(a) = 2*a**2 - 9*a + 8. Does 10 divide y(6)?
False
Let s = -4 - -9. Suppose 139 = s*d - 11. Is 15 a factor of d?
True
Suppose -560 = v - 8*v. Is v a multiple of 8?
True
Let h be 2*-2*5/(-10). Suppose -2*j - 16 = h*j. Let t = 8 + j. Is t a multiple of 2?
True
Suppose -4*d + 6 = -10. Suppose 4*u - 28 + 7 = -5*t, d*t - 5*u + 16 = 0. Let p = t + 2. Is p a multiple of 2?
False
Let t be (-5 + 2)*(-7)/3. Let w(o) = -o. Let q be w(2). Let c = t - q. Does 7 divide c?
False
Suppose -2*a + 0*a = -72. Is a a multiple of 13?
False
Suppose -5*c + 0*c = -20, 0 = 5*y + 2*c - 33. Let o = -8 + 11. Suppose -o*g - 2*g = 5, 25 = 3*a + y*g. Is a a multiple of 4?
False
Let j be (2 - 1)/((-2)/(-186)). Suppose 0*y = -y, 3*o - j = -5*y. Is 12 a factor of o?
False
Let h(l) = -2*l - 6. Let c(u) = u**2 + 9*u + 10. Let t be c(-7). Does 2 divide h(t)?
True
Let w(i) = i**2 - 8*i + 5. Suppose -12 = -2*v - 0. Let x be w(v). Let m(n) = -n**2 - 8*n + 4. Is 3 a factor of m(x)?
False
Let j(z) = -z + 9. Let c be j(10). Let p(r) = -3*r - 4 + 4. Does 3 divide p(c)?
True
Let f = 90 + -74. Does 7 divide f?
False
Does 2 divide 40/(-2)*(-9)/18?
True
Let q be (-18)/(-8) - 2/8. Let i be -4 - (-4 + 4/q). Is 9 a factor of i - (1/1 - 21)?
True
Does 9 divide 3 - ((-16 - 4) + -4)?
True
Let j(h) = h - 4. Let u = 7 - 4. Suppose -u = 5*s - 48. Does 5 divide j(s)?
True
Let j = -223 - -390. Does 7 divide j?
False
Let h be 11 + 4 + -2 - -2. Suppose -3*c + 2*v = 10, -2*c - 4*v + h = -v. Let d(p) = -p**2 - p + 11. Does 11 divide d(c)?
True
Suppose 2*l = 6*l - 128. Let p = l - 22. Is p a multiple of 3?
False
Let h(b) = -b - 4. Let r be h(3). Let v = r + 10. Suppose v*d = -0*d + 54. Is d a multiple of 5?
False
Let i = 440 + -290. Is 15 a factor of i?
True
Is 4 a factor of -4*(-6)/2 + -7 + 3?
True
Let b(z) be the second derivative of z**3/6 - z**2/2 + z. Let v be b(-3). Is 76/3 + v/12 a multiple of 18?
False
Let a(g) = -g**3 - g**2 + 2. Let o be a(-2). Suppose -m - o + 24 = 0. Does 6 divide m?
True
Suppose 2*w - 112 = 92. Suppose -2*u + 5*u = w. Is 17 a factor of u?
True
Suppose 7 = 3*g + 4*y, 1 = 3*y + 7. Suppose 2*i - 5*x = g*i + 6, 0 = 5*i - 3*x - 24. Suppose -33 = -i*k + 63. Is k a multiple of 16?
True
Let h be 3 - 0 - 3 - -43. Let d be 1746/14 - (-2)/7. Suppose h + d = 4*x. Is x a multiple of 21?
True
Suppose -3*k = -4*k + 81. Is 14 a factor of k?
False
Does 3 divide (78/(-30))/(1/(-5))?
False
Let f(h) = 2*h**3 - 11*h**2 - 4*h - 6. Let q be f(8). Suppose 3*z = -l + 169, -2*l = 5*z - 0*z - q. Is 16 a factor of z?
False
Suppose 0 = a - 27 - 0. Suppose 2*m = -5*t + 75, 1 - 4 = -t + 2*m. Suppose 0 = -5*j + a + t. Is j a multiple of 8?
True
Let k(n) = 22*n**2 - 12*n - 10. Let x(q) = -7*q**2 + 4*q + 3. Let y(b) = -5*k(b) - 16*x(b). Does 8 divide y(3)?
True
Suppose 3*i - 4*z = 0, 3*z = -2*i + 6*z - 1. Suppose -5*r + 31 = -i*r. Does 22 divide r?
False
Suppose -12*v - 504 = -16*v. Is v a multiple of 18?
True
Suppose -6 + 0 = -3*w. Suppose -w*v + 13 + 19 = 0. Is v a multiple of 8?
True
Let q(l) = 4*l**2 - 2*l + 5. Let t(z) = z**2 - z + 1. Let g(v) = q(v) + t(v). Let d be g(-5). Suppose -2*s + d = 5*f, -3*f + 8*f = -s + 143. Does 10 divide f?
False
Let d(x) = -x**3 + 11*x**2 - 11*x + 13. Is d(10) a multiple of 3?
True
Suppose 0 = 4*u + 5*l - 37, 0*u + 3*u = -3*l + 24. Suppose -4*q - 2*o + 294 = 0, -u*q - 4*o + o = -222. Does 15 divide q?
False
Let a = 8 + -14. Let y(j) = j**2 + 5*j - 4. Let f be y(a). Suppose 31 = f*p + 3. Does 13 divide p?
False
Let p(m) = 2*m + 10. Let z be (-21)/2*(-4)/6. Is p(z) a multiple of 10?
False
Suppose 5*g = 2*o - 8, o - 2*o + 3*g + 4 = 0. Suppose w - o = -0. Suppose 0*h - 5*u + 33 = h, 0 = -u + w. Is h a multiple of 5?
False
Suppose -2*l = -v - 407, 3*l = -l + 4*v + 820. Let u = l + -144. Is 30 a factor of u?
False
Suppose -4*t - r + 222 = 0, 3*r = -3*t - 2*t + 274. Is 28 a factor of t?
True
Let i = 36 + -19. Suppose -i + 212 = 5*h. Is h a multiple of 13?
True
Let g(u) = -2*u + 10. Let t be g(-7). Suppose -h + t = -18. Suppose 0 = -2*z + 4*f + h, -4*z + 103 = 3*f - 25. Does 10 divide z?
False
Let k(p) = -11*p**2 + p + 4. Let h be k(4). Does 16 divide 60/(-18)*h/10?
False
Let w = 14 + -9. Is 7 a factor of 3*(w + -1) - -2?
True
Suppose 2*n - 5*p + 6 = 0, 7*p - 2*p = 10. Does 8 divide (-1235)/(-26) - (-1)/n?
True
Let k be ((-24)/10)/((-2)/5). Let i = 16 - k. Is i a multiple of 4?
False
Let o be 1*(0 + 1 + -2). Let k be o/5 + 722/10. Suppose p = -3*p + k. Is p a multiple of 8?
False
Suppose 5*u - 8 = -4*j, j - 3*u - 2 = -0*j. Suppose 3*p - 44 = j*p. Is 14 a factor of p?
False
Does 3 divide (36/(-8))/((-6)/8)?
True
Let i be (-2 + 1)/((-3)/48). Suppose 0*l + 4*d + i = l, -2*d - 8 = 0. Suppose l = v - 3*r + 4, 20 = -0*v + 2*v + r. Is 3 a factor of v?
False
Let o(n) be the second derivative of n**5/20 + n**4/2 + n**3/3 + 3*n**2/2 + n. Suppose 15 = 3*z, 0*l + z = -2*l - 3. Is o(l) a multiple of 16?
False
Suppose 0 = -5*h - 3*w, -3*h - 3*w - 2 - 4 = 0. Suppose -h = 3*g, r - 6*r = 2*g - 108. Is 16 a factor of r?
False
Does 29 divide 2244/8 + 4/(1 - 9)?
False
Is 6 a factor of 226/5 + 1/(-5)?
False
Let o(k) = -12*k + k**2 + 16 + 4*k**2 - 4*k**2. Does 17 divide o(13)?
False
Does 18 divide (0 - -67 - -4) + 1?
True
Suppose 7 = t - 32. Is t a multiple of 13?
True
Let v(s) = -2*s + 47. Does 8