2*d + 402. Is y a multiple of 5?
True
Let x = -25 - 4. Let z = -13 - x. Let w = z - 11. Is w a multiple of 2?
False
Let f(h) = -7*h**2 - 10*h - 4. Let z be f(11). Let g be 10/45 + z/(-9). Let s = 164 - g. Is s a multiple of 26?
False
Suppose 5*j - 5*h - 193 = 142, -2*h - 274 = -4*j. Suppose -4*t = 3*d - 270, 2*d = -t - 0*d + j. Is 22 a factor of t?
True
Let h be 0/((-4)/4) - 0. Let v(r) = -r**3 - r + 77. Does 13 divide v(h)?
False
Let n be -5*((-44)/10 - -4). Suppose -7*z + 2*z - 2*w + 66 = 0, 18 = z - n*w. Does 14 divide z?
True
Let o(i) = -i**3 - i**2 + 2. Let d be o(0). Suppose 3*m + 103 = 5*t - t, 46 = d*t + 4*m. Is 7 a factor of t?
False
Let i be (-4)/(-6)*3 - -3. Let l(k) = -i*k**2 + 2*k**3 + 3 + 2*k - 3. Is l(3) a multiple of 11?
False
Let i = 128 - 86. Does 20 divide i?
False
Let o = 109 - 24. Let y = o + -16. Is 23 a factor of y?
True
Let d = 143 + -71. Does 6 divide d?
True
Let f(s) be the second derivative of s**5/20 + 2*s**4/3 - s**3/3 + 4*s**2 - 2*s. Does 12 divide f(-8)?
True
Suppose 4*j - 494 - 310 = 0. Is j a multiple of 67?
True
Let j = 10 - 5. Suppose v - 5*l + 10 + j = 0, 0 = -3*l + 12. Suppose 3*m = 2*r - v*r + 21, -2*m - r + 14 = 0. Does 4 divide m?
False
Let a(u) = -u - 1. Let v(b) = 4*b - 17. Let h(f) = -3*a(f) - v(f). Let y be (-3 + 4)/((-3)/(-33)). Is h(y) a multiple of 7?
False
Let r(n) be the first derivative of -17*n**4/4 + n**3/3 + n**2 + n + 1. Is r(-1) a multiple of 10?
False
Is 28 a factor of 2/(-2 - 2720/(-1356)) - 3?
True
Suppose x + 122 = 2*x. Suppose 0 = -4*h - z + x, -2*h + 5*z + 165 = 3*h. Is 8 a factor of h?
False
Let y be 4 - ((-1)/1 - -21). Is 9 a factor of (0 - -1)/(y/(-464))?
False
Suppose -2*i - 5 = 4*v + 1, -4*i = 3*v - 3. Let u = -16 + 52. Does 12 divide ((-8)/v)/(8/u)?
True
Suppose -4*s + 103 = 2*r + 3*r, -32 = -2*r + 3*s. Is 12 a factor of r?
False
Suppose -5*n - r - 489 = 33, 4*n + 4*r = -424. Let s = -56 - n. Does 24 divide s?
True
Let j = 233 + -125. Is 25 a factor of j?
False
Let y = 355 - 100. Suppose -y = 7*l - 10*l. Is l a multiple of 22?
False
Let g = -14 - -17. Suppose 0 = 3*l + 3*y - 21, -4*l - 1 = -g*y - 43. Is 9 a factor of l?
True
Let v(h) = -h**2 - 24*h - 54. Is 5 a factor of v(-13)?
False
Let p(o) = 4*o**3 - o + 2. Suppose 4*q - 5 = -2*n + 3, -4*q = 4*n - 12. Is 11 a factor of p(n)?
False
Let i(f) = f**2 - 6*f + 5. Let q be i(5). Suppose -c + q = 1, 5*a = 4*c + 69. Does 4 divide a?
False
Let b be (-915)/135 - 4/18. Let z = 16 + b. Is z a multiple of 3?
True
Let a(n) = n**3 + 11*n**2 + 6*n - 14. Let y be a(-10). Is 2/(-3) + y/3 a multiple of 4?
True
Suppose -2*t + 38 - 6 = 0. Is 7 a factor of t?
False
Let a = -5 - -19. Suppose 2*m + 30 = -m. Let p = a - m. Is p a multiple of 8?
True
Let l(b) = -2*b - 4. Let s be l(-4). Suppose c - s = 3*c. Let a = 5 - c. Is 7 a factor of a?
True
Is 3*(165/9 + 0) a multiple of 11?
True
Let z = 195 + 20. Is 43 a factor of z?
True
Let n(i) = 24*i. Let q be n(1). Let p be (q/15)/(-4)*5. Let j(s) = -2*s**3 - s**2 + 2*s. Does 8 divide j(p)?
True
Suppose 0 = 4*k - 3*h - 50, 9 = k - h - 4. Is k even?
False
Let a be (-1)/2*-3*6. Suppose -3*j + a = 0, -5*j = o + 2*o - 123. Is 18 a factor of o?
True
Suppose -12*u + 715 + 653 = 0. Is u a multiple of 18?
False
Does 4 divide ((-4)/6)/((-8)/228)?
False
Is 13 a factor of (-392)/(-15) + 6/(-45)?
True
Let x(i) = i**3 + 5*i**2 - 8*i + 5. Is x(-6) a multiple of 2?
False
Let p(b) = -b**3 + 8*b**2 - 3*b + 4. Is p(3) a multiple of 5?
True
Let q = 0 + 0. Let h be (-6)/((-3 + 5)*-1). Suppose q*f - 30 = -h*f. Is 6 a factor of f?
False
Let l(x) = 0*x + 0*x - 4 + 2 - 4*x. Is 11 a factor of l(-6)?
True
Suppose 2*z - 828 = -4*z. Is 23 a factor of z?
True
Let t(j) = -j**3 + 3*j**2 - j. Let y be t(2). Let s be y - -1 - (3 - 0). Is 2 a factor of 4 + s + -3 + 1?
True
Suppose -3*d = -5*d, -5*j + 245 = -5*d. Does 13 divide j?
False
Let c(i) = -4*i - 14. Let t be c(-7). Is 4 a factor of -1 + t + (-8)/(-4)?
False
Suppose -4*w = -w - 30. Suppose w*i = 5*i + 80. Does 16 divide i?
True
Suppose -53 = -2*i - 3*z, -2*i + z = -5*i + 62. Is 19 a factor of i?
True
Suppose -g = 2*t + 2*g + 17, -5*t + 5*g + 20 = 0. Let d = t + 6. Is d a multiple of 2?
False
Suppose r + 0*r - 3 = 0, -245 = -4*d + 5*r. Let z be (2 - 2)/(-3) + d. Suppose 120 = 5*f + 4*o, -3*f - o = -0*o - z. Does 10 divide f?
True
Suppose -t - 4*a = -2*a, 4*t + 5*a - 12 = 0. Is t even?
True
Suppose -3*g = 3*m, 2*m - 3 + 12 = g. Suppose 4*j - 187 = 3*y, -5*j + 152 = -5*y - 88. Suppose j + 62 = g*k. Is k a multiple of 19?
False
Let m = 84 - 5. Is m a multiple of 30?
False
Let w(m) = 7*m**2 - 10*m + 5. Is w(4) a multiple of 6?
False
Suppose 0*o + 4*o = 0. Suppose o = -2*v - v - 18. Let h = v - -12. Is h a multiple of 2?
True
Let t(i) = -29*i - 1. Suppose -3*k = -2*k + 1. Does 14 divide t(k)?
True
Does 3 divide (4/3)/((-16)/(-456))?
False
Suppose x - 108 = -3*x. Is x a multiple of 9?
True
Suppose -200 = -2*g - 3*g. Is g a multiple of 20?
True
Suppose 0 = -2*i + 51 - 5. Suppose -1 = -d + i. Suppose -w = w - d. Is 12 a factor of w?
True
Suppose -9*j - 84 = -10*j. Is j a multiple of 6?
True
Suppose 75 - 437 = -2*y. Is 39 a factor of y?
False
Let y = 11 - 6. Suppose -4*a + a + 37 = y*t, -5*t + 2*a = -42. Suppose -4*k + t + 24 = 0. Is 8 a factor of k?
True
Suppose 0 = -0*m + 3*m. Suppose m = -5*o + 10 - 5. Let c = 2 + o. Is c a multiple of 3?
True
Suppose -c - 15 = -3. Let a be (-2)/c - (-4)/(-24). Suppose -f = -a*f - 7. Is f a multiple of 2?
False
Suppose 5*d = 4*d, 3*d = 2*p - 312. Is 52 a factor of p?
True
Let n(o) = -25*o - 4. Let s be n(-5). Suppose -2*j + 3*j = 3*b + s, 3*b + 5*j = -115. Does 20 divide 0*3/(-9) - b?
True
Let p(a) be the third derivative of a**4/8 - a**3/6 - 3*a**2. Is 4 a factor of p(5)?
False
Let d be (-6)/(-4)*(-16)/(-6). Suppose -4*h + d + 40 = 0. Is h a multiple of 3?
False
Let f(g) = -12 - 8 - 7*g + 15. Is f(-7) a multiple of 22?
True
Suppose -i = -0*i + 5*r - 41, 5*i - r = 179. Does 5 divide i?
False
Suppose -x = -39 - 20. Is 12 a factor of x?
False
Is 434/10 + (-24)/60 a multiple of 16?
False
Let i be (-56)/(-12)*12/8. Suppose i*a - 190 = -15. Is a a multiple of 16?
False
Let z = -130 + 55. Let h = z - -139. Does 16 divide h?
True
Does 21 divide (210/25)/(4/10)?
True
Let h be (-1 - -3) + (-2 - 1). Is 3 a factor of h/2 + 27/2?
False
Let r(p) = p - 5. Let i be r(6). Suppose -3*l = -190 + i. Is 16 a factor of l?
False
Let o = -28 + 16. Let y = -6 - o. Does 2 divide y?
True
Let g(n) = 24*n + 51. Does 15 divide g(5)?
False
Let n(i) = i**2 - 16*i - 10. Does 26 divide n(18)?
True
Let q be ((-30)/8)/(7/(-84)). Is (q - 0/4)/1 a multiple of 10?
False
Suppose 3 = 4*g - 1. Is -1*(-19)/(0 + g) a multiple of 19?
True
Let p(v) = 9*v + 33. Let b(k) = -6*k - 22. Let d(c) = 8*b(c) + 5*p(c). Does 12 divide d(-9)?
False
Let o(s) = 2*s - 6. Let p be o(5). Suppose k = 2 - p. Is 8 a factor of k + -1 + (17 - -2)?
True
Suppose -3*m + 0*m + g + 17 = 0, 5*m = 4*g + 26. Is 2 a factor of m?
True
Let a = 13 - 1. Suppose u - 3*u = a. Is 15/(u/(-2) - 2) a multiple of 15?
True
Let v(j) = -20*j - 9. Let b be v(-6). Suppose -5*q + b = d, 2*q - 3*q - 4*d + 26 = 0. Does 22 divide q?
True
Suppose -b - 4*t + 1 = 0, 4*t + 52 - 1 = 3*b. Let x(i) = -i**3 + 6*i**2 - i - 1. Let v be x(6). Let r = b - v. Does 16 divide r?
False
Let w(l) = -l + 12. Let j be w(0). Let a = j - 6. Is 6 a factor of a?
True
Let t(p) = p**2 + 6*p - 4. Is 36 a factor of t(5)?
False
Suppose -2*n + 3*h = 2*n - 96, -3*n = h - 59. Is (-4)/(-3)*n/2 a multiple of 8?
False
Suppose -5 = -5*g + 30. Suppose -g*r + 100 = -2*r. Is 10 a factor of r?
True
Suppose 0*j - 4*j = -c - 65, -4*j - 3*c = -45. Is 5 a factor of j?
True
Suppose -4*b - 15 = -7*b - 5*j, -2*j + 6 = 0. Let z = 31 - b. Suppose 0 = -2*d - 7 + z. Is 7 a factor of d?
False
Let v(q) = q**2 - 11*q - 15. Let s be v(12). Let d be 102/(s/6*-3). Suppose 2*b + 2*i - d = -3*i, 0 = 4*i. Does 14 divide b?
False
Let y be (-27)/1*(-3)/9. Let l = y - 4. Suppose 45 = -l*f + 175. Is 13 a factor of f?
True
Let c be 1 - (-2)/(-1)*-1. Is 4 a factor of 4 - ((-3)/1)/c?
False
Let a(w) be the third derivative of w**8/10080 - w**7/1680 - w**6/180 - w**5/30 - 3*w**2. Let x(y) be the third derivative of a(y). Is x(6) a multiple of 19?
False
Let h(n) = 5*n**2 - n - 2. Is h(2) a multiple of 3?
False
Su