ide 48/(4/(-6)*(-18)/8)?
False
Let h(o) = -12*o + 2. Let y be h(-2). Let u = -41 + y. Does 13 divide (-46 - -1)*5/u?
False
Suppose -2*l = -5*l + 9. Suppose -l*k + 23 = -2*k. Is k a multiple of 23?
True
Suppose 0*z + z - 11 = -3*u, 0 = z + u - 3. Let v be -1 + -11 + (-2)/z. Let t = 3 - v. Is t a multiple of 13?
True
Suppose 5*o + 4*f = 45, -f - 9 = -0*o - o. Suppose 2*u - o = 1. Suppose 5*p = 2*w + 50, -5*p + 1 = u*w - 14. Is p a multiple of 4?
True
Let v = 9 - 1. Suppose -3*z = -17 + v. Is 2 a factor of z?
False
Is 2 - ((-3 - 1) + -7) even?
False
Let r be 1/(-2 - (-153)/75). Suppose -3*b = r - 301. Suppose 4*m - 56 = b. Does 14 divide m?
False
Does 2 divide 48/64 + 13/4?
True
Suppose 0 = -r + 11 + 3. Does 7 divide r?
True
Let z be (-453)/27 + 2/(-9). Suppose 0*m = -4*m - 44. Let x = m - z. Does 6 divide x?
True
Let t(g) = g**2 - 16*g + 11. Does 22 divide t(17)?
False
Let j be (-14)/(-6) + (-11)/33. Suppose -j*i + 29 - 5 = 0. Is i a multiple of 7?
False
Let a(i) be the third derivative of -i**6/120 - i**5/15 - i**4/24 + i**3/2 - i**2. Is 3 a factor of a(-4)?
False
Suppose 15 = 3*f - 2*f - u, 4*f + 2*u - 42 = 0. Does 6 divide f?
True
Let l(b) = -3*b**2 - 5*b + 3. Let o be l(-4). Let v = o - -64. Is 13 a factor of v?
True
Suppose -4*s + s - 60 = -3*z, z - 5*s = 40. Let j = 44 + z. Is j a multiple of 9?
False
Let u = 15 - 13. Does 6 divide u/(-8)*-4*26?
False
Let j(k) = -k**3 + 3*k**2 + 6*k - 6. Let o be j(4). Let p(u) = 2 + 3*u**o - 4*u**2 - 8*u + 0*u**2. Is 15 a factor of p(-4)?
False
Let r(b) = b**3 + 6*b**2 - b - 2. Let j be r(-4). Let h be ((-2)/(-3))/(-2)*39. Let z = j + h. Does 19 divide z?
False
Let v be ((-6)/(-4))/(3/6). Suppose -3*d + d + 2 = 0, -v*j - 2*d = 4. Is 15 a factor of 0 + (13 - j) + 0?
True
Suppose -216 = -3*v + 213. Does 21 divide v?
False
Let f = 11 - 9. Suppose 0 = f*a + 3*d - 15, -4 - 2 = -2*d. Suppose 4*w - 184 = -4*i, -a*i - 2*w + 27 + 110 = 0. Is 15 a factor of i?
True
Let q = 160 + -72. Does 16 divide q?
False
Suppose -20 = -4*u - 0*u. Suppose 2*h + 2*r = 54, -u*r = 2*h - 17 - 25. Is h a multiple of 10?
False
Suppose -3*k = 2*k - 40. Let r(c) = -3*c - 4. Let m be r(k). Let h = m - -72. Does 22 divide h?
True
Suppose 4*y - 2*y - 10 = 0. Suppose 0 = -5*n + 5*x + 75, y*n - 66 - 9 = -3*x. Does 15 divide n?
True
Let t be -1 - 5*-1*1. Suppose 2*h + 58 = 68. Suppose -s + 43 = h*z, 0*s = -t*s - 2*z + 226. Is s a multiple of 15?
False
Is (-1 + (-2 - 18))*-1 a multiple of 3?
True
Suppose 0 = -2*d - u + 11, -2*d - u = -6*u + 7. Suppose 5*q - 4*r + 56 = -7*r, -d*q = 2*r + 44. Let g = -5 - q. Is 2 a factor of g?
False
Suppose f + 1235 = 14*f. Does 19 divide f?
True
Let z(v) = -2 + 1 + 1 + 27*v + 1. Is 22 a factor of z(1)?
False
Let s(l) = 2*l**2 - 2*l + 5. Let i be s(4). Suppose -27 = -2*t + 3*m, 2*t = 5*m + i + 4. Does 5 divide t?
False
Let i(q) = -q**3 + 6*q**2 + 8*q - 3. Let u be i(7). Let j = u - 5. Let d(y) = 2*y**2 - y. Is d(j) a multiple of 2?
False
Let k(p) = p**2 + p - 4. Is k(-4) even?
True
Let o = 8 + -4. Suppose -o*a - 104 = -4*y - 0*a, 2*y + 2*a - 68 = 0. Is 10 a factor of y?
True
Let f(v) = v**2 + 10*v + 4. Let p be f(-10). Let k(b) = -b**2 + 5*b - 3. Let q be k(p). Is q/(-3) - 240/(-18) a multiple of 13?
True
Let p = 47 + 178. Is p a multiple of 15?
True
Let i(t) = t**3 - 10*t**2 + 6*t - 2. Let d be i(10). Let s = -21 + d. Let y = s + -19. Is 9 a factor of y?
True
Let p = -4 + 10. Suppose x + 240 = p*x. Is x a multiple of 26?
False
Let x = -44 + 75. Is x a multiple of 14?
False
Suppose -3*h = 5*v + 185 - 682, 4*h - 5*v = 651. Let r = -116 + h. Is 24 a factor of r?
True
Let d = -9 + 93. Does 14 divide d?
True
Let a = -12 + 6. Let o(f) = -4*f + 1. Let h(i) = -7*i + 3. Let m(n) = -6*h(n) + 11*o(n). Does 5 divide m(a)?
True
Let v(x) = x**2 + 18*x + 12. Is v(-20) a multiple of 40?
False
Is 11 a factor of (2/3)/(64/(-33) - -2)?
True
Suppose 3 = -3*p - 5*g - 1, 3*g = 5*p - 16. Let o(f) = f**3 - f**2 - f. Let n be o(p). Does 15 divide (-5)/10 - (-77)/n?
False
Let l(i) = -i**3 + 3*i**2 + 2*i - 4. Let m be 0 - -2 - -1 - 0. Let u be l(m). Suppose 2*q - 6 = -u*q - 5*p, -3*q = -2*p - 16. Is q a multiple of 3?
False
Let x(b) = 3*b**3 - 3*b**2 + 3*b - 3. Let s be x(2). Suppose v + 9 = s. Is v a multiple of 5?
False
Let q be (-2 - 8)*-1 + -1. Let f = q + -12. Let i(s) = -5*s - 1. Is i(f) a multiple of 5?
False
Suppose 5*f - 68 = 37. Is f a multiple of 3?
True
Suppose 6*y - 2*y - 16 = 0, j = -2*y + 11. Suppose 0 = -j*m - 2*h + 4, 0 = 3*m - 0*h - 4*h - 10. Let z = m - -4. Is 3 a factor of z?
True
Let v(k) = 4*k**2 - 1 - 4*k**2 - k**2 + k**3. Let t be (-1 + -2)/3 + 6 + -2. Is v(t) a multiple of 17?
True
Let b = 0 - 9. Let f be (-6)/(-33) - (1495/(-11))/(-5). Let z = b - f. Is 18 a factor of z?
True
Let c be 3 + (44 - (-4 - -1)). Suppose 3*f - c = 16. Is 22 a factor of f?
True
Let q be 1 + 9 + -2 - -2. Let u(s) be the first derivative of s**2/2 + 2. Is u(q) a multiple of 6?
False
Is 43 - (-2)/((-6)/9) a multiple of 28?
False
Suppose -4*l - 5*n + 47 = 0, -4*n = 5*l - 0*n - 52. Does 6 divide l?
False
Let m(l) = -l**3 - 12*l**2 - 2*l - 8. Is 4 a factor of m(-12)?
True
Let c(h) = 0 - 2 + 1 + h. Let x be c(-5). Is 14 a factor of (-82)/(-6) + (-2)/x?
True
Suppose 4*v - 92 = 4*a, -3*a - 9 = -v + 10. Is v a multiple of 2?
False
Suppose -5 = 4*j - 149. Let l be 6/10 + j/15. Suppose -3*q - 2*t = -23, -l*q - 2*q = -3*t - 32. Is 5 a factor of q?
False
Is 19 a factor of (18/(-15))/((-12)/760)?
True
Let d be (-1792)/(-12) - 4/(-6). Is 10 a factor of d/6 - (1 + 0)?
False
Does 27 divide (-4)/8*(-25)/(-10)*-124?
False
Let t = 16 - 25. Let f be -1*(1 - 0) + 14. Let r = t + f. Does 3 divide r?
False
Suppose -1672 = 12*i - 4612. Is 35 a factor of i?
True
Let y(j) be the first derivative of -j**7/840 - j**6/36 - j**5/12 + j**4/24 - 4*j**3/3 + 3. Let z(v) be the third derivative of y(v). Is 5 a factor of z(-9)?
True
Is 29 a factor of (147/4)/(42/112)?
False
Suppose 8*f - 3*f = 110. Is 10 a factor of f?
False
Let f = -5 - -14. Let b(v) = 7*v + 7. Does 20 divide b(f)?
False
Let t = 113 - 70. Does 11 divide t?
False
Is 29 - ((-3)/(-1) + -2) a multiple of 18?
False
Let o(j) = -2*j - 4. Let x be o(-3). Is 1 - 2*x*-1 even?
False
Suppose 3*u + 5 - 96 = -2*y, y = 4*u - 114. Let q = 45 - u. Is 12 a factor of q?
False
Let q = -56 - -96. Is 9 a factor of q?
False
Suppose 5*v - 4 = 4*v. Suppose 3*s = -3*b + 6, 0*s = 2*s + v. Let y(d) = 2*d - 6. Is 2 a factor of y(b)?
True
Suppose 4*c + 0*c + 16 = 0. Is -14*1*2/c a multiple of 7?
True
Let p(d) be the first derivative of d**3/3 + 2*d**2 + 3*d + 2. Does 8 divide p(-5)?
True
Suppose 0 = 4*i + d + 17, -6 = -3*i - d + 4*d. Let t = 2 - i. Suppose f - 2*p = 3*f - 88, t*f = 2*p + 220. Is f a multiple of 22?
True
Is 4 a factor of 0*2/4 - -29?
False
Let w(y) = y**2 - 2*y + 12. Is w(10) a multiple of 30?
False
Is 2 a factor of 7 - (-4 - -4 - 0)?
False
Let a(u) = -u**3 + 5*u**2 + u - 3. Let z be 5/1 - (2 + -2). Let n be a(z). Does 17 divide 45/(3 + 0) + n?
True
Suppose 3*x = 8*x + 5*u - 30, 5*x - 26 = -4*u. Suppose q - 57 = -x*n - 4*q, -q - 129 = -5*n. Does 13 divide n?
True
Let i be (-9)/6*(-8)/3. Suppose -3*u = -4*l + 85, -i*u = -u + 4*l + 77. Is (-6)/u - 34/(-9) a multiple of 4?
True
Suppose -2*c = 5*g, 0 = -2*g + 4*g - c. Is (g - -4) + (4 - 2) a multiple of 3?
True
Suppose -s = s - 52. Is s a multiple of 8?
False
Does 34 divide (9/6)/(12/544)?
True
Let i = 7 - -10. Does 14 divide i?
False
Let l(w) = -w**3 + 6*w**2 + 1. Let n be (-14)/(-5) - (-2)/10. Does 9 divide l(n)?
False
Let b = 3 - 1. Let o = b - 1. Let p(u) = 12*u - 1. Does 11 divide p(o)?
True
Suppose 0 = -2*m - 0*m + 4. Let a = m + 11. Is 12 a factor of a?
False
Suppose -36 = 2*t - 5*t. Let k(l) = l + 1. Let q be k(3). Suppose q*x = x + t. Does 2 divide x?
True
Let q = -6 + 1. Does 23 divide (-341)/q + (-1)/5?
False
Suppose 0*l + 18 = 3*l. Let s be (0 + -3)/((-3)/255). Suppose w - l*w + s = 0. Is w a multiple of 17?
True
Let p be (-1)/5 + 58/(-10). Let u = p - -8. Is 2 a factor of u?
True
Suppose u = 4*z + 84, 4*z + 3 = -9. Does 24 divide u?
True
Let a = -20 - -29. Is 3 a factor of a?
True
Let s = -1 + 6. Suppose -v - 243 = -5*v - 3*f, 0 = -s*f + 25. Does 19 divide v?
True
Suppose 4*m = 2*z - z - 84, -4*m + 108 = 2*z. Does 16 divide z?
True
Let b = -38 - -46. Is b 