True
Let r = 12 - 6. Suppose -4 = -r*d + 4*d. Is 5 a factor of -1 + (1 - (-10)/d)?
True
Suppose 2 = 3*k + 23. Is (k/2 - -3)*-36 a multiple of 7?
False
Is 15*10/(-15)*-7 a multiple of 10?
True
Suppose -b = 3*b - 16. Let a be b/(-18) + 4472/36. Suppose -3*c - c + a = 0. Is 14 a factor of c?
False
Let d = -2 - -3. Let i(f) = 21*f**2 + 3*f. Let c(s) = 21*s**2 + 4*s. Let w(v) = -2*c(v) + 3*i(v). Is w(d) a multiple of 11?
True
Let k(g) be the first derivative of 3*g**2 - 2*g + 4. Is 14 a factor of k(5)?
True
Let x = 34 + -12. Let s = x + -9. Is 10 a factor of s?
False
Suppose -z = 5*a - 0*z, -4*a = -5*z. Suppose j - 8 - 14 = a. Does 22 divide j?
True
Let r be (-7)/(-3) + (-2)/(-3). Suppose -r*q - 5*n + 13 = -11, 2*q + n = 9. Is 3 a factor of q?
True
Suppose 0*u = -u - 3. Let a(d) = -5*d + 4. Does 19 divide a(u)?
True
Let b(n) = n**3 - 12*n**2 - 9*n + 2. Is 7 a factor of b(13)?
False
Let f be 5/1*(0 + -1). Let i = 12 + f. Is i a multiple of 3?
False
Let j(i) = i + 8. Let p be j(-6). Suppose p*g = -2*g + 12. Suppose 3*y = -0*v + 3*v + 84, -4*y = g*v - 119. Is 16 a factor of y?
False
Let i be 1/(126/127 + -1). Let t = -87 - i. Suppose 6*j - t = j. Does 3 divide j?
False
Let v(z) = -47*z + 8. Is v(-2) a multiple of 32?
False
Let b(l) = 3*l - 3. Let c be b(2). Suppose c*x + 4*d + 14 = 0, 5 = -2*x - 4*d - 11. Is 2 + (24 - x) + 1 a multiple of 16?
False
Does 46 divide (-5)/25 - (-12636)/30?
False
Let r(n) = 14*n. Is 7 a factor of r(2)?
True
Let a be ((-454)/8)/((-2)/8). Let z = 77 + -34. Suppose 5*k - a = v + v, z = k + 2*v. Does 18 divide k?
False
Suppose -4*j + 186 = -j. Suppose 14 = -3*g + j. Does 9 divide g?
False
Is ((-646)/51)/(4/(-18)) a multiple of 3?
True
Let j(u) = -16*u + 1. Does 11 divide j(-2)?
True
Suppose 5*j = -g + 2*g - 19, j = -5*g + 17. Let m(r) = 2*r**2 + 5*r - 4. Is 24 a factor of m(g)?
True
Suppose 4*q + 1 = 13. Suppose 0 = h + q. Let p(c) = c**2 - 2*c - 2. Is 13 a factor of p(h)?
True
Let g be (-4)/(-2) - (-8 + 11). Does 6 divide (29 - -1)/3 - g?
False
Let q be (-2)/(-7) - 1947/(-21). Suppose 4*p - 3 = q. Is p a multiple of 11?
False
Suppose -3*x = -5*l + 442, -3*x - x = l - 70. Does 17 divide l?
False
Suppose -3*s + 3*n + 0*n = -117, -3*s = 2*n - 107. Suppose s = -l + 2*l. Suppose 3*y = f + l, f = -y - 2*f + 29. Does 11 divide y?
False
Suppose -10 = 3*t + 8. Let b = t + 16. Let h(r) = -r**2 + 11*r + 1. Does 5 divide h(b)?
False
Let l be (-5)/(2*1/(-10)). Let h = l - 18. Let m = h + 16. Does 8 divide m?
False
Suppose -3 = -c - 1. Suppose h - 78 = c*y - 25, 5*h + 3*y = 278. Does 22 divide h?
False
Suppose 2 = -5*r + 12. Suppose 4*z - 4*u = u + 27, 0 = -z - r*u - 3. Suppose 2*t - z*y + 4 = -7*y, -2*t - 2*y = -2. Is t even?
True
Suppose d = -0*u + u + 5, -4*d + 5 = u. Suppose 0*z - 10 = d*o - z, -o - 7 = -z. Let x(y) = -2*y**3 - y**2 + 3*y - 2. Is 17 a factor of x(o)?
True
Suppose -2*m + 230 = 2*x, 0 = -2*x + 3*m + m + 260. Is 11 a factor of x?
False
Let f = -11 - 24. Let o = -24 - f. Is 6 a factor of o?
False
Let v = 218 - 113. Does 14 divide v?
False
Suppose 4*z + 2*n = 4*n + 246, 0 = -2*n + 2. Is 19 a factor of z?
False
Let n(i) = -i + 1. Let h(a) = -a**2 - 7*a - 6. Let w(p) = -h(p) + n(p). Is w(-8) a multiple of 8?
False
Does 13 divide (-100)/(-125)*85*1?
False
Let d(h) = h - 1. Let m(f) = -17*f + 13. Let t(p) = 22*d(p) + 2*m(p). Let y be t(-4). Suppose 2*u - y = -16. Is u a multiple of 9?
True
Let f be 246*1*(-4)/6. Let m = -114 - f. Does 12 divide m?
False
Let d(b) = b**2 - b + 39. Suppose 3*s - 12 = 0, -2*s + 0 = -2*g - 8. Is 15 a factor of d(g)?
False
Suppose -1 - 2 = -u. Let y be ((-6)/(-9))/((-1)/u). Is 14 a factor of 156/11 + y/11?
True
Suppose 4*d - 928 = -2*n - 3*n, 0 = n + 4. Is 10 a factor of d?
False
Let t = 125 + -82. Suppose -j = -2*j + t. Is 18 a factor of j?
False
Suppose -3*r = 5*s - 4*r - 23, 0 = -2*r + 4. Let b(t) = -2*t - 3. Let x be b(-3). Suppose -2*q - 5*n = -50, 0*q - 25 = -x*q + s*n. Is 10 a factor of q?
False
Let s be 0 - 2 - (0 - 2). Suppose 5*o + 15 = -2*z + z, s = o + 3*z + 3. Let t(n) = -8*n + 1. Is 11 a factor of t(o)?
False
Suppose -3*r + 12 = -78. Is r a multiple of 8?
False
Let k(x) = 8 - 7*x + 6*x + 2. Is 5 a factor of k(4)?
False
Suppose 3*m - 24 - 6 = 0. Is 9 a factor of m?
False
Let y(m) = -3*m - 1. Let q be y(-2). Suppose -h - 2 = -q. Is h a multiple of 2?
False
Let h = 6 + -3. Suppose 4*s = 5*d - 133, 19 = d - 0*d + h*s. Is 15 a factor of d?
False
Let t = -12 + 60. Does 16 divide t?
True
Suppose 0 = -a + 106 + 9. Does 23 divide a?
True
Let t be (2/(-4))/(17/3230). Let o = t - -167. Does 20 divide o?
False
Let a = -178 - -258. Does 20 divide a?
True
Suppose 3*j = -13 - 17. Let f = j - -14. Suppose 2*z - 2 = 0, -f*v - v - 3*z = -183. Is v a multiple of 18?
True
Let f(s) be the first derivative of 6*s - 2 - s**2 + 2/3*s**3. Does 22 divide f(-5)?
True
Let j(a) be the third derivative of -a**4/24 + 5*a**3/6 - 2*a**2. Let z be j(0). Suppose z*s - 1 - 19 = 0. Is 4 a factor of s?
True
Let h = -6 + -1. Let n = 9 - h. Suppose -3*w = -2*v + 54, -w + n = -v + 42. Is v a multiple of 11?
False
Suppose -8 = -2*c + 2*m + 16, -2*m = 2*c - 24. Suppose 24 = n - 3*o - c, o = -1. Does 10 divide n?
False
Let g = 77 - 50. Is g a multiple of 9?
True
Suppose -11 = -2*k - 3. Suppose -32 = -4*f - k*u, 0*u + u - 4 = 0. Suppose 22 = f*a - 14. Does 9 divide a?
True
Let f(q) = -2*q - 4. Let c(m) = 1. Let r(a) = -2*c(a) + f(a). Suppose -4 = -3*v - 31. Is r(v) a multiple of 6?
True
Let j(g) = -17*g**3 - g**2 - 2*g - 1. Suppose 0 = t - 3*r + 1 - 9, -3*r = -2*t + 7. Let m be j(t). Suppose -38 = -3*n - m. Is 2 a factor of n?
False
Let j be 5 - (3 + 1/(-1)). Suppose -j*c + 12 = -2*c. Is 13 a factor of (4/c)/(2/78)?
True
Suppose 3*p - 26 = 52. Is p a multiple of 26?
True
Let c(j) = j + 3. Let f be c(-4). Let t be 49 - f - 0/(-5). Let m = -35 + t. Is m a multiple of 15?
True
Suppose -b = -2*b + 49. Suppose 5*j - 9 = y, -4*j + b = -y + 4*y. Is y a multiple of 2?
False
Let s = 15 - 72. Let q = 101 + s. Is q a multiple of 22?
True
Let a be 4/(-2)*(5 + -1). Let k be (12/a)/((-6)/(-16)). Is 4 a factor of (-1)/k - 31/(-4)?
True
Let q be (-3)/((-9)/174) - -1. Suppose -z - 5*a = -65, z + 2*a - q = -0*z. Is z a multiple of 20?
False
Let y(f) = -f**3 + 5*f**2 + 7*f - 4. Let r be y(5). Suppose -r = -p - 3. Is p a multiple of 14?
True
Suppose 3*v = t + 25, -2*t - 145 = 3*t + 5*v. Let c = -2 - t. Is c a multiple of 16?
False
Suppose -21 = -3*y + 9. Let h(u) = -u**2 + 7*u - 2. Let a be h(5). Is 6 a factor of (a/y + -2)*-5?
True
Suppose -3*x - w = -85, -7*x + 115 = -3*x + 3*w. Is 14 a factor of x?
True
Let t(b) = 6*b - 40*b - 8*b. Is t(-1) a multiple of 9?
False
Let c(m) = m + 8. Let g be c(-7). Suppose -g = 4*v + 3. Is 4 a factor of v/(-4) + (-62)/(-8)?
True
Let v = 152 + -34. Does 15 divide v?
False
Let b(a) = -a**2 + 12*a + 19. Let t be b(13). Let n = t + 22. Is n a multiple of 14?
True
Suppose 35 = x - 3. Let p = x - 23. Let w = p + 4. Does 7 divide w?
False
Is (3 + 47)*(0 + (-10)/(-4)) a multiple of 22?
False
Let d = 273 - 147. Suppose 170 = 3*o + o - 3*p, 3*o - 3*p = d. Is o a multiple of 15?
False
Suppose 107 = 2*b + 11. Is 9 a factor of b?
False
Let v = 161 - 63. Does 31 divide v?
False
Let r = 17 + -17. Suppose -7*x + 4*x + 75 = r. Does 19 divide x?
False
Suppose -162 = -5*q + x, -3*q - 2*x + 28 = -2*q. Suppose q = -2*c + 3*c + 3*d, -4*d = 0. Is c a multiple of 11?
False
Let j = -2 + 1. Let v = -1 - j. Is 2 a factor of (2 - 1) + 1 + v?
True
Let a(i) = -i - 3. Let x be a(-6). Suppose 5*g = x*r - 68, 5*g - 61 = -3*r + 57. Let y = r + -21. Does 4 divide y?
False
Let x(b) = -b + 3. Let l be x(0). Suppose 0 = -3*r + l*o - o + 18, r - 6 = 4*o. Is r a multiple of 5?
False
Suppose -7*k + 520 + 313 = 0. Is 17 a factor of k?
True
Let h(c) = -c**3 + 7*c**2 - 6*c + 2. Let n be h(6). Suppose 0 = -2*k - q - 80, -n*k = 2*q + 2*q + 92. Let b = -17 - k. Is 8 a factor of b?
False
Suppose -4*o + 1360 = o. Suppose 0 = -j + 5*j - o. Suppose 2*n + 2*n = j. Does 13 divide n?
False
Is 27 a factor of 45/(-2)*36/(-10)?
True
Suppose 3*p = 6*p + 6. Is p + 3 - (-46)/2 a multiple of 12?
True
Is 10 a factor of 4/(-3) - (-208)/12?
False
Suppose 5*y = -4*t + 2*y + 101, -3 = 3*y. Is 8 a factor of t?
False
Let m(z) = 4*z + 2. Is 2 a factor of m(1)?
True
Let t(c) be t