i be (1/(-2))/((-7)/266). Let d = i - 16. Suppose -a = -4*u - 60, a = 2*a - d*u - 62. Is a a multiple of 18?
False
Suppose j - 66 - 39 = 5*u, 2*j = -5*u - 105. Let m be ((-4)/7)/(6/u). Suppose o - m = -2*b - 1, -5*o - 3*b + 19 = 0. Is 3 a factor of o?
False
Let r(h) = 3*h - 20. Let l be r(8). Suppose d - p = l*p + 69, 4*d + 2*p = 364. Let y = d - 51. Does 13 divide y?
False
Let d be (4/(-6))/(10/5220). Is 19 a factor of 12/2*d/(-24)?
False
Suppose 2*a - 2*n - 3274 = 0, 0 = 2*a + 5*n - 2369 - 912. Is 42 a factor of a?
True
Suppose 0 = -2*n + z + 33, -5*z = 2*n - 0*n - 3. Is 10 a factor of 3 + n/(-4) + 505/10?
True
Suppose -2*y + j = -51, -2*y - 4*j = -3*y + 8. Suppose 91 = 2*d - 3*g + y, 2*g + 114 = 4*d. Is d a multiple of 27?
True
Let i(d) be the second derivative of d**3/3 + 35*d**2/2 - 5*d. Does 3 divide i(-12)?
False
Let v = 8 - -64. Let a = v + -43. Is a a multiple of 9?
False
Let z be (0 - 1) + 0 - (24 - 28). Suppose x - z*w - 301 = 0, 2*w + w + 6 = 0. Is x a multiple of 20?
False
Let a(r) = 4*r + 8. Let y be a(17). Let k = 204 - y. Is 12 a factor of k?
False
Let u = 92 - 32. Suppose b - 3*b - 5*f - 52 = 0, -f = -5*b - 76. Is u + (-4)/b*0 a multiple of 15?
True
Let a(s) be the first derivative of s**2/2 - 2. Let n be a(5). Suppose 15 = b + 5*t, -b = -n*t + 11 - 56. Does 15 divide b?
True
Let h = 10 + -10. Suppose 3*w - 6 + h = -3*b, -2*w + b = -19. Does 7 divide w?
True
Let m = -8 - -11. Suppose 2*w = m*t - 0*w - 25, 3*t + 5*w - 11 = 0. Suppose -t*z + 30 = -2*z. Is z even?
True
Let r(s) = -s**3 + s**2 - 1. Let y be r(0). Let k = y - 5. Is (-1 - k)*1 + 0 even?
False
Let x(v) = -v**3 - 6*v**2 - 21*v - 36. Is 20 a factor of x(-7)?
True
Let l(n) = 126*n - 4. Does 17 divide l(3)?
True
Let w be ((-8)/(-3))/((-18)/27). Is 10 a factor of w + (34 - (0 + 3))?
False
Is 8 a factor of (286989/271)/((-6)/4*-2)?
False
Let g(j) = 3*j**3 + 4*j**2 + 30. Let x(t) = -7*t**3 - 9*t**2 - 60. Let i(v) = 5*g(v) + 2*x(v). Is 27 a factor of i(0)?
False
Let x = 520 + -234. Suppose -4*p + 3*h = -x, 76 = 3*p - 2*p - 3*h. Is p a multiple of 35?
True
Suppose 68*a - 52*a = 10048. Is a a multiple of 68?
False
Let h(i) be the first derivative of -i**7/840 - i**6/90 - i**5/60 - i**4/8 + 4*i**3/3 - 3. Let a(y) be the third derivative of h(y). Does 2 divide a(-4)?
False
Suppose 4 = r - 1. Suppose -r*y - 4*h = -2*h - 214, 0 = 2*h + 6. Is 22 a factor of y?
True
Suppose -4*z - 511 = -95. Does 15 divide 3/(-3) - -2 - z?
True
Let q(t) = 2*t**2 + 26 - t - 2*t**2 + t**3. Suppose b = 9*b. Is q(b) a multiple of 6?
False
Let v = -28 - -38. Let t = -1 + -3. Is 10 a factor of v - 0*t/16?
True
Let w(n) = n**3 - 7*n**2 + n + 15. Suppose 3*r - 26 = -5*g, 4*r = g - 5*g + 16. Is 22 a factor of w(g)?
True
Let y(i) = i - 2. Let b be y(5). Suppose b*m + 2*v = 30 + 27, 5*m + 5*v - 100 = 0. Is 5 a factor of -6 - -7 - m*-1?
False
Suppose -19*f = -17*f - 6. Suppose -4*r = -2*r - v - f, 3 = -r - 4*v. Is 3 - r - -6*7 a multiple of 18?
False
Suppose -17*d + 351 + 1791 = 0. Is d a multiple of 26?
False
Is 11 a factor of 771*1 + 13/((-52)/(-24))?
False
Suppose -5*w - 3*a + 6490 = 0, 0 = 5*w + 4*a - 7854 + 1369. Does 6 divide w?
False
Suppose -4*o + 5 = 169. Suppose 328 - 13 = -5*f. Let z = o - f. Is z a multiple of 9?
False
Let p(b) = b**2 + 15*b + 74. Is 54 a factor of p(-17)?
True
Suppose -7*o = -56 - 35. Let i = 57 + o. Does 17 divide i?
False
Let m = 96 + -30. Suppose 80 = 2*j + 4*n - 56, -2*n = -2*j + 154. Suppose 5*w - m = j. Does 7 divide w?
True
Suppose 17 = -z - 3*u + 244, -2*u = -4*z + 922. Is 10 a factor of z?
True
Let t(b) = 32*b**2 + 42*b + 8. Is 100 a factor of t(6)?
False
Suppose 950 = 4*b + b - 5*t, 5*t - 184 = -b. Let h = 403 - b. Does 12 divide h?
False
Suppose 3*a - 24 = 5*a. Let o = 19 + a. Is 3 a factor of 8/1 - (-9 + o)?
False
Let r(l) = 23 + 96 - 36 - l**2. Let s be r(0). Suppose 5*k = 2*m - s, -m = -2*k + 6*k - 9. Is m a multiple of 12?
False
Suppose -266 = -5*c - 0*c + 3*a, 5*c + 3*a - 254 = 0. Is 13/(c/72) + -3 a multiple of 15?
True
Suppose -11394 - 13598 = -22*h. Is 17 a factor of h?
False
Suppose -4*k + 12 = -k - 4*g, -4*k - 4*g = -16. Suppose 0 = -k*z + 220 - 44. Does 11 divide z?
True
Suppose -3*p - 5*x + 1234 = 0, 26*p - 5*x + 826 = 28*p. Is 54 a factor of p?
False
Let r(t) be the third derivative of t**6/120 + 14*t**3/3 - 18*t**2. Does 7 divide r(0)?
True
Suppose -7*l = 1207 - 122. Let d = -24 - l. Is d a multiple of 11?
False
Suppose 0 = 69*k - 12*k - 17271. Does 5 divide k?
False
Let n be 1 + (-464)/(-3) - 12/18. Is 31 a factor of n/(-1)*5/((-25)/2)?
True
Suppose 4*w - 4200 = -5*o, -2*w - 4*o = -796 - 1310. Does 11 divide w?
True
Let c = -1012 + 1562. Is c a multiple of 10?
True
Let b = -110 + 56. Let z = 20 + b. Let s = -19 - z. Is s a multiple of 11?
False
Let r(h) = -5*h - 3. Let o(y) = 11*y + 5. Let t(c) = -6*o(c) - 13*r(c). Is 5 a factor of t(-4)?
False
Suppose 4*y - 2*m - 3*m - 2577 = 0, -4*y + 2537 = 3*m. Does 17 divide y?
False
Let j(t) = t**3 + 24*t**2 - 24*t - 61. Does 5 divide j(-19)?
True
Let z = -290 + 168. Suppose 0 = -2*v + 365 + 41. Let d = z + v. Does 21 divide d?
False
Let i be 9/12*20/3. Let p(m) = 4*m + 15. Is p(i) a multiple of 5?
True
Let i(n) = 4*n - 6. Let m be i(6). Suppose 0 = 3*j + 5*r - 200, 5*r = -3*j - j + 260. Suppose -3*y + j = -m. Is y a multiple of 11?
False
Suppose 4*w = 2*z + 2, 4*z - 4*w + 3 = 7. Is 3 a factor of z?
True
Let l(c) = -c**2 + 19*c - 72. Does 5 divide l(13)?
False
Suppose 15*u = 20*u - 10. Suppose -g + 3*p - 12 = -u*g, 0 = -5*g + 5*p + 80. Does 3 divide g?
True
Let a(v) = -23*v - 14. Let b be a(-6). Suppose m - 5*h = -0*h + 13, 0 = -4*m + 2*h + b. Is 8 a factor of m?
False
Suppose 19*p + 461 + 33 = 0. Let a = -58 - 2. Let t = p - a. Is t a multiple of 13?
False
Let c = -47 + 309. Let r be c/4 - 27/18. Suppose 2*s - 5*a = r, -a = s - 19 - 27. Does 14 divide s?
True
Let l be 103/5*(6 + -1). Let o(z) = -101 - 26*z - 22*z + l + 12*z. Does 30 divide o(-4)?
False
Is (-40)/((81/9)/(-270)) a multiple of 100?
True
Let g(i) be the first derivative of 2*i**2 - 7*i + 5. Is g(4) a multiple of 9?
True
Let h(o) be the third derivative of -3*o**4/8 - o**3/2 + 4*o**2. Let b be h(11). Is 5 a factor of ((-10)/15)/(4/b)?
False
Suppose -10748 - 10042 = -5*z. Does 9 divide z?
True
Let l be 2 + 3 + 3/(-1). Suppose 6*t + 51 = 4*m + t, 2*m = l*t + 26. Is (133/m)/(2/4) a multiple of 17?
False
Suppose 4*p = 2*h + 48, p + 2*h + 2 = 4. Suppose -p*s - 540 = -13*s. Does 13 divide s?
False
Let z = -691 - -1216. Is 35 a factor of z?
True
Let s(h) be the second derivative of h**4/12 + 5*h**3/6 + 12*h**2 + 20*h. Is s(-15) a multiple of 29?
True
Let m(v) = -2*v**2 - 42*v + 45. Is 31 a factor of m(-20)?
False
Suppose -319 = -3*n + 134. Is n a multiple of 8?
False
Let r(s) = 141*s**2 - 38*s - 4. Is 50 a factor of r(4)?
True
Suppose 8*n = 9*n. Suppose 1 = 5*g - 9. Suppose -5*o + 77 = s - 6*o, n = s - g*o - 73. Is 27 a factor of s?
True
Let l(v) = -19*v**2 + 3*v - 3. Let x(n) = -6*n**2 + n - 1. Let m(q) = 2*l(q) - 7*x(q). Is m(2) a multiple of 5?
True
Let q be -15*(-56)/20*2. Suppose -344 = -4*t - q. Let a = 127 - t. Is a a multiple of 16?
False
Let c = 27 + -14. Let i = c - 11. Suppose 5*z - 2*z = 5*g - 185, i*g = 4*z + 74. Is 13 a factor of g?
False
Let m = -80 + 828. Is 40/70 - m/(-14) a multiple of 18?
True
Does 25 divide (0 + 75)/(18 + (-20112)/1120)?
True
Suppose 3*c + 2*c + 60 = 0. Let v = 23 + c. Let z(d) = 4*d + 16. Is z(v) a multiple of 15?
True
Does 53 divide 15/4*(-8)/(-24)*212?
True
Let d = 1997 - 1037. Does 19 divide d?
False
Suppose 2 + 58 = -5*i. Let h = 15 + i. Is h even?
False
Let k = -116 + 116. Suppose -n - 3*r + 144 = -4*r, k = -n + 2*r + 148. Does 20 divide n?
True
Let x be (-5 - -7)/((-2)/(-3)). Let o be (-14)/3 - 1/x. Let z(l) = l**3 + 9*l**2 - l - 7. Does 34 divide z(o)?
False
Suppose 5*j - 2406 = 3*z, j + 119 = -z + 605. Is 21 a factor of j?
True
Let a be 33/(-44) - (-5)/(-4). Let w(n) = -n + 1. Let y(m) = 6*m**3 - m**2 - 8*m + 3. Let t(z) = 6*w(z) - y(z). Is 17 a factor of t(a)?
True
Let r be 120/(-54) + 2 - (-5386)/18. Suppose -3*g = b - 62, -5*b - g = 3*g - r. Is b a multiple of 16?
False
Let n = 12 - 8. Suppose 0 = -4*r + 4*q - 24, 5*r - n*q = -0*r - 31. Is (-125)/r + (-2)/(-14) a multiple of 9?
True
Let o = 37 - 35. Does 5 d