 Suppose -p*f + 10*f = -80. Let x = -5 - f. Is 11 a factor of x?
True
Let m(h) = -19*h. Let j(k) = 39*k + 1. Let i(r) = -3*j(r) - 5*m(r). Does 11 divide i(-2)?
False
Suppose 211 = 3*y - 5*j + j, 0 = 4*y - 5*j - 280. Suppose -4*z = 1 - y. Does 6 divide z?
False
Suppose 3*w - 16 = -w. Let d be (-26)/(-91) + 2/(-7). Suppose w*n - 79 - 101 = d. Is n a multiple of 15?
True
Suppose -14*m - 812 = -21*m. Does 29 divide m?
True
Suppose -150 = -3*g - 6. Suppose -v + 0*v + g = 0. Suppose b = -3*b + v. Is b a multiple of 7?
False
Let w = -84 + 144. Suppose -4*m + k = 117, -2*m + 33 = -5*k + 78. Let t = w + m. Is t a multiple of 16?
False
Let p(m) = m**2 + 3*m + 2. Suppose -2*a + 4 = -4*a. Let t be p(a). Suppose 5*q + 5*d - 110 = t, 3*q + q = d + 98. Does 12 divide q?
True
Suppose -7*v - 24 = -v. Is (7 + v)/1*6 a multiple of 16?
False
Suppose 3*d = 5*x - 6, -d - 4*d = x - 18. Is 66/5 + x/(-15) a multiple of 5?
False
Suppose 120 + 72 = 4*p. Does 11 divide p?
False
Let c be 2/6 - 357/(-9). Let f be 4/(-10) - 744/c. Let t = f + 36. Is t a multiple of 9?
False
Suppose 4*y + 2*a + 10 - 44 = 0, 2*a + 8 = 3*y. Is 5 a factor of y?
False
Suppose -4*q + 105 + 55 = 0. Is 25 a factor of q?
False
Suppose 148 = 2*q - 3*b - 116, -2*b + 512 = 4*q. Is 19 a factor of q?
False
Let k be (-115)/(-35) + (-2)/7. Suppose k*c = 5*c + 24. Does 5 divide -2 + (2 - 2) - c?
True
Let i = -34 + 75. Is 16 a factor of i?
False
Let v = 34 + -7. Is -2 + -1 + (v - 9) a multiple of 15?
True
Let q be 4/2 + -2 + 3. Is 4 a factor of q - (1 - (-1 - -3))?
True
Let p = 21 - -3. Is 7 a factor of p?
False
Suppose u - 7*v + 2*v - 26 = 0, 0 = 2*u + 4*v - 52. Is 13 a factor of u?
True
Is 18 a factor of 33 - 2 - (-1 + 1)?
False
Let a(o) be the second derivative of 53*o**3/6 + o**2/2 + o. Let j be a(3). Suppose 0*k + 4*k = j. Is k a multiple of 20?
True
Suppose 3*g - 47 - 118 = 0. Is 17 a factor of g?
False
Let p be 8/((15/(-6))/(-5)). Let y = p - 1. Does 5 divide y?
True
Does 17 divide (-308)/(-3) - 18/27?
True
Let u(n) be the third derivative of n**5/60 + n**4/4 + n**3/3 - n**2. Let s be u(-6). Is ((-75)/12 + s)*-4 a multiple of 17?
True
Let w(d) = 1 - 2 + 9*d + 5*d - 2. Is 9 a factor of w(2)?
False
Suppose 5*b - 4*n + 2*n = -113, 5*b + n + 101 = 0. Let d = b + 45. Is 17 a factor of d?
False
Suppose 5*j + 4*y = 3, 0 = -3*y + 2*y - 3. Does 20 divide 1/j + 413/21?
True
Suppose 6*p - 185 = p. Let h = -24 + p. Is h a multiple of 13?
True
Let t = -1 - -3. Let m be 0 + t/(-1) - -2. Suppose -3*x + 68 = 5*g, 7*x - 2*x + 20 = m. Is g a multiple of 10?
False
Suppose 5*o = 3*l + 214, -3*l = -o + 20 + 18. Does 9 divide o?
False
Suppose 4*v + 0*v + 4*n - 308 = 0, -2*v + 5*n + 126 = 0. Let i = v - 40. Does 17 divide i?
False
Is -4*((-8)/(-44) - 134/11) a multiple of 5?
False
Let x(k) = k**3 - 2*k**2 + k - 12. Does 17 divide x(5)?
True
Suppose 2*a = -8 + 2. Let l be ((-1)/1)/(a/12). Is 3/18*l*30 a multiple of 8?
False
Let w(u) = -u**2 - 6*u - 2. Let s(g) = -g - 1. Let p(q) = -2*q - 2. Let v(y) = -6*p(y) + 11*s(y). Let z(j) = -5*v(j) - w(j). Is 2 a factor of z(-3)?
False
Let z(g) = -g**3 + 10*g**2 - 9*g + 2. Let r be z(9). Suppose -r*q + 66 = -0*q. Is 20 a factor of q?
False
Suppose 0 = 4*j - x - 17, -9*j - x + 19 = -4*j. Let n(k) = -j + 3*k**3 - 2*k**3 + 0*k**3. Is n(3) a multiple of 9?
False
Is 3125/30 - -2*(-2)/24 a multiple of 8?
True
Suppose 0 = 4*k - 277 - 103. Does 5 divide k?
True
Suppose 4*u - 3*v = 24, -v = -u - u + 10. Suppose 0 = -u*h + 21. Does 7 divide h?
True
Suppose -3*k = -2*x - 9, k - 2*x - 3 = -4*x. Suppose 0 = -u + l - 86, -2*u - u = k*l + 240. Let m = -55 - u. Is m a multiple of 11?
False
Let l(p) = p**2 - 3*p - 5. Let d be l(5). Let x(a) = -a**3 + 7*a**2 - 6*a - 7. Is x(d) a multiple of 9?
False
Let r(x) = -2*x + 7. Is 3 a factor of r(0)?
False
Let f = 311 - 146. Does 22 divide f?
False
Suppose -3*s - 19 = -139. Is s a multiple of 27?
False
Suppose 12 = -4*o + o. Let f(r) = -4*r - 2*r + 4*r + 0*r. Is f(o) a multiple of 8?
True
Let v be 5 - 6 - 1*-4. Let p(u) = 0*u + 2*u - 4 + u. Is p(v) a multiple of 3?
False
Let z be (-34)/(-8) - 3/12. Suppose -53 = -5*l + n - 14, z*l + 2*n - 34 = 0. Suppose -l = -3*p + 5*m + 17, m = -3*p + 13. Is p a multiple of 5?
True
Suppose -5*k = 6 + 9, -113 = -4*w + 3*k. Is 13 a factor of w?
True
Let n be -6*3/(-6)*3. Suppose 3*q - 3*m = -6*m + n, -5 = q + 5*m. Does 3 divide ((-6)/q)/(4/(-10))?
True
Is 8 a factor of 6*3/63 - 222/(-7)?
True
Is 15 a factor of (-16)/(-8) - (-296)/2?
True
Suppose 0 = -5*f + 13 + 2. Suppose -f = z - 0*z, 2*z - 18 = -l. Suppose -5*q = -21 - l. Does 4 divide q?
False
Let m be 21/(-7) - (-5 - 1). Let i(f) = -3*f + 7. Let x be i(-6). Suppose 4*r - x = 3*r + m*u, 3*u + 35 = 2*r. Does 5 divide r?
True
Suppose -4*x + 335 = -x - 2*a, 4*x = a + 450. Suppose -w + 7 = -x. Suppose -3*b + 74 = -4*q, 0 = -7*b + 2*b + 5*q + w. Is 11 a factor of b?
True
Let w(n) = -n**3 - 8*n**2 - 8*n + 3. Let t be w(-7). Suppose 0 = 4*q - y - 80, -q - t + 45 = -4*y. Does 4 divide q?
False
Let g(v) = -v**3 + 9*v**2 + v - 5. Let i be g(9). Let a = -4 + i. Suppose a = -d + 22 - 0. Is d a multiple of 12?
False
Let k(r) = -9*r**2 - r**3 - 4*r - 3*r + 2*r**3 - 6 - 2*r. Let z be k(10). Let i = 18 - z. Is i a multiple of 14?
True
Suppose -3*i + 18 = -207. Does 9 divide i?
False
Let b = 436 + -62. Let z be b/(-10) + 2/5. Let y = -22 - z. Does 6 divide y?
False
Suppose p = -4*i + 321, -i + 0*i + 89 = 2*p. Suppose 2*k + 2*k = 12. Suppose 2*r + i = k*s - 0*r, 3*s = -2*r + 95. Is s a multiple of 12?
False
Let q = 3 + -1. Suppose 4*j - 10 = q*j. Does 3 divide j?
False
Let j = -3 - -24. Is j a multiple of 13?
False
Let f = -7 + 12. Suppose 5*m - 47 = 223. Suppose -2*y + m = f*w - 15, 5*y = -5*w + 75. Is w a multiple of 8?
False
Suppose 3*h - 3*r - 217 = 8, -h + 2*r = -75. Does 25 divide h?
True
Let h = 2 + 0. Suppose -h*r - r + 18 = 0. Is 3 a factor of r?
True
Let x be ((-20)/(-25))/((-2)/(-5)). Suppose h - x*h = 14. Let n = 31 + h. Is 12 a factor of n?
False
Let j be (77/(-4))/((-2)/(-8)). Let b = -52 - j. Suppose -35 - b = -2*c. Is 8 a factor of c?
False
Let d(m) = m**2 + 6*m + 3. Is 15 a factor of d(-12)?
True
Suppose 0 = -6*m + 7*m - 27. Is m a multiple of 7?
False
Let r = -27 - -55. Is r a multiple of 17?
False
Suppose -659 = -2*p + 599. Let i = 436 - p. Is 19 a factor of i/(-5) - 3/5?
True
Let b(n) = 17*n**2 + 10*n + 16. Is b(-4) a multiple of 62?
True
Let z(i) = -i**3 + 10*i**2 - 6*i - 5. Does 4 divide z(3)?
True
Suppose 74 = -k + 3*k. Let l = k + 21. Does 17 divide l?
False
Let n(z) = -3*z**3 - 5*z**2 - 3. Let l(s) = -s**3 - 2*s**2 - 1. Let a(k) = -11*l(k) + 4*n(k). Is 4 a factor of a(-2)?
False
Let l = 3 + -17. Let u be l/(-3) - 2/3. Suppose 0 = -h + u*h - 39. Does 13 divide h?
True
Let g(q) = q**2 + 3*q. Does 14 divide g(4)?
True
Let s(u) = u**3 - 5*u**2 - 4*u - 7. Let i be s(6). Suppose 0 = 2*g + i*k - 35, -3*g + 3*k = -33 - 51. Does 9 divide g?
False
Let j = 9 + -23. Let n be (0 + j/6)*6. Is 13 a factor of (-4)/n + 180/7?
True
Does 8 divide (-2 + 6/4)*-32?
True
Suppose 0*n + n + 2*p - 7 = 0, -4*n + 2*p = -8. Does 7 divide n*2/(-3) - -11?
False
Let t(p) = 1. Let n(x) = -4*x - 6. Let s(r) = n(r) + 5*t(r). Let k be s(-7). Suppose 4*j - 2*d = k - 1, -j - 2*d + 14 = 0. Is j a multiple of 8?
True
Let j = 256 + 16. Is 34 a factor of j?
True
Let o = 14 - 10. Is 17 a factor of 4 + (67 - o - 2)?
False
Suppose 4*x - 85 = 51. Let u = x + 10. Does 22 divide u?
True
Let d(p) = 32*p + 1. Let u be d(-4). Let t = -81 - u. Does 23 divide t?
True
Let y be (-2)/((-6)/(-27)*-1). Let b = y - -1. Is 10 a factor of b?
True
Let s(k) = -13*k**2 - 1. Suppose -h + 0 = -1. Let q be s(h). Is 0 - (q + -1 - -1) a multiple of 14?
True
Let j = -17 + 21. Is 7 a factor of 10/j*(-42)/(-5)?
True
Suppose 0 = -0*d + 4*d + 48. Let t = 24 + d. Is 12 a factor of t?
True
Let i = 76 + -10. Is i a multiple of 7?
False
Suppose -t = -2*x + 10, 3*x + 2*x - 27 = 3*t. Suppose x*c + 0 = 6. Suppose c*z + 3*z = 110. Does 17 divide z?
False
Let n(u) = u - 4. Let f be n(6). Let q(l) = 7*l**2 - 4*l + 2. Does 10 divide q(f)?
False
Suppose 158 = 3*t - 5*m, -t + 6*t + 3*m = 286. Is t a multiple of 14?
True
Let i = -17 - -57. Suppose -2*o = 17 + 39. Let x = i + o. Does 6 divide x?
True
Let a = -5 - 9. Let c = a + 21. Is 3 a factor of 