)?
False
Let j(m) = 2*m**2 + m. Let c(b) = -b - 3. Let x be c(-7). Is 12 a factor of j(x)?
True
Let o(w) = -w. Let f be o(-4). Let d(p) = -f*p - 1 - 2*p - 14*p - 6*p. Does 9 divide d(-1)?
False
Suppose -5*j - 18 = 7. Let s(u) = u + 9. Is s(j) a multiple of 2?
True
Is (3 + 3)/(-2) + 39 a multiple of 18?
True
Let h = 110 + -78. Let y = h - 22. Is y a multiple of 5?
True
Suppose 0 = -5*y + 3*y - 16. Let z = y + 45. Is 8 a factor of z?
False
Suppose -2*t + v = -37, t + 2*v - 10 = 16. Is t a multiple of 5?
True
Let g(u) = -u**3 + 3*u**2 - u + 4. Let h be g(-3). Suppose -h = -n - 14. Is 16 a factor of n?
False
Suppose 15 = -5*v, 0 = -2*w + 4*v - 7*v - 13. Let k be 2*((-3)/6 + w). Let c(x) = -x**3 - 5*x**2 - x + 3. Is 3 a factor of c(k)?
False
Suppose 603 = 5*r - 17. Is r a multiple of 29?
False
Let h be 4/3 + (-8)/(-12). Let w = 10 - h. Is 13 a factor of (w/(-10))/((-2)/65)?
True
Is 12 a factor of (-116)/(2*(-2)/4 - 0)?
False
Let x be (14/(-6) + 2)*-12. Suppose 4 + 0 = -x*c + 4*j, 0 = -2*j + 2. Suppose w - 4*i = 6*w - 70, c = 2*w + 3*i - 35. Is 10 a factor of w?
True
Let p = -49 + 137. Does 15 divide p?
False
Let j(w) = w - 10. Let y be j(12). Suppose -i + 30 = 4*q - 0*i, y*q = 2*i + 10. Does 2 divide q?
False
Suppose -3*i + 16 = 4. Suppose 2*a = 5*a - u - 90, -120 = -4*a - i*u. Let w = 0 + a. Is w a multiple of 22?
False
Suppose -119 = g - j, 4*j - 66 = g + 65. Let u = -65 - g. Suppose 0 = -5*h + 5*x + u, h = -4*x + 25 - 0. Does 5 divide h?
False
Suppose 76*s + 1150 = 86*s. Does 23 divide s?
True
Let f(o) = -o**3 + 14*o**2 + 17*o + 30. Does 12 divide f(15)?
True
Let t = -3 - -8. Suppose g + 5*p - 34 = 0, 65 = 3*g + t*p - 37. Suppose g = -0*s + 2*s. Is 15 a factor of s?
False
Let b = -53 - -73. Is 20 a factor of b?
True
Let q(f) = f**3 - 17*f**2 + 4. Suppose -4*i + 2*c + 24 = -2*i, c + 46 = 3*i. Does 3 divide q(i)?
False
Let p(c) = 0*c**2 - 3*c**2 + 8*c**2 + 2*c**3 - 3*c**3 - c. Let z = -3 - -7. Is p(z) a multiple of 12?
True
Is ((-11)/2)/((-5)/10) even?
False
Suppose 2*a = a - 2*m + 130, -m = 2. Is a a multiple of 29?
False
Let a(s) = -2*s - 3. Let l(o) = 4*o + 5. Let f(j) = -7*a(j) - 4*l(j). Does 5 divide f(-6)?
False
Suppose 5*m + 38 = 2*m - 2*u, -m - 13 = u. Let t be (-302)/(-18) + m/(-54). Suppose -4*h - 8 = -c, t = 4*h - 3. Does 14 divide c?
True
Suppose 0 = -3*g + x + 16, -3*g - x + 16 + 4 = 0. Does 2 divide g?
True
Let v be (-1)/5 - (-156)/5. Let c be (-3)/6*(-2 - -2). Is 16 a factor of v - (c + 2/(-2))?
True
Suppose 52 = -5*v - 28. Does 12 divide 2*1 - (3 + v)?
False
Suppose -3*n + 255 = -138. Does 32 divide n?
False
Suppose g = 47 + 16. Is g a multiple of 9?
True
Is 17 a factor of 12/(-28) + (-1440)/(-28)?
True
Let l = -6 + 30. Is 8 a factor of l?
True
Let x(c) = 3*c**3 + 2*c**2 - 2*c - 11. Let t(n) = -n**3 - n**2 + n + 4. Let h(z) = 7*t(z) + 2*x(z). Is h(-4) a multiple of 10?
True
Suppose 5*p = 3*y + 224, -4*y = -4*p - 3*y + 182. Is p a multiple of 14?
False
Suppose -88 = -4*v - 2*p, 4*p + 76 = 2*v + 2*v. Let k = 45 + v. Is k a multiple of 22?
True
Is 3/12 - (3 - 837/12) a multiple of 36?
False
Let i(b) = -b**3 - 5*b**2 + 4*b - 7. Let m be i(-6). Let g = -25 - -25. Suppose g = 3*y, m*n + 0*y + 3*y = 230. Does 24 divide n?
False
Suppose -3*f - f + 96 = 0. Let b be (23/3)/((-4)/f). Let j = b + 71. Does 18 divide j?
False
Suppose -3*f + 25 = 4*t, -6 = -4*t + 2*f + 4. Suppose -b = -1, -3*b + 15 = t*v - 0*b. Is v even?
False
Let v = -35 + 59. Let t = 8 + v. Let m = t + 7. Is m a multiple of 13?
True
Suppose 0 = -i - 2*x + 12, -3*x = i + 2*i - 21. Is (-2 - 0)*i*-6 a multiple of 12?
True
Let m(h) = h + 28. Does 18 divide m(-10)?
True
Let n(f) = -f**3 + 4*f**2 + 5*f + 3. Let i be n(5). Suppose -i = -3*d - 24. Let o(x) = -x**3 - 6*x**2 + 3*x - 5. Does 8 divide o(d)?
False
Let i(u) = u**2 + 3*u + 3. Suppose -4*a - 3*k - k = 36, -2*a - 21 = 3*k. Is 17 a factor of i(a)?
False
Let x = 7 - 4. Is x even?
False
Let m(n) = -n + 6. Let f be 2/(3 + 17/(-5)). Let j be m(f). Is 7 a factor of 4/6*j*3?
False
Suppose -5*h - 4*o = -17, 3*o - 2 = -8. Suppose 29 = m + 4*b, -5*m - h*b + b + 81 = 0. Is 13 a factor of m?
True
Suppose -g + 18 = 3*n, 5*g + 2*n + 3*n = 50. Let s(l) = l**3 - 7*l**2 + 8*l - 8. Let q be s(g). Suppose 3*j - 20 = q*j + 5*a, 5*j - 3*a - 40 = 0. Is j even?
False
Suppose 6 + 18 = -4*n. Let y(t) = t**2 + 5*t + 4. Let o be y(n). Suppose o = d - 17. Is 10 a factor of d?
False
Let p(c) = -c**3 + 11*c**2 - 6*c + 2. Let b(s) = -11*s**3 - 1. Let l be b(-1). Is 14 a factor of p(l)?
True
Let d = 15 + 0. Is d a multiple of 15?
True
Let v(t) = 6*t**2 - 2*t + 5. Let s(f) = f**2 + 1. Let o(c) = -10*s(c) + 2*v(c). Is o(4) a multiple of 4?
True
Let w(r) be the third derivative of -5*r**4/24 + r**3/2 - 2*r**2. Let h be w(-5). Suppose -3*x = -x - h. Does 5 divide x?
False
Let m(q) be the third derivative of -q**7/720 - q**6/720 + q**5/30 - q**2. Let v(k) be the third derivative of m(k). Is 13 a factor of v(-2)?
True
Suppose -w + 3*w = -4*j + 186, -45 = -j - 2*w. Does 4 divide j?
False
Let o = 58 + -39. Is o a multiple of 13?
False
Let f(z) = z**3 - 5*z**2 + 4*z - 9. Let s be f(6). Let a = s - 28. Suppose -4*x + 59 = a. Is 4 a factor of x?
False
Let p(d) = d**2 + 5. Let g be p(0). Let q = -2 + g. Suppose 2*l = -q*l + 15. Is 3 a factor of l?
True
Let z(l) = -l**3 + 2*l**2 - l + 28. Is 14 a factor of z(0)?
True
Let q be 3/(-2 - 2/(-4)). Let z be (-2426)/(-18) + q/(-9). Suppose x - 6*x = -z. Is 24 a factor of x?
False
Let v(d) = 3*d**2 - d - 1. Let x be v(-1). Suppose -2*o - 38 = -j, -x*j - 2*o + 162 = j. Is j a multiple of 10?
True
Let f(c) = -2*c + 123. Does 16 divide f(0)?
False
Suppose q - 3*w - 138 = 0, -2*q - w + 150 = -q. Does 21 divide q?
True
Suppose -4*k - 11 = 4*m - 63, 5*m - 5*k = 85. Is 15 a factor of m?
True
Let q(g) = 2*g**2 + g + 6. Let c be (10/3)/(4/6). Let o be q(c). Let w = -37 + o. Is 12 a factor of w?
True
Let r(h) = 294*h - 5. Does 15 divide r(1)?
False
Suppose -9 = -4*p + p. Suppose p*n - 4 = 5*c + 1, 3*c - 35 = -2*n. Does 5 divide n?
True
Suppose -2*z - 121 - 520 = -5*s, -260 = -2*s - z. Does 43 divide s?
True
Let t(m) = 4*m - 11. Let q(c) = c - 1. Let k(u) = 3*q(u) - t(u). Let s(h) = -h + 2. Let y be s(-2). Is 3 a factor of k(y)?
False
Let j(x) = x - 2. Let o be j(2). Is (-15 + 1)*(o + -2) a multiple of 16?
False
Suppose -2*j = -232 + 120. Does 28 divide j?
True
Suppose 2*h = -6, 5*l - 2*h = 33 + 83. Is l a multiple of 11?
True
Let f(r) = -r**3 - 2*r**2 - 3*r - 3. Let i be f(-2). Suppose 7*h + 24 = i*h. Does 8 divide ((-32)/h)/(6/9)?
True
Suppose -2*m + r - 2 = -r, 2*r = 10. Suppose m + 8 = j. Does 8 divide j?
False
Suppose 4*l - 264 = -6*g + 3*g, 4*l + 5*g = 256. Is l a multiple of 9?
False
Let r(b) = b - 5. Let c be r(7). Suppose -3 = y - c. Does 2 divide (1 - -2)/y*-1?
False
Suppose -5*h + 3*q = -260, -3*h - 3*q + 52 = -2*h. Is h a multiple of 26?
True
Let n(v) = -2*v**2 - 2*v + 1. Let z(c) = 3*c**2 + 3*c - 1. Let m(u) = -10*n(u) - 6*z(u). Let x(a) = -a - 10. Let d be x(-7). Is 6 a factor of m(d)?
False
Let a(q) = q**3 + 8*q**2 - 3*q - 7. Suppose 2*z + 17 = 5*i, 11 = 3*i - 4*z + 2*z. Suppose -i*p - 36 = 5*g - 2*p, -24 = 4*g + 2*p. Is a(g) a multiple of 9?
False
Suppose o + 3*o + 32 = 0. Let j be o/(-3)*6/4. Suppose c - 2*b = 15, -5*c + 49 = j*b - b. Is 10 a factor of c?
False
Let m(a) = a + 12. Let o be m(-7). Let p = -3 + o. Suppose -5*w + 3*l + 2*l - 5 = 0, 2*w - 14 = -p*l. Is 3 a factor of w?
True
Let t(l) = l**2 - 17*l + 76. Is 8 a factor of t(12)?
True
Suppose -4*v = v. Does 2 divide (7 - 8)*(-5 - v)?
False
Let u(m) = m**2 + 4*m + 1. Let i be u(-5). Suppose i*r = 2*r - 16, -z = r - 27. Does 8 divide z?
False
Let a(m) = 2*m + 6. Is 6 a factor of a(7)?
False
Let s = 145 - 72. Is s a multiple of 6?
False
Let q(w) be the third derivative of 4*w**4 - 7*w**3/3 + 2*w**2. Let l(d) = 19*d - 3. Let h(a) = 14*l(a) - 3*q(a). Is 11 a factor of h(-1)?
True
Suppose 4*u = 5*z - 24, -2*z = 3*z - 5*u - 25. Let o(k) = -2*k**2 - 6*k**3 - 7*k + 6 + 8*k**3 - k**3. Is o(z) a multiple of 10?
True
Is 16 a factor of (-6)/3 + 34/1?
True
Let p(y) = 0*y**2 + 11 + 0*y**2 + y**3 - y**2. Does 4 divide p(0)?
False
Suppose -2*m - 8 + 240 = 0. Does 51 divide m?
False
Suppose 3*b + 200 = 8*b. Does 16 divide 0 + b + 2/(-2)?
False
Let t(r) = -3*r + 9. Let l be t(6)