 -672*t + 108360. Does 43 divide t?
True
Let u(z) = -2*z - 16. Let x be u(-10). Suppose v + 16 = 5*v - g, -4*v - x*g = -36. Does 8 divide (-5)/((-15)/162) + v/5?
False
Let i be 15/10*-2 - 346*-1. Suppose -i = 147*v - 148*v. Does 11 divide v?
False
Suppose -38*n - 11328 = -50*n. Does 4 divide n?
True
Suppose -49*r - 3*x = -44*r + 3500, -r - 672 = -5*x. Let h = -681 - r. Is h a multiple of 2?
True
Suppose -p + 2*z + 2*z = -11520, 3*p - 34600 = 2*z. Is p a multiple of 112?
True
Let u(k) = -7*k - k - 5*k + 16*k + 27. Let n(p) = -p**3 - 4*p**2 + 8. Let m be n(-4). Does 10 divide u(m)?
False
Is ((-12 + (-143)/(-11))*-1)/((-1)/2888) a multiple of 18?
False
Let i(v) = -v**3 + 205*v + 258. Is i(-18) a multiple of 15?
True
Suppose 3*i - 20 - 16 = 0. Suppose 0 = -10*m + 13*m - i. Suppose -140 = -m*f - 8. Is f a multiple of 25?
False
Is (12/(-7))/((-48)/1200024) a multiple of 241?
False
Let b be ((-9)/2 - -4)*92. Let n = b + 313. Is 16 a factor of n?
False
Let i = -7541 - -10432. Is i a multiple of 40?
False
Let u(n) = 429*n - 186. Is u(10) a multiple of 72?
True
Let m(z) = -1588*z - 7221. Does 7 divide m(-9)?
False
Let b(a) = -3*a + 976. Let f be b(0). Suppose 0 = 4*d + 5*z - z + f, 0 = 4*z. Let y = d + 403. Does 53 divide y?
True
Suppose -246 = -12*z + 210. Let y = z + -5. Suppose y*n - 261 = 30*n. Is n a multiple of 17?
False
Suppose 7*q = 3*u - 171484, -58*q = -2*u - 60*q + 114356. Is 77 a factor of u?
False
Let z = 106 - 103. Suppose 0 = -4*y + 4*c + 336, 2*c - 5*c = z*y - 252. Does 7 divide y?
True
Suppose 131 = -2*c + 2*n - 23, 2*c - n + 157 = 0. Let d = 110 + c. Is d + (4 - (-2 - -5)) a multiple of 10?
False
Let j(y) = 7*y + 2. Let m be ((20/(-25))/((-4)/70))/1. Is j(m) a multiple of 10?
True
Suppose -2*v - v - 4*i = 217, 5*v - 4*i = -319. Let f = v + 69. Suppose -2*w - 142 = -f*u - 6*w, -3*u = w - 188. Does 9 divide u?
False
Let i be 1 + 21 - (3 - 5). Suppose 8*r - 1885 = -21*r. Suppose -i*h = -19*h - r. Is h a multiple of 7?
False
Let f(z) = -4386*z - 264. Is 48 a factor of f(-4)?
True
Let f = 65 + -53. Suppose 2*c - f*c + 2560 = 0. Is 41 a factor of c?
False
Let c = 1654 - 1087. Suppose 0 = 5*d - c - 808. Does 11 divide d?
True
Let y = 121 - -1. Let m = y - 120. Suppose m*z = -5*v + 109, 2*z - 136 = 9*v - 5*v. Is 31 a factor of z?
True
Let p(w) = 7*w - 4. Let q be p(1). Let t(c) = 6*c**2 - 6*c + 48*c**3 + 50*c**3 - 97*c**q + 18. Is 9 a factor of t(-6)?
True
Suppose -3*r + 4*y + 6622 + 4598 = 0, 5*r - 5*y - 18710 = 0. Does 53 divide r?
False
Suppose -3*h = -63 + 51. Suppose 2*c = -x + 1745, -h*c + c - 3*x + 2625 = 0. Is c a multiple of 30?
True
Let u(x) = x**3 - 6*x**2 + 2*x - 4. Let l be u(6). Let v be (-2)/l - 3*(-471)/36. Suppose 81 = 2*d - v. Does 30 divide d?
True
Suppose -3*l - 3*d + 2353 + 572 = 0, -5*l = 2*d - 4884. Suppose 2334 = 5*j + 3*n, -2*j + l = -2*n + 38. Does 59 divide j?
False
Suppose -4 = x, 0 = -5*f + 4*x + 1858 + 5473. Suppose c + f = 8*c. Suppose -4*p = -19 - c. Is 17 a factor of p?
False
Suppose -13*d + 2*l - 103568 = -20*d, 5*d - 5*l = 73990. Does 36 divide d?
True
Let s be (-1054)/(-93) + ((-2)/(-3))/(-2). Suppose -7*r = -s*r - 4. Is 16 a factor of r + (24/(-60) - 974/(-10))?
True
Suppose 0 = -s - 4*s + 2*c + 26, 4*s = -3*c + 7. Let d be s + -6 + (1 - -243). Let k = 374 - d. Does 22 divide k?
True
Is 8/56*(0/4 + 1589) - 5 a multiple of 74?
True
Suppose 0*x = 4*x - 12. Suppose -x*y + 67 = -35. Suppose 0 = -k + y + 141. Is k a multiple of 41?
False
Let s(f) = -f**3 - 59*f**2 - 505*f - 56. Is s(-49) a multiple of 6?
False
Let f be (-3)/(-15)*5 - -2. Suppose -3*p + 194 = f*k + 2*k, -3*p = -3*k - 210. Let w = p + 64. Is 6 a factor of w?
True
Let x(k) = -2*k**2 - k + 18. Let m(l) = 6*l**2 + 4*l - 56. Let r(q) = -3*m(q) - 10*x(q). Does 2 divide r(-5)?
True
Is -10 + 192/8 + 2053 a multiple of 53?
True
Let a be -10*((-12)/(-4))/(-3). Suppose 16*m - 11*m = 15. Suppose -6 = -z - 0*h - h, -z + a = -m*h. Is z a multiple of 4?
False
Let g = -36 - -36. Suppose 3*v - 5*m - 317 = g, m - 333 + 4 = -3*v. Is v a multiple of 13?
False
Suppose 0*p + 3*p - 2*l = -107, -p - 33 = 2*l. Let j be 7/p + 12/10 + -1. Suppose -2*h + 4 + 6 = j. Does 5 divide h?
True
Suppose -2*k = -3*z - 11, -7*z + 2*z - 20 = -5*k. Is (1 + k)/((-66)/(-2805)) a multiple of 17?
True
Let f(l) = 6 - l - 22 + 8 - 20. Let s be f(-10). Let w(h) = -h**2 - 24*h - 8. Is 20 a factor of w(s)?
True
Let j = 52460 + -30878. Is 33 a factor of j?
True
Let n = -1056 + 1722. Suppose -18*d + 2358 + n = 0. Does 6 divide d?
True
Let g be 2/(-6) - (-10)/(-6). Suppose 44*w + 5*a - 49 = 45*w, -4*w = -3*a + 162. Is w/g*18/27 a multiple of 13?
True
Suppose -29*g = -124*g + 1852550 - 738960. Does 53 divide g?
False
Suppose 3*c - 68*n = -66*n + 93404, 0 = 5*c - n - 155678. Is c a multiple of 32?
True
Suppose 182744 + 441780 = 35*k - 837916. Is k a multiple of 12?
True
Suppose -24*k - 12*k + 982 + 54458 = 0. Is k a multiple of 14?
True
Let q(a) = -a**3 + 11*a**2 - 12*a - 2. Let j(c) = 3*c - 79. Let t be j(28). Suppose -2*r - 7 = -5*y, 0 = t*r - 4*y - 25. Does 41 divide q(r)?
False
Suppose -214 - 26 = -3*f. Suppose -31 = -a + y, 31 = -a - 5*y + f. Let k = 57 - a. Does 12 divide k?
False
Let p(m) = 67*m - 135. Does 72 divide p(31)?
False
Suppose 2*a = 2*u, u = 3*a - 0 - 8. Suppose u*v + 15 = 9*v. Suppose 2*z = 3*s - 194, v*s - s - 128 = z. Is s a multiple of 4?
False
Is (212/(-1*2))/((-42 - -35)/966) a multiple of 92?
True
Let h(n) = n**2 - 21*n + 37. Let r be h(18). Let g(y) = y**2 + 19*y + 13. Let q(d) = -2*d**2 - 37*d - 26. Let o(z) = -5*g(z) - 2*q(z). Does 11 divide o(r)?
True
Let m(l) = 630*l**2 + 71*l + 56. Is m(4) a multiple of 8?
False
Is 5 a factor of (245/140)/((-3)/(-1068))?
False
Suppose 15*n - 29 = 91. Suppose n*b = 3039 - 543. Is 30 a factor of b?
False
Let y(m) = -m - 1. Let j be y(-1). Suppose 42 = 2*n + 5*n. Suppose j = n*z + 71 - 263. Is z a multiple of 16?
True
Let g(o) = 2281*o - 359. Is 29 a factor of g(8)?
False
Let a be (-370)/(-2)*52/65. Suppose 67*t + a = 68*t. Is 15 a factor of t?
False
Let f(r) = 3*r - 44. Let u be f(16). Suppose -3*p + 3*t = -2 - 1, -20 = -u*t. Does 6 divide p?
True
Suppose -2467*w = -2416*w - 2612322. Is w a multiple of 131?
False
Let y = 93 - 91. Suppose -3*o + 4*n + 110 = 0, 2*o - 100 = -y*n - 2*n. Is 14 a factor of o?
True
Let b(x) = 3*x**2 - x + 1. Let o(l) = -12*l**2 - 17*l - 9. Let z(t) = -b(t) - o(t). Does 32 divide z(4)?
True
Let y(b) = -3007*b**3 + 27*b**2 + 25*b - 3. Is 17 a factor of y(-1)?
False
Suppose -i + 485 = 4*l + 1790, -3*l = -i + 977. Let n = 837 + l. Is n a multiple of 36?
False
Let l(v) = -13*v + 76. Let i be l(6). Let z(x) = -79*x**3 - 2*x**2 + 3*x + 6. Does 48 divide z(i)?
True
Let h(z) be the second derivative of z**4/6 - 7*z**3/2 - 17*z**2/2 + 19*z. Let q(u) be the first derivative of h(u). Is 3 a factor of q(7)?
False
Let u = -114 + 125. Suppose z = -u + 17. Let h(l) = 3*l**2 - 15*l + 4. Is h(z) a multiple of 4?
False
Suppose -430 + 67 = 3*j. Let q = j - -206. Is q a multiple of 17?
True
Suppose -8*i + 1517 = -883. Suppose 12 = 3*c - 2*q - 146, -i = -5*c - 4*q. Is 7 a factor of c?
True
Suppose 38*u - 34*u = 256. Suppose -u*d = -68*d + 1304. Does 13 divide d?
False
Let y = 10565 - 7865. Is 14 a factor of y?
False
Suppose 915 = -7*g - 695. Let n = g + 259. Is 11 a factor of n?
False
Suppose 950 - 3932 = -2*g. Suppose -192 = -11*f + g. Is 51 a factor of f?
True
Let t = 22043 - 16195. Does 136 divide t?
True
Let i(s) = -3*s**3 + 101*s**2 - 47*s + 35. Is i(23) a multiple of 23?
False
Let d(x) = -x - 1. Let c(k) = 153*k + 8. Let h(a) = c(a) - 2*d(a). Let z be h(6). Suppose 3*n = -2*n + z. Is 23 a factor of n?
False
Let v(j) = -4*j - 80. Let q be v(-18). Does 3 divide (2/(-8) - (-6)/q)*-134?
False
Let f(g) = g**3 + 21*g**2 - 25*g - 61. Let q be f(-22). Suppose 0 = 2*x + q*j - 304 - 384, -j - 688 = -2*x. Is 37 a factor of x?
False
Let w = -671 + 2144. Does 73 divide w?
False
Let j be (-165)/(((-135)/110)/9). Suppose -5*k + 1 = 26, -2*k + j = 4*u. Is 20 a factor of u?
False
Suppose 0 = -26*c + 9*c + 5746. Suppose -21*k + c + 187 = 0. Does 21 divide k?
False
Let a be -3 + 8/(2 - 4) + 358. Suppose a = 2*i - 273. Is 26 a factor of i?
True
Is 44/(-6336)*24 + 37178/12 a multiple of 18?
False
Let w(l) = -4*l + 11. Let s(x) = -1. Let h(g) =