5*g - 8, -2*n + 6 = -2*g. Let z(r) = -r**3 + 5*r**2 + r - 1. Is 2 a factor of z(n)?
True
Suppose -214 = -12*v + 134. Does 7 divide v?
False
Is (-50)/5*(-3)/2 a multiple of 5?
True
Let w(d) = -3*d - 15. Does 9 divide w(-12)?
False
Suppose -14 = h - 4*n - 69, -3*h + 5*n + 151 = 0. Is h a multiple of 9?
False
Let q(w) = w**2 + 2*w - 1. Let i be q(-7). Let u = i - 22. Is u a multiple of 4?
True
Suppose 0*t = 3*n - 3*t + 3, -3*n + 4*t = 7. Suppose 3*v + n*c = 63, 4*v + 3*c - 82 = c. Does 20 divide v?
True
Let d be 0 + 0 - (8 - 54). Is (-6)/(-12) + d/4 a multiple of 4?
True
Let a be 1 - (-135 + (1 - 0)). Suppose 5*h + 4*y - a = -y, -3*y - 7 = -h. Is h a multiple of 22?
True
Suppose 3 = -5*t - g + 17, 4 = 4*t - g. Let c be 1*(-2)/((-2)/9). Is 10 a factor of c*(1 - t - -4)?
False
Suppose 0 = 4*i - 21 + 1. Suppose -i = r, -4*t - r + 4 = -t. Is t even?
False
Suppose -1 = -4*v + k + 3, v = 5*k + 20. Suppose 2*u + v*u = 168. Suppose 5*w - u = -4. Is 8 a factor of w?
True
Let p = 7 + -2. Suppose p*q - 5*i - 27 = 3*q, -5*i + 9 = 4*q. Is q a multiple of 4?
False
Let q be (-22)/((0 + -2)*1). Let v = 44 - q. Does 17 divide v?
False
Let z(f) = -f**2 + 5*f + 8. Let i be z(6). Suppose 2*r = 5*a - 20 - 28, -r - 19 = -i*a. Does 8 divide a?
False
Let s = 0 - -3. Suppose 5*r - 5*g - 40 = 0, 16 = 3*r - s*g + 8*g. Is 3 a factor of r?
False
Suppose 4 = 2*k - 6. Suppose 2*w = 29 - k. Does 9 divide w?
False
Let q(s) = s**2 - s**2 + s - 4*s**2 + 6*s**2. Let i be q(2). Is ((-46)/5)/((-2)/i) a multiple of 20?
False
Suppose -3*z - 86 = -4*z. Suppose 0 = -0*p + 3*p + 5*j - 106, z = 3*p - 5*j. Is p a multiple of 10?
False
Let o(s) = 2*s**3 - 11*s**2 + 12*s + 7. Is o(7) a multiple of 14?
True
Let j(g) = g**3 - 3*g**2 + 8*g + 4. Let q be j(6). Suppose -4*r = -b - 222, -54 = 2*r - 3*b - q. Is r a multiple of 13?
False
Let m be 88/20 + 2/(-5). Let p(u) = u**3 - 6*u**2 + 5*u - 4. Let x be p(m). Let w = 27 + x. Is 6 a factor of w?
False
Suppose -5*f + 16 = 2*q, 0 = 3*q + 2*q + 5*f - 10. Let b(r) = -6*r**3 - 2*r**2 + r - 2. Is b(q) a multiple of 16?
False
Let g(k) = k**2 + 8*k + 7. Let d be g(-7). Let m(o) = -o + 8. Let j be m(d). Does 15 divide (-147)/(-5) - j/20?
False
Is (1*-6)/(0 - 2) even?
False
Let z = -58 - -156. Is 6 a factor of z?
False
Let w = -8 + 13. Suppose w*v - 1 = -6. Let j(q) = 17*q**2 + 2*q + 1. Does 6 divide j(v)?
False
Let b be (-4)/18 - (-64)/(-36). Is (-58)/b*3/3 a multiple of 13?
False
Let x = -907 + 1307. Does 14 divide x?
False
Is 13 a factor of (-3)/12*6 + 535/2?
False
Let q be -20*2/(2 + 0). Let o(i) = 4*i. Let p be o(-1). Is (65/q)/(1/p) a multiple of 13?
True
Suppose -2*x + 5*v - 212 = 0, -2*x - 4*v = -5*x - 311. Let l = -65 - x. Suppose 5*w - 73 - 38 = 2*z, 0 = -2*w - 2*z + l. Is 21 a factor of w?
True
Let q = -12 - -24. Does 7 divide 3/((q/56)/1)?
True
Suppose 0*u - 18 = -3*u. Let d(m) = u*m + 0*m**2 - m**2 + 8 + 2*m**2. Does 12 divide d(-8)?
True
Suppose m - 34 - 14 = 0. Is 12 a factor of m?
True
Let q be 501/(-12) + (-2)/8. Let w = q + 30. Does 9 divide (8/10)/(w/(-330))?
False
Let q = 164 - 110. Does 18 divide q?
True
Let i(p) = -46*p. Let c be i(1). Let v(j) = 8*j + 5. Let u be v(-4). Let q = u - c. Is q a multiple of 16?
False
Let d(z) = z**3 - 3*z**2 + 1. Let t be d(3). Is (-280)/(-4) + -3*t a multiple of 14?
False
Suppose 2*t + 7 + 13 = -4*p, -20 = 2*t - p. Let l be (-3 - -1)/(2/t). Does 12 divide 2*-6*l/(-4)?
False
Let s(c) = -2*c**3 - 3*c**2 - c - 2. Suppose 2*n - 2*g = -0 - 2, -g - 11 = 3*n. Is s(n) a multiple of 21?
False
Suppose 0 = 2*g - 4*t - 32, -3*t = 4*g - 8*t - 64. Does 9 divide g?
False
Does 6 divide ((-8)/10)/(23/(-2070))?
True
Let c be -1 - (3 - 14 - 2). Is 2/c + (-262)/(-12) a multiple of 11?
True
Let w(u) be the second derivative of u**5/20 - u**4/2 + 5*u**3/6 - 9*u**2/2 - u. Does 25 divide w(7)?
True
Suppose -2*y = -10 + 2. Let t = y - -2. Is 2 a factor of (12/(-8))/(t/(-16))?
True
Suppose -p - 4*s - 8 = 0, -4*p + p + 4 = -2*s. Suppose p = -2*c + 4*c + 8. Is c - -2 - (0 - 10) a multiple of 8?
True
Suppose 0*n + n = -3. Does 9 divide ((-6)/2)/n*17?
False
Suppose 0 = 2*o - 8 - 0. Let m(x) = -3*x + 1. Let p be m(o). Let c = p + 21. Is c a multiple of 8?
False
Suppose -r = -27 - 63. Does 6 divide r?
True
Suppose 5*j = 10*j - 390. Is 26 a factor of j?
True
Does 10 divide (-22)/(-1) - (-3 + 5)?
True
Suppose -w + 2*v + 104 = 0, -w + v = 3*w - 402. Does 25 divide w?
True
Suppose -c = c + 4*s, -2*s = 5*c. Suppose c = b - 11 - 0. Does 8 divide b?
False
Suppose -b + 34 = -76. Suppose 6*l + 51 = -357. Let v = b + l. Does 18 divide v?
False
Suppose 2*g - 35 = -7*v + 2*v, 0 = -3*v - 9. Suppose -c - g = -6*c. Suppose 0*w + c*f = 2*w - 24, 5*f = 5*w - 60. Does 11 divide w?
False
Suppose 5*u = -w + 8, -3*w + u + 7 = -u. Suppose w*c - 9 = -0*c. Is c even?
False
Suppose 1 + 2 = 3*b. Let y(s) = 6*s**3 - s**2. Let v be y(b). Suppose -v*u + 60 + 25 = 0. Is u a multiple of 6?
False
Let c(n) be the first derivative of 47*n**3/3 + n - 3. Is c(-1) a multiple of 24?
True
Let g = 0 - -3. Suppose 0*o = g*o - 123. Is 19 a factor of o?
False
Suppose -217 + 57 = -8*i. Does 2 divide i?
True
Is 3 a factor of (120/(-32))/(3/(-8))?
False
Let i = -49 + 27. Let v = i + 31. Is 13 + (-4)/(12/v) a multiple of 10?
True
Suppose -4*z + 1449 = 5*z. Is z a multiple of 7?
True
Let r(b) = -b + 6. Suppose 28 = g + 2. Suppose -w = 4*a + w + g, 3*w + 31 = -5*a. Is 7 a factor of r(a)?
True
Suppose -50 = -0*g + 5*g. Does 24 divide (-15)/(-25) - 474/g?
True
Suppose 4*m = -4*v - 11 + 43, 5*m + 2 = 2*v. Suppose -t - 3*h - 8 = 0, -5*t + 2*h + 15 = v*h. Is t a multiple of 3?
False
Let b(l) = -l**3 - 3*l**2 + l - 1. Let x be b(-4). Suppose 2*n + x + 1 = 0. Is (n/(-4) - 1)*12 a multiple of 3?
True
Let i = -7 + 7. Suppose 2*m = -i*m + 42. Is 7 a factor of m?
True
Let x be (14/4)/(3/6). Suppose 2*t - 65 = x. Does 22 divide t?
False
Suppose g - 10 = -3*i, -g - 3*i - i + 10 = 0. Is 5 a factor of g?
True
Suppose 7*k + 32 = 984. Is k a multiple of 9?
False
Let a(j) = -2*j + 3*j - 3 - 6 - 3*j. Let h be a(-7). Suppose 0*w + 25 = h*w. Does 5 divide w?
True
Suppose 3*p - 4 = p. Suppose -p*k - 5 = -39. Is k a multiple of 5?
False
Suppose 5*r + 3*k = -0*r - 176, 0 = -2*r - 4*k - 62. Let w be r/(-7) + 2/(-7). Suppose -81 = -w*g + 64. Does 10 divide g?
False
Let n = 5 + 1. Does 13 divide (-20)/n*(-216)/30?
False
Suppose 84 = x + 3*x. Is 8 a factor of x?
False
Let g(t) = t**3 + t + 21. Suppose 0 = -q - 0*q. Is 11 a factor of g(q)?
False
Suppose g + 4*r = -g - 88, 2*g + 3*r + 84 = 0. Let w = g + 224. Suppose -u = -5*u + w. Is u a multiple of 16?
False
Let m = 182 + -66. Suppose -4 = 3*i + 230. Let y = i + m. Is y a multiple of 14?
False
Let y(s) = -s**2 - 7*s. Let x be 20/2*4/10. Suppose 3*u = x*u + 5. Does 5 divide y(u)?
True
Let z be 2 + 2 + -5 + 3. Is z/(-5) - (-168)/20 a multiple of 7?
False
Let y(q) = 2*q**3 + 4*q**2 + 6*q + 6. Let z(k) = -3*k**3 - 9*k**2 - 11*k - 12. Let t(n) = 5*y(n) + 3*z(n). Let r be t(7). Does 6 divide 61/9 - 6/r?
False
Let b be 0*(-1)/3 - -1. Is (b - -1)/(5/80) a multiple of 11?
False
Suppose -12 = -0*s - 4*s. Is s a multiple of 3?
True
Let m = -2 + 0. Suppose 3*g = 4*g - 4*c + 23, 4*g + c + 7 = 0. Is g/(-2)*(-4)/m a multiple of 3?
True
Suppose -2*g - 3*r + 145 = -0*r, -r = -3. Is 14 a factor of g?
False
Suppose -3*n + l + 99 + 73 = 0, -4*n + 228 = -l. Is 8 a factor of n?
True
Let u be 2/3 + (-8)/(-6). Suppose u*i + 2*j + 2 = -2*j, -j = 3*i - 12. Suppose 102 = i*p - 2*p. Is p a multiple of 14?
False
Suppose 4*j + 210 = 3*m, -2*m - 2 = -3*m. Let u = j - -87. Does 9 divide u?
True
Let i(o) = 3*o + 86. Is i(-6) a multiple of 34?
True
Let m(p) = p**2 + 6*p - 11. Let y be m(-8). Suppose -3*w = v - 3*v + 27, -y*v + 4*w + 57 = 0. Does 3 divide v?
True
Let o(l) = -l + 18. Let h be o(8). Suppose 3*b - 56 = -3*u + h, 2*b + 4*u = 42. Does 9 divide b?
False
Suppose o - 58 = -22. Let d be 9*2*2/(-3). Let f = o + d. Is 24 a factor of f?
True
Let b = -2 - -5. Suppose 0 = -4*r - 16, -3*r + b + 2 = s. Let t = s - 3. Does 7 divide t?
True
Let t(z) = -z**3 - z**2 - 11. Let b be t(0). Let a = 29 - b. Is a a multiple of 19?
False
Let w = 273 - 15. Does 14 divide 1/(-5) + w/15?
False
Suppose -5*q = 26 - 11. Suppose m - 37 = -2*s, 4 - 47 = -2*s - 3*m. Is 8 a factor of (-3 - q) + s/1?
False
Suppo