f b?
True
Let i = 423 + -409. Is i a multiple of 3?
False
Suppose 4*o - 5 = 3*o. Suppose 5*l + 0*s + 3*s - 192 = 0, 0 = 4*l - o*s - 161. Is 20 a factor of 3/6 - l/(-2)?
True
Suppose -2*p = 3*r - 2*r - 5, -4*r - 16 = -p. Suppose 0*i + 40 = p*c - 4*i, 20 = 2*c + 2*i. Does 2 divide 3 - 1/(-2)*c?
True
Let h be (-9)/(-9) + -1 + 2. Let r be -42 + h + (1 - 1). Let m = 68 + r. Is 14 a factor of m?
True
Suppose 0 = p - 4*p + 120. Suppose 7*q - 15*q + p = 0. Suppose 0 = 4*a - 4*l - 84, 0 = a - q*l - 13. Is a a multiple of 10?
False
Suppose l + 3*a = 2295, -357 = -4*l - a + 8823. Does 35 divide l?
False
Let w(b) = 109*b**2 + 7*b - 7. Does 22 divide w(2)?
False
Let h = 6 + -1. Suppose h*w = w + 16. Suppose 0 = -p + w*f + 47, -2*p + p + 40 = 3*f. Is 39 a factor of p?
False
Let l(o) = -o - 4. Let j be l(-6). Suppose 2*r + 84 = j*f - 2*r, 5*f = r + 210. Is 6 a factor of f?
True
Let m be (-36)/21*(-4)/(8/98). Let f = -14 + m. Is 5 a factor of f?
True
Suppose 2440 = -563*q + 567*q. Is q a multiple of 27?
False
Let u(n) = n**3 + 35*n**2 - 50*n + 182. Is 59 a factor of u(-34)?
False
Is 12 a factor of 4 - -1 - (-14574)/28*2?
False
Let l = -71 - -75. Is (-5600)/(-72) - l/(-18) a multiple of 26?
True
Let t = -1331 + 1617. Is t a multiple of 13?
True
Suppose -2328 = -3*r + 2*a, 3*r - 1551 = r + a. Does 48 divide r?
False
Let o(c) = -2*c + 2. Let j be o(-3). Suppose -13*z + j*z + 275 = 0. Does 15 divide z?
False
Let q = 582 + -252. Does 10 divide q?
True
Let i = 3 + 3. Let z = -94 - -136. Let a = i + z. Does 16 divide a?
True
Let a = -927 - -1673. Is a a multiple of 17?
False
Let w(a) = a**2 - a + 1. Let m(c) = 7*c**2 - 8*c + 8. Let d(r) = m(r) - 4*w(r). Is d(8) a multiple of 41?
True
Suppose 0 = y + 2*a + 70 - 567, 2*a = 5*y - 2485. Is y a multiple of 37?
False
Suppose 6*m + 2*w - 8594 = 2*m, 0 = 5*m - 3*w - 10726. Is 32 a factor of m?
False
Let t = 11 - 20. Does 33 divide 4/3 - 879/t?
True
Suppose 0 = 2*i - 5*c - 156, 5*i - 4*i + 5*c = 48. Is 4 a factor of i?
True
Suppose 272 = -0*b + 2*b. Let h = b - 50. Suppose -74 = -2*f + h. Does 20 divide f?
True
Let d(n) = n**2 + 11*n + 18. Let j(w) = -w**2 + 9*w - 22. Let o be j(9). Is 13 a factor of d(o)?
True
Let u = -9 + 6. Let w be (1*5 - 0) + (34 - 37). Does 17 divide u/w - (-71)/2?
True
Suppose -2*q - 92 = 2*q. Let t = q - -80. Suppose 0*k - 11 = -j + k, -t = -3*j - 3*k. Does 5 divide j?
True
Let i(j) = 46*j**3 + 4*j**2 - 4*j + 4. Does 45 divide i(2)?
False
Let m = 648 + 188. Is 22 a factor of m?
True
Let v = 17 + -5. Is 9 a factor of (6/4)/(2/v)?
True
Suppose 2*w + 1238 = 4*m, 0 = -4*m - 2*w + 5*w + 1235. Suppose 5*s + 2*c = 3*c + m, -5*c - 232 = -4*s. Does 4 divide s?
False
Suppose -1 = -u + 4*v + 92, -97 = -u + 2*v. Let t = u - 19. Is 31 a factor of t?
False
Is -25*(63/84)/(5/(-4)) a multiple of 2?
False
Does 18 divide (((-3)/2)/(-3))/((-144)/(-25056))?
False
Let m(h) = -19*h + 82. Does 24 divide m(-26)?
True
Let p(y) = -32*y + 305. Is 54 a factor of p(-5)?
False
Let z(t) = -t - 8. Let c be z(-13). Suppose -22 - 21 = -3*r - c*f, -5*r - 2*f = -59. Is r a multiple of 3?
False
Let u be 42/(-147) - 2/(-7). Suppose 0 = 4*b + w - 137 + 3, -4*b + w + 138 = u. Does 11 divide b?
False
Suppose -17136 = -8*m - 10*m. Is 28 a factor of m?
True
Let d = 140 + -73. Let x = 40 + d. Does 4 divide x?
False
Suppose 0 = 5*m + 4*j - 788, -3*m - m - 3*j + 631 = 0. Let s = 378 - m. Suppose 2*a - 20 = 5*v - s, -4*v - a = -148. Is v a multiple of 19?
True
Let t = -233 + 1578. Is 34 a factor of t?
False
Let w(g) = 7*g**2 + 2*g + 6. Let d be w(4). Suppose -4*k + d = -2*o, -o + 15 - 49 = -k. Let l = -24 + k. Is 5 a factor of l?
True
Let s(z) = z**2 + 10*z + 14. Is 25 a factor of s(-11)?
True
Let a(m) = -5*m - 2. Let x be a(-4). Let r(f) = -74*f**2 + 56*f**3 + x*f**3 + 75*f**2 - 1 + f. Is 15 a factor of r(1)?
True
Let o = 267 + 273. Does 6 divide o?
True
Suppose 0 = 4*o - 3*o - 2. Suppose 0 = o*v + 2*f - 14, 3*v + 1 = 5*f + 6. Suppose -v*k = -264 + 94. Is 12 a factor of k?
False
Let b be -37 - 2/4*-2. Let r = b + 86. Does 9 divide r?
False
Let g be ((-8)/(-4) + -8)*1. Let z be 3/g*-2 - -4. Suppose -3*r + z*b = -63, r + 0*r - 5*b = 11. Is r a multiple of 13?
True
Let i(k) = k**3 - k**2 + 3*k + 2. Let p be i(0). Is (p/(-6)*2)/((-33)/693) a multiple of 14?
True
Let o(j) = j**3 + 9. Let v be o(0). Let h(c) = -c + 9. Let f be h(4). Suppose v*p = f*p + 220. Does 10 divide p?
False
Suppose 2*v - 10*v + 496 = 0. Suppose -198 = -5*o - 3*f, 2*o - 5*f - v = o. Is 6 a factor of o?
True
Let o be -12 + -1 + (-4)/(-2). Let g(s) = s**2 + 80*s - 11*s**2 + 97*s - 167*s - s**3. Is 5 a factor of g(o)?
False
Let l(u) = 2*u + 1. Suppose 4 = 3*g - 14. Let r be l(g). Suppose 43 + r = 4*c. Does 10 divide c?
False
Suppose -79 - 21 = -2*v. Is 48 a factor of (1 - v/35) + 339/7?
True
Let m(b) = -b**3 + 18*b**2 - 42*b + 24. Does 3 divide m(15)?
True
Suppose 2*k - y = 4*k + 5, -5*k = 5*y + 5. Let i(q) = 16*q**2 - 11. Is i(k) a multiple of 35?
True
Let h be 40 + -1 + 5*-1. Does 12 divide (1 - -42) + h/(-17)?
False
Let g(z) = 12*z**2 + 10*z - 14. Is 14 a factor of g(-7)?
True
Let c = -1749 + 2269. Does 65 divide c?
True
Suppose -o = 7*o - 16. Suppose 3*j - 2*g = 25, -2*j + 4*g - o = -32. Does 2 divide j?
False
Let v be (-1050)/(-33) - 2/(-11). Let i = 28 + v. Is i a multiple of 5?
True
Suppose 0*z - 2*z = 2*z. Suppose -2*t = -4*t + 8, z = -2*k - 2*t + 128. Is 12 a factor of k?
True
Let z(c) be the first derivative of -c**4/4 - 2*c**3/3 + c**2/2 - 2*c + 3. Let a be z(-2). Is a/4 - -1 - -76 a multiple of 19?
True
Suppose 4*n - 1788 = -3*o, 2*n - 17*o = -16*o + 884. Does 6 divide n?
True
Let s(k) = 45*k + 6. Let j be s(3). Suppose r = 6*r - x - j, r + 2*x - 37 = 0. Is r a multiple of 17?
False
Is 14 a factor of 1/7 - (-144966)/518?
True
Let l be -56*(-3)/24*-4. Let k be 70/(-4)*l/(-35). Let n = 14 - k. Is n a multiple of 14?
True
Suppose 3*l + 43 = 4*i + 1318, 5*l - i - 2125 = 0. Is l a multiple of 5?
True
Let a be 990/3*(-6)/(-15). Is -1 + a + (-51)/17 a multiple of 11?
False
Suppose -2845 = 901*g - 906*g. Is g a multiple of 7?
False
Suppose -3*o + 3 = 4*l - 29, 3*o + 3*l = 33. Suppose -3*u = -6*u + o. Suppose 0 = -i - u*p - 10, -p = i + 2*i - 25. Is 10 a factor of i?
True
Let r(y) = 5*y**2 + 17*y - 5. Let k(q) = -9*q**2 - 33*q + 10. Let p(x) = -6*k(x) - 11*r(x). Suppose 4*u - 40 = 3*i - 9, 38 = 5*u - 3*i. Does 19 divide p(u)?
False
Is 22 a factor of (-15)/((-360)/(-3056))*-6?
False
Let a(d) = -69*d - 62. Is a(-8) a multiple of 15?
False
Let u(s) = s**3 - s**2 - 40*s - 8. Let v be u(7). Suppose 5*c + 105 = v*c. Does 7 divide c?
True
Let u(w) be the first derivative of -w**4/4 + 10*w**3/3 + 8*w**2 - 14*w - 16. Is u(11) a multiple of 15?
False
Let p(l) = 28*l**2 - 1. Let c be p(-2). Suppose -5*k - c = -5*v + 3*v, 0 = 3*v - 3*k - 144. Does 15 divide v?
False
Let t(v) = 21*v + 1159. Is t(71) a multiple of 13?
False
Let p(w) = 29*w**2 + 3*w. Let h be p(4). Suppose 350 + h = 14*a. Is 10 a factor of a?
False
Let i be (32/12)/((-2)/3). Let t = 2929 - 749. Does 36 divide i/6 - t/(-30)?
True
Let o = -12 + 0. Let g = 69 + o. Suppose l - 11 - g = 0. Is 17 a factor of l?
True
Suppose 0 = -v - 3*i + 1 + 68, -5*v - i + 289 = 0. Let m = v - -161. Suppose 5*j - m + 83 = 0. Is j a multiple of 9?
True
Suppose 0 = 10*t - 2562 - 708. Is 3 a factor of t?
True
Suppose -22*x = -27*x + 1180. Is 10 a factor of x?
False
Suppose -1740 = -2*p - 5*d + 2027, 0 = 3*p + 3*d - 5655. Is 41 a factor of p?
True
Let w = -2 - 0. Let t be ((-99)/18)/(1/w). Let k = 4 + t. Is 9 a factor of k?
False
Let g be 10/(-25) - (-39)/(-15). Let q be (-4)/6 - 8/g. Does 10 divide q/3 - (-464)/24?
True
Suppose -3*n - 36 = -3. Let i = 13 + n. Suppose -i*t = 3*w - 14, w + 4 = -5*t - 0*t. Is w a multiple of 4?
False
Let w be (-21)/49 + 132/14. Let j(l) = 3 - 19 - 337*l**3 + 16*l + 336*l**3 + 2*l**2 + w*l**2. Is 12 a factor of j(12)?
False
Let s be -1*-6*4/(-6). Is 30 a factor of 86 - (s - (-1 + 1))?
True
Let j = 689 + -661. Is 24 a factor of j?
False
Is 43 a factor of (47 - 53) + (2497 - 0)?
False
Suppose -34*z + 30*z + 2178 = 5*m, -2*m = -5*z + 2739. Does 3 divide z?
False
Suppose 2*a + 7 = -4*j - 7, 4*j + 4*a = -16. Let i be 2 + 0 + j + 39. Let v = i + 3. Does 7 divide v?
False
Let w = -140 + 78. Let q = w - -134. Is q a multiple