= -10*y**2 - 25*y + 12. Let q(z) = 7*z**2 + 17*z - 8. Let l(g) = -5*a(g) - 7*q(g). Is l(-10) a multiple of 9?
True
Let t be (1 - -2)*4/6. Suppose t*i - 6 = 2. Let y(k) = k**2 - k - 5. Is y(i) a multiple of 7?
True
Does 15 divide (6 - 2 - 3)/(2/410)?
False
Let u(q) = 5*q**2 - 2*q. Let f be u(1). Is 35 - (0 + f - 6) a multiple of 10?
False
Does 7 divide 6/21 - 542/(-14)?
False
Let j(f) = 2*f**3 - f. Let t be j(1). Suppose d - t = -2. Does 9 divide 2/1 + d + 17?
True
Let q be (0 - 2)*(-18)/4. Let c(u) = -u**2 + 5*u. Let b be c(q). Let f = 66 + b. Is 12 a factor of f?
False
Suppose 7*d - 70 = 2*d. Is 14 a factor of d?
True
Let i = 100 - 44. Does 7 divide i?
True
Suppose -3*x + 97 = 2*h - 165, 5*h = -2*x + 182. Is 21 a factor of x?
False
Let t(o) = -o**2 + 13*o - 15. Is t(8) a multiple of 8?
False
Let z(m) = -m**2 - 7*m + 2. Let u be z(-5). Suppose -u = w + w. Is 4 a factor of ((-18)/(-6))/(w/(-8))?
True
Let q(o) be the second derivative of -3*o**4/4 - o**3/6 + o**2/2 - 3*o. Let r be q(1). Is 12 a factor of 74/6 - (-3)/r?
True
Is (-19864)/(-68) + -3*(-4)/(-102) a multiple of 14?
False
Let j be 3/2*(-8)/(-6). Suppose 2*l - 10 - 5 = -3*v, 3*v - 21 = -4*l. Does 8 divide 6/v + (8 - j)?
True
Let f(a) = a**3 + 10*a**2 + 10*a + 6. Let g be f(-7). Suppose 5*u + 4*r - 78 = 0, 4*u + 14 = -r + g. Is 6 a factor of u?
True
Suppose -4*r = -25 - 35. Suppose 3*t = 2*t + r. Is t a multiple of 15?
True
Let p(v) = -11*v - 3. Is 16 a factor of p(-6)?
False
Is (-2 - 2) + 121 - 3 a multiple of 20?
False
Let g = -21 + 32. Is 3 a factor of g?
False
Does 10 divide 12 + 0 + 3 + -1?
False
Suppose -3*q - d + 5*d = -357, -d - 3 = 0. Is 20 a factor of q?
False
Let j be (35/(-3))/((-2)/(-12)). Let a = -42 - j. Is 12 a factor of a?
False
Let t(w) be the second derivative of -19*w**5/20 + w**4/6 + w**3/6 - 4*w. Does 10 divide t(-1)?
True
Let q = 0 - -6. Suppose -4*z + q = -3*z. Suppose z*d - 2*d - 52 = 0. Is d a multiple of 4?
False
Let c = 6 - 2. Is 3 a factor of c/14 - (-108)/14?
False
Let y(w) = 8*w + 8. Is 27 a factor of y(8)?
False
Let z(v) = -v**3 + 8*v**2 + v + 8. Suppose 0 = y - 2*l - 6 - 8, 13 = 2*y + l. Is z(y) a multiple of 9?
False
Let k(d) = 2*d**2 - 5*d + 7. Is k(-6) a multiple of 38?
False
Is ((-2)/5 - (-605)/(-50))*-2 a multiple of 6?
False
Suppose 0 = -5*p - 5*m + 20, 4*p + 3*m + 4 = 18. Suppose -p*z = 5*n - 68, 155 = 5*z + 6*n - n. Let j = -16 + z. Is j a multiple of 13?
True
Does 6 divide (-3)/(-2) - (-309)/6?
False
Let k(n) = 5*n + 14. Let y be k(-7). Is y*7/((-21)/2) a multiple of 5?
False
Suppose 0 = 2*z - 233 + 41. Is 16 a factor of z?
True
Let n(p) = p**2 - 8. Let v be n(7). Let y = v + -21. Does 5 divide y?
True
Suppose 0 = -4*x - 4*c + 8 + 12, -2*x + 3 = -5*c. Suppose -x*p + 34 = -0*p + 2*v, p + 3*v = -4. Is 11 a factor of p?
True
Let h = 0 - -13. Suppose h = 4*r + 5. Suppose -r*c + 103 = 25. Does 10 divide c?
False
Let l(t) = 3*t**2 + 5*t + 5. Let x(r) = 2*r**2 + 4*r + 4. Let o(j) = -3*l(j) + 4*x(j). Let h be o(0). Is h*(-3 + 1) - -5 a multiple of 3?
True
Suppose -5*t = -4*t - 1. Suppose -4*q = -3*b + t, 4*b - 13 + 1 = 0. Does 17 divide (q + (-56)/3)*-3?
False
Let h(w) = -w**2 + 3*w - 1. Let x be h(3). Is 44 - (-2)/1*x a multiple of 14?
True
Let z be (-75)/6 + 2/4. Let x = -6 - z. Does 3 divide x?
True
Let a(d) = -d**2 + 7*d - 5. Let t(c) = c**3 + 4*c**2 - 4. Let q be t(-3). Let w be a(q). Let l(f) = -f**2 + 9*f - 2. Is 9 a factor of l(w)?
True
Suppose 2*u + 18 = -u. Let v = 10 + u. Suppose 0 = x - 5*z - 25, -5*z = 2*x - v*x + 50. Is 25 a factor of x?
True
Suppose -4*p = 3*j + 1, 21 + 1 = 5*p - 4*j. Suppose p*d - 220 = -2*d. Is 14 a factor of d?
False
Let c(m) = 84*m**3 - m**2 + m - 1. Is 20 a factor of c(1)?
False
Is (-2)/(-4) + 1554/28 a multiple of 26?
False
Suppose -543 = 5*r - 1488. Is 27 a factor of r?
True
Let t(k) = 2*k**2 + 2. Let s be t(2). Suppose 615 = 5*x - 8*x. Does 15 divide (x/s)/((-2)/4)?
False
Let f(j) = -j**3 + 8*j**2 - j + 7. Let g be f(6). Suppose -4*v = -g + 209. Let z = 69 + v. Is 16 a factor of z?
False
Let h(t) = t**3 - 5*t**2 + 5*t - 4. Let d = 10 - 6. Let z be h(d). Let l = z + 18. Is 9 a factor of l?
True
Let c be 50 + (0 - (-1 + 3)). Suppose 7 = a - c. Is a a multiple of 19?
False
Let b(l) = -l**3 - 7*l**2 + 9*l + 10. Let p be b(-8). Is 594/55*5/p a multiple of 9?
True
Is 9750/105 - (-1)/7 a multiple of 20?
False
Suppose 3*n + 459 = 5841. Is (-2)/(-8) - n/(-24) a multiple of 23?
False
Does 19 divide 3/((-9)/8)*-57?
True
Let h = 16 + -13. Suppose -h*g + 9 = -3. Does 4 divide g?
True
Does 9 divide (2*26/(-16))/(6/(-48))?
False
Let f(l) = l**3 - 10*l + 6. Does 15 divide f(4)?
True
Let v be 9/4 + 1/(-4). Let a(n) = n**2 - 3*n - 4. Let i be a(-4). Suppose v*j + 2*j = i. Is j a multiple of 6?
True
Suppose 4*a + 60 = k, k - 8*a = -3*a + 59. Does 18 divide k?
False
Let l = 4 - 1. Suppose l*v - 2*v = 22. Is 11 a factor of v?
True
Does 4 divide ((-70)/(-8))/((-4)/(-32))?
False
Suppose 5*w + m - 17 = 2*m, 0 = -m - 2. Let g(c) = 4*c**2 + 4*c - 3. Does 15 divide g(w)?
True
Suppose -35 = l + 4*l. Let r(o) be the first derivative of o**3/3 + o**2 - 7*o + 1. Is 12 a factor of r(l)?
False
Suppose s - 4*f + 3 = 16, -4*s + 5*f + 63 = 0. Let q = -15 - -22. Suppose -s - q = -k. Does 16 divide k?
False
Let d(q) = q**3 - 12*q**2 - 15*q + 10. Let b be d(13). Let v = b + 22. Is v even?
True
Suppose 0 = 8*d - 951 + 15. Is d a multiple of 13?
True
Let s be 3/3 - -38 - -2. Let h = -25 + s. Does 8 divide h?
True
Suppose 5*t - 283 = -0*t + w, -5*w - 295 = -5*t. Does 14 divide t?
True
Let a(i) = 2*i - 1. Let u be a(4). Let z = -4 + u. Suppose -t + 5*t - 58 = -5*y, 30 = 2*t + z*y. Is t a multiple of 11?
False
Let b = 26 + 5. Does 31 divide b?
True
Let n(f) be the second derivative of f**6/120 + f**5/6 + f**4/8 - 2*f**3 - 2*f**2 - 3*f. Let l(g) be the first derivative of n(g). Is l(-9) a multiple of 18?
False
Let o(f) = f + 4. Let y be o(7). Suppose -1 = i - y. Is 5 a factor of i?
True
Let q(p) = -p**3 - 2*p**2 - 5. Let j be q(-3). Suppose j*s - 37 = 3. Is s a multiple of 10?
True
Suppose 3*m - m - 149 = 5*r, -82 = -m + r. Does 13 divide m?
False
Let x = -3 - -37. Suppose 2*v - x = 12. Does 11 divide v?
False
Suppose 0 = -2*i - 5 + 15. Does 18 divide 534/30 - (-1)/i?
True
Suppose -5*c = -61 - 199. Does 6 divide c?
False
Let u = 24 - 17. Suppose -4*h + 16 = -0*h. Let x = u - h. Does 3 divide x?
True
Is 10/(-3)*(-9)/6 even?
False
Let x(h) = -h**3 - 3*h**2 + 3*h - 2. Let g be x(-4). Suppose g = -n + 6. Let y(z) = z + 2. Is 3 a factor of y(n)?
True
Suppose 0 = 2*h - 3*h + 2*k - 7, 14 = -3*h - k. Let a(j) = -5*j + 2. Let w(m) = 4*m - 1. Let t(n) = 4*a(n) + 3*w(n). Is t(h) a multiple of 19?
False
Let z(r) = 2*r - 11. Let q be z(9). Let w(u) = u**3 - q*u - 2 + 2*u + 0*u + 3*u**2. Is 13 a factor of w(-3)?
True
Let r = 7 + 21. Is 7 a factor of r?
True
Suppose 0 = z + 7 - 25. Is 10 a factor of z?
False
Let g(u) = u**3 - 8*u**2 + 8*u - 3. Let o be g(7). Suppose -9*w = -o*w - 45. Is 5 a factor of w?
False
Let j = -6 + 9. Let b(o) = 2*o**2 + 0 - 3*o + j + o**2. Is b(3) a multiple of 6?
False
Let x(a) = -a + 2. Let w be x(2). Suppose -5*j + 25 = -w*j, 5*u = 3*j + 120. Is 7 a factor of u?
False
Suppose 5*z + 4 = 24. Suppose -2*k + 14 = z*x, 3*x - 3*k - 17 = 2*k. Suppose -x*u - u + i = -144, -3*u = -5*i - 104. Is 14 a factor of u?
True
Let r(q) = q**2 - 2*q - 1. Let u = -4 - -3. Let o be r(u). Suppose -3*l - 3*y = o*l - 162, 3*y + 18 = l. Is l a multiple of 15?
True
Let p be (2 - 3/(-6))*2. Suppose -4*o + 90 = 3*l + 22, 0 = -3*l - 3*o + 66. Suppose p*r - r - l = 0. Does 2 divide r?
False
Suppose -2*l - l + 65 = -2*n, 5*n = 4*l - 75. Let j = l + -14. Is 5 a factor of j?
False
Let v(r) be the second derivative of -1/20*r**5 + 2*r - 1/2*r**4 - 1/2*r**2 + 0 + 11/6*r**3. Is 19 a factor of v(-8)?
False
Suppose 2*o - 565 = -3*o. Let a be (-1)/7 - o/(-7). Let f = a + -8. Is f a multiple of 8?
True
Suppose 0 = 6*n - 1 - 143. Does 7 divide n?
False
Suppose 75 = 13*x - 12*x. Does 3 divide x?
True
Suppose -14 = -u + 9. Does 18 divide u?
False
Suppose -3*o + 46 = -2. Let q = o + 22. Is q a multiple of 11?
False
Suppose -6*k + 2*k = -36. Let q = -4 + 1. Is 13 a factor of ((-26)/q)/(6/k)?
True
Suppose 0 = -5*i - 5*v + 55, 10 + 18 = 2*i + 5*v. Does 9 divide i?
True
Suppose 0 = -3*q + 