actor of w?
True
Let g be 14/(-8)*2*(-24)/14. Let w be (-6)/(-4)*((-32)/g)/4. Is 18 a factor of ((4 + -2)*-5)/(w/29)?
False
Let b = 2857 + 6453. Does 49 divide b?
True
Let l = -8292 + 23626. Does 230 divide l?
False
Let f = -766 + 1121. Suppose 9*g - 1885 = -f. Is 17 a factor of g?
True
Is (1792/(-42) - 7)/((-1)/66) a multiple of 149?
True
Let z = 11 - 8. Suppose -4*w = 2*t - 4, 6*t + z*w - 3 = 2*t. Suppose -3*x + 360 = -t*x. Is x a multiple of 39?
False
Suppose -9*m - 160 = -4*m. Let g = -28 - m. Does 10 divide ((2 - 9) + g)*-20?
True
Let p be (26 - 4 - -2) + -8. Let g(o) = o**3 - 14*o**2 + 13*o - 20. Does 48 divide g(p)?
False
Let i(k) = k**3 - 3*k**2 - 3*k + 1. Let t be i(4). Let j be -142 - (-3 - (-5 + t)). Let x = 1 - j. Is x a multiple of 8?
False
Suppose -2*w - 8 = 0, -20*a - w = -24*a + 2504. Is 56 a factor of a?
False
Let c = -9263 - -11977. Is c a multiple of 118?
True
Is 47 a factor of (-186108)/(-30) + 50/125?
True
Let c be 1*(-3)/((-12)/260). Let z = c - 69. Let y(d) = -d**3 + 3*d**2 - 2*d - 1. Is 16 a factor of y(z)?
False
Let y(a) = -a**2 - 33*a - 36. Let k be y(-27). Is 32 a factor of 13176/k + 6/14?
False
Suppose 4*a - 857 = -y + 32433, 4*a - 2*y - 33284 = 0. Does 30 divide a?
False
Suppose 3*d + 1 = -2*w, -5*d = 2*w - 5*w + 46. Suppose 0 = -w*q + 1050 + 259. Is q a multiple of 7?
False
Let q(b) = 4*b. Let u be q(1). Suppose 1 = -u*n + 5*j, 4*j + 2 = 5*n + 1. Is n/2*(27 + 7) a multiple of 7?
False
Suppose -3*b + 2*m = -14, -2*b = 4*m + m - 41. Suppose -2679 = -b*u + 4185. Is u a multiple of 21?
False
Let p(d) = 2*d**2 + 15*d + 8. Let k be p(-15). Suppose k = 15*z - 14*z. Is z a multiple of 11?
False
Suppose -103*q + 95*q = 4920. Let v = -190 - q. Does 25 divide v?
True
Let o(i) = i**2 - i - 12. Let w be o(4). Let k(j) = 5*j + 89. Is k(w) a multiple of 5?
False
Suppose -2*y = -4*i + 140056, 180 = 2*y + 196. Does 234 divide i?
False
Suppose -31902 - 40122 - 36939 = -9*b. Does 10 divide b?
False
Let o = -977 + 1409. Suppose o*a = 438*a - 1986. Is 10 a factor of a?
False
Let a(w) = 4*w - 2. Suppose 0*n = -3*n + 4*m - 68, 5*n - m + 85 = 0. Let i be n/56 - (-58)/7. Is 6 a factor of a(i)?
True
Let z = -1872 - -8055. Is 10 a factor of z?
False
Let b = 1196 + 905. Does 8 divide b?
False
Let k be (-9)/24 - 3/(-8). Suppose 395*i - 389*i - 546 = k. Does 5 divide i?
False
Suppose -7*d + d = 864. Let v be ((-33)/(-44))/((-2)/d). Suppose -2*o + 90 = -v. Is o a multiple of 4?
True
Let x(n) = -n**3 + 77*n**2 - 310*n - 92. Is 16 a factor of x(65)?
False
Let p(h) = 107*h - 86. Let z be p(21). Suppose 10*a - z - 11639 = 0. Is a a multiple of 92?
True
Let f = -4373 - -7187. Suppose f = 18*b - 2694. Is 12 a factor of b?
False
Let c = -23241 + 35601. Is 30 a factor of c?
True
Let i(n) = 6*n**2 + 12*n + 21. Let r be i(-10). Let k = 718 - r. Is k a multiple of 40?
False
Let j be (-15)/10*(14/(-6) + 1). Suppose 3*c - 214 = -2*q, -6 - j = -4*c. Let v = 272 - q. Does 14 divide v?
True
Suppose o + 3*w = -w + 4513, 5*o + 3*w - 22480 = 0. Suppose -5*q = 8*u - 4*u - 4483, o = 4*u - 5*q. Is u a multiple of 11?
True
Let j(g) = -g + 2. Let k = 37 - 38. Let t be j(k). Is (7 - t) + -1 + 19 a multiple of 5?
False
Let w be (5/4)/(3/60*5). Let m(p) = -p**2 + 7*p + 10. Let g be m(8). Suppose w*c - 170 = -g*r, 2 = -3*c - 4. Is 10 a factor of r?
True
Let l(d) = 23*d - 33. Let h be l(2). Suppose 0 = h*m - 6246 - 2854. Does 14 divide m?
True
Let b(w) = 5*w**2 + 142*w + 174. Is b(-40) a multiple of 43?
True
Let p(f) = 598 + 29*f - 317 + 289 + 250. Is p(0) a multiple of 8?
False
Suppose 133198*t = 133180*t + 7398. Is 8 a factor of t?
False
Suppose 8 = 6*h + 188. Let j be -2*(-2)/(-24)*h. Suppose -2*x = j*r - 4*x - 692, -x = -5*r + 696. Is r a multiple of 20?
True
Let n = 75 - 75. Let a be (0 - -4) + n + -2. Suppose 228 = a*f + 5*b, -f + 168 - 56 = 2*b. Is f a multiple of 7?
False
Let y = 35 + -42. Let g(u) = -u**3 - 6*u**2 + u - 16. Let z be g(y). Suppose z + 24 = 2*h. Is h a multiple of 7?
False
Let f(h) = 7*h**2 - 93*h + 646. Does 14 divide f(29)?
True
Let s(l) = 6*l - 20. Let u be s(5). Let y(n) = 13*n - 92. Let a be y(u). Let d = 23 + a. Is 6 a factor of d?
False
Suppose 5*n - 14107 = -3*i, 5*n - 14104 = -16*i + 10*i. Does 46 divide n?
False
Suppose 2*q = -2*x + 316, -2*x - 360 = 5*q - 1144. Suppose q + 834 = 15*m. Does 40 divide m?
False
Let f = -49 - -110. Let i = -67 + f. Does 11 divide 75 + 3/i*-2?
False
Suppose 122172 = -149*t + 227*t - 1214592. Is t a multiple of 41?
True
Let b(i) = 5*i + 32. Let l be b(-6). Is 5 a factor of l/10 - (-44)/165*393?
True
Let b be ((55/4)/11)/((-1)/(-4)). Suppose -6*i = -2*i + 5*f - 931, -i + 214 = -b*f. Does 7 divide i?
False
Let a be 439*12/15 - (-4)/(-20). Suppose a = 3*g + 4*y, 4*g - 3*y - 468 = -0*y. Is g a multiple of 39?
True
Let k = 716 + -1178. Let q = 1821 + k. Does 9 divide q?
True
Let q be (28 - 10)/((4/(-286))/(-1)). Suppose 2*m + 2*v = 666, 6*v + q = 4*m + v. Suppose -x + 4*c + 91 = 2*c, 4*c = -4*x + m. Does 14 divide x?
False
Let y = 9 + -9. Suppose y = 2*j - 745 - 205. Suppose -j = -5*u + 190. Does 19 divide u?
True
Suppose f - 10*t + 6 = -12*t, f - 2*t = 6. Suppose f = 2*o + x - 1051, -4*o + 4*x = -106 - 1966. Is 22 a factor of o?
False
Let i = 4163 + 38109. Is 32 a factor of i?
True
Let g = 502 - 482. Suppose g*k - 8548 = 12792. Does 78 divide k?
False
Let h(c) = 31*c**3 + 23*c**2 + 6*c - 2. Is 11 a factor of h(6)?
False
Suppose -c + n = -5, -2*c + 3*n + 5 + 10 = 0. Suppose c = -5*q + s - 627, 0 = 5*q + s + 450 + 183. Is 16 a factor of (-10 + 1)*28/q*16?
True
Let h = -22061 - -35014. Is h a multiple of 177?
False
Let a(u) = 4*u - 19. Let v be a(9). Suppose -2*d + d + 3*p - 5 = 0, 3*p - v = -2*d. Suppose -14 = n - 4*m + 8*m, 0 = d*n + 2*m. Does 2 divide n?
True
Suppose -132*w + 142*w - 1515 = 5345. Is 14 a factor of w?
True
Let y(o) = -1080*o**3 + 38*o + 138. Is y(-3) a multiple of 10?
False
Let k = -1540 + 828. Let h = -665 - k. Does 5 divide h?
False
Let z be (-1 - 0)/(0 - 4/228). Suppose 0 = -5*s + 142 - z. Suppose -2*l + 49 = s. Does 3 divide l?
False
Let v be 18 - 22 - 89*-1. Let u = -79 + v. Suppose -u*g + 4*g = -28. Is 2 a factor of g?
True
Let h(s) = s**3 + 11*s**2 - 3*s - 3. Let u(f) = -f**3 - 19*f**2 + 2*f + 38. Let o be u(-19). Let g(x) = -4*x - 11. Let w be g(o). Does 12 divide h(w)?
False
Suppose 0 = p + 4*c + 15, 0*p - 24 = 5*p + 3*c. Let y be (3*(-1)/(-9))/(p/45). Let d(q) = 2*q**2 - 6*q - 5. Does 15 divide d(y)?
True
Suppose 16*y - 410 = 11*y. Let g = y + -4. Is g a multiple of 39?
True
Let f(o) = -o**3 + 5*o**2 + 7*o - 50. Let v be f(5). Is 12 a factor of 4/((-110)/v - 7)?
True
Suppose x - 11 = -2*n, 5*x = 3*n - 3 + 19. Suppose 0 = -2*z + m + 252, 5*z + 5*m + 170 = 830. Suppose 2*s - 134 = -s + 4*c, -c = -n*s + z. Is s a multiple of 6?
True
Let m = 36975 - 30916. Does 73 divide m?
True
Let w(z) = -z**3 - 6*z**2 + 6*z - 4. Let l be w(-7). Suppose -2*p + l*p - 6 = 0. Suppose -176 = -p*m + 4*m. Does 38 divide m?
False
Suppose 58*c + 2366 = 4827 + 3919. Is c a multiple of 11?
True
Let w(i) = 5*i**2 - 97*i - 570. Let c(t) = -3*t**2 + 65*t + 379. Let g(a) = 8*c(a) + 5*w(a). Is g(-31) a multiple of 29?
True
Suppose 9*o - 6*o - 18 = -3*d, o - 14 = -5*d. Suppose -2*t = o*p - 38, -3 = -13*t + 14*t. Does 11 divide p?
True
Let p = 49 - -6. Let n(x) = -2*x**2 - 16*x + 2. Let m be n(-8). Suppose p = m*l + 5*k, -3*k - 91 = l - 6*l. Does 4 divide l?
True
Let w = -100 + 44. Let o = w + -583. Is 2/(-8) + o/(-12) a multiple of 16?
False
Let c(q) = 2*q + 138. Let p be c(-47). Is 8 a factor of (p/8)/((-10)/(-220))?
False
Suppose -51*d = -35*d - 42*d + 151424. Is 13 a factor of d?
True
Let c = -4732 - -23789. Does 17 divide c?
True
Let r be 7 + (-9 - -5) + 0. Suppose -2*p + 0*p - 2*k = -542, r*p = 3*k + 789. Is p a multiple of 21?
False
Let j be (-1)/4*89*(4 - 20). Let p = j - -400. Is p a multiple of 21?
True
Does 17 divide (162/63)/(2/2023)?
True
Let j(c) = -11*c + 34. Let v(u) = u**3 - 2*u**2 - 3*u + 6. Let f be v(2). Suppose 4*s + 18 + 10 = f. Is 14 a factor of j(s)?
False
Let k = 56 + -55. Is -2 - (2 + (-77 - k)) - -1 a multiple of 75?
True
Suppose -n + 7*n - 117 = -693. Let c be 2/3 - 411/9. Does 16 divide (3 + -13)*(-12)/c*n?
True
Suppose -2*u + 24 = -92. Let p be (-180)/27*(702/(-4))/9. Let o = p - u. Is 18 a