9 - -6. Let u(d) = 2*d + 4. Let o be u(i). Is 16 a factor of o/(-5) - (-156)/10?
True
Suppose -5*s + 733 = a, 7*s - 578 = 3*s - 5*a. Is s a multiple of 49?
True
Let m(u) = -u**2 - 3*u + 4. Let k be 2/(-1) - (1 - -1). Let s be m(k). Suppose s = -2*q - 3*q + 110. Is 8 a factor of q?
False
Let m(g) = -5*g - 1. Let a(b) = -2*b + 12. Suppose 16 = 3*r - r. Let z be a(r). Is m(z) a multiple of 19?
True
Suppose 5*q = -2*s + 275, -248 - 288 = -4*s + 4*q. Is s a multiple of 15?
True
Suppose 2*i - 13 = 59. Does 26 divide i?
False
Suppose -376 = -5*d + 3*x, d - 52 - 16 = 3*x. Is d a multiple of 7?
True
Does 13 divide ((2 - 1 - 3) + 3)*43?
False
Suppose 0 = -0*s - 5*s + 5*v + 490, 5*v = 25. Is s a multiple of 20?
False
Let h(x) = -4*x + 7. Let p be h(7). Let w = -14 - p. Is w a multiple of 6?
False
Let z = -6 + 12. Let r be -3 + -1 + 1 + -1. Is 112/12 - r/z a multiple of 4?
False
Let w(i) = i**2 + 7*i + 1. Let k be w(-7). Suppose 5*y = k + 9. Suppose 0 = b - y*b + 8. Does 4 divide b?
True
Let n(o) = o**2 - o - 27. Is n(8) a multiple of 29?
True
Suppose -a = 4*a - 25. Suppose a*g - 71 - 139 = 0. Is 14 a factor of g?
True
Let a(c) = c**3 + c**2 + c + 1. Let x(g) = 3*g**3 + 8*g**2 + g + 3. Let m(h) = -4*a(h) + x(h). Let l be m(3). Is 4/(l*1/(-2)) a multiple of 7?
False
Let s = 2 + 0. Suppose -4*p + 12 = -2*l, -6*p = -s*p - 3*l - 8. Suppose 0 = -2*m - 2, -3 - 20 = -j - p*m. Does 10 divide j?
False
Suppose -v = 3*a - 30, -5*v - 5*a + 58 = -42. Is v a multiple of 3?
True
Suppose 9 = -5*w + 849. Is 7 a factor of 2/6 + w/9?
False
Let w(f) = 2*f + 22. Let r be w(-9). Let j = 32 + 24. Suppose -r*d + 72 = -j. Does 14 divide d?
False
Let o(a) = -12*a - 8. Let y be o(-9). Suppose 2*r - 5*x = -28, r + 3*r + x + y = 0. Let k = 13 - r. Is k a multiple of 18?
False
Suppose -y + 0*y + 4 = 0. Is 14 a factor of (-1)/y + (-825)/(-20)?
False
Let z be 3/12 - (-660)/(-16). Let q = 70 + z. Is q a multiple of 11?
False
Suppose -2*q - 2*q + 20 = 0. Suppose -q*m + 80 = -m. Is 10 a factor of m?
True
Does 50 divide -1 + ((-38790)/(-81) - 1/(-9))?
False
Suppose -y + j = 2, -j + 4 = -0. Let x = y - -8. Does 5 divide x?
True
Let p(o) = -o + 1. Let h(n) = -8*n + 9. Let y(b) = 4*h(b) - 36*p(b). Is 8 a factor of y(4)?
True
Does 20 divide (1904/8 + -2)*1/2?
False
Is 8 a factor of (-2)/(-4)*3 + 555/6?
False
Let m be -1 + 3*179 + -2. Suppose -5*p + 5*b + 670 = 0, -4*p + 3*b + m = -0*b. Suppose -2*a - p - 62 = -5*n, 198 = 5*n - 4*a. Is 19 a factor of n?
True
Let m(c) = c**2 - 5*c - 24. Is 6 a factor of m(11)?
True
Let a(s) = 4*s + 1. Let g be a(1). Is -2 + 22 - 5/g a multiple of 5?
False
Suppose 0 = 3*t - 4*u + 3 - 22, 3*u + 8 = -4*t. Is 13 a factor of 1/((-2)/(-70)*t)?
False
Suppose -5*j + 3*f + 81 = 0, 3*f - 11 = -j + f. Does 4 divide j?
False
Suppose 3*w + 2*w + 5 = 0. Is 34/3 + w/3 a multiple of 9?
False
Let x(g) = -2*g - 4. Let i be x(10). Is 7 a factor of 83/6 + (-4)/i?
True
Suppose 2*q + 3*q - 65 = 0. Does 13 divide q?
True
Let i = 1203 - 853. Is i a multiple of 10?
True
Suppose 5*s - 18 = -3*t, -2*s - 4*t + 1 = -3*s. Let g(c) = 7*c. Is 8 a factor of g(s)?
False
Let d(y) = y**3 + 7*y**2 - 6. Is 14 a factor of d(-4)?
True
Suppose 2*v - 4*v + 2 = 0. Suppose 0 = 3*b - v - 74. Is b a multiple of 11?
False
Let f(v) = 5 - 1 - 2 + 14*v. Let g be f(5). Let w = 123 - g. Is w a multiple of 19?
False
Let b = -2 + -9. Let h = b + -6. Let g = h + 24. Does 7 divide g?
True
Suppose -3*s - 34 = 5*p, -3*p + 10 = 25. Let v be 7 - s*6/(-9). Suppose 0 = -v*h + 23 + 12. Is h a multiple of 5?
False
Let p = -29 - -2. Let i = p + 46. Is 5 a factor of i?
False
Let s(p) be the second derivative of p**7/840 - p**6/90 - p**5/60 - p**4/6 + p**3/3 + p. Let q(f) be the second derivative of s(f). Is 5 a factor of q(5)?
False
Let l(t) = -t - 1. Let r be l(-1). Suppose a - 3*f - 39 - 3 = 0, r = -3*f - 3. Does 17 divide a?
False
Let s = 12 + -8. Suppose s*j - 3*v = -j + 93, -v - 91 = -5*j. Is 18 a factor of j?
True
Let r be ((-72)/(-20))/(4/10). Suppose 0 = b - r - 0. Does 3 divide b?
True
Let m(z) = -z**3 - 5*z**2 + z - 16. Is m(-7) a multiple of 15?
True
Let i(r) = r**3 + 8*r**2 - 10*r - 9. Let a be i(-9). Let q be (1 - a)/((-2)/(-6)). Suppose -4*w + 175 = -0*w + 5*j, -5*w = q*j - 235. Is 22 a factor of w?
False
Suppose -g - 2 = -2*g. Let w = g + 11. Is 13 a factor of w?
True
Let t(b) = -b. Let j be t(2). Let f(k) = 7*k**2 - 2*k - 2. Is 15 a factor of f(j)?
True
Suppose 9 = 5*o - w, -o + 11 = -2*w + 2. Is 11 a factor of 2/(-1) + 34 + o?
True
Suppose o + 0 + 1 = 0. Let i = o - -6. Suppose 5*x - d - 167 = 0, 0 = -2*x + i*d + 76 - 23. Is 19 a factor of x?
False
Let k(f) = 104*f + 4. Let y(b) = b**2 - 4. Let u be y(0). Let t be k(u). Is 8 a factor of (-2)/(-13) - t/26?
True
Suppose 0 = -c - 6 + 2. Is 79 - (-4)/(c - 0) a multiple of 19?
False
Let k(m) = 2*m. Suppose -4*g - g = -30. Does 12 divide k(g)?
True
Let l be (-6)/(-8) - (-3)/12. Let f(v) = 1 - 6*v + v**2 + v + l. Is 8 a factor of f(6)?
True
Does 16 divide (-18 + 2)*121/(-44)?
False
Let k(u) = -u - 1. Let h be k(-6). Is h + -2 + (-90)/(-2) a multiple of 17?
False
Let y(t) = t**2 + 8*t + 4. Let i be y(-5). Let f = i - -33. Suppose 0 = 4*m + f - 118. Does 21 divide m?
False
Suppose -35 = -0*g - 5*g. Suppose 14 = u - g. Is 8 a factor of u?
False
Let u be (18/(-15))/(2/5). Let b be 6/9*u + 0. Is (-3)/(b - 37/(-20)) a multiple of 10?
True
Let j be (-60)/(-18) + (-4)/(-6). Suppose -3*o - 17 = -j*y, 4*y - 24 = 2*o - 6*o. Suppose -72 = -5*n - 2*i, 0 = 7*n - 2*n - y*i - 65. Is n a multiple of 7?
True
Let y(s) = -s**2 + 3*s. Let r be y(4). Let h(n) = -7*n**2 + 2 - 2*n**3 + 6*n - 3*n**2 + 6*n**2. Does 21 divide h(r)?
True
Suppose 0 = -k - 2*g + 16, 2*k + 0*g - 42 = g. Is k a multiple of 5?
True
Let m(s) = 3*s**2 + 20*s - 14. Is 28 a factor of m(-15)?
False
Let w(a) = -11*a - 44. Is 6 a factor of w(-16)?
True
Let c(z) = 3*z**2 - 2*z + 3. Suppose 5*t - 3*t = -6. Does 12 divide c(t)?
True
Let i = 5 - 1. Suppose a - 4*j = 44, -254 - 38 = -5*a - i*j. Does 15 divide a?
False
Let v(m) = -11*m - 3. Let z(i) = i - 1. Let x(r) = -v(r) + 3*z(r). Let g be x(-1). Is (g/6)/((-1)/3) a multiple of 2?
False
Suppose -7*u + 12*u = 130. Is 13 a factor of u?
True
Let j be (6/(-10))/((-8)/40). Let n(y) = 2*y**3 - 2*y**2 - 2*y - 3. Is 11 a factor of n(j)?
False
Suppose 7*w - 3*w - 16 = 0. Suppose -3*x - 5*o + 184 = 0, 3*o - 2*o + 276 = w*x. Is x a multiple of 34?
True
Suppose 2*h = -2*h + 2*m + 6, 5*h = 5*m + 10. Does 14 divide h + (-4)/2 - -16?
False
Let o(w) = -w**3 - 10*w**2 + w + 4. Let s be o(-10). Suppose 0 = -5*r - 165 + 1050. Does 15 divide 2/4 - r/s?
True
Suppose 0 = -6*b + 2*b + f + 1239, -4*b - f = -1241. Does 62 divide b?
True
Let d(s) = s - 1. Let m(f) = -7*f - 10. Let g(w) = 5*d(w) - m(w). Let z(o) = -o**2 + 11*o - 6. Let n be z(10). Is g(n) a multiple of 23?
False
Let q(k) = 4*k**2 + 2*k + 1. Let n be q(-1). Let u = n + 5. Is 8 a factor of u?
True
Let g be (21/(-14))/((-3)/16). Let y = g + 25. Does 11 divide y?
True
Let z(n) = n**3 + 10*n**2 - 4*n - 8. Is z(-9) a multiple of 12?
False
Suppose -3*m + 8*m - 370 = -5*c, -5*m + 163 = 2*c. Is c a multiple of 7?
False
Let h = 106 + -16. Is 9 a factor of h?
True
Let b(z) = 8*z - 1 - 4*z + 3*z. Let h be b(4). Suppose -2*f = 6, 0 = -3*g + g + 3*f + h. Is 5 a factor of g?
False
Let i = -1 - -3. Suppose 6 = i*d - 0*d. Is d a multiple of 2?
False
Suppose w = -4*w + 10. Suppose 49 = 5*h - w*n, -4*n + 17 = 3*h + n. Is h a multiple of 5?
False
Let d = -2 + 3. Let v = d - -3. Suppose 8*b = v*b + 60. Is b a multiple of 15?
True
Let h(p) = -p - 5. Let j be h(-5). Suppose -2*r + 4*r + 2 = j. Let q = 5 - r. Is 6 a factor of q?
True
Suppose -4*h - 3 + 15 = 0. Let c = h - 3. Let g = c + 32. Does 16 divide g?
True
Let r(i) = 5*i - 4. Let k(c) = 2*c. Let a(h) = -4*k(h) + 2*r(h). Let x be (-32)/(-5) - (-4)/(-10). Does 3 divide a(x)?
False
Let t(x) = 3*x**2 + 7*x + 5. Suppose -3*v + 3*c + 27 = 0, 0*v - v - 2*c - 6 = 0. Suppose -v*n = -n + 12. Does 14 divide t(n)?
False
Let l(g) = 7*g**2 + 2*g - 2. Let a be l(-2). Let i be a/8 + 2/8. Suppose -2*s - 2*p + 26 = 0, 2*s - i*p - 89 = -3*s. Is 8 a factor of s?
True
Suppose 173 = m + 9. Is 13 a factor of m?
False
Suppose 0 = -5*d + d + 4*k, -d + 12 = 2*k. Let b be (d - 5)*1*2. Does 12 divide (b - 3)/(3/(-24))?
False