*i - 2*m - 11 = -m, i = -3*m - 7. Suppose v + i*v - 52 = -a, -100 = -5*v + 5*a. Does 7 divide v?
False
Suppose -2*a + 2 = 5*v + 10, a + 7 = -4*v. Is 16 a factor of (-5 + 8 + 29)/(v/(-4))?
True
Let n(d) = -125*d - 345. Is n(-16) a multiple of 7?
False
Suppose 0 = -3*i + 4*j - 169, -106 = 2*i + j + 14. Let w = -3 - i. Does 16 divide w?
False
Suppose -1700 = -3*y - 4*a, -3*a - 1686 = -3*y - 0*a. Is ((-2)/(4/6))/((-18)/y) a multiple of 12?
False
Let x(i) = -i + 36. Does 21 divide x(-6)?
True
Suppose -4*m - 3*q - 40 + 13 = 0, 0 = 3*m + 3*q + 21. Does 28 divide (-794)/m + -2 - (-2)/3?
False
Let t(h) = 34*h**3 - 3*h**2 - 8*h + 16. Does 33 divide t(3)?
False
Suppose 5*x - 833 = 3*o, -7*x = -2*x - 5*o - 825. Is x a multiple of 13?
True
Let y = -557 - -867. Is y a multiple of 62?
True
Let l(q) = -2*q**3 - 11*q**2 - 9*q - 12. Suppose 13 + 1 = -2*h. Is 29 a factor of l(h)?
False
Let a = 21 - 17. Suppose -3*x = 2*x - 25, a*f = -3*x + 379. Does 31 divide f?
False
Suppose 0 = 7*w + 14*w - 5*w. Let d = 103 - w. Does 15 divide d?
False
Suppose 2*l = 4, 2*g = l + 12 - 8. Is 18 a factor of 6/(-2)*1 - (g + -40)?
False
Let z be (39/2)/(1/(-2)). Let x be 3/2*(-104)/z. Suppose -j - 47 = -2*f - 11, -x*f - 5*j = -86. Does 19 divide f?
True
Suppose -5*k - 2*l + 30 = -3*k, -66 = -4*k - l. Let i = -3 + k. Is i a multiple of 7?
True
Let y be (-2 + -4)*(-19)/(-2). Let s = y - -161. Does 22 divide s?
False
Let h(v) = 28 - 13 - 26 + 20*v. Let l be h(4). Suppose l - 9 = 2*i. Does 9 divide i?
False
Let a = -5 + 10. Suppose -a*y + 50 = -35. Does 17 divide y?
True
Let a = -103 - -415. Is 52 a factor of a?
True
Suppose s = 6*s + 4*j - 55, -5*j = -5*s + 100. Is (-10)/s - (-1388)/12 a multiple of 23?
True
Let s be (-26)/39*6/(-4). Is -2 + 17 - 3*(-1)/s a multiple of 18?
True
Let l be (-2)/(32/(-12))*4. Let x(o) = -2 + o + l + 4*o + 2. Is x(3) a multiple of 5?
False
Is 9 a factor of (-56)/(-10)*(627/22 + 4)?
False
Suppose -4*i = 5*x - 37 - 49, 0 = -4*i - 4*x + 84. Does 6 divide -6*i/(-2) - (-19 - -21)?
False
Let j = -23 - -30. Let z(n) = 4*n**2 - 11*n - 5. Let o(i) = -5*i**2 + 12*i + 4. Let c(s) = -3*o(s) - 4*z(s). Is c(j) a multiple of 7?
False
Let l(t) = 2*t**2 - 9*t + 5. Let p(c) = -c - 5. Let o be (-2)/3 + 186/(-18). Let i be p(o). Is l(i) a multiple of 7?
False
Suppose 11 = 2*g + 5. Is 15 a factor of (g + (-105)/20)/((-6)/128)?
False
Suppose 0*a - 4560 = -5*a. Let i be 3/(-2)*a/(-18). Suppose -37 = -2*t + t + 2*c, 2*t - 5*c - i = 0. Is t a multiple of 10?
False
Suppose -5*p + 15 = -0*p. Suppose 5 - 28 = -o - 4*z, p*o = -5*z + 34. Is 6 a factor of (-2)/(5 - o)*-19?
False
Suppose 3*n - 4*k + 0 = -9, 0 = 2*n + 3*k + 6. Let q = n - -6. Suppose -3*p - 33 = q*z - 87, -3*z = -4*p + 44. Is 7 a factor of p?
True
Let v be ((-165)/10)/((-1)/2). Suppose 3*j = 267 - v. Let z = j - 23. Is 8 a factor of z?
False
Suppose -4*v + 8990 = 5*t + 573, t = -v + 1684. Is t a multiple of 9?
False
Suppose -4*s = q - 2354, 66*s - 1166 = 64*s + 5*q. Is 14 a factor of s?
True
Let o(v) = v**3 + 10*v**2 - 2*v + 9. Let s be o(-10). Suppose -2*k + 3*k - s = 2*h, -4*k = -h - 81. Does 4 divide k?
False
Let l be (6 - -3)/(-3) + 187. Let h = -84 + l. Is h a multiple of 20?
True
Let y(m) = -m**3 - 7*m**2 + 3*m - 5. Let x be 55/(-10) + (-2)/4. Let t be y(x). Let u = t + 95. Is 18 a factor of u?
True
Let b(o) = 5*o + 8. Let p be b(7). Suppose 5*v - 5*r - 160 = 0, 113 = 2*v - 5*r + p. Is v a multiple of 10?
True
Suppose -d = 5*y - 31, 21 = -5*d + 3*y + 176. Suppose a - d = 2*a. Let r = 4 - a. Does 9 divide r?
False
Let l(q) = -q + 6. Let c = 16 - 13. Let z be l(c). Suppose -29 = -z*h - 5*w, 3*w = 3 - 0. Is 7 a factor of h?
False
Let r be (-6)/12 + (-15)/(-6). Suppose r*h - 400 = 4*h. Is (12/8)/((-4)/h) a multiple of 12?
False
Let d(l) = l**2 + 7*l + 8. Let r be d(-6). Suppose 980 = 6*w - r*w. Suppose w = 9*x - 4*x. Is 21 a factor of x?
False
Let v(l) = 4*l**2 + 8*l + 8. Does 2 divide v(4)?
True
Let m = 3333 + -775. Is m a multiple of 6?
False
Let v = 43 - 34. Suppose 187 + 101 = v*q. Is 2 a factor of q?
True
Let o(y) = y**2. Let c(d) = 2*d**2 - 5*d + 21. Let m(n) = -c(n) + 3*o(n). Is m(7) a multiple of 21?
True
Let a be (49 - -2)/(9 - 8). Is 1/(a/6) + (-2376)/(-34) a multiple of 9?
False
Let h(f) = f**3 - 10*f**2 + 15*f + 17. Let a be h(7). Let s(w) = 20*w**3 + w**2 - w. Let g be s(1). Let j = g - a. Is j a multiple of 22?
False
Let j(h) = -11*h - 1. Let g = -23 + 23. Let a be (g - 2) + (0 - -1). Is j(a) a multiple of 5?
True
Suppose -4*q + 132 - 52 = 0. Does 10 divide q?
True
Suppose 66*r = 44*r + 4070. Does 2 divide r?
False
Let i(r) = r**2 - 20*r + 19. Let b be i(19). Suppose b = -3*c - 0*c + 186. Is 12 a factor of c?
False
Let v(n) = -3*n + 140. Does 6 divide v(28)?
False
Let g be (8/(-6))/(24/(-36)). Let l(v) = 9*v + 3. Let k be l(g). Suppose -u + 9 = -k. Does 30 divide u?
True
Suppose 0 = 8*l - 18*l + 3040. Is l a multiple of 57?
False
Suppose -4*j - 2*z + 2 = 0, 3*z + 3 = -4*j - 0. Suppose -2*y = -4*r - 62, j*r = -4*y + 136 - 23. Is 3 a factor of y?
False
Let y = 317 - 291. Is y a multiple of 13?
True
Suppose -33*y = -36*y + 33. Let z(s) = -s**3 + 13*s**2 - 13*s + 6. Is 15 a factor of z(y)?
True
Let q = 3795 - 2329. Is q a multiple of 60?
False
Let j = 98 + 149. Does 42 divide j?
False
Let u = -18 - -36. Let y(g) = -g**3 - 7*g**2 - 5*g + 8. Let i be y(-6). Suppose i*l = 64 + u. Does 15 divide l?
False
Let o be (-28)/21 - -2 - (-98)/6. Let r = -1 + 2. Let s = r + o. Does 6 divide s?
True
Let b(k) = -6*k**3 + 5*k**2 - 40*k - 125. Is b(-3) a multiple of 7?
False
Let v = 392 + 15. Is 46 a factor of v?
False
Let w(i) be the third derivative of -i**5/20 - 5*i**4/24 - i**3/3 + 6*i**2. Let u be w(-4). Let j = 57 + u. Is j a multiple of 16?
False
Suppose 4*x - 323 = -3*l, -3*x + 549 = 5*l - 7*x. Suppose 3*v = i - l, -3*i - 3*v = -5*i + 224. Is 13 a factor of i?
False
Let k(l) = 3*l**3 - 4*l**3 + 19*l - 7*l - 11*l + 3 - 6*l**2. Does 15 divide k(-7)?
True
Let j(s) = -2*s + 31. Suppose 5*b - 5 - 32 = -4*a, 2*b = -6. Is 3 a factor of j(a)?
False
Let m(l) = 7*l**2 + 23*l + 3. Let y(s) = -8*s**2 - 24*s - 4. Let r(w) = -7*m(w) - 6*y(w). Let o be r(-12). Suppose 0 = -f + 31 + o. Is f a multiple of 13?
False
Suppose 168 + 616 = s - 2*t, -3*s - 4*t + 2392 = 0. Is 8 a factor of s?
True
Suppose -f - z - 1 = 2, f = z + 3. Suppose f*i + 3*v - 252 = -2*i, v = i - 121. Is i a multiple of 14?
False
Let w = 2083 + -414. Does 23 divide w?
False
Let a(b) be the second derivative of b**4 + 5*b**3/6 - b**2/2 + 28*b. Is 37 a factor of a(-2)?
True
Does 13 divide (-8914)/(-18) + 6 + 168/(-27)?
False
Let c(p) = 6*p + 11. Suppose -5*b = 15 - 80. Does 37 divide c(b)?
False
Suppose 4*g = 3*s - 1089, 2*s - 73 = -5*g + 630. Let z = s + -251. Is 14 a factor of z?
False
Let y = -134 + 64. Let v = 91 - y. Is 17 a factor of v?
False
Suppose 0 = -2*o + 5*d - 96, 0*o + 2*d - 198 = 5*o. Let k = o - -14. Let q = -4 - k. Is 12 a factor of q?
False
Is 7 a factor of 125630/544 + 1/16?
True
Let v(j) = 6*j**2 - 3*j + 2. Suppose -2*q = 5*m - q - 70, 5*m = -5*q + 70. Suppose 2*a - m = -5*s, -5*a = -0*a + 4*s - 1. Is v(a) a multiple of 13?
True
Let m(q) be the second derivative of -q**5/20 + q**4/2 - q**3 + 11*q**2/2 + 17*q. Does 5 divide m(3)?
True
Suppose 4*k - 8 = 2*h, 2*h = 4*h - 2*k + 2. Suppose -c - 5*y + 19 = 0, 3*y = h*c - 2*y - 53. Suppose 2*r = -r + c. Does 3 divide r?
False
Suppose 144 = 2*i - r - 115, 2*r = -5*i + 643. Let n = i - 51. Suppose -u = 2*u - n. Is u a multiple of 20?
False
Suppose 0 = -c + 324 - 70. Is 42 a factor of c?
False
Suppose 122 = 2*b - 24. Suppose 11 = 4*z - b. Does 9 divide z?
False
Let z(t) = 260*t**2 - 14*t - 3. Is 10 a factor of z(2)?
False
Suppose 0 = -p + 4*g - 5*g + 4, 5*p = 3*g + 4. Let l be p/(-9) - 274/(-18). Let b = l - -4. Is 9 a factor of b?
False
Suppose p = 5*y + 227, -3*p + 155 + 536 = -5*y. Is p a multiple of 58?
True
Let g = 23 - 23. Suppose 300 = 5*i + 2*f, g = -2*i - i - 2*f + 176. Is i a multiple of 20?
False
Is 2 a factor of -2 + -3 + (3 - -1)*52?
False
Suppose -3*n + 2*u = -4590, -4*n + 4*u = 9*u - 6120. Is 34 a factor of n?
True
Suppose -52 = -3*b + 2*b. Suppose -4 + b = 3*o. Let c(u) = -u**2 + 18*u + 7. Does 13 divide c(o)?
True
Let w = 65 + -62. Suppose -8*q = -w*q - 165. Does 11 divide q?
True
Suppose