e
Let s be (-3)/((-12)/(-4))*-258. Let f = -50 + s. Is 16 a factor of f?
True
Let u(h) = h**2 + 12*h + 3. Let t be u(-12). Let c be (-9)/t + 2 + (7 - 4). Suppose c*i = 110 + 58. Is i a multiple of 21?
True
Suppose -51*q - 14 = -37*q. Does 3 divide (-561)/(-44)*(q - -5)?
True
Let q(i) be the second derivative of -26*i - 1/12*i**4 + 0 + 14/3*i**3 - 15*i**2. Does 50 divide q(18)?
True
Let y be (-30)/285 - (-5126)/(-38). Let u = y + 402. Does 13 divide u?
False
Let v = -3994 + 7424. Is 70 a factor of v?
True
Does 19 divide (39 + -161)*(((-9)/2 - 3) + 0)?
False
Is 17 a factor of 9/1 + 28189 + (40 - 18)?
True
Let g = -254 - -823. Let b be -1 + (1 - (-1 - g)). Suppose -4*n + b = n. Is 31 a factor of n?
False
Suppose -22*n + 21*n + 3*f + 8288 = 0, -3*n + 5*f + 24872 = 0. Does 58 divide n?
True
Suppose -f = -4*x + 22275, 2*x - 14*f - 11134 = -10*f. Suppose -18*c + x + 15599 = 0. Does 52 divide c?
False
Suppose 0 = 3*g + 4*d - 2*d + 28, 3*d = -5*g - 46. Let n be 6*((-2)/g)/((-1)/(-10)). Suppose 0 = t + 4*o + 9, n = -0*o - 3*o. Does 2 divide t?
False
Suppose -8*j + 88 = -0. Let i be (-2 - (1 - j)) + (1 - 0). Is 13 a factor of i/(((-152)/52)/1 + 3)?
True
Let v(b) = 13*b**2 - 167*b + 246. Is v(32) a multiple of 19?
False
Does 35 divide 1002/4*(133 + -109)?
False
Let z(l) = -l**3 + 13*l**2 + l + 47. Let c be (-10)/(4/(-22) - (-99)/(-121)). Is z(c) a multiple of 10?
False
Suppose -22 = -16*k + 74. Is (-1)/(18/(-1066)) - k/27 a multiple of 2?
False
Is 11 a factor of (24/51)/((-88)/(-6203164))?
False
Let p(r) = 2087*r - 300. Is p(3) a multiple of 94?
False
Suppose -4*j - 2*h = -24, -j + 2*h = 3*h - 8. Suppose -5*x + 25 = j*w, -w + 4*w - 15 = 0. Suppose 4*y = -2*v + x + 27, 28 = 3*y - 2*v. Does 4 divide y?
True
Suppose -3*y = -5*s + 138234, 0 = 4*s + 3*y + 1128 - 111753. Does 70 divide s?
False
Let p be 19 + -16 + 3*(-2)/2. Let r be p + (27/45 - 894/(-10)). Suppose -26 = o - r. Does 8 divide o?
True
Let l = -177 - -44. Does 7 divide l*-3*3/(-9)*-1?
True
Let r = -17 - -20. Suppose -4*n - 34 = 5*o - 3*n, 30 = -r*o - 3*n. Does 14 divide (-1 + 160)/(o/(-4))?
False
Let u(q) = q**3 + 48*q**2 - 65*q + 170. Is 9 a factor of u(-49)?
True
Let t = -30 - -33. Suppose -5*r - 5 = -c + 15, -r = t*c - 12. Suppose 342 = -c*f + 8*f. Is f a multiple of 14?
False
Let a = 26332 - 18296. Does 7 divide a?
True
Let m be (-81)/18*10/15. Is 6 a factor of (78/(-9))/(10/(-15)) + m?
False
Is 31 a factor of ((-95)/30 + 3 + (-11852)/(-12))*4?
False
Suppose 8694 = -11*v - 16*v. Let z = -98 - v. Does 28 divide z?
True
Let t(m) = -m**3 - 15*m**2 - 56*m. Let d be t(-7). Suppose 2*j - 4*j + 8 = d, l - 88 = -3*j. Is l a multiple of 25?
False
Let z = 81763 + -56877. Does 46 divide z?
True
Suppose 516*h - 523*h = -343. Suppose -1099 + h = -15*t. Is 10 a factor of t?
True
Suppose 6*p + 11 = 7*p. Suppose v + 2*f + 7 = 0, 3*f = 2*v - 4*v - p. Let n(a) = -53*a + 3. Does 6 divide n(v)?
False
Suppose 7*u - 11*u + 5*f + 14 = 0, 0 = -u + 2*f + 2. Suppose -u*m + 59*m = 35616. Is 21 a factor of m?
True
Does 267 divide 23943 + (-1 + 0)*(134 - 131)?
False
Suppose -3*l = -4*k + 12 + 2, -2*k + 4*l = -12. Suppose -2*o + k*a + 110 = 0, -5*a + 4*a = 2*o - 116. Is 8 a factor of o?
False
Let s(a) = 2*a**3 + 6*a**2 - 2*a + 2. Let n be s(-5). Let z be (90/(-12))/(4/n). Suppose -2*t + 126 - 416 = -4*i, 5*t + z = 2*i. Does 21 divide i?
False
Let i = 12 - 59. Let b = i - -1213. Is 12/18 + b/6 a multiple of 15?
True
Let l(t) = t**2 - 16*t + 17. Let i be l(7). Let n = i + 54. Is n/2 - 7 - -31 a multiple of 2?
True
Let m(a) be the first derivative of -8*a**2 + 2*a - 62. Does 12 divide m(-19)?
False
Suppose 156*p - 8538979 + 1284979 = 0. Is 124 a factor of p?
True
Suppose -6*n - 157 = 2*g - 5*n, -2*g = -3*n + 169. Does 33 divide (-3461)/(-3) - (g/15 + 4)?
True
Does 6 divide (-2 + 60/9)/(47/11703)?
False
Let y(r) = -r**2 + 16*r - 43. Let c be y(12). Suppose -1312 = 2*t + s, -2345 = c*t - 3*s + 924. Let b = 919 + t. Is 44 a factor of b?
True
Suppose i + 5*n = 700, 5*i = 415*n - 410*n + 3500. Is 2 a factor of i?
True
Let y be (1 - (-1 - -3))/(4/576). Let j = 186 + y. Is j a multiple of 6?
True
Suppose 321*n - 2*h + 1612 = 324*n, 4*n = -h + 2156. Is n a multiple of 6?
True
Let d(u) = 71*u**2 + 2*u + 1. Let f be d(-1). Let j = -61 + f. Let v(n) = n**2 - 7*n - 6. Is 2 a factor of v(j)?
True
Let f(m) = m**3 - 3*m**2 - 9*m + 22. Let i be f(6). Let x = 13 - -97. Suppose 0 = -2*z - y - y + i, -3*z + x = 4*y. Does 14 divide z?
True
Let u be (-2 - (-9 + -2)) + (5 - 3). Let y(l) = 19*l + 34. Let p be y(u). Suppose 2*g - p = j, 3*g - g - 5*j = 223. Does 27 divide g?
False
Let x(i) = i**2 + 2*i - 176. Let l be x(12). Let p = 342 - l. Is 6 a factor of p?
False
Suppose -4*a = 233 + 391. Let d be (5/(-3))/((-628)/a - 4). Let b = d + 207. Does 41 divide b?
False
Let p = 111 - 151. Let z be (-6)/(-15)*-1 - (-10584)/p. Does 25 divide (z/4 + 1)/(183/(-488))?
False
Suppose 4*i + 744 = -0*b - 2*b, -3*i - 1122 = 3*b. Let u = 585 + b. Is u a multiple of 19?
True
Let y = 182 + -87. Suppose -4*w - w - 4*p = -y, 2*w - 5*p = 5. Is w a multiple of 2?
False
Suppose 0 = 8*o - 106 + 34. Let n(l) = 9*l**2 + 10*l - 144. Is n(o) a multiple of 8?
False
Suppose -8 + 40 = -8*h. Let i be (3 - (h + 9)) + 7. Is 30 a factor of ((-32)/(-10) - 3) + 819/i?
False
Let d = -259 - -274. Suppose 4*i = v + 2111, 3*v - d = 8*v. Is 17 a factor of i?
True
Let o(k) = k**3 + 4*k**2 - k - 23. Let f be o(-5). Let h = f - -40. Let z(v) = 5*v + 20. Is 5 a factor of z(h)?
True
Suppose 2*t + 7 = 3*n, -8 = -2*n + 5*t + 4. Let l = n - -21. Does 5 divide l?
False
Let m(x) = -162*x + 1802. Is 53 a factor of m(0)?
True
Is (-95)/((-1185)/(-90) + -14) a multiple of 6?
True
Let j(m) = 3*m**2 + 51*m - 398. Is 21 a factor of j(60)?
False
Let m = -231 + 240. Suppose 0 = m*n - 13*n + 208. Is 13 a factor of n?
True
Suppose 5*h = 8*h - 1113. Suppose -3*i - 5*b + 975 = 0, -4*b + 63 = -i + h. Suppose 0*g - 4*g = -i. Does 14 divide g?
False
Is (72/117)/((-12)/(-390)) a multiple of 20?
True
Let h(y) = 12*y + 1989. Is 33 a factor of h(15)?
False
Suppose g = h - 2*g - 14115, 2*g + 70601 = 5*h. Is h a multiple of 19?
False
Suppose -7*c - 5*k + 4684 + 32735 = 0, -2*c + 10659 = 5*k. Does 12 divide c?
True
Suppose -3*j - 540 = -6*j. Suppose 5*p + o - 180 = 0, j = 7*p - 2*p + 4*o. Is p a multiple of 9?
True
Is 66 a factor of 1/(-4) - (444486/(-98))/(16/28)?
False
Suppose -10*n - 96 = -18*n. Is 14 a factor of (n/(-8) + 2)*364?
True
Suppose 1876639 = 389*c + 1544430 - 2507880. Is c a multiple of 49?
True
Let z(x) = x**2 + 7*x - 4. Let r be z(6). Let s = r - 77. Let n(q) = q**3 + 5*q**2 + 5*q + 7. Is n(s) a multiple of 2?
True
Suppose -3272 = -2*d - 2*x, 4*x - 1763 = -d - 127. Does 18 divide d?
False
Suppose -3*n + 330 = 3*q, -22*q + 428 = 4*n - 24*q. Does 36 divide n?
True
Let p be (7/2)/((-3)/(-6)). Let m be (-36)/(-48) + (-605)/(-4). Is p/(14/m) + -1 a multiple of 15?
True
Let w(a) = -92*a - 139. Does 2 divide w(-3)?
False
Suppose -2*h = -8*n + 12, 3*h = 5*n - 7*n - 4. Suppose 0 = 5*z - 2*z + 45. Is (25/z*h)/((-2)/(-108)) a multiple of 26?
False
Suppose -5*m - 20 = -15*m. Suppose 0 = -m*w + 10, 3*d - d + 13 = 5*w. Suppose -d*h + 1049 = -127. Is 14 a factor of h?
True
Suppose 4*h + 3*s = 716, -3*s + 498 + 36 = 3*h. Suppose -5*o + 226 + h = c, c - 406 = -3*o. Does 23 divide c?
False
Is 4 a factor of 4/(4/(-1061))*(-116)/116?
False
Suppose 38 + 52 = 3*b. Let t(u) = u**3 - 7*u**2 + 8*u - 6. Let f be t(6). Let d = b - f. Is 7 a factor of d?
False
Let y(n) = 1818*n**2 - 1167*n + 3513. Is y(3) a multiple of 6?
True
Suppose -95*n + 97*n - 1176 = 0. Suppose -3*r + 1044 = -5*q, -3*r + n = 3*q - 432. Is 32 a factor of r?
False
Suppose 0 = -4*t + 2*b + 86072, 3*t - 32623 = -b + 31941. Is 20 a factor of t?
True
Let r be (-4)/(40/(-18)) - 7/(-35). Suppose -u + 58 + 216 = r*k, 0 = -3*u - 4*k + 814. Does 3 divide u?
False
Suppose 5*f = 4*f + 5*l + 11885, -4*f - 2*l = -47606. Is 34 a factor of f?
True
Let q = 11039 + -7228. Is q a multiple of 18?
False
Is 4 a factor of 97 + (1 + 5)*5/(8 - -2)?
True
Let l be -2*((0 - 58) + 11/22). Suppose -113*x = -l*x + 132. Does 66 divide x?
True
Let u(w) = -w**3 + 11*w**2 - 9*w - 11. Suppose 2*f + 16 = 2*h, -2*h + 4*h + 4*f - 28 = 0. Let i be u(h). Does 10 divide 16/(-56) - ((-410)/14 + i)?