
False
Let w(c) = -c**3 - 95*c**2 + 24*c - 33. Let g(a) = 47*a**2 - 11*a + 16. Let d(z) = -9*g(z) - 4*w(z). Does 24 divide d(12)?
True
Let g be (6 - 4) + 2*2. Suppose 10*w - 4*w = -g. Is 8/w*2/(2/(-13)) a multiple of 13?
True
Let t(b) = 41*b - 319. Let s be t(9). Suppose 41*p - s*p + 2655 = 0. Does 59 divide p?
True
Let g be 1120/(-3) + (-18)/(-54). Let p = 6 - g. Does 58 divide p?
False
Let h = 21947 + -13451. Is h a multiple of 8?
True
Let f = -105 + 282. Let k = f + -94. Let x = 387 - k. Does 13 divide x?
False
Let a = -533 + 537. Suppose -226 = a*p - 3806. Is p a multiple of 16?
False
Let m(l) = -66*l - 210. Let t be m(-7). Suppose -13*f + 4*f = -t. Is 4 a factor of f?
True
Let i = 293 + -5. Suppose 0 = 5*x + 39 - 109. Suppose 5*w - x*w = -i. Does 16 divide w?
True
Let d(q) = -2*q**3 + 5*q**2 + 5*q - 6. Let l be d(3). Suppose l = c + 20*c - 2835. Does 18 divide c?
False
Let m(i) be the second derivative of i**5/20 - 11*i**4/12 + 5*i**3/3 - 13*i**2/2 + 4*i + 4. Is 8 a factor of m(12)?
False
Suppose -6*q = 6 + 6. Let y be q + 2 + -4 + 7. Suppose 0*h - y*h = 5*o - 225, 0 = -3*h. Is 9 a factor of o?
True
Let h(j) = 50*j**2 - 58*j - 56. Is 50 a factor of h(-7)?
True
Let u(z) = 36*z**2 - 107*z - 1. Let j be u(3). Does 11 divide (391 - (8 + -13))/j?
True
Let a = -143 - -98. Let l = -10 + a. Is 6/(-4) - (-1)/((-2)/l) a multiple of 3?
False
Let h(x) = 14*x**3 - 45*x**2 + 50*x - 30. Let n(f) = -5*f**3 + 15*f**2 - 17*f + 10. Let t(y) = -4*h(y) - 11*n(y). Let d = 92 - 78. Does 7 divide t(d)?
False
Suppose 101284 = 8*p - 6*p - 4*d, -3*p - 5*d + 151915 = 0. Is 48 a factor of p?
True
Let x = -76 - -71. Let n be x/(26/(-4) - -4). Suppose 2*c = n*f + 18 + 16, 0 = -5*c - 2*f + 92. Is 9 a factor of c?
True
Suppose 64*a - 460400 = -7336 + 281976. Is a a multiple of 127?
False
Let k = -39 - -42. Let j(g) = -100*g + 4. Let w be j(k). Let f = 432 + w. Is f a multiple of 17?
True
Let x(o) = 42*o**3 + 9*o**2 - 6*o - 41. Is x(4) a multiple of 3?
False
Let q(z) = -19*z + 19. Let k be q(-6). Suppose 71 = -0*v + v + 3*o, -2*v + k = 3*o. Suppose -12*u + 94 + v = 0. Does 2 divide u?
False
Let c = -71 + 71. Suppose 45*i - 29*i - 10976 = c. Does 42 divide i?
False
Let v be 3/(-2)*40/(-12). Suppose 0 = v*a - 706 + 1. Suppose 3*l + 3*n - a = 0, -4*n = -3*n + 5. Does 11 divide l?
False
Is 22 a factor of 8161/((30/36)/(10/4))?
False
Let c(l) = 171*l - 646. Is 48 a factor of c(17)?
False
Suppose -5*u = 2*m - 3*m + 4, -u = 5*m - 20. Let b be m*(-7)/84 + (-140)/(-6). Let q = b - -25. Does 45 divide q?
False
Let z be (-1058)/(-4)*(-6 - -2). Let k = -845 - z. Is 10 a factor of k?
False
Let x = -232 + 235. Suppose -286 = -2*w - 4*b + x*b, -4*w = -2*b - 572. Does 27 divide w?
False
Let a = -44 + 48. Suppose -2*g - 3*z + 65 = -55, -a*z = -3*g + 180. Is 19/(-1 + -2 + 190/g) a multiple of 9?
False
Let z(l) = 5*l**3 - 4*l**2 + 6*l - 10. Let j be 12 + 7 + -12 - 3. Does 19 divide z(j)?
False
Suppose 0 = -4*z - u + 13, -5*z - 11*u + 20 = -9*u. Suppose -3*w - 3*p + 306 = 0, -176 + 2 = -z*w + 4*p. Is w a multiple of 97?
True
Suppose 6*c = 19*c + 38*c - 473382. Is 6 a factor of c?
True
Let v(z) = 159*z - 2049. Is v(19) a multiple of 13?
False
Let m(t) = -6*t + 36. Let z be m(5). Let o(q) = -2*q**2 - 2*q + 16. Let s be o(z). Let w = s + 74. Is w even?
True
Suppose 3*q - 32217 = -3*n, 43*n - 42953 = 39*n - 3*q. Does 11 divide n?
True
Suppose -4*k + 15265 = -6*c - 3427, 4*k - 18674 = 3*c. Is k a multiple of 2?
True
Let j(t) = -t**2 - 18*t - 20. Let m(w) = -w**2 - w + 6. Let g be m(-3). Suppose c = 3*b - 20, 5*c - 4*b + 78 = -g*b. Is j(c) a multiple of 26?
False
Let j be (-8)/36 - (-1055)/9. Suppose 10*o - 3*o = -42. Is (16/o - -3)*j a multiple of 27?
False
Let n be (1 - 4/16)/(3/24). Does 24 divide 86/((-2)/(-12)*n)?
False
Let x = 222 + -68. Let s = -110 + x. Does 8 divide s?
False
Let j(a) = -2*a - 2. Let o be j(-3). Let u(z) = 319*z - 1257. Let y be u(7). Suppose -h = 4*x - 208, 6*h - h + o*x - y = 0. Is 15 a factor of h?
False
Suppose 2*j - 27506 = -14*z, 4*z - 7871 = -4*j + j. Is 102 a factor of z?
False
Let z be (-102 + (-3 - 2))*-4. Let j = -257 + z. Does 19 divide j?
True
Suppose -20*d - 2503 + 9303 = 0. Is d a multiple of 49?
False
Let j = -441 + 1997. Is 12 a factor of (-21)/7 - (j/(-4) + 2)?
True
Let f be (-4)/(-20) + 3/((-30)/(-28)). Suppose -413 = 2*k - f*s - 2221, 8 = 2*s. Does 10 divide k?
True
Suppose -8 + 24 = 8*i. Suppose 4*y - 928 = -i*b, -2*b = -6*y + 4*y + 458. Is y a multiple of 7?
True
Let o be 12/(-3) - (-6 - 0). Suppose 4*n + o = -5*l, 0*n - 20 = -4*l + 4*n. Suppose -l*x = -146 - 30. Is 15 a factor of x?
False
Suppose 36*c - 720 = 140220. Is 27 a factor of c?
True
Let x(o) = -o**3 - 8*o**2 + 17*o + 8. Let z(l) = -5*l**3 - 41*l**2 + 84*l + 41. Let g(m) = -11*x(m) + 2*z(m). Suppose 0 = 4*t + 38 - 6. Does 7 divide g(t)?
False
Suppose 0 = -35*x + 15*x + 16320. Is 12 a factor of x?
True
Let k(b) = 31*b - 11. Let o be (9/5)/(17/(850/30)). Is k(o) a multiple of 22?
False
Suppose 23*k - 209 = 4*k. Suppose 37*b = k*b + 10894. Is b a multiple of 57?
False
Suppose 0 = z - 2*f - 594, 4*z - 2340 = -0*f - f. Suppose -1520 = -0*s + 4*s - 3*b, 0 = -2*s + 5*b - 746. Let p = z + s. Is p a multiple of 44?
False
Let t = 15 - 12. Suppose q + 6 = t*q. Suppose 0*z + 120 = q*z. Is 10 a factor of z?
True
Let v(t) = 2*t**2 - t + 22. Let d(q) = -3*q**2 + 46*q - 80. Let y be d(13). Does 47 divide v(y)?
False
Let d(k) = -7*k**3 - 13*k**2 + 9*k + 4. Does 88 divide d(-12)?
True
Suppose -3*a - 131 = -623. Let d = -217 + 239. Let s = a - d. Is s a multiple of 27?
False
Suppose -2*h - n - 53 + 8 = 0, 25 = 5*n. Let i = -33 - h. Is 18 a factor of (162/i)/(33/(-88))?
True
Let d = -14601 + 19906. Is d a multiple of 5?
True
Let k(w) = 6*w**2 - 50*w + 93. Is k(-13) a multiple of 4?
False
Suppose -6*z + 3169 = 2357 - 12124. Does 49 divide z?
True
Suppose 9*h - 31318 = -5*h. Is (63/(-12))/(-5 + h/448) a multiple of 16?
True
Let i(j) = 2*j**2 - 12*j - 72. Let s be i(-4). Suppose -138 = -2*y + 5*q, -120 = -2*y + 4*q - s*q. Is 5 a factor of y?
False
Suppose 145 = 5*x + n, 26*x + 75 = 29*x + 3*n. Suppose d - 6*l - 104 = -4*l, 0 = -3*l + 6. Suppose 0 = -x*o + 32*o - d. Is o a multiple of 19?
False
Let s(u) = 49*u - 290. Let w(j) = 16*j - 96. Let z(r) = 3*s(r) - 8*w(r). Does 24 divide z(7)?
False
Suppose -55*s = 50*s - 100 + 2515. Let y(f) = -f - 12. Let c be y(-6). Let n = c - s. Is 17 a factor of n?
True
Suppose -28341*m = -28338*m - 44121. Does 11 divide m?
True
Suppose 3*h + 5*w = 3032, 133*h = 132*h + 4*w + 1022. Is h a multiple of 6?
True
Suppose 2*b + 6 - 34 = 4*a, 5*b = -a + 48. Suppose -13*w + 12 = -b*w. Suppose -16 = -2*g + w*q, -5*q + 17 = -3*g + 44. Is g a multiple of 2?
True
Is (-210380)/(-67) - (-1)/(3/6) - 3 a multiple of 73?
True
Let c be ((-24)/4)/2 + 4379. Is (6/27 - c/252)*-42 a multiple of 72?
True
Let j(g) = -32*g - 51. Suppose 0 = 2*t + 5*f + 49, 5*f = -5*t + 53 - 168. Is j(t) a multiple of 66?
False
Let b(g) = 609*g**3 - 6*g**2 - 17*g + 9. Let f(v) = 303*v**3 - 3*v**2 - 9*v + 5. Let t(z) = -6*b(z) + 11*f(z). Is 18 a factor of t(-1)?
False
Let j = 318 - 18. Suppose -12*f = -8*f - j. Does 5 divide f?
True
Suppose 92*k = -178*k + 1934820. Is k a multiple of 35?
False
Let v(z) = 29*z - 69. Let i(b) = 10*b - 23. Let g(d) = 8*i(d) - 3*v(d). Let a(r) = -r + 2. Let s be a(9). Is 17 a factor of g(s)?
False
Let a = 82 - -69. Let g = a + 235. Let w = g + -223. Is w a multiple of 19?
False
Let p(d) = -4*d - 3. Let g be p(9). Is ((-10075)/g)/((-5)/(-15)) a multiple of 31?
True
Suppose 4*d = -4*z + 2*z + 24, -d - 5 = -5*z. Suppose 0 = 3*w + 2*u - 2946, -d*w + 15*u = 12*u - 4929. Does 82 divide w?
True
Let b be (6/15*-3)/((-10)/25). Let a(f) = -2*f - 2*f**2 + 12*f**2 - 13*f**2 + f**b - 6. Is a(5) a multiple of 3?
False
Let y(h) be the second derivative of -h**3/2 - 33*h**2/2 - 53*h - 1. Suppose 111 = -q - 4*q - f, 5*f = 2*q + 66. Is 11 a factor of y(q)?
False
Suppose -101*y + 325888 = 33*y + 18*y. Is 3 a factor of y?
False
Does 13 divide (-4)/40 - (-39)/30*1607?
False
Let f = 11636 - -4914. Is 12 a factor of f?
False
Let w = 8280 + -4796. Is w a multiple of 134?
True
Let w be -6 - 152/((-3)/3). Let z = w + -118. Is 10 a factor of z?
False
Suppose -5*h + 2*x = -53911, -h - 3*x + 4389 + 6366 = 0. Does 9 divi