8 = c*g. Does 22 divide g?
False
Suppose -3*y + 360 = -480. Is 56 a factor of y?
True
Suppose q = t - 5, -12 = 4*q - 5*t + 9. Is q*2*6/(-8) a multiple of 6?
True
Suppose -3*p = 4*k - 16, -3*k - 3 = 3*p - 24. Is p a multiple of 2?
True
Let x = -1 - 0. Does 22 divide (-54)/x + 0/6?
False
Suppose -2*q + l + 360 = 3*l, -3*l - 860 = -5*q. Suppose -6*y = -y - q. Is y/15*3*3 a multiple of 19?
False
Let p(z) = z**2 + 3*z - 2. Is 13 a factor of p(-9)?
True
Suppose 61 - 9 = 4*h. Suppose -5*w + h + 12 = 0. Is 4 a factor of (-6)/(-10) - (-17)/w?
True
Let p = -25 + 36. Suppose 0 = -4*k + 17 + p. Is k a multiple of 4?
False
Let z(w) = -w**2 + 12*w + 3. Is 4 a factor of z(11)?
False
Suppose -x + 1 + 3 = -3*t, 0 = -t + x - 2. Let m = 2 - t. Suppose 2*v - 50 = -m*v. Is v a multiple of 5?
True
Let i = -34 + 83. Suppose 4*b - 47 = i. Is b a multiple of 18?
False
Let q = -7 - -10. Does 5 divide (-42)/(-9) - (-1)/q?
True
Let d(p) = 27*p**2 + p - 1. Is d(1) a multiple of 9?
True
Let n = 96 - 46. Let j = -23 + n. Is 9 a factor of j?
True
Let f(j) = -10*j + 9 + 4*j**2 - 3*j**2 + 5*j. Is 15 a factor of f(6)?
True
Suppose -2*b - 20 = -5*h - 3*b, 2*h + 4*b = 8. Suppose -h = -j - 0*j. Suppose -2*s + d = 2*s - 136, -j*s = d - 136. Is 15 a factor of s?
False
Is 11 a factor of ((-22)/(-8))/(5/60)?
True
Let p(i) = i**3 - 4*i**2 + 4. Suppose -16 = -z - 3*z. Let m be p(z). Suppose -12 + 44 = m*s. Does 8 divide s?
True
Suppose -2*n - 5*r - 25 = 0, n = 2*r + 1 + 9. Suppose 108 = 4*l - n*l. Is 23 a factor of (-22)/(3/(l/(-6)))?
False
Let c = -5 - -10. Suppose -c*t - 3*d = -15, -5*t = -t + 5*d - 12. Does 2 divide t?
False
Let z(d) = -d**3 + 4*d**2 + d + 5. Let k be z(5). Suppose 5 = 2*i - c - 0, -5*i = 2*c + 1. Is -1*k/3*i a multiple of 5?
True
Let n = 15 - 9. Let b(i) = -i**3 + 8*i**2 - 7*i - 5. Is b(n) a multiple of 8?
False
Let i(t) = 27*t - 1. Let n be i(2). Let x = n - 26. Is x a multiple of 14?
False
Let t be (-2 + -34)*(-2)/4. Suppose -s = 2*s + t. Let k = 32 - s. Is k a multiple of 16?
False
Is (-28)/((3/1)/(-6)) a multiple of 14?
True
Let d(f) = -f**3 - f**2 + f - 3. Let b = 3 - 6. Let q be d(b). Is 25/4 + (-3)/q a multiple of 5?
False
Let o(q) = q**2 + 24*q + 29. Is o(-24) a multiple of 6?
False
Let m(a) = a**3 - a**2 + a + 3. Let y be m(0). Suppose y = n - 0. Suppose n*c - 125 = -2*c. Does 7 divide c?
False
Does 19 divide 3*(-4)/12 - -63?
False
Let w = -4 - -6. Suppose 0 = 5*i - z - 92, -i - w*i + 60 = z. Does 15 divide i?
False
Let k(b) = -b**2 - 9*b - 6. Let i be k(-8). Suppose -q = -i*l - 2*q + 4, -3*q = 5*l - 12. Let c = l + 3. Is 3 a factor of c?
True
Let b = -62 - -4. Let c = -31 - b. Does 13 divide c?
False
Suppose 5*b + 2*y - 417 = 0, 5*y - 405 = 3*b - 8*b. Does 17 divide b?
True
Let s = -304 + 484. Is s a multiple of 18?
True
Suppose 4*k - 8 = -0*k. Let c(q) = -q**3 + 6*q**2 + q - 1. Let w be c(6). Suppose w*v - 4*o = 46, 5*v - 3*o - 49 = -k*o. Does 10 divide v?
True
Suppose -2*t - t + 162 = g, -5*t = 4*g - 277. Does 27 divide t?
False
Let i = 11 - 7. Let d(z) = -z**2 + 6*z - 1. Let g be d(5). Suppose 78 = i*s + t, 4 = s + g*t - 8. Does 11 divide s?
False
Suppose 3*r - 4*r - 12 = 0. Let y be 19/4 - 3/r. Suppose -40 - 10 = -y*a. Is a a multiple of 6?
False
Let a be (1/3)/(8/528). Suppose -a - 38 = -5*q. Is 4 a factor of q?
True
Let z = -125 + 183. Suppose -2*r + 3*r - z = 0. Does 27 divide r?
False
Let y be 32*(3/(-6))/(-1). Suppose -y + 4 = d + 4*h, -h - 17 = 2*d. Is 10 a factor of (d/(-4))/((-2)/(-10))?
True
Let j = -4 - -4. Suppose -40 = -2*g - j*g. Is 10 a factor of g?
True
Suppose 3*z + 4*j = -j + 25, -5*z - 4*j + 20 = 0. Let w = z - -4. Suppose 4*r - 1 = y + 132, w*y - 12 = 0. Is r a multiple of 17?
True
Let o = 19 - 10. Does 3 divide o?
True
Let t be (60/25)/((-6)/(-260)). Suppose 5*d + 3*r = t, -5*r + 11 = 3*d - 45. Does 8 divide d?
False
Let w = 66 - 2. Does 16 divide w?
True
Let y be (-5)/(15/(-9)) + 7. Suppose -3*u = -u + y. Let h(s) = -s**3 - 3*s**2 + 2*s + 2. Is 21 a factor of h(u)?
True
Suppose -76 = 38*v - 40*v. Is 7 a factor of v?
False
Let g be (-8)/6*(-21)/2. Suppose 0 = -3*o + g + 19. Does 11 divide o?
True
Suppose -2*t + 0*t = -78. Is 19 a factor of 8/(-4) + (t - -1)?
True
Suppose -3*d + 10 = -d. Suppose d*n - 4*t + 5*t = -10, -4 = -n + t. Is 12 a factor of -2 - (0 - 30 - n)?
False
Suppose o - c = 4*c - 1, 0 = -o - 3*c - 41. Suppose -5*m + 38 = -4*m. Let v = o + m. Is v a multiple of 6?
True
Suppose 3*l - 60 = -3*a, 29 = l + 3*a + a. Is l a multiple of 4?
False
Let t(r) = 3*r**3 - 3*r**2 + r. Let l be t(2). Is 4 a factor of (21/l)/((-3)/(-20))?
False
Suppose -2*y + 2 = -1268. Suppose 3*c - y = -119. Suppose -c = -2*l - 2*l. Is l a multiple of 16?
False
Suppose 0 = -4*z - 8, 4*k + 6 = 2*k - 5*z. Does 7 divide 43/k + 2/(-4)?
True
Suppose -3*q + 7*q - 8 = 0. Let u be 3*-5*(q - 3). Let y = 26 - u. Is 6 a factor of y?
False
Suppose -k - 76 = -3*k + 2*n, 4*n = 2*k - 84. Is 11 a factor of k?
False
Suppose -40 = -v + 22. Suppose -4*l = -6*l + v. Suppose -c + 2*y = -l, -y + 5*y = 3*c - 85. Is 10 a factor of c?
False
Let i(w) = w**2 - 10*w + 16. Does 20 divide i(12)?
True
Let h = -57 - -83. Is 13 a factor of h?
True
Let m(q) = q. Is m(14) a multiple of 14?
True
Let i = 2 - 2. Suppose i = 2*s - s - 2. Let g(l) = l**3 + 4*l**2 - 3*l. Is g(s) a multiple of 9?
True
Let z = 402 + -182. Is 11 a factor of z?
True
Suppose -24 = -2*i - 4. Is 5 a factor of i?
True
Let m(w) = -w**2 + 15*w - 14. Let f(d) = d. Let c be f(12). Does 16 divide m(c)?
False
Suppose -5*g - 3*q - 3 = 10, 3*q = 5*g + 7. Let n = 4 + g. Suppose -3*k = 2*b - 15, 9 = -k - n*k. Does 4 divide b?
True
Let i(f) = f**3 + 5*f**2 + 4*f. Suppose 3*a - 12 = 7*a. Is 5 a factor of i(a)?
False
Let q = -17 - -17. Suppose -2*h + q*h = -54. Is h a multiple of 18?
False
Suppose 0 = 4*f + 4*f - 216. Is f a multiple of 3?
True
Let c be 0/(-2) - 96/8. Let f(r) = 5*r + 11. Let v(u) = 4*u + 10. Let n(t) = 3*f(t) - 4*v(t). Is n(c) a multiple of 2?
False
Suppose -13 = -2*x - x - 4*z, -5*x + 2*z = 13. Let w = 1 + x. Does 7 divide (-5 - 2)*(w - 1)?
True
Let h(l) be the second derivative of l**5/20 + 2*l**4/3 + 7*l**3/6 - 4*l**2 + 2*l. Is h(-6) a multiple of 7?
False
Suppose 5*y = 3*y + 36. Let r = 6 + y. Does 11 divide r?
False
Suppose -3*f = -2*f - 132. Suppose -f = g - 3*g. Is g a multiple of 22?
True
Let l(h) = 54*h**2 - 2*h - 1. Let m = -3 - -2. Is l(m) a multiple of 23?
False
Let i = -8 - -10. Suppose 5*h - i*d - 66 = 0, 4*h - 4*d + 15 = 75. Is 6 a factor of h?
True
Let n(s) = -s**3 + 6*s**2 + 8*s + 5. Is n(7) a multiple of 6?
True
Let r = -44 - -29. Is (-2 + 3)/((-1)/r) a multiple of 15?
True
Let u(h) = 5*h**2 + h + 1. Let s be u(-1). Suppose i - s*d - 4 = -2, 5*i - 4*d - 94 = 0. Is i a multiple of 7?
False
Let p = 543 - 281. Does 9 divide p?
False
Let h be (6/9)/(-1)*-3. Is 21 a factor of (0 - -23 - h)/1?
True
Let v be (-69)/2 - 7/14. Let u = 50 + v. Does 15 divide u?
True
Let k(u) = u**2 + u + 1. Let n be k(-1). Does 13 divide 3*n*69/9?
False
Let h(k) = k + 2*k**2 - k**2 - 1 + 3. Suppose 4 + 11 = 3*o. Does 12 divide h(o)?
False
Let t = -89 + 121. Does 16 divide t?
True
Suppose -2*q - 7 = -51. Let r = 20 + q. Does 14 divide r?
True
Is 2 a factor of 5/30*3*4?
True
Suppose 0 = 3*x - 8*x - g + 291, 1 = g. Let f(a) = a**3 - a**2 - 3. Let q be f(-3). Let z = q + x. Is z a multiple of 15?
False
Let s be 1/(-1) + -24 + -4. Let b = 40 + s. Is 3 a factor of b?
False
Let z(r) = -r**2 + 13*r + 16. Let c be z(14). Suppose 42 = 5*d + c*f - 4*f, -4*d + 56 = 4*f. Is 5 a factor of d?
True
Suppose -u + 4*u = 240. Let z = -23 + u. Is 17 a factor of z?
False
Let i(h) = 2*h + 8*h**2 - 2*h**3 + h**3 + h - 12. Suppose -2*o + 4*o - 16 = 0. Does 12 divide i(o)?
True
Suppose 0 = -4*l + 3*l + 3, 2*d = l + 49. Let p = -9 + d. Is p a multiple of 17?
True
Let c(j) = -39*j**3 + j**2. Is 12 a factor of c(-1)?
False
Is ((-3)/(-6))/((-1)/(-32)) a multiple of 16?
True
Suppose 0*x = x. Suppose 3*y = -3*n + 30, -5*n + 4*y + 32 = -x*n. Is 2/(2 - n/6) even?
False
Let f be (-4 - 3)/(-1)*1. Suppose 20 = 3*b - f*b. Let x(z) = -5*z + 7. Is 16 a factor of x(b)?
True
Suppose 0 = 3*l + 3*u - 288, 0*u + 4*u = 4*l - 400. Let g = l - 53. Is 13 a factor of g?
False
Let m(i) = -i - 1. Let d be m(3). Let k(u) = u**3 + 3*u**2 - 6*u - 5. Let v be k(d). Suppo