2))?
True
Is 46 a factor of (-4)/(-10) - (-194773)/305?
False
Is 7 a factor of 3735/6 - 4/(-8)?
True
Let c(w) = -2*w + 26. Let m be c(12). Suppose -15 = -u - k, -u + 26 + 4 = -m*k. Is u a multiple of 4?
True
Suppose -3*k + 4*a = -914, -3*k + 797 = 5*a - 153. Is 62 a factor of k?
True
Let h(s) = 23*s**2 - 1. Let n be h(2). Let j = n + -31. Does 6 divide j?
True
Suppose -k = 251 - 64. Let h = -124 - k. Is h a multiple of 7?
True
Let v(w) be the first derivative of -w**6/360 + 2*w**5/15 - 5*w**4/12 - 7*w**3/3 - 4. Let y(c) be the third derivative of v(c). Is y(7) a multiple of 13?
False
Is -6 + 3/1 + 235 a multiple of 8?
True
Suppose 2*y = -5*t + 770, 4*y = -27*t + 23*t + 616. Is t a multiple of 22?
True
Let a(s) = 5*s**2 + 2*s + 1. Let y be a(-1). Is (116/3)/y*(4 + -1) a multiple of 3?
False
Suppose 3*m + 4372 = 4*y - m, 4*y = 3*m + 4371. Is y a multiple of 91?
True
Let l(t) = -234*t - 256. Is l(-10) a multiple of 12?
False
Let y(f) = f**2 + 12*f + 2. Let a be y(-12). Let k be -3 + (2 - (a + 0)). Is 14 a factor of 14/k*(-3 + -3)?
True
Let q be 1 - -1*4*1047/12. Let y = q + -208. Does 18 divide y?
False
Let c(r) = -133*r**2 - r + 1. Let y be c(1). Let d = 54 - y. Suppose 2*w + 4*x - 122 = 2*x, 3*w + 2*x = d. Does 20 divide w?
False
Suppose 0 = 4*m - t - 386, m - 6*m + 486 = -3*t. Does 8 divide m?
True
Suppose -d + 209 = -0*d + 3*i, 3*i = d - 191. Suppose s = o + 2*o - d, -5*s - 350 = -5*o. Is o a multiple of 22?
False
Suppose 0 = 18*x - 8373 + 1893. Suppose -18 = -5*w + 2*i - 5*i, -5*i = 4*w - 17. Is (-3)/(w + x/(-118)) a multiple of 16?
False
Suppose -4025 = -8*v + 3215. Suppose -4*i + v - 317 = 0. Does 13 divide i?
False
Suppose 4*r = -2*y + 3*r + 334, 3*r = -6. Is y a multiple of 8?
True
Suppose 4*l - 11*q + 6*q = 208, 2*q - 293 = -5*l. Is 13 a factor of l?
False
Let h be 2/(-3) + 11/3. Let b(v) = 5*v**3 + 8*v**2 - 6*v + 1. Let x(m) = -m**3 - m**2 + m - 1. Let q(g) = b(g) + 4*x(g). Is q(h) a multiple of 18?
True
Suppose -4*d + 5*d - 24 = 0. Let a be d/14*28/8. Suppose -7*t = -a*t - 36. Is 12 a factor of t?
True
Let j be -4*((-11)/(-4) - 2). Let u be -2*(-2 - (3 + j)). Is (-801)/(-15) - u/10 a multiple of 14?
False
Suppose 4 = 2*x - 6. Suppose 171 = x*d - 5*c + 2*c, -3*c + 60 = 2*d. Is d a multiple of 5?
False
Suppose -33*w - 1960 = -47*w. Does 14 divide w?
True
Let m = -93 - -561. Is m a multiple of 9?
True
Let m be ((-3 + 19)/4)/1. Suppose m*q - 8*q = -120. Does 19 divide q?
False
Suppose 0 = 22*z - 1957 - 2663. Is z a multiple of 17?
False
Let c = 13 - 12. Suppose -2 - c = -i. Suppose 0 = -3*x + 12, -m + 162 = 2*m + i*x. Does 15 divide m?
False
Let u(n) be the second derivative of 2*n**3/3 - 9*n**2/2 + 2*n. Let h be u(4). Suppose h*y - 5*y = 88. Does 11 divide y?
True
Let s(f) = -f - 8. Let i be s(-10). Let h(g) = -2*g**2 + 1. Let n be h(i). Let v = n - -64. Does 19 divide v?
True
Let t(d) = 6*d**2 + 23*d - 119. Is t(5) a multiple of 73?
True
Suppose -3*w = -3466 - 563. Does 6 divide w?
False
Let z(o) = 16*o**2 + 2*o + 2. Let w be 312/(-143) - (-2)/11. Is 38 a factor of z(w)?
False
Let m(c) = 2*c**2 - c - 31. Let w be m(-5). Suppose 3*f = -3*q + 51, 2*f - 77 = -2*f - q. Suppose -4*j + w = -f. Does 3 divide j?
False
Suppose 72 = -2*k + 8. Let w = k - -38. Does 6 divide w?
True
Suppose 0*x - 440 = -2*v - 2*x, -3*x = 9. Let r = v - 153. Does 14 divide r?
True
Let r(f) = 399*f + 11. Let u be (-290)/(-26) - (-22)/(-143). Let k be r(u). Does 13 divide 2/(-7) - k/(-112)?
True
Suppose g + 3003 = 4*u, 2*g = -10*u + 12*u - 1500. Is u a multiple of 13?
False
Let d(n) = 6*n**2 - 10*n + 1. Let z(h) = 12*h**2 - 20*h + 1. Let y(a) = -11*d(a) + 6*z(a). Let g be y(5). Does 4 divide 42/5 + (-38)/g?
True
Let q be 2*4/(-8) - -45. Is 14 a factor of (-1)/(-3) - -19*q/12?
True
Let j(h) be the third derivative of h**4/24 + 5*h**3/2 + h**2. Let k be j(-9). Is 70/k*3 + -3 a multiple of 16?
True
Let t be 408/(-18) + 4/6. Let z be 1/((-250)/84 + 3). Let m = t + z. Does 11 divide m?
False
Let b(h) = -8*h**2 - h - 4. Let g be b(-4). Let y = g + 257. Is y a multiple of 18?
False
Let p = -405 - -194. Let a = p - -321. Suppose 8*s - a = 3*s. Does 22 divide s?
True
Let c(r) be the third derivative of -r**6/120 - r**5/60 - r**4/8 + 17*r**3/3 + 4*r**2. Does 19 divide c(0)?
False
Let s(g) = -g**2 - 26*g + 12. Is s(-24) a multiple of 4?
True
Suppose -3*m + 9 = 12. Let r(k) = -59*k + 2. Let d be r(m). Let b = -37 + d. Is 24 a factor of b?
True
Let o = -46 - -86. Let w = o + -32. Does 4 divide w?
True
Let n = -9 + 14. Let l(y) = -4*y**3 + n*y**3 - 9*y**2 - 12 + 4 + 12*y. Is l(8) a multiple of 18?
False
Suppose -23*g + 3535 = -3227. Is 20 a factor of g?
False
Suppose -2*h + 4*x - 12 = 0, 4*h + 4*x - 5 = 19. Suppose -70 = -5*y + 4*b - 0*b, -h*b + 42 = 3*y. Is 7/y + 42/4 a multiple of 9?
False
Let c = -42 - -45. Suppose -2*k - c*k + 630 = 4*l, 2*k - 252 = -l. Is k a multiple of 14?
True
Suppose -4*f = 5*b - 9*f - 6455, -5*b + 4*f + 6460 = 0. Is b a multiple of 9?
True
Suppose x + 9 = 4*w, -2*x + 3*x - 15 = -4*w. Suppose 5*a - 889 = -0*a - 3*k, w*a = 4*k + 545. Is 21 a factor of a?
False
Let g be (-4)/(24/(-409)) - (-1)/(-6). Let r = -27 + g. Is 32 a factor of r?
False
Let f be (-2)/(-3)*3*2. Suppose 12*x - 14 = 238. Suppose -3*c + 5*r = -3, 0 = -f*c + 3*r - 2*r + x. Is 3 a factor of c?
True
Let z(h) = -51*h**3 + h**2 + 2. Does 56 divide z(-2)?
False
Suppose r - 7*t = -10*t + 570, -r - 5*t = -568. Does 48 divide r?
False
Suppose 20 = 5*j + 5*c, 2*j + 7 = 5*c - 13. Suppose j = -37*l + 39*l - 12. Does 3 divide l?
True
Suppose -o - j = -8, -j + 38 = 3*o - 5*j. Let r = o + -8. Suppose 5*g - 2*g = 4*w - 97, 0 = 4*w - r*g - 102. Is w a multiple of 4?
True
Let u(r) = -r**3 - 9*r**2 - 11*r + 4. Let b(h) = -h**3 - 10*h**2 - 11*h + 4. Let m(f) = -3*b(f) + 2*u(f). Is m(-10) a multiple of 6?
False
Let c be 4/16 + (3 - (-349)/(-4)). Is ((-28)/c)/(2/180) a multiple of 5?
True
Let t(r) = -2*r**3 - 7*r**2 - 5*r - 4. Let u = -3 + 9. Let w = 2 - u. Does 15 divide t(w)?
False
Let p(x) = 115*x**3 + 1. Is p(1) a multiple of 58?
True
Let t(c) = -6*c + 4 - 12*c**2 + 14*c**2 - 4*c**2. Let p be t(7). Does 14 divide 35/14*p/(-10)?
False
Let s(l) = 3*l - 15. Let z be s(6). Let h(i) = 12*i**2 - 5*i**2 - 5 + z + 9*i - 8*i**2. Is 15 a factor of h(4)?
False
Let a(g) = -3394*g + 5. Let d be a(2). Is 3/4 + d/(-76) a multiple of 18?
True
Let n(y) = 3*y - 7. Let p be n(4). Is 3 a factor of (-4)/(-10)*p - -4?
True
Suppose -2*u + 2309 = 3*c - 1193, 2*c - 2*u - 2338 = 0. Is 16 a factor of c?
True
Let s(m) = 9*m - 8 + 3 - 1 - 17 + m**2. Does 27 divide s(-13)?
False
Let b(m) = m**2 - 33*m + 2891. Does 7 divide b(0)?
True
Let v be ((-105)/(-25) - 4) + (-27)/(-15). Let r = -3 + 16. Let i = v + r. Is i a multiple of 11?
False
Is -539*36/(-18)*(-6)/(-4) a multiple of 7?
True
Let r(m) = -150*m + 233. Is 20 a factor of r(-7)?
False
Let h = 135 - -112. Is h a multiple of 19?
True
Suppose 5*x + 50 = 2*j, -x - 2*j = 3*x + 58. Let d(i) = -14*i. Let k be d(-1). Let s = x + k. Is s a multiple of 2?
True
Let g be (8/3)/((-1)/3). Let y = g + 11. Suppose 12 = y*a - 87. Does 9 divide a?
False
Let f(n) = 5*n + 4. Let a be f(-3). Let r be 2/a - 63/77. Does 9 divide r + 4 - (-6 - 0)?
True
Suppose 7*c - 9*c = -3*z - 49, -1 = z. Is c a multiple of 5?
False
Let j(s) = 667*s**2 + 15*s - 15. Does 27 divide j(1)?
False
Let p(l) = 57*l + 14. Let x be p(8). Suppose 0 = 2*c + 2*f - x, 5*f - 713 = -3*c - 0*f. Suppose 5*k - c = 79. Is 15 a factor of k?
False
Suppose 5*c + 2*k - 1737 = k, -c + 4*k + 360 = 0. Is c a multiple of 12?
True
Let s(k) = -k**2 + 6*k + 19. Let i be s(8). Is 13 a factor of (i*-9)/((-2)/20)?
False
Let h be 4*((-5)/4 - 1). Let y = 18 + h. Does 8 divide (y*-3*1)/(-1)?
False
Is (10/(-4) + -1)*-696 a multiple of 6?
True
Is 2 a factor of (1472/(-138))/(0 + (-1)/3)?
True
Suppose 12 = -2*m - u - 4*u, -4*m = 4*u. Suppose -m*c = x - 66, x = -c + 4*c + 94. Is x a multiple of 7?
False
Suppose -23*r - 7179 = -20289. Is r a multiple of 39?
False
Suppose -3*p + 10 = 2*h, 5*h - 1 - 24 = -3*p. Suppose 4*x - 37 = -j - 192, h*x + j = -193. Is 19 a factor of (x/(-1))/((-24)/(-36))?
True
Let x(i) = 88*i - 86. Does 16 divide x(7)?
False
Suppose 1162 = 3*w - 2*l, -7*w + 8*w - 4*l - 394 = 0. Is w a multiple of 11?
False
Suppose -5*y + 3*h = -2286, 0