pose -b - 107 = -5*c, -94 = -4*c - 0*b - 2*b. Does 21 divide (-4)/c - 2*3735/(-66)?
False
Does 15 divide (-24)/9 - (-473756)/102?
False
Let z = 19994 + 6294. Is 34 a factor of z?
False
Let r = -163 + 550. Suppose -5*l + 148 = 2*y, 2*y = -3*y - 4*l + r. Let d = 167 - y. Does 22 divide d?
True
Suppose -2*r = -3*b + 3*r + 848, -2*r - 281 = -b. Suppose b = -4*z + 767. Does 7 divide z?
True
Let l = 95 - -26. Let h be (-2578)/(-18) + 14*(-13)/819. Let x = h - l. Does 2 divide x?
True
Let d be (4 - 22)*(-2)/6. Suppose -d*i + 1104 = 2*i. Does 5 divide i?
False
Let g(j) = j**3 - 11*j**2 + 8*j + 24. Let u be g(10). Suppose -5*v = -a + 30, 0*a + a - 66 = -u*v. Is 5 a factor of a?
True
Suppose 5*u + 1532 = -w + 5179, -3*u - 18235 = -5*w. Is w a multiple of 43?
False
Let l(r) = 1858*r**2 - 32*r + 75. Is 24 a factor of l(2)?
False
Let o be 4/(((-60)/(-366))/(-5)). Let i = o + 273. Does 52 divide i?
False
Suppose -31*n + 47285 = 14*n - 10*n. Does 18 divide n?
False
Suppose 2*a + 3*z - 2470 = 0, 5*a = 2*z + 4082 + 2150. Is a a multiple of 5?
False
Let o = 269 - 247. Suppose 1512 = 25*d - o*d. Does 72 divide d?
True
Let p = 30 - 27. Suppose 6 = u - p. Let q = 26 + u. Is q a multiple of 9?
False
Let p(u) = -22*u + 46. Let g be p(12). Let w = g + 273. Does 3 divide w?
False
Let w = 79930 + -54662. Does 17 divide w?
False
Let f be (-358)/(-6)*(-31 - -34). Let x(n) = n + 292. Let c be x(0). Let m = c - f. Is m a multiple of 12?
False
Suppose -68*r - 1068 = -37312. Is 13 a factor of r?
True
Let u(n) be the second derivative of -377*n**3/6 - 7*n**2/2 - 268*n. Does 7 divide u(-1)?
False
Suppose 4*y + 4*d - 5547 = 821, 2*y - 3176 = -4*d. Suppose 1803 + y = 11*b. Is b a multiple of 13?
False
Suppose 0 = -4*o - 3*c + 1140, -4*o + 0*o + 1144 = 4*c. Suppose -o*g + 286*g = 68. Is g a multiple of 2?
False
Let i = -32678 - -67379. Is i a multiple of 43?
True
Let a(c) be the second derivative of -2*c**3/3 - c**2 + 39*c. Does 16 divide a(-5)?
False
Is (4 - 5)*(0 + -2 + 3) - -24718 a multiple of 77?
True
Suppose 0 = -j + 5*x + 31, 0*x + x = 2*j - 26. Suppose 0 = 2*k, 15*y - k = j*y + 188. Does 9 divide y?
False
Let k(w) = -29*w + 1325. Is 9 a factor of k(-79)?
False
Let v(q) = 96*q - 67. Does 18 divide v(5)?
False
Suppose -17*g + 94 = 9. Suppose -5*z = 25, -169 = -g*s - 5*z + 666. Is s a multiple of 9?
False
Suppose 4*p - 401 - 223 = 2*l, -4*p - 5*l = -610. Suppose -6*c - 5*v = -5*c - p, -c + 163 = v. Does 15 divide c?
True
Let o(v) = v**2. Let j be o(0). Let h be (-2 + 1)/(j + 1/(-14)). Does 2 divide 1 - 1 - h/(-2)?
False
Let i(f) be the third derivative of -f**6/40 - f**5/6 + 23*f**4/24 + 2*f**3/3 - 2*f**2 + 80. Is i(-6) a multiple of 30?
False
Suppose 12 = 9*g - 6. Suppose -139300 = -z - 4*z - s, 27860 = z + g*s. Is 27 a factor of 0 + 4/(-26) + z/260?
False
Let b = 151 - 66. Suppose -65*i + b*i - 5480 = 0. Does 8 divide i?
False
Let a be (72/54)/((-2)/(-6)). Let c be (-3)/(-3) + (a - 1). Suppose -2 = c*s - 198. Is s a multiple of 3?
False
Let g(t) = 2*t**2 + 7*t - 12. Suppose 187*o - 16 = 189*o. Is g(o) a multiple of 20?
True
Suppose -7653*b = -7668*b + 366525. Does 15 divide b?
True
Let k(w) = -206*w**3 + 2*w**2 + 3*w + 2. Suppose 3*g - 160 = -439. Let v = g + 92. Does 9 divide k(v)?
True
Suppose 4*t + 2*m = 11962 + 10760, -4*t + 4*m = -22728. Does 28 divide t?
False
Let h(w) = w**3 + 29*w**2 + 30*w + 61. Let j be h(-28). Suppose 5*p - f + 506 = 0, 3*p - j*f - 203 = -489. Let c = -61 - p. Does 5 divide c?
False
Let d = 107 + -97. Suppose -d*m = -757 + 127. Is m a multiple of 9?
True
Let t(l) = 5*l - 22. Let s be t(12). Let w = s + 77. Let h = w + -66. Is 10 a factor of h?
False
Let z(x) = x**3 + 11*x**2 - 6*x - 2. Let s(p) = -110 + 52 + p + 4*p**2 + 52 - p**3 + 3*p. Let g be s(5). Is 4 a factor of z(g)?
True
Suppose 0*k - 2895 = -3*k - 5*o, 0 = 2*k - 4*o - 1908. Is 8 a factor of k?
True
Suppose -21*k + 15 = -18*k. Suppose -2*s + 12 + 1 = k*t, 4*s - 21 = -5*t. Suppose 4*v - 50 = -5*l, l - 6*l = -s*v + 70. Is v even?
False
Let u be (11 + -1 + 0)*10. Let m = 2096 - 2008. Let p = u - m. Is 4 a factor of p?
True
Suppose 0 = -37*f + 390255 + 665355. Does 9 divide f?
True
Suppose 0 = v + 97 - 103. Suppose 0 = -v*n + 169 - 1. Is n a multiple of 23?
False
Suppose -4*b = 5*y - b + 75, 0 = -2*y - 2*b - 34. Let a be y/(-10)*30/9. Suppose -x + a*x + 2*d = 386, -x = 5*d - 133. Is x a multiple of 16?
True
Let w(q) = 5*q**2 - 13*q + 18. Let r be w(4). Is 14 a factor of 0 + (r + -1)*728/130?
True
Suppose 3*n + 534 = -4*p + 2342, 2*p - 4*n = 926. Suppose -6*h + h + p = 0. Suppose -2*z = -5*r + h, -5*r + 7*r - 28 = 5*z. Is 9 a factor of r?
False
Suppose -4*a = -1 - 7. Suppose a*b + 15 = 7*b. Does 29 divide 2/(8/578) + b/6?
True
Let w = 9 - 2. Suppose -3*z + w*z = -24. Is (2 - (-15)/z)*-20 a multiple of 2?
True
Let x = -105 + 109. Suppose 1385 = 3*m + 5*r, 0 = r - x + 6. Is 23 a factor of m?
False
Let l be (-398)/12 + (3 - -5)/48. Let y = 93 + l. Is y a multiple of 30?
True
Is -6 + (-44311 + -5 + 2)*(-6)/12 a multiple of 29?
False
Suppose -27 + 111 = h. Let q = -60 + h. Does 12 divide (q/(-12))/(2/(-79))?
False
Suppose -614 = -3*o + 1270. Let y be (-3)/1*(o/(-6) + -1). Suppose -t + 66 = 5*h, 3*h = -5*t + y + 13. Is t a multiple of 6?
True
Let t be 52/2 + 30/(-15). Let b(l) = 2*l - 39. Let h be b(27). Let f = h + t. Is 21 a factor of f?
False
Suppose -1397*q + 1414*q - 18870 = 0. Is q a multiple of 9?
False
Let q(d) be the third derivative of d**5/10 + 13*d**4/24 + 4*d**3 + 203*d**2. Is 22 a factor of q(-8)?
False
Let k(j) = 666*j**2 - 31*j + 27. Is 4 a factor of k(3)?
True
Does 10 divide 16372/8 + (14/28)/(-1)?
False
Let w = 209 + -206. Suppose 5*o = 2*z + 778, 5*o = -3*z + 4*z + 779. Is 7 a factor of o/((-15)/10 + w)?
False
Let y = -227 + 387. Let o(j) = -5*j - 2. Let a be o(-1). Suppose n = -a*n + y. Is n a multiple of 17?
False
Let b(s) = 245*s**2 + 9*s - 3. Let z be b(2). Let f(v) = 4*v**3. Let q be f(1). Suppose q*i = 9*i - z. Is 19 a factor of i?
False
Let h = -476 - -432. Let s = 649 - h. Is 33 a factor of s?
True
Let f = -81 - 130. Let u = f - -140. Is -14 - u - (0 + -2) a multiple of 13?
False
Suppose 0 = -82*z + 85*z - 57. Suppose -z*h + 0*h + 3249 = 0. Does 15 divide h?
False
Let t(m) = -m**3 + 68*m**2 + 100*m - 282. Is 52 a factor of t(69)?
False
Suppose 37*q = 5*q + 96. Suppose q*u = -5*z + 776 + 85, 180 = z - 2*u. Does 17 divide z?
False
Let z(m) = 7479*m**2 + 13*m - 12. Is 34 a factor of z(1)?
True
Let y = 7660 + 3026. Is 7 a factor of 6/5 - y/(-195)?
True
Let g(p) = 2*p**2 - 25*p - 9. Let c be g(13). Suppose 95 = c*y + x - 173, 4*y + 4*x - 280 = 0. Is y a multiple of 6?
True
Let l(h) = -72*h - 39. Let f be l(-14). Suppose 0 = 25*t - 3894 + f. Does 13 divide t?
True
Let y be (-2 + 0 + 3)*(-3 - 1). Is (-24 + y)/7*183/(-4) a multiple of 24?
False
Let c = 133 - 75. Let f be (-76)/5*(-2)/(16/20). Suppose o - c = f. Does 24 divide o?
True
Let d = 3 - 2. Let f(k) = 17*k - 270. Let z be f(16). Does 3 divide ((z - d) + 8)*1?
True
Let m(y) = -3*y**3 + 131*y**2 + 22*y - 192. Does 135 divide m(42)?
False
Let i = -82 - -24. Let c = 321 - 319. Let q = c - i. Is q a multiple of 13?
False
Let x be (-1)/(-5) - (132/(-15) - -7). Suppose x*q = -0*q + 6. Suppose -r = 5*o - 223, q*r = -0*r - 6. Is 9 a factor of o?
True
Let a = 125 + -114. Is 14 a factor of (1449/4)/((99/24)/a)?
True
Suppose -184*y + 198*y - 88914 = 0. Is 5/(y/(-1059) - (-5 - 1)) a multiple of 69?
False
Suppose 86*p - 58004 - 67728 = 0. Is p a multiple of 9?
False
Suppose -40*z + 207131 = -30629. Is 41 a factor of z?
False
Is (4 - -2) + 2939 + 94 a multiple of 17?
False
Suppose 5*m + 19 = 2*y, y - 4*m - 10 - 4 = 0. Suppose -4*a + 40 = g, a = -y*g - 0*a + 73. Does 36 divide g?
True
Suppose 137144 = 34*p - 447384. Does 11 divide p?
False
Is (6930/(-1617))/(10/(-5628)) a multiple of 12?
True
Let v(w) = w**2 - w. Let i be v(-1). Let u(r) = 374*r - 4. Is u(i) a multiple of 15?
False
Suppose -5*h + 12 = -13. Suppose -2*o - 4*m + h*m + 225 = 0, -5*o = 4*m - 569. Is 10 a factor of o?
False
Let h be -2 - (-7)/(6 - 5). Suppose h*q = 1074 + 1641. Is q a multiple of 12?
False
Let l(m) = 45*m**3 + m**2 + 3*m - 4. Suppose 0 = -5*v + 4*c - 530, 2*c - 418 = 3*v + v. Let w = v - -103. Does 31 divide l(w)?
False
Let i be 2/(-1)*(103 - 104). Supp