 + 2/(-4)?
False
Let h(g) = -g**2 + 6*g + 6. Let z be h(6). Let r(f) be the first derivative of f**4/4 - 5*f**3/3 - 3*f**2/2 - 4*f + 2. Does 11 divide r(z)?
False
Let s = 5 - -32. Is s a multiple of 5?
False
Let k(p) = -p**3 - 8*p**2 - 10*p - 2. Is k(-9) a multiple of 31?
False
Suppose -3*n + 4*x + 9 = 0, x + 9 = 3*n - 4*x. Let k(m) = -m**2 + 6*m - 1. Is 6 a factor of k(n)?
False
Suppose 0*p = 3*p - 78. Is 4 a factor of p?
False
Suppose -a + 5*a = -2*k - 12, -5*a + 30 = -5*k. Let y(j) = -j**3 + 4*j**2 + 4*j - 6. Let h be y(5). Let l = k - h. Is l a multiple of 5?
True
Let l(y) = 69*y - 21. Let p(b) = -7*b + 2. Let k(v) = -2*l(v) - 21*p(v). Let c be k(1). Does 23 divide (-418)/(-18) + (-2)/c?
True
Let p = 15 + 55. Is p a multiple of 35?
True
Let k = -17 + 69. Is k a multiple of 13?
True
Suppose -4*j - 5*u - 18 = 0, 0 = 2*j + u + u + 8. Is ((-102)/(-15))/(j/(-10)) a multiple of 14?
False
Suppose 6*n = 18*n - 360. Is n a multiple of 15?
True
Suppose 0*c = -2*c + 56. Let g = c - 15. Is g a multiple of 13?
True
Let c be (1 - -1)/((-1)/(-7)). Let k = c + 4. Is 8 a factor of k?
False
Let p = 77 - -33. Is 22 a factor of p?
True
Let b(i) = 2*i + 68. Is 12 a factor of b(-16)?
True
Let h(r) = r**2 - 6*r - 7. Let n be h(7). Suppose -3*s = -n*s - 63. Is 15 a factor of s?
False
Is 14 a factor of (-28)/(-3*(-2)/(-9))?
True
Let q(a) be the first derivative of a**3/3 - 3*a**2 + 5*a - 3. Does 3 divide q(6)?
False
Let c be ((-2)/(-4) - 0)*206. Let q = c + -48. Does 21 divide q?
False
Let f(i) = i**2 + 3*i - 15. Suppose -3*m + 30 = 5*v - 0*v, 18 = 3*v - 2*m. Is f(v) a multiple of 13?
True
Let c(u) = 25*u**3 + u**2 - 2*u + 1. Is 10 a factor of c(1)?
False
Is 12 a factor of 33 - 4/(16/20)?
False
Suppose -4*m = m - 45. Is m a multiple of 2?
False
Suppose -5*m + 292 = 47. Is m a multiple of 31?
False
Suppose -3*q + 106 + 2 = 0. Does 12 divide q?
True
Let p(g) = -3 - g**2 - g**3 + g - 2*g + 0*g**2. Let c(x) = -x + 5. Let d be c(8). Is p(d) a multiple of 7?
False
Let n = 11 - 19. Let v = n + 17. Is 3 a factor of 168/27 + (-2)/v?
True
Let a be (5/1)/((-25)/(-10)). Suppose 5*m = 153 + a. Is 14 a factor of m?
False
Let u = 34 + -19. Suppose 2*d + 1 - u = 0. Is d even?
False
Let h(q) = q + 111. Let d be h(0). Let w = d - -104. Suppose -2*i - 40 = -z, -4*i + 27 = -5*z + w. Is 18 a factor of z?
True
Suppose -b - h = b - 63, 123 = 4*b + 5*h. Suppose -2*f = 4, 5*x - 3*f = 111 + 135. Let d = x - b. Does 16 divide d?
True
Let j(z) = -z**2 + 7*z - 5. Let f be j(5). Suppose -d - 3 = -5. Is d + f + 0 - -1 a multiple of 5?
False
Let l(f) = -2*f - f + 2*f + 17. Let s be ((-99)/(-36))/(1/4). Is 6 a factor of l(s)?
True
Let p be 2 + -4 - (-6 + -3). Suppose -7 - p = -k. Does 11 divide k?
False
Suppose -3*u + 885 = 3*k, u + 2*k - 280 = 4*k. Suppose -3*r = v - 38, 5*v - 6*r - u = -r. Does 22 divide v?
False
Let p be (26 + -3)/(2 - 1). Suppose p = -5*j + 3. Let y(t) = -10*t + 2. Does 18 divide y(j)?
False
Let u = -5 + 7. Suppose -2*z - u*h = -50, 4*z + 3*h + 3 = 100. Is 11 a factor of z?
True
Let f(w) = -w**3 + 8*w**2 + 6*w - 4. Let z be f(6). Suppose -z = k - 3*k. Is k a multiple of 13?
True
Let w be 10/15 - (-6)/(-9). Is 6 a factor of 7/(-2 + 3) + w?
False
Let z be 4 - (2 + (2 - 4)). Let c = 12 + z. Does 3 divide c?
False
Let c be 2248/28 - 2/7. Suppose 0*f - 4*f + c = 0. Is 10 a factor of f?
True
Suppose 3*o = 4*d - 14, 3*o + 3*d + 0*d = 21. Is 1 - (o - (51 + 0)) a multiple of 25?
True
Let l = 213 - 187. Is l a multiple of 3?
False
Suppose -4*x - 2*g = -7*g - 205, -5*x + 205 = 4*g. Is x a multiple of 9?
True
Let c be 15 + -1 + (5 - 2). Suppose -5*f = w - 39 - 20, -f + 5*w + c = 0. Is f a multiple of 12?
True
Let l(s) be the second derivative of 7/2*s**2 - s - 1/2*s**3 + 0. Is l(-3) a multiple of 16?
True
Let j(v) = 3*v**2 + 3*v - 2. Is j(-4) a multiple of 12?
False
Suppose 0 = 3*s - 0*s - 12. Suppose -5*k + 5*j = -105, -7*k + s*j + 105 = -2*k. Suppose 2*m = 17 + k. Is 19 a factor of m?
True
Let a(b) = -2*b**3 - 10*b**2 - 11*b - 14. Does 25 divide a(-6)?
False
Suppose 0*a - a = -344. Suppose -4*j + 72 = -a. Suppose v = -5*w + 106, -w - 4*w + v = -j. Is w a multiple of 21?
True
Let l = -59 - -69. Let f = -5 + 9. Suppose -3*s + 21 = -f*i, 2 + l = -4*i. Is 3 a factor of s?
True
Let b(c) = -3*c - 2. Let y be b(-4). Suppose 4*s + 74 = 2*u, -2 = -3*s + y. Suppose -u = -5*q + 2*q. Is q a multiple of 8?
False
Suppose 4*z - 2*r = -1 - 5, -5*r = 15. Does 11 divide (-7 - 8)/(z/4)?
False
Suppose -2*b + 3 = -2*y + 11, 4 = 4*b + y. Suppose 3*h + b*h = 15. Suppose 0 = -h*f - 14 + 49. Is f a multiple of 5?
False
Let x = -139 + 196. Suppose x = t + 2*t. Does 16 divide t?
False
Let p(z) = -z**2 - 10*z + 8. Is 7 a factor of p(-5)?
False
Let j be (-376)/9 - (-8)/(-36). Let a = j - -84. Suppose 2*b + b = a. Is 6 a factor of b?
False
Let s(f) = f**3 - 2*f**2 - 5*f - 8. Is s(4) a multiple of 4?
True
Let i(u) = u**3 - 22*u**2 + u + 24. Is 23 a factor of i(22)?
True
Let i be 0/((-1)/1) + 6. Let c(o) = -18*o - i*o + 4*o. Is c(-1) a multiple of 7?
False
Suppose -5*z = 2*l - 18, -7*l - 4 = -3*l. Suppose z*w + w = 110. Is w a multiple of 20?
False
Is 2/(-16) - ((-1380)/32)/1 a multiple of 5?
False
Suppose 2*o - 13 = o. Suppose n + 2*n = 0, -q + 2*n + o = 0. Suppose -5*m - 2*h + q = -78, m = 4*h + 27. Is m a multiple of 10?
False
Let t(n) = -n**2 + 12*n + 15. Let z be t(13). Suppose -3*x = -z*h - 125, 0 = -2*x + x - 5*h + 53. Does 23 divide x?
False
Suppose -4*f + 0*f + 21 = w, 0 = 5*f - 4*w. Does 4 divide f?
True
Is 13 a factor of -6 - -2 - 0 - -43?
True
Let t = -7 - -11. Let n be 4/(-6) - (-8)/12. Suppose n*m + 169 = t*g - 5*m, -98 = -3*g - 2*m. Does 18 divide g?
True
Let d(g) = -g**2 - 14*g - 10. Let x be d(-13). Suppose -118 = -x*j - 34. Is 7 a factor of j?
True
Suppose 3*l + 14 = l. Let y(o) be the first derivative of -o**2 + 9*o - 18. Is 10 a factor of y(l)?
False
Suppose 0*m - 16*m + 1680 = 0. Is 9 a factor of m?
False
Let c = 6 - -2. Does 2 divide c?
True
Let g = 6 - -30. Let h be g/(-10)*40/(-12). Let k = h - -15. Is 16 a factor of k?
False
Let w(c) = c**2 - 5*c + 7. Does 8 divide w(7)?
False
Let w = -53 + 113. Is 20 a factor of w?
True
Let j be -2*(-1 + 4/(-8)). Suppose -300 = j*u - 7*u. Is 23 a factor of u?
False
Suppose 2*n - 14 = -j - 2*n, -2*j - n = -21. Suppose 5*a = -3*v + 2, 0*v - 3*a = -v + j. Is 4 a factor of v?
True
Suppose 3*l = 4*c + 3, c - 4*l + 17 = -0*c. Let a = -3 - c. Let q(t) = t**3 + 7*t**2 + 3*t - 6. Is q(a) a multiple of 12?
True
Suppose -2*i + 107 = -21. Is 42 a factor of i?
False
Let w(c) = -c + 1. Let b(t) = 4*t**2 + t + 1. Let k be b(-1). Let d be w(k). Is 13 a factor of (-2)/d + 158/6?
False
Suppose -3*w + 2*w = -4*t - 22, -3*w + 4*t = -58. Suppose 4*v - w = 38. Is 7 a factor of v?
True
Let p = 71 - 41. Suppose q - p = -2*r + 2*q, 3*r - 32 = -5*q. Is r a multiple of 4?
False
Suppose 3*y - 2*y - 4 = 0. Suppose 0 = -2*w - 2*w - 4*k + 52, -5*k = y*w - 55. Is 5 a factor of w?
True
Is 5 a factor of 1/1*(5 - -18)?
False
Suppose -4*c + 3*u + 19 = 0, 0 = 3*c - 2*c + 2*u - 2. Let a be (-38)/(-14) + 2/7. Suppose -68 = -a*g - 4*j, c*g = 6*j - 3*j + 49. Is 8 a factor of g?
True
Let j(r) = -5*r - 17. Does 6 divide j(-7)?
True
Let j be (21/(-14))/((-1)/82). Let h = -72 + j. Is 17 a factor of h?
True
Let p(j) = -j**3 + 8*j**2 + 10*j + 1. Let u = -18 - -27. Let l be p(u). Is (4/l)/((-5)/(-450)) a multiple of 18?
True
Suppose 6 = o + 2*o. Let b be 3/3 - -35 - o. Suppose 3*r = -u + 20, 5*r - b - 32 = -4*u. Does 7 divide u?
True
Suppose -3*x + 3*s + 18 = 0, -4*x + 23 = -2*s - s. Let o(a) = a + 3. Let y be o(0). Suppose 17 = 5*r - y*r - x*b, -b = 4*r - 23. Does 2 divide r?
True
Let j(m) = 5*m + 13. Let l(k) = -3*k - 7. Let z(x) = 2*j(x) + 5*l(x). Is z(-6) a multiple of 10?
False
Suppose -5*v = -w + 2*w - 512, -v + w + 100 = 0. Suppose -v = -4*m - 10. Suppose -17 = -2*h + m. Is h a multiple of 10?
True
Suppose 0 = 2*z, 3*y - y = z + 42. Is 21 a factor of y?
True
Is 18 a factor of (-30)/(-2) + (3 - 0)?
True
Does 12 divide (0 - (3 - 19)) + -2?
False
Let z(g) = -g**3 - 7*g**2 + 8*g + 7. Let c be z(-8). Let m(h) = 3*h**2 - 4*h. Let r be m(-3). Let a = r - c. Is 19 a factor of a?
False
Suppose -g - 2*y = 6, 5*g = 3*y - 6 + 2. Is 8 a factor of 1*(-22)/4*g?
False
Let c be (3 - (0 + 3))/2. Suppose c*v - 3