1080. Is p a multiple of 36?
True
Suppose 5*f + 17 = l, 3*l + 0*f - 63 = 3*f. Is l - -1*0/3 a multiple of 15?
False
Suppose 0 = 4*p + 5*j - 313, 93 = p + 4*j + 1. Is 9 a factor of p?
True
Suppose -4*s = -3*h + 9, -15 = -5*s + s - 5*h. Suppose s + 18 = -3*q. Let x(n) = n**3 + 5*n**2 - 8*n - 1. Is 8 a factor of x(q)?
False
Let s(d) = 3 - 3 + d**2 - 2*d. Let z be s(7). Suppose -8*k + z = -3*k. Does 3 divide k?
False
Suppose 3*g - o - 170 = 0, 0 = -4*g + 3*o - 0*o + 220. Does 10 divide g?
False
Let j(u) = 27*u - 5. Let a be j(-3). Let v = -49 - a. Does 7 divide v?
False
Is 5 a factor of -5*(-3 + 8/4)?
True
Suppose -u - 103 = 5*k, -4*u + 2*k - 197 - 259 = 0. Let i = 160 + u. Is 16 a factor of i?
False
Let y(f) = f + 4. Let s be y(4). Suppose -12 - s = 5*l. Does 10 divide (-30)/2*l/6?
True
Let q(d) = d**3 + 3*d + 51 + 9*d**2 + 2*d - 49. Does 13 divide q(-7)?
True
Suppose 2*q + 3*q - 4*n = 441, -2*q = 3*n - 181. Is q a multiple of 22?
False
Suppose -3*u + 4*g + 82 = 0, 2*u = g + 83 - 25. Is 21 a factor of u?
False
Let g be (-1)/3 + 138/9. Suppose -3*o + c = -c - 10, -3*o - 3*c + g = 0. Suppose k + 191 - 53 = 4*b, 8 = o*k. Is 11 a factor of b?
False
Let j be 2 + -1 + 4 + -1. Suppose 0 = -4*l + 2*r + 44, 38 = 5*l - l - 5*r. Suppose -u - j = -l. Is 6 a factor of u?
False
Let c(q) = -1 + 3*q - q**2 - 3*q + 10*q. Let d be c(9). Let z = d + 4. Does 6 divide z?
True
Suppose -5*h + 4*v = 6*v + 556, 3*v - 118 = h. Let k = -67 - h. Is 9 a factor of k?
True
Let z = -11 - -47. Does 18 divide z?
True
Suppose -j - j + 48 = 0. Suppose 2*t - 3*t = 5*x - 28, -3*t + 5*x + j = 0. Is 13 a factor of t?
True
Suppose -i - 22 = -3*i. Does 27 divide 2/i + (-1928)/(-44)?
False
Let x = -54 - -106. Is 11 a factor of x?
False
Let u be (-116)/10*(1 - -4). Let b = u - -92. Does 22 divide b?
False
Let h(b) = 6*b**2 - 2*b**2 + b**3 - 4*b + 0*b**2 - b**2 - 1. Is 11 a factor of h(-3)?
True
Let u be 15/(-10)*20/(-6). Suppose -u*g + 15 = 0, 37 = 4*w + 2*g - 37. Does 17 divide w?
True
Suppose 639 = 11*u - 351. Does 9 divide u?
True
Let m(c) = -3 + 3 + 2*c**3 - 3. Let u be m(3). Suppose -5*l + 4 = -l, -4*y + u = -l. Does 6 divide y?
False
Does 14 divide 3 + 1/1 + 90/9?
True
Does 18 divide (-81)/(-6)*(-16)/(-6)?
True
Suppose -3*z = -7 + 1. Let f = z - -1. Suppose 4*p - 116 = -6*n + n, -4*p = -f*n + 44. Does 14 divide n?
False
Suppose -5*y - 2*i = 8, 0 = -3*y + 2*y + 4*i + 16. Suppose -3*f - 4*l + 97 = y, 2*f + 5*l = -6 + 59. Is f a multiple of 12?
False
Suppose j - 6 = 114. Does 24 divide j?
True
Let i be (-24)/9*3/(-2). Suppose -3*b = -i*b, -5*s + 140 = 2*b. Is s a multiple of 12?
False
Let a be ((-9)/(-4))/((-6)/(-32)). Does 18 divide ((-8)/(-6))/(a/486)?
True
Let j = 13 - -21. Is j a multiple of 17?
True
Let f = -2 - 0. Let n be (f/(-3))/(2/9). Suppose 4*t + 5*b = 26 + 150, n*t - b - 132 = 0. Is 16 a factor of t?
False
Let o(p) = -p**3 + p + 21. Suppose y + y + 8 = -5*a, a + 4*y + 16 = 0. Does 21 divide o(a)?
True
Let r = 50 + 90. Suppose j - 27 = -i - 8, -5*j + 4*i + r = 0. Is j a multiple of 12?
True
Let p be -2 + 0 - (-3 - 1). Suppose p*k = -u + 38, -k - 10 = -3*u + 111. Is u a multiple of 20?
True
Is 10/(-25) - (2 - 297/5) a multiple of 20?
False
Let b(w) = -2*w**2 - 5*w - 4. Let l be b(-4). Is 4 a factor of l/40 - (-42)/5?
True
Let s(u) = 2*u**2 - u + 115. Is 14 a factor of s(0)?
False
Let n(h) be the third derivative of 5*h**4/12 - 7*h**3/2 + 7*h**2. Is n(11) a multiple of 18?
False
Suppose -3*f + f - 5*w + 14 = 0, -f = w - 4. Suppose 5*l - 27 = -f*d - 0*d, 0 = -5*l + 25. Let u(p) = 27*p + 1. Does 14 divide u(d)?
True
Let i = 6 - 6. Suppose -3*w + i*f = -2*f - 16, 4*w + f - 14 = 0. Suppose -c - w = -30. Does 10 divide c?
False
Let r(y) = 3*y**2 + 12*y - 1. Let z(f) = 7*f**2 + 24*f - 2. Let h(b) = -5*r(b) + 2*z(b). Is h(-9) a multiple of 28?
True
Let n be (4 + -2)/((-4)/18). Let s(b) = b - 1. Let x(f) = -2*f + 2. Let d(h) = 3*s(h) + 2*x(h). Is d(n) a multiple of 10?
True
Let v(r) = -r**3 - 3*r**2 + 4*r + 14. Is 14 a factor of v(-6)?
True
Let s = 17 + -13. Suppose -q = -3*p - 17, 72 = 4*q + s*p + 20. Is q a multiple of 7?
True
Suppose 0 = 5*i + 2*y - 256, -134 + 28 = -2*i - 2*y. Is 16 a factor of i?
False
Let k be ((-9)/6)/((-6)/2848). Is 14 a factor of k/20 - 2/(-5)?
False
Let r = -19 + 26. Let w(x) = x**2 - 6*x - 5. Does 2 divide w(r)?
True
Is 18 a factor of -4 - -15*2 - 4?
False
Let z = 103 + -70. Suppose -4*p = -0*g + 5*g + 13, 2*g = -p - 4. Let y = z - g. Does 17 divide y?
True
Suppose -q - 77 = -2*m, -m - q + 7 = -39. Is 11 a factor of m?
False
Let m = 144 + -76. Does 34 divide m?
True
Let z be (1/((-2)/10))/(-1). Suppose -z*d + d = -84. Suppose w + s - d = 0, -4*w = -0*s - 3*s - 56. Does 6 divide w?
False
Let o be -4 + (-3 + 1 - -4). Is ((-8)/o)/2 - -5 even?
False
Let a be -1 + -2 + -6*1. Let q(b) = -2*b - 2. Is q(a) a multiple of 16?
True
Let d(m) = -m**3 + 9*m**2 - 7*m + 9. Is d(8) a multiple of 10?
False
Suppose -3*k + 82 = -5*k + z, -3*k - 5*z - 110 = 0. Let f = -25 - k. Does 5 divide f?
True
Suppose 0*k = 5*k - 10. Let s = k - -19. Does 9 divide s?
False
Let d(s) = 7*s**3 - 15*s**2 + s. Let i(r) = -3*r**3 + 7*r**2 - r. Let h(l) = 2*d(l) + 5*i(l). Is 3 a factor of h(4)?
False
Let p(q) = -q**2 - 8*q - 1. Suppose 3*z + 13 = -2. Does 4 divide p(z)?
False
Let w = 18 - 6. Suppose -112 = -4*v - 3*x, 4*x = -w - 4. Is v a multiple of 19?
False
Let l(z) = 5*z**2 + 0*z + 2 - 6*z**2 + 2*z + 3*z**2. Is 14 a factor of l(-5)?
True
Let c = -11 - -34. Suppose f = 2*f - c. Does 16 divide f?
False
Let r(h) = 26*h**3 + 4*h**2 - 2*h + 2. Let t(l) = 78*l**3 + 11*l**2 - 6*l + 6. Let x(g) = -11*r(g) + 4*t(g). Does 26 divide x(1)?
True
Let w = 135 + -54. Does 27 divide w?
True
Let d be -42*(2 - 6 - -5). Does 22 divide (-2)/(4/d) - -1?
True
Suppose 10 = -j + 6*j. Suppose 2*w + j*f - 30 = 0, -w + 5*w - 60 = 2*f. Is w a multiple of 4?
False
Suppose 2*g = -4*y + 15 + 11, -4*y = 3*g - 31. Suppose 0 = -2*c + y, 0 = -q + 4*c + 49. Is 9 a factor of q?
False
Suppose -4*p - 276 = -0*p. Let q = p - -117. Is 24 a factor of q?
True
Let l(k) = k**2 - 6*k - 6. Is l(-6) a multiple of 26?
False
Suppose 0 = 2*g - g - 45. Suppose 0 = 4*t + g - 197. Is 16 a factor of t?
False
Suppose 214 + 206 = 10*h. Does 7 divide h?
True
Let r = 4 + -2. Suppose 0 = j + r*c - 12, 5*j - 105 = 4*c - 5*c. Is j a multiple of 11?
True
Let i(t) = -t**3 + t**2 + 6. Let u be i(0). Let h = u + -10. Let a(x) = -7*x - 3. Is a(h) a multiple of 9?
False
Suppose 0 = -j - 5*s + 11, 0 = -0*j - 2*j - s + 31. Does 9 divide j?
False
Let t(n) = 7*n - 2*n**3 + 5*n**2 - 11*n - 5 + n**3 + 2*n**2. Is 9 a factor of t(4)?
True
Let l = 47 - 33. Let v(n) = n**3 - 6*n**2 + 2*n - 7. Let j be v(6). Suppose j*i - 149 = -l. Is 13 a factor of i?
False
Suppose 5*l + 9 = 5*h - 11, 0 = -h - 3*l - 16. Let i = -1 - h. Is 15 - (i/(-1) + 0) a multiple of 15?
True
Let n = 64 - 21. Let p = n - 4. Does 13 divide p?
True
Let y = -22 + 39. Is y a multiple of 5?
False
Suppose -z + 2*w + 29 = 0, -z - 34 = -2*z - 3*w. Does 31 divide z?
True
Let a = 115 - 194. Let r = -56 - a. Does 11 divide r?
False
Let f = -33 + 8. Let r = 5 - f. Is r a multiple of 12?
False
Is (783/11)/1 + (-2)/11 a multiple of 8?
False
Let m(o) = -o**2 - 5*o - 3. Let x be (-3)/2*(-4)/(-3). Let q be m(x). Is 11 a factor of (22/(-5))/(q/(-15))?
True
Let y(m) = -m**3 + 16*m**2 + 8*m + 22. Is 50 a factor of y(16)?
True
Let h(k) = -k - 9. Let g be h(-11). Let x(t) = t**3 - 3*t**2 + 4. Let j be x(3). Suppose 2*s + g + 18 = d, -j*s - 60 = -3*d. Does 10 divide d?
True
Let m(y) be the second derivative of y**5/20 + 2*y**4/3 + 4*y**3/3 - 3*y**2 + 2*y. Let x be m(-6). Let v = x + -12. Does 4 divide v?
False
Let s(d) = d**3 - 8*d**2 + d - 6. Let l be s(8). Suppose l*r - r - 5 = 0. Suppose -2*u + 38 = u - v, 58 = r*u + v. Is 8 a factor of u?
False
Is (-6)/6 + 157 - 4 a multiple of 19?
True
Let x(n) = -n**3 + 8*n**2 + 1. Is x(7) a multiple of 7?
False
Suppose -22 = -r + 3*x, 2*x + 26 = r + 3*x. Is 3 a factor of r?
False
Suppose -12 = x - 33. Let l(w) = w**3 + 5*w**2 - 5*w + 6. Let a be l(-6). Suppose 4*d + 3*m - 74 = -a*d, 2*m = -d + x. Is 17 a factor of d?
True
Suppose -2*k - 2*k = -528. Suppose 3*g = -2*a + k, 3*g - 2*g - 44 = -5*a. Suppose -2*z = -4*z + g. Does 11 divide z?
True
Let b(x) = 130*x. Suppose 0 = 4*f - 