- 99. Does 17 divide d?
True
Suppose -5*b - 5 = 0, -5*b - 224 = -5*c - 34. Suppose c = 2*n - n. Is 8 a factor of n?
False
Let j(i) = 9*i + 2. Is 4 a factor of j(2)?
True
Suppose -3*x + 4*c = 2*x - 25, -5*c = 0. Suppose 0*p - 9 = -2*p - 3*z, -18 = -x*p - 3*z. Is 2 a factor of p?
False
Let u = 126 + -62. Suppose l + 3*l - u = 0. Is 16 a factor of l?
True
Let z = 181 - 145. Is z a multiple of 2?
True
Is 10 a factor of 45 - (6 - (4 + -2 - -1))?
False
Let j = 14 + -24. Let c = j + 3. Does 16 divide (-184)/c - 4/14?
False
Let k = 178 - 110. Does 37 divide k?
False
Let w(b) = 24*b + 14. Let h(f) = -f - 1. Let s(y) = 12*h(y) + w(y). Let j be s(3). Let z = j - 26. Is 6 a factor of z?
True
Let r = 149 + -89. Is 39 a factor of r?
False
Let m(n) = 4*n**3 - 3 - 4*n**3 + n**3 + 2 + n**2. Does 4 divide m(2)?
False
Let v(y) = 10*y**2 - 2*y. Let r be v(2). Let g = 78 - r. Is 14 a factor of g?
True
Let t = -13 + 1. Is (t/(-10))/((-3)/(-20)) a multiple of 8?
True
Suppose 8*k - 5 = 7*k. Suppose -k*l = -z - 100, -2*z - 60 = -3*l - 0*z. Does 6 divide l?
False
Let h = -1 + 5. Suppose 5*c = 2*c + 4*o + 41, o = -h*c + 42. Is c a multiple of 7?
False
Let a be 2*3/(-9)*-3. Suppose k = -a*k. Suppose k = -2*v - i + 68, v + i = 5*i + 43. Is v a multiple of 12?
False
Suppose -3*n - 22 = -a, 2*a - 4*n + 7*n = 17. Does 13 divide a?
True
Let b(l) be the third derivative of l**5/15 - l**4/12 + 5*l**3/6 + 4*l**2. Does 16 divide b(4)?
False
Let b(h) = -h**2 - 17*h - 1. Is 24 a factor of b(-7)?
False
Suppose 3*b - 40 = -b. Is 6 a factor of b?
False
Let s be 38/14 + 6/21. Suppose -82 + 28 = -s*n. Does 4 divide n?
False
Let d(c) = 5*c**3 - 3*c**2 + c - 1. Does 28 divide d(2)?
False
Suppose 2*s - 110 = 4*a, 3*s + a - 2*a - 185 = 0. Suppose 4*z - s = -23. Is z a multiple of 4?
False
Suppose 3*x = -3*x + 96. Is x a multiple of 3?
False
Suppose 0 = 4*k - s - 80, 3*k = -0*s - 4*s + 79. Is 3 a factor of k?
True
Let p(s) = -6*s**3 + 3*s**2 - 2*s - 2. Let c = 5 + -3. Let u be p(c). Is (-455)/u + (-2)/(-12) a multiple of 5?
False
Suppose -4*h + 10 = 3*s + h, -3*s - 3*h = -18. Let v be (-474)/s - (-2)/5. Does 4 divide v/(-4) + (-4)/(-16)?
True
Does 4 divide 10/3*(-30)/(-20)?
False
Let g be -462 + (0 + -3 - -1). Is 16 a factor of (9/(-6))/(12/g)?
False
Let f(j) = 20*j**3 - 2*j**2 + j. Is f(1) a multiple of 13?
False
Suppose 0 = -3*g + 240 + 375. Does 13 divide g?
False
Let k(f) = -f**2 + 11*f - 10. Is 5 a factor of k(5)?
True
Let b(j) be the second derivative of j**4/12 + 7*j**3/6 + 4*j**2 - 2*j. Let g be b(-6). Suppose -s - g*s = f - 66, 3*f = 2*s - 33. Is 7 a factor of s?
True
Let h(o) = -o**3 - 4*o**2 - 4*o - 9. Is 18 a factor of h(-5)?
True
Let n = -13 - -41. Does 14 divide n?
True
Let w(g) = -g - 5. Let q be w(-6). Suppose 2*o + 3*a - q = -17, -o + 5 = -5*a. Let j = o - -12. Is j a multiple of 3?
False
Suppose -7*p = -185 - 81. Is 38 a factor of p?
True
Let n(l) = 80*l**2 - l. Let j be n(-1). Suppose 0 = 5*f - 2*f - j. Is f a multiple of 8?
False
Let m = 21 - 15. Let o be 3/6 - m/(-4). Is 8 a factor of o/5 + (-38)/(-5)?
True
Let t = -3 + 4. Let f(j) = -j**3 - 9*j**2 - 10*j - 7. Let k be f(-8). Let v = t + k. Is v a multiple of 10?
True
Let b(r) = 2*r**3 + 19*r**2 - 12*r + 3. Is 11 a factor of b(-10)?
False
Let y = 4 - 3. Let v = 1 - y. Suppose v = -u + 6*u - 110. Is u a multiple of 8?
False
Let l be (-4)/3*-3 + 1. Suppose l*r - 163 - 47 = 0. Is 14 a factor of r?
True
Let p(f) = 3*f**2 + 3*f - 2. Is 31 a factor of p(-7)?
True
Suppose -5*i = 2*t + 27, -2*t - 7 = -3*i - 4. Let v(g) be the first derivative of g**3/3 + 3*g**2/2 - 2*g + 5. Does 9 divide v(t)?
False
Suppose -4*p - 9 = -1. Let d = 9 - p. Is 11 a factor of d?
True
Let t be (33 - 3)*12/15. Suppose 4*d - 52 = t. Suppose -2*q = 3 - d. Is q a multiple of 4?
True
Suppose 2*p - 2 = -q, -2*p = -2*q - p + 24. Suppose -2*c + 4*c = 6. Suppose 2*v + q = c*v. Does 5 divide v?
True
Suppose 4*k - 60 = -4. Is k even?
True
Let a(b) be the first derivative of b**2/2 + 1. Let m be a(6). Is ((-2)/3)/(m/(-216)) a multiple of 12?
True
Suppose 5*w - 6 = 9. Suppose -4*t - 2*c - 10 = w*c, 2*c - 4 = 0. Let r = t + 24. Is r a multiple of 19?
True
Let h(p) = p**2 - 5*p + 2. Let o be h(5). Let v(j) = -13*j + j**2 - 12 + 0*j**2 - o*j**2. Is 5 a factor of v(-11)?
True
Suppose -377 = -5*s + 458. Is s a multiple of 10?
False
Suppose 0*q = -2*q + 150. Suppose 0 = -2*z - 3*z + q. Does 7 divide z?
False
Is 2 a factor of (1/3)/((12/63)/4)?
False
Let t(j) = 2*j - 3. Let f be t(4). Suppose i - f*i = -512. Suppose 0*u + i = 4*u. Is 13 a factor of u?
False
Let n(c) = c**2 + 20*c + 8. Let m be n(-11). Does 23 divide 5/10 - m/2?
True
Let w(i) = 7*i + 1. Let h = -5 - -8. Does 22 divide w(h)?
True
Let z(q) = -q - 13. Let p be z(-9). Let t be (4/(-6))/(6/(-9)). Let u = t - p. Is 2 a factor of u?
False
Let u be 22/5 + (-4)/10. Suppose -3*l = -3*x - 9, u*x - x + 13 = -l. Does 7 divide (-2)/x - (-38)/4?
False
Is 10/65 + (-620)/(-26) a multiple of 24?
True
Suppose 0 = w - 4 - 0. Suppose 3*p - p = w. Suppose 0 = 4*j + p*v - 282, j - v = -0*v + 63. Is 19 a factor of j?
False
Let n = 14 - 6. Let y be n + (0 + -2 - -3). Suppose y = 3*p, 0*i + 127 = 4*i + 5*p. Is i a multiple of 14?
True
Suppose 4*w - 2*w - 8 = 0. Let i = w + -4. Suppose 4*y - 108 = -4*d - i*d, 0 = y - 4*d - 22. Does 9 divide y?
False
Suppose 3*n - 2*f - f = -9, 0 = 2*f - 2. Let h be (3 - -1)*(-11)/(-4). Let a = n + h. Is a a multiple of 3?
True
Let s(p) = -p**3 - 6*p**2 + 8*p - 10. Let h be s(-7). Let o = 8 - h. Does 20 divide o?
False
Suppose 5*q = 5*p, 3*p = -2*q - 0*p + 25. Suppose q = n - 6. Suppose 4*l - 47 = -n. Does 7 divide l?
False
Suppose -4*j + 15 = -1. Suppose j*g - 7 = v + 7, 5*v - 2 = 2*g. Suppose 5*a - g*w + 6*w - 188 = 0, -w = -4. Does 14 divide a?
False
Let n = 19 - -9. Is 7 a factor of n?
True
Suppose -1055 = -0*p - 5*p - 5*a, 4*a - 412 = -2*p. Does 18 divide p?
True
Suppose 5*b = 2*l + 2, 4*b - 5*l + 9 = -3. Suppose -25 = -b*g - 5*q + 3, -3*q - 12 = -2*g. Does 6 divide g?
False
Suppose 36 = 2*y - 2*j + 6, 0 = -3*y + 4*j + 41. Is 2 a factor of y?
False
Let j(h) = -h**3 - 6*h**2 + 5*h + 7. Let o be j(-7). Suppose -1 = -g, -2*c + o = -5*g + 2*g. Does 6 divide c?
True
Let x = -134 - -66. Let u be (x/(-6)*-3)/(-2). Let m = u + 13. Is m a multiple of 14?
False
Let m be (-12)/(-4) + 0 + 1. Suppose -4*z + m = -0*z. Let p = 9 - z. Does 4 divide p?
True
Let n(y) = y**3 + y**2 - y. Suppose 0*q - 6 = -3*q. Let x be n(q). Is 114/x + (-4)/10 a multiple of 4?
False
Let k = -20 - -28. Is k a multiple of 8?
True
Suppose -3*j - 34 = -160. Is 7 a factor of j?
True
Does 14 divide (1 - -1) + 26 - 2?
False
Let j(v) = -9*v**3 - v**2 - v + 1. Let o be j(1). Let i be -1*o/(-4)*-2. Let m = i - -21. Does 13 divide m?
True
Suppose 5*g + 4*x - 37 = 0, 0*x - 2*x + 21 = 3*g. Suppose -2*c - 2*n + 20 = 0, g*c + 0*c = 4*n + 5. Is c a multiple of 5?
True
Let n(c) = -c**2 + c + 2. Let h be n(4). Is h*((-21)/15 + 1) a multiple of 2?
True
Suppose 5*q = -5*l - 20, 3*q - 7*l + 2*l - 28 = 0. Suppose 3*i - 5 = q. Suppose 3*h - i*d - 3 - 6 = 0, 23 = 4*h + d. Is h a multiple of 2?
False
Suppose -6*a + 40 = 2*h - 2*a, a = -h + 19. Is 9 a factor of h?
True
Let v(x) = -x**3 - 13*x**2 - 13*x - 12. Let l be v(-12). Suppose l = -2*y + 4*y - 46. Does 14 divide y?
False
Let q(u) = -5*u. Let a be q(-1). Suppose -4*y = -a*y + 54. Is 22 a factor of y?
False
Let r = -18 + 58. Is r a multiple of 8?
True
Suppose 0 = 3*w - 5*z + 56, 0*z + 36 = -2*w + 3*z. Let u(a) = a**3 + 12*a**2 - 4*a - 3. Is 12 a factor of u(w)?
False
Let f = 111 + -60. Suppose 4*o - 2*x - 58 = 0, 0*o + 4*x = 3*o - f. Does 13 divide o?
True
Suppose i - 1 = 2. Is 3 a factor of -1 + i*21/9?
True
Let x(h) = -h**2 + 8*h. Let i be x(6). Let d be ((-2)/(-4))/((-2)/i). Is 8 a factor of 182/10 - d/(-15)?
False
Does 16 divide (-2814)/(-27) - 4/18?
False
Let t = -86 + 43. Let b = t + 72. Is 29 a factor of b?
True
Let b = -73 - -147. Suppose -4*q + 8*y - 3*y = -b, -2*q - y + 44 = 0. Is 9 a factor of q?
False
Let u = 3 + -3. Let b = -31 + 44. Let m = u + b. Is m a multiple of 7?
False
Let o(n) = -n**2 - 7*n - 9. Let w be o(-7). Let y = w - -14. Let x(b) = b**3 - 3*b**2 - 4*b - 2. Is 12 a factor of x(y)?
False
Let p(w) = 3*w - 5. Let i be p(5). Suppose -i = -3*b + 38. Does 14 divide b?
False
L