or of j?
False
Suppose -4*n = -4*b - 0*n + 568, 2*b - n = 287. Does 33 divide b?
False
Suppose 0 = -362*a + 364*a - 1808. Is a a multiple of 17?
False
Let n(m) = 0 + 7 + 6*m - m + m**2. Is 2 a factor of n(-5)?
False
Is 3 a factor of (330/(-11) + 3)*(-13)/3?
True
Is (7/(-7) + 0 - -1222) + -3 a multiple of 14?
True
Let z = -13 - -13. Let l be -2 + z + 0/(-1). Does 4 divide (9 + -8)/(l/(-24))?
True
Let w(a) = a**2 + 19*a + 12. Let o be w(-18). Let v = o - -29. Is 3 a factor of v?
False
Is 5 a factor of (-350)/(-49)*(8 + 6)?
True
Suppose -68 = -60*p + 58*p. Is p a multiple of 2?
True
Let p(b) = 4*b - 11*b**2 - 13*b**2 + 1 + 21*b**2 - 2*b. Let f be p(-1). Is (-235)/(-20) - 1/f even?
True
Let i = -50 - -76. Suppose a + 5*u = 5*a + i, -u - 10 = 3*a. Does 20 divide (-2*5*a)/2?
True
Let i(v) be the second derivative of v**4/12 - v**3 + 5*v**2 + 2*v. Let d be i(4). Suppose 3*u - d - 7 = 0. Is 3 a factor of u?
True
Let y(l) = -l - 2. Let q be y(3). Let c = 3 - q. Is c even?
True
Let y(w) = -w**2 - 5*w - 4. Let f be y(-4). Suppose 3*s + 2*s + 156 = 3*c, -5*c + 2*s + 279 = f. Is c a multiple of 13?
False
Let p be ((-2)/(-3))/(7/(-7 + 1477)). Suppose -9*k = -5*k - p. Does 5 divide k?
True
Is (-110)/(10/(-325)*5) a multiple of 11?
True
Let m(o) = -36*o**2 - 5*o + 5. Let i(b) = 37*b**2 + 4*b - 4. Let j(l) = 5*i(l) + 4*m(l). Does 13 divide j(2)?
False
Suppose 76*t - 616 = 69*t. Is t a multiple of 11?
True
Let n(h) = 3*h**2 - 16*h - 444. Is 23 a factor of n(27)?
True
Let q(a) = 32*a**2 + 42*a - 7. Is 28 a factor of q(-5)?
False
Let k = 151 - 148. Let v(l) = -l**2 + l + 12. Let n be v(0). Does 4 divide -1 + (n - k) + 0?
True
Suppose -4*h - 260 = -0*h. Is 2/8*0 - h a multiple of 12?
False
Let i = -7 - -11. Let r = 2 + i. Suppose -2*u = -r*u + 144. Is 14 a factor of u?
False
Suppose -5*a - 7*w + 2282 = -5*w, 0 = -a + 2*w + 454. Is 57 a factor of a?
True
Let u(r) = r**3 + r**2 - r + 1. Let o(j) = 4*j**3 + j**2 - 4*j + 15. Let g(x) = o(x) - 5*u(x). Is g(-5) a multiple of 30?
True
Let z(k) = -k**2 - 12*k - 11. Let r be z(-10). Let c(m) = m - 4. Let p be c(r). Suppose 3*s + 5*l - 86 = 20, 0 = s - p*l - 22. Is s a multiple of 10?
False
Suppose -10*m + 18*m = 24. Suppose -288 = m*f - 12*f. Is 16 a factor of f?
True
Let x(p) = 3*p**2 - 5*p - 8. Suppose 0 = -4*m - 0*m + 3*s - 68, 0 = 3*m + 4*s + 76. Let o = -14 - m. Is x(o) a multiple of 24?
False
Let f(b) = -2*b**2 + 23*b - 5. Suppose -2*p + 2*j + 13 - 5 = 0, 4*p = -j + 41. Is 5 a factor of f(p)?
True
Let s(l) = -l**3 - 12*l**2 + 2*l + 24. Let m be s(-12). Suppose 2*h - f - 39 = m, -5*h - 59 + 160 = f. Is h a multiple of 20?
True
Suppose 4*h + 110 = 5*j, -3*j + h + 47 + 12 = 0. Suppose 17*o + 52 = j*o. Is 4 a factor of o?
True
Suppose -4*x = -5*d + 29, 0 = -4*x - 3 - 1. Suppose 0 = -d*g + 2*g + 36. Does 8 divide g?
False
Is 22 a factor of 3/48*7822 - 9/(-72)?
False
Suppose -4*t = 21 - 61. Is 72/t + 2/((-30)/3) a multiple of 4?
False
Let s(y) = 12*y - 3. Suppose 4*c - 9 = 3, -4*c = -4*g - 8. Is 9 a factor of s(g)?
True
Let c(y) = 291*y**2 + 17*y + 32. Is 100 a factor of c(-3)?
True
Let c(o) = 12*o**2 + 10*o - 9. Let s be c(3). Let l = s - -71. Does 40 divide l?
True
Is ((-5768)/(-16))/(-7)*-2 a multiple of 4?
False
Let m = 11 - 4. Let s = -1 + 1. Suppose -3*r + 2*r + m = s. Is r a multiple of 6?
False
Suppose 41*i + 27*i - 13056 = 0. Is i a multiple of 8?
True
Suppose -4*d = 4*g, -d + 3*g + 0*g + 12 = 0. Let a(w) = 14 - 13 - 13*w - d - 43*w. Is 18 a factor of a(-1)?
True
Suppose 3*h = 2*y - 218 + 37, -2*h - 382 = -4*y. Is y a multiple of 29?
False
Suppose 3*n + 80 = -2*w, w + 0*w + 3*n = -40. Let q = w + 58. Suppose m - q = 32. Does 8 divide m?
False
Let p = 76 + -73. Suppose 2*r = -4*w + 218, 0 = p*w - 3*r - 239 + 62. Does 22 divide w?
False
Let u = -1108 - -1693. Is u a multiple of 13?
True
Let j be 0*((-26)/(-6) + -4). Suppose j = -4*c + 4*u + 304, -3*c - u = -235 + 23. Suppose q = 3*q - c. Is 9 a factor of q?
True
Suppose -4*p = -5*f + 297, -4*p - 222 = -p - 4*f. Let v = p + 124. Is 7 a factor of v?
False
Is 57 a factor of (-3568)/(-10) + 5/(7 - -18)?
False
Let p(m) be the third derivative of m**4/4 - 29*m**3/6 + 21*m**2. Is 5 a factor of p(11)?
False
Suppose 124 = 9*c - 8*c. Let j be ((-24)/9)/(-2)*3. Suppose 21 = 5*a - 5*v - c, 92 = 4*a + j*v. Is 13 a factor of a?
True
Let i be (-3)/((18/4)/(-3)). Suppose -3*t + 35 = -5*m, 0*t - 2*m = -t + 11. Suppose -i*r = -5*l + 10 + 18, 0 = 2*l + 3*r - t. Does 2 divide l?
True
Let s = 213 + -149. Is 16 a factor of s?
True
Let r(y) = 72*y - 3. Let n be r(-1). Let q = n + 187. Is 28 a factor of q?
True
Let b = -83 + 82. Is 4*(-11)/(-2)*(-1)/b a multiple of 11?
True
Suppose 0 = -6*v + 9*v. Suppose -4*c + 3*g = -84, -3*c = -v*c - 5*g - 74. Suppose 0 = -3*b + c + 6. Is 4 a factor of b?
True
Suppose k - 2 = 0, 0 = 3*a - 3*k + 10 + 8. Is 22 a factor of 32/(-40)*910/a?
False
Let o(j) = -91*j**2 + j. Let m be o(-1). Let a be (-84)/(-147) + m/14. Let f = 36 - a. Is 14 a factor of f?
True
Let o(s) = -3*s**2 - 14*s + 16. Let u be o(-8). Let c = 67 + u. Is 3 a factor of c?
True
Let k be (-1)/2 - (-2 + (-14)/4). Suppose k*i - 150 = 235. Is 21 a factor of i?
False
Let b be ((-2)/11 - 336/(-154))*1. Suppose -r = -5*v + 72, -2*v - 1 + 25 = b*r. Is v a multiple of 14?
True
Suppose l = 5*k - 5599, -4*k = -3*l - 3827 - 650. Is 24 a factor of k?
False
Suppose 2*k + 5*s - 9 = -0*k, -4*k - 3*s = -11. Suppose 14 = -k*z + 3*g, 0 = -4*z - 2*g - 2*g - 48. Is (280/50)/((-4)/z) a multiple of 14?
True
Let j be (104/(-130))/(2/(-305)). Suppose 3*i + j = 4*f - 55, -f + 3*i + 42 = 0. Is f a multiple of 15?
True
Let f(u) = -33*u - 55. Let r(z) = z + 1. Let b be ((-164)/2)/(-2) + 3. Let w(o) = b*r(o) + f(o). Is 15 a factor of w(6)?
False
Suppose -x = -6*x. Let o be (-7)/(-2)*-10 + x. Let d = o - -50. Does 8 divide d?
False
Let j(t) = -t**2 + 2*t + 78. Let s be (2 + -2)*9/18. Suppose 2*w - 6*w = s. Does 16 divide j(w)?
False
Let x = 3245 - 2117. Is x a multiple of 12?
True
Does 4 divide ((-14)/8 + 0)*16/(-1)?
True
Let u = 4 - -2. Suppose 5*g - u - 4 = 0. Suppose -g*f + 6 = -4. Does 5 divide f?
True
Let u(t) = t + 6. Let v be u(-5). Is 12 a factor of 12/(-9)*v*-9?
True
Suppose -2*r - 15 = r. Suppose 3*b + 2*b - 290 = 0. Let y = b - r. Does 21 divide y?
True
Suppose 0*h + 4 = -h. Let g be -78 + (-3 - h) + 1. Let u = g - -116. Is u a multiple of 16?
False
Let k(c) = -c + 21. Let q(h) = h**2 + 3*h + 5. Let g be q(-4). Does 12 divide k(g)?
True
Let w(a) = a**3 + 5*a**2 + 7*a + 4. Let q be w(-2). Suppose 0 = -4*t + 4*p + 200, 3*t = -2*t + 4*p + 253. Suppose -t - 13 = -q*k. Does 5 divide k?
False
Let s = 27 + -22. Suppose -3*x + 109 = 3*o - 71, 80 = o + s*x. Is o a multiple of 11?
True
Let u = 289 - 156. Let t = u - 92. Is t a multiple of 8?
False
Let y(x) = x**2 + 10*x - 37. Let n be y(-13). Let i be (-5 - 3/(-3))/(-2). Suppose -1 = i*p - 3, n*q - p - 137 = 0. Does 23 divide q?
True
Suppose 2*o = 0, -2*o = -4*j + 297 + 939. Is 60 a factor of j?
False
Does 68 divide (-28418)/(-52) + 5/(-2)?
True
Let a(y) be the first derivative of 9*y**2/2 - 2*y + 73. Let h = -2 + 5. Is a(h) a multiple of 10?
False
Suppose -2*y - 286 = 4*c, -c - y - 4*y = 85. Let b = -42 - c. Is 17 a factor of b?
False
Let f(w) = -2*w - 9. Let q be (-2)/8 - (-46)/(-8). Let n be f(q). Does 7 divide 3 - (n - (18 + 3))?
True
Suppose -19 = -4*t - 83. Let y be t/72 + (-58)/(-18). Suppose -y - 1 = -v. Is 2 a factor of v?
True
Let t be 2/4 + (-240)/(-32). Suppose -t*o + 2*o + 210 = 0. Is 20 a factor of o?
False
Is 13 a factor of 4*((5 - 84/(-8)) + 4)?
True
Let f = -15 - -9. Is (-4)/(8/f) - -74 a multiple of 12?
False
Let y(z) = z**3 + 11*z**2 + 9. Let n be y(-11). Suppose n = 4*f - f. Suppose -f*d + 108 = d. Is d a multiple of 9?
True
Let p(c) = c**2 + 20*c + 2. Let k be p(-20). Suppose 7*a + k*a - 1242 = 0. Is a a multiple of 29?
False
Let o be (18/10 - 1)*-75. Is 6 a factor of (-49)/(-4) + (-45)/o?
False
Suppose -u + 1 = -p - 5, -3*p + 24 = 4*u. Suppose 4*q + 206 = 5*f + u*q, 0 = f - q - 37. Is f a multiple of 7?
False
Is 41 a factor of ((-4)/(-3) + 0)/(1/336)?
False
Let v(g) = g**2 + 18*g. Let o be v(-18). Let i be o - (-4 + -64)/(-2). Is 17 a factor of i*5/20*-2?
True
Let n be (-264)/10 + (-50)/(-125). Does 13 divide (-10)/6*(n - 8/2)?
False
Suppose 4*