 18*i - 2632 = 0. Does 24 divide i?
False
Let k = -255 - -269. Is k a multiple of 3?
False
Let t = 263 - -144. Let i = t - 280. Is 19 a factor of i?
False
Suppose -11*g + 8*g + 6 = 0. Let k be 262/4 + 1/g. Let u = k + -38. Is 7 a factor of u?
True
Let x(w) = -2*w - 9. Let s be x(5). Let n = s - -27. Is n a multiple of 2?
True
Suppose -9*a + 43 = 16. Suppose -a*h = -94 - 8. Let q = h + -21. Is q a multiple of 11?
False
Suppose -25 = n - 4*r, 5*n - r + 94 = 7. Let v = -17 - n. Suppose -2*d = -h - v*d + 81, -d = -5. Is 25 a factor of h?
False
Let u = 6 - 10. Let z be (-5 - u)*1*-5. Suppose -z*a + 110 = -0*a. Is a a multiple of 14?
False
Let t(n) = -10*n**2 + 14*n - 25. Let a be t(9). Let s = -415 - a. Does 42 divide s?
True
Let k(x) = x - 8. Let o be k(13). Is -3*(-165)/o*4/6 a multiple of 3?
True
Let s = 719 + -545. Is 8 a factor of s?
False
Let q(i) = 53*i**2 + 16*i - 17. Does 4 divide q(1)?
True
Let t = -121 + 117. Does 16 divide (-255)/(-3) - t/((-3)/3)?
False
Suppose 945 = 4*u + o, 0 = 4*u - 2*o - 989 + 59. Let d = u + -156. Is d a multiple of 4?
False
Let s(r) = 2*r**3 + 25*r**2 - 12*r + 54. Does 13 divide s(-12)?
False
Let c(u) = 4*u**2 + 6*u - 6. Suppose -2*r - 3*x + 5 = -0*r, 5 = 4*r + 5*x. Is c(r) a multiple of 8?
True
Suppose 0 = -2*a - 0 + 10. Suppose -5*r - m = 0, r = a*r - 2*m. Suppose 4*x + x - 50 = r. Does 9 divide x?
False
Is 13 a factor of (979/4)/(10*(-13)/(-520))?
False
Let h(p) = -85*p - 12. Suppose 8*x = x - 14. Is 16 a factor of h(x)?
False
Suppose -2*n - 4*g = -g + 3, g = -n. Let z be 53 - (0 - -6 - n). Suppose 3*r - z = 22. Does 13 divide r?
False
Let y = -90 - -48. Suppose 0 = -c - 5*j - 12, 2*j = -0*j. Is (y/c)/((-1)/(-2)) even?
False
Suppose 0 = 2*u + 10, 3*w = 2*u + 3 + 43. Does 8 divide 4/w*(-3 - -57)?
False
Let r(j) be the first derivative of 7 + 29/2*j**2 - 3*j. Is r(3) a multiple of 21?
True
Let l be 2/(-7) + (-122)/14. Let x = l - -6. Let h = x - -26. Is 12 a factor of h?
False
Let h(n) = 4*n**2 + 4. Let q be h(2). Suppose 5*t - 5 - q = 0. Suppose -4*m + 374 = -0*u + t*u, -4*u + 293 = -3*m. Does 16 divide u?
False
Let f be (-1 + 2)*2/2. Let x be f/2 - (-87)/(-6). Let p = x - -41. Is 9 a factor of p?
True
Suppose 0 = y + 2*r - 0*r - 87, -2*r = -4*y + 378. Suppose 5*u - y = 27. Is 2 a factor of u?
True
Let q(d) = 6*d**2 + 4*d - 105. Is q(6) a multiple of 9?
True
Is 9664/40 - (-3)/(-5) a multiple of 11?
False
Let a(k) = k**3 + 25*k**2 - 13*k - 18. Does 6 divide a(-24)?
True
Let t(j) = 8*j**2 + 8*j + 14. Let w(h) = -7*h**2 - 7*h - 13. Let i(f) = -2*t(f) - 3*w(f). Is i(-5) a multiple of 24?
False
Let t(c) = -c**2 + 10*c + 2. Let k be t(5). Let o(i) = i**2 + 30*i + 108. Let l be o(-26). Suppose -57 - k = -l*j. Is j a multiple of 8?
False
Let p(c) = -c**2 - 21*c - 14. Let i be p(-13). Suppose -27 + i = 3*g. Let n = g - 12. Does 4 divide n?
False
Let j be 6/(-5)*30/(-4). Let p be (j/6 + -1)*0. Let s = 29 + p. Does 29 divide s?
True
Let n = -254 + 1166. Is n a multiple of 38?
True
Suppose 0*b - 184 = -3*b - 5*q, -4*b - 5*q + 247 = 0. Does 30 divide b?
False
Does 19 divide 159*(17 + -9 + (-3)/3)?
False
Let d = 1986 - 3276. Does 7 divide (-2)/(-9) + d/(-27)?
False
Let s be (-206)/6 - 4/6. Suppose 2*n - 98 = -20*w + 17*w, -5*n - 112 = -3*w. Let o = w - s. Is 14 a factor of o?
False
Let x be 0 + (-9)/(-3) + -13. Let p be 81/45*x/(-3). Is 19 a factor of 693/12 - p/8?
True
Let s = 38 - 48. Is 24 a factor of (0 - -36)/((-15)/s)?
True
Let q(c) = 13*c**2 + 0*c + 11*c**3 + c - 6 - 10*c**3. Let l(p) = 5*p**3 + 66*p**2 + 5*p - 30. Let t(r) = 2*l(r) - 11*q(r). Is t(-11) a multiple of 13?
False
Let g = 201 - 196. Let x(s) = 5*s - 5 + 9*s - 4*s. Does 11 divide x(g)?
False
Suppose -5*x + 14*d - 13*d = -2748, -537 = -x - 4*d. Is 77 a factor of x?
False
Suppose 11*v - 10529 - 3991 = 0. Is 33 a factor of v?
True
Let h be (-5)/(-10)*0 + 5. Suppose k = h*d + 133 + 93, -d = -3. Does 15 divide k?
False
Suppose t + 0 = -3*g + 2, t - g - 2 = 0. Let s = 7 - t. Suppose 4 = -l + s*d + 25, -d + 21 = l. Does 7 divide l?
True
Suppose -14 = 2*z - 3*i - 2*i, 0 = 5*z - 2*i - 7. Suppose z*k + 3 = 2*g + 6, -5*k + 3 = -4*g. Suppose -g*t + 0*t + 300 = 0. Is 23 a factor of t?
False
Suppose -187 = -3*a - 52. Let v = a - -15. Is v a multiple of 8?
False
Does 34 divide (-272)/(-24)*78/2?
True
Let z = -13 - 5. Let k = z - -14. Is 6 a factor of 13/(-52) + (-121)/k?
True
Let b(j) be the second derivative of -j**5/10 - 5*j**4/12 - 3*j**2/2 - 13*j. Is b(-4) a multiple of 15?
True
Let m(x) = -x**3 - 5*x**2 - 5*x - 2. Let u be m(-4). Suppose 10 = 3*o + u*o. Is 11 a factor of o/6*(-165)/(-5)?
True
Let l(k) = k**3 + 28*k**2 - 28*k - 136. Is 24 a factor of l(-11)?
False
Suppose 2*j - 2147 = -5*f, -5*j - 54 = -2*f + 828. Does 37 divide f?
False
Is 31 a factor of -2*(-6526)/20 + (-2)/(-5)?
False
Suppose -12*b = 24*b - 38592. Does 67 divide b?
True
Let t = -758 - -1366. Is t a multiple of 32?
True
Let z be (30/(-9))/(4/(-12)). Suppose -2*a + z = -0*a. Suppose 3*r - 1 = a. Is 2 a factor of r?
True
Let m(x) = -3*x - x**3 + 6*x**2 + 0*x**3 + 0*x**3 - 2 + 0*x**3. Let s be (3 - 6/3) + 4. Is m(s) a multiple of 6?
False
Let f be (1 - 2)*-102 + 1. Let u = 153 - f. Suppose 0 = 3*y - u - 37. Is 5 a factor of y?
False
Let r(f) = 97*f + 349. Is r(3) a multiple of 32?
True
Suppose 2*d = o - 0*d + 2, 3*o + 2*d = -30. Let x(v) = -v**3 - 8*v**2. Let b be x(o). Suppose n + 96 = 4*i, -n + 96 = 4*i - b*n. Is 6 a factor of i?
True
Suppose 3*k = 8*k - 2*t - 14, 3*k = 4*t. Suppose 4*o + k*q - 380 = 0, -o + 6*o + 2*q = 487. Is o a multiple of 8?
False
Suppose 5*o - 3*w + 13 = 332, 4*w - 8 = 0. Is 5 a factor of o?
True
Is 21 a factor of 5040/75*3*(-10)/(-6)?
True
Suppose -5*t = 0, -260 - 100 = -3*w - 4*t. Suppose -12*c - w = -18*c. Is c a multiple of 4?
True
Let c(v) = -v - 3. Let u be c(-5). Suppose -n = -u + 9. Is (-4)/10*n*5 a multiple of 6?
False
Let z(v) = -v**3 + 7*v**2 - 9*v + 7. Let d be z(6). Let i(y) = -y - 6. Is i(d) a multiple of 5?
True
Let r(q) = 4*q**2 + 5*q. Let j be r(-2). Suppose -j = 4*b - 3*b. Let z = b + 23. Is z a multiple of 17?
True
Let x(u) = -u**2 - 12*u + 12. Let r(n) = -n**2 + 6*n - 3. Let v be r(7). Let g be (12/(-5))/(v/(-50)). Is x(g) a multiple of 12?
True
Let c = -10 - -14. Suppose 1 = r + c*s - 4, 0 = 5*r - s - 4. Suppose 3 + r = g. Is g a multiple of 3?
False
Is 20 a factor of (-11 - -91)*5/(20/14)?
True
Let t(u) = u**3 + 9*u**2 + u + 19. Is 6 a factor of t(-8)?
False
Let k(y) = 6*y**3 - y**2 + 2*y - 1. Let q be k(1). Let f be (-1 - 2) + 2 + -3. Is 2 a factor of (f/4)/((-3)/q)?
True
Let s be 18/6 - (-8)/(-2). Let a be 2 + -5 + (s - -38). Let k = a - 16. Is k a multiple of 11?
False
Let g(a) = a**3 - 5*a**2 + 2*a. Let b be g(3). Let w(u) = -5*u + 6. Let n be w(b). Suppose -4*v = -3*s + 5*s - n, -3*v = -2*s + 87. Does 13 divide s?
True
Suppose 66*u - 112404 = 9*u. Is 116 a factor of u?
True
Let j = -26 + 26. Suppose -2*u = -j*u. Suppose 332 = 4*p - 4*c, u = -c + 4*c - 3. Does 27 divide p?
False
Let f(r) = -r + 7. Let g be f(-8). Suppose h - 41 = g. Does 37 divide h?
False
Let x be 8/(-16) + (-18)/(-4). Suppose x*d + 5 = 5*n, -3*n - 2*n = -2*d - 5. Suppose d*a - 170 = -5*a. Is 20 a factor of a?
False
Suppose 4*j - 59 = -7. Let p = 37 - 14. Suppose -x + p = -j. Is 17 a factor of x?
False
Let i(t) = -t**3 + t**2 - 3*t. Let j be i(4). Let h = 40 - j. Is 19 a factor of h?
False
Suppose -816 = -2*r + 4*j, -6*r - 2*j + 1224 = -3*r. Is 8 a factor of r?
True
Let d = 140 + 94. Does 7 divide d?
False
Let w(y) = -y**3 - 5*y**2 - 5*y + 5. Let x be w(-5). Let r = 34 - x. Is r a multiple of 4?
True
Let l = -54 + 102. Let a = 77 - l. Does 29 divide a?
True
Let g = -1825 + 2266. Does 9 divide g?
True
Let q = -27 - -33. Is 5 a factor of 4/(-12) - (-122)/q?
True
Suppose -4*s - 730 = -2*c, -3*s - 252 = c - 622. Is 3 a factor of c?
False
Let l(z) be the third derivative of z**4/3 + 2*z**2. Let d(f) = f + 2. Let n be d(5). Does 27 divide l(n)?
False
Let n = 141 + 266. Does 11 divide n?
True
Let q = -788 - -1532. Does 6 divide q?
True
Let i = -176 - -114. Is (9 + -1)*i/(-4) a multiple of 21?
False
Is 10 a factor of (15/(-4))/((-4089)/816 - -5)?
True
Let o(x) = x**3 - 4*x**2 + 4*x - 2. Let s be o(3). Let p be 1/s + (-38)/(-2). Suppose j - p = 38. Does 16 divide j?
False
Let k be (-3)/(