 h + 228. Is o a multiple of 35?
False
Let u(j) = 8*j**2 - 28*j + 17. Let o be u(11). Suppose 3*s - o = 43. Is s a multiple of 5?
True
Let n(z) = 3*z**2 - 2*z - 3. Let x be n(3). Suppose -714 = x*t - 24*t. Is t a multiple of 7?
True
Let k(i) = 35*i + 229. Let c be k(-6). Let d(t) = 3*t**2 + 7*t + 44. Does 42 divide d(c)?
True
Suppose 14 - 70 = -2*x. Let u(r) = 7*r**2 + 0*r**2 + 3*r**2 - 9*r**2 - 25*r. Is u(x) a multiple of 8?
False
Suppose 0 = -m - 20380 + 101447. Is 447 a factor of m?
False
Suppose 5 = -3*q + 3*s + 17, 4*s + 7 = q. Suppose -1470 = -3*u - q*o, 3*u - o - o = 1490. Does 38 divide u?
True
Let i be 9/(-18) - 1 - 863/(-2). Suppose -3*n = q - 434, -14*n - 5*q = -11*n - i. Does 14 divide n?
False
Does 44 divide (-66)/(-5)*(-1 - 506/(-6))?
True
Let c = 2186 + -2108. Let o = 119 - 174. Let f = o + c. Is 4 a factor of f?
False
Suppose -2*z + v + 15739 = 0, 38*v = -2*z + 42*v + 15724. Is 14 a factor of z?
False
Let f = 72 + -69. Suppose -3*v + f = 2*d - 3, -v = -3*d + 9. Is 2 a factor of v + 3/2 - (-55)/2?
False
Suppose 0 = 2*w - 3*p - 1, -w + 4*p = w - 2. Suppose 5*h = -4*r - 30, -3*r - 2*h + 11 = 37. Is 2 a factor of (w + 1)/2 - r?
True
Suppose -4*i - 57 = 3*d, 2*i + 30 = -44*d + 42*d. Let q(u) = -6*u - 18 - u**3 - u - 12*u**2 - 7*u. Is q(i) a multiple of 25?
True
Does 5 divide (-1 - 87/21)*(-52535)/38?
True
Let x be -1 + (-8)/(-14) - 1854/(-63). Suppose 23584 = 15*y + x*y. Is 8 a factor of y?
True
Let f(w) = 9*w**2 - w**3 + 5*w**2 - 275*w + 283*w. Is f(8) a multiple of 16?
True
Let i(h) = -221*h - 89. Let l be i(-3). Let o = 651 - l. Is o a multiple of 5?
False
Suppose -10*v = v - 0*v. Suppose 11 = -x - 2*b + 1, -2*x - 5*b - 25 = v. Suppose x = 3*l + 64 - 262. Is l a multiple of 15?
False
Let g be 3/6 - 2/4. Let m(u) = u**2 - 6*u - 131. Let r be m(15). Suppose -2*d - r = g, -o + 177 = 2*o + 3*d. Is 13 a factor of o?
False
Suppose 5*z = -3*z - 40. Let y be (-24)/(-2)*(10/4)/z. Is 13 a factor of (-2)/y*(-39)/(-1)?
True
Let d = -188 + 186. Let m(f) = -107*f + 2. Does 13 divide m(d)?
False
Let t(m) = 95*m + 200. Let u(n) = 142*n + 300. Let c(d) = -8*t(d) + 5*u(d). Is 25 a factor of c(-13)?
True
Let p(y) = 20*y**2 - 15*y - 260. Is p(-11) a multiple of 75?
True
Suppose 8 = y - 5*f, -2*f = 2*y - 18 + 2. Let j(z) = -7 - y + 5 - 2 + z**3 + 19*z - 19*z**2. Is j(18) a multiple of 6?
True
Let w be 29/((-1827)/(-18))*7/1. Suppose b + 0*g = -g + 19, -58 = -4*b + w*g. Is b even?
True
Suppose 36*s - 198618 = 290010. Does 12 divide s?
False
Let k be (-57)/(-21) - (19/7 - 3). Is 12 a factor of 5 - (k + -5 + -257)?
True
Let f(g) = 11*g + 495. Let z be f(-45). Suppose 3*i - 3*v - 15 = 0, -5*i - 5*v = 36 - 111. Suppose i*w - 7*w - 324 = z. Is 21 a factor of w?
False
Let t = -1807 + 1288. Let o = t - -621. Is 11 a factor of o?
False
Suppose 25*g = 59*g - 316268. Is 94 a factor of g?
False
Let u(n) = -7*n + 6*n + 37 + 9*n + 9*n + 48. Is u(12) a multiple of 4?
False
Let y(q) = 8*q**3 - 225*q**2 + 103*q - 48. Is 6 a factor of y(28)?
True
Let a be 1226/(-7) - (-12)/(-14). Let m = a - -358. Does 13 divide m?
True
Let r(d) = 75*d**3 + 7*d**2 + 26*d - 6. Does 71 divide r(8)?
True
Let t(s) = -s**2 + 18*s + 3. Let w be t(18). Suppose 2*r + a - 417 = 0, -8*a = -r - w*a + 181. Suppose 214 + r = 5*y. Is y a multiple of 20?
False
Suppose 5*g = 4*g - 2485 + 48898. Is g a multiple of 72?
False
Let d = -233 + 1753. Suppose -i = 4*n + 448 - d, 3*i - 2*n - 3244 = 0. Is i a multiple of 90?
True
Let y(f) = 9*f**2 + 3*f - 667. Is y(21) a multiple of 31?
False
Let k(w) = 46*w + 88. Let g(a) = -46*a - 88. Let h(z) = -3*g(z) - 4*k(z). Is h(-3) a multiple of 9?
False
Let k(z) = -2*z**2 - 12*z + 19. Let p be k(-7). Is 51 + (p - 11) + 3 a multiple of 3?
True
Let z = -1884 + 2820. Suppose 4*s = -3*w + 703, -w = 3*w + 4*s - z. Suppose 4 + w = 3*n. Does 5 divide n?
False
Suppose -138 = -5*f + 4*t, -3*f - 4*t - 40 = -142. Suppose -3*n - 3*s = -144, n = s + f + 10. Is n a multiple of 5?
False
Let a(h) = -h**2 - 17*h - 37. Let d be a(-3). Suppose 0*x = -2*x - d*u + 116, -4*x + 218 = 3*u. Does 16 divide x?
False
Let h(l) = l**3 - 57*l**2 - 18*l - 127. Is h(58) a multiple of 21?
False
Let r(w) = -w**2 + 5*w + 3. Let g be r(5). Suppose g = -3*x, -7*m + 4*m + 3*x + 1050 = 0. Does 15 divide m?
False
Let m be 2 - -7 - ((-64)/(-2))/8. Suppose 4*u - 7*a + 12*a - 575 = 0, m*a - 725 = -5*u. Is 6 a factor of u?
True
Suppose -5*u + 5*h + 79329 = 29614, -3*u + 29843 = 4*h. Is u a multiple of 65?
True
Let i(f) = -f - 5. Let l be i(-4). Let d be 0 + (l/(-1) - 1). Suppose 4*q - 41 - 99 = d. Is q a multiple of 22?
False
Let s(k) = 415*k + 1467. Is 3 a factor of s(6)?
True
Suppose 3*n = -5*w - 100, -5*n + 5*w = -18 + 238. Let l = 52 + n. Is 0 + 60 + l + -13 a multiple of 13?
False
Let v = 878 + -280. Let o = 741 - v. Does 8 divide o?
False
Let s(i) = -i**3 - i**2 + 3*i. Let k(z) = 8*z - 6*z + 3*z + 14 - 4. Let p be k(-3). Is 14 a factor of s(p)?
False
Suppose 15 = -5*d - 0. Let x be (-6 - -39) + (d - 0). Is x*(2 + -5 - 75/(-9)) a multiple of 16?
True
Suppose -2*u + 2*l = -146, 5*l - 97 - 228 = -5*u. Suppose 21072 = -21*h + u*h. Does 73 divide h?
False
Let l be (-2)/4 - (-2 + 1929/(-2)). Suppose 73*c - l = 70*c. Is c a multiple of 11?
False
Let s(w) = 2*w**2 + 14*w - 8. Suppose 4*y + 0*r = 2*r + 22, 5*y - 32 = -2*r. Suppose -y = -b - 18. Does 16 divide s(b)?
True
Let z(c) = 4472*c**2 + 59*c + 82. Is 313 a factor of z(-3)?
False
Suppose 9 = 2*m - 3*t, m - 5*t - 2 = 6. Suppose -3*s = 2*c - 126, -7*s = -3*s + 2*c - 170. Suppose -1 = -m*v + s. Is v a multiple of 3?
True
Suppose 0 = 2*d - 20 + 10. Let t(r) = d*r**2 - r**3 - 6*r**3 - r + 6*r**3 - 4*r**2 + 5. Does 3 divide t(0)?
False
Let h = -147 + 110. Suppose -19*q + 16*q = -81. Let l = q - h. Is 24 a factor of l?
False
Suppose -13*x = 39 + 403. Let w = -97 + 33. Let y = x - w. Is 10 a factor of y?
True
Let x(j) = 11*j + 11*j**2 + 8*j**2 + 8*j - 18*j**2 + 49. Let c be x(-20). Suppose 6*k = 5*p + 2*k - 97, 3*p = -3*k + c. Is p a multiple of 2?
False
Is (7 - 5)/((-18)/(-69))*69 a multiple of 7?
False
Let k be 8*(2 - (-12)/(-8)). Suppose 59 = k*x + 19. Suppose -x*u = -239 - 1241. Is u a multiple of 23?
False
Let z(w) = 10 - 371*w + 25 + 396*w. Let a be z(-10). Let c = a - -345. Does 14 divide c?
False
Is -979*(126/(-3))/7 a multiple of 95?
False
Let z(m) = 180*m**2 + 3*m - 24. Is 62 a factor of z(-5)?
False
Suppose 0 = -5*x + 2*x + x. Suppose 21*g - 9*g - 2160 = x. Is g a multiple of 14?
False
Let i(f) = -f**3 + 13*f**2 + 10*f + 17. Let k be i(13). Let v = -117 + k. Is v a multiple of 30?
True
Suppose -21*w = -27*w + 18792. Suppose 0 = 7*t + 591 - w. Does 33 divide t?
True
Let c(y) = -y**3 - 18*y**2 + 14*y + 15. Let j be c(-19). Let h(t) = 52*t + 11 - j*t + 9*t**2 + 66*t. Is 28 a factor of h(-5)?
True
Let v = 362 - 352. Suppose -5*b = -5*c - 610, 4*c = -5*b + 311 + 281. Suppose 12*x = v*x + b. Is 5 a factor of x?
True
Let b = -91111 + 153736. Is b a multiple of 293?
False
Suppose 240*i - 18*i = 1243644. Does 6 divide i?
False
Let h be 6/9 + (-12)/(-9). Does 7 divide (-223)/(-2) + ((-3)/h)/(-3)?
True
Let z(n) = -30*n - 263. Let a be z(-11). Suppose 3*i - 4*h - 4366 = 0, 66*h - a*h - 4381 = -3*i. Is 34 a factor of i?
True
Suppose 2*d + 0*d - 3*s = 106, 3*s + 12 = 0. Suppose -44*b - 84 = -d*b. Is 28 a factor of b?
True
Let g(v) = -3*v**3 + 8*v**2 + 45*v + 171. Is 17 a factor of g(-6)?
False
Suppose -4*g = -168*f + 163*f - 289769, -4*g = -4*f - 289764. Does 364 divide g?
True
Is 20 a factor of 5 + ((-15523)/(-15) - 11*14/(-1155))?
True
Let h(l) = l**3 + l + 170. Let m = -1 + 10. Let p be -3 + (m - 5) - (0 - -1). Is h(p) a multiple of 17?
True
Let u(f) = -f**3 - 5*f**2 + f + 109. Is 95 a factor of u(-13)?
False
Suppose 16*t + 4*q = 17*t - 1006, -2*t = 5*q - 2038. Does 13 divide t?
True
Let u(z) = z**3 - 19*z**2 + 31*z + 51. Let b be u(17). Suppose -6*k - 12*k + 8820 = b. Is k a multiple of 25?
False
Let l be (-3 + 125)/(-5 + 4). Let q = -70 - l. Suppose -t - 2*t + 2*f = -q, -t - 5*f = -23. Is 6 a factor of t?
True
Suppose 0 = 5*p - k + 129, 3*p + p = -k - 105. Let m = -21 - p. Suppose m*w = -4*w + 603. Is w a multiple of 12?
False
Suppose 0 = 2*c - 43 - 135. Suppose 11 = -13*b + c. Suppose 189 = 5*v - q, -b*v + 160 = -2*v - 3*q. Does 3 divide v?
False
Suppose -3*k