q) a multiple of 3?
True
Let q be 23 + -1 + 1 + -4 + 7. Let g be 2*(q/4 - 1). Let f = g + -6. Is 5 a factor of f?
True
Let q(j) = -j**2 - 16*j - 15. Suppose 3*s = 2*d - 34, -2*d = 4*s - d + 38. Is q(s) a multiple of 15?
True
Let k be -4 - 13/(13/(-6)). Let h be (-60)/32 + k/(-16). Let y(i) = -173*i + 5. Is y(h) a multiple of 27?
True
Suppose -788*j + 4878626 + 17707030 = 0. Is j a multiple of 51?
True
Suppose 0 = 74*w - 79*w + 40. Suppose -2*n + w*n - 30 = 0. Suppose 2*y - f - 125 = 0, 2*y + n*f - 43 - 52 = 0. Does 10 divide y?
True
Let a(f) = -f**3 - 4*f**2 - 4*f + 2. Let r be a(-4). Suppose -1612 = -r*y + 2528. Is 9 a factor of y?
False
Let v(t) = -1136*t - 12344. Does 286 divide v(-30)?
True
Suppose -52*v + 180 = -37*v. Suppose 17*j - 1485 = v*j. Is 7 a factor of j?
False
Let o(d) = 303*d**2 + 8*d + 19. Is 21 a factor of o(-2)?
False
Let s(a) be the second derivative of -a**5/20 + a**4/2 - a**3/6 + 873*a**2/2 + 116*a - 2. Is 60 a factor of s(0)?
False
Suppose -3*p + 4*m = -29, -9*p + 5*p + 39 = -5*m. Suppose -6*x - 128 = -4*l - p*x, -2*l - 4*x = -64. Does 32 divide l?
True
Suppose -16*u + 3*t - 81831 = -22*u, u + 2*t = 13640. Is u a multiple of 166?
False
Suppose -3*o + 3*k + 60 = 7*k, 0 = o - 4*k - 36. Let g be ((-90)/o)/((-3)/(-8)). Let m(q) = -q**2 - 10*q + 25. Is 5 a factor of m(g)?
True
Let n be (3/(-2))/((-39)/18 + 2). Suppose 2*l + 3*o = -l + n, 0 = 5*l + o - 3. Suppose -3*x + 0*s - s + 158 = 0, -2*x + 2*s + 100 = l. Does 14 divide x?
False
Let p be -5*((-1 - -2) + -14). Let b(t) = -t**3 + 7*t**2 - 47*t + 334. Let g be b(7). Suppose -3*k + 77 = a - p, 2*k + 676 = g*a. Does 34 divide a?
True
Let w be 4 + -4 + 590/5. Let g = 621 - w. Is 13 a factor of g?
False
Let k = -195 - -195. Suppose x + u - 2*u - 304 = k, 6*x - 1852 = -u. Is x a multiple of 11?
True
Let m = -10130 - -19882. Is 212 a factor of m?
True
Let u(s) = -s**3 - 14*s**2 - 131*s - 173. Does 11 divide u(-21)?
True
Let z = 1346 - 832. Is z a multiple of 8?
False
Suppose 28 = 2*y + 3*u, 4*y + 3*u = 3*y + 11. Let s(t) = y*t - 9*t - 7*t - 2*t + 24. Does 9 divide s(9)?
False
Let h be 1*-5*(-688)/(-5). Let j be -2 + (1 - -4) + h/8. Let v = j + 194. Does 33 divide v?
False
Let p(x) = -33*x + 1254. Is 63 a factor of p(-56)?
False
Suppose -r + 0*s - 5*s + 8960 = 0, 0 = -4*r - 3*s + 35908. Suppose 25*v + 1655 - r = 0. Is 15 a factor of v?
False
Let i = -67946 - -128193. Is i a multiple of 11?
True
Let q(y) = -y**3 - 12*y**2 + 9*y + 66. Is q(0) a multiple of 7?
False
Does 17 divide (-7 + 2 + 0 + 160)*(-34)/(-5)?
True
Let g = -169 - -175. Suppose 420 = g*j - 912. Does 74 divide j?
True
Let v = 1181 - 2000. Is (-7)/2 + v/(-26) a multiple of 4?
True
Suppose 17*g - 514749 = 239303. Does 52 divide g?
True
Let w(r) = 414*r**2 + 332*r - 983. Is w(3) a multiple of 78?
False
Let r(t) = 19*t**2 + t - 1. Let q be r(-2). Let x = 67 - q. Is (x/(-30))/(3/75) a multiple of 5?
True
Let l be 2 + 3 + (-4 - -129)/5. Does 11 divide 2/(-1) - (l - 406)?
True
Suppose -5*a = -25, 0 = -0*y + y - 4*a - 11. Let q(l) = -y*l + 1 - 26 + 4. Is q(-4) a multiple of 19?
False
Let b(k) = -k**2 + 115*k + 350. Let o be b(-3). Let h = 4 - -11. Does 23 divide (o*162/20)/((-3)/h)?
False
Let b = 254 + -95. Suppose -1695 = -4*y - b. Is y a multiple of 20?
False
Suppose 17*k - 13*k + 25260 = 7*k. Is 10 a factor of k?
True
Suppose 0*r + 2150 = 5*r. Let t be ((-6)/14)/(17/(-119)). Suppose -2*s + r = t*s. Is 35 a factor of s?
False
Let o(i) = 19*i**2 + i - 7. Let z = -56 + 68. Suppose -z*j = -29*j + 51. Does 9 divide o(j)?
False
Let z = 64794 - 36028. Does 20 divide z?
False
Does 16 divide (-10 + 104 + -6)*8?
True
Let q(i) = 4*i**2 - 27*i + 14. Let h be q(13). Let u be h - ((-16)/(-24) + 14/6). Suppose 2*f = -2*f + u. Is 7 a factor of f?
True
Let u(o) = -209*o - 12. Let n be u(-4). Let b = n + -248. Does 8 divide b?
True
Does 35 divide 249039/(34 - 13) + 4?
False
Let b be (-2)/(3 - (-42)/(-12)). Suppose 5*q + 10 = 0, b*q - 1001 - 19 = -4*v. Is 8 a factor of v?
False
Let c = -787 + 789. Does 86 divide 27/(-36)*-610*c?
False
Let a = 680 + -683. Is -1 + 3 - -768 - 15/a a multiple of 12?
False
Suppose -350*a + 414*a = 1674752. Is a a multiple of 16?
False
Suppose -3*s = 2*t - 74577, 12705 = -2*t - 4*s + 87277. Does 296 divide t?
True
Let k(f) = 456*f - 117. Does 25 divide k(6)?
False
Let n(c) = 3*c + 2. Let g be n(7). Suppose 2*p - 28 = 5*p - 2*m, 3*p - m = -g. Is (4*-72)/6*4/p a multiple of 3?
False
Suppose 2*p + 2 = p, -p = 2*m - 6. Suppose -m*y = 257 - 25. Let a = y - -62. Is 4 a factor of a?
True
Let d(c) = -358*c + 35. Let z be d(4). Let a = -792 - z. Is a a multiple of 41?
False
Let f(z) = -72*z - 3447. Is 45 a factor of f(-116)?
True
Let s(g) = -4*g**2 - 20*g. Let h be s(-5). Suppose h = -34*i - 2*i + 8064. Is i a multiple of 14?
True
Let r = -3 + 201. Let a = r + -355. Let o = -106 - a. Does 9 divide o?
False
Let a = 12344 + -7816. Let j be 130/4*4/5. Is 26 a factor of (-4)/26 + a/j?
False
Suppose 4*p + u - 454 - 272 = 0, 0 = -5*p + 3*u + 899. Does 10 divide p?
False
Let a be 281 - (6/(-2) - -4). Does 29 divide ((-3)/(24/130))/((-70)/a)?
False
Let l(k) = -k**3 + 14*k**2 + 12*k + 5. Does 50 divide l(11)?
True
Let k be 4734/(-6) - (3 + 0). Let n = -246 - k. Does 13 divide n?
True
Let d(l) = -105*l + 89. Suppose 0 = 18*n + 143 - 89. Does 27 divide d(n)?
False
Let r = 0 - 2. Let t = 1 - r. Suppose -2*h + 174 = t*o, -2*o + 10 = 3*o. Is 42 a factor of h?
True
Let h(f) = -4929*f - 1283. Is h(-2) a multiple of 25?
True
Let l(h) = 2*h**3 - 120*h**2 + 40*h + 222. Is 3 a factor of l(60)?
True
Let q = -162 - -2002. Suppose 360*u - 364*u = -q. Is 4 a factor of u?
True
Suppose -85*l + 2702 = -78*l. Suppose -4*v - l = -b - 24, 1100 = 3*b - 5*v. Is 29 a factor of b?
False
Let s = 262 - -3485. Does 6 divide s?
False
Suppose -2*f - 27*a + 22*a = -3897, -3*a - 7807 = -4*f. Is f a multiple of 89?
False
Suppose -k + 460 = -5*g, 4*k - 1008 - 737 = g. Let a = -330 + k. Is 7 a factor of a?
True
Let z(h) = 56*h - 215. Let a be z(7). Let k = 16 + a. Does 3 divide k?
False
Let k(v) = v**3 - 5*v**2 + 7*v + 2. Let l(p) = -p**2 + 14*p - 25. Let a be l(12). Let x be a/(-2)*((-21)/7 + 15). Does 20 divide k(x)?
True
Let v be 210/(-28)*(-2)/3. Suppose 232 - 787 = -v*h. Is 3 a factor of h?
True
Let a(o) = 10*o**2 + 5*o - 37. Let q(s) = 2*s**2 - 29*s - 44. Let g be q(16). Is a(g) a multiple of 12?
False
Suppose -3*u = -23 - 10. Suppose 218 = u*w - 2752. Suppose -3*r = 2*r - w. Is 10 a factor of r?
False
Suppose 2*c - 5 = c. Suppose 0*j + v = -c*j + 3571, -1431 = -2*j - 3*v. Suppose -q - j = -6*q + 4*h, 2*q + 3*h - 281 = 0. Is q a multiple of 18?
False
Let b(r) = 205*r**2 + 8*r - 1. Let i be b(3). Suppose 0 = 4*f - i - 92. Does 43 divide f?
False
Let i(f) = -5*f**2 - 41 + 4*f**2 - 40*f + 13*f - 5. Suppose 4*o - 20 = 5*o. Is i(o) a multiple of 8?
False
Suppose -7*r - 1600 = -11*r. Let y = r + 200. Is y a multiple of 15?
True
Let v be ((-21)/9 + 3)/(4/126). Suppose p = -v + 571. Does 55 divide p?
True
Let h(i) = 4*i**2 - 10*i - 16. Let f(b) = -5*b**2 + 9*b + 17. Let j(a) = a - 13. Let l be j(16). Let g(q) = l*h(q) + 2*f(q). Is 9 a factor of g(8)?
True
Suppose -4*j + 17 - 9 = 0. Suppose -5*d = n - 20, 4*n - j*d = -7 + 21. Let r(s) = s**3 - 3*s**2 - 20. Does 6 divide r(n)?
True
Let d(f) = 36*f + 2. Suppose 3 = -w + 2, 0 = -2*o + 3*w + 7. Let u be d(o). Suppose 98 = j + u. Is j a multiple of 6?
True
Let m be 3 + 0 + 2 + -6. Is (m/(-2))/(17/3978) a multiple of 20?
False
Let g = -330 + 214. Let a = -15 - g. Suppose 4*z - 327 = a. Is 10 a factor of z?
False
Suppose -3510*s - 16066 = -3512*s. Does 29 divide s?
True
Let k be 1*1/(-1)*34. Suppose 30*j + 1591 = -2309. Let b = k - j. Does 24 divide b?
True
Let k(v) = v**2 + 4*v - 20. Let r be k(-7). Let s be 2/(4/(-7)) + r/(-2). Does 5 divide -5*s/15*15?
True
Let o(z) = -39*z + 5666. Is 16 a factor of o(126)?
True
Let t be ((5 - 0) + -4 + 5)/1. Suppose c - v + t = -1, 3*c = -v - 33. Does 5 divide 4/c + 708/20?
True
Is ((-5)/(-15))/(102/6569208) a multiple of 17?
False
Suppose -7*d = -6*d - 36. Suppose -15*c + d = -12*c. Does 15 divide (c/4)/(2/120)?
True
Suppose -5363 = -4*f + 178*g - 175*g, 4*g = 5*f - 6705. Is 7 a factor of f?
True
Suppose -52*u + 25 = -47*u. Suppose -u*l = c - 475, 4*c = 9*c. Does 3 divide l?
False
Le