s 4/r*4*12 a multiple of 16?
True
Suppose -1 = -3*k - o - 2, -k - 2*o - 2 = 0. Suppose -2*d - 2*d + 216 = k. Does 24 divide d?
False
Suppose -18 = -5*u + 7. Suppose 5*l = -0*l - 2*c + 595, 580 = u*l - c. Is l a multiple of 9?
True
Is 65 a factor of 5525/(-2)*288/(-360)?
True
Suppose 2*v = 6*v - 20. Suppose 4*o - 3*t = -107, v*o + 3*t = 41 - 168. Let c = o - -59. Does 10 divide c?
False
Let m = -44 + 24. Let q = 10 - m. Does 6 divide q?
True
Let h(q) = 71*q**2 - 3*q - 3. Let i be h(-5). Suppose 4*n - 698 = -2*v + n, -5*v + i = -3*n. Does 19 divide (2 + -6)*v/(-20)?
False
Suppose 0 = -57*o + 64*o - 3570. Is o a multiple of 7?
False
Suppose 5*p = -3*j + 24, p - 5 = -4*j + 10. Let f(h) = -h - 3. Let w be f(p). Let d = 11 - w. Is d a multiple of 7?
False
Is (1 - (1155 + -8))/(6/(-8)) a multiple of 11?
False
Let w(x) = -19*x - 6. Let s be w(5). Let a = -45 - s. Is a a multiple of 11?
False
Let x(y) = -y**3 - 16*y**2 - 19*y + 11. Is 35 a factor of x(-16)?
True
Suppose -2*p = 5*r - 5, 3*r = p + p - 13. Suppose -p*s - 3*t + 345 = 0, -s + 38 = -t - 23. Does 11 divide s?
True
Suppose 0 = 33*y - 19*y - 10150. Does 5 divide y?
True
Let q(c) = -c + 1. Let l(x) = -21*x. Suppose 8*p = 3*p + 5. Let v(y) = p*l(y) - 3*q(y). Is v(-3) a multiple of 17?
True
Let d(y) = -23*y + 108. Does 64 divide d(-12)?
True
Does 12 divide 7 - -7*8/8?
False
Suppose 5*n - 727 = 3738. Does 61 divide n?
False
Let i(u) = -7*u + 26. Let j be i(-10). Let g = -12 + j. Is g a multiple of 14?
True
Let l = -523 - -838. Is l a multiple of 15?
True
Suppose 4*m + 5*a = 3619, 3*m + 412 - 3125 = -5*a. Is m a multiple of 8?
False
Let y(z) = 8*z**2 + 23*z + 43. Is y(-4) a multiple of 2?
False
Suppose -4*t + 4*c + 1076 = 0, -10*t + c + 1076 = -6*t. Does 31 divide t?
False
Let f(r) = 461*r**2 - 4*r + 5. Does 19 divide f(1)?
False
Let z = 335 + 2885. Is 70 a factor of z?
True
Suppose 0 = -z + 287 - 61. Suppose 2*l + 3*w - z = w, 5*l - 551 = 2*w. Is l a multiple of 37?
True
Let t(h) = h**2 - 16*h + 256. Is 61 a factor of t(36)?
True
Suppose -o = -5*o - 792. Let u = -110 - o. Does 10 divide u?
False
Let c = 92 - -20. Let d = c + -101. Does 4 divide d?
False
Let j = 78 + -69. Let d(n) = n + 1. Does 10 divide d(j)?
True
Let c = -487 + 550. Is c a multiple of 2?
False
Suppose 0 = -0*b + 4*b - 24. Let v = -10 - -160. Suppose -b*f + v = -f. Is 15 a factor of f?
True
Let n(o) = -19*o + 3. Let t be n(2). Let l = t + 21. Let b = l - -23. Is b a multiple of 9?
True
Suppose -829 = -2*x + 1221. Is 41 a factor of x?
True
Suppose -3*s + 6*s = 15. Let b(w) = -9*w + 1. Let j be b(s). Is j/(-8)*-1*-2 a multiple of 11?
True
Let y(o) = -o**2 - 11*o + 2. Suppose -2*b - 16 - 6 = 0. Let g be y(b). Suppose g*w = -k + 6, w + 4*w - 45 = 5*k. Is w even?
False
Let d be 12/(2/((-608)/(-12))). Suppose 4*f - i = 3*i + d, -2*f + 134 = 4*i. Is f a multiple of 9?
False
Suppose 752 = 3*u - 145. Is 37 a factor of u?
False
Let b(w) = w**3 + 6*w**2 - 6*w + 3. Let g be b(-7). Let a(t) = -26*t - 4 + 3 + 2*t**2 + 31*t. Does 3 divide a(g)?
False
Let h(u) = -u**3 - u**2 - u - 14. Let c be h(0). Let r = -5 - c. Suppose 5*x + 5*z - 195 = 0, 4*x - 155 = 4*z - r*z. Is 14 a factor of x?
False
Let b = -10 - -16. Suppose -5*k - 1 + b = 0. Is 3 + (-1)/(k/(-36)) a multiple of 19?
False
Let s = -1 - -4. Suppose -3*l - 10 = -i, 3*i + 2*l - 10 = 7*l. Does 17 divide -17*(i - s/(-1))?
True
Let a = -78 - -95. Let o = a + 20. Is o a multiple of 4?
False
Let r(x) = -x**3 + 3*x**2 - 3*x**2 - 56*x + 55*x + 1. Let u be r(1). Is (u - 8)/(-1*1) a multiple of 2?
False
Let j be 22/55 + -1 + (-26)/(-10). Is 9 a factor of 1*j*2/(-4) + 126?
False
Let i(n) be the second derivative of n**5/20 + 7*n**4/24 + 5*n**3/6 + 11*n**2/2 - 11*n. Let s(o) be the first derivative of i(o). Is s(-7) a multiple of 21?
False
Suppose 0 = 19*y - 6404 - 19246. Is 10 a factor of y?
True
Let z(l) = -l**2 - 11*l - 13. Let p be z(-9). Suppose p = 4*q + 5*g - 135, -105 = -3*q - 2*g. Is 1130/q - 4/14 a multiple of 7?
False
Let q = 8 + -3. Suppose q*l - 91 = -2*a + 209, 5*a - 37 = -l. Does 41 divide l?
False
Let x(z) = -z**2 - 3*z. Let r be x(-3). Is 3*(-3 - -15) - r a multiple of 18?
True
Is (1 - -103) + (-7)/((-14)/6) a multiple of 18?
False
Let n be 15 - 2/(-1) - -1. Let r(f) = 9*f + 14. Is 32 a factor of r(n)?
False
Suppose 0 = 2*f + 4*j - 18, -6 = 3*f - 2*j - 9. Suppose -4*g - f = -87. Is 20 a factor of g?
False
Let i = 23 + 0. Let q(s) = -s**3 + 2*s**2 + 4*s - 3. Let d be q(2). Suppose u + 5*b = 21, -d*u - 2*b + i = -82. Is 7 a factor of u?
True
Suppose -69 = -2*m - b, 3*m - 39 = 3*b + 69. Is (m + -1)*(-2)/(-4) a multiple of 17?
True
Let s(k) = -k + 14. Let y be s(12). Let a = y + 0. Let f(o) = 11*o + 4. Is 13 a factor of f(a)?
True
Let i(f) = 2*f**3 - f**2 - 6*f - 8. Does 32 divide i(6)?
True
Suppose 531 = 3*k + 5*j - j, 5*j = -k + 188. Does 48 divide k?
False
Let r(i) = 14*i + 597. Does 77 divide r(0)?
False
Let g(d) = 0*d - 148*d**3 + 4 - 27*d + 147*d**3 - 22*d**2 - 8. Does 37 divide g(-21)?
False
Suppose -7*c + 4002 + 2242 = 0. Does 28 divide c?
False
Let s(a) = a**2 - 5*a - 9. Let y be s(7). Suppose 2*t = y*t + 3*x - 270, -2*t - x = -179. Is 21 a factor of t?
False
Let y(z) = 2*z + 6. Let r be y(-4). Let v be 1 + 2 + (-24)/r. Let k = 57 - v. Is 14 a factor of k?
True
Let z(o) be the second derivative of 6*o - 1/12*o**4 + 0 - 5/2*o**2 - 11/6*o**3. Is z(-6) a multiple of 5?
True
Let n(f) = -f**3 + 6*f**2 + 5*f - 5. Let s be n(6). Suppose d - 3*q + 3 = 30, -s = 5*q. Is 4 a factor of 9 + (d/(-1))/(-4)?
True
Suppose 4 = 5*l + c - 20, 0 = 4*l - 2*c - 22. Suppose -2*j + l*w = -313, 825 = 5*j + w + 56. Is j a multiple of 14?
True
Let z be 28/(-8) - -4 - 2/4. Suppose 2*j + 5*x - 16 = 90, -2*x = z. Is 3 a factor of j?
False
Suppose 5*a - 15 = -t - 2, 5*a + 3*t - 19 = 0. Does 16 divide (-2156)/(-66) + a/(-3)?
True
Let d(m) = 42*m**2 + 2 + 10*m**2 + 42*m**2. Is 39 a factor of d(1)?
False
Suppose 664 + 308 = 4*h. Does 16 divide h?
False
Suppose 7*r = 2*r. Suppose 2*b + 2*b - 480 = r. Does 24 divide b?
True
Let i(n) be the second derivative of -n**5/20 - 17*n**4/12 - 3*n**3 - 21*n**2/2 + 12*n. Is i(-16) a multiple of 7?
False
Let l(v) = 9*v**2 + 8*v + 40. Let o be l(-8). Suppose 4*c - 640 = o. Is c a multiple of 24?
False
Let p(s) = 2*s**2 - 2*s - 1. Let u be p(2). Suppose -3 = -u*o - 4*a, -3*a = 4*o - a + 6. Does 11 divide ((-22)/(-3))/((-1)/o)?
True
Suppose u + 9*n - 1746 = 5*n, -5*u - 3*n = -8764. Does 38 divide u?
False
Suppose -2*q = 2*n + 3*n + 19, 2*n + 8 = -q. Does 7 divide (-52)/n + 2/3?
False
Suppose 6*w - 4*w = -186. Let z = 6 - w. Is z a multiple of 21?
False
Suppose -3*z - 285 = -0*z. Let p(h) = -h**3 + 20*h**2 - 4*h + 27. Let u be p(20). Let f = u - z. Is f a multiple of 14?
True
Suppose 0 = -3*m + 2*p + 606, -9*m + 5*p = -12*m + 585. Is 12 a factor of m?
False
Let w(i) = 7*i + 4 + 4*i - 4*i - i. Suppose 14*t = 16*t - 6. Is w(t) a multiple of 4?
False
Let r = 111 - 119. Let s(i) = -11*i - 30. Is 17 a factor of s(r)?
False
Let v = 33 + -26. Let d(x) = -x**3 + 8*x**2 + 6*x + 5. Is 15 a factor of d(v)?
False
Suppose -3*n - 5 + 20 = 0, 0 = 2*o + 5*n - 9. Let q(g) be the third derivative of -g**5/60 - 3*g**4/8 + 11*g**3/6 + 6*g**2. Is q(o) a multiple of 8?
False
Suppose 4*m + 4 = -0*f - 2*f, -f - 2 = -2*m. Suppose -3*b + 2 = 5*g - m, -4*b + 3*g + 22 = 0. Is b a multiple of 4?
True
Suppose -4*l - 6 = -18. Suppose -l*d - d - p = -139, d = -3*p + 32. Is d a multiple of 7?
True
Is (-11)/88 + (-8)/(320/(-75205)) a multiple of 20?
True
Let y(z) = z**2 - 11*z - 17. Suppose -5*j + 4*f - 18 = 0, 4 = -f + 1. Is 17 a factor of y(j)?
True
Let o = -306 + 358. Does 13 divide o?
True
Let r = -88 - -33. Let v = 129 + r. Suppose f - 8 + 5 = 3*i, -3*f = 4*i - v. Does 12 divide f?
False
Suppose -4*z + 241 = 5*n - z, 0 = 4*n - 5*z - 215. Is n a multiple of 2?
True
Suppose -4*t + t - 3*m = -36, -5*t + 15 = -4*m. Suppose t*b - 3*b = 196. Is 10 a factor of b?
False
Let b = 46 + -32. Let g be b*((-98)/4)/7. Let r = g + 111. Is r a multiple of 29?
False
Let h = 2182 + -1237. Is h a multiple of 35?
True
Let k(b) = b**3 + 4*b**2 - 4*b + 8. Let v be k(-5). Does 7 divide 1*(v + -1 + 5)?
True
Suppose -5*n + 5*u = -4*n - 15, -2*u - 6 = 2*n. Is (-2 + n)/(4/(-220)) a multiple of 21?
False
Suppose u - 3*k = -1 - 5, -2*u