 - 4. Let i be v(-8). Suppose -y = w - 2, -4*y + 5 = w + 3. Suppose 2*n + 3*n - 180 = h, y = i*h. Does 9 divide n?
True
Let l(j) be the second derivative of 2*j**3/3 - 2*j. Let k be l(-3). Let b = k - -33. Does 8 divide b?
False
Let p(d) = d**2 - 7*d - 5. Let j be p(8). Suppose n = -j*n + 448. Let f = n + -77. Is f a multiple of 12?
False
Let z = 54 - 130. Let v be 4 - 102/24 - 595/4. Let o = z - v. Is 17 a factor of o?
False
Suppose -253 = 5*y - 1573. Suppose w + 7*w - y = 0. Is w a multiple of 4?
False
Let q = -129 + 129. Suppose 3*x = -4*l + 6*x + 1289, q = l + x - 324. Does 17 divide l?
True
Let h = 478 - 296. Does 14 divide h?
True
Does 6 divide 1/6 - 301/84*-10?
True
Let h = -42 - -65. Suppose a + h = l - 2*a, -58 = -3*l - 2*a. Does 4 divide l?
True
Suppose -a + 5*a - 3*r = 3432, -r - 4 = 0. Suppose a = -n + 4*n. Is 57 a factor of n?
True
Suppose 3*n + 0*n - 396 = 0. Suppose -3*c + 138 = -p + c, p + 2*c + n = 0. Let x = -90 - p. Is 11 a factor of x?
True
Suppose -1 = 2*a + 67. Let p = 52 + a. Is 3 a factor of p?
True
Let p(r) = -r**2 - 15*r - 24. Let h be p(-13). Suppose -h*o + 37 = 5. Is 4 a factor of o?
True
Suppose 0 = -2*g - 4*i - 8, -2*g + 2*i - 18 = -4. Let j be 8/g*66/(-4). Suppose -j = -6*l + 4*l. Does 11 divide l?
True
Let r(d) = -d + 16. Let m = -26 - -31. Let c be r(m). Let t = 17 - c. Is t a multiple of 6?
True
Suppose -2*s = 3*s - h + 13, 3*s + 3*h - 3 = 0. Let t be s/4 + (-42)/12. Does 13 divide t + 2 + 27*2?
True
Let a(p) = p**3 - 12*p**2 + 7*p + 1. Let q = -30 + 42. Does 17 divide a(q)?
True
Let z be (1/(-2))/((-6)/60). Let y(t) = 2*t**3 - 6*t**2 - 7*t. Does 24 divide y(z)?
False
Let i be -1*(1 - (-19 + -1)). Let m = 9 + i. Does 7 divide (-65)/(-3) + m/18?
True
Let g = 61 - -58. Is 6 a factor of (1 - -11)*g/28?
False
Let y = -98 - -52. Let u = y + 75. Does 9 divide u?
False
Let u(f) = 23*f + 45. Let h be u(-7). Let r = 148 + h. Does 16 divide r?
True
Let t be ((-116)/8)/(1*(-1)/2). Let k = t - 1. Does 7 divide k?
True
Let q(i) = -i**3 + 2*i**2 - 2*i - 1144. Let j be q(0). Is ((9/(-4))/3)/(11/j) a multiple of 5?
False
Suppose -2*p = -3*p - 19. Let q = p + 22. Does 9 divide 9/1*q + 0?
True
Is (6/(-9))/((-22)/66)*226 a multiple of 15?
False
Let u be (2 - -1 - -177) + (-5 - -4). Suppose u - 67 = 4*z. Does 16 divide z?
False
Let f(v) = 82*v**2 - v - 1. Does 37 divide f(1)?
False
Suppose -5*g + 3481 = -369. Is g a multiple of 55?
True
Let f(o) = -2*o**3 - 15*o**2 - 4*o - 11. Let g(t) = t**2 - 23*t + 34. Let i be g(21). Is 17 a factor of f(i)?
True
Let w be 513/1 + (-9 - -10). Let s = -300 + w. Does 8 divide s?
False
Let m(f) = 4*f**2 - 7*f - 32. Is m(12) a multiple of 29?
False
Suppose -2*f + 281 = -351. Suppose -6*o + 2*o = -12. Suppose -y = o*y - f. Is y a multiple of 28?
False
Suppose -4*g - g = 110. Let k = 0 - g. Does 6 divide k?
False
Let t be -4 + (-39)/(-3) + -2. Let c(m) = -m**2 + 13*m - 17. Is 5 a factor of c(t)?
True
Let h be 16*(0 - 12/8). Let q = 36 + h. Suppose -2*z + q = -6. Does 4 divide z?
False
Let w(d) be the second derivative of d**4/12 + 7*d**3/6 + 25*d**2/2 - 35*d. Is 8 a factor of w(-3)?
False
Let a be (-448)/(-128)*(-4)/2. Suppose 2*q + 4*u = q - 2, 0 = 2*q + 2*u + 22. Is 3 a factor of 8/q + (-25)/a?
True
Let n(w) = -20*w**3 - 2*w**2 + 32*w - 9. Let r(f) = -7*f**3 - f**2 + 11*f - 3. Let y(k) = 6*n(k) - 17*r(k). Suppose -6 = -o - 2. Does 11 divide y(o)?
True
Is (-20)/((-768)/(-387) + (-4 - -2)) a multiple of 10?
True
Let u(b) = b**3 + 2*b**2 + 2*b + 1. Let s be u(-1). Suppose s = -x - 6 - 0. Does 15 divide 2*(945/x)/(-7)?
True
Suppose 3*a - l = 4226, 5*a + l = 6413 + 617. Does 67 divide a?
True
Let m(l) = -5*l + 25. Let c be m(4). Suppose 4*i - t = -19 + 88, -c*i + 99 = 3*t. Is i a multiple of 9?
True
Let c(i) = 2*i**3 + 22*i**2 + 44*i + 7. Is c(-7) a multiple of 91?
True
Suppose 40*s + 2112 = 43*s. Is 44 a factor of s?
True
Suppose z = 3*f + 1334, -6*f + 3*f = 0. Is z a multiple of 26?
False
Let q(z) = -33*z + 4. Is 9 a factor of q(-21)?
False
Let n be 9 - (-2 + 0/1). Let z(k) = -k**2 + 48*k + 201. Let b be z(-4). Let l = n + b. Is l even?
True
Does 3 divide ((-4206)/8)/(288/(-384))?
False
Suppose 2*a - 5*s = 860, 8*a - 852 = 6*a + s. Is a a multiple of 17?
True
Let t = -3487 - -5965. Is t a multiple of 14?
True
Let t = -4148 + 5868. Is 83 a factor of t?
False
Let m be ((-214)/4)/(6/(-12)). Suppose m = 5*i + 37. Is i a multiple of 5?
False
Suppose 2*b + x - 72 = 0, -4*b - 8*x + 154 = -11*x. Is b a multiple of 37?
True
Let i be 9/(-3 - 0) + -3. Let m be 1/1*(16 - 3). Let o = m - i. Is o a multiple of 8?
False
Suppose 2*s + 2*r - 292 = 0, -s + r = -2*r - 162. Does 7 divide s?
False
Let o be ((-24)/(-9))/(5/(15/2)). Suppose 3*u + 267 = 4*w, 3*w + 101 - 310 = o*u. Does 21 divide w?
True
Suppose -t = -11*t + 50. Suppose 8*w = 4*w + 20, -t*o + 2*w = -320. Does 22 divide o?
True
Let m(a) be the second derivative of 5/2*a**2 + 0 - a + 1/20*a**5 - 1/6*a**3 + 1/2*a**4. Is m(-6) a multiple of 5?
False
Let c(j) = j**2 - j - 3. Let q be c(0). Let u(r) = 0*r + 0*r - 1 - r + 3*r**2. Is 8 a factor of u(q)?
False
Suppose -f + 9 = 21. Is 7 a factor of (3 - (-28)/f)/((-4)/(-192))?
False
Suppose -36*q = -454 - 1346. Is q a multiple of 2?
True
Let l = 11 - 9. Let q(n) = -2*n. Let h(v) = -6*v - 5. Let k(r) = l*h(r) - 4*q(r). Is 23 a factor of k(-14)?
True
Suppose 3*g - 5*a - 4 = 0, 7 = 5*a - 13. Let m be g - -4*(-2)/4. Let x(r) = 2*r**2 - 12*r + 5. Is x(m) a multiple of 3?
False
Let k = -8 - -15. Suppose 2*u - k*u = -210. Let h = -16 + u. Does 13 divide h?
True
Let v be 156/8 - (-3)/6. Let w(x) = x**2 - 4*x**3 - v + 3*x**3 + 26 + 28. Is w(0) a multiple of 24?
False
Let b = 82 + -37. Suppose -3*m = 3 - b. Is m a multiple of 4?
False
Suppose -k - 275 = -5*v - 1249, 0 = -k + v + 958. Does 53 divide k?
True
Let n(m) = m**2 - m. Let a be n(-1). Suppose 0 = -a*s - 11 + 181. Does 14 divide s?
False
Let h(c) = 125*c - 5. Is h(1) even?
True
Let x(k) = 3*k**3 + k**2 + 8*k + 10. Is x(5) a multiple of 10?
True
Let y = 394 + 263. Is 73 a factor of y?
True
Let l be 10/(-3) - (-4)/(-6). Let b = 20 - l. Suppose -6*o + b = -5*o. Is 11 a factor of o?
False
Suppose -10*l = -6*l - 2*y - 1048, -4*y - 1044 = -4*l. Is 28 a factor of l?
False
Let v(g) = 5*g + 28. Let a be v(-5). Suppose 0*q + 5*z - 8 = -q, -q + 8 = -2*z. Suppose 29 = a*b + q. Is 6 a factor of b?
False
Suppose -2*k = 3*i - 760 - 3422, 0 = -k + i + 2086. Is k a multiple of 6?
True
Suppose -433*p = -439*p + 3318. Is p a multiple of 12?
False
Let v(s) = -s + 32 + 4*s + 7*s - 10. Is 22 a factor of v(22)?
True
Suppose -8*d - 14*d + 704 = 0. Does 3 divide d?
False
Let f(a) = a**2 + 15*a + 29. Let x be f(-13). Is ((-1)/x)/((-7)/3717) a multiple of 39?
False
Let t be -2*1*((-24)/(-6) + -5). Let b = t - -24. Does 2 divide b?
True
Let p = 911 - 521. Is p a multiple of 9?
False
Let a be (6/4)/((-39)/(-416)). Is 20 a factor of (25/(-20))/((-1)/a)?
True
Suppose -3*i + 4*f = 8*f - 2467, 4*i + 2*f - 3276 = 0. Is 58 a factor of i?
False
Suppose 0 = -2*x - p + 7628, -p = -17*x + 13*x + 15268. Is x a multiple of 159?
True
Suppose 4*o - 8*o = 2*g - 162, 0 = 3*o + 6. Let i = 157 - g. Does 9 divide i?
True
Suppose 25*u - 38826 = -2*u. Is 22 a factor of u?
False
Let v(x) = -x**2 + 6*x - 5. Let g be v(3). Suppose -g*a + 226 = -126. Is a a multiple of 22?
True
Suppose -3*a - 4*d = 2*a - 10, -2*d = 2*a - 4. Let m(i) = a - 72*i**3 + i - 2*i**2 + 5*i**2 - 4*i**2. Does 32 divide m(-1)?
False
Suppose -4*h + 818 = -27*i + 28*i, 0 = i - 2*h - 806. Is 13 a factor of i?
False
Is 1726/6 - (-88)/264 a multiple of 36?
True
Let t be (-2 + 4)/(3 - 8/3). Suppose t*c - 449 = 163. Is c a multiple of 17?
True
Does 3 divide (2/(-4))/(19/(-18734))?
False
Suppose 7*d - 24 = -x + 4*d, -d = 5*x - 162. Suppose -37 = -g + x. Is g a multiple of 14?
True
Let w = -22 - -15. Let f = w + 10. Suppose f*j - j = 28. Is 11 a factor of j?
False
Let o(v) = 8*v**2 + 2*v. Suppose -3*w - 4 = -5*w. Let x be o(w). Suppose 0*d = d - x. Is 5 a factor of d?
False
Suppose 0*u + 7*u - 399 = 0. Let o = 78 + u. Does 15 divide o?
True
Let l(v) = 4*v**2 - 15*v - 3. Let s(a) = a**2 - a + 1. Let i(p) = -l(p) + 5*s(p). Let u be i(-7). Let t = -4 - u. Is t a multiple of 9?
True
Let n(g) = -g**3 - 15*g**2 - 11*g + 4. Let t be n(-16). Is 11 a factor of t/18