factor of q?
True
Let q(u) = 243*u - 178. Let a be 2/7*21/12*12. Is 8 a factor of q(a)?
True
Suppose m = -10*m - 6*m + 352240. Is m a multiple of 50?
False
Let f(v) be the second derivative of 5*v**3/6 + 35*v**2/2 - 17*v. Let y be f(-6). Suppose -268 = -6*d + 3*d - 2*j, -446 = -y*d - 3*j. Does 11 divide d?
True
Suppose 4*r - 4921 = 3*y + 35415, 5*r = -2*y + 50420. Is 5 a factor of r?
False
Suppose 801112 = 94*u + 97992. Is u a multiple of 8?
True
Let s(z) = -9516 + 3*z**2 + 4762 + 4758 - z. Suppose -5*h + 6 = 5*b - 29, -2*h = -4*b + 4. Is s(h) a multiple of 8?
True
Let w(o) = -o**2 - 8*o - 12. Let q be w(-6). Let b be (41 + q + 0)*-1. Let s = 48 + b. Is s a multiple of 2?
False
Suppose 0*w - 38*w = -176063 - 190713. Does 19 divide w?
True
Let p be (-116)/4 - ((1 - 1) + 5). Does 17 divide p*-4*(-92)/(-32)?
True
Let u(b) = -13*b + 137. Does 34 divide u(-8)?
False
Suppose 4*v = -7*v + 2442. Let o = 90 - v. Let f = 212 + o. Does 10 divide f?
True
Let w = 471 - 462. Is 11 a factor of (6*w)/(-2 + 6)*48?
False
Let q(s) = -s**3 - 104*s**2 + 332*s - 439. Is 70 a factor of q(-109)?
False
Let k = 5345 + 4238. Is 37 a factor of k?
True
Let c(p) = 2*p**3 + 105*p**2 + 43*p - 282. Is 71 a factor of c(-52)?
False
Suppose -27*o = -46*o + 76. Let c(b) be the first derivative of b**4/4 - b**3 + 3*b**2/2 + 4*b - 1. Is c(o) a multiple of 8?
True
Let x(d) = -d**3 + 36*d**2 - 256*d - 50. Does 38 divide x(26)?
False
Is -20 + 13 - (1 + -1) - -273 a multiple of 4?
False
Suppose 15 + 71 = 2*h. Suppose -4*q - h = -3. Is 23 a factor of (-462)/q - (-21)/(-105)?
True
Let x(a) = 3*a**2 - 145*a - 248. Is x(72) a multiple of 11?
False
Suppose -85 = -5*b - o, 0*o = 3*b + 4*o - 34. Suppose -419 = b*w - 17*w. Let u = w + 607. Is 30 a factor of u?
False
Let d = 13682 - 4233. Does 27 divide d?
False
Let s = 10253 - 4923. Is 41 a factor of s?
True
Suppose 5*c = -5*y + 50305, y - 11663 - 18528 = -3*c. Does 44 divide c?
False
Let a be 1/(6/(-4))*168/28. Is 5 a factor of a/(-24)*(-8 - -770)?
False
Let j(n) = n**3 + n**2 - 4*n + 1372. Is 12 a factor of j(0)?
False
Let s = -186 + 186. Suppose s = -11*p - 28*p + 19656. Is p a multiple of 42?
True
Let b(z) = 820*z**2 - 40*z - 69. Is 23 a factor of b(-2)?
False
Suppose 161*p + 42 = 168*p. Let b(n) = n**3 - 5*n**2 + 16*n - 24. Is b(p) a multiple of 12?
True
Let o(q) = -q**3 + 11*q**2 - 2*q + 20. Let z be o(11). Let j(v) = -160*v - 16. Does 19 divide j(z)?
True
Let b = -681 + 477. Let m = b + 327. Is 11 a factor of m?
False
Does 14 divide (-30789502)/(-742) + 5/7?
True
Let h(y) = -y**3 - 9*y**2 - 4*y - 31. Let a be h(-9). Suppose -a*w - 601 = -2*v, -3*v + 4*v - 273 = -3*w. Is 48 a factor of v?
True
Let s be ((-2)/2*4)/(6 - 7). Suppose -4*w = -u - 16, -w - 3*u = -s*u - 1. Is (-6 - -1 - -34) + w a multiple of 17?
True
Let p(z) = -z**3 + 3*z**2 + 2*z - 1. Let q be p(-2). Let m be (72/15)/((-226)/230 + 1). Suppose -q*w + m = -12*w. Does 23 divide w?
True
Let v = -58 + 63. Suppose -q = 5*j - 13, 0 = v*j - 0*q + 3*q - 9. Suppose 0 = 3*s - 5*y - 129, -2*y - 149 = -j*s - 20. Is 4 a factor of s?
False
Suppose -321*g - 37*g + 2391840 = 2*g. Is g a multiple of 99?
False
Let j(d) = -57*d + 131. Let u(k) = -283*k + 655. Let z(g) = 11*j(g) - 2*u(g). Is 31 a factor of z(-7)?
True
Let d(a) be the first derivative of 2*a**3/3 - 2*a**2 + 10*a + 81. Let c(i) = 6*i**2 + 2*i - 1. Let b be c(1). Is 8 a factor of d(b)?
True
Let d = -222 - -411. Let q(o) = -12*o**3 + 12*o**2 + 14*o + 1. Let n be q(-1). Suppose -n*f + d = -570. Is f a multiple of 11?
False
Suppose 0 = 4*z - 227 + 127. Does 23 divide (5/z)/(2/4)*1290?
False
Suppose 4*i = 3*w + 6, i - 1 = w - 0. Suppose -w*f + 5*r - 51 = -345, 5*f - 5*r - 750 = 0. Let h = f + -85. Does 12 divide h?
False
Suppose -y + 4*c + 0*c = 32, 4*y + 53 = c. Suppose 17*s - 7*s = -1031 + 571. Is (-21)/(s/y + (-8 - -4)) a multiple of 18?
True
Suppose 2*s + 2 + 2 = 0. Let f(i) = 19*i**2 - i - 4. Let d be f(s). Let o = d + -46. Is o a multiple of 20?
False
Let p be -6*((-348)/(-9) - -2). Suppose -4*n - 4*n - 1392 = 0. Let i = n - p. Is 7 a factor of i?
True
Let n be -450*((-232)/24 + 1). Suppose -5*z + 6*w + n = w, 772 = z - 3*w. Is z a multiple of 8?
True
Let u(h) = 17*h**2 - 15*h - 336. Is 42 a factor of u(-21)?
True
Let q = 475 + 907. Is q a multiple of 11?
False
Suppose -5*x + 792 = -258. Suppose -218*b + 1408 = -x*b. Is 7 a factor of b?
False
Suppose d - 2 = 16. Suppose 0 = -27*l + d*l + 6354. Is l a multiple of 37?
False
Is 9 a factor of (-43080)/(-13) - 26/(-169)?
False
Suppose -3*i - 7*i + 30992 = 3*i. Does 14 divide i?
False
Suppose 25*x + 505 = 27*x - 5*a, 520 = 2*x - 2*a. Does 3 divide x?
False
Suppose 4*t - 5*r - 65 = 2*t, t - 65 = -4*r. Let w = -101 - -91. Let k = w + t. Does 2 divide k?
False
Let n(j) = 54*j**2 + 4*j + 4. Suppose -3*x - i + 6 = -0*i, -5*x = 4*i - 10. Suppose -x = 4*a + 2. Does 18 divide n(a)?
True
Let q be 428/3 + (3 - (-8)/(-3)). Suppose -2*i - 5*g = -q, -109 = -i + 3*g + 2*g. Is 28 a factor of i?
True
Let c be -24 - -27 - (-1 - -8). Is 4 a factor of (8/(-28))/(c/2296)?
True
Suppose -49 = -26*g + 29. Suppose 107 = g*n - 118. Is 4 a factor of n?
False
Suppose n = -5*y + 88 + 277, 5*n + 219 = 3*y. Let a = 172 - y. Does 2 divide a?
False
Let i(s) = -1 - 1 - s**2 + 25*s - 19. Suppose 6*o - 12 = -2*k + 11*o, -4*k + 5*o = -54. Is i(k) a multiple of 8?
False
Does 47 divide 900 - ((-270)/(-63) + (-2)/7)?
False
Let x = 335 - 327. Suppose -5*w = x + 7, 0 = -2*l + 2*w + 786. Is 13 a factor of l?
True
Let n(d) = 3*d**2 + 15*d - 110. Let a(g) = 4*g**2 + 16*g - 111. Let v(l) = 2*a(l) - 3*n(l). Does 5 divide v(-17)?
True
Suppose o = -3*j + 1, 10*o - 31 = -3*j + 15*o. Suppose -j*t + 99 = -t - 3*u, 0 = -2*t - u + 212. Let z = t - 57. Does 8 divide z?
True
Suppose -2058928 + 126457 = -57*v. Does 31 divide v?
False
Suppose -2*u - 5*d + 26 = 0, -2*u = 4*d - 13 - 9. Let v(p) = 31*p + 9. Let x be v(u). Suppose n + x = -0*r + r, -5*n = 5. Is 14 a factor of r?
False
Let v = 72 + -275. Is 100 a factor of (-23 + -1)/((v/(-350))/(-29))?
True
Suppose 9*n + 0*n = -3*n + 23688. Is 21 a factor of n?
True
Let n(g) = 41*g**2 - 163*g + 987. Does 22 divide n(6)?
False
Suppose u + 3*z = -23 + 5, 5*u + 2*z = -51. Let r be (-177)/5 - (-6)/(-10). Is (-196)/u + (-8)/r a multiple of 11?
True
Suppose -2*p = 22*h - 18*h - 35052, -26296 = -3*h + 2*p. Is 31 a factor of h?
False
Does 22 divide 12/(-15) - ((-525974)/30 + 35/(-15))?
True
Let l be (2 - (4 - 172))*-1. Let a be (6 + -9)*l/6. Let w = -53 + a. Is w a multiple of 12?
False
Let o = 2181 + 1967. Is o a multiple of 17?
True
Let s = 33 - 23. Let u(d) = 3*d - 4*d + 56*d**2 - 2 - 10 - 55*d**2. Is u(s) a multiple of 18?
False
Suppose -9*w + 64043 - 8252 = 0. Does 37 divide w?
False
Let w(f) = -f - 2. Let j(c) = 9*c. Let q(v) = -j(v) + 2*w(v). Let m(r) = 2*r. Let s(o) = 4*m(o) + q(o). Does 4 divide s(-6)?
False
Let p(b) = b**2 - 3*b - 3. Let q be p(2). Let f be (0/4 - q)*10 + -1. Suppose -28 = -7*u + f. Is u even?
False
Suppose -9 - 21 = -3*t. Let z = 11846 + -11839. Suppose -z*n = -t*n + 162. Is 9 a factor of n?
True
Is 35 a factor of ((210906/(-33))/(76/(-209)))/((-3)/(-2))?
False
Let b be (-1)/2 - 3039/(-6). Let w be b/6 - (-8)/12. Let j = w + 96. Is j a multiple of 36?
False
Let m = 21 + -19. Let y(v) = 24 - 28 + 15*v - 39 + v**m. Is y(-20) a multiple of 4?
False
Let d(g) = 31*g**3 + 2*g**2 + g - 6. Let z be d(2). Does 19 divide 2166/4*168/z?
True
Let n be -4*(6/9)/((-10)/3525). Let r = 1491 - n. Does 6 divide r?
False
Let y(r) = r**2 + 9*r + 1162. Is y(-80) a multiple of 99?
False
Let h(m) = 12*m**2 + m - 1. Let v = -9 - -51. Let f be (-12)/(-7) + (-4)/v*-3. Is h(f) a multiple of 9?
False
Let u(g) = 3*g + 50. Let c be (-10)/(-4)*(-12 - (3 + -9)). Let t be u(c). Suppose -31 = -j + x, -4*x = t*j - 51 - 122. Does 11 divide j?
True
Suppose 15*i = -0*i - 14*i + 91321. Is i a multiple of 8?
False
Let t be (-3 - 0) + 4 + 2. Suppose -j = 5, -t*d = 2*d + 2*j + 10. Suppose -3*g + g + 68 = d. Does 14 divide g?
False
Suppose -4*g + 2*q = -0*q - 174, -g = 3*q - 47. Suppose 24 + 7 = -d. Let z = g + d. Is z a multiple of 13?
True
Let c = -81 + 99. Suppose -3*y - q = -c - 149, y = -q + 55. Suppose -w = -90 - y. Does 21 divide w?
False
Suppose -163*q - 44870 + 105036 = -103160. Does 167 divide q?
True
Le