 y a multiple of 23?
False
Let y(f) = 16*f - 36. Is y(6) a multiple of 6?
True
Let z be 2*(-3)/(-6)*-20. Is (-4)/z - 398/(-10) a multiple of 10?
True
Suppose 34*l + 105 = 35*l. Is l a multiple of 16?
False
Suppose k = 5*f + 73, -3*f - 7 + 1 = 0. Is k a multiple of 14?
False
Suppose 4*b - 7*b = -21. Does 12 divide (2/b + -2)*-21?
True
Let q(u) = 4*u**3 + u**2 + 3*u + 1. Let h(p) = -3*p**3 - 2*p**2 - 2*p. Let r(x) = -5*h(x) - 4*q(x). Let i be r(4). Suppose s + s - i = 0. Does 5 divide s?
True
Let r(k) = 0*k + 2*k + 5*k - k**2. Suppose -b = 3*b - 20. Is r(b) a multiple of 5?
True
Let t be 8/12 + 136/3. Let x = -13 + t. Does 13 divide x?
False
Suppose 2*b + 205 = 7*b. Is 12 a factor of b?
False
Let v(h) be the first derivative of -h**4/4 + 8*h**3/3 + 2*h**2 - 11*h + 2. Let y = 11 + -3. Is 13 a factor of v(y)?
False
Suppose c - 87 = -38. Is 7 a factor of c?
True
Suppose 4*x = 3*l - 2*l - 3, l - 4 = 5*x. Let r be 3 + x - 8/4. Suppose -3*q + 9 = r, -2*q - 74 = -4*o - o. Is 8 a factor of o?
True
Suppose -5*x = -14 + 4. Let b = x + -4. Does 13 divide (29 - (1 - b)) + -2?
False
Let t = 11 - -2. Does 5 divide ((-4)/2 - 1) + t?
True
Suppose 4*r - 2*r + 5*c - 5 = 0, 0 = -3*r - 5*c. Let l = r - 1. Is 7 a factor of 22/(l + 3 - -4)?
False
Let k be (6 - 1) + (-5 - -3). Suppose -k*h - 4*d = -112 - 60, h = 3*d + 40. Is 14 a factor of h?
False
Let x(i) = i + 26. Is 13 a factor of x(19)?
False
Suppose -3*m + 5*h - 2*h + 183 = 0, -5*m + 341 = 4*h. Let d = -95 + m. Let w = d - -54. Does 12 divide w?
True
Is 23 a factor of ((-1)/1)/(10/(-230))?
True
Let o = 189 - 73. Suppose s + s - o = 0. Is 17 a factor of s?
False
Is 1 + 67*(2 + 0) a multiple of 11?
False
Let r be 1 - ((-120)/2 + -3). Suppose 9*i + r = 11*i. Is 13 a factor of i?
False
Let p = 640 - 328. Suppose -2*j - j + p = 0. Is j a multiple of 22?
False
Let o(p) = 2*p + 15. Let n(b) = -2*b + 14. Let m be n(7). Is 15 a factor of o(m)?
True
Suppose -b + 27 = -i, -3*b + 109 = i + 40. Is 5 a factor of b?
False
Suppose 2*p = -3*s + 233, -s - 109 = -4*p + 3*p. Let m be (-3)/(4 + -1) + 4. Suppose i = -m*i + p. Does 14 divide i?
True
Let n = -7 + 3. Let c be 127/(-4) - n/(-16). Is 7 a factor of ((-10)/2)/(8/c)?
False
Let f(c) be the second derivative of c**4/12 - c**3/2 + c**2 + 2*c. Is 9 a factor of f(6)?
False
Does 16 divide 3/2*8896/48?
False
Let i = 0 + -4. Let o be 13/4 - (-1)/i. Suppose -x + 108 = o*x. Is 12 a factor of x?
False
Let p(n) = n**2 - 6*n + 7. Let o be p(6). Suppose 0 = -b - l + o, 3*l + 6 = 2*b - 18. Is b a multiple of 3?
True
Let f(j) be the first derivative of -j**2/2 + 7*j - 3. Is 8 a factor of f(-9)?
True
Let l(k) be the second derivative of k**4/12 + k**3 - 3*k**2 - 2*k. Let q be l(-6). Let m(y) = -y**2 - 6*y + 6. Is 5 a factor of m(q)?
False
Let k be -1 + (-5)/((-20)/16). Suppose -3*y + 4*f = -12, y + k*f + 12 = 4*y. Does 4 divide y?
True
Suppose 2*b = -2*u - 22, 3*u - 3*b + 7*b + 38 = 0. Let w(j) = -j - 8. Let o be w(u). Is (-44)/(-2) + o + -2 a multiple of 12?
False
Let c = 299 - 167. Does 14 divide c?
False
Let r = -7 + 12. Suppose -90 = 2*m - r*m. Does 10 divide m?
True
Does 5 divide 24/16 - (-17)/2?
True
Let z = 167 + -115. Does 4 divide z?
True
Let h(c) = -c - 4. Let n be h(9). Let w = n + 25. Is 12 a factor of w?
True
Let b(u) = u - 4. Let h be b(-5). Let i be (-3)/h - (-14)/(-6). Let o(q) = -3*q**3 - 3*q**2 - 2*q + 2. Does 11 divide o(i)?
False
Let t = 383 + -268. Suppose -2*q = -5*z - 17, 0*q - 2*z + t = 5*q. Is q a multiple of 6?
False
Let w = 107 - 39. Does 12 divide w?
False
Suppose 0 + 2 = 2*k. Is 68 + -3 + 1 + k a multiple of 12?
False
Suppose 65 + 235 = 4*v. Is 28 a factor of v?
False
Let z(r) be the third derivative of r**5/30 - r**4/4 + r**2. Does 11 divide z(5)?
False
Let v = 5 - 8. Let n(j) = -j - j**3 - j**2 + 3 + 7*j - 2*j. Is n(v) a multiple of 6?
False
Let d = 44 - -8. Is d a multiple of 24?
False
Let u(v) = -6*v - 24. Is 14 a factor of u(-11)?
True
Let i be (-1 - 0)*(-40)/(-8). Let w = 3 - i. Is 8 a factor of w?
True
Let q = 18 - 8. Is 10 a factor of ((-15)/q)/(9/(-156))?
False
Let f(o) = -16*o - 1. Let q = 2 + -3. Is f(q) a multiple of 5?
True
Let w(u) = -4*u**3 + 4*u + 17. Let k(o) = 7*o**3 - 7*o - 35. Let v(p) = -3*k(p) - 5*w(p). Let l be v(0). Suppose 2*j = 36 + l. Is 14 a factor of j?
True
Suppose r + 0 = 54. Is r a multiple of 7?
False
Suppose j + 2*b - 12 = 21, -5*j = -3*b - 191. Does 13 divide j?
False
Let q be -1 - (48/(-3))/4. Suppose q*y - 82 = y. Does 15 divide y?
False
Let v(a) be the first derivative of -a**7/840 + a**6/60 + a**5/30 + a**4/12 + a**3/3 + 2. Let k(o) be the third derivative of v(o). Is k(6) a multiple of 13?
True
Suppose 5*j - 430 = -5*g, -2*j - 4*g + 184 = g. Let n = -32 + j. Does 25 divide n?
True
Let t(j) = 4*j**3 + 2*j**2 - 1. Let s(q) = -q**2 + 12*q + 15. Let f be s(13). Is t(f) a multiple of 13?
True
Let h = 27 - 11. Is 16 a factor of h?
True
Let a(b) = 3*b. Let m be a(1). Suppose -x + 224 = m*x. Suppose x = k + 3*k. Is 8 a factor of k?
False
Let j(p) = -p**3 - p**2 + 6*p + 4. Let c be j(-4). Is (-21)/2*(-48)/c a multiple of 6?
True
Let r(b) = -b + 7. Is 5 a factor of r(-14)?
False
Suppose -3*t + 318 = -0*t. Is t a multiple of 24?
False
Suppose -9*h + 125 = -172. Is 4 a factor of h?
False
Let m = -10 + 14. Suppose 0 = -m*a + 104 + 96. Suppose -3*k - 52 = -4*y + a, -5*k - 71 = -3*y. Does 9 divide y?
True
Let v(h) = 3*h**2 - 4*h + 5. Is 5 a factor of v(3)?
True
Let j be (16/20)/((-2)/(-5)). Suppose -j*d = -5 - 47. Does 26 divide d?
True
Let c = 58 + -13. Is 15 a factor of c?
True
Suppose 7 + 17 = -4*f. Let r(j) = -3*j + 8. Is r(f) a multiple of 9?
False
Suppose -10*y + 4 = -8*y. Let h = -2 + -18. Let f = y - h. Does 14 divide f?
False
Let z = -20 + 39. Suppose 3*y + 2*d - 2 = -1, -2*y = 2*d - 2. Let j = y + z. Does 9 divide j?
True
Suppose 7*b - 4*b - 69 = 0. Suppose 5 = -n - b. Let v = n + 39. Does 10 divide v?
False
Suppose 3*k = 3*w - 4*w + 4, 24 = 3*k - 3*w. Is k a multiple of 2?
False
Suppose 2 + 2 = m. Suppose -2 = 3*y + 1, -5*p = -m*y - 144. Let k = 51 - p. Is 23 a factor of k?
True
Let j(a) = -a**3 + 6*a**2 - 5*a + 2. Let d(i) = i**2 + i + 3. Let k be d(-3). Let b = k - 6. Is 6 a factor of j(b)?
False
Let q(v) = -v. Let c be q(-2). Let u(d) be the second derivative of 11*d**3/6 + d. Is u(c) a multiple of 11?
True
Suppose 0 = k + 4*k - 20. Let v(z) = z + 1. Let r be v(k). Is (-8)/(-20) - (-113)/r a multiple of 23?
True
Suppose -o + 6 = 5*r - 8, -2*r + 4*o = -10. Suppose 5*b = 3*c + 73, b + 0*b = -r*c + 29. Is 17 a factor of b?
True
Let s(a) = -6*a - 7. Let o(h) = 9*h + 10. Let x(t) = -5*o(t) - 8*s(t). Let u(w) = w**2 - 5*w + 6. Let v be u(5). Does 12 divide x(v)?
True
Let b be (-12)/8*(-40)/3. Suppose 2*o - b = 4. Does 3 divide o?
True
Let a be (2 - 3) + (2 - -3). Suppose 3*q = 15, -g + 66 = -a*q - 1. Does 23 divide g?
False
Suppose 20 = -t - 3*t. Let w = t + 8. Is 10 + (-6)/(w*-1) a multiple of 6?
True
Let n(f) be the first derivative of f**2/2 + 7*f + 3. Is n(5) a multiple of 12?
True
Does 15 divide 18/(-30) + -602*3/(-10)?
True
Let t = 51 + -11. Is t a multiple of 9?
False
Let f = 211 - 143. Does 6 divide f?
False
Suppose 2*r = 11 + 57. Suppose 3*b = 5*g + r, b + 3*g = -b + 10. Is 4 a factor of b?
True
Let s(r) = -r**3 - 3*r**2 - 4*r + 1. Let f(a) = -6*a**3 - 16*a**2 - 21*a + 5. Let x(o) = 2*f(o) - 11*s(o). Is x(-2) a multiple of 3?
False
Let s(f) = -f**3 + 5*f**2 + f - 3. Suppose 3*h + 3*k - 21 = 0, 5*h - k = -3*k + 29. Let z be s(h). Is (-147)/(-15) + z/10 a multiple of 9?
False
Suppose 0*c + 62 = 2*c. Let a = c - 13. Does 9 divide a?
True
Let w = 7 - 3. Let d be 2 - w - 1*-8. Let n = 7 + d. Does 8 divide n?
False
Let c be (-5)/(10/12)*-3. Let g = c + -3. Is 8 a factor of g?
False
Let i(z) = 10*z - 18. Is 26 a factor of i(9)?
False
Let y = 8 + -6. Suppose -k = -y*k + 19. Does 16 divide k?
False
Does 4 divide -4*(-2 - -1)/1?
True
Let f(s) = 7*s**2 - 4*s + 3. Let l be f(2). Let n = -11 + l. Suppose -p - n = -4*p. Does 3 divide p?
False
Does 11 divide 12/4 + 0 + 36?
False
Let n(l) = -3*l + 8*l**2 - 3*l**3 - 4 + 0 + 8*l**3 - 4*l**3. Does 15 divide n(-7)?
False
Let f(z) = -z**2 + 7*z - 6. Suppose 0 = 2*t - 2*j - 2, 2*t + 5*j - 37 + 14 = 0. Let m be f(t). Does 9 divide (-2)/m + 80/6?
False
Let l = 11 + -8. Suppose l*r + 3*d - 1