 factor of (945/c)/(-7)*o/35?
True
Let w = 983 + 3470. Does 73 divide w?
True
Suppose 0 = -42*r - 696 - 1824. Let d be (-1 - (-4)/2)*-79. Let i = r - d. Does 2 divide i?
False
Suppose 0 = -3*c + 4*s + 15773, 18*c = 15*c - 3*s + 15717. Is 22 a factor of c?
False
Let v(f) = -541*f**3 + 8*f**2 - f + 6. Does 21 divide v(-2)?
True
Suppose 33*r - 15 = 38*r. Is 4/r + 8672/24 a multiple of 12?
True
Let l(p) = -p**2 + 6*p + 4. Let y = -271 - -274. Does 13 divide l(y)?
True
Is 7 a factor of 405/(-15)*-109 - -7?
False
Let v(k) = -k**2 - 15*k + 40. Let w be v(-17). Let f(c) = 50*c - 60. Is 12 a factor of f(w)?
True
Let u = -2031 + 5021. Does 10 divide u?
True
Let f = 118 - -80. Is f/27 + -7 - (-226)/6 a multiple of 3?
False
Suppose 0 = -5*q + 2*q + 3*c + 2139, 0 = -4*c + 12. Let h = q - 509. Suppose -h = -3*o - 3*k, -4*o + 5*k + 51 + 180 = 0. Is o a multiple of 16?
True
Suppose 0 = w - 14 - 20. Let m = -93 + w. Let z = m - -89. Is 10 a factor of z?
True
Let i be 5/2*-3*(-28)/105. Is ((-58920)/180)/(i/(-6)*2) a multiple of 12?
False
Let m = 960 - 175. Suppose -5*b - 2*h = -3*b - 314, 4*h = -5*b + m. Suppose b = 4*j - 339. Does 15 divide j?
False
Let k(h) = -48*h**2 + 2*h + 20*h**2 - 17*h**3 + 16*h**2 + 10*h**2. Let c be k(-2). Is 16 a factor of -7 + c + 15/(-3)?
True
Suppose -98231 - 204039 = -5*i. Is 99 a factor of i?
False
Suppose 246*o + 4*j - 23010 = 243*o, 4*o = 3*j + 30730. Does 27 divide o?
False
Let z be 101/(-11) - 11/(605/(-10)). Let x = 11 + z. Suppose 3*d + x*b = -2*b + 104, 2*b = 4*d - 124. Is 16 a factor of d?
True
Let t = -129 + 160. Suppose -z - x = -8, -t = -0*z - 4*z - 3*x. Does 7 divide z?
True
Suppose 0 = -4*s + s + 6. Suppose -7 - 7 = -s*w. Let q(y) = -y + 22. Is 7 a factor of q(w)?
False
Let v be (-5)/20 + -21*(-3)/12. Let q = v + 59. Suppose -3*s = -s - q. Does 4 divide s?
True
Let f be 1*3 + (-3 - (-9 + 5)). Suppose -2*m + 4*w + 3 + 37 = 0, 2*m - 40 = -w. Is (f - 9)*(-96)/m a multiple of 4?
True
Suppose 14*q = 19*q + v - 3699, 4*v = 5*q - 3704. Is q a multiple of 74?
True
Let q be 2/((-12)/(-66)) - -2. Is 19 a factor of -3 + 189/(-9)*(1 - q)?
False
Let t = -1765 - -2674. Suppose 13*q - 898 = t. Suppose 13*y = q + 563. Does 3 divide y?
True
Let p(z) = -57*z - 61. Let l(g) = -2*g - 2. Let o(u) = -2*l(u) + p(u). Does 3 divide o(-3)?
True
Let u(x) = -43*x + 136. Let z be 4/((-2 - 12/(-8))/1). Does 24 divide u(z)?
True
Let d = 64 + -80. Let b = -62 - d. Let m = 92 + b. Is m a multiple of 13?
False
Suppose 21*u - 8495 = 91949 + 10604. Is 26 a factor of u?
False
Is 9 a factor of -1799*((-154)/49 - -9 - 6)?
False
Let j be (-42)/294 + (-786)/(-14). Suppose j*z - 112656 = -17512. Is 45 a factor of z?
False
Let x be 83*-1 - (1 - 0). Suppose -5*g + 2*q - 56 = 0, -5*g + 0*q = 2*q + 64. Let n = g - x. Is 24 a factor of n?
True
Let k(n) = -7*n**3 + 15*n**2 + 5*n + 13. Is k(-7) a multiple of 10?
False
Let u = -7501 + 19832. Does 38 divide u?
False
Let c = 4355 - 3755. Is 20 a factor of c?
True
Let p(f) = f**2 - 65*f + 318. Let z be p(61). Let s(i) = i + 3. Let r be s(-4). Does 9 divide 3 - (r*z - 3)?
False
Let t be (-532)/(-112) - 10/(-8). Is 20 a factor of ((t - -12) + -3)*9?
False
Suppose 0*m - 3505 = 5*m - o, 3*m + 2103 = 5*o. Let v = 706 + m. Is v a multiple of 2?
False
Suppose 3*f - 15 = -3*h, -3*f - 3*h + 20 = f. Suppose -2*a - f*c = 0, 12*a - 10 = 8*a - 5*c. Suppose -2*x = -3*m + 3*x + 92, -a*m = 3*x - 142. Does 29 divide m?
True
Let v(j) = -2*j + j + 59 - 50. Does 2 divide v(4)?
False
Suppose -17*g + 72 = 7*g. Suppose 1346 = g*i - 31. Is i a multiple of 19?
False
Suppose 3*w + 4*o + 145 = 4*w, 281 = 2*w - 5*o. Is 15 a factor of w*(-1)/(2 + 129/(-54))?
False
Suppose 0 = 23*j - 60166 - 5522. Does 21 divide j?
True
Let a(k) = 4*k - 4*k**3 + 101 + 214 + 5*k**3 - 4*k**2. Is 63 a factor of a(0)?
True
Let z = -44042 + 62528. Is 158 a factor of z?
True
Suppose -5*n = 3*u - 18088, -5*u + 19*n - 24*n = -30160. Is 3 a factor of u?
True
Let k = 306 - 240. Suppose 0 = 59*l - k*l + 5264. Is 47 a factor of l?
True
Let h(g) = g**2 + g - 8. Let y be h(-3). Is (y + -1)*136/(-24) a multiple of 9?
False
Suppose 0 = v - 3 - 8. Let z(m) = m - v + 16 - 8. Is z(7) a multiple of 2?
True
Suppose 2*h - 4681 = -p, -4*p + 4*h + 9756 = -8920. Is p a multiple of 4?
False
Suppose 0 = -4*z + 5*y + 36 + 7, 5*y + 26 = 3*z. Let t(x) = -5*x - 29. Let c be t(z). Is 26 a factor of 4/((-8)/(-28) + c/448)?
False
Let d(f) = -14*f + 52. Let u be d(4). Let m(x) = -9*x**3 - 3*x**2 - 13*x - 4. Does 57 divide m(u)?
False
Let u(g) = 2*g**3 - 26*g**2 + g - 8. Let d be u(13). Suppose -d*r - 4*p = -519, 0 = 3*r + p + 2*p - 312. Is r a multiple of 8?
False
Let f = 241 - 236. Is (-7 - 0) + f + 492 a multiple of 10?
True
Suppose -196*j - 18104 = -197*j + 2*y, 5*j + 4*y = 90408. Does 19 divide j?
True
Let g be -5 + 3/1 - 2271. Let v = -1337 - g. Suppose 0*k = -6*k + v. Is 13 a factor of k?
True
Let y(s) = 27*s**2 + 273*s + 21. Let d be y(-10). Suppose 4*w + 18 = 5*w. Does 11 divide (w/(-24))/(d/132)?
True
Let i be (2*4)/(24/(-12)). Let w(z) = 5*z**2 - 2*z - 3. Let s be w(i). Suppose 3*n = 122 + s. Is n a multiple of 23?
True
Suppose 34*t - 93*t + 28880 = -110655. Is t a multiple of 8?
False
Let v(r) = r + 6. Let h be v(14). Is (14 + -19)/(-2*2/h) a multiple of 3?
False
Let r be 2/((-425)/(-420) + -1). Is (-2 - 2)/((-7)/r) a multiple of 15?
False
Suppose 4*r - 80 = 4*g, 0 = -0*g - g + 2*r - 22. Let k be g/(-5) + (32/(-20))/(-4). Suppose k*d = 9*d - 120. Does 2 divide d?
True
Suppose 0 = 5*v + 3*l - 15044 - 6400, -l = 3*v - 12868. Is 55 a factor of v?
True
Let m(v) = -v + 28. Let f be m(20). Suppose -127 - f = -n. Is 5 a factor of n?
True
Suppose -2*n = 4, 4*n + n = 2*p + 78. Let x = p - -122. Is 39 a factor of x?
True
Let q = 43892 + -26640. Is q a multiple of 78?
False
Let u = 296 + -190. Suppose 5*r + 312 - u = w, -4*w + 856 = -4*r. Is 9 a factor of w?
True
Let v(x) = -4*x**2 - 63*x - 43. Is 17 a factor of v(-10)?
True
Let d(k) = 2*k**2 + 15*k + 5. Let q be d(-7). Does 16 divide 5 - (-215 + -2 + q)?
True
Is 27 + -22 + (7 - -31544) a multiple of 98?
True
Let w = -31 - 18. Let u = -44 - w. Is 150 + 1 - (u - 8) a multiple of 14?
True
Suppose -1099 = -8*m + 1693. Let s = -149 + m. Is 25 a factor of s?
True
Suppose -36*a + 25819 = -428321. Does 81 divide a?
False
Let b(k) = -k**2 - 11*k + 68. Let q be b(-15). Is 13 a factor of (19/((-171)/(-234)))/(q/500)?
True
Let g(h) = 7*h**3 + 5*h**2 - 6*h - 14. Let m be g(-4). Let x = 761 + m. Is 13 a factor of x?
True
Let g(a) = -2804*a - 7736. Does 207 divide g(-19)?
True
Suppose 9*r - 199392 = 4*d, 3*r - 3*d = -0*r + 66474. Is 7 a factor of r?
False
Let i be (-1 - -97)*14100/200. Suppose -67*k + 19*k + i = 0. Is k a multiple of 3?
True
Suppose -2*y - 242 = -f, -5*y + 5*f - 294 = 316. Let l = y + 168. Suppose 7*m - 5*m - l = 4*o, 5*m = -4*o + 120. Is 8 a factor of m?
True
Let y(u) = -17806*u + 7782. Does 75 divide y(-3)?
True
Suppose -498*i + 513*i = 48375. Does 15 divide i?
True
Suppose -2160 = 3*b - 27*b. Let k = 120 - b. Is 15 a factor of k?
True
Is 10 a factor of (-5 - -2)/((108/280)/(-27))?
True
Suppose -106 + 6 = 10*u. Let f(d) = -12*d - 48. Is 9 a factor of f(u)?
True
Let r be (-8)/(-12) - (-2)/6. Is 2 a factor of ((-72)/15)/(r*(-4)/40)?
True
Suppose 8*p - 23 = 9. Suppose -p*y - 4*h = -h - 401, 2*y - 3*h = 223. Does 5 divide y?
False
Suppose 5*z = -25, 37*w = 40*w - 4*z - 2612. Is w a multiple of 16?
True
Suppose -10008*f - 32112 = -10016*f. Is 80 a factor of f?
False
Let k be (1 - 4)*(-285)/(-9)*1. Let t = k - -89. Is 49 a factor of 6366/26 - (60/65)/t?
True
Let m = 48 - 48. Let p = 30 - m. Suppose -2*l = 4*l - p. Is 5 a factor of l?
True
Let s(l) = 43*l - 87. Let y(h) = h**2 + 4*h - 13. Let t be y(-7). Does 16 divide s(t)?
False
Let q(y) = -55*y + 29. Let g(c) = 27*c - 14. Let m(v) = -5*g(v) - 3*q(v). Let w be m(-6). Let d = w - -333. Does 30 divide d?
False
Let u = 108 - 108. Suppose 4*j - 4 = u, -169 - 327 = -2*z - 4*j. Is z a multiple of 41?
True
Let k(r) = 3*r**3 + 2*r**2 - 27*r - 2. Let y be k(7). Suppose 0 = -6*a - 12*a + y. Is 3 a factor of a?
False
Let l be (-10)/(-85) - 249/(-51). Suppose 0 = -l*j + 2*s + 270, 0*j = 3*j - s - 163. Does 7 divide j?
True
Let b = -87 - -132. Suppose -6*t - b = -15*t. Suppose 3*s - 578 = t*k, 3*k = 7*k - 2