p = l - -89. Is 11 a factor of p?
True
Let m = -1264 - -3169. Let f = 2875 - m. Is 55 a factor of f?
False
Let m = 612 + -574. Suppose -m*j = -41*j + 897. Does 3 divide j?
False
Let x = 108 + -28. Suppose -3*q + 2 = -4. Suppose 2*s - 50 = -4*r + x, -q*r + 5*s + 95 = 0. Is r a multiple of 7?
True
Let f = 1400 - -5050. Is 43 a factor of f?
True
Suppose 0 = -93*i + 225*i - 173873 - 21487. Is 19 a factor of i?
False
Let w be (2/(-5))/((-48)/60)*68. Suppose -w*p = 2023 - 6443. Is p a multiple of 10?
True
Let g = 13624 - 8373. Does 7 divide g?
False
Is ((2 - (-5 + 6)) + 803)*14 a multiple of 24?
True
Suppose x - 1618 = -4*r, 2*x + 22*r - 3281 = 23*r. Is x a multiple of 91?
True
Let v(m) = m**3 + 17*m**2 - 8*m - 60. Does 5 divide v(-12)?
False
Suppose 126 = -263*c + 256*c. Does 48 divide ((-706)/(-3))/((-12)/c)?
False
Let a(y) = 2*y**3 - 32*y**2 - 119*y - 28. Is a(20) a multiple of 11?
True
Suppose -712 = -r - 3*m, 5*r - 2*m - 2979 = 598. Does 7 divide r?
False
Let o(v) = 19*v**2 - 49*v + 162. Does 30 divide o(37)?
True
Let r be ((-54)/(-15))/(21/15 - 1). Suppose -4*p - r = 19. Is 3 a factor of (p + 6/3)*-4?
False
Let b(a) = 6*a**2 + 6*a - 2. Let q be b(-5). Suppose 2*i = -5*k + 13, 3*k + 5*i + 1 = 5. Suppose -h - k*r + 26 = 0, -4*h + r + q = -r. Is h a multiple of 8?
False
Let y = -254 - -118. Let n = y - -227. Is 7 a factor of n?
True
Suppose -v = 20*v - 168. Suppose 540 = i + 3*o - v*o, -5*o = -10. Does 25 divide i?
True
Let x be 1 - (-65 + -4 - -1). Suppose 2*o - 79 = -x. Suppose -7 = o*u - 77. Is 14 a factor of u?
True
Let l be (-56)/(-35)*-2*(-60)/(-16). Is 19 a factor of 8/24 + (-2732)/l?
True
Suppose -4 = -3*p + 4*x + 19, 5*x + 10 = 0. Suppose -2*k - 7 - 5 = p*c, 2*k - 2*c - 16 = 0. Suppose 16 = 2*a + 3*g, -5*a - 4*g + 3 = -k*a. Does 2 divide a?
False
Let b be 32*((-4)/14)/(100/(-21175)). Suppose -b = -8*r + 288. Is r a multiple of 26?
False
Suppose g + 35 = -1. Let y = 51 + g. Let f = y - -5. Is 11 a factor of f?
False
Is (7 + 3829 + -2)*(-3 - 30/(-9)) a multiple of 6?
True
Let k(f) = f**3 + 12*f**2 - 17*f - 12. Let x be k(-13). Suppose -2*s = -3*s - x. Is 13 a factor of 8/s - ((-186)/5 - -1)?
False
Suppose -5*k + 18881 = 3*c - 20547, -16 = 4*c. Is k a multiple of 17?
True
Is 351 a factor of 10/15*-46803*(168/16 - 12)?
False
Suppose -5*a = -l + 6244, -l + 13*a - 45*a = -6244. Is l a multiple of 14?
True
Let q be (-16)/(-2) + (-10 - -8). Does 35 divide q/(-9) - (-1367)/3?
True
Let d(z) = 5*z**3 - 6*z**2 + 9*z - 23. Let q be d(4). Suppose -245*i = -q*i - 3328. Does 12 divide i?
False
Let n(u) = -u**3 - 22*u**2 + 40*u - 79. Does 28 divide n(-29)?
True
Let k be (((-13932)/16)/(-9))/(24/64). Let p(i) = -44*i**2 + 2*i - 3. Let r be p(2). Let s = r + k. Does 17 divide s?
False
Let i be (-3708)/(-7) - (-26)/91. Suppose -1430 = -14*f + i. Is f a multiple of 14?
True
Let y = -109 - -111. Suppose 3*w + 5*s - 188 = 318, 0 = 2*w + y*s - 336. Is 19 a factor of w?
False
Let m be ((-24)/36)/(2/1002). Let z = m - -474. Is z a multiple of 7?
True
Let g = 116 - 106. Suppose -16*c + g*c + 1404 = 0. Is c a multiple of 26?
True
Let t(r) = -14*r - 14 - 4*r**3 + 8*r**2 + 16*r**3 + 17*r**3 + 6*r**3. Is t(3) a multiple of 73?
False
Suppose -5*y + 20 = 5*p, -3*y + 2*p - 10 = -6*y. Suppose -11*r + 87 = -78. Is r/10 + 19/4*y a multiple of 11?
True
Let w(u) = -21*u**3 + 22*u**2 + 55*u - 33. Is w(-8) a multiple of 12?
False
Let h be 3/(-15) + (-78)/(-15). Let v = -35 - -40. Suppose 5*o - 450 = -h*t, v*t - o - 426 = -0*t. Does 25 divide t?
False
Let z = -10645 - -11855. Does 11 divide z?
True
Let n = 721 + -1051. Does 4 divide 60/n + 134/44*4?
True
Let g = -275 - -275. Suppose v - 113 - 211 = g. Is 36 a factor of v?
True
Let n = -9333 - -12511. Is n a multiple of 14?
True
Let g = 91 - -19. Let q = -9 - g. Let i = -104 - q. Is i a multiple of 7?
False
Let z = 640 + -620. Is ((-3436)/z)/((-10)/50) a multiple of 15?
False
Suppose 12*o - 347004 = o - 40*o. Is 108 a factor of o?
True
Let j(d) = 3252*d + 100. Is j(3) a multiple of 32?
True
Let l be (2 + (-20)/6)/(248/(-558)). Does 10 divide 1106 + 0 + -2 + l?
False
Suppose 4*i - 328 = 5*c + 5105, -2*i + 2689 = 3*c. Suppose -o - 5*x - 262 = -2*o, -5*o = -4*x - i. Is 34 a factor of o?
True
Let x = -18 + 20. Suppose 0 = 3*g + 2*h + 710, 3*g - x*g - 2*h + 250 = 0. Does 4 divide g/(-32) + (-1)/(-2)?
True
Suppose 2*o + 47 = -3*n, 22 = 3*o - 5*n + 121. Let j = 30 + o. Suppose 0 = -j*l + 39 + 27. Is l a multiple of 11?
True
Is 344 a factor of (0/1 - 196086/(-10)) + (-1791)/2985?
True
Suppose -5*d + 185457 + 25894 = -4*c, 5*d = -5*c + 211405. Does 95 divide d?
True
Suppose -5*b = -4*r - 36, -8 = 2*b - 5*b - r. Let s be b/((-4)/(-2)) - 99. Let t = 108 - s. Is 41 a factor of t?
True
Let k be ((-10)/(-15))/2 + 57/(-9). Let a be k/9*(-375 - 0). Suppose -a - 7 = -5*i + 3*c, 45 = i + c. Is i a multiple of 9?
False
Let k = 67 - 50. Suppose o - k = -4*o + 2*c, -31 = -3*o - 4*c. Suppose -266 = -o*r - 3*g, -2*r + 4*g = g - 98. Is r a multiple of 15?
False
Suppose -8*y - 88 = -120. Suppose 9*w - 3369 = -y*o + 4*w, -o - 2*w = -846. Is o a multiple of 44?
True
Let z(y) = 115*y - 7. Suppose -4 = p - 10. Suppose 0 + 6 = p*r. Is 12 a factor of z(r)?
True
Let s = 461 + -222. Suppose 10*h + 255 = 4835. Let r = h - s. Is 40 a factor of r?
False
Is 1/2*(704 - (0 + 8 + -10)) a multiple of 9?
False
Let t = 2844 - 614. Is t a multiple of 5?
True
Does 9 divide ((-198)/3)/(-11) + 45765 + -5?
False
Suppose 4*v = 186 + 314. Suppose -v = 9*x - 1448. Does 11 divide x?
False
Let d(w) = w**3 - 24*w**2 + 29*w - 58. Let v be d(23). Suppose -84*s + v*s + 224 = 0. Is 8 a factor of s?
True
Suppose 0 = 2*h + 4*z + 1160, 19*h = 16*h - 4*z - 1750. Is 118/(h/75 - -8) a multiple of 15?
True
Let n = -83 + 79. Let y be 46*n/16*-6. Let l = y - 22. Is l a multiple of 18?
False
Let c(a) = a**2 + a - 138. Let p be (-2)/9 - 2076/(-108). Is c(p) a multiple of 44?
False
Suppose 0 = -5*f - 5*i + 865, -5*i + 409 + 114 = 3*f. Suppose -15*m + f = -369. Does 9 divide m?
True
Let j = 56 - 307. Is 12 a factor of -12*4/(-8) - (j + 5)?
True
Let a = -30 + 14. Let i be 12/a*(-16)/4. Suppose 171 + 66 = i*g. Is g a multiple of 26?
False
Does 121 divide (11 + 4222/10)*15?
False
Let r(x) be the first derivative of -39*x + 2*x**2 - 16 + 6*x**2 - 17 - 4*x**2. Is 9 a factor of r(12)?
False
Let i = 141 + -131. Let q be 8/i*35/14. Suppose -2*n - q*n + 88 = 2*s, n - s = 19. Is 21 a factor of n?
True
Let x(g) = 43*g**2 - 13*g + 393. Is x(25) a multiple of 21?
True
Suppose -122*t = -69*t - 129744. Does 17 divide t?
True
Suppose d - 4*d = -39. Suppose -3*w + 46 = d. Suppose 58 = w*m - 30. Is m a multiple of 8?
True
Suppose -4*o + 113 = 3*p, -7*p + 117 = 4*o - 8*p. Suppose -o*m = -43*m + 2604. Is m a multiple of 2?
True
Let v(h) = 2*h**2 + 6*h + 12. Suppose 0 = 2*a + 3*x + 2, 2*x - 4*x + 24 = -5*a. Let c be v(a). Is 34 a factor of (-17)/(((-22)/c)/11)?
True
Suppose 0 = -1240*a + 1275*a - 315. Let q(y) = 16*y - 10*y**2 + 1 + 12 + 4 + y**3. Is q(a) a multiple of 5?
True
Let l(v) = -v**3 + 9*v**2 - 6*v - 14. Let z(y) = -y**3 - 7*y**2 - 9*y - 10. Let w be z(-6). Let p be l(w). Is 22 a factor of ((-24)/(-20) + -2)*p*-110?
True
Let i be ((-7116)/(-15))/(3 - (-46)/(-15)). Is 60 a factor of (i/14)/(-1) - (-10)/(-35)?
False
Is (-30)/2 - 21223/(-19) a multiple of 12?
False
Let z(f) = 4*f - 248 + 606 + 558*f**2 - 559*f**2 + 696. Does 34 divide z(0)?
True
Let a = 281 - 241. Suppose -47427 = -a*l + 10653. Is 73 a factor of l?
False
Suppose -10 = -5*t, 0 = 6*i - 11*i + 3*t + 42554. Is 32 a factor of i?
True
Suppose -8*b + 19*b - 99 = 0. Suppose -18*r = -b*r - 6777. Is 39 a factor of r?
False
Let j be 346 + 1 + 0/2. Suppose 0 = 6*s - 1126 + 545 - 709. Let v = j - s. Does 13 divide v?
False
Is -6*7/(-2)*6272/147 a multiple of 2?
True
Let z(a) = -57*a - 4. Let c be z(3). Let v = c - -209. Is v a multiple of 8?
False
Suppose 31*c + 851 + 1319 = 0. Let s = 220 + c. Is s a multiple of 30?
True
Is 2 + -9 + 47280/15 a multiple of 185?
True
Let u = -176 - -176. Suppose u = -8*n + 4774 + 2522. Does 12 divide n?
True
Let f be ((-35)/10)/((-1)/(-1))*-12. Suppose f*h - 56*h = -630. Is h a multiple of 3?
True
Suppose -2*t + 50 = -0*t. Suppose -2*y + t = -207. Does 4 divide y?
True
Let p = -605 + 609. Is 17518/10 + ((-32)/(-10) - p) a