- 30. Is 0 + 1/w*22 a multiple of 11?
True
Let m(b) = -b**2 - b + 50. Is 10 a factor of m(0)?
True
Let g(k) = -10*k - 96. Does 6 divide g(-15)?
True
Let i(a) = -a. Suppose -5*c - 22 = -2*r, 0 = c + 2*c - r + 14. Let h be i(c). Let z = -1 + h. Does 3 divide z?
False
Let w(i) be the second derivative of i**3/2 + 5*i**2/2 + 2*i. Does 17 divide w(4)?
True
Let v(j) = 2*j**3 - j**2 + 5*j - 3. Let d(a) = a**3 + 5*a - 3. Suppose -3*g = 8 - 2. Let k(y) = g*v(y) + 3*d(y). Is 3 a factor of k(3)?
True
Suppose -t = -6*t + 45. Suppose t + 126 = 5*y. Does 6 divide y?
False
Let m(d) = -d**2 + 14*d + 9. Does 9 divide m(11)?
False
Let a = -7 - -11. Suppose -f - 5*q + 21 = 0, 2*q + 60 = a*f - 2. Is 7 a factor of f?
False
Suppose -2*z - 3*i = -4*i - 110, -z + 5*i + 37 = 0. Does 13 divide z?
False
Let n(u) = 5*u + 9. Let j(c) = -26*c - 44. Let q(g) = -3*j(g) - 16*n(g). Let y be q(-9). Suppose -y = f - 3*f. Is f a multiple of 2?
False
Suppose p - 11 = 11. Let g = 36 - p. Suppose 0 = -2*t + 14 + g. Is 5 a factor of t?
False
Let q = 17 + -3. Is 13 a factor of q?
False
Let n(p) = -p + 90. Is 26 a factor of n(0)?
False
Suppose 3*u + 3*q = 0, 2*q + 14 = 3*u + 2*u. Does 15 divide ((-60)/16)/(u/(-24))?
True
Let q(k) = -k**3 + 8*k**2 - 7*k + 7. Let p(b) = b**2. Let t(n) = 2*p(n) - q(n). Is t(5) a multiple of 3?
True
Suppose -3*x - 5 = -2*x + 4*d, 4*x - 3*d = 75. Is x a multiple of 5?
True
Let o = 146 + -86. Suppose -12 = -3*d + o. Is 12 a factor of d?
True
Suppose b - 6 = -0*b. Suppose -2*d - 4*z - 12 = -3*d, -z - b = -d. Does 2 divide d?
True
Suppose -8*c + 168 = -2*c. Is c a multiple of 7?
True
Does 12 divide (13 - 6/(-3)) + -2?
False
Suppose 5*r - 301 = -2*p + 175, -223 = -p + 5*r. Does 14 divide p?
False
Let s be (-2 + 1)/(1/11). Let b = s + 27. Is b a multiple of 16?
True
Let j be 34/6 + (-2)/(-6). Suppose -j*n = -n - 15. Is 2 a factor of n?
False
Let b(q) = -q**2 + 3*q. Suppose -3*d + 2*d + 7 = 2*i, 3*d - 1 = 4*i. Let l be b(d). Suppose 4*z - 28 = w + 6, l = z + w - 6. Is 7 a factor of z?
False
Let l(j) = -j**3 + j**2 - 2*j + 3. Let p be l(3). Let f = -9 - p. Is 4 a factor of f?
True
Let b(m) = -m + 9. Let u be b(6). Let w be (-6 - -8)*(1 + 1). Suppose 70 = 5*r + 2*a + u*a, -9 = -r + w*a. Does 11 divide r?
False
Let t = 7 - 7. Suppose 5*j - 66 + 16 = t. Is 8 a factor of j?
False
Let s(c) = 116*c + 1. Is s(1) a multiple of 13?
True
Let r(s) = s**3 - 5*s**2 - 4*s - 8. Let o be r(6). Suppose y - 6*y + 330 = 0. Suppose y = 5*z + 2*h, -o*h = -3*z - 0*z + 50. Is 7 a factor of z?
True
Let l(h) = -4*h**3 + h**2 + h. Let r be l(-1). Suppose r*q - 81 = q. Is q a multiple of 27?
True
Let p = -7 - -21. Is 14 a factor of p?
True
Let w be 0 + -5 - (-5 + 3). Let i be -1 + 0 + (-18)/w. Suppose 5*t - 15 = 0, 0*q + q - i*t = 9. Does 9 divide q?
False
Suppose 6*n - 4*n - y - 64 = 0, -4*n = 2*y - 120. Does 16 divide n?
False
Suppose 20*u - 88 = 19*u. Is u a multiple of 11?
True
Suppose -4*v + 0*v = -280. Does 12 divide v?
False
Suppose -d = -1 - 2. Let t = 7 - d. Is t even?
True
Suppose k + 3*k = 20. Let z(a) = -a**3 + 4*a**2 + 8*a - 7. Let r be z(k). Does 2 divide 8/3 + r/(-12)?
True
Let v be (0 - -1)/((-2)/(-954)). Let s be v/(-6)*4/(-6). Let j = -25 + s. Is 11 a factor of j?
False
Let n(x) = -x**3 - 3*x**2 + 5*x - 6. Let k = 4 + -1. Suppose -k*o = o + 20. Does 7 divide n(o)?
False
Suppose -5*q + q - 3*y = -177, 260 = 5*q - 4*y. Is 37 a factor of q?
False
Suppose 0*h - 4*k + 2 = 2*h, -h = 3*k. Suppose 0 = h*d, 0 = -q + 2*d + 27 - 6. Is 19 a factor of q?
False
Suppose 2*z = -2*q + 20, -4*z - 2*q + 28 = -q. Is (-49)/(-3) - z/(-9) a multiple of 11?
False
Is 25 a factor of (-2)/(-9) + 3146/18?
True
Is 18 a factor of 19/133 - (-776)/7?
False
Suppose -a = -2, -4*x - a + 84 = -46. Is x a multiple of 16?
True
Suppose 5*r = 2*n + 118, -2*r = -0*r + 2*n - 36. Is r a multiple of 22?
True
Suppose 0 = -2*q + 58 + 2. Suppose 3*n - 4*i - 86 = q, 0 = -n - i + 48. Suppose 3*p + 4*j - n = 0, -j = p - 6 - 8. Is 6 a factor of p?
True
Let w(q) = -17*q + 7. Is w(-3) a multiple of 29?
True
Suppose -h + 1 = 2*p, -4*p - 3 = 1. Suppose -4*j - h*z + 91 = 0, -3*j = -4*z - z - 32. Suppose -2*s = -j - 11. Is s a multiple of 9?
False
Let p = 8 + -20. Let h = p + 80. Is h a multiple of 17?
True
Let c = -5 + 65. Is c a multiple of 16?
False
Suppose -3*p - 2 = -4*p. Suppose -28 + 6 = -p*u. Is 4 a factor of u?
False
Let w = -117 - -230. Does 29 divide w?
False
Let p(v) = v**2. Let j(o) = o**2 - 4*o + 9. Let d be j(6). Suppose -5*l + 1 = d. Is 8 a factor of p(l)?
True
Let q = 6 - 10. Let p = 0 + q. Is 12 a factor of -30*(p/(-3))/(-2)?
False
Suppose 10*a - 16*a = -144. Does 6 divide a?
True
Let q(w) = -w**2 - 5*w - 2. Let c be q(-2). Suppose -70 - 10 = -c*r. Suppose -4*a + 2*a = -r. Does 4 divide a?
False
Let u(j) = 3*j + 8. Let m be u(8). Let g be m/20 + (-3)/5. Is 15 a factor of 26 - (-3 + -1 + g)?
False
Let n(y) = 6*y. Let a(j) = -7*j + 1. Let v(r) = -4*a(r) - 6*n(r). Is 5 a factor of v(-3)?
True
Suppose 2*g + 4 = -2*d - 2, -5*g - 25 = 0. Suppose -6*f = -d*f - 96. Is 24 a factor of f?
True
Suppose -2*r - r - 12 = 0. Let j(u) = -6*u**3 - 4*u**2 - 3. Let d(z) = z**3 - z + 1. Let h(m) = 5*d(m) + j(m). Does 12 divide h(r)?
False
Let x(w) = -w**3 - 5*w**2 - 5*w - 4. Suppose -4*j + 15 = -9*j. Let u be x(j). Let t = 3 - u. Is 10 a factor of t?
True
Let a be (1/2)/(2/68). Let t(b) = 9*b**2 + 4*b - 3. Let p be t(2). Let k = p - a. Does 24 divide k?
True
Suppose -3*m + 28 = 4*t, -9 = -4*m + 2*t - 1. Suppose -14 = -m*h + 2*s, -3*h - s + 2*s + 12 = 0. Does 5 divide h?
True
Let r(g) be the second derivative of g**3/3 - 2*g**2 + 3*g. Is r(5) a multiple of 3?
True
Let k(u) = -u**2 - 6*u + 7. Is 7 a factor of k(-5)?
False
Suppose 5 = f - 5. Does 5 divide f?
True
Suppose -2*l = -4*x - 182, -4*l = -5*x - 319 - 54. Does 38 divide l?
False
Suppose 5*n - 10 + 0 = 0. Let t be n/(-1 + (-15)/(-17)). Is 9 a factor of (1 + t)/(6 + -7)?
False
Let s = 54 + -30. Is 3 a factor of s/20*10/3?
False
Let p be 3 + 36*(-2)/(-2). Is ((-12)/18)/((-2)/p) a multiple of 10?
False
Let p be 2/(-8) + (-63)/4. Let b be (-10)/(-15) - p/3. Is (-40)/6*(-9)/b a multiple of 5?
True
Let p(y) = 6*y - 8. Let i(v) = -5*v + 8. Let k(c) = 5*i(c) + 4*p(c). Suppose -t = -3*t + 12. Is 2 a factor of k(t)?
True
Let j(x) = 2*x**2 + 3*x - 2. Is 4 a factor of j(4)?
False
Let w be -8*(-3 + 1 + 1). Suppose 0 = -w*u + 3*u + 150. Is u a multiple of 11?
False
Let q = 33 + -22. Suppose -4*k + 5*u - 22 = -0, -u + q = -3*k. Does 3 divide (-1)/(1/k - 0)?
True
Suppose -84 = 4*p + y, 0*y - 64 = 2*p - 5*y. Let u = p + 40. Is u a multiple of 14?
False
Let t = 17 + 21. Let c = -25 + t. Is c a multiple of 4?
False
Let r = 224 - 94. Suppose -4*y - i + r = 0, 0*y + 3*y = -3*i + 93. Suppose 4*k = -0*k - 16, -5*g + y = 3*k. Does 5 divide g?
False
Let u = 120 - -39. Suppose -2*o + 144 = 3*k + o, 3*k - u = 2*o. Is 15 a factor of k?
False
Suppose -48 = -5*c + 3*c. Suppose f = -f + c. Does 3 divide f?
True
Suppose -t = -2*j - 3*j - 6, -5*t - 2*j = -57. Let q = 7 + t. Does 9 divide q?
True
Let v = 0 + 2. Suppose 5 = s + v. Suppose 117 = 6*w - s*w. Is 15 a factor of w?
False
Let s = 248 + -146. Does 26 divide s?
False
Let w(x) = -x**2 + 9*x + 6. Let k be w(10). Let g(q) = 4*q**2 + 5*q + 2. Is g(k) a multiple of 21?
False
Let w(v) be the third derivative of -v**5/60 + 5*v**4/8 - 8*v**3/3 - 7*v**2. Does 10 divide w(12)?
True
Suppose -2*v - v + 252 = 0. Does 12 divide v?
True
Let r be 29/9 + (-12)/54. Let h(a) = -r - 3 + a**2 + 2 - a. Is 8 a factor of h(5)?
True
Suppose 0 = -0*f - f. Let l(o) = o**3 + o**2 + 32. Is l(f) a multiple of 12?
False
Does 13 divide (8/5)/(7/(1365/6))?
True
Is 3101/28 - (-2)/8 a multiple of 28?
False
Let h = -66 - -106. Is h a multiple of 8?
True
Suppose 5*s - 109 - 171 = 0. Suppose 7 + s = -3*y. Let g = y + 29. Does 8 divide g?
True
Let o(u) be the second derivative of -5/2*u**2 + 3*u + 0 - 5/6*u**3. Is 14 a factor of o(-5)?
False
Let j be (-1 - 13 - -1)*1. Let d(w) = 2*w - 19. Let g be d(0). Let a = j - g. Is a a multiple of 3?
True
Suppose 0 = -4*o - 48 - 4. Let w = o - -18. Suppose -3*l - 19 = -w*u - 5*l, 14 = 4*u + 2*l. Is 4 a factor of u?
False
Suppose 0 = 2*f + 5*v + 6, 2*f - 4*v = -2 - 4. Is 8 a factor of (25 - 5) + 3/f?
False
Let x(l) = l**3 + 16*l**2 + 12*l - 34. Does