. Is 6 a factor of y?
False
Let p(r) = 7*r - 28. Suppose 5*l = 2*c - 31, -2*l - 17 - 21 = -4*c. Does 13 divide p(c)?
False
Suppose 0 = -3*j - 50 + 182. Let q = 13 + j. Suppose q = 3*b + 4*k, -k + 4*k + 51 = 4*b. Is b a multiple of 6?
False
Let y(n) = -2*n + 47. Let o be y(0). Let a = -31 + o. Suppose d = 40 - a. Does 12 divide d?
True
Let l be 1/2 + 5/2. Suppose 0 = h - l - 1. Let q = 31 + h. Is 7 a factor of q?
True
Suppose 2*t - 281 = 163. Is 16 a factor of t?
False
Suppose 6*m + 869 = 3623. Suppose -30*l - m = -33*l. Does 25 divide l?
False
Let t = 237 + -355. Let c = 217 + t. Suppose 5*j - 120 = -5*a, 5*j - 2*a - c = -0*a. Is 15 a factor of j?
False
Let b(p) be the first derivative of -3 + 1/2*p**2 - 3*p. Is b(9) even?
True
Let v be ((-146)/14 + 3)/(4/(-14)). Suppose -v = -p + 5*j, 5*j - 191 + 73 = -3*p. Is p a multiple of 9?
True
Let r be (-2063 + -2)/(-5) - 3. Suppose -306 = p - 4*p - 3*y, -r = -4*p - 3*y. Does 12 divide p?
False
Let p(n) = -3*n**2 + 11*n - 14. Let r(w) = 4*w**2 - 11*w + 13. Let k(u) = 6*p(u) + 5*r(u). Is k(-13) a multiple of 44?
True
Suppose 3*z + 4*g - 172 = z, 5*g - 435 = -5*z. Is 22 a factor of z?
True
Suppose 0*s + 5*s - 5 = 0. Let q(c) = 53*c**2 - 1. Let o be q(s). Is -1 + (o + 3 - -1) a multiple of 11?
True
Suppose 3*g = 15, -4*y - y - 5*g - 30 = 0. Let z = y - -18. Is 7 a factor of z?
True
Let p(z) = z**2 + z - 4. Suppose -5*h = 5*t + 65, -3*t - t - 16 = 0. Let l be p(h). Suppose 0*k = -2*k + 5*w + l, -5*w = 0. Is 34 a factor of k?
True
Suppose 2*v = 3*h + 9 + 42, 0 = -3*v + 2*h + 69. Suppose -3*q + v = 6. Is 4 a factor of q?
False
Suppose 2*a + 36 = -4*s, -4*s - 3*a - 3 - 33 = 0. Let h = 168 - s. Does 7 divide h?
False
Is (-3)/(-18) + 314*(-23)/(-12) a multiple of 7?
True
Let y = 0 + 3. Suppose 0 = y*h + 30 + 12. Let z = h - -44. Is z a multiple of 15?
True
Let l be -3 + (5 - -97 - -5*1). Suppose 0 = 2*w + 3*w - 1120. Suppose 2*m - 4*c - l = 0, -2*m - 4*c = -6*m + w. Is m a multiple of 20?
True
Let j be ((-7)/(-2))/(4 - (-56)/(-16)). Suppose -j*w = -11*w + 228. Is w a multiple of 13?
False
Let o(b) = 10*b**2 + 10*b + 72. Is o(-5) a multiple of 28?
False
Suppose -2*h - 5*k = -2*k - 121, 3*h = k + 154. Let u = 15 + h. Is 17 a factor of u?
True
Is 12/(-78) + (-31308)/(-26) a multiple of 10?
False
Does 9 divide -3 - 5772/(-27) - 10/(-45)?
False
Let t be 17/34 + (-445)/2. Let w = t + 339. Does 11 divide 2/(-9) - (-1664)/w?
False
Suppose -4*y + 5 = -2*q + 3*q, 0 = 5*y. Suppose a - 5 = 0, 0*t + q*a - 441 = -4*t. Is 26 a factor of t?
True
Let s be ((-135)/20)/((-3)/(-248)). Let h be s/(-12)*(-2)/(-3). Let n = h + 23. Does 14 divide n?
False
Let v(p) be the first derivative of -p**2 - 3*p + 5. Let h be v(-4). Suppose -h*q = -1 - 19. Is q a multiple of 4?
True
Let x(w) = -w**3 - w**2 + 5*w + 8. Let j be x(-3). Let v(k) = 5*k - 37. Is 9 a factor of v(j)?
True
Let c = 68 - 66. Suppose -c*y - 42 = -5*y. Is y a multiple of 3?
False
Suppose 6*r = -30 - 30. Suppose -3*d - 11 = 1. Let j = d - r. Is j a multiple of 6?
True
Let p(g) = -32*g - 26. Let q be p(3). Let a = q + 383. Does 54 divide a?
False
Let b(s) = -55*s**3 - 3*s - 5. Let h be b(-2). Is 1*1/(-3) - h/(-27) a multiple of 6?
False
Suppose -p = -2*m - 1505 - 291, -5*m + 3574 = 2*p. Does 14 divide p?
True
Let v(a) = -23*a**3 + a**2 + 16*a + 47. Does 17 divide v(-3)?
True
Suppose 2*s + 3*b = 697, 0*s - 3*b - 679 = -2*s. Suppose -z = -1, 0 = -2*t - 3*z - s + 97. Let w = -44 - t. Is w a multiple of 12?
False
Let z(q) = -q**3 - 12*q**2 - 69. Is z(-13) a multiple of 5?
True
Let m be -30 - -47 - (-1)/(1*-1). Does 16 divide m/20*400/(3 - 1)?
True
Suppose 3*w = -3*j + 37 + 2, -5*w = 4*j - 62. Suppose -w = -k - 0*k. Does 10 divide k?
True
Let b(m) be the second derivative of -m**4/12 - 2*m**3 - 5*m**2 - m. Let c(i) = 16*i + 168. Let u be c(-11). Is 12 a factor of b(u)?
False
Let u = -163 + 74. Let r = u + 120. Is r a multiple of 5?
False
Is 2/(-12) - (-1015)/42 a multiple of 8?
True
Let w(z) = 23*z**2 - 20*z**2 + 18*z**2 + z - 2 + 14*z**2. Is w(1) a multiple of 34?
True
Let l(b) = 28*b**2 + 53 - 106 + b + 52. Does 4 divide l(1)?
True
Let f(q) be the third derivative of q**5/60 + q**4/4 + 5*q**3/6 - 17*q**2. Is 2 a factor of f(-7)?
True
Suppose -2*k - 52 = 32. Let a = k + 75. Does 4 divide a?
False
Let b(h) = 24*h - 11. Let r be b(9). Suppose 5*p = r + 310. Let t = p - -26. Does 40 divide t?
False
Let i = -1 + 80. Is 11 a factor of 4/(-10)*(4 - 0 - i)?
False
Suppose 59*x - 57*x = 4*h - 802, 2*x = h - 208. Is 6 a factor of h?
True
Suppose -4*q - 3*c + 11 = 0, -3*q = 2*q - 3*c - 34. Suppose x + 2 = 2*n + 15, -2*x = q*n + 19. Suppose x*y + y - 148 = 0. Is y a multiple of 22?
False
Suppose 48*i - 55*i = -1428. Does 6 divide i?
True
Let h = 134 - 65. Is h a multiple of 12?
False
Let c(r) be the first derivative of 5*r**2/2 - 30*r - 6. Is c(16) a multiple of 21?
False
Let b(y) be the third derivative of y**5/60 + y**4/24 + 2*y**3/3 + 4*y**2. Let k be b(-6). Suppose 5*x = k + 116. Does 10 divide x?
True
Let f(s) = -20*s. Suppose -11*q + 6*q + 15 = 0. Suppose 2 = -q*l - 1. Is f(l) a multiple of 6?
False
Let w(u) = 16*u**2 + 6 + 4*u + 3*u - 14*u**2. Is w(-7) a multiple of 26?
False
Let f(x) = 11*x**3 - 5*x**2 + 56*x - 9. Is f(5) a multiple of 25?
False
Let w(r) = -7*r**2 + 5*r + 45. Let k(a) = 11*a**2 - 7*a - 68. Let f(p) = -5*k(p) - 8*w(p). Is f(10) even?
True
Suppose 6*q = 163 + 629. Let p = q + -35. Does 30 divide p?
False
Suppose 4*i = -3*x + 12, -2*x - 4*i + 18 = 6. Suppose x*u = 5*u. Suppose 5*y + 7 - 77 = u. Does 5 divide y?
False
Suppose 13 - 9 = o. Suppose -86 = -3*x + o. Does 6 divide x?
True
Suppose i - 13 = 2*t, 0 = -3*i - i + t + 24. Let q = 216 + -213. Suppose -q*k = i - 65. Does 8 divide k?
False
Is 5 a factor of -1 + (707/7 - -3)?
False
Let p = 162 - 6. Is p a multiple of 26?
True
Let p be (-2)/(-1) + (8 - 5). Suppose -b - g - 4*g = -8, -p*b - 3*g = -84. Does 6 divide b?
True
Let z = -43 + 48. Suppose -z = 4*l - 5*l. Is l even?
False
Suppose 0 = 8*s - 34 + 154. Does 2 divide (36/20)/(-3) + (-189)/s?
True
Let b be ((-628)/(-2))/(-1) - (-24)/(-6). Let a = b + 549. Is a a multiple of 25?
False
Let b be (-2 - (-282)/(-9))*36/30. Let r = b - -52. Does 12 divide r?
True
Let w = -10 + 14. Suppose w*x = -7 - 45. Is (x/(-1))/(1/3) a multiple of 13?
True
Suppose 3*w = -3*l - 66, -4*w = 2*l + 29 + 21. Suppose 4*o - 64 = -196. Let c = l - o. Does 14 divide c?
True
Suppose 3*c = 5*k + 837, 2*k = -2*c - 0*k + 542. Suppose 5*j - c = 146. Is 14 a factor of j?
True
Is -1986*(9/(-2))/9 a multiple of 51?
False
Let k = 37 + -7. Suppose 0 = 11*f - 6*f + k. Let a(g) = g**3 + 7*g**2 + 3*g + 12. Does 6 divide a(f)?
True
Suppose 8*u + 632 = 3504. Is u a multiple of 22?
False
Let o be (3 + -6)/((-3)/(-18)). Let m be (15/(-4))/(o/(-48)). Let z = 19 + m. Is 9 a factor of z?
True
Suppose 0 = -3*x + 7 + 8. Suppose 20 = x*c, -4*u - c = -u - 55. Does 6 divide u?
False
Let f = -55 - -60. Suppose 3*d - f*d = -o - 31, 73 = 5*d - 4*o. Does 3 divide d?
False
Let g be 544/12*(-45)/(-12). Suppose g - 42 = 8*a. Does 8 divide a?
True
Suppose -2*l = -3*f - 15, 5*l - 4*f = f + 30. Let n be l*7*(8 - 5). Suppose -5*u + 42 = -n. Is 6 a factor of u?
False
Suppose g + 930 = 2*j - 117, -5*j + 2625 = -5*g. Does 18 divide j?
True
Let t(u) = 18*u - 12. Let a be t(11). Let c = -285 + a. Let x = -55 - c. Is x a multiple of 22?
True
Let s be (-2 + 1 + 3)*20/8. Let q(x) = -x**3 + 6*x**2 + 8*x - 11. Is 25 a factor of q(s)?
False
Let r be 2/(-3)*(-2943)/18 - -2. Let m = r - 76. Does 13 divide m?
False
Let y be ((-12)/(-4) - 5) + -103. Does 3 divide ((-252)/y)/(4/10)?
True
Let k = -7 - -156. Is 9 a factor of k?
False
Let r = -20 + 20. Suppose -4*t + 40 = -r*t. Is 10 a factor of t?
True
Suppose 5*s = -4*a + 380, -2*a - s = 12 - 196. Let g = -42 + a. Does 8 divide g?
True
Suppose 0 = 5*k - 860 - 510. Suppose -79 = 5*f - k. Is 13 a factor of f?
True
Is 4 a factor of (-3)/((-2888)/(-416) + -7)?
True
Suppose -3*a = -5*v + 3 - 28, 0 = -2*a - 4*v - 20. Suppose n - 9 - 12 = a. Is 7 a factor of n?
True
Let f be (-5)/(-15) - (-1816)/6. Is 38 a factor of (-3 + 5)*f/6?
False
Suppose -5*h - p = -44, -2*h - 2*h + 31 = 5*p. Let l be ((-36)/(-8))/(h/204). Suppose -90 = -3*n - 2*i, 4*n - 2*i = n + l. Does 12 divide n?
False
Let p(o) = -6*o**2 +