es 16 divide (-2092)/(-18) + (-54)/n + 0?
False
Let m(c) = 3677*c**2 - 102*c - 8. Does 184 divide m(-2)?
True
Does 55 divide 53/8 + (28 - 35) + 849205/56?
False
Let b = 336 + 357. Suppose 1095 = 2*d - l, -4*d + 1500 = -3*l - b. Does 49 divide d?
False
Let f(p) be the first derivative of 18*p**4 + p**3/3 + 2*p**2 + 2*p + 30. Let t be f(-1). Is 22 a factor of 1/(4/(-1) + (-293)/t)?
False
Let s = 280 + -161. Is (s - 15) + 3 + -1 a multiple of 17?
False
Suppose 18*j + 18 = 16*j. Let u(d) = -114*d - 3. Let m be u(j). Does 25 divide (m/(-9) - 3)/(12/(-18))?
True
Suppose 43327 = 16*h - 20561. Is h a multiple of 32?
False
Suppose -641446 - 540594 = -100*l + 470360. Does 10 divide l?
False
Is -29 - (-21 + -4) - (-5578)/2 a multiple of 8?
False
Let f be (2 + -1)*(1/1 - -2). Suppose -m = s - 183, -2*s + f*m + 525 = s. Suppose 4*l + 3*w - s = 3*l, -4*l = 3*w - 725. Is l a multiple of 26?
True
Let k = 7213 + -5809. Is k a multiple of 12?
True
Suppose -4*m = -3*m + 10. Let d = 14 + m. Suppose -d*q - 64 = -y, 3*y - 6*y = -2*q - 142. Is y a multiple of 11?
True
Let o(x) = x**3 + 8*x**2 + 7*x - 1. Let f be o(-7). Let l(r) = 4*r**2 + 2*r**2 + 3*r**2 - 1 - 3 - 4*r + 0. Is 4 a factor of l(f)?
False
Suppose 184*z = 187*z - 5*o - 1507, 2*o + 504 = z. Is z a multiple of 23?
False
Suppose -3*n = v - 101718, 4*v = -41 + 17. Is n a multiple of 98?
True
Suppose -5*o - 6244 = -4*q - o, -q - 4*o = -1581. Is 12 a factor of q?
False
Suppose -11*z + 6*z = -270600. Is 60 a factor of z/90 - (8/6 + 0)?
True
Let i be (6/3)/(4/(-8)). Let r be -34 - 4/(4/i). Let d = 38 + r. Is d a multiple of 2?
True
Let i be (-5 - (-153 + -3))*1. Suppose -4*r = -z + i + 233, -4*r = 4*z - 1496. Is 47 a factor of z?
True
Let q(d) = d**3 + 28*d**2 + 29*d + 108. Let z be q(-26). Let n = z - 179. Is 10 a factor of n?
False
Suppose 31*l + 32300 - 233459 = 0. Suppose 20*b - 27*b = -l. Is b a multiple of 13?
False
Suppose 0 = 2*d + 5*w - 15, -2*d + 0 = 3*w - 13. Suppose -100 - 255 = -d*u. Does 7 divide u?
False
Suppose x = 3*s + 99, -4*x + 29 = -s - 5*x. Let m = s - -202. Is 10 a factor of m?
True
Let m be (-8)/44 + 6855/11. Let s be -4*(m/2)/(-7). Does 18 divide (-9)/6*s/(-3)?
False
Suppose 0 = 2*u + 7*h - 3*h - 1436, u = 2*h + 710. Is 14 a factor of (u/8)/(240/640)?
True
Let g(d) = d**3 - 7*d**2 - 5*d + 5. Let w be (-4 + -1)*(-42)/30. Let s be g(w). Is (5/s)/(1/(-474)) a multiple of 11?
False
Suppose 6*a = 172 + 56. Suppose a = i + 18. Does 20 divide i?
True
Is 121 a factor of (19950/1596)/((-1)/(-2580))?
False
Does 3 divide (-8 + -4)*(6 - (-644)/(-8))?
True
Suppose 6*b - 8 = 10*b, 28972 = 5*a + 4*b. Is 63 a factor of a?
True
Suppose -2*s - 27 + 41 = 0. Suppose 24570 = s*y + 23*y. Is 91 a factor of y?
True
Let n = -4933 - -8640. Suppose 2*h + 1543 - n = -4*y, 0 = 5*h - 10. Does 12 divide y?
True
Let i = 7480 - 4331. Does 107 divide i?
False
Let i(c) = -2*c - 812 - 46*c + 804 - c**2. Is i(-46) a multiple of 2?
True
Let x(l) = -l**2 + 23*l + 72. Let y be x(-3). Suppose -36 = 5*t - 6. Is 7 a factor of 4/y + (-172)/t?
True
Suppose -2*m = -135*s + 132*s - 5136, -4*m = s - 10244. Is m a multiple of 21?
True
Does 18 divide (28 - 15 - -5184) + -3?
False
Suppose -2*g - 46697 = -24*g + 6763. Is 12 a factor of g?
False
Suppose -2*b + 5987 = -678*p + 679*p, -b + 3*p + 2983 = 0. Is 136 a factor of b?
True
Does 47 divide 2635 - (-12 + 9)*-1?
True
Let s(m) = -3884*m - 1895. Is s(-10) a multiple of 9?
True
Let l be (-44)/(8/(-4)) + 0. Let x be 90/3*(8 - 7). Let b = x - l. Is 8 a factor of b?
True
Suppose 4*d = 2*p + 176, -3*p + 0*d = -2*d + 268. Is (26/(-5))/(2*3/p) a multiple of 37?
False
Let t(z) = z**2 + 22*z - 23. Let k be t(-23). Is 24 a factor of (k - 14/35)*-1340?
False
Does 13 divide (-17)/(9863/1645 + -6) - 4?
True
Let w(o) be the second derivative of 5*o**4/3 + 7*o**3/6 - 3*o**2 + 94*o. Is 32 a factor of w(2)?
False
Let t(s) be the third derivative of -s**6/120 - 4*s**5/15 - 5*s**4/6 + 2*s**3 + 52*s**2. Is t(-15) a multiple of 8?
False
Suppose -3*f + 16729 = -5*t, 9*f + 22292 = 13*f - 4*t. Does 64 divide f?
True
Suppose -10 = 2*o - 40. Let h = 60 + o. Suppose -7*z + 6*z = -h. Is 25 a factor of z?
True
Does 129 divide (-302)/((36/1728)/(2 + 24/(-9)))?
False
Suppose 2*n + 442 = 1754. Let u = n - 294. Let i = -199 + u. Is 21 a factor of i?
False
Suppose -36*c + 31*c + 5*l = -16425, 2*c = -l + 6573. Is 9 a factor of c?
False
Let l(m) = 9*m**2 - 15*m - 123. Let z(r) = 28*r**2 - 43*r - 368. Let o(q) = 7*l(q) - 2*z(q). Is o(-9) a multiple of 41?
False
Let a(m) = 7*m**2 - 7*m - 19. Suppose 0*d - d = 3*r - 38, -3*r - 4*d + 35 = 0. Is 37 a factor of a(r)?
True
Is (118/6)/(((-1225)/(-2475))/49) a multiple of 3?
True
Let y(g) = 3*g**2 - 116*g - 5787. Is y(145) a multiple of 24?
False
Let y(w) = -w**3 - 7*w**2 + 10*w + 7. Let s be y(-8). Let o(n) = 5*n**2 - 11*n - 9. Is 33 a factor of o(s)?
True
Let u(a) = 193*a**2 - 12*a + 2. Let h be u(1). Suppose 1173 = t + 5*l + h, -3*t + 4*l + 2970 = 0. Is t a multiple of 45?
True
Suppose -11 = -6*v + 1. Suppose v*y - 714 = 42. Does 14 divide y?
True
Suppose o = -4*a + 8*a - 26350, 6596 = a + 4*o. Does 6 divide a?
True
Suppose 13*d - 14*d = -12*l + 107333, -2*l + 17904 = 2*d. Is 3 a factor of l?
False
Suppose 0 = -7*h + 35*h - 195827 - 464917. Is h a multiple of 114?
True
Let g(q) = -q**3 - 92*q**2 - 88*q + 371. Is 49 a factor of g(-91)?
True
Let o(n) = -9*n - 29. Let p be o(6). Let k(z) = -99*z - 2. Let w be k(-1). Let v = p + w. Is v a multiple of 2?
True
Suppose 18 = 5*q + 33. Does 10 divide q*(-3)/36 + (-2385)/(-60)?
True
Suppose 4*d + 26 = 5*c, 4*c + 2*d + 10 = 5*c. Suppose 5*x - 25 = 0, 0 = -c*u + 3*x - 879 + 3186. Is 63 a factor of u?
False
Let v = -32 + 32. Suppose v*j = -j + 3*j. Suppose 14*q - 12*q - 168 = j. Is 7 a factor of q?
True
Suppose p - 30 = -5*w, -6*w + 10 = -4*w. Is 7 a factor of p + -23*(-2 - -1)?
True
Let l(o) = -o**3 + 36*o**2 + 50*o - 12. Does 149 divide l(28)?
False
Let f be -1*(-12)/(-4) + 75/(-3). Does 55 divide 7/f - 1/(-4)*1349?
False
Suppose 55 = 2*p - 37. Let a = 91 - p. Suppose -r - 1 + a = 0. Does 11 divide r?
True
Suppose 52*q - 25253 - 33152 = 43411. Is q a multiple of 11?
True
Let j(v) = -v - 25. Let b be j(-28). Suppose 389 = 4*r + y, -3*r = -8*r + b*y + 465. Is 10 a factor of r?
False
Let v = -104 + 109. Suppose -v*h = -299 - 391. Let p = -66 + h. Does 7 divide p?
False
Let a be (-1467)/6*((-39)/(-9) - 3). Let h = a + 572. Suppose -h = 5*t - 11*t. Does 14 divide t?
False
Let h = 27996 + -12732. Does 36 divide h?
True
Let d = 564 - 432. Does 33 divide d*13*7/14?
True
Let r(h) = -h**2 + 16*h - 13. Let q = -11 + 26. Let d be r(q). Suppose d*i + 106 = 310. Does 13 divide i?
False
Let x(b) = -5*b**2 + 6*b - 1. Let t be x(4). Let u be 15/30 + (-78)/4. Let p = u - t. Is 19 a factor of p?
True
Is 5 a factor of (119/(-238)*(3 - -1))/((-2)/1233)?
False
Let b(d) = 8*d - 51. Let v(a) = 17*a - 100. Let f(h) = 7*b(h) - 4*v(h). Does 25 divide f(-11)?
True
Suppose 477*s + j + 107490 = 480*s, -5*s - 3*j = -179108. Is s a multiple of 11?
True
Let y = 13 + -11. Suppose y*u + 21 = -4*c - 3*u, 2*c - 2*u + 6 = 0. Is 8 a factor of ((c + -1)*5)/(-1)?
False
Let u(v) = -206*v**3 - 27*v**2 - 100*v - 4. Is u(-4) a multiple of 19?
True
Is ((256/(-6))/(-16))/((-4)/(-519)) a multiple of 7?
False
Suppose 33*u - 5*l - 5501 = 29*u, -5*u = 5*l - 6910. Does 10 divide u?
False
Let h = -136 + 139. Suppose -2*x + 3*w + 10 = h, -5*x + 14 = -4*w. Suppose x*y - 2*d = 44, d = -3*y - 2*d + 36. Is y even?
False
Suppose -2*i = -2*i + 3*i. Suppose -4*q + 5*y + 556 = i, -4*q - 278 = -6*q + y. Does 10 divide (-2)/(-4) - q*3/(-6)?
True
Suppose 3*r - 389 - 697 = -3*p, -5*r - 1790 = -5*p. Let i be p/(-14)*(-1 + -6). Suppose -4*u - 2*y + i = y, 3*y - 90 = -2*u. Is 10 a factor of u?
False
Let u be (10/4)/((-26)/(-52)). Suppose 5*o - 441 = -l + 1, 5*l - 2150 = -u*o. Is 20 a factor of l?
False
Let o(t) = -t**3 - 11*t**2 + 6*t - 71. Let s be o(-12). Is 26 a factor of (12 - 8544/(-18))/(s/3)?
False
Let r(f) = f**3 + 61*f**2 - 12*f + 770. Does 10 divide r(-61)?
False
Suppose 0*z = 8*z - 3*j - 285194, -2*z + 2*j + 71296 = 0. Is z a multiple of 31?
True
Suppose -39*w + 13774 = -850 - 21529. Does 223 divide w?
False
Let d be 3617/7 + (-2)/(-7). Let u = d - 189. Is u a multiple of 41?
True
Suppose 121