oes 2 divide (o/4)/((-12)/168)?
False
Let z(f) = -5*f + f - 6 + 26*f. Let i be z(6). Let q = -66 + i. Does 20 divide q?
True
Suppose 12 = -4*p - 4*d, -9 - 9 = -4*p + 2*d. Suppose -p*l + 0*l - 34 = 0. Let n = l - -28. Does 9 divide n?
False
Let q(c) be the third derivative of -11/60*c**5 + 1/3*c**4 + 2*c**3 - 1/120*c**6 + 0*c + 0 - 5*c**2. Is q(-12) a multiple of 32?
False
Suppose -3*g - 75 = 414. Let c(q) = -10*q + 16. Let n be c(11). Let j = n - g. Does 11 divide j?
False
Let z(o) = 1. Let p(t) = -7*t - 8. Let g(i) = i + 1. Let j(u) = 5*g(u) + p(u). Let f(n) = j(n) - 4*z(n). Is f(-7) a multiple of 5?
False
Suppose -2*p - p + 12 = 0. Let s be -1 + (-2)/p*-22. Suppose -a - k = a - 24, a + k = s. Is 6 a factor of a?
False
Is 53*(6 - 3/(6/10)) a multiple of 3?
False
Suppose -3*y + 18 = -9*y. Let a(d) = -15*d - 3. Is 7 a factor of a(y)?
True
Suppose 2*q = -g - 0*g - 7, 0 = 3*g - 2*q - 3. Let u be ((-90)/(-8))/(g/(-4)). Suppose 2*i + u = 7*i. Does 3 divide i?
True
Suppose -13*k = -0*k - 39. Suppose k*r - 18 = 18. Is 4 a factor of r?
True
Let f = -13 + 4. Let l be f/(-4)*(-144)/27. Is 9 a factor of (-16)/(-6)*(-189)/l?
False
Let d(a) = -3*a**3 - 34*a**2 - 21*a + 34. Does 36 divide d(-13)?
True
Let p(i) = i**2 - 6*i - 2. Let w be p(7). Suppose -10 = w*r - 15. Let b = 6 + r. Is b a multiple of 7?
True
Let m be 138/4 + 12/(-24). Suppose -m*o - 28 = -36*o. Is o a multiple of 14?
True
Let l be 4/(-6) - 24/(-9). Let x be 486*((-66)/(-12) - 6 - -1). Suppose -y = l*y - x. Is y a multiple of 24?
False
Suppose 3*q - 63 = 3*v, 5*q + 0*q - 2*v - 117 = 0. Let j = 116 - q. Is j a multiple of 17?
False
Suppose -30 = -5*t - 0*t. Let y(q) = 27*q - 9. Does 12 divide y(t)?
False
Let i(d) be the third derivative of 0 + 3/4*d**4 - 1/60*d**5 + 0*d + 5*d**2 - 2/3*d**3. Is i(16) a multiple of 6?
False
Suppose 5*u + u = 36. Let z(i) = 10*i**2 + i**3 - 10 + 0*i**3 + 7*i - u*i + i**2. Is 20 a factor of z(-10)?
True
Suppose -6*f = -16 + 4. Suppose -h - f*h + 18 = 0. Is 4*69*1/h a multiple of 17?
False
Let c(q) = 19*q**3 + 4*q**2 + 3*q + 2. Let d be c(-2). Let n = -83 - d. Is -2*8/((-16)/n) a multiple of 13?
False
Suppose 2*f - 6479 = -17*f. Is f a multiple of 11?
True
Let f(t) = t**3 - 4*t**2 - 3*t + 14. Is 6 a factor of f(5)?
True
Let l = 102 + -136. Let r = 103 + l. Is 6 a factor of r?
False
Suppose 18 = 5*t + 3. Suppose t*m = -m + 156. Let w = m + 53. Is 23 a factor of w?
True
Let f(s) be the second derivative of s**6/72 - s**5/30 - 5*s**4/12 + 4*s. Let x(v) be the third derivative of f(v). Is x(3) a multiple of 13?
True
Let t(r) = 14*r + 31. Let j(g) = -7*g - 15. Let l(z) = -7*j(z) - 4*t(z). Is l(-9) a multiple of 4?
True
Is (58 + -16)/(2/(1*16)) a multiple of 21?
True
Let z(g) = -150*g + 115. Does 29 divide z(-6)?
True
Let y = 79 + -75. Does 10 divide (-30)/y*(-220)/33?
True
Suppose -434 = 2*d - 16*d. Does 28 divide d?
False
Let r be 86/6 + (-14)/(-21). Is 16 a factor of 1422/30 - (-9)/r?
True
Suppose 3*v + 2*v = -4*d + 4298, 4 = 2*v. Is d a multiple of 16?
True
Let n(g) = 2*g**2 - 12. Let b be n(-3). Let u = 24 - b. Is 9 a factor of u?
True
Let k = 135 + 45. Let r = 91 - k. Let v = 149 + r. Does 36 divide v?
False
Let y(o) = 5*o - 6. Let m be y(0). Let w(b) = -12*b - 28. Is 21 a factor of w(m)?
False
Let w = -23 - -14. Let k(n) = 2*n + 13. Let h be k(w). Let s = h - -20. Is s a multiple of 15?
True
Suppose 4*y = -3*s + 5, 3*y - 3*s = -0*y + 30. Suppose -3*u - y*p - 9 = 0, 0 = -u - u + 3*p - 6. Does 15 divide 43 - 1/(u/(-3))?
False
Suppose -4*w = 3*p - 1039, 2*p = 4*p - w - 689. Does 12 divide p?
False
Let z(n) = 41*n - 21. Is z(25) a multiple of 13?
False
Suppose -7*a + 3*d + 48 = -2*a, 0 = 4*a + d - 35. Suppose 10 = -5*i, -3 = 2*f + 4*i + 1. Suppose 3*r - 70 = 4*w - a*w, 0 = -4*r - f*w + 84. Is 7 a factor of r?
False
Let o(p) = p**3 + 17*p**2 + 24*p + 14. Is 22 a factor of o(-12)?
False
Suppose 2*a = 4*a. Suppose -3*w + w = a. Suppose -g = -3*d - 51, -4*g + w*d = -4*d - 196. Is g a multiple of 12?
True
Suppose -4*l + 28 = 3*z, -4*z = l - 3*z - 8. Suppose 0 = 4*b + 3*a - 40, -5*a + 50 = b + l*b. Let q = 29 - b. Does 19 divide q?
True
Let n(c) be the second derivative of 5*c**4/6 + 2*c**3 - 2*c**2 - 10*c. Let v be n(-5). Suppose -v = -4*t - 2. Does 7 divide t?
False
Let m = -28 + 18. Let i(o) be the third derivative of -13*o**4/24 - 4*o**3/3 - 16*o**2. Is i(m) a multiple of 26?
False
Let c be (15/5)/(3/(-254)). Let t = c - -174. Let b = -42 - t. Does 16 divide b?
False
Suppose 9*o = 609 - 159. Is o a multiple of 2?
True
Does 4 divide 6/(-14) - (-8415)/231?
True
Let f(x) = -6*x - 22. Let m be f(-4). Suppose -268 = -m*o - 4*v + 104, 0 = v + 3. Does 32 divide o?
True
Is 13 a factor of 1206/(-6 + 7*(2 - 1))?
False
Suppose 0 = 11*f - 281 - 390. Let p = -37 + f. Is 4 a factor of p?
True
Suppose 21575 = 30*p - 1675. Is p a multiple of 25?
True
Let k(q) = 1. Let i(g) = 10*g - 15. Let n(f) = i(f) + 15*k(f). Does 35 divide n(7)?
True
Let i(p) = 6*p**2 + p + 32. Does 17 divide i(5)?
True
Let b(h) = -4*h**2 + 13*h + 19. Let k(i) = -3*i**2 + 13*i + 19. Let q(m) = -4*b(m) + 5*k(m). Does 15 divide q(-15)?
False
Suppose 5*r + 4*g = 8*g + 54, 4*r + 5*g = 35. Suppose -8*s = -r*s + 124. Is 16 a factor of s?
False
Let n(o) = 2*o**3 - 13*o**2 + 7*o - 8. Let z be n(6). Does 12 divide z/13 - 2268/(-39)?
False
Suppose -51*b = -42*b - 1062. Is b a multiple of 5?
False
Suppose 4*w - 5 - 3 = 0. Suppose w*v = -4*l - 4, -2*v - 2*l = -0*v + 6. Is 48/5 - v/10 a multiple of 2?
True
Let s = 2293 + -1218. Is s a multiple of 25?
True
Does 4 divide ((-5 + 8)*-8)/(3/(-8))?
True
Suppose -795*i + 805*i = 3080. Is 9 a factor of i?
False
Let j be (7 + 0)*18/21. Suppose 0 = 5*k - 180 + 60. Let c = k - j. Does 7 divide c?
False
Let l be (-4)/(-16) - (-3)/(-12). Suppose -w + 5 = -l*w. Let i = 13 - w. Does 8 divide i?
True
Let h(w) be the second derivative of 28*w**3/3 - 4*w**2 - 17*w. Is 11 a factor of h(2)?
False
Let k = -639 + 786. Is k a multiple of 4?
False
Let n be (-24)/(-84) - 89/(-7). Suppose 0*k + k - n = 0. Suppose -5*p + k = -47. Does 3 divide p?
True
Suppose -4*w - 308 = -2*p, -3*p + 84 = -3*w - 369. Does 4 divide p?
True
Suppose -4*t = 4*l - 7760, -52*t + 53*t = -3*l + 5826. Is l a multiple of 34?
False
Let p = 46 + -54. Let o = p + 23. Is o a multiple of 10?
False
Let x(f) = -f**3 + 10*f**2 - 3*f + 1. Let i be x(6). Let h = i - -31. Suppose -244 = -4*z + 3*y, -y + 12 + h = 3*z. Does 25 divide z?
False
Let r(a) = 1. Let z(n) = -70*n + 3. Let y(g) = 5*r(g) - z(g). Does 18 divide y(1)?
True
Let g = -5434 + 10764. Is g a multiple of 52?
False
Suppose -1 + 64 = 3*c. Suppose w = 95 + c. Does 40 divide w?
False
Let y(d) = -d**2 - 13*d + 1. Let h be y(-6). Suppose x = 3*j + 55, 2*j = 3*x - 0*x - 186. Let l = x - h. Is l a multiple of 6?
False
Does 9 divide ((-5 - -10) + -194)*-1?
True
Let h be (-4)/(-4)*2 - 2. Let u(b) = 14*b + 18 - 12*b + h. Is 16 a factor of u(15)?
True
Let q(m) = -m**3 - 8*m**2 + 5*m + 2. Let n be q(-10). Suppose 2*s - 72 = n. Does 28 divide s?
True
Let u be 26/10 - 32/(-80). Suppose u*x = 5*i + 67, 0 = -4*x - 0*x + i + 61. Is x even?
True
Suppose 3*m = 8*m - 10. Suppose -m*s = -5*s - 5*w + 29, 3*s = 5*w + 79. Is s a multiple of 18?
True
Let n(s) = -s**3 - 6*s**2 - 6*s. Let y be n(-5). Suppose 27 = y*x - 4*x. Is x a multiple of 9?
True
Let n(k) = -3*k - 2*k + 9*k - 2*k + 50*k**2. Is 52 a factor of n(1)?
True
Let k(q) = q**2 + 5*q + 4. Let y be k(-5). Suppose -3*b + 26 = y*t, -5*t = -2*b - 12 - 9. Suppose -63 = -x + 4*f, -5*f + b*f + 9 = 0. Does 25 divide x?
True
Let b(s) = -2*s**2 + 15*s + s**2 - 14 + 0*s**2 - s. Let f be b(13). Is (26/4)/f*-2 a multiple of 7?
False
Suppose 852 = -7*z + 5164. Suppose -z = -6*p - 5*p. Does 4 divide p?
True
Does 63 divide (-4)/10 + 3*(-23631)/(-45)?
True
Let c = -899 - -1582. Let z = c + -482. Is z a multiple of 32?
False
Let s(y) = -y**3 - 5*y**2 - 7*y + 40. Does 8 divide s(-8)?
True
Let m(q) = q**3 + 3*q - 6. Let z = 6 - 5. Let o = 5 - z. Does 14 divide m(o)?
True
Suppose -268 = -4*v + 4*i, -i - 2*i = -9. Suppose -2*j = 10 - v. Is j a multiple of 20?
False
Let o be 3 + 1 + 0/2. Suppose 0 = -7*j + o*j + 168. Does 14 divide j?
True
Let d be (-6)/(-14) - (-88)/56. Does 21 divide (15/10)/(d/140)?
True
Let u be (-9)/(-4) + (-33)/(-44). Let r(l) = 3*l**3 - 