 + 640. Does 16 divide (c/(-15))/(2/(-6))?
True
Suppose -4*p + o - 225 + 709 = 0, -o - 604 = -5*p. Let b = -8 + 11. Suppose r - p = -3*n + 4*r, 5*n - b*r = 192. Is 18 a factor of n?
True
Let p = 266 + -473. Is (p/18)/((-2)/4) a multiple of 23?
True
Is 17 a factor of 0/((-6)/2) + 4*37?
False
Let k(c) = 11*c**2 - 1. Let h be k(1). Suppose -h*r = -12*r + 72. Is 12 a factor of r?
True
Let h be 3 + -1 - (3 - 4). Suppose -h*d + 40 = d. Let s = 6 + d. Is s a multiple of 16?
True
Suppose 2*x + x + 5*c - 380 = 0, -2*x - c + 265 = 0. Does 21 divide x?
False
Let o(d) = d**2 - 1. Let l be o(2). Suppose l*u + 2*r + 3*r - 26 = 0, u = 2*r - 6. Suppose 2*m = 4*q - 50, -4*q + u*m + 60 = -2*m. Is q a multiple of 10?
True
Suppose 4*m + 4*k - 2 - 10 = 0, -m + 15 = 5*k. Suppose m*f = 3*f. Suppose f = -5*j + 31 + 39. Is 7 a factor of j?
True
Let v(h) = -h**2 + 3. Suppose 2 + 2 = -f. Let l be v(f). Let w = l + 27. Is w a multiple of 6?
False
Let g(c) = c**2 - 8*c + 2. Let b be g(8). Suppose 0 = b*y + 2*y - 100. Does 11 divide y?
False
Let c = 19 + -7. Is 2 a factor of c?
True
Let j(i) = i - 7. Let x be j(10). Let c(m) = 10*m + 1. Is c(x) a multiple of 11?
False
Suppose p + 186 = 2*l + 27, -4*p - 76 = -l. Let q = 131 - l. Suppose 171 - q = 4*v. Does 15 divide v?
True
Is (13 + 33)*(-2)/4*-2 a multiple of 15?
False
Let n(t) = -t**2 - t - 1. Let q(s) = -3*s**2 - 14*s - 11. Let p(r) = 4*n(r) - q(r). Let k be 2/(-4)*3*-6. Is p(k) a multiple of 8?
True
Let i(m) = 5*m**3 + 22*m**3 + 1 + 2*m**3. Is 30 a factor of i(1)?
True
Let a = 32 + -18. Is 7 a factor of a?
True
Let m(n) = 27*n**3 - 2*n**2 - 3. Let u(q) = -28*q**3 + 2*q**2 + 4. Let h(g) = 5*m(g) + 4*u(g). Does 11 divide h(1)?
True
Suppose -3*z + 4*a + 54 = -14, -2*z - 2*a + 50 = 0. Is z a multiple of 12?
True
Suppose 0*y + 31 = y. Does 9 divide y?
False
Let h(n) = n**2 - n - 7. Let g be h(-8). Let q = 91 - g. Suppose j = -3*x + 28, -j - x + q = 4*x. Is j a multiple of 12?
False
Let q be 1 - -2 - (80 - -4). Let n = -42 - q. Does 16 divide n?
False
Let b be (-2)/6*(1 + -1). Does 5 divide 16 + (0 - b) + -3?
False
Suppose j - 4*j = 0. Suppose -g - 2*g - 78 = j. Let s = -16 - g. Is 4 a factor of s?
False
Let u(c) = c**2 - 3*c - 6. Let z = -4 - -9. Let x be u(z). Suppose -a + x = -6. Is 4 a factor of a?
False
Suppose -5*i + 76 = 3*t, 5*t + 4*i - 82 = 23. Is 7 a factor of t?
False
Let c(f) = 2*f**3 - 2*f**2 - f + 1. Suppose 2 + 13 = 5*k. Is 12 a factor of c(k)?
False
Does 13 divide (-54 - 0)*(11 - 12)?
False
Suppose 310 = 5*j + 5*r, -r - 148 = -2*j + 3*r. Suppose 0 = 2*g - 70 - j. Is g a multiple of 19?
False
Suppose -6 = 5*h - r - 1, -5*h - r = -5. Let a(u) = -u**3 + 16. Is 16 a factor of a(h)?
True
Let o(d) = d**2 - d - 3. Let u be o(3). Suppose -100 = -5*h - u*k, 3*h + 0*k + 5*k = 60. Is h a multiple of 10?
True
Let u(g) = -g**2 - 7*g + 3. Let o be u(-7). Suppose -6*h = -o*h - 102. Let x = h - 22. Does 5 divide x?
False
Let d(f) = -f**2 + 1. Let q be d(1). Is 18 a factor of 1*19 - q/6?
False
Suppose 0 = 2*q - 2*p - 10, -4*p + 7 - 21 = -2*q. Let l be 26/(-6) - (-1)/q. Does 16 divide 1/(-2) - 158/l?
False
Suppose 4*q - 5*q = -42. Is q a multiple of 21?
True
Let i = 212 - 142. Suppose -3*r = 2*r - i. Is r a multiple of 12?
False
Let p(z) = z**2 - 2. Let f be p(2). Suppose 3*o - 5*h = -f*o, 3*h = -3*o + 12. Suppose 0 = 3*n - 2*k - 0*k - 72, o*n + 3*k - 61 = 0. Does 12 divide n?
False
Suppose 114 = 2*s - 0*s. Suppose o - 2*o = 4*v - s, v - 5*o - 9 = 0. Is 13 a factor of v?
False
Let n(h) = h + 0*h**2 + 3*h**2 + 0*h. Suppose 3*l - l = -4. Is n(l) a multiple of 8?
False
Let u be ((-3)/(-3) - 1)/1. Suppose -g - y - 2*y + 23 = u, 70 = 2*g - 2*y. Suppose t - g = -t. Is t a multiple of 8?
True
Suppose -2*o - 2*k = -4, 4*o = -5*k + 4 - 0. Suppose o*c - 13 = 5*c. Is 5 a factor of c?
False
Let v(h) = 65*h**2 + 3*h - 1. Does 11 divide v(1)?
False
Let f be (-2)/(-2) - -1*2. Suppose f*a + a - 69 = s, -2*s = 2*a - 32. Does 13 divide a?
False
Let b = 6 + -12. Is b/(-9) - (-138)/9 a multiple of 10?
False
Let a = 11 + 39. Is 18 a factor of a?
False
Let f be ((-2)/(-5))/(1/(-5)). Let m = f + 1. Let i = m - -23. Does 11 divide i?
True
Suppose 0 = 5*q - 5*c - 20 - 35, -q = -4*c - 2. Is 14 a factor of q?
True
Suppose 7*b + 1 = 141. Is b a multiple of 7?
False
Suppose -4*w = 4*m - 224, 3*w + w + 2*m - 214 = 0. Is w a multiple of 51?
True
Let n(t) = -t - 1. Let u be n(-6). Suppose -46 = -2*w - 4*f, -u*w - 2*f = -15 - 100. Does 7 divide w?
False
Suppose 4*x + 4*v = 4, -5*v - 11 = -1. Suppose 15 - 69 = -x*p. Does 11 divide p?
False
Is 23 a factor of (3 - -49) + (8 - 2)?
False
Let h(c) = -c**3 - 6*c**2 - c + 3. Let x(t) = t**3 - t**2 - t. Let j(v) = h(v) - 5*x(v). Let s be -1 - 2*(-2)/(-4). Is 18 a factor of j(s)?
False
Let i(g) = g + 2. Let k be i(3). Suppose t = -k*b - 56, -21 = 4*b - 3*t + 39. Does 5 divide (b/14)/(2/(-28))?
False
Let w(i) = 7*i**2 - 4*i - 4. Is w(-2) a multiple of 3?
False
Suppose -4*g + g + 6 = 0. Suppose -2*v + 62 = -g*z, -106 = -3*v - z - 25. Is 14 a factor of v?
True
Suppose 25*s - 21*s - 696 = 0. Is s a multiple of 16?
False
Suppose q + q = 30. Suppose -3*n + 81 = -2*i + q, -2*i = 5*n - 126. Is 12 a factor of n?
True
Let r(a) = -56*a**3 - 2*a**2 - a. Let d be (3/(-6))/(2/4). Is 16 a factor of r(d)?
False
Let z = 133 + -34. Is 44 a factor of z?
False
Suppose 227 = 5*q + 4*p, 10*p - 5*p = 5*q - 245. Suppose d - 2*n = -n + q, 5*n - 143 = -4*d. Does 13 divide d?
False
Suppose 0 = 4*z - 3*v + 10, -v - 24 = 5*z + v. Let i be (9 - 3) + (z - -1). Suppose -i*p + 5*p - 86 = -n, 0 = -5*n + 20. Is p a multiple of 13?
False
Is (44/10)/((-3)/(-30)) a multiple of 16?
False
Let d(k) = -2*k + 41. Does 3 divide d(-10)?
False
Suppose 2*t + 3*s - 58 = 175, -4*t = -4*s - 456. Is 13 a factor of t?
False
Suppose 0 = -2*b + b. Suppose g - 4*g + 3 = b. Does 5 divide g/(-1*3/(-15))?
True
Let y = 569 + -314. Is 17 a factor of y?
True
Suppose 0 = -2*g - 3*v - 2, 2*v - 4*v + 6 = 5*g. Suppose 0 = 5*r - 4*r + 2, -2*c + g*r = -154. Is 15 a factor of c?
True
Suppose 5*n + 2 = -3*o, 3*o + 5 = 5*n - 17. Suppose -n*i - f + 3 = 0, 11 = 3*i - 7*f + 2*f. Does 8 divide (i - -12)*(3 + -2)?
False
Suppose 8*o - 1626 - 302 = 0. Does 30 divide o?
False
Let j = -357 + 644. Is j a multiple of 41?
True
Suppose -4*t + 7*t = -144. Let u = -21 - t. Is 13 a factor of u?
False
Let s(y) = -5*y**3 + y**2 + 4*y + 3. Let m be (0 + -1)*-2*-1. Is 13 a factor of s(m)?
True
Let a(v) = 2*v**2 + 3*v - 3. Let s be a(-3). Let t be ((-136)/12)/((-4)/s). Suppose -t = -2*b + 11. Does 11 divide b?
False
Let a(q) = -q**3 + 7*q**2 + 2*q - 10. Let s be a(7). Suppose 0 = f + 4*f - s*y - 281, 2*y - 151 = -3*f. Is 16 a factor of f?
False
Suppose 0 = p + 3*p - 300. Does 15 divide p?
True
Let o(j) = j**2 - j + 12. Is 14 a factor of o(5)?
False
Suppose t = -2*t + 33. Let a(g) = g**3 - 12*g**2 + 15*g. Let j be a(11). Let n = t + j. Is 16 a factor of n?
False
Let p(h) = h**3 + h. Let k be p(-1). Is (140/(-8))/5*k a multiple of 3?
False
Let s = 10 - 8. Let n(v) = 2*v**2 - 1. Does 7 divide n(s)?
True
Let o = -6 - -8. Suppose -1 = -t, 3*t + 5 = o*r - 0*t. Suppose -r = -3*k + 32. Is k a multiple of 6?
True
Let i = -14 + -87. Does 20 divide (-11)/44 + i/(-4)?
False
Suppose -2*j - 97 = -3*p, 3*j - 7*j + 156 = 4*p. Let k = 19 - 13. Let a = k + p. Is a a multiple of 17?
False
Let d(c) = -c. Let x be d(-2). Suppose -o - x = -7. Is o a multiple of 5?
True
Suppose 4*k - 99 = -3*d + 144, 175 = 3*k - 5*d. Is 20 a factor of k?
True
Suppose -5*f = -2*f - 12. Suppose -3*v + f = -80. Does 16 divide v?
False
Let b be -5*(-2 + 14/5). Let g(h) = -2*h - 3*h - 1 - 1. Is 9 a factor of g(b)?
True
Let o(t) be the third derivative of 7*t**4/24 + t**3/3 + 2*t**2. Let x be o(-3). Let i = x - -57. Is 19 a factor of i?
True
Let v(o) = o**3 - 26*o**2 + 33*o - 44. Is v(25) a multiple of 13?
True
Let k be ((-3)/4)/((-1)/4). Let u(j) = 3*j. Is u(k) a multiple of 4?
False
Let b be 3 - 3 - -3*1. Suppose b*v + 2*p = 11, -2*v + 0*v = p - 8. Let r(i) = 8*i - 5. Is r(v) a multiple of 19?
False
Suppose 484 = -p + 5*p. Suppose d + 2*d + 255 = 0. Let m = d + p. Is m a multiple of 18?
True
Let v = -6 - -6. Suppose v*r + 4*r = 0. Suppose 5*d - 30 = -r*d. Is 2 a factor of d?
True
Suppose -184 = -4*m - 12. Is 8 a factor of m?
False
Let v(s) = -4*s*