True
Suppose -3*q - 31 = 5*l, -5*l - 15 = -4*l + 5*q. Does 6 divide (17 - 0)*(-4 - l)?
False
Suppose 5*t = -t + 42. Let z(u) be the second derivative of u**5/20 - 7*u**4/12 + u**3/6 + 5*u**2 + 2*u. Is z(t) a multiple of 17?
True
Let u = 5 + -20. Let v = 24 + u. Is 9 a factor of (-53)/(-3) - (-3)/v?
True
Let b(z) = -5*z**2 - 4*z - 11. Let i(m) = -4*m**2 - 5*m - 11. Let v(r) = 2*b(r) - 3*i(r). Is v(-5) a multiple of 6?
False
Suppose -5*j - 14 - 16 = 0. Is (4/j)/(12/(-90)) a multiple of 5?
True
Suppose w - 18 = -3*q + 2, q = w. Does 5 divide q?
True
Suppose -3 = -2*i - d + 23, 4*d + 17 = 3*i. Is i a multiple of 4?
False
Let z = 24 - 18. Is z a multiple of 2?
True
Let i(n) = n**3 - 3*n**2 - 3*n - 2. Let q be 2/(-4) - 178/4. Let d be 2/(-4) + q/(-10). Is 2 a factor of i(d)?
True
Let m = 69 - 29. Does 9 divide m?
False
Let k(d) = d + 2. Let l be k(6). Suppose 4*b - 4 = l. Suppose 2*m - x - 41 = 0, b*x - 1 - 2 = -m. Does 7 divide m?
False
Suppose 419 = 4*j + 83. Does 42 divide j?
True
Is 22 a factor of 2 + (2 - 3) + 68?
False
Let t = -11 + 7. Let a be 2/(t/(-134)) + 0. Let s = a - 40. Is 10 a factor of s?
False
Suppose 0 = -15*t + 14*t - 12. Is 13 a factor of t/(-42) + (-724)/(-14)?
True
Let w(x) = -x**2 + 5*x**2 - 4*x**3 + 2 - 7*x**2. Is w(-2) a multiple of 11?
True
Suppose -3*o + 1 = -5. Suppose -3*t - d = -204, -o*d - 9 = -t + 66. Is 22 a factor of t?
False
Let f be (6/8)/(1/(-4)). Let h = -9 + f. Is 12 a factor of h/(-1 + -1 + 1)?
True
Let b be 4 + -4 + (-435 - 0). Let d = -300 - b. Suppose -4*l + d = f, 4*l = -f + 2*f + 137. Is l a multiple of 17?
True
Suppose 0 = o + 4*o. Suppose o = 2*p - 6 - 16. Is p a multiple of 11?
True
Suppose -3*a - 5 - 4 = 0. Does 4 divide 6 - 0/(a/(-1))?
False
Let s = 72 + -34. Is s a multiple of 19?
True
Let z be 502/8 + (-5)/(-20). Suppose -5*q = -2*h - 4*q + 29, 5*q - z = -3*h. Is h a multiple of 8?
True
Let p = -6 - -6. Suppose p = 4*v + v - 1330. Suppose v - 110 = 4*u. Is 19 a factor of u?
False
Suppose -5*n + 130 + 166 = 4*t, 0 = -5*t - 5*n + 375. Is t a multiple of 16?
False
Suppose 0 = -14*m + 13*m + 112. Is 14 a factor of m?
True
Let h(f) = -f**3 - 5*f**2 - f + 2. Is h(-5) a multiple of 4?
False
Suppose -3*i = -4*i + 5*q + 6, 5*q - 18 = -3*i. Does 6 divide i?
True
Let r(m) = -m**3 - 8*m**2 + 2*m + 8. Let d be r(-7). Suppose -63 = -3*l + 5*g + 187, 5*g - 20 = 0. Let t = d + l. Does 10 divide t?
False
Suppose -5*m = -m. Let v = m + 2. Let q(x) = 6*x - 1. Does 4 divide q(v)?
False
Let p(m) = m**2 + 6*m - 5. Let u(g) = 3*g + 9. Let x be u(-6). Is p(x) a multiple of 10?
False
Is 10 a factor of 6/2 - -1 - -117?
False
Let r(y) = 4*y**2 - 9*y - 4. Let x(g) be the second derivative of g**4/4 - g**3 - 3*g**2/2 - 2*g. Let l(t) = -5*r(t) + 7*x(t). Is 7 a factor of l(-5)?
False
Is 16 a factor of 56/(-168) - 5*(-112)/6?
False
Does 25 divide (37 - 11) + 1 + -2 + 3?
False
Suppose 0 = 3*u + 2*u - 25. Suppose 5*n + 266 = 3*x + 21, u*n = -2*x + 155. Is x a multiple of 16?
True
Is 2/11 + 9400/88 + 5 a multiple of 8?
True
Let r(q) = 3*q**3 - 6*q**2 + 7*q - 6. Is r(3) a multiple of 42?
True
Let t(f) = f**2 - 2*f - 4. Let c be t(6). Suppose 0 = -4*k - c, 5*z - 4*k - 30 = -0*z. Suppose -z*b + 92 = 20. Is 12 a factor of b?
True
Let n(c) = 14*c**2 - 2*c - 1. Let w be n(-1). Does 12 divide 537/w - 1/(-5)?
True
Is (-5)/10 + 43/2 a multiple of 21?
True
Suppose -s - 4*s = 0. Let c(u) = u**3 + u**2 + u + 24. Is 7 a factor of c(s)?
False
Suppose l - 2*c - 2 = -1, -4*l + 3*c + 14 = 0. Suppose z + 4*z - 20 = 0. Suppose 0*d + z*d - l*f = 76, f + 20 = d. Is d a multiple of 12?
True
Suppose -13 = 5*c - 318. Does 12 divide c?
False
Suppose 2*f - 7 = f. Does 5 divide f?
False
Let h(j) = 3*j. Let y be (-15)/(-4) + (-5)/(-20). Does 6 divide h(y)?
True
Let o(r) = -6*r + 9. Suppose -3*s - x - 20 = 0, 2*x - 9 = 2*s + 7*x. Is o(s) a multiple of 15?
False
Suppose 5*u - 81 = -1. Let b = u + -5. Does 6 divide b?
False
Suppose 2*j = -3*w + 59, -4*w + 0 = -5*j + 113. Is 5 a factor of j?
True
Suppose -3*i - 10 - 10 = -l, -5*i + 20 = 5*l. Does 20 divide 1*53 + -10 + l?
False
Suppose 0 = -5*c - h - 0*h + 475, 4*h = c - 116. Is 24 a factor of c?
True
Suppose -4*o + o - 45 = -2*h, 0 = -3*h + 2*o + 55. Let l = h - 3. Does 12 divide l?
True
Suppose 4*y + 14 = -2*z, -4*z - 5*y = -0*z + 31. Let k be (z/6)/((-9)/66). Suppose 96 = 5*u + k. Is u a multiple of 7?
False
Suppose -3*m + 60 = -15. Let h = m - 17. Does 8 divide h?
True
Let r = -18 - -30. Suppose r = -0*o + 3*o. Is 11 a factor of 14/o*(-2 + 6)?
False
Let h(m) = 2*m**2 - 5*m - 5. Let j = 10 - 2. Let u be h(j). Suppose 5*b + 23 = u. Is b a multiple of 6?
True
Let z(y) = -y**3 + 9*y**2 - 7*y + 5. Does 18 divide z(7)?
True
Let x(p) = 23*p**2 + 2*p + 1. Let q be x(-1). Let m = -20 - q. Let z = m + 82. Is z a multiple of 20?
True
Suppose -x = -4*u + 6, -5*u - 5*x = -2*u - 16. Let k be u - 76*(3 + -4). Suppose -5*v = -8*v + k. Is 16 a factor of v?
False
Suppose -9*k + 0*k = -36. Let y(x) = x**2 + 3*x + 5. Let f be y(-5). Suppose -k*m + 1 = -f. Is 4 a factor of m?
True
Let m = 31 + -1. Suppose -m = o - 6*o. Is (-3 - 123/(-9))*o a multiple of 25?
False
Suppose -w - w = -2. Let b be 2/(-1 - 0/w). Is (27/12)/(b/(-32)) a multiple of 11?
False
Let m be (0 - 0)*(4 - 5). Suppose 4*r + 64 = -4*p, -4*p = -5*r - m*p - 62. Is 4 a factor of (-116)/r + (-8)/28?
True
Let y = 167 - 36. Is y a multiple of 14?
False
Suppose 0 = 4*q - 20 - 28. Suppose -o + 116 - q = 0. Suppose -5*g + o = -p, 61 = 3*g - 0*g - 2*p. Is 9 a factor of g?
False
Let y = -14 - -14. Suppose -5*k + u + 99 - 22 = 0, -3*u + 9 = y. Is k a multiple of 4?
True
Let j(z) be the second derivative of -z**7/105 - z**6/360 - z**5/120 - z**3/2 - 2*z. Let q(k) be the second derivative of j(k). Does 4 divide q(-1)?
True
Suppose -4*d = 5*l - 1 - 17, 4*l - 15 = -3*d. Let i be (-350)/(-4) + (-3)/l. Is 12 a factor of (-1)/(1 - 90/i)?
False
Suppose 2*m - 11 = -m + 2*k, -m + 3*k = -6. Suppose 0 = -0*w - m*w + 9. Suppose 2 + 4 = -x - w*z, -5*z - 8 = 2*x. Is 6 a factor of x?
True
Suppose -7*t = -4*t + 12. Does 17 divide t/10 - 1939/(-35)?
False
Is (((-200)/(-6))/(-5))/((-5)/60) a multiple of 10?
True
Let x(o) = 7*o**2 - 6*o**2 - 2*o - 8 - 1. Is x(-7) a multiple of 27?
True
Let w be 3/4*3*-4. Let y(r) = -r**3 - 8*r**2 + 11*r + 11. Let k be y(w). Let d(h) = h**2 + 7*h + 8. Is d(k) a multiple of 8?
True
Let w be (-204)/(-24) + (-2)/4. Suppose -3*s + 31 = -w. Does 3 divide s?
False
Let i = 2 - -1. Let p be 1 + (-3)/(i/(-2)). Suppose -a = -4*s + 97, -a - 52 = -2*s + p*a. Does 12 divide s?
True
Let x = 11 + -7. Suppose -2*o + 16 = -x*g, -3*o + 4*g - 4 = -6*o. Suppose -2*v + k = -17 - 28, 5*v - 132 = -o*k. Does 12 divide v?
True
Suppose -v - 5 = 3*u, 4*u = 4*v - 0*u - 28. Suppose 2*a + 3 = a - v*y, -11 = -a + 3*y. Is 5 a factor of a?
True
Let x(f) = 2*f**2 - 1. Let b be x(-1). Let h be 5/((-5)/12) - b. Let i = -5 - h. Is i a multiple of 4?
True
Suppose 25 = 4*i + 5. Suppose -l + 34 = a, 2*a = i*a - 3*l - 114. Is 12 a factor of a?
True
Let b(u) = -5*u - 2. Does 19 divide b(-8)?
True
Let q be 16*42*3/6. Suppose 0 = -6*v + 2*v + q. Does 26 divide v?
False
Suppose m = -5*d + d + 32, -d = -5*m + 265. Suppose 5*h = m + 43. Is 14 a factor of h?
False
Suppose -4*a + 165 = a. Let r be (-1 - (1 + -4)) + a. Suppose -3*s + 1 + r = 0. Does 5 divide s?
False
Let s = 7 + -4. Suppose -17 - 10 = -s*b. Is 6 a factor of b?
False
Suppose 0 = -3*u + 3*j + 33, 0 = 5*u - 2*j - 59 + 16. Does 5 divide u?
False
Suppose -5*r + 4 = -16. Let c = -3 - -7. Suppose -6*o = -o - 25, c*q = r*o + 64. Does 13 divide q?
False
Suppose 133 = 3*a - 3*x - 92, -2*x + 4 = 0. Does 11 divide a?
True
Suppose -3 - 4 = -w. Is w a multiple of 4?
False
Suppose 3*c + 6 = d - 7, 0 = 5*d - 2*c - 39. Let h(x) = x**3 - 7*x**2 + 4. Let l be h(d). Suppose -3*s = 3*q - 12, 2*q + s - l*s = 13. Is q even?
False
Let l(u) = -u**3 - 7*u**2 - 5*u. Let h be l(-6). Let k(m) = -11*m - 7. Let q(t) = -22*t - 14. Let j(z) = 7*k(z) - 3*q(z). Is 20 a factor of j(h)?
False
Is (22/(-8) + 2)*-40 a multiple of 15?
True
Let b(j) = -j**3 - 8*j**2 - 16*j - 6. Is b(-6) a multiple of 6?
True
Let h(y) = -8*y - 22. Does 8 divide h(-6)?
False
Let l be (-6)/1*2/(-4). Let n(u) = 13*u**2 + 5*u - 3. Let j be n(l). Suppose 0 = -3*a - 3*p + j, 0 = 2*a - 4*p + 10 - 78. Does 20