 j(h) = -19*h. Is j(c) a multiple of 9?
False
Let l be 0/(0 + 2/(-2)). Suppose 0 = -y + 4*g + 22, l*g = -3*g - 3. Is 9 a factor of y?
True
Let d be 1 + 3 + -5 - -11. Let f = d - -20. Does 5 divide f?
True
Suppose 6*l = 3*l - 5*j - 7, -4*l = 4*j + 12. Does 3 divide (-3)/l*4/1?
True
Let r(u) = -u**3 + 6*u**2 + 8*u - 8. Let i be r(7). Is (i - -1) + -1 + 31 a multiple of 11?
False
Let p = -18 + 13. Suppose 0*o + o - 3*u - 40 = 0, u = -5. Let n = o + p. Does 13 divide n?
False
Let f(y) = -y**2 + 22*y + 9. Is 26 a factor of f(11)?
True
Suppose 0 = 4*a + q - 17 - 52, 3*q - 71 = -4*a. Is a a multiple of 3?
False
Let p be 2/6 + (-812)/(-12). Suppose -6*i = -4*i - p. Is i a multiple of 17?
True
Let c be 4/10 - (-2670)/75. Suppose 0 = -2*h + 66 + c. Is h a multiple of 28?
False
Is 4/(-10) + 231/15 a multiple of 15?
True
Suppose -264 = -4*c + 2*u, 0 = u + 4*u - 20. Is 30 a factor of c?
False
Let j be (-2)/(3 - (-125)/(-41)). Suppose f - k - 2*k = -3, 5*f + j = 2*k. Let y(p) = p**2 + 6*p - 3. Is y(f) a multiple of 7?
False
Does 4 divide (-3)/(12/(-8)) + 13?
False
Let o = -80 + 92. Is o even?
True
Suppose 3*i - 3*p = 21, -4*p - 4 = 2*i - 0*i. Suppose 2*l - 2 = -2*c, -7*c + 3*c + 2*l = -22. Suppose i*v = -8 + 28, 3*o + c*v = 74. Does 9 divide o?
True
Suppose -6*q + 4*j = -2*q - 136, 5*q - 4*j - 174 = 0. Is q a multiple of 8?
False
Suppose -y + 3*y - 10 = 0. Let p = 10 - y. Suppose -p*h - 220 = -5*j - 0*j, -j = -5*h - 60. Is 14 a factor of j?
False
Let o = -20 - -7. Let m(s) = -7*s - 19. Is 16 a factor of m(o)?
False
Let h = -20 + 60. Is h a multiple of 19?
False
Let i = 3 - 0. Let x(y) = 13*y**2 + 3*y - 2. Let k be x(i). Suppose 0 = 2*h + 2*h - k. Is 12 a factor of h?
False
Let o = 1 + 2. Let v(b) be the third derivative of b**6/120 - b**5/60 + b**4/24 - 2*b**3/3 + 23*b**2. Is v(o) a multiple of 17?
True
Let x(q) = -q**2 - 6*q + 5. Let u be x(-6). Suppose c - 40 = -u*k, -32 = -c - k - 2*k. Does 5 divide c?
True
Is (7 - 5)*(-26)/(-4) a multiple of 13?
True
Suppose -3*s = -2*c + 4*c - 15, -s = 2*c - 9. Suppose s*j = -j + 48. Is j a multiple of 4?
True
Suppose 55 = 3*s - 2*u, 4*s = -2*u + 18 + 32. Does 5 divide s?
True
Let w(t) = -t**3 + 4*t**2 - 4*t + 2. Let n be w(2). Suppose -3*j - 3*a = j - 9, n*a - 20 = -5*j. Let g(d) = -d**3 + 8*d**2 - 9*d + 3. Is g(j) a multiple of 8?
False
Suppose 0 = -4*q + 4*j - 4, 0 = -4*q + 3*q - j + 7. Suppose 85 = q*s + i, -151 = -2*s - 3*s + 3*i. Does 13 divide s?
False
Suppose 0 = s - 5*r + 14, -r + 7 = 4*s - 0. Suppose -3 = q + s, -m = -3*q - 23. Does 3 divide m?
False
Suppose -3*p - 12 = -t, t - 6 = -0*p + p. Suppose n + t = 1. Does 22 divide ((-12)/9)/(n/33)?
True
Let g(m) = -9*m + 12. Let j be g(-9). Let i = 141 - j. Does 16 divide i?
True
Let w = 232 - -155. Is 43 a factor of w?
True
Suppose -3*s + 5*c = -28, -3*s - 1 = 3*c - 13. Is 2 a factor of s?
True
Suppose 5*s + 4*a - 2 = 1, -3*s - 2*a = -3. Suppose 3*t = -0*t. Suppose t = 4*f + 2*o - 90, 5*f - 39 = -s*o + 76. Is f a multiple of 10?
True
Does 7 divide 7/((-3)/(-5 + -4))?
True
Suppose -3*o = -5*o + 10. Suppose 0 = 5*k + 2*x - 36, 4 = -o*x - 6. Let z = k - 6. Is z a multiple of 2?
True
Let z = 8 + -6. Suppose 3*w + 2*f = 41, -z*w + 3*w = 4*f - 5. Does 8 divide w?
False
Let z = 31 - 14. Let b = 34 - z. Suppose -5*g + b + 83 = 0. Is 10 a factor of g?
True
Suppose 0*t + t - 4*n - 75 = 0, 5*t = -5*n + 250. Does 22 divide t?
False
Let t(x) = 10*x**2 + 3 + 8*x**2 - x**3 + 3 + 6*x - 24*x**2. Is 3 a factor of t(-7)?
False
Suppose -4*b = -27 - 9. Suppose -b = -2*h - 5*k + 55, -k + 26 = h. Does 7 divide h?
False
Suppose 7*a = 25 + 10. Does 2 divide a?
False
Let c(u) = -7*u**2 + u. Let k be c(1). Let s(g) be the third derivative of -g**5/60 - g**4/3 - 7*g**3/6 + 2*g**2. Is s(k) even?
False
Suppose 3*i = -2*i + 20. Suppose 27 + 5 = i*y. Is 4 a factor of y?
True
Let f(c) = -20*c**3 + 6*c**2 + 4*c. Let b(g) = -20*g**3 + 7*g**2 + 5*g. Let k(p) = 5*b(p) - 6*f(p). Does 12 divide k(1)?
False
Let t(r) = -r**2 - 1. Let c be t(3). Let b(d) = -2*d - 9. Is 4 a factor of b(c)?
False
Let a be (-2)/(-5) - (-69)/15. Suppose 20 = -0*h + a*h. Does 11 divide (17/h)/(1/4)?
False
Let d be (-291)/(-12) - 2/8. Suppose -5*m + d = -2*b + 132, 4*b = 2*m + 40. Is (-1)/((-1)/(-2)) - m a multiple of 10?
True
Is (2 + 0 - 5) + 19 a multiple of 4?
True
Suppose o + 1 = 18. Is 8 a factor of o?
False
Let t = 13 - 21. Let l = t + 5. Is (-279)/(-15) + l/5 a multiple of 10?
False
Suppose 3*u + 2*q = -36, 2*u + 28 = -2*u + 4*q. Let x = -16 + u. Let t = -9 - x. Does 11 divide t?
False
Suppose 0 = -c + 6*c - 3*i - 183, 3*c - 110 = 2*i. Is c a multiple of 8?
False
Let m(o) be the second derivative of -o**3/2 - o**2/2 + 2*o. Does 4 divide m(-3)?
True
Suppose m - 3*d - 67 = 0, -m + 73 = d - 2*d. Is 14 a factor of m?
False
Suppose l - 16 = 21. Is l a multiple of 19?
False
Let n(r) = r**2 + r + 4. Suppose -6*d = 3*p - d - 19, -3*p - d + 11 = 0. Suppose 2*m + 0*m + 4*j - 6 = 0, p*m = 4*j - 21. Is n(m) a multiple of 5?
True
Let w = 123 + -86. Is 3 a factor of w?
False
Suppose 0 = 4*x - 25 - 343. Suppose -31 = -o + t, -3*o + 3*t = -t - x. Does 14 divide o?
False
Suppose 6*w - 9 + 3 = 0. Does 14 divide w + -2 + (46 - 3)?
True
Let c be (-4 + 3 - 1) + -8. Let n be ((-18)/c)/(-3)*-5. Let p = 7 + n. Does 10 divide p?
True
Let f = 22 - 9. Does 13 divide f?
True
Suppose 5*g - 4*x = -6, 5*g + 10 = 2*g + 4*x. Suppose 0*f = -2*f + 2, 39 = g*w + 3*f. Is 7 a factor of w?
False
Let c be 10 + -11 - (-92)/2. Let x = c - 26. Does 6 divide x?
False
Suppose 5*z - f - 9 = 0, -2*z + 0*f + 6 = 2*f. Let g be ((-13)/6)/(7/(-42)). Suppose -3*l - g = -z*t, -l = -3*t + t + 23. Is 11 a factor of t?
False
Let d(l) = 24*l + 2. Let w(z) = 24*z + 2. Let y(c) = -4*d(c) + 5*w(c). Does 13 divide y(1)?
True
Let w(p) = -p**2 - 3*p. Suppose -v = -7 + 10. Let n be w(v). Suppose -5*s + n*k + 5*k = -80, 0 = -3*s + 2*k + 50. Does 9 divide s?
True
Let t(h) = h**2 - 3. Let d be t(-3). Let y(x) = -x**3 + 6*x**2 - 8. Let q be y(d). Is (-111)/(-4) - 2/q a multiple of 14?
True
Suppose -4*y = 0, -13 - 7 = -4*u + 3*y. Suppose 3*w = u*b - 49, 27 = 5*w - b + 138. Let c = w - -46. Is 23 a factor of c?
True
Suppose -7 + 2 = -4*k + m, -5*m - 25 = -5*k. Let a = 12 + k. Is a a multiple of 4?
True
Let m(c) = -c**2 + 3. Let r be m(0). Suppose -4*h - 4 + 22 = 2*i, -h + 1 = -r*i. Suppose h*p + 0*p - 156 = 0. Does 10 divide p?
False
Suppose -q + 19 + 7 = 0. Let x = 30 - -7. Let g = x - q. Is g a multiple of 7?
False
Suppose -5*r + 2*r + 18 = 0. Does 6 divide r/(3 + (-26)/10)?
False
Let i = -64 - -84. Is 4 a factor of i?
True
Suppose 3*o + 3*k = 12, 0*k - 4*k = -2*o - 4. Suppose -4*x + o = -26. Does 2 divide x?
False
Suppose 2*i + s = -3, 0*i = -i - 3*s - 9. Suppose 0*p - p + 66 = i. Suppose h = -h + p. Is h a multiple of 12?
False
Let t(b) = 28*b + 12. Does 12 divide t(6)?
True
Let o be 87/12 + (-1)/4. Suppose -o*u + 5*u + 36 = 0. Does 9 divide u?
True
Let c = -3 - -19. Suppose 31 = -4*i - 13. Let r = c + i. Does 2 divide r?
False
Let n = 57 - 20. Let j = -6 + n. Is j a multiple of 24?
False
Let i = -85 - -61. Does 12 divide 1/((-2)/i*1)?
True
Let b = -5 + 7. Suppose b*g + 3*g - 185 = 0. Suppose -132 = -5*p - g. Is p a multiple of 11?
False
Suppose -4*f - 2*b = -380, 2*b + 79 = 4*f - 293. Is 20 a factor of f?
False
Suppose 0*m = -4*f - 3*m - 3, 5*f + 2 = -2*m. Suppose -16 = -5*k + 29. Suppose f*n + n = k. Does 9 divide n?
True
Suppose -2*a + 5 = -5*k + 36, 4*k - a - 23 = 0. Let u(z) = -2*z**3 - 6*z**2. Let f be u(-4). Suppose j = k*j - f. Is j a multiple of 8?
True
Suppose 3*n = 4*l - 0*l + 59, 2*l = -n + 13. Suppose 2*s + n = 3*p, -s + 7 = s + 5*p. Let o = 4 - s. Is 4 a factor of o?
True
Suppose 2*a - 3095 = 3*i - 0*i, 2*i - 7785 = -5*a. Suppose -5*d = 5*g + a, -4*d - 2*g - 3*g = 1246. Is d/(-12) + 4/16 a multiple of 17?
False
Let f be 1 + 39 - 0/(-1). Suppose -2*l + 85 = -5*x, 4*l - 175 + f = 3*x. Does 10 divide l?
True
Suppose -3*f = -0*f. Does 13 divide -1 - (1 - f - 46)?
False
Suppose -7*c + 44 + 26 = 0. Is 10 a factor of c?
True
Suppose g = p + 94, -2*g - 3*p + 160 = 2*p. Is 9 a factor of g?
True
Let u be (2/(-2))/(6/(-18)). Suppose 3*k - 14 = u*z - z, z + 1 = 0. Suppose k*f - h = h + 202, 0 = 4*f + 4*h - 196. Does 17 divide f?
False
Let z(n) = 5*n**2 - 5*n - 8. Let y(r) = -11*