pose -5*c + 31 = -9. Does 3 divide c?
False
Let u be -2*(0 + (-4)/2). Suppose -5*h = -76 - u. Does 16 divide h?
True
Let r = 1 - 1. Suppose 5*h - h - 8 = r. Is 2 a factor of h?
True
Does 18 divide (19 + -1)*(-1 + 2)*1?
True
Is (-42)/(-11) + 2/(-22)*-2 a multiple of 4?
True
Does 4 divide (-1320)/(-45)*(-1)/((-1)/3)?
True
Let h = -12 + 5. Let b(y) = y**3 + 6*y**2 - 8*y - 4. Is b(h) even?
False
Suppose a - 5 = f, 5*a - 31 = 3*f - 6. Suppose a*z + 12 = 87. Is z a multiple of 4?
False
Let g(q) = 5*q**2 + 66*q + 20. Let p(i) = i**2 + 13*i + 4. Let m(d) = 2*g(d) - 11*p(d). Is 13 a factor of m(-6)?
True
Let h be (-6)/18*(-18)/2. Suppose t + t = 10, t = r + h. Does 2 divide 4 + r*(-2)/(-4)?
False
Let o(r) = -2*r**2 - 4*r. Let j be o(-3). Let u(y) be the first derivative of -y**4/4 - 2*y**3 - y**2/2 + 3*y + 3. Is u(j) a multiple of 7?
False
Suppose -2*i = -0*i - 2. Let k(t) = 38*t**3 + 2*t**2 - 1. Does 13 divide k(i)?
True
Suppose -k = 6*k - 994. Does 4 divide k?
False
Is 3/12 - 189/(-28) a multiple of 7?
True
Suppose 0 = -a + 3*s - 63, -a - 5*s = -29 + 76. Let l = a + 38. Let d = 45 + l. Is d a multiple of 17?
False
Suppose h + 4 = 3*h. Suppose h = c + y - 13, 0 = 3*y. Suppose c + 2 = m. Is 11 a factor of m?
False
Suppose -4*l + 4*q = -16, l + q = -l + 8. Suppose 50 = 4*t - 2*f, 5*t - l*f - f - 65 = 0. Is t a multiple of 12?
True
Let f be 8/(-12)*(-30)/4. Let z = f - 2. Is 2 a factor of ((-10)/(-6)*z)/1?
False
Let i = 1 + 153. Is 26 a factor of i?
False
Let f(p) = p**3 - 4*p**2 - 3*p - 2. Let w be f(6). Suppose -2*q = 2*k - 80, 4*q - 5*k - w = 3*q. Is q a multiple of 18?
False
Suppose 0 = 2*x - 3*x - 2. Does 21 divide 78 + ((-8)/x - 1)?
False
Is 19 a factor of -4*(-1)/(-2) - -21?
True
Let x(t) = -t**3 - 7*t**2 + 2*t + 4. Is x(-8) a multiple of 13?
True
Let n(d) = -d + 3. Let i be n(-6). Let t(j) = j**3 - 8*j**2 - 8*j - 4. Let m be t(9). Suppose 2*h = -m*p + 49, i = 5*p - 6. Is 9 a factor of h?
False
Let b be (-546)/30 - (-1)/5. Let l = 46 + b. Does 21 divide l?
False
Let w(g) = -g**3 + 2*g**2 + 2*g + 1. Let i be w(-1). Suppose -3*m = -i*v + 24, -2*m + 5*m + 6 = -v. Does 5 divide v?
False
Let q(j) = -j**2 + 2*j + 3. Let p(g) = 2*g + 3. Let x(v) = 3*p(v) - 2*q(v). Is 29 a factor of x(-5)?
False
Suppose 0 = 2*u + f - 17, u + u + 3*f - 19 = 0. Does 6 divide (u + -3)*(-84)/(-15)?
False
Let r be ((-2)/2 + 0)*-1. Suppose -t + 3*n = -11 - r, t + 8 = -n. Let v = 17 - t. Is v a multiple of 10?
True
Is 15/((4/(-10))/(24/(-10))) a multiple of 30?
True
Let p(c) = 4*c**3 - c**2 + 3*c - 3. Is 38 a factor of p(3)?
False
Let a be (2 - 18/4)*2. Let d(x) = 3*x**3 - 9*x**2 - x - 7. Let n(l) = -4*l**3 + 14*l**2 + 2*l + 10. Let z(q) = 7*d(q) + 5*n(q). Does 14 divide z(a)?
False
Let x = -27 + 37. Is x a multiple of 8?
False
Suppose -267 + 2043 = 3*f. Is f/14 - 2/7 a multiple of 14?
True
Let g = 397 + -263. Is 16 a factor of g?
False
Let l be 1 + 20/(-6)*3. Let x(i) = i**2 + 5*i - 9. Is x(l) a multiple of 27?
True
Let o(j) = j**3 - 6*j**2 + 3*j + 8. Let d be o(6). Let f = 11 - d. Let u = f - -23. Is u a multiple of 8?
True
Suppose -3*y + 12 = -w, 0*y - 2*y + 4 = -2*w. Suppose y*p - 127 = -d, 2*p + d = -3*d + 40. Is 13 a factor of p?
True
Let l = 60 + -20. Suppose -101 = -3*k + l. Is 21 a factor of k?
False
Suppose -1 = -r - u, -1 - 5 = -3*r - 4*u. Is r/8*-14*6 a multiple of 13?
False
Let p(c) be the second derivative of 7*c**4/12 - 2*c**3/3 - c**2/2 + c. Let m be p(3). Let j = 78 - m. Does 18 divide j?
False
Let x = -9 + 27. Suppose 0 + x = -h. Is 256/6 - (-12)/h a multiple of 21?
True
Let b be 2/1 + (0 - -1). Suppose 233 = b*r + 89. Is 16 a factor of r?
True
Let j(k) be the third derivative of k**5/60 + k**4/12 - k**3/2 + 4*k**2. Let z be j(-3). Does 5 divide z - 10/(-3 + 1)?
True
Let l = -66 + 252. Does 38 divide l?
False
Suppose 4*m - 91 = -15. Is 6 a factor of m?
False
Let y be -1 + 1 + 0 + 3. Suppose -j - y*j + 76 = -m, 2*j - m = 38. Suppose -34 = -q + j. Is 27 a factor of q?
False
Let l = -3 - -1. Let s = 24 - l. Is s a multiple of 10?
False
Suppose 8*x - 3*x = 15, 5*x = 3*i + 21. Let b(t) = -t**2 - 2*t. Let q be b(i). Suppose q = -g + 7 + 23. Is g a multiple of 18?
False
Let f = 47 - 19. Does 28 divide f?
True
Let y(d) = 2*d**2 + d + 35. Does 62 divide y(-11)?
False
Is 7 a factor of -1*4/((-8)/62)?
False
Let o(j) = -j**2 + 9*j - 2. Let x be o(8). Suppose -a = -x*a + 40. Is a a multiple of 5?
False
Let s be 14/((3 - 2) + 1). Suppose 5*v + 5*z = 75, 2*v + 87 = s*v + 2*z. Is v a multiple of 5?
False
Let z(v) = -v**3 + 4*v**2 + 5*v + 4. Let j be z(5). Suppose 0 = -3*u - 2*m - 5, 5*m = -2*u + j*u + 16. Is 8/(-6)*27/u a multiple of 6?
True
Suppose 0 = -5*b - 4*v + 117, -b - b - 5*v + 57 = 0. Is b a multiple of 17?
False
Let t(f) = 12*f + 1. Let m be t(5). Suppose 2*j = -2*y + 26, 4*j = 5*y - 0*y + m. Let v = 43 - j. Does 8 divide v?
False
Let q be -66*(2 - (-9)/(-3)). Suppose 2*p + 3*n = 29, 5*p = -5*n - 6 + q. Is p a multiple of 4?
False
Suppose 54 = x - 5*m, 3*x + 3*m - 27 = 45. Let h = x - -20. Is 21 a factor of h?
False
Suppose 4*i - 3*i = 50. Is 25 a factor of i?
True
Suppose -3*b + 12 = -b. Let u(a) = 3*a + 1. Is 19 a factor of u(b)?
True
Let n be 7/(-7) + 0 + 6. Suppose -j + b = -31, -6*j + 2*j - n*b + 160 = 0. Is j a multiple of 9?
False
Let o(s) = 7*s**2 + s - 3. Let v = 4 + -7. Does 19 divide o(v)?
True
Suppose -3*b + 60 + 9 = 3*y, -4*b = -5*y - 128. Is b a multiple of 27?
True
Is 25 a factor of (-40)/(7/((-70)/4))?
True
Let x(b) = b - 6. Let w be x(15). Suppose -2*a + w = -145. Is a a multiple of 20?
False
Let u = 4 + -2. Does 6 divide (-3)/(((-1)/u)/1)?
True
Suppose -6*w + w = 0. Suppose 0 = -u - w + 1, -147 = -5*b + 3*u. Suppose 3*l - 2*c = 21, 5*l - b - 5 = c. Is 3 a factor of l?
False
Let y(h) = h**3 - 9*h**2 - h + 13. Does 3 divide y(9)?
False
Suppose 78 = 3*s - 0*s. Does 13 divide s?
True
Suppose -10 = 4*f - 6*f. Let h(a) = -a**2 + 7*a - 6. Let v be h(f). Suppose -15 = -b - v*b. Does 3 divide b?
True
Let l(d) = d**3 - 8*d**2 - 8*d - 6. Suppose -3*q = -28 + 1. Does 3 divide l(q)?
True
Does 2 divide 36/(-3 + 3 - -2)?
True
Suppose 2*q + 51 = 3*b, 4*b - 2*q + 0*q = 66. Suppose -7 - b = -2*l. Is l a multiple of 11?
True
Suppose -3*c + 2*u + 15 = -19, 4*u - 4 = 0. Does 12 divide c?
True
Suppose -c + 29 + 31 = 0. Does 40 divide c?
False
Let z be 1 + 1 + 4/(-2). Suppose z = d - 2 - 2. Is 2 a factor of d?
True
Suppose -2*n = -2*j - 3*n + 103, 2*n + 226 = 4*j. Let t be 2/(-8) - (-111)/(-4). Let u = t + j. Is u a multiple of 9?
False
Let o(s) = -s**3 + 10*s**2 + 12*s + 13. Is 8 a factor of o(11)?
True
Let t(z) be the first derivative of z**4/4 - 11*z**3/3 - 2*z + 3. Let k be t(11). Is 7 a factor of k/((-15)/(-21) + -1)?
True
Let p = 95 - 65. Does 7 divide p?
False
Suppose 4*j = 4*x + 784, 0 = 2*j + 3*x + 98 - 490. Is j a multiple of 28?
True
Suppose 4*q + 16 = -0*q. Let s = q + 6. Suppose 0 = p + 5*z + 2, 4*z - 28 = -s*p + 2*z. Is p a multiple of 9?
True
Let j = 20 + -20. Suppose -4*y = 4*n + y - 75, 5*n + 4*y - 105 = j. Is n a multiple of 17?
False
Suppose 0 = u + 4*y + 13, -2*y - 29 = 5*u - 0*y. Suppose -2*a - 4 = 2*g + 16, 2*g - 5*a = -34. Is 2/(g/u + -2) a multiple of 4?
False
Let d = 34 - 14. Suppose 0 = 5*p - 10*p + d. Is p even?
True
Let v = 18 - 14. Let j = v + 18. Is 8 a factor of j?
False
Let p = 14 + -10. Suppose 4*o - p*c = 116, -4*o + o + c = -87. Does 12 divide o?
False
Let h = -1 - -5. Suppose -h*y - y = 0. Is -7 + 5 - (-38 - y) a multiple of 12?
True
Suppose 5 = -3*h + 4*h. Suppose h*p - 74 = 3*g, 3*p + 0*g - 44 = 2*g. Is 8 a factor of p?
True
Let v be (15/10)/((-6)/40). Is 1/5 + (-248)/v a multiple of 11?
False
Let x(b) = -b**3 + 9*b**2 - 3*b + 9. Let r(z) = 2*z - 18. Let k be r(12). Is 33 a factor of x(k)?
True
Let s = -4 + 11. Let r = -3 + s. Let j = r - 0. Does 2 divide j?
True
Let l(v) = v**2 - 8*v + 3. Suppose -3*p = g - p - 3, g = -4*p - 3. Is 6 a factor of l(g)?
True
Let s(f) = f**3 + 6*f**2 + f + 8. Does 2 divide s(-6)?
True
Suppose 4*w - 88 - 157 = 5*k, 115 = 2*w + 5*k. Is w a multiple of 19?
False
Let u be -4*1/(-2) - -1. Suppose 0 = -5*q + 7*q - u*c - 41, 77 = 5*q + c. Does 15 divide q?
False
Let l(i) = 29*i**2 + 2*i + 1. Does 7 divide l(-1)?
True
Let w be (-3)/(3/2) + 4. Let h = 15 - -21. Suppose 5*b + 3*p - 86 = 0, w*b - p - h = -3*p.