5*t = 2*r - 3360, -4*r - 3*t = -6734. Does 82 divide r?
False
Let j(p) = p**2 + 6*p + 6. Let l be j(-6). Suppose -l*w = -15*w + 27. Is w a multiple of 2?
False
Suppose -3*n - 16 = -7*n. Let f be n/4 - (4 - -10). Let i = f - -40. Does 9 divide i?
True
Suppose 4*n - 5*g + 5 = -n, 4*n = -4*g + 4. Let y(q) = -3*q - q + n*q - 5 - q. Does 15 divide y(-10)?
True
Let d(f) = -4*f**2 - 2*f - 2*f**2 + 61 + 5*f**2 + 8. Is d(0) a multiple of 4?
False
Let r = 23 - 105. Let b = r + 129. Is b a multiple of 18?
False
Let w = -24 - -29. Suppose r - 8 = -w*j, -24 = -6*r + 3*r + j. Does 4 divide r?
True
Let g = 94 + -86. Suppose g*o + 663 = 3*a + 9*o, a - 235 = -5*o. Does 22 divide a?
True
Suppose 1740 = -9*q + 8*q. Does 12 divide (q/(-45))/(4/6)?
False
Suppose -6*c + 4*c = 3*p - 309, 4*p + 138 = c. Let r = -80 + c. Does 10 divide r?
True
Let g(s) = 11*s - 1. Let r(u) = 27*u + 2 - 5 - 29*u. Let z be r(-2). Is 7 a factor of g(z)?
False
Suppose 0 = 530*r - 533*r + 4926. Does 74 divide r?
False
Let l(c) = -19 + 2*c + 18 - 3*c. Let r be l(-2). Is 1/2*(r + 33) a multiple of 12?
False
Suppose 3*a + 4*f + 260 = 4*a, -1266 = -5*a + 3*f. Suppose 4*t + a = v, -22 = t + v + 46. Let o = -38 - t. Does 13 divide o?
True
Suppose 5*r = 0, -3*n + r + r + 6 = 0. Suppose -p = n*p - 87. Does 9 divide p?
False
Let q = 119 - 112. Suppose -52 = q*v - 255. Is 16 a factor of v?
False
Let i be 116/(-87)*(-1 - 2/4). Does 14 divide (0 - 11)*-15 - i/(-2)?
False
Is (5 - (-8 + 16)) + 424/2 a multiple of 34?
False
Let p(v) = 12 + 11*v - 3 - 16 - 7. Is p(11) a multiple of 36?
False
Let g(b) = -46*b - 388. Does 6 divide g(-12)?
False
Let d = 71 - 47. Suppose 0 = 5*q + d - 139. Is q a multiple of 7?
False
Suppose 4*x - 4288 + 604 = -3*k, 2*x = -3*k + 3684. Suppose -268 = 5*c - k. Is c a multiple of 11?
False
Let p(h) = -h**2 + 5*h + 17. Let o be p(7). Suppose 305 = o*q - 250. Is q a multiple of 34?
False
Suppose 0 = -4*p + d + 4590, -5*p - 3*d + 8*d = -5730. Is 45 a factor of p?
False
Suppose -5*c = 6*u - 2*u - 171, -u = -5*c - 74. Is 33 a factor of u?
False
Let l = -33 + 54. Does 29 divide l + 7 - (0 - 1)?
True
Let a(u) = 13*u + 22. Suppose -2 + 12 = 2*v. Does 19 divide a(v)?
False
Let l = 3 - -6. Let b = -19 + l. Let k(g) = -g**3 - 11*g**2 - 14*g + 8. Is k(b) a multiple of 12?
True
Suppose 4*i = -9 - 87. Let d = -1 - i. Is 15 a factor of d?
False
Suppose -429 + 5289 = 6*c. Is 18 a factor of c?
True
Suppose -2*z = 4*o + z + 417, -4*o = -3*z + 447. Let m be (-564)/66 + (-36)/(-66). Does 9 divide 4/2*o/m?
True
Let h(d) = d**3 - 13*d**2. Let l = -32 + 45. Let j be h(l). Does 10 divide (-26 + j)/(-6 + 5)?
False
Let k = -420 + 525. Is k even?
False
Let g(l) = -31*l**3 - 6*l**2 - 4*l - 4. Let z be 2/(-7) + (-15)/70*8. Is g(z) a multiple of 27?
False
Is 5 a factor of 10/(-40) + (-4)/(80/(-7165))?
False
Suppose -4*d = -6*d + 794. Suppose u - 2*u + d = 5*m, -5*m + 406 = -2*u. Suppose 4*p + 0*p - m = 3*b, -5*p - 3*b + 73 = 0. Does 17 divide p?
True
Suppose 51 - 235 = 2*d. Let p = 187 + d. Is p a multiple of 19?
True
Let h = -27 - 44. Let o be (0 - (0 - -1)) + 101. Let y = h + o. Is 14 a factor of y?
False
Let y = -18 - -27. Let t = 11 - y. Suppose 0 = -t*f + 4*z + 106, 3*z + 5 = 2. Does 23 divide f?
False
Let i = -3 + 3. Suppose -f = 3*t + 4, i = -4*t + 8*t. Let p(z) = -z**2 - 7*z - 3. Is p(f) a multiple of 9?
True
Let o(k) = -k**2 + 5*k + 6. Suppose 5*x = 0, -2*c + 5*x = 3*x - 10. Let a be o(c). Suppose -3*w + a = -w. Does 2 divide w?
False
Let f(u) = -210*u + 97. Is f(-13) a multiple of 14?
False
Suppose -5*u + 2*u = -5*x - 11, 5*x = -5. Let k = 3 + -18. Is 31 a factor of 4*k/(-1) + u?
True
Let v(k) be the third derivative of -k**5/20 + 3*k**4/8 + 4*k**3/3 - 2*k**2. Let c(z) be the first derivative of v(z). Is 9 a factor of c(-6)?
True
Let k be 1/(-5) - 8502/(-10). Let f be k/18 + (-10)/45. Let m = 80 - f. Does 11 divide m?
True
Let o be (-3)/(-18)*3*(312 + 4). Let u = 238 - o. Is u a multiple of 20?
True
Let c = -385 - -994. Is c a multiple of 29?
True
Let m(d) = 9*d - 3*d**3 - d**3 - 8*d**2 + 2*d**3 - 9 + 3*d**3. Let s be m(7). Suppose 5*i - s*f - 10 = 25, 0 = i - 5*f + 9. Is i a multiple of 11?
True
Let u(z) = -z**2 - 81*z + 2077. Is u(0) a multiple of 67?
True
Let b(y) = -8*y. Let s be b(-1). Suppose -s*h + 40 = -4*h. Is h a multiple of 3?
False
Let j be ((-54)/12)/(-9)*(-10)/(-1). Suppose -106 = j*c - 7*c. Is 9 a factor of c?
False
Let p = -2 - -18. Let s be (-3 - p)/((-2)/6). Suppose 0*z - 3*z = -s. Does 6 divide z?
False
Suppose -3*l - 2 - 1 = -4*b, -5*l = -15. Suppose -125 - b = -4*u. Is 8 a factor of u?
True
Suppose 10*a - 14*a + 16 = 0. Suppose -z = -w - 2*z + 9, -w + a*z - 16 = 0. Suppose 4 = -w*b + 16. Does 3 divide b?
True
Suppose 0 = -10*s - 1798 - 1482. Let l = -175 - s. Is l a multiple of 13?
False
Suppose -z = 5*c - 2*c - 8, 5*z = 4*c - 17. Suppose -x = 5*i + 2*x, c*i + x = 0. Suppose -5*k + 55 + 10 = i. Is 5 a factor of k?
False
Suppose -2*t - 3*d + 131 = 0, -5*t + d = 6*d - 330. Is 5 a factor of t?
False
Let k be -1*(3 - 12/3)*1. Does 40 divide (-6)/(205/(-100) + 1 + k)?
True
Let z(c) = c + 1. Let j(p) = -6*p - 7. Let q(t) = j(t) + 2*z(t). Let a be q(-6). Let l = a + -17. Is l a multiple of 2?
True
Let t be (2960/14)/(-2) + (-20)/70. Is (-1)/((t/(-36) + -3)/1) a multiple of 18?
True
Let g(q) be the first derivative of -q**4/4 - q**3/3 + 3*q**2 + 84*q + 29. Does 7 divide g(0)?
True
Let b = 21 + -19. Suppose u = -3*f + 4*u + 45, 0 = -f - b*u + 27. Does 6 divide f?
False
Let r(g) = -5*g**3 - 4*g**2 - 13*g + 28. Is r(-7) a multiple of 91?
True
Suppose -4*z + 1402 = 2*d, z = -5*d + 6*z + 3520. Does 19 divide d?
True
Is 28 a factor of (-6103)/(-5) + 10/((-50)/3)?
False
Let f = -277 + 526. Suppose 2*b = -15 + f. Is b a multiple of 10?
False
Suppose 3*d - 2*g - 13 = 0, 4*g + 7 + 13 = 4*d. Suppose 2*p = 5*s - 4, s - 4 - 4 = -2*p. Suppose d*j + 6 = 0, s*j - 30 = 3*b - 124. Is 10 a factor of b?
True
Does 32 divide 450/21*4032/108?
True
Let x(r) = -3*r - 14. Let q be x(-6). Suppose q*w - 60 = 4. Does 4 divide w?
True
Suppose 2*z - 5*z - 76 = i, 2*z + 53 = -3*i. Let p = 9 + z. Let x = -13 - p. Is x even?
False
Suppose 2646 = -3*c - 8502. Is c/(-36) + (-2)/9 a multiple of 21?
False
Suppose 2*z = -2*z - 3*s + 11, 2*z = -s + 5. Suppose -z*x = 5*c - 150, 107 + 53 = 5*c + 4*x. Does 7 divide c?
True
Suppose 2*v - 285 = 373. Is v a multiple of 18?
False
Let g(i) = -i**3 - 6*i**2 + 7*i + 3. Suppose 0 = 3*q + 18 - 0. Let u be g(q). Does 4 divide u/(-3) + (-2)/1?
False
Let s = -576 + 1032. Is 19 a factor of s?
True
Let t = -205 - -442. Is 11 a factor of t?
False
Suppose h = 3*s + 5*h - 119, 0 = 5*s - 3*h - 150. Let x = 17 + s. Is 13 a factor of x?
False
Let d(n) be the third derivative of n**6/120 + n**5/6 - n**4/8 - n**3/3 + 26*n**2. Does 3 divide d(-10)?
False
Let s = -2189 + 2333. Is s a multiple of 24?
True
Let f = 200 - 103. Suppose 0 = 4*d + 5*z - 111 - 104, -2*d = -z - f. Is d a multiple of 25?
True
Suppose 9 = -2*i + 27. Suppose -3 + 0 = y + 4*x, i = -3*y - x. Is 6 a factor of (114/(-9))/(2/y)?
False
Let l(u) = 9*u**2 - 12*u - 121. Does 18 divide l(-9)?
False
Let c(y) = y**3 - 2*y**2 - y - 2. Let r be c(-2). Let w be (11 + -5)*(-10)/(-4). Is 20 a factor of r/6*w/(-2)?
True
Suppose 5*v - 4*v = 6. Let l(n) = -3*n**2 - n**3 + 9 - 5*n**2 - 10*n - v. Does 12 divide l(-7)?
True
Let m = 304 + -187. Does 13 divide m?
True
Let t = -62 - -87. Is 8 a factor of (320/t)/(6/15)?
True
Let r(i) = -2*i**2 + 2*i - 3. Let h be r(4). Let z = 22 + h. Let b(d) = -2*d**3 - 7*d**2 - d + 6. Is b(z) a multiple of 31?
False
Let f be ((-5)/3)/(13/(-1638)). Let s = -8 + 14. Suppose -s*h + 0*h = -f. Does 10 divide h?
False
Let w = -100 - -103. Let g be (1 - -1)/((-4)/10). Let x = w - g. Is 7 a factor of x?
False
Let u(m) be the second derivative of -1/3*m**3 + 7/20*m**5 + 1/12*m**4 + 0 + 1/2*m**2 + m. Does 7 divide u(1)?
True
Let o(w) = w**2 + 9*w - 6. Let s be o(-10). Suppose -3*q = 0, -2*g = -6*g + s*q - 16. Is (36/30)/(g/(-30)) a multiple of 4?
False
Let d(n) = 43*n**2 + 7*n - 6. Is d(1) a multiple of 12?
False
Let s = 1 - -1. Let f be (s + 5 - 2)*-2. Does 3 divide (-38)/f + 4/20?
False
Suppose -231587 - 20093 = -130*n. Is n a multiple of 16?
True
Let d(y) = 40*y**2 + 6*y - 27. Is d(4) a multiple of 49?
True
Let a(o) = 3*