 Let x = r + 1918. Is x a multiple of 6?
False
Let o(u) = -5*u**3 - 4*u**2 + 5*u - 4. Let m be o(-8). Let f = 3265 - m. Is (-20)/170 - f/(-17) a multiple of 12?
False
Let m(h) = 9*h + 79. Let r be m(-8). Is -7*(-3 + (-759)/r) a multiple of 41?
False
Suppose 0 = 3*n + 2*l + l - 24, -2*n - 5*l = -13. Let m(s) = -2*s**3 + 47*s**2 + 27*s - 62. Let d be m(24). Suppose -n*g = -d*g + 117. Is 13 a factor of g?
True
Let a be 0*-2*(-1)/4. Suppose 4*k - 232 + 72 = 0. Let g = a + k. Is 10 a factor of g?
True
Let d(j) = 6*j**3 + 2*j**2 + 2*j + 38610. Is 270 a factor of d(0)?
True
Let t(m) = -m + 6. Let d be t(0). Let l(s) = -2*s**2 - 10*s - 8. Let q be l(-3). Suppose d*o = q*o + 194. Is 24 a factor of o?
False
Suppose 0 = -7*z + 3*z + 140. Let s = 45 - z. Suppose -s*q + 290 = -5*q. Does 7 divide q?
False
Suppose w - 14*w + 299 = 0. Suppose -w = 10*t - 3323. Is t a multiple of 33?
True
Suppose -u + 1 = 4, -2*i + 1729 = u. Suppose i - 619 = s. Is 14 a factor of s?
False
Is 8 a factor of 8 + -8318*(-10)/20?
False
Does 30 divide (8390 - -66) + 72/4?
False
Suppose -15*m + 161 = 8*m. Let k(f) = 25*f - 15. Does 13 divide k(m)?
False
Suppose -2*k - 388 = 5*z + 128, z + 1050 = -4*k. Let x = k + 529. Is 38 a factor of x?
True
Let h = -513 + 893. Let v = h + -178. Is v a multiple of 19?
False
Let y(n) = -20*n - 211. Let d = -83 + 70. Is 6 a factor of y(d)?
False
Suppose 0 = 5*p, 3*o - 3*p - 648 = 75. Is o a multiple of 13?
False
Let o = 242 - 226. Is 8 a factor of ((-1124)/o + 3)/(5/(-40))?
False
Suppose -4*v - 398 = -6*h + 4*h, 5*h + 5*v = 980. Let i = 305 - h. Suppose 0*k - 6*k + i = 0. Is k a multiple of 6?
True
Suppose 0 = -24*k + 35*k. Suppose k = 18*l + l - 912. Is 3 a factor of l?
True
Let k(x) = -x**3 + 21*x**2 - 11*x - 33. Let q be k(16). Suppose 4*c - 1157 + 77 = 4*r, q = 4*c - r. Is 5 a factor of c?
False
Let k(s) = -41*s - 11. Let c(x) = -1. Let z(u) = 5*c(u) - k(u). Let t(w) = 21*w + 3. Let i(y) = -7*t(y) + 3*z(y). Does 18 divide i(-8)?
False
Let g = -4 - 47. Let r = -5 - g. Is 23 a factor of r?
True
Does 40 divide ((-4800)/28)/(((-117)/(-182))/(-9))?
True
Is ((-1096)/(-6) + 3)/(13 - 3029/234) a multiple of 8?
False
Let b(v) = -3*v + 8. Let a be b(2). Let r(k) = 152*k**3 - 2*k**2 + k - 2. Let t be r(a). Suppose -t = -4*f + 3*y - 5*y, -y + 1504 = 5*f. Is f a multiple of 20?
True
Suppose -2*v + 3*c = -44850, -v + 69*c + 22436 = 73*c. Is 36 a factor of v?
True
Let d = -8327 - -20816. Is 23 a factor of d?
True
Let j = -107 + 109. Suppose k - 8 = j*l + 6*k, 4*l + k - 20 = 0. Suppose 21*u - 75 = l*u. Is u a multiple of 5?
True
Let u(b) = -b**3 - 23*b**2 - 121*b + 25. Is 42 a factor of u(-28)?
False
Let q be ((-4)/((-20)/(-25)))/((-1)/(-2)). Is -1*(q*25 - (-3 - 2)) a multiple of 4?
False
Let b(u) = -38*u + 1445. Let t be b(38). Let h(d) = -2. Let z(l) = -47*l. Let p(i) = -4*h(i) - 2*z(i). Does 26 divide p(t)?
False
Suppose -3*j - 4*b = -53, j - 6 = -4*b + 5*b. Let f(g) = g**3 - 9*g**2 - 3*g + 14. Let a be f(j). Suppose 3*z - 50 - a = 0. Is z a multiple of 7?
True
Let c be (-19)/(-3) + 1 + 1/(-3). Is 6 a factor of 7/(-4)*2*(-348)/c?
True
Suppose 1 = -u, -5944 = -5*z - 22*u + 26*u. Is z a multiple of 108?
True
Is 1520/114*348/16 a multiple of 22?
False
Let y be (-4 - (0 + -3))*(-126)/9. Let f(a) = -4*a + 73. Let t be f(y). Suppose 0 = -t*d + 791 + 76. Does 12 divide d?
False
Suppose 103*l - 2841433 - 339950 + 746360 = 0. Is 47 a factor of l?
True
Suppose -3*k - 2*p = 13 + 4, -k - 4*p = 9. Let x(a) = 14*a**2 + 12*a + 35. Does 7 divide x(k)?
False
Suppose -2172 = 36*c - 32*c. Let v = -436 - c. Is 3 a factor of v?
False
Is 9 a factor of (-2)/4*-7124 + 7*4/14?
True
Let j(g) = 26 - 6*g + 12*g + g + g. Let s be j(4). Suppose 7*i = 96 + s. Is 2 a factor of i?
True
Suppose 0 = x + 4*g - 3335, 26*x + 16790 = 31*x - 3*g. Is 14 a factor of x?
False
Let l(p) = 34*p - 1. Let r be -8*(-3)/(-18)*-66. Let w = -85 + r. Does 14 divide l(w)?
False
Suppose -k - 4*p + 0 = 3, -3 = -k - p. Suppose -k*i - 6058 = -18*i. Is i a multiple of 8?
False
Let w(a) be the first derivative of a**2 + 4*a - 21. Let y be w(7). Is 1658/y + (-10)/90 a multiple of 16?
False
Let y = -50 + 52. Suppose m = -5*t - 8, y*t - 2*m - 5 = t. Does 15 divide -8*(-14 - t - -3)?
False
Let a(v) = -v + v**2 - 8*v**2 + 14*v**2 + 12. Let k be a(5). Suppose -2*g - 90 = -z, 2*g = -z + 3*z - k. Does 11 divide z?
False
Let r = 348 - 175. Suppose -r = -27*g + 3067. Is g a multiple of 15?
True
Suppose -5*z - 5*b = -87475, -3*b - 52491 = -62*z + 59*z. Does 92 divide z?
False
Is 46 a factor of (-2)/(-15) + 16390320/3600?
False
Let m be ((-2667)/(-84))/(3/(-12)). Let j = m + 217. Does 3 divide j?
True
Let r(i) = i**3 - 18*i**2 + 11*i - 63. Is 87 a factor of r(20)?
True
Let y = -2618 + 4154. Is y a multiple of 16?
True
Let y(a) be the second derivative of -a**5/10 - a**4 - 5*a**3/6 - 6*a**2 + a + 16. Does 10 divide y(-9)?
False
Let r be 58/4 + (-153)/(-102). Suppose -r*o = -7442 - 3870. Is 11 a factor of o?
False
Let f = 18295 + -10483. Does 12 divide f?
True
Suppose 147*i + 6282425 = 427*i + 556425. Is 10 a factor of i?
True
Suppose -290*k + 35*k + 1557751 = 103231. Does 62 divide k?
True
Let y be ((-320)/(-880))/((-1)/(-11)). Suppose 3*j = q + 431, -j - y*q = -2*j + 140. Is j a multiple of 11?
False
Let x(i) = -i**3 + 40*i**2 + 10*i + 64. Is x(32) a multiple of 64?
True
Let f(p) = -900*p + 2213. Is 18 a factor of f(2)?
False
Let l be 9 + -2 + (-12 - -8). Suppose -24 = -4*w - 3*m, w - l - 18 = 3*m. Is 17 a factor of 40/28 - w/21 - -118?
True
Let l(g) = 177*g**2 - 19*g + 419. Is l(-10) a multiple of 45?
False
Let q be 1/((-6 - -7)/(-466)). Let d = q + 516. Does 10 divide d?
True
Suppose 7*v - 2*v - 2*f - 2554 = 0, 0 = -2*v - f + 1018. Suppose 3*c = 2*z - 1040, 5*z - 4*z - 4*c - v = 0. Is z a multiple of 28?
False
Let d(w) = 5*w**2 + 120*w - 20. Let p be d(-26). Suppose 59*r + 105 = 61*r + a, -4*a - p = -4*r. Is r a multiple of 55?
True
Suppose -23434 = -5*r - 3*s, -3*r + s + 6655 + 7411 = 0. Does 16 divide r?
True
Suppose 0*a = -a + 4*q + 782, -3*q + 3128 = 4*a. Suppose 49*m - a = 32*m. Is 3 a factor of m?
False
Let f(l) = -l**2 - 68*l - 15. Does 36 divide f(-57)?
True
Let v(a) = -a**3 + 12*a**2 - 19*a - 10. Let i be v(10). Suppose -s + 6 - 3 = i. Suppose -w + z + 113 = 0, -s*w - 2*w + 567 = -4*z. Is 24 a factor of w?
False
Let m = -192 - -214. Suppose 3*v - m*v + 760 = 0. Does 14 divide v?
False
Suppose 4*o - p - 149 = 0, 3*o + 3*p = 4*p + 113. Let a(h) = h**2 + 364*h - 2220. Let f be a(6). Suppose f = -s - 2*s + o. Does 4 divide s?
True
Let b(u) = -47*u**2 - 22*u + 1. Let q be b(5). Is 65 a factor of (1/2 - 36/24)*q?
False
Let m = 36794 + -21946. Is m a multiple of 128?
True
Suppose -3*z - 435 + 150 = 0. Let g = z - -270. Does 25 divide g?
True
Let d(u) = u**3 - 2*u**2 - 4*u - 1. Let z = -113 - -116. Let j be d(z). Is 13 a factor of (-1020)/(-35)*(-14)/j?
False
Let t = 40064 + -16904. Is 15 a factor of t?
True
Suppose 5904 = -17*k + 33*k. Does 13 divide k?
False
Let u be (-210)/(-8) - (-16)/(-64). Suppose 0 = -37*a + u*a + 9163. Is 15 a factor of a?
False
Is 12 a factor of (-5 - 1)*(-1 + 0) + (-27549670)/(-3397)?
False
Let t(u) = u - 9. Let d be t(-13). Let j = d + 26. Suppose 5*b - 7*b - 5*l + 64 = 0, j*l - 16 = 0. Is 19 a factor of b?
False
Let v(p) = -2*p**3 + 55*p**2 - 73*p + 110. Is 15 a factor of v(25)?
True
Suppose -17225*a = -17228*a + 17472. Is 13 a factor of a?
True
Suppose -3014 = -4*z - 182. Suppose -27*n = -30*n + z. Suppose 5*k - 404 = n. Is k a multiple of 32?
True
Suppose 3*a - 1 - 830 = 0. Is -1 + -7 + (a - 5) a multiple of 11?
True
Let y(s) = -s**2 + 1. Let l(h) be the second derivative of 7*h**4/12 - 19*h**3/6 + 16*h. Let o(r) = -l(r) - 6*y(r). Is 4 a factor of o(17)?
True
Suppose 6329 = r + 10*z - 9*z, 6*r = -2*z + 37986. Does 20 divide r?
False
Let x(t) = -135*t + 83*t + 171*t - 14. Does 38 divide x(2)?
False
Let f = -9 + 13. Let t(a) = -24*a + 34*a - f + 38*a + 0. Is t(2) a multiple of 8?
False
Does 49 divide 96456/14 - (324/42 - 8)?
False
Suppose -z + 3499 = 5*k, 4*z = 14*k - 9*k - 3504. Does 50 divide k?
True
Let u(o) = -o - 1. Let h be u(-9). Suppose -h*r = -9*r - 109. Let m = r - -125. Is 9 a factor of m?
False
Let j be 59/(-1)*(11 + -12). Suppose -9*a + j + 4 = 0. Suppose -3*k + a + 317 = 0. Does 