 12 divide v?
False
Let r be 2/(-6*6/(-90)). Suppose -3*j = -3*x + 3, -8 + 37 = -r*j - x. Is 9 a factor of j - (-95)/(-5)*-14?
True
Suppose -549 = -20*i + 111. Is 15 a factor of i?
False
Suppose 132*k + 325542 = 496555 + 558815. Is 97 a factor of k?
True
Let k = -997 + 997. Suppose -46*x + 60*x - 8960 = k. Is 12 a factor of x?
False
Suppose -2*s - 26 = 2*u, -7*u + 3 = -10*u. Does 41 divide s/(-2 + 290/148)?
False
Suppose -23*x = 2*x - 23200. Suppose 0 = 5*g - 5*l - 1175, -9*l - x = -4*g - 8*l. Does 3 divide g?
True
Does 2 divide 1598 + 81/(-15) + 66/(-110)?
True
Let g(b) = -2*b + 1. Let s(w) = 6*w + 32. Let k(l) = -21*g(l) - 3*s(l). Is k(16) a multiple of 14?
False
Let l be 1628/10 - 40/(-200). Let u = -95 + l. Is u a multiple of 20?
False
Suppose -762 = 2*w - 760. Let r(b) = 858*b**2 - 3*b - 3. Does 44 divide r(w)?
False
Does 98 divide 4038570/230 + -19 + 2?
True
Suppose -4*t = -p - 123472, 165*t - 161*t - 123432 = -4*p. Is 24 a factor of t?
False
Let z(i) = -i - 4. Let b be z(-8). Suppose -b*l = -0*l + 16, l + 7 = h. Suppose 7*p - 60 = h*p. Is 3 a factor of p?
True
Let r(n) = -n**3 + 27*n**2 + 5*n + 3. Let c be r(27). Does 20 divide c/9*(-3)/(-2) - 3?
True
Let y(i) = i**3 - 39*i**2 + i - 37. Let b be y(39). Suppose 0 = b*n + 4*m - 58 - 482, -3*n = m - 805. Is 67 a factor of n?
True
Let h = -40727 - -84861. Does 22 divide h?
False
Suppose -32*j - 32*j + 629753 = -465991. Is 13 a factor of j?
True
Let r = 28 + -25. Suppose r = -2*j + 13. Suppose -4*f + 238 = 2*i - 3*f, 0 = j*i - f - 595. Is i a multiple of 17?
True
Suppose n = -2*m + 750 + 88, 0 = 2*m - 2*n - 832. Suppose 5*a - m - 177 = 0. Suppose 151 = 2*s - a. Is s a multiple of 35?
False
Suppose -3*i - 701 = z, 2*i + 209 = 5*z - 281. Let w = i + 268. Does 6 divide w?
False
Let z(d) = 6*d - 164. Let r be z(27). Let n(a) = -8*a + 21. Is n(r) even?
False
Suppose 646 + 18 = -4*b. Let d = b - -250. Is d a multiple of 24?
False
Let o(q) = -10 - 967*q**2 + 3*q + 973*q**2 + 0*q**3 + q**3. Let p be o(-5). Suppose -8*m + 25 + 167 = p. Is m a multiple of 11?
False
Let q = -428 - -428. Suppose 31*t - 33*t + 686 = q. Does 19 divide t?
False
Let f(a) = 11*a**3 + 195*a**2 - 10*a + 4. Is 130 a factor of f(7)?
False
Let j(a) be the second derivative of a**5/10 - 4*a**4/3 - 17*a**3/6 + 11*a**2 - 202*a. Is 36 a factor of j(10)?
True
Suppose 3*o - 8*o - 272 = c, 52 = -o + c. Let u = o - -57. Suppose u*t - t + 183 = a, -3*a + 521 = t. Does 37 divide a?
False
Let q(a) = -4*a**3 - 4*a**2 + 6*a - 7. Let s be q(6). Let i be (3 + s)*(-2)/4. Let z = i - 312. Does 22 divide z?
True
Let d(h) be the third derivative of 7*h**5/60 - 55*h**4/24 + 7*h**3/6 + h**2 + 112. Does 70 divide d(18)?
False
Let y(w) = 1858*w - 4596. Is 21 a factor of y(6)?
True
Suppose 19*p = -3*v + 18*p + 3572, v - 4*p - 1182 = 0. Does 6 divide v?
False
Let v(y) = -y**2 + 25*y + 92. Let z(s) = 35*s - 9. Let h be z(1). Is 22 a factor of v(h)?
True
Let h be ((-2328)/2910)/((1 - (0 + 0))/(-5)). Let o = -4 + 6. Suppose 3*y - 70 = h*b + 234, o*y - 3*b - 201 = 0. Is 15 a factor of y?
False
Is 19 a factor of (2 - (-39)/(-15)) + 312263/155?
True
Let v = 118 - 118. Let o(u) = -u**3 - 8*u**2 - u - 1. Let b be o(-8). Suppose v = -2*i + 4*y + 436, 2*y + 13 = b. Is i a multiple of 34?
False
Let d = -39353 - -39874. Is 24 a factor of d?
False
Let p(k) = -k**3 - 36*k**2 + 8*k - 140. Is p(-38) a multiple of 47?
True
Let s = 13821 - 12646. Does 151 divide s?
False
Is 12 a factor of (-1054)/(48/170 - 54/135)?
False
Does 83 divide ((-3)/(-6) - (-43260)/40)/(2/2)?
False
Does 12 divide (354/15)/((-42)/(-22365))?
False
Suppose -2*i = 4*o - 4*i - 1498, 2*i + 744 = 2*o. Let w = o - 323. Is 27 a factor of w?
True
Let a(y) = 75*y**2 - 13*y + 10. Suppose -60*i + 62*i - 6 = 0. Is a(i) a multiple of 34?
True
Does 15 divide 540/72*(-49296)/(-13)?
True
Suppose 5*v - b - b = 35320, v + 5*b - 7037 = 0. Is v a multiple of 66?
True
Let r = -53 + 99. Let z = -81 + 244. Suppose z = 3*s + r. Does 22 divide s?
False
Suppose 0 = 3*p - 3, -4*h = -0*p + 3*p - 179. Suppose h = -t + 79. Does 7 divide t?
True
Let z(c) = 64*c**2 - 87*c - 131. Does 17 divide z(-22)?
True
Suppose 3*f = -5*z + 19, -3*z - f - 4 + 13 = 0. Suppose -z*k + 235 = 3*k. Suppose 4*y = -12, -3*o - y - k = -4*o. Is 6 a factor of o?
False
Let v be ((-4)/2 - -1)*(2 - 2). Suppose 0 = 4*g - v*g - 1092. Is 7 a factor of g?
True
Let v = 116 + 108. Suppose 4*d + 4*z = v, -248 = -5*d + 4*z - z. Is 4 a factor of d?
True
Suppose -4*d - 18 = -322. Let r = d + -76. Let s(g) = -g**2 + 3*g + 23. Is 3 a factor of s(r)?
False
Let s be (-9)/((-90)/(-230)) + 2. Let a(i) = -72*i + 3. Let t be a(2). Is 3 a factor of 8/28 + t/s + 2?
True
Suppose -11*h = -7*h. Let f(w) = w**3 + w**2 + 2*w + 223. Is f(h) a multiple of 4?
False
Let q(c) = 41*c**2 - 646*c - 7765. Is q(-12) a multiple of 77?
False
Let d = 682 + -677. Suppose -d*a - 1387 = -3*k, -k = 3*k + 4*a - 1860. Is k a multiple of 51?
False
Let p = -20457 - -36697. Does 8 divide p?
True
Suppose -2*q = h - 7*q - 13, 0 = 2*h + 5*q - 11. Suppose -h*g + 600 + 2304 = 0. Is g a multiple of 71?
False
Let b be (-27798)/(-66) + 2/(-11). Let t = b - 237. Suppose -3*x + 4*x = -2*y + t, y - 99 = 3*x. Does 14 divide y?
False
Let y = 119 + -117. Let f(m) be the second derivative of m**5/10 - m**4/6 + m**3/3 - 3*m**2 + 2*m. Is f(y) a multiple of 3?
True
Let w be (17/51)/(1/18). Suppose -675 = w*c - 15*c. Does 3 divide c?
True
Does 15 divide (160/60)/((-1)/(-1017))?
False
Let q(l) = l - 6. Let m be q(10). Let i be ((-3)/m)/((-3)/8). Suppose d - t - 9 = 20, 83 = i*d + 3*t. Is d a multiple of 14?
False
Suppose 207 = 3*i - 12*i. Let t = i + 25. Suppose 8*v - 550 = -t*v. Does 11 divide v?
True
Let q(i) = -i**3 + 9*i**2 - 9*i + 14. Suppose 25*m = 18*m + 56. Let r be q(m). Is 28 a factor of r/(-21) - (3116/(-28) - 1)?
True
Is 97 a factor of -2 + 0 - 2484/(-8)*(2 - -4)?
False
Let f(d) = -d**3 + 2*d**2 + 9*d - 20. Let t be f(2). Does 23 divide (104/(-4))/(t + (-52)/(-28))?
False
Suppose 0 = 346*j - 337*j - 474642. Is 17 a factor of j?
False
Suppose -1267 + 26756 = 71*b. Suppose 0 = 367*f - b*f - 560. Is f a multiple of 3?
False
Let n be (-2)/(4*1/6). Let h be 19*n/(-12) - 2/(-8). Suppose 2*t - p - 26 = 0, 0 = p + 1 - h. Is t a multiple of 14?
False
Suppose m = 3*m - 100. Let x = 2105 + -2148. Let w = x + m. Is 2 a factor of w?
False
Suppose 17*z - 18 = 18*z. Let v = z + 3. Let q = 57 - v. Does 18 divide q?
True
Suppose 0 = 3*m + 2*j + 2*j + 2, -5*j = 10. Suppose -2*b = 4*a + m - 18, 5*a = -3*b + 20. Suppose 351 + 81 = a*t. Does 12 divide t?
True
Suppose 5*u + 51 = 2*d - 31, 4*u - 136 = -4*d. Let y = -5 - -8. Is 5 a factor of 198/8 + y*3/d?
True
Suppose -11358176 + 2077931 = -452*d + 2749735. Is 46 a factor of d?
False
Suppose 2 = 8*q - 7*q. Does 41 divide (-1)/((-1)/782*q)?
False
Suppose -183*h + 184*h = -3, -3*s + 5*h = -90612. Does 101 divide s?
True
Let s(u) = 191*u**3 - 10*u + 20. Does 245 divide s(3)?
False
Let j(r) = r**2 + 15*r - 22. Let g(n) = 19*n - 1. Suppose 4*z - z = -15, -3*z = 2*u + 17. Let x be g(u). Does 26 divide j(x)?
True
Let o(n) = 98*n**3 - 6*n**2 - 14*n + 12. Is o(6) a multiple of 40?
True
Let h = 603 - -21. Does 52 divide h?
True
Is (3616/1695*5/(-2))/((-1)/234) a multiple of 156?
True
Let o be (-4 + -9)*5/(-5). Suppose 12 + o = h + 2*c, -127 = -4*h + c. Let l = -24 + h. Does 5 divide l?
False
Let l = 40503 + -19845. Is 66 a factor of l?
True
Let n(v) = 2*v + 2*v**2 + v**3 - 5*v**2 - 7*v**2 - v**2 - 13. Let l be n(11). Suppose -l*h = -217 - 188. Does 15 divide h?
True
Let z(u) = -274*u**3 + 11*u**2 - 11*u - 20. Is z(-2) a multiple of 14?
False
Suppose -2*t - 5 = -17. Let r be 35/(-5)*(-340)/7. Suppose -11*m = -t*m - r. Does 23 divide m?
False
Let r(x) = -7*x + 53. Let s be r(9). Is 14 a factor of 6/s - (-176)/(-40) - -382?
False
Suppose -4*p - 5*y + 1 = -2, 2*p + 4*y = 0. Suppose 6*a + 64 = 2*a - v, p*a = v - 32. Let h = -4 - a. Does 2 divide h?
True
Suppose -17532 = -3*m + y, -123*m + 126*m - 17514 = -5*y. Does 8 divide m?
False
Let k be 52/16 - 1 - 6/(-8). Let q be 2 + (4 - 0 - k). Suppose -r + 5*m + 58 = 2*m, -4*m - 149 = -q*r. Does 37 divide r?
False
Suppose 0*m + 3978 = 18*m. Suppose -7*a = -1242 - m. Is 19 a factor of a?
True
Suppose 2*u = 2*b - 744, -49*u + 48*u = -5*b + 1860. Is 93 