9 divide f?
True
Suppose 8*r - 2*l + 21587 = 9*r, 0 = 4*r - 2*l - 86368. Is 7 a factor of r?
False
Suppose -65 = 8*p - 105. Suppose -p*b + 967 + 746 = 2*k, 3*k = b + 2595. Does 27 divide k?
True
Let r be (-114)/((-12 - -12) + (-2)/(-3)). Let o = r + 254. Suppose x = -5*j + o, 2*x - 2*j = 2*j + 138. Is 21 a factor of x?
False
Let r = -9976 + 18483. Is 181 a factor of r?
True
Suppose -256 = -3*l + 416. Suppose 7*o - 28 = -l. Let n(z) = -z**3 - 29*z**2 - 31*z + 1. Is n(o) a multiple of 9?
False
Suppose 29*l = 6*t + 27*l - 2138, 0 = 5*t + 2*l - 1778. Is 4 a factor of t?
True
Suppose -2*h - 380 = 5*m, -2*m - 2*h - 143 = 3. Let o = m - -20. Let p = 40 - o. Is 14 a factor of p?
True
Let k(v) = 59*v**2 + 8*v + 7. Suppose -5*b = -6*d + 4*d - 22, 0 = 5*b - 20. Is k(d) a multiple of 3?
False
Suppose -2*l - 2*q + 89 = -863, -4*q + 1432 = 3*l. Suppose 2*u = 2*d + l, 2*u - 442 = 40*d - 44*d. Is 41 a factor of u?
False
Suppose 0 = 4*q - 23*q + 57. Suppose 3*w = -z + 214, q*w - 59 = z - 279. Does 12 divide z?
False
Let q(p) = 325*p**3 - 3*p**2 + 3*p - 41. Is 19 a factor of q(4)?
False
Suppose 93353 = 4*w - 5*j, -92294 = -4*w - 2*j + 996. Is 80 a factor of w?
False
Let a be 120/32 + 3/(-4). Suppose 0 = 4*b + a*g - 249 - 70, 78 = b - g. Is b a multiple of 19?
False
Let k = 2202 - 3444. Let c = k - -2715. Does 76 divide c?
False
Let v(i) be the second derivative of i**4/12 + 17*i**2/2 + 16*i. Let c be v(0). Suppose 20*o = c*o + 312. Is o a multiple of 32?
False
Let t be (-2)/4 - (-4865)/10. Let l = t - 336. Is 30 a factor of l?
True
Let w = 25163 - 15983. Does 17 divide w?
True
Let s(w) = -191*w**3 - 6*w - 3. Let t be ((-12)/18)/((-6)/(-9)). Does 7 divide s(t)?
False
Let y = 305 + -302. Suppose 5*h + 3*m - 1131 = 0, y*h - 696 = -5*m + 9*m. Is h a multiple of 6?
True
Let l(s) = 6*s**2 + 154*s - 11. Is l(17) a multiple of 6?
False
Suppose 52*l = -17*l + 182160. Is l a multiple of 120?
True
Let m(v) = 39*v**2 + 1296*v - 3878. Is 3 a factor of m(3)?
False
Let m(z) = -8*z - 12 - 5 - z. Let n be 1/((30/25)/(-6)). Does 4 divide m(n)?
True
Suppose -7*y - 8 = -r - 2*y, -2*r + 2 = 4*y. Suppose -3*s = s + a - 719, r*a = -3*s + 537. Is s a multiple of 5?
True
Let v(p) = 2*p**3 + p**2 + 3*p - 4. Let o(r) be the second derivative of -2*r**3/3 - r**2 + 11*r. Let x be o(-1). Is v(x) a multiple of 10?
False
Let n(v) = -23*v - 134. Let g be n(-7). Suppose 0 = 25*m - g*m + 1014. Does 39 divide m?
True
Suppose -2*m + 5*x - 7 = -0*m, -2*m = x - 23. Let p(i) = 9*i + 16. Let r(u) = -10*u - 16. Let o(l) = 5*p(l) + 4*r(l). Is o(m) a multiple of 10?
False
Let v(s) = 87*s - 81. Let p be v(17). Suppose 39*h - 4908 = -p. Does 30 divide h?
True
Does 61 divide -33556*(-2)/10 - 1836/1530?
True
Suppose 5*n = -4*q + 142702, 5*n = -2*q + 18620 + 124086. Is 201 a factor of n?
True
Let i be 2 + 286 + (-8)/2. Suppose -1017 = -i*c + 281*c. Does 7 divide c?
False
Let j(v) = 4323*v + 353. Does 7 divide j(1)?
True
Let i = 189 - 351. Let s = i - -288. Is s a multiple of 6?
True
Let m be (52/91)/(2/14). Let v be (14/(-3))/(m/(-144)). Let y = -70 + v. Is y a multiple of 14?
True
Let w(u) = -2*u**2 + 2*u + 70. Let x = 29 + -17. Let p be (3 - 3)*(-6)/x. Is w(p) a multiple of 14?
True
Let s = 112 + -109. Suppose 3*r - 1443 = s*k, 5*r - 4*k - 1609 = 796. Is 38 a factor of (-13)/(-26) - r/(-2)?
False
Suppose -7*b - 204 = -b. Let p = b - -54. Suppose -2*c + 7*c + i - 70 = 0, 4*i - p = 0. Is 9 a factor of c?
False
Let i(x) = -7*x**2 - 19*x - 1. Let p be i(-13). Let w = p + 1659. Does 56 divide w?
False
Let k(g) = g**3 - g**2 + 5*g. Let w be k(-5). Let u = -84 - w. Is u a multiple of 7?
True
Suppose 0 = 122*g - 80*g - 1270794. Does 383 divide g?
True
Suppose 0 = 2*p + 188*a - 187*a - 5316, 5*p = 3*a + 13257. Is p a multiple of 5?
True
Let m(x) = 52*x - 962. Let s be m(15). Let c be 18/2*97/(-3). Let n = s - c. Is 21 a factor of n?
False
Let w be (4/(-6))/((-7)/((-378)/(-12))). Suppose 0 = -5*b + h + 199, -3*b - w*h - 129 = -6*b. Is b a multiple of 3?
True
Let l(n) = 878*n**2 + 11*n + 9. Is 123 a factor of l(-2)?
False
Suppose 0 = 41*z - 42*z + 1606. Suppose -9*x + 3596 = -z. Let d = x + -374. Does 17 divide d?
True
Let w(a) = 46*a**3 - 3*a**2 + 3*a - 4. Let c = 59 - 57. Let q be w(c). Suppose 0 = -3*g + 71 + q. Is g a multiple of 11?
True
Is (-640)/(-65) + -10 + 8/52 + 10034 a multiple of 58?
True
Suppose -146*z - 146412 = -195*z. Is z a multiple of 4?
True
Let m(n) = 7*n - 8. Let z(h) = -12*h + 39. Let k be z(8). Let v = k + 70. Is m(v) a multiple of 13?
False
Suppose 9 = y - t, -1 = -29*t + 28*t. Suppose -y*f = -4*f - 156. Does 20 divide f?
False
Let m be 141/(-15) + (-36)/60. Let q = m + 14. Suppose -4*h - q*u + 1022 - 106 = 0, -214 = -h + 2*u. Does 32 divide h?
True
Let d = -42 - -39. Let j be d/2*-2 - -1. Suppose 2*q + n = 71, 3*q - j*n + 34 = 146. Does 23 divide q?
False
Let l(m) = 2*m - 8. Let r be l(3). Is 26 + -25 - (r + (-699 - 0)) a multiple of 56?
False
Suppose -4408*i + 4432*i - 2376 = 0. Does 11 divide i?
True
Suppose 4*l + 50 - 94 = 0. Suppose 8*b + 147 = l*b. Suppose 26*u + b = 27*u. Does 4 divide u?
False
Suppose -48 = 12*g, 0 = 20*u - 23*u - 5*g + 652. Is u a multiple of 11?
False
Suppose -14*r = -1024 - 978. Suppose r = -5*v + 1123. Is v a multiple of 9?
False
Suppose -33*a + 60 = -21*a. Suppose -3*l + 1 = -5, 4*b + a*l = 394. Is 30 a factor of b?
False
Suppose 3*x = -2*j - 224, 2*j = 3*x + 74 + 134. Is 5/1*(-48)/36*x a multiple of 38?
False
Let w = 3984 + 6972. Does 5 divide w?
False
Suppose i = -2*d + 254, -4*i + 782 + 221 = -5*d. Does 63 divide i?
True
Suppose -259*t + 29504 = -251*t. Is 27 a factor of t?
False
Let t(y) be the second derivative of -y**3/6 + 5*y**2 - 35*y. Let p be t(7). Does 4 divide ((-4)/p)/((-2)/84)?
True
Let b be -75 - (-6 + 20)/(-2). Is 12 a factor of (-31136)/b + 2 - 4/(-34)?
False
Let y(g) = g**3 + 21*g**2 + 6*g + 1. Suppose k = 4*t + 65, 3*t + 33 = t + k. Let r be y(t). Is 19 a factor of ((-2)/(-5))/(1*3/r)?
False
Suppose -26*k = -37*k + 1155. Let m = 640 + k. Is 22 a factor of m?
False
Suppose -43*w = -a - 44*w + 19555, -a = -2*w - 19543. Does 147 divide a?
True
Let z(i) = i**3 + 5*i**2 + 2*i - 5. Suppose q + c = 6*q - 55, -q = c - 5. Suppose -q*h - 49 = -9. Does 3 divide z(h)?
True
Let s = 44 - 2. Is 11 a factor of (-2181)/(-9) + (-14)/s?
True
Let k(r) = 1. Let j(w) = -w + 12. Let s(i) = j(i) - 5*k(i). Let c be s(4). Let u(t) = 15*t**2 - 3*t + 3. Does 14 divide u(c)?
False
Suppose -8*w + 26800 = -4*w. Suppose 12*g = 2*g + w. Does 12 divide ((-3)/6)/((-5)/g)?
False
Let d(s) = 16*s + 133. Suppose -i - z = -34 + 13, 0 = -2*i - 5*z + 48. Is d(i) a multiple of 43?
False
Suppose -83*f + 387278 = -0*f. Is f a multiple of 22?
False
Let i = -126 + 130. Let s(m) = 2*m**3 + 5*m - 2. Is 12 a factor of s(i)?
False
Let y(o) be the third derivative of -o**4/6 - o**3/2 + 5*o**2. Let c be y(-10). Suppose t + 5*s - 10 = 33, -s - c = -t. Is t a multiple of 14?
False
Let y = 10 - 10. Suppose 11*o + y*o = 385. Suppose 5*p - 15 = -5*j, 0*p - o = -5*j - p. Is j a multiple of 3?
False
Suppose -2*p + 6 = -2. Suppose 2456 = p*w - 5*o + 599, 2*w + 4*o = 948. Is w a multiple of 13?
True
Suppose -a = -3*v + 8, 2*v + 2*a + 2*a + 4 = 0. Let d(i) = -i - 4*i - 4*i - v*i + 4. Is 11 a factor of d(-4)?
False
Let l = 11991 - 2029. Does 26 divide l?
False
Suppose 5*c - 5*y = 95780, -8*c + 5*c - 5*y + 57428 = 0. Does 11 divide c?
True
Let m be 13/(-5) + 2/(-5) + 0. Let f(u) = 16*u**2 + 5*u - 2. Let l(s) = 15*s**2 + 6*s - 2. Let n(i) = m*l(i) + 4*f(i). Is 5 a factor of n(-2)?
True
Let b(i) = -53*i - 234. Let u = -65 + 59. Does 6 divide b(u)?
True
Let d(j) = -9*j + 86*j**2 - 39*j**2 - 50 - 46*j**2. Let z be d(17). Let m = z - -33. Is m a multiple of 17?
True
Let d be (516/24)/((-1)/2). Let q be -6*(-168)/(-16) - -5. Let k = d - q. Does 4 divide k?
False
Suppose 2480 = m - 18*r + 23*r, 4*m + r = 9901. Is 9 a factor of m?
True
Suppose -q + 1536 + 354 = 0. Suppose 0 = 68*h - 54*h - q. Is 5 a factor of h?
True
Does 52 divide (-1 - -1) + (2188 - 524)?
True
Suppose -18*t - 1446 = -24*t. Suppose -2355 = 238*j - t*j. Suppose 4 = -u, -j + 141 = -2*k + 4*u. Is 27 a factor of k?
False
Suppose -l = 3*w - 11689, 3*l + 103*w - 35067 = 100*w. Is l a multiple of 25?
False
Let w(o) = -15*o + 117. Let y be w(5). Suppos