= 0 + f + 14*j. Is y(1) a multiple of 7?
True
Suppose 16 = 2*v + 4*p, 5*v - 5*p + 33 = 133. Does 8 divide v?
True
Does 18 divide (-123 + 3)*(-3)/4?
True
Let j = 0 - -41. Is 11 a factor of j?
False
Suppose -1 - 1 = -y. Suppose -18 = -y*i + 92. Does 14 divide i?
False
Let k be ((-8)/(-6))/((-3)/(-27)). Does 18 divide -3*(0 - 236/k)?
False
Let j(c) = -c**2 + 5*c - 4. Let y be j(4). Suppose y*b + 2*b = 8. Suppose m + u = 6*u + 40, 5*m = -b*u + 84. Is m a multiple of 10?
True
Let u be (-3)/(-9) - 1685/15. Is u/(-5) - (-26)/(-65) a multiple of 9?
False
Let f be -2*((-7)/2 - -1). Suppose 0 = 2*g + g - 21. Let j = g + f. Is j a multiple of 12?
True
Suppose 5*d - 71 - 144 = 0. Suppose 6*u - 3*u = -3, 0 = 2*c + 5*u - d. Suppose 0 = -2*k + 4*h + c, 2 + 0 = h. Is k a multiple of 11?
False
Let f(l) = 3*l**2 - 3*l - 3. Is f(-3) a multiple of 11?
True
Let d = 5 + -3. Suppose 4*q + 2*m - 143 = -m, d*q + 2*m = 70. Does 12 divide q?
False
Let b(v) = -65*v**3 - v**2 - 1. Let x be b(-2). Let o = x + -367. Suppose 0*c - o = -4*c. Does 13 divide c?
False
Suppose -7*t + 55 = -5*l - 2*t, l + 31 = 5*t. Let b be ((-14)/(-3))/(l/(-18)). Is 11 a factor of (-1 + -1)/((-2)/b)?
False
Let k(c) = -c**2 + 8*c - 7. Does 4 divide k(5)?
True
Let v(s) = 88*s**2 + s - 1. Does 29 divide v(1)?
False
Let o be 217/(-14) - 1/2. Let i = 76 + o. Let p = i + -36. Is p a multiple of 13?
False
Let f(g) = -g**3 - 12*g**2 + 10*g - 3. Is 9 a factor of f(-13)?
True
Suppose 55 = 4*x - 17. Suppose -2*w - x = -5*w. Is 2 a factor of w?
True
Let p(q) = -4*q + 1. Let o = 2 - 2. Suppose -5*j + o*j + 5*i = 30, -16 = 4*j - 2*i. Is p(j) a multiple of 9?
True
Suppose 0*m = 5*m - 75. Is (-6)/m - (-534)/10 a multiple of 17?
False
Suppose -3*k + 288 = 4*s, 5*k - 255 = 5*s + 225. Is 31 a factor of k/1 - (8 + -5)?
True
Let s = 222 - 26. Suppose -6*g + 6 + 6 = 0. Suppose 2*j = -g*j + s. Does 20 divide j?
False
Suppose 4*h - 5*b = 17 + 68, -h - 2*b + 18 = 0. Is h a multiple of 20?
True
Let l(f) = -f**2 + 2*f - 2. Let h be l(3). Let q(x) = -10*x + 1. Let y be q(h). Suppose 0 = 2*v - 17 - y. Is 13 a factor of v?
False
Let n(j) = 8*j**2 + 0 + 6 + 2 + 9*j + j**3 + j. Is n(-6) a multiple of 10?
True
Let q(f) = 2*f - 5. Let z be q(4). Let b(o) = -z + 2 - 4*o + 3. Is b(-5) a multiple of 11?
True
Let k(l) be the second derivative of 3*l + 3*l - 2*l**3 - 3*l + l. Does 7 divide k(-2)?
False
Let v = -232 + 512. Is v a multiple of 36?
False
Let f(b) = b**2 - 10*b + 7. Let p be f(7). Let k = p - -31. Does 12 divide k?
False
Let f(u) = -9*u - 12. Let l be f(-5). Suppose -3*n = 3*w - l, -4*n + 49 = n - w. Is 4 a factor of n?
False
Let o(r) = -r**3 - 7*r**2 - 2*r - 10. Let g be o(-7). Let x = 19 + g. Is x a multiple of 7?
False
Suppose 4*c = -3*j + j - 3348, 2*j - 2*c + 3318 = 0. Is (-2)/(-7) + j/(-56) a multiple of 15?
True
Suppose 4499 + 1745 = 4*k. Let p be k/21 + 2/(-6). Suppose 0 = t + 4*r - 34, -3*t + 2*r = 7*r - p. Is t a multiple of 17?
False
Let p(n) = 21*n - 2. Does 4 divide p(1)?
False
Suppose b = 3*b. Let q = 4 - b. Suppose g = -q*g + 40. Is 8 a factor of g?
True
Suppose f + 5*b - 27 = -2*f, -f + 10 = 2*b. Suppose -f*g + 76 - 20 = 0. Is g a multiple of 7?
True
Suppose 4 = 3*b - 2. Suppose 3*w = b*w + 22. Is 13 a factor of w?
False
Let o be -3 + 1 - (-1 - 82). Suppose -29 = 4*y - o. Let m = y + -8. Is m a multiple of 5?
True
Suppose -2*l - l = -18. Let i = 77 + -69. Let y = i + l. Is y a multiple of 4?
False
Let u(q) = q. Let b be u(4). Suppose -3*l + 142 = -2*x, 5*l + b*x + 0*x = 244. Does 16 divide l?
True
Let x(y) = 7*y - 16. Is x(11) a multiple of 15?
False
Let t(v) = 3*v**2 - 6*v + 2. Does 15 divide t(5)?
False
Let f = -6 - -10. Let l = f + 3. Is l a multiple of 2?
False
Suppose m + 0*m - 11 = 0. Does 11 divide m?
True
Let q(s) = 8*s + 12. Is 6 a factor of q(6)?
True
Let j be (-1 - -250)/((-12)/(-16)). Suppose -4*u - 3*s = -324, 7*u = 3*u - 5*s + j. Is 26 a factor of u?
True
Is 121 + 3/(-4)*-4 a multiple of 14?
False
Suppose 0 = 2*b - 3*b + 10. Let j = b - -1. Is 6 a factor of j?
False
Let q = -3 - -12. Is 3 a factor of q?
True
Let a(o) be the second derivative of -7*o**6/720 - o**5/30 - o**4/12 + 2*o. Let n(b) be the third derivative of a(b). Is 12 a factor of n(-4)?
True
Suppose -3*h = -25 - 20. Let p = -4 + h. Is p a multiple of 10?
False
Suppose 5*y + 3*c + 4 = 0, 4*y - 4*c + 3*c = -10. Is 7/((-3)/y + -1) a multiple of 14?
True
Does 18 divide 230/8 - 2/(-8)?
False
Suppose c = -2*c + 12. Suppose -2*t + c = -24. Is (4 - 10)/((-3)/t) a multiple of 14?
True
Let h(s) = -17*s + 9. Let u(n) = -6*n + 3. Let l(v) = 4*h(v) - 11*u(v). Does 14 divide l(-6)?
False
Let x = 3 - -2. Suppose -r + x*r = 52. Is r a multiple of 13?
True
Let l = 4 + -1. Is 8 a factor of (-165)/(-9) + (-1)/l?
False
Suppose 5*u = 17 - 72. Let i be 6/33 - (-475)/u. Let c = -31 - i. Does 6 divide c?
True
Is 22 a factor of (6/(-15))/(1/(-605))?
True
Suppose -306 = -2*n + 140. Is 50 a factor of n?
False
Let s = 2 + -2. Suppose -5*k + 31 + 74 = s. Does 17 divide k?
False
Let d be ((-6)/9)/(2/(-9)). Suppose -70 = -4*l - d*m + 142, -154 = -3*l - m. Is 25 a factor of l?
True
Suppose 9 = -2*g + 85. Let z = 66 - g. Is z a multiple of 18?
False
Suppose -h - 2*h + 15 = 0. Suppose 2*l + 172 = h*n, -3*l - 2*l - 175 = -5*n. Is 9 a factor of n?
False
Let g = 77 + -49. Suppose o = -0*o + g. Does 28 divide o?
True
Let z(s) = -2*s - 1. Let i be (1 + 0)/(3/6). Suppose i - 17 = 3*q. Is z(q) a multiple of 6?
False
Suppose -5*s = 583 - 1603. Is s a multiple of 20?
False
Let h(i) be the second derivative of -i**5/20 + 7*i**4/6 - 11*i**3/6 + 8*i**2 + 4*i. Is 15 a factor of h(13)?
False
Does 14 divide (1515/5)/3 + -3?
True
Let i(b) be the third derivative of b**6/120 + 7*b**5/60 + 5*b**4/24 - b**3/2 + 2*b**2. Let l be i(-6). Suppose l*d = -d + 32. Is d a multiple of 5?
False
Let o(v) = v**3 - v**2 + 2*v + 46. Is 10 a factor of o(0)?
False
Suppose 8*g - 8 = 7*g. Is g a multiple of 6?
False
Let i(s) = -20*s**3 - s**2 + 1. Let y be i(-1). Suppose -2*k - 3*k - 19 = -2*d, d - y = -k. Let v = -8 + d. Is v a multiple of 9?
True
Let x(f) = -f**3 - 6*f**2 + 3. Let n be x(-6). Suppose 14 = n*m - m. Is m a multiple of 4?
False
Suppose -f + 47 + 7 = 0. Is 18 a factor of f?
True
Let q be (-1 - -8)*(-216)/(-28). Suppose -q = -4*z - 2*f, -3*f = z + z - 29. Is 4 a factor of z?
False
Let b = -6 + 20. Is 4 a factor of b?
False
Suppose -4*d - 2*d + 156 = 0. Is d a multiple of 13?
True
Let r be 18/(-12)*4/(-3). Suppose -a - r*o + 12 = 0, 32 = 3*a - o - 4. Is 7 a factor of a?
False
Let p = 125 - 81. Is p a multiple of 22?
True
Suppose -2*o + 28 = 7*w - 3*w, 32 = 4*o - 4*w. Let y = o + -5. Suppose -21 = -y*h + 39. Is 7 a factor of h?
False
Let n = -1 + -9. Let u(f) = -f**3 - 11*f**2 - 11*f. Is u(n) a multiple of 10?
True
Let s(d) = 5*d**2. Let x be s(-1). Suppose -x*o + 23 = 3. Is 15 a factor of 2/(-8) - (-61)/o?
True
Let l(u) = -2*u**3 - 2*u**2 + 3*u + 2. Let g be l(-2). Suppose 2 = -g*p + 5*p. Is p a multiple of 2?
True
Does 20 divide (-93 + -4)*-1 - -3?
True
Is 1/2*26*(10 + 0) a multiple of 13?
True
Let v = 7 + 25. Does 16 divide v?
True
Suppose -67 = 3*r - 361. Is r a multiple of 21?
False
Let j be 2*(1 - 36/8). Let t = j + 25. Is 3 a factor of t?
True
Let m(g) = g**3 - g**2 + g. Suppose 4*h = 12 - 4. Let n(q) = 3*q**3 - 7*q**2 + q - 4. Let o(x) = h*m(x) - n(x). Is o(5) a multiple of 9?
True
Let n(m) = -20*m**3 - m**2 - 2*m - 1. Is n(-1) a multiple of 10?
True
Suppose 0 = 9*j - 86 - 49. Does 3 divide j?
True
Let t(b) = -7*b**3 - b**2 + 9*b + 4. Let a(h) = -15*h**3 - 2*h**2 + 19*h + 8. Let v(w) = 6*a(w) - 13*t(w). Suppose 4 = 3*x - 5. Does 9 divide v(x)?
False
Let x be (-1)/(1 - 46/44). Let c = x + -39. Is 1*2*(3 - c) a multiple of 14?
False
Does 37 divide 513/7 + (45/(-35) - -1)?
False
Let i = -3 - -5. Let y = i + -3. Does 16 divide (4*y)/(-2) + 30?
True
Let r(x) = x**2 + 6*x + 16. Is r(6) a multiple of 22?
True
Let o = -72 + 94. Is 9 a factor of o?
False
Suppose -2*p + 5*p + 250 = -4*c, -100 = p - 2*c. Let y = 200 + p. Suppose 8*b - y = 3*b. Does 11 divide b?
True
Let l = -1 + 3. Suppose -2*u + 6 + 3 = 5*s, 3*u = 4*s + l. Suppose 37 + 19 = u*a. Is 14 a factor of a?
True
Let p(o) = -o**3 - 2*o**2 + o - 3. Let x be p(-3). Suppose -x*v = -r + 35, -3*v + v + 35 = r. Is r a multiple of 13?
