= -a*y. Is 9 a factor of y?
False
Suppose 7*p = 4*p + 12. Suppose 3*j = 104 + 202. Suppose -p*q = -q - j. Does 14 divide q?
False
Let y be -39 - (1 - (-1 + 2)). Let f = y + 78. Is f a multiple of 24?
False
Suppose -5*m = 3*c - 142 + 35, c = -3*m + 61. Does 12 divide m?
False
Suppose -d = 2*d - 111. Is 8 a factor of d?
False
Suppose 15 = -3*s + 132. Does 13 divide s?
True
Suppose -2*d + 101 = -259. Suppose -2*h - d = -7*h. Is 12 a factor of h?
True
Let k be (-4)/18 - (-2)/9. Let z be (21 - (0 + 2))*4. Suppose 2*b = -k*b + z. Does 13 divide b?
False
Let n(i) = -i**3 + 4*i**2. Does 3 divide n(3)?
True
Let u(l) = 17*l + 6. Let i be u(7). Suppose -4*s + i = s. Is 18 a factor of s?
False
Suppose -10 = -2*l + 6. Let y(k) = k**3 - 8*k**2 + 7*k. Does 14 divide y(l)?
True
Suppose 4 = -5*h - 4*d, 4*h + d = -1 - 0. Suppose h = 3*p - 55 - 23. Is 9 a factor of p?
False
Let p be (-3 - 4/(-2)) + 3. Suppose p*j - 36 = 5*j. Is 10 a factor of j/18 + 64/6?
True
Suppose 0 = -4*s + 77 - 21. Is 5 a factor of s?
False
Let c = 314 + -138. Is c a multiple of 44?
True
Let g(s) = -5*s + 3. Does 9 divide g(-6)?
False
Let a = -32 - -45. Does 13 divide a?
True
Let l = -6 - -39. Suppose 31 = 4*w - l. Does 16 divide w?
True
Let a = 125 - 89. Let k = -31 - -43. Suppose 2*h + k = a. Is h a multiple of 12?
True
Let d(y) = -5*y + 4. Let k be d(-8). Let j be 2/20*4*-5. Let o = k + j. Is o a multiple of 11?
False
Let w be ((-6)/3 + 1)*-2. Suppose -w*a - 1 = -25. Suppose 7*i - 3*i + 5*t - a = 0, 4*i = t + 12. Does 3 divide i?
True
Suppose 4*q - 4 = -12. Is 8 a factor of (-5 - -3) + q - -43?
False
Let y(a) = -a**2. Let l be y(-4). Let r = 12 - l. Is 14 a factor of r?
True
Let v(x) = x**3 + 14*x**2 + 12*x - 10. Let g be v(-13). Suppose 2*r = 4*h + 116, -g*h = 2*r - 14 - 137. Is r a multiple of 23?
False
Let u(l) = l - 7. Let w be u(7). Suppose -15 = -3*d + 3*i + 30, d + 3*i + 1 = w. Is d a multiple of 8?
False
Let b be -2 - (-3)/1 - -23. Let m = b + 28. Does 11 divide m?
False
Let d(q) = -30*q. Let p be d(-1). Suppose 3*o + p = 4*o. Is o a multiple of 15?
True
Let g = 63 + -39. Let y be 2/(-5) + g/10. Suppose y*m + 56 = 3*q + 3*m, -2*m + 52 = 3*q. Is q a multiple of 10?
True
Suppose -u + 248 = 3*u. Suppose 0 = 2*m + 4*t - 124, 2*m = m - 5*t + u. Is 15 a factor of m?
False
Let p(c) = -6*c - 44. Does 4 divide p(-8)?
True
Let r(o) = -o**2 + 20*o - 26. Is r(18) a multiple of 5?
True
Suppose -16 = -4*b + 2*d, 0 = -3*b - 2*b + 3*d + 21. Suppose b*k - 154 = k. Does 9 divide 3/9 + k/3?
False
Let c(j) = 5*j**3 + 0*j - 4*j**3 + 3*j**2 - 4*j - 2*j**3. Is c(-3) a multiple of 11?
True
Let p(n) = -6*n**3 + n - 15*n**3 - 5*n**3. Let w = 1 + -2. Is 10 a factor of p(w)?
False
Let z(r) = r**3 + r**2 + 1. Let p(y) = -y**2 + y - 3. Let j(n) = -p(n) - 3*z(n). Is 18 a factor of j(-2)?
True
Let t be (28/(-10))/(1/(-5)). Let x = 2 + t. Let d = -3 + x. Does 13 divide d?
True
Let p = -2 + -1. Let v = 21 - p. Is 10 a factor of v?
False
Suppose 0 = z - 4*l - 6, -5*l + 16 = z + 1. Let g be (-4676)/21*(-3)/2. Is (-4)/10 + g/z a multiple of 19?
False
Suppose 6*o = 10*o - 4. Is 24 a factor of 4/o + (7 - -37)?
True
Let q = 14 + -51. Let v = -9 - q. Does 14 divide v?
True
Suppose -a - 17 = -5*m, 0*m = -3*m + 12. Suppose 2*n + 13 = a*n. Is n a multiple of 13?
True
Let p = 16 - 6. Is 12 a factor of 340/p + (1 - -1)?
True
Let t = -99 + 151. Is 13 a factor of 3*(-3)/((-18)/t)?
True
Let c = 18 - 16. Suppose c*u = -u + 156. Does 12 divide u?
False
Let x be (1 + 0 + -4)*1. Let j(l) = -l**2 - l + 4. Let v be j(x). Is 7 a factor of (v - 3)*(-24)/10?
False
Is 36 a factor of -4 - -3 - -2 - 124*-3?
False
Suppose w - a - 99 = 0, -2*a + a - 3 = 0. Is 12 a factor of w?
True
Let c = -25 - -2. Let b = c - -56. Is 11 a factor of b?
True
Let i = -58 - -99. Let l = i + -27. Does 12 divide l?
False
Suppose -d + 3*t - 13 = 0, 2*d - 7*d + t = -5. Suppose 1 = 2*b + 3*w, 0 + 9 = d*b - 5*w. Let o(u) = u**3 - u**2 + 3*u - 2. Is o(b) a multiple of 3?
False
Let b(s) be the second derivative of 19*s**3/6 + 3*s**2/2 + 3*s. Let u(q) = -9*q - 1. Let c(d) = 2*b(d) + 5*u(d). Does 6 divide c(-1)?
False
Let f = 4 - -29. Let a = f - 5. Is 14 a factor of a?
True
Let n(q) = 3*q - 6. Let y be n(11). Suppose 3 = -2*o + y. Is 12 a factor of o?
True
Let k(u) = u**2 - 21*u - 10. Is k(23) a multiple of 17?
False
Suppose 60 = o + r, r + 180 = 3*o + 5*r. Is o a multiple of 30?
True
Let q = -12 - -31. Is 14 a factor of q/1 + 2 - 2?
False
Let j = -16 + 20. Suppose 5*k = j*k + 26. Is 26 a factor of k?
True
Let r(x) = x**3 - 8*x**2 + 2*x + 4. Let s be r(8). Suppose 4*y - 3*w - s = 2, -4 = 2*w. Is 11 a factor of y/((-8)/3)*-10?
False
Suppose -2*d + 51 = -5*d - 2*n, -73 = 4*d + n. Let z = -4 - d. Does 5 divide z?
True
Suppose -y + 9 = 3*g - 3, 2*g - 18 = -4*y. Suppose v + 3*n - 12 = n, 72 = g*v - 3*n. Is 7 a factor of v?
False
Let t = -5 - 4. Let b = 14 + t. Suppose 33 - 163 = -5*q + b*a, -8 = -4*a. Does 11 divide q?
False
Suppose 24 = -m - 5*z, -4*m + 2*z = 5*z + 11. Is 2 a factor of m + (12 - 4) - -4?
False
Suppose -4*s - 524 = -8*s. Is s a multiple of 9?
False
Suppose 3*s = 15, 3*z - 5*s + 13 = -0*s. Suppose 0*y + z*y = 28. Let g(l) = 5*l - 9. Does 11 divide g(y)?
False
Suppose 0 = -2*v - 2*v + 8. Suppose -v*m + 10 = -m. Is 2 a factor of m?
True
Is 13 a factor of (-292)/(-6)*(-9)/(-6)?
False
Suppose 0 = -y + 2. Is 13 a factor of 2/(-4) - (-27)/y?
True
Let u = 53 - 18. Is u a multiple of 13?
False
Let k(n) = -n**3 - 3*n**2 - n - 6. Let j be k(-6). Suppose 5*g = 3*u - 89, 4*u = 4*g - 0*g + j. Does 12 divide u?
False
Let t(g) = 4*g**2 - 4*g - 1. Is 15 a factor of t(3)?
False
Let l = -122 - -212. Does 15 divide l?
True
Let r be 1/(-1) - (2 - 4). Is 3 a factor of (r - (3 + -1))*-4?
False
Does 44 divide 8/2*(-1719)/(-36)?
False
Let x be (-2)/(-6) + 3/(-9). Let f be x + (1 - 0) + -2. Is 12 a factor of (-32)/f + (-1 - -2)?
False
Let c = 20 - 137. Let r = -83 - c. Does 17 divide r?
True
Let p = 10 + -6. Suppose 15 = 3*l, 3*s - p*l - l - 104 = 0. Does 12 divide s?
False
Suppose 0 = 2*j - f + 57 - 160, 0 = -3*j + f + 153. Suppose 0 = -i - 2*i + 90. Let c = j - i. Does 11 divide c?
False
Suppose -5*f - 9 = 4*l, -5*l - f = -0*l + 27. Let h = l - -9. Is 2 a factor of h?
False
Let r(b) be the second derivative of b**3/3 + b**2 - b. Let p be r(2). Suppose -t - 145 = -p*t. Is t a multiple of 8?
False
Suppose -3636 = -3*d - 9*d. Is d a multiple of 36?
False
Suppose 0*s = 3*s - 12. Let x(y) = -y. Let c(l) = l**2 - 8*l. Let z(d) = c(d) - 6*x(d). Is z(s) a multiple of 7?
False
Is 14 a factor of 4/(1 - -1)*14?
True
Suppose 0 = 2*o + i - 4*i - 31, -3*o = -2*i - 34. Does 12 divide o/(-12)*(-51)/2?
False
Let f(j) = -j**3 + 2*j + 26. Does 22 divide f(0)?
False
Suppose -h + b = 4*h + 3, 9 = 3*b. Suppose 100 = 4*f + 4*t, h*t = 2*t. Is f a multiple of 11?
False
Suppose 4*l + 6 - 22 = -4*g, 5*g - 4 = -l. Suppose -3*r + 3*b + 45 = g, -3*r = b - 35 + 6. Does 5 divide r?
False
Let n(u) = -u**2 - 8*u - 1. Let j be n(-7). Suppose -5*f - 5*q + 60 = 0, 0 = -j*q + 3*q - 15. Does 5 divide f?
False
Does 24 divide (-54)/(-9)*(0 + 12)?
True
Suppose -2*b = -3*m - 91, 3*b - b - 4*m = 92. Does 11 divide b?
True
Let t be ((-4)/3)/(20/(-390)). Let d = t + -2. Let p = d - 14. Is 4 a factor of p?
False
Suppose -2*d - 4*d + 6 = 0. Let j = 17 - d. Is 10 a factor of j?
False
Let u = 5 + -2. Let x(j) = -4*j - 8. Let w(s) = 4*s + 7. Let f(c) = 6*w(c) + 5*x(c). Does 8 divide f(u)?
False
Suppose 0 = -5*v + 15. Suppose 4 = 2*g + 2. Suppose z = v - g. Does 2 divide z?
True
Suppose 12 - 32 = 4*b. Let g(x) = x**3 + 6*x**2 + x - 7. Let k be g(b). Let d = -5 + k. Is d a multiple of 8?
True
Does 13 divide ((-130)/(-3))/((-4)/(-6))?
True
Suppose -2*l + 0*l + 66 = 0. Is l a multiple of 7?
False
Let a be (-4)/4 - 1/(-1). Let g = 2 - a. Suppose -g*w + 27 = w. Is w a multiple of 8?
False
Let z(q) = -q**3 - q + 8. Is z(0) a multiple of 2?
True
Let a(y) = 20*y. Let j be a(-1). Let s = -3 - j. Does 11 divide s?
False
Suppose 2*q + 0*q + 8 = 0, g - 292 = 2*q. Is 36 a factor of g?
False
Suppose u = -5*f - 5, 6*f - 10 = f + 2*u. Suppose f = 3*a - y + 10 - 68, 5*a - 4*y = 106. Is a a multiple of 9?
True
Suppose 4*x - 3*d - 359 = -96, -2*x + 2*d + 130 = 0. Is x a multiple of 4?
True
Is 11 a factor of (-100)/(-32) + (-3)/24 + 148?
False
L