 2*t + 5*b - 45. Suppose -t*g = 5*l - 3*l - 18, -5*g = -4*l - 29. Suppose -g*z + 6 = -249. Is z a multiple of 18?
False
Let b(h) = -h**3 - 8*h**2 - 10*h + 2. Let t be b(-7). Suppose -175 - t = -3*i. Is i a multiple of 22?
True
Suppose 42 = -3*i - 0*i. Let z = i - -28. Is z a multiple of 14?
True
Let j(b) = -b**2. Let h(x) = -8*x**2 + 2*x + 1. Let r(m) = -h(m) + 5*j(m). Let z = 2 + -4. Is 8 a factor of r(z)?
False
Suppose 24*p - 7*p = 4080. Is p a multiple of 15?
True
Is 19/5 + 11/55 a multiple of 4?
True
Does 45 divide ((-165)/44)/((-2)/216)?
True
Let b = 133 + -77. Suppose 0 = -2*d + b - 4. Does 12 divide d?
False
Let p be 13/3 + 2/(-6). Let v(d) = -d**2 - 6*d + 3. Let g be v(-6). Suppose -p*i + 116 = u - g*u, 4*u + 82 = 3*i. Is 12 a factor of i?
False
Let q(v) = -v**2 + v. Let n(b) = -b**2 + 2*b - 1. Let x be n(1). Let t be q(x). Suppose 3*i - i - 16 = t. Is i a multiple of 4?
True
Let h = -15 + 24. Let p(x) = x**2 - 7*x + 1. Is p(h) a multiple of 13?
False
Suppose 3*g = 4*c + 28, 2*g + c + 16 = 5*g. Let q(z) = 2*z**3 - 6*z**2 + 5*z + 9. Is 16 a factor of q(g)?
False
Suppose u + 2*p = -15, 20 = -4*p - p. Is (-819)/(-49) + (-2)/u a multiple of 17?
True
Let a be (-25)/(-10)*(-12)/(-10). Suppose 4 = -a*o + 2*t, -4*t + 11 = 3. Suppose 4*y - 4*k - 68 = o, -4 + 0 = -2*y - 4*k. Does 12 divide y?
True
Suppose t - 2*d + 1 = -9, d = -t - 4. Does 14 divide (-92)/(1/(3/t))?
False
Let t = 172 + -123. Let o = t + -99. Let u = 98 + o. Is 18 a factor of u?
False
Let c be 1221/9 - (-1)/3. Suppose 0 = h - 3*h + c. Suppose 0 = 3*w - 4*s - h, -4*w + 2*s - 1 = -105. Does 13 divide w?
False
Let v(n) = -n**2 + 17*n - 8. Let d = 19 + -4. Does 17 divide v(d)?
False
Suppose 2*x - 31 = 83. Is x a multiple of 18?
False
Let r(h) = 35*h + 1. Let g be r(1). Let q = g + -60. Let f = 36 + q. Does 6 divide f?
True
Suppose 3*q - 227 = -3*n + 8*q, -2*q - 158 = -2*n. Is 7 a factor of n?
True
Does 4 divide 4*3/12*14?
False
Let r(g) = g**3 - 7*g**2 + 6*g - 2. Let d be r(5). Let u = -19 - d. Is u even?
False
Suppose -6 + 61 = -s. Is (528/s)/(3/(-10)) a multiple of 16?
True
Let x(b) be the third derivative of 2*b**5/3 + b**3/6 + 6*b**2. Is x(-1) a multiple of 19?
False
Suppose -5*f + 5*j + 10 = 3*j, 20 = -4*j. Suppose 0*p = -5*o + 4*p + 268, f = -3*o - 4*p + 180. Does 22 divide o?
False
Let c(j) = 2*j - 6. Suppose -3*l + 13 = -x - 5, 0 = -5*x - 15. Let n be c(l). Is 3 a factor of 1 + (-2)/(-4)*n?
True
Suppose -4*y + 8 = -4. Suppose -5*u = 4*t - 100, 3*u - y*t = t + 28. Is u a multiple of 8?
True
Let c = -11 + 57. Is 16 a factor of (3 + c/(-8))*-8?
False
Suppose 4*f - 8 = 0, -d - 4*f = -3 - 8. Suppose -4*m - 16 = 0, -m - 51 = -5*j + d*m. Is 7 a factor of j?
True
Suppose 0 = -5*s + 4 + 121. Suppose -4*o - s + 177 = 0. Suppose -3*b = -140 + o. Is 17 a factor of b?
True
Let d = -84 - -240. Is 5 a factor of d?
False
Let r(m) = 9*m + 1. Let u be r(2). Let b = u - -5. Does 8 divide b?
True
Suppose i + 4*i - 213 = -2*z, z = 4*i - 173. Is 23 a factor of i?
False
Suppose -2*x = -3*x + 58. Does 12 divide x?
False
Suppose -18 - 182 = -4*i. Does 25 divide i?
True
Let i(u) be the first derivative of 16/3*u**3 - u + 0*u**2 - 1. Is i(-1) a multiple of 9?
False
Let l be 5/5 - (-1 + -3). Suppose -2*u = -5*z + z + 14, 0 = 4*z - l*u + 1. Is 3 a factor of z?
True
Let j = 259 + -388. Is j/(-4) + 4/(-16) a multiple of 15?
False
Let d = 0 + 0. Suppose d*m + 3*s = 3*m, -m = -3*s + 10. Does 6 divide 51/m - (-4)/(-20)?
False
Suppose -4*j + 136 = -32. Is j a multiple of 7?
True
Let n(u) = 2*u**2 + 25*u - 36. Is 27 a factor of n(-18)?
True
Let x(i) = -i + 14. Let w be x(0). Does 14 divide ((-1)/(-1))/(1/w)?
True
Suppose 3*w + 22 = 70. Suppose -5*b = -3*g + 50, 4*b + w = 3*g - 30. Let s = -5 + g. Is s a multiple of 5?
True
Let o = 122 + -85. Is o a multiple of 37?
True
Let w be 2/1 + (-4 - -1). Let k = w - -6. Suppose -2*a = -5*b - 46, k*b - 7 + 92 = 5*a. Does 13 divide a?
True
Suppose -4*q - 3*f = -1188, f = 2*q - 2*f - 612. Does 12 divide q?
True
Suppose -5*m - 28 = -5*n + 7, -1 = -n + 4*m. Let v(p) = p + 3. Let b be v(n). Suppose -r - 4 = -b. Is r a multiple of 4?
True
Suppose -40 = -3*f + 221. Suppose -6 = 2*d, 4*d = -3*i + f + 111. Let m = -48 + i. Is 11 a factor of m?
True
Let g = 9 - 9. Suppose g = 4*b + 51 + 9. Let p = 32 + b. Is p a multiple of 10?
False
Let s be (-3)/((-32)/10 + 3). Let d be 182/10 - 3/s. Suppose -d = h - 56. Does 19 divide h?
True
Let n(f) = 10*f**2 - 2*f - 4. Is n(3) a multiple of 10?
True
Suppose -4*o - 3*k - 12 = 0, -2*o + 2*k - 6*k - 16 = 0. Suppose 2*y - 15 - 53 = o. Is y a multiple of 13?
False
Suppose -6*l + l + 425 = 0. Does 17 divide l?
True
Let x = 75 - 6. Is x a multiple of 21?
False
Let p = -46 + 78. Let q = p - 18. Does 14 divide q?
True
Let t = 5 - 4. Let b be 50/5 - (-1 + t). Let x = 27 + b. Does 13 divide x?
False
Let v be (2 - 2)/(1 - 2). Suppose -2*t + s + s + 6 = v, 5*s = -t + 33. Let q = t - -10. Is 9 a factor of q?
True
Let c(r) = 2*r**3 - 4 + 3*r**2 - r**3 + 0*r**3 - 4*r. Does 4 divide c(-3)?
True
Suppose -138 = -4*r + r. Is 23 a factor of r?
True
Let w = -8 + 13. Suppose 10*y = w*y. Suppose y*z = -2*z + 10. Does 3 divide z?
False
Let u = 76 - 38. Is u a multiple of 10?
False
Suppose 0 = 2*q - 3 - 3. Suppose -q*i = -g - 16, 4*g + 14 + 2 = 0. Does 4 divide i?
True
Let d = 16 + -7. Suppose d*p = 4*p + 195. Does 15 divide p?
False
Let z = 206 + 34. Suppose -z = -3*a - a. Suppose 4*j + 2*g - 4*g - 78 = 0, -a = -3*j + 2*g. Does 9 divide j?
True
Suppose 0 = 3*q, -x + 6*x + 3*q = 35. Is x a multiple of 5?
False
Let u be (-2)/(-20)*4*-5. Is 11 a factor of 0/u + 32/1?
False
Suppose -5*p = -0*p. Suppose p*d - d + 2 = 0. Is 3 a factor of ((-2)/(-4))/(d/24)?
True
Is 16 a factor of 1/(-5) + (-1353)/(-15)?
False
Let f = -160 + 298. Is f a multiple of 6?
True
Let o(u) be the first derivative of -u**4/4 - 5*u**3/3 + 2*u**2 - 2*u - 1. Let a(n) = -n**3 + 8*n**2 + 8*n + 3. Let b be a(9). Is o(b) a multiple of 7?
False
Let c(b) = b**2 - 7*b + 8. Let k be c(6). Let n be ((-3)/k)/((-12)/32). Suppose -n*x = -55 - 49. Is x a multiple of 13?
True
Let z = -36 + 126. Is 25 a factor of z?
False
Let h(m) = -4*m + 2*m**3 - 3*m**3 + 5*m + 1. Let d be h(-1). Suppose 0 = 2*b - d - 5. Is b a multiple of 3?
True
Suppose -4*f - 4 = r - 25, -5*r + 122 = 3*f. Does 25 divide r?
True
Let n = 149 - 36. Does 14 divide n?
False
Let d(u) = -4 + 2*u - 3*u**3 - u - 4*u**2 + 4*u**3. Let g be d(4). Does 7 divide 13*1 + g/3?
False
Let p = 436 + -296. Does 7 divide p?
True
Is 69 + 2 + (2 - 4)*1 a multiple of 6?
False
Let y be (-2 + 0)*(-3)/2. Let s = y - 1. Let v(o) = 9*o. Does 15 divide v(s)?
False
Suppose 0 = -3*l + 4*u + 884, 1465 = 21*l - 16*l - 5*u. Does 48 divide l?
True
Let j = 1 - 0. Suppose j = -3*m - 5. Is (-37)/m - 3/2 a multiple of 11?
False
Is 7 a factor of (-1)/(-1) - (-3 - 38)?
True
Is 5/(-2)*-2 - (-3)/(-1) a multiple of 2?
True
Let m(u) = 2*u**3 + 2*u**2 - 3*u + 2. Is m(2) a multiple of 8?
False
Let h = 20 + -3. Suppose -s + c = 6*c + 35, -5*c - 75 = 5*s. Let z = s + h. Is 7 a factor of z?
True
Let n = 26 + -12. Let f = n + -10. Suppose -f*m + 3 + 5 = 0. Is m a multiple of 2?
True
Let w = 67 + -102. Is (-126)/w + 2/5 a multiple of 2?
True
Suppose 0 = 2*b - 5*s + 2*s + 9, -s - 7 = -4*b. Let x = b + 6. Is 3 a factor of x?
True
Let k be (-3)/5 - (-230)/50. Does 10 divide (k + 0 + -1)*15?
False
Let n be (-2)/4 - 306/12. Let j = n - -43. Does 17 divide j?
True
Let y(b) = 2*b + 6. Let k be 3/(-6) - (-63)/6. Let x be y(k). Suppose 18 = 4*j - x. Does 11 divide j?
True
Let x = -7 + 7. Does 5 divide (-1 - (x - -2))*-5?
True
Let t = 21 + 58. Does 13 divide t?
False
Suppose -3*y - 22 = -2*y. Let m = 10 - y. Is 11 a factor of m?
False
Let a(s) = -s**3 + 7. Let m be a(0). Suppose m*p - 44 = 3*p. Does 8 divide p?
False
Suppose 0 = -5*j + 2 + 18. Let p(b) = b + 1. Let k be p(j). Suppose -5*l + 4*x + 158 = 0, 4*l - k*x = -3*x + 130. Does 19 divide l?
False
Suppose -5*z = 5*r + 4 - 24, 2 = 2*r. Suppose -z*a = -g - 19, 5*a = -0*a + 5*g + 45. Suppose 0 = -4*y - a*l + 172, y - 6*y + 198 = 2*l. Is y a multiple of 19?
True
Let g = -195 + 307. Is 28 a factor of g?
True
Let g be 1*(2 + 17 + 2). Suppose -2*p = o - g, -6*p = -3*p + 9. Does 18 divide o?
False
Let o(q) = 6*q + 4. Let d be o(6). Let z = -90 + d. Let t =