 4*w - 29. Let m(a) = 7*s(a) - 5*v(a). Is 9 a factor of m(z)?
False
Let s = -84 - -90. Let f be 64/(-6) + 5 + 4/s. Let r(p) = -26*p - 25. Is r(f) a multiple of 21?
True
Suppose 5*f - 35174 = 3*y, -y + 3*y = 4. Is 86 a factor of f?
False
Let a be (-10)/(-75) - 1352/15. Let p be (a - 0)*(-1)/4*6. Let y = p - 49. Does 4 divide y?
False
Does 15 divide -52*((-9 - (-110)/10) + 125/(-2))?
False
Let s = 325 - 341. Is 4 a factor of (s/(-48))/(4/324)?
False
Suppose 23864 = 5*x + 3*z, -1080 - 13218 = -3*x + 5*z. Is 31 a factor of x?
False
Let h be (96/(-18))/(-2)*129. Let n = h + -220. Is n a multiple of 4?
True
Let a(v) = -12*v + 2. Let f be a(-2). Suppose 25*r = f*r. Suppose -3*l + 170 - 38 = r. Is l a multiple of 11?
True
Suppose 2*h - 21 = -29, -4*k + 4*h + 32 = 0. Let m be -2 - 0 - (-15)/3. Suppose -m*r = u - 232, -k*u - u + r = -1144. Is 14 a factor of u?
False
Suppose -22*a + 35356 = -24902. Is 142 a factor of a?
False
Let z = 350 + -417. Let h = z - -522. Does 59 divide h?
False
Let d(k) = 699*k + 5015. Does 23 divide d(5)?
True
Suppose 20*o - 10*o - 130 = 0. Suppose -43 = -o*w + 165. Suppose -w*j + 15*j = d - 48, 0 = -5*d - 2*j + 234. Is 9 a factor of d?
False
Let s(p) = -p**3 + 17*p**2 + 5*p + 23. Let j(o) = -o**2 + 11*o - 13. Let b be j(5). Is s(b) a multiple of 26?
False
Suppose 4*y - 208248 = -4*p, 5*p + 107684 = -3*y + 367994. Does 87 divide p?
False
Let v be (-25)/(-5) + (8 - 0). Suppose 7*j - v*j = -2562. Is 36 a factor of j?
False
Suppose 4*n + 4*l - 5320 = 6*l, l - 3980 = -3*n. Is 8 a factor of n?
True
Let i be 4 + -1 - (-320)/((-28)/(-7)). Let m = -78 + i. Suppose m*q = 14*q - 324. Is q a multiple of 9?
True
Suppose 4*u + 12*x - 11*x - 47383 = 0, -2*x + 14 = 0. Is 42 a factor of u?
True
Let p(c) = 8*c**2 + 15 - 9*c**2 - 11*c + 0*c**2 - 3. Let o = -14 - -6. Does 12 divide p(o)?
True
Let m be 18*3/9 - -5. Suppose m*j - 7*j = 5*t - 4744, 4*t - 3797 = 5*j. Is t a multiple of 37?
False
Let q(p) = 46*p**2 + 148*p + 3527. Does 13 divide q(-21)?
False
Suppose 0 = 27*i - 47*i + 24300. Suppose 4*z + 28*c = 32*c + 1648, i = 3*z + 4*c. Is z a multiple of 4?
False
Let a = 12018 - 8052. Is 54 a factor of a?
False
Let v(l) = 2*l**2 + 612*l + 1 - 612*l. Let m be v(1). Suppose -2*o = -3*o - m*n + 150, -845 = -5*o + 4*n. Is o a multiple of 11?
True
Suppose -3*j + 3*c = -51, 4*j + 2*c = -j + 106. Does 3 divide 98 - 2/8*j?
True
Let y(n) = 14*n + 3. Let v be y(0). Suppose 4*h = -v*h + 3731. Does 17 divide h?
False
Let i(a) = 2*a + 22 - 6*a - a**3 + 13*a**2 + 20. Let g be i(10). Is 13 a factor of (3 - (-2 - g)/4) + -1?
True
Suppose -5*x = -15, -4*l + 17 + 58 = x. Is 69 a factor of 3/l - ((-40707)/54 - 5)?
True
Let w(c) = 136*c**2 - 164*c - 3. Is w(4) a multiple of 49?
False
Suppose -6*i + 5*i + 6 = 0. Suppose i*z = 3901 - 1045. Is z a multiple of 17?
True
Suppose 267544 = 138*k - 456680. Does 140 divide k?
False
Suppose 1950 = -18*j + 20706. Let k = 2098 - j. Is k a multiple of 12?
True
Let l = 4707 + -1473. Is l a multiple of 21?
True
Suppose 2*j - 62 = 3*p, -2*j + 38 = -j - 5*p. Let a = 31 - j. Suppose -2*s - 9 = -5*s, 2*m - a*s = 207. Does 18 divide m?
True
Suppose 0 = -v + 3*y + 16, 6*v = v - y + 32. Does 12 divide 1*87*(4 + 3)/v?
False
Let q be (2/6)/(2 - (-262)/(-132)). Suppose -m = -q + 19. Suppose -73 = -2*t - m*l + 47, 4*t - 2*l - 208 = 0. Does 18 divide t?
True
Does 145 divide -8*2234/28*(272/16 - 24)?
False
Let o(h) = 2*h**3 - 8*h**2 + 33*h - 13. Is o(11) a multiple of 14?
True
Let s = 3086 - -1452. Is 14 a factor of s?
False
Let n(p) = 146*p + 6072. Is 18 a factor of n(24)?
True
Let w(j) = 11*j**2 - 127*j + 809. Is w(28) a multiple of 9?
True
Let a = -184 - -178. Is 2670/50 - (-2)/((-20)/a) a multiple of 54?
True
Is 25 a factor of 38 + (-9 - 56/14)?
True
Let h(q) = -84*q**3 + 18*q**2 + 4*q - 56. Is h(-7) a multiple of 126?
True
Suppose -41*i + 66450 = -55566. Is i a multiple of 24?
True
Let k(v) = 2*v**3 + 4*v**2 + 9*v + 207. Does 5 divide k(13)?
False
Let n(v) = -v + 7. Let m be n(7). Suppose 3*r + 4*w = -m*r + 1318, -w + 1306 = 3*r. Is 31 a factor of r?
True
Let t(o) = -o**3 + 55*o**2 - 295*o + 58. Let l be t(49). Suppose 4*i + 3 = 4*a + 11, -5*i = -2*a - 7. Is a*33/l*-15 a multiple of 23?
False
Let b(s) = 2*s**3 + 43*s**2 - 27*s - 96. Is 89 a factor of b(-18)?
False
Let x = 7875 - 4005. Is 18 a factor of x?
True
Let f = -852 + 854. Suppose 4*q - 3*z - 15 = 0, -2*q + 5*z = -28 + 3. Suppose q = -f*d - 2*o + 58 + 22, 5*d + 3*o - 208 = 0. Is d a multiple of 6?
False
Let n = 225 - 351. Let m = n + 151. Is m even?
False
Suppose 7*m = -13*m + 88640. Is 16 a factor of m?
True
Let f(p) = 2*p + 12. Let b be f(0). Let n be b/(-42) + 2686/(-7). Let g = -249 - n. Does 58 divide g?
False
Suppose -2*y - y = -4*c - 31, 30 = 3*y - 3*c. Let b be 2/(-3 + y) + (-2)/6. Suppose b = -6*q + 334 + 320. Is 8 a factor of q?
False
Let z(r) = 38*r**2 + 32*r + 171. Is z(13) a multiple of 7?
False
Let p = 904 + -880. Is (-2 - 44/(-16)) + 15246/p a multiple of 12?
True
Let k(w) = -w**2 + 11*w - 9. Let q be k(8). Suppose q*c = 17*c + 6. Is 14 a factor of -12*(c - 23/4)?
False
Let l = 214 + -209. Suppose -4*w + 2*w = -4*g + 562, l*w + 425 = 3*g. Does 7 divide g?
True
Suppose 4*t = -2*n + 2150, -3*t + 1640 = -274*n + 270*n. Does 60 divide t?
True
Suppose -18*n + 27*n = 27. Suppose -5*w + 40 = -0*w + 5*x, n*w - 20 = -5*x. Suppose 0 = w*o + 1069 - 2749. Is o a multiple of 24?
True
Suppose -2*r + 459 = -5*h, -10*r + 335 = -4*h - 13*r. Let u be 2066/18 + 2/9. Let g = h + u. Is 26 a factor of g?
True
Let q = 581 - 972. Let y = q - -463. Does 3 divide y?
True
Let d(j) = 24*j**2 - 9*j - 7. Let x be d(6). Suppose 0 = -y + x - 147. Is y a multiple of 16?
True
Let b = -546 + 534. Is b/((-16)/4) + (104 - 5) a multiple of 17?
True
Let p(r) = r**2 - 22*r - 43. Let t be p(24). Suppose t*w - 3 = 7. Suppose -k - 2*k + 337 = -j, -2*k + w*j + 226 = 0. Does 7 divide k?
True
Let m = -329 - -317. Let l(a) = 11*a**2 + 7*a + 84. Is l(m) a multiple of 18?
True
Suppose -377068 - 695018 = -37*b + 925914. Does 240 divide b?
True
Suppose -4*b - 662 - 3206 = -5*y, 3*y + b = 2348. Is 3 a factor of y?
True
Suppose 1463 = 2*p - q, -34*p = -35*p - q + 733. Let k = p - 430. Does 58 divide k?
False
Suppose 0 = 4*h - 2*h - 3*r + 36, -3*h + 3*r = 48. Let i be (-8394)/h - 2/(-8)*2. Suppose -6 - 14 = -4*u, 3*n + 2*u - i = 0. Is 18 a factor of n?
False
Suppose -3*w = c - 3 + 19, -5 = 5*c. Let i = w + 50. Does 3 divide i/(-75) + (-373)/(-5)?
False
Is 60 a factor of ((-426)/(-2) + -13)/(8/108)?
True
Suppose -3*q + 8*q + 33 = -2*l, 5*l - 3*q = -5. Let j be (3 + (-85)/20)*l. Suppose -j*z = -8*z + 276. Does 11 divide z?
False
Let l = 135 + -138. Let f(x) = 57*x**2 + 4*x + 6. Does 12 divide f(l)?
False
Suppose 0 = 16*b + 3*b - 7524. Let c = b + -174. Is c a multiple of 37?
True
Suppose x + 0*x - 3*m - 6 = 0, -4*m = -2*x + 8. Suppose x*s - 4 = s, 4*a - 32 = 5*s. Suppose n + a*u = 81, -n - 3*n + 2*u + 352 = 0. Is 11 a factor of n?
False
Suppose 5*k = -4*j - 794, 5*k - 786 = 4*j + 6*k. Let q = -120 - j. Is q a multiple of 5?
False
Suppose 71*x + 24*x = 513000. Does 15 divide x?
True
Suppose -38*x - 103950 = -83*x. Is x a multiple of 6?
True
Let a be (-7 + -241 + -7)*11/(-3). Let c = a + -712. Is c a multiple of 2?
False
Let q be (-2516)/(-30) - 38/(-285). Suppose -f + q = d, 262 = 3*d - 0*d + f. Let j = d - 19. Is j a multiple of 11?
False
Let w(y) = 83*y**2 - 730*y + 19. Does 63 divide w(15)?
False
Let v be -5 - (1 + -2852)*-1. Is 3 a factor of (6/(-7))/(34/v)?
True
Suppose x = 4*x - 87. Suppose -x*p - 6 = -27*p. Let a = 25 + p. Is 5 a factor of a?
False
Suppose -9*o - 4330 = 233. Let l = o - -865. Is l a multiple of 31?
False
Suppose -22978 - 15250 = -28*h + 33648. Is h a multiple of 85?
False
Let r = -1 - -11. Let h be (-10 - 0)*1*(-6)/r. Suppose -h*v + 48 = -48. Does 11 divide v?
False
Let y be 1 + (-3 - (-5 - -1)). Suppose k - 17 = y*r, -5*k + 64 = -4*r - 21. Let g = k - -49. Is 7 a factor of g?
False
Let j(c) = c**2 + 13*c - 131. Let g be j(-20). Is 33 a factor of (15/(-2))/(1/(-198)*g)?
True
Let j(o) = -7*o + 68. Let d be j(9). Suppose 2*h + d*s - 70 = 887, -3*s - 1446 = -3*h. Does 6 divide h?
False
Let g = -14351 + 23199. Is 56 a factor of g?
True
Suppose -d + 4*f + 4494 = -374, 0 = -5*f + 5. Does 4 divide d?
Tr