 - 3*i, -4*m + i = -72. Does 2 divide m?
False
Let r(n) = 2*n + 18. Let j be r(0). Let p = 21 - j. Suppose 3*w - 336 = i - p*i, -333 = -3*w - 3*i. Is w a multiple of 20?
False
Suppose 0 = 3*v + v - 40. Suppose -d + v*d - 3456 = 0. Does 75 divide d?
False
Let l(g) = 8*g**2 + 29*g + 7. Let p = -54 - -47. Let x be l(p). Suppose b + 5*z - 120 = -22, 2*b + z = x. Is 11 a factor of b?
False
Suppose -202*s - 9892 = -205*s - 5*u, u = 2*s - 6625. Is s even?
False
Suppose -p + 3*j - 4*j + 16 = 0, -4*p - 2*j + 54 = 0. Suppose -12268 - 3385 = -p*m. Is m a multiple of 11?
False
Let v = -12 - -158. Let n = 192 - v. Is 11 a factor of n?
False
Let m = 22 - 12. Let f be ((-12)/m)/((-6)/920). Let x = -106 + f. Is 26 a factor of x?
True
Let j = 19914 + -11114. Does 22 divide j?
True
Suppose 5*p - 3*b = 29 + 48, b - 35 = -3*p. Let o = -8 + p. Suppose o*v = -0*v + 200. Is v a multiple of 7?
False
Let y(n) = -n**3 + 7*n**2 - 10*n + 7. Let x be y(5). Suppose -x = m - 17. Is 17 a factor of ((-6)/m)/((-11)/935)?
True
Let f(g) = 374*g + 10142. Is 32 a factor of f(-13)?
True
Suppose 4*s = -m + 9080, 2*m = -2*s - s + 18155. Is m a multiple of 210?
False
Let f = 473 + -33. Let y = f - 313. Suppose 5*c = -5*k + 1050, y = 2*c - k - 287. Is 21 a factor of c?
False
Let c(l) = l**3 + 59*l**2 + 50*l + 307. Is 29 a factor of c(-31)?
True
Let w = 1 + 6. Suppose -5 = h - w. Suppose -3*p = -h*d + 64, -3*d = 5*p - 44 - 14. Is d a multiple of 19?
False
Let y = -3107 + 8153. Is y a multiple of 17?
False
Suppose -4*c = 76*c - 275691 - 783509. Does 40 divide c?
True
Let x(b) = -b**2 + 7*b - 7. Let f be x(2). Suppose -a = -2*y - 250, -3*a - 2*a + f*y = -1236. Is a a multiple of 6?
True
Let c(p) = p**2 + 9*p + 330. Is c(44) a multiple of 11?
True
Let m = 471 - 151. Suppose -n + m + 112 = 0. Does 27 divide n?
True
Suppose 4069*v - 4076*v = -693. Is 12 a factor of v?
False
Let z = -1755 + 4100. Does 3 divide z?
False
Let o = 66 + -62. Suppose 24*u = 26*u - o. Suppose 0 = u*w - w - 117. Does 18 divide w?
False
Let a(s) = s**2 - 5*s - 16. Let b be a(8). Let f = b - 1. Suppose 0 = -f*d + 63 + 133. Is 7 a factor of d?
True
Let h(a) = -54*a**3 - 30*a - 85. Is 26 a factor of h(-5)?
False
Let x(j) = j**2 - 25*j + 95. Let q be x(23). Suppose 3*m + 47*s - q*s = 472, 159 = m + s. Does 36 divide m?
False
Suppose k + 5 = 5*s - 0, -4*s + 4 = -3*k. Suppose k = 39*i - 35*i. Suppose i = -v + 47 + 33. Is v a multiple of 5?
True
Let n(a) = -2*a**2 + 54*a + 3. Let j be n(27). Suppose -j*k - 10*c + 5*c = -1330, -5*c = -2*k + 920. Does 11 divide k?
False
Let o = 134 + -325. Let i = o + 257. Does 11 divide i?
True
Does 108 divide ((1*648)/9)/(16/504)?
True
Suppose -2637 = -2*w + 3*o, 0 = -78*o + 75*o - 9. Is w a multiple of 146?
True
Let l = 210 + 183. Let y = l - 659. Let k = y + 389. Is k a multiple of 41?
True
Let h = 3 - -17. Suppose -h*j + 401 = -119. Is 13 a factor of j?
True
Let p(s) = -s**3 + 83*s**2 + 10*s - 310. Is 10 a factor of p(23)?
True
Suppose -2*z = 2*d - 0*z, 4*d + 3*z - 2 = 0. Suppose -8*x + 4 = -12. Suppose d*r = -0*l - x*l + 14, 4*l + 2*r = 34. Is l a multiple of 3?
False
Let i = 164 + -154. Is 202 + -6 + i + -1 a multiple of 17?
False
Suppose -26494 = -12*v + 7*v + 49516. Is v a multiple of 22?
True
Let a(l) = 2863*l**3 + l**2 + 31*l - 64. Does 52 divide a(2)?
False
Is ((-22)/4 + 270/108)/(2/(-32202)) a multiple of 27?
True
Let b be 8*(-1)/6*(-12)/8. Let g(c) = 55*c - 47. Does 7 divide g(b)?
True
Suppose 4*w - 50 = 6. Suppose -o - w*o = -2520. Is o a multiple of 12?
True
Let h(c) = -319*c + 2146. Is 14 a factor of h(-62)?
True
Suppose -4*c - 8 = 0, -7*d - 2574 = -11*d - 5*c. Suppose 52 - d = -9*j. Is 28 a factor of j?
False
Suppose -3*g + 13*a - 15*a + 7501 = 0, -2482 = -g + 3*a. Does 5 divide g?
False
Let j = -192 - -186. Does 3 divide 5/(5/28) + (-10 - j)?
True
Let r be 240/(-1560) + (-739)/13. Let t(u) = u**3 + 9*u**2 + 6*u + 9. Let m be t(-7). Let j = r + m. Does 6 divide j?
False
Suppose 5*j - 57 = l, 50 = 4*j + l - 4*l. Suppose j*r - 3571 - 4173 = 0. Is 22 a factor of r?
True
Let c(p) = 6*p**3 + p**2 + 1. Let n(t) = 17*t**3 + 29*t**2 + 11*t - 63. Let f(k) = -3*c(k) + n(k). Is 44 a factor of f(26)?
True
Let z = 421 + -415. Suppose 3000 = -z*g + 31*g. Is g a multiple of 30?
True
Suppose 3*j + 3*g - 236 = 1510, -5*g = -4*j + 2319. Suppose -3*i + 851 = 5*c - j, 3*i - 1472 = 5*c. Suppose z = 4, z - 104 - i = -4*y. Does 28 divide y?
False
Let c(u) = 10*u**2 + 44*u + 5. Let x = 191 - 196. Is 3 a factor of c(x)?
False
Suppose m + 6 = 10. Let r(v) = -v**2 + 4*v - 4. Let g be r(m). Is -54*(g - -3) + -3 a multiple of 17?
True
Let c(s) = s**2 + 52*s + 690. Is 7 a factor of c(-15)?
False
Let z = 9955 + -6067. Is z a multiple of 24?
True
Let g(z) = -z + 11. Let r(h) = 2*h - 12. Let j(n) = 3*g(n) + 2*r(n). Let m be j(-6). Is 22 a factor of -1 + (189/m - -4)?
True
Is (331*11 + -1)*(-900)/(-720) a multiple of 7?
True
Suppose -26*s + 439 = -2*s + 1567. Let b be 3*19*1*1. Let f = s + b. Is 5 a factor of f?
True
Let n(z) = 3*z + 1635. Is n(-68) a multiple of 11?
False
Suppose -748*j + 894*j = 444132. Is j a multiple of 14?
False
Suppose 0 = -42*w + 92244 + 2172. Does 25 divide w?
False
Suppose 2*s - 105600 = 3*s - 21*s. Is s a multiple of 16?
True
Let s be 42 + (0/3 - -2). Let v be ((-10)/(-3) - 4) + (-304)/(-24). Let a = s + v. Is 7 a factor of a?
True
Let f be (-2)/(-7) + (-432)/(-56). Suppose 0 = x + x + f. Is 20 a factor of ((-68)/51)/(x/510)?
False
Suppose 4*a + 7616 = j, -9*a = -5*a. Suppose 21*u - 5*u - j = 0. Does 14 divide u?
True
Let b(g) = g**3 - 12*g**2 - 26*g - 25. Let f be b(14). Suppose 453 = f*i - 2832. Does 21 divide i?
False
Suppose -21*b + 20*b = -96. Let d = b + 255. Is d a multiple of 27?
True
Suppose 1206 - 3126 = 4*s. Let x be (s/42)/4*(-7)/2. Suppose 2*p - 732 = -x*p. Is 6 a factor of p?
False
Let z = 8763 + -4112. Is z a multiple of 98?
False
Let s(h) = h**3 - 2*h**2 - 39*h + 202. Is 8 a factor of s(14)?
True
Is (-2 - (-9)/(-3)) + (-78336)/(-68) a multiple of 37?
True
Does 13 divide 180/15 + 1142 - -3?
True
Let k(y) = -y**3 + 21*y**2 + 189*y - 2. Does 153 divide k(22)?
True
Does 91 divide (-4 - (2 + 2)) + 8570*6/12?
True
Let i be (70/28 - (-2)/4)*26. Let b be (1/6)/1 - 559/i. Does 23 divide 1/b - (-11963)/49?
False
Suppose 0 = -5*p + 4*w - 4, 7*w = 2*w + 5. Suppose p = -4*t + 3*t. Suppose -32*g + 29*g + 108 = t. Is g a multiple of 7?
False
Let b(p) = 642*p - 621. Is 50 a factor of b(5)?
False
Suppose 2*v - 3079 = -2*i - 9, -5*i + 5*v = -7725. Does 28 divide i?
True
Let h(u) = u - 21. Let z be h(9). Let x be (40*-1)/(z/96). Suppose q - 3*i - 62 = 0, -5*q + 9*i + x = 4*i. Is q a multiple of 9?
False
Suppose -30 = -2*b + 5*k, 20*k + 45 = 5*b + 15*k. Suppose 2507 = b*f - 2*c, 4*f - 2*c + 1014 = 6*f. Is f a multiple of 49?
False
Suppose 20*s - 236122 = 104562 - 63384. Does 47 divide s?
True
Suppose -11*x - 622 + 2602 = 0. Suppose 11 - x = -13*p. Does 13 divide p?
True
Let m be ((-54)/(-9))/((-1)/101). Let d = m + 1594. Is 12 a factor of d?
False
Suppose l = -7 + 42. Suppose l*j = 34*j + 341. Is j a multiple of 31?
True
Suppose 1672 = 6*d + 2*d. Suppose d = -q + 215. Is 2 a factor of q?
True
Let v(s) = -8*s**2 + 6*s**2 - 10*s + 17 + 3*s + s**3 - 7*s**2. Let o be (-3)/(-6) + (-21)/(-2). Is 14 a factor of v(o)?
True
Let z(j) = -10*j - 63. Let s(n) = -5*n - 32. Let f(l) = -7*s(l) + 3*z(l). Suppose -2*c + 20 = -3*x, -3*x + 34 - 5 = 5*c. Does 10 divide f(c)?
True
Let h be ((-6)/12)/(2/(-80)). Let z(n) be the first derivative of n**2/2 + 57*n - 9. Does 11 divide z(h)?
True
Let j(r) = -r**3 + 5*r**2 + 3*r + 6. Let d(a) = -a**3 + a**2 - a. Suppose 4*x = 3*w - 9, 2 + 4 = -2*x. Let y(l) = w*j(l) + 2*d(l). Does 33 divide y(-6)?
True
Suppose -d = -4*w, -w - 5*d - 7 + 28 = 0. Does 5 divide w - (11 - -118)*(-2)/6?
False
Suppose 2*l - 5*l = 0. Let z(r) be the third derivative of -r**5/60 - r**4/24 + 11*r**3 - 3*r**2 - 97*r. Is z(l) a multiple of 22?
True
Let h(a) = -a**3 - 11*a**2 - a - 13. Let o(t) = -1. Let q(r) = -h(r) + 4*o(r). Let g be q(-8). Suppose -3*j = -2*i - g, -38 = 2*j + i - 169. Does 13 divide j?
True
Suppose 5758 = 2*c + 5*v, v = -31*c + 27*c + 11516. Does 10 divide c?
False
Is 2 a factor of 1300/2 - (57 + -66)?
False
Suppose 2*p = 3*p - j - 520, 5*p - 2586 = -2*j. Let d = p + -33