u. Is d a multiple of 3?
True
Suppose -2*f = -4, 11*b - 10942 = 4*f + 45777. Is b even?
False
Let g(p) = -2*p**2 - 6*p + 9. Let j be g(-4). Let l be (5 + (-75)/20)*(j + 23). Suppose 266 = 2*y + l. Is 20 a factor of y?
False
Suppose 6*i - 4*i = -2*m + 6308, m - 6304 = -2*i. Is (-2 - -2) + i/9 a multiple of 30?
False
Suppose 0 = -5*d + 719 - 704, 2*u - 3*d = 56443. Does 10 divide u?
False
Let u(i) = -i**2 + 13*i - 43. Let m be u(5). Is (-1928)/m + -1 + 21/9 a multiple of 54?
False
Let p be (-32)/(-12)*6*3/(-8). Let j be (-2)/p - 18/54. Suppose 15*i - 17*i + 114 = j. Is i a multiple of 19?
True
Let k(f) = 22*f**2 + 20*f + 92. Does 13 divide k(-17)?
True
Let o(r) = 4*r**2 - r - 6. Let p be o(-5). Let c = p + -148. Let k = c - -54. Does 5 divide k?
True
Suppose -5*t - 4651 = -4*o, 41*t = 6*o + 42*t - 6951. Does 19 divide o?
True
Let h = 4975 - 4129. Is 9 a factor of h?
True
Let b be (-1)/5 - (-1 - 66/30). Suppose 2*k - 278 = -b*c + 6*k, 0 = -k + 4. Suppose -2*u + u - 5*s = -c, s - 373 = -4*u. Does 19 divide u?
False
Let x(g) = -15*g + 101. Let d(n) = -7*n + 50. Let w(b) = 11*d(b) - 6*x(b). Let f be w(19). Let s = f + -71. Is 12 a factor of s?
True
Let k = -199 + -1434. Let i = -1155 - k. Is i a multiple of 13?
False
Suppose -163*t - 2124 = -169*t. Suppose -7*v = t - 1026. Does 16 divide v?
True
Let t = 8491 - 8496. Let g(v) = -v**2 + 9*v - 5. Let f be g(6). Is f*72/30 - 4/t a multiple of 5?
False
Suppose -2*i + 6 = k + 3*k, -i + 4*k = -33. Suppose i = 3*h + 4. Suppose -92 - 28 = -h*o. Does 4 divide o?
True
Let v(u) = -u**2 + 4*u + 2. Let m(z) = -z**2 + z + 1. Let r(p) = 6*m(p) - v(p). Let b be r(8). Let s = b + 487. Is s a multiple of 11?
True
Suppose -3*c = -4*l + 8094, 36*c = 2*l + 35*c - 4046. Is l a multiple of 160?
False
Let u(a) = -a**3 - 2*a**2 - 15*a - 21. Let m be u(-7). Let p = 177 + m. Is 22 a factor of p?
True
Suppose -14*m - 14421 = -43947. Is 57 a factor of m?
True
Let b = -6228 - -7501. Is b a multiple of 19?
True
Suppose -8 = 10*b - 12*b. Let d be (-6)/b*-2 + (-1 - -555). Let k = d - 377. Is k a multiple of 30?
True
Suppose -4*x = -11*x + 14. Suppose -x*g = -t - 161, -t = g + 2*t - 63. Let i = g + -44. Does 14 divide i?
False
Let u(f) = -15*f - 4. Let j be u(-3). Let i = 45 - j. Suppose -35 = i*s - 195. Does 20 divide s?
True
Suppose -2*x + 17072 = 5*i - 17649, -3*i + 3*x + 20841 = 0. Is 56 a factor of i?
False
Let d = 6 + -4. Suppose -d*c + 3575 = 3*c + 5*u, -4*c + 2*u = -2878. Is c a multiple of 22?
False
Let n be (48/(-120))/(2/5). Let w(u) = -934*u**3 + u**2 - 3*u - 3. Is 41 a factor of w(n)?
False
Is 5 a factor of ((76400/(-10))/8)/((-2)/4)?
True
Let c be -11 + -3 - (-1 + -2). Let z(t) be the first derivative of -t**3/3 - 25*t**2/2 + 3*t + 302. Does 18 divide z(c)?
False
Suppose 0 = 2*q - 5*q + 180. Does 25 divide (-2)/(-15) - ((-38896)/q)/13?
True
Suppose -5*n = -2*u - 48, 4*u = 4*n - 8*n + 44. Suppose -n*t = -1298 - 952. Does 9 divide t?
True
Let h be (-2)/((8 - 5) + -1). Let i be (h/(-2))/(1/14). Suppose 9*t - 594 = i*t. Does 25 divide t?
False
Let s be 115/25 + (66/15 - 4). Suppose 1229 = -4*g + 7*g + s*d, 5*g + d = 2041. Is g a multiple of 24?
True
Let q(l) = -l**2 + 12*l - 30. Let p be q(8). Suppose 60 = 3*y - p*y + 3*f, 279 = 4*y - f. Is 8 a factor of y?
False
Let a(i) = 5*i**2 + 201*i - 181. Does 2 divide a(-52)?
False
Let x = 243 - 244. Is (-17094)/84*x*1*2 a multiple of 37?
True
Let i(b) = -b**3 + b**2 + 18. Let h(x) = -4*x - 48. Let a be h(-12). Let o be i(a). Suppose -o*p - 504 = -3402. Does 23 divide p?
True
Let g(k) = k**2 - 8*k + 56. Let v be g(18). Suppose -4*w = v - 1836. Is 50 a factor of w?
True
Suppose 25500 = -26*t + 51*t. Does 30 divide t?
True
Let c(q) = -213*q - 32. Let g(n) = -425*n - 66. Let w(l) = -13*c(l) + 6*g(l). Does 30 divide w(1)?
False
Let y be 1 + -1 + 1366/(-2). Let n = -444 - y. Let c = -170 + n. Is c a multiple of 12?
False
Suppose 5*o - 36 = 89. Suppose -5*i - 4*m + 0*m = -o, -5*i - 3*m + 25 = 0. Suppose 4*h = 3*j - 220, -j + i*j + h = 325. Is j a multiple of 13?
False
Let k(c) = c**3 - 10*c**2 - 6*c + 15. Let r(a) = -a**3 - 2*a**2 + 7*a - 1. Let s be r(-4). Let p be ((-11)/s)/((-2)/6). Is 35 a factor of k(p)?
True
Suppose -q - g - 4*g + 121 = 0, 0 = 5*q + 3*g - 671. Suppose 0 = -4*y + q + 144. Does 4 divide y?
False
Suppose 0 = 3*r + 2 - 11. Let h be -1 + ((-7910)/8)/7*-4. Suppose -2*o + x + 363 = 0, h = -0*o + r*o + 5*x. Does 33 divide o?
False
Let j be 98/14 - ((5 - 1) + -2). Suppose 7*s - 5*s + 5*z - 133 = 0, -69 = -s - j*z. Is 63 a factor of s?
False
Is 123 a factor of (1/(-2))/(65/(-383760))?
True
Suppose 0 = -165*j + 179*j - 98980. Is j a multiple of 3?
False
Suppose 5*v = 8*w - 31848 - 17555, 5*w - 30876 = 4*v. Is w a multiple of 51?
False
Suppose 269952 = -154*p + 170*p. Is p a multiple of 222?
True
Suppose 186*k - 425631 + 20895 = 0. Is 34 a factor of k?
True
Let r(l) = 14*l + 17. Let n(p) = -15*p - 18. Let o(b) = -2*n(b) - 3*r(b). Let v be ((-14)/(-63)*-6)/((-2)/(-6)). Is o(v) a multiple of 11?
True
Let k(l) = 20*l**2 + l + 1. Let g = -99 + 95. Let b be k(g). Let j = -194 + b. Is 7 a factor of j?
False
Let m(u) = -31*u**2 - 41*u - 24. Let w(s) = 16*s**2 + 21*s + 12. Let g(p) = -6*m(p) - 11*w(p). Does 9 divide g(-8)?
False
Let l(g) = -7 + 43*g - 2 + 0. Does 6 divide l(3)?
True
Let i be 12/42 + (-12)/(-7). Suppose -125 = -i*c + 101. Let q = c - 65. Is 12 a factor of q?
True
Let i = 217 - 225. Let g(z) be the second derivative of -z**4/12 - 3*z**3/2 - 3*z**2/2 + 2*z. Is g(i) a multiple of 3?
False
Let y = -15461 - -15752. Is y a multiple of 12?
False
Let i = -6656 + 9131. Is i a multiple of 15?
True
Suppose 0 = 5*v - 2*f - 25, 5*v - 31 = 4*f - 6. Suppose 0 = -v*r + 15, 0*p - 99 = -p - 3*r. Is 19 a factor of p?
False
Suppose 9*x = 35*x - 145808. Suppose 5592 = 5*k - 4*z, -6*k - 4*z = -k - x. Is k a multiple of 10?
True
Let f(k) = k**3 - 26*k**2 + 25*k + 34. Let m = -604 - -629. Is 6 a factor of f(m)?
False
Let q = -241 - -244. Let c = 245 + -70. Suppose 0 = -q*o + c - 7. Is o a multiple of 14?
True
Let p be ((-16)/24)/(1/(-3)). Suppose 7 = -p*d + 53. Does 23 divide d?
True
Let w be 4 - -2 - (1 + 0). Suppose -4*b + 10 = 5*j + b, -4*j + w*b + 8 = 0. Suppose -187 = -j*n + 25. Does 10 divide n?
False
Let v be 11/((4/60)/((-3)/(-5))). Let n = v - -17. Let d = n - 87. Is d a multiple of 29?
True
Suppose n + 4*l = 23708, 3*n + 4*l - 81290 = -10150. Does 28 divide n?
True
Let b = -1106 - -2063. Suppose 2*n = 2*m - m - 309, -3*m + b = 4*n. Is 10 a factor of m?
False
Let l be (-7)/4 + 2436/112. Let v = 7 + -2. Suppose -r + v*r - l = 0. Does 4 divide r?
False
Suppose 17*w = 19*w - 22. Let h = w - 8. Suppose 5*n = h*t + 147, 5*t - 125 = -0*n - 4*n. Does 6 divide n?
True
Let y(s) = -8*s. Let t(k) = -2*k**2 + 5*k + 7. Let p be t(6). Let w = p + 27. Is 16 a factor of y(w)?
True
Let k(z) = -z**2 + 7*z + 15. Let t be k(-3). Is 2 a factor of 11 - 4 - 1785/t?
True
Suppose 2*v + 10 = 0, 2269 = 16*c - 14*c + v. Is 4 a factor of c?
False
Suppose 6*n + 10*n - 1600 = 0. Let b be (n/(-40))/((-5)/12). Suppose z - 7 = -b*j + 3*j, -2*j = -4*z + 56. Is z a multiple of 7?
False
Suppose -732 = -4*z - 4*u, -2*z + 11*u - 7*u + 354 = 0. Let v = z + 207. Is v a multiple of 34?
False
Let x = -34605 - -96185. Is -1 + x/84 + 14/(-147) a multiple of 61?
True
Suppose 1340233 = 173*y - 1089552. Is 8 a factor of y?
False
Suppose 143*y = 21*y + 2483310. Does 115 divide y?
True
Let y be (-4)/(-4)*0/(-1). Suppose -2*r + 119 = 2*o - o, y = 2*o + 2. Suppose 0 = r*v - 64*v + 356. Is v a multiple of 47?
False
Let a(d) = -d**2 + 0 - 11*d + 1 - 9 + 2*d**2 + 3. Is 52 a factor of a(-8)?
False
Let z(a) = 11*a + 18. Let k be z(-10). Let j = k + 133. Let o = 162 - j. Is o a multiple of 10?
False
Let b(v) = -v**3 - 3*v**2 - 2*v - 1. Let m be b(-3). Suppose -16*n = -352 - 256. Suppose m*i - n = 67. Is i a multiple of 21?
True
Suppose 3*o - 23 = 4*x, 4*x = -o - x + 14. Suppose -8*q + o*q + 4*z = 758, q - 3*z = 765. Does 19 divide q?
False
Let a be 18/(-30) + (-65)/(-25). Suppose -2 = -a*g + 82. Does 2 divide g?
True
Suppose -s - 714 = 2*d - 13414, -2*d = 5*s - 12716. Does 10 divide d?
False
Let w = 9432 - 6805. Is w a multiple of 5?
False
Let c = 18 - 13. Is c/(-15)*3 + (-2 - -407) a multiple of 14?
False
Suppose -402*x + 295*x = -2557