 h*p - 3*p + d. Is 14 a factor of p?
False
Is 8 a factor of 4 + 272/4 - 1?
False
Suppose 3*h - 4 = -2*i + 11, i = -4*h + 20. Suppose 0 = h*k - 20. Suppose -125 = -9*a + k*a. Does 12 divide a?
False
Let v be 1 + (2 - 0 - -2). Suppose -5*t + v = h, 2*t + 0 + 6 = -2*h. Let x(a) = 3*a**2 - 2*a + 1. Is 9 a factor of x(t)?
True
Let l = -67 - -99. Is 12 a factor of l?
False
Let u(t) = t + 7. Let a be u(-5). Suppose 0 = -a*j + 88 - 6. Is j a multiple of 18?
False
Let l = 60 - 25. Suppose -k + n + 36 = -4*n, -5*k = 4*n - l. Does 3 divide k?
False
Let g = -14 - -26. Is g a multiple of 6?
True
Suppose 0*q - q - 6 = -x, x - 6 = -2*q. Suppose 8*j = x*j + 6. Does 3 divide j?
True
Suppose 0 = -5*d - u + 13, -3*d - 3*u + 0*u = -15. Suppose -d*c = 3*j + c + 9, 0 = 4*c - 16. Is 13 a factor of (-640)/(-14) - 2/j?
False
Let r(v) be the first derivative of -v**3/3 - 9*v**2/2 - 4*v - 1. Let i(h) = -h**2 - h - 5. Let w be i(0). Does 9 divide r(w)?
False
Does 17 divide 1186/10 + (-7)/(70/(-4))?
True
Let c(i) be the first derivative of i**4/4 + 7*i**3/3 + 7*i**2/2 + 8*i - 3. Let n be c(6). Is (-4)/(-18) - n/(-18) a multiple of 12?
False
Let s = 12 + -7. Suppose 4*n - 3*n - s = 0. Suppose -28 = -3*q + 2*f, 0 = -n*q - 0*q - f + 38. Does 8 divide q?
True
Let q(h) = 3*h**2 + 1. Let p be q(-1). Suppose -8*z + 20 = -p*z. Let o = -1 + z. Does 4 divide o?
True
Let u(l) = l**2 + l + 2. Let v be u(5). Let j = -10 + v. Is 13 a factor of j?
False
Let r = 0 + -2. Is 12 a factor of 27 - (r*2)/(-2)?
False
Suppose 7 = -2*w + 3*i - 8, 0 = -5*i + 25. Suppose 5*r + 31 + 69 = 0. Let k = w - r. Does 10 divide k?
True
Let m(w) = 7*w - 4. Is m(5) a multiple of 13?
False
Let a = 17 + -15. Let b = 3 + -10. Does 17 divide a/2 - 259/b?
False
Let v(r) = -r + 6. Let q be v(4). Let o(y) = -2 + 5 - 1 + 12*y**q. Is 18 a factor of o(2)?
False
Is (-2)/6 - (-256)/12 a multiple of 3?
True
Let d(b) be the second derivative of 15*b**4/4 + b**3/3 - b**2/2 - 2*b. Let q be d(1). Let c = q + -31. Is 11 a factor of c?
False
Suppose -2*l = -6*l + 20. Suppose -5*q - q = -30. Suppose q = 5*w - l. Is w even?
True
Suppose 0 = m - 6*m - 15. Let b be (-4)/(-6) + (-310)/m. Suppose 4*p - 72 = -4*t - 0*t, 0 = -5*t + 2*p + b. Is t a multiple of 6?
False
Let g(s) = s**2 - 7*s + 12. Let q(i) = i**3 - 3*i + 3. Let t be q(2). Suppose -p = -3*h + 21, -h + t = 2*p - 9. Does 13 divide g(h)?
False
Let v = 28 - 40. Let j be (v/(-9))/((-2)/(-9)). Does 16 divide (8 - 2)/(j/33)?
False
Suppose 0*u + 4*u - 324 = 0. Is u a multiple of 18?
False
Let l(k) = k**3 + 4*k**2 - 2*k - 6. Let v be l(-4). Let d be (-1)/v*(-5 + 5). Suppose d = 3*f + 2*f - 95. Does 11 divide f?
False
Let r be -3 - 5/((-5)/8). Suppose 5*g - p = 44 + 82, r*g = 4*p + 114. Is g a multiple of 15?
False
Let x be 0/2 - 1*-3. Let m(b) be the first derivative of 5*b**2/2 + 2*b - 2. Is m(x) a multiple of 17?
True
Let v(l) = -l - 3. Let y be v(-7). Let w = y + -3. Does 5 divide (-4)/(w + 3/(-2))?
False
Let m(f) = -15*f**2 - 5*f - 4. Let c(d) = -7*d**2 - 2*d - 2. Let j(s) = 13*c(s) - 6*m(s). Let y be j(3). Does 5 divide (y/3)/((-1)/(-27))?
False
Let v be (-16)/6*(-18)/12. Suppose -t - 114 = -2*c + 5, -4*t = -v*c + 244. Does 12 divide c?
False
Let z be (-38)/(-9) - (-8)/(-36). Suppose z*n - 10 = 14. Is n even?
True
Let j(m) = 12*m - 10*m**2 + 9*m**3 - 10 - 6*m**3 - 2*m**3. Is 5 a factor of j(9)?
False
Let d be (-2)/(-8) - (-1554)/24. Suppose 5*r + d = 4*a, 25 = 4*a - 3*r + 6*r. Is 10 a factor of a?
True
Let j = -87 + 123. Is 12 a factor of j?
True
Let h = -19 - -46. Suppose p - h = 16. Is p a multiple of 19?
False
Let j be 4/6 + (-10)/(-3). Suppose -3*l + 5*d - 56 = -7, -3*l + 4*d - 47 = 0. Let n = j - l. Is n a multiple of 6?
False
Is 12 a factor of 37 - -3 - (-5 + 2 + 0)?
False
Suppose 0 = -k - 4*u + 430, 3*u - 1493 + 248 = -3*k. Is k/25 + (-2)/5 a multiple of 16?
True
Let f(v) be the first derivative of 5*v**4/6 - v**3/6 - v**2 - 3*v - 2. Let o(l) be the first derivative of f(l). Does 18 divide o(2)?
True
Let d = -15 - -25. Suppose -4*h - t = -651, t = -t - d. Suppose -4*v + h = -0*v. Is 19 a factor of v?
False
Suppose w = 8 + 5. Is 11 a factor of w?
False
Let f = 527 + -337. Does 20 divide f?
False
Let z = 126 - 72. Does 9 divide z?
True
Suppose -6*y = 5*i - 4*y + 48, -i = -3*y - 4. Let a(u) = u**2 + 6*u - 10. Does 5 divide a(i)?
False
Suppose -1 = -2*y + 1. Let n = y + -8. Let w = 0 - n. Is w a multiple of 4?
False
Suppose -6*l + 552 + 66 = 0. Does 8 divide l?
False
Let h be (24/7)/(-2)*-7. Let t(n) = n**2 - 11*n + 12. Does 12 divide t(h)?
True
Suppose j - 13 = -3. Does 10 divide j?
True
Let a be (-2)/(-2) - 24/(-24). Suppose 0*w + 6 = 3*l + w, -4*l = 3*w - 8. Suppose -l*k - h + 67 = 0, -a*k + 2*h + 34 = -36. Is k a multiple of 17?
True
Let r(b) = b**3 + 2*b + 5. Is r(4) a multiple of 7?
True
Let g(s) = 2*s**2. Let w be 14/49 + 5/7. Let c be g(w). Suppose -3*p - 5*h + 30 = 0, 2*h - 3*h + 20 = c*p. Does 10 divide p?
True
Let q(h) = 38*h + 1. Let m be q(1). Suppose 0*i + 31 = i. Suppose m = 5*v - i. Does 7 divide v?
True
Let y be 3/2*(-4)/(-3). Suppose -y = -0*k - k. Let i(v) = v**3 + v**2 - v - 2. Is i(k) a multiple of 4?
True
Suppose k - x = 3*x + 92, 2*k - 134 = -2*x. Does 12 divide k?
True
Let m be 0/(-3) + 5 + 2. Does 7 divide ((-9)/(-3) - 0)*m?
True
Let r = -47 - -97. Is r a multiple of 25?
True
Is 9 a factor of 35/5 - (0 + -2)?
True
Does 16 divide 4/(-30) - (-964)/30?
True
Suppose -5*h = 5*t - 30, 0*h + 26 = 5*t + h. Suppose -c + 103 = m + 2*m, t*m + 4*c - 174 = 0. Suppose 0 = i + 4*x - 16, -3*i - x + m = i. Is 8 a factor of i?
True
Let v = 26 - 23. Is 2 a factor of v?
False
Suppose 2*k = 2*d - 3*d + 7, 4*d + 2 = 2*k. Let q be 0/(0 - (-3 - -1)). Suppose 2*c + b = 6, q = -3*c - 0*c + k*b + 9. Does 3 divide c?
True
Let j = 6 - 4. Suppose -j*f = 32 + 58. Let u = -25 - f. Is 7 a factor of u?
False
Let x(b) = -4*b - 38. Does 6 divide x(-14)?
True
Let n(q) = -q**3 + 6*q**2 - 2*q - 3. Suppose -4*c - 15 = -l - 4, 2*c + l + 7 = 0. Let z = 8 + c. Is 5 a factor of n(z)?
False
Let k be (-8 - -7)/((-1)/37). Let t = k - 15. Is 8 a factor of t?
False
Let z(t) = -t**3 + 2*t**2 + 4*t - 2. Is 20 a factor of z(-3)?
False
Let p(g) be the first derivative of -11*g**3/3 - 15*g**2/2 - 6*g + 1. Let s(m) = 4*m**2 + 5*m + 2. Let h(i) = -3*p(i) - 8*s(i). Is 16 a factor of h(-7)?
True
Let k = 79 + -38. Does 23 divide k?
False
Let w(f) = -7*f - 7. Suppose 3*j + 21 = 3*s - 5*s, 4*j + 6 = s. Is 23 a factor of w(s)?
False
Let w(p) = p**2 - 5*p + 3. Let b be w(5). Suppose -5*n - 4*x = -153, -b*x + 85 = -5*n + 259. Is 11 a factor of n?
True
Let a be (-2)/(3/(-3) - 1). Is a*52*11/22 a multiple of 13?
True
Let q = -9 + 14. Suppose -q*z = 1 - 11. Suppose -f + 45 = 4*x - x, -z*f - 6 = 0. Is 16 a factor of x?
True
Let f be 2*3/((-6)/(-4)). Suppose -g - 4 = -3*q, -q - 2*q - 11 = -f*g. Suppose -d + q + 2 = 0. Is d a multiple of 2?
False
Is 45 a factor of 3445/40 + 2/(-16)?
False
Suppose -x = 2*f - 3*x - 364, -25 = 5*x. Does 5 divide f?
False
Let s = 6 + -10. Let c be ((-3)/2)/((-3)/(-28)). Let b = s - c. Is 10 a factor of b?
True
Let m = -59 + -16. Let s(d) = d**3 + 9*d**2 - 4*d + 11. Let b be s(-8). Let c = b + m. Is c a multiple of 16?
True
Let o(d) = -36*d**3 - 2*d**2 - d. Suppose -5 + 2 = 3*h. Does 10 divide o(h)?
False
Let n(t) = -t**3 - 5*t**2 + 2. Let r(z) = z**2 + z. Let m be r(1). Let d be -4 + (-1 - (2 - m)). Does 2 divide n(d)?
True
Is 9 a factor of 135/(-10)*2/(-1)?
True
Let b = 19 + -16. Suppose b*o = o + 50. Is o a multiple of 25?
True
Does 39 divide (-2)/3 + (236/3 - 0)?
True
Is 29 a factor of (25 - 27)*(-144 - 1)?
True
Let w = -12 + 12. Let z(n) = -n**3 + 42. Is z(w) a multiple of 13?
False
Let q(k) = 3*k**2 - 8*k - 12. Does 6 divide q(5)?
False
Let x(c) = c**3 - 10*c**2 + 11*c - 9. Let i = 2 - -7. Is x(i) a multiple of 3?
True
Let y = -26 + 17. Suppose -3*g - 16 = -5*a, 0*a = -5*a - g + 8. Let t = a - y. Is t a multiple of 11?
True
Let f(q) = -2*q**3 - q - 4 - q**2 + 44 + 0*q**3 + 3*q**3. Does 14 divide f(0)?
False
Let y(w) = w**2 - 2*w - 1. Let g be y(-1). Suppose p = -4*j + 4 + 23, -j + 4*p = -28. Let k = j + g. Is k a multiple of 6?
False
Let q be (5 - -12)/((-2)/(-18)). Suppose 3*u - q = -0*u. Is 4*(-1)/((-12)/u) a multiple of 17?
True
Let c = -2 + 5. Suppose 0 = -2*i + 5*w + 23, 5