/22 + h/(-2)?
False
Let r = -3537 + 5233. Suppose -k + x + 387 = 0, 3*k - r = x - 525. Is k a multiple of 16?
False
Let n(m) = m - 370. Let f be n(0). Let o = -10125 + 9875. Let g = o - f. Is 25 a factor of g?
False
Let t(r) = -r**3 - 18*r**2 + 18*r - 20. Let u be t(-19). Let n(q) = 86*q**2 - q - 2. Is 28 a factor of n(u)?
False
Let v(c) = -28*c - 113. Let z(l) = 56*l + 227. Let k(x) = 9*v(x) + 4*z(x). Is k(-22) a multiple of 13?
True
Let t = 19709 + -16376. Is t a multiple of 33?
True
Let a(q) = -2*q**3 + 14*q**2 + 17*q - 7. Is 17 a factor of a(6)?
False
Let a be 11/((-132)/1016)*3. Let i = a + 296. Is i a multiple of 29?
False
Let h be 2/((-4)/3)*108/27. Let r be (-35)/(-1) + h + (-30)/(-5). Suppose -k = -4*c - 24, -r = -k + c - 5. Is k a multiple of 8?
True
Let d(q) = -q**3 - 3*q**2 + 6*q. Let f be d(-4). Let c be 1/2 + (-52)/f. Is 20 a factor of 6/(-42) + (2 - (-547)/c)?
True
Suppose 4*m + 2*l - 43678 = 0, -175*m + 177*m = -4*l + 21836. Is 168 a factor of m?
True
Let j be (-1062)/4 + (27/6 - 5). Let i = 133 + j. Does 2 divide (-418)/i*(-14)/(-2)?
True
Let m be (-4193)/(-14)*2 + (-4)/(-2). Suppose -6*f = -m - 65. Does 15 divide f?
False
Suppose 2475 + 7725 = 12*w. Does 17 divide w?
True
Let k(c) = 3*c - 40. Let p be k(8). Let r(d) = -d**3 - 14*d**2 + 2*d + 32. Does 12 divide r(p)?
False
Suppose -8 = -4*s - 0. Let j be (168/(-39))/(-2) + 16/(-104). Suppose j*w - 8 = s*r + 10, -1 = -w + 3*r. Is w a multiple of 13?
True
Let o = 584 - 404. Let s = o - 89. Suppose 104 = 3*z - s. Does 9 divide z?
False
Let x = 1169 + -686. Let m = x - 130. Is 10 a factor of m?
False
Let p = -54 + 51. Let i be (p/4)/((-7)/(-84)*-3). Suppose 2*g = q + 49, q = -4*g - i*q + 116. Is 7 a factor of g?
False
Suppose 5*g - 2375 = -5*l, -g - l + 2*l = -477. Let y = g - 236. Suppose 117 = 2*i - v, 2*i + y = 6*i + 4*v. Does 47 divide i?
False
Let o(b) = -79*b + 6361. Is o(-70) a multiple of 19?
False
Let s be ((-3)/(-2))/(2665/444 + -6). Does 14 divide s + 5 + (-2 - (1 + 2))?
False
Suppose -2*m + 4853 = s, 5*m + 226*s - 12113 = 230*s. Is m a multiple of 30?
False
Is 26 a factor of 17500/(-7)*(-50)/20?
False
Let v be -246 + (4 + -3)*1. Suppose 953 = 16*p + 7305. Let m = v - p. Is m a multiple of 30?
False
Let v be 2/1 - (1 - 2). Suppose -v*y - 50 = 19. Let a = 30 + y. Is a a multiple of 2?
False
Let m(x) = 13*x + 9. Let p be m(5). Suppose 6*d - p = -62. Is 10 a factor of 1*4/d*(-5)/(-1)?
True
Let d be (-36)/(-8) + (-2)/4. Suppose d*x + 4 = w + 2, -3*x + 3*w = 6. Suppose x = -2*y + u + 34, y - 9 - 18 = 3*u. Is 2 a factor of y?
False
Suppose 106961 = -73*b + 1446139 + 1232904. Is b a multiple of 11?
False
Suppose 0 = -3*x - 4*g + 14828, -x - x = -5*g - 9870. Let l be -8 + (-7)/(77/(-132)). Is l/22 - x/(-55) a multiple of 30?
True
Suppose 16*z + 516 = 1828. Suppose 0 = -g + 107 + z. Is g a multiple of 7?
True
Let a(d) = -12*d - 66. Let j(n) = -n. Let q(f) = a(f) - 8*j(f). Let g be q(-17). Suppose -2*m - 3*c - 100 = -263, -g*c = -m + 78. Is m a multiple of 5?
True
Let u(l) = 2*l**2 - 6*l - 16. Let g be u(7). Suppose g = 3*z + 2*z. Let o = 60 + z. Is o a multiple of 17?
True
Suppose -543*b = -515*b - 532. Let u be 68/6 + 2/(-6). Suppose u*c = b*c - 56. Does 2 divide c?
False
Suppose -2*v = 3*g - 13, 0*g + 3*g - 3*v = 3. Suppose -g*i + 2 = -2*j + 7, -j = 2*i - 20. Suppose -115 + 645 = j*z. Does 53 divide z?
True
Let k = -7118 - -4786. Let s = k - -4092. Suppose s = 5*o + 4*j, 520 = 2*o - 2*j - 166. Is 53 a factor of o?
False
Suppose -6*o + 76 = -14. Suppose 43*j - o = 38*j. Does 5 divide 3*(12 + -4 + j)?
False
Let h be (-3 - -1)*(-11 - -10). Let o(t) = -8*t + 16. Let d be o(h). Let r(y) = 4*y + 8. Is r(d) a multiple of 8?
True
Let b(a) = -2*a**2 - 46*a - 32. Let j = 256 + -277. Is 10 a factor of b(j)?
False
Let p = -5459 - -15955. Is 82 a factor of p?
True
Let h = -2123 - -1404. Let u = h - -1118. Is u a multiple of 21?
True
Let b = 259 - 251. Is (-2 + -2)/(9 - b) + 42 a multiple of 15?
False
Suppose -3*i + 61 = 2*t, 4*t - 5*i + 0*i - 111 = 0. Suppose -266 = -5*r + 5*b + t, 3*b = 0. Is r a multiple of 8?
False
Let q(x) = -2*x**3 + 23*x**2 + 5. Let f be q(11). Suppose 6*z + f = -0*z. Does 14 divide (-54)/3*z/9*2?
True
Let g be -1*1*-28*4/8. Let v(i) = i**2 - 3*i - 6. Does 17 divide v(g)?
False
Suppose -v = v - 24. Let g = v - 16. Is -1 - 65*(3 + g) a multiple of 29?
False
Is 73 a factor of ((-513)/(-38))/(3*(-4)/(-72))?
False
Let a = -616 - -620. Is (-54)/a*(-49 - 73) a multiple of 28?
False
Let a = 3 - -1. Suppose 0 = o + g - 11, 0*o = -a*o - 2*g + 34. Does 28 divide (4 + 204/(-15))/(o/(-105))?
True
Let b = -6 - -11. Suppose 30 = x - b*q, 5*x + 0*q - 4*q - 255 = 0. Let l = x + -38. Does 8 divide l?
False
Let x(c) = c**3 + 14*c**2 - 12*c + 14. Let i be x(-15). Let o = i - -31. Suppose -s = -o*s - 88. Is 10 a factor of s?
False
Let o be (3 - 4)*(6 - 4). Let y be 22 - 23 - (-4)/o. Let v(n) = -40*n - 4. Is v(y) a multiple of 39?
False
Let r(s) = -s**3 + 19*s**2 + 16*s + 84. Let i be r(20). Suppose i*g - 6*o - 140 = -8*o, -5*o - 145 = -5*g. Is g a multiple of 3?
True
Let i be 1 - 5/((-15)/12). Let v(p) = i*p**2 - 11 - 4 + 7*p + 2*p. Is v(-5) a multiple of 13?
True
Suppose -x = -4*j - 319, -4 - 224 = 3*j - 3*x. Let w = 508 - j. Suppose w - 1 = 7*s. Does 11 divide s?
False
Suppose 8 = 12*v - 2068. Let m = v + -65. Is m a multiple of 6?
True
Let v = 19785 - 17237. Is 26 a factor of v?
True
Let o be (2 - 4) + (-18)/(-3). Suppose -26*m + 418 = -o*m. Does 2 divide m?
False
Let p = 156 + -30. Let x = p + -110. Is 8 a factor of x?
True
Is 13 a factor of 621 + ((-3)/(-4))/((-23)/(-92))?
True
Let k = 30 + -36. Let h(a) = -3*a + 12. Let z be h(k). Is 7 a factor of 103/15 - (-4)/z?
True
Does 109 divide (0 + 24/60)/((-1)/(-5995) + 0)?
True
Does 9 divide (-4681)/(-2) + 1*(-7)/42*3?
True
Let d(l) = 12*l**2 - 2*l + 5. Suppose -u - 5*f = 2*u - 46, 5*u - f - 114 = 0. Suppose a - u = -25. Is 17 a factor of d(a)?
True
Suppose 16*y + 10006 - 73640 = 44430. Does 22 divide y?
True
Suppose -66 = 3*l - 1650. Is 16 a factor of l?
True
Suppose 51*u - 25*u - 722500 = -24*u. Is u a multiple of 34?
True
Let h(s) = -28*s + 14 + 16*s**2 + 6*s - s**3 + 12*s - s. Is h(6) a multiple of 21?
False
Let o be (-12 - -2)*(1 - 4)/(-6). Let l(b) = 30*b + 51. Let c be l(o). Let w = c + 191. Is 23 a factor of w?
True
Let o(p) = 3*p + 7*p + 3*p**2 - 13*p + 6*p - 7. Let w(q) = -15*q**2 - 16*q + 35. Let r(h) = 11*o(h) + 2*w(h). Is 21 a factor of r(-5)?
True
Suppose 0 = 8*n - 3*n - 75. Does 28 divide (-14)/(-1)*240/n?
True
Does 126 divide (1*189/12)/((-2)/2928*-3)?
True
Let j(d) = -3*d. Let p(g) = g**2 + 10*g + 1. Let f(w) = 2*w + 11. Let z be f(0). Let q(v) = z*j(v) + 4*p(v). Does 17 divide q(-4)?
False
Let b(g) = 5*g + 7. Let l be b(-1). Suppose -l*z = a - 6*z - 143, 3*z - 384 = -3*a. Is 35 a factor of a?
False
Let r be 53/(-11) + 10/(-55) - 87. Let i = 634 - r. Is i a multiple of 22?
True
Suppose -249378 - 55262 = 5*k - 22*k. Is 320 a factor of k?
True
Suppose -5*i + 3*u + 2 = 0, -12*i + 16*i - 2*u = 0. Let n(z) = -41*z**3 - 2*z**2 - 3*z. Is n(i) a multiple of 16?
False
Let r = -86 - -147. Suppose -18*n + r = -17*n. Does 4 divide n?
False
Let y be 1/((-3)/(-77)) + (-77)/(-231). Is 23 a factor of (-21 + y)*(26 - -1)?
False
Let p(n) = 3*n**3 - 3*n**2 + 3*n - 1. Let m be p(1). Suppose 6*d - 18 - 12 = 0. Suppose 38 = m*w - 3*r - r, 51 = d*w + r. Does 5 divide w?
False
Let d be (1/3)/(36/5724). Suppose 25*o - d = 622. Is 13 a factor of o?
False
Suppose -14*v = -2*v - 480. Suppose -3*w + 3*a + 169 = v, -5*a - 170 = -4*w. Does 3 divide w?
True
Suppose 0 = 3*n - 3*a - 15, 0 = -12*n + 15*n + 3*a + 9. Is 80 a factor of (-51 - -48) + n*83?
True
Let w(f) = f**3 + 27*f**2 - 32*f + 4. Let v be w(-28). Let l = v + -113. Does 58 divide (-4)/(l - (-263)/(-87))?
True
Let h be (1 + (-48)/20)*-5. Let v(t) = t - 3. Let b be v(h). Suppose b*x - 718 = -118. Is 15 a factor of x?
True
Let s be (-8)/(-6)*(-27)/(-18). Suppose -s*v = -0*v - 4. Suppose -4 = 2*x, 0*x - 4*x = -v*i + 434. Is 19 a factor of i?
False
Suppose 13*r - 17 - 22 = 0. Is 2 a factor of (r/(-2) + 1 + 8)*6?
False
Suppose 0 = -2*v + 8, -79 = 3*g + 3*v - 4. Let b = 32 + g. Suppose -5*l - b - 13 = -3*r, 0 = r - 4*l - 10. Is 2 a factor of r?
True
Let f(j) be the second derivative of j**4/6 