 + 6. Does 9 divide w(p)?
False
Suppose -14*b + 35502 = -9*b + i, -3*b + 4*i = -21315. Does 9 divide b?
True
Let u(c) be the first derivative of -c**2/2 + 14*c - 1. Suppose 0 = -11*x - 63 + 151. Does 4 divide u(x)?
False
Let h = 3755 + -1577. Suppose 0 = 4*a - h - 414. Is a a multiple of 21?
False
Let a be (-30)/(-9)*12/4. Let v = -10 + a. Suppose -2*m + 197 = u - v*u, -191 = -2*m + u. Is 18 a factor of m?
False
Let r = 2830 - 1510. Is 4 a factor of r?
True
Suppose -77*z = -66*z - 44. Suppose -z*f = 7*f - 2585. Is 47 a factor of f?
True
Let i(d) = 870*d**2 + 635*d + 2552. Is i(-4) a multiple of 108?
True
Suppose -2*w = -r - 1214, 4*r = -12 + 20. Is (-1*(2 - 1))/((-2)/w) a multiple of 16?
True
Let h(d) = 4173*d - 115. Is 160 a factor of h(3)?
False
Let k = -1054 + 1059. Is 5 a factor of (3 - (-27)/6)/(k/30)?
True
Suppose 19678 + 21902 = 103*r - 37*r. Is r a multiple of 90?
True
Suppose x + 30 = r, -3*x = -5*r + x + 146. Suppose f + 66 = 5*f - 3*b, 2*f + 2*b - r = 0. Let q = f - 11. Is q a multiple of 3?
False
Let a be (-117)/(-12) - (-4)/16. Let r be (-1)/(-2) + -3 + 105/a. Suppose 347 + 93 = r*h. Is h a multiple of 5?
True
Suppose -122515 = -61*a + 908324. Is 47 a factor of a?
False
Suppose 1292 = 7*z + 1264. Suppose -b - 1 = 0, -1705 = -z*q + 3*b + 1498. Is 20 a factor of q?
True
Let m(w) = -14*w**3 + w**2 + 4*w - 4. Let p be m(1). Let h be 2/p - 11/13. Does 16 divide ((125/3)/((-6)/18))/h?
False
Let c(r) = 19*r**2 - 8*r - 2. Let x be c(-5). Suppose 6*w - x + 171 = 0. Does 38 divide (-10)/(-1 - 4)*w?
True
Let i be ((-12)/(-36))/(1/(-3)). Let g(p) = 247*p**2 + p. Let a be g(i). Let w = 351 - a. Is w a multiple of 35?
True
Let a(b) = -9*b + 25. Let z be a(3). Is z/4 + 27/(-18) + 974 a multiple of 108?
True
Let k = -32 - -34. Suppose 0 = 3*u + k*u - 15. Suppose -u*y = 6*y - 72. Does 4 divide y?
True
Suppose -262 = 9*h - 496. Suppose 3*x + 10304 = h*x. Is x a multiple of 17?
False
Let a(g) = -2*g + 2. Let c be a(2). Let h be (-88)/c + (1 - -4)/5. Suppose -s - s = -5*y - 155, -4*y + h = s. Is 12 a factor of s?
False
Let z = -2434 - -13456. Is 13 a factor of z?
False
Let g be (14/3 - 4) + (-1)/(-3). Suppose -2*x - 4*u - 6 = 0, -x - 2*u + g = -4*x. Let a = 170 - x. Is a a multiple of 13?
False
Let k be 76*(-8 - -4)/(-8). Let s = k + 298. Is s a multiple of 28?
True
Suppose z + 2*f = f + 3718, -2*z - 5*f + 7445 = 0. Is 15 a factor of z?
False
Suppose -p + 157920 = 25*p + 16*p. Is p a multiple of 20?
True
Does 18 divide 844/(-1477) + 8950/7?
True
Let p = -24974 + 47534. Is p a multiple of 48?
True
Suppose -4*o + 5*m = -44, o + 11 = 2*o + 2*m. Suppose -n = 2*q - 2382, 4*n - 7177 = 2*q + 2361. Suppose -o*v - 734 = -n. Is 58 a factor of v?
False
Let c = 1030 - -914. Suppose -5*n - 1369 = -c. Is 2 a factor of n?
False
Suppose -12*o - 54 = -9*o. Let s be o + 70 - 4/2. Let f = s + -30. Is f a multiple of 12?
False
Suppose -4*s = 8, 5529 = 5*z + 4*s - 93. Let v = z - 659. Is v a multiple of 6?
False
Let n be -31 + ((-44)/(-33))/(2/(-6)). Does 10 divide (-2471)/n*5 + -3?
True
Suppose 5*u - 1431 = -2*l - 481, -5*l = 25. Suppose -i = 2*a - u, -3*a + 2*i + 3*i + 262 = 0. Is a a multiple of 9?
False
Suppose 0 = 5*l + 3*l - 160. Let o be (-4)/l + 102/(-15). Is 8 a factor of (-3)/o + (-186)/(-7)?
False
Suppose -7*a + 24 + 4 = 0. Suppose 12*c - 32 = a*c. Suppose -2*g - c = -52. Is g a multiple of 6?
True
Let f be 6/9 - (-4)/(-6). Let q be (f + -2)/((-4)/14). Let j(i) = i**2 - 8*i + 17. Is j(q) a multiple of 9?
False
Let h be (-92)/(-3) + (-4)/6. Suppose -2*p = -2*t - h, -4*t + 2*p + 3 - 53 = 0. Is (-482)/t - (-13)/(-65) a multiple of 16?
True
Suppose -s + m + 82 = -3*m, s - 3*m - 77 = 0. Suppose s - 342 = -u. Does 35 divide u?
True
Suppose -t - 5*t - 18 = 0. Let n = t + 11. Let r(w) = w**3 - 9*w**2 + 15*w - 11. Does 17 divide r(n)?
False
Let x be (0 - 13)*(-20 + 16). Suppose -x = 7*s - 20*s. Suppose 576 = s*g + 168. Does 17 divide g?
True
Let x = -27189 - -44269. Is x a multiple of 140?
True
Suppose -14020 = -30*o + 79040. Is 19 a factor of o?
False
Let j = -18 + 13. Let l(a) = -26*a + 17. Let c(d) = 13*d - 8. Let g(m) = 7*c(m) + 4*l(m). Is 27 a factor of g(j)?
False
Let v(t) = t**2 + 15*t - 24. Let l be v(-17). Suppose 1 = o - 4*h - 19, -3*o + l = -2*h. Suppose -b - 14 + 82 = o. Is 17 a factor of b?
True
Let x(w) = -w**2 + 22*w - 57. Let g(d) = d**2 - 6*d - 27. Let c be g(10). Is 3 a factor of x(c)?
True
Suppose 0 = 4*z + 7*p - 12*p - 42215, -2*z + 4*p + 21112 = 0. Is z a multiple of 50?
True
Let t = 18043 - 8252. Suppose 35*c - 2564 - t = 0. Does 36 divide c?
False
Let i(k) = -12*k**2 + 2 + 11*k**2 + 8*k**2 - 3*k. Let h be i(1). Suppose -h = -t + 63. Does 7 divide t?
False
Suppose -124 = -3*d - v, 3*d = -2*d + 2*v + 225. Suppose -d - 7 = -10*l. Suppose x - 4*x + o = -195, -l*o - 249 = -4*x. Does 11 divide x?
True
Let u = -12738 + 20075. Is u a multiple of 71?
False
Suppose -44*b = -43*b - 3*k - 2212, 4*b = 5*k + 8834. Is b a multiple of 72?
False
Let i(w) = 3*w**3 + 28*w**2 - 106*w + 23. Let c(a) = a**3 + 9*a**2 - 35*a + 8. Let r(u) = -8*c(u) + 3*i(u). Does 26 divide r(4)?
False
Suppose 5*i = -8844*p + 8841*p + 88950, 2*i = -4*p + 118558. Is 49 a factor of p?
False
Let v = 64101 - -3435. Is 282 a factor of v?
False
Let l(s) = 2*s**3 - 42*s**2 + 35*s + 105. Does 19 divide l(22)?
True
Suppose -5*m + 3*j + 13 + 13 = 0, 2*m - 14 = 3*j. Suppose -m*h + 3*y = -16, 7*h - 20 = 2*h - y. Is 12 a factor of -78*2*2/h*-3?
False
Let z = -1176 + 1700. Let a = 14347 + -14171. Suppose -5*s = 3*l - 6*l + z, -a = -l + 2*s. Is l a multiple of 12?
True
Does 19 divide (0 - -2)*2 - (-1317 + -43)?
False
Suppose q + 171 = 4*o, q + q = 3*o - 122. Let f(k) = -46*k + 22*k - k**2 - o + 2. Is f(-18) a multiple of 23?
False
Let n = 5027 - 3754. Does 117 divide n?
False
Suppose -13*g + 18 = -16*g. Let o be g/(-15) + 2532/20 + 1. Let n = 15 + o. Is n a multiple of 13?
True
Suppose -10*n = -6103 + 133. Let i = n + -539. Is 6 a factor of i?
False
Let f = 9 - 10. Let j(x) = 4*x + 6. Let u be j(f). Is 7 a factor of (1/(-6)*u)/((-1)/273)?
True
Is 6 - 6/(-6) - -3211 a multiple of 20?
False
Let r(d) = -54*d - 7. Let n be r(-5). Let j be -2 - ((-5)/15)/(5/(-2385)). Let v = n + j. Is v a multiple of 17?
True
Suppose -4350 = -33*p + 4*p. Suppose 0*m - 2*m = 5*o - 95, -3*m + p = 5*o. Does 2 divide m?
False
Let a(h) = -4*h - 34. Let y be a(-10). Suppose 5*p - 3*r = 457, 3*p - 274 - y = -4*r. Let z = -85 + p. Is 2 a factor of z?
False
Suppose -3*o - 213 = -2*k, -3*k + 492 = -3*o + 180. Let i = 181 - k. Is 4 a factor of i?
False
Suppose -783*v + 14283240 = -10668042 - 19761933. Is 94 a factor of v?
False
Suppose -x = 3*x + 3*y - 47, -3*y = -15. Suppose x*t - 17193 = 21719. Is (t/(-57))/(2/(-3)) a multiple of 10?
False
Let k(i) = -i**3 - i + 478. Let v be k(0). Let x = v - 225. Is 9 a factor of x?
False
Suppose 78*i + 1698 = 81*i - 12411. Is 17 a factor of i?
False
Suppose 3*h + 13*y - 17*y = -2895, 3*y = 5*h + 4836. Let o = 999 + h. Does 5 divide o?
True
Let z = -53 + 144. Let q = 89 - z. Does 19 divide (-4)/(-18) + 5536/36 + q?
True
Let o(u) = -u**2 + 33*u - 54. Let b be o(22). Let t = 262 - b. Is t a multiple of 37?
True
Let f(m) = 4*m + 25. Let o(u) = -u - 8. Let j(h) = -2*f(h) - 7*o(h). Let y be j(3). Suppose 3*r - 102 = -0*r - y*k, -5*r = -2*k - 163. Does 11 divide r?
True
Suppose -184*q + 41*q + 4912336 = 0. Does 113 divide q?
True
Let m = -10054 - -14139. Is m a multiple of 43?
True
Does 15 divide 13*(-20)/(-195)*13134/4?
False
Let s be -4 + (-3686)/(-8) + (-21)/28. Suppose -4*a + s = -a. Is 38 a factor of a?
True
Let t be 0 - -2 - (7 + -7). Let z(m) = 39*m**3 + 3*m**2 - 4*m. Is z(t) a multiple of 13?
False
Let s(t) be the second derivative of t**4/6 + 11*t**3/6 - 3*t**2 - t - 314. Let n(p) = -9*p**2 + p. Let o be n(1). Is s(o) a multiple of 22?
False
Let w = 297 + -80. Let g be -2 + 1 + 236/2. Let i = w - g. Is i a multiple of 20?
True
Let b be 1/(637/(-212) - -3). Let j = 154 + -165. Is (b/6)/(j/3 - -3) a multiple of 10?
False
Let k = -12 - 9. Let s be -203*18/k*1. Let y = s + -95. Is 8 a factor of y?
False
Let u = -1407 + 3042. Does 5 divide u?
True
Let c(g) = -5*g - 29. Let l be c(-9). Suppose 1855 = -9*r + l*r. Does 36 divide r?
False
Let f(l) = 258*l**2 + 56*l + 6. Is f(-2) a multiple of 47?
F