-48)/4)?
False
Suppose 0 = 2*k - 7*k - 3*v + 205, 5*v = 5*k - 165. Let t = k - 64. Let y = t - -70. Does 22 divide y?
True
Suppose -11*h = -5*h - 228. Suppose -52 = -m - 4*j, -3*j = 3*m - h - 82. Does 3 divide m?
True
Suppose 8*a = 17*a - 972. Suppose -592 = -7*b + a. Does 25 divide b?
True
Suppose k - 4*k + 20 = 4*s, 3*s + 3*k - 15 = 0. Suppose 2*o - s*a = 32, 0*o - 3*o + 48 = 4*a. Suppose -8*g + o*g = 424. Does 12 divide g?
False
Let n = -44 - -48. Suppose -2 = 2*a - g - 0, -n*a - 3*g = -6. Suppose -2*f - 104 + 332 = a. Is 19 a factor of f?
True
Let h(c) = c**3 - 41*c**2 + 97*c - 76. Is h(39) even?
False
Let m(q) = 17*q**3 - 2*q**2 - 2*q + 3. Let t = -53 + 55. Let y be m(t). Let v = 178 - y. Does 17 divide v?
True
Suppose 0 = u - 2, 0 = -4*y - 3*u - 2*u + 30. Suppose 2 - y = -g. Suppose g*f - 165 = 3*h, 0 = 2*f + h + 24 - 140. Does 5 divide f?
False
Suppose k - 690 = -2*k. Suppose 25*z - 29*z = 316. Let t = z + k. Is 22 a factor of t?
False
Let f(q) = 2*q**2 - 22*q - 50. Let y be f(-7). Suppose 8*w - y = 86. Is w a multiple of 18?
True
Suppose 3*f + 138182 = 4*n, 3*n + 165*f = 168*f + 103638. Does 119 divide n?
False
Is 28 a factor of 15956/38 - (-20)/(-1140)*-6?
True
Let f(i) = 81*i**2 + 12*i - 88. Is f(3) a multiple of 10?
False
Let h(q) = 431*q + 488. Does 69 divide h(8)?
False
Suppose -20*g + 2*g = 0. Suppose -y + 4*p - 9 = g, -y + 5*p - 6 - 8 = 0. Is y a multiple of 11?
True
Let f be (-6)/(4/4)*(3 - 2). Let b(u) = -8*u**2 + 12*u + 35. Let o be b(f). Let c = -205 - o. Does 24 divide c?
True
Suppose -5*x + 7 = 4*g, 3*x = -2*g - 3*g - 1. Does 30 divide (-64305)/(-180) + x/4?
False
Suppose 3*n + 104 = 539. Let m = 873 - n. Is m a multiple of 14?
True
Let g be (3 - 85/25) + (-12)/(-5). Suppose 763 = 4*q + g*k - 1679, -q = k - 608. Is q a multiple of 68?
False
Suppose 27*f + 13 = 28*f + h, -5*f = 2*h - 56. Suppose a - 3*x = -2*x + f, -3*a + 25 = -4*x. Is 5 a factor of a?
True
Suppose -u + 160 = 5*i - 356, 5*i = 2*u - 972. Is 10 a factor of u?
False
Let s(v) = v**3 + 7*v**2 - 14*v - 4. Let t(w) = -w**3 - 11*w**2 + 11*w - 17. Let g be t(-12). Is 29 a factor of s(g)?
True
Let f be ((-180)/(-8))/(((-9)/(-2))/(-9)). Let t be (-2)/((f/10)/9). Suppose 100 = 3*w - 5*h, 3*w - t*h + 144 = 7*w. Is w a multiple of 7?
True
Suppose 24 = -17*o - 10. Is 11 a factor of 1556/12 + (1 - o/(-3))?
False
Suppose -11*z - 32550 = 10*z. Let m = z + 2364. Is m a multiple of 5?
False
Let p = -186 - -94. Let i = p - -96. Does 3 divide (-1)/(16/i - (-458)/(-114))?
True
Let r(v) = v**3 - v**2 - 261*v + 24. Does 16 divide r(22)?
False
Let y = -194 - -191. Is 69 a factor of (-412)/(-1) + 3/y*-2?
True
Let l be ((-2)/5)/((-1)/10). Let o(k) be the second derivative of k**3/3 + 7*k**2 + 6*k + 6. Is 2 a factor of o(l)?
True
Let r(u) = u**2 - 13*u - 12. Let q be r(14). Let z be (-2)/10 - (-216)/5 - 2. Let t = z - q. Is t a multiple of 35?
False
Suppose -7*z - 308686 = -5*x - 10*z, 308670 = 5*x - 5*z. Does 10 divide x?
False
Let n(a) = 236*a**2 - a - 1. Let z be n(-1). Suppose -z*f + 242*f = 384. Is 16 a factor of f?
True
Let h(j) = -24*j**2 + 7*j**2 + 54 + 135*j - 129*j + j**3. Is 39 a factor of h(17)?
True
Suppose -32 = z - 35. Suppose 19 = 4*x - 5*p - 71, -62 = -z*x + p. Does 10 divide x?
True
Let s(d) = 955*d - 694. Is s(2) a multiple of 9?
False
Let l be -2*(-2 + 5) - 4. Does 39 divide (135/l)/((-12)/416)?
True
Suppose 194 = 2*u + 4*t, -6*u + 5*u = 4*t - 107. Suppose 99*r = u*r + 13524. Is r a multiple of 63?
False
Let d = -751 + 745. Let p(i) = i - 3. Let w be p(6). Is w - (32/d + 24/18) a multiple of 2?
False
Let n be (3 + 1 + -2)*(2 + -1). Is 16 a factor of (412/(-10) + n)*(-1675)/134?
False
Let i = 297 - 292. Suppose -i*a - 2*u + 2030 + 250 = 0, 2*a + 4*u - 912 = 0. Is 24 a factor of a?
True
Let n(k) = -k**3 - 9*k**2 + 20*k + 34. Does 50 divide n(-13)?
True
Let l = -252 + 43. Suppose 3*x - 4*w = -318, x + 150 - 34 = -2*w. Let n = x - l. Is n a multiple of 6?
False
Let k(v) = v - 4*v + 24*v**2 - 86 + 25*v**2 - 46*v**2 - 4*v. Is k(10) a multiple of 48?
True
Let u = -244 + 238. Is (-5481)/(-18) - u/4 a multiple of 18?
True
Let f(y) = y**3 + 67*y**2 - 464*y - 1190. Is 6 a factor of f(-73)?
True
Let n = 606 - -7971. Does 29 divide n?
False
Suppose 48*f - 312552 - 155916 = -51*f. Does 55 divide f?
False
Let g(t) = 3*t**2 + 20*t - 108. Let o be g(17). Suppose w + o = 4*u, -5*w + 3*w - 1370 = -5*u. Is u a multiple of 23?
True
Let g(v) = v**2 - 25*v + 1439. Is g(24) a multiple of 76?
False
Is (10/(-4) + 7)*1230 a multiple of 33?
False
Suppose 3*u - 2*k = 451 + 359, 0 = -2*u - 5*k + 540. Is u a multiple of 45?
True
Is 1495 + -12 + 12 + -11 a multiple of 14?
True
Is 18 a factor of -2*(99/2 - 1)*(7 + -15)?
False
Suppose 0 = -3*j - 6, 459*l - 11992 = 454*l - 4*j. Does 6 divide l?
True
Let t be (-6)/(-15) - 104/(-65). Suppose -i + 2004 = 4*o, 5*i + 472 + 530 = t*o. Is 45 a factor of o?
False
Suppose 2*w - 1009 = -26*b + 25*b, -3*w = b - 1513. Is 40 a factor of w?
False
Let r = -292 + 61. Let z = r + 394. Let w = z + -79. Is 10 a factor of w?
False
Let p(n) = 6*n. Let j be p(0). Suppose -2*q - 3*m + 500 = j, -q + m - 764 = -4*q. Does 12 divide q?
False
Suppose 3*y + 2*l - 6004 = 0, 5*y - 5013 - 4989 = -l. Does 40 divide y?
True
Let c = 2758 - 175. Is 21 a factor of c?
True
Let d = -809 + 1574. Suppose 5*a - 55 = 3*u - d, 0 = 4*u - a - 924. Is u a multiple of 23?
True
Let k(c) = -33*c + 2. Let o(d) = -98*d + 13. Let v(p) = -7*k(p) + 2*o(p). Is 9 a factor of v(5)?
False
Let d(c) = 27*c - 30. Let r = -315 + 322. Is d(r) a multiple of 12?
False
Let g = -90 - -209. Suppose -2*i - 2*i - o = 274, 0 = 4*i - 5*o + 286. Let m = g + i. Is m a multiple of 10?
True
Let r = -155 + 163. Is 21 a factor of (-6)/r + -5 + (-2769)/(-12)?
False
Let h = -175 + 180. Suppose 487 - 7 = h*w. Is w a multiple of 16?
True
Let d be (-820)/14 + 36/63. Let z = 9 - d. Suppose 0 = 5*h - 783 - z. Is h a multiple of 33?
False
Suppose 3*k + 2360 = 326. Let v = -262 - k. Is v a multiple of 16?
True
Let p = -5032 - -6372. Is p a multiple of 3?
False
Suppose -5*w - 15260 = -7*q, -q + w - 2180 = -2*q. Does 27 divide q?
False
Let m(k) = 191*k - 14. Let f be m(2). Is 30/4*(f/6 + -8) a multiple of 25?
True
Let j = 163 - 697. Let f = -220 - j. Does 22 divide f?
False
Suppose -22105 - 28391 = -7*x - 17*x. Is x a multiple of 39?
False
Let v be 1624/35 - 4/10. Let d = -46 + v. Suppose d*g - 4*q - 146 = -5*g, -g + 25 = -5*q. Does 7 divide g?
False
Let c = -26 - -4. Let h be 1*4/c + 46/11. Suppose 3*p - 111 = -2*o, -35 = -5*o - h*p + 239. Does 34 divide o?
False
Does 45 divide 181 + -185 + ((-4)/(-10) - (-65886)/10)?
False
Let l(x) = -4*x**2 + 18 + 3*x**2 - 12*x**2 - 7*x. Let g be l(-7). Does 25 divide (-5)/(30/4)*g/4?
False
Let j(b) = 152*b - 33. Suppose -40*y = -48*y + 16. Is j(y) a multiple of 6?
False
Let n(l) = 136 - 14*l**3 + 27*l**3 - 12*l**3 + 21. Is n(0) a multiple of 5?
False
Let l = 74 + 128. Let g = 208 - l. Is 3 a factor of g?
True
Let d(k) = k**2 + 12*k + 25. Let j be d(-10). Suppose -10*v + 100 = -j*v. Suppose 82 = 2*h + v. Is 25 a factor of h?
False
Suppose 0 = 2*i + 5*g - 627, -3*g = -3*i + g + 952. Suppose -h - 3*o + 174 = 0, h - 2*o - i = -h. Does 27 divide h?
True
Suppose -4*z = d + 8, 1756*d - 1754*d = 2*z + 4. Let c = -11 - -19. Suppose d = -5*w - 2*r + 230 + 82, c = -2*r. Does 7 divide w?
False
Does 20 divide (-4 - (-126)/(-35) - -7)/((-8)/294520)?
False
Suppose 4*c - 8 = -3*n, 2*c - 5*n = -2*n + 22. Suppose 0 = 2*m - 6, 0*m = -5*s - 5*m + c. Is 13 a factor of (-276)/(-21) + s/14?
True
Let b = 626 + -620. Let j(q) = -q**3 + 6*q**2 + 5*q - 2. Does 23 divide j(b)?
False
Suppose -8296 = -2*d + 2368. Does 86 divide d?
True
Suppose 6*l - 3*l - x + 31 = 0, 0 = 3*x + 15. Let q(b) = -b - 8. Let f be q(-7). Is 75 + f - (-4)/l*-9 a multiple of 11?
True
Let i = -217 - -222. Does 22 divide 874*((-72)/16 + i)?
False
Let p(k) = -13*k - 134. Suppose 0 = -t - 27. Is 31 a factor of p(t)?
True
Let c = -93 - -108. Let l be (-4)/10*c/(-2). Suppose 4*r = l*r + 111. Is 15 a factor of r?
False
Let t be ((-12)/5)/((2/(-10))/(-1)). Let b be 9 + -6 - -1*4*t. Let r = b - -59. Does 14 divide r?
True
Let t(j) be the first derivative of j**6/120 + 3*j**5/20 + j**4/3 - 5*j**3/2 - j**2/2 - 3. Let w(y) be the second derivative of t(y). Is w(