 5*k + 14. Suppose 3*s = -k*s. Suppose -2*j + 10 = -2*z, 3*j + s = -2*z + 20. Is 2 a factor of j?
True
Does 38 divide (-22)/(1*-2)*(45 - 7)?
True
Let h be 6 + -5 + (2 - 3). Suppose h = -4*f - f + 65. Is 4 a factor of f?
False
Let s = 18 - 10. Is 6 a factor of 26/s*(-12)/(-3)?
False
Let f = -28 - -19. Does 22 divide (-2)/9 - 200/f?
True
Is 32 a factor of 9387/147 + 1/7?
True
Let o = 7 + -3. Let f be (-112)/(-52) + (-8)/52. Suppose j - 3*i = 16, j = -f*i + o*i + 13. Does 7 divide j?
True
Suppose 0 = -3*y + 4*p + 26, -2*y + 4*p = -12 - 8. Suppose 70 = 4*b - y. Suppose 2*n - 4 = 3*o, -2*n = -3*o + 3*n - b. Is o even?
True
Suppose 2*c = -4*j, -2*j + c + 6 + 2 = 0. Suppose -j*o = -4*s + 268, -2*o + 238 = 3*s + 37. Let v = -44 + s. Is v a multiple of 10?
False
Is 7 a factor of ((-15)/2)/(6/(-12))?
False
Suppose v - 4 = -4*i + 19, -i + 4 = 0. Is v a multiple of 7?
True
Suppose -4*m + 0*m = -284. Let k = m + -23. Does 24 divide k?
True
Let s(o) = -o**3 + 8*o**2 - 8*o + 21. Does 5 divide s(6)?
True
Let q(a) = -a**3 - a + 41. Is q(0) a multiple of 19?
False
Let h(j) = -j**3 + 4*j**2 + 6*j - 2. Let t be h(5). Suppose -t*w = w - 104. Does 12 divide w?
False
Suppose -n + 4 = -0. Let y = n + -4. Suppose 4*a = h + 62, 5*a - h + 5*h - 88 = y. Is a a multiple of 16?
True
Let h(m) = -m**3 + 10*m**2 + 11*m - 14. Let p be h(11). Let s = p - -21. Is s a multiple of 4?
False
Suppose -11 = -4*b + 1. Suppose 2*k - b = 29. Is k a multiple of 5?
False
Suppose -q + 0 - 6 = 0. Does 10 divide (q/3 + 0)*-10?
True
Let s(f) = f**3 - 12*f**2 + 12*f - 13. Let h be s(11). Let p be (8/6)/(h/(-6)). Suppose p*b = -b + 25. Is 2 a factor of b?
False
Let g = 10 + 16. Let x = 74 - g. Is 16 a factor of x?
True
Let z(c) = c - 3. Let r be z(7). Suppose -3*d + 7*d - 2*o - 46 = 0, -4*o = -r*d + 48. Is 11 a factor of d?
True
Suppose -p - 5*c + 10 = 4*p, 0 = 3*p - 3*c - 6. Suppose -p*z + 58 - 8 = 0. Is z a multiple of 15?
False
Let g(d) = d + 7. Is 16 a factor of g(9)?
True
Suppose 8*m - 11*m = 0. Suppose -8*v + 3*v + 2*l + 65 = m, 0 = -v - 4*l + 35. Is v a multiple of 15?
True
Suppose 5*r - 71 = -326. Let y be 4/(-6) - r/9. Suppose -4*x = w - 76 + 15, -y*x + 45 = -5*w. Is 14 a factor of x?
True
Let y = 123 - 71. Let k = -25 + y. Is k a multiple of 6?
False
Suppose 3*i - 28 = 5*f, -3*f - 2 - 16 = -2*i. Let w(b) = -b + 8. Let j be w(i). Suppose -2*q = j*q - 80. Is q a multiple of 12?
False
Suppose -11*r + 1086 = -2258. Is 27 a factor of r?
False
Suppose 5*b - 4*a = -90, 3*b = a - 0*a - 54. Is 8 a factor of (-12)/5*60/b?
True
Let n be (330/(-9))/(2/(-6)). Suppose -w = -2*w + n. Let u = -69 + w. Does 14 divide u?
False
Let n = -24 + 60. Is 12 a factor of n?
True
Is 27 a factor of (-8)/(-16)*(0 - -266)?
False
Suppose 3*g + 33 = 4*g + j, -2*j - 74 = -3*g. Is g a multiple of 10?
False
Suppose n - 79 = -3*u - 0*n, u + 2*n = 18. Is 7 a factor of u?
True
Let j = 243 - 31. Is j a multiple of 13?
False
Suppose 7*y - 2*y - 159 = c, -4*y - 4*c + 132 = 0. Does 9 divide y?
False
Suppose 3*w - 2*i = 544 + 380, -321 = -w + 5*i. Is 34 a factor of w?
True
Let h(q) = -62*q**3 - q - 1. Is h(-1) a multiple of 15?
False
Suppose 6*w - t = 5*w + 3, -4*w = 4*t - 4. Suppose w = 3*u + 2*z, 4*z = -4*u - z - 2. Suppose 0 = -u*v + 5*l + 16, -2*v - l = -0*v - 4. Does 2 divide v?
False
Suppose 0*o + 8*o = 424. Does 6 divide o?
False
Suppose 2*q = 4, -3*n - 92 = -4*n - 2*q. Is 54 a factor of n?
False
Suppose 17*j - 19*j + 300 = 0. Does 15 divide j?
True
Is 14 a factor of 2*(5 + -6) + (18 - -1)?
False
Let f(w) = -2*w + 6. Let b = -49 - -33. Is f(b) a multiple of 9?
False
Does 21 divide 37 - (21/9 - 5/15)?
False
Let y be (-3)/((-6)/16) + 3. Suppose -2 = p - y. Suppose -4*h + 111 = -p. Is 13 a factor of h?
False
Suppose -x + 3 = 0, 3*t - 4*t + 36 = 5*x. Suppose -3*n + t = -0*n. Does 7 divide n?
True
Let m(y) = -y - 1 - 6 - 3 + 3*y. Is 6 a factor of m(8)?
True
Let n(k) = 0 + 19 + k**2 - 11 + 6*k. Let u = -3 + -3. Is n(u) a multiple of 4?
True
Let q(y) = -y**2 + y + 20. Let l be 4 + -1 - (-6)/(-2). Is 10 a factor of q(l)?
True
Let w be ((-3)/(-4))/((-2)/(-8)). Is 8 a factor of (w - -57)/2*1?
False
Let r(a) = a**3 + 5*a**2 - 10*a - 8. Suppose s - 6 = 2*s. Does 16 divide r(s)?
True
Suppose -4*d - d = -325. Is d a multiple of 13?
True
Suppose n + 22 = m, 0*m - 2*m = -n - 39. Suppose -5*u = m - 2, 2*u = 2*k - 50. Is k a multiple of 11?
True
Let c(l) = -l**2 - 6*l + 10. Let i be c(-7). Let s be (-1)/(i/(-12)*1). Is 2 a factor of s - 2 - (-2)/1?
True
Let y be (3/(-2))/((-1)/10). Does 5 divide 186/y - (-4)/(-10)?
False
Let x be (-156)/(-9)*3*-1. Suppose s + 99 = -2*s. Let p = s - x. Is 15 a factor of p?
False
Let r = 200 - 101. Is 13 a factor of r?
False
Let y(g) = -g**3 - 4*g**2 + 9*g + 36. Does 20 divide y(-8)?
True
Let o = 91 + -63. Is 7 a factor of o?
True
Suppose -76 - 84 = -2*m. Suppose 0 = -2*o + 3*j - 1, -j - 5 = -3*o + o. Suppose 0 = o*b - 6*b + m. Is b a multiple of 21?
False
Let a = -78 + 104. Is 13 a factor of a?
True
Let g = 8 - 3. Suppose -g*k + 0*n = n - 25, 0 = 2*n - 10. Let c(b) = 2*b**3 - 6*b**2 + 2*b + 2. Is c(k) a multiple of 14?
True
Let i(x) = 2*x**2 - 3*x + 5. Let p be i(4). Suppose p = o - 17. Does 14 divide o?
True
Suppose 18 = 2*b + b. Does 16 divide 18 - 0 - (b - 4)?
True
Let a(x) = -x**3 + 6. Let i be a(0). Let l = i + -3. Suppose 0 = 3*j - t - 14, -j - l*t = -2*j + 2. Is 3 a factor of j?
False
Suppose -g + 0 = -4. Suppose -g*v + 10 = 3*j + 2*j, 3*j + 3*v - 6 = 0. Suppose -y - 2*y + 97 = 4*t, -58 = -j*y + 4*t. Is y a multiple of 11?
False
Suppose 0 = 5*w + 58 + 102. Let a = -15 - w. Let t = a + -9. Is t a multiple of 4?
True
Suppose -4*b - 20 + 0 = 0, -2*l - b = -3. Suppose -l*p - p = -145. Suppose 0 = -3*c - 5*u + 8 + p, 3*u = 6. Is c a multiple of 8?
False
Suppose -t = -j - 94, 452 = 5*t + 3*j + j. Does 20 divide t?
False
Let k(m) = 4*m**2 + 3*m - 2. Let g be k(-3). Suppose -g = a - 3*l, -3*a - 2*l - 95 = -7*l. Let x = a - -61. Is 8 a factor of x?
False
Let v(o) = o - 4. Let h be v(6). Let i be (-3)/h*84/(-1). Is 7 a factor of (3/6)/(3/i)?
True
Let w = -1 + 0. Let p(u) = -u**2 - 6*u + 1. Let b be p(-5). Let s = b + w. Does 2 divide s?
False
Suppose -2*b + 2*s + 102 = 0, -3*b + 0*s - 4*s = -118. Does 34 divide b?
False
Does 11 divide 118 - (7 + -4 - 6)?
True
Is 42 - ((-24)/(-16))/(3/(-4)) a multiple of 22?
True
Let s = -55 + 85. Is s a multiple of 5?
True
Suppose 4*d = 5*d + 15. Is (d/(-12))/((-4)/(-128)) a multiple of 20?
True
Is 7/(-21) + (-314)/(-6) a multiple of 20?
False
Let c = 6 - 3. Suppose 0 = -c*a + m + 119, 4*a - 179 = 2*m - 17. Is 14 a factor of a?
False
Let j = -3 + -5. Let h be j + 2 + -5 + 6. Let a(m) = -7*m - 6. Does 11 divide a(h)?
False
Suppose 0*x = -x + 3. Suppose 0*k = -5*k - 2*h + 145, -4*k + 109 = x*h. Is 11 a factor of k?
False
Let t(z) = -24*z + 2. Let h be t(-6). Suppose -4*x - 50 = -h. Is x a multiple of 12?
True
Let m be (8/12)/(1/6). Suppose -5*v - m - 31 = 0. Let o = v - -18. Does 4 divide o?
False
Suppose 4*h = -4*t + 40, -2*h + 5 - 3 = 0. Is t a multiple of 2?
False
Let n = 14 + -46. Let c = 54 + n. Does 11 divide c?
True
Let l = 12 + -7. Suppose 0 = -l*j - 4*x + 3 + 11, 2*x = -5*j + 12. Suppose 10 = j*i - 2*p, 5*i + 35 = -5*p + 110. Does 10 divide i?
True
Let j(l) = l**2 - 2*l - 1. Let z be j(-1). Suppose f + z*d = 105, f - 16 = 3*d + 84. Does 26 divide f?
False
Let p be (-12)/(-5)*10/(-3). Does 18 divide 0 + (-4)/(p/126)?
False
Let f = -25 - -35. Suppose 0 = -4*a + f + 6. Suppose -5*n - 72 = -a*s - n, 3*s - 4*n - 50 = 0. Does 19 divide s?
False
Suppose -2*i = 5*p - 4*i - 10, -4*i - 4 = -2*p. Suppose 0 = 3*b + p*b - 25. Is b a multiple of 3?
False
Suppose 5*l - 116 = -4*j, 3*j - 2*l - 13 = 51. Is j a multiple of 24?
True
Let x = -7 + 11. Suppose 0 = 2*s - 38 - x. Is 7 a factor of s?
True
Suppose -3*k - 217 = 164. Let z = -77 - k. Is 17 a factor of z?
False
Let w = -17 - -61. Is w a multiple of 33?
False
Let x be 278/(-6) - 2/3. Let r(v) = -v**2 - 4*v - 4. Let z be r(-7). Let q = z - x. Is q a multiple of 11?
True
Let y = 948 - 660. Suppose 4*g = -0*g + y. Is g a multiple of 25?
False
Suppose -4*k + 3 - 23 = 0. Let g = k - -23. Does 18 divide g?
True
Suppose -55 = -2*y - 1. Is 13 a factor of y?
False
Suppose -m + 100 = -30. Is m a multiple of 13?
True
Is 11 a factor of (-2