 61 + n. Does 12 divide v?
False
Suppose -5*u - 485 = -3*i, -73 = -2*i + u + 241. Is i a multiple of 2?
False
Let b(m) = -m - 3. Let g(q) = -q**2 - 5*q + 1. Let x be g(-6). Let a be b(x). Suppose 4*s = 5*p - 80, -a*p + 32 = 6*s - 2*s. Is 8 a factor of p?
True
Suppose 0 = 5*g - 2*g + 6. Let r(m) = -88*m**2 - 2 + 88*m**2 + m - 2*m**3. Is r(g) a multiple of 5?
False
Let x(d) = 82*d - 16. Let w be x(10). Suppose 2*y = -3*y - 30. Is y/21 - w/(-21) a multiple of 9?
False
Is (-6 + 11)*-3*414/(-15) a multiple of 18?
True
Let v(r) = -r**3 - 4*r**2 + 4*r + 13. Does 22 divide v(-7)?
True
Suppose -3*l - 2*l + 16 = -2*p, 3*p + 3 = -3*l. Does 3 divide (-94)/(-3) + (3 - (-10)/p)?
False
Suppose 34*t - 32*t - 840 = 0. Does 60 divide t?
True
Suppose -3*k = -8*k + 6815. Does 8 divide k?
False
Let d(n) be the second derivative of -29/6*n**3 + 0 + n**2 - 2*n. Is 7 a factor of d(-1)?
False
Let v be (30/(-4))/5*2. Let n be 2/v - 4/3. Let s = n + 14. Does 7 divide s?
False
Suppose 7*r = -4*n + 6*r + 5423, 3*r + 6766 = 5*n. Is 16 a factor of n?
False
Suppose 8427 = -5*z - 13313. Is 26 a factor of 2*z/(-72) + (-2)/(-9)?
False
Let a(p) = p**3 + 2*p**2 - 2*p + 1. Let m be a(-3). Is 7 a factor of (m/4)/(12/(-264))?
False
Suppose -a + 4 = a. Suppose 2*g + 2*w - 38 = -a*g, w - 10 = -g. Suppose -4*y + g - 2 = j, -y = 1. Does 10 divide j?
False
Let w be ((-8)/6)/((-2)/(-18)). Suppose 2*b + 3 + 39 = 0. Let l = w - b. Is 9 a factor of l?
True
Let u = -69 - -93. Is 8/u + (-572)/(-3) a multiple of 40?
False
Let x(w) = -w**2 + 11*w + 15. Let j be ((-3)/(-6))/((-4)/(-48)). Suppose -y + j*y = 55. Does 9 divide x(y)?
False
Does 30 divide 4779/33 - 4/(-22)?
False
Suppose -2*d = -3*o + 22, 12 = 2*o - 5*d - 21. Suppose o*q + 154 = 30. Let y = 44 + q. Is y a multiple of 10?
False
Suppose 5*i + 148 = -2. Let x = i + 24. Let p(n) = -n**3 - 6*n**2 - 7*n + 8. Is 15 a factor of p(x)?
False
Let k(i) = -2*i**3 - 5*i**2 + 4*i - 3. Let a = 5 + -10. Is k(a) a multiple of 34?
True
Let c be (-14 + 0/1)/1. Let v = 447 - 428. Let u = c + v. Is u even?
False
Suppose -4*x = -3*d + 898, -3*d + 570 + 320 = -2*x. Suppose 3*v = -4*j + d + 193, -v - 4*j = -165. Is 23 a factor of v?
True
Let n(c) = -354*c + 170. Does 91 divide n(-4)?
False
Let x(u) = 140*u**2 + 75*u + 280. Is x(-4) a multiple of 23?
False
Let c = -412 + 518. Does 43 divide c?
False
Let h(z) = -14*z + 1. Let s be h(1). Let l = 43 + -67. Let n = s - l. Is 3 a factor of n?
False
Let i(l) = l**2 + 8*l - 14. Let h be i(-10). Let g(n) = 3*n + 12. Is g(h) a multiple of 5?
True
Let d = -192 - -321. Is d a multiple of 29?
False
Suppose 4*c - 114 - 16 = -h, 2*h = -3*c + 255. Let i be 2/((-4 - 1)/10) + 7. Suppose -i*m = -0*m - h. Is m a multiple of 15?
False
Let o be (-3 - -6) + -4 - 6. Let r = o - -16. Does 9 divide r?
True
Let f(c) = 7*c - 27. Let r(z) = -3*z + 1. Let g(l) = -f(l) - 2*r(l). Suppose t + 7 = -12. Is 12 a factor of g(t)?
False
Does 3 divide ((-26)/(-3))/((-128)/(-1728))?
True
Let l(y) = -262*y - 123. Is 14 a factor of l(-6)?
False
Let j(w) = 9*w - 13. Let x be j(6). Is x*(-2 - (-7 + 4)) a multiple of 21?
False
Suppose 4*k = 9*k + 30. Is (9/k)/((-4)/8) even?
False
Does 70 divide (4/12)/(8/1872)?
False
Suppose 0 = 5*y - 3*z + 5, -8*y = -3*y + 2*z - 20. Suppose y*t - 66 = -0*t. Does 11 divide t?
True
Suppose a - 3*a + 10 = 0. Suppose 10*k = a*k + 35. Let m = k + -3. Does 4 divide m?
True
Let r be 2/((-6)/495*3). Does 18 divide (-4960)/r - 4/22?
True
Let s(v) = -v**2 + 15*v - 17. Let k(l) = -l**2 + 14*l + 6. Let y be k(13). Suppose 5 + y = 2*h. Is 16 a factor of s(h)?
False
Suppose -694 = -3*u + 2*x, -2*x = -5*x + 3. Does 6 divide u?
False
Let l = -64 - 33. Is 5 a factor of 3*l/(-6)*(-4 - -6)?
False
Let t(o) = o**2 - o - 1. Let h(z) = z**2 - 4*z + 12. Let d(s) = -h(s) + 2*t(s). Let v(p) = 39*p - 162. Let r be v(4). Does 9 divide d(r)?
False
Let s be -4 - (2 - 4) - -5. Suppose 4*q = s*q + r + 12, 22 = 2*q - 3*r. Is q a multiple of 2?
True
Let h(f) = f**2 + 11*f + 13. Let a be h(-10). Let l(j) = -4 - 3*j**2 + 3*j**3 + 0*j**3 - 2*j**3 - 2*j**a. Does 3 divide l(-4)?
True
Does 10 divide (-3)/6 - (-8892)/24?
True
Suppose -o - 7 = -3*r + 3, 5*r + 2*o = 2. Let d be 6/r*(11 + 0). Suppose n - d = -5. Is n a multiple of 11?
False
Let y = 418 + -166. Let g = 517 - y. Is g a multiple of 53?
True
Let b(i) = 6*i**3 + 7*i**2 - i + 28. Let w(o) = -7*o**3 - 6*o**2 + 3*o - 27. Let k(n) = 6*b(n) + 5*w(n). Is k(-11) a multiple of 27?
False
Suppose -67 = 4*a - 79. Let j(s) = 44*s - 4. Does 7 divide j(a)?
False
Let m(n) = -97*n - 3. Suppose -s + 3 = -2*t + 3*t, -4*s + 13 = 3*t. Does 19 divide m(t)?
False
Let m(n) be the third derivative of -n**5/60 - 17*n**4/24 + 11*n**3/6 + 22*n**2. Is 11 a factor of m(-8)?
False
Let w(d) = -d**3 - 16*d**2 + 17*d + 21. Let q be w(-17). Let t = q - -11. Is 6 a factor of t?
False
Is 24 a factor of 763/((3 + -2)*1)?
False
Let t be (-5 + -5)*2/(-4). Suppose -l = -38 + t. Is l a multiple of 23?
False
Let u = -1111 - -1594. Does 7 divide u?
True
Let w(x) be the first derivative of -3*x - 2*x - 21 + 12 + x**2. Is 11 a factor of w(10)?
False
Suppose 0 = -4*w - 4*d, -w + 3*d = 8*d + 20. Suppose -w*l = -65 - 5. Is 7 a factor of 122/l + 14/49?
False
Suppose -108*b = -107*b + 3*v - 173, b = 2*v + 153. Is b a multiple of 3?
False
Suppose -2*a = 16*a - 20898. Does 20 divide a?
False
Let b(t) = t**3 + 2*t**2 - 2*t + 2. Let f be b(-3). Let y(d) = -196*d**3 - 2*d - 2. Does 31 divide y(f)?
False
Let z(l) be the first derivative of l**2/2 + 15*l + 2. Does 27 divide z(12)?
True
Suppose 0 = -4*q + 59 - 15. Suppose k + q = 2*k. Let u(i) = i**3 - 11*i**2 + 3*i + 2. Does 7 divide u(k)?
True
Is -1 + -1 + 565 + 16 a multiple of 20?
False
Suppose 0 = 3*o - 76 - 23. Let a = o + -30. Suppose a*b = 3*d - 126, 3*d - 13 = 5*b + 123. Does 4 divide d?
False
Let g(j) = -j**3 - 9*j**2 - 9*j - 11. Let a be g(-8). Let u be (-64)/(3/a)*2. Suppose -5*r = -u - 32. Does 13 divide r?
False
Let z = -224 - -542. Is z a multiple of 2?
True
Let l(i) = 26*i**3 + 3*i - i**2 + 2 - 27*i**3 - 3*i**2 + 12*i. Is 22 a factor of l(-7)?
True
Let l = -481 - -1003. Is 29 a factor of l?
True
Is 24 a factor of 236 - 4*(-7)/7?
True
Suppose 3*s = -3*u + 7209, -s - 4*u = -2357 - 40. Is s a multiple of 20?
False
Let h(b) = 44*b - 12. Let j be h(4). Let r = -44 + j. Does 14 divide r?
False
Suppose -5*c - 4*i = -41, -4*i + 21 = 2*c - c. Suppose -4*x - 356 = -4*h - 0*x, c*x + 85 = h. Does 24 divide h?
False
Suppose 147*r = 146*r + 662. Is 32 a factor of r?
False
Does 9 divide (397/(-2))/(12/(-24))?
False
Does 8 divide 2 - ((4 - 1) + -4)*262?
True
Suppose -4*o = 3*p - 16, 20 = 5*p - 0*p. Suppose -3*v + 67 = 3*b + b, 5*b - 104 = 3*v. Let k = b + o. Does 10 divide k?
True
Let n(d) = 8*d**2 - 11*d - 59. Is 10 a factor of n(-7)?
True
Suppose 3*i + u + u = 44, -5*i + 4*u = -44. Is i a multiple of 4?
True
Let z(g) = g**3 - 8*g**2 + 7*g + 5. Let x be z(7). Suppose -102 = -x*i + 5*n - 17, 5*n - 43 = -3*i. Does 4 divide i?
True
Let m(w) = -w**3 - 9*w**2 - w - 10. Let k be m(-9). Let r be 65 - 1/(k/(-3)). Suppose -5*q + z + 118 = 0, r = 2*q + q - 5*z. Is q a multiple of 6?
True
Let k(n) = -n**3 - 5*n**2 + 6*n. Let t be k(-6). Suppose 5*y + 65 = -t*y. Let s = 19 + y. Is 2 a factor of s?
True
Let m(g) be the second derivative of -g**3/6 + 5*g**2 + 16*g + 1. Let h = 19 + -29. Is m(h) a multiple of 6?
False
Suppose 0 = -5*v - 52 + 37. Does 28 divide (560/(-12))/(1/v) - 0?
True
Let h = 654 + -222. Does 20 divide h?
False
Let c = 63 - 57. Suppose 12 = c*s - 138. Is s a multiple of 3?
False
Let j(u) be the third derivative of u**5/60 + u**4/12 - 4*u**3/3 + 22*u**2. Does 20 divide j(6)?
True
Let r = 109 + -30. Suppose -q = -4*z + 3*q + 108, 5*z + q = 123. Let u = r - z. Is u a multiple of 11?
False
Suppose 5*i + m = 7*i - 1832, -5*m + 20 = 0. Is 82 a factor of i?
False
Suppose -u = -5*q - 28, -2*q + 0*q + 2 = 4*u. Let f(o) = -2 - u + 8 - 10*o - o**2. Is f(-5) a multiple of 14?
True
Let n = 19 + -4. Let r = -10 + n. Suppose -r*s = y - 5*y - 102, s - 5*y - 33 = 0. Does 9 divide s?
True
Suppose 4*g = 3*a - 101, -3*g + g = a - 17. Is 5 a factor of (3/(a/66))/(2/9)?
False
Suppose 89*h - 71 - 27430 = 0. Is h a multiple of 7?
False
Let n = 4 - 4. Suppose 4*r + 0*r = -5*f + 115, n = 5*f - r - 115. Is f a multiple of 2