 4*p + 4 = -l + 3*p, 3*l + 4*p = -17. Does 11 divide (l/1)/((-3)/(-42))?
False
Let c(l) = l**2 + l - 5. Let f be c(7). Is 17 a factor of (2 + 0)/(6/f)?
True
Let b(v) = 14*v**2 + 3*v - 5. Does 26 divide b(-4)?
False
Suppose -5 = 2*q - 141. Let s = 3 + -4. Does 9 divide q/8 - s/2?
True
Suppose -5*r = -328 + 8. Is r a multiple of 10?
False
Let o be ((-6)/4)/((-2)/4). Suppose o*h + 114 = 5*i, -2*i + h - 4*h = -54. Suppose -p - i = -4*p. Does 4 divide p?
True
Is (2364/15)/((84/(-30))/(-7)) a multiple of 60?
False
Suppose 0 = 4*o + 41 - 5. Let c be o/3 + 1*6. Let p(r) = 3*r - 1. Is 8 a factor of p(c)?
True
Suppose f = -4*p + 1, 5*f = 3*p - 0*f + 5. Let b = p - -2. Suppose 2*l + b*w = -0*w + 44, -5*w = -25. Does 7 divide l?
False
Suppose m - 96 = -3*m. Suppose 4*b = 4 + m. Suppose -b = -2*k + 11. Is k a multiple of 4?
False
Suppose 4*d - s = 93, s = -3*d - d + 83. Let g = -3 + d. Let t = 6 + g. Does 10 divide t?
False
Let i = 31 + -9. Does 3 divide i?
False
Suppose 0 = -4*b + g + 575, 71 + 69 = b - 4*g. Does 32 divide b?
False
Suppose -2*r + 3*o = 0, 4*r - 2*o = -5*o + 36. Suppose 2*f = -f + r. Suppose -f*n - 35 = -0*m - m, -113 = -3*m - 2*n. Is m a multiple of 14?
False
Let t = -2 - -5. Suppose 4*j - 40 = -5*x, j = -t*x + 15 + 16. Does 11 divide x?
False
Let y(a) = 25*a - 3. Does 18 divide y(3)?
True
Let i be (-1 - -3) + (14 - 1). Let c be 6/i - 38/(-5). Suppose -3*l + 76 + c = 0. Is l a multiple of 16?
False
Let l = 0 + 0. Suppose l = 3*r - 4*r + 24. Let u = r + -6. Is u a multiple of 14?
False
Suppose -2*z + 5 = m + 3*z, 0 = -5*m - z + 1. Suppose 2 = w - m. Suppose 0*t + 4*t = -j + 81, w*j = t - 9. Is t a multiple of 8?
False
Let t be 2*3*1/3. Suppose t*u - u - 8 = 0. Is 4 a factor of u?
True
Suppose -j + 2 = -3. Is j a multiple of 2?
False
Let d be 19/4 - (-6)/(-8). Suppose 0 - 32 = -d*i. Is i a multiple of 8?
True
Suppose 0 + 5 = m. Let o(b) = 8*b**2 + 8*b - 9*b**2 + m + b + b. Does 7 divide o(8)?
True
Suppose 3*o - 5 = -j, 2*j + 3*j + 5*o = 45. Is 4 a factor of j?
False
Let c(f) = -f**2 - 9*f + 14. Let w be c(-10). Does 8 divide w/((6/(-8))/(-3))?
True
Let z(j) = -2*j. Let w be z(2). Let v(q) = -2*q + 1. Is v(w) a multiple of 7?
False
Suppose 8*d - 3*d = 140. Does 28 divide d?
True
Suppose -2*h - 42 = -9*h. Does 2 divide h?
True
Let c be (-42)/(-4)*(-36)/(-27). Suppose -h + 48 = -c. Is 20 a factor of h?
False
Let g be (-47)/(-3) - 10/15. Suppose -s = -4 - g. Does 16 divide s?
False
Let c = -2 + 5. Suppose 6*l - 39 = c*l. Is 6 a factor of l?
False
Suppose 50 + 62 = 7*x. Does 8 divide x?
True
Suppose 0 = 3*t - 7*t. Let z(c) = -c**3 + c**2 + 2. Let j be z(t). Suppose 4*l - j*l - 60 = 0. Is l a multiple of 15?
True
Let p be 20/(-30)*(-30)/4. Suppose 106 = 3*s + 4*d, 10 = 5*s + p*d - 170. Is s a multiple of 19?
True
Is ((-68)/8)/((-1)/2) a multiple of 7?
False
Let m(o) = o**2 + 24*o + 19. Does 12 divide m(-27)?
False
Suppose -27*a + 60 = -21*a. Does 5 divide a?
True
Let i(c) = 4*c + 7. Let l be i(-7). Let w be (-654)/(-8) + l/28. Suppose -5*f + 25 = 0, 4*j - 3*f + 24 = w. Is j a multiple of 14?
False
Let y(s) = -3. Let l(h) = -1. Let j(z) = 5*l(z) - 2*y(z). Let i(m) = -4*m - 5. Let b(r) = -i(r) - 4*j(r). Does 9 divide b(3)?
False
Let v be 15*-2*(-9)/(-6). Let j = v + 78. Is 17 a factor of j?
False
Suppose 6 + 3 = 2*m + y, 3*y = -2*m + 3. Suppose 5*k - 3*g - 22 = 0, -1 - m = -2*k + 3*g. Is 5 a factor of k?
True
Is 14 a factor of (110/(-35) - -3) + 2172/14?
False
Let j = -11 - -8. Does 7 divide (-11 - (5 + j))*-1?
False
Suppose 3*n - 2*n + 12 = 5*q, -5*n - 12 = -q. Let b = n + -2. Let z = -2 - b. Is z even?
True
Suppose t = -t + 8. Let f(j) = -j**3 + 3*j**2 + 6*j - 3. Let q be f(4). Suppose q = -t*u + 17. Is 2 a factor of u?
False
Let j(h) = h**2 - h + 5. Let d(l) = -l**2 + 4*l - 3. Let i be d(3). Let p be j(i). Suppose p*w - 35 - 65 = 0. Is w a multiple of 8?
False
Is 2 a factor of 4*(2 - (-4)/(-8))?
True
Suppose 0 = 3*f - 160 - 302. Let z be f/6 + 2/6. Suppose 2*q - 26 = z. Is q a multiple of 13?
True
Is (-1)/2 + (-153)/(-6) + -2 a multiple of 9?
False
Suppose 2*f - 2*t - 18 = 0, f + t = -t. Suppose 2*v - f = 5*m - 0, m - 5*v - 8 = 0. Is 4 a factor of (m/3)/((-3)/18)?
True
Suppose 2*l - 7*l = -200. Let t be 16/(-56) - (-46)/14. Suppose -13 = -t*a - 3*n + 11, n - l = -5*a. Does 8 divide a?
True
Let h(u) = 15*u**3 - 2*u**2 + 1. Let j be h(1). Suppose j = 3*o - 7. Does 2 divide o?
False
Suppose 3*g = 15, 5*y + g - 5*g - 15 = 0. Suppose y = 2*x + 3*d, -x - 4*d + 2 = -2*x. Suppose 0 = -x*m + 20 + 4. Is 8 a factor of m?
False
Let b(p) = 4*p**2 + 2*p - 12. Is b(6) a multiple of 16?
True
Suppose -2*i = 2*i - 28. Suppose 2*j = 7*j - 10. Is 5 a factor of j - (2 - (i - 0))?
False
Let k = 21 - 10. Is k a multiple of 7?
False
Suppose 5*d = -4*v + 66, 2*v - 3*d = -5*d + 32. Suppose -v = 5*r + 21. Is 6 a factor of (12/r)/(2/(-14))?
True
Suppose 8*h = 4*h + 48. Is ((-110)/(-20))/(2/h) a multiple of 10?
False
Suppose -5*y - 3*f = -25, 3*y + 2*f + 3*f = 31. Suppose 5*p - 19 = -u + y*u, 3*u - 33 = -3*p. Does 6 divide u?
True
Let d be (-48)/(-6) - (0 + 3). Suppose d*f = 5*u - 40, 4*f - 3 + 0 = -u. Is u a multiple of 3?
False
Let i(o) = o**2 + 10*o + 11. Let c be i(-9). Suppose -4*m + 128 = c*a + m, 3*m + 64 = a. Is a a multiple of 23?
False
Let o(l) = -70*l - 2. Is 26 a factor of o(-3)?
True
Let u be -159 + (-6)/3 + 5. Is 17 a factor of -7*(-2 - u/(-21))?
False
Suppose -2*q + g + 488 = 0, -2*q + 494 = g - 5*g. Suppose -803 = -5*j - q. Does 13 divide ((-6)/(-4))/(6/j)?
False
Let d(z) = 4*z. Let r = -17 - -11. Let l be d(r). Is l/20*(-30)/9 a multiple of 3?
False
Let m(c) = -c**3 - 3*c**2 + 2*c - 1. Let o be m(-4). Let n be o*-2*1/(-2). Suppose n*j = 2*j + 20. Does 4 divide j?
True
Let f = 10 + -14. Does 2 divide (f + 2/2)*-1?
False
Suppose 5*h = h + 40. Let z(m) = -m**2 + 10*m + 8. Is 4 a factor of z(h)?
True
Let l(f) = 13*f - 4. Is 29 a factor of l(7)?
True
Let q be (1/3)/(7/(-147)). Let m(i) = i**3 + 7*i**2 + 3. Let h be m(q). Suppose -4*b = -3*v - 96, b - v - 13 = -h*v. Is 20 a factor of b?
False
Is 11 a factor of 22/1*209/22?
True
Suppose x = -w + 20, x = -x + 8. Does 4 divide w?
True
Let j(s) = 6*s - 4*s**2 + 1 + s**2 + 2*s**2 + 3*s**2. Let a be j(-4). Suppose -3*b - 5*y + a = 0, -4*b - 2*y + 18 = -b. Is b a multiple of 6?
False
Suppose 8 = 3*d - 7*d. Is 11 a factor of d/10 + 332/10?
True
Let r(p) = -p + 4. Let l be r(4). Suppose m - 4*m - 5*k + 6 = l, -4 = -2*m - 3*k. Let d(z) = 15*z. Is 15 a factor of d(m)?
True
Suppose -5*m - 6 = 4. Let o(v) = -v**3 - v**2 - v. Let x(f) = 7*f**3 + 8*f**2 + 8*f - 2. Let i(a) = -6*o(a) - x(a). Does 2 divide i(m)?
True
Let m be (-12)/(0 - 2) + 0. Let n(g) = g**2 - 5*g - 4. Let c be n(m). Suppose 62 = 7*x - c*x + 3*o, -3*x - o = -38. Is 9 a factor of x?
False
Let g = -6 - -6. Suppose g = o + o - 28. Is 14 a factor of o?
True
Is ((-6)/10)/((-2)/30) a multiple of 5?
False
Suppose i - 5*h - 22 = 0, 5*i - i - 3*h - 37 = 0. Suppose -28 - i = -5*c. Is 7 a factor of c?
True
Let w(l) = 166*l**2 - l. Suppose -6 + 2 = -4*v. Let m be w(v). Is -1 - 3/((-9)/m) a multiple of 14?
False
Suppose 2*l - 7*l + 5 = 0. Let n be 0 + l + (-1)/(-1). Suppose 3*k = -2*h + 86, -h + 2*h + n = 0. Is 15 a factor of k?
True
Let l(u) = u**3 - 7*u**2 + u - 6. Let z be l(7). Suppose z + 1 = c. Is 13 a factor of c*(-2 - 86/(-4))?
True
Let g = 23 + 56. Is 26 a factor of g?
False
Suppose 3*x - 23 + 5 = 0. Does 3 divide x?
True
Suppose -5*o - 4 = 1. Is (-7 + 6)/(o/9) a multiple of 9?
True
Let z be 24 - (5 + -2)/(-3). Let s be 4 + -1 + (-1 - -3). Suppose s*v - 4*v + z = 3*b, 5*v = 3*b - 29. Does 8 divide b?
True
Suppose -1 = y + 2. Is 34 + y - 1*-1 a multiple of 11?
False
Is 17 a factor of -11*2*(-6 - -4)?
False
Let g(z) = z**2 - 6*z + 7. Let p be g(5). Suppose 0 = -2*a - 4*n + 32, -n = -p - 0. Does 12 divide a?
True
Let c = 80 - 25. Is 7 a factor of c?
False
Let s(l) be the third derivative of -l**6/120 + l**5/10 + 7*l**4/24 + 7*l**3/3 - 6*l**2. Does 7 divide s(7)?
True
Let i(a) be the third derivative of a**5/120 - a**4/12 + a**3/6 - a**2. Let r(f) be the first derivative of i(f). Is r(7) a multiple of 5?
True
Let g(y) = 3*y**2 - y + 2. Let k be g(-3). Let o = 62 - k. Is 13 a factor of o?
False
Let g = 31 + 18. Is 11 a factor of g?
False
Let j be (-4)/((-3)/3 - 0).