ppose -r + 0 = -2. Suppose -r*p + 62 = 5*y, 5*p + a = y - 1. Does 7 divide y?
True
Suppose -3*x - 4*s = -8*x + 250, -221 = -4*x - s. Does 18 divide x?
True
Let z(a) = a - 1. Let c(q) = -3*q. Let w(g) = c(g) + 5*z(g). Let b be w(7). Let u = 5 + b. Is 5 a factor of u?
False
Let l = 3 - -62. Does 37 divide ((-74)/(-5))/(26/l)?
True
Let h(x) be the third derivative of 5*x**7/1008 - x**6/720 + x**5/20 - 4*x**2. Let q(l) be the third derivative of h(l). Is q(1) a multiple of 8?
True
Let t be 4 + -2 - -90 - -3. Let g = t + -60. Is g a multiple of 10?
False
Does 15 divide ((-4)/6)/((-6)/513)?
False
Let i(d) = d**3 - 8*d**2 + d + 10. Let n(a) = -a**2 - 4*a - 1. Let j be n(-3). Suppose -2*b - 3*x - 9 = 2*x, -j*x - 26 = -2*b. Is 7 a factor of i(b)?
False
Let v(l) = -l**3 - 10*l**2 + 11*l + 9. Suppose -2 = -4*z + 10. Suppose 5*h - 15 - 7 = 2*d, h - 33 = z*d. Is v(d) a multiple of 9?
True
Suppose 0 = 4*i - 11 - 217. Is 12 a factor of i?
False
Suppose 5*t = 5, -2*y = -2*t - 34 - 8. Does 6 divide y?
False
Suppose 2*s + 0*u = -2*u + 148, 0 = 2*s - u - 142. Is s a multiple of 12?
True
Let b = 26 + -17. Does 4 divide b?
False
Let w be (-4)/(-8) - (-38)/4. Let p = 30 - w. Is 10 a factor of p?
True
Suppose 2*w = 7*w - 25. Let y = w + 3. Is y a multiple of 4?
True
Suppose 3*z - 2*q - 9 = 0, -5*z - 3*q + 33 = -1. Suppose -3*s + 4*a + 10 = 0, -z*s - 2 = a - 34. Is 14 a factor of ((-14)/s)/(3/(-36))?
True
Let t = 208 - 124. Does 14 divide t?
True
Suppose -11*b + 20*b - 3744 = 0. Is 43 a factor of b?
False
Let f = 14 + -14. Suppose d = -5*a + 28, a - 14 = -f*a + 4*d. Does 5 divide a?
False
Let c(y) = -2*y**2 + y - 1. Let i be c(5). Does 9 divide (i/(-4))/(4/8)?
False
Let r = 86 - 28. Suppose 0 = 3*k - g - r, 2*k - 67 = -10*g + 5*g. Does 8 divide k?
False
Suppose 198 = 4*t - 5*n, n - 100 - 133 = -5*t. Is t a multiple of 7?
False
Suppose 0*d + d = 60. Is 12 a factor of d?
True
Does 14 divide (-5)/((-5)/3) - (-575)/5?
False
Let m be 3*(0/(-1) + 1). Suppose h + 2*h - 108 = 0. Suppose -m*v = -5*d + 2*d - h, 8 = -v + 5*d. Is v a multiple of 10?
False
Let u = 20 - -4. Is u a multiple of 6?
True
Let w(a) = -a**3 + a + 10. Let r be w(0). Let v = -20 + 20. Let u = v + r. Is 5 a factor of u?
True
Suppose -3*c + c = 0. Suppose -m - 7 = -c*m + 3*w, 2 = -2*m - 3*w. Is 2 a factor of m?
False
Suppose -35 = -y + 5*f - 6, 4*f + 28 = 2*y. Suppose -68 + y = 4*n. Let b = n - -27. Is 6 a factor of b?
False
Suppose s - 3*f = -1, 0*f + 14 = 2*s + 2*f. Is 3 a factor of s?
False
Let h = 422 - 292. Does 26 divide h?
True
Let x be 4/8*(-1 - -7). Suppose -3*j + 5*j + k - 128 = 0, 0 = x*j - 3*k - 201. Is j a multiple of 12?
False
Let j = -14 + 30. Suppose -r = -2 - j. Does 5 divide r?
False
Let c(s) = 32*s**3 + 2*s - 1. Let b be c(1). Suppose 2*n = j - b, -4*j + 7*j - 84 = 5*n. Let r = n - -21. Does 6 divide r?
True
Let u(l) = l**2 + 4*l. Let r be u(3). Let t(j) = j**3 + 3*j**2 - 3*j - 4. Let n be t(-4). Let a = n + r. Is a a multiple of 13?
True
Let j(u) = u**3 + 14*u**2 + 22*u + 9. Does 24 divide j(-9)?
True
Is 2862/45 - (-2)/5 a multiple of 22?
False
Let l(u) = u**3 - u + 9. Let h be l(0). Suppose -4*d + 5*i = -0*d - 3, -4*d = i - h. Suppose -d = -a + 23. Is a a multiple of 13?
False
Let p be (-2)/3*(6 + -9). Suppose p*q - 20 = q. Is 5 a factor of q?
True
Let y = -3 - -2. Let c = 0 + y. Does 8 divide 1 + -11*c/1?
False
Suppose -2*c - 8 = 0, -t = 4*c - 12 - 7. Does 35 divide t?
True
Let q = 81 + -47. Does 10 divide q?
False
Suppose 3*j - 3*h = -0*h + 27, 4*j = -4*h + 4. Suppose 0 = 3*z - j*z + 20. Is 10 a factor of z?
True
Suppose -a - 2*y = -9, -5*a + y + 3 = -9. Let i be 2 - 4 - 3*-2. Suppose 0 = i*z - a - 17. Is z a multiple of 5?
True
Let k(q) = 2*q - 3 - 7 + 4. Let w be k(4). Suppose w*r - 13 = r. Is r a multiple of 8?
False
Suppose 0 = 2*f - 0*f - 10. Suppose -6*i - y = -4*i - 201, 0 = -f*i + 3*y + 508. Does 29 divide i?
False
Suppose -4*b + 5*j + 270 = 0, b = -2*b - j + 212. Is 11 a factor of 1*b*3/6?
False
Suppose 3*m - 5*m = -24. Suppose -9 = -6*f - 3*f. Let v = f + m. Does 7 divide v?
False
Let n(z) = z**2 - 3*z. Let w be n(4). Suppose -19 = -2*s + 3*d, 8*s - 3*s = w*d + 37. Suppose 0*q + 14 = 2*q - 4*b, -5*b = -s*q + 50. Is 13 a factor of q?
True
Suppose 2*h = -h + 6. Let b = 18 - h. Is b a multiple of 8?
True
Let r = -83 + 119. Let u = r + -9. Suppose -3*b + u = -2*b. Does 12 divide b?
False
Suppose -1 = -3*p + 11. Suppose p*o - o = 378. Suppose 0 = 4*a - 30 - o. Does 10 divide a?
False
Suppose 4*q + 5*t = 187, 5*q - q - 3*t - 195 = 0. Is 9 a factor of q?
False
Let u = 3 - 8. Is 10/6*(u + 32) a multiple of 18?
False
Suppose 54 = j - 2*n, 5*n - 14 - 1 = 0. Is j a multiple of 6?
True
Let x(n) = -n**3 - 6*n**2 + 6*n - 6. Let r be x(-7). Is -2 + 22 + r*-3 a multiple of 17?
True
Let d(x) = 5 - 4*x + 5*x - 1. Let t be d(-2). Suppose 12 = t*y - 6. Is y a multiple of 9?
True
Let y = 95 - 73. Is y a multiple of 11?
True
Let b(f) = f**2 - 2*f - 2. Let z(m) = 3*m**2 - 7*m - 7. Let k(t) = -11*b(t) + 4*z(t). Does 5 divide k(8)?
True
Let c = -3 + 1. Is ((-30)/7)/(c/14) a multiple of 17?
False
Does 9 divide ((-6)/5)/((-26)/195)?
True
Suppose 2*x = 0, 0*x - 2*x = 5*s - 15. Suppose -k + 5*d + 46 + 8 = 0, -293 = -5*k + 2*d. Suppose -12 = -3*z - s*f, -3*z + k = -4*f + 12. Is z a multiple of 4?
False
Let f = 75 - -94. Is 13 a factor of f?
True
Suppose 0 = 3*q - 14 - 49. Let g = -5 + q. Does 9 divide g?
False
Suppose -4*g = d + 2*d + 35, -g - 4 = -4*d. Let h be (-306)/(-7) + g/(-28). Let a = h + -30. Does 14 divide a?
True
Let v be 9 + (-1)/2*-6. Let f = 6 + v. Does 15 divide f?
False
Suppose 0*a = 5*a - 120. Is a a multiple of 12?
True
Suppose -121*o = -117*o - 32. Is 2 a factor of o?
True
Let g be (-3 - -4)/((-3)/9). Let j(l) = -2*l - 4. Let f be j(g). Suppose 2*a + f*a - 152 = 0. Is a a multiple of 16?
False
Suppose -b - 5 = 16. Let o = b - 37. Is 1 + 3 + -3 - o a multiple of 24?
False
Let r = 53 - 121. Let g = r + 113. Does 17 divide g?
False
Suppose 6*z - z - 1159 = -2*r, 2 = r. Is 21 a factor of z?
True
Let w = 5 - 5. Suppose 0 = l - f - 34, w*l = -2*l - f + 65. Is l a multiple of 14?
False
Let d = -6 - -9. Suppose 0*o = o - 3*u + 6, -2*o + 2*u = 4. Suppose o = 5*i - 20, d*r + 2*r - i - 176 = 0. Does 14 divide r?
False
Is (-2650)/(-45) + 2/18 a multiple of 6?
False
Let d be (-6)/(-9) - 68/(-6). Let c = 17 - d. Is 5 a factor of c?
True
Suppose -4*c + 59 = 2*y - 77, 3*c + 4*y - 92 = 0. Is 18 a factor of c?
True
Let h be 10/3 + 1/(-3). Suppose 0 = -f + h. Is f a multiple of 2?
False
Let z be 1 - 3/(-3)*-3. Let d be 975/9 - z/(-6). Suppose -4*g = 12 - d. Is 12 a factor of g?
True
Is (40/(-6) + 0)*-3 a multiple of 8?
False
Suppose -3*j = -31 - 86. Does 14 divide j?
False
Suppose 4*n - n - 9 = 0. Suppose 5*c - n*d - 9 = 4, 5*c - d - 21 = 0. Suppose -c*k + 22 = -33. Is k a multiple of 11?
True
Does 10 divide 9/(-6) - (-404)/8?
False
Let a = -2 - 38. Let c = a - -80. Does 14 divide c?
False
Let z(o) = -o**2 - o + 41. Is 10 a factor of z(0)?
False
Let i be 1 - 1 - (-5)/(-5). Does 3 divide (1 - i)/(3/6)?
False
Let j(m) = m - 3. Let q be j(0). Is 11 a factor of (-4)/6 - 110/q?
False
Let r = 25 + 62. Suppose -r = -l - 29. Is 14 a factor of l?
False
Let k be 6/(-4)*(-8)/6. Suppose k*g = -2, -3*g = -5*c + g + 54. Suppose 35 + c = 5*x. Is 9 a factor of x?
True
Suppose -3*k = -5*b + 21, -b - k = b - 4. Suppose -b*w - w = -52. Does 8 divide w?
False
Let z be 0/((-3)/6*2). Suppose -28 = -3*q - h - z*h, -2*h - 16 = -3*q. Suppose 0 = w - 12 - q. Does 16 divide w?
False
Let f(m) = 4*m - 4. Suppose -3*v - d - 3 = 0, 7 = -4*v + 5*v + 3*d. Let r(s) = -s**3 - s**2 + s + 1. Let i be r(v). Is 8 a factor of f(i)?
True
Let x be 3 + -1 + (3 - 1). Suppose x*s - 5*m - 53 = -1, 0 = m. Is s a multiple of 13?
True
Let p be (-4)/14 - 1544/(-14). Suppose 3*g = 8*g - p. Is 13 a factor of g?
False
Suppose 8*k + 176 = 12*k. Does 18 divide k?
False
Let s(b) = 8*b - 7. Let d be (-22)/(-4) - (-1)/2. Does 15 divide s(d)?
False
Suppose -u - 3*m + 8*m + 22 = 0, 4*u + 12 = -5*m. Suppose u*k = 21 - 9. Is k even?
True
Let j = -8 - -20. Is j a multiple of 3?
True
Let i be (8/5)/(4/10). Suppose 0 = 3*n - p - 31, -41 - 5 = -5*n - i*p. Is n a multiple of 5?
True
Let w(z) = -22*z**3 + z**2 + 2*z. Is w(-1) a multiple of 7?
True
Let l = 88 - 51. Is