tiple of 21?
False
Let v(b) = 8*b**2 + 3*b + 2. Let g = 13 + -10. Suppose i - g*i = 2. Is 4 a factor of v(i)?
False
Suppose 0 = 8*j + 667 - 4475. Suppose -4*d + j = d - 4*p, 0 = -2*p - 8. Let v = d + -48. Is v a multiple of 11?
True
Let b = -510 - -861. Let d = 436 + b. Does 9 divide d?
False
Let w(n) = 242*n**3 - n**2 + 9*n - 4. Let j(g) = 242*g**3 + 8*g - 3. Let f(k) = -5*j(k) + 4*w(k). Is 64 a factor of f(-1)?
False
Suppose t = z + 22, 4 = -0*z - z. Suppose 10560 = 30*y + t*y. Is y a multiple of 11?
True
Let g = 8640 - 5566. Does 58 divide g?
True
Suppose -10*p + 20 = -0*p. Suppose 0 = -4*a + 14 - p. Does 4 divide a/((-23)/(-10) + -2)?
False
Let a(u) = u**3 - 9*u**2 + 8*u + 5. Let r be a(8). Suppose -4*w - 12*c + 17*c = -468, 2*w + r*c = 204. Is w a multiple of 14?
True
Suppose 2*l - t + 3 = 7, 0 = 2*l + 4*t - 4. Suppose l*v + 2164 = 4*p, 5*v + 176 + 2534 = 5*p. Is p a multiple of 15?
True
Let c(g) = 130*g - 16. Let r be c(-23). Is 9 a factor of (-1)/(((-60)/r)/(-10))?
False
Let s = 12151 - -20732. Is 11 a factor of s?
False
Let m be (10/4 - 6)*-2. Let h(a) = 4 + a + 3*a + 24 - 6. Does 10 divide h(m)?
True
Let h be (93 - -1) + 1 + -1. Let z = -52 + h. Does 14 divide (-6)/15*-5*z?
True
Let m(h) = 47*h**2 - 6*h + 3. Let r = 78 + -75. Is m(r) a multiple of 17?
True
Let c = 22 - 115. Let y = c - -93. Suppose 0 = 3*s - p - 107, 3*s - 2*s + p - 37 = y. Is s a multiple of 12?
True
Suppose -189*v + 319000 = -167*v. Is v a multiple of 25?
True
Suppose 1680*k - 2808 = 1674*k. Does 9 divide k?
True
Is (-4)/16 - 10/(-8)*881 a multiple of 4?
False
Suppose 0 = -9*n + 9*n - n. Suppose -2*f + 8*f - 6168 = n. Is 11 a factor of f?
False
Let a = -48082 + -74018. Does 11 divide (-1)/(-5) - a/125?
False
Is 47/(9165/(-26)) + (-28952)/(-15) a multiple of 14?
False
Let f(i) = i**3 - 132*i**2 + 4108*i + 87. Does 233 divide f(94)?
False
Suppose 80 = -5*t - 8*u + 3*u, 0 = -4*u - 12. Let w(p) = -p**3 - 13*p**2 - 25*p + 46. Is 9 a factor of w(t)?
False
Suppose -7*v - 4 = -9*v. Suppose -4*k + v = -2*f, 0*f - 4*f = 3*k - 18. Suppose 0 = -k*y + 137 + 129. Does 24 divide y?
False
Let h(p) = p**2 + 34*p + 4467. Does 42 divide h(-81)?
True
Let d(c) = 3*c + 47. Suppose i - 61 = 4*y, 0 = 3*y + 3*i + 29 - 2. Let f be d(y). Suppose 3*n + f = 11, -g = 2*n - 13. Is 2 a factor of g?
False
Suppose -p = 2*x - 3397, 7*p = 3*p - 2*x + 13576. Suppose 5*i = -8*i + p. Is 29 a factor of i?
True
Suppose -182*z + 1385175 - 481694 = -1480355. Is 59 a factor of z?
True
Let g(v) = -5921*v + 1390. Does 6 divide g(-4)?
True
Is (-4)/(-4)*(-56)/(-84)*50781 a multiple of 16?
False
Let l(x) = -2*x**2 + 11. Let m be l(-3). Let a = m - -96. Let k = a - 67. Does 11 divide k?
True
Suppose 0 = -3*m - 3*a + 42, -3*m + 4*m + 11 = 4*a. Let z = m + -107. Let k = z - -248. Does 11 divide k?
False
Suppose -a + 5170*x - 5168*x = -1779, -x - 5377 = -3*a. Is a a multiple of 54?
False
Suppose -195 = 2*l - 235. Suppose 5*f = -l, 196 = 2*a + 3*f - 206. Does 27 divide a?
False
Let c(b) = b**3 - 14*b**2 + 15*b - 12. Let h be c(13). Let y be ((-6)/8)/(-1 - h/(-16)). Let s(k) = k + 5. Is 4 a factor of s(y)?
False
Suppose -3*v - 6931 = -4*t, -11*t - 4*v = -6*t - 8656. Is t a multiple of 5?
False
Let j = -6290 + 10308. Does 98 divide j?
True
Let u(l) be the second derivative of l**4/6 - 4*l**3 - 5*l**2/2 - 21*l - 2. Does 11 divide u(17)?
True
Suppose -41*i - 504 = -2907 - 1492. Does 95 divide i?
True
Let b = -454 + 466. Suppose 5*t - 17*u - 2570 = -b*u, 2*u = -t + 514. Does 50 divide t?
False
Let q(v) = -v**2 - 23*v + 10. Let k be q(-23). Suppose 0 = -k*u - 13*u + 1840. Is u a multiple of 2?
True
Suppose -5*q + 4*q = 4*n - 16, -4*q - 2*n + 22 = 0. Is 26 a factor of 2/q + (-1793)/(-22)?
False
Suppose 0 = 9*s + 3738 - 93. Is 42 a factor of 324/s*(1 + (-237)/2)?
False
Suppose -2*a + 21506 = 4*h + 6822, 3*a - 3681 = -h. Is h a multiple of 39?
False
Suppose -226*z + 67*z = -3492614 - 544237. Does 21 divide z?
True
Let b(p) = -8*p**2 + 20*p + 24. Let r(l) = 3*l**2 - 7*l - 8. Let d(s) = 4*b(s) + 11*r(s). Let f be d(4). Suppose 9*q + f = 11*q. Is q a multiple of 6?
True
Suppose 0 = -16*c - 10223 + 111823. Is c a multiple of 127?
True
Let z(f) = -f**3 - 43*f**2 + 45*f + 53. Let r be z(-44). Suppose 0 = r*g + 21*g - 31650. Is 62 a factor of g?
False
Suppose -41*b + 20*b = -13986. Is 9 a factor of b?
True
Let g = 10394 - 6506. Does 36 divide g?
True
Let g = -2820 - -5191. Does 15 divide g?
False
Suppose 394*n - 553050 = 319*n. Is n a multiple of 5?
False
Let a be ((-11312)/(-252))/((-2)/(-9)). Suppose 6 = -2*t, 0 = -y + 8*t - 6*t + a. Is 7 a factor of y?
True
Suppose -13*j + 220019 + 4231 = 0. Is 10 a factor of j?
True
Let x(s) = 2*s**2 - 15*s + 9. Let a be x(7). Suppose d - 5*v - 44 = -a*d, 0 = -4*d - 3*v + 78. Let c(n) = -n**3 + 17*n**2 + 21*n + 29. Is 9 a factor of c(d)?
False
Let o = 283 + -302. Does 28 divide (87/(-21))/(o/2527)?
False
Let w = 110 - 111. Does 52 divide w*5 - (-63 - -6)?
True
Suppose 5800*g - 5778*g + 1056 = 0. Let t(z) = z**3 + 3*z**2 - 3*z - 1. Let o be t(-3). Let q = o - g. Is q a multiple of 8?
True
Let b(c) = -c**3 - 7*c**2 - 6*c + 4. Let l be b(-6). Suppose 4*r - 4*p = -48, -10 - 14 = r - l*p. Is 3 a factor of r/6 + 74/6?
False
Let s = -56000 + 82768. Does 28 divide s?
True
Does 115 divide (327 - 193)/((-2)/(-62))?
False
Suppose 2*b + 2*k - 1362 = 0, 0 = 3*b - 9*k + 4*k - 2003. Is b a multiple of 2?
True
Let o(m) = 4*m. Let t be o(3). Let d(r) = 2*r**2 + 36*r - 1096. Let w be d(-34). Is w/t*-3 + 3 even?
False
Let u be 13/((-520)/(-32))*10. Is 241/9 + -7*u/(-252) a multiple of 10?
False
Let t = -852 - -2234. Is t a multiple of 6?
False
Let v be -5*(2/(-2) - 0). Let j(z) = -5*z**3 + 11*z**2 + 5*z - 9. Let s(q) = 16*q**3 - 33*q**2 - 14*q + 28. Let f(r) = -7*j(r) - 2*s(r). Does 18 divide f(v)?
True
Let f(w) = w**3 - 43*w + w**2 + 419 + 21*w + 20*w. Is 13 a factor of f(0)?
False
Suppose 4*x + 0 = -2*j + 12, 21 = 5*x + 4*j. Let c be (3/(-15)*-5)/x. Is 20 a factor of 55 + c/(5/25)?
True
Let q(t) = t**2 + 14*t - 23. Let v be q(-17). Is (v/6)/(10 - 1164/117) a multiple of 7?
True
Let n(z) = z - 92. Let s be n(9). Let g = s - -105. Does 22 divide g?
True
Let h(p) = -24*p - 158. Let i be h(-6). Is (-4548)/(-20) + -2 + i/35 a multiple of 25?
True
Is 97 a factor of (-11)/(-55) - (408429/(-15))/7?
False
Let w(o) = 79*o - 2834. Does 4 divide w(41)?
False
Let d = 235 - -2593. Is d a multiple of 10?
False
Does 151 divide (-633410)/679*63/(-6)?
False
Let k = 14 + -9. Suppose 4*o - 3*o - 123 = c, k*o - c - 603 = 0. Is 14 a factor of o?
False
Let g(u) = -u**2 - 4*u + 14*u + 2*u**2 + 0*u**2 + 6*u + 179. Is g(-23) a multiple of 20?
True
Let s be 2/4 + 5208/(-48). Let j = s - -321. Is 17 a factor of j?
False
Suppose 0 = 3*b + 4*x - 499, 3*x - 513 = -3*b + 6*x. Suppose -7*n + b = -48. Is n a multiple of 18?
False
Let h = 16667 - 5255. Is 36 a factor of h?
True
Suppose 3*n - 18892 = 3*g + 6431, -4*n + 33820 = 4*g. Does 14 divide n?
False
Suppose 756 = 3*v - 7056. Let m be (-2)/11 + v/44. Let w = m + 52. Is 16 a factor of w?
False
Let l(r) = -5*r**2 + 109*r + 24. Let f be l(22). Suppose -f*c + 50 = -462. Does 30 divide c?
False
Suppose -1860*n + 88569 = -1847*n. Is n even?
False
Let o = 59 + -57. Suppose 4*x + 14 = 6*x. Suppose -l + 4*u = -93, -o*l + x*u - 2*u = -195. Is l a multiple of 22?
False
Let t(z) = z**2 + 6*z + 18. Let y(s) = -2*s**3 - 10*s**2 + 16*s + 43. Let c be y(-6). Is t(c) a multiple of 29?
True
Suppose -23*i = -22*i - 271. Suppose -i = 9*w - 2431. Does 6 divide w?
True
Let l be 1/(-7 + 3 + 3). Does 14 divide (-5856)/(-48) + (1 - l)?
False
Suppose 1424*x = 5*b + 1423*x - 33660, -6732 = -b - 5*x. Is 187 a factor of b?
True
Is 111 a factor of (-2)/(-6) - 330356/(-39)?
False
Let t(m) = 2 + m + 6 + 8. Suppose -3*n + 20*j = 15*j, 12 = -3*n + 3*j. Is t(n) a multiple of 6?
True
Let w be -1 - (1 - 2 - 88) - -3. Let f = w + -88. Suppose 0 = g - 1, 22 = f*n - n - 2*g. Is n a multiple of 12?
True
Let s be (0*2/(-10))/1. Suppose s = 8*h - 54 + 14. Suppose 4*p + 5*r - 586 = 0, -4*p + h*r - r = -568. Does 16 divide p?
True
Suppose -11*l = -5*l + 168. Let p be (24/l)/(15/(-70)). Let u(o) = 2*o**3 - 3*o**2 + 5*o + 2. Is 34 a factor of u(p)?
True
Let h be ((-20)/(-14))/5*7. Let k be (16/32)/(2*h/1256). Is 8 a factor of k + 3 + 0