 l(40) a multiple of 219?
False
Does 161 divide -13 - 24/(-3) - (-11692 + 3 + 4)?
False
Let d = -576 - -591. Is 26 a factor of (8 + 36/d)*(-100)/(-8)?
True
Let o(x) = 5*x**2 - 2*x + 3. Let u be o(2). Suppose 6*r - 38*r + 2021 = 11*r. Let k = u + r. Is k a multiple of 11?
True
Does 20 divide (-2387348)/(-410) + 9/(-5)?
False
Let x(w) = 266*w**3 - w**2 + 1. Let r be x(1). Suppose 5*u - 134 = r. Let g = -33 + u. Is g a multiple of 14?
False
Let t be (-15)/2 - (-2)/(-4). Let v be (9 + -1)/(t/4). Is 19 a factor of 59 + -1 + v + 3?
True
Let u = -13097 - -20201. Does 96 divide u?
True
Is (-5)/(-1)*(0 - (3 - 529)) a multiple of 10?
True
Let s = 123 + -121. Suppose s*j + 2385 = 4*t + 567, 5*t - 2265 = 5*j. Is 12 a factor of t?
True
Suppose s = 2*j + 7 - 2, 5*j + 17 = s. Is 10/40 + (-1087)/j a multiple of 17?
True
Suppose -4*t - 32 = 0, -17*n = -12*n + 2*t - 121824. Is n a multiple of 17?
False
Let b(n) = 46*n + 48. Suppose 3*g + g - 2 = 2*k, 2*g - 2*k = -4. Is b(g) a multiple of 62?
True
Suppose -336*q + 349*q = 910. Is q a multiple of 48?
False
Suppose -4*r - 15*d - 384 = -11*d, 4*d - 81 = r. Is 58 a factor of 2/3 - 21142/r?
False
Let p be (-24)/((1/24)/(3/27)). Let a = p - -203. Is 6 a factor of a?
False
Suppose -43*j - 76*j + 22967 = 0. Suppose 3*z - c = -403, 2*c = 3*z + 7*c + 433. Let v = j + z. Is v a multiple of 19?
True
Let b(d) = d**2 + 16*d - 11*d + d**3 - 6*d**2 - 6. Let t be b(5). Suppose -4*u + 163 = t. Is 6 a factor of u?
True
Suppose 14*l + 100 = 34*l. Suppose 98 = j + 2*v, 3*v = -3*j + l*v + 318. Does 26 divide j?
True
Let w be (-3)/((-9)/(-33) + 0). Let j(y) = -62*y + 6. Does 16 divide j(w)?
True
Suppose 2129*g - 119675 = 2127*g + h, -15 = -3*h. Does 68 divide g?
True
Let s be (144/(-90))/(1/20). Let p(h) = -12*h - 60. Is p(s) a multiple of 27?
True
Does 2 divide (1/(-2))/(-16 + (-16 - (-1090552)/34080))?
True
Let v(s) be the second derivative of -s**5/20 + 11*s**4/12 + 16*s**3/3 + 3*s**2 - s. Let w(y) = 12*y + 637. Let h be w(-52). Is 28 a factor of v(h)?
True
Let u be (-3 + 5/(-5) - -1)*-1. Suppose 964 = 2*z + u*v - 6*v, -3*z + 4*v = -1444. Is z a multiple of 34?
True
Let k be 1*8 + 20/(-6 + 1). Suppose 2*p - 578 = -2*a, -3*p - k*a = -0*p - 870. Does 26 divide p?
True
Let g be (-1554)/105 - (8/(-10) - -1). Let o be 1964/10 - (-6)/g. Suppose 0*v - 2*v = -o. Does 7 divide v?
True
Suppose 2*m = -5*t + 22078, -6*m = 58*t - 57*t - 4382. Does 7 divide t?
False
Suppose -191563 - 937801 + 307084 = -40*a. Is a a multiple of 61?
True
Let s = -333 - -336. Suppose s*r + 5*a = 145, r - 5*a + 0*a = 15. Is r a multiple of 8?
True
Let v(c) = -c**3 - 9*c**2 - 12*c - 1. Let a be -2 + 0 + (4 - 10). Let o be v(a). Let m = o + -1. Does 5 divide m?
True
Let x(q) = 14. Let l(i) = -i + 14. Let b(f) = -6*l(f) + 7*x(f). Let r be b(6). Is r - -2*(-1)/2 a multiple of 7?
True
Is (-2)/(-22) + (-121007886)/(-2794) a multiple of 122?
True
Let q(x) = -2*x**3 + 16*x**2 + 17*x + 6. Let j be q(9). Is (48472/(-219))/(2/j) a multiple of 5?
False
Suppose 7440 = -11*x + 12434. Does 7 divide x?
False
Suppose -5*n = 5, -13*m - 16 = -14*m + 3*n. Suppose 3822 = -0*z + m*z. Is 9 a factor of z?
False
Suppose 3*v - l = 11, 0*l = 4*v - l - 15. Suppose 5*m = a + 26, -2*m - 3*m = -v*a - 29. Suppose -m*i + 152 = 4*g - 67, -5*i = -4*g - 211. Is i a multiple of 43?
True
Let j(t) = 443*t**2 + 2*t - 2. Let z be j(1). Let x = z - 274. Is x a multiple of 20?
False
Suppose -5*x = -334*n + 337*n - 80953, -5*x = -2*n + 53977. Does 131 divide n?
True
Let s be 1656/(-15)*(-120)/18. Let l = -525 + s. Is l a multiple of 16?
False
Let s(p) = 3*p**3 - 87*p**2 + 5*p + 68. Does 2 divide s(29)?
False
Let r = 867 + 19007. Is 37 a factor of r?
False
Let b(a) = a**3 + 8*a**2 - 3*a - 12. Let q be b(-8). Let m = q - 22. Does 22 divide (84 - 0) + (-40)/m?
True
Suppose -5*l + y + 23100 = 0, 4*y - 6123 = -l - 1503. Does 110 divide l?
True
Let u(j) = 20*j**2 - 3*j + 3. Let f(w) = w**2 - 6*w + 2. Suppose -2*o - 6*o = -3*o. Let i be f(o). Is 6 a factor of u(i)?
False
Suppose -5*b = 4*x - 12304, -x + 2224 = -4*b - 852. Suppose -q = -4*a - 460, -5*q + x - 861 = -3*a. Is 22 a factor of q?
True
Let q(r) = 25*r**2 - 76*r + 270. Is 60 a factor of q(30)?
False
Suppose 0 = -10*a + 33*a - 437. Let d = a + -5. Is 3 a factor of d?
False
Let i = 37 + -29. Let r(n) = n**2 - 7*n - 7. Let u be r(i). Is 13/((-4*u/(-4))/3) a multiple of 13?
True
Let v be -3*(5 - (-48)/(-9)). Is 8 a factor of (64/v)/(-1 + 9 + -7)?
True
Let d(z) = -91*z + 11. Let s(k) = -136*k + 17. Let t(a) = -7*d(a) + 5*s(a). Let q(o) = 58*o - 1976. Let f be q(34). Is 30 a factor of t(f)?
True
Let a be (-13)/169 - 6215/(-13). Let y = a + -66. Is 13 a factor of y?
False
Suppose 2*y + 5*g - 468 - 631 = 0, 0 = -g - 5. Let b = y + -130. Is 24 a factor of b?
True
Let k(b) = b**3 - 3*b**2 - 3*b + 4. Let w be k(9). Let t = w - 240. Is 31 a factor of t?
False
Does 172 divide (-3 + 8 - (2 + 0))*(-311056)/(-16)?
False
Let k(o) be the second derivative of -o**4/6 + 5*o**3/6 + 9*o**2/2 + 22*o. Let v be k(-2). Let x(g) = g**3 + 10*g**2 - 27. Is x(v) a multiple of 9?
True
Let m be (-2 - -113 - 1) + 2. Let k = 101 + 63. Suppose 3*b = -b - x + k, 3*b - 2*x - m = 0. Is b a multiple of 7?
False
Suppose 0 = 3*x - 26*c + 30*c - 1835, -x - c = -611. Is 29 a factor of x?
True
Suppose -12 = -q - 10. Suppose q*n - o - 1 = 0, 3*o - 8 = 4*n - o. Let u(k) = 33*k + 5. Does 26 divide u(n)?
True
Suppose -30*w = -3*p - 28*w + 7894, -2*p + 5269 = 5*w. Does 28 divide p?
True
Let o be (13/(104/(-272)))/((-2)/13). Let v = o + -190. Does 8 divide v?
False
Suppose -5*s = t - 112450, 4*t + 3551 = -3*s + 71038. Is s a multiple of 44?
False
Let b be (-219310)/(-56) + (-10)/8. Suppose 13*d = 453 + b. Does 56 divide d?
True
Let n be ((-2)/3)/(0 + (-7)/(-273)). Does 85 divide (-2 + n + 0)*(-69 - -63)?
False
Suppose 79*t - 74*t = 0. Suppose r - 2*v - 185 = 117, t = -4*r + v + 1180. Is r a multiple of 14?
True
Suppose -117*r + 448*r = -856618 + 2898226. Is 44 a factor of r?
False
Suppose 2*k + 2254 = 3*g, 3*k = -47*g + 42*g + 3763. Does 33 divide g?
False
Suppose 5*y - 18 = 2. Suppose 4*k = -j + 14, y*j - 4*k + 3 = -1. Suppose 2*r + 18 = -q + 88, -j*r + 3*q + 78 = 0. Does 13 divide r?
False
Let g be (-3)/(45/(-10))*3. Is 31 a factor of (-8)/16*8*(-31)/g?
True
Let x be (24/(-10))/((-6)/105). Is 7329/49 + 18/x a multiple of 17?
False
Let p(s) = -s**2 + 175*s + 1526. Is p(156) a multiple of 15?
False
Let k = 10208 + 416. Is 67 a factor of k?
False
Let w(a) = -230*a + 132. Let b(t) = 77*t - 43. Let p(j) = 16*b(j) + 5*w(j). Is 53 a factor of p(6)?
False
Let p = -1079 + 3339. Does 25 divide (-1)/(5/p*-2) - 1?
True
Let r(l) = -9*l**2 - 7*l + 27. Let q(c) = 4*c**2 + 4*c - 14. Suppose 3*x = 5 + 4. Let b(t) = x*r(t) + 7*q(t). Is b(-11) a multiple of 14?
False
Suppose -2271*q + 2267*q - 2419 = -13255. Does 63 divide q?
True
Suppose -5*k + 5*y + 1407 = 3*y, -4*k - y + 1136 = 0. Let j = k + -73. Is j a multiple of 3?
True
Let c = 35 - 30. Suppose -3*k = h, h - 3*k = c*h - 45. Suppose -2*y + h = -17. Is 16 a factor of y?
True
Suppose 33159 = 74*r - 67*r. Suppose -32*o - 1185 = -r. Is o a multiple of 12?
False
Suppose -3*c = -2*s - 17, -4*c + 2*s - 4 + 28 = 0. Let z(k) = k + 19. Let l be z(c). Does 53 divide (-15813)/(-117) + (-4)/l?
False
Does 9 divide (160/15 + -10)*(-18495)/(-10)?
True
Suppose -317*r + 11935 = -306*r. Is 40 a factor of r?
False
Let s(u) = u**3 - 2*u**2 - u - 4. Let c be s(3). Let r = 13 - 3. Let q = r + c. Is 12 a factor of q?
True
Let c(z) = 2*z**2 - 8*z + 1526. Does 26 divide c(44)?
False
Suppose 200 = 5*k - 525. Let p(v) = 46*v + 97. Let f be p(-2). Is k + f*6/10 a multiple of 35?
False
Let q(r) = 346*r**2 - 125*r + 84. Is q(-9) a multiple of 15?
True
Let w(c) = -36*c + 140. Does 30 divide w(-15)?
False
Suppose 4685 + 6119 = 37*m. Suppose -m = -5*i + 3463. Does 7 divide i?
False
Suppose 8*g = 9*g + 4*z - 8523, -4*g - 2*z = -34176. Is 33 a factor of g?
True
Let d(q) = -q**3 - 20*q**2 + 16*q - 251. Is 26 a factor of d(-27)?
True
Suppose -15*d + 12*d = -6. Let q(r) = 10 - 5*r**2 + 0*r**d - 6 - 12*r + 15*r**2. Is q(5) a multiple of 28?
False
Suppose -5*v = m + 8, 5*m = 3*m - 4*v + 2. Suppose -150 = m*u - 12*u. Does 3 divide u?
True
Let d be ((-261)/12 - 6)/((-6)/32). Suppose 29*u + d = 30*u. Is u 