h. Let c(x) = x - 4. Let t be c(6). Does 14 divide b(t)?
True
Let h(z) = 14*z - 2. Let q be (-7)/(-3) + (-8)/(-12). Suppose 2*g - 1 = q. Does 13 divide h(g)?
True
Let k be (2 + 1 - 2)/1. Let w = -6 + k. Let l(b) = b**3 + 5*b**2 - b + 1. Is 5 a factor of l(w)?
False
Is 11 a factor of (32/(-6))/((-1)/3)?
False
Let k = 169 - 58. Does 21 divide k?
False
Let d(l) = -3*l**3 - l**2 + l + 1. Let q(f) = f**2 - 2*f - 3. Let j be q(3). Suppose 10 = -5*o - j*o. Is 10 a factor of d(o)?
False
Let z be 0/(1 + -3 + 1). Suppose -3*a - r + 127 = z, a - 4*r - 18 = 46. Is a a multiple of 14?
False
Let u be (-4)/(-6) - 10/(-3). Suppose -u*s + 334 = 86. Is s a multiple of 31?
True
Let t = 5 - 15. Let w = t - -73. Is 21 a factor of w?
True
Suppose 4*m + 6 = -2*y, -2*y + 7 + 7 = -m. Let u(d) be the third derivative of -5*d**4/24 + d**3/2 + d**2. Is u(m) a multiple of 15?
False
Suppose 0 = -n + 5*n - 3*d + 172, n = -2*d - 54. Let j = -33 - n. Let l = j + -7. Is l a multiple of 6?
True
Suppose h = -1 + 3. Suppose -h*c - 17 = -67. Does 18 divide c?
False
Let o(a) = -a + 2. Let k be o(0). Let r be 6/k*1 - 0. Suppose -r*i = i - 16. Is i even?
True
Suppose -5*y = 3*z - 508, 103 + 300 = 4*y - z. Does 21 divide y?
False
Let q = -1 + 4. Let g(d) = 46*d. Let i be g(1). Suppose 39 = 2*p + 3*w, -w = -q*p - 3*w + i. Is 9 a factor of p?
False
Suppose -6*c = -c - 20. Let n(q) = -2*q + 7*q - q**3 - 2 + 4*q**2 - 2*q. Does 5 divide n(c)?
True
Let w be (-5080)/(-18) - (-6)/(-27). Suppose 0 = 4*y - 7*y + w. Does 28 divide y?
False
Let j = -38 + 61. Is j a multiple of 5?
False
Suppose 5*x + z = -2*z + 41, -9 = 3*z. Suppose 0 = 2*a + 3*a - x. Suppose 2 + 42 = a*r. Is 12 a factor of r?
False
Let n(k) = 20*k. Let f(i) = i + 1. Let t(y) = -5*f(y) + n(y). Let m be t(5). Suppose -2*v - 4*a + 90 = 0, 4*v = 3*a + m + 55. Is v a multiple of 14?
False
Does 17 divide (-2)/(-9) - ((-2208)/27 - 3)?
True
Let l = 298 - 201. Is l a multiple of 21?
False
Let z(v) = 2*v - 3. Let x be z(3). Suppose -x*p - 60 = 2*p. Let n = p + 28. Is 8 a factor of n?
True
Let v be 1 - (3 + -2 + -2). Suppose v*s = -g - 41, -s + 0*s - 28 = -2*g. Let a = s + 37. Is 7 a factor of a?
False
Let j(l) = -l**3 - 4*l**2 - 3*l + 2*l + 6*l**2 - 5*l**2. Let a be j(-2). Is 43/3 - a/3 a multiple of 15?
True
Let g = -17 + 21. Suppose -5*y + g = u - 4*y, -3*y = 6. Is u even?
True
Let a(i) = i**3 - 12*i**2 + 10*i + 15. Let g be a(11). Let v = -5 + g. Does 5 divide 13*-2*v/2?
False
Suppose -360 = 40*q - 44*q. Is 6 a factor of q?
True
Let t be (-8)/(-4) + 2*1. Suppose t*c = 160 + 164. Suppose 2*f - c = -f. Is f a multiple of 11?
False
Let d = -257 + 537. Is d a multiple of 10?
True
Suppose -2*y + 36 = -444. Suppose t + 2*t = y. Is 25 a factor of t?
False
Suppose 5*w - 297 = 2*w. Is 33 a factor of w?
True
Let f = -42 + 69. Does 9 divide f?
True
Suppose 5 = -2*d - 4*i + 33, -2*d + 3*i = -49. Let h be 7*(2 + 1*-3). Let m = d + h. Does 13 divide m?
True
Let r(q) = -4*q**2 + 3*q - 6. Let c(n) = -3*n**2 + 3*n - 5. Let j(x) = -3*c(x) + 2*r(x). Let o be j(3). Suppose -o*w + 8 = -10. Does 4 divide w?
False
Suppose 0 = 7*c + 3*c - 2360. Does 24 divide c?
False
Suppose -p = 3*p - 5*d - 276, 5*d - 242 = -3*p. Does 19 divide p?
False
Suppose 3*f + 4 - 28 = 0. Let v = f - 12. Is 3 a factor of v/24 - (-31)/6?
False
Suppose -4*b = 2*i - 8, -3*i + 0 = 4*b - 6. Is 15 a factor of 129/(i + 5) - -2?
True
Let k = 105 - 12. Is 28 a factor of k?
False
Let k(s) = -20*s**2 - s - 1. Let j be k(-1). Let x = j - -32. Does 12 divide x?
True
Let z(d) = d**2 + 7*d + 9. Suppose -3*r = -0*r + 18. Let x be z(r). Let u(q) = 6*q + 2. Is 20 a factor of u(x)?
True
Let w = 329 - 114. Does 43 divide w?
True
Let w(y) = -14*y + 7. Let l be w(7). Let u be (-1)/4 - l/28. Suppose 20 = 5*t, 5*m - t = -u*t + 108. Is m a multiple of 10?
True
Does 9 divide -7 + 22 + (-2 - -5)?
True
Suppose 3*m = m + 12. Does 21 divide 114/(-3*(-3)/m)?
False
Let q be ((-56)/12 + 4)*3. Is 44/3 - q/(-3) a multiple of 3?
False
Suppose 16 = 8*h - 4*h. Let x = h + -1. Is x even?
False
Let a(w) = -w**2 + 2*w + 1. Let k be a(3). Let z be k/4 + (-4)/8. Let o(x) = 11*x**2 - x. Is 7 a factor of o(z)?
False
Is 53 a factor of -318*((-2)/(-3) - (-4 - -5))?
True
Let v be 6/(-3)*(-4)/2. Let l be (-1)/(-1) + 87 - -2. Suppose -l = 2*n - v*n + 2*s, -5*n - 5*s = -175. Is 20 a factor of n?
True
Let t(n) = n**2 + 2. Let y be t(0). Suppose 2*p - 2*z - 53 = 43, -y*p = 3*z - 81. Does 28 divide p?
False
Let h(r) be the first derivative of 4*r**3/3 + r**2/2 + r - 1. Let q be h(-1). Suppose q*b - 4 - 8 = 0. Does 3 divide b?
True
Suppose 0 = 5*b + n - 34, -b + 2*n - n + 8 = 0. Let h = 6 + b. Is h a multiple of 13?
True
Suppose 3*x = 5*o - 3, 5*x + 3*o - 2*o = 23. Suppose 4*f - c + 12 = 0, -8 = x*f - 3*f + c. Does 11 divide -3*((-44)/(-3))/f?
True
Suppose 0*b + 10 = -5*b, -d - 3*b = 4. Suppose -z - d + 6 = 0. Is z even?
True
Let s(w) = w**3 + 12*w**2 - 18*w + 15. Is 8 a factor of s(-13)?
True
Let g(d) be the second derivative of 11*d**3/2 + d. Is g(2) a multiple of 25?
False
Let o(l) = -l**2 + l + 10*l + 5 - 3*l. Does 4 divide o(8)?
False
Is 2/(-4)*-3*376/12 a multiple of 18?
False
Let f = 7 + 8. Let t be f/2*(-16)/20. Is (-1)/(2 - 1) - t a multiple of 5?
True
Let z = 24 - 16. Let i = z - -2. Is 17 a factor of ((-68)/10)/((-2)/i)?
True
Let w(v) = -v**2 - 15*v + 13. Let s be w(-11). Suppose -5*z + 3*k = -104, 2*k - 35 = -4*z + s. Is 22 a factor of z?
True
Let q = -31 - -51. Does 5 divide q?
True
Suppose 0 = -2*q + 15 + 5. Suppose q = m + m. Does 4 divide m?
False
Let t be (-848)/20 + (-6)/(-15). Suppose u - 7 = -36. Let q = u - t. Does 11 divide q?
False
Let c(w) = 24*w + 6. Let h(j) = -23*j - 5. Let z(t) = 3*c(t) + 4*h(t). Is z(-1) a multiple of 9?
True
Suppose 4*a = 66 + 66. Does 11 divide a?
True
Let l(b) = -2*b**3 + 12*b**2 + 3*b - 6. Let q be l(6). Suppose -a + 3*a - q = 0. Is 3 a factor of a?
True
Suppose -4*d + 5*d = 0. Suppose d = -2*g - 5*u + 29, -g + 3 = 3*g - u. Suppose q + 13 = g*q. Is 7 a factor of q?
False
Let y = 9 - 17. Let s = 19 + y. Let n = 13 + s. Is n a multiple of 24?
True
Is (0 + 30/9)*15 a multiple of 10?
True
Let q be 111/12 + (-1)/4. Suppose 0 = -3*i + q, 2*v + i - 37 = 2*i. Is 8 a factor of v?
False
Let l be (42/35)/(2/(-10)). Let z = l + 10. Suppose y + z*w = 7, 5*y + 5*w = -1 + 66. Does 15 divide y?
True
Let h be 2*(-3)/6*-2. Suppose h*t - 7 = -37. Is (-6)/9*3 - t a multiple of 5?
False
Let w = 13 - 8. Suppose -w*r - g = -2*g - 27, r - 5*g = 15. Suppose -r*k - 115 = -5*x, 3*k = 5*x - k - 110. Is x a multiple of 8?
False
Is 16 a factor of -2*(4 + -2) - -136?
False
Is 10 a factor of 2/5 - 5220/(-75)?
True
Let x(i) = i - 8. Let o(y) = -1. Let m(p) = -5*o(p) + x(p). Let j be m(0). Is 11 a factor of (2/(-6))/(j/99)?
True
Let s(u) = u**3 - 1. Let x be s(2). Is 9 a factor of (-4)/x + (-2820)/(-84)?
False
Suppose -2*r + 20 = 2*r, 2*r - 202 = -4*f. Is f a multiple of 25?
False
Suppose -11*d + 174 = -13. Is 17 a factor of d?
True
Suppose -4*y - 48 = 8. Let c = -6 + 7. Let d = c - y. Is d a multiple of 15?
True
Suppose -2*x + q = 3*x - 598, 3*x = 4*q + 352. Suppose -2*u - u = -x. Is (-4)/(2/(-1)) + u a multiple of 21?
True
Let v(s) = -27*s**3 + s**2. Let i be v(-1). Let f be ((-18)/(-5))/(3/(-15)). Let a = f + i. Does 8 divide a?
False
Is 1160/30 - 2/(-6) a multiple of 13?
True
Let p be 1*((-3 - -2) + -2). Let d = 2 - p. Does 12 divide (0 + -5)*(-24)/d?
True
Let t = 88 - 74. Is 7 a factor of t?
True
Suppose 3*g - 23 = f, 0*g + 25 = 3*g - 2*f. Suppose 4*i - g = 1. Suppose -2*m + 80 = i*z, -5*m + 3*m + 80 = 5*z. Does 20 divide m?
True
Let g = 66 - 35. Is 9 a factor of g?
False
Let w(h) = h**2 + 4*h + 3. Let b be w(-4). Let m = -1 + b. Is m*(1 + (-33)/(-6)) a multiple of 8?
False
Let q = 4 + -3. Let w = 14 - q. Suppose 24 + w = y. Does 10 divide y?
False
Suppose -33 = -5*w - 13. Suppose 2*z + 3*s = 24, 4 = -5*z - w*s + 78. Does 12 divide z?
False
Let f(a) = -a**2 + a + 2. Let w be f(-2). Let h be (3 - (-10)/w)*0. Suppose h = 3*k, r - 32 = -3*k - 2*k. Does 16 divide r?
True
Let b(m) = 8*m**2 - 3*m - 7. Does 26 divide b(-5)?
True
Let j(t) = 2*t - 6. Let z be j(5). Suppose 0*u = 4*u + 5*l - 168, 0 = -u + z*l + 42. Suppose -36 - u = -3*d. Does 13 divide d?
True
Let q(l) = 9*l + 3. Is 39 a factor of q(4)?
True
Let p(i) be t