39 + (-76)/v*11 a multiple of 23?
True
Let y(g) = g**2 - 1. Let i = -29 + 31. Let n be y(i). Suppose -2*j + v = -3*v - 186, -n*j + 251 = v. Is 8 a factor of j?
False
Let i(p) = 3*p**3 - 22*p**2 + 6*p + 12. Let b be i(7). Suppose 3*c = -3*w + 360, 0*c + 582 = b*c - w. Is c a multiple of 6?
False
Let w be (-124)/248*(1 + -53 - 0). Does 7 divide w*(11 - (1 - 4))?
True
Let v = 91 - 57. Suppose 196 = j + 5*x, -v*x = 5*j - 36*x - 1088. Is j a multiple of 54?
True
Let g = -7668 - -15055. Is 37 a factor of g?
False
Let h(w) = w**3 - 4*w**2 - 14*w - 87. Is 9 a factor of h(10)?
False
Let p be 4 + 3/(2 + 142/(-74)). Suppose -5*k = 4*f - 184, -3*k + p = f - 75. Is 5 a factor of k?
True
Let c(j) be the second derivative of -46*j + 17/2*j**2 + 1/6*j**3 + 0. Does 12 divide c(7)?
True
Let w be -2 + 6 - 5 - 14/7. Is 13 a factor of 379 - (1 - 3/w)?
True
Suppose 13*q - 1931 = 4153. Is (-372)/465 + q/10 a multiple of 4?
False
Let y(g) = -g**2 + 46*g - 123. Let o be y(31). Suppose -4*h - 3*l + 1932 + o = 0, 0 = 5*l - 10. Does 73 divide h?
False
Let b(g) = g**2 - 5*g - 2. Let s be b(6). Let y be (-4)/3 + (42592/33)/8. Suppose -v = s*v - y. Is 4 a factor of v?
True
Suppose 3*m - 148 = -u, 2*m - 4*u - 82 + 2 = 0. Suppose 7*y = 9*y - m. Does 12 divide y?
True
Let w(j) = j**2 + 2*j + 42. Suppose -s + 110 = 98. Is 14 a factor of w(s)?
True
Let m be (4/(-4*1) - 0)/1. Let h(x) = -427*x + 5. Let u be h(m). Suppose u = 4*k - 0*k. Is k a multiple of 27?
True
Let o(s) = -s**3 + 5*s**2 + 5. Let f be o(4). Suppose -342 = -27*l + f*l. Is 7 a factor of l?
False
Let c(n) be the first derivative of -n**7/105 - n**6/180 - n**5/60 + 13*n**3/3 - 10. Let t(m) be the third derivative of c(m). Does 2 divide t(-1)?
True
Does 24 divide ((-35)/10 + 7 + -5)*-1760?
True
Let l(y) be the third derivative of 2*y**6/15 - y**5/60 + y**4/4 - 5*y**3/3 - y**2 - 15*y. Is l(2) a multiple of 14?
True
Suppose -3*s + r = -18418, -14*r = -2*s - 12*r + 12280. Is s a multiple of 7?
True
Is 18 a factor of 20*28000/256*(-18)/(-21)?
False
Suppose -828*g - 4907852 = -19619193 - 17104559. Does 178 divide g?
False
Let t be -296 - (17 + (-39)/3). Suppose -33 = 3*o + g, 0*o = 5*o - 2*g + 66. Is 7 a factor of t/o - -3*1?
True
Suppose -3*o - r = -39725, 5*r - 26479 = -o - o. Is 13 a factor of o?
False
Let n = 353 + -360. Let d(l) = -2*l**3 - l**2 + 8*l + 84. Is d(n) a multiple of 36?
False
Suppose 2*y + 6 = -x + 6*x, 8 = -y + 5*x. Does 2 divide 4 + 2 + 26/y?
False
Let y be ((-3)/9 + 6)*3. Suppose 0 = 2*z + y*z - 6650. Does 7 divide z?
True
Let m(u) = 6*u - 2. Let c be m(1). Suppose -3*a - s = -647, -9 + 221 = a + c*s. Suppose 0*b - 4*b = -a. Is b a multiple of 9?
True
Let f(t) = t**3 + 11*t**2 + 4. Let n be f(-11). Suppose -9*p = -n*p + 10. Does 22 divide (-7)/(p/14 + 0)?
False
Is 65 a factor of ((-1657)/2*-10 - (11 - 14)) + 6?
False
Let b(w) = w**3 + w - 5. Let g = 34 + -29. Let c be b(g). Let h = c + -89. Is 20 a factor of h?
False
Let t = 24221 + -7157. Does 237 divide t?
True
Let q(y) = -3*y**2 - 2*y + 52. Let k be q(-8). Suppose -9*h = -5*h - 976. Let b = h + k. Does 19 divide b?
False
Suppose 3*z - 4110 = 2982. Suppose 3*b - z = -726. Does 39 divide b?
True
Suppose -u = 3*u + 4, 4*c - 23 = -u. Is (-5964)/6*((-27)/c + 4) a multiple of 71?
True
Let r(b) = b**3 + 63*b**2 - 82*b + 1080. Is r(-53) a multiple of 49?
True
Let q = 363 - 261. Let h = q - 99. Is h a multiple of 2?
False
Let z = -110 + 112. Suppose -3*m + 138 = 3*n, -n - 2*m + 140 = z*n. Does 3 divide n?
True
Suppose -292*d + 339202 + 25564 = -123750. Is d a multiple of 4?
False
Let g(a) = 22*a**2 - 12*a - 144. Does 39 divide g(26)?
False
Suppose 0 = -x - 3*w - 2, 0*x - 4*x + 4*w = 8. Let i = 2309 - 2303. Is -6 + i + x + 259 a multiple of 28?
False
Suppose 5*h + 171 = -324. Is h/(0 + (-6)/28) a multiple of 33?
True
Suppose 48*p - 126171 = 21*p. Does 13 divide p?
False
Let c = 4786 + -1426. Is 28 a factor of c?
True
Let w(h) = h**3 - 34*h**2 - 35*h + 22. Let q be ((735/3)/(-7))/(-1). Is w(q) a multiple of 11?
True
Let q(z) = 38*z + 10. Let a be -1 + 8/(-12)*6. Let h be q(a). Does 18 divide h/(-4) + (-1 - 2)?
False
Let a = 2005 + 1520. Is a a multiple of 19?
False
Suppose -639 = -78*v + 77*v. Suppose -22*f + v = -21*f. Suppose -246 = -5*p + f. Is p a multiple of 36?
False
Let w = 889 + -477. Suppose 0 = 4*p - w + 264. Is p even?
False
Suppose -4*u = 4*r - 113478 + 22978, -2*r + 45238 = -4*u. Is r a multiple of 180?
False
Let q(i) = 26*i - 44. Suppose -3*a = -9, -r - r + 18 = 2*a. Does 16 divide q(r)?
True
Suppose 53 = 5*b - 57. Is 45 a factor of (b/6 - -1)/((-136)/(-3060))?
False
Suppose 222*p + 2331 = 213*p. Let v = -207 - p. Is v a multiple of 2?
True
Suppose -33*z - 1475 = -v - 35*z, -4419 = -3*v - 3*z. Is v a multiple of 3?
False
Suppose -y - 25967 = -44*l + 40*l, 0 = -3*l + 2*y + 19484. Does 10 divide l?
True
Let f(m) = 3*m + 4*m**2 - 3*m**3 + 5*m + 6*m + 0*m**2 - m - 16. Is f(-5) a multiple of 65?
False
Let v(x) = -21*x**2 - 3*x - 3. Let n be v(-1). Let c be 6/n + -3*(-136)/(-42). Is (-4)/(-10) - -262*(-8)/c a multiple of 45?
False
Let b(g) = -86*g - 201. Is 59 a factor of b(-73)?
True
Let r be (-3)/5 - 315/(-25). Suppose -r*m + 57 = 21. Suppose 0 = -10*a + 6*a - 4*y + 16, -2*a + m*y + 28 = 0. Is 6 a factor of a?
False
Let n be (10203/(-38))/((-2)/(-4)). Let z = -241 - n. Is z a multiple of 22?
False
Suppose 9437 = 5*v + 8*w, -3*w = -3*v - w + 5601. Is 3 a factor of v?
False
Let z(v) = 2*v**2 + 18*v - 24. Suppose 38*p - 99 = 47*p. Does 10 divide z(p)?
True
Let p = 21 - 15. Suppose -1645 - 1013 = p*t. Let x = -300 - t. Does 13 divide x?
True
Let x = 44 - 19. Let r = x - 25. Let s(u) = u**2 - u + 140. Is 27 a factor of s(r)?
False
Is -288 - -275 - 653*-1 a multiple of 18?
False
Let n(s) = 33207*s**2 - 32*s - 33. Is n(-1) a multiple of 40?
False
Let b(j) = -47*j - 28. Let m be b(4). Let n(d) = -44*d + 4. Let x be n(3). Let g = x - m. Is g a multiple of 10?
False
Let c = -7303 - -8244. Does 3 divide c?
False
Let h be 10/85*50 + 4/34. Suppose h*u - 219 = 69. Suppose 0 = -2*r - 5*z + 46, -3*r - 3*z + u = -12. Does 2 divide r?
True
Let x(b) = 1509*b - 389. Is x(4) a multiple of 11?
False
Suppose 23839 + 11475 - 4894 = 52*a. Is 13 a factor of a?
True
Suppose 0 = -2*m + 5*d + 37, m - 3*d + 13 = 2*m. Suppose 5*f - c = 1, 2*c + c - m = -4*f. Is 22 a factor of (50 + -2)/f + -4?
True
Let l(t) = -38*t - 54. Suppose -7*v = 9*v + 80. Let m be (v/(-10))/((-1)/18). Does 38 divide l(m)?
False
Suppose -65*l - 64 = -6044. Suppose 2*s = -3*g + 758, -3*s = 2*g - 0*g - 507. Suppose 0*f = -2*w + 4*f + l, -g = -5*w - f. Does 10 divide w?
True
Suppose 32*z = 136567 + 86825. Does 39 divide z?
True
Let l(j) = -10*j**3 + 4*j**2 - 11*j + 3. Let w be l(3). Let v = -250 - w. Is v even?
True
Let q = -198 - -206. Is 13 a factor of (-7)/(140/q) + (-2744)/(-35)?
True
Suppose 0 = l - 3*x - 93, -2*l - 5*x + 365 = 3*l. Is 33 a factor of 177*(l/18 + -4)?
False
Suppose -5423*y + 5426*y = 5472. Is 76 a factor of y?
True
Let u(a) = -6*a**2 + 2*a - 11. Let f(m) = -m**2 + 1. Let b(o) = 5*f(o) - u(o). Suppose -4*l + 8*p = 5*p - 53, l - 20 = 3*p. Is 23 a factor of b(l)?
True
Suppose 4*t - 174 - 406 = 0. Let x = t + -141. Is x even?
True
Suppose -3*l + 583 = -16327 - 2878. Is 97 a factor of l?
True
Let i(u) = 9*u - 51. Let l be i(5). Is 26 a factor of (-236832)/(-276) + l/69?
True
Let b(y) = 5*y**3 + 278*y**2 + 10*y + 332. Is b(-55) a multiple of 42?
False
Suppose -2*v - 1141 = 5*i - 48086, 6 = -2*i. Is 65 a factor of v?
False
Suppose 5*w = -10, 29*p - 4*w = 30*p - 330. Suppose -328*h + p*h = 8280. Is h a multiple of 68?
False
Let k(x) = 5076*x + 420. Is 96 a factor of k(3)?
True
Is (1628/(-5))/((-28070)/875 + 32) a multiple of 37?
True
Let w(j) = 11*j. Let p be w(0). Suppose -5*h + 24 - 39 = p. Let l = h + 117. Is l a multiple of 19?
True
Suppose 2628 = -7*w - 11*w. Does 19 divide (-6 + w)/((-2)/5)?
True
Let u = 8346 + -2088. Does 149 divide u?
True
Let q(w) = 13*w - 1. Let j be q(-2). Let l(t) = t**2 - 12*t - 76. Let c be l(-8). Let m = j + c. Does 7 divide m?
False
Is ((-1250)/2)/(9/(19 + -433)) a multiple of 23?
True
Suppose 2*l - 4*a = -0*l + 26, 3*l = a + 14. Let k be 148/6*9/l. Suppose k = -5*u + 449. Is u a multiple of 14?
False
Let b = 6562 - -7895. Is 61 a factor of b?
True
Let r be (2