ctor of h?
True
Let r = -3212 - -6768. Is 28 a factor of r?
True
Let t be 1/3 + (-3486)/(-18). Let p be 15/(-20) + 1812/(-16). Let d = p + t. Is d a multiple of 20?
True
Suppose f = 53 + 2. Let s = -17 + 53. Let w = f - s. Is w a multiple of 3?
False
Suppose -180 = 3*k + z, 5*k - 6*k = -4*z + 60. Is (-5 - 290/k) + (-1141)/(-6) a multiple of 10?
True
Suppose -21100 - 501 = -3*p + 4*f, 0 = p - 5*f - 7215. Is p a multiple of 23?
False
Let j = -30 + 190. Suppose -15*r + j = -14*r. Does 16 divide r?
True
Let o = -1198 + 683. Let w = -335 - o. Suppose -b - b = -w. Is b a multiple of 18?
True
Let s = -50 - -51. Let j be (-63)/6*(15/(-3) - s). Suppose -5*y + j = -122. Is y a multiple of 7?
False
Is 15 a factor of 26/(-52)*305/(-1)*18?
True
Let k(j) = 358*j**2 + 19*j + 6. Is 20 a factor of k(-2)?
True
Suppose -23*a = -3*u - 19*a - 1, 3*u - 5*a = -5. Suppose j - 3143 = -u*r, -20*r = -18*r - 4*j - 1244. Is 58 a factor of r?
False
Suppose 0 = 8*h + 166 - 478. Let j = 84 - h. Is 15 a factor of j?
True
Let o(z) = 10*z**2 + 157*z + 1018. Does 7 divide o(-33)?
True
Let s(c) = 2*c + 11 + 51*c**2 + c**3 - 11 - 3 - 29*c**2. Does 9 divide s(-21)?
True
Let w(f) = -3*f**3 + 13*f**2 + 11*f - 7. Let r(q) = q**2 + 44*q + 154. Let p be r(-40). Is w(p) a multiple of 14?
False
Suppose 0*c - 4*c + 240 = 0. Suppose -58 = m - 5*o - 7, 3*o = -4*m - 112. Let p = m + c. Does 5 divide p?
False
Let u = -837 - -1313. Let r = u - 416. Is 15 a factor of r?
True
Let y = -9 - -13. Suppose -3*d + 24 = p, -2*d = y*p - 6*d - 112. Let r = 31 - p. Does 2 divide r?
True
Suppose 2158 = -22*b + 996 + 29608. Does 21 divide b?
False
Suppose -11*g + 30 = 448. Let t = 143 - g. Is t a multiple of 25?
False
Is -3 - (-27184 - (-12 + 6 - -11)) a multiple of 36?
False
Let q(d) = -2*d + 2. Let v be q(-5). Is 6 a factor of 8/v + (2080/6)/2?
True
Suppose -10*n = 7*n - 136. Let x(h) = 38*h - 76. Does 22 divide x(n)?
False
Let x be (98/63)/7 + (-40)/18. Does 27 divide (-9672)/(-24) - (-4 - x/1)?
True
Suppose 39887 - 1197 = 10*l. Does 9 divide l?
False
Suppose -3*u + 457 = 5*s, 0 = 4*u + 5*s - s - 620. Suppose -k + u = 3*f - 11, 0 = -2*f + 4*k + 90. Is 3 a factor of f?
False
Let j(x) = 795*x**2 - 20*x - 307. Does 27 divide j(-8)?
True
Let o(g) = -103*g**2 + 51*g**2 + 53*g**2 - 12*g - 129. Is o(-17) a multiple of 13?
True
Suppose -4*y - 5*a + 592 = 0, -3*y + 16 = 3*a - 425. Suppose y = l - 166. Is 17 a factor of l?
False
Suppose -10*c = -71780 + 8761 - 3921. Is c a multiple of 25?
False
Let p be (-102)/(2/(-8)*-4*-2). Suppose 2*d + 39 = -3*o, 0*o - 3*o - p = 3*d. Is 18/d + (-55)/(-2) a multiple of 5?
False
Let v(i) = 11*i**3 + 53*i**2 - 65*i + 98. Let u(l) = -4*l**3 - 18*l**2 + 22*l - 33. Let z(f) = -17*u(f) - 6*v(f). Is 13 a factor of z(7)?
False
Let t = -231 + 242. Suppose -t*g - 28*g + 5304 = 0. Does 34 divide g?
True
Let t(g) be the second derivative of -11/6*g**3 + 0 - 22*g - 1/2*g**2. Does 24 divide t(-11)?
True
Let h(k) = -2*k**3 - 3*k**2 - 1. Suppose -5*a - 45 + 35 = 0. Let n be h(a). Suppose 110 = 5*y - n*u - 530, 4*y - 475 = -5*u. Is y a multiple of 17?
False
Suppose 0*c + 3*c = 24. Let p be 2/3*(-2223)/(-2). Suppose 5*f + c*f = p. Does 24 divide f?
False
Let q = 513 - 354. Suppose q = j - 203. Is 52 a factor of j?
False
Suppose 41 = 5*f + 26. Let v be (-2 - -3)/((-275)/90 + f). Does 7 divide (v/(-8))/(-3) - 35/(-4)?
False
Let w = 12 - 24. Let b = w - -91. Does 4 divide b?
False
Suppose 32*j - 29*j = 51. Let a = j + -31. Is (12/a)/(11/(-539)) a multiple of 9?
False
Let u(b) = -b**3 + 30*b**2 - 35*b + 46. Let s be u(29). Let c = s + 148. Does 5 divide c?
True
Is 16 a factor of (-6 + -384)/(-13)*5/((-20)/(-1052))?
False
Let k be 76/12 - (4/3 + -1). Let x be k/(((-8)/(-100))/((-1)/(-5))). Suppose i - 2*a = 25, 4*i + x = 2*a + 121. Is 5 a factor of i?
False
Let i(z) = -457*z + 21. Let p(l) = -14*l + 81. Let o be p(6). Is 48 a factor of i(o)?
True
Suppose -11664 = -w + 5*k - 479, k + 33611 = 3*w. Does 83 divide w?
True
Suppose 476 = l - 2*w - 2486, -5*l + 5*w + 14845 = 0. Does 6 divide l?
True
Suppose -2*a = -2*c + 4*c + 92, -3*c + 2*a = 163. Let f = -142 + 56. Let i = c - f. Does 13 divide i?
False
Let r be (-1 - 10/(-8)) + (-60)/(-16). Suppose -5*n + q - 2*q = -6, 2*q = -2*n - r. Suppose -5*m - n*z = -165, 4*m - 122 - 33 = 3*z. Is m a multiple of 7?
True
Let k = -46 + 60. Let v = -16 - k. Let x = v + 97. Does 18 divide x?
False
Let l = -2680 + 4018. Is 16 a factor of l?
False
Let y(l) = 562*l**2 + 145*l - 764. Is y(5) a multiple of 9?
False
Suppose 0 = -g - i - 149, -4*g + 4*i = g + 727. Let l = 23 - g. Is 10 a factor of l?
True
Let u(r) = 2*r**3 + 24*r**2 + 9*r - 1. Let q be u(-11). Suppose -5*s - q = -1782. Is s a multiple of 41?
True
Let g = 3787 + -277. Is g a multiple of 9?
True
Suppose 3*d - 2*o = 25, 2*d = -o - 0 + 26. Suppose -59 + d = 2*r. Let m = -15 - r. Is m a multiple of 3?
True
Let i = -64 - -208. Suppose -4*r = -r + 4*u - i, -170 = -4*r + 2*u. Is r a multiple of 4?
True
Let t(l) = 13*l**2 + 3*l - 5. Let f(x) = 14*x**2 + 2*x - 4. Let y(i) = 3*f(i) - 2*t(i). Suppose 3*s = -3*p, s - 2 = -s - 3*p. Is y(s) a multiple of 11?
False
Let n = -432 + 823. Does 26 divide -3*n/(-3) + -3 + 5?
False
Let l(j) = j**3 - 9*j**2 + 5*j - 45. Let k be l(9). Suppose 4*p + 364 = -k*h + 2*h, -p + 692 = 4*h. Is 58 a factor of h?
True
Suppose 0 = -4*s + 2*i + 13750, -2*i + 6 = 12. Is 21 a factor of s?
False
Suppose -w + 636 - 160 = 0. Let z = w + -308. Let m = 249 - z. Does 22 divide m?
False
Suppose 18*r = 8*r - 2430. Let f = -96 - r. Does 21 divide f?
True
Let h = -109 - -101. Is h/((6/(-15))/(19/5)) a multiple of 5?
False
Suppose -5*x + k - 2 = -5, 3*x + 5 = 4*k. Suppose -l - x = -4. Suppose 0 = 4*q + 2*f - 46, f = 2 + l. Is q a multiple of 9?
True
Let t = 78 + 26. Let m = t - 66. Suppose 3*k + m = 4*k. Is 19 a factor of k?
True
Let f(y) = y**3 - 29*y**2 + 28*y - 67. Is 11 a factor of f(33)?
False
Suppose -9*k = 5972 - 16232. Is k a multiple of 3?
True
Let h(b) = -b**2 + 8*b - 11. Let n be h(6). Let j be (-8)/(-6) + 2/3. Suppose j*v - 35 = n. Is v a multiple of 11?
False
Let b(f) = 2*f**2 - 2*f**3 - 13*f - 1654 - 3*f**2 + 1658. Is b(-5) a multiple of 42?
True
Let i = -12936 + 25065. Is i a multiple of 39?
True
Let f = -67294 + 98077. Does 93 divide f?
True
Suppose 72*r - 116*r = -60*r + 463328. Does 13 divide r?
False
Suppose 0 = k + 4*j + 7, 6*k - 4*k = 4*j + 22. Suppose k = -9*y + 23. Suppose -344 = -2*r - y*r. Does 8 divide r?
False
Let o(a) be the third derivative of -5*a**6/3 - a**5/30 + a**4/12 + a**3/2 - 7*a**2. Is 8 a factor of o(-1)?
False
Is (12/(-21))/((-16 + 1)/21945) a multiple of 38?
True
Suppose 2*f - 11 = -3*r + 4*r, -2*f = 4*r - 6. Suppose 9*u - 180 = f*u. Let z = u + -42. Is z a multiple of 3?
True
Suppose 0*t - t - 4*g + 24 = 0, -2*t + 23 = 3*g. Suppose -4 = -t*d, 5*l + 4*d = -d + 625. Is l a multiple of 62?
True
Let u = 701 + -221. Is u a multiple of 12?
True
Let s be (4 - (-594)/8)*4. Let u be ((-5)/3 - -2) + s/(-3). Let x = 11 - u. Is 13 a factor of x?
False
Let u(v) = -2*v**2 + 3 - 7*v - 5 - 7 + v**2. Let z be u(-4). Suppose 2*p - 3*n = n - 4, 2*p - z*n = -2. Does 2 divide p?
True
Suppose -24990 = -17*i - 13*i. Does 5 divide i?
False
Let t be (7/(-42))/((-1)/30). Does 21 divide 0/(-1) - (t + -3365)/5?
True
Suppose 5*o = -15, 2885 = 4*y - 4*o - 13687. Does 45 divide y?
True
Suppose -5*y - 3*s = -221, 3*s - 47 = -2*y + 36. Let a(l) = -21*l**2 + y*l**2 - 2 - 15*l**2 - 2*l. Is 15 a factor of a(-3)?
False
Suppose -169936 = -m - 7*m. Is 41 a factor of m?
False
Suppose 124 - 52 = 8*b. Suppose -b*n + 624 = -6*n. Is n a multiple of 15?
False
Suppose 9 = -7*b + 58. Is 21 a factor of ((-2)/4)/(6*b/(-38808))?
True
Let u(z) = 4*z + 7. Let g be u(-3). Let d(m) = -m**3 - 6*m**2 - 9*m - 11. Let q be d(g). Does 30 divide (-48)/q*-24 - -2?
False
Suppose 0 = 6*d - 0 + 18. Is 2847/13*(-1)/d a multiple of 5?
False
Let q(a) = -9*a**3 - 13*a**2 + 3*a - 8. Does 69 divide q(-6)?
False
Suppose 5*w + i - 197 = 519, -i - 4 = 0. Does 13 divide w?
False
Is (16875/12)/(21/56) a multiple of 75?
True
Let u = 487 + 297. Is 28 a factor of u?
True
Suppose -4*x + 12 = 4. Suppose 2*u - 3*u - 865 = -3*t, -2*t + 582 = -x*u. Let v = -95 + t. Does 29 divide v?
False
Suppose 3*t = 3*q + 41958, 0 = -115*t + 111*t - 4*q + 559