 Suppose -32 = -n*f + 31. Is 7 a factor of f?
True
Let m be (-291)/6 + (-3)/2. Let p = m + 74. Is 7 a factor of p?
False
Let b(f) = -13*f + 2. Let q be b(2). Let s = q - -46. Is s a multiple of 7?
False
Let b = 17 - 5. Let l = 7 - b. Let h = l - -25. Is h a multiple of 14?
False
Suppose 472 = 5*z + 3*z. Does 22 divide z?
False
Let i = -39 + 17. Let x = i - -31. Is 3 a factor of x?
True
Suppose f + 3*j - 33 = 0, f - 3*f = -5*j - 77. Let s = 53 - f. Is s a multiple of 17?
True
Suppose 2 = -2*z, -z + 3*z - 138 = -5*o. Is 28 a factor of o?
True
Suppose 5*j + 2 - 22 = 0. Let s = -4 + j. Suppose -2*u + 40 - 2 = s. Is 10 a factor of u?
False
Is 9 a factor of (-324)/(-4)*3/9?
True
Let m be -2*3/12*-6. Let b be 6/(-9) - (-56)/m. Let x = 29 - b. Is 5 a factor of x?
False
Let t = 2 - 4. Let m = -19 + 14. Is 8 a factor of ((-2)/m)/(t/(-40))?
True
Let n(y) = 9*y**2 + 17*y. Let c(t) = 4*t**2 + 8*t. Let f(u) = -13*c(u) + 6*n(u). Does 6 divide f(3)?
True
Suppose -26*t + 220 = -24*t. Does 22 divide t?
True
Suppose 7 + 16 = -n. Let w = 32 + n. Is w a multiple of 3?
True
Suppose -4*c = -6 - 510. Let j = c + -87. Does 14 divide j?
True
Let x(w) = 3*w**2 + 2*w - 2. Let u be x(-2). Suppose 2*z - 2*p - 16 = 0, 4*z - u = 3*z - p. Is 3 a factor of z?
False
Let s be 1/2 + 3/(-6). Suppose -o = -s*o. Suppose 5*x - 40 = -o*x. Is x a multiple of 5?
False
Is 72 + 1/((-1)/(-4)) a multiple of 19?
True
Let k = 28 - 18. Suppose -12 = 2*m - 4, -3*l + 3*m + 24 = 0. Let u = k - l. Is u a multiple of 3?
True
Let y = 15 - 6. Is 9 a factor of y?
True
Suppose -5*u + 1 = -19. Suppose r = d + 20, r - 2*r - 5 = u*d. Is 15 a factor of r?
True
Suppose 5*n - 5 = 0, -n = -3*p + 3*n + 8. Is p a multiple of 2?
True
Let i(t) = -t**3 - 3*t**2 + 5*t + 2. Let h(s) = s**2 + 1. Let x(a) = -3*h(a) + i(a). Let f = 22 - 29. Is 6 a factor of x(f)?
False
Let j be (-3 - 4/(-4)) + 2. Let m(i) = -i**3 - 5*i**2 - i. Let t be m(-5). Suppose -t*v + j = -25, 49 = 3*g - v. Is g a multiple of 7?
False
Suppose -56 = -6*u + 28. Let d be 48 + 0 + 4 + -2. Let l = d - u. Is 12 a factor of l?
True
Let m(u) = u**2 - u - 2. Let s be m(-2). Let f = 3 - s. Is 12 a factor of (-1*1)/(f/33)?
False
Suppose -g - 75 = -6*g. Is 6 a factor of g?
False
Let h = 5 + -2. Suppose -5*s + 48 + 185 = -h*r, -5*r + 179 = 4*s. Does 17 divide s?
False
Suppose -y + 2 + 1 = 0. Suppose -y*c - 2 = -44. Let k = -8 + c. Is 3 a factor of k?
True
Suppose 15 + 125 = -4*m. Suppose 39 = -4*n + n. Let k = n - m. Is k a multiple of 11?
True
Let r = 12 - 6. Let w be (-258)/(-21) - r/21. Does 4 divide w/(-5)*(-40)/12?
True
Let n = 10 + 6. Suppose 0*q = 2*m + q, -4*m = -3*q. Suppose s - n = -m*s. Is s a multiple of 16?
True
Let d(y) = -9*y**2 + 10*y**2 + 4*y + 10 + 5*y. Let b be d(-7). Let k(j) = 2*j**2 + 5*j + 3. Is 15 a factor of k(b)?
True
Let b = 115 + 87. Is 49 a factor of b?
False
Suppose 12*n - 10*n - 60 = 0. Is 5 a factor of n?
True
Let z(l) be the second derivative of -3*l**5/20 + l**4/4 + l**3/6 - l. Let u(t) = t**3 + 4*t**2 + 5*t + 4. Let g be u(-3). Is 16 a factor of z(g)?
False
Suppose -714 = -4*l + 558. Suppose 4*y + y = -r + 383, -l = -4*y + 5*r. Let z = -36 + y. Does 16 divide z?
False
Let z = -7 + 6. Let a(o) = o**3. Let l(y) = -5*y**3 - 7*y**2 + 7*y + 7. Let c(j) = z*l(j) - 4*a(j). Does 16 divide c(-7)?
False
Does 7 divide (24/(-18))/(-4)*405?
False
Suppose 5*z - 59 = -9. Let x(y) = y**3 - 10*y**2 + y - 1. Let k be x(z). Suppose 5*n + k = 89. Is 6 a factor of n?
False
Let j be (-66)/18 + (-2)/(-3). Let d be 8/j*18/(-12). Suppose 0 = d*b - 8 - 4. Is b even?
False
Let y(g) = 3*g**3 - 2*g**2 + 0*g**3 + 0*g**3 + 2 - g - 2*g**3. Does 5 divide y(3)?
False
Let b(k) = -k + 6. Let c be b(0). Let u = c + -1. Is 12 a factor of (12/u)/((-2)/(-10))?
True
Let o be 2/(-4) - (-7)/2. Does 6 divide 6/8*o*8?
True
Suppose 4*q = -f + 44, 0 = 5*q + 6*f - 2*f - 66. Let l = q + 9. Let b = l + -11. Is b a multiple of 8?
True
Let w(r) = -r**3 + 4*r**2 - r - 2. Let z be w(3). Suppose -8*f - 3*s + 103 = -3*f, z*f + s = 88. Is 23 a factor of f?
True
Suppose 2*g = -5*s - 0*g + 275, -g + 110 = 2*s. Suppose 3*o - s = 26. Is 7 a factor of o?
False
Suppose 2*j - 2*r - r - 131 = 0, 3*j + r = 180. Is 17 a factor of j?
False
Let f = 67 + -1. Is f a multiple of 33?
True
Suppose -9*x = -10*x + 63. Does 13 divide x?
False
Suppose -3*o = o - 8. Let v(b) = b**2 + 12*b**3 + b**2 + 0*b + b - 4*b**o. Does 11 divide v(1)?
True
Suppose 0 = 2*b - b + 2. Is -4*(18 - 2)/b a multiple of 16?
True
Let i = 153 - -208. Does 11 divide i?
False
Suppose -9*d = -15*d + 102. Does 2 divide d?
False
Is -111*(5 + 80/(-15)) a multiple of 2?
False
Let a(j) = 4*j**2 - 2*j + 2. Is 13 a factor of a(2)?
False
Let n = 115 + -76. Suppose c - 4*c + n = 0. Does 3 divide c?
False
Let i be 4*23 + 4/(-2). Suppose 0*a = -3*a + i. Let h = -18 + a. Is 4 a factor of h?
True
Let h(z) = -9 - 11 - 2*z + 6. Does 6 divide h(-10)?
True
Let p = 0 + 5. Let h = 5 - p. Suppose h = w + 3 - 17. Is w a multiple of 12?
False
Suppose -4*s = -0*s - 2*z - 1186, 3*s - 893 = -2*z. Does 33 divide s?
True
Suppose -3*r + 0*r = -2*b - 1, -b = 2*r + 11. Let i(m) = 1 - m**2 + 1 - 84*m + 75*m + 0. Does 11 divide i(b)?
True
Suppose 1 = y - 1. Suppose 3*i - 4 = y. Suppose i*f - 10 = 4*n, -35 = -2*f - 5*n + 4*n. Is f a multiple of 15?
True
Suppose -q = -0 - 15. Does 4 divide q?
False
Let m be 0*(9/6)/3. Does 12 divide -1 + 0 + m - -13?
True
Let r be 2*2/((-8)/(-6)). Suppose r*b - 48 = b. Let k = b - 10. Is 14 a factor of k?
True
Let o(m) be the second derivative of 2*m**4/3 - 2*m**3/3 - 3*m**2/2 - m. Suppose -71*b - 4 = -69*b. Is o(b) a multiple of 11?
False
Suppose -5*a - 2*b = -2, 0*a + 2 = a + 2*b. Suppose 0*n + n - 20 = a. Does 10 divide n?
True
Let c(r) be the third derivative of -r**6/120 - r**5/10 - r**4/8 - 2*r**2. Let i be c(-5). Is 34/10 - (-4)/i a multiple of 3?
True
Let h(n) = 2*n**2 - 3*n - 10. Does 10 divide h(-6)?
True
Let x be (868/16)/(-7)*8. Let s be (-23)/(-3)*1*-3. Let v = s - x. Is v a multiple of 16?
False
Suppose -5*r = -b + 2 - 21, b + 4*r = 26. Suppose -b = -3*i, 2*l - 2*i - 43 + 1 = 0. Does 6 divide l?
False
Let x be (-4 - -10)/(3 - 1). Suppose -x*m = -0*m - 24. Is m a multiple of 4?
True
Let s(t) = 59*t - 2. Does 19 divide s(1)?
True
Let l = 20 - 11. Is l even?
False
Let w(j) = 8*j + 2*j**2 + 4*j**3 - 5*j**3 - 5*j**2. Does 23 divide w(-6)?
False
Suppose -234 = -5*b + 126. Is 20 a factor of b?
False
Suppose -3*h = 5*j + 45, -h - j + 2 = 15. Does 7 divide (-15)/h*(-22)/(-3)?
False
Suppose -5*x + 40 = -2*k, 3*x - 16 = -x. Let d be (20/(-8) - -3)*24. Is (d/(-15))/(1/k) a multiple of 3?
False
Let r(k) = -29*k + 1. Is r(-2) a multiple of 12?
False
Suppose v = 3*k - 11, -14 = 3*k + v + 3*v. Let p be (17/2)/(1/k). Does 11 divide (p/2 + 0)*2?
False
Let r(t) = t**3 + t**2 + 3*t + 20. Is 17 a factor of r(0)?
False
Let i = -14 - -32. Let k = i - -6. Is 10 a factor of k?
False
Let c = -33 + 58. Suppose -n = -3*a - 188, c + 215 = -4*a + 4*n. Let s = -25 - a. Does 16 divide s?
False
Let f be 3/((-9)/(-21)) + -3. Suppose -3*p + 4*m + 125 = 8*m, f*m + 120 = 4*p. Is p a multiple of 7?
True
Let c be 27/(-15) + 2/(-10). Is -38*c/(-8)*-2 a multiple of 11?
False
Suppose -q = 5*z - 376, -3*q = -5*z + 4*z + 72. Does 4 divide z?
False
Suppose x - 211 = -3*b - 4*x, 5*b - 3*x - 363 = 0. Suppose o + 5*k = b, 1 + 3 = 2*k. Is 25 a factor of o?
False
Suppose -w - a + 60 = 0, -w + 4*a = 8 - 43. Is 6 a factor of w?
False
Let n(u) = -u**3 - 7*u**2 - 6*u + 3. Let d be n(-6). Let o = 4 - d. Let s(a) = 16*a**3 + a - 1. Does 8 divide s(o)?
True
Let k be (-2 - -2)/(-4) + -16. Let j = -2 - k. Is j a multiple of 8?
False
Let b be (-1 - -2)/((-3)/(-21)). Suppose 17 + b = 3*k. Is k a multiple of 8?
True
Is 27 a factor of (-111 + 3)/(-2) - 0?
True
Suppose 0 = -j + p + 24, -5*j + 6 = 4*p - 87. Is 21 a factor of j?
True
Let f be -2 + (-4)/(-2) + 6. Let u be f/2 + (0 - -1). Suppose -u*m - 4*l + 8 = 0, m - 5*l - 46 = -2*m. Does 7 divide m?
True
Let f(g) = -50*g + 3. Does 34 divide f(-2)?
False
Suppose 3*k + k = -2*n + 14, n + 5*k = 7. Suppose -4*v - 2*w = -12, 3*w - 5*w + n = 3*v. Suppose 2*x - 11 = -j + 6*x, 0 = 3*j + v*x - 50. Does 15 divide j?
True
Let s be (-1)/3 + (-44)/(-6). Suppose 2*j + v - 6 = -3*j, -2*j - v = 0. Suppose s*l = j*l + 10. Is l a multiple o