)*24/15 a multiple of 48?
True
Let o(p) = -2*p**2 + p - 1. Let g be o(1). Let c(x) = -x**2 - 2*x - 1. Let u be c(g). Is (-177)/(-6) - u/(-2) a multiple of 29?
True
Let h(v) = 8*v**2 - 8*v + 6. Is 7 a factor of h(5)?
False
Let w(k) = k**3 - 8*k**2 + 3. Let y be w(8). Let x = -11 + y. Let r(f) = f**2 - 2. Is 12 a factor of r(x)?
False
Does 3 divide (-7)/1 + 16 + 651?
True
Let w(m) = 19*m**2 - 1 - m - 5*m**3 + 12*m**2 - 31*m**2. Let d be w(-1). Suppose 0*o - d*o - 5*h + 70 = 0, 0 = 4*o + h - 62. Is o a multiple of 9?
False
Suppose z + a - 63 = 0, -4*z - z + 327 = a. Let l = 152 - z. Is 29 a factor of l?
False
Suppose -4*r = a - 321, -30*r + 12 = -27*r. Is a a multiple of 61?
True
Let j(x) = 35*x**3 - 7*x**2 + 18*x - 16. Is j(3) a multiple of 46?
True
Let s = 549 - 53. Let b be (-1 + -2)/((-24)/s). Suppose -4*t + 22 = -b. Is t a multiple of 17?
False
Let u = 41 - 39. Suppose -4*i - 229 = -5*c + 55, 3*i = u*c - 108. Is c a multiple of 12?
True
Let j = -323 + 483. Is j a multiple of 4?
True
Let s(o) be the third derivative of -11*o**4/24 - 41*o**3/6 + 17*o**2. Is s(-18) a multiple of 23?
False
Let k(z) = -5*z - 51. Let m be k(-11). Is (m - 18/4)/((-1)/228) a multiple of 19?
True
Let s be 2/3*(-180)/(-24). Does 3 divide 6/s*(40 - 5)?
True
Suppose 0 = 5*b - j - 780 - 359, -3*j + 915 = 4*b. Suppose 5*n + n - b = 0. Does 19 divide n?
True
Suppose w - 14*u = -15*u + 426, w + 3*u - 426 = 0. Does 3 divide w?
True
Let g be ((-2)/3)/((-8)/228). Suppose -71 - g = -3*t. Does 10 divide t?
True
Let m(x) = x - 19. Let f = 55 - 38. Let s be m(f). Is 6 a factor of (15/2)/((-1)/s)?
False
Let u be (-4 - 25/(-10))/((-6)/904). Suppose -20*a = -18*a - u. Is a a multiple of 20?
False
Let s be 14/4*56/49. Suppose -s*x + 170 = -3*x + 4*k, -2*x = 2*k - 310. Is 5 a factor of x?
True
Is 3 a factor of 2/(-15) - 4080/(-225)?
True
Let r be (-3)/(-5) + 39/(-65). Let y be (-4 - -1) + (r - -5). Suppose w = y + 2. Is w a multiple of 4?
True
Let f = -7 + 11. Suppose f*g - 4*h - 15 = 1, -3*g - 4*h = 2. Suppose 0 = -3*c + g*c + 4*q + 49, 4*c + 2*q - 160 = 0. Is c a multiple of 12?
False
Suppose 5*y = 4*m - 797, 2*y + 45 - 1033 = -5*m. Suppose 0 = 4*v - 2*b - 208, -7*b + 4*b + m = 4*v. Is v a multiple of 16?
False
Suppose -20*u + 16318 = -16*u - 2*s, 4*s + 20396 = 5*u. Is 34 a factor of u?
True
Suppose 2112 = 6*x + 10*x. Let f = -67 + x. Does 8 divide f?
False
Suppose -326 = -3*g - 86. Is 10 a factor of g?
True
Suppose -2*t - 43 = -87. Let y(o) = 2*o - 26. Is y(t) a multiple of 17?
False
Suppose 0 = -317*d + 331*d - 7966. Is 60 a factor of d?
False
Let x = 491 - 271. Is 9 a factor of x?
False
Suppose 0 = 8*q - 3917 - 1091. Does 3 divide q?
False
Suppose 19*w - 6539 = 6742. Is 69 a factor of w?
False
Suppose -2*g + 4*l - 9*l + 423 = 0, 2*g = l + 453. Does 38 divide g?
False
Let g be 8/6*39/2. Suppose -t = -2*c + 5 - 3, -2*c - 5*t = -g. Let i(q) = 10*q - 3. Is i(c) a multiple of 21?
False
Suppose 2*t - 15 - 5 = 0. Suppose 0 = -3*r + t*r - 1008. Is 24 a factor of r?
True
Let o(w) = 2*w - 7. Let a = 21 + -24. Let q be o(a). Let f = q - -19. Is f even?
True
Let w(k) = -11*k - 12*k**2 - k**3 - 11*k + 21*k - 2. Does 7 divide w(-12)?
False
Let o = -196 + 1089. Is o a multiple of 12?
False
Let t(o) be the first derivative of 7*o + 1/4*o**4 + 0*o**2 - 1 + 7/3*o**3. Is t(-7) a multiple of 7?
True
Suppose -33*a + 16733 + 22405 = 0. Is 67 a factor of a?
False
Let r be (21/2 - 0)/(15/(-20)). Is (-282)/r - (-13)/(-91) a multiple of 10?
True
Let q = -6 - 3. Let d be (-16)/(-12) - (-12)/q. Suppose d = x - 4*x + 42. Is 7 a factor of x?
True
Let h be -1*((-8)/2)/1. Suppose -h*q = 5*l - 6*q - 445, -2*q = 2*l - 192. Is l a multiple of 13?
True
Does 23 divide ((-24)/9 - -2)/((-3)/828)?
True
Let p = -1677 - -1652. Let y(l) = -8*l**3 + l**2 + 2*l + 1. Let c be y(-2). Let z = c + p. Is 8 a factor of z?
True
Suppose 0 = 34*g - 35*g + 12. Is 4 a factor of g?
True
Suppose -5*f + 384 = 2*y, f + 4*y = 29 + 55. Is 4 a factor of f?
True
Let g(v) = 2*v**2 + 17*v + 4. Let w be g(-10). Let j = w + 106. Is 28 a factor of j?
True
Let t(f) be the third derivative of -8*f**6/5 - f**5/30 + f**4/24 + f**3/6 - 11*f**2. Is t(-1) a multiple of 7?
False
Let g(s) = s**2 + 4*s - 16. Let h(z) = 6*z + 6. Let w be h(-2). Let b be g(w). Is (-6)/b + (-185)/(-10) a multiple of 8?
False
Let b = -3863 + 5827. Is 143 a factor of b?
False
Let s(k) = -884*k**3 - k**2 + 3*k + 4. Is 34 a factor of s(-1)?
True
Let b(q) = q**3 - 14*q**2 + 12*q + 17. Let r be b(13). Suppose 0 = -r*t + 5*t. Suppose t = z - 5*z + 64. Does 8 divide z?
True
Let l(o) = 6*o**2 + 4*o + 2. Let n be l(-1). Suppose 3*a + 153 = n*a - 3*k, -629 = -4*a - 5*k. Is 19 a factor of a?
False
Let d be 103*7/((-35)/(-20)). Suppose -9*s + d = -155. Does 21 divide s?
True
Let s = 341 + -231. Is 22 a factor of s?
True
Suppose 45*x - 36*x - 36 = 0. Suppose -o - 940 = -x*h - h, 0 = h + 4*o - 167. Is h a multiple of 11?
True
Let c(v) = -v**3 + 4*v**2 - 4. Let q be c(3). Let r(t) = -5*t + 6*t + 9 - q*t + 3*t. Is r(-6) a multiple of 3?
True
Suppose 5*y = -u + 22, 4 = -y + 3*y - 2*u. Suppose -41 = -5*i - 4*k, -y*k + 0 = 4. Is i a multiple of 3?
True
Let w = 1010 - 537. Is 43 a factor of w?
True
Let i = -16 - -19. Let z be -2 + (1 - i) + -2. Let t = z - -22. Does 4 divide t?
True
Let j(n) = n**2 + 2*n - 9. Let i be j(6). Let w = -16 + 95. Let y = w - i. Is y a multiple of 12?
False
Let j(s) = 6*s**3 - 5*s**2 + 11*s + 40. Let v(t) = t**3 - t**2 + 2*t + 8. Let k(q) = 2*j(q) - 11*v(q). Let c be k(0). Is 10 a factor of c/36 + (-724)/(-18)?
True
Let r(c) = 21*c + 2. Let s be r(3). Suppose 185 - s = 5*d. Is 4 a factor of d?
True
Let r(o) = -7*o + 29. Let h be r(-7). Suppose -4*b + 3*k = -h, 3*b + 2*k = k + 65. Is 21 a factor of b?
True
Suppose -5*q + 35 = -2*q + 5*u, 4*u - 16 = 0. Let c(y) = y**3 - 3*y - 11. Let a be c(0). Is 7 a factor of (0 + -4)*(a + q)?
False
Suppose 3980 = 5*i + 5*j, -9*i + 8*i = 2*j - 800. Is i a multiple of 13?
False
Let g(r) = -20*r**3 - 9*r**2 - 13*r - 2. Is 15 a factor of g(-2)?
False
Let p(m) = 59*m + 154. Does 16 divide p(19)?
False
Let r(a) = -3*a**2 - 5*a - 12. Let j(q) = 4*q**2 + 7*q + 18. Let k(i) = -5*j(i) - 7*r(i). Let t = -14 - -20. Does 15 divide k(t)?
True
Suppose -3610*g + 8108 = -3608*g. Does 51 divide g?
False
Let o be (-2)/3 + (-170)/15. Let a = 19 + o. Suppose v - 70 = 4*l, -3*l + 286 = 5*v - a*l. Does 9 divide v?
True
Suppose -3*q = -5*q. Let y(o) = 7*o + 30. Let w be y(3). Suppose q = f - 51 - w. Is f a multiple of 34?
True
Is 101 a factor of (50920/(-28))/(-2) - (-16)/(-56)?
True
Let a = 24 + -34. Let z = 56 + a. Is z a multiple of 14?
False
Let s be 5*12/10*-1. Let i(y) = -y**3 - 5*y**2 - 10*y - 13. Does 12 divide i(s)?
False
Let w(l) = -l**3 - 4*l**2 + 3*l + 2. Let k(g) = g. Let n(o) = -4*k(o) - w(o). Suppose 0 = -3*s - 6, -q + 1 = -3*s - 0. Is 4 a factor of n(q)?
True
Suppose -3*t + 5*p + 1020 + 153 = 0, -5*t = -p - 1977. Is 18 a factor of t?
True
Suppose -y - 4733 = -2*a, a + 4*y - 2363 = y. Is 16 a factor of a?
False
Suppose 3*x + 10 = 5*x - 2*f, 16 = -4*x - 5*f. Does 4 divide -68*(4/x + -5)?
True
Suppose 0 = 3*r + 8*p - 4*p - 94, 2*r + 5*p - 65 = 0. Is 12 a factor of r?
False
Let v be (3/2)/(12/16). Suppose 14 - 20 = -v*s. Let h(z) = 3*z**2 - 2*z - 4. Does 17 divide h(s)?
True
Let u(h) = 6*h**3 + 4*h**2 - 7*h + 6. Let m(p) = -7*p**3 + 2*p + 3 - 10 + 5*p - 4*p**2. Let f(w) = -5*m(w) - 6*u(w). Does 12 divide f(-6)?
False
Let f(x) = x**3 - x**2 - 3*x - 3. Let u be f(3). Suppose 5*h + 0*v - 428 = -2*v, 0 = -3*h + 3*v + 261. Does 12 divide h/(5/(15/u))?
False
Suppose 15*w - 11210 - 11800 = 0. Is 13 a factor of w?
True
Let c(x) = x**3 - 8*x + 2. Let i be c(6). Let l = i - -18. Does 28 divide l?
False
Suppose -5*n + 2*o + 317 + 1008 = 0, n - 265 = -3*o. Is n a multiple of 5?
True
Let x = 34 + -32. Suppose -3*m - 4 = z, -m + 14 = 2*z + x. Is 15 a factor of z/(-10)*825/(-22)?
True
Does 9 divide (-3)/(-2) + 10300/40?
False
Let a(x) be the third derivative of 0 + 0*x - 13/24*x**4 - 3*x**2 - 2*x**3 - 1/60*x**5. Is 11 a factor of a(-10)?
False
Suppose 0 = 3*y + t - 185, 4*y - t + 101 = 336. Let w be (-3)/6*-1*10. Suppose y = w*g - 3*g. Does 8 divide g?
False
Is ((-3)/12 - (-12)/16)*3754 a multiple of 47?
False
Let o = -269 - -180. Let s = o - -124. Is 7 a fa