h = z - -33. Is 1/5 - h/(-5) a multiple of 8?
True
Suppose -5*j = -13*j + 560. Does 7 divide j?
True
Suppose 0 = -3*j - 3*q - 9, 5*j + q + 11 + 24 = 0. Is 11 a factor of (-18)/j*(11 - 3)?
False
Let s = 1 - -2. Suppose 0*d = s*d - 57. Does 19 divide d?
True
Let o = 549 - 340. Is o a multiple of 11?
True
Let w = 8 - 11. Is 67/(6/(-3) - w) a multiple of 16?
False
Suppose -5*k = -5, 5*o + k = -6 + 17. Suppose o*u + b - 58 = -3*b, -2*b = 4*u - 92. Is u a multiple of 9?
False
Suppose n = -2*n + 15. Let k = n + 9. Is k a multiple of 14?
True
Let a be (4 + -2 - 13)*-4. Let o = a + 74. Suppose o + 12 = 5*i. Is i a multiple of 13?
True
Suppose 2*h - 18 = 4*u, 5*h + u - 36 = 2*u. Let j be (h/(-3))/((-5)/30). Is 302/j - (-12)/28 a multiple of 11?
True
Let o(g) = -g**3 - g**2 - 2*g + 3. Let f be o(2). Let p = f - -19. Let c = 8 - p. Is c a multiple of 2?
True
Let o be 0 + 3 - (-10)/1. Suppose 4*s - 2 = 2, 3*g - 3*s + 36 = 0. Let w = o - g. Does 15 divide w?
False
Suppose 2*a - 3*j - 207 = -a, 353 = 5*a - j. Does 11 divide a?
False
Let o(b) = 26*b**3 + b**2 - b + 1. Is o(1) a multiple of 3?
True
Suppose -3*j = 4*j - 420. Is j a multiple of 30?
True
Let i(l) = 2*l + 6. Let f(v) be the third derivative of -v**4/24 + v**3/3 - 2*v**2. Let t be f(-5). Is i(t) a multiple of 9?
False
Suppose -6*x + 5*u = -x - 955, -3*x - 2*u = -558. Is 22 a factor of x?
False
Let s(u) = -u + 25. Is 6 a factor of s(0)?
False
Suppose -3*b - 5*i - 16 = 0, 2*b - i = -2 + 13. Let f(z) = -3*z - 7*z**3 + b*z + 26*z**3 + z. Is f(1) a multiple of 10?
True
Suppose 3*r = -4*z + 41, 5*z - 32 = -r - 11. Does 7 divide r?
False
Suppose -3*p - 36 = 2*f, -5*p - 2*f = 45 + 11. Let h = p + 21. Does 11 divide h?
True
Let r(c) = c**3 - 22*c**2 + 44*c - 25. Is 18 a factor of r(20)?
False
Is 11 a factor of (-3)/(-2) + 1/(-2) + 10?
True
Let r = -19 + 23. Does 4 divide r?
True
Suppose 369 + 131 = 5*t. Is 30 a factor of t?
False
Let o = 36 - 3. Is o a multiple of 11?
True
Let u be 4/22 - 68/11. Let q(x) be the first derivative of -2*x**2 - 5*x + 1. Is q(u) a multiple of 8?
False
Suppose 0 = -2*h - 4*l - 6 + 14, 0 = 2*h - 5*l + 19. Let o be 12/((-6)/h + -2). Let d = o - 5. Is d a multiple of 4?
False
Let s be (-1 + 0)/((-1)/6). Suppose -s*z + 5 = -z. Is (z - 0 - 0)*5 a multiple of 5?
True
Does 24 divide (-4)/(-2) + 78/2?
False
Let v = 5 - 5. Suppose v = 2*g - 0*g - 10. Suppose 22 = g*u + 3*a - 41, a - 1 = 0. Is u a multiple of 6?
True
Let o(r) be the second derivative of -r**4/12 - 5*r**3/3 + 9*r**2/2 + 5*r. Is 15 a factor of o(-7)?
True
Let z(q) = q**3 + 6*q**2 - 2*q + 4. Suppose -5 - 7 = 2*v. Is z(v) a multiple of 12?
False
Let g be 0 + -2 + (2 - -2). Let h be 0 + 3 + 3/(-3). Suppose 0 = 4*p - g*m - 102, h*p - 9 = p - 5*m. Is 8 a factor of p?
True
Let a be 8/6 - (-4)/6. Suppose -3*g - a*g = -20. Suppose x - g*x = -114. Is x a multiple of 19?
True
Suppose 17 + 91 = 6*o. Is 4 a factor of o?
False
Suppose -c - 6 = -10. Suppose -2*b - 2*i + 30 = -c*i, 0 = b - 3*i - 17. Does 7 divide b?
True
Suppose -4*k - 150 = -p, -40 - 67 = 3*k + 2*p. Let z be (-3)/1 + 0 + 1. Is -1 - k - (z + 2) a multiple of 15?
False
Suppose 4*x = -b + 152, -3*x - 35 = -2*b + 214. Does 22 divide b?
True
Suppose -5*i = -2 - 13. Suppose 4*z + 2*x - 308 = -i*x, -5*z + 5*x = -340. Is z a multiple of 24?
True
Let c be -28 - -2*3/6. Let u = -15 - c. Is u a multiple of 4?
True
Suppose 4*c = 4*d + 364, -87 - 273 = -4*c + 5*d. Does 15 divide c?
False
Let q(x) = x**3 - 9*x**2 + 11*x - 12. Let l be q(8). Suppose 4*b - l = -0*b, 2*n = b + 25. Let z = 34 - n. Is 9 a factor of z?
False
Let g(q) = 9*q - 11. Let t be g(6). Let k = -14 + t. Is k a multiple of 18?
False
Suppose -6*t + 435 + 417 = 0. Is 22 a factor of t?
False
Let g = 174 - 170. Does 4 divide g?
True
Does 18 divide ((-648)/(-30) - 4)/((-2)/(-10))?
False
Suppose -x - 12 = -5*x. Suppose 0*h = x*h - 276. Let q = -60 + h. Is q a multiple of 12?
False
Suppose -4*c = -598 + 238. Is 39 a factor of c?
False
Let t(f) = 2*f + 3. Let i be t(0). Let b be (-4)/6 + (-13)/3. Let x = i - b. Does 8 divide x?
True
Let b(p) = p**3 - 6*p**2 + 5. Let m be b(6). Suppose y = m*y - 16. Suppose -99 + 27 = -y*k. Is 9 a factor of k?
True
Suppose 6*o - 22 = 26. Is o/(-16) + (-142)/(-4) a multiple of 32?
False
Let y(p) = 11*p - 9. Let t(l) = 21*l - 17. Let x(j) = 4*t(j) - 7*y(j). Let v be -2*4*(-4)/8. Is 19 a factor of x(v)?
False
Let r(i) = i**2 - 12*i + 9. Let g be r(10). Let d = g - -26. Does 10 divide d?
False
Let f = 36 - 21. Is f a multiple of 8?
False
Suppose -r = -4*r + 9. Suppose 2*u + r*q = -3*u + 333, u + 3*q - 57 = 0. Does 23 divide u?
True
Suppose j + 2*j = 78. Let u = 100 - 41. Let i = u - j. Is 11 a factor of i?
True
Let b(k) = 15*k + 0*k**2 - 11 - 10*k**2 - 2*k**2 + k**3. Is 11 a factor of b(11)?
True
Suppose 0 = 5*y - 4*y + 10. Let j(z) = z**3 + 10*z**2 - 2*z - 9. Is 11 a factor of j(y)?
True
Suppose 176 - 1121 = -7*j. Is 9 a factor of j?
True
Suppose -3*q - 1 = 2. Let m be 0/((-9)/3 - q). Suppose m = 4*o + 4 - 28. Does 4 divide o?
False
Let g = -14 - -21. Suppose 0 = -y - 5*z + 22, 4*y - 180 = g*z - 4*z. Does 11 divide y?
False
Does 22 divide (-45 - -1)*(1 - 2)?
True
Let k = 66 - 48. Is 15 a factor of k?
False
Let t = -7 + 12. Let q(b) = 0 + 1 + 0*b + 4*b - t*b. Is q(-8) a multiple of 9?
True
Let j(f) = f**3 - 5*f**2 - 5*f + 1. Let m be j(6). Is 18/m*-1*-14 a multiple of 12?
True
Let n = 7 + -5. Suppose 2*f = -n*l + 52, f + 5*l = -f + 49. Does 9 divide f?
True
Let m(t) = -3*t - 15. Let b(p) be the first derivative of -p**2/2 - 5*p - 2. Let o(y) = 11*b(y) - 4*m(y). Is o(5) a multiple of 10?
True
Let j(c) = c**2 + 6*c + 10. Let a be j(6). Suppose 3 = 2*o - 3*h, -5*o + 0 = -3*h - 3. Suppose -4*s + a - 14 = o. Is s a multiple of 6?
False
Suppose -3*l = 10 - 37. Is 9 a factor of l?
True
Suppose 4*t - 67 = 2*i - 5*i, 5*t - 3*i = 104. Let b = 26 - 15. Let y = t - b. Is y a multiple of 3?
False
Let s be (-674)/(-14) - 1/7. Suppose 6 - s = -2*v. Is v a multiple of 7?
True
Is (-4)/(-12) + 545/3 a multiple of 14?
True
Let x = -4 + 7. Suppose 0 = x*i - i + 2. Is 3/(3/i)*-26 a multiple of 13?
True
Suppose 2*o + 24 = -2*o. Let g be (-10)/(-15) + (-14)/o. Suppose -4*x = -3*n - 61, -2*n = -g*x + 58 - 12. Does 16 divide x?
True
Let c(f) = -f**3 + 5*f**2 + 2. Let o be c(5). Let y = 0 + o. Does 16 divide 1*(4*16)/y?
True
Suppose 147 = 4*n + 5*y, -5*n + 3*y + 189 = 33. Is n a multiple of 11?
True
Suppose -t + 121 = -17. Does 33 divide t?
False
Let x = -5 - -21. Is 4 a factor of x?
True
Suppose 3*w = -c + 148, 5*c - 5*w + 2*w = 668. Does 17 divide c?
True
Suppose 2*w = -w + 6. Suppose 3*k + 5*f - 41 = 0, w*k + 2*f + 10 = 3*k. Is k a multiple of 12?
True
Let p be (0 + 0)*(-3)/(-6). Let o(q) = -q**3 - 3*q**2 - 4*q - 2. Let z be o(-4). Suppose 2*g = -p*g + z. Is 15 a factor of g?
True
Suppose 5*s - 60 = 3*s. Suppose -h + 96 = s. Is h a multiple of 24?
False
Suppose -33*b - 180 = -37*b. Does 5 divide b?
True
Let x(j) = -j**3 - 6*j**2 - 6*j. Suppose -a - 2 = 3. Let i be x(a). Suppose 4*t - 7 = -v, -2*v - i*t - 1 = -24. Does 19 divide v?
True
Let u(p) = -p**2 + 17*p - 30. Does 11 divide u(14)?
False
Let l(h) = h**2 - 2*h - 4. Let q be 17/(-4) + 1/4. Does 20 divide l(q)?
True
Let k(n) = -21*n + 2. Let p be k(-2). Suppose -5*v - 30 = -a, -3*a - v + p = 18. Let b = a + -5. Is 3 a factor of b?
False
Let v = 27 - -15. Is 7 a factor of v?
True
Suppose 5*p = 3*j + 511, -3*p = 3*j + j - 324. Does 19 divide p?
False
Let y be (3 - 1)*(-12)/(-8). Suppose p - 1 = -3*q - y, -10 = q + 5*p. Is ((-20)/4)/(q - 1) a multiple of 2?
False
Let j(y) = -y + 20. Let p be j(10). Suppose 0 = -5*u + 4*f + p + 7, f - 7 = -u. Does 5 divide u?
True
Let s = -1 - -4. Let d = -3 - s. Let l(x) = -x**3 - 5*x**2 + x + 6. Is l(d) a multiple of 18?
True
Let o(d) = d**3 + 3*d**2 - d + 2. Let t be o(-3). Suppose 10*c = t*c + 25. Does 5 divide c?
True
Suppose 0 = u + 5*p - 6, 3*p = -u - 0*p + 12. Let v = u + -17. Is v a multiple of 2?
True
Let d(g) = 25*g + 11. Let z be d(9). Suppose -2*p = 4*t - z, 109 = 2*t - 5*p + 15. Suppose j - t = -4*f, 3*f - 2*j - 2*j = 38. Is f a multiple of 14?
True
Is (-6)/(((-4)/(-24)*3)/(-7)) a multiple of 17?
False
Suppose -3*o = -53 - 76. Is 22 a factor of o?
False
Suppose -5*s = 0, -3*w + 4*s + 0*s = -21. Suppose w*h = 8*h - 26. Do