*r - 1703 = -8*r + 2023. Is r a multiple of 5?
False
Suppose -2*m = 4*f + 354, -3*f + 5*m - 30 - 203 = 0. Let b = f - -251. Does 11 divide b?
True
Let p(t) be the third derivative of t**5/12 - t**4/24 - 41*t**3/3 - 48*t**2. Is 22 a factor of p(12)?
False
Let d(t) = 27*t - 103. Let a be d(14). Suppose -3*v + 139 = 5*l - 136, -v = 5*l - a. Does 13 divide l?
False
Let w = -44 + 40. Let p(o) = 16*o**2 + 6*o + 6. Is p(w) a multiple of 24?
False
Let g(y) = y**3 - 14*y**2 - 7*y + 10. Suppose -6*z + 13 = 1. Suppose z*m = 6*m - 60. Is g(m) a multiple of 26?
True
Let x(w) = 103*w**2 - 21*w + 43. Let n be x(2). Let z = n + 54. Does 68 divide z?
False
Let p = 71 + -70. Let b be (-1)/p*-1*5. Suppose b*o + 117 = 1282. Is 12 a factor of o?
False
Let f be 2/((-4)/(-12)*(-4)/(-20)). Let q = f + -71. Let p = q + 50. Does 7 divide p?
False
Suppose -28559 = 3*k - 30*k + 89188. Does 7 divide k?
True
Suppose 108*n - 8520 = 96*n. Is 18 a factor of n?
False
Suppose -3*x + 1190 = -9*o + 7*o, o = 3*x - 1186. Suppose 4 = 2*v, -3*v + x = 5*u - 227. Is 8 a factor of u?
False
Suppose -3073*o - 317258 = -3155*o. Does 73 divide o?
True
Let v be (-5 + 3 - -3)/((-5)/(-65)). Let w(b) = b**3 - 13*b**2 + 6*b + 10. Is 11 a factor of w(v)?
True
Suppose -376*f - 247432 - 396288 = -420*f. Does 13 divide f?
False
Suppose 5*q = -5*o - 0*q + 20, 4*o = 5*q + 7. Let r be 12/(-3) - (-12)/o. Suppose -3*w - 33 = -4*m - r*m, -2*m - 5*w = 3. Is 4 a factor of m?
False
Let k(y) = 20*y**3 + 5*y**2 + 6*y - 28. Let d be k(5). Suppose -1177 = -12*r + d. Is r a multiple of 30?
False
Suppose 165 = 3*j + 57. Suppose j = -28*b + 30*b. Suppose -480 = -b*a + 14*a. Is a a multiple of 19?
False
Let f be ((-4)/((-60)/35))/(2/(-72)). Let n be -1476*(f/16)/(-7). Is 11 a factor of n/(-3)*(-1)/(-3)?
False
Suppose 18*d = 3*d + 165. Let x = d + 1. Does 4 divide -6*((-26)/x + 1)?
False
Let i(d) = 45*d**2 + 303*d - 5398. Is i(21) a multiple of 60?
False
Let g(y) = -270*y + 199. Is g(-6) a multiple of 7?
False
Suppose 171*m - 2275 = 168*m - 2*v, 3010 = 4*m - 2*v. Is 3 a factor of m?
False
Let o(j) = -j**3 + 5*j**2 + 6*j + 2. Let y be o(6). Suppose y*v = 32 + 12. Is 34 a factor of 10/(-55) - (-994)/v?
False
Is 25 a factor of 19 + -19 - (-4818 - 4 - 3)?
True
Let l(d) = d**2 + 5*d + 1. Let s(v) = -3*v**2 - 16*v - 3. Let q(g) = 8*l(g) + 3*s(g). Suppose -5*c - 4*a = 20, -a + 15 = -2*c + 7. Is 8 a factor of q(c)?
False
Suppose -249*l + 16368 = -245*l. Is l a multiple of 44?
True
Let i = -74 - -46. Let c = i + 42. Is 13 a factor of 34/(-5)*(-35)/c?
False
Suppose -5*w + 54107 = -3*q, 2*w - 30*q - 21618 = -35*q. Is w a multiple of 31?
True
Suppose -j - 118 - 58 = -5*n, -904 = 5*j - n. Let s = 65 - j. Does 41 divide s?
True
Does 41 divide (10/(-55))/((-76)/4660282)?
False
Suppose 24*b + 16 = 28*b. Suppose 0 = -3*w + 3*c + 339, 434 = 3*w - b*c + 100. Is 10 a factor of w?
False
Does 36 divide 1 + 573275/100*4?
True
Let p be (2/6)/(7/28623). Suppose -p + 385 = -3*m. Suppose -10*i + m - 26 = 0. Does 10 divide i?
True
Let l be (-50)/(-25) - (1 - 1011). Suppose 0 = 2*z + 8, -3*z + 0*z - l = -5*v. Is 9 a factor of v?
False
Let g be (-19 + 1150/70)/(6/(-14)). Let n(o) = -10*o**2 - 27*o - 14. Let x(m) = -3*m**2 - 9*m - 5. Let s(b) = 2*n(b) - 7*x(b). Is s(g) a multiple of 19?
False
Suppose 0 = -5*n - 25, 2*h + n = 3*n. Does 46 divide 508 - ((-13)/h + 6/(-10))?
True
Let o(z) = -z**3 + 122*z**2 - 416*z + 547. Does 45 divide o(118)?
True
Is 1/(((-21)/28)/((-199005)/20*1)) a multiple of 16?
False
Let n(l) be the first derivative of l**2 + 4*l + 8. Does 6 divide n(8)?
False
Suppose 19*b = 48*b + 48*b - 4156152. Is b a multiple of 173?
True
Let f(x) = -x**3 + 54*x**2 - 156*x + 287. Is 38 a factor of f(43)?
False
Let b(a) = -a**2 - 29*a - 85. Let z be b(-14). Let g = z - -321. Is g a multiple of 16?
False
Suppose 55*q = 27*q + 24192. Is q a multiple of 36?
True
Suppose 4*j - 39556 = -8*q, -2*q + 9887 = 17*j - 18*j. Does 12 divide q?
True
Let l be -5*2*(-278)/10. Suppose -s + 3*h = -l, -4*s + 1440 = s - 5*h. Is s a multiple of 6?
False
Let x be 1/(-6) + ((-15244)/(-24) - -2). Let l = x - 373. Does 11 divide l?
True
Suppose -2*v - 31104 = -4*p, 4*p - v - 27754 - 3350 = 0. Is p a multiple of 32?
True
Let p be 35 - -2 - (-5 + 10). Suppose -4320 = p*b - 38*b. Is 40 a factor of b?
True
Suppose -5*h + 26262 = -3*q, 269*h - 270*h - 5*q + 5286 = 0. Is h a multiple of 126?
False
Suppose -2*h + 10 = 3*h. Suppose 0 = -n + 2*j - 12, -n + h*j + 2*j - 22 = 0. Is (-16)/1*(n + 9/6) a multiple of 3?
False
Suppose 0 = -4*i - 323 + 123. Suppose 0 = 33*q - 0*q + 2508. Let d = i - q. Is 5 a factor of d?
False
Let v = 880 + -456. Let f = v - 226. Does 9 divide f?
True
Let c be 1358/(-6) - ((-154)/21 - -9). Let n = c - -571. Is n a multiple of 6?
False
Let q(y) be the third derivative of 1/120*y**6 + 5*y**2 + 1/6*y**3 + 5/12*y**4 + 2/15*y**5 + 0*y + 0. Is 3 a factor of q(-6)?
False
Let o(a) = a**2 + a - 12. Let p = 105 + -98. Is o(p) a multiple of 22?
True
Suppose 76 - 71 = -l. Does 6 divide 934/4 - l/10?
True
Let z = -4636 - -10704. Does 41 divide z?
True
Let y = -693 + 693. Let v(s) = 9*s + 56. Is 56 a factor of v(y)?
True
Let c(x) = -62*x + 5. Suppose -5*a - 27 = 4*a. Let v be c(a). Suppose k - 6*k - 3*y = -v, -2*y = -k + 46. Is k a multiple of 5?
True
Let l be (-4)/10 + (-40)/25 + 5. Suppose l*u = 2 + 10. Let s = u + -1. Is s a multiple of 3?
True
Let r be 15/(243/(-42) + 6). Is 7 a factor of (144/60)/(3/r)?
True
Let f = -68 + 75. Suppose -6*q + 2392 = f*q. Is q a multiple of 46?
True
Let p(v) = 21*v**3 + 2*v**2 - 11. Does 7 divide p(4)?
True
Let o(p) = -88*p**3 - 2*p**2 - 13*p - 49. Does 20 divide o(-5)?
False
Let r = -19 - -23. Suppose 0 = r*z - 6*u + 3*u - 760, -u - 950 = -5*z. Suppose -z = -3*i + c - 6*c, 5*i - 321 = -4*c. Does 16 divide i?
False
Let o(h) = 3*h**2 - 129*h + 37. Let a be o(28). Let g = a + 2005. Is g a multiple of 34?
True
Let v be (-160)/(-9) - 6/(-162)*6. Suppose v = 3*k + 9. Is 1342/10 + k/(-15) a multiple of 11?
False
Let f(h) = 4*h**2 + 18*h + 5. Let n be f(-5). Suppose 3 = -3*x + n. Suppose 4*v - x*t - t - 70 = 0, -v + 11 = 2*t. Does 5 divide v?
True
Suppose m + 38 = 41. Suppose m*q - 48 = -5*q. Suppose -q*z - 9 = -63. Does 2 divide z?
False
Suppose 44*s - 693103 = 92913. Does 116 divide s?
True
Let i(v) be the first derivative of -v**4/4 + 4*v**3 + 19*v**2/2 + 12*v + 14. Does 14 divide i(13)?
False
Suppose 11*g - 232 = -199. Does 9 divide g/21*7*89?
False
Suppose 0 = 22*h + 5*h + 729. Let y(o) = o**3 + 26*o**2 - 40*o + 13. Is y(h) a multiple of 7?
True
Suppose -583*l + 15995429 + 13112694 = 5533352. Is 26 a factor of l?
False
Does 24 divide (9/(-6))/(6/16) - 728118/(-171)?
False
Let c = -1421 + 2622. Is c a multiple of 3?
False
Let f(i) = i**3 - i**2 + 2. Let y be f(-1). Suppose -1015 = 3*a + 2*a + 2*x, y = -4*a - 3*x - 819. Let v = -121 - a. Is 20 a factor of v?
True
Let i = 5999 + -2093. Suppose -6*k - i = -15*k. Does 21 divide k?
False
Let b(c) = -2*c**2 + 3*c + 4. Let v(x) = -x**2 + x + 2. Let p(k) = -3*b(k) + 5*v(k). Let r be p(5). Is 4 a factor of 0 - (-6 - -3)*29/r?
False
Let k = -6658 - -6889. Is k a multiple of 6?
False
Suppose 17*t = -15 + 117. Is (-3 - (-891)/2) + (-9)/t a multiple of 50?
False
Let k(r) = 2*r**2 + 1508 + 1224*r**3 - 1225*r**3 + 3*r**2. Is k(0) a multiple of 13?
True
Let r(y) = y**3 - 8 + 3*y**2 + 0*y - y - 6*y. Let v be r(-4). Suppose -v*q + q = -288. Is q a multiple of 6?
True
Let l(v) = 7*v**2 - 2*v - 30. Let t be l(-5). Suppose 8*g - 6*g - b = t, -3*b = -4*g + 309. Is 5 a factor of g?
False
Suppose -52 = -5*x - 12. Let f = 2 - x. Is 5 a factor of 18/f - 21/(-1)?
False
Let n be (-270)/(-2) - (-79 - -84). Suppose -4*p + v + 990 + n = 0, -5*v = 20. Is p a multiple of 8?
False
Suppose -2*h - 48061 = -3*o + 23880, -3*h = -5*o + 119900. Is 11 a factor of o?
False
Let j(i) = -i**3 + 21*i**2 - 22*i + 44. Let a be (-12)/20 + 26/10 - -18. Let k be j(a). Suppose -k*m - c + 48 = c, -2*m + c + 24 = 0. Is m a multiple of 2?
True
Suppose -9*t = -3*d - 14*t + 26, 40 = 4*d + 4*t. Suppose 0 = 15*r - d*r - 3870. Does 30 divide r?
True
Is -18*11/22 - (-13211 - 5) a multiple of 37?
False
Suppose 2*c = c + 2*a - 359, 5*c + 4*a + 1725 = 0. Let k = c - -749. Is 22 a factor of k?
False
Let j be ((-14)/21)/((-3)/(-9))*-7. Is 2