*f - 7*f + 4. Is 14 a factor of 18*(9/f)/((-24)/88)?
False
Let m be ((-2)/7)/((-4)/56*2). Suppose 0 = -5*b - 4*a - 1198 + 3370, 2*b - m*a = 858. Is 38 a factor of b?
False
Let n = -7787 + 20971. Is 46 a factor of n?
False
Is (-2 + (-5 - -7307))*150/60 a multiple of 50?
True
Is 3/((-3)/(-895))*256/320 a multiple of 46?
False
Let x(a) = -14*a - 10. Let c be x(-9). Suppose -45*s - c = -46*s. Is s a multiple of 29?
True
Suppose 965 - 971 = -3*h, 0 = v - h - 8058. Does 11 divide v?
False
Does 4 divide (15 - 9) + 20226/3?
True
Let q be -6*-1*(-3)/(-6). Suppose -2*l + 12 = 2*n, -q*n = -l - 2*l + 30. Let r(w) = w - 5. Does 2 divide r(l)?
False
Let u be 111 + 7/(42/54). Suppose -q = -0*q - 182. Let g = q - u. Is g a multiple of 13?
False
Suppose v + 843 = 2305. Does 13 divide v?
False
Let l be 1 - 8/6 - 8/(-24). Let h = 59 + l. Is h a multiple of 5?
False
Suppose 3*w - 5*x = 4*w - 195, 4*w - 756 = 4*x. Let b = -172 + w. Is 4 a factor of b?
False
Let r = 889 - 256. Suppose -2*s + r = 4*o + 7, s - 304 = -5*o. Does 31 divide s?
False
Let s be (-12)/54 + (-18339)/(-27). Suppose 0 = -5*i - 39 + s. Is i a multiple of 8?
True
Let o(n) = -15*n + 28576. Let q be o(0). Suppose 6400 - q = -42*p. Is p a multiple of 12?
True
Suppose -1980 = 66*x - 81*x. Is 6 a factor of x?
True
Let t = -482 - -130. Let r = 256 - t. Is 8 a factor of r?
True
Let h be (-1)/(2/(-4))*3/2. Suppose -h*o + 6 = -a, -a + 5*o - 18 = -2*a. Suppose 612 = 3*u - 3*j, -a*j + 937 = 5*u - 123. Is u a multiple of 26?
False
Suppose -3 + 9 = -2*f. Let y(j) be the third derivative of -17*j**4/24 + 11*j**3/3 - 7*j**2. Does 19 divide y(f)?
False
Let g be (92 - 8)*(-2)/(-2) - 2. Suppose -1494 = -g*v + 79*v. Does 20 divide v?
False
Suppose -15*k + 22780 = -10625. Is k a multiple of 25?
False
Suppose -2*f + 26 = -d - d, 0 = -3*f - d + 59. Suppose -f*j + 1717 = -2495. Does 9 divide j?
True
Let j(f) = -4*f**2 - 5*f + 8. Let o be j(5). Let z be 136 + (-4 + 0)/(-2). Let y = o + z. Is 8 a factor of y?
False
Let i(s) = 4*s**2 - 36*s - 103. Let n(c) = 13*c + 223. Let w be n(-18). Is 7 a factor of i(w)?
True
Suppose n + 14*h - 1343 = 0, -1421 = 4*n + h - 7123. Is 13 a factor of n?
False
Let n(g) = -3*g**3 + 12*g + 5*g - 14*g**2 - 3*g + 16 + 2*g**3. Does 8 divide n(-18)?
False
Suppose -128700 = 143*y - 173*y. Is 78 a factor of y?
True
Suppose -198*s + 176*s + 27478 = 0. Is s even?
False
Let k = 157 + -119. Suppose -35*y = -k*y + 1638. Does 46 divide y?
False
Let d = 1670 + -256. Let o = -856 + d. Does 31 divide o?
True
Let k = 7119 + -3352. Is 33 a factor of k?
False
Suppose -3*i - 357600 = -83*i. Is i a multiple of 40?
False
Suppose 0 = -w - 2*q + 12, 0*q + 16 = 5*w - q. Suppose -w*c - 33 - 3 = -5*m, 24 = m - 5*c. Suppose m*a = 335 + 393. Is 26 a factor of a?
True
Suppose 0 = 6*r - 691 + 229. Let s = r - -34. Let v = -63 + s. Is v a multiple of 8?
True
Let n = 1390 - 554. Let y = n - 310. Is 11 a factor of y?
False
Let p(j) = -33 - 34 + 0 + 22*j + 15. Suppose -3*r + 5*d = -11, 4*r + 7*d - 4*d - 34 = 0. Does 17 divide p(r)?
True
Let p = 563 - 115. Is 38 a factor of p?
False
Let w(d) = -d + 3. Let q be w(2). Let c be (3 - 0)*1 + (q - -268). Suppose z - 5*z + c = 0. Is 17 a factor of z?
True
Does 112 divide (112/(-1540)*-3421)/(558/(-280) + 2)?
True
Let w = -23520 + 33327. Is w a multiple of 7?
True
Suppose -7*a + 48 = 5*a. Suppose -a*m + 609 = -791. Suppose 0 = j - 6*j + m. Is 4 a factor of j?
False
Let j = 273 - 225. Suppose -j + 176 = g. Is g a multiple of 8?
True
Let c(u) = 15*u - 3. Let x be -6 + 4/1 - (-4 - -1). Let a be c(x). Suppose 0 = -a*k + 7*k + 645. Does 43 divide k?
True
Let h be (-1628)/7 - (-52)/91. Let y = h - -267. Does 14 divide y?
False
Suppose -2*r + 0*z + 2488 = 2*z, 5*r = -4*z + 6221. Suppose 8*x + 13 = r. Is 22 a factor of x?
True
Let n(o) = -308*o + 1912. Does 82 divide n(-30)?
True
Suppose 12*m + 4*m - 7072 = 0. Let s = m - 370. Is s a multiple of 24?
True
Let h(g) = -g - 51. Let a(b) = 18*b**2 + 3*b + 2. Let p be a(-1). Let q be h(p). Does 10 divide 8/(-2) + (-7 - q)?
False
Let w = 115 + -195. Let x = -11 - w. Is x a multiple of 21?
False
Is (69024/56)/((-27)/(-63)) a multiple of 13?
False
Suppose 5*d - 3*t = 2367, 18*d + 5*t + 2375 = 23*d. Let o = d - -17. Is 8 a factor of o?
True
Suppose 5*h = -3*m + 11, -5*m - 5*h = -12 - 3. Let x(v) = 14*v - 16*v + 6*v**2 + 9*v + 4*v**m + 1. Is x(-3) a multiple of 8?
False
Is 18 a factor of 22178/16 - (-10 + 729/72)?
True
Let j = 13070 + -4005. Is j a multiple of 21?
False
Let b be 5 - (1 - -2 - 3). Suppose 10 = -2*j, 1840 = b*o - 0*o - 5*j. Suppose 8*l = o + 325. Is l a multiple of 11?
False
Let w be (-3 - (-20)/16)*(-16)/2. Suppose w = 5*n + 4. Suppose 0*j = 5*l + n*j - 653, j = 5*l - 641. Does 27 divide l?
False
Let s = 36 + -43. Let q be (-1 + s)*3/(-6). Is 6 + -3 + 76*(-3 + q) a multiple of 9?
False
Let x(w) = 23*w**3 - 11*w**2 + 61*w - 117. Is 20 a factor of x(8)?
False
Suppose -1080432 = 36*u - 63*u. Is u a multiple of 82?
True
Suppose -2*h - 18 = -5*h. Suppose 7*x - h*x = 3. Suppose -x*i = -5*p - 322, 510 = 5*i - 0*p - 3*p. Is i a multiple of 18?
False
Let j be (-12)/9*90/(-12). Suppose -92 = -j*y + 3548. Is y a multiple of 48?
False
Let n be (91/2 - 2)*(3 - 15). Is (n/(-5))/(5/((-100)/(-8))) a multiple of 3?
True
Let d(c) = 13*c - 44. Let w(a) = 3*a - 11. Let m(f) = -2*d(f) + 9*w(f). Let n be m(7). Is (48/18)/(n/6) - -145 a multiple of 9?
False
Let b(c) = -c**3 - 42*c**2 + 30*c + 483. Is 131 a factor of b(-48)?
False
Suppose -48 = -24*j - 0. Is j - (-780)/(-42)*(-4 - 3) a multiple of 10?
False
Suppose -2*s - 39 = -3*v - 492, 2*v + 894 = 4*s. Let m = -126 + s. Suppose 2*t - m = -0*t. Is 5 a factor of t?
False
Let a be (4 - (-62)/(-10))*(3 + -8). Let n = 11 - a. Suppose k + 442 = 4*d - n*k, 5*d - 2*k = 554. Is 22 a factor of d?
True
Suppose -5*h - 95 = -5*q - 0*q, 2*h + q + 44 = 0. Let k = 21 + h. Suppose -7*v = -k*v - 280. Is 10 a factor of v?
True
Let c be -3*2/(-3)*(-2 - -10). Let p(g) = 6 - g - 2*g - 2 + c. Is p(-5) a multiple of 35?
True
Suppose -4*s + 709 = 2*y - 93, -5*s + 975 = -3*y. Suppose 133*k - s = 132*k. Is 22 a factor of k?
True
Let l = 772 + -551. Suppose -9*d = 4*d - l. Is d a multiple of 2?
False
Suppose -3*r + 7 = d, 3*r - 4*r = 5*d + 7. Suppose -o = -3*f + 8, 0*f = -3*o - r*f + 24. Suppose -o*h + 242 = -238. Is 20 a factor of h?
True
Suppose 0 = 4*o - 5*b - 8272, -10*o - 8300 = -14*o - 2*b. Does 30 divide o?
False
Let c be 0/(-4) - (-12 - -5). Let w be (-1 - -1)/(c + -5). Suppose h - 7*h + 36 = w. Is 2 a factor of h?
True
Let r = -3098 + 7917. Is r a multiple of 79?
True
Let p = 58 - 64. Let y be (4 - 1)/(p - (-1202)/200). Suppose 5*t - y = 2*z, -t + 5*z - 120 = -3*t. Does 10 divide t?
True
Let a be (0 - (4 + -1)) + 3. Suppose q - 5*x = 35, a*q + 4*x = 4*q - 220. Is 13 a factor of 266/10 - 36/q?
True
Let o = 275 + -217. Let b = 494 - o. Is 20 a factor of b?
False
Let x be -24 - ((-6)/10)/((-2)/(-10)). Let p be x/7*(-6)/(-9). Is 12 a factor of (-1086)/(-9) + (-4)/(-3) + p?
True
Suppose 9*q - 31*q - 18*q + 288320 = 0. Is 212 a factor of q?
True
Suppose -47*r + 135619 = -37905. Is r a multiple of 26?
True
Let g(h) = 161*h - 70. Let n(z) = -54*z + 24. Let f(d) = 5*g(d) + 14*n(d). Is 6 a factor of f(2)?
True
Is 11 a factor of (-3 - 2559)/(29/(-319))?
True
Let h(v) = 30 + 19 - 45 + 142*v**2. Is 22 a factor of h(-2)?
True
Let p(g) = -84*g - 55. Let k be p(-5). Does 30 divide -2 + k + 0 - (18 - 15)?
True
Is 10/8 - 30052508/(-656) a multiple of 372?
False
Let k(s) = -s**3 + 18*s**2 + 3*s + 14. Let n(f) = -f**2 + 40*f + 47. Let o be n(41). Is 9 a factor of k(o)?
False
Suppose 48*a = 56*a + 2072. Let l = a - -528. Suppose -r + l = 5*g - g, 3*g - 193 = r. Is 6 a factor of g?
True
Let b be 221/4 - (-1)/(-4). Let o = -5675 + 5728. Let m = b + o. Is m a multiple of 8?
False
Let b(u) = u**3 - 25*u**2 + 44*u + 50. Let k be b(23). Suppose 4*l = -k*a + 1024, 0 = 2*l - l - a - 258. Does 14 divide l?
False
Suppose -553*w - 5202 = -557*w + 2*j, 4*j - 3874 = -3*w. Is w a multiple of 4?
False
Let r(f) = 11*f - 20. Let z be r(2). Suppose 5*m - z*p - 4489 = 4088, 5*m = -5*p + 8570. Is m a multiple of 49?
True
Suppose 45*u = 21*u - 1464. Let g = 280 - u. Is 11 a factor of g?
True
Let v(a) = -87*a + 85. Let s be v(6). Let p = -334 - s. Is p a multiple