110 = 5*l. Does 19 divide 455/1 + -15 + l?
False
Suppose -2*h + 52 + 18 = 0. Suppose 0 = -5*k - 25, 2*v - 3*k = 4*v - 167. Let z = v - h. Is z a multiple of 14?
True
Let r be 3/(-2)*(110/15 - 4). Let s(u) = 10*u**2 + 3*u - 1. Is 33 a factor of s(r)?
False
Let o = -352 - 1788. Is o/(-3) + (-26)/(-39) a multiple of 21?
True
Let k = -666 + 1243. Suppose 583*p - k*p - 4452 = 0. Is p a multiple of 53?
True
Let u = -290 + 293. Suppose 5*t + 13 + 12 = 0, 2*t + 415 = u*m. Is m a multiple of 3?
True
Let y(i) = 106*i + 827. Is 95 a factor of y(48)?
False
Suppose g - 10 = 5*g - 2*x, -4 = -5*g - 3*x. Let d be (-1)/g*(7/7 + -1). Suppose 6*z - 1127 + 35 = d. Does 26 divide z?
True
Let t = -19143 + 36629. Does 14 divide t?
True
Let v be -71*(-2 - 9) - 0/(-1). Suppose 11*r = -0*r - v. Let p = 21 - r. Does 23 divide p?
True
Suppose -11*w + 1 = -32. Suppose 2*l = -w*a - 513, 3*l = 3*a - 0*l + 528. Let z = a - -297. Does 31 divide z?
True
Let d(x) = x**2 + 27*x + 633. Does 7 divide d(59)?
False
Suppose 3*u + 38056 = 4*t - 7826, -4*t + 2*u = -45876. Is 101 a factor of t?
False
Suppose -30 = g + 4*l - 6*l, 2*l = 4*g + 108. Is 8 a factor of (-55158)/(-90) + g/(-195)?
False
Suppose 2*v + 6 = 4*d, 13 = 5*d + 3*v - 11. Suppose -7*t - 289 = -3*o - d*t, 0 = 3*t + 3. Is 5 a factor of o?
True
Let w(s) = s**2 - 5*s. Let k be 12/(-3) - 0 - -2. Let j(r) = -r**2 + r - 1. Let t(x) = k*j(x) - w(x). Is 3 a factor of t(-5)?
True
Is 5*(-12 + 13527/45) a multiple of 39?
True
Let h = -5 + 8. Suppose 2*w - 133 = 7*a - 10*a, 0 = -2*w + 4. Suppose 23 = 4*r + 3*k - 17, 0 = -h*r + k + a. Is 3 a factor of r?
False
Suppose 4*x = 5*m - 256 - 10639, 5*m - 2*x - 10885 = 0. Suppose 11*y - m = -4*y. Is 2 a factor of y?
False
Let z = -6739 + 6759. Is z a multiple of 5?
True
Suppose 0*s + 8*s = -72. Let j be 0*(5 + 42/s). Does 9 divide (52/6 - j)/((-24)/(-108))?
False
Let l = -31 - -43. Suppose 4*d = -m + l, -d + 4*m = 2*d - 9. Suppose -x - d*x + 464 = 0. Is 29 a factor of x?
True
Is (-1)/(-2) + (-4 - -1) + (-116456)/(-16) a multiple of 72?
False
Suppose 3*m - 1754 = -5*q, -10*m = -11*m + 3. Suppose -18*x = -2675 - q. Does 16 divide x?
False
Let c = 209 - 77. Suppose -17*o + c + 1177 = 0. Is 2 a factor of o?
False
Let h = 4 - -2. Suppose 3*c = c + h. Suppose -2*l + 5*d = -167, 0 = 3*l - c*d - 122 - 142. Is 13 a factor of l?
True
Let i(t) = -2*t**3 - 6*t**2 - t - 7. Let p be i(-3). Does 31 divide p + (-2 + 1)*-390?
False
Suppose -3*f + 20*f - 49198 = 0. Does 12 divide f/7 - 9/21?
False
Let d(x) = 129*x + 12. Let m be d(3). Let i = m - 182. Suppose 3*g - 4*s = i, 353 = 5*g - 0*g + 2*s. Is g a multiple of 23?
False
Let h(j) = 3*j + 41. Let d be h(-13). Let c(m) = 4 + 12*m + 2*m + 10*m - m**d. Is 13 a factor of c(11)?
False
Let i = 25 - 22. Let g(q) = 20 + 6*q**3 - 8 + 12*q**2 - 7*q**i - 14*q. Is g(10) a multiple of 17?
False
Is 35548/(-21 + 24 + -1) a multiple of 11?
False
Let g(f) = f**2 + 6*f - 31. Suppose 4 = -7*d + 25. Suppose -6 + 33 = d*k. Does 22 divide g(k)?
False
Let f = -41 + 45. Suppose f*l = 2*l - 6. Does 2 divide l/(-1) + (4 - 5)?
True
Does 3 divide 830487/142 + (0 + -2)/4?
False
Let j(w) be the first derivative of w**3 + 31*w**2/2 + 35*w - 66. Is 21 a factor of j(-14)?
True
Let k = 8094 + 16440. Is k a multiple of 29?
True
Let l be (16 - -2)*(-2)/(-6). Suppose 0 = -5*x - 4*j + 7, -4*j = 4*x - j - l. Suppose x*v - 286 = 4*b, 192 = -v + 3*v - 2*b. Does 7 divide v?
True
Let b(l) = 12*l + 132. Let k be b(-11). Suppose 4*w + 0*y + 3*y - 887 = k, 215 = w + 3*y. Does 16 divide w?
True
Let p(f) = f**2 - 24*f - 12. Let d be p(27). Suppose 4*k = 187 + d. Is k a multiple of 21?
False
Suppose -624216 - 475974 = -39*i. Does 155 divide i?
True
Suppose 0 = 46*i - 45*i + 1. Let z be i/(-2)*14 + 0. Suppose 0 = -z*o - 0*o + 623. Does 11 divide o?
False
Suppose 25*m + 508 = -917. Let g be 8/28 + 572/7. Let n = g + m. Does 3 divide n?
False
Let o = 35 - 21. Suppose 5*t = -0*t + 83 - 143. Is ((-7)/(o/t))/(6/249) a multiple of 32?
False
Let k be (-3)/(-30) - (-1429908)/120. Suppose 18*z - k + 846 = 0. Is 15 a factor of z?
True
Let n(u) = 12*u**3 - 14*u**2 + 27*u - 29. Is n(11) a multiple of 211?
False
Suppose 6*p - 8*p + 1078 = -x, -3*p + 1617 = 2*x. Let v = -305 + p. Is 16 a factor of v?
False
Let j(v) = -v**3 - 12*v**2 + v + 14. Let d(q) = -3*q - 12. Let a be d(0). Let n be j(a). Is (0 + 2)/(n/5) a multiple of 4?
False
Let w(g) = 2*g**2 - 66*g + 23. Let b be w(33). Suppose -l + 2*d = -b, -2*l + 3*d + 22 = 5*d. Is l even?
False
Let t(u) = 123*u**2 - 711*u - 44. Does 66 divide t(-10)?
False
Let v = -25976 - -36480. Is 28 a factor of v?
False
Let g(k) = 22*k**2 + 6*k + 118. Is 76 a factor of g(-24)?
False
Suppose 0 = r - 36 - 121. Let n be (-1)/(18/(-40)) + (-48)/216. Suppose -u - 2*u = n*f - 527, -u + r = -4*f. Is 34 a factor of u?
False
Let y(f) = 83*f + 7. Let w(v) = v**3 + 12*v**2 - 2*v - 22. Let k be w(-12). Is 6 a factor of y(k)?
False
Let c be 10/(4/2) - -315. Suppose 0 = -5*d + 3*v + c, 0*d = -4*d - 5*v + 219. Is 6 a factor of d?
False
Does 11 divide 5635 - (384/(-320))/((-4)/((-240)/9))?
True
Suppose 514143 = 17*a + 16485. Is a a multiple of 41?
True
Let m = -127 - -123. Let z be 220/(-1 + (-2)/m). Is ((-22)/55)/(1/z) a multiple of 39?
False
Suppose j - 35*j + 167314 = -20*j. Is 37 a factor of j?
True
Suppose 74588 + 141728 = 164*a. Is 3 a factor of a?
False
Let u = -1401 + 809. Let t = -240 - u. Does 9 divide t?
False
Suppose -86034 = -1876*s + 1837*s. Is 14 a factor of s?
False
Let a = -108 + 113. Suppose -a*y + 5 = -5. Suppose -y*m = -9*m + 1610. Is 11 a factor of m?
False
Suppose -223*t + 188*t + 85365 = 0. Is 143 a factor of t?
False
Let u = 7942 - 6828. Suppose 0 = 4*h - 0 - 4. Is -4*h/(-18) - u/(-9) a multiple of 25?
False
Let z(a) = -285*a - 12234. Is z(-62) a multiple of 129?
False
Let m = -8108 - -16908. Is 55 a factor of m?
True
Suppose -105*p - 6001 + 156161 = 4210. Is p even?
True
Is 153 a factor of (-256 + -122)/((-2)/8 + (-10)/(-88))?
False
Is 416/(-39)*20865/(-26) a multiple of 16?
True
Let t be 3/8 + 242/(-176). Is ((-1)/(-2))/(2/(-396)*t) a multiple of 11?
True
Let v = 295 + 2459. Does 8 divide v?
False
Suppose 3*q - 48 = -y, -4*q + 3*y = -2*q - 43. Let u be q + 201 - 2/2. Suppose -6*v + 11 = -u. Does 38 divide v?
True
Does 155 divide 1791/(-1194) - 25113/(-2)?
True
Let l = 8278 + -4073. Is l a multiple of 8?
False
Suppose -2*r = 4*x + 22, r + 35 = -3*r - 5*x. Let j = 13 - r. Let a = 53 - j. Does 7 divide a?
True
Suppose -5*r = -18*r. Is 10 a factor of (r + -3)*(-505)/15?
False
Suppose 497 = p - 587. Suppose 56 + p = 10*f. Let h = -53 + f. Does 10 divide h?
False
Suppose -21*v + 17*v + 104 = 0. Let z be 1 + 238/v - (-10)/(-65). Suppose -3*t + z*t = 42. Is t a multiple of 5?
False
Let z(w) = -11*w**3 + 11*w**2 - 32*w - 6. Does 89 divide z(-8)?
True
Suppose 0 = -6*h - 5*h + 187. Let z = 62 - h. Suppose 0 = 2*w + s - 117, -3*w + 129 = 2*s - z. Is w a multiple of 21?
False
Let y be (-2)/10 - ((-231)/(-5))/(-11). Is (-1)/y + 12495/60 a multiple of 26?
True
Let z be (2 - 0)*(-2 + (-28)/(-2)). Let a(s) = 0*s - 11*s**2 - z + 0*s - 8*s + 12*s**2. Is a(13) a multiple of 3?
False
Suppose -2961 - 3424 = -5*c - 3*j, 2*j = 0. Suppose -m + 715 = 2*h, 4*h + m - c - 158 = 0. Is h a multiple of 9?
True
Let m(j) = 17*j + 27. Let s be m(5). Let y = s - 193. Let b = y - -89. Is 7 a factor of b?
False
Suppose 0 = 6*x + 6*x - 252. Is 46 a factor of 6310/70*x/3?
False
Let g = 519 - 121. Let l = -48 + g. Is l a multiple of 10?
True
Is 211 a factor of (-7)/(-70) - (-50638)/20?
True
Let u(x) = -x**3 - 22*x**2 + 42*x - 52. Let m be u(-25). Suppose m = 2*p - 1027. Does 15 divide p?
True
Suppose 0 = -93*g + 84*g + 18. Suppose -3*q + 190 = 5*u - 363, g*u - 246 = 5*q. Does 3 divide u?
False
Let w = 1283 - -3543. Is w a multiple of 3?
False
Let a = 894 - -606. Suppose -3*s + a = 7*s. Does 8 divide s?
False
Let j(i) = i**2 - 4*i + 2. Let x be j(6). Let d(y) = y - 14. Let n be d(x). Let v = 3 - n. Is 3 a factor of v?
True
Suppose 2*x = 295 - 55. Suppose j - 128 = -3*s + x, -5*s - 5*j + 410 = 0. Does 3 divide s?
False
Let y be (4 + -1)*((-335)/(-3) - 1). Let k be -2 + y/(-7) + 15/35. Let h = k - -121. Does 18 divide h?
True
Is 2 a factor of (2294/(-8))/((-75)/300) - -1?
True
Let g = 13 - -29. Let l = g - -101. D