 l(3). Suppose -h*j + 22 = 70. Let g = -8 - j. Is g a multiple of 2?
True
Let b(y) be the second derivative of y**4/12 + y**3/3 + 12*y**2 - 3*y. Let w(p) = p**2 + 3*p + 24. Let r(x) = 4*b(x) - 3*w(x). Is r(0) a multiple of 12?
True
Let o = 30 + -18. Is 6 a factor of o?
True
Suppose 0 = -9*d + 4*d - 130. Let n = 15 - d. Does 9 divide n?
False
Let p be (0 - 0)/(4 - 6). Suppose -16 = -p*c + c - 2*h, -3*h = -c - 15. Is (1 - 16)*c/10 a multiple of 10?
False
Suppose -3*i = 5*u + i - 110, -2*u + 2*i + 26 = 0. Let d = u + -70. Let o = -22 - d. Is 15 a factor of o?
True
Suppose -3*s = -208 - 245. Does 25 divide s?
False
Let b(q) = q**2 + 8*q - 8. Let w be b(-9). Suppose -d = w - 67. Is d a multiple of 22?
True
Let p(u) = u**3 - 2*u**2 - 5*u + 4. Let h(i) = -i**2 + i - 1. Let a(k) = -4*h(k) - p(k). Is a(6) a multiple of 4?
False
Suppose -7*a + 364 = -42. Is a a multiple of 3?
False
Let h(y) = 5*y - 1. Let c be h(1). Suppose 2*k + 5 = 3*s, 3*k - 3*s = 1 - c. Does 12 divide 2/(k/12*1)?
True
Suppose 0 = 2*u - 5*u - 15. Suppose 0 = 4*f - 5*b - 40, -2*f = 2*f + 5*b - 40. Let x = u + f. Does 4 divide x?
False
Let r(d) be the second derivative of d**5/20 + 5*d**4/12 - d**3/2 + 3*d**2/2 - 2*d. Let k be r(3). Suppose x = -2*x + k. Is 11 a factor of x?
True
Suppose 2*q - 12 = -0*q. Let k(a) = a**3 - 4*a**2 - 3*a + 3. Is k(q) a multiple of 19?
True
Let v be (-176)/(-6) + 2/(-6). Suppose -n = 12*n - 273. Let z = v - n. Is z a multiple of 4?
True
Let p(d) = 2*d - 3. Let h be p(2). Let m(k) = 2*k**3 - k**2 + 1. Let y be m(h). Suppose -x - 45 = -y*x. Is x a multiple of 14?
False
Suppose 4*c + 4*y - 267 = -c, -3*c + 3*y + 171 = 0. Suppose -c = -i + j, i = -2*j + 22 + 48. Is i a multiple of 12?
True
Let m be (6/(-4))/(21/(-56)). Suppose -5*t - 32 = -3*k + 39, m = -4*t. Is k a multiple of 12?
False
Let d = 13 + -9. Suppose 0 = -3*l - 2 - 10, 0 = -2*c - l + d. Is c a multiple of 4?
True
Suppose -2*u = -4*l - 38, -2*u + 5*l + 15 + 25 = 0. Let h = 9 - 17. Let b = u + h. Is b a multiple of 7?
True
Let f(w) = -2 + 16*w**3 - w**2 + 2 + 1. Does 8 divide f(1)?
True
Suppose -2*n - 4 = 5*c - 23, -20 = 4*c. Does 11 divide n?
True
Suppose d - 3 = -2. Suppose 3*b = -5*g - 0*b + 12, -2*b + d = g. Is 2 a factor of g?
False
Suppose 5*q + 4*d - 9*d + 40 = 0, -4*q - 30 = -3*d. Does 5 divide (-177)/q + (-3)/6?
False
Suppose 1 - 25 = -3*j. Suppose 3*n = n - j. Let f(y) = -7*y - 3. Is 7 a factor of f(n)?
False
Suppose -5*h + 25 = -2*h - 2*x, 4*h - 2*x - 34 = 0. Let n(y) = y - 11. Let o be n(h). Does 14 divide (34 + -6)/(o/(-1))?
True
Let t be 46/6 - 3/(-9). Let n be ((-2)/3)/(t/(-36)). Suppose -n*z - q = 2*q, -4*q - 14 = -3*z. Is z even?
True
Let l be 10 - 3/6*4. Suppose 4*s - 4*f - l = 0, -3*s + 8*s - 3*f - 12 = 0. Suppose -2*q - 7 = -n, s*n + q = 6*q + 20. Is n even?
False
Suppose -l = -4*l + 144. Is l a multiple of 13?
False
Let v be 1*-2*28/(-8). Let k = v + -5. Is 2 a factor of k?
True
Let w(k) = -3*k. Is w(-8) a multiple of 12?
True
Let y be 1*-9*-4 + 2. Suppose d + 5*t + 26 = 0, d = -2*d - 5*t - y. Is 4 a factor of d/((-6)/8 - 0)?
True
Suppose -6*l + 5*l = 5*i - 60, 0 = -4*i - l + 47. Is i a multiple of 9?
False
Suppose -k + 5*g = -24, 2*k + 2*g = 7*k - 28. Suppose 75 = v + k*v. Is v a multiple of 5?
True
Let r = 4 - 12. Let s = 5 - 7. Does 6 divide (9/4)/(s/r)?
False
Let h(z) = -z**2 + 3*z + 3. Let l be h(3). Suppose -l*f + 1 = -5. Suppose -f*g = -g - 8. Is 8 a factor of g?
True
Suppose d = -k + 4*d + 11, 2*d = 4*k - 94. Does 8 divide k?
False
Let g be ((-14)/4 - -3)*-44. Suppose d - g = -d. Does 11 divide d?
True
Is ((-413)/35)/((-2)/10) a multiple of 17?
False
Let g = -2 + 2. Let y be (-2 - 56)*(3 - 2). Is y/(g - 2) + -2 a multiple of 10?
False
Let q be 180/3*10/(-25). Is 1/(-2) - 300/q a multiple of 8?
False
Let k = 70 + -43. Is 10 a factor of k?
False
Let s(i) be the second derivative of -2*i**3/3 + 7*i**2/2 + i. Let d = 10 - 15. Is s(d) a multiple of 15?
False
Let a = 29 + -10. Let k = a - 0. Does 19 divide k?
True
Let d(k) = k - 3*k**2 + 4*k + 4*k + 4*k**2 - 5. Let n be d(-10). Let o = 15 - n. Does 5 divide o?
True
Let y(i) = -71*i + 10*i + 2*i + 1. Let u be y(1). Does 11 divide (u/(-3))/(2/3)?
False
Suppose -3*z - 185 = -4*h, -h + 16 = -5*z - 9. Does 10 divide h?
True
Let v(o) = o**3 - 6*o**2 - 4*o - 7. Is v(7) a multiple of 14?
True
Let a(z) = z**3 - 5*z**2 + 2*z - 6. Let o be a(4). Let d be 6/3*o/(-4). Is 17 a factor of -1 - (-2 + -3)*d?
True
Let s(y) = y**3 - 6*y**2 + 5*y - 1. Suppose 0 = -x + 1 + 3. Let i be s(x). Does 4 divide -3 + (1 - i)/2?
True
Is (-1)/(-2) + 440/16 a multiple of 24?
False
Suppose -4*v + 20 = 8. Let t(m) = m**2 - 3*m + 3. Let j be t(v). Suppose 7*z - 3*f - 90 = 2*z, j*z = f + 54. Is z a multiple of 6?
True
Let u(t) = 72*t**2 - t - 1. Is 24 a factor of u(-1)?
True
Suppose -5*k + 2*u + 0*u = -144, -2*k + 4*u + 64 = 0. Is 14 a factor of k?
True
Let y be (-2)/((-4)/(-26)*-1). Suppose -5*p + 1 = -3*w + w, 4*w - y = -5*p. Suppose 51 = 5*t + p. Is 5 a factor of t?
True
Let x = -109 - 74. Let z = 37 + -25. Is 5 a factor of 2/(-8) - x/z?
True
Let g = 11 + 14. Suppose -4*z + g = u, 3*u - 57 = -0*u - 3*z. Suppose 0 = k + 5*m - 44, 3*k - u = -2*m + 89. Is 17 a factor of k?
True
Suppose -3*x = -5*p - 178, -3*p = -5*x + 36 + 250. Does 6 divide x?
False
Let b = -18 - -13. Is 12 a factor of (-6)/2*35/b?
False
Suppose -4*b = 3*p - 8, 3*p = 4*p + 2*b - 4. Let f be 4/(-14) - (58/(-7) - -5). Let g = f + p. Does 2 divide g?
False
Suppose 0 = n + 3*w - 12, 0 = 3*n + 3*w - 5*w + 8. Suppose 4*t - 10 = 2*t, -o - 5*t + 41 = n. Is 4 a factor of o?
True
Let w(x) = -x + 8. Let g(m) = m**2 - 11*m + 12. Let b be g(9). Does 5 divide w(b)?
False
Let n(s) = s**2 + 8*s - 1. Let k be n(-8). Is (-9)/(-9) - k*19 a multiple of 5?
True
Suppose -8*k + 556 = -4*k - 4*a, 0 = -3*k - 3*a + 423. Is k a multiple of 38?
False
Let s be 0 - (-4 + 2 - 25). Suppose 5*w - 2*r - s - 9 = 0, 3*w = r + 22. Suppose x - w = 3. Is x a multiple of 11?
True
Let m = 79 + -8. Does 26 divide m?
False
Let a(z) = 3*z**2 - z + 2. Is a(-2) a multiple of 8?
True
Let y(u) = -2*u - 1. Let r(b) = -5*b - 2. Let q(k) = -4*r(k) + 11*y(k). Let a be q(-3). Is 7 a factor of a/9 - (-20)/3?
True
Suppose -y - 275 = -2*z, -5*z + 965 = 5*y + 300. Suppose 2*i + z = 6*i. Is 13 a factor of i?
False
Suppose -2*o + g + 17 = 0, 0 = -4*g - 0*g - 12. Let u be (2/o)/((-1)/(-7)). Suppose -5*b + 42 = -u*b. Is 7 a factor of b?
True
Let i = -54 + 135. Is i a multiple of 25?
False
Let w(t) = 10*t - 61. Let m(x) = 10 - 21 + 3*x - 9. Let z(u) = -7*m(u) + 2*w(u). Is z(0) a multiple of 7?
False
Suppose -2*n = 3*n - 70. Let q be (-4)/(-18) - 112/(-63). Suppose -l = -q*s + n, -l - 8 = -2*s + s. Is 3 a factor of s?
True
Let t = -7 - -12. Is 2 a factor of t?
False
Suppose -l + 5*l + 8 = 4*j, 4*j = 5*l + 5. Suppose 133 = 5*x + l. Does 13 divide x?
True
Let v be 1/((10/(-6))/5). Let l(s) = -12*s - 6. Does 15 divide l(v)?
True
Suppose -2*y = 3*f - 54, -7*f + 4*f + 24 = y. Is y a multiple of 2?
True
Let u(l) = -l**3 + 13*l**2 + 16*l - 4. Is 5 a factor of u(14)?
False
Let l be 28/(-21)*39/2. Let x = l + 37. Does 4 divide x?
False
Let k(j) = 4*j**2 - 2*j - 2. Is 3 a factor of k(2)?
False
Let r(p) = p**3 - 5*p**2 - 8*p - 10. Is 16 a factor of r(7)?
True
Let a = 133 + -106. Does 8 divide a?
False
Suppose 5*z - 4*r + 10 = -5*r, 0 = -5*r. Let l(b) = -7*b**3 - b**2 - 1. Is l(z) a multiple of 17?
True
Let c = 23 - -21. Does 4 divide c?
True
Suppose 4*j = -5*b + 74, -b + 8 = -j + 31. Let w = -11 + j. Is (12/w)/(6/20) a multiple of 4?
True
Suppose -2*m + 10 = -40. Suppose -5*s + 2*t = -m, 4*s - 6*t + 2*t - 32 = 0. Is 2 a factor of s?
False
Suppose -5*o + 2*o = -9. Let q(i) be the first derivative of i**3/3 + i**2/2 - 3. Is q(o) a multiple of 5?
False
Suppose 4 = 4*r - 12. Is 8 a factor of r/18 - (-212)/18?
False
Suppose -4 = 5*h + 11. Let d(w) = -w**2 - 8*w + 15. Let g be d(21). Is 22 a factor of ((-1)/h)/((-9)/g)?
True
Let y(d) be the second derivative of -d**6/720 + 3*d**5/40 + d**4/6 - 3*d. Let l(q) be the third derivative of y(q). Does 6 divide l(-10)?
False
Let o(w) be the first derivative of 3*w**2/2 + 7*w + 1. Is o(7) a multiple of 14?
True
Suppose 3212 = 3*m + 2*o, -2*m - 349 = -o - 2502. Does 25 divide m/14 + 4/14?
False
Let z(i) = 2*i**3 - 4*i**2 + 2*i. L