t q(g) = g + 1. Let u(r) = -6*q(r) + 2*t(r). Suppose -m = -p - 5, 3*m + 3*p = -p + 1. Is 32 a factor of u(m)?
True
Let j be 6*1*5/3. Let o be 1*2 - 0/(-23). Suppose -104 = -o*c - j. Does 13 divide c?
False
Let k(h) = h**3 + 8*h**2 - 10*h - 4. Let z be k(-9). Let n be 21/(-2)*(-99 + z). Is 12 a factor of n/28 + 1/(-4)?
False
Let c(i) = -2*i**3 - 11*i**2 - 6*i - 3. Let h be c(-5). Suppose -4*f = -y + 96, -201 = -2*y + 7*f - h*f. Is 18 a factor of y?
True
Suppose 4*h + 4*l = -842 + 4926, 0 = -4*h + l + 4064. Suppose -3*o = -6 - 6. Is 14 a factor of (-1)/o + h/36?
True
Let i(l) = 27 - 7*l - 46 + 18. Suppose 2*g - 7*g = 75. Is 26 a factor of i(g)?
True
Suppose -4*b + b + 350 = -5*v, 4*b + v = 505. Suppose -b = -8*m + 3*m. Let u = m - 3. Is 11 a factor of u?
True
Let k(y) = -54*y - 200. Let x(f) = 11*f + 40. Let p(b) = 3*k(b) + 14*x(b). Is 22 a factor of p(-16)?
True
Is 1528 + (9/(-4))/((-42)/(-112)) a multiple of 31?
False
Let q be (18/4)/((-1)/(-2)). Let w(o) be the third derivative of 5*o**4/24 - 2*o**3/3 - 43*o**2. Does 12 divide w(q)?
False
Let h(f) = f**3 + 13*f**2 + f + 15. Let v be h(-13). Suppose 0 = v*r + l, -r + 3*l = -5 - 2. Let o = 43 + r. Is o a multiple of 7?
False
Is 25 a factor of ((-56)/84)/((-2)/1500)?
True
Suppose 2*d - 4*d + 8 = 0. Let y = -550 - -552. Is y - 21/(-3)*d a multiple of 6?
True
Suppose -w = 3*p - 6, 3*p + w = -w + 3. Let h(q) = q**3 - 4*q**2 + 6*q - 5. Let b be h(p). Suppose -5*n = b*x - 71, 1 = -4*n - 3. Does 11 divide x?
False
Let o(c) = 94*c - 715. Is 29 a factor of o(14)?
False
Let o be 1/(1/3) - 0. Let n be (-35)/(-25) - o/(-5). Does 15 divide 71 + 4 + (-6)/n?
False
Does 30 divide -62*90/(42/(-7))?
True
Let m(z) = 13*z**2 + 26*z + 232. Is 16 a factor of m(-14)?
True
Is (-630)/20*1/(-14)*8 a multiple of 9?
True
Is 0 - -1 - 6/((-12)/1582) a multiple of 14?
False
Let q(w) = 12*w**2 - 4*w - 6. Does 7 divide q(5)?
False
Let y be 3/(-2*12/224). Is 13 a factor of 1 - (-36)/y - 93/(-7)?
True
Suppose -4*c = 0, -v - 5*c - 707 = -117. Let f = -355 - v. Does 47 divide f?
True
Let a = 4 - 0. Suppose a*b + 0*b + 280 = 0. Let i = b - -109. Is i a multiple of 22?
False
Let g(n) = -3*n + 3. Let o be g(1). Suppose o = 2*l + l. Suppose l = -4*k + 8*k - 96. Is k a multiple of 6?
True
Let g(h) be the second derivative of h**4/6 - 7*h**3/3 + 5*h**2 - 9*h. Is 10 a factor of g(10)?
True
Suppose -2*j + 3*j - 186 = 2*p, 5*j + p - 875 = 0. Suppose -k + 2*k = j. Is 32 a factor of k?
False
Let k = 0 - -4. Suppose -17 = k*r - 1. Let t = r + 26. Is t a multiple of 11?
True
Let x(r) = -16*r - 419. Does 13 divide x(-37)?
False
Is (38/(-38))/(2/(-106)) a multiple of 4?
False
Suppose 35*n - 47651 = 18*n. Is n a multiple of 17?
False
Let d = 23 + -19. Suppose -21 = n - d*n. Suppose -4*y + 128 = -3*q + n*q, -2*y = -5*q - 50. Does 5 divide y?
True
Let f = -1278 - -1314. Does 36 divide f?
True
Suppose 3*v = y - 25, 3*v - 4*y + 5 = y. Let c = v + 61. Is c a multiple of 32?
False
Let m(t) = t**3 + 11*t**2 + 12*t. Suppose -2*x + 64 = w + 17, 45 = 2*x - w. Let c = -32 + x. Is 19 a factor of m(c)?
False
Does 37 divide (-2 - 22)/(-4) - -31?
True
Let g = -315 - -424. Is 2 a factor of g?
False
Suppose 12 = 8*g - 76. Suppose -g*v = -188 - 120. Does 14 divide v?
True
Let y be (4 - 1) + 8 + -9. Suppose 36 = 2*n - 0*n. Suppose -k + y*s = -16, -k + s + n = -3*s. Does 7 divide k?
True
Let p be (-6)/((0 - 2) + 3). Let k(x) = x**3 + 5*x**2 - 4*x + 8. Let f be k(p). Let v(d) = 2*d**2 - 2*d - 6. Is 17 a factor of v(f)?
True
Let x be 403 - -1 - (5 - (9 + -4)). Is 6 a factor of (2 - 40/12) + x/6?
True
Is 4 a factor of (-455)/(-21) + (-6)/9?
False
Let p be 93*4/6*1. Let t = p + 70. Is t/16 - 3/12 a multiple of 3?
False
Let b = -14 + 18. Suppose 0 = -b*j - 4*s + 48, 0*j + 4*j + 3*s = 48. Is 12 a factor of j?
True
Let d(z) = 4*z. Let t be d(2). Is 18 a factor of t/(-4) - 0 - -56?
True
Let i(s) = 29*s**2 + 13*s - 51. Is i(4) a multiple of 16?
False
Let z = -33 - -59. Suppose -8*l + z = -62. Is l a multiple of 11?
True
Let g(j) = -j + 28. Let i be -1*2 - (-4 + 2). Let v be g(i). Is (14 - -1)/(7/v) a multiple of 13?
False
Let l(s) = -9*s**3 - s - 1. Let t(y) = -3*y**2 + y + 2. Let u be t(2). Let j be 18/(-14) + u/(-28). Is 9 a factor of l(j)?
True
Let r(h) = -h**3 + 8*h**2 + 10*h - 29. Let z be r(9). Let w = 100 + z. Is w a multiple of 5?
True
Suppose 2*q - 251 = -5*b, -2*q + 4*b = 3*b - 221. Suppose j = -4*w + 100, w + q = j + 3. Is j a multiple of 18?
True
Suppose 229*c = 227*c + 54. Does 3 divide c?
True
Let j(x) = 111*x**2 + x + 2. Does 45 divide j(-2)?
False
Let u = 170 + -214. Let z = 0 - u. Does 4 divide z?
True
Let n be 8/(-6) + 228/36. Let y(q) = q**3 + 5*q**2 - 6*q + 4. Let t be y(-6). Suppose -t*r + r = b - 132, -r + 60 = -n*b. Is 15 a factor of r?
True
Suppose 3*x - 2*t - 108 - 192 = 0, -484 = -5*x - 2*t. Is 5 a factor of x?
False
Suppose -6*i + 81 + 27 = 0. Does 8 divide (19/4)/(i/216)?
False
Suppose -5*w - 3*k = -1218, -8*w + k + 1948 = 6*k. Does 4 divide w?
False
Let l be (2*(-4)/(-24))/((-2)/(-12)). Suppose l*i + 0*i = 84. Is i a multiple of 6?
True
Let g = 948 + -369. Does 56 divide g?
False
Let l = -367 + 517. Suppose 8*b = 3*b + l. Does 7 divide 500/b - (-1)/3?
False
Let k be 0 + 0 - (-10 - (-1 - 3)). Suppose 64 = k*z - 68. Does 22 divide z?
True
Let f(w) = 2*w**2 + 6*w - 83. Is f(-11) a multiple of 4?
False
Let x = 137 - -168. Is 9 a factor of x?
False
Let h(z) = -2*z**2 + 6*z - 14. Let k be h(7). Let w = 158 + k. Does 22 divide w?
True
Let a(x) = -x**3 - 4*x + 8. Let q be a(5). Let n = -36 - q. Is n a multiple of 21?
False
Let i = 131 - 55. Is i a multiple of 16?
False
Suppose 2735 + 261 = 2*r. Suppose 5*l - r = -83. Let i = -188 + l. Is i a multiple of 18?
False
Let l be -9*1/(-3) + 155. Suppose -i = -l + 48. Suppose 3*f = -17 + i. Is 31 a factor of f?
True
Let v = 2 - 5. Let f(z) = z**2 - 1. Let w be f(v). Suppose 54 = q - 4*t + w, -t = -3*q + 94. Is q a multiple of 16?
False
Let j(x) = -63*x - 237. Does 13 divide j(-5)?
True
Suppose -4*a = 2 - 14. Suppose a*g = -5*g + 1120. Is g a multiple of 20?
True
Let l = -98 - -26. Let h be (-1)/(3/l) - 3. Suppose -2*b + h + 3 = 0. Is b a multiple of 5?
False
Suppose 8 = -4*j + 4*x, -5*j + x + 25 = 3*x. Suppose -13 = 2*i + 5*g, j*g = -2*i + 3*i - 10. Is ((-20)/6)/(i/(-27)) a multiple of 18?
True
Let p(j) = 4*j**2 - 28*j + 18. Is p(-12) a multiple of 30?
True
Is 0 + (715 - -7*12/(-42)) a multiple of 31?
True
Suppose 34*m - 61325 = 33331. Does 24 divide m?
True
Let y(o) = o**3 + 2*o - 3. Let n(r) = -r**3 - r**2 + 2*r + 2. Let t be n(-2). Let j be y(t). Let h(w) = 5*w - 20. Does 10 divide h(j)?
False
Suppose v + 15 + 9 = 0. Let g = -20 - v. Suppose -g*b = -98 - 46. Does 12 divide b?
True
Suppose 0 = -g - 3*g + 20. Suppose -2*m + 48 = 3*m + 3*r, 3*r = m - 24. Let d = m - g. Is d even?
False
Let g(o) = o**2 + 16*o + 52. Is 3 a factor of g(-15)?
False
Suppose -4*k + 3*k = -4*m - 1076, m = 4*k - 284. Let q = m - -422. Is 22 a factor of q?
True
Let k = 1287 - 69. Is 28 a factor of k?
False
Let l(s) = -s**3 - 4*s**2 + 5*s + 5. Let c(m) = -m + 4. Suppose -3*k = 2*k - 45. Let d be c(k). Is l(d) even?
False
Let l be (1 - 0/1)*3. Suppose 2*m - 7 = 3*m - v, 26 = -4*m + l*v. Is 28 a factor of (-1)/m - 3051/(-45)?
False
Suppose j - 2 - 11 = 0. Suppose -2*m + 175 = 145. Let l = m - j. Does 2 divide l?
True
Suppose n - 3*n - 42 = 0. Let r = -51 - n. Does 21 divide 4/(-10) - 1902/r?
True
Suppose 2*d - 74 = -3*f + 7*d, 70 = 3*f - 4*d. Let v = 21 - f. Is v a multiple of 2?
False
Suppose -12 = -4*s - 4*j, -3*s - s = j - 12. Let q = s + 2. Suppose 83 = q*d - 137. Is d a multiple of 19?
False
Let m = -39 - -65. Let w = 97 - m. Suppose -5*b + 24 = -w. Does 19 divide b?
True
Let v be 2*32*(-2 - -3). Let w = 97 + v. Is w a multiple of 36?
False
Let x(t) = -2*t - 4. Let n be x(-4). Suppose n*k + 2 = 5*k. Suppose 2*u - 39 = -k*f + 29, 5*f - 150 = -u. Is f a multiple of 6?
False
Suppose m = 6*m - 25. Let d be (-5 - (-105)/20) + (-3)/(-4). Suppose d = -m*l + 76. Does 14 divide l?
False
Let j = -76 + -1. Let h = -5 - j. Is 24 a factor of h?
True
Let p be (-352)/(-77) + 3/7. Suppose -p*m + 180 + 33 = 3*k, 5*m + 2*k - 217 = 0. Is 9 a factor of m?
True
Suppose -4*y + 3*y + 255 = 2*o, -5*y = 15. Is 2 a factor of o?
False
Let u be 45/(1*12/80).