(4)?
False
Let f(h) = -7*h - 7. Is f(-4) a multiple of 21?
True
Suppose h + 10 = 49. Is 9 a factor of h?
False
Is 3 a factor of (33 - 3) + (2 - (-4)/(-2))?
True
Suppose 0 = -0*u + 2*u - 90. Let y = u - 17. Does 13 divide y?
False
Let f = 0 + 3. Suppose 0 = f*a - 5*k - 76, a = -4*k + 20 - 6. Is a a multiple of 22?
True
Let s be 18/4*(-4 - -6). Let k = s + 15. Does 6 divide k?
True
Suppose 5*v - 4*v + 3*u - 27 = 0, 4*v - 63 = 3*u. Does 6 divide v?
True
Suppose 25 = i - 12. Is 12 a factor of i?
False
Let r(o) = 5*o**3 + o**2. Let h(g) be the first derivative of -g**4/4 + 7*g**3/3 - 7*g**2/2 + 7*g - 3. Let y be h(6). Does 6 divide r(y)?
True
Suppose 3*y = -j + 74, -232 = -4*j + 3*y + y. Is j a multiple of 12?
False
Let u(r) = r**2 - 6*r - 7. Let l be u(7). Suppose 5*f - 91 + 21 = l. Is 7 a factor of f?
True
Suppose 7*o - 225 = 4*o. Is (o/(-9))/((-8)/24) a multiple of 11?
False
Let q(p) = 12*p**2 + 2*p - 2. Let a be q(2). Let c = a + -20. Does 15 divide c?
True
Let h(f) = -f**3 + 6*f**2 + 5*f + 8. Let s be h(7). Is s/9*(-162)/4 a multiple of 6?
False
Let l = -46 - -73. Is 9 a factor of l?
True
Let m be ((-3)/(6/(-14)))/1. Let q(b) = 2*b**3 - 2*b**2 + 10*b. Let d(i) = -i**3 + 2*i**2 - 9*i. Let x(a) = m*d(a) + 6*q(a). Does 14 divide x(2)?
True
Suppose 2*n = -8, 2*o + 2*n = 7*n + 114. Let s = o + -25. Let i = -8 + s. Is i a multiple of 8?
False
Does 28 divide 1178/14 - (-5)/(-35)?
True
Let s be (-8)/(-20) - (-966)/10. Suppose -6*z = -3*z - 15, -5*z + s = 4*k. Does 18 divide k?
True
Let o(a) be the third derivative of -2/3*a**4 + a**2 + 0*a**3 + 0 + 0*a. Is 16 a factor of o(-2)?
True
Suppose 0*c = -4*k + c + 21, 0 = -4*k - 2*c + 6. Suppose k*w = 22 + 34. Does 7 divide w?
True
Let a = 16 + -6. Suppose 2*t + 2*z = -8, -3*z - a = t + 2. Suppose t = 4*k - 3*k - 42. Is 21 a factor of k?
True
Let g(o) = -o - 3. Let x be g(-5). Suppose -2*j + 4*u - x = -3*j, -4*u = 2*j - 8. Does 6 divide j?
True
Suppose -199 = c - 5*c + 5*k, 12 = -4*k. Is c a multiple of 23?
True
Suppose -m + 4*m - 150 = 0. Is 8 a factor of m/6 - 4/12?
True
Let h = -6 + 10. Let b be 22/6 + h/12. Suppose b - 44 = -5*j. Does 4 divide j?
True
Let q be (-7 - -5)*31/(-2). Suppose -3 = 4*l - q. Does 7 divide l?
True
Suppose -5*l + 206 = -4. Is l a multiple of 14?
True
Let n be 16/3 - (-1)/(-3). Suppose -88 = 4*i - n*i. Is (-2)/(2 + i/(-42)) a multiple of 19?
False
Suppose -p + 0*p = s - 116, -5*s + 584 = 4*p. Does 24 divide s?
True
Suppose -14*v = -11*v - 480. Is 15 a factor of v?
False
Let c = 107 + 33. Does 58 divide c?
False
Let x(k) = -2*k**3 - 2*k**2 + 2*k + 6. Does 4 divide x(-2)?
False
Let s = -1 + 6. Suppose 3*u - 168 = t, 216 = 4*u - s*t + t. Does 19 divide u?
True
Let b(h) = 12*h + 1. Let k be b(6). Let x = k - 5. Suppose 4*g - 16 = x. Does 10 divide g?
False
Suppose 0 = q - 2 - 3. Suppose u + 15 = 5*u - q*k, 12 = -4*k. Let b = 10 + u. Does 10 divide b?
True
Let x be (-18)/(-5) + (-2)/(-5). Let h = -17 - x. Does 16 divide (h + 5)/((-1)/2)?
True
Suppose 0*p + 5*p - 590 = -5*k, 3*p + k - 346 = 0. Is 17 a factor of p?
False
Let r be (8/(-3) + 2)*-276. Suppose -r = -4*u + 2*k, u + 96 = 3*u - 2*k. Is u a multiple of 11?
True
Let u(c) = c**3 + 8*c**2 - 13*c - 9. Let w be u(-9). Suppose -r + 1 = 0, 0 = d - 6*d + 3*r + w. Is 6 a factor of d?
True
Let g = 4 - 3. Suppose 2*d - g = 3. Suppose -d*j + 3*j = 39. Does 23 divide j?
False
Suppose 4*s = 6*s - 6. Suppose s*m + 2*d = 65 + 18, -5*d = -m + 56. Is 12 a factor of m?
False
Suppose -3*o = -5*o + 94. Does 10 divide o?
False
Suppose 2*w - 16 = -0*w - 5*s, -19 = -5*w - 2*s. Let f(a) = a + 2. Let d be f(8). Suppose -d = -w*y - 4*i, 4*i + 34 + 26 = 4*y. Is 10 a factor of y?
True
Let w(b) = 7*b + 8. Is w(2) a multiple of 11?
True
Suppose 0*d = d. Let o(w) = -w + 24. Let l be o(d). Suppose k - 2*u - l = -7*u, -2*k + 3*u + 22 = 0. Does 7 divide k?
True
Suppose -159 = -3*g + 93. Is 22 a factor of g?
False
Suppose -3*q + v + 294 = 43, 5*q = -2*v + 422. Suppose -q + 27 = 3*p. Let y = 30 + p. Is 4 a factor of y?
False
Let m(g) = -g**3 + 15*g**2 + 4*g - 19. Does 11 divide m(15)?
False
Let q = 0 + 9. Let g(n) = -n + 3. Let z(p) = 3*p - 10. Let m(x) = 11*g(x) + 4*z(x). Does 2 divide m(q)?
True
Let r(i) = i**3 + 6*i**2 - 8*i - 2. Let l be (-552)/90 + (-4)/(-30). Does 23 divide r(l)?
True
Let r = -4 - -6. Suppose 0*n + r*n + 30 = 0. Let a = n + 31. Is 6 a factor of a?
False
Suppose 14*x + 66 = 16*x. Does 12 divide x?
False
Let a = -872 - -500. Let b be a/20 - (-6)/10. Let q = 64 + b. Is q a multiple of 17?
False
Let x be 10*-1*(-2)/4. Suppose -x*o + 120 + 10 = 0. Is o a multiple of 10?
False
Let h = 62 + -17. Is h a multiple of 15?
True
Suppose 2*b + 2*d - 8 = -0*d, -5*b = -5*d. Let i = b + 7. Is i a multiple of 6?
False
Suppose 4*b - 90 = b. Does 7 divide b?
False
Let d(t) = t**3 + 7*t**2 - 5*t + 7. Let r be d(-7). Let v = r - 27. Is v a multiple of 5?
True
Let c(r) = -10*r + 4 - r**2 + 2 + 1. Is c(-5) a multiple of 16?
True
Suppose -2*u = -5*d - u + 340, -3*u + 15 = 0. Is d a multiple of 28?
False
Suppose 8*i = 11*i - 3. Suppose i = -2*w + 9. Let j(g) = 5*g - 6. Is j(w) a multiple of 7?
True
Suppose 0 = 5*u - u - 1216. Is u a multiple of 51?
False
Let a(z) be the third derivative of -5*z**4/24 + z**3/3 + 5*z**2. Is 17 a factor of a(-3)?
True
Is 13 a factor of (2 + 25/(-10))*-42?
False
Let y = 76 - 38. Is y a multiple of 8?
False
Suppose 2*p + 2*p - 160 = 0. Suppose 3*v = v + p. Is 8 a factor of v?
False
Let v = 11 - -18. Suppose -5*p + 211 + v = 0. Suppose -33 = -3*z + o, -3*z + p = 2*o + 2*o. Is 4 a factor of z?
True
Suppose 142 = 3*r - 218. Is r a multiple of 12?
True
Let z be (-210)/4 - 1/(-2). Let j be (-2)/(-9) + z/(-9). Does 2 divide -15*(j/9 + -1)?
False
Let p = -5 + 50. Is 10 a factor of p?
False
Suppose 10 = 2*t + 3*t. Is 2*(25/t + -3) a multiple of 19?
True
Let s = 98 + -28. Is 18 a factor of s?
False
Suppose 0 = -2*o - 2*o + 68. Does 13 divide o?
False
Let u(c) be the second derivative of c**4/12 + 3*c**2/2 - 3*c. Let h be u(0). Suppose -h*l + 68 - 2 = 0. Is 15 a factor of l?
False
Suppose 4*f + 3*l = 40, 3*l + 23 = 2*f + 3*f. Is f a multiple of 7?
True
Suppose -m - 4*s + 36 = -0*m, 0 = m + s - 45. Is m a multiple of 17?
False
Let x(u) = u**3 - 3*u**2 + 4*u + 3. Let z be x(8). Suppose f = -4, 5*v - 87 = -2*f + z. Is v a multiple of 30?
True
Let s be 104/(-5) - (-2)/(-10). Let l = s - -35. Is 13 a factor of l?
False
Let o be 8 + 2 - (3 + -1). Suppose -3*n - o = 4*s + 8, 3*n + 9 = 3*s. Is 6 a factor of s/(1*1/(-12))?
True
Suppose 5 - 23 = -3*v. Is v even?
True
Suppose 0 = 4*t - 22 - 122. Does 18 divide t?
True
Let r = -72 - -217. Is 29 a factor of r?
True
Let p(d) = -5*d - 1. Let i be p(1). Let c = -5 - i. Suppose 0 = -2*j - 2*n + 12, c = j + 4*n - 2*n. Does 3 divide j?
False
Is -4 - (772/(-11) - (-28)/154) a multiple of 11?
True
Let q(l) = l**2 + 7*l + 4. Is q(-10) a multiple of 14?
False
Suppose l = 2*o + 2*o + 15, 2*o + 15 = 3*l. Suppose 0 = 4*h - 2*h + 4*u + 4, 6 = -h - l*u. Does 3 divide h?
True
Suppose 5*u - 10 = q, -2*u = -11*q + 6*q + 19. Let l be (-14)/u + 1/(-3). Let w = 24 + l. Does 19 divide w?
True
Let w(f) = f**3 + 5*f**2 + 3*f + 2. Let p be w(-4). Let m = -3 + p. Suppose 0 = -4*c + 91 - m. Is c a multiple of 11?
True
Suppose -3*l + 150 + 111 = 0. Does 29 divide l?
True
Let u(p) be the third derivative of -p**5/60 + 7*p**4/24 - p**3/3 + p**2. Is u(6) a multiple of 3?
False
Let q(s) = 4*s**2 + s - 15. Is q(-5) a multiple of 10?
True
Is (336/(-7))/((-3)/2) a multiple of 8?
True
Suppose -v + 5 = 2. Suppose 7 = 2*o - 1. Suppose -v*j - 15 = -o*j. Is 15 a factor of j?
True
Let k = 60 - -54. Is k a multiple of 38?
True
Let r = -29 + 53. Let k = r + -21. Is k a multiple of 2?
False
Let r(c) be the first derivative of 14*c**3/3 + c**2/2 - 3. Is r(1) a multiple of 14?
False
Let o(a) = -a**2 + 4*a**2 + 7*a - 4*a**2 + 2. Let j be o(7). Suppose -t - 2 = -4*x + 43, 4*x - j*t = 46. Does 11 divide x?
True
Suppose 15 = -3*d, 2*f + 4*d + 2 = 2*d. Suppose -2*k - f = -22. Does 3 divide k?
True
Suppose -5 = 2*i - i + 5*h, -5*h + 45 = -4*i. Is (-2)/(-1) + 17 + i a multiple of 2?
False
Let m(a) = -a**2 - 8*a - 2. Let v be m(-10). Let x = v - -31. Does 6 divide x?
False
Does 9 divide (114/(-4))/((-11)/22)?
False
Let a = 292 + -86. Does 10 divide a?
False
Let