s 1272/23532 + (-205642)/(-74) a multiple of 12?
False
Does 16 divide (64/6)/((-2261)/126 - -18)?
True
Let q = 747 + -737. Let u(w) = 40*w - 135. Is 45 a factor of u(q)?
False
Let h be 925/75 - 2/(-3). Suppose 11*p - h*p + 10 = 0, 0 = -5*q - p + 2575. Is q a multiple of 5?
False
Let s(d) = 3*d + 407. Let k be s(0). Let j = k + -273. Is 17 a factor of j?
False
Does 9 divide ((2 - 4)/(-4))/(23218/(-23220) + 1)?
True
Let p = -323 - -396. Suppose p*h = 67*h + 1128. Is h a multiple of 4?
True
Suppose n = -136 - 176. Let b = n + 714. Is b a multiple of 27?
False
Suppose g - 4*g - 345 = 3*x, 0 = g - 4*x + 130. Let q = g - -262. Does 8 divide q?
True
Let k(g) = 26*g - 8 - g**2 - 9*g + 0*g**3 + 10*g - g**3. Let j be k(6). Let c = -66 - j. Does 7 divide c?
False
Suppose -5*b - v = -4 - 7, -b - 5*v = 17. Suppose -5*w = 15 + 10, -b*a - w = -598. Is a a multiple of 7?
False
Let i(a) = 193*a**2 + 17 - 11*a - 93*a**2 - 99*a**2. Let f be i(5). Let t = 125 + f. Does 16 divide t?
True
Let f(p) = -p**2 - 8*p + 10. Let w = -21 - -11. Let m be f(w). Let i = 5 - m. Does 5 divide i?
True
Let m be (-14)/(-3) - 2/(-6). Let l be 139 + 2/((-10)/45). Suppose 88 + l = 3*o + 2*v, 3*v - 362 = -m*o. Does 10 divide o?
True
Let f = 5 - 5. Let u be (5/(-10))/((-11)/924). Is 12 a factor of 117 + f + 0 + u/14?
True
Is 5 a factor of ((-938)/8 + 1)/((-11)/(880/3))?
True
Is 148 a factor of ((-502)/8)/((-37)/7844)*1?
False
Let v(w) be the third derivative of w**5/20 + 11*w**4/24 + 2*w**2. Let j be (0 - (9 - 9)) + 3. Is 5 a factor of v(j)?
True
Let t(v) be the second derivative of -v**4/12 - 4*v**3/3 - v**2 + 14*v. Let n be t(-8). Does 12 divide 59 - (3 - (6 + n))?
True
Suppose -205*w - 852609 + 3369599 = 0. Is 82 a factor of w?
False
Suppose s + 0 = 21. Let x = 26 - s. Suppose -x*t = 0, 3*n - 4*n + 3*t = -78. Is n a multiple of 16?
False
Suppose 0 = -21*r - 7*r + 84. Is 51 a factor of (3 - 2)/(r/3309) + -4?
False
Let y = 570 - 369. Suppose 0 = -40*u + 43*u + y. Let k = -36 - u. Does 5 divide k?
False
Suppose -3*a + 7*a - 176 = -2*b, 4*a = -b + 96. Is 4 a factor of b?
True
Suppose -3*f + 9*b + 52958 = -14860, -3*f = -2*b - 67797. Does 159 divide f?
False
Let n(r) = -3*r**2 - 26*r - 27. Let p(s) = 7*s**2 + 52*s + 53. Let h(c) = -9*n(c) - 4*p(c). Suppose 5*f = g - 4 - 2, f + 102 = 5*g. Does 21 divide h(g)?
False
Is -34 + 28 - (-3327 - 2 - 3) a multiple of 14?
False
Let j(n) = n + 11. Let r be -10 - (-2 + -2 - -5). Let y be j(r). Is 10 a factor of 20 + 60 - (y + 0)/(-1)?
True
Let n = 1146 + 2920. Does 17 divide n?
False
Suppose 4*r + 6 = 14. Suppose 0 = -r*n + 4*n + 3*n. Suppose n = 7*g - 348 - 135. Does 18 divide g?
False
Let l(c) = -46*c**2 + 24*c - 49. Let r be l(2). Let u = r + 617. Is u a multiple of 9?
True
Suppose 0 = -v - 14 + 45. Let z = v + -27. Suppose -4 + 28 = z*b. Is 6 a factor of b?
True
Suppose -21885 + 84921 = 34*d. Does 9 divide d?
True
Suppose -26*i - 2*j + 7154 = -22*i, 5367 = 3*i + j. Does 10 divide i?
True
Is 80 a factor of 6873 + (((-14)/70)/(1/(-10)) - -5)?
True
Suppose -3*b = -b + 4*k - 6, 0 = 3*b - 3*k - 27. Suppose -24 = 3*o - b*o. Let l = 31 - o. Is l a multiple of 8?
False
Suppose -5*r - 2*g - 2216 = -29384, -2*g = -3*r + 16288. Does 8 divide r?
True
Suppose 7*r = 12*r - 120. Suppose 5*v = r + 6. Let o(q) = 4*q + 4. Is 5 a factor of o(v)?
False
Suppose 5795 = 8*w + 22387. Let m = -1431 - w. Is m a multiple of 27?
False
Let c be (-2)/(-20) - (-7890282)/380. Suppose -73*l + 15*l + c = 0. Is 10 a factor of l?
False
Let u = -75 + 122. Does 11 divide (u - 53) + (-408)/(-2)?
True
Let g = 200 + 257. Let o = g - 186. Is o a multiple of 11?
False
Let f(x) = 74*x - 2. Suppose 5*m = -w + 4*w + 100, -5*m - 4*w + 135 = 0. Suppose -2*z - m = -25. Is f(z) a multiple of 8?
True
Suppose 5*d - 542 = -l, 3*d = -2*l + 6*l + 339. Suppose -4*r - 26 + 38 = 0. Does 15 divide d - 0/(0 - r)?
False
Does 47 divide (-22770)/(-594)*141/5?
True
Is 2387 + 0*(-14)/(-196) a multiple of 5?
False
Let m(n) = 224*n + 232. Let a be m(5). Is 43 a factor of a/14 + (-5)/(140/(-12))?
False
Let a(y) = y**2 - 2*y - 1. Let s be a(0). Let d be (s - 3)*2/(-16)*6. Suppose -8*n + 80 = -d*n. Is 4 a factor of n?
True
Let k = 122 - 100. Let l be (1 + (-1 - 1))/(k/(-88)). Is (1 + -2)*l - (-9)/1 a multiple of 2?
False
Let c(n) = 17*n**2 + 7 + n**3 - 6*n**2 + 7*n - n**2. Let k be c(-9). Suppose 0 = -s + 3*l + k + 49, 3*s - 4*l - 237 = 0. Does 43 divide s?
False
Is 24 a factor of (-2 + -2)/(9 + -5) + 2761?
True
Suppose -10*n - 152 = -1012. Let v = 218 - n. Is 10 a factor of v?
False
Let l(s) = 49*s**2 + 3*s - 16. Let a(f) = -20*f + 165. Let x be a(8). Does 12 divide l(x)?
True
Let a(b) = -23*b + 204. Let r be a(9). Is 25 a factor of (-1)/(-1) - (-1168 - 21) - r?
False
Let a(t) = 164*t**2 - 4*t - 3. Let n be a(1). Suppose n = 6*f - 4*f + o, -2*o = f - 71. Is f a multiple of 9?
True
Let a be (-30)/(-9) - 4/(-6). Suppose 240 = 2*k + 4*d, 0*k - a*k + 2*d + 480 = 0. Suppose -h + 3*o + 5 = -11, -5*h + k = -5*o. Is 28 a factor of h?
True
Let o(k) = 38*k**2 + 142*k - 2. Does 31 divide o(-9)?
True
Let j(x) = 8*x - 78. Let m(q) = q - 1. Let f(w) = j(w) - m(w). Let r = 23 - -3. Does 7 divide f(r)?
True
Let f = 49850 - 34027. Does 137 divide f?
False
Suppose -2*w = 3*w - 5*c - 25, 0 = -3*w - 5*c - 17. Is 5 + w/2*404 a multiple of 23?
True
Is 48 a factor of 430/645*7/((-7)/(-59616))?
True
Suppose 5*a + 28*a = 132. Suppose 2*v = -y + 2081, 3*v - 10391 = -a*y - y. Is 68 a factor of y?
False
Suppose 2*u + 5*d - 510 - 156 = 0, -4*d + 664 = 2*u. Is u a multiple of 35?
False
Let w(q) = q**2 + 3*q + 10. Let d(g) = 3*g**2 + 10*g + 29. Let v(f) = 6*d(f) - 17*w(f). Let a be v(-10). Let n(j) = 8*j - 8. Does 19 divide n(a)?
False
Let c = -283 + 459. Suppose -7*j = -6 - c. Does 11 divide ((j - 4)*-2)/(1 - 2)?
True
Suppose -3*y + 45120 = 44*y. Suppose 4*m = 1008 + y. Is 19 a factor of m?
False
Suppose 103*w = -29*w - 9*w + 1129410. Does 6 divide w?
True
Suppose -8*g + 84 = -g. Suppose -g*l + 33 + 27 = 0. Suppose -35 - 75 = -l*s - 5*t, 2*s - 34 = -4*t. Does 25 divide s?
False
Suppose 29 - 77 = -2*z. Suppose 7 = -s + 5*d - 27, 2*d = 3*s + 154. Is 45 a factor of (-80)/1*s/z?
True
Suppose -12 = 21*x - 25*x. Is 51 a factor of (x - 5)*(-118 - 0)?
False
Let b(i) = -178*i**3 - 12*i**2 - 14*i - 10. Is 34 a factor of b(-2)?
True
Suppose 5 + 19 = o. Suppose -4*c = 3*f - 12, -3*f + 9 = -3*c - o. Suppose -f*t + 108 = -4*t. Is t a multiple of 20?
False
Let v(k) = 104*k**2 - 11*k - 73. Is 11 a factor of v(-6)?
False
Let g(k) be the third derivative of -k**6/120 - 2*k**5/5 - 17*k**4/12 - 7*k**3/2 + 86*k**2. Does 67 divide g(-23)?
False
Suppose -3*b + 4 = 5*l - 15, 3*l = -b + 9. Is 2/b + (-6204)/(-9) a multiple of 15?
True
Suppose -23*n + 372 = -295. Suppose -n = -6*k + 133. Is 27 a factor of k?
True
Suppose -34*n = -29*n + 2*g - 74258, 2*g + 29692 = 2*n. Is 12 a factor of n?
False
Let t be 4385/(-25) + (48/20 - 2). Is 72 a factor of 14/t - 21608/(-100)?
True
Suppose -151 = -h - 4*d + 221, 3*d + 1393 = 4*h. Does 8 divide h?
True
Let c = -43 - -199. Let l = 406 - c. Does 15 divide l?
False
Is 45 a factor of 29759 - -2*(-9 + 88/16)?
False
Let j = -3432 - -5741. Let t = -1441 + j. Is t a multiple of 24?
False
Let p(u) = u**2 + 3*u - 28. Let v be p(4). Suppose 2*t = v, -4*n + 7*n + t - 1365 = 0. Is n a multiple of 35?
True
Is 42/((-122)/(-456) + (-26)/104) a multiple of 14?
True
Suppose 5*f = -32*b + 33*b + 113607, 2*f = -5*b + 45486. Is f a multiple of 11?
False
Suppose 0 = -3*f - 2*i + i + 229, 0 = -4*f - 4*i + 316. Let t = f + -127. Let n = t + 82. Is 5 a factor of n?
True
Let y = 44 + -38. Suppose -y = 3*l - 0*l + 4*b, 0 = -4*l + 4*b + 20. Suppose 4*u = 5*z - 219, -z + 10 + 29 = -l*u. Does 10 divide z?
False
Let g = 546 + -1221. Let v = -499 - g. Is v a multiple of 17?
False
Let y be (4 - 0)/(-10 - -12) - -1. Let j be (-30)/45 + (-4)/y. Does 8 divide 3 + -4 - j - -47?
True
Let s(k) = 3*k**2 - 5*k - 4. Let r be s(-1). Suppose -9 = 5*j + r*n, j + n - 2 + 4 = 0. Is -62*(3/(-3) + j) a multiple of 30?
False
Is (-4)/(((-3)/(-173))/(-3)) a multiple of 37?
False
Let u(s) = -s**3 + 9*s + 10 + 4*s**2 + 5 + s**2. Let t be u(7). Is 9 a factor of 8/t - 362/(-5)?
True
Suppose -w + 10 = 4*w. Let l be w - 0*5/(-15). Suppose 12 = l*z + f - 6, -5*f = 5*z - 55. Does 4 div